Skip to main content

Module session

Module session 

Source
Expand description

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.