muonMassGeV
plain-language theorem explainer
MuonMassGeV supplies the numerical value 0.10566 GeV as the muon mass for numerical checks inside the tau-gate hypothesis. Researchers testing whether lepton masses occupy integer rungs on the shared phi-ladder would reference this constant alongside the tau and electron values. The definition is a direct assignment with no further computation or derivation.
Claim. The muon mass is the constant $0.10566$ GeV.
background
The TauGate module states that the tau lepton mass at rung 19 on the phi-ladder matches a biological molecular gate timescale of approximately 68 ps. MuonMassGeV supplies the muon value so that the LeptonGenerationRungs structure can test whether the electron and muon also sit at integer rungs relative to a common base. Upstream, the Lepton inductive type enumerates the charged leptons while the tau function from Masses.Anchor records generation torsions as 0, 11, and 17.
proof idea
The declaration is a direct numerical definition that assigns the accepted experimental muon mass in GeV units.
why it matters
This constant is used by the LeptonGenerationRungs structure to extend the tau-gate identity across generations and check whether the rung correspondence is accidental. It sits inside the Recognition Science phi-ladder framework that already fixes the tau at rung 19 and the eight-tick octave scaling. The module thereby probes consistency of the J-cost minimum and self-similar fixed point across particle and biological domains.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.