Log
- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: audit done; decision: use individual endowments (E1=12) over summary (14).
- 2026-10-30 P2 passed: brentq baseline p=0.875.
- 2026-10-30 P3 passed: analysis.py written.
- 2026-10-30 P4 passed: re-run identical; all consistency checks pass.
- 2026-10-30 P5 passed: report and claims written.