HN ate my comment, hope to figure hn out someday! Had written: From the bailis.org link you posted: > Linearizability is a guarantee about single operations o

HN ate my comment, hope to figure hn out someday! Had written: From the bailis.org link you posted: > Linearizability is a guarantee about single operations on single objects. The place we references "linearizability" (in the Jepsen blog and docs) are in the context of single row-key operations; I can update our docs to clarify that further. For multi-key transactions, our docs clearly point out that we support Snapshot Isolation now and Serializable Isolation is in the roadmap.