referenceHorizon
plain-language theorem explainer
The baseline forecast horizon is fixed at the dimensionless real number 1 in RS-native units, calibrated to the ECMWF IFS model at rung 0. Meteorologists comparing skill decay across resolution rungs cite this constant when applying phi-ladder scaling to predict horizons at GFS or other centers. The implementation is a direct constant assignment with no lemmas or computation required.
Claim. The reference forecast horizon equals the real number $1$, serving as the dimensionless baseline calibrated to the ECMWF model at rung 0 on the phi-ladder.
background
Recognition Science predicts forecast skill horizons scale by the golden ratio phi across integer rungs of model resolution. The module implements this scaling relative to a reference at rung 0, where ECMWF IFS holds the 10-day horizon and GFS sits at rung -1. Upstream results supply rung assignments from anchor policies in mass sectors and from fluid models in CPM2D, which pack hypotheses into bridge structures for defect and energy tracking. The local setting is the Lyapunov-time prediction for weather predictability, where adjacent centers must ratio exactly by phi or falsify the structural claim.
proof idea
This is a one-line definition that directly assigns the constant 1. No lemmas are applied and no tactics are used.
why it matters
This definition anchors the phi-ladder scaling for operational forecast skill and feeds directly into the definition of horizon at rung, which multiplies the baseline by phi to the power of negative rung. It realizes the module prediction that ECMWF and GFS horizons ratio by exactly phi, consistent with T7 eight-tick octave structure and J-cost predictability cutoffs. No open questions or scaffolding are addressed.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.