Registry · Proposition VI.P16 established planned

VI.P16 — Repair Budget Exhaustion

For finite-lineage carriers with bounded R_max, defect exceeds threshold in finite time t*; death is inevitable. Hayflick limit as special case.

Book VI Part 5 Ch. 30

Dependency Graph

Depends on (1)

VI.D43

Depended on by (2)

VI.D91 VI.T54

Lean Formalization

Module:

Symbol: