2026-06-24 (Harvesting the QFT/gravity machinery: v385 the UV-branch kill-test surface, v386 the graviton-exchange amplitude, v387 the gap-driven correction calculus)
Research changelog · TFPT — Introduction and reading guide
v385 ( UVBRANCH.KILLTEST.01) — the carrier-Pati–Salam UV branch on the all-order footing. A consolidation that ties the all-order EG/BRST closure ( v381) to the optional UV branch and computes the one genuinely new thing: the proton-decay safety hierarchy. \ the carrier content is the SM with no new states, so the SM-non-unification ( v246) is now all-order-robust; \ the plain-SM 4D-GUT stays killed ( [formula in sou
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 20 to 48
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v253_kappa_scalaron_ps.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v386_grav_amplitude.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v246_unification_data_crosscheck.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v265_qft4d_fork_freeze.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v385_uvbranch_killtest.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v381_qft4d_eg_allorder.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v387_corrections_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier