This looks accurate except for the characterization that FoundationDB does not offer strict serializability and/or external consistency. It does.

See 12:10 of this video from the FoundationDB Summit: https://youtu.be/EMwhsGsxfPU

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.