The author originally came up with the CAP theorem and Spanner is a CP system. It doesn't change consistency settings, it just relies on Google's private networking to maintain a very high level of network reliability, so they're claiming "CA" by saying P almost never happens.