stimulusPhaseYears
plain-language theorem explainer
Recognition Science assigns the stimulus phase length in its counter-cyclical policy model to the golden ratio φ. Researchers deriving business cycle policy from the gap-45 wave would reference this assignment. The definition is a direct one-line assignment equating it to phi.
Claim. The optimal stimulus phase duration equals $φ$ years.
background
The module sets counter-cyclical policy lengths from the gap-45 Kondratieff wave of 45 years. From the imported BusinessCycleFromPhiLadder, the Juglar cycle is φ^8 / 4 years. The RS prediction gives stimulus phase φ years in recession and austerity φ² years in expansion, with policy balance stimulus / austerity = 1/φ and swings bounded by gap-45 percent of GDP. The five phases equal configDim D = 5.
proof idea
This is a one-line definition assigning phi to stimulusPhaseYears.
why it matters
The definition supplies the stimulus duration for the theorem establishing austerity equals stimulus times phi, and the theorem establishing the ratio 1/φ. It also populates the certification structure for counter-cyclical policy. This implements the economic application of the eight-tick octave and phi fixed point in the Recognition framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.