H_StellarML
plain-language theorem explainer
The definition introduces the hypothesis that the stellar mass-to-light ratio equals the golden ratio phi. Researchers modeling stellar populations under Recognition Science would cite this when testing galactic survey data against the phi-ladder. It is introduced as a direct equality assignment drawn from the recognition cost balance in stellar collapse.
Claim. $H_{StellarML}$ is the proposition that the stellar mass-to-light ratio $ml_{stellar}$ equals $phi$, where $phi$ is the golden ratio fixed by the self-similar recognition structure.
background
The StellarAssembly module models stellar collapse by balancing recognition costs for photon emission and mass storage. Emission carries cost $J(r_{emit})$ and storage carries $J(r_{store})$, with the convex cost function $J(x) = 1/2(x + 1/x) - 1$. Equilibrium sets the differential to an integer multiple of the bit cost, placing the ratio on the phi-ladder with typical value $phi$ in solar units.
proof idea
The definition is a one-line assignment that directly sets $H_{StellarML}$ to the equality $ml_{stellar} = phi$. No lemmas are invoked; it functions as the hypothesis interface for the downstream falsifiability check.
why it matters
This hypothesis is invoked by the theorem $ml_{falsifiable}$ to derive a contradiction from any deviation of $ml_{stellar}$ from $phi$. It realizes the main result of the stellar assembly strategy by fixing the ratio via the eight-tick partition. The step connects to the phi fixed point and eight-tick octave in the forcing chain, leaving empirical verification through galactic surveys as an open protocol.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.