higgsMassRatio
plain-language theorem explainer
The declaration defines the Higgs-to-W mass ratio in the Recognition Science electroweak sector as twice the reciprocal of the weak coupling g. It supplies the explicit link between the Q3 Casimir structure and the observed boson masses under the phi-ladder mass law. The implementation is a direct algebraic definition with no lemmas or reductions applied.
Claim. The Higgs-to-W mass ratio satisfies $m_H / m_W = 2/g$ for any positive real $g$.
background
The Q3 Representations module formalizes the quaternion group Q3 of order eight as the symmetry of the eight-tick cycle under electroweak breaking SU(2)×U(1) → U(1). The Higgs doublet splits into three spin-1 Goldstone modes eaten by W± and Z, plus one spin-0 physical Higgs; the mass ratio follows from the ratio of their Casimir eigenvalues together with the quartic coupling derived from J-cost curvature at the vacuum expectation value. The W boson is placed at rung 21 on the phi-ladder with gap zero, while the Higgs rung offset arises from the spin-0 versus spin-1 distinction and the relation m_H² = 2λ v² with λ = J″(1)/2.
proof idea
The definition is a direct algebraic expression returning twice the reciprocal of the input positive real coupling g.
why it matters
This supplies the explicit mass-ratio formula required by the Q3 sector of the Standard Model embedding in Recognition Science, connecting the eight-tick octave (T7) and the phi-ladder mass formula to electroweak observables. It fills the step between the Casimir eigenvalues (spin0_casimir, spin1_casimir) and lambda_RS in the same module. The parent context is the full Q3 representation theory; the declaration touches the noted discrepancy with observed masses that requires renormalization corrections beyond the tree-level J-cost curvature.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.