08
GNX AAL Official License Distribution Document

Acceptance Matrix

라이선스 인수시험에서 non_birth, born, shadow, replay, tenant boundary를 검증하기 위한 공식 수용 매트릭스입니다.

Review objectinvariant proof
Acceptance positioncontract annex candidate

Core tests

시험 조건기대 결과
목적 없음 또는 목적 객체 불일치object_token, handle, verification_ref 미생성
empty scope 또는 범위 해시 불일치verify active 부재 및 backend 차단
evidence 만료non_birth 이벤트만 생성, 실행 참조값 미생성
정책 버전 비활성 또는 배포 epoch 불일치born/shadow-executable 발급 중단
감사 사전기록 실패fail-closed 및 신규 실행 가능 행 미생성
서명키 준비 실패 또는 capability 서명 실패외부 반환 금지 및 non_executable 처리
테넌트 불일치 또는 RLS 실패tenant boundary 위반으로 active 반환 금지

Replay and consume

born 또는 shadow-executable 객체는 verify만으로 완료되지 않는다. reserve와 finalize를 거쳐야 하며 동일 token의 재사용은 rejected 또는 already_consumed로 귀결되어야 한다.

Evidence package

각 시험은 request, response, DB namespace observation, audit event hash, backend enforcement result를 동일 case id 또는 audit trace 기준으로 묶어 보존한다.