This looks accurate except for the characterization that FoundationDB does not offer strict serializability and/or external consistency. It does.<p>See 12:10 of this video from the FoundationDB Summit: <a href="https://youtu.be/EMwhsGsxfPU" rel="nofollow">https://youtu.be/EMwhsGsxfPU</a><p>The Jepsen description of strict serializability is exactly what FoundationDB offers: linearizability with a real time constraint. All transactions are observed to have happened at a single point in time and a transaction observes the effects of all previously committed transactions.