pi0_lifetime_predicted_units
plain-language theorem explainer
The definition supplies the Recognition Science prediction for neutral pion lifetime as the rational 84/10 in units of 10^{-17} seconds. Researchers comparing discrete-time QFT models to experiment cite this value when testing the 8-tick anomaly mechanism for pi0 to gamma gamma. The declaration is introduced by direct constant assignment.
Claim. The predicted lifetime of the neutral pion arising from the 8-tick phase mismatch anomaly equals $8.4$ in units of $10^{-17}$ seconds.
background
The QFT.Anomalies module derives quantum anomalies from 8-tick phase mismatches between continuous classical symmetries and discrete time structure. Upstream structures include J-cost minimization (strictly convex with global minimum at argument 1), spectral emergence fixing SU(3) x SU(2) x U(1) content plus three generations, and the lifetime function defined as phi to the power k on the phi-ladder. The local setting treats the chiral anomaly for pi0 decay as a direct consequence of phase quantization at the eight-tick octave.
proof idea
The declaration is a direct constant definition that assigns the rational 84/10 without invoking lemmas or further computation.
why it matters
This supplies the numerical input for the relative error computation in the downstream pi0_relative_error_rational declaration. It fills the QFT-014 target of deriving anomalies from discrete time and connects to the eight-tick octave (T7) in the forcing chain together with the phi-ladder decay spectrum. The value is positioned to test agreement with observation inside the Recognition Science framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.