pdg_tauon_MeV
plain-language theorem explainer
The declaration supplies the PDG 2024 experimental mass of the tau lepton as 1776.9 MeV for direct comparison with Recognition Science mass predictions. Researchers verifying the phi-ladder mass formula against Standard Model data would reference this constant. It is a one-line numerical assignment with no computational steps.
Claim. The experimental mass of the tau lepton according to PDG 2024 is $1776.9$ MeV.
background
The module states the RS mass predictions for all Standard Model particles and documents their comparison with PDG 2024 experimental values. The mass law is $m(particle) = yardstick(Sector) × φ^(r - 8 + gap(Z))$, where yardstick, rung r, and Z derive from cube geometry in three dimensions, wallpaper groups, and charge structure. This definition provides the experimental tauon mass for such comparisons. Mass law positivity and φ-scaling are proved elsewhere; PDG comparisons are stated as hypotheses with documented experimental values.
proof idea
It is a one-line definition that directly assigns the numerical value 1776.9 to the constant representing the PDG tauon mass in MeV.
why it matters
This constant supports verification of the mass formula against experimental data in the Standard Model sector. It feeds into comparisons with the phi-ladder predictions derived from the eight-tick octave and D=3 spatial dimensions. The module documents PDG comparisons as hypotheses with experimental values, leaving full numerical verification to interval arithmetic on phi powers.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.