mesonOctetCount
The meson octet count is fixed at eight to encode the 2^D periodicity of the Recognition Science lattice at three spatial dimensions. Hadron spectroscopists and RS model builders cite this constant when assembling the EightFoldWayCert structure. The definition is a direct numeric assignment requiring no further reduction.
claimLet $N$ denote the meson octet cardinality. Then $N = 8$.
background
The Eight-Fold Way from RS module derives Gell-Mann's octet and decuplet organization from the Recognition Science lattice. Here 8 equals 2 to the power D at D=3, the eight-tick period, while the decuplet size is 2 times 5 and five hadron families match the configuration dimension D=5. The module states these relations with zero sorry or axiom.
proof idea
The definition is a direct constant assignment of the natural number eight. No lemmas or tactics are applied.
why it matters in Recognition Science
This definition supplies the octet cardinality that populates the EightFoldWayCert structure, which certifies the eight-fold way relations including octet_2cubeD and decuplet_2times5. It fills the RS derivation step where 8 equals 2 cubed from the eight-tick octave at three dimensions. The parent theorem mesonOctet_eq_2cubeD then proves equality by decision procedure.
scope and limits
- Does not derive the value of eight from more primitive axioms.
- Does not address baryon counts or decuplet structure.
- Does not incorporate experimental mass data or decay rates.
- Does not extend to higher-dimensional lattices.
formal statement (Lean)
27def mesonOctetCount : ℕ := 8