solarWindSpeed
plain-language theorem explainer
Solar wind speeds at successive phi-ladder rungs are assigned as successive powers of the golden ratio. Astrophysicists modeling solar wind within Recognition Science cite the assignment when deriving the predicted ratio between fast and slow wind components. The definition is a direct one-line assignment with no proof obligations.
Claim. The solar wind speed at rung $k$ is $v(k) = phi^k$.
background
The Solar Wind from Phi-Ladder module treats solar wind as having three canonical speed bands (slow 300-400 km/s, fast 600-800 km/s, extreme >1000 km/s) with the slow-to-fast ratio approximating phi. Five canonical types are identified with configuration dimension 5. The phi-ladder supplies the speed values via powers of the golden ratio, consistent with its role as the self-similar fixed point.
proof idea
The definition is a direct assignment of phi raised to the power k. No lemmas or tactics are applied.
why it matters
This definition supplies the explicit rung values that feed the SolarWindCert structure (five types and the phi-ratio property) and the solarWindSpeedRatio theorem. It realizes the phi-ladder prediction for solar wind in the B12 astrophysical MHD section, supporting the framework's T6 self-similar fixed point and the five-type count as configDim D=5.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.