Module session 

Per-session state: sequence numbers, event chain, ATIF builder, loop state, lifecycle (open → active → closed/promoted), and finalization products.

Structs

Session

A live session.

SessionLease

RAII claim keeping a forwarded response active until completion or abort.

SessionRegistry

The session registry.

Totals

Aggregate counters for receipts (atomics: workers update concurrently).

Enums

SessionState

The session lifecycle chain, held in one AtomicU8 and advanced only through CAS transitions that name their expected source state — illegal transitions become impossible rather than untested.

Workflow

Workflow kind (brief Modules G/H).