TML-3288: Index, check and policy SQL is written as a sql literal

.claude/scripts/enforce-tools.mjs

@@ -5,6 +5,9 @@ import { text } from 'node:stream/consumers';
 const input = JSON.parse(await text(process.stdin));
 const command = input.tool_input?.command ?? '';
 
+const FULL_SUITE_REASON =
+  'Never run the full integration or e2e suites locally; run the test files your change touches (pnpm test <paths> inside the package) and leave the full suites to CI';
+
 const rules = [
   { pattern: /\bnpm(\s|$)/, reason: 'Use pnpm, not npm' },
   { pattern: /\bnpx(\s|$)/, reason: 'Use pnpm, not npx' },
@@ -20,6 +23,19 @@ const rules = [
     pattern: /\bpnpm (exec )?vitest(\s|$)/,
     reason: "Use 'pnpm test' instead of running vitest directly",
   },
+  {
+    pattern: /\bpnpm (run )?test:(integration|e2e|all)(:agent)?(\s|$)/,
+    reason: FULL_SUITE_REASON,
+  },
+  {
+    pattern: /\bpnpm\s+(-r|--recursive|-w|--workspace-root|--filter\s+(integration-tests|e2e-tests))\s+(run\s+)?test(\s|$)/,
+    reason: FULL_SUITE_REASON,
+  },
+  { pattern: /\bturbo run test(\s|$)/, reason: FULL_SUITE_REASON },
+  {
+    pattern: /test\/integration.*\bpnpm (run )?test\s*($|[;&|>)])/,
+    reason: FULL_SUITE_REASON,
+  },
 ];
 
 for (const { pattern, reason } of rules) {

docs/README.md

@@ -28,7 +28,7 @@ This directory contains the primary documentation for the repository.
 - [Scalar types](./reference/scalar-types.md) — every scalar type per target (PSL name, TS helper, codec, storage and application type) and a cross-target concept table with the Prisma 6/7 names
 - [Integer representation types](./reference/integer-representation-types.md) — choosing `BigInt`, `BigIntNumber`, or `UnboundedInt` by target, storage, application value, and aggregate behavior
 - [Aggregate descriptor guide](./reference/aggregate-descriptor-guide.md) — how a target or extension declares aggregate operations and their result codecs (`SqlAggregateDescriptor` on `types.aggregateDescriptors`)
-- [PSL editor tooling for tagged literal defaults](./reference/psl-editor-tooling-tagged-literals.md) — what the language server, formatter and highlighting need for `` sql`...` `` and `` json`...` `` defaults, and what is not done yet
+- [PSL editor tooling for tagged literals](./reference/psl-editor-tooling-tagged-literals.md) — what the language server, formatter and highlighting do for `` sql`...` `` and `` json`...` `` literals, and what is not done yet
 - [TypeScript module settings for Prisma 8 projects](./reference/typescript-module-settings.md) — the `tsconfig.json` settings a Prisma 8 project needs, which fit which kind of project, and what `prisma orm init` writes
 - [Naming model and result types](./reference/model-and-result-types.md) — `Models`, `Scalars`, `Shape`, and `ResultType` on ORM queries
 - [Mongo Pipeline Builder](./reference/Mongo%20Pipeline%20Builder.md) — typed builder for MongoDB aggregation pipelines, reads, writes, and find-and-modify

docs/architecture docs/ADR-INDEX.md

@@ -36,11 +36,12 @@ This document provides a comprehensive index of all Architectural Decision Recor
 | 249 | Central attribute-spec registry | Registers every model-level and field-level PSL attribute of both families in one place, keyed by level and name, as a spec *factory* over a framework-owned construction-time context (`AttributeSpecContext` / `FieldAttributeSpecContext`) — the uniform signature is what lets the language server invoke the same factories the interpreters run. `assembleAttributeSpecs` merges family built-ins with [ADR 236](adrs/ADR%20236%20-%20Target-contributed%20model%20attributes.md)'s model-attribute descriptors into frozen plain records and restores the factory types core erases (they return `AttributeSpec<never>`, because `refine` makes `Out` contravariant and `unknown` would reject every spec that refines). Registry keys drive unknown-attribute diagnostics at field and model level in both families; block attributes are declared on `AuthoringPslBlockDescriptor.attributes` and parsed by the kit. | [ADR 249 - Central attribute-spec registry.md](adrs/ADR%20249%20-%20Central%20attribute-spec%20registry.md) |
 | 250 | Models and views are emitted from the contract | `contract.d.ts` gains a `Models` namespace (one member per model, `<ns>_<Model>`, plus `<ns>_Any<Base>` for each polymorphic base) and a type-only `models` constant; relations are typed as the related member with a phantom `RelationKeys` key so `Scalars<M>` names a default fetch's row and `Shape<M, Spec>` names an application data structure derived from the model, and both ORM collections carry `_row` so `ResultType` names any query's result. To-one nullability is a family hook (SQL reads foreign keys and column nullability; Mongo takes the nullable default); name collisions and non-identifier names are emitter errors | [ADR 250 - Models and views are emitted from the contract.md](adrs/ADR%20250%20-%20Models%20and%20views%20are%20emitted%20from%20the%20contract.md) |
 | 253 | PSL red-root source ownership | A PSL parse registers the actual returned red document root with a named `SourceFile`; post-parse diagnostics resolve filenames from the node's owning root through `PslSources`, with no unnamed parse mode or singleton fallback. Output diagnostics may still serialize a `sourceId`, but it originates from `SourceFile.filename`; file-read errors and Prisma7 compatibility plumbing are explicit exceptions. | [ADR 253 - PSL red-root source ownership.md](adrs/ADR%20253%20-%20PSL%20red-root%20source%20ownership.md) |
-| 254 | Data types and casts | A data type is the type of a value Prisma stores or passes to the database, most often a database type made first-class, registered per target or extension by id (`pg/int8`, `pg/jsonb`), owning the names the database writes and reports for it, its parameters with their bounds and rendering, its canonical contract form, and its casts from other types; a database type's data type is what the database stores; a codec is one representation of a data type and several may share one; a contract column stores its codec, its data type and its parameters, and no type name; a written value has a type of its own (a number takes the narrowest target integer type that holds it, so it never rounds; the `json` tag returns the JSON type) and is admitted when the column's type is its type or casts from it; enum members are references; `sql` is the tag of `sql/expression`, which the SQL family defines and registers, the one type a family registers; no family-level database types and no central convertibility rule. Replaces the PSL half of ADR 184 | [ADR 254 - Data types and casts.md](adrs/ADR%20254%20-%20Data%20types%20and%20casts.md) |
+| 254 | Data types and casts | A data type is the type of a value Prisma stores or passes to the database, most often a database type made first-class, registered per target or extension by id (`pg/int8`, `pg/jsonb`), owning the names the database writes and reports for it, its parameters with their bounds and rendering, its canonical contract form, and its casts from other types; a database type's data type is what the database stores; a codec is one representation of a data type and several may share one; a contract column stores its codec, its data type and its parameters, and no type name; a written value has a type of its own (a number takes the narrowest target integer type that holds it, so it never rounds; the `json` tag returns the JSON type) and is admitted when the column's type is its type or casts from it; enum members are references; `sql` is the tag of `sql/expression`, which the SQL family defines and registers, the one type a family registers; a position with a fixed receiving type admits values through `dataTypeValue`; no family-level database types and no central convertibility rule. Replaces the PSL half of ADR 184 | [ADR 254 - Data types and casts.md](adrs/ADR%20254%20-%20Data%20types%20and%20casts.md) |
 | 257 | Scalar types are named after the target on every surface | A scalar type's PSL name, TypeScript helper and codec id share one token taken from the codec id (`mongo/int32@1` → `Int32`, `field.int32()`), so a name says what the target stores; codec ids never rename. `Json` (the JSON-representable subset) and MongoDB's `Bson` (any BSON value) are the encoding-named exceptions. A renamed PSL name stays one release line as a deprecated alias that warns through the contract source's warning channel; a reserved mechanism covers a codec id that must change | [ADR 257 - Scalar types are named after the target on every surface.md](adrs/ADR%20257%20-%20Scalar%20types%20are%20named%20after%20the%20target%20on%20every%20surface.md) |
 | 258 | List cardinality has independent container and element nullability | Nested list descriptors separate container and element nullability across SQL and Mongo, keep semantic nullability distinct from check waivers, and record the intentional legacy-list wire incompatibility and historical-snapshot upgrade obligations. Complements ADR 178's value-object cardinality model | [ADR 258 - List cardinality has independent container and element nullability.md](adrs/ADR%20258%20-%20List%20cardinality%20has%20independent%20container%20and%20element%20nullability.md) |
 | 262 | Block specs bind top-level block values | A contributed top-level block declares its member-value grammar as a block spec built from the shared argument combinators — `structBlock` for closed key sets, `mapBlock` (with an optional bare-member sentinel) for arbitrary keys, `jsonValue()` for native JSON literals, `InferBlock` deriving the factory input type. Declarations are collected completely before any block is interpreted; only successful typed envelopes (`ParsedPslExtensionBlock`) are published and lowered, parsed AST is never stringified, and the print shape is constructed only by producers without an AST. SQL projects selected model references onto storage coordinates and lets factory outputs opt into destination placement via `pslPlacement`. Supersedes ADR 126's parameter-kind tables and descriptor-data validation. | [ADR 262 - Block specs bind top-level block values.md](adrs/ADR%20262%20-%20Block%20specs%20bind%20top-level%20block%20values.md) |
 | 264 | A model names its storage verbatim, and a rename is an operation | A model names its table, or its MongoDB collection, exactly as the model is written, and a field names its column by its own name; a different storage name is always stated with `@@map` or `@map`. Changing a storage name renames existing storage: the author states it in a migration with `this.renameTable({ table, to })`, which also renames every object whose name the planner derives from the table name | [ADR 264 - A model names its storage verbatim, and a rename is an operation.md](adrs/ADR%20264%20-%20A%20model%20names%20its%20storage%20verbatim%2C%20and%20a%20rename%20is%20an%20operation.md) |
+| 268 | Raw SQL is a value of the data type `sql/expression` | Every place that holds raw SQL (`@default`, `@@index(where:)`, `@@index(expression:)`, `@@fullTextIndex(where:)`, `@@check(expression:)`, a policy's `using` and `withCheck`) receives the data type `sql/expression`, which the SQL family defines and registers with the tag `sql` and from which nothing casts, so only a `sql` literal is admitted and a plain string is refused by the ADR 254 cast rule; specs declare the type with `dataTypeValue`; `@default` alone keeps checks on SQL text; one set of cast-rule codes; the TypeScript `sql` tag returns a `SqlExpression` value (planned) | [ADR 268 - Raw SQL is a value of the data type sql-expression.md](adrs/ADR%20268%20-%20Raw%20SQL%20is%20a%20value%20of%20the%20data%20type%20sql-expression.md) |
 
 ## Query System
 
@@ -144,7 +145,7 @@ This document provides a comprehensive index of all Architectural Decision Recor
 | 118 | Bundle inclusion policy for packs | Establishes bundle inclusion policy and security constraints for packs | [ADR 118 - Bundle inclusion policy for packs.md](adrs/ADR%20118%20-%20Bundle%20inclusion%20policy%20for%20packs.md) |
 | 121 | Contract.d.ts structure and relation typing | Complete specification for Tables, Models, and Relations namespaces with proper relation field typing | [ADR 121 - Contract.d.ts structure and relation typing.md](adrs/ADR%20121%20-%20Contract.d.ts%20structure%20and%20relation%20typing.md) |
 | 126 | PSL top-level block SPI | Defines SPI for packs to register new top-level blocks (views, enums, etc.); its parameter value-kind tables and descriptor-data validation are superseded by [ADR 262](adrs/ADR%20262%20-%20Block%20specs%20bind%20top-level%20block%20values.md) | [ADR 126 - PSL top-level block SPI.md](adrs/ADR%20126%20-%20PSL%20top-level%20block%20SPI.md) |
-| 129 | Tagged literals write values of data types | A qualified name followed by a string literal in backticks or quotes; the tag names the data type of the text; backtick strings only after a tag; one canonicalization for PSL and TypeScript; a tag is unprefixed when the family or a target owns its data type, by the rule in ADR 254; `sql` is the tag of the data type `sql/expression` and has no prefixed aliases; `` @default(sql`...`) `` is stored as the ordinary function-kind column default | [ADR 129 - Template-Tagged Literals for Extensions.md](adrs/ADR%20129%20-%20Template-Tagged%20Literals%20for%20Extensions.md) |
+| 129 | Tagged literals write values of data types | A qualified name followed by a string literal in backticks or quotes; the tag names the data type of the text; backtick strings only after a tag; one canonicalization for PSL and TypeScript; a tag is unprefixed when the family or a target owns its data type, by the rule in ADR 254; `sql` is the tag of the data type `sql/expression` and has no prefixed aliases; `` @default(sql`...`) `` is stored as the ordinary function-kind column default; a position with a fixed data type checks the tag while parsing through `dataTypeValue`; `contract infer` prints the SQL of indexes, checks and policies as `sql` literals and skips an exact-named object whose text would not read back unchanged | [ADR 129 - Template-Tagged Literals for Extensions.md](adrs/ADR%20129%20-%20Template-Tagged%20Literals%20for%20Extensions.md) |
 | 153 | Extension Package Naming Convention | Standardizes on `extension-*` prefix exclusively for extension pack npm names | [ADR 153 - Extension Package Naming Convention.md](adrs/ADR%20153%20-%20Extension%20Package%20Naming%20Convention.md) |
 | 214 | Extension operator surface: namespaced replacement operators and the predicate/helper split | Pattern for extension operators whose codec output cannot back a framework built-in's wire semantics: declare zero of the relevant traits + ship namespaced replacements. Predicate operators register as column methods through the operation registry; non-predicate operators (sort comparators, SELECT-expression accessors) ship as free-standing helper functions. Cipherstash is the canonical worked example. | [ADR 214 - Extension operator surface namespaced replacement operators.md](adrs/ADR%20214%20-%20Extension%20operator%20surface%20namespaced%20replacement%20operators.md) |