channelBudget
plain-language theorem explainer
The channel budget is the EM recognition loop's total angular budget: solid angle of the voxel boundary times the passive dressing edge count, equal to 4π·11. Anyone deriving α⁻¹ from Recognition Science cites it as the geometric seed of the forward fine-structure object. The definition is a one-line alias of the cube-derived geometric seed from AlphaDerivation.
Claim. Define the channel budget $S$ of the electromagnetic recognition loop by $S := \Omega(\partial Q_3)\, E_{\mathrm{passive}}$, the product of the discrete Gauss-Bonnet total curvature of the three-cube boundary and the number of passive dressing edges. Equivalently $S = 4\pi \cdot 11$.
background
Alpha Genesis M3 builds the inverse fine-structure constant forward as a property of the EM recognition loop, before any comparison with measurement. Three ingredients enter: a channel budget (angular budget of the voxel boundary spread over passive dressing edges), a spectral load per channel (gap weight $w_8$ from the forced $\varphi$-pattern, distributed over that budget), and a dressing response (the T9 forced measure evaluated at the load).
The geometric seed upstream is $\Omega(\partial Q_3)\times E_{\mathrm{passive}}$. Both factors are cube theorems: $4\pi$ is the Gauss-Bonnet total curvature of $\partial Q_3$, and $11$ is the cube edge count minus one active edge. The cube is the $D=3$ voxel; $D=3$ is forced by T8 in the forcing chain. The same integer $11$ reappears in the cosmological seed $11/16$ and related ledger arithmetic.
This declaration simply names that seed as the channel budget of the recognition loop. The physical reading "inverse coupling equals angular budget times passive channels" is isolated once as the channel-budget bridge; it is a BRIDGE-grade identification, not a continuous fit.
proof idea
One-line definitional alias: the channel budget is set equal to AlphaDerivation.geometric_seed, which is already solid_angle_Q3 * geometric_seed_factor. No tactics or lemmas are applied at this site; numerical content and positivity are discharged by sibling theorems that rewrite through the alias.
why it matters
This is the geometric seed of the forward α object. Downstream, alphaInvGenesis multiplies the channel budget by the forced continuous weight at the spectral load, and alphaInvGenesis_eq_alphaInv identifies that product with the certified pipeline value, transferring the band $(137.030, 137.039)$. The Alpha Genesis certificate packages the equality channelBudget = 4π·11 as its first clause, together with forced pattern, forced measure, and forced dressing response.
The channel-budget bridge structure records the one named physical input of the no-fit proposition: both factors are cube theorems, no continuous freedom remains, and the same $11$ is consumed by $\Omega_\Lambda = 11/16$, baryon asymmetry arithmetic, and the lepton torsion ladder. Calibration forcing further shows every self-similar dressing yields the same forward object channelBudget · D.g(w₈/S). Framework landmarks in play: T8 ($D=3$), T7 (eight-tick carrier behind the spectral load), T6 ($\varphi$-pattern), and the alpha band.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.