leptonFlavors_eq_cubeFaces
plain-language theorem explainer
The equality fixes the lepton flavor count at six to match cube faces in the Recognition Science particle model. Physicists building depth certificates from the framework cite this when assembling the full set of flavor and detector counts. The proof is a direct reflexivity step on the upstream definition of the lepton count.
Claim. The number of lepton flavors equals six, matching the six faces of a cube: $N_ {lepton flavors} = 6$.
background
In the Recognition Science treatment of particle physics, a detector functions as a recognition lattice for quantum field events. Five canonical methods (tracking, calorimetry, time-of-flight, Čerenkov, transition radiation) fix the configuration dimension at D = 5. The sibling definition leptonFlavors directly assigns the value 6 to the count of leptons (e, μ, τ, νe, νμ, ντ), aligning this count with the faces of a cube.
proof idea
The proof is a one-line wrapper that applies reflexivity to the upstream definition leptonFlavors.
why it matters
This equality supplies the lepton count required by the downstream particlePhysicsDepthCert definition, which assembles the full depth certificate from the five-detector count and the two flavor equalities. It fills the B7/B8 step that equates six leptons to cube faces inside the Recognition Science lattice model. The result closes one piece of the flavor-counting scaffolding without touching mass ladders or mixing parameters.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.