Skip to main content

A registered result in its source context

Original ledger classification: Data confrontation (kill-test) [X]/[O]

Recorded statement: CARRIER-NATIVE PATI-SALAM/SO(10) UNIFICATION KILL-TEST + NEGATIVE CONTROLS (2026-06-17): the suite claim-check of experiments/gauge-unification. Two-step M_Z->(SM)->M_PS->(PS)->M_GUT (SO(10): a4=a2L=a2R), matching a4=a3, a2L=a2,…

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

PS.RGTEST.01

Original ledger classification: Data confrontation (kill-test) [X]/[O]

Original claim text

CARRIER-NATIVE PATI-SALAM/SO(10) UNIFICATION KILL-TEST + NEGATIVE CONTROLS (2026-06-17): the suite claim-check of experiments/gauge-unification. Two-step M_Z->(SM)->M_PS->(PS)->M_GUT (SO(10): a4=a2L=a2R), matching a4=a3, a2L=a2, a2R^-1=(5/3)a1^-1-(2/3)a3^-1. (1) [E] matching holds and a valid 1-loop unification solution exists (M_PS < M_GUT < M_Pl). (2) [X] NEG: pure SM running does NOT unify (residual spread ~8.8 at 2e16 GeV, the universal non-SUSY gap). (3) [C] SCALE COINCIDENCE: the unifying M_PS lands on the scalaron scale M_s=c3^(7/2)Mbar -- M_PS/M_s = 1.0-1.7 at 1-loop (experiment 2-loop shrinks to ~1.0-1.2); two independent TFPT scales (gauge unification + gravitational scalaron) coincide. (4) [X] NEG: 126-type (10,1,3) content (large SU(2)_R, b2R>0) yields NO scalaron-matched solution (1-loop unphysical / 2-loop ~33x) -- match lost; 126 also E8-forbidden (v247). (5) [X] NEG: proton decay selects content -- minimal 16-Higgs M_GUT~2e15 -> tau_p < Super-K (2.4e34 yr) EXCLUDED; +(15,1,1) [E8-allowed 45] raises M_GUT proton-safer. (6) [O] residuals: the gauging fork, the exact kappa in M_PS=kappa M_s (now ~1.0-1.2), the one-45 E8 marginality (v247).

Original classification detail

[E] matching+unification-exists; [X] SM-only fails, 126 breaks the match, proton decay selects content; [C] M_PS=scalaron coincidence; [O] gauging fork + exact kappa + one-45 marginality

Dependencies as recorded

PS.ALGEBRA.01; QFT4D.RGTEST.01

Open the original ledger source, row 335

Location 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.

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.

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.

All 13 linked sections

Registered verification modules

  • v249_ps_unification.pyRegistered verification module · registry
    Read the description recorded in the module registry

    PS.RGTEST.01 — carrier-native Pati-Salam/SO(10) two-step unification kill-test + negative controls (suite check of experiments/gauge-unification). [E] matching + a valid 1-loop unification solution exists; [X] NEG SM-only fails (spread ~8.8 @ 2e16); [C] M_PS/M_s = 1.0–1.7 (1-loop; 2-loop ~1.0–1.2) — gauge unification meets the gravitational scalaron scale; [X] NEG 126 breaks the match (b2R>0; also E8-forbidden v247); [X] NEG proton decay selects content (minimal M_GUT~2e15 excluded; +(15,1,1) proton-safer). [O] the gauging fork, exact κ, the one-45 E8 marginality.

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Search later reviewed research for this identifierRead the coverage boundaries