stemCellDecay
Stem-cell reserve decay per phi-rung is defined equal to the canonical 1/φ. Cross-domain unification work in Recognition Science cites this when listing biological decay rates among the 1/φ attractors. The definition is a direct alias to phiInv.
claimThe stem-cell reserve decay per phi-rung equals $1/φ$.
background
The CrossDomain.PhiInverseInvariants module states that 1/φ is the canonical attractor for negative-rung quantities such as decay rates. phiInv supplies the value 1/φ. Upstream rung definitions appear in Fermion masses, OreClass spectroscopy, and AnchorPolicy sectors; Amplitude is the abbrev for quantum amplitudes.
proof idea
One-line wrapper that aliases phiInv.
why it matters in Recognition Science
The definition supplies the stem-cell slot in all_phiInv_instances_equal, which equates the five 1/φ instances, and appears in PhiInverseInvariantsCert. It completes one entry in the C22 list of cross-domain convergences on 1/φ.
scope and limits
- Does not derive the decay from biological mechanisms.
- Does not compute numerical approximations.
- Does not extend the equality to other cell types.
formal statement (Lean)
89noncomputable def stemCellDecay : ℝ := phiInv
proof body
Definition body.
90
91/-- Amplitude decay per circadian aging rung. -/