strongCouplingRS_eq
plain-language theorem explainer
Recognition Science fixes the strong coupling at the Z scale to the rational 2/17 via a wallpaper-fraction count of QCD parameters. QCD model builders comparing RS output to measured α_s(M_Z) would cite the equality when calibrating effective theories. The proof is a one-line reflexivity on the prior definition of the constant.
Claim. The Recognition Science strong coupling constant at the Z-boson mass scale satisfies $α_s(M_Z) = 2/17$.
background
The module derives the strong force from the Recognition Science wallpaper-fraction construction, where five QCD parameters (α_s plus quark mass sectors) match the configuration dimension D. The definition strongCouplingRS supplies the exact rational 2/17, noted as ≈0.1176 and aligned with the observed value. Upstream results confirm the construction is collision-free and reduces to an algebraic identity with no new axioms.
proof idea
The proof is a one-line reflexivity that applies the definition of strongCouplingRS directly to the target value 2/17.
why it matters
The equality populates the coupling_eq slot inside the StrongForceCert structure that certifies the full RS strong-force prediction. It completes the A1 SM Depth step by locking the strong coupling through the wallpaper fraction, consistent with the five-parameter count and the alpha-band constraints of the framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.