Add Q8B proof-data acquisition and offline cache gate - #8

Merged

acedward merged 7 commits into

mainfrom

codex/00002-phase3p-proof-data

Aug 28, 2026

Commits on Aug 28, 2026

Add Q8B proof-data acquisition and cache gate
acedward
committed
73d1386
test: prove stock AA K19 from offline cache
acedward
committed
d4d7d44
fix: canonicalize stock AA compiler manifest
acedward
committed
9db0538
fix: resolve pinned package metadata safely
acedward
committed
67e8149
Remediate proof-data admission and provenance gates
acedward
committed
e8f2722
Require exact propagated static-10 diagnostic
acedward
committed
6f1a188
Bind static-10 rejection to exact read-only diagnostic
acedward
committed
508aab4