circadianDecay
plain-language theorem explainer
Amplitude decay per circadian aging rung is defined to equal the inverse golden ratio. Cross-domain unification researchers cite it when equating biological decay rates to the 1/φ attractor. The definition reduces directly to the base inverse-phi constant via a one-line alias.
Claim. The amplitude decay factor per circadian aging rung equals $1/φ$, where $φ$ is the golden ratio.
background
The module establishes that $1/φ ≈ 0.618$ serves as the canonical attractor for negative-rung quantities such as decay rates, dampings, and target ratios. Instances include senolytic target ratio, Gini coefficient ceiling, amplitude decay in aging per rung, Cabibbo mixing angle, counter-cyclical policy balance, and stem-cell reserve decay. The upstream phiInv supplies the base definition as $1/φ$, together with the lemma that $0 < 1/φ < 1$ and $1/φ = φ - 1$.
proof idea
The definition is a one-line alias that sets the circadian decay directly to the value of phiInv.
why it matters
This definition feeds the theorem all_phiInv_instances_equal that proves equality among the five 1/φ instances. It fills the amplitude decay slot in the C22 structural claim that independent domains converge on the same number. The result supports the Recognition Science framework by supplying a concrete cross-domain invariant on the phi-ladder for negative-rung quantities.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.