confinementPredictions
plain-language theorem explainer
Recognition Science supplies four concrete predictions for QCD confinement through this definition. A high-energy physicist comparing lattice QCD results or RHIC/LHC quark-gluon plasma data would reference these values when testing J-cost scaling against experiment. The definition is realized as a direct list literal with no computation or lemma applications.
Claim. The Recognition Science confinement predictions are the list consisting of string tension $σ ≈ 0.18$ GeV², asymptotic freedom with $α_s → 0$ at high energy, Regge trajectories satisfying $M² ∝ J$, and deconfinement transition at temperature $T_c ≈ 170$ MeV.
background
The module derives QCD confinement from J-cost distance scaling. Short-distance J-cost behaves as 1/r (Coulomb-like) while long-distance J-cost grows linearly with r, yielding constant force and string tension. Temperature is defined as the inverse Lagrange multiplier β from the Boltzmann distribution, linking directly to the deconfinement threshold. Upstream results supply the Transition structure and the temperature definition, though the CirclePhaseLift bound is not invoked here.
proof idea
The definition is realized as a direct list literal containing the four enumerated predictions. No lemmas or tactics are applied; the content is supplied verbatim from the Recognition Science framework.
why it matters
This definition populates the SM-007 target of deriving quark confinement from J-cost structure. It supplies the numerical anchors (string tension 0.18 GeV², T_c 170 MeV) that connect to the phi-ladder mass formulas and eight-tick octave elsewhere in the framework. No downstream theorems currently reference it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.