ConfinementFalsifier
plain-language theorem explainer
The ConfinementFalsifier structure records four classes of observation that would refute the claim that J-cost distance scaling produces linear quark confinement. QCD phenomenologists and lattice gauge theorists would cite it when mapping Recognition Science predictions onto hadron spectroscopy and heavy-ion data. It is introduced as a plain record type whose two string fields directly encode the falsifier description and its measured status.
Claim. A structure consisting of a string field for the falsifying observation and a string field for its experimental status, where the listed observations are free quarks, string tension differing from $0.18$ GeV$^2$, non-linear Regge trajectories, and absence of quark-gluon plasma at high temperature.
background
The QFT.Confinement module derives confinement from J-cost distance scaling: at short range the cost behaves as $1/r$ (asymptotic freedom) while at long range it grows linearly with separation (string tension). J-cost itself is the strictly convex function $J(x)=(x+x^{-1})/2-1$ whose unique minimum lies at $x=1$, taken from the Recognition Composition Law and the phi-ladder construction in RSNativeUnits.status. Upstream structures supply the discrete phi-tiers for nuclear densities, the ledger factorization that calibrates J, and the spectral emergence that forces SU(3) gauge content together with three generations.
proof idea
The declaration is a bare structure definition with no proof body. It directly encodes the four falsification criteria stated in the module documentation, each realized as a pair of strings.
why it matters
The structure supplies the element type for experimentalStatus, which lists current data supporting the J-cost confinement picture. It therefore closes the experimental loop on the SM-007 target of deriving linear confinement from the single functional equation. The construction rests on T5 J-uniqueness and the D=3 spatial dimensions forced by the eight-tick octave, while leaving open the quantitative matching of the string tension to lattice QCD.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.