counterexample found
Comparison policy: Columns by position; aliases ignored; matching column counts required. Order is compared as sequences only when both queries have ORDER BY; otherwise unordered bags. Duplicate counts are preserved; SQL NULLs compare equal. Equivalent integer widths compare by value. No outcome is an equivalence proof. DuckDB behavior only.

Schema:
CREATE TABLE tickets (ticket_id INTEGER PRIMARY KEY, assignee_id INTEGER);

Data:
INSERT INTO "tickets" ("ticket_id", "assignee_id") VALUES (-1, NULL);

Query A:
SELECT COUNT(*) AS ticket_count FROM tickets;
Result bag A:
  Columns: 1; observed types: BIGINT
  (1) × 1

Query B:
SELECT COUNT(assignee_id) AS ticket_count FROM tickets;
Result bag B:
  Columns: 1; observed types: BIGINT
  (0) × 1

Reduced by row deletion; not claimed globally minimal.
Replay: query-witness replay <this-directory>
Configuration and versions: see witness.json.
