A registered result in its source context
Original ledger classification: Kill-test [X]
Recorded statement: SM-ONLY 4D-GUT UNIFICATION KILLED (2026-06-18): 1-loop SM running with b=(41/10,-19/6,-7) does not unify -- at the alpha1=alpha2 scale alpha3^-1 is off by ~5.6, spread ~8.8 at 2e16 GeV. The canonical expectation, not a failure (re-derives…
Statement, assumptions and sources
Paper context: Research contracts
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
QFT4D.SMONLYGUT.01
Original ledger classification: Kill-test [X]
Original claim text
SM-ONLY 4D-GUT UNIFICATION KILLED (2026-06-18): 1-loop SM running with b=(41/10,-19/6,-7) does not unify -- at the alpha1=alpha2 scale alpha3^-1 is off by ~5.6, spread ~8.8 at 2e16 GeV. The canonical expectation, not a failure (re-derives v246).
Original classification detail
[X] the plain SM couplings do not meet (recomputed); E8 is the audit hull, not a 4D gauge group, so non-unification is expected.
Dependencies as recorded
QFT4D.RGTEST.01
Open the original ledger source, row 353Location 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.
- Research contracts
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-18 (The 4D-QFT fork frozen as a branch policy: boundary-only canonical, Pati–Salam a falsifiable UV branch, SM-only GUT killed, v265)Research changelog; TFPT — Introduction and reading guide
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.
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- 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
- Research Contract 1 — [formula in source]tfpt research contracts
- 2026-06-18 (4D QFT: the perturbative S-matrix as an Epstein–Glaser / pAQFT skeleton, v269)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportResearch contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-18 (Branch B decided: the explicit PS threshold model [formula in source] proton-decay window — minimal content killed, [formula in source] survives, Hyper-K decisive, v266)Research changelog; TFPT — Introduction and reading guide
- Target F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)Red-team audit
All 10 linked sections
Registered verification modules
- v265_qft4d_fork_freeze.pyRegistered verification module · registry
Read the description recorded in the module registry
QFT4D.FORK.01 — freeze the 4D-QFT fork as a Branch Policy (not an open ambiguity); writes qft4d_fork_freeze.json + a prose guard, no new physics. A=boundary-only is the canonical 4D reading (no 4D-GUT claim by default); SM-only 4D-GUT unification is killed (1-loop spread ~8.8 at 2e16, v246); B=carrier-native Pati-Salam is a falsifiable UV branch (E8 content {1,10,16,45} no 126 v247, sin^2 thetaW=3/8 v248, kappa O(1) band v249/v253, threshold+proton kill test). Proton safety rule: no fake tau_p window. Wording guard: bare 4D over-claims absent + scoped policy phrases present. Frozen decision tree, not an open ambiguity.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.