chiralAnomalyConsequences
plain-language theorem explainer
Lists observable effects of the chiral anomaly arising from 8-tick phase mismatch in Recognition Science, including neutral pion decay to two photons at lifetime 8.52 times 10 to the minus 17 seconds, eta decay to two photons, the chiral magnetic effect, and axion physics. A physicist modeling discrete-time quantum field theory would cite the list when mapping phase quantization to standard-model signatures. The body is a direct literal list construction with no lemmas or computation.
Claim. The physical consequences of the chiral anomaly are the decay process $π^0 → γγ$ with lifetime $8.52 × 10^{-17}$ s, the decay $η → γγ$, the chiral magnetic effect, and axion physics.
background
Recognition Science treats time as discrete ticks, the fundamental quantum with value 1 in RS-native units. The eight-tick cycle supplies phases $kπ/4$ for integer $k$ from 0 to 7; these phases are periodic with period $2π$. Classical symmetries assume continuous phase evolution, while the discrete 8-tick structure introduces quantization that breaks axial current conservation and produces anomalies. The module QFT-014 frames anomalies as the direct result of this mismatch between continuous classical evolution and discrete quantum evolution. Upstream definitions establish the tick as the atomic temporal unit and the phase function for the eight-tick octave; the Axion structure supplies the pseudoscalar context with masses in the $10^{-6}$ to $10^{-3}$ eV range.
proof idea
The definition is a direct literal list of four strings; no lemmas are applied and no tactics are invoked beyond the list construction itself.
why it matters
The definition supplies concrete signatures for the claim that quantum anomalies originate in 8-tick phase mismatch, the target of module QFT-014 and the associated paper proposition on quantum anomalies from discrete time structure. It anchors the eight-tick octave (T7) to observable processes such as pion decay and axion physics. No downstream declarations reference it, leaving open the quantitative derivation of lifetimes from the phase function.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.