- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: aggregate good1 discrepancy (14 vs 12) found; use sum of individual endowments.
- 2026-10-30 P2/P3 passed (p=0.875). P4 passed: rerun identical, checks.md all PASS, gate receipt 20261030T041419 (expected P5-only failures). P5: report and claims written.
- 2026-10-30 P5 passed: final gate PASSED, receipt 20261030T041449.065824Z.