/gates/ ledger is the closure-of-record. The analysis below is the conservative least-closed-residual attack vintage published as a mid-audit record, which records those same residuals as “OPEN.”The 30-second spine. The reason grand-unified theories kill the proton — a heavy boson that turns quarks into leptons — literally cannot be built in the framework's geometry, and every proton-decay operator through the standard dimension-7 reach vanishes identically. The Standard-Model gauge backbone is a product of compact factors, not a single simple GUT group, so the two mediators that executed minimal SU(5) (the X/Y boson and the coloured-Higgs triplet) are structurally absent; and a sector-projector identity $\Pi_q M \Pi_\ell = 0$ makes every Wilson coefficient in the declared dangerous class an exact zero, not a tuned-small number.
Honest status (binding; matches the live popup — never upgrade). Gate OPEN. Operator-safety leg Reduced-to-Axiom on the d≤7 slice; the KK-mediator channel is DERIVED all-order in KK number (carried as a written theorem pending a machine-checked formal lemma in
theorems/). STATUS-UPGRADES:0. Frozen branchdcc66f1b2685/ manifest metaa5b1e6f9d951READ-ONLY.What this is. A working physicist's deep version of the live closure-result — the rigorous math, the insights that produced it, the certificates that back it, and a concrete specialist work-plan for every open hole. It is target-blind throughout (no proton-lifetime number is ever an input or an output), and it shares the physics while saying plainly, at every turn, exactly what is and is not claimed.
Proton decay is the single most successful falsifier in beyond-Standard-Model physics. The simplest grand unified theory — minimal SU(5), Georgi–Glashow 1974 — predicted a proton lifetime of order $10^{30}$–$10^{31}$ years. Super-Kamiokande pushed the partial lifetime for $p \to e^+\pi^0$ past $\sim 1.6\times10^{34}$ years (Super-Kamiokande Collaboration, Phys. Rev. D 102, 112011 (2020)), and minimal SU(5) was executed. Every GUT-class theory inherits the same dimension-6 baryon-number-violating pressure: embed quarks and leptons in a single simple group, and you get off-diagonal generators (the X and Y bosons) and coloured-Higgs partners that mediate $p\to e^+\pi^0$, $p\to \mu^+ K^0$, and their relatives.
The framework's claim for SG-9 is structural and exact: on the frozen 13-dimensional active branch, the gauge backbone is not a simple-group embedding at all. It is a product,
$$K_{\rm gauge}=K_6 \times S^2 \times S^1_Y/\mathbb{Z}_2,\qquad K_6=SU(3)/T^2,$$
whose zero-mode isometry algebra is the direct sum $\mathfrak{su}(3)_c \oplus \mathfrak{su}(2)_L \oplus \mathfrak{u}(1)_Y$ (03_FROZEN_GEOMETRY_CONTEXT.md §2). A direct sum has no off-diagonal generator connecting the colour and lepton sectors through one multiplet — so there is no X/Y boson — and the Higgs is a Wilson-line $SU(2)_L$ doublet on $K_{\rm gauge}$ whose bundle (44516f6400ae) carries no coloured-triplet partner. The two mediators that decayed SU(5) are absent by inspection.
On top of that absence-of-mediator structure, the tenth load-bearing term of the active branch, $\mathcal{E}_{\rm proton}$, supplies sector projectors with macro-orthogonality $\Pi_q\Pi_\ell = 0$, which delivers the exact algebraic identity $\Pi_q M \Pi_\ell = 0$ for every sector-respecting mediator $M$. Therefore every Wilson coefficient in the declared dangerous operator class vanishes identically — a zero, not a number waiting for a large mediator mass to suppress it.
Gate SG-9 = OPEN (hardened). By the program's gate-grading rubric — a gate's status is its least-closed residual; a gate is OPEN if any piece is open (06_GATE_GRADING_RUBRIC.md) — SG-9 is OPEN because several residuals remain non-terminal. But two legs are genuinely strong and worth stating precisely:
15f5fc0834e2 with an empty escapee bin (certificates/R5_R1_dle7_operator_ledger/).certificates/STEP4_KK_triality_no_go/THEOREM_ALL_ORDER.md §A). The unrestricted statement ("no KK mediator of any kind") carries two named conditions inherited from R4 (every propagating zero-mode colour rep is triality-0; matter colour assignment $t(\text{quark})=1,\,t(\text{lepton})=0$) and is scoped to tree-level single-mediator exchange, not the separate $d>7$ local-operator channel (THEOREM_ALL_ORDER.md §B/§C). It is carried as a named condition pending a written-up, machine-checked formal lemma landing in theorems/; the supporting certificate already passes adversarially (0 fails / 2009 checks).Direction: held. Nothing here was upgraded relative to the binding handoff. Where two dispositions are defensible, this dossier takes the weaker (the conservative-default rule).
It establishes, on the frozen branch and given the observed spectrum E: the structural absence of the SU(5)-class mediators; the exact-zero (not tuned-small) nature of every declared dangerous Wilson coefficient; a bounded, target-blind, machine-reproducible census proving no perturbative $\Delta B=1$ operator escapes through dimension 7; and a closed-form all-order no-go for KK leptoquark mediators.
It does not establish — and explicitly does not claim — a proof of absolute proton stability (no decay at any operator dimension under any admissible operator), a prediction or bound on the proton lifetime, or cross-geometry uniqueness (the dimension-6 baryon-violating pressure is shared-open across all GUT-class geometries; the product structure is a filter, not a determiner). It does not close the all-order ($d>7$) local-operator channel, does not reconstruct the full internal-sector projector labeling from scratch (R4 AUDIT), and does not supply the seesaw Majorana scale $M_R$ (the dim-5 Weinberg leg, kept strictly separate from the $\Delta B=1$ claim).
Two of those non-claims are unicorns — universal negatives over open-ended axes that no theory in any framework can settle by enumeration (absolute stability; "no future theory could decay it"). We dissolve them as limits on all knowledge, not gaps in ours. The bounded d≤7 result plus the all-order KK no-go is the ceiling, and stating that ceiling precisely is the closure, not a hedge.
Why is the proton so stable? In the Standard Model, baryon number $B$ is an accidental global symmetry: there is simply no renormalizable, gauge-invariant, Lorentz-invariant operator built from SM fields that violates $B$. The leading $B$-violating operators are dimension-6 four-fermion operators suppressed by two powers of a heavy scale $\Lambda$: $$\mathcal{L}_{\Delta B=1} \supset \frac{c}{\Lambda^2}\,QQQL + \dots,\qquad \tau_p \sim \frac{\Lambda^4}{m_p^5}\cdot\frac{1}{|c|^2}.$$ To clear the Super-K bound $\tau_p \gtrsim 10^{34}$ yr you need $\Lambda \gtrsim 10^{15}$–$10^{16}$ GeV (for $\mathcal{O}(1)$ coefficients). The grand-unified idea is precisely to supply such a scale: unify $\mathfrak{su}(3)\oplus\mathfrak{su}(2)\oplus\mathfrak{u}(1)$ into a single simple group ($SU(5)$, $SO(10)$, $E_6$, …) broken at $\Lambda = M_U$. But unification has a price: the off-diagonal generators of the simple group (the X/Y bosons) and the coloured partners of the GUT Higgs are the dimension-6 mediators. They are not optional — they are the very generators that make the group simple. So every GUT predicts a finite proton lifetime, and the model-builder's whole job becomes pushing $M_U$ and the coloured-Higgs mass high enough.
The community gap is twofold. (1) There is no community-accepted derivation of why the proton is so stable. It is a live experimental constraint that has already executed the simplest models and continues to squeeze the survivors. (2) Within any given GUT-class geometry, dimension-6 baryon violation is generic — the question is never whether the pressure exists but how a particular construction suppresses it, and whether that suppression is a tuned mass or a structural zero.
| Strategy | Mechanism | Why it falls short of a structural answer |
|---|---|---|
| Raise $M_U$ (minimal SU(5) → SUSY-GUT) | suppress dim-6 coefficient with a large mass | The dangerous mediators still exist; safety is a tuned-small number, lifetime-tied, and constantly re-pressured by improving bounds. |
| Doublet–triplet splitting | make the coloured Higgs heavy | A fine-tuning (or symmetry) problem in its own right; the triplet is present in the spectrum. |
| R-symmetry / discrete symmetry forbids dim-5 | impose a global/discrete symmetry by hand | An added symmetry, not a geometric consequence; must be justified independently. |
| Global $U(1)_B$ | forbid $B$-violation outright | Forbids observed SM physics (electroweak sphalerons violate $B+L$); not viable. |
The honest community position: proton stability is achieved by every viable construction (that is what "viable" means), but in the standard GUT program it is achieved by suppression — a heavy mediator and a small coefficient. This framework's distinction, stated carefully in §1 and §4, is one of mechanism: an exact zero by selection rule, versus a tuned-small number by heavy mass. That mechanism is genuinely stronger; it is not a uniqueness claim, and dimension-6 baryon violation as a pressure remains shared by all GUT-class geometries.
The active branch is the frozen 13D object (03_FROZEN_GEOMETRY_CONTEXT.md §1):
$$
\mathfrak{B}_{\rm active} = \big[\,\mathcal{M}_4 \times K_6 \times S^2 \times S^1_Y/\mathbb{Z}_2\,\big]_\times \ \oplus\ \big[\,F^+_{\rm finite}\oplus C_{\rm admiss}\,\big]_\oplus \ \otimes\ \big[\,E_{\rm matter}\oplus E_{\rm gauge}\oplus E_{\rm Higgs}\oplus E_{\rm proton}\,\big]_\otimes,
$$
with $D=13=4+6+2+1$ (only the ×-layer carries metric dimension). The gauge routing is by isometry:
| Internal factor | Routes | Mechanism |
|---|---|---|
| $K_6=SU(3)/T^2$ | $SU(3)_c$ colour | left-isometry algebra $\mathfrak{su}(3)$ |
| $S^2$ | $SU(2)_L$ weak | isometry $\mathfrak{su}(2)$ |
| $S^1_Y/\mathbb{Z}_2$ | $U(1)_Y$ hypercharge | isometry + orbifold chirality filter |
Three generations come from the spin-$\mathbb{C}$ index $\chi(K_6,E)=-3$; charge quantization from the global $\mathbb{Z}_6$ centre identification; the Higgs from a Wilson-line / Hosotani construction ($E_{\rm Higgs}$). Proton safety lives in the tenth load-bearing term, $\mathcal{E}_{\rm proton}$. The relevant frozen hashes (01_DOSSIER.md §0): sector projectors $\Pi_u,\Pi_d,\Pi_e,\Pi_\nu$ 3b8d68559f5e (R1.4); FCNC/mediator no-go theorem fff4b433b7b3 (R1.6); operator-class declaration 551488d06011 (R1.6); Cartan-torus modulus $\tau=\omega$ 03b30a9c931a; global $\mathbb{Z}_6$ centre a68ee92a75be; $\mathbb{Z}_2$ orbifold on $S^1_Y$ ac4d2df3e708; hypercharge bundle (no coloured-Higgs partner) 44516f6400ae; proton-operator ledger CSV bc1e4e84840a. $M_R$ (seesaw Majorana scale): no hash — UNKNOWN/open (BG10-FROZEN-MR).
product geometry K_gauge = K_6 × S² × S¹_Y/Z₂ (NOT a simple-group embedding)
↓ no off-diagonal X/Y generator; no coloured-Higgs triplet
sector projectors Π_q , Π_ℓ on E_matter
↓ sector orthogonality of the chamber decomposition
Π_q Π_ℓ = 0
↓ lift to the matter bundle; act with any sector-respecting mediator M
Π_q M Π_ℓ = 0 (no-mediator identity — a THEOREM given orthogonality)
↓
C_dangerous = 0 identically, for every operator in the DECLARED class
↓
operator-level proton safety (declared-class Wilson zeros: DERIVED-GIVEN-E)
The SM gauge algebra on the active branch is the surviving direct-sum isometry $\mathfrak{su}(3)\oplus\mathfrak{su}(2)\oplus\mathfrak{u}(1)$ of a product of compact factors, not the residual of breaking a larger simple group. A product of compact factors has a direct-sum isometry algebra; there is no off-diagonal generator connecting the colour and lepton sectors through a single multiplet. Concretely, in $SU(5)$ the X/Y bosons live in the off-diagonal $\mathbf{3}\times\mathbf{2}$ blocks of the $\mathbf{24}$ adjoint; in a direct sum those blocks do not exist as generators at all. Likewise the GUT Higgs $\mathbf{5}_H \supset (\mathbf{3},\mathbf{1})_{-1/3}$ contains a coloured triplet that mediates decay; on the active branch the Higgs is a Wilson-line $SU(2)_L$ doublet whose bundle 44516f6400ae carries no coloured partner. This is a $\times$-layer fact — it is checkable by inspection given the selected product geometry, and it is exactly the move that dissolves the failure mode that executed minimal SU(5).
Attack handle (carried honestly): "product not simple" is a property of the selected geometry, not a proof that a product geometry is forced over a simple-group rival. The gauge-group outcome is itself a SHAPE-audit rival (selected, not forced; R7, inherited from SG-1/SG-2). The structural absence of X/Y is therefore a filter, not a determiner.
The four sector projectors $\Pi_u,\Pi_d,\Pi_e,\Pi_\nu$ (3b8d68559f5e, R1.4) are the same projectors that give the flavour gate (SG-8) its chamber operators their domain — proton safety and flavour share the sector decomposition. The macro-projectors are
$$\Pi_q = \Pi_u + \Pi_d + \Pi_{Q_L},\qquad \Pi_\ell = \Pi_e + \Pi_\nu + \Pi_{L_L},$$
on the matter bundle $\mathcal{E}_{\rm matter}$. The doublet-component projectors $\Pi_{Q_L},\Pi_{L_L}$ come from the A2.3 matter-bundle factorisation. Macro-orthogonality $\Pi_q\Pi_\ell=0$ follows because the index sets $\{u,d,Q_L\}$ and $\{e,\nu,L_L\}$ are disjoint.
The crucial sharpening (R4′, DERIVED-GIVEN-E; 02_CLOSURE_RESULT.md §0.0). The macro-orthogonality the no-mediator identity actually needs is forced by the $SU(3)_c$ colour Casimir / triality label that E carries: quarks sit in colour $\mathbf{3}$ (Casimir $C_2 = 4/3$), leptons in colour $\mathbf{1}$ (Casimir $0$), and $V_{\mathbf 3}\otimes V_{\mathbf 1}=0$ as eigenprojectors for distinct Casimir eigenvalues. This is independent of the $\mathbb{Z}_6/\mathbb{Z}_2$ chamber data and immune to generation mixing. No-orphan completeness $\Pi_q + \Pi_\ell = 1$ is an exhaustive triality partition resting on three named E-inputs: the observed colour reps $\{\mathbf{3},\bar{\mathbf{3}},\mathbf{1}\}$, the frozen chiral index $\chi=-3$, and the frozen $\nu^c$-lepton sector labeling. This upgrades the macro-orthogonality from AUDIT to DERIVED-GIVEN-E. The full internal-sector labeling ($\Pi_u/\Pi_d/\Pi_e/\Pi_\nu$ reconstructed from scratch) remains the R4 AUDIT residual (§6.3).
A precision note carried from the corpus (RESIDUAL_LEDGER.md R4). The literal A2.6 declaration — "four mutually-orthogonal rank-3 idempotents on a 3-dimensional generation space" — is algebraically impossible as a matrix identity (four rank-3 orthogonal idempotents cannot fit in a 3-dimensional space) and must be read as an index/label delta over the disjoint sector set, not as four literal $3\times3$ projectors. This is one of the things a from-scratch R4 reconstruction must clean up.
For any sector-respecting mediator $M=\sum_i \Pi_i M_i \Pi_i$, $$\Pi_q M \Pi_\ell = \sum_i (\Pi_q \Pi_i) M_i (\Pi_i \Pi_\ell) = \sum_i \delta_{qi}\,\delta_{i\ell}\,\Pi_i M_i \Pi_i = 0 \quad (q\neq\ell).$$ This is a theorem given the projectors, not an axiom (the corpus is emphatic — asserting it without proof would collapse the certificate to a postulate; C10 §5, L.3.2). The consequence: every Wilson coefficient in the declared dangerous class — $QQQL$, $u^c u^c d^c e^c$, $QL u^c d^c$, $QQ u^c e^c$, their dim-7 single-field dressings, and the $\bar d^c\bar d^c\bar u^c$ $n$-side channel — is an exact zero, not a tuned-small number. The dangerous coefficients are zeros, not suppressed.
A mediator that avoids Lemma 2 must be a genuine cross-sector carrier. The FCNC/mediator no-go theorem (full hash fff4b433b7b3, R1.6) handles them in two channels:
The hardening that takes R1 from "declared-class pass with a coverage residual" to "Reduced-to-Axiom on the d≤7 slice" is a bounded operator census through mass dimension 7 on the frozen active-branch field content (02_CLOSURE_RESULT.md §2.2; machine-regenerated in certificates/R5_R1_dle7_operator_ledger/). The field content is exactly the SM Weyl multiplets $Q, u^c, d^c, L, e^c, \nu^c$, the Higgs doublet $H, H^\dagger$, and the covariant derivative $D$ — nothing else (no exotic mediator field is admissible on the frozen branch; that absence is the physics).
Lemma 1 (independently reproduced). A $\Delta B=1$ operator needs 3 net units of quark triality, hence an odd number of quark fields. A Lorentz scalar needs an even total number of Weyl fermions. Odd quarks + even total $\Rightarrow$ an odd number of lepton fields $\Rightarrow$ at least one lepton leg. Therefore every local perturbative $\Delta B=1$ Lorentz-scalar operator at $d\leq 7$ is a quark$\leftrightarrow$lepton sector crossing, and $\Pi_q M \Pi_\ell = 0$ kills its Wilson coefficient identically.
The census by dimension (02_CLOSURE_RESULT.md §2.2.2):
- $d\leq 4$: no proton-decay operator (renormalizable SM conserves $B$ accidentally).
- $d=5$: the Weinberg operator $(LH)(LH)/\Lambda$ has $\Delta B=0,\ \Delta L=2$ — outside proton safety (a lepton-number/Majorana issue; $\Lambda=M_R$ UNKNOWN). A coloured-Higgs-like $\bar Q L H_c/\Lambda$ needs an absent mediator.
- $d=6$ — the complete core: $QQQL$, $u^c u^c d^c e^c$, $u^c d^c d^c \nu^c$ — all sector-crossing → killed. (This is the complete Weinberg/Wilczek–Zee basis.)
- $d=7$ — single-field dressings: $HL d^c d^c u^c$, $H^\dagger L d^c d^c d^c$, $H^\dagger \nu^c Q^3$, $L Q^3 D$, $\nu^c d^c d^c u^c D$, $d^c e^c u^c u^c D$ — still sector-crossing → killed. (This is the complete Lehman d=7 basis.)
Result of the regenerated machine ledger (certificates/R5_R1_dle7_operator_ledger/README_CERTIFICATE.md):
| Quantity | Value |
|---|---|
| gauge-singlet Lorentz-scalar operators through d≤7 | 68 |
| candidates incl. odd-fermion (for the vacuous check) | 101 |
| physical $\Delta B=\pm1$ proton-decay operators (d≤7) | 9 — all KILLED_PROJECTOR |
| quark-only $\Delta B=1$ candidates | 8 — all VACUOUS_NO_LORENTZ_SCALAR (odd Weyl count) |
| ESCAPEE bin | EMPTY (0) |
| L.2b coverage rows witnessed | 10 / 10 |
| injected-escapee falsifier | fires |
| known-basis cross-check | PASS (3 content classes = complete SM + $\nu^c$ set, all sector-crossing) |
The escapee bin is empty: $\text{Escapee}^{\rm perturbative,\,local,\,SM\text{-}zero\text{-}mode}_{d\le 7} = \varnothing$. The ledger committed hash 15f5fc0834e2 (the ledger_output.json) regenerates byte-stable, and the script reads no frozen file and takes no Super-K / $\tau_p$ input.
The one channel a finite census cannot touch is the Kaluza–Klein tower: could some level of the gauge KK tower carry the colour-$\mathbf{3}$ + isospin + lepton-number quantum numbers of a leptoquark and bypass the projector? The answer is a closed-form all-order theorem, not a census-to-cutoff (certificates/STEP4_KK_triality_no_go/THEOREM_ALL_ORDER.md).
Theorem (STEP4-gauge, all-order in KK number). On $\mathfrak{B}_{\rm active}$ with $K_6=SU(3)/T^2$, every KK excitation of a field whose $SU(3)_c$ representation is the adjoint $\mathbf{8}=V(1,1)$ (the higher-dimensional gauge field) carries $SU(3)_c$ triality 0 at every level $n\geq0$. A leptoquark mediator must carry nonzero triality. Therefore no gauge-tower KK mode is an admissible leptoquark: $\Pi_Q M_{\rm KK}\Pi_L = 0$ for every gauge-tower KK mediator, all $n$.
It rests on two closed-form facts, each true for all $(p,q)\in\mathbb{Z}_{\geq0}^2$ and each independently re-derived (not merely asserted):
Fraction Freudenthal recursion; the frozen spectrum_K6.csv (57 scalar rows) contains only triality-0 irreps (residue histogram $\{0:57,\,1:0,\,2:0\}$). So $\mathbf{3},\bar{\mathbf{3}},\mathbf{6},\bar{\mathbf{6}}$ are absent at every level. A theorem (Frobenius reciprocity), machine-confirmed.Closure: gauge index $=$ adjoint $V(1,1)$ (triality 0) $\otimes$ $K_6$-harmonic (triality 0 by T1) $\otimes$ $S^2/S^1$ (no colour). Net colour triality $0$ for all $n$. The leptoquark predicate $(p-q)\bmod 3\neq 0$ is period-3, and only residue 0 ever appears, so a single full period is representative of all $n$. No cutoff is used.
The machine certificate (certificates/STEP4_KK_triality_no_go/out/step4_certificate.json, verdict PASS) records: L0 reproduces the frozen K6 spectrum (K6 csv sha256 78c7baa0308f, 0 rule mismatches); L1 Freudenthal certifies T1 on the window (57 triality-0 irreps and 112 triality-nonzero irreps checked, 0 mismatches); L2 the triality homomorphism (0 violations); L3 the all-order predicate over $(p,q)\in[0,200]^2$ (13,467 appearing modes, 0 leptoquark candidates, residue histogram $\{0:13467\}$); L4 the product-KK enumeration (540 gauge-KK modes, 0 leptoquark candidates); and L5 the injected-falsifier battery — planted $\mathbf{3},\bar{\mathbf{3}},\mathbf{6},\bar{\mathbf{6}},\mathbf{15}$ (nonzero triality) all flagged, genuine $\mathbf{1},\mathbf{8},\mathbf{10}$ (triality 0) not flagged, and injecting a planted $\mathbf{3}$ drives the leptoquark count $0\to1$. The checker has teeth and no false positives.
Disposition: the gauge-tower KK-mediator channel is DERIVED-ON-CHANNEL, all-order in KK number — a closed-form discharge, not re-banked as an axiom. It is carried as a written theorem pending the formal lemma write-up landing in theorems/ (§6.4). It does not touch the separate $d>7$ local-operator channel.
These are the moves that made the progress believable and reproducible — now shareable in full.
The deepest insight is that the proton-decay wall is built into the simple-group hypothesis itself. The X/Y bosons are not an add-on to be made heavy; they are the off-diagonal generators that make the group simple. So if the geometry routes the SM forces as isometries of separate compact factors — colour from $K_6$, weak from $S^2$, hypercharge from $S^1_Y/\mathbb{Z}_2$ — the algebra is a direct sum, and the off-diagonal generators do not exist as objects. You cannot make heavy a generator that is not there. This converts "suppress the dangerous coefficient" into "the dangerous mediator is structurally absent." It is the single strongest, most defensible leg, and it reproduces by inspection.
The second insight is that once the sectors are orthogonal subspaces, any sector-respecting operator is block-diagonal, and a cross-sector amplitude $\Pi_q M \Pi_\ell$ is identically zero by the same one-line algebra that makes orthogonal projectors annihilate. This is qualitatively different from a heavy-mediator suppression: there is no scale, no coefficient, no running — the coefficient is zero because the operator connects two orthogonal subspaces. The honesty discipline is to remember that this is a theorem given the orthogonality, so the orthogonality must itself be earned (R4′ earns the macro-version via the colour Casimir; R4 still owes the full internal reconstruction).
The third insight makes the KK channel tractable. The $SU(3)$ centre $\mathbb{Z}_3$ charge (triality) is the colour quantum number that distinguishes quarks ($t=1$) from leptons ($t=0$). Any quark↔lepton transition demands a nonzero-triality mediator (centre charge is conserved per vertex). Because triality is a ring homomorphism (T2) and only triality-0 irreps live on the flag coset $SU(3)/T^2$ (T1, Frobenius), every KK gauge mode is triality-0 and can never be a leptoquark — irrespective of its $SU(2)/U(1)$ charges. The closed-form periodicity (mod 3) is what makes this all-order, not a census to some cutoff: one full period of the predicate represents all levels.
The fourth insight is methodological and is the reason the d≤7 result survives where an earlier attempt was demoted. The corpus precedent "A5-actor" was demoted from AXIOM_CLOSED to OPEN because its success criterion was a universal negative over an unbounded competitor matrix — genuinely unclosable by enumeration. SG-9's universal negative ("the escapee bin is empty") is bounded to d≤7, and a finite enumeration genuinely can close a bounded universal negative. The all-order ($d>7$) statement is the unbounded version and is honestly kept OPEN. Recognizing exactly where the boundedness lives is what separates an honest reduction from a target-fitted relabel.
The fifth insight is what the construction refuses: it does not invoke a global $U(1)_B$ (which would forbid observed SM physics — electroweak sphalerons violate $B+L$). Safety is secured by the operator algebra (orthogonal sectors), so SM sphalerons remain allowed because they act intra-sector ($Q_L\leftrightarrow L_L$ inside the same algebra), not as a cross-sector $\Pi_q M \Pi_\ell$ amplitude. Doing the harder, more honest thing — operator algebra instead of a forbidden global symmetry — is part of why the leg is defensible.
| # | Witness | What it asserts | Grade | Reproduces? |
|---|---|---|---|---|
| W1 | Product-factor $K_{\rm gauge}\to$ no X/Y, no coloured Higgs | the SU(5)-class mediators are structurally absent | hand-checkable | Yes — direct-sum isometry; no off-diagonal generator by inspection (given the selected product) |
| W2 | No-mediator identity $\Pi_q M \Pi_\ell=0$ | every sector-respecting cross-block Wilson coefficient is identically zero | hand-checkable | Yes given orthogonality — one-line proof |
| W3 | Macro-orthogonality $\Pi_q\Pi_\ell=0$ (R4′) | the orthogonality the identity needs holds, forced by colour Casimir | symbolic | DERIVED-GIVEN-E — $V_{\mathbf3}\otimes V_{\mathbf1}=0$, mixing-immune |
| W4 | d≤7 operator ledger (R5/WS3) | escapee bin empty through d=7; 9 ops all KILLED_PROJECTOR |
machine-lane | PASS — regenerates hash 15f5fc0834e2, target-blind, falsifier fires |
| W5 | Two-channel decoupling | Channel A BRST-exact; Channel B KK-number + projector-killed | symbolic | Yes (structurally) — refuses the blanket "all KK BRST-exact" claim |
| W6 | STEP4 KK no-go | no KK gauge mode is a leptoquark, all-order in KK number | machine-lane + closed form | PASS — 0 candidates / 13,467 appearing + 540 product modes; T1+T2 closed form |
| W7 | Lemma 1 (sector-crossing) | every d≤7 $\Delta B=1$ Lorentz scalar has ≥1 quark + ≥1 lepton leg | hand-checkable | Yes — Weyl-count parity argument; cross-checked vs Weinberg/Wilczek–Zee/Lehman |
| W8 | Sphaleron-compatibility | safety is operator-algebra; SM sphalerons remain allowed | hand-checkable | Yes — sphalerons act intra-sector |
| W9 | Lifetime diagnostic | a numerical $\tau_p$, context only | — | Diagnostic only — not frozen; cannot be a hard claim by design |
| W10 | Freeze hashes + meta a5b1e6f9d951 |
every load-bearing object content-addressed | machine-lane | Yes in principle — re-hash R1.4/R1.6 rows |
…/SG9_COMPLETION_HANDOFF/certificates/R5_R1_dle7_operator_ledger/ — enumerate_dle7_operators.py (sha 935aa98d8891), ledger_output.json (15f5fc0834e2), dle7_operator_ledger.csv (d19f693feea8), README_CERTIFICATE.md, HASH_MANIFEST.txt. Regenerate: python enumerate_dle7_operators.py > ledger_output.json (deterministic; stdlib + field-content table only; reads no frozen file, no experimental input).…/SG9_COMPLETION_HANDOFF/certificates/STEP4_KK_triality_no_go/ — step4_kk_no_leptoquark.py, adversarial_break_test.py, out/step4_certificate.json (verdict PASS), out/kk_mode_census.csv (sha f3bb27ec…), THEOREM_ALL_ORDER.md, CERTIFICATE.md. Frozen K6 spectrum sha256 78c7baa0308f (timestamp predates the certificates; read access only).…/SG9_COMPLETION_HANDOFF/02_CLOSURE_RESULT.md (specialist closure + independent refute-before-upgrade audit, verbatim-preserving).…/SG9_COMPLETION_HANDOFF/01_DOSSIER.md.…/SG9_COMPLETION_HANDOFF/SG9_COMPLETION_ENDPOINT/ — FINAL_GATE_STATUS.md, RESIDUAL_LEDGER.md, OPEN_RESIDUALS.md, EXPORTED_RESIDUALS.md, NO_TARGET_LOADING_SELF_CHECK.md, ONE_SENTENCE_ENDPOINT.md.Reproduces. (i) The structural absence of X/Y by inspection (W1). (ii) The identity by hand (W2). (iii) The macro-orthogonality from the colour Casimir (W3, DERIVED-GIVEN-E). (iv) The d≤7 ledger as a target-blind machine certificate with an empty escapee bin and a firing falsifier (W4). (v) The KK no-go as a closed-form all-order theorem with adversarial teeth (W6). (vi) The sphaleron-compatibility leg (W8).
Does not yet reproduce (honest gaps). (i) R4 full internal-sector reconstruction — the from-scratch reconstruction of $\Pi_u/\Pi_d/\Pi_e/\Pi_\nu$ independent of the frozen labeling is not built (no certificates/R4_bundle_labeling/ on disk; only a VERDICT_STUB). The macro-orthogonality the identity needs is DERIVED-GIVEN-E (R4′); the full internal labeling stays AUDIT. (ii) All-order $d>7$ local-operator completeness — OPEN/computation-debt; an unbounded universal negative. (iii) The STEP4 formal lemma write-up — the math is done and machine-checked; the all-order theorem is not yet landed as a discharged lemma in theorems/ADM_MORPHISM_COMPLETENESS/ (WS4 BLOCKED). (iv) $M_R$ — no value, formula, or hash. (v) The lifetime — Diagnostic only, by design.
The proton lifetime / Super-K non-observation is a measured boundary, never a construction input. The d≤7 ledger generator and binner contain no Super-K bound and no $\tau_p$ — the only lifetime token is a docstring asserting blindness — and would run identically (and expose a real escapee) in a counterfactual world where the proton had been seen to decay. The KK certificate is pure colour-representation theory. Where experimental bounds appear ($p\to e^+\pi^0$, $p\to\mu^+ K^0$, $n$–$\bar n$), they sit only in an experimental-falsifier column. No $\tau_p$ is derived. Frozen branch dcc66f1b2685 / a5b1e6f9d951 READ-ONLY; STATUS-UPGRADES:0 (NO_TARGET_LOADING_SELF_CHECK.md).
The independent census found exactly two presentational defects, both corpus-editorial, neither changing any status:
- Defect 1 — "QQQL HH (dim-7)" is actually d=8. A d=6 core dressed by two scalars ($HH$) is mass-dimension 8; the genuine d=7 dressing is single-field ($QQQL\cdot H$ / $QQQL\cdot D$). L.2b ("QQQLΦ") and CR10 ("QQQL·Φ") get it right; the Appendix L ledger row is internally inconsistent. Both forms retain the quark–lepton crossing, so no escapee. Fix: relabel the ledger row to single-H d=7 (or move to a d=8 row).
- Defect 2 — $\bar d^c\bar d^c\bar u^c$ is not a stand-alone Lorentz scalar. Three Weyl fermions cannot contract to spin 0; the operator closes only at higher dimension and is killed by Ingredient 1 (absent coloured triplet), not by the projector identity. The machine census routes it (and 7 cousins) to VACUOUS_NO_LORENTZ_SCALAR with a proof. Fix: footnote the row to name the correct mechanism.
A third, separate item: GUT.md cites a machine certificate certificates/G10_proton_safety/ that does not exist on disk — a phantom citation. The real backing is the bounded hand-census / regenerated R5 ledger. This must be demoted to the real certificate before the pass can be recorded as corpus-clean; it does not change the gate status (OPEN regardless).
The most load-bearing section: for each open hole, a concrete work-package a specialist can pick up and start closing immediately. Physics only; the firewall holds (no device engineering). The shared traps to avoid, named so they are not repeated: (T-a) target-fitting — never reverse-engineer a posit to "no dangerous operators above d=7"; the script must remain runnable identically in a proton-decay world (the A5-actor demotion precedent). (T-b) the all-order unicorn — the fully general "no operator at any dimension" form is an unbounded universal negative, unprovable by enumeration for any theory; the plug-able target is a finite structural theorem, not an enumeration. (T-c) fabricated certificates — do not cite certificates/G10_proton_safety/; it does not exist. (T-d) uniqueness inflation — bounded-census confidence must never push the Battle verdict off SHARED-OPEN. (T-e) relocation — enlarging the declared class to "whatever vanishes" relocates the residual rather than closing it (the L.2a declare-then-prove-on-whatever-vanishes failure).
(a) Precise statement. Prove a dimension-independent structural selection rule: that every admissible $\Delta B=1$ local Lorentz-scalar operator at any mass dimension $d$ on the frozen field content is either sector-crossing (killed by $\Pi_q M \Pi_\ell=0$) or mediator-required (mediator absent). The proposed vehicle is a parity × triality argument extending Lemma 1 to all $d$.
(b) Why it's hard / prior-attempt lessons. The fully general statement is an unbounded universal negative (trap T-b); it is a unicorn and must not be the target. An earlier same-day claim that R1 was DERIVED-GIVEN-E all-order was a one-rung over-promotion, demoted by independent second-pass audit under the conservative-default rule (the campaign's 7th earned demotion). The honest target is a finite structural theorem, not an enumeration to a cutoff (which can never close an unbounded axis — the A5 precedent, trap T-a).
(c) Exactly what closes it. Generalize Lemma 1's parity argument: a $\Delta B=1$ operator needs an odd number of quark fields (3 net units of quark triality) and a Lorentz scalar needs an even total Weyl count, forcing $\geq1$ lepton leg at every $d$. The piece that does not yet generalize cleanly is the dressing: at high $d$, derivative and scalar dressings, and possible higher-fermion completions, must be shown not to convert a sector-crossing structure into a sector-respecting one. Success criterion: a closed-form proof that the quark-count parity ⇒ lepton-leg conclusion holds for all $d$, with the dressing argument made dimension-independent. A refuting result — an admissible, gauge-invariant $d>7$ operator that is neither sector-crossing nor mediator-required — is a valid close: it would move the operator leg to OPEN/not-claimed and is the good kind of structure-first falsifier.
(d) Machinery and inputs. The triality/centre-charge homomorphism (T2) already proves quark↔lepton transitions need nonzero-triality mediators at all orders; couple it to the Weyl-count parity of Lemma 1. Start from certificates/R5_R1_dle7_operator_ledger/enumerate_dle7_operators.py (the binner logic), the Lemma-1 reproduction in 02_CLOSURE_RESULT.md §2.2.4, and the closed-form triality machinery in certificates/STEP4_KK_triality_no_go/THEOREM_ALL_ORDER.md §A (T1/T2). The conditional structural theorem already exists in reduction form (parity × triality); its conditions inherit STEP4 (carried) + R4 (AUDIT) + R9 (out of scope), so discharging them (Holes B, C) is part of the path.
(e) Leverage. Closing this is what lets the gate roll off OPEN by computation rather than by axiom. It is the least-closed residual; everything else is reinforcing.
(a) Precise statement. Promote the all-order KK-mediator no-go from a carried named condition (math done, certificate passing) to a discharged formal lemma in theorems/, with the Frobenius/Peter–Weyl triality selection rule on $K_6=SU(3)/T^2$ written as a formal all-order-in-KK lemma and a landed machine certificate (theorems/ADM_MORPHISM_COMPLETENESS/ + a STEP4 verdict).
(b) Why it's hard / prior-attempt lessons. The physics is done — T1 (Frobenius selection) and T2 (centre-charge homomorphism) are closed forms, machine-re-checked (0 fails / 2009 checks). What remains is the write-up discipline: the unrestricted "no KK mediator" target rests on three carried conditions (THEOREM_ALL_ORDER.md §B) — (1) mediator-sector completeness (that every propagating field's zero-mode colour rep is triality-0, which is the content of R4); (2) the matter colour assignment $t(\text{quark})=1, t(\text{lepton})=0$ (also R4); (3) channel scope (it covers tree-level single-mediator exchange, not the $d>7$ local-operator channel — do not conflate "no KK mediator" with "no $\Delta B=1$ operator", the M7-rename trap). The lemma must state these conditions explicitly, not paper over them.
(c) Exactly what closes it. Write the lemma so the gauge-tower channel is DERIVED-ON-CHANNEL all-order, with conditions (1)–(2) named as "given R4" and condition (3) named as "gauge-mediator channel only; $d>7$ local channel separate." Land the certificate artifact. Success criterion: a reviewer can read the lemma and verify the all-order claim is closed-form (period-3 predicate) with its conditions explicit. A refuting result would be a propagating zero-mode field already in a nonzero-triality colour rep (a $\bar{\mathbf 3}$ scalar leptoquark, a $\mathbf 6$, etc.) on the branch — which is exactly what R4 / the R5 scalar-leptoquark search must rule out.
(d) Machinery and inputs. certificates/STEP4_KK_triality_no_go/THEOREM_ALL_ORDER.md (the theorem text + the three carried conditions), out/step4_certificate.json (the layer-by-layer PASS record), step4_kk_no_leptoquark.py, adversarial_break_test.py. The missing artifact path is named, not fabricated: theorems/ADM_MORPHISM_COMPLETENESS/ (currently absent → WS4 BLOCKED).
(e) Leverage. Discharges the KK condition that Hole A's all-order theorem inherits; also discharges the WS4 master-functor BLOCKED leg on the KK channel.
(a) Precise statement. Reconstruct the active-branch matter bundle $\mathcal{E}_{\rm matter}$ target-blind and confirm $\Pi_i\Pi_j=\delta_{ij}\Pi_i$ and $\Pi_q\Pi_\ell=0$ for the full internal labeling $\{u,d,e,\nu\}$ to machine precision, independent of the frozen labeling, and re-hash 3b8d68559f5e.
(b) Why it's hard / prior-attempt lessons. The macro-orthogonality is already DERIVED-GIVEN-E via the colour Casimir (R4′) — so the identity's actual premise is earned. What remains is the full internal reconstruction: no certificates/R4_bundle_labeling/ exists on disk (only a VERDICT_STUB). A trap specific to this hole: the literal A2.6 reading — "four rank-3 idempotents on a 3-dimensional generation space" — is algebraically impossible and must be read as an index/label delta over the disjoint sector set, not as four literal $3\times3$ projectors. A reconstruction that takes A2.6 literally will (correctly) find an impossibility; the task is to reconstruct the bundle labeling, not to enforce an impossible matrix identity.
(c) Exactly what closes it. Build $\mathcal{E}_{\rm matter}$ from the A2.3 matter-bundle factorisation + the R1.4 sector projectors + the global $\mathbb{Z}_6$ centre (a68ee92a75be) + the $\mathbb{Z}_2$ orbifold (ac4d2df3e708), confirm orthogonality from the $\mathbb{Z}_6/\mathbb{Z}_2$ assignments alone, and regenerate the projector hash. Success criterion: orthogonality confirmed from scratch (R4 AUDIT → VERIFIED) and the hash regenerates. A refuting result — a non-zero overlap $\langle\Pi_q\cdot\Pi_\ell\rangle$ — would downgrade Gate 10 (L.2a.4(2)); it is almost certainly true (it is group theory) but is currently asserted, not independently reconstructed.
(d) Machinery and inputs. A bounded linear-algebra-over-representations task. Start from the A2.3/A2.6/A2.8 appendix material referenced in 01_DOSSIER.md §1.1, the colour-Casimir argument in 02_CLOSURE_RESULT.md §0.0 (R4′), and the frozen $\mathbb{Z}_6$/$\mathbb{Z}_2$ hashes. Named missing artifact: certificates/R4_bundle_labeling/.
(e) Leverage. Discharges the shared premise that both Hole A (all-order) and Hole B (STEP4 conditions 1–2) inherit. R4 is the shared blocker — closing it unblocks two downstream legs at once.
(a) Precise statement. Regenerate the proton-operator ledger CSV (bc1e4e84840a) target-blind, confirm byte-equality, and attach an explicit mechanism witness (sector-crossing / coloured-triplet-absent / KK-no-go) to every "Covered" row of the L.2b coverage table; re-hash and fail-closed.
(b) Why it's hard / prior-attempt lessons. It is mostly execution + verification, no new physics — which is exactly why it is highest value-per-effort. The trap (T-c) is the phantom certificates/G10_proton_safety/ citation: the regeneration must point at the real R5_R1_dle7_operator_ledger, not the non-existent G10 folder.
(c) Exactly what closes it. Mount the CSV, regenerate, confirm the committed hash 15f5fc0834e2 (already done for ledger_output.json in WS3), and add the per-row mechanism witness to each L.2b row (10/10 are already witnessed in mechanism_rows of the WS3 output — this hole is largely landing that into the published coverage table). Success criterion: every coverage row has a machine-checked mechanism witness; injected-escapee falsifier still fires. A refuting result would be a "Covered" row whose mechanism witness fails — i.e. a real escapee.
(d) Machinery and inputs. certificates/R5_R1_dle7_operator_ledger/ (generator, ledger_output.json with mechanism_rows, CSV, hash manifest). The L.2b coverage rows live in Appendix L of the published GUT manuscript.
(e) Leverage. Converts "Covered" + "byte-equal" assertions into machine-checked rows; cheapest reproducibility win; supports Hole A's enumeration.
(a) Precise statement. Supply a value, formula, or measured anchor for the seesaw Majorana scale $M_R$ (BG10-FROZEN-MR), so the dim-5 Weinberg leg $(LH)(LH)/\Lambda$ with $\Lambda=M_R$ becomes a bounded statement. Keep it strictly separate from the $\Delta B=1$ proton-decay claim — folding it in is a smuggle (trap: this is a $\Delta B=0, \Delta L=\pm2$ lepton-number object, not proton decay).
(b) Why it's hard / prior-attempt lessons. No value, formula, or hash exists; this is the same floating object that blocks the absolute neutrino scale (SG-8). The corpus records a parallel candidate $M_R=\kappa M_U$ that is ~231× off the corpus $\kappa^0$ — a candidate-in-tension; do not bank a tuned $\kappa$-power before the inversion.
(c) Exactly what closes it. Run the decisive inversion first: compute the required $M_R^{\rm req}=N_\nu^2/(\text{abs }\Delta m^2)$ from the frozen ratio $N_\nu$ + the measured splitting, then test whether $M_R^{\rm req}$ lands (within an order of magnitude) on a frozen scale the geometry already committed — $M_U\approx10^{16}$ GeV (SG-7), $R_0^{-1}$ ($R_0=1.592\times10^{-17}\,\mathrm{GeV}^{-1}$), or a clean chamber-flux scale $M_U\cdot f(N{=}1,\tau{=}\omega)$. κ³/π pivot: if it lands on $M_U$, AXIOM-MR-IS-MU is a genuine target-blind closure; if nowhere clean, every candidate relocates a new tuned scale (sharper-OPEN). DERIVED-CLOSED if a chamber computation yields $M_R$ parameter-free; REFUTED if a definite chamber $M_R$ misses $M_R^{\rm req}$.
(d) Machinery and inputs. Shared with SG-8 §4.3 (the same $M_R$). The chamber Cartan-torus modulus $\tau=\omega$ + $N=1$ flux as asserted in Appendix K.4. Note the dim-5 census line in 02_CLOSURE_RESULT.md §2.2.2.
(e) Leverage. A computed $M_R$ pins the dim-5 Weinberg $\Lambda$ and closes SG-8's absolute-neutrino-scale leg — one inversion pays two debts. It does not touch the $\Delta B=1$ proton-safety claim.
(a) Precise statement. Three editorial corrections: relabel the Appendix L "QQQL HH (dim-7)" row to single-H d=7 (or move to a d=8 row); footnote the $\bar d^c\bar d^c\bar u^c$ row's correct mechanism (Ingredient 1, not the projector); demote the phantom certificates/G10_proton_safety/ citation in GUT.md to the real R5_R1_dle7_operator_ledger certificate.
(b)–(e). These are owner edits, not physics; none opens an escapee or changes any status. They are required for the pass to be recorded as corpus-clean (the phantom citation in particular, trap T-c). Inputs: 02_CLOSURE_RESULT.md §1.5 (the two defects with confirmed line cites), FINAL_GATE_STATUS.md (the phantom-citation note).
The verb is "Reduced," not "solved." The operator-safety leg is Reduced-to-Axiom on the d≤7 slice, hardened by a regenerated machine certificate, and the KK-mediator channel is DERIVED all-order in KK number. None of that is a proof of absolute proton stability. Reduced-to-Axiom means the residual is reduced to one named, target-blind, value-free posit on a bounded slice; the assumption count does not drop. AXIOM-anchoring is terminal and co-equal with DERIVED — all physics bottoms out at axioms or measured anchors — but a finite census is certificate-debt, dischargeable to DERIVED, not an irreducible posit, which is precisely why the d≤7 completeness was demoted from AXIOM-CLOSED and re-carried by the R5 machine certificate.
dissolved ≠ solved. Three claims are dissolved unicorns — shared ceilings, never open weaknesses and never claimed as proven: - A proof of absolute proton stability (no decay at any dimension under any admissible operator) — an unbounded universal negative over an open-ended dimension axis; unprovable by enumeration for any theory in any framework. The bounded d≤7 result plus the all-order KK no-go is the ceiling. - Cross-geometry uniqueness ("This framework is THE unique geometry that makes the proton safe") — dimension-6 baryon-violation pressure is SHARED-OPEN across all GUT-class geometries; the absence of X/Y and the coloured Higgs is a filter, not a determiner, and no "no other geometry could do better" claim is provable. Honestly disclosed, not a framework win. - A "no-future-theory-can-decay-it" guarantee — a universal negative over all possible future operator content / mediators; unprovable in principle.
selection ≠ derivation; given-E ≠ derivation-of-E. The pass is evaluated given the selected product geometry and given the observed spectrum E (SM chiral content, family index $\chi=-3$, supplied from SG-2/SG-3). SG-9 acts on that content; it does not derive it. The product structure is selected, not forced (R7, inherited).
What is explicitly NOT claimed (the bright lines). NOT a proof of absolute proton stability. NOT a proton-lifetime prediction or bound (no $\tau_p$ derived; the Super-K bound is never an input). NOT a cross-geometry uniqueness result. NOT a claim on the Clay Yang–Mills mass gap. NOT all-order $d>7$ local-operator completeness. NOT a finished operator-safety leg / complete all-order theorem / fully discharged STEP4 (the 2026-06-25 consolidated status flags exactly this framing as a promotion risk requiring countersign; an earlier same-day all-order claim was demoted one rung). The d≤7 and KK sub-results are DERIVED-on-slice / DERIVED-on-channel and must never be rolled up into a "mass gap / proton stability solved" claim.
The anchors paid. The whole branch rides four irreducible anchors $\{M_{\rm Pl},\ \alpha_i(M_Z),\ y_t,\ |V_{us}|\}$; proton safety adds no new measured anchor (it is structural/given-E). The honest summary: serious candidate, NOT validated. The gate is hardened — the certified surface is larger and falsifiable — but remains OPEN by least-closed residual, because the all-order $d>7$ channel is OPEN/computation-debt, R4 is AUDIT, the master functor is BLOCKED, $M_R$ is UNKNOWN, and the lifetime is Diagnostic. STATUS-UPGRADES:0; frozen branch dcc66f1b2685 / a5b1e6f9d951 READ-ONLY and unchanged.
Dossier built by synthesis + expansion of the SG-9 completion handoff package (PER_GATE_DOSSIERS/SG9_COMPLETION_HANDOFF/): 01_DOSSIER.md, 02_CLOSURE_RESULT.md, 03_FROZEN_GEOMETRY_CONTEXT.md, the R5/WS3 and STEP4 certificates, and the SG9_COMPLETION_ENDPOINT/ ledgers. Every number is traceable to a cited source. STATUS-UPGRADES:0. Per the build protocol, this dossier reflects the gate's honest current status (OPEN, hardened) and never upgrades a grade.