Finite state machines, CRDTs, idempotency, and CBOR serialization.