Registry · Theorem VI.T49 tau-effective not_formalized

VI.T49 — Drift Bounded by Repair

Epigenetic maintenance bounded by repair budget; while funded, maintenance enzymes restore marks with bounded error; budget exhaustion causes uncontrolled drift in late life.

Book VI Part 6 Ch. 35

Dependency Graph

Depends on (3)

Lean Formalization

Module:

Symbol: