higgs_w_ratio
plain-language theorem explainer
The definition computes the ratio of the Higgs boson mass to the W boson mass in GeV units. Physicists analyzing electroweak symmetry breaking within Recognition Science cite this ratio when testing proximity to the golden ratio phi on the phi-ladder. It arises as a direct division of the two fixed mass constants supplied by the module.
Claim. The Higgs to W mass ratio is defined by $m_H / m_W$, where the Higgs boson mass $m_H = 125.25$ GeV and the W boson mass $m_W = 80.3692$ GeV.
background
The Electroweak Boson Masses Derivation module treats the W and Z bosons as carriers of the weak force arising from electroweak symmetry breaking SU(2)_L × U(1)_Y → U(1)_EM. In Recognition Science this breaking corresponds to a J-cost minimum, with the vacuum expectation value v ≈ 246 GeV placed at a specific rung on the phi-ladder. The module supplies the experimental-scale constants higgsMass_GeV = 125.25 and wBosonMass_GeV = 80.3692 together with the predicted relations m_W ≈ 80.38 GeV, m_Z ≈ 91.19 GeV and sin²θ_W ≈ 0.231.
proof idea
This is a one-line definition that performs the division of the two mass constants higgsMass_GeV and wBosonMass_GeV.
why it matters
The definition supplies the input quantity to the downstream theorem higgs_w_near_phi, which shows the ratio lies within 0.1 of phi. It therefore connects the electroweak sector to the self-similar fixed point phi forced at T6 of the Unified Forcing Chain and to the eight-tick octave structure. The construction tests whether the Higgs mechanism scale sits at the expected phi-ladder position without invoking additional free parameters.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.