alphaInvGenesis_eq_alphaInv
plain-language theorem explainer
The forward EM-loop definition of the inverse fine-structure constant equals the certified pipeline value. Anyone citing the Alpha Genesis certificate, the transferred band (137.030, 137.039), or the CODATA-excess verdict needs this identity. The proof unfolds the forward product, identifies the channel budget with the seed 4π·11, and applies the unification corollary that the pipeline value is seed times the forced continuous weight at the spectral load.
Claim. The forward inverse fine-structure constant equals the certified pipeline value: $\alpha^{-1}_{\mathrm{genesis}} = \alpha^{-1}$. Explicitly, the channel budget times the T9 forced continuous recognition weight evaluated at the spectral load per channel equals the canonical exponential-resummation expression $\alpha_{\mathrm{seed}}\,\mathrm{e}^{-f_{\mathrm{gap}}/\alpha_{\mathrm{seed}}}$.
background
Alpha Genesis M3 defines $\alpha^{-1}$ forward from the EM recognition loop, with no reference to the legacy pipeline or to measurement. The channel budget is the discrete Gauss-Bonnet total curvature of the D=3 voxel boundary times the passive edge count: $\Omega(\partial Q_3)\times E_{\mathrm{passive}}=4\pi\times 11$. Both factors are cube theorems; D=3 is forced upstream (T8). The spectral load is the gap weight $w_8$ (Parseval-normalized DFT-8 projection of the forced $\varphi$-pattern from M2) divided by that budget, in rung units.
Dressing is the unique factorizing recognition weight forced by T9 (M1), evaluated at the spectral load. The forward object is therefore $\alpha^{-1}{\mathrm{genesis}}:=\mathrm{channelBudget}\cdot\mathrm{contWeight}(\mathrm{spectralLoad})$. The certified pipeline value is the legacy display $\alpha^{-1}:=\alpha{\mathrm{seed}},\mathrm{e}^{-(f_{\mathrm{gap}}/\alpha_{\mathrm{seed}})}$.
Upstream, channelBudget_eq_alpha_seed identifies the budget with the seed $4\pi\cdot 11$. The unification corollary states $\alpha^{-1}=\alpha_{\mathrm{seed}}\cdot\mathrm{contWeight}(w_8/\alpha_{\mathrm{seed}})$, i.e. the dressing factor is not $\alpha$-specific structure but the forced recognition weight $\varphi^{-t}$.
proof idea
Term-mode, three steps. Unfold the forward definition and the spectral-load quotient, so the goal is $\mathrm{channelBudget}\cdot\mathrm{contWeight}(w_8/\mathrm{channelBudget})=\alpha^{-1}$. Rewrite the budget to the certified seed via channelBudget_eq_alpha_seed. The goal is then exactly the symmetric form of the unification corollary alphaInv_eq_seed_mul_forced_weight, which is applied with .symm.
why it matters
This is the Genesis Identity: the legacy formula is only the display of the forward derivation, analogous to how the rung table displays the mass program. It is clause 5 of the Alpha Genesis certificate bundle, which packages seed structure, forced $\varphi$-pattern (M2/T6 on the T7 carrier), forced spectral envelope, forced exponential dressing (M1; additive response excluded), and this equality.
Downstream, the proved numerical band transfers immediately: $137.030<\alpha^{-1}_{\mathrm{genesis}}<137.039$ by rewriting through this identity onto the certified interval bounds. The measurement-verdict theorem likewise rewrites through it to state that the first-order Genesis value exceeds CODATA by at least $0.0007$.
Framework landmarks in play: T8 forces D=3 (cube geometry of the seed), T7 supplies the eight-tick carrier for the $\varphi$-pattern, T6 forces that pattern, and T9 forces the continuous weight. The sole named physical input remains the channel-budget bridge (inverse coupling equals angular budget times passive channels); it is a BRIDGE identification, not a fit, and no CODATA reference enters this file.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.