2026-09-05 (CLVIII): non-RH round 4 — uniform TEL-B norm and explicit T1–T8 boundaries
Research changelog · TFPT — Introduction and reading guide
Five modules graduate as v1026– v1030; the suite grows from 1018 to 1023 modules. Their standalone checks pass [formula in source] . v1026_ telb_ round4_ closure.py ( [formula in source] , native python-flint 0.9.0) executes CF, DG, one-sided CROSS, 512 validated Acb eigensystems, sixteen Fourier modes, all infinite aliases and 154 numerical regressions. With v1022/v1025 inputs it proves [formula in source] at fixed
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/001-source.tex · lines 237 to 279
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1016_state_gap_batteries.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1026_telb_round4_closure.py
literal source filename/path in TeX
- explicit file citation v1029_local_tensor_constraints.py
literal source filename/path in TeX
- explicit script identifier v1026_telb_round4_closure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1028_gauss_d4_cap.py
literal source filename/path in TeX
- explicit script identifier v1022_telb_round3_certificates.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1025_telb_c1_c2a_certificates.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1030_alg2_sector_frame.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1006_mmst_lemma_battery.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1027_signed_det_car_wall.py
literal source filename/path in TeX
- explicit script identifier v649_discipline_audit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1030_alg2_sector_frame.py
literal source filename/path in TeX