GNX ECIGEM
09 · Engine Verification Dossier

엔진 검증 다이어그램

검증자가 외부에서 직접 확인 가능한 항목과 그 방법을 정리합니다. 모든 항목은 재현 가능한 관찰로 한정하며, 추정·과장 표현을 배제합니다.

외부에서 직접 확인 가능한 것

관찰방법기대값
퍼블릭 표면 가용GET /health/ready200
결정 표면 가용GET /api/health200
출생점 결정성동일 입력·동일 버킷 HMAC 동일일치
판정 결정성동일 입력 반복 시 final_decision 동일일치(난수 아님)
체인 연결성prev_hash[n] = current_hash[n-1]일치
변조 검출영수증 1건 변조 후 재계산후속 해시 불일치

캔버스 실행 출처

공개 캔버스는 서버 /api/decide를 우선 호출하고, 미배포 시 동일 알고리즘·동일 키로 브라우저(WebCrypto)에서 실행합니다. 어느 경우에도 표시되는 판정은 입력에서 결정론적으로 도출되며 하드코딩된 결과가 아닙니다.

암호 연산 동등성

표현 원칙. 본 도시에는 미구현을 구현으로, 시연을 운영으로 기재하지 않습니다. 운영 준비 상태는 systemd·nginx·/health/ready 관찰로만 진술합니다.