TauGateFalsifier
plain-language theorem explainer
TauGateFalsifier records a witness that the proposed rung-19 coincidence between the tau lepton mass and a molecular gate timescale on the phi-ladder cannot be realized without unnatural base scales and fails to extend to the other leptons. A researcher testing the Recognition Science mass formula against particle data would cite this structure when checking the RRF hypothesis. It is introduced as a plain structure definition whose fields bundle an attempted identity with placeholder flags for prediction failure and fine-tuning.
Claim. A falsification witness for the hypothesis that the tau lepton mass and a molecular gate timescale coincide at rung 19 on the $phi$-ladder, consisting of an attempted identity (via chosen base mass and base time) together with the assertions that predictions fail for the other leptons and that the required base scales are unnatural.
background
The tau-gate hypothesis asserts that the tau lepton mass of approximately 1.777 GeV and a molecular gate timescale of approximately 68 ps both correspond to rung 19 on the $phi$-ladder, where the rung is computed as the integer closest to $ln(m / m_base) / ln phi$. The referenced TauGateIdentity structure encodes this claim by fixing the rung to 19 and requiring that the chosen mass base and time base place the respective quantities within 0.5 of that rung. This module presents the hypothesis as an explicit numerical prediction within the Recognition Science framework and lists three falsification criteria: numerological accident, mismatch with other lepton generations, and unnatural base choices.
proof idea
The declaration is a structure definition that directly bundles the three components of the falsification witness: an attempt at the tau-gate identity, a placeholder assertion that predictions fail, and a placeholder assertion that the base choices are unnatural. No lemmas are applied; the structure serves as a container for the falsification criteria outlined in the module documentation.
why it matters
This definition supplies the falsification witness for the tau-gate hypothesis, which is the core claim of the module that the tau lepton mass and molecular gate timescale coincide at rung 19 on the $phi$-ladder. It feeds into the broader Recognition Science program by providing a concrete test of the mass formula against experimental lepton data. The structure touches the open question of whether the observed numerical coincidence is accidental or forced by the J-uniqueness property of the recognition function. No downstream theorems currently use this witness.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.