# Verification checks (P4)
- Clean re-run of out/analysis.py: results.json byte-identical (cmp) -> PASS
- lstsq cross-check of closed-form OLS slope on 5 replications (assert inside analysis.py) -> PASS
- bias_mc == rho_hat_mean - rho -> PASS
- bias_mc_se == sd/sqrt(R) -> PASS
- bias_analytical == -(1+2.4)/30 -> PASS
- discrepancy identity -> PASS
- se_asymptotic == sqrt(0.36/30) -> PASS
- positive SEs -> PASS
- CI contains bias_mc -> PASS
- n_analysed == R - removed (20000-0) -> PASS
- bias sign negative, same order as analytical -> PASS
- rho_hat_mean in (-1,1) -> PASS