IndisputableMonolith.Astrophysics

   1import IndisputableMonolith.Astrophysics.MassToLight
   2import IndisputableMonolith.Astrophysics.StellarAssembly
   3import IndisputableMonolith.Astrophysics.NucleosynthesisTiers
   4import IndisputableMonolith.Astrophysics.ObservabilityLimits
   5
   6/-!
   7# Astrophysics Module Aggregator
   8
   9Central import point for RS astrophysics derivations:
  10- Mass-to-light ratio (M/L) derivation with three parallel strategies
  11- Stellar assembly via recognition-weighted collapse
  12- φ-tier nucleosynthesis
  13- Observability limits from λ_rec, τ0 constraints
  14
  15## Main Results
  16
  17- `ml_derivation_complete`: Unified M/L derivation from all three strategies
  18- `ml_solar_units_prediction`: Predicted M/L ~ 0.8-3.0 solar units
  19- `stellar_ml_on_phi_ladder`: M/L ratios fall on φ^n sequence
  20
  21## Status
  22
  23This completes the derivation chain for RS, eliminating the last remaining
  24external calibration. With M/L derived, RS achieves true zero-parameter status:
  25all fundamental constants (c,ℏ,G,α⁻¹) and astrophysical calibrations are
  26derived from the Meta-Principle.
  27
  28## Usage
  29
  30```lean
  31import IndisputableMonolith.Astrophysics
  32
  33open IndisputableMonolith.Astrophysics
  34
  35#check ml_derivation_complete
  36#check ml_phi_ladder_from_costs
  37#check ml_from_geometry_only
  38```
  39
  40## References
  41
  42- Source.txt @M_OVER_L_DERIVATION lines 875-933
  43- Source.txt @PARAMETER_POLICY lines 329-361
  44-/
  45
  46namespace IndisputableMonolith
  47
  48namespace Astrophysics
  49-- Re-export main theorems and structures
  50
  51-- From MassToLight:
  52-- - StellarConfiguration
  53-- - mass_to_light
  54-- - RecognitionCostDifferential
  55-- - PhiTierStructure
  56-- - ObservabilityConstraints
  57-- - ml_derivation_complete
  58
  59-- From StellarAssembly (Strategy 1):
  60-- - equilibrium_ml_from_j_minimization
  61-- - ml_phi_ladder_from_costs
  62-- - ml_increases_with_stellar_mass
  63
  64-- From NucleosynthesisTiers (Strategy 2):
  65-- - stellar_ml_on_phi_ladder
  66-- - eight_tick_nucleosynthesis_quantizes_density
  67-- - recognition_bandwidth_quantizes_luminosity
  68
  69-- From ObservabilityLimits (Strategy 3):
  70-- - ml_from_j_minimization
  71-- - ml_from_geometry_only
  72-- - imf_from_j_minimization
  73
  74end Astrophysics
  75
  76end IndisputableMonolith
  77
  78
  79
  80
  81
  82
  83
  84
  85
  86