=150 2026-09-05 (CLVII) (non-RH T1–T8 Round 3 graduates as v1022– v1025; suite [formula in source] , ledger rows [formula in source] through six narrow subcontracts; [formula in source] module checks; NO marker move; TFPT.TOE.COMPLETE.01 and every T1–T8 gate remain ). v1022_ telb_ round3_ certificates.py ( [formula in source] ; native python-flint==0.9.0, 256-bit Arb/Acb) replaces the float/Richardson TEL-B input by 5812 rational cells and the exact cut jump, proving [formula in source] and [formula in source] . Together with the stated analytic digamma/midpoint lemmas, its executable Arb arithmetic gives [formula in source] , [formula in source] and [formula in source] ; full C2b remains open exactly at CF [formula in source] and DG [formula in source] . Its exact one-mode [formula in source] countermodel refutes the former ALG2 Vandermonde-to-generated-algebra implication: FE-GEN or an exact gauge/code-projected microscopic-algebra theorem is still required, and ALG1 remains conditional on the generated projection. v1025_ telb_ c1_ c2a_ certificates.py ( [formula in source] ; native 100-bit Arb/Acb) executes the existing analytic C1/C2a proofs: [formula in source] and [formula in source] for every even [formula in source] . v1023_ derivative_ filtered_ wall.py ( [formula in source] ) proves only the finite quasi-free singular-value block: the high continuation branch is separated, but the bare [formula in source] subspace is not invariant, the low branch has [formula in source] rather than a Weyl cone, and no DET16/DET32, interacting-parent, measure/anomaly/index or [formula in source] D theorem follows. v1024_ parent_ internal_ boundaries.py ( [formula in source] ) supplies finite parent-internal T6–T8 witnesses and no-gos: a positive seam/neutrino-pair intertwiner with projective full-Fock [formula in source] lift but no mass texture; the uniform-gap and direct-TT locality obstructions but no graviton; and a gapped internal [formula in source] cap that is chosen, [formula in source] -breaking and complement-trivial, hence no global [formula in source] . T1 retains only finite axiom-core/W-bridge support while unconditional provenance and the dimension selector remain open; T3 remains at Hamiltonian-class level; T5 retains finite IR witnesses and the v1020 spectator obstruction while prime completion, OS reconstruction, confinement and scattering remain open. The common missing object is still one shared [formula in source] D parent satisfying T3–T8. Native-only handling is explicit in the website reproducer; v1022/v1025 are not represented as Pyodide certificates. NO RH CLAIM. Surfaces: tfpt_research_contracts, tfpt_4_frontier, introduction, tfpt_2_standard_model, the MMST article/PDF, ledger, generated verification maps/index, website paper/DAG/gap/FAQ mirrors and changelog.
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 280 to 280
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v1023_derivative_filtered_wall.py
literal source filename/path in TeX
- explicit file citation v1022_telb_round3_certificates.py
literal source filename/path in TeX
- explicit file citation v1025_telb_c1_c2a_certificates.py
literal source filename/path in TeX
- explicit file citation v1024_parent_internal_boundaries.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v1025_telb_c1_c2a_certificates.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1020_spectator_sector_obstruction.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