#consensus

I reimplemented a CAP-aware total-order broadcast protocol in Rust and verified it six ways

I co-invented a total-order broadcast protocol in the 1990s for power-plant control. I rebuilt it in Rust, checked it six ways — and a model checker found a bug I'd shipped 30 years ago.