experimentalTests
plain-language theorem explainer
Particle physicists cite this list when confronting the three-generation prediction with collider and precision electroweak data. It assembles four observables drawn from LEP neutrino counting, LHC fourth-generation searches, phi-ladder mass ratios, and CKM unitarity. The entry is a static definition that records the falsification criteria without computation or lemmas.
Claim. The experimental tests for the three-generation prediction are the list consisting of the LEP Z-width measurement yielding $N_ν = 2.984 ± 0.008$, the LHC bound excluding fourth-generation quarks up to the TeV scale, the approximate adherence of fermion mass ratios to the pattern $φ^n$, and CKM matrix unitarity verified to $10^{-4}$.
background
Recognition Science derives exactly three fermion generations from the eight-tick cycle (period $2^3$) distributed across three spatial dimensions, as set out in the module on SM-011. The upstream SpectralEmergence result states that the structure Q₃ simultaneously forces exactly three particle generations from face-pair count together with 24 chiral fermion flavors equal to $D × 2^D = 3 × 8$. This definition supplies the corresponding experimental checks that reference the phi-ladder mass formula and RS-native units for mass.
proof idea
The definition directly constructs the list of four test strings. It performs no lemma applications or reductions and serves as a static reference for the falsification criteria listed in the module.
why it matters
The definition supports the claim that three generations follow from the eight-tick octave and three-dimensional space. It is referenced by the experimental test lists in the entanglement entropy, nonlocality, and strong CP modules. The entry closes the loop on the paper proposition for deriving generation number by specifying how the prediction confronts LEP, LHC, and mass hierarchy data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.