senolyticTargetRatio
Senolytic target ratio is defined as the golden ratio conjugate 1/φ in the cross-domain invariants of Recognition Science. Researchers modeling cellular decay rates or optimal intervention fractions would cite it when unifying senolytic targets with Gini ceilings and stem-cell decay. The definition is a direct one-line alias to the phiInv constant.
claimThe senolytic target ratio is defined as $1/φ$, where $φ$ is the golden ratio.
background
Module C22 states that 1/φ ≈ 0.618 acts as the canonical attractor for negative-rung quantities such as decay rates, dampings, and target ratios. The upstream phiInv supplies the base value via the definition phiInv : ℝ := 1/φ. Senolytic target ratio appears as one of five listed instances that converge on this number, alongside Gini ceiling, policy balance, stem-cell decay, and circadian decay.
proof idea
One-line definition that directly aliases phiInv.
why it matters in Recognition Science
This definition supplies one of the five equal instances required by all_phiInv_instances_equal and the boundedness claim in all_phiInv_in_unit_interval. It populates the PhiInverseInvariantsCert structure that records positivity, unit-interval bounds, and the identity 1/φ = φ - 1. The placement advances the C22 structural claim that 1/φ unifies cross-domain decay and share fractions, consistent with the phi fixed point and eight-tick octave in the forcing chain.
scope and limits
- Does not derive the ratio from empirical senolytic data.
- Does not prove convergence for unlisted domains.
- Does not supply numerical approximations or error bounds.
- Does not address stability under perturbations of φ.
formal statement (Lean)
80noncomputable def senolyticTargetRatio : ℝ := phiInv
proof body
Definition body.
81
82/-- Gini ceiling (RS prediction). -/