IndisputableMonolith.Astrophysics.MassToLight
The MassToLight module derives the characteristic mass-to-light ratio as the golden ratio φ in solar units. Astrophysicists testing Recognition Science against stellar and galactic observations would cite it for the predicted value. The module aggregates three independent strategies from StellarAssembly, NucleosynthesisTiers, and ObservabilityLimits, each converging on the same φ outcome via J-cost, tier structure, and geometric bounds.
claimThe derived 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, φ-tier nuclear and photon fluxes, and observability constraints from recognition length λ_rec and tick τ₀.
background
This module operates in the astrophysics domain of Recognition Science. It imports Constants for the fundamental time quantum τ₀ = 1 tick and PhiSupport.Lemmas for the golden-ratio identities φ² = φ + 1 and the positive root uniqueness of x² = x + 1. The three upstream modules supply the derivations: StellarAssembly weights photon emission against mass storage via recognition cost J during collapse; NucleosynthesisTiers places nuclear densities and photon fluxes on discrete φ-tiers; ObservabilityLimits enforces geometric constraints from λ_rec, τ₀, and coherence energy E_coh.
proof idea
This is a definition module, no proofs. It collects the three parallel derivation strategies from the imported modules and states the resulting M/L = φ value together with the agreement theorem H_ThreeStrategiesAgree.
why it matters in Recognition Science
The module supplies the M/L anchor to the parent Astrophysics aggregator and to ChandrasekharMassStructure for positive finite mass-scale anchors in the RS ladder. It implements the astrophysical test in the LaTeX Manuscript, Chapter Astrophysical Tests, Section M/L Derivation. It supports the zero-parameter status of RS by deriving the ratio without free parameters and touches the falsifier that observed M/L must lie on the φ-ladder within measurement uncertainty.
scope and limits
- Does not include direct comparison to specific observational catalogs or datasets.
- Does not derive the golden ratio identities, relying on PhiSupport.Lemmas.
- Does not address time-dependent evolution of M/L beyond the characteristic value.
- Does not extend the derivation to non-stellar or non-observable systems.
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