alfvenToSolarWindRatio
plain-language theorem explainer
The definition sets the Alfvén speed to solar wind speed ratio equal to the cube of the golden ratio. Astrophysicists using Recognition Science models cite it to scale coronal Alfvén speeds to observed solar wind velocities at Earth. It functions as a direct constant abbreviation that downstream proofs substitute without further reduction.
Claim. The ratio of Alfvén speed to solar wind speed equals $φ^3$, where $φ$ is the golden ratio fixed point.
background
The module develops solar wind outflow from MHD dynamics under Recognition Science, predicting solar wind speed as coronal Alfvén speed multiplied by this ratio. The golden ratio φ satisfies the self-similar fixed point condition from the forcing chain. Upstream results establish positivity of φ and the relation φ² = φ + 1, which support the ordering properties here. The local setting ties the ratio to the Parker spiral and termination shock radius calculations, with the J-cost on energy ratios evaluated at the 45 degree angle.
proof idea
This is a direct definition that assigns the constant φ cubed to the ratio. No tactics or lemmas are invoked in its body.
why it matters
It provides the scaling factor for the solar wind speed prediction in the module and is referenced by the SolarWindCert structure along with its positivity and ordering theorems. The definition realizes the RS forecast that solar wind speed equals Alfvén speed times φ cubed, connecting to the phi-ladder and D=3 spatial dimensions in the framework. It closes part of the structural theorem for Tier B12 without open scaffolding.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.