RC1 Independent Re-Audit Quality Gates¶
| Gate | Status | Evidence | Residual |
|---|---|---|---|
| 1. Product contract | PASS | DEC-001 bounded Core and corrected DEC-014 behavior | optional/Product Decision exclusions remain |
| 2. Surface truth | PASS | 45 Core leaves; 0/15 excluded targets visible | none in bounded Core |
| 3. Navigation | PASS | nav graph, parity, nav UX | none |
| 4. Authentication | PASS | E1.2 29/29 | none reproduced |
| 5. Active-role authority | PASS | E1.2 conflict-role observation | none reproduced |
| 6. Tenant isolation | PASS | E1.2, W01, W02, W05 | Golden bounded proof |
| 7. Sensitive read scope | PASS | read map plus teacher/parent/student sentinels | excluded families not certified |
| 8. W01 integrity | PASS | 64/64 | Golden proof |
| 9. W02 integrity | PASS | 33/33 | Golden proof |
| 10. W05 integrity | PASS | 16/16 | per-lesson only |
| 11. Atomicity | PASS | W01 invalid term; W02 atomic update | bounded workflows only |
| 12. Duplicate/concurrency | PASS | W01 and W05 concurrent cases | bounded workflows only |
| 13. Direct API/RPC | PASS | E1.2/W01/W02/W05 | bounded models only |
| 14. Privacy | PASS | peer denial; unchanged proof serializer | bounded W05 only |
| 15. Optional package isolation | PASS | entitlement OFF/on probe; false-Core hidden | installed is not entitled/certified |
| 16. Package topology | PASS | topology/contract/catalog/mutations | 15-SKU denominator |
| 17. Existing-data compatibility | PASS_WITH_TENANT_GATE | Golden regressions and explicit upgrade rules | tenant smoke still required |
| 18. Deployment/schema prerequisites | FAIL FOR RELEASE | live demo/prod pair differs from Golden candidate | RC1F-006 |
| 19. Evidence reproducibility | PASS FOR GOLDEN FREEZE | clean-tree validator PASS, exact trees and served identities | commits not pushed; auditor docs uncommitted |
| 20. Exact runtime identity | PASS | served FE/BE/DB/modules/entitlements exact | none |
| 21. Known Core S0/S1 | FAIL FOR RC1-A | no behavioral S0/S1; deployment S1 remains | RC1F-006 |
| 22. Product Decision isolation | PASS | W16/CAL/W17/W18 fail-closed | future separate approvals/certification |
Overall disposition: bounded Core behavior is ready on Golden, but release-candidate approval is withheld until RC1F-006 closes.