pi0_relative_error_rational
plain-language theorem explainer
The definition supplies the relative error between the Recognition Science predicted neutral pion lifetime and the observed experimental value, expressed exactly as a rational. Researchers verifying 8-tick phase mismatch predictions in quantum anomalies would cite it when comparing the derived lifetime against data. It is constructed directly as the absolute difference of the two upstream lifetime constants divided by the observed lifetime.
Claim. The relative error is defined as $ |8.4 - 8.52| / 8.52 $ where the lifetimes are given in units of $10^{-17}$ s.
background
The QFT.Anomalies module derives quantum anomalies such as the chiral anomaly for neutral pion decay from 8-tick phase mismatches between discrete time structure and continuous symmetry assumptions. Upstream definitions fix the predicted lifetime at 84/10 and the observed lifetime at 852/100, both in units of $10^{-17}$ s, to enable exact arithmetic comparison. This setting follows the module's focus on anomalies arising when classical symmetries are broken by the discrete eight-tick octave.
proof idea
One-line definition that subtracts the predicted lifetime from the observed lifetime, applies the absolute value, and divides by the observed lifetime using the two upstream constants.
why it matters
This definition feeds the AnomalyProofSummary structure asserting that all key claims including π⁰ prediction accuracy have been proven, and supports the theorem establishing the prediction matches experiment to less than 2 percent. It quantifies the effect of the eight-tick phase mismatch on the pion lifetime, directly addressing the paper proposition on quantum anomalies from discrete time structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.