test: Parquet merge pipeline verification suite#6369

Open

g-talbot wants to merge 15 commits intomainfrom

gtt/parquet-merge-verification

Commits on May 2, 2026

test: add proptest for planner maturity filtering + shared test helpers

g-talbot
and
claude
committed
test: add sketch split integration test for Parquet merge pipeline

g-talbot
and
claude
committed
test: add crash/restart and multi-round merge integration tests

g-talbot
and
claude
committed
spec: TLA+ specification for merge pipeline shutdown drain protocol

g-talbot
and
claude
committed
test: add Stateright DST model for merge pipeline with crash/restart

g-talbot
and
claude
committed
fix: nightly rustfmt import ordering across all new test files

g-talbot
and
claude
committed
docs: update TLA+ CLAUDE.md with macOS setup and spec catalog

g-talbot
and
claude
committed

Commits on May 4, 2026