E-034 — D-074 dog-leg DL-0: exact deformation identity verified (resid 2-5e-5), piece majorants with 4-13x slack, temporary dog-leg Bn_DL margin > 0 to N1 = 9e24 (margin(N1) = 2.458e26)
08-25-2026 · 24 rows · script
research/numerics/scripts/E-034-dogleg-validation.py
Metadata
Validation checks
| V1_C_zeta3_certified | PASS |
| V2_kernel_charge_certified | PASS |
| V3_q_certified | PASS |
| V4_identity_exact | PASS |
| V5_piece_slack | PASS |
| V6_fold_margin_positive | PASS |
| VA_mpmath_vs_dirichlet | PASS |
Chart
Data preview (24 rows total)
| check | n | quantity | measured | bound_lo | bound_hi | charged | pass |
|---|---|---|---|---|---|---|---|
| V1_C_zeta3 | -zeta'/zeta(3) | 0.164822682158 | 0.164822681359 | 0.164822689861 | 0.5 | True | |
| V2_kernel_charge_e^{5/2}+1 | e^{5/2}+1 | 13.182494 | 13.19 | 13.19 | True | ||
| V3_q_certified | q = e^{4/9}/2 | 0.77981175 | 1.5596235 | 0.78 | 0.78 | True | |
| V5_slack_V_left | 1000 | V_left | 8.00633 | 107.574 | 0.07443 | True | |
| V5_slack_H_high | 1000 | H_high | 1.10648 | 8.38 | 0.132 | True | |
| V5_slack_V_right | 1000 | V_right | 2.32019e-14 | 2.50274e-11 | 0.0009271 | True | |
| V5_slack_H_low | 1000 | H_low | 7.18463 | 115.954 | 0.06196 | True | |
| V4_identity | 1000 | H_low - (H_high - V_right + V_left) | 4.97e-5 | 9.5e-5 | 0.000387 | T=31.672777 eps=0.05 U=47.509165 | True |
| V5_slack_V_left | 10000 | V_left | 16.9813 | 333.047 | 0.05099 | True | |
| V5_slack_H_high | 10000 | H_high | 1.09358 | 8.38 | 0.1305 | True | |
| V5_slack_V_right | 10000 | V_right | 1.29166e-43 | 3.71493e-37 | 3.477e-7 | True | |
| V5_slack_H_low | 10000 | H_low | 16.7016 | 341.427 | 0.04892 | True | |
| V4_identity | 10000 | H_low - (H_high - V_right + V_left) | 4.55e-5 | 8.28e-5 | 0.000348 | T=100.05 eps=0.05 U=150.075 | True |
| V5_slack_V_left | 100000 | V_left | 25.9975 | 1046.06 | 0.02485 | True | |
| V5_slack_H_high | 100000 | H_high | 1.00969 | 8.38 | 0.1205 | True | |
| V5_slack_V_right | 100000 | V_right | 2.93199e-136 | 6.88933e-120 | 4.256e-17 | True | |
| V5_slack_H_low | 100000 | H_low | 26.2292 | 1054.44 | 0.02487 | True | |
| V4_identity | 100000 | H_low - (H_high - V_right + V_left) | 2.11e-5 | 4.86e-5 | 0.000221 | T=316.62777 eps=0.4 U=474.94165 | True |
| V6_margin_value | 80000.0 | margin_DL | 13160.089 | 0 | 324912.99 | True | |
| V6_margin_value | 100000.0 | margin_DL | 88910.825 | 0 | 344838.45 | True | |
| V6_margin_value | 1.0e+8 | margin_DL | 7.7265868e+8 | 0 | 6481350.5 | True | |
| V6_margin_value | 1.0e+12 | margin_DL | 1.2395747e+13 | 0 | 8.2359505e+8 | True | |
| V6_margin_value | 9.0e+24 | margin_DL | 2.4579624e+26 | 0 | 4.4538916e+15 | True | |
| V6_margin_min_on_grid | grid | min margin | 13160.1 | 0 | 0.3986 | True |