From the perspective of the CAP theorem, Spanner is unquestionably a CP system, as the original paper [1] makes clear. (It relies on Paxos to elect leaders, and

From the perspective of the CAP theorem, Spanner is unquestionably a CP system, as the original paper [1] makes clear. (It relies on Paxos to elect leaders, and Paxos chooses consistency over availability.) The "CA in practice" claims are purely marketing. [1]: https://storage.googleapis.com/pub-tools-public-publication-data/pdf/39966.pdf https://storage.googleapis.com/pub-tools-public-publication-...