Consensual State
A consensual state (or just "state") contains opaque data used by a consensual ledger. It can be thought of as a disk file that the program can use to persist data across transactions. ConsensualState are immutable: once created they are never updated, instead, any changes must generate a new successor state. Consensual states cannot be consumed.