w_electron_ratio
plain-language theorem explainer
The definition computes the ratio of the W boson mass to the electron mass in GeV units. Particle physicists testing electroweak predictions against collider data would cite this quantity to compare RS-derived scales with measured values. It is a direct quotient with no additional steps or lemmas applied.
Claim. The ratio of the W boson mass to the electron mass is given by $m_W / m_e$, where both masses are expressed in GeV.
background
In the Recognition Science treatment of electroweak bosons, masses arise from the J-cost minimum at the vacuum expectation value scale on the phi-ladder. The module places the VEV near 246 GeV and derives W and Z masses from the Higgs mechanism, yielding predicted values m_W ≈ 80.38 GeV and m_Z ≈ 91.19 GeV with sin²θW ≈ 0.231. The local setting follows the RS mechanism: electroweak symmetry breaking corresponds to the J-cost minimum, with the weak mixing angle emerging from gauge group geometry and the mass relation m_Z = m_W / cos(θW).
proof idea
The declaration is a one-line definition that divides the W boson mass in GeV by the electron mass in GeV.
why it matters
This ratio supports precision tests in the electroweak sector of the Recognition framework and connects to the phi-ladder mass formula. It fills the W-to-electron comparison slot in the boson derivations (P-015, P-016, C-004) and aids verification of predictions such as the W mass near 80 GeV. No downstream theorems are listed, but the quantity aligns with the eight-tick octave and D = 3 through the underlying forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.