contains

Overview ¶

Measurement probe for the `contains` operator (specs/CONTRACT-CONTAINS.md). Not part of the build: run with

$env:COMPAT_POSTGRES_DSN='postgres://postgres:***@host:5434/postgres?sslmode=disable'
go run ./experiments/contains

It talks to real SQLite (modernc) and real PostgreSQL (pgx) and prints the raw measurements that decide T1 (instr/strpos equivalence on the hostile corpus), T2 (which catalog contexts accept instr/strpos and whether they are deterministic for an index), T3 (non-text operands) and the red-team cases (empty needle, NULL on either side, nested not/or, column-as-needle). The DSN password is never printed.