vev_canonical
plain-language theorem explainer
The canonical electroweak vacuum expectation value in the Recognition Science framework is supplied as the constant 246 GeV. Physicists checking consistency with the observed Fermi constant or phi-ladder mass ratios would cite this definition. It is introduced directly to match the standard electroweak scale without additional derivation steps.
Claim. The canonical vacuum expectation value $v$ is defined as $246$ in GeV units.
background
The module formalizes the structural framework for the electroweak VEV under registry item C-020. Recognition Science derives mass scales from ledger rung structure, dissolving the naturalness problem as parameter tuning, though full numeric extraction from first principles remains blocked. Upstream interfaces ensure collision-free empirical programs and algebraic consistency in simplicial ledgers, providing the setting for this constant assignment.
proof idea
The declaration is a direct noncomputable definition that assigns the real number 246. No upstream lemmas are invoked; it functions as the base value unfolded in dependent theorems for range and positivity checks.
why it matters
This constant anchors calculations in the electroweak scale and is used by theorems confirming the VEV lies in (244, 248) GeV and by the FermiConstantScoreCard structures that bracket the predicted Fermi constant against codata. It advances the C-020 derivation strategy by supplying the observed value for phi-ladder positioning near rung 27. The framework landmarks include the phi-ladder mass formula and the dissolution of the hierarchy problem.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.