Masses Mass Genesis Phi Rung Quantization Phi Rung Quantized Of Persistent

The persistent rung

In the Recognition Science framework, a ledger, a discrete record of events, tracks the structure of physical patterns. A persistent light pattern is one that remains stable and closed under the framework's evolution rule. The theorem phiRungQuantized_of_persistent establishes that every such persistent pattern carries an integer rung, a topology-derived label that quantizes the pattern's scale.

The rung is not arbitrary. The framework proves that any closed additive geometric scale sequence forces its ratio to be the golden ratio φ, the number satisfying r² = r + 1, approximately 1.618. For a persistent pattern, the rung scale is exactly φ raised to that integer rung. Stepping the rung by one multiplies the scale by φ. This quantization is invariant under the framework's evolution: evolving a pattern by any number of steps leaves its rung scale unchanged.

The theorem is deliberately narrow. It does not assert that any particle's rest mass equals a predicted value. That equality remains a separate, later stage of the framework. The rung quantization is a structural fact about stable patterns and their scales, independent of empirical mass data and of any particular particle sector.

What this establishes is a clean separation: the discrete, integer-valued rung comes from topology and stability, and the golden-ratio scaling follows from closure. The framework's library, a machine-checked collection of formal theorems, records this as a proved result. The payoff is a concrete picture: persistent structures in this framework do not have arbitrary sizes; their scales snap to a φ-power ladder indexed by an integer.

theorem phiRungQuantized_of_persistent
    (Ψ : PersistentLightPattern Λ) :
    PhiRungQuantized Ψ.pattern :=
  phiRungQuantized_of_stable Ψ.pattern Ψ.stable

theorem closedPatternScale_ratio_eq_phi
    {ψ : LightPattern Λ} (S : ClosedPatternScale ψ) :
    S.sequence.ratio = Constants.phi :=
  Foundation.PhiForcingDerived.closed_ratio_is_phi S.sequence S.closed

/-- A one-rung topology step multiplies the rung scale by `phi`. -/
theorem phiRungScale_step
    (ψ χ : LightPattern Λ)
    (hstep : rungOf χ = rungOf ψ + 1) :
    phiRungScale χ = Constants.phi * phiRungScale ψ := by
  unfold phiRungScale
  rw [hstep]
  calc
    Constants.phi ^ (rungOf ψ + 1)
        = Constants.phi ^ (rungOf ψ) * Constants.phi ^ (1 : ℤ) := by
            rw [zpow_add₀ Constants.phi_ne_zero]
    _ = Constants.phi ^ (rungOf ψ) * Constants.phi := by
            simp
    _ = Constants.phi * Constants.phi ^ (rungOf ψ) := by
            ring

theorem phiRungScale_evolvePattern
    (ψ : LightPattern Λ) (k : ℕ) :
    phiRungScale (evolvePattern k ψ) = phiRungScale ψ := by
  rfl

What this page does not claim

This theorem does not prove that any rest mass equals a predicted mass value. It does not claim that all light patterns, only stable and persistent ones, carry a rung. It does not assert that the golden ratio arises from any scale sequence, only from closed additive geometric ones.

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