From the perspective of the CAP theorem, Spanner is unquestionably a CP system, ...

teraflop on July 14, 2018 | parent | context | favorite | on: An Illustrated Proof of the CAP Theorem

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-...