Masses Mass Genesis Phi Rung Quantization

The phi rung

The golden ratio, φ, is the number that solves r² = r + 1, roughly 1.618. It appears throughout classical mathematics: in the regular pentagon, in the Fibonacci sequence, and in the continued fraction [1; 1, 1, ...]. In the Recognition Science framework, φ plays a specific structural role: it is the ratio between successive rungs of a discrete scale ladder attached to stable light patterns.

A light pattern here is a ledger object, a discrete record of recognition events. A stable closed light pattern is one whose record is closed under the framework's evolution rule. The module MassGenesis separates the scale ladder from the mass formula itself. It proves that any closed additive geometric scale sequence attached to a stable pattern must have ratio φ. This is a theorem in the machine-checked library of formal theorems: the ratio is forced by the closure condition, independent of the particle sector and of any empirical mass data.

The rung scale is the φ power corresponding to a topology-derived integer rung. The module proves this rung scale is positive, that stable patterns are quantized, and that the scale is invariant under the concrete evolution rule: stepping the pattern forward in time by any number of steps leaves the rung scale unchanged. A one-rung topology step multiplies the rung scale by φ. So the ladder is rigid: the ratio between adjacent rungs is always φ, and the rung index is an integer.

The mass-law expansion is kept separate from the rest-mass equality. The prediction formula unfolds to a product of a sector yardstick and a φ power, but this is only the old formula evaluated on pattern labels. The module does not prove that the invariant load equals that prediction; that remains an open target in the framework's development.

What this establishes in plain language: stable patterns in this framework sit on a fixed geometric ladder with ratio φ, and the rung index is a discrete integer. The scale of a pattern is determined by its topology rung, and that scale is preserved under evolution. The framework models mass as a φ-power ladder, with the rung quantization as a proved structural fact, separate from the empirical comparison against measured particle masses.

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

/-- The universal ratio forced by a closed pattern scale is independent of
the particle sector and of empirical mass data. -/
theorem closedPatternScale_forces_universal_phi
    {ψ χ : LightPattern Λ}
    (Sψ : ClosedPatternScale ψ) (Sχ : ClosedPatternScale χ) :
    Sψ.sequence.ratio = Sχ.sequence.ratio := by
  rw [closedPatternScale_ratio_eq_phi Sψ,
      closedPatternScale_ratio_eq_phi Sχ]

theorem phiRungScale_pos (ψ : LightPattern Λ) :
    0 < phiRungScale ψ := by
  unfold phiRungScale
  exact zpow_pos Constants.phi_pos (rungOf ψ)

theorem phiRungQuantized_of_stable
    (ψ : LightPattern Λ) (_hψ : StableClosedLightPattern ψ) :
    PhiRungQuantized ψ :=
  ⟨rungOf ψ, rfl, rfl⟩

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

/-- 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

What this page does not claim

The module does not prove that rest mass equals the predicted mass; that remains open as M7. The rung quantization is a structural theorem about the framework's ledger objects, not a derivation of any specific particle mass value. The phi ratio is forced by closure for geometric scale sequences, not by the composition law alone.

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: