Sessions

The seven steps of a Ref[In] annotation

Annotation runs as seven stages in a fixed order, on a frozen session, by one worker — and it will not begin until the ledger balances. What each stage produces, and why every constraint was added after something went wrong without it.