Chronos

- Built a simulation-first Raft KV store in Rust: shared step(node, event) → effects protocol under a deterministic simulator (owned time/network/disk/RNG) and a single-node WAL node interpreter. - Implemented Raft election + replication on static 3/5 node clusters; Get/Put via the log with idempotency; five executable safety checkers (election/log safety, persistence, linearizability) validated across 1,000+ fuzzed seeds clean in CI. - Built swarm fuzz with seeded fault injection, byte-for-byte reproducible replay, SHA-256 digests, and schedule minify — failure artifacts you can re-run, not flakes.