Masses Mass Genesis Theorem Statement

The mass genesis target

In physics, mass is a property of matter that resists acceleration and causes gravitational attraction. The mass genesis theorem in Recognition Science is a statement about how these properties arise from a more basic structure. The statement does not claim to have finished the derivation. It fixes the exact target that a future proof must hit, and it defines the vocabulary needed to state that target.

The central object is a light pattern, a discrete record of events on a finite set of points, each point carrying a photon window and a topology. The statement defines a rest mass for such a pattern: it is zero unless the pattern is stable and closed, and otherwise it equals a sum of squared norms over the pattern's support. A stable closed light pattern is one with localized support, a nontrivial neutral load, and a closed orbit under an eight-tick cycle. The statement proves that a null propagating mode, one that is localized but not closed, always has zero rest mass.

The statement also defines a predicted mass from a separate law, MassLaw.predict_mass, which takes a sector, a rung, and a Z value. A theorem states that this predicted mass equals the mass law's prediction by definition, and another proves the predicted mass is always positive. The rung is computed from the topology's spin class, generation torsion, and active edges, and the rung scale is the golden ratio raised to that rung. This connects the mass ladder to the golden ratio, but only as a definitional scaling, not as a proved derivation.

The full theorem statement, MassGenesisTheoremFor, asserts that for every light pattern, a readout of inertial and gravitational mass matches the rest mass. This is a universal claim over all patterns. The statement also defines a certificate structure, a surface of properties that a proof must satisfy, and an admissible covers stable condition. These are the hard fields that remain to be proved from the framework's foundations: the J cost function, Rhat stability, Q3 topology, eight-tick closure, phi forcing, and light-state load.

In plain language, the statement builds the precise target of what it would mean for mass to emerge from patterns of light-like events. It does not yet show that this happens. The work of proving the certificate fields bottom-up is open. The contribution is to make the target exact, so that a future proof has a clear goal and a clear set of conditions to satisfy.

/-- Rest mass is the integrated invariant load only for stable closed
patterns. Open/null light has zero rest mass in this surface. -/
noncomputable def restMass (ψ : LightPattern Λ) : ℝ := by
  classical
  exact if StableClosedLightPattern ψ then integratedMeaningLoad ψ else 0

theorem predictedMass_eq_massLaw_predict_mass (ψ : LightPattern Λ) :
    predictedMass ψ =
      MassLaw.predict_mass (sectorOf ψ) (rungOf ψ) (ZOf ψ) := rfl

theorem predictedMass_pos (ψ : LightPattern Λ) :
    0 < predictedMass ψ :=
  MassLaw.predict_mass_pos (sectorOf ψ) (rungOf ψ) (ZOf ψ)

theorem restMass_eq_zero_of_null
    (ψ : LightPattern Λ) (hψ : NullPropagatingMode ψ) :
    restMass ψ = 0 :=
  restMass_eq_zero_of_not_stable ψ (not_stable_of_null ψ hψ)

What this page does not claim

The mass genesis theorem is not proved in this statement. The predicted mass is not shown to match any measured particle mass. The golden ratio scaling is a definition, not a derived result.

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/TheoremStatement.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: