fermionsPerGeneration_val
plain-language theorem explainer
The theorem confirms that the count of Weyl fermions per generation is 15, computed as five electroweak sectors multiplied by three colors. Researchers certifying the fermion kinetic sector in Recognition Science would reference this equality. The proof proceeds by unfolding the definition of the fermion count and applying reflexivity.
Claim. The number of Weyl fermions per generation equals $5 times 3$.
background
In the Recognition Science treatment of the fermion kinetic sector, the Standard Model fermion kinetic Lagrangian maps to a recognition picture where the mass term corresponds to J-cost on the fermion recognition ratio and the kinetic term is the lattice derivative on the recognition space. The module sets the number of Weyl fermions per generation to 15 to match Standard Model counting, with the structural origin given by five electroweak sectors each replicated in three colors. Upstream results include the rung assignments for leptons, quarks, and bosons on the phi-ladder together with the inductive definition of fermion types.
proof idea
The proof is a one-line wrapper that unfolds the definition of the number of fermions per generation and applies reflexivity.
why it matters
This result supplies the fermion count to the fermion kinetic sector certificate. It fills the structural forcing step for the Standard Model fermion content in the Recognition Science framework, consistent with D equals 3 spatial dimensions yielding the five sectors via configDim. It touches the open question of extending the count to 16 with right-handed neutrinos.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.