vev_electron_ratio
plain-language theorem explainer
The definition supplies the numerical ratio of the Higgs vacuum expectation value to the electron mass, both in GeV. Electroweak modelers in Recognition Science cite it when locating the symmetry-breaking scale relative to the phi-ladder rung of the electron. Implementation is a direct division of the two supplied constants, with an attached remark that the quotient is near phi to the 27th power.
Claim. Define the ratio $v / m_e$ where $v$ is the Higgs vacuum expectation value in GeV and $m_e$ is the electron mass in GeV.
background
The module treats electroweak symmetry breaking as the acquisition of a vacuum expectation value $v$ that reduces SU(2)_L × U(1)_Y to U(1)_EM, with the VEV identified as the J-cost minimum. The electron mass sits at rung 2 on the phi-ladder and equals E_coh · φ² in RS units before conversion to GeV. Upstream, m_e is given by mass_on_rung 2 while the two GeV constants supply the concrete numerical inputs.
proof idea
One-line definition that divides the VEV constant by the electron-mass constant in GeV units.
why it matters
The ratio anchors the electroweak VEV to the electron rung on the phi-ladder and supports the numerical claim that the quotient approximates φ²⁷. It supplies a concrete scale factor inside the module's derivations of W and Z masses from the Higgs mechanism. No downstream theorems yet reference it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.