pionParity
plain-language theorem explainer
Pion parity is assigned the integer value -1, matching its classification as a pseudoscalar with J^P = 0^-. Physicists working on meson decays or effective chiral Lagrangians would reference this fixed value to enforce selection rules in pion processes. The entry is a direct constant definition with no internal computation or lemma application.
Claim. The parity of the pion satisfies $P = -1$.
background
The Pion Masses module derives the masses of the lightest mesons from Recognition Science by treating pions as quark-antiquark bound states whose binding follows phi-ladder patterns. It invokes the GMOR relation linking pion mass squared to the product of light quark masses and the chiral condensate, with explicit chiral symmetry breaking supplying the small observed masses. The upstream has class from AsteroidOreSpectroscopy supplies the general spectral-peak mechanism: each mineral or particle class is assigned a characteristic frequency scaled by successive powers of phi, which here supplies the rung placement for the pion.
proof idea
Direct constant definition that assigns the integer -1.
why it matters
The constant supplies the parity input required by the module's mass predictions, including the charged-neutral splitting and the ratio m_pi / m_e near phi^12 / 2. It sits inside the broader phi-ladder placement of hadrons and the eight-tick octave structure of the forcing chain. No downstream uses are recorded, so the entry functions as a fixed interface value for any later parity-sensitive calculations in the Recognition framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.