IndisputableMonolith.Astrophysics.MassToLight
The MassToLight module derives the stellar mass-to-light ratio as the golden ratio φ in solar units via three independent routes. Astrophysicists testing Recognition Science predictions against stellar populations would cite it for its zero-parameter status. The module aggregates results from StellarAssembly, NucleosynthesisTiers, and ObservabilityLimits, with algebraic closure supplied by phi lemmas.
claimThe characteristic mass-to-light ratio satisfies $M/L = φ$ in solar units, where $φ = (1 + √5)/2$, obtained from J-cost weighting of photon emission versus mass storage, from φ-tier nuclear and photon fluxes, and from geometric constraints set by recognition length λ_rec and tick τ₀.
background
Recognition Science places physical quantities on discrete φ-tiers. StellarAssembly derives M/L from the recognition cost differential between photon emission and mass storage during stellar collapse. NucleosynthesisTiers derives it from the discrete φ-tier structure of nuclear densities and photon fluxes. ObservabilityLimits derives it from constraints imposed by λ_rec and τ₀. Constants supplies τ₀ = 1 tick; PhiSupport.Lemmas supplies the identities φ² = φ + 1 and the uniqueness of the positive root of x² = x + 1.
proof idea
This is a definition module that imports the three strategy modules and aggregates their results into ml_derived and related quantities. It contains no internal proofs; agreement among the three routes is established in sibling declarations such as three_strategies_agree and H_ThreeStrategiesAgree.
why it matters in Recognition Science
The module supplies the M/L derivation that feeds the central Astrophysics aggregator and the ChandrasekharMassStructure module. It fills the astrophysical tests section of the manuscript by showing convergence on φ from three routes. The result anchors mass-scale predictions in the RS ladder and supplies the falsifier that observed M/L must lie on the φ-ladder within measurement uncertainty.
scope and limits
- Does not derive M/L for non-stellar or galactic-scale systems.
- Does not incorporate external mass contributions such as dark matter.
- Does not predict wavelength-dependent or time-evolving variations.
- Does not address systems outside the RS-native unit conventions.
used by (2)
depends on (5)
declarations in this module (14)
-
def
J_bit -
def
ml_derived -
theorem
ml_derived_value -
def
H_ThreeStrategiesAgree -
theorem
three_strategies_agree -
theorem
phi_in_observed_range -
theorem
phi_bounds -
theorem
ml_in_observed_range -
theorem
ml_derivation_complete -
def
AllConstantsDerived -
def
H_RSZeroParameterStatus -
theorem
rs_zero_parameter_status -
theorem
ml_derivation_falsifiable -
def
ml_summary