Registry · Theorem VI.T54 tau-effective not_formalized

VI.T54 — Neurodegeneration = Hayflick Crossing

Neurodegenerative disease occurs when level-specific Hayflick bound H_i exhausted before organismal limit; repair budget depleted, defects cross cascade threshold irreversibly.

Book VI Part 6 Ch. 40

Dependency Graph

Depends on (6)

VI.D88 VI.D89 VI.D91 VI.P16 VI.P23 VI.T52

Lean Formalization

Module:

Symbol: