Module session 

Session lifecycle state machine — pure core, no IO.

Invariants

• Done is terminal: transition always returns None for Done sessions.
• gc fires only when elapsed >= GC_DEADLINE.

Structs

Session

Enums

Status

Constants

GC_DEADLINE

Functions

transition

Pure transition: returns next Session or None if action is not enabled.