cornellPotentialVal
plain-language theorem explainer
The declaration supplies the explicit Cornell potential V(r) = -α/r + σ r for analyzing the transition from Coulomb to linear behavior in quark confinement. QCD theorists working inside the Recognition Science framework cite it when studying long-distance J-cost scaling. The definition is a direct one-line algebraic combination of the inverse-distance and linear terms.
Claim. $V(r) = -α/r + σ r$, where α denotes the fine-structure constant and σ the string tension coefficient.
background
The module derives QCD confinement from J-cost distance scaling on the recognition manifold. Short distances yield a Coulomb-like 1/r term while long distances produce a linear term whose coefficient is the string tension. The supplied upstream result alpha defines the fine-structure constant as the reciprocal of its inverse; the downstream theorem confinement_at_long_distance then invokes this definition to extract the asymptotic linear growth.
proof idea
One-line definition that directly encodes the sum of the inverse-distance Coulomb term and the linear confining term.
why it matters
This definition supplies the concrete potential form required by the theorem confinement_at_long_distance, which proves V(r) - σ r tends to zero at infinity. It realizes the SM-007 target of obtaining confinement from J-cost scaling and connects to the Recognition Composition Law through the underlying cost structure. No open scaffolding remains at this site.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.