E-023 — finite-height assembly (M0 short-segment, Sinf lower-bound validation, margin/N0/N1)
08-19-2026 · 20000 rows · script
research/numerics/scripts/E-023-finite-height-assembly.py
Metadata
Validation checks
| V1_sinf_lower_holds |
PASS |
| V2_margin_positive_convex |
PASS |
| V3_lambda_positive_3000 |
PASS |
Key values
| M0_grid_max | 1.3323650421270834 |
| M0_lipschitz | 1.4075796709577815 |
| M0_use | 1.335180201468999 |
| C1 | -1.1303307007539063 |
| C1_lower_form | -1.4189385332046727 |
| sinf_lower_min_slack | 9.520071987843544 |
| N0_measured_constants | 30217 |
| N0_traced_constants | 32871 |
| margin_N0_traced | 0.0795673057436943 |
| margin_at | {'32871': 0.0795673057436943, '100000': 287298.63095573196, '1000000': 5256686.503113639, '1000000000': 8938721534.500193, '1000000000000': 12396419838890.791, '1000000000000000000': 1.9304327085473796e+19, '8999999999994000000000001': 2.457962538414764e+26} |
| N1 | 8999999999994000000000001 |
| N1_conservative_lagarias_window | 2725978018024122000000 |
| T0_platt_trudgian | 3000000000000.0 |
Data preview (20000 rows total)