just-did
two-phase-write
idempotent-batch
crash-recovery
state-machine
global-lock
tamper-detect
api-tests