gamma_count_eq_5
plain-language theorem explainer
The declaration fixes the number of Dirac gamma matrices at five in the RS construction. Physicists deriving the Dirac equation from the Recognition Science forcing chain would cite this when counting the four spacetime generators plus the chirality operator. The proof is a direct reflexivity step matching the constant definition.
Claim. The total number of Dirac gamma matrices, consisting of the four spacetime matrices together with the chirality matrix, equals 5.
background
Recognition Science derives the Dirac equation from the single functional equation via the eight-tick octave that forces D=3 spatial dimensions. In this module the gamma matrices represent the Clifford algebra generators for the 4=2^{D-1} spacetime directions, extended by the chirality matrix γ^5 = i γ^0 γ^1 γ^2 γ^3. The upstream definition gammaMatrixCount simply records this total as the constant 5.
proof idea
The proof is a one-line reflexivity that equates the declared count to its defining value of 5.
why it matters
This equality anchors the matrix count required for the RS Dirac equation before the DiracCert construction. It closes the dimension step that follows from T7 (eight-tick octave) and T8 (D=3) in the unified forcing chain, ensuring the 4+1 structure matches configDim D.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.