phase_at_3_ticks
plain-language theorem explainer
The theorem asserts that three times the phase quantum equals three pi over four. Researchers modeling quantum field theory anomalies through discrete time would cite it to exhibit misalignment at steps that are not multiples of eight. The proof reduces the claim by unfolding the phase quantum definition and applying ring normalization.
Claim. $3$ times the phase quantum equals $3$ times pi over four.
background
The QFT anomalies module derives anomalies from mismatches between continuous classical symmetries and the discrete 8-tick phase structure of Recognition Science. The phase quantum is the fixed phase increment per step such that eight increments close a full $2$pi rotation, consistent with the tick as the fundamental time quantum and one octave equaling eight ticks. Upstream constants establish the tick as the RS-native time unit with the octave as the fundamental evolution period.
proof idea
The proof is a one-line wrapper that unfolds the phase quantum definition and applies the ring tactic to obtain the algebraic identity.
why it matters
This result supports the module claim that phases misalign for non-multiples of eight ticks and contributes to the derivation of quantum anomalies from 8-tick phase mismatches. It aligns with the eight-tick octave in the forcing chain and underpins statements about quantized phases and the pi-zero lifetime prediction. No downstream uses are recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.