Registry · Definition VI.D27 tau-effective planned

VI.D27 — Temporal Lemniscate

L_T = S¹_act ∨ S¹_rest; two lobes (activity/rest) with wedge points at dawn/dusk transitions. Circadian structure of persistence.

Book VI Part 2 Ch. 15

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: