I just published 'Designing Fakes That Prove Correctness' ✍️
The blog also has a new theme, and it hides a quorum easter-egg: flip to single-replica reads and see what it was protecting you from 👀
pierrezemb.fr/posts/design...
You fake the handful of methods your code actually calls, prove the fake stays honest, and then make it fail the way production does.
