tauMassGeV
plain-language theorem explainer
The declaration supplies the numerical value of the tau lepton mass in GeV for the tau-gate hypothesis. Researchers testing phi-ladder rung alignments between particle masses and molecular timescales cite this constant to evaluate rung 19 correspondence. It is introduced by direct numerical assignment with no derivation or lemmas.
Claim. The tau lepton mass is defined as $m_τ = 1.77686$ GeV.
background
The TauGate module states the hypothesis that the tau lepton mass and molecular gate timescale share rung 19 on the phi-ladder, where rung numbers satisfy ln(value / base) / ln(φ) ≈ 19. The phi-ladder assigns discrete levels to masses and times via powers of the golden ratio, with the module treating the alignment as an explicit numerical claim rather than a theorem. This definition supplies the experimental mass input required to solve for a base that would place the tau at rung 19.
proof idea
The definition is a one-line assignment of the real literal 1.77686. No lemmas are applied and no tactics are used.
why it matters
This constant anchors the TauGateIdentity structure, which asserts rung 19 for both mass and time, and supplies the input to tauGateFalsified, which checks whether a natural base exists. It realizes the module's claim that the tau corresponds to φ^19 on the same ladder used for lepton generations. The placement remains open to falsification if no consistent base aligns the generations without contrived choices.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.