H_ThreeStrategiesAgree
plain-language theorem explainer
The definition asserts that the mass-to-light ratios from stellar assembly, nucleosynthesis tiers, and geometric observability all coincide with the derived value. Researchers closing the astrophysical calibration loop in Recognition Science would cite it to confirm convergence on the golden ratio. It is realized as the direct conjunction of the three strategy-specific equalities.
Claim. The proposition that the stellar-assembly mass-to-light ratio equals the nucleosynthesis-derived ratio, which equals the geometric-observability ratio, which equals the derived mass-to-light ratio.
background
The Mass-to-Light module derives the stellar mass-to-light ratio from Recognition Science without external calibration. StellarAssembly.ml_stellar obtains it via J-cost weighting of photon emission versus mass storage. NucleosynthesisTiers.ml_nucleosynthesis places nuclear densities and photon fluxes on discrete phi-tiers. ObservabilityLimits.ml_geometric enforces constraints from recognition wavelength, coherence time, and energy. The upstream ml_derived identifies the common outcome with Constants.phi.
proof idea
The definition is the conjunction of three equalities between the strategy-specific functions and ml_derived. Each upstream definition evaluates to Constants.phi, so the conjunction holds once those definitions are supplied.
why it matters
This definition supplies the hypothesis discharged by the theorem three_strategies_agree. It completes the mass-to-light derivation and supports the claim of true zero-parameter status, with all astrophysical inputs now obtained from the ledger and phi-ladder structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.