pith. sign in
module module high

IndisputableMonolith.Foundation.HierarchyDissolution

show as:
view Lean formalization →

This module establishes that fermion mass ratios in Recognition Science are geometric powers of the golden ratio φ rather than free parameters. It supplies the structural basis for dissolving the hierarchy problem by linking masses to the φ-ladder. Researchers addressing electroweak symmetry breaking or mass spectra would cite the module. It organizes the argument by importing and exposing results from PhiForcing and MassHierarchy.

claimFermion mass ratios satisfy $m_f / m_{f'} = \phi^n$ for integer $n$, where $\phi$ is the self-similar fixed point forced by J-cost. This geometric structure dissolves the hierarchy problem by removing arbitrary mass parameters.

background

The module imports Constants (defining the RS time quantum $ au_0 = 1$ tick), PhiForcing (proving $\phi$ is forced by self-similarity in a discrete ledger with J-cost), and MassHierarchy (formalizing P-002 on the fermion mass hierarchy from the $\phi$-ladder). The local theoretical setting is the foundation layer where mass ratios become geometric consequences of the forcing chain rather than inputs. Upstream PhiForcing supplies the self-similar ledger argument that MassHierarchy then applies to masses.

proof idea

This is a definition module, no proofs. It aggregates sibling declarations (mass_ratio_geometric, hierarchy_problem_dissolves, hierarchy_dissolution_implies_rung_law, mass_independent_of_cutoff) that expose the geometric structure imported from MassHierarchy and PhiForcing.

why it matters in Recognition Science

This module feeds ElectroweakScaleStructure (E-004 on the electroweak scale). It supplies the structural basis for hierarchy dissolution stated in its doc-comment, connecting the $\phi$-ladder of MassHierarchy to QFT questions. It closes the link from T5-T6 forcing to observable mass spectra.

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)