gauge_invariant_seed_excluded
plain-language theorem explainer
The gauge-invariant Maxwell seed on the cube equals $20\pi\approx 62.8$ and is strictly smaller than the RS inverse fine-structure constant. Anyone arguing the U(1) normalization quarantine cites this exclusion. The proof rewrites the seed as $20\pi$, bounds $\pi$ from above, and chains $20\pi<63<137.030<\alpha^{-1}$.
Claim. The gauge-invariant U(1) Maxwell seed on the cube, equal to $4\pi$ times the cycle rank $5$ (i.e. $20\pi$), satisfies $20\pi < \alpha^{-1}$, where $\alpha^{-1}$ is the RS-native inverse fine-structure constant built from the $4\pi\cdot 11$ seed and the gap exponential.
background
Module Alpha Genesis M11 quarantines a make-or-break question: can the electromagnetic seed $4\pi\cdot 11$ be promoted from a ledger identification to a theorem about U(1) coupling normalization on the cube graph $Q_3$? A genuine Maxwell normalization would read stiffness off gauge-invariant plaquette field strengths.
On the cube 1-skeleton the cycle rank is $b_1=E-V+1=12-8+1=5$ (equivalently six faces minus one Bianchi relation). Gauge fixing removes $V-1=7$ link redundancies, again leaving five physical modes. The seed instead uses the ledger channel count $11=E-1$ (passive edges), which is not the gauge-invariant photon stiffness.
The gauge-invariant seed is therefore defined as $(4\pi)\times(\text{cycle rank})$. Upstream, that seed equals $20\pi$ once the cycle rank is fixed at five. The RS inverse coupling $\alpha^{-1}$ is the assembled exponential construction whose numerical value sits near $137.04$, with a certified lower bound $137.030<\alpha^{-1}$.
proof idea
Rewrite the left-hand side via the equality that the gauge-invariant seed is exactly $20\pi$. Import the decimal bound $\pi<3.141593$ and close $20\pi<63$ by nonlinear arithmetic. Import the certified lower bound $137.030<\alpha^{-1}$ from the alpha numerics interval layer. Finish by linear arithmetic chaining $20\pi<63<137.030<\alpha^{-1}$.
why it matters
This is the sharp numerical half of the negative U(1) verdict. Downstream it is packaged into the normalization verdict record as the field that the gauge seed is excluded, alongside the facts that gauge degrees of freedom equal five by two routes, the seed uses the ledger count eleven, and eleven is not five.
In the Recognition framework the result blocks a false promotion: the striking $137$-scale seed remains a ledger channel-budget number (the same eleven appears in $\Omega_\Lambda=11/16$, CKM structure, and related $\phi$-ladder counts), not a gauge-invariant photon stiffness on $Q_3$. The module therefore keeps $\alpha^{-1}=4\pi\cdot 11$ as an identification, not a derived Maxwell coupling theorem. The exact infrared CODATA match stays an open boundary condition; this lemma only rules out the pure gauge-cycle reading.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.