- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: audit done; aggregate good1 discrepancy (14 vs 12) -> use 12 from primary data.
- 2026-10-30 P2-P4 passed: p=0.875 closed form & numerical; gate run 1 receipt 20261030T041305.173745Z.json (only P5 files missing).
- 2026-10-30 P5 passed: report, claims written; gate run 2 receipt 20261030T041333.229194Z.json PASSED.