One-shotting a Diskless Kafka in Python

Talk is cheap, show me the code - Linus Torvalds In 2026, code is cheap too - design is what matters. StreamNative recently open-sourced a formally-verified protocol for implementing a leaderless log. Their announcement blog sent a message similar to the opening quote (h/t @sijieg ) - that in the age of AI coding harnesses, what matters more is the design/protocol of a system rather than its particular implementation. I wanted to put that to the test, so I took their protocol, took a linearizabl