fix(cluster): async qvotec marker submission — LMON liveness (spec-2.29a, BUG-C1 false-DEAD)#25

Merged

sqlrush merged 9 commits into

mainfrom

stage7-p0-dead-diagnosis

Jul 9, 2026

Commits on Jul 8, 2026

fix(cluster): make qvotec markers async for lmon
SqlRush
committed
ci: include marker async TAP in nightly
SqlRush
committed
test: stub assertions in marker async unit
SqlRush
committed
fix(cluster): marker-async review r1 — PREPARE best-effort drain, CL-I3 recheck, P1-1/P1-2 hard assertions, t/363 rename
SqlRush
committed
fix(cluster): close two spec-2.29a nightly regressions — dump-category baseline + async pre-bump WAIT_EPOCH wedge
SqlRush
committed
fix(cluster): clean-leave coherence excludes the leaving node (regression ②b, others-dead)
SqlRush
committed
fix(cluster): r2 P2-1 barrier-tick scalar conjunct + t/274 backend pre-bump shmem bit
SqlRush
committed
test(cluster): pin evidence-over-inference own-commit latch (known-red)
SqlRush
committed

Commits on Jul 9, 2026

fix(cluster): clean-leave own-commit latch consumes marker evidence, not inference
SqlRush
committed