Another Antithesis Draft#36667

Draft

def- wants to merge 47 commits into

MaterializeInc:mainfrom

def-:pr-antithesis2

Commits on May 29, 2026

build: antithesis-sdk dep + instrumented-build support

DAlperin
authored and
def-
committed
storage/persist/catalog: wrap panic and invariant sites with antithesis-sdk assertions

DAlperin
authored and
def-
committed
parallel_workload: pool-backed mode for externally-managed clusters

DAlperin
authored and
def-
committed
parallel_workload: narrow Scenario.Kill swallow to fault-shaped errors

DAlperin
authored and
def-
committed
test/antithesis: harness scaffolding (compose, Makefile, workload image)

DAlperin
authored and
def-
committed
ci: nightly Antithesis pipeline + compose lint

DAlperin
authored and
def-
committed
test/antithesis: workload helpers (pg/mysql/kafka/testdrive/logging)

DAlperin
authored and
def-
committed
test/antithesis: kafka source workload drivers

DAlperin
authored and
def-
committed
test/antithesis: mysql CDC workload drivers

DAlperin
authored and
def-
committed
test/antithesis: postgres CDC workload drivers + testdrive singleton

DAlperin
authored and
def-
committed
test/antithesis: parallel-workload driver + upsert-ancient property

DAlperin
authored and
def-
committed
test/antithesis: catalog/persist/reclock SUT-anchored drivers

DAlperin
authored and
def-
committed
test/antithesis: drivers targeting SinceViolation bug family (#11200 / #11224)

DAlperin
authored and
def-
committed
test/antithesis: split monolithic harness into per-workload-group configs

DAlperin
authored and
def-
committed
test/antithesis: drop broken recovery anytime drivers + redundant mysql GTID driver

DAlperin
authored and
def-
committed
test/antithesis: drop unused testdrive reset paths

DAlperin
authored and
def-
committed
test/antithesis: bump parallel-workload runtime + add failure-rate/session-drain signals

DAlperin
authored and
def-
committed
test/antithesis: wire CancelAction into parallel-workload driver

DAlperin
authored and
def-
committed
test/antithesis: tolerate polaris-side fault errors during parallel-workload setup

DAlperin
authored and
def-
committed
testdrive: use Instant for elapsed-time delta, immune to wall-clock fault injection

DAlperin
authored and
def-
committed
test/antithesis: add upsert-stress group for INC-936 invalid-upsert-state panic

DAlperin
authored and
def-
committed
test/antithesis: add sql-server-cdc group + testdrive-runner for mysql-cdc; pin upsert-stress to v1; shrink upsert-stress to 1×1 with 6 hammers; absorb container-down testdrive errors as transient

DAlperin
authored and
def-
committed
test/antithesis: parallel-workload SinceViolation coverage (REFRESH EVERY MV + PREPARE/EXECUTE-in-txn) and transient-error absorption

DAlperin
authored and
def-
committed
test/antithesis: extract shared fault-tolerance helper; absorb three mysql-cdc fault shapes

DAlperin
authored and
def-
committed
test/antithesis: add onboarding README + propose next frameworks to port

DAlperin
authored and
def-
committed
Try to make progress on Antithesis testing
def-
committed
More drivers
def-
committed
random fixes/improvements
def-
committed
random fixes
def-
committed
test/antithesis: add SQLsmith driver to parallel-workload group

def-
and
claude
committed
Revert "test/antithesis: add SQLsmith driver to parallel-workload group"
def-
committed
test/antithesis: fire pool-slot claim Sometimes assertions

def-
and
claude
committed
test/antithesis: add anytime_replica_status fault-recovery probe

def-
and
claude
committed
test/antithesis: workload-replay throughput fixes

def-
and
claude
committed
test/antithesis: add deploy group for 0dt + read-only safety

def-
and
claude
committed
test/antithesis: ship configs/deploy/.env placeholder, not .gitignore

def-
and
claude
committed
test/antithesis: assert timestamp monotonicity in strict-serializable driver

DAlperin
authored and
def-
committed
test/antithesis: fix subscribe-correctness missed-event snapshot race

def-
and
claude
committed
test/antithesis: make replica-status probe actually observe faults

def-
and
claude
committed
test/antithesis: add correctness oracles — differential query, cross-replica, internal-error

def-
and
claude
committed
test/antithesis: revert deploy group — second materialized fences the primary

def-
and
claude
committed
test/antithesis: harden cross-replica + differential oracle fault tolerance

def-
and
claude
committed
test/antithesis: subscribe-correctness off-by-one — read authoritative + mz_now in one txn

def-
and
claude
committed
test/antithesis: source-status convergence + append-only monotonicity

def-
and
claude
committed
test/antithesis: subscribe-correctness off-by-one — wait for producer to actually die

def-
and
claude
committed
fix
def-
committed
test/antithesis: absorb statement_timeout + helper_testdrive wall-timeout as fault-shaped
def-
committed