stringTension
plain-language theorem explainer
String tension is assigned the value φ to the power of negative five in Recognition Science units. Nuclear modelers using the Cornell potential or deriving SEMF coefficients from QCD inputs would cite this assignment to fix the linear confining scale. The definition is a direct power expression drawn from the phi constant bundle.
Claim. The string tension is defined by the equation σ := φ^{-5}, where φ is the golden-ratio fixed point.
background
The QCD-to-Nuclear Bridge module links the strong coupling α_s = 2/17 (from wallpaper-group geometry) to the semi-empirical mass formula by supplying the two coefficients of the Cornell potential. String tension supplies the linear term σ r that produces confinement at large separation. Upstream, the Confinement module states a lattice version of string tension as the noncomputable constant 0.18 GeV² together with the explicit claim that V(r₂) - V(r₁) = (r₂ - r₁)(α/(r₁ r₂) + σ) > 0 whenever r₂ > r₁, α ≥ 0 and σ > 0. The Constants structure imported from LawOfExistence bundles the core real parameters with non-negativity hypotheses.
proof idea
This is a one-line definition that directly evaluates Constants.phi raised to the integer power -5.
why it matters
The definition supplies the RS-native confining coefficient that is referenced by cornellPotential, r_min, alpha_over_sigma_gt_one, stringTension_bounds and stringTension_pos. It realizes the φ^{-5} scaling required by the phi-ladder (T5 J-uniqueness through T8 D = 3) and is bounded via the separate theorem that uses phi5_bounds to place σ inside (0.08, 0.11). The assignment closes the bridge from the Recognition Composition Law at the QCD level to nuclear saturation radii.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.