Foundation Particle Generations

Three Generations

Foundation particle generations is the Recognition Science account of why there are exactly three families of fermions, the electron/muon/tau set and the three quark families. The result follows from the framework's derivation that physical space has exactly three dimensions. A three-dimensional cube has three pairs of opposite faces, and each face-pair corresponds to one generation in the ledger's mode structure. The count is forced, not chosen: three dimensions force three face-pairs, and three face-pairs force three generations.

The module formalizes this with machine-checked proofs. The definition of face pairs on a D-dimensional cube is simply D, so for D = 3 the count is exactly 3. The theorem three_generations_from_dimension proves that the physical dimension D_physical yields exactly three face-pairs. The same definition rules out alternatives: no_fourth_generation proves face_pairs 3 is not 4, and not_two_generations proves it is not 2. These are not empirical observations; they are arithmetic facts about the cube's structure once D = 3 is established.

The physical bridge from cube geometry to actual particle families is a recognition claim, meaning it concerns how reality's ledger of recognition events counts independent directions of coherence. The dimension argument itself is the same one that gives linking and spinors, so the generation count shares that derivation's force. What the module establishes in plain language is this: if space is three-dimensional, then three fermion generations are the unique possible count, and the framework's dimension result supplies that premise.

/-- Number of pairs of opposite faces on a D-dimensional cube.
    For a cube, opposite faces come in pairs: D pairs total. -/
def face_pairs (D : ℕ) : ℕ := D

/-- **P-001 Resolution**: Three generations follow from D = 3.

    In the RS framework:
    1. DimensionForcing proves D = 3 is the unique spatial dimension
       (linking, 8-tick, spinor structure).
    2. A D-cube has D pairs of opposite faces.
    3. Each face-pair corresponds to one fermion generation in the
       ledger's mode-counting (one independent "direction" of
       coherence per pair).
    4. Thus: 3 generations.

    This is not a coincidence — it is forced by the same dimension
    argument that gives linking and spinors. -/
theorem three_generations_from_dimension :
    face_pairs Foundation.DimensionForcing.D_physical = 3 := by
  unfold face_pairs Foundation.DimensionForcing.D_physical
  rfl

/-- For D = 3, there cannot be 4 face-pairs (by definition). -/
theorem no_fourth_generation :
    face_pairs 3 ≠ 4 := by
  norm_num [face_pairs]

/-- For D = 3, there cannot be 2 face-pairs. -/
theorem not_two_generations :
    face_pairs 3 ≠ 2 := by
  norm_num [face_pairs]

What this page does not claim

Not a derivation of the physical recognition-to-linking bridge, which remains open. Not a prediction of the masses or mixing angles of the three generations. Not a claim that the generation count is empirical; it is forced by the dimension argument.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Foundation/ParticleGenerations.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: