# Verification checks (P4)

| check | outcome |
|---|---|
| rerun identical results.json | PASS |
| n_valid+n_unread==control | PASS |
| n_analysed==n_valid | PASS |
| analytic rows==n_analysed | PASS |
| analytic sum==sum_price_valid | PASS |
| implied sum identity | PASS |
| mean recompute | PASS |
| median recompute | PASS |
| ledger chain | PASS |
| unique ids | PASS |
| muni gaps sum to unreadable | PASS |
| implied sum positive & plausible mean (14917000/36) | PASS |
| mean magnitude vs baseline control mean | PASS |

Baseline control mean = 392739.17 CAD; valid mean = 392070.446735; implied mean of unreadable = 414361.11.