cptBounds
plain-language theorem explainer
Current PDG experimental bounds on CPT-violating mass differences are stored as a string constant. Particle physicists comparing discrete symmetry tests to Recognition Science ledger predictions would cite these values. The definition is assembled by direct string concatenation of three bound statements with no computation.
Claim. The experimental upper bounds on CPT violation are $ |Δm/m| < 10^{-9} $ for proton/antiproton, $ |Δm/m| < 8×10^{-9} $ for electron/positron, and $ |Δm| < 10^{-18} $ GeV for $ K^0/¯K^0 $.
background
The QFT-005 module derives CPT invariance from the ledger's double-entry structure in Recognition Science. C-symmetry follows from J-cost symmetry J(x) = J(1/x), P-symmetry from D=3 lattice isotropy, and T-symmetry from reversibility of the eight-tick cycle. The module states that while individual C, P, or T may be violated, their combination CPT remains conserved. Upstream, K is defined as the dimensionless bridge ratio φ^{1/2}.
proof idea
The definition is a direct string literal formed by concatenation of three bound statements. No lemmas or tactics are invoked; it is a constant definition.
why it matters
This definition supplies the empirical reference points for the module's claim that CPT follows from ledger symmetry. It supports the target of deriving CPT invariance from Recognition Science's discrete structure, consistent with the eight-tick octave and D=3. No downstream uses are recorded, leaving open integration into quantitative mass-ladder predictions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.