Log
- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1: audit shows file covers 2010-01-04..2019-12-31, post_cut all 0 (n_treated=0). Decision: estimand inestimable -> premise_invalid / infeasible; effect, CI, model_metric, n_analysed null. Not redefining post_cut, not using external data.
- 2026-10-30 P2-P4 passed; gate run 1 receipt 20261030T044235.676207Z.json (only phase-ledger non-terminal). P5 report/claims written; final gate run follows.
- 2026-10-30 P5 passed; final gate receipt 20261030T044241.480926Z.json PASSED.