Comment by DougBTX

The example looks fine to me. If the writer blocks until the partition is resolved, then it isn’t Available for writes, so only meets CP.