experimentalStatus
plain-language theorem explainer
This definition enumerates three experimental observations consistent with exactly three fermion generations. A physicist checking the Recognition Science claim that the eight-tick cycle in three dimensions forces three generations would cite these data points. The body is a direct list construction of string pairs with no computation or lemmas applied.
Claim. The experimental status supporting three generations is the list of records pairing a falsification type with its measured outcome: (``4th generation search'', ``Ruled out for SM-like particles''), (``Z-width measurement'', ``N_ν = 2.984 ± 0.008 ≈ 3''), (``Cosmological bounds'', ``N_eff ≈ 3 from BBN and CMB'').
background
The module derives the number of fermion generations from the eight-tick cycle (period 2^3) whose phases are indexed by three bits, each tied to one spatial dimension. GenerationFalsifier is the structure that records a potential falsifier (a string describing an experimental test) together with its current status (another string). The module documentation states the target is to derive exactly three generations and notes the patent/breakthrough potential of a PRL paper if the derivation holds.
proof idea
Direct list construction of three GenerationFalsifier records using hardcoded string literals for each falsifier type and status.
why it matters
The definition supplies the empirical backing for the module's hypothesis that the eight-tick octave and three spatial dimensions force three generations. It lists the measurements (fourth-generation searches, Z width, and N_eff) that the module documentation identifies as the primary experimental support. No downstream results depend on it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.