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