- 2026-10-30 P0: contract written.
- 2026-10-30 P1: audit done; decision: aggregate good1 = 12 (sum of endowments), recorded 14 flagged.
- 2026-10-30 P2/P3: baseline numerical root (brentq) and closed form in analysis.py; p=0.875.
- 2026-10-30 P4: clean re-run identical; checks in checks.md.
- 2026-10-30 P5: report and claims written.
- 2026-10-30 gate passed (receipt 20261030T041411.554458Z); all phases passed.