T2: uniform relaxed TEL-B theorem.
tfpt research contracts · Research contracts
SEAM.MMST.TELB.NORM.01. For the frozen [formula in source] , [formula in source] collar, the original remainder obeys [formula in source] The interval inputs are v1022 (TV and potential), v1025 (C1/C2a), and v1026_ telb_ round4_ closure.py (CF, DG, signed CROSS, validated Fourier core and all-volume aliases). This is not a proof of the historical sharper [formula in source] or Bound-B target [formula in source] . In
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/toe_round4_proofs.tex · lines 9 to 22
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v1026_telb_round4_closure.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 v1022_telb_round3_certificates.py
literal short identifier uniquely resolves in local script registry