IndisputableMonolith.RRF.Hypotheses.TauGate
The TauGate module encodes the tau lepton mass in GeV as an explicit RRF hypothesis built on the phi-ladder. It supplies concrete values, gate definitions, and falsification objects for the tau scale. Particle physicists testing mass hierarchies would cite the predictions against the measured 1.777 GeV value. The module organizes definitions and criteria without formal proofs or derivations.
claimThe tau lepton mass $m_τ$ in GeV lies on the phi-ladder at a specific rung, with associated molecular gate time scales in picoseconds and seconds.
background
The phi-ladder hypothesis states that physical scales are organized by powers of phi. This module applies the hypothesis to the tau lepton mass within the RRF collection of explicit physical claims. It imports the phi-ladder structure and Mathlib reals to define tauMassGeV along with related gate and prediction objects.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module feeds the RRF.Hypotheses umbrella file, which collects physical claims that make specific predictions and carry explicit falsification criteria. It supplies the tau case for lepton generation rungs and the associated TauGateFalsifier.
scope and limits
- Does not derive the tau mass from the unified forcing chain.
- Does not prove the phi-ladder hypothesis.
- Does not compute numerical predictions from first principles.
- Does not incorporate experimental data sets.