Jenak26

A from-scratch implementation of the Raft consensus algorithm in Go, backing a linearizable key-value store — verified linearizable under seeded, Jepsen-style fault injection with a hand-written linearizability checker.