baryonDecupletCount
plain-language theorem explainer
Baryon decuplet count is defined as the natural number 10. Researchers reconstructing Gell-Mann's eight-fold way inside Recognition Science cite it to encode the 2 × 5 factor that matches the observed decuplet at D = 3. The declaration is a direct constant assignment with no computation or lemmas.
Claim. The baryon decuplet cardinality is the natural number 10, written $N_ {decuplet} = 10$.
background
The module derives the eight-fold way from Recognition Science by mapping Gell-Mann multiplets to lattice periods fixed by the forcing chain. Octets have size 8 = 2^D with D = 3; the decuplet has size 10 = 2 × 5 where 5 equals the configuration dimension and the count of canonical hadron families. The definition sits beside mesonOctetCount to supply the second factor in the 2 × 5 relation.
proof idea
The declaration is a one-line definition that directly assigns the constant 10. No lemmas or tactics are applied.
why it matters
It supplies the decuplet cardinality required by the EightFoldWayCert structure, which records mesonOctetCount = 2^3, baryonDecupletCount = 2 * 5, and five hadron families. The parent theorem decuplet_eq_2_times_5 then confirms the arithmetic identity by decision. This step embeds the RS counting 10 = 2 × configDim D into hadron classification and links the T7 eight-tick octave to observed SU(3) multiplets.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.