E-023b — MZeroProp interval-rigorous box-cover certification
08-26-2026 · 8 rows · script
research/numerics/scripts/E-023b-mzero-boxcover.py
Metadata
Validation checks
| V1_fe_vs_mpmath_max_absdiff_lt_2e-6 |
PASS |
| V2_boxes_cover_[0,10]_exactly |
PASS |
| V3_certified_max_le_target |
PASS |
| V4_consistent_with_E023_sampled_1.33237 |
PASS |
Key values
| grid_max_upper | 1.3329998534172773361206054687500000000 |
| grid_argmax | 0.8495500000000001 |
| series_tail | [8.036139000659258592860484308733579139e-7 +/- 4.72e-44] |
| certified_max | [1.3330006570311774020464647547984308734 +/- 4.80e-38] |
| target | 1.3352 |
| headroom | [0.00219934296882259795353524520156912664 +/- 7.98e-39] |
| coverage | 10.000000000001068 |
Parameters
| prec_bits | 128 |
| coarse_half_width | 0.0005 |
| min_half_width | 0.0000005 |
| max_depth | 4 |
| pass_level | [1.3330000000000000000000000000000000000 +/- 5.00e-39] |
| series_N | 400 |
| box_evaluations | 17570 |
| boxes_recorded | 16813 |
Data preview (10 rows total)