Masses Mass Genesis Topology To Sector Canonical First Generation Z Values

The Z-value triple

In the Standard Model of particle physics, the first generation of matter consists of three particles: the electron, the up quark, and the down quark. Each carries a set of quantum numbers that distinguish it from the others. The Recognition Science framework models these particles as patterns in a discrete ledger, a record of recognition events, and asks what numbers can be extracted from the pattern's topology, the shape of its connections, without any additional input.

The declaration canonical_first_generation_Z_values is a theorem in the framework's machine-checked library of formal theorems. It states that for the canonical topologies chosen to represent the electron, up quark, and down quark, a quantity called Z takes the values 1332, 276, and 24, respectively. The Z value is computed from the pattern's charge skew, a measure of its charge asymmetry, and its loop rank, a count of its internal loops. For the electron, Z is the sum of the second and fourth powers of the charge skew. For the quarks, Z adds the loop rank, which is 4 in both cases, to that same sum.

The theorem does more than compute three numbers. It also proves that these Z values are invariant under the pattern's evolution, meaning they do not change as the pattern is transformed over time. In addition, it shows that the sector, rung, and Z labels are all derived from the primitive topology of the pattern, not from any stored fields. This establishes a clean separation: the topology is the source of truth, and the labels are merely read off from it.

In Recognition Science, this Z value is a rung on a ladder that leads to particle masses. The framework's larger project is to show that mass is not a free parameter but is forced by the same cost function that governs recognition. The Z value is one step in that derivation, a number that is computed from the pattern's shape. However, the theorem itself does not connect Z to any measured mass. It does not state that Z equals a mass in kilograms or electronvolts, nor does it compare these numbers to the Particle Data Group's measured values. The final identity that would link Z to the mass law remains unproved.

What this theorem establishes is a consistent, machine-checked assignment of three numbers to the three first-generation particles. It is a piece of the framework's internal architecture, a certified calculation that the rest of the mass-genesis story can build upon. The numbers themselves are not predictions of physical masses; they are predictions about the framework's own pattern language, waiting for the next theorem to give them physical meaning.

theorem canonical_first_generation_Z_values :
    ZFromTopology (canonicalLeptonTopology (-6) 1 0 1) = 1332 ∧
    ZFromTopology (canonicalUpTopology 4 3 0 1) = 276 ∧
    ZFromTopology (canonicalDownTopology (-2) 3 0 1) = 24 :=
  ⟨canonical_lepton_Z, canonical_up_Z, canonical_down_Z⟩

theorem canonical_first_generation_Z_values :
    ZFromTopology (canonicalLeptonTopology (-6) 1 0 1) = 1332 ∧
    ZFromTopology (canonicalUpTopology 4 3 0 1) = 276 ∧
    ZFromTopology (canonicalDownTopology (-2) 3 0 1) = 24 :=
  ⟨canonical_lepton_Z, canonical_up_Z, canonical_down_Z⟩

theorem ZFromTopology_lepton
    (T : PatternTopology) (h : sectorFromTopology T = Anchor.Sector.Lepton) :
    ZFromTopology T =
      T.chargeSkew ^ (2 : ℕ) + T.chargeSkew ^ (4 : ℕ) := by
  unfold ZFromTopology
  rw [h]

theorem ZFromTopology_colored
    (T : PatternTopology)
    (h : sectorFromTopology T = Anchor.Sector.UpQuark ∨
         sectorFromTopology T = Anchor.Sector.DownQuark) :
    ZFromTopology T =
      (T.q3LoopRank : ℤ) +
        T.chargeSkew ^ (2 : ℕ) + T.chargeSkew ^ (4 : ℕ) := by
  unfold ZFromTopology
  rcases h with h | h <;> rw [h]

theorem derived_labels_evolvePattern
    (ψ : LightPattern Λ) (k : ℕ) :
    sectorOf (evolvePattern k ψ) = sectorOf ψ ∧
    rungOf (evolvePattern k ψ) = rungOf ψ ∧
    ZOf (evolvePattern k ψ) = ZOf ψ := by
  exact ⟨rfl, rfl, rfl⟩

theorem sectorOf_eq_sectorFromTopology (ψ : LightPattern Λ) :
    sectorOf ψ = sectorFromTopology ψ.topology := rfl

theorem rungOf_eq_rungFromTopology (ψ : LightPattern Λ) :
    rungOf ψ = rungFromTopology ψ.topology := rfl

theorem ZOf_eq_ZFromTopology (ψ : LightPattern Λ) :
    ZOf ψ = ZFromTopology ψ.topology := rfl

What this page does not claim

The Z values are not measured particle masses and are not compared to any experimental data. The theorem does not prove the final identity that would link Z to the mass law. The canonical topologies are a definitional choice, not a derivation from first principles.

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/Masses/MassGenesis/TopologyToSector.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: