gmo_lhs
plain-language theorem explainer
This definition supplies the left-hand side of the approximate Gell-Mann-Okubo mass relation for kaons in Recognition Science. A physicist verifying SU(3) flavor symmetry breaking in the pseudoscalar octet would cite it when comparing the kaon term to eta and pion contributions. It is a direct definition that squares the experimental charged kaon mass and multiplies by four.
Claim. The left-hand side of the Gell-Mann-Okubo relation for kaons is defined as $4 m_{K^±}^2$, where $m_{K^±}$ is the charged kaon mass in MeV.
background
Kaon masses occupy a higher rung on the phi-ladder than pions because of the strange quark content. The module fixes the charged kaon mass at the PDG value 493.677 MeV and tests the Gell-Mann-Okubo formula that relates squared masses in the pseudoscalar octet. The upstream constant supplies this numerical input directly from experiment as the base for the relation check.
proof idea
This is a one-line definition that applies the charged kaon mass constant by computing four times its square.
why it matters
It supplies the left-hand side for the theorem that verifies the GMO relation holds to within 10 percent, confirming the mass splitting expected from strange-quark placement on the phi-ladder. This step supports the kaon mass predictions in the Recognition Science framework and connects to the SU(3) symmetry breaking in the pseudoscalar octet without a full derivation from the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.