GNX AAL Official License Distribution Document
Engine Verification Dossier
aal.kr 공개 엔진, 캔버스, readiness, audit stream, invariant proof를 기술실사용 증거 구조로 정리한 문서입니다.
Verification object
검증 대상은 홍보 문구가 아니라 실제 운영 표면이다. public HTTPS, OS Engine readiness, scenario cards, JSON response, audit stream, invariant proof, partner-safe documentation이 함께 제시되어야 한다.
Observed correspondence
| 구성 | 검증 의미 |
|---|---|
| Scenario canvas | born, shadow, non_birth 결정상태의 시각적 흐름 확인 |
| Decision response | object_created, decision_state, audit_trace_id 확인 |
| Verify/Reserve/Finalize | 발급된 객체의 후단 실행 가능성 및 단일소비 확인 |
| Replay rejection | 동일 객체의 재실행 차단 확인 |
| Audit stream | decision.evaluated, object.born.minted, object.verified, consume/finalize 이벤트 연결 확인 |
Production wording
본 문서실의 Production Ready+++는 라이선스 계약·특허 시연·PoC 검증용 공개 배포면의 완성도를 의미한다. 외부 다중 고객 상용 SaaS hardening, KMS/HSM 운영, 고객별 WAF/SLA는 별도 계약·배포 단계에서 검토한다.