E-033 — F-D side thread 6-R-1: cross-validation of repaired-stepping constants (Z0 certified, q-table, R(c) vs E-032 measured, kernel charge, fold fit, margins at c=1.5 and 2)
08-25-2026 · 29 rows · script
research/numerics/scripts/E-033-repaired-stepping-validation.py
Metadata
Validation checks
| V1_Z0_certified | PASS |
| V2_q_table_and_boundary | PASS |
| V3_R_covers_E032_measured | PASS |
| V4_kernel_charge | PASS |
| V5_fold_fit | PASS |
| V6_margin_positive | PASS |
| V7_full_fold | PASS |
Data preview (28 rows total)
| check | c | n | value_lo | value_hi | mpmath | pass |
|---|---|---|---|---|---|---|
| V1_Z0_certified | 0.569921006573 | 0.570366088021 | 0.569960993095 | True | ||
| V2_q_table | 1 | 1.35914 | -30.8624 | False | ||
| V2_q_table | 1.25 | 0.94824 | 51.8243 | 13.9358 | True | |
| V2_q_table | 1.3 | 0.903543 | 23.1547 | 11.6639 | True | |
| V2_q_table | 1.5 | 0.779812 | 5.93924 | 6.91669 | True | |
| V2_q_table | 1.75 | 0.693075 | 2.88588 | 4.69183 | True | |
| V2_q_table | 2 | 0.642013 | 1.97348 | 3.71828 | True | |
| V2_c_boundary | c* | 1.2011224 | 1/sqrt(log2) | True | ||
| V3_R_covers_measured | 1.5 | 1000 | 1.12202 | 5.93924 | True | |
| V3_R_covers_measured | 2.0 | 1000 | 0.623246 | 1.97348 | True | |
| V3_R_covers_measured | 1.5 | 10000 | 1.14022 | 5.93924 | True | |
| V3_R_covers_measured | 2.0 | 10000 | 0.312063 | 1.97348 | True | |
| V3_R_covers_measured | 1.5 | 100000 | 0.999556 | 5.93924 | True | |
| V3_R_covers_measured | 2.0 | 100000 | 0.354185 | 1.97348 | True | |
| V4_kernel_charge | 1.5 | 100000 | 5.65329 | 6.91669 | True | |
| V4_kernel_charge | 2.0 | 100000 | 2.05843 | 3.71828 | True | |
| V5_fold_fit_max_ratio | 1.5 | grid | 0.3925 | < 1 | True | |
| V6_margin_min_on_grid | 1.5 | grid | 111917.0 | > 0 | True | |
| V6_margin_value | 1.5 | 80000.0 | 111916.95 | > 0 | True | |
| V6_margin_value | 1.5 | 100000.0 | 181256.09 | > 0 | True | |
| V6_margin_value | 1.5 | 4.0e+24 | 1.0762091e+26 | > 0 | True | |
| V7_full_fold | 1.5 | grid | honest<=Bn | see above | ||
| V5_fold_fit_max_ratio | 2.0 | grid | 0.3883 | < 1 | True | |
| V6_margin_min_on_grid | 2.0 | grid | 49365.0 | > 0 | True | |
| V6_margin_value | 2.0 | 80000.0 | 49364.974 | > 0 | True |