seedNormalizationReading
plain-language theorem explainer
Inhabits the honest U(1) normalization reading of the α seed 4π·11: Heaviside–Lorentz convention, bare charge e²=1, and stiffness taken as the ledger channel count 11 rather than the gauge-invariant cycle rank 5. Anyone citing the α-genesis quarantine verdict uses this certificate. Construction is a three-field structure instance whose only non-trivial field is the proved mismatch 11≠5.
Claim. There exists a valid reading of the $\alpha$ seed $4\pi\cdot 11$ as a U(1) coupling normalization under three inputs: (i) Heaviside–Lorentz convention $\alpha=e^2/(4\pi)$; (ii) bare charge quantum $e^2=1$; (iii) photon stiffness identified with the passive-edge ledger channel count $11$, which is not the gauge-invariant cycle rank $5$ of the cube $Q_3$.
background
Module Alpha Genesis M11 quarantines a make-or-break test: can the seed $\alpha^{-1}=4\pi\cdot 11$ be promoted from a channel-budget identification to a theorem about U(1) Maxwell normalization on the cube graph $Q_3$? Foundation.GaugeFromCube already yields the U(1) group as the parity quotient of $\mathrm{Aut}(Q_3)=B_3$, but never feeds the $\alpha$ pipeline.
A genuine gauge-invariant U(1) action counts independent plaquette field strengths: the cycle rank $b_1=E-V+1=12-8+1=5$ (equivalently 6 faces minus one Bianchi relation). Gauge fixing removes $V-1=7$ link redundancies, again leaving 5 physical modes. The seed instead uses $11=E-1$ (passive edges only), a ledger recognition-channel count.
The structure SeedNormalizationReading packages three premises under which $4\pi\cdot 11$ equals $(4\pi)\times(\mathrm{stiffness})$ with $e^2=1$. The third premise is exactly the ledger-vs-gauge mismatch. Upstream, seed_channel_count_ne_gauge_dof proves $11\neq 5$, and the genuine gauge-invariant seed $20\pi\approx 62.8$ is excluded from the $\alpha^{-1}$ band $(137.030,137.039)$.
proof idea
Three-field structure instance. The first two fields (hl_convention, charge_unit_one) are pure model/identification assumptions typed as True, discharged by trivial. The load-bearing third field (stiffness_is_ledger_not_gauge) is filled by the combinatorial theorem seed_channel_count_ne_gauge_dof, which rewrites the passive-edge count and the cycle rank to $11$ and $5$ respectively and closes by norm_num. No further arithmetic is done here; the def only certifies that the reading is inhabited.
why it matters
Closes the U(1) normalization quarantine for Alpha Genesis M11. The verdict is negative and sharp: the channel-budget reading of $\alpha^{-1}=4\pi\cdot 11$ does not promote to a derived U(1) coupling-normalization theorem on $Q_3$. The number 11 remains a cross-consistent ledger count (also appearing in $\Omega_\Lambda=11/16$, CKM structure, $\eta_B=\varphi^{-44}$, and $44=4\cdot 11$), but it is not the gauge-invariant photon stiffness 5.
Within the Recognition framework this protects the $\alpha$ band $(137.030,137.039)$ from a false Maxwell derivation: a genuine cube Maxwell seed would be $20\pi$, excluded by a wide margin. No downstream consumers are wired yet (used_by empty); the certificate stands as the module's terminal verdict object. It does not touch T5–T8 forcing, RCL, or the mass ladder directly; it only polices how the seed may be cited.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.