quarkFlavors
plain-language theorem explainer
The definition assigns the natural number 6 to the count of quark flavors by direct analogy to the six faces of a cube. Particle physicists certifying detection completeness inside the Recognition Science lattice model cite this constant when populating the ParticlePhysicsDepthCert structure. It is introduced as a bare constant with no reduction steps or lemmas.
Claim. The number of quark flavors is defined to be $6$.
background
The module models particle detectors as recognition lattices for quantum-field events, with five canonical detection methods (tracking, calorimetry, time-of-flight, Čerenkov, transition radiation) fixing the configuration dimension at 5. It states that six quark flavors equal the six faces of a cube and likewise for the six leptons. The supplied definition supplies the concrete integer used by the certification structure and the companion equality theorem.
proof idea
Direct constant definition with no proof body or applied lemmas.
why it matters
The definition populates the six_quarks field of the ParticlePhysicsDepthCert structure that certifies particle-physics depth from Recognition Science. It realizes the module statement equating quark count to cube faces, consistent with the framework's geometric encoding of spatial dimension D=3 and the eight-tick octave. No open questions or scaffolding are closed by this declaration.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.