upsilon_star
plain-language theorem explainer
Galaxy modelers cite the definition of the stellar mass-to-light ratio Υ★ as equal to the golden ratio φ when fitting Recognition Science gravity models to galactic observations. The module lists Υ★ among seven parameters derived from φ, with this entry marked as a direct convention. The declaration is a one-line abbreviation that assigns the symbol to the constant phi, enabling immediate application in bounds and positivity results.
Claim. The stellar mass-to-light ratio is defined by the equation $Υ_★ := φ$, where $φ$ denotes the golden ratio.
background
Recognition Science derives galactic gravity parameters from the golden ratio φ. The module GravityParameters tabulates seven parameters with Υ★ listed as DERIVED via the formula φ, serving as a convention that links to the proven a0_phi_ladder_formula axiom. Phi itself enters as the self-similar fixed point from the unified forcing chain.
proof idea
The declaration is a one-line definition that assigns upsilon_star directly to phi.
why it matters
This definition supplies the value of Υ★ for the theorems upsilon_star_bounds, upsilon_star_bounds_implies_pos, and upsilon_star_eq_phi. It completes the DERIVED entry for Υ★ in the seven-parameters table of the module documentation and anchors the RS-native convention for stellar mass-to-light ratios. It rests on T6, where phi is forced as the self-similar fixed point.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.