ml_derived
plain-language theorem explainer
The derived stellar mass-to-light ratio in solar units is defined to equal the golden ratio φ. Researchers deriving zero-parameter astrophysical predictions would cite this as the fixed endpoint of the three-strategy chain. The definition is a direct assignment from the Constants module.
Claim. The derived mass-to-light ratio in solar units equals the golden ratio $φ$.
background
This module derives the stellar mass-to-light ratio from Recognition Science without external calibration. Three strategies converge on the same value: J-cost weighting in StellarAssembly, φ-tier nuclear and photon fluxes in NucleosynthesisTiers, and geometric constraints from λ_rec, τ₀, E_coh in ObservabilityLimits. The module states that all three yield M/L = φ ≈ 1.618 solar units, with valid range {φ^n : n ∈ {0,1,2,3}} matching observed stellar values in [0.5, 5]. Upstream, NucleosynthesisTiers.of supplies the structure of nuclear densities and photon fluxes occupying discrete φ-tiers, while Constants bundles the CPM constants including the golden ratio.
proof idea
One-line definition that directly assigns the value of Constants.phi.
why it matters
This definition supplies the fixed M/L value required by the Chandrasekhar mass structure theorems (chandrasekhar_implies_ml_lower and chandrasekhar_implies_ml_upper) and by ml_derivation_complete. It advances the module's claim that Recognition Science reaches true zero-parameter status once M/L is derived from the ledger. The result closes the last external astrophysical input and feeds the hypothesis H_RSZeroParameterStatus.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.