alpha_s_Z
plain-language theorem explainer
alpha_s_Z supplies the measured value of the strong coupling at the Z mass for use in unification arguments. Researchers comparing coupling strengths across scales in the Recognition Science framework cite this constant when verifying the position of the GUT coupling. The definition consists of a direct numerical assignment drawn from experiment.
Claim. The strong coupling constant $α_s$ evaluated at the $Z$ boson mass equals $0.118$.
background
The module derives running couplings from φ-ladder scaling, where different rungs correspond to different energy scales and J-cost optimization adjusts accordingly. Upstream results include the definition of a constant scalar field as a uniform background. This setting connects to the broader Recognition Science approach of obtaining physics from φ-forcing chains.
proof idea
The declaration is a direct definition that assigns the numerical value 0.118 without further reduction or lemma application.
why it matters
It supplies the input for the theorem establishing that the GUT coupling lies between the strong and electromagnetic values. This anchors the RS account of asymptotic freedom for the strong force within the φ-scaling mechanism. The placement is consistent with the eight-tick octave and D=3 dimensions in the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.