test(jepsen): add ZSet safety workload with model-based checker#550

Open

bootjp wants to merge 30 commits intomainfrom

feat/jepsen-zset-safety

Commits on Apr 19, 2026

test(jepsen): add ZSet safety workload with model-based checker
bootjp
committed
ci(jepsen): run ZSet safety workload in per-push and scheduled jobs
bootjp
committed
fix(jepsen-zset-safety): plug checker false positives + add unit tests
bootjp
committed

Commits on Apr 20, 2026

fix(jepsen-zset-safety): no-op-ZREM-only member must not trigger :score-mismatch
bootjp
committed
fix(jepsen-zset-safety): address CodeRabbit checker soundness issues
bootjp
committed

Commits on Apr 21, 2026

Merge branch 'main' into feat/jepsen-zset-safety
bootjp
authored

Commits on Apr 22, 2026

Commits on Apr 23, 2026