correctedAlphaInv
plain-language theorem explainer
Load-corrected inverse fine-structure constant as a function of second-order spectral load δ₂: channel budget times the forced continuum weight at (spectral load + δ₂). Anyone citing the unique closing load, residual closure, or the seam falsifier uses this form. The body is a one-line product definition, not a proof.
Claim. For a real second-order load $\delta_2$, the corrected inverse fine-structure constant is $\Omega\,\rho^{w+\delta_2}$, where $\Omega$ is the EM channel budget (angular budget of the voxel boundary over passive dressing edges), $w$ is the spectral load per channel, and $\rho=\varphi^{-1}$ is the base of the forced continuum weight $t\mapsto\rho^t$.
background
This lives in the Alpha Genesis M4 quarantine module: the only layer allowed to mention the measured CODATA value of $\alpha^{-1}$. M1–M3 stay blind to experiment; M4 states the comparison target and the open seam problem.
The EM channel budget $\Omega$ is the total angular budget of the voxel boundary spread over passive dressing edges (Gauss–Bonnet times passive edges, evaluating to $4\pi\cdot 11$). Spectral load $w$ is the gap weight $w_8$ (projection of the forced $\varphi$-pattern from M2) per unit of that budget, in rung units. The continuum weight is the forced map $w(t)=\rho^t=\varphi^{-t}$ from measure forcing.
Under the forced response (M1), any second-order correction must enter as additional spectral load in the exponent, never as an additive display patch. The legacy additive tail is retired as an excluded form-(A) response.
proof idea
Pure definition: the corrected value is the product of the channel budget with the continuum weight evaluated at spectral load plus the free second-order load $\delta_2$. No tactics or lemmas; unfolding immediately exposes $\Omega\cdot\rho^{w+\delta_2}$.
why it matters
This is the structural form of the dressed $\alpha^{-1}$ used throughout residual targeting. Zero load recovers the first-order genesis value. Exactly one load (the closing load) makes the dressed value equal CODATA; uniqueness follows because the map is strictly decreasing in load ($\rho<1$). Downstream, the seam falsifier is literally equality of this corrected value to CODATA: a blind seam derivation of $\delta_2$ closes the $\alpha$ program iff it hits that unique load, and any other value falsifies the channel-budget bridge.
The open target is to derive that single number from D=3 voxel seam topology without ever reading CODATA. Framework context: continuum weight is the forced $\varphi$-power from measure forcing; the eight-tick gap weight feeds spectral load; the alpha band $(137.030,137.039)$ is the certified first-order window this correction is meant to pin to experiment.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.