vev_observed
plain-language theorem explainer
The declaration supplies the observed Higgs vacuum expectation value as the constant 246 GeV for Recognition Science calculations of electroweak symmetry breaking. Standard Model researchers working from the J-cost functional would cite this value when comparing the phi-ladder mass formula to measured scales. It enters as a direct numerical assignment with no derivation steps.
Claim. The observed vacuum expectation value of the Higgs field is $v = 246$ GeV.
background
The ElectroweakBreaking module identifies the Higgs potential with the J-cost functional, so the vacuum expectation value marks the minimum configuration selected by the ledger. This setting follows the Recognition Composition Law and the phi-forcing chain, where symmetry breaking SU(2)_L × U(1)_Y to U(1)_EM occurs at the scale fixed by the eight-tick octave. Upstream interface results supply collision-free program conditions and simplicial ledger edge lengths that underwrite the combinatorial selection realizing the VEV.
proof idea
Direct definition that assigns the numerical constant 246 in GeV units.
why it matters
This definition supplies the numerical anchor for rs_hierarchy, which bounds the VEV to Planck-mass ratio, and for vev_higgs_ratio, which checks the ratio to the observed Higgs mass. It fills the observed scale in the RS mechanism where the Higgs potential equals the J-cost functional and connects to the phi-ladder mass formula. It leaves open the derivation of the exact rung from T5 J-uniqueness and T6 phi fixed point.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.