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.

MODEL face_pairs · IndisputableMonolith/Foundation/ParticleGenerations.lean

THEOREM three_generations_from_dimension · IndisputableMonolith/Foundation/ParticleGenerations.lean

THEOREM no_fourth_generation · not_two_generations · IndisputableMonolith/Foundation/ParticleGenerations.lean

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: