tml-2912: unify SQL check-constraint mechanism + drift-manage array element checks

[SevInf]

What & why

Reviewing #870, the maintainer flagged (relational-core/.../ddl-types.ts:212) that the scalar-array element-non-null CHECK introduced a second, parallel check-constraint mechanism (CheckExpressionConstraint) alongside the existing enum value-set checks. This PR unifies them into one mechanism and makes the element-non-null checks drift-managed, exactly like enum value-set checks.

Stacked on #870 — base is scalar-lists-slice2, so this diff is only the unification. Merge #870 first.

Decision (Option A)

One check-constraint concept with a discriminated payload:

• SqlCheckConstraintIR / the migration addCheckConstraint op carry valueSet ({column, permittedValues}) or expression ({expression}).
• A single projectContractChecks helper feeds the three lock-step sites (verify / expected-IR / planner); it projects an array_position("<col>", NULL) IS NULL expression check for every many: true column.
• Element checks now flow through the same ALTER-based, diff → AddCheckConstraintCall path the enum checks use, and are introspected + compared on verify.
• CheckExpressionConstraint (the parallel type, inline at CREATE TABLE) is deleted — one mechanism remains.

This also closes the strict-verify gap the earlier slice deferred: element checks were previously never introspected/diffed, so --strict verify false-flagged them. They now round-trip; a migrate → introspect → strict re-verify integration test asserts zero drift.

Value-set verification semantics are unchanged from main — the = ANY (ARRAY…)/IN (…) parsing and set-based comparison are preserved; the discriminant only adds the expression variant on top.

Breaking change

The migration builder call changes from this.addCheckConstraint({ column, values }) to a discriminated { payload: { kind: 'valueSet', column, values } } (and gains a kind: 'expression' form). Re-generation emits the new shape; hand-preserved migration files need the edit. Recorded as an upgrade instruction (migration-addcheckconstraint-payload) with detection so the upgrade skill can migrate consumers.

Verification

• build 68/68 · typecheck 143/143 · fixtures:check byte-clean · cast-ratchet delta 0 · lint:packages clean · check:upgrade-coverage clean
• sql-family 383 · target-postgres 500 · adapter-postgres 670 (+4 expected-fail), incl. the multi-word-cast (timestamp with time zone) parse + strict re-verify round-trip

🤖 Generated with Claude Code

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Path: .coderabbit.yml

Review profile: CHILL

Plan: Pro

Run ID: 420b0d4e-9bad-40a2-8f14-7b70e63c45c8

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch scalar-lists-check-unify

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[pkg-pr-new]

Open in StackBlitz

@prisma-next/extension-author-tools

npm i https://pkg.pr.new/@prisma-next/extension-author-tools@902

@prisma-next/mongo-runtime

npm i https://pkg.pr.new/@prisma-next/mongo-runtime@902

@prisma-next/family-mongo

npm i https://pkg.pr.new/@prisma-next/family-mongo@902

@prisma-next/sql-runtime

npm i https://pkg.pr.new/@prisma-next/sql-runtime@902

@prisma-next/family-sql

npm i https://pkg.pr.new/@prisma-next/family-sql@902

@prisma-next/extension-arktype-json

npm i https://pkg.pr.new/@prisma-next/extension-arktype-json@902

@prisma-next/middleware-cache

npm i https://pkg.pr.new/@prisma-next/middleware-cache@902

@prisma-next/mongo

npm i https://pkg.pr.new/@prisma-next/mongo@902

@prisma-next/extension-paradedb

npm i https://pkg.pr.new/@prisma-next/extension-paradedb@902

@prisma-next/extension-pgvector

npm i https://pkg.pr.new/@prisma-next/extension-pgvector@902

@prisma-next/extension-postgis

npm i https://pkg.pr.new/@prisma-next/extension-postgis@902

@prisma-next/postgres

npm i https://pkg.pr.new/@prisma-next/postgres@902

@prisma-next/sql-orm-client

npm i https://pkg.pr.new/@prisma-next/sql-orm-client@902

@prisma-next/sqlite

npm i https://pkg.pr.new/@prisma-next/sqlite@902

@prisma-next/extension-supabase

npm i https://pkg.pr.new/@prisma-next/extension-supabase@902

@prisma-next/target-mongo

npm i https://pkg.pr.new/@prisma-next/target-mongo@902

@prisma-next/adapter-mongo

npm i https://pkg.pr.new/@prisma-next/adapter-mongo@902

@prisma-next/driver-mongo

npm i https://pkg.pr.new/@prisma-next/driver-mongo@902

@prisma-next/contract

npm i https://pkg.pr.new/@prisma-next/contract@902

@prisma-next/utils

npm i https://pkg.pr.new/@prisma-next/utils@902

@prisma-next/config

npm i https://pkg.pr.new/@prisma-next/config@902

@prisma-next/errors

npm i https://pkg.pr.new/@prisma-next/errors@902

@prisma-next/framework-components

npm i https://pkg.pr.new/@prisma-next/framework-components@902

@prisma-next/operations

npm i https://pkg.pr.new/@prisma-next/operations@902

@prisma-next/ts-render

npm i https://pkg.pr.new/@prisma-next/ts-render@902

@prisma-next/contract-authoring

npm i https://pkg.pr.new/@prisma-next/contract-authoring@902

@prisma-next/ids

npm i https://pkg.pr.new/@prisma-next/ids@902

@prisma-next/psl-parser

npm i https://pkg.pr.new/@prisma-next/psl-parser@902

@prisma-next/psl-printer

npm i https://pkg.pr.new/@prisma-next/psl-printer@902

@prisma-next/cli

npm i https://pkg.pr.new/@prisma-next/cli@902

@prisma-next/cli-telemetry

npm i https://pkg.pr.new/@prisma-next/cli-telemetry@902

@prisma-next/config-loader

npm i https://pkg.pr.new/@prisma-next/config-loader@902

@prisma-next/emitter

npm i https://pkg.pr.new/@prisma-next/emitter@902

@prisma-next/language-server

npm i https://pkg.pr.new/@prisma-next/language-server@902

@prisma-next/migration-tools

npm i https://pkg.pr.new/@prisma-next/migration-tools@902

prisma-next

npm i https://pkg.pr.new/prisma-next@902

@prisma-next/vite-plugin-contract-emit

npm i https://pkg.pr.new/@prisma-next/vite-plugin-contract-emit@902

@prisma-next/mongo-codec

npm i https://pkg.pr.new/@prisma-next/mongo-codec@902

@prisma-next/mongo-contract

npm i https://pkg.pr.new/@prisma-next/mongo-contract@902

@prisma-next/mongo-value

npm i https://pkg.pr.new/@prisma-next/mongo-value@902

@prisma-next/mongo-contract-psl

npm i https://pkg.pr.new/@prisma-next/mongo-contract-psl@902

@prisma-next/mongo-contract-ts

npm i https://pkg.pr.new/@prisma-next/mongo-contract-ts@902

@prisma-next/mongo-emitter

npm i https://pkg.pr.new/@prisma-next/mongo-emitter@902

@prisma-next/mongo-schema-ir

npm i https://pkg.pr.new/@prisma-next/mongo-schema-ir@902

@prisma-next/mongo-query-ast

npm i https://pkg.pr.new/@prisma-next/mongo-query-ast@902

@prisma-next/mongo-orm

npm i https://pkg.pr.new/@prisma-next/mongo-orm@902

@prisma-next/mongo-query-builder

npm i https://pkg.pr.new/@prisma-next/mongo-query-builder@902

@prisma-next/mongo-lowering

npm i https://pkg.pr.new/@prisma-next/mongo-lowering@902

@prisma-next/mongo-wire

npm i https://pkg.pr.new/@prisma-next/mongo-wire@902

@prisma-next/sql-contract

npm i https://pkg.pr.new/@prisma-next/sql-contract@902

@prisma-next/sql-errors

npm i https://pkg.pr.new/@prisma-next/sql-errors@902

@prisma-next/sql-operations

npm i https://pkg.pr.new/@prisma-next/sql-operations@902

@prisma-next/sql-schema-ir

npm i https://pkg.pr.new/@prisma-next/sql-schema-ir@902

@prisma-next/sql-contract-psl

npm i https://pkg.pr.new/@prisma-next/sql-contract-psl@902

@prisma-next/sql-contract-ts

npm i https://pkg.pr.new/@prisma-next/sql-contract-ts@902

@prisma-next/sql-contract-emitter

npm i https://pkg.pr.new/@prisma-next/sql-contract-emitter@902

@prisma-next/sql-lane-query-builder

npm i https://pkg.pr.new/@prisma-next/sql-lane-query-builder@902

@prisma-next/sql-relational-core

npm i https://pkg.pr.new/@prisma-next/sql-relational-core@902

@prisma-next/sql-builder

npm i https://pkg.pr.new/@prisma-next/sql-builder@902

@prisma-next/target-postgres

npm i https://pkg.pr.new/@prisma-next/target-postgres@902

@prisma-next/target-sqlite

npm i https://pkg.pr.new/@prisma-next/target-sqlite@902

@prisma-next/adapter-postgres

npm i https://pkg.pr.new/@prisma-next/adapter-postgres@902

@prisma-next/adapter-sqlite

npm i https://pkg.pr.new/@prisma-next/adapter-sqlite@902

@prisma-next/driver-postgres

npm i https://pkg.pr.new/@prisma-next/driver-postgres@902

@prisma-next/driver-sqlite

npm i https://pkg.pr.new/@prisma-next/driver-sqlite@902

commit: 95f4968

[github-actions]

size-limit report 📦

Path	Size
postgres / no-emit	160.78 KB (+0.19% 🔺)
postgres / emit	147.79 KB (+0.16% 🔺)
mongo / no-emit	97.99 KB (0%)
mongo / emit	89.37 KB (0%)
cf-worker / no-emit	188.9 KB (+0.18% 🔺)
cf-worker / emit	174.38 KB (+0.3% 🔺)