ml_nucleosynthesis
plain-language theorem explainer
The nucleosynthesis-derived mass-to-light ratio equals the golden-ratio ladder evaluated at the difference between nuclear and luminosity tiers. Researchers assembling the three-strategy M/L consistency proof in Recognition Science cite this definition when linking nucleosynthesis to the derived value φ. It is realized as a direct abbreviation that applies the phi-ladder function to the precomputed tier difference.
Claim. The nucleosynthesis mass-to-light ratio is given by $M/L = φ^{Δn}$, where $Δn$ is the integer difference between the nuclear density tier and the photon luminosity tier.
background
In the NucleosynthesisTiers module, physical quantities occupy discrete φ-tiers: nuclear density scales as φ to the nuclear tier times Planck density, while photon luminosity scales as φ to the photon tier times the unit luminosity. The mass-to-light ratio then reduces to φ raised to the tier difference Δn. The upstream phi_ladder definition supplies the function φ^n for any tier n, and tier_difference computes Δn explicitly as nuclear_tier_local minus luminosity_tier_local. This construction sits inside the eight-tick nucleosynthesis framework that forces integer tier steps from the foundational forcing chain.
proof idea
One-line wrapper that applies the phi_ladder function directly to the tier_difference value.
why it matters
This definition supplies the nucleosynthesis leg of the three-strategy M/L derivation. It feeds ml_derivation_complete, which asserts equality to the derived value φ, and H_ThreeStrategiesAgree. It realizes the main result that M/L lies in {φ^n for n in [0,3]} with typical value φ^1, consistent with the eight-tick octave and φ-ladder structure from the foundational forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.