=150 2026-09-04 (CLIV) (TEL-B reduction absorbed into the SEAM.MMST.TYPEIII.CHARGED.01 contract text and ledger row; NO marker move, status stays ). The standalone note articles/2026-09-04/telb_bound_b_sketch.tex is superseded and removed: the contract is now the single home. Cover identity [formula in source] sawtooth split [formula in source] ; bound (A) certified numerically for all [formula in source] ( [formula in source] , all-mode BV, one float64 TV constant); bound (B) reduced to [formula in source] (measured [formula in source] ), open items C1/C2a/C2b. Residual restated as TEL-B-EXTERNAL (2026-09-04 reduction); the [formula in source] dyadic-increment route is superseded (measured [formula in source] at r645, no longer the route). Numerically [formula in source] , conditional analytic [formula in source] ; analytically open. Evidence (experiments, not veri-citable): mmst_telb_trace_decomposition_probe.py, mmst_telb_cover_split_probe.py, mmst_telb_bound_a_probe.py ( [formula in source] ), mmst_telb_bound_b_probe.py ( [formula in source] , G18–G20 open by design). Surfaces: tfpt_research_contracts (new TEL-B reduction subsection); ledger row claim text only; website changelog.ts regenerated.
Research changelog · TFPT — Introduction and reading guide
Opening source excerpt. Formulas and the full argument remain in the original document.
Read the original sectionRead the paper: Research changelogRead the paper: TFPT — Introduction and reading guide
Source location and explicit evidence links
documents/changelog/sections/001-source.tex · lines 281 to 281
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation mmst_telb_cover_split_probe.py
literal source filename/path in TeX
- explicit file citation mmst_telb_bound_a_probe.py
literal source filename/path in TeX
- explicit file citation mmst_telb_trace_decomposition_probe.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation mmst_telb_bound_b_probe.py
literal source filename/path in TeX