- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: design audited, no exclusions; note G=5 Rademacher discreteness.
- 2026-10-30 P2 passed: baseline = naive iid interval (baseline_iid_* keys).
- 2026-10-30 P3 passed: analysis.py implemented; quantile = numpy linear default (decision documented).
- 2026-10-30 Decision: added supplementary keys (exact_rel_bias_var_analytic, mc_se_rel_bias_var, cell_diagnostics) for validation.
- 2026-10-30 P4 passed: determinism + 32 checks. Note: /tmp is shared with other runs; used workspace-local temp for comparisons.
- 2026-10-30 P5 passed: report.md and claims.json written; all phases passed.