- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: aggregate good1 inconsistency (14 summary vs 12 sum) -> use 12 from primary endowments.
- 2026-10-30 P2,P3 passed: p=0.875 closed form and numeric. P4 passed: all checks in checks.md.
- 2026-10-30 P5 passed: report and claims written; task complete.