ChannelBudgetBridge
plain-language theorem explainer
Packages the sole named physical input of Alpha Genesis: the EM channel budget equals voxel-boundary solid angle times passive dressing edges. Cited by anyone tracking the no-fit status of α⁻¹ or the bridge clause of the genesis certificate. Pure structure whose one field is that equality; inhabited downstream by the cube-theorem witness.
Claim. A channel-budget bridge is a witness that the EM recognition-loop channel budget equals the product of the total solid angle of the cube boundary $\partial Q_3$ and the number of passive field edges at spatial dimension $D=3$.
background
Alpha Genesis (M3) defines $\alpha^{-1}$ forward from a physical process before any measurement comparison. The channel budget is the angular budget of the voxel boundary spread over passive dressing edges: $\Omega(\partial Q_3)\times E_{\mathrm{passive}}$. Both factors become cube theorems once $D=3$ is fixed by T8.
Solid angle of $\partial Q_3$ is the Gauss-Bonnet total curvature (equal to $4\pi$ because $\partial Q_3\cong S^2$). Passive field edges are total cube edges minus the single active edge per tick; at $D=3$ this count is 11. Their product $4\pi\cdot 11$ is the geometric seed that the channel budget aliases.
After resummation form, the canonical $\varphi$-pattern, and $D=3$ are forced, the module isolates this seed reading as the one remaining BRIDGE-grade identification.
proof idea
Structure definition, not a proved theorem. Declares a single field asserting equality of the channel budget with solid angle of $\partial Q_3$ times passive edges at $D=3$. No proof body. Downstream, the inhabiting term supplies the structural cube identity alpha_seed_structural as the witness, establishing non-vacuity.
why it matters
Names the honest remaining physical input of Alpha Genesis exactly once. Downstream, the inhabiting bridge instance feeds the Alpha Genesis certificate, which bundles channel budget $=4\pi\cdot 11$, spectral load, and dressing weight so the forward object coincides with the certified pipeline value and transfers the band $(137.030,137.039)$.
Cross-application rigidity is the point of packaging: the same 11 is consumed by $\Omega_\Lambda=11/16$, the $\eta_B$ arithmetic, and the lepton torsion ladder. Landmarks: T8 forces $D=3$; the cube is the $D=3$ voxel; Gauss-Bonnet and passive-edge counts are structural, not fitted. Status remains BRIDGE for the reading itself, THEOREM for all numbered clauses.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.