molecularGatePS
plain-language theorem explainer
The declaration supplies the constant value 68 for the molecular gate timescale measured in picoseconds. Researchers testing the tau-gate hypothesis cite this anchor when aligning biological gating intervals with the tau lepton mass on the shared phi-ladder rung. The definition is a direct numerical assignment with no computation or derivation steps.
Claim. The molecular gate timescale is defined as $68$ picoseconds.
background
The module RRF.Hypotheses.TauGate presents the tau-gate hypothesis as an explicit numerical claim: the tau lepton mass at rung 19 in particle physics corresponds to a molecular gate timescale at rung 19 in biology on the same phi-ladder. The module states that m_τ ≈ 1.777 GeV and τ_gate ≈ 68 ps both sit at rung 19 relative to their respective base scales. This definition supplies the biological-side numerical anchor in picoseconds, complementing the particle-physics mass value defined in sibling declarations such as tauMassGeV.
proof idea
The definition is a direct numerical assignment of the real number 68.
why it matters
This definition anchors the tau-gate hypothesis by fixing the predicted molecular gate timescale at 68 ps for rung 19. It feeds directly into the downstream definition molecularGateSeconds, which applies psToSeconds to obtain the value in seconds for comparison against physical timescales. The hypothesis forms part of the explicit numerical predictions listed in the module, including the rung correspondence between the tau lepton and biological gating on the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.