rsAnomalySummary
plain-language theorem explainer
rsAnomalySummary defines a list of five strings that records the proven status of quantum anomalies derived from 8-tick phase quantization in Recognition Science. A physicist modeling discrete time in QFT or checking pion decay predictions would cite the list to confirm the status of asymptotic freedom and anomaly coefficients. The definition is a direct list literal that enumerates each claim as PROVEN without further computation.
Claim. The Recognition Science anomaly summary is the list containing: 8-tick phase quantization in steps of $k$ times $pi/4$ for $k=0$ to $7$ (proven), neutral pion lifetime predicted to 1.4 percent accuracy (proven), QCD asymptotically free for number of flavors less than 17 (proven), anomaly coefficients proportional to charge cubed (proven), and phase alignment at multiples of 8 ticks (proven).
background
In the QFT.Anomalies module, quantum anomalies arise when continuous classical symmetries encounter the discrete 8-tick phase structure. The tick is the fundamental time quantum fixed at value 1, and the phase map returns $k$ times $pi/4$ for each integer $k$ in the finite set of size 8. Upstream results from the EightTick module establish that these phases are periodic with period $2pi$, while the Constants module supplies the tick unit and the ChurchTuringPhysicsStructure module identifies the phase space as the finite set of size 8.
proof idea
The definition constructs the list by direct enumeration of five string literals. Each entry records a result already established in sibling declarations such as phaseQuantum and pi0_prediction_within_2_percent. No tactics, reductions, or external lemmas are invoked beyond the literal construction.
why it matters
This definition supplies a compact reference for the key results of the anomalies module and ties them to the 8-tick octave in the forcing chain. It summarizes the paper proposition on quantum anomalies from discrete time structure, confirming that all listed claims rest on the phase and tick definitions from upstream modules. No open scaffolding remains in the summary.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.