Registry · Proposition VI.P19 tau-effective planned

VI.P19 — Sleep as Temporal Lemniscate Second Lobe

L_neural = S¹_wake ∨ S¹_sleep; wake = external processing, sleep = consolidation/clearance; nested NREM-REM ultradian lemniscate within sleep lobe.

Book VI Part 6 Ch. 41

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module:

Symbol: