three_generations
plain-language theorem explainer
Recognition Science derives exactly three fermion generations from the forced spatial dimension D = 3 via the face pair count on the binary cube Q3. A physicist reconstructing the Standard Model gauge and fermion content from the Recognition framework would cite this result to connect the cube symmetry to particle generations. The proof is a direct native decision on the explicit definition of the face pair function.
Claim. The number of pairs of opposite faces on the three-dimensional cube is exactly three.
background
The Spectral Emergence module starts from T8 (D = 3) to build the binary cube Q3 with 2^D = 8 vertices. From this cube the module extracts the Standard Model gauge content, 24 chiral fermions, and the generation count. The face_pairs function counts pairs of opposite faces sharing a normal axis; the upstream ParticleGenerations definition states it equals D, while the local definition computes D*(D-1)/2. Both evaluate to 3 when D = 3. The ContinuumBridge structure supplies the discrete-to-continuum identification used in the broader ledger.
proof idea
This is a one-line term proof that applies native_decide to the equality face_pairs 3 = 3. The tactic evaluates the explicit combinatorial definition of face_pairs against the concrete numeral 3, confirming the identity without further lemmas.
why it matters
The result supplies the generation count required by the self-consistency theorem framework_self_consistent, which verifies that spectral analysis on Q3 reproduces the input values D = 3, 8 vertices, and 3 generations. It also appears in generations_eq_dimension, numerological_summary, and the master spectral_emergence certificate. The declaration realizes the direct step from T8 (D = 3) to three generations via the face-pair count on Q3, closing the loop that |Aut(Q3)| = 48 matches the 48 chiral fermion states.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.