vev_GeV
plain-language theorem explainer
The Higgs vacuum expectation value is fixed at 246.22 GeV. Electroweak physicists cite this constant when deriving W and Z masses from symmetry breaking. It enters as a direct numerical definition that anchors all subsequent electroweak calculations in the Recognition Science framework.
Claim. The vacuum expectation value of the Higgs field is $v = 246.22$ GeV.
background
The module derives electroweak boson masses from the Higgs mechanism, where the vacuum expectation value breaks SU(2)_L × U(1)_Y to U(1)_EM. In Recognition Science this scale corresponds to the J-cost minimum on the phi-ladder. The upstream shell definition supplies the energy scale as E_coh times block capacity at each level n, which informs placement of the electroweak rung.
proof idea
This is a direct numerical definition that assigns the constant 246.22 to vev_GeV in GeV units. No lemmas or tactics are applied.
why it matters
This constant feeds vev_determines_scale, weak_coupling_g (which yields g ≈ 0.653), vev_electron_ratio, and gf_matches (which verifies the Fermi constant within 10%). It realizes the phi-ladder placement for the electroweak scale in the RS mechanism and is consistent with the forcing chain steps T5–T8.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.