ClickHouse: add PQS/CERT/CODDTest oracles and lift type system to ADT#4

Open

fm4v wants to merge 39 commits into

ClickHouse:mainfrom

fm4v:nik/clickhouse-add-pqs-cert-coddtest

Commits on May 15, 2026

Commits on May 16, 2026

Commits on May 17, 2026

Commits on May 18, 2026

ClickHouse: SEMR oracle + per-session settings randomization
fm4v
committed
ClickHouse: type-aware leaf picking in expression generator
fm4v
committed
ClickHouse: CI bump to clickhouse-server:head + ILLEGAL_AGGREGATION catalog entry
fm4v
committed
ClickHouse: EET (Equivalent Expression Transformation) oracle
fm4v
committed
ClickHouse: cap server-side query execution at 120s
fm4v
committed
ClickHouse: plan for query primitives (combinators, set ops, ARRAY JOIN)
fm4v
committed
ClickHouse: disable JDBC LZ4 response compression to dodge driver bug
fm4v
committed
ClickHouse: bump clickhouse-jdbc 0.9.6 -> 0.9.8
fm4v
committed
ClickHouse: query primitives — set-op AST, combinators, ARRAY JOIN plumbing
fm4v
committed
ClickHouse: harden new oracles via live-server validation
fm4v
committed
ClickHouse: dodge mid-stream chunked-transport tear-down via response buffering
fm4v
committed
ClickHouse: catch query-condition-cache + 6-month wrong-result bug class
fm4v
committed
ClickHouse: type-system v2 — parameterised types + broadened picker
fm4v
committed

Commits on May 19, 2026

Commits on May 20, 2026