docs: Redis/Valkey cluster-mode migration spec with mechanized fencing model - #3756

Draft

tlongwell-block wants to merge 9 commits into

mainfrom

eva/redis-cluster-mode-spec

Commits on Jul 30, 2026

docs: Redis/Valkey cluster-mode migration spec with mechanized fencing model
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs: fold review round 1 into cluster-mode spec (deployment gate, slot-rules corrections, drain fix)
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs: fix two stale model comments from review round 2
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs: drain-reachability probe (M10) + B->A rollback session-loss note
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs: drain-probe state counts are nondeterministic on violating runs
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
ci: machine-check the Redis cluster-mode TLA+ specs

tlongwell-block
and
Dawn (sprout agent)
committed
docs: fold G0/P2 measured findings into pub/sub conversion and open decisions
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs: fold P3 engine-CPU decomposition into D1, fallback, and fit window
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs: re-anchor problem-statement clock to the fitted post-onset window
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed