upsilon_star_eq_phi
plain-language theorem explainer
The stellar mass-to-light ratio Υ★ is set equal to the golden ratio φ as a derived convention in Recognition Science gravity models. Galactic dynamics researchers would cite this when fixing stellar population calibrations in rotation curve fits. The proof reduces to a single reflexivity step from the direct definition of upsilon_star.
Claim. The stellar mass-to-light ratio satisfies $Υ^★ = φ$.
background
The Gravity Parameters module classifies seven phenomenological inputs for galactic gravity. Υ★ appears in the derived column with explicit formula φ, listed as a convention rather than an observational fit. The upstream definition states that upsilon_star is the RS-derived stellar mass-to-light ratio and sets it directly to phi.
proof idea
The proof is a one-line reflexivity wrapper that matches the definition upsilon_star := phi.
why it matters
This equality completes the DERIVED row for Υ★ in the seven-parameter table of the Gravity Parameters module. It anchors the stellar calibration to the self-similar fixed point φ from the forcing chain. No downstream theorems currently reference it, leaving its insertion into broader galactic models as an open integration step.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.