pith. sign in
module module high

IndisputableMonolith.Foundation.ParticleGenerations

show as:
view Lean formalization →

The ParticleGenerations module derives exactly three fermion generations from the forced spatial dimension D=3 via the opposite-face structure of the 3-cube. Standard-model phenomenologists working within Recognition Science would cite it to explain family replication. Proofs reduce the generation count to the face-pair count using the upstream dimension-forcing result and rule out other integers by direct comparison to D.

claimThe number of pairs of opposite faces on a $D$-dimensional cube equals $D$. When the spatial dimension is forced to $D=3$, this structure yields precisely three particle generations.

background

This module follows DimensionForcing, which proves spatial dimension $D=3$ is forced by the RS framework through topological linking arguments, and PhiForcing, which derives the golden ratio from self-similarity in a discrete ledger equipped with the J-cost functional $J(x) = (x + x^{-1})/2 - 1$. The central definition counts pairs of opposite faces on the $D$-cube and states that this count equals $D$.

proof idea

The module first records that opposite faces form $D$ pairs. It then invokes the dimension-forcing theorem to set $D=3$ and concludes three generations. Separate results exclude two generations and four generations by showing mismatch with the cube symmetry and the phi-ladder structure inherited from PhiForcing.

why it matters in Recognition Science

This module supplies the generation count required by GaugeFromCube to obtain the standard-model gauge group from the automorphism group of the 3-cube, by QuarkColors to obtain $N_c=3$, and by TopologicalConservation to ground charge conservation in D=3 linking. It also supplies the fermion spectrum input used in the Yang-Mills mass-gap analysis.

scope and limits

used by (4)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (5)