alphaSPDG
plain-language theorem explainer
The definition alphaSPDG supplies the PDG experimental value 0.118 for the strong coupling constant α_s evaluated at the Z-boson mass. Particle physicists testing Recognition Science predictions against QCD data cite this constant when verifying that the wallpaper-fraction result 2/17 lies inside the 0.001 tolerance band. The declaration is a direct numerical assignment requiring no lemmas or tactics.
Claim. Let α_s^{PDG}(M_Z) := 0.118.
background
The module StrongNuclearForceFromRS derives the strong coupling from the Recognition Science wallpaper-fraction construction. It sets the RS prediction strongCouplingRS equal to 2/17 and introduces five QCD parameters (α_s together with the three light-quark masses, the c/b pair, and the top mass) whose count equals the configuration dimension D. The local setting is the A1 SM-depth layer in which α_s(M_Z) is required to match the measured value within the stated tolerance while the underlying phi-ladder and eight-tick octave remain fixed.
proof idea
Direct definition that assigns the literal real number 0.118 to the identifier alphaSPDG.
why it matters
alphaSPDG supplies the experimental anchor for the two downstream results alphaSRS_near_PDG and StrongForceCert. The former proves the absolute difference between strongCouplingRS and alphaSPDG is less than 0.001; the latter packages this near-equality together with the coupling band 0.117 < strongCouplingRS < 0.119 and the five-parameter count. The declaration therefore closes the comparison step between the RS prediction 2/17 ≈ 0.1176 and the PDG datum inside the Recognition Science framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.