A registered result in its source context
Original ledger classification: UV-branch kill-test surface [E]/[X]/[C] (carrier-PS on the all-order footing; proton-SAFE hierarchy computed; plain-SM GUT killed; no fake tau_p)
Recorded statement: The optional carrier-Pati-Salam UV branch on the ALL-ORDER footing -- a single citable kill-test surface with the proton-decay SAFETY hierarchy computed (2026-06-24). A consolidation: does NOT re-run the RGE (v246 did 1+2-loop) nor…
Statement, assumptions and sources
Paper context: Red-team audit
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
UVBRANCH.KILLTEST.01
Original ledger classification: UV-branch kill-test surface [E]/[X]/[C] (carrier-PS on the all-order footing; proton-SAFE hierarchy computed; plain-SM GUT killed; no fake tau_p)
Original claim text
The optional carrier-Pati-Salam UV branch on the ALL-ORDER footing -- a single citable kill-test surface with the proton-decay SAFETY hierarchy computed (2026-06-24). A consolidation: does NOT re-run the RGE (v246 did 1+2-loop) nor re-derive the PS scale (v249/v253); it ADDS the all-order connection (v381) and the computed proton-safety margin (turning v265's 'no fake tau_p window' policy into a number). [E] CARRIER CONTENT = SM, ALL-ORDER: b=(41/10,-19/6,-7) (v159/v246), no new gauge-charged states (tfpt_3), S_pert closes to all orders (v381) => the SM-non-unification (v246) is all-order-robust. [X] PLAIN-SM 4D-GUT KILLED: sin^2 thW=3/8 vs measured 0.231, 1+2-loop couplings never meet (v246). [C] OPTIONAL CARRIER-PS BRANCH: M_PS=kappa*M_scal, M_scal=c3^{7/2}Mbar~3.06e13 GeV, kappa in [1.0,1.2] (2-loop v253), content {1,10,16,45} no 126 (v247/v248), NOT the default (v265 fork). [E] PROTON-DECAY SAFETY HIERARCHY: minimal PS gauge bosons are SU(4) leptoquarks (B-L-conserving q<->l = rare LFV K_L->mu e), NOT the p->e+ pi0 dim-6 operator (needs an SO(10)/SU(5) diquark, absent); the binding bound M_PS>~1e6 GeV is cleared by M_PS/M_bound~1e7>>1 => proton-safe. [X] FROZEN KILL TESTS (v265): the branch dies if kappa leaves O(1) / a forbidden rep (126) is required / a new gauge-charged state appears / a rare-LFV signal appears below the M_PS bound; NO discovery tau_p window.
Original classification detail
[E] the all-order-robustness link (v381) + the proton-safety scale hierarchy (M_PS/M_bound~1e7); [X] the plain-SM-GUT kill + the frozen kill-test surface; [C] the optional PS branch. A consolidation (like v265/v337/v384); does NOT re-run the RGE or claim a tau_p discovery; no new number.
Dependencies as recorded
v159; v246; v247; v248; v249; v253; v265; v381
Open the original ledger source, row 448Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Red-team audit
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 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
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
Registered verification modules
- v385_uvbranch_killtest.pyRegistered verification module · registry
Read the description recorded in the module registry
UVBRANCH.KILLTEST.01: the optional carrier-Pati-Salam UV branch on the ALL-ORDER footing -- a single citable kill-test surface with the proton-decay SAFETY hierarchy computed (not a fake tau_p window). A consolidation (does NOT re-run the RGE v246 nor re-derive the PS scale v249/v253). [E] carrier content = SM (b=(41/10,-19/6,-7), v159/v246, no new states) and S_pert closes to all orders (v381) => the SM-non-unification is all-order-robust. [X] plain-SM 4D-GUT killed (sin^2 thW=3/8 vs 0.231; v246). [C] optional carrier-PS branch: M_PS=kappa M_scal, M_scal=c3^{7/2}Mbar~3.06e13 GeV, kappa in [1.0,1.2] (v253), content {1,10,16,45} no 126 (v247/v248), not default (v265). [E] proton-decay SAFETY hierarchy: minimal PS gauge bosons are SU(4) leptoquarks (B-L-conserving q<->l, rare LFV K_L->mu e), NOT the p->e+ pi0 dim-6 operator (needs SO(10)/SU(5) diquark, absent); binding bound M_PS>~1e6 GeV cleared by M_PS/M_bound~1e7>>1. [X] frozen kill tests (v265): kappa leaving O(1) / a forbidden rep / a new gauge-charged state / a rare-LFV signal below the bound; no fake tau_p. A consolidation, no new number.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.