alphaSshort
plain-language theorem explainer
alphaSshort supplies the numerical value 0.3 for the short-distance strong coupling α_s at the 1 GeV scale inside the Cornell potential. Confinement modelers comparing J-cost predictions to lattice QCD data would cite this constant when assembling the -α/r term. The declaration is a direct numerical assignment with no computation or lemma application.
Claim. The short-distance strong coupling is defined by the constant value $0.3$ at the $1$ GeV scale.
background
The module derives quark confinement from J-cost distance scaling, in which the potential between color charges is J(r) ≈ -α/r + σ r. The short-distance term encodes asymptotic freedom while the linear term produces confinement. Upstream, scale supplies the phi-ladder via phi^k and the theorem from extracts four structural conditions plus three definitional facts from seven axioms.
proof idea
The definition is a direct numerical assignment of the constant 0.3. No lemmas or tactics are invoked.
why it matters
The constant enters jcostColorPotential, which builds the full confining potential via cornellPotential alphaSshort stringTension r hr. It supplies the short-range piece of the SM-007 mechanism, where J-cost produces the Coulomb-like term before linear growth dominates. The value sits inside the Recognition Science alpha band and supports the transition from short-distance freedom to long-distance string tension.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.