vev
plain-language theorem explainer
The Higgs vacuum expectation value is assigned the numerical value 246 GeV. Standard Model mass calculations in the Recognition Science framework cite this constant to scale Yukawa couplings and obtain physical boson masses in GeV. The definition is a direct constant assignment with no lemmas or reduction steps.
Claim. The vacuum expectation value of the Higgs field is $v = 246$ GeV.
background
The module assigns particle masses on the phi-ladder after electroweak symmetry breaking. The vacuum expectation value sets the overall energy scale for the broken phase. Upstream results define the same quantity as the golden ratio phi in the QFT Higgs mechanism and as the square root of mu squared over twice lambda in the ElectroweakBreaking module, with the J-cost potential curvature fixing lambda at 1/2.
proof idea
The declaration is a direct numerical assignment of the observed electroweak scale. No lemmas are applied.
why it matters
This numerical anchor feeds the parent results in the QFT Higgs mechanism module, including the nonzero vacuum expectation value theorem, the particle mass definition, and the symmetry-broken theorem. It converts the abstract phi-based VEV into GeV units, enabling the Higgs mass interval (120, 130) GeV that closes the hypothesis in the module documentation. The assignment touches the open question of the precise one-loop correction factor 1/16.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.