def definition def or abbrev

`massHierarchyPattern`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 120def massHierarchyPattern : String :=

proof body

Definition body.

 121  "Masses scale as φ^n for generation-dependent n"
 122
 123/-- **THEOREM (Hierarchy from φ-ladder)**: Each generation sits on a different
 124    rung of the φ-ladder, giving exponential mass ratios. -/

depends on (14)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
rung in IndisputableMonolith.Compat.Constants decl_use
scale in IndisputableMonolith.Cosmology.LargeScaleStructureFromRS decl_use
rung in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
as in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
rung in IndisputableMonolith.Masses.AnchorPolicy decl_use
rung in IndisputableMonolith.Masses.RSBridge.Anchor decl_use
rung in IndisputableMonolith.RSBridge.Anchor decl_use