E-028 — traced R-bound verification (15 pts, 17x slack) + margin rerun A=6.0/B0=40: N0=58998, adopted 60000, margin(N1)=2.458e26
08-19-2026 · 19991 rows · script
research/numerics/scripts/E-028-traced-margin.py
Metadata
Validation checks
| V_R_traced_bound_holds |
PASS |
| V5_Z2_certified |
PASS |
| V2_margin_positive_convex |
PASS |
Key values
| M0_from_E023 | 1.335180201468999 |
| N0_traced_10p5_48 | 75451 |
| margin_N0 | 2.396310426061973 |
| overlap_factor_vs_MV_5e5 | 6.626817404673232 |
| margin_at | {'75451': 2.396310426061973, '100000': 92785.67601524561, '500000': 2006008.571308432, '1000000': 4755774.032035855, '1000000000': 8921657382.546026, '1000000000000': 12395765983564.96, '1000000000000000000': 1.9304326196882584e+19, '8999999999994000000000001': 2.4579625383799396e+26} |
| N1 | 8999999999994000000000001 |
Data preview (20000 rows total)