| 1 |
Clean re-run of out/analysis.py regenerates byte-identical results.json |
PASS (cmp identical) |
| 2 |
Market clearing: x1_A+x1_B = 12.0 = aggregate_endowment_good1; x2_A+x2_B = 10.0 = aggregate_endowment_good2 |
PASS |
| 3 |
excess_demand_good1 = 0, excess_demand_good2 = 0, walras_law_residual = 0 (float) |
PASS |
| 4 |
Budgets bind: A spends 9.0 = p8+2; B spends 11.5 = p4+8 |
PASS |
| 5 |
MRS_A = MRS_B = p = 0.875 (Pareto efficiency / tangency) |
PASS |
| 6 |
Exact rational arithmetic: p = 7/8, x1_A = 144/35 (=4.1142857...) matches float |
PASS |
| 7 |
Closed-form vs brentq root of z1(p) on [1e-6,1e6]: abs diff 1.1e-16 |
PASS |
| 8 |
All allocations strictly positive (interior solution) |
PASS |
| 9 |
n_raw agents 2 - removed 0 = n_analysed 2 (exclusions.csv) |
PASS |
| 10 |
Input discrepancy (sheet E1 14 vs sum 12) recorded in data_issues |
PASS |