policyBalance
Counter-cyclical policy balance is defined exactly as the reciprocal of the golden ratio. Cross-domain invariant researchers cite it when confirming that economic stabilization parameters converge on the same 1/phi attractor as decay rates and mixing angles. The definition is a direct one-line alias to phiInv with no further reduction.
claimThe counter-cyclical policy balance is the real number $1/phi$, where $phi$ is the golden ratio.
background
The module C22 treats $1/phi$ as the canonical attractor for negative-rung quantities including decay rates, dampings, and target ratios. phiInv is introduced as the exact value $1/phi$. Multiple independent rung functions appear in the dependencies (assigning integer levels to fermions, ore classes, and anchor sectors), yet policyBalance draws only from phiInv and inherits its positivity and ordering properties.
proof idea
One-line wrapper that directly aliases phiInv.
why it matters in Recognition Science
The definition supplies one of the five instances equated in all_phiInv_instances_equal and populates the PhiInverseInvariantsCert structure. It illustrates the framework claim that counter-cyclical policy parameters sit on the phi-ladder at the same negative rung as stem-cell decay and Gini ceilings, consistent with the self-similar fixed point and eight-tick octave.
scope and limits
- Does not assign a specific rung value or sector context.
- Does not perform numerical approximation or floating-point evaluation.
- Does not assert empirical fit to any real-world policy dataset.
Lean usage
theorem policy_in_cert : policyBalance = phiInv := rflformal statement (Lean)
86noncomputable def policyBalance : ℝ := phiInv
proof body
Definition body.
87
88/-- Stem-cell reserve decay per phi-rung. -/