senolyticTargetRatio
plain-language theorem explainer
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.
Claim. The 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
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.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.