MassHierarchyFalsifier
plain-language theorem explainer
MassHierarchyFalsifier records a textual description of a potential counterexample to the φ-cascade fermion mass hierarchy together with its current experimental status. Particle physicists checking Standard Model extensions or precision mass-ratio data would reference the structure when testing Recognition Science predictions. The declaration is a pure structure definition that introduces no theorems or computations.
Claim. A record type $F$ for potential falsifiers of the fermion mass hierarchy, consisting of a string $d$ describing an observation that would refute the φ-cascade and a string $s$ reporting its status.
background
Recognition Science derives the fermion mass hierarchy from a geometric φ-cascade in which each generation differs by factors of φ² or φ³. The module SM-006 shows how three generations arise from the eight-tick structure, producing mass ratios that span many orders of magnitude via successive powers of φ. Upstream results establish that spectral emergence from Q₃ geometry forces exactly three generations and 24 chiral fermions, while RS-native units fix the φ-ladder scaling used for mass assignments.
proof idea
The declaration is a structure definition introducing two string fields. No lemmas or tactics are applied; it functions solely as a data container.
why it matters
The structure supplies the data type used by experimentalStatus to list current consistency checks against LHC bounds and Koide precision. It directly supports the mass-hierarchy derivation targeted for PRL publication and connects to the T7 eight-tick octave and φ-ladder mass formula. The construction leaves open whether additional falsifiers beyond fourth-generation particles or Koide violation will appear in future data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.