strategies_agree
plain-language theorem explainer
The nucleosynthesis-derived mass-to-light ratio equals the stellar assembly mass-to-light ratio, both reducing to the golden ratio φ. Astrophysicists using Recognition Science models would cite this equality to confirm that the φ-tier nuclear density and photon flux calculations match the stellar assembly derivation. The proof is a one-line rewrite applying the two equality lemmas for each side followed by reflexivity.
Claim. The nucleosynthesis-derived mass-to-light ratio equals the stellar assembly mass-to-light ratio: $M/L_{nuc} = M/L_{stellar}$.
background
The module derives the mass-to-light ratio from the discrete φ-tier structure of nuclear densities and photon fluxes. Nuclear density scales as φ to an integer power times the Planck density while luminosity scales similarly, so their ratio is φ raised to the tier difference Δn. The eight-tick cycle forces this difference to be an integer, yielding M/L in the set {φ^n : n ∈ [0,3]} with typical value φ^1. Upstream, ml_nucleosynthesis is defined as phi_ladder applied to tier_difference and proved equal to φ; ml_stellar is defined as φ raised to characteristic_tier_scaffold and likewise proved equal to φ.
proof idea
One-line wrapper that applies the equality theorems ml_nucleosynthesis_eq_phi and ml_stellar_value then reflexivity.
why it matters
This equality confirms the module's main result that the nucleosynthesis M/L matches the stellar assembly value, both φ. It closes the consistency check between the two strategies inside the φ-ladder and eight-tick quantization framework. No downstream uses are recorded yet, but the result directly supports the claim that M/L ∈ {φ^n : n ∈ [0,3]} in solar units.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.