knownViolations
plain-language theorem explainer
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.
Claim. The 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
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.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.