pith. sign in
module module high

IndisputableMonolith.Foundation.HierarchyDissolution

show as:
view Lean formalization →

RS fermion mass ratios scale as integer powers of the golden ratio φ. This module dissolves the hierarchy problem by showing the ratios follow from the φ-ladder rather than free parameters. It composes the self-similar fixed point from PhiForcing with the rung scaling in MassHierarchy. The structure is assembled by direct import and re-export of those results.

claimFermion mass ratios obey $m_i/m_j=φ^k$ for integer $k$, where $φ$ is the golden ratio fixed point of the J-cost self-similarity relation $J(xy)+J(x/y)=2J(x)J(y)+2J(x)+2J(y)$.

background

Recognition Science derives all structure from a discrete ledger carrying J-cost, with base time quantum τ₀=1 tick fixed in Constants. The upstream PhiForcing module shows that self-similarity on this ledger forces φ as the unique fixed point satisfying the J-cost composition law. MassHierarchy then places fermion masses on the φ-ladder, with each rung contributing a factor of φ and a gap term for each generation Z.

proof idea

This is a module that imports Constants, PhiForcing, and MassHierarchy. It defines mass_ratio_geometric directly from the ladder scaling and hierarchy_problem_dissolves as the statement that cutoff dependence vanishes once ratios are geometric. No new tactics or reductions; the module simply aggregates and names the consequences.

why it matters in Recognition Science

The module supplies the structural premise for E-004 in QFT.ElectroweakScaleStructure. By grounding mass ratios in the φ-ladder it removes the hierarchy problem from the list of free parameters, closing the link from the T5-T6 forcing chain through P-002 to the electroweak scale.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (3)

Lean names referenced from this declaration's body.

declarations in this module (4)