Depot ensures that the updates observed by correct nodes are consistently ordered under Fork-Join-Causal consistency (FJC).
FJC is a slight weakening of causal consistency that can be both safe and live despite faulty nodes.
