When solidDB server is used in Hot-Standby mode, it is state conscious: inside solidDB there is a nondeterministic
finite-state automaton, which at any moment, unambiguously defines the server’s capabilities. For
example, whether the server can execute write transactions, solidDB provides an administrative API for querying
and modifying HSB states.