GenerationFalsifier
plain-language theorem explainer
GenerationFalsifier supplies a record type that packages a candidate experimental challenge together with its measured status for the three-generation count derived from the eight-tick cycle in three dimensions. Particle physicists testing the Recognition Science prediction of exactly three fermion families would cite the record when cataloguing Z-width, fourth-generation searches, or cosmological N_eff bounds. The declaration is a bare structure with two string fields and no computational content.
Claim. A record type consisting of a string field describing a potential falsifying observation and a second string field recording its current experimental status.
background
The module derives the number of fermion generations from the eight-tick cycle (T7) crossed with three spatial dimensions (T8). Each tick phase is indexed by three bits, one per dimension, so the distinct parity combinations across the three axes produce exactly three generations. Upstream, SpectralEmergence.of states that the Q3 structure simultaneously forces SU(3)×SU(2)×U(1) gauge content, exactly three particle generations from face-pair count, and 24 chiral fermion flavors (= D × 2^D). RSNativeUnits.status fixes the native units in which the phi-ladder and coherence quantum are expressed.
proof idea
One-line structure definition that introduces the two string fields without further computation or lemmas.
why it matters
The record feeds directly into experimentalStatus, which lists concrete bounds (N_ν ≈ 3 from Z-width, N_eff ≈ 3 from BBN and CMB) that currently support the derivation. It closes the loop on the MODULE_DOC claim that the eight-tick × 3D structure yields precisely three generations and supplies the falsification checklist referenced in the SM-011 paper outline. The open question it touches is whether an alternative counting (for example from a different spectral emergence) could produce a different generation number.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.