1# Verification checks (P4)23| check | outcome |4|---|---|5| Clean re-run of out/analysis.py (results.json deleted first) reproduces byte-identical results.json | PASS (cmp identical) |6| budget_identity_residual = 0 (|r| < 1e-9) | PASS (0.0) |7| mrs_at_optimum = price_ratio (tangency) | PASS (0.625 = 0.625) |8| expenditure_share_good1 = alpha | PASS (0.35) |9| indirect_utility equals α ln(αm/p1)+(1−α) ln((1−α)m/p2) | PASS |10| Numerical max does not exceed closed-form utility (beyond 1e-12) | PASS (gap 0.0) |11| Grid, Brent and SLSQP demands agree with closed form | PASS (max |Δx1| = 9.6e-6 from grid spacing; |Δx2| ≤ 4.4e-7) |12| SLSQP with inequality constraint finds binding budget (monotonicity) | PASS (slack 2.8e-14) |13| Counts: n_input_rows 4 − removed 0 = n_analysed 4 | PASS |14| Magnitude vs baseline: closed-form v vs numerical baseline v | PASS (identical to float precision) |15