Expand description
The journal state machine: which TxnState may follow which (§12).
Pure; a Verus proof target (I12 paths, write-ahead ordering).
Functions§
- step_
allowed - tag
- A short, stable name for a state (journal notes, crash points, catalog
path).