Registry · Theorem VI.T53 tau-effective not_formalized

VI.T53 — Sleep Consolidates Levels 1-2

Sleep lobe implements defect consolidation at Levels 1-2 of neural defect tower; NREM activates glymphatic clearance, REM activates synaptic homeostasis; Levels 3-4 accumulate irreversibly.

Book VI Part 6 Ch. 41

Dependency Graph

Depends on (3)

Lean Formalization

Module:

Symbol: