Run verify.py for the aggregate checks and verify_models.py for independent matrix-algebra checks of the fitted models. export_json.py regenerates results from output/matches.csv. Dependencies: pandas, numpy, scipy, statsmodels, patsy. These files verify calculations against supplied data; they do not authenticate every original source record. Regression intervals are clustered by home club. The corrected rainfall window has three hourly observations ending at the rounded-down kick-off hour. No missing attendances are imputed.