2. Locked-by-Design Proof

표시 검증이 없을 때 실행권한이 차단되는지 확인합니다.

검증 체험 설명서

Locked-by-Design Proof는 엔진이 무조건 허용하지 않는다는 점을 확인하는 체험입니다. 사용자가 검증 버튼을 누르면 엔진은 Display Interlock이 없는 조건을 일부러 평가하고, 그 결과로 verdict:DENY, reason:DISPLAY_INTERLOCK_NOT_CONFIRMED, tunnelTicketIssued:false를 반환합니다. 이 응답은 오류가 아니라 공개 검증용 차단 증거입니다. 검증자는 “왜 티켓이 발행되지 않았는가”를 봐야 합니다. Logicnoid의 가치는 실행을 성공시키는 데만 있지 않고, 조건 없는 실행을 정확히 막는 데 있습니다.