u1NormalizationVerdict
plain-language theorem explainer
Packages the negative make-or-break result: the α seed 4π·11 cannot be read as a U(1) Maxwell normalization on the cube Q₃. Gauge-invariant photon count is the cycle rank 5 (two routes agree); the seed instead uses the ledger passive-edge count 11 ≠ 5, and the genuine gauge seed 20π is far below α⁻¹. Cite when quarantining the channel-budget reading of α. Construction is a structure instance wiring five proved combinatorial facts.
Claim. A certificate asserting five facts on the 3-cube: the cycle rank equals $5$; physical link modes $E-(V-1)$ equal that cycle rank; the passive-edge seed channel count equals $11$; $11$ is not the cycle rank; and the gauge-invariant seed $4\pi\cdot 5=20\pi$ is strictly less than $\alpha^{-1}$.
background
Alpha Genesis M11 asks whether the α seed $4\pi\cdot 11$ promotes from a ledger identification (channel-budget bridge) to a theorem about U(1) coupling normalization on the cube $Q_3$. Foundation work already derives the U(1) group as the parity quotient of $\mathrm{Aut}(Q_3)=B_3$, but never touches the α pipeline. A genuine normalization would read inverse coupling off a gauge-invariant Maxwell action: $\alpha^{-1}=(4\pi)\cdot(\mathrm{stiffness})/e^2$ with stiffness from independent plaquette field strengths.
On the cube 1-skeleton, that count is the cycle rank $b_1=E-V+1=12-8+1=5$ (equivalently 6 faces minus one Bianchi closure). Gauge fixing removes $V-1=7$ link redundancies, leaving $12-7=5$ physical link modes. The seed's $11=E-1$ only drops the single active edge, not the seven gauge redundancies, so it is a ledger recognition-channel count, not photon stiffness.
Upstream lemmas fix: cycle rank $=5$; physical links equal cycle rank; passive edges $=11$; $11\neq 5$; and $20\pi<\alpha^{-1}$ via the numeric band $\alpha^{-1}>137.030$.
proof idea
One-line structure instance: each field of U1NormalizationVerdict is filled by an already-proved sibling. Cycle rank equals 5 via cube_cycle_rank_eq_5 (unfold plus native decide; also 6−1 faces). Agreement of the two photon-count routes is physical_link_dof_eq_cycle_rank ($E-(V-1)=12-7=5$). Seed channel count is seed_channel_count (passive edges at $D=3$ equal 11). Inequality $11\neq 5$ is seed_channel_count_ne_gauge_dof. Exclusion of the genuine gauge seed is gauge_invariant_seed_excluded ($20\pi<63<137.030<\alpha^{-1}$). No new arithmetic here.
why it matters
Closes the M11 quarantine: the channel-budget reading $\alpha^{-1}=4\pi\cdot 11$ does not promote to a derived U(1) coupling normalization on the cube. The certificate is the single object that records the negative verdict for the Constants/AlphaGenesis line. Framework context: α sits in the RS band $(137.030,137.039)$, forced downstream of the T0–T8 chain and the Recognition Composition Law, but its seed factor 11 is ledger-level (same 11 in $\Omega_\Lambda=11/16$, CKM, $\eta_B=\varphi^{-44}$, $44=4\cdot 11$), not the gauge-invariant photon DOF count 5. No downstream consumers yet (used_by empty); the point is archival sharpness so later α derivations cannot silently claim Maxwell normalization on $Q_3$. Open question left explicit: where the ledger 11 enters the true α derivation if not via cube U(1) stiffness.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.