Foundation Nine Parities

The nine parities

A parity is a binary switch: on or off, plus or minus. In particle physics, parities like charge-parity (CP) and baryon number minus lepton number (B-L) are familiar conservation laws. The Recognition Science framework collects nine such switches into a single structure called a parity vector, a list of nine binary values. The framework's library of machine-checked theorems proves that there are exactly nine independent parities, no more and no fewer. This count is not numerology; it is the result of a formal proof.

The nine parities come from three distinct sources. Four are spacetime parities: charge-parity, baryon minus lepton, hypercharge, and tick reversal. Three are color parities, related to the sign flips of color charge in the strong force. Two are generation parities, tied to the three-generation structure of matter. The theorem source_decomposition proves the arithmetic: 4 plus 3 plus 2 equals 9. Each parity is an independent axis, so the full space of possible parity configurations has 2 to the 9th power, or 512, distinct states.

The framework models the ledger, a discrete record of recognition events, as the fundamental substrate. Parities act as constraints on this ledger. The key theorems establish three properties. First, every parity flips when the ledger is reversed in time and conjugated, meaning the switches all toggle. Second, the vacuum state, the empty ledger, has all parities set to zero. Third, the nine parities are algebraically independent, so none can be derived from the others. These properties are proved in the machine-checked library, not assumed.

This structure connects to a famous obsession of Nikola Tesla, who spoke of the "magnificence of the 9." In the framework, the number 9 is not a mystical preference but the exact count of independent symmetries constraining the vacuum. The parities determine which configurations are physically admissible. A configuration that violates the double-entry balance of the ledger is excluded. The framework proves that the vacuum, with all parities zero, is not fixed by tick reversal; flipping it produces a state with all nine parities set to one.

The practical consequence is a precise accounting of what is allowed. The framework proves that the vacuum is a unique zero state, that the nine parities form a complete basis, and that the space of configurations is exactly 512 states. This gives a finite, countable structure to the vacuum, a sharp contrast to the continuous fields of conventional physics. The number 9 is not a coincidence; it is a theorem.

/-- There are exactly 9 parity indices. -/
theorem parity_count_eq_nine : Fintype.card ParityIndex = 9 := by
  decide

/-- The 4+3+2 decomposition sums to 9. -/
theorem source_decomposition : 4 + 3 + 2 = 9 := by norm_num

/-- Total number of parity configurations: 2⁹ = 512. -/
theorem total_parity_configs : Fintype.card ParityVector = 512 := by
  simp only [ParityVector]
  rw [Fintype.card_pi]
  simp only [Finset.prod_const, Finset.card_univ, ZMod.card]
  rw [parity_count_eq_nine]
  norm_num

/-- **THEOREM**: All nine parities flip under conjugation + tick reversal. -/
theorem parities_flip_under_tick_reversal (v : ParityVector) (p : ParityIndex) :
    tickReversalConjugate v p ≠ v p := by
  simp only [tickReversalConjugate]
  -- In ZMod 2, x + 1 ≠ x because 1 ≠ 0 in ZMod 2
  intro h
  have h2 : v p + 1 - v p = v p - v p := congr_arg (· - v p) h
  simp at h2

/-- **THEOREM**: The scalar vacuum page has all parities vanishing.
    This is the unique ℤ₂-even configuration: the vacuum carries no
    charge, no color, no generation mixing, and is tick-symmetric. -/
theorem vacuum_parities_vanish (p : ParityIndex) :
    vacuumParity p = 0 := by
  simp [vacuumParity]

/-- **THEOREM (Independence)**: The nine basis parity vectors are pairwise distinct,
    forming a basis for the ℤ₂⁹ parity space.
    This means the nine parities are algebraically independent over ℤ₂. -/
theorem parity_independence :
    ∀ i j : ParityIndex, i ≠ j → basisVector i ≠ basisVector j :=
  fun i j hij => basisVectors_distinct i j hij

What this page does not claim

The parities are derived from the fundamental cost function; they are defined as a structure within the framework. The framework predicts any specific particle spectrum or mass values from the parity structure alone. The number 9 is derived from first principles; it is a consequence of the defined parity index type.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Foundation/NineParities.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: