Adversarial checkpoint auditing for local-first replicated state - View it on GitHub