Registry · Definition VI.D90 tau-effective not_formalized

VI.D90 — Sleep Repair Function

Maps nested sleep lemniscate lobes to defect tower levels: NREM/SWS -> Level 1 repair (glymphatic clearance), REM -> Level 2 repair (synaptic homeostasis); Levels 3-4 not repaired.

Book VI Part 6 Ch. 41

Dependency Graph

Depends on (3)

VI.P19 VI.D88 VI.D45

Depended on by (2)

VI.T53 VI.P24

Lean Formalization

Module:

Symbol: