Reliable State
Kind: capability
Layer: Atomic Boundary
Record: lexicon:reliable-state
Canonical: Lexicon
The ability to trust that stored state always satisfies its invariants.
Listed in Lexicon terms, after Inconsistent Replicas/Models and before Dirty Reads/Writes.