1# Verification checks (P4)2| check | outcome |3|---|---|4| Clean re-run of out/analysis.py (deleted results.json/exclusions.csv) gives byte-identical results.json | PASS |5| Manual NW SE equals statsmodels HAC (use_correction=False) to 1e-10 (assert in script) | PASS |6| Memo's iid numbers reproduced (alpha 2.0925, beta 0.1017, se 0.0448, t 2.27, p 0.0238) | PASS |7| CI contains beta_hat; half-width/se_hac = 1.95996 | PASS |8| se_iid > 0, se_hac > 0; se_hac > se_iid (expected with positively autocorrelated x and u) | PASS |9| t_hac = beta_hat/se_hac | PASS |10| p_hac > 0.05 consistent with CI containing 0 | PASS |11| n_raw 400 − removed 0 = n_analysed 400 | PASS |12| Conclusion robust to bandwidth (lags 5, 8, 12, 24 all p≈0.11–0.12; normal and t(398) references) | PASS |13