alpha_s_geom
plain-language theorem explainer
The definition supplies the rational constant 2/17 as the geometric strong coupling alpha_s in Recognition Science units. QCD phenomenologists and nuclear theorists cite it when comparing the T15 prediction to PDG measurements of alpha_s(M_Z). The declaration is a direct constant assignment requiring no lemmas or reduction steps.
Claim. The geometric strong coupling constant is given by $alpha_s = 2/17$.
background
In the T15 module the strong force arises from planar symmetries of the ledger. The electromagnetic fine structure constant is obtained from full edge geometry (4 pi times 11), while the strong coupling is the reciprocal of half the symmetry group count W = 17, producing the numerical value 2/17 approximately 0.11765 that lies within 0.2 sigma of the observed 0.1179 plus or minus 0.0009. The sole upstream dependency is the Coupling abbrev, which encodes the sparse FEP-state relation enforcing the Markov-blanket condition that no direct internal-external coupling occurs.
proof idea
The declaration is a direct definition that assigns the rational value 2/17. No lemmas are applied and no tactics are executed beyond the constant declaration itself.
why it matters
This constant anchors the T15 strong-force hypothesis and is unfolded directly into alpha_strong, alpha_s_MZ, and the comparison theorems alpha_over_sigma_gt_one and strong_vs_em. It realizes the symmetry-count prediction W = 17 that follows from the eight-tick octave structure in the Recognition Science chain and supplies the base value for all subsequent QCD running analyses.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.