apparentViolations
plain-language theorem explainer
The definition enumerates three apparent violations of Noether conservation laws together with their resolutions under the Recognition Science cost-stationarity framework. A researcher deriving Noether's theorem from ledger balance would cite this list to address common objections from cosmology and particle physics. The body is a direct list literal of three NoetherFalsifier records.
Claim. Let $N$ be the list of Noether falsifiers. Then $N$ contains the entries (``Energy non-conservation in expanding universe'', ``Time translation symmetry is broken by cosmological expansion''), (``Baryon number violation in GUTs'', ``U(1)$_B$ is only an approximate symmetry''), and (``CP violation'', ``CP is not an exact symmetry of nature'').
background
The module derives Noether's theorem from cost stationarity: a symmetry is a transformation that leaves the J-cost unchanged, and conservation follows from ledger balance under that transformation. NoetherFalsifier is the structure that records an apparent violation as a string together with its resolution string. Upstream results supply the RS-native units for energy and time together with ledger factorization, which calibrate the J-cost used in the symmetry definition.
proof idea
The declaration is a direct definition that enumerates three concrete string pairs inside the NoetherFalsifier structure.
why it matters
This definition closes the loop on the Noether derivation by cataloguing the physical cases where symmetries appear broken, such as expanding universes and approximate gauge symmetries. It supports the module claim that Noether follows from ledger balance once the symmetry assumptions are stated precisely. The list touches the T5 J-uniqueness and cost stationarity landmarks by providing the boundary cases.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.