pi0_lifetime_observed_units
plain-language theorem explainer
This definition records the experimental neutral pion lifetime as the rational 852/100 in units of 10^{-17} seconds. Particle physicists testing Recognition Science predictions against decay data would cite it when evaluating agreement with the 8-tick anomaly mechanism. The declaration is a direct constant assignment with no computational steps.
Claim. The observed lifetime of the neutral pion is defined to be $852/100$ in units of $10^{-17}$ seconds.
background
The QFT.Anomalies module derives quantum anomalies from 8-tick phase mismatches between discrete time structure and classical symmetries. This supplies the measured input value for the neutral pion lifetime that enters error computations against the phi-ladder prediction. Upstream structures from ContinuumBridge and UniversalForcingSelfReference establish the simplicial-to-continuum identification and meta-realization axioms used elsewhere in the module, though this definition functions as a standalone data constant.
proof idea
The declaration is a direct definition that assigns the rational 852/100 with an accompanying comment for the observed value.
why it matters
The constant is consumed by pi0_relative_error_rational to produce the exact relative discrepancy between the predicted and observed lifetimes. It anchors the claim that the 8-tick octave reproduces the pion anomaly to within a few percent, consistent with the T7 eight-tick period and the chiral anomaly arising from phase quantization. It leaves open the question of whether the same ladder yields comparable accuracy for other meson lifetimes.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.