feat(proof): fail-closed evidence battery for Codex 2x cold-resume fixture - #226

Merged

graphanov merged 6 commits into

mainfrom

proof-battery-hardening

Jun 20, 2026

Commits on Jun 18, 2026

feat(proof): fail-closed evidence battery for Codex 2x cold-resume fixture
graphanov
committed
fix(proof): report empty evidence battery as not_evaluated, not pass
graphanov
committed
fix(proof): reject omitted required evidence rows via required_evidence
graphanov
committed
fix(proof): make required_evidence membership enforce demonstrated status
graphanov
committed
fix(proof): trim required_evidence IDs in the compare gate path
graphanov
committed
fix(proof): render required_evidence rows as required in proof-battery table
graphanov
committed