mZ_obs
plain-language theorem explainer
The definition supplies the observed Z-boson mass of 91.2 GeV as a fixed input for Recognition Science electroweak calculations. Researchers deriving the Higgs mass interval from the φ-ladder and Q3 geometry cite this value to anchor the broken-phase scale. It is a direct numerical assignment with no further reduction or lemmas.
Claim. $m_Z^{obs} = 91.2$ GeV
background
The module derives the Higgs boson mass from the φ-ladder using Q3 geometry and completes the RS particle mass table. It treats the physical Higgs as the remaining scalar after three Goldstone modes are absorbed into W± and Z. The derivation begins from λ = J″(1)/2 = 1/2 and incorporates the Weinberg angle sin²θ_W = (3-φ)/6 proved in the sibling module.
proof idea
One-line definition that directly assigns the constant 91.2 to the observed Z-boson mass in GeV.
why it matters
This definition anchors the electroweak scale inside the Higgs rung assignment and supplies the reference mass used to test the predicted interval (120, 130) GeV. It supports the module's core claim that m_H lies in that band once the one-loop correction Δλ/λ ≈ 1/16 is included. The value closes part of the Q10 question on the Higgs mass in the Recognition framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.