fermion_count_24
plain-language theorem explainer
fermion_count_24 establishes that the chiral fermion flavor count equals 24. Particle physicists embedding the Standard Model into Recognition Science structures would cite this when tracing matter content to the binary cube Q3. The proof is a one-line computational decision that evaluates the arithmetic definition of fermion_flavors directly.
Claim. The chiral fermion flavor count equals 24, obtained as $3$ colors times $3$ generations times $2$ chiralities for quarks plus $1$ times $3$ generations times $2$ chiralities for leptons.
background
The Spectral Emergence module starts from the forced dimension D=3 (T8) and the binary cube Q3 with 8 vertices. The sibling definition fermion_flavors computes the total by multiplying sector dimensions (color=3, hypercharge=1) by face_pairs 3 (generations) and by 2 (chiralities per sector). Upstream, the identity event sits at the J-cost minimum with state 1, and the VantageCategory identity functor preserves strain and maps states identically.
proof idea
This is a one-line wrapper that applies native_decide to the definition of fermion_flavors, which reduces to the integer arithmetic 332 + 132.
why it matters
The result supplies the 24 value required by both numerological_summary (which lists the cube-derived counts 8,12,6,3,48) and the master spectral_emergence theorem. It realizes the T8-to-Q3 step that forces exactly 24 chiral fermions, matching the Standard Model count and closing the loop from eight-tick octave and phi-ladder to gauge and matter content.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.