knownViolations
knownViolations enumerates the four experimentally confirmed cases of individual C, P, or T symmetry breaking. A particle physicist testing discrete symmetries would cite this list to contrast with the CPT conservation derived from ledger double-entry structure. The definition is a static enumeration of historical references with no computation or lemmas applied.
claimThe known individual violations consist of parity violation in weak interactions (Wu experiment, 1957), charge conjugation violation in weak interactions, CP violation in neutral kaon decays (Cronin-Fitch, 1964), and time-reversal violation in B-meson decays (BaBar, 2012).
background
Recognition Science derives CPT invariance from the ledger's double-entry structure. Charge conjugation follows from the J-cost symmetry J(x) = J(1/x). Parity arises from the three-dimensional voxel lattice forced by D = 3. Time reversal follows from the bidirectional eight-tick cycle. The upstream Breath1024.T supplies the fundamental period count. Gap45.SyncMinimization.T computes triangular numbers for synchronization minima. LedgerPostingAdjacency.parity extracts the parity pattern from the phi-vector ledger state.
proof idea
This is a direct definition that enumerates the list of strings. No lemmas are applied; the content is static experimental history.
why it matters in Recognition Science
This definition supports the CPT theorem by cataloging cases where individual symmetries break, underscoring that only the combined CPT remains invariant under ledger symmetry. It fills the experimental contrast section in the QFT-005 derivation of CPT from discrete ledger structure, targeting a PRL paper on CPT from discrete ledger structure.
scope and limits
- Does not derive any violations from first principles.
- Does not include quantitative measures of violation strength.
- Does not address possible violations beyond the listed experiments.
- Does not claim the list is exhaustive.
formal statement (Lean)
174def knownViolations : List String := [
proof body
Definition body.
175 "P: Weak interaction (Wu experiment, 1957)",
176 "C: Weak interaction",
177 "CP: Kaon decay (Cronin-Fitch, 1964)",
178 "T: B-meson decay (BaBar, 2012)"
179]
180
181/-! ## CPT Predictions -/
182
183/-- PT transformation (parity + time reversal). -/