phi20
plain-language theorem explainer
phi20 defines the twentieth power of the golden ratio for scaling the solar wind termination shock radius. Astrophysicists modeling solar wind outflow in Recognition Science cite it to recover the observed 94 AU distance from Voyager data. The definition is a direct exponentiation with no lemmas or hypotheses.
Claim. Define $phi^{20} in mathbb{R}$ as the twentieth power of the golden ratio $phi$.
background
The Astrophysics.SolarWindFromMHD module derives solar wind properties from recognition dynamics, with the termination shock radius given by R_ts approx R_odot times phi^20 to match the 94 AU Voyager observation. Here phi is the golden ratio, the self-similar fixed point forced in the T0-T8 chain. The module imports Constants and Cost to support J-cost evaluations at the Parker spiral angle.
proof idea
The definition is a one-line abbreviation that directly raises phi to the natural number power 20.
why it matters
This supplies the precise scaling factor that reproduces the termination shock radius in the solar wind model and is referenced by the SolarWindCert structure and the phi20_pos theorem. It realizes the RS prediction that R_ts = R_odot times phi^20 aligns with the eight-tick octave structure (T7) in the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.