pith. machine review for the scientific record. sign in
structure definition def or abbrev

via

show as:
view Lean formalization →

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

generate prose now

formal statement (Lean)

  20structure via recognition-weighted stellar assembly.
  21
  22### Three Derivation Strategies
  23
  241. **Recognition Cost Weighting**: Stars form where recognition cost is
  25   minimized. The φ-weighted integration over stellar mass functions gives
  26   M/L = φⁿ for some integer n.
  27
  282. **Ledger Budget Constraint**: Total recognition events are conserved.
  29   The ratio of mass-bearing to light-emitting events is fixed by the
  30   ledger topology.
  31
  323. **Curvature Partition**: The 8-tick cycle partitions between mass
  33   accumulation and photon emission phases. The ratio emerges from the
  34   phase fractions.
  35
  36### The Key Insight
  37
  38The observed M/L ≈ 100-500 matches the powers φ¹⁰ ≈ 123 to φ¹³ ≈ 521.
  39
  40## Physical Interpretation
  41
  42M/L being a power of φ is analogous to:
  43- Fine structure constant involving π and φ
  44- Particle masses following φ-weighted sequences
  45- All dimensionless ratios in RS are algebraic in φ
  46-/
  47
  48namespace IndisputableMonolith
  49namespace Derivations
  50namespace MassToLight
  51
  52open Real
  53
  54/-! ## Golden Ratio Powers -/
  55
  56/-- The golden ratio φ. -/

used by (40)

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

… and 10 more

depends on (28)

Lean names referenced from this declaration's body.