electroweak_sector_params
plain-language theorem explainer
The electroweak sector receives B_pow = 1 and r0 = 55 for insertion into the Recognition Science phi-ladder mass formula. Researchers verifying W, Z, and Higgs masses against PDG values would cite this assignment when building verification certificates. The proof is a direct conjunction of the two sector equations already proved in the Anchor module.
Claim. In Recognition Science the electroweak sector satisfies $B_ {pow}(Electroweak) = 1$ and $r_0(Electroweak) = 55$.
background
Recognition Science places the electroweak bosons on a phi-ladder whose yardstick is fixed by the sector parameters B_pow and r0. B_pow is the derived power of two obtained from cube edge counting; r0 is the derived phi-exponent offset obtained from wallpaper groups and cube geometry. The module formula then reads m(EW, r) = 2 × φ^{50+r} / 10^6 MeV. These two integers are supplied by the upstream theorems B_pow_Electroweak_eq and r0_Electroweak_eq, which evaluate the definitions using the constants A, W, active_edges_per_tick and wallpaper_groups.
proof idea
The proof is a one-line wrapper that applies the conjunction of B_pow_Electroweak_eq and r0_Electroweak_eq.
why it matters
This declaration supplies the sector parameters required by boson_verification_cert_exists to construct the BosonVerificationCert. It completes the electroweak rung assignment on the phi-ladder, enabling the mass predictions that are compared with the Weinberg angle relation sin²θ_W = (3 − φ)/6. The result anchors the machine-verified PDG 2024 comparison inside the Recognition framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.