A registered result in its source context
Original ledger classification: Numerical (two-step RG) [E]/[C]
Recorded statement: EXPLICIT PATI-SALAM THRESHOLD MODEL (2026-06-18): the two-step carrier-native PS chain made explicit for the two E8-allowed contents -- minimal 16-Higgs (M_PS~4.2e13=scalaron, M_GUT~2.4e15) and +(15,1,1) (M_GUT~5.9e15) -- realising the…
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.THRESHOLD.02
Original ledger classification: Numerical (two-step RG) [E]/[C]
Original claim text
EXPLICIT PATI-SALAM THRESHOLD MODEL (2026-06-18): the two-step carrier-native PS chain made explicit for the two E8-allowed contents -- minimal 16-Higgs (M_PS~4.2e13=scalaron, M_GUT~2.4e15) and +(15,1,1) (M_GUT~5.9e15) -- realising the PS.THRESHOLD.01 policy with concrete reps-at-scales and M_PS on the scalaron scale. Decides branch B together with PS.PROTON.02.
Original classification detail
[E] explicit two-step solutions (M_PS,M_GUT,alpha_GUT) for both E8-allowed contents, M_PS on the scalaron scale; [C] realises the threshold policy; selects the content via proton decay (PS.PROTON.02).
Dependencies as recorded
PS.THRESHOLD.01; PS.RGTEST.01; PS.KAPPA.01
Open the original ledger source, row 358Location 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 (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
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.
- Research Contract 1 — [formula in source]tfpt research contracts
- Front matter / supportResearch contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Research Contract 1 — [formula in source]tfpt research contracts
Registered verification modules
- v266_ps_threshold_proton.pyRegistered verification module · registry
Read the description recorded in the module registry
PS.PROTON.02 — the explicit Pati-Salam threshold model + proton-decay window that DECIDES branch B of the v265 fork; writes ps_threshold_proton.json. Two-step PS solve + d=6 tau_p(p->e+pi0); the carrier-native PS UV branch survives proton decay ONLY with the E8-allowed (15,1,1) [single 45]: minimal 16-Higgs M_GUT~2.4e15 -> tau_p~4.4e33 yr KILLED by Super-K (2.4e34), +(15,1,1) M_GUT~5.9e15 -> tau_p~1.6e35 yr safe now but at the Hyper-K reach (~1.4e35) -> a dated kill test within the decade. Marginal (only ONE 45 in the hull, v247) + O(3) hadronic uncertainty. A (boundary-only) stays canonical.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.