totalKaons
plain-language theorem explainer
Kaon counting under Recognition Science fixes the total at four particles via two doublets each containing two members. Modelers of strange mesons cite this count when placing kaons on the phi-ladder for mass derivations. The definition performs direct multiplication of the doublet count and size constants.
Claim. The total number of kaons $N_K$ equals the product of the number of kaon doublets $n_d$ and the size $s_d$ of each doublet, so $N_K = 2 × 2 = 4$.
background
The Kaon Masses Derivation module treats kaons as strange mesons containing one strange quark or antiquark, with masses derived via the phi-ladder and SU(3) flavor symmetry. Kaon doublets are defined as the pair (K⁺, K⁰) and the pair (K̄⁰, K⁻). Each doublet size is set to two members.
proof idea
This definition is a one-line wrapper that multiplies the kaon doublets count by the doublet size.
why it matters
This definition supplies the total count to the theorem total_kaons_is_4, which states the value equals 4 and connects to the eight-tick octave. It fills the counting step in the P-014 kaon mass derivation and supports mass formulas on the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.