TEL-B reduction (2026-09-04)
tfpt research contracts
The residual TEL-B-EXTERNAL is restated below. The earlier scalar dyadic increment [formula in source] with [formula in source] sufficient for [formula in source] is superseded — [formula in source] was measured [formula in source] (r645) but is no longer the route. Numerically closed ( [formula in source] ; conditional analytic [formula in source] with [formula in source] ); round 3 closed C1, C2a and the interval-T
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
experiments/theory-contracts/universalraum-fable-kernfragen-20260910/context/fortsetzung/source-snapshots/tfpt/tfpt_research_contracts.tex · lines 13936 to 14102
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v1025_telb_c1_c2a_certificates.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v1026_telb_round4_closure.py
literal short identifier uniquely resolves in local script registry
- 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
- explicit file citation mmst_telb_cover_split_probe.py
literal source filename/path in TeX
- explicit script identifier v1025_telb_c1_c2a_certificates.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v998_seam_modular_closure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1022_telb_round3_certificates.py
literal source filename/path in TeX
- explicit file citation v1026_telb_round4_closure.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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