spectralLoad
plain-language theorem explainer
The spectral load is the eight-tick gap weight w₈ divided by the EM channel budget 4π·11. It is the dimensionless load at which the forced recognition measure is evaluated when building the forward inverse fine-structure constant. Anyone citing the Alpha Genesis identity, calibration forcing, or residual closing load uses this ratio. The body is a one-line quotient of two closed-form constants.
Claim. Define the spectral load by $\ell := w_8 / B$, where $w_8$ is the canonical (Parseval-normalized) gap weight of the forced $\varphi$-pattern on the eight-tick carrier, and $B = 4\pi \cdot 11$ is the channel budget: discrete Gauss-Bonnet total curvature of the $D=3$ voxel boundary times the passive edge count.
background
Alpha Genesis M3 builds $\alpha^{-1}$ forward from a physical process, with no CODATA input. Three pieces enter: the channel budget $B = \Omega(\partial Q_3) \times E_{\mathrm{passive}} = 4\pi \cdot 11$ (cube theorems on the $D=3$ voxel forced by T8), the spectral load (this definition), and the unique factorizing recognition weight (T9 forced measure) evaluated at that load.
The numerator $w_8$ is the parameter-free gap weight from the eight-tick basis: the normalized DFT-8 projection of the forced $\varphi$-pattern (M2, from T6 self-similarity on the T7 carrier). Its closed form is $(348 + 210\sqrt{2} - (204 + 130\sqrt{2})\varphi)/7$, numerically about $2.49057$. The denominator is the geometric seed channelBudget, equal to $4\pi \cdot 11$.
The forward object is then $\alpha^{-1}_{\mathrm{gen}} := B \cdot W(\ell)$ with $W$ the continuous forced weight. The genesis identity equates this to the certified pipeline value and transfers the band $(137.030, 137.039)$.
proof idea
Definitional one-liner: the real constant is the quotient of w8_from_eight_tick by channelBudget. No tactics, no lemmas. Positivity is discharged separately by dividing the two positivity facts for numerator and denominator.
why it matters
This is the load argument of the EM recognition loop. The forward definition sets $\alpha^{-1}{\mathrm{gen}} = B \cdot W(\ell)$ and the genesis identity proves equality with the certified pipeline $\alpha^{-1}$. Downstream, every self-similar dressing recovers the same object via $\alpha^{-1}{\mathrm{gen}} = B \cdot D.g(\ell)$, which is clause 4 of the calibration-forcing certificate (M5).
Residual-target work uses $\ell$ as the baseline: the unique closing load is the $\delta_2$ shift that would align the dressed value with CODATA, written relative to $\ell$. That closing number is the open geometric target (seam geometry, blind).
Framework landmarks: T7 eight-tick carrier and M2 $\varphi$-pattern force $w_8$; T8 forces $D=3$ and thus the cube reading of $B$; T9 forces the measure applied at $\ell$. The remaining named input is only the channel-budget bridge (BRIDGE), not a continuous fit.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.