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

Workflow

Workflow kind (brief Modules G/H).