m_Z
plain-language theorem explainer
The definition supplies the numerical value 91.1876 GeV for the Z boson mass as a constant input to Recognition Science electroweak calculations. Modelers working on the W/Z ratio and Weinberg angle cite it when placing the electroweak scale on the phi-ladder. The assignment is a direct constant definition with no computation or lemmas.
Claim. The Z boson mass is defined by the constant assignment $m_Z = 91.1876$ GeV.
background
The StandardModel.WZMassRatio module sets the W and Z masses to derive their ratio from the phi-quantized gauge structure of Recognition Science. Observed values are given as m_W ≈ 80.4 GeV and m_Z ≈ 91.2 GeV, with the ratio identified as cos(theta_W) and constrained by phi-mixing of SU(2) x U(1). Upstream anchors supply sector maps (lepton, up-quark, down-quark) that feed mass topology and integer relations used in the electroweak hierarchy.
proof idea
This is a direct definition that assigns the experimental value 91.1876 to m_Z. No lemmas or tactics are applied; the body is a single constant equation.
why it matters
The definition supplies the input value for downstream results including vev_wz_mass_hierarchy, w_z_mass_ratio, and hierarchy_problem_dissolution. These theorems locate the electroweak scale on the phi-ladder and show that the apparent hierarchy dissolves into discrete rungs. It supports the SM-003 target of obtaining electroweak parameters from the phi-structure and eight-tick cycle.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.