alphaInvGenesis
plain-language theorem explainer
Forward definition of the inverse fine-structure constant from the EM recognition loop alone: channel budget times the T9-forced continuum weight at the spectral load. Anyone citing the Alpha Genesis certificate, the genesis identity, or the transferred (137.030, 137.039) band uses this object. It is a one-line product of two already-named real quantities, with no measurement input.
Claim. Define the forward inverse fine-structure constant by $\alpha^{-1}_{\mathrm{gen}} := B \cdot w(s)$, where $B = \Omega(\partial Q_3) \times E_{\mathrm{passive}}$ is the EM channel budget (Gauss-Bonnet total curvature of the $D=3$ voxel boundary times passive edge count), $s = w_8/B$ is the spectral load per channel (gap weight of the forced $\varphi$-pattern in rung units), and $w(t) = \varphi^{-t}$ is the forced continuum recognition weight.
background
Module Alpha Genesis M3 builds $\alpha^{-1}$ as a property of a physical process before any comparison with measurement. The three ingredients are: (i) the channel budget $B$, equal to the geometric seed $4\pi \cdot 11$ via cube theorems on the $D=3$ voxel (Gauss-Bonnet on $\partial Q_3$ and the passive-edge count); (ii) the spectral load $s = w_8/B$, the Parseval-normalized DFT-8 gap weight of the forced $\varphi$-pattern distributed over that budget; (iii) the continuum weight $w(t) = \rho^t = \varphi^{-t}$, the unique factorizing recognition measure forced at T9 (MeasureForcing).
The legacy pipeline value $\alpha^{-1} = (4\pi\cdot 11),\exp(-(f_{\mathrm{gap}}/(4\pi\cdot 11)))$ is deliberately not referenced in the definition. Equality of the forward object with that pipeline value is a separate theorem (the genesis identity). The module status table records that resummation form, $\varphi$-pattern, and $D=3$ are forced; the sole named physical identification is the channel-budget bridge.
proof idea
Pure definition: the real is the product of channelBudget and contWeight evaluated at spectralLoad. No tactics, no lemmas, no unfolding. Downstream equalities (genesis identity, band transfer) unfold this product and rewrite via channelBudget_eq_alpha_seed and the forced-weight form of the legacy seed formula.
why it matters
This is the forward object of Alpha Genesis: $\alpha^{-1}$ read off the EM recognition loop with no CODATA and no legacy pipeline in the definition. It is clause material for AlphaGenesisCert (forward derivation bundle) and is the left-hand side of the genesis identity alphaInvGenesis = alphaInv, which transfers the certified band $(137.030, 137.039)$ via alphaInvGenesis_band.
Calibration forcing uses it as the unique value obtained from every self-similar dressing: $\alpha^{-1}_{\mathrm{gen}} = B \cdot D.g(w_8/B)$. MeasurementVerdict compares the same object to CODATA (excess of order $10^{-3}$). Framework landmarks: T8 forces $D=3$ (cube geometry of the seed), T6/T7 force the $\varphi$-pattern on the eight-tick carrier (spectral load), T9 forces the continuum weight. The honest remaining input is only the channel-budget bridge reading, named once as ChannelBudgetBridge.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.