closingLoad
plain-language theorem explainer
The unique second-order spectral load that forces the dressed inverse fine-structure constant onto the CODATA anchor, written in closed form as a log-ratio minus the first-order spectral load. Anyone working the Alpha Genesis residual target or the seam-closure open problem cites this number. The body is pure algebra: invert the multiplicative dressing formula against the external anchor.
Claim. Define the closing load $\delta_2^{\mathrm{cl}} \in \mathbb{R}$ by $\delta_2^{\mathrm{cl}} = \dfrac{\log(\alpha^{-1}_{\mathrm{CODATA}}/B)}{\log\rho} - \ell$, where $B$ is the EM channel budget, $\ell$ is the spectral load per channel, $\rho = \varphi^{-1}$ is the forced per-step weight, and $\alpha^{-1}_{\mathrm{CODATA}}$ is the external CODATA 2022 anchor.
background
This module is the quarantine layer of Alpha Genesis: the only place allowed to mention the measured inverse fine-structure constant. M1–M3 derive the structural dressing blind to CODATA; here one states the comparison and isolates a single open target.
The channel budget $B$ 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$). The spectral load $\ell$ is the gap weight $w_8$ from the forced $\varphi$-pattern on the eight-tick, divided by $B$. The forced per-step weight is $\rho = \varphi^{-1}\in(0,1)$. The corrected inverse alpha multiplies $B$ by a power of $\rho$ whose exponent is $\ell+\delta_2$: second-order corrections enter only as additional spectral load in the exponent, never as an additive display patch.
The residual target is the unique $\delta_2$ that makes this dressed value equal $\alpha^{-1}_{\mathrm{CODATA}}=137.035999177$.
proof idea
Definitional, not a proof. The body is the algebraic inverse of the multiplicative dressing map $\mathrm{corrected}(\delta_2)=B\cdot\rho^{\ell+\delta_2}$. Solving $\mathrm{corrected}(\delta_2)=\alpha^{-1}{\mathrm{CODATA}}$ for $\delta_2$ yields exactly $\log(\alpha^{-1}{\mathrm{CODATA}}/B)/\log\rho-\ell$. Downstream results then check that this value closes the residual and is unique, using $\log\rho\neq 0$ (since $\rho\in(0,1)$) and strict monotonicity of the dressing map.
why it matters
This is the sharply localized open target of Alpha Genesis M4. Downstream, the closing identity shows the dressed value at this load equals CODATA; the uniqueness iff-statement shows the dressed value is strictly decreasing in the load ($\rho<1$), so exactly one $\delta_2$ closes; existence-uniqueness packages that fact; and seam-closure is defined to hold precisely when a candidate equals this number.
The open problem is to derive the same real from D=3 voxel seam geometry without ever referencing CODATA. If a blind seam derivation lands here within tolerance, the alpha derivation closes at experimental precision; if not, the channel-budget bridge is falsified. The anti-epicycle rule forbids admitting candidates by numerical proximity alone.
Framework landmarks: $\varphi$ and the eight-tick enter through $\rho$ and the spectral load (T6, T7); the RS alpha band sits near $(137.030,137.039)$.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.