Masses Mass Genesis Phi Rung Quantization Phi Rung Scale Step

The rung step

The golden ratio φ, about 1.618, is the number that solves r² = r + 1. It appears throughout mathematics and nature: in the regular pentagon, in the Fibonacci sequence, and as the limit of ratios of successive terms. In the Recognition Science framework, the golden ratio takes on a specific physical role: it is the universal ratio forced by any closed, discrete scale sequence attached to a stable pattern. This is a proved theorem in the framework's machine-checked library of formal theorems, independent of any particular particle sector or empirical mass data.

Within the framework, a ledger, a discrete record of events, tracks the scale of a stable light pattern. Each stable pattern gets an integer rung, a topology-derived label, and its associated rung scale is the golden ratio raised to that integer power. The theorem phiRungScale_step states that if one pattern's rung is exactly one more than another's, then its rung scale is φ times the other's. In plain terms: climbing one rung on the ladder multiplies the characteristic scale by the golden ratio, not by some arbitrary factor.

This theorem is a statement about the rung scale, the topology-derived quantity, not about rest mass itself. The framework's library explicitly separates this layer from the final mass-law equality. The theorem does not prove that a particle's rest mass equals the mass-law prediction; that remains a separate, later step in the framework's development. The rung scale is also invariant under the framework's concrete evolution of the pattern, meaning the scale does not change as the pattern evolves over time, a property proved in a companion theorem.

What this means for a reader is that the framework has a precise, machine-checked account of why the golden ratio appears in its mass ladder: it is forced by the closure of the scale sequence, and each step in the topology rung multiplies the scale by exactly φ. The theorem is a clean structural result about the ladder itself, before any comparison to measured particle masses is made. The comparison to measured masses is a separate empirical check, not part of this theorem.

/-- 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 closedPatternScale_ratio_eq_phi
    {ψ : LightPattern Λ} (S : ClosedPatternScale ψ) :
    S.sequence.ratio = Constants.phi :=
  Foundation.PhiForcingDerived.closed_ratio_is_phi S.sequence S.closed

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

What this page does not claim

This theorem does not prove that any particle's rest mass equals a predicted value. The theorem does not identify which specific particle corresponds to which rung. The theorem does not derive the fine-structure constant or any other coupling constant.

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: