jamarius-fortson

Raft consensus with a shipped linearizability checker that verifies every simulated history, plus leader leases with fencing tokens and a derived stale-read bound. Python, zero runtime dependencies.