You really shouldn't do something like this without at the very least mentioning Kyle Kingsbery and the Jepesen test suite he wrote to validate how distributed datastores actually follow CAP or not.

For any devops / sysadmin / systems engineer: I highly suggest reading this if not only to understand failure conditions better:

https://aphyr.com/tags/jepsen

The entire "Call Me Maybe" blog series is because that is Carly Rae Jepsen's stupid pop song, for which he named his test suite after. That and Kyle's posts are absolutely hilarious to read. Seriously, read them.