Files
zeekay 6f606fde66 pkg/c: Keeper-on-Quasar state machine proof — commit() over native consensus
Models the ClickHouse/Datastore Keeper swap: a Keeper-shaped KV state machine
with commit(log_idx, op) (mirroring IKeeperStateMachine::commit) driven to
finality by libluxconsensus instead of NuRaft. Keeper write requests ride
consensus as ordered log payloads; Quasar's decision callback is the commit
signal — the slot KeeperServer's nuraft::raft_server occupies today. Asserts
exactly-once, in-order commit and final KV state. 'make test-keeper' passes:
7 ordered commits, zero Raft.
2026-06-26 19:27:07 -07:00
..