@prisma/orm-family-sql 8.0.0-rc.1-dev.30 → 8.0.0-rc.1-dev.32

package/dist/{foreign-key-materialization-ziwobURR.mjs → foreign-key-materialization-DLOi1Ps0.mjs}

@@ -1,4 +1,4 @@
-import { n as lowerAuthoredIndex } from "./index-naming-BoGBcMmI-CoehgjMK.mjs";
+import { n as lowerAuthoredIndex } from "./index-naming-DREt6js7-CRH27yUv.mjs";
 //#region ../../../2-sql/1-core/contract/dist/foreign-key-materialization.mjs
 /**
 * The column-list keys (`"colA,colB"`, order preserved) a table's own
@@ -69,4 +69,4 @@ function materializeForeignKeysAndIndexes(tableName, foreignKeys, declaredIndexe
 //#endregion
 export { isBackedByColumnKeys as n, materializeForeignKeysAndIndexes as r, backingIndexColumnKeys as t };
 
-//# sourceMappingURL=foreign-key-materialization-ziwobURR.mjs.map
+//# sourceMappingURL=foreign-key-materialization-DLOi1Ps0.mjs.map

package/dist/{foreign-key-materialization-ziwobURR.mjs.map → foreign-key-materialization-DLOi1Ps0.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"foreign-key-materialization-ziwobURR.mjs","names":[],"sources":["../../../../2-sql/1-core/contract/dist/foreign-key-materialization.mjs"],"sourcesContent":["import { n as lowerAuthoredIndex } from \"./index-naming-BoGBcMmI.mjs\";\n//#region src/foreign-key-materialization.ts\n/**\n* The column-list keys (`\"colA,colB\"`, order preserved) a table's own\n* indexes, unique constraints, and primary key already back. A foreign key\n* whose source columns join to one of these keys needs no separately\n* derived backing index.\n*\n* Shared by {@link isBackedByColumnKeys}'s callers: `materializeForeignKeysAndIndexes`\n* (deriving the discrete backing-index entities persisted at `contract emit`)\n* and the postgres PSL inferrer (deciding whether an introspected relation\n* needs an explicit `index: false`).\n*/\nfunction backingIndexColumnKeys(table) {\n\treturn [\n\t\t...table.indexes.flatMap((index) => index.columns !== void 0 ? [index.columns.join(\",\")] : []),\n\t\t...table.uniques.map((unique) => unique.columns.join(\",\")),\n\t\t...table.primaryKey ? [table.primaryKey.columns.join(\",\")] : []\n\t];\n}\n/**\n* Whether `columns`, in order, matches one of `backingKeys` (see\n* {@link backingIndexColumnKeys}). Order-sensitive: `(a, b)` does not\n* satisfy a backing index declared as `(b, a)`.\n*/\nfunction isBackedByColumnKeys(columns, backingKeys) {\n\treturn backingKeys.includes(columns.join(\",\"));\n}\n/**\n* Lowers a table's authored foreign keys into the discrete entities\n* `contract.json` persists: a `constraint: false` FK contributes no\n* `foreignKeys[]` entry, and an `index: true` FK whose columns aren't already\n* backed by a declared index/unique/primary-key contributes a wire-named\n* `indexes[]` entry (default prefix + content-hash wire name). Declared\n* indexes always survive unchanged; a second FK sharing already-synthesized\n* backing columns does not mint a duplicate index.\n*/\nfunction materializeForeignKeysAndIndexes(tableName, foreignKeys, declaredIndexes, uniques, primaryKey) {\n\tconst satisfiedIndexColumns = new Set(backingIndexColumnKeys({\n\t\tindexes: declaredIndexes,\n\t\tuniques,\n\t\tprimaryKey\n\t}));\n\tconst synthesizedIndexes = [];\n\tconst materializedForeignKeys = [];\n\tfor (const { constraint, index, ...reference } of foreignKeys) {\n\t\tif (constraint !== false) materializedForeignKeys.push(reference);\n\t\tif (index !== false) {\n\t\t\tconst key = reference.source.columns.join(\",\");\n\t\t\tif (!satisfiedIndexColumns.has(key)) {\n\t\t\t\tsynthesizedIndexes.push(lowerAuthoredIndex(tableName, {\n\t\t\t\t\tcolumns: reference.source.columns,\n\t\t\t\t\twhere: void 0,\n\t\t\t\t\tunique: void 0,\n\t\t\t\t\tmap: void 0,\n\t\t\t\t\tname: void 0,\n\t\t\t\t\ttype: void 0,\n\t\t\t\t\toptions: void 0\n\t\t\t\t}));\n\t\t\t\tsatisfiedIndexColumns.add(key);\n\t\t\t}\n\t\t}\n\t}\n\treturn {\n\t\tforeignKeys: materializedForeignKeys,\n\t\tindexes: [...declaredIndexes, ...synthesizedIndexes]\n\t};\n}\n//#endregion\nexport { backingIndexColumnKeys, isBackedByColumnKeys, materializeForeignKeysAndIndexes };\n\n//# sourceMappingURL=foreign-key-materialization.mjs.map"],"mappings":";;;;;;;;;;;;;AAaA,SAAS,uBAAuB,OAAO;CACtC,OAAO;EACN,GAAG,MAAM,QAAQ,SAAS,UAAU,MAAM,YAAY,KAAK,IAAI,CAAC,MAAM,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;EAC7F,GAAG,MAAM,QAAQ,KAAK,WAAW,OAAO,QAAQ,KAAK,GAAG,CAAC;EACzD,GAAG,MAAM,aAAa,CAAC,MAAM,WAAW,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC;CAC/D;AACD;;;;;;AAMA,SAAS,qBAAqB,SAAS,aAAa;CACnD,OAAO,YAAY,SAAS,QAAQ,KAAK,GAAG,CAAC;AAC9C;;;;;;;;;;AAUA,SAAS,iCAAiC,WAAW,aAAa,iBAAiB,SAAS,YAAY;CACvG,MAAM,wBAAwB,IAAI,IAAI,uBAAuB;EAC5D,SAAS;EACT;EACA;CACD,CAAC,CAAC;CACF,MAAM,qBAAqB,CAAC;CAC5B,MAAM,0BAA0B,CAAC;CACjC,KAAK,MAAM,EAAE,YAAY,OAAO,GAAG,eAAe,aAAa;EAC9D,IAAI,eAAe,OAAO,wBAAwB,KAAK,SAAS;EAChE,IAAI,UAAU,OAAO;GACpB,MAAM,MAAM,UAAU,OAAO,QAAQ,KAAK,GAAG;GAC7C,IAAI,CAAC,sBAAsB,IAAI,GAAG,GAAG;IACpC,mBAAmB,KAAK,mBAAmB,WAAW;KACrD,SAAS,UAAU,OAAO;KAC1B,OAAO,KAAK;KACZ,QAAQ,KAAK;KACb,KAAK,KAAK;KACV,MAAM,KAAK;KACX,MAAM,KAAK;KACX,SAAS,KAAK;IACf,CAAC,CAAC;IACF,sBAAsB,IAAI,GAAG;GAC9B;EACD;CACD;CACA,OAAO;EACN,aAAa;EACb,SAAS,CAAC,GAAG,iBAAiB,GAAG,kBAAkB;CACpD;AACD"}
+{"version":3,"file":"foreign-key-materialization-DLOi1Ps0.mjs","names":[],"sources":["../../../../2-sql/1-core/contract/dist/foreign-key-materialization.mjs"],"sourcesContent":["import { n as lowerAuthoredIndex } from \"./index-naming-DREt6js7.mjs\";\n//#region src/foreign-key-materialization.ts\n/**\n* The column-list keys (`\"colA,colB\"`, order preserved) a table's own\n* indexes, unique constraints, and primary key already back. A foreign key\n* whose source columns join to one of these keys needs no separately\n* derived backing index.\n*\n* Shared by {@link isBackedByColumnKeys}'s callers: `materializeForeignKeysAndIndexes`\n* (deriving the discrete backing-index entities persisted at `contract emit`)\n* and the postgres PSL inferrer (deciding whether an introspected relation\n* needs an explicit `index: false`).\n*/\nfunction backingIndexColumnKeys(table) {\n\treturn [\n\t\t...table.indexes.flatMap((index) => index.columns !== void 0 ? [index.columns.join(\",\")] : []),\n\t\t...table.uniques.map((unique) => unique.columns.join(\",\")),\n\t\t...table.primaryKey ? [table.primaryKey.columns.join(\",\")] : []\n\t];\n}\n/**\n* Whether `columns`, in order, matches one of `backingKeys` (see\n* {@link backingIndexColumnKeys}). Order-sensitive: `(a, b)` does not\n* satisfy a backing index declared as `(b, a)`.\n*/\nfunction isBackedByColumnKeys(columns, backingKeys) {\n\treturn backingKeys.includes(columns.join(\",\"));\n}\n/**\n* Lowers a table's authored foreign keys into the discrete entities\n* `contract.json` persists: a `constraint: false` FK contributes no\n* `foreignKeys[]` entry, and an `index: true` FK whose columns aren't already\n* backed by a declared index/unique/primary-key contributes a wire-named\n* `indexes[]` entry (default prefix + content-hash wire name). Declared\n* indexes always survive unchanged; a second FK sharing already-synthesized\n* backing columns does not mint a duplicate index.\n*/\nfunction materializeForeignKeysAndIndexes(tableName, foreignKeys, declaredIndexes, uniques, primaryKey) {\n\tconst satisfiedIndexColumns = new Set(backingIndexColumnKeys({\n\t\tindexes: declaredIndexes,\n\t\tuniques,\n\t\tprimaryKey\n\t}));\n\tconst synthesizedIndexes = [];\n\tconst materializedForeignKeys = [];\n\tfor (const { constraint, index, ...reference } of foreignKeys) {\n\t\tif (constraint !== false) materializedForeignKeys.push(reference);\n\t\tif (index !== false) {\n\t\t\tconst key = reference.source.columns.join(\",\");\n\t\t\tif (!satisfiedIndexColumns.has(key)) {\n\t\t\t\tsynthesizedIndexes.push(lowerAuthoredIndex(tableName, {\n\t\t\t\t\tcolumns: reference.source.columns,\n\t\t\t\t\twhere: void 0,\n\t\t\t\t\tunique: void 0,\n\t\t\t\t\tmap: void 0,\n\t\t\t\t\tname: void 0,\n\t\t\t\t\ttype: void 0,\n\t\t\t\t\toptions: void 0\n\t\t\t\t}));\n\t\t\t\tsatisfiedIndexColumns.add(key);\n\t\t\t}\n\t\t}\n\t}\n\treturn {\n\t\tforeignKeys: materializedForeignKeys,\n\t\tindexes: [...declaredIndexes, ...synthesizedIndexes]\n\t};\n}\n//#endregion\nexport { backingIndexColumnKeys, isBackedByColumnKeys, materializeForeignKeysAndIndexes };\n\n//# sourceMappingURL=foreign-key-materialization.mjs.map"],"mappings":";;;;;;;;;;;;;AAaA,SAAS,uBAAuB,OAAO;CACtC,OAAO;EACN,GAAG,MAAM,QAAQ,SAAS,UAAU,MAAM,YAAY,KAAK,IAAI,CAAC,MAAM,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;EAC7F,GAAG,MAAM,QAAQ,KAAK,WAAW,OAAO,QAAQ,KAAK,GAAG,CAAC;EACzD,GAAG,MAAM,aAAa,CAAC,MAAM,WAAW,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC;CAC/D;AACD;;;;;;AAMA,SAAS,qBAAqB,SAAS,aAAa;CACnD,OAAO,YAAY,SAAS,QAAQ,KAAK,GAAG,CAAC;AAC9C;;;;;;;;;;AAUA,SAAS,iCAAiC,WAAW,aAAa,iBAAiB,SAAS,YAAY;CACvG,MAAM,wBAAwB,IAAI,IAAI,uBAAuB;EAC5D,SAAS;EACT;EACA;CACD,CAAC,CAAC;CACF,MAAM,qBAAqB,CAAC;CAC5B,MAAM,0BAA0B,CAAC;CACjC,KAAK,MAAM,EAAE,YAAY,OAAO,GAAG,eAAe,aAAa;EAC9D,IAAI,eAAe,OAAO,wBAAwB,KAAK,SAAS;EAChE,IAAI,UAAU,OAAO;GACpB,MAAM,MAAM,UAAU,OAAO,QAAQ,KAAK,GAAG;GAC7C,IAAI,CAAC,sBAAsB,IAAI,GAAG,GAAG;IACpC,mBAAmB,KAAK,mBAAmB,WAAW;KACrD,SAAS,UAAU,OAAO;KAC1B,OAAO,KAAK;KACZ,QAAQ,KAAK;KACb,KAAK,KAAK;KACV,MAAM,KAAK;KACX,MAAM,KAAK;KACX,SAAS,KAAK;IACf,CAAC,CAAC;IACF,sBAAsB,IAAI,GAAG;GAC9B;EACD;CACD;CACA,OAAO;EACN,aAAa;EACb,SAAS,CAAC,GAAG,iBAAiB,GAAG,kBAAkB;CACpD;AACD"}

package/dist/{foreign-key-materialization-CDDVZI8R.d.mts → foreign-key-materialization-DO9dvG7v.d.mts}

@@ -1,6 +1,6 @@
 import { a as ReferentialAction, i as ForeignKeyReferenceInput, n as ForeignKeyInput } from "./foreign-key-C-iTPuRT-C9ip8zFx.mjs";
 import { i as UniqueConstraintInput, n as PrimaryKeyInput } from "./unique-constraint-M5TlQnJQ-BiIHJ85k.mjs";
-import { r as IndexInput } from "./sql-index-ByAAE7K8-C1h4IS27.mjs";
+import { r as IndexInput } from "./sql-index-ByAAE7K8-DKj2V86p.mjs";
 //#region ../../../2-sql/1-core/contract/dist/foreign-key-materialization.d.mts
 //#region src/foreign-key-materialization.d.ts
 type BackingIndexCandidates = {
@@ -62,4 +62,4 @@ interface MaterializedTableConstraints {
 declare function materializeForeignKeysAndIndexes(tableName: string, foreignKeys: readonly ForeignKeyAuthoringInput[], declaredIndexes: readonly IndexInput[], uniques: readonly UniqueConstraintInput[], primaryKey: PrimaryKeyInput | undefined): MaterializedTableConstraints;
 //#endregion
 export { isBackedByColumnKeys as a, backingIndexColumnKeys as i, ForeignKeyAuthoringInput as n, materializeForeignKeysAndIndexes as o, MaterializedTableConstraints as r, BackingIndexCandidates as t };
-//# sourceMappingURL=foreign-key-materialization-CDDVZI8R.d.mts.map
+//# sourceMappingURL=foreign-key-materialization-DO9dvG7v.d.mts.map

package/dist/{foreign-key-materialization-CDDVZI8R.d.mts.map → foreign-key-materialization-DO9dvG7v.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"foreign-key-materialization-CDDVZI8R.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/foreign-key-materialization.d.mts"],"mappings":";;;;;KAIK;WACM;aACE;;WAEF;aACE;;WAEF;aACE;;;;;;;;;;;;;;iBAcI,uBAAuB,OAAO;;;;;;iBAM9B,qBAAqB,4BAA4B;;;;;;UAMxD;WACC,QAAQ;WACR,QAAQ;WACR;WACA,WAAW;WACX,WAAW;WACX;WACA;;UAED;WACC,sBAAsB;WACtB,kBAAkB;;;;;;;;;;;iBAWZ,iCAAiC,mBAAmB,sBAAsB,4BAA4B,0BAA0B,cAAc,kBAAkB,yBAAyB,YAAY,8BAA8B"}
+{"version":3,"file":"foreign-key-materialization-DO9dvG7v.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/foreign-key-materialization.d.mts"],"mappings":";;;;;KAIK;WACM;aACE;;WAEF;aACE;;WAEF;aACE;;;;;;;;;;;;;;iBAcI,uBAAuB,OAAO;;;;;;iBAM9B,qBAAqB,4BAA4B;;;;;;UAMxD;WACC,QAAQ;WACR,QAAQ;WACR;WACA,WAAW;WACX,WAAW;WACX;WACA;;UAED;WACC,sBAAsB;WACtB,kBAAkB;;;;;;;;;;;iBAWZ,iCAAiC,mBAAmB,sBAAsB,4BAA4B,0BAA0B,cAAc,kBAAkB,yBAAyB,YAAY,8BAA8B"}

package/dist/{index-DbDTloZS.d.mts → index-C5I8D-MB.d.mts}

@@ -1,5 +1,5 @@
-import { w as QueryOperationTypeEntry } from "./types-C89S13jo-CGy-V60b.mjs";
-import "./types-D6ST3Gkf.mjs";
+import { w as QueryOperationTypeEntry } from "./types-BDUG29Df-LE85dIXP.mjs";
+import "./types-UcHa2cTe.mjs";
 import { OperationDescriptor, OperationDescriptors, OperationRegistry } from "@prisma/orm-framework/operations";
 //#region ../../../2-sql/1-core/operations/dist/index.d.mts
 //#region src/index.d.ts
@@ -22,4 +22,4 @@ type SqlOperationRegistry = OperationRegistry<SqlOperationEntry>;
 declare function createSqlOperationRegistry(): SqlOperationRegistry;
 //#endregion
 export { SqlOperationRegistry as a, SqlOperationEntry as i, SqlOperationDescriptor as n, createSqlOperationRegistry as o, SqlOperationDescriptors as r, SqlLoweringSpec as t };
-//# sourceMappingURL=index-DbDTloZS.d.mts.map
+//# sourceMappingURL=index-C5I8D-MB.d.mts.map

package/dist/{index-DbDTloZS.d.mts.map → index-C5I8D-MB.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"index-DbDTloZS.d.mts","names":[],"sources":["../../../../2-sql/1-core/operations/dist/index.d.mts"],"mappings":";;;;;UAGU;WACC;WACA;WACA;;;;;;;;;KASN,oBAAoB;KACpB,yBAAyB,oBAAoB;KAC7C,0BAA0B,qBAAqB;KAC/C,uBAAuB,kBAAkB;iBAC7B,8BAA8B"}
+{"version":3,"file":"index-C5I8D-MB.d.mts","names":[],"sources":["../../../../2-sql/1-core/operations/dist/index.d.mts"],"mappings":";;;;;UAGU;WACC;WACA;WACA;;;;;;;;;KASN,oBAAoB;KACpB,yBAAyB,oBAAoB;KAC7C,0BAA0B,qBAAqB;KAC/C,uBAAuB,kBAAkB;iBAC7B,8BAA8B"}

package/dist/{index-BIj_Z-Yu.d.mts → index-Ddquditw.d.mts}

@@ -1,18 +1,18 @@
-import { c as SqlStorage } from "./sql-storage-CySVsLrY-e9C5Gszx.mjs";
-import "./types-D6ST3Gkf.mjs";
-import { r as SqlOperationDescriptors } from "./index-DbDTloZS.mjs";
-import { Et as SqlCodecCallContext, O as ContractCodecRegistry, T as CodecRef$1, lt as LoweredParam, m as AnyQueryAst, ut as LoweredStatement, x as Codec$1 } from "./types-ZzeQKmYD-D1hXGIgd.mjs";
-import { E as SqlQueryable, _ as SqlConnection, o as MarkerReadResult, t as Adapter, v as SqlDriver } from "./ast-Px7aAd_0.mjs";
-import { a as Expression, i as CodecValue, o as RawCodecInferer, r as CodecTypesBase } from "./expression-E67TGFZA.mjs";
-import { t as SqlExecutionPlan } from "./sql-execution-plan-qxvHnFcA-DdIwfSmv.mjs";
-import { t as SqlQueryPlan } from "./plan-DfLDIdep-CoshEetE.mjs";
-import "./plan-DduVZV0X.mjs";
-import { n as CodecDescriptorRegistry, r as ExecutionContext } from "./query-lane-context-DyDSQVS--ByM80KpV.mjs";
-import "./query-lane-context-DojOMvih.mjs";
-import { i as SqlParamRefMutator } from "./middleware-Bp5oIYM0-9a28aLnt.mjs";
-import "./middleware-Pe2hkf2T.mjs";
-import { y as RuntimeScope } from "./types-CLN9Y3BH-B9xrXW2L.mjs";
-import "./types-C0QjlN2G.mjs";
+import { c as SqlStorage } from "./sql-storage-8LqxeLAY-DH4DdUXx.mjs";
+import "./types-UcHa2cTe.mjs";
+import { r as SqlOperationDescriptors } from "./index-C5I8D-MB.mjs";
+import { Et as SqlCodecCallContext, O as ContractCodecRegistry, T as CodecRef$1, lt as LoweredParam, m as AnyQueryAst, ut as LoweredStatement, x as Codec$1 } from "./types-ZzeQKmYD-kI_QWHEx.mjs";
+import { E as SqlQueryable, _ as SqlConnection, o as MarkerReadResult, t as Adapter, v as SqlDriver } from "./ast-DRbUiQ-9.mjs";
+import { a as Expression, i as CodecValue, o as RawCodecInferer, r as CodecTypesBase } from "./expression-D7H1kyVG.mjs";
+import { t as SqlExecutionPlan } from "./sql-execution-plan-qxvHnFcA-HjRSS3l9.mjs";
+import { t as SqlQueryPlan } from "./plan-DfLDIdep-6R1mLkcW.mjs";
+import "./plan-HWPzzUxh.mjs";
+import { n as CodecDescriptorRegistry, r as ExecutionContext } from "./query-lane-context-DyDSQVS--CyCznt67.mjs";
+import "./query-lane-context-qfJzguc9.mjs";
+import { i as SqlParamRefMutator } from "./middleware-Bp5oIYM0-Ek8bISDH.mjs";
+import "./middleware-aFpB1ZhU.mjs";
+import { y as RuntimeScope } from "./types-CLN9Y3BH-BHUrV7MD.mjs";
+import "./types-4u1EPYY6.mjs";
 import { Contract, JsonValue, PlanMeta } from "@prisma/orm-framework/contract/types";
 import { AnyCodecDescriptor, CodecDescriptor } from "@prisma/orm-framework/components/codec";
 import { AfterExecuteResult, AfterExecuteResult as AfterExecuteResult$1, AsyncIterableResult, ExecutionPlan, RuntimeCore, RuntimeExecuteOptions, RuntimeLog, RuntimeLog as Log, RuntimeMiddleware, RuntimeMiddlewareContext } from "@prisma/orm-framework/components/runtime";
@@ -507,4 +507,4 @@ interface LintsOptions {
 declare function lints(options?: LintsOptions): SqlMiddleware;
 //#endregion
 export { RuntimeQueryable as A, SqlRuntimeDriverInstance as B, PreparedStatementImpl as C, RuntimeFamilyAdapter as D, RuntimeConnection as E, SqlMiddleware as F, TelemetryOutcome as G, SqlRuntimeExtensionInstance as H, SqlMiddlewareContext as I, createExecutionContext as J, TransactionContext as K, SqlRuntimeAdapterDescriptor as L, RuntimeTransaction as M, SqlExecutionStack as N, RuntimeMutationDefaultGenerator as O, SqlExecutionStackWithDriver as P, withTransaction as Q, SqlRuntimeAdapterInstance as R, PreparedStatement as S, Runtime as T, SqlRuntimeTargetDescriptor as U, SqlRuntimeExtensionDescriptor as V, SqlStaticContributions as W, deriveParamMetadata as X, createSqlExecutionStack as Y, encodeParamsWithMetadata as Z, GeneratorStability as _, budgets as a, ParamsFromDeclaration as b, lints as c, validateContractCodecMappings as d, BindSiteParams as f, DeclaredNullable as g, DeclaredCodecId as h, Log as i, RuntimeTelemetryEvent as j, RuntimeParameterizedCodecDescriptor as k, lowerSqlPlan as l, Declaration as m, BudgetsOptions as n, createAstCodecRegistry as o, ConnectionProvider as p, VerifyMarkerOption as q, LintsOptions as r, extractCodecIds as s, AfterExecuteResult$1 as t, validateCodecRegistryCompleteness as u, MarkerReader as v, PreparedStatementInternals as w, PrepareCallback as x, ParamSpec as y, SqlRuntimeBase as z };
-//# sourceMappingURL=index-BIj_Z-Yu.d.mts.map
+//# sourceMappingURL=index-Ddquditw.d.mts.map

package/dist/{index-BIj_Z-Yu.d.mts.map → index-Ddquditw.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"index-BIj_Z-Yu.d.mts","names":[],"sources":["../../../../2-sql/5-runtime/dist/prepared-statement-D4zOlprk.d.mts","../../../../2-sql/5-runtime/dist/index.d.mts"],"mappings":";;;;;;;;;;;;;;;;;;;;;UAaU;WACC,OAAO;WACP;;iBAEM,oBAAoB,KAAK,uBAAuB;iBAChD,yBAAyB,4BAA4B,mBAAmB,iBAAiB,KAAK,qBAAqB,iBAAiB,wBAAwB;;;UAGnK,6BAA6B;WAC5B,UAAU,SAAS;;;;;;UAMpB;WACC,KAAK;WACL,MAAM;;UAEP,cAAc,kBAAkB,0BAA0B,iCAAiC,kBAAkB,kBAAkB,mBAAmB;WACjJ;;;;;;;;;;;;;;;;;;;EAmBT,eAAe,OAAO,WAAW,KAAK,uBAAuB,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;EA0BrE,eAAe,MAAM,kBAAkB,KAAK,sBAAsB,SAAS,mBAAmB,oBAAoB;EAClH,OAAO,KAAK,yBAAyB,MAAM,kBAAkB,KAAK,uBAAuB;EACzF,cAAc,MAAM,kBAAkB,QAAQ,oBAAoB,KAAK,uBAAuB;;;;KAI3F;EACH;EACA;;UAEQ;WACC,SAAS;WACT,QAAQ,oBAAoB;WAC5B,YAAY,oBAAoB;WAChC,gBAAgB;WAChB,aAAa;;;;KAenB,UAAU,WAAW,iBAAiB,yBAAyB;WACzD,eAAe;WACf,aAAa;WACb;;KAEN,YAAY,WAAW,iBAAiB,kBAAkB,SAAS,eAAe,UAAU;KAC5F,gBAAgB,KAAK,mBAAmB,IAAI;WACtC,eAAe;IACtB;KACC,iBAAiB,KAAK;WAChB;;KAEN,eAAe,iBAAiB,WAAW,IAAI;EAClD,SAAS,gBAAgB,EAAE;EAC3B,UAAU,iBAAiB,EAAE;;KAE1B,sBAAsB,GAAG,WAAW,8BAA8B,WAAW,IAAI,WAAW,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,KAAK;KAC3I,gBAAgB,GAAG,QAAQ,QAAQ,eAAe,OAAO,aAAa;UACjE,kBAAkB,QAAQ;WACzB;WACA,KAAK;WACL,MAAM;WACN,gBAAgB;;;;;;;EAOzB,QAAQ,QAAQ,kBAAkB,QAAQ,QAAQ,UAAU,wBAAwB,oBAAoB;;;;;;;UAOhG;EACR,WAAW,WAAW,eAAe,QAAQ;;;;;;;;;;UAUrC,qBAAqB;WACpB,UAAU;WACV,cAAc;EACvB,aAAa,MAAM,eAAe,UAAU;;;;;;;;;;;;;;;;;;;KAmBzC;KACA;UACK;WACC;WACA;WACA;WACA,SAAS;WACT;;;;;;;;;;;KAWN,oCAAoC,IAAI,2BAA2B,gBAAgB;;;;UAI9E;WACC,cAAc,cAAc;WAC5B,wBAAwB;WACxB,kCAAkC,cAAc;;;;;;;;;KAStD;UACK;WACC;WACA,WAAW,SAAS;;;;WAIpB,WAAW;;UAEZ,2BAA2B,mCAAmC,wBAAwB,6BAA6B,aAAa,6BAA6B,oBAAoB,+BAA+B,WAAW,kBAAkB;UAC7O,4BAA4B,mCAAmC,yBAAyB,8BAA8B,aAAa,0BAA0B,oBAAoB,gCAAgC,WAAW,mBAAmB;;;;WAI9O,iBAAiB;;UAElB,8BAA8B,2CAA2C,kCAAkC,WAAW,4BAA4B,aAAa;EACvK,UAAU,4BAA4B;;UAE9B,kBAAkB;WACjB,QAAQ,2BAA2B;WACnC,SAAS,4BAA4B;WACrC,qBAAqB,8BAA8B;;KAEzD,4BAA4B,qCAAqC,KAAK,sBAAsB,WAAW,0BAA0B,YAAY,yBAAyB,YAAY,4BAA4B;WACxM,QAAQ,2BAA2B;WACnC,SAAS,4BAA4B,WAAW,0BAA0B;WAC1E,QAAQ,+BAA+B,oBAAoB,yBAAyB;WACpF,qBAAqB,8BAA8B;;UAEpD,4BAA4B,kCAAkC,gCAAgC;KACnG,0BAA0B,qCAAqC,8BAA8B,aAAa,QAAQ,aAAa,SAAS,aAAa;;;;KAIrJ,yBAAyB,qCAAqC,6BAA6B,aAAa;iBAC5F,wBAAwB,0BAA0B;WACxD,QAAQ,2BAA2B;WACnC,SAAS,4BAA4B;WACrC,SAAS,+BAA+B,oBAAoB,yBAAyB;WACrF,sBAAsB,8BAA8B;IAC3D,4BAA4B;iBACf,uBAAuB,kBAAkB,SAAS,cAAc,SAAS,aAAa,mCAAmC;WAC/H,UAAU;WACV,OAAO,kBAAkB;;;;WAIzB,SAAS,+BAA+B,oBAAoB,yBAAyB;IAC5F,iBAAiB;;;KAGhB,QAAM;UACD,eAAe,kBAAkB,SAAS,cAAc,SAAS;WAChE,SAAS,iBAAiB;WAC1B,SAAS,QAAQ,aAAa,SAAS,aAAa;WACpD,QAAQ;WACR,eAAe;WACf,sBAAsB;WACtB;WACA,MAAM;;;;;;UAMP,gBAAgB;EACxB,cAAc,QAAQ;EACtB,aAAa;EACb,SAAS;;;;;;EAMT,QAAQ,UAAU,YAAY,KAAK,KAAK,WAAW,iBAAiB,gBAAgB,aAAa,GAAG,UAAU,gBAAgB,GAAG,OAAO,QAAQ,kBAAkB,sBAAsB,GAAG,KAAK;;UAExL,0BAA0B;EAClC,eAAe,QAAQ;;;;EAIvB,WAAW;;;;;;;;EAQX,QAAQ,mBAAmB;;UAEnB,2BAA2B;EACnC,UAAU;EACV,YAAY;;UAEJ,yBAAyB;;;;;;;EAOjC,gBAAgB,QAAQ,KAAK,IAAI,kBAAkB,QAAQ,MAAM,QAAQ,QAAQ,UAAU,wBAAwB,oBAAoB;;UAE/H,2BAA2B;WAC1B;;;;;;;uBAOY,eAAe,kBAAkB,SAAS,cAAc,SAAS,qBAAqB,YAAY,cAAc,kBAAkB,0BAA0B;;mBAEhK;mBACA;mBACA;mBACA;mBACA;mBACA;mBACA;mBACA;UACT;UACA;UACA;EACR,YAAY,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;YAqB1B,MAAM,MAAM,cAAc,KAAK,sBAAsB,QAAQ;;;;;;;;UAQ/D;;;;;;;UAOA;;;;YAIE,UAAU,MAAM,mBAAmB,cAAc;;;;;YAKjD,iBAAiB,MAAM,eAAe,QAAQ;EACxD,QAAQ,KAAK,OAAO,4BAA4B;aACrC,OAAO;KACf,UAAU,wBAAwB,oBAAoB;EACzD,gBAAgB,QAAQ,KAAK,IAAI,kBAAkB,QAAQ,MAAM,QAAQ,QAAQ,UAAU,wBAAwB,oBAAoB;;;;;;;YAO7H,wBAAwB,QAAQ;UAClC;;;;;;YAME,wBAAwB,KAAK,MAAM,4BAA4B,uBAAuB,WAAW,cAAc,UAAU,wBAAwB,oBAAoB;EAC/K,QAAQ,UAAU,YAAY,KAAK,KAAK,WAAW,iBAAiB,gBAAgB,aAAa,GAAG,UAAU,gBAAgB,GAAG,OAAO,QAAQ,kBAAkB,sBAAsB,GAAG,KAAK;;;;;YAKtL,gCAAgC,GAAG,KAAK,IAAI,sBAAsB,GAAG,MAAM,YAAY,yBAAyB,WAAW,cAAc,UAAU,wBAAwB,oBAAoB;EACzM,cAAc,QAAQ;UACd;EACR,aAAa;EACb,SAAS;UACD;UACA;UACA;;;UAGA;EACR,cAAc,QAAQ;;iBAEP,gBAAgB,GAAG,SAAS,oBAAoB,KAAK,IAAI,uBAAuB,YAAY,KAAK,QAAQ;;;UAGhH;WACC;WACA,KAAK;WACL,MAAM;WACN,gBAAgB;WAChB,eAAe;WACf,wBAAwB;;cAErB,sBAAsB,QAAQ,gBAAgB,kBAAkB,QAAQ,MAAM;WACjF;WACA,KAAK;WACL,MAAM;WACN,gBAAgB;WAChB,eAAe;WACf,wBAAwB;EACjC,YAAY,WAAW;EACvB,QAAQ,QAAQ,kBAAkB,QAAQ,QAAQ,UAAU,wBAAwB,oBAAoB;;;;;;;;;;;;;;iBCrazF,uBAAuB,aAAa,0BAA0B;;;iBAG9D,gBAAgB,UAAU,SAAS,cAAc;iBACjD,8BAA8B,UAAU,yBAAyB,UAAU,SAAS;iBACpF,kCAAkC,UAAU,yBAAyB,UAAU,SAAS;;;;;;;;;;;;iBAYxF,aAAa,KAAK,SAAS,QAAQ,aAAa,SAAS,aAAa,mBAAmB,UAAU,SAAS,aAAa,WAAW,aAAa,OAAO,iBAAiB;;;UAGhL;WACC;WACA;WACA,YAAY;WACZ;WACA;aACE;aACA;;;iBAGI,QAAQ,UAAU,iBAAiB;;;UAG1C;WACC;aACE;aACA;aACA;aACA;aACA;;WAEF;;;;;;;;;;;;;;;;iBAgBM,MAAM,UAAU,eAAe"}
+{"version":3,"file":"index-Ddquditw.d.mts","names":[],"sources":["../../../../2-sql/5-runtime/dist/prepared-statement-D4zOlprk.d.mts","../../../../2-sql/5-runtime/dist/index.d.mts"],"mappings":";;;;;;;;;;;;;;;;;;;;;UAaU;WACC,OAAO;WACP;;iBAEM,oBAAoB,KAAK,uBAAuB;iBAChD,yBAAyB,4BAA4B,mBAAmB,iBAAiB,KAAK,qBAAqB,iBAAiB,wBAAwB;;;UAGnK,6BAA6B;WAC5B,UAAU,SAAS;;;;;;UAMpB;WACC,KAAK;WACL,MAAM;;UAEP,cAAc,kBAAkB,0BAA0B,iCAAiC,kBAAkB,kBAAkB,mBAAmB;WACjJ;;;;;;;;;;;;;;;;;;;EAmBT,eAAe,OAAO,WAAW,KAAK,uBAAuB,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;EA0BrE,eAAe,MAAM,kBAAkB,KAAK,sBAAsB,SAAS,mBAAmB,oBAAoB;EAClH,OAAO,KAAK,yBAAyB,MAAM,kBAAkB,KAAK,uBAAuB;EACzF,cAAc,MAAM,kBAAkB,QAAQ,oBAAoB,KAAK,uBAAuB;;;;KAI3F;EACH;EACA;;UAEQ;WACC,SAAS;WACT,QAAQ,oBAAoB;WAC5B,YAAY,oBAAoB;WAChC,gBAAgB;WAChB,aAAa;;;;KAenB,UAAU,WAAW,iBAAiB,yBAAyB;WACzD,eAAe;WACf,aAAa;WACb;;KAEN,YAAY,WAAW,iBAAiB,kBAAkB,SAAS,eAAe,UAAU;KAC5F,gBAAgB,KAAK,mBAAmB,IAAI;WACtC,eAAe;IACtB;KACC,iBAAiB,KAAK;WAChB;;KAEN,eAAe,iBAAiB,WAAW,IAAI;EAClD,SAAS,gBAAgB,EAAE;EAC3B,UAAU,iBAAiB,EAAE;;KAE1B,sBAAsB,GAAG,WAAW,8BAA8B,WAAW,IAAI,WAAW,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,KAAK;KAC3I,gBAAgB,GAAG,QAAQ,QAAQ,eAAe,OAAO,aAAa;UACjE,kBAAkB,QAAQ;WACzB;WACA,KAAK;WACL,MAAM;WACN,gBAAgB;;;;;;;EAOzB,QAAQ,QAAQ,kBAAkB,QAAQ,QAAQ,UAAU,wBAAwB,oBAAoB;;;;;;;UAOhG;EACR,WAAW,WAAW,eAAe,QAAQ;;;;;;;;;;UAUrC,qBAAqB;WACpB,UAAU;WACV,cAAc;EACvB,aAAa,MAAM,eAAe,UAAU;;;;;;;;;;;;;;;;;;;KAmBzC;KACA;UACK;WACC;WACA;WACA;WACA,SAAS;WACT;;;;;;;;;;;KAWN,oCAAoC,IAAI,2BAA2B,gBAAgB;;;;UAI9E;WACC,cAAc,cAAc;WAC5B,wBAAwB;WACxB,kCAAkC,cAAc;;;;;;;;;KAStD;UACK;WACC;WACA,WAAW,SAAS;;;;WAIpB,WAAW;;UAEZ,2BAA2B,mCAAmC,wBAAwB,6BAA6B,aAAa,6BAA6B,oBAAoB,+BAA+B,WAAW,kBAAkB;UAC7O,4BAA4B,mCAAmC,yBAAyB,8BAA8B,aAAa,0BAA0B,oBAAoB,gCAAgC,WAAW,mBAAmB;;;;WAI9O,iBAAiB;;UAElB,8BAA8B,2CAA2C,kCAAkC,WAAW,4BAA4B,aAAa;EACvK,UAAU,4BAA4B;;UAE9B,kBAAkB;WACjB,QAAQ,2BAA2B;WACnC,SAAS,4BAA4B;WACrC,qBAAqB,8BAA8B;;KAEzD,4BAA4B,qCAAqC,KAAK,sBAAsB,WAAW,0BAA0B,YAAY,yBAAyB,YAAY,4BAA4B;WACxM,QAAQ,2BAA2B;WACnC,SAAS,4BAA4B,WAAW,0BAA0B;WAC1E,QAAQ,+BAA+B,oBAAoB,yBAAyB;WACpF,qBAAqB,8BAA8B;;UAEpD,4BAA4B,kCAAkC,gCAAgC;KACnG,0BAA0B,qCAAqC,8BAA8B,aAAa,QAAQ,aAAa,SAAS,aAAa;;;;KAIrJ,yBAAyB,qCAAqC,6BAA6B,aAAa;iBAC5F,wBAAwB,0BAA0B;WACxD,QAAQ,2BAA2B;WACnC,SAAS,4BAA4B;WACrC,SAAS,+BAA+B,oBAAoB,yBAAyB;WACrF,sBAAsB,8BAA8B;IAC3D,4BAA4B;iBACf,uBAAuB,kBAAkB,SAAS,cAAc,SAAS,aAAa,mCAAmC;WAC/H,UAAU;WACV,OAAO,kBAAkB;;;;WAIzB,SAAS,+BAA+B,oBAAoB,yBAAyB;IAC5F,iBAAiB;;;KAGhB,QAAM;UACD,eAAe,kBAAkB,SAAS,cAAc,SAAS;WAChE,SAAS,iBAAiB;WAC1B,SAAS,QAAQ,aAAa,SAAS,aAAa;WACpD,QAAQ;WACR,eAAe;WACf,sBAAsB;WACtB;WACA,MAAM;;;;;;UAMP,gBAAgB;EACxB,cAAc,QAAQ;EACtB,aAAa;EACb,SAAS;;;;;;EAMT,QAAQ,UAAU,YAAY,KAAK,KAAK,WAAW,iBAAiB,gBAAgB,aAAa,GAAG,UAAU,gBAAgB,GAAG,OAAO,QAAQ,kBAAkB,sBAAsB,GAAG,KAAK;;UAExL,0BAA0B;EAClC,eAAe,QAAQ;;;;EAIvB,WAAW;;;;;;;;EAQX,QAAQ,mBAAmB;;UAEnB,2BAA2B;EACnC,UAAU;EACV,YAAY;;UAEJ,yBAAyB;;;;;;;EAOjC,gBAAgB,QAAQ,KAAK,IAAI,kBAAkB,QAAQ,MAAM,QAAQ,QAAQ,UAAU,wBAAwB,oBAAoB;;UAE/H,2BAA2B;WAC1B;;;;;;;uBAOY,eAAe,kBAAkB,SAAS,cAAc,SAAS,qBAAqB,YAAY,cAAc,kBAAkB,0BAA0B;;mBAEhK;mBACA;mBACA;mBACA;mBACA;mBACA;mBACA;mBACA;UACT;UACA;UACA;EACR,YAAY,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;YAqB1B,MAAM,MAAM,cAAc,KAAK,sBAAsB,QAAQ;;;;;;;;UAQ/D;;;;;;;UAOA;;;;YAIE,UAAU,MAAM,mBAAmB,cAAc;;;;;YAKjD,iBAAiB,MAAM,eAAe,QAAQ;EACxD,QAAQ,KAAK,OAAO,4BAA4B;aACrC,OAAO;KACf,UAAU,wBAAwB,oBAAoB;EACzD,gBAAgB,QAAQ,KAAK,IAAI,kBAAkB,QAAQ,MAAM,QAAQ,QAAQ,UAAU,wBAAwB,oBAAoB;;;;;;;YAO7H,wBAAwB,QAAQ;UAClC;;;;;;YAME,wBAAwB,KAAK,MAAM,4BAA4B,uBAAuB,WAAW,cAAc,UAAU,wBAAwB,oBAAoB;EAC/K,QAAQ,UAAU,YAAY,KAAK,KAAK,WAAW,iBAAiB,gBAAgB,aAAa,GAAG,UAAU,gBAAgB,GAAG,OAAO,QAAQ,kBAAkB,sBAAsB,GAAG,KAAK;;;;;YAKtL,gCAAgC,GAAG,KAAK,IAAI,sBAAsB,GAAG,MAAM,YAAY,yBAAyB,WAAW,cAAc,UAAU,wBAAwB,oBAAoB;EACzM,cAAc,QAAQ;UACd;EACR,aAAa;EACb,SAAS;UACD;UACA;UACA;;;UAGA;EACR,cAAc,QAAQ;;iBAEP,gBAAgB,GAAG,SAAS,oBAAoB,KAAK,IAAI,uBAAuB,YAAY,KAAK,QAAQ;;;UAGhH;WACC;WACA,KAAK;WACL,MAAM;WACN,gBAAgB;WAChB,eAAe;WACf,wBAAwB;;cAErB,sBAAsB,QAAQ,gBAAgB,kBAAkB,QAAQ,MAAM;WACjF;WACA,KAAK;WACL,MAAM;WACN,gBAAgB;WAChB,eAAe;WACf,wBAAwB;EACjC,YAAY,WAAW;EACvB,QAAQ,QAAQ,kBAAkB,QAAQ,QAAQ,UAAU,wBAAwB,oBAAoB;;;;;;;;;;;;;;iBCrazF,uBAAuB,aAAa,0BAA0B;;;iBAG9D,gBAAgB,UAAU,SAAS,cAAc;iBACjD,8BAA8B,UAAU,yBAAyB,UAAU,SAAS;iBACpF,kCAAkC,UAAU,yBAAyB,UAAU,SAAS;;;;;;;;;;;;iBAYxF,aAAa,KAAK,SAAS,QAAQ,aAAa,SAAS,aAAa,mBAAmB,UAAU,SAAS,aAAa,WAAW,aAAa,OAAO,iBAAiB;;;UAGhL;WACC;WACA;WACA,YAAY;WACZ;WACA;aACE;aACA;;;iBAGI,QAAQ,UAAU,iBAAiB;;;UAG1C;WACC;aACE;aACA;aACA;aACA;aACA;;WAEF;;;;;;;;;;;;;;;;iBAgBM,MAAM,UAAU,eAAe"}

package/dist/{index-naming-BQXnMcXt.d.mts → index-naming-Ct65z5Xk.d.mts}

@@ -1,4 +1,4 @@
-import { r as IndexInput } from "./sql-index-ByAAE7K8-C1h4IS27.mjs";
+import { r as IndexInput } from "./sql-index-ByAAE7K8-DKj2V86p.mjs";
 import { AuthoringWarning, AuthoringWarningSink } from "@prisma/orm-framework/components/authoring";
 //#region ../../../2-sql/1-core/contract/dist/index-naming.d.mts
 //#region src/index-naming.d.ts
@@ -43,12 +43,12 @@ type AuthoredIndexInput = AuthoredIndexElements & AuthoredIndexMethod & {
 /**
  * Mints the exact-name body-comparison warning for a `map:`-named object
  * carrying a hand-authorable SQL body — fully formed, so the transport and
- * the flush stay generic. `subject` is `index` here and `policy` where
- * policies mint the same warning; the feature name and the remediation are
- * subject-specific end to end, so a batched summary (grouped on
- * code + summary) is true of every object it covers.
+ * the flush stay generic. `subject` distinguishes the index, policy, and
+ * check callers that mint this same warning; the feature name and the
+ * remediation are subject-specific end to end, so a batched summary
+ * (grouped on code + summary) is true of every object it covers.
  */
-declare function exactNameBodyWarning(subject: 'index' | 'policy', exactName: string): AuthoringWarning;
+declare function exactNameBodyWarning(subject: 'index' | 'policy' | 'check', exactName: string): AuthoringWarning;
 /**
  * Lowers an authored index into the name-identified entity `contract.json`
  * persists: exact mode adopts `map` verbatim (no prefix, no hash); wire
@@ -59,4 +59,4 @@ declare function exactNameBodyWarning(subject: 'index' | 'policy', exactName: st
 declare function lowerAuthoredIndex(tableName: string, authored: AuthoredIndexInput, warnings?: AuthoringWarningSink): IndexInput;
 //#endregion
 export { lowerAuthoredIndex as i, AuthoredIndexMethod as n, exactNameBodyWarning as r, AuthoredIndexInput as t };
-//# sourceMappingURL=index-naming-BQXnMcXt.d.mts.map
+//# sourceMappingURL=index-naming-Ct65z5Xk.d.mts.map

package/dist/{index-naming-BQXnMcXt.d.mts.map → index-naming-Ct65z5Xk.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"index-naming-BQXnMcXt.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/index-naming.d.mts"],"mappings":";;;;;;;;KAOK;WACM;WACA;;WAEA;WACA;;;;;;;;;KASN;WACM;WACA;;WAEA;WACA,SAAS;;;;;;;;;KASf,qBAAqB,wBAAwB;WACvC;WACA;WACA;WACA;;;;;;;;;;iBAUM,qBAAqB,6BAA6B,oBAAoB;;;;;;;;iBAQtE,mBAAmB,mBAAmB,UAAU,oBAAoB,WAAW,uBAAuB"}
+{"version":3,"file":"index-naming-Ct65z5Xk.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/index-naming.d.mts"],"mappings":";;;;;;;;KAOK;WACM;WACA;;WAEA;WACA;;;;;;;;;KASN;WACM;WACA;;WAEA;WACA,SAAS;;;;;;;;;KASf,qBAAqB,wBAAwB;WACvC;WACA;WACA;WACA;;;;;;;;;;iBAUM,qBAAqB,uCAAuC,oBAAoB;;;;;;;;iBAQhF,mBAAmB,mBAAmB,UAAU,oBAAoB,WAAW,uBAAuB"}

package/dist/{index-naming-BoGBcMmI-CoehgjMK.mjs → index-naming-DREt6js7-CRH27yUv.mjs}

@@ -1,30 +1,32 @@
 import { t as contractError } from "./contract-errors-BCN6RVI5-5IHBF_lg.mjs";
-import { a as computeIndexContentHash, n as assertWireNamePrefixLength, o as defaultIndexName } from "./naming-BWkuWJJK-zuGIIJ49.mjs";
+import { a as computeIndexContentHash, n as assertWireNamePrefixLength, o as defaultIndexName } from "./naming-DKr4TJd7-Cszhq9RV.mjs";
 import { flushAuthoringWarnings } from "@prisma/orm-framework/components/authoring";
-//#region ../../../2-sql/1-core/contract/dist/index-naming-BoGBcMmI.mjs
+//#region ../../../2-sql/1-core/contract/dist/index-naming-DREt6js7.mjs
 const EXACT_NAME_BODY_PREAMBLE = "Drift detection compares the authored SQL text byte-for-byte against Postgres's reprinted form, which is only reliable when the text was captured by contract infer.";
 /**
-* Per-subject remediation: an index moves to wire naming via `name:`;
-* a policy has no such parameter — dropping `@@map` makes the block's head
-* the wire prefix.
+* Per-subject remediation: an index or check moves to wire naming via
+* `name:`; a policy has no such parameter — dropping `@@map` makes the
+* block's head the wire prefix.
 */
 const EXACT_NAME_BODY_REMEDIATION = {
 	index: "For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted object to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.",
-	policy: "For hand-authored definitions, drop @@map and let the policy block's head name the policy; to migrate an adopted policy to wire naming, remove @@map (keeping the body text unchanged) and apply the resulting rename migration."
+	policy: "For hand-authored definitions, drop @@map and let the policy block's head name the policy; to migrate an adopted policy to wire naming, remove @@map (keeping the body text unchanged) and apply the resulting rename migration.",
+	check: "For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted check to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration."
 };
-/** What the user actually wrote, per subject: index `map:`, policy `@@map`. */
+/** What the user actually wrote, per subject: index and check `map:`, policy `@@map`. */
 const EXACT_NAME_FEATURE = {
 	index: "map:",
-	policy: "@@map"
+	policy: "@@map",
+	check: "map:"
 };
 const EXACT_NAME_BODY_WARNING_CODE = "PN_EXACT_NAME_BODY_COMPARISON";
 /**
 * Mints the exact-name body-comparison warning for a `map:`-named object
 * carrying a hand-authorable SQL body — fully formed, so the transport and
-* the flush stay generic. `subject` is `index` here and `policy` where
-* policies mint the same warning; the feature name and the remediation are
-* subject-specific end to end, so a batched summary (grouped on
-* code + summary) is true of every object it covers.
+* the flush stay generic. `subject` distinguishes the index, policy, and
+* check callers that mint this same warning; the feature name and the
+* remediation are subject-specific end to end, so a batched summary
+* (grouped on code + summary) is true of every object it covers.
 */
 function exactNameBodyWarning(subject, exactName) {
 	const item = `${subject} "${exactName}"`;
@@ -105,4 +107,4 @@ function lowerAuthoredIndex(tableName, authored, warnings) {
 //#endregion
 export { lowerAuthoredIndex as n, exactNameBodyWarning as t };
 
-//# sourceMappingURL=index-naming-BoGBcMmI-CoehgjMK.mjs.map
+//# sourceMappingURL=index-naming-DREt6js7-CRH27yUv.mjs.map

package/dist/index-naming-DREt6js7-CRH27yUv.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-naming-DREt6js7-CRH27yUv.mjs","names":[],"sources":["../../../../2-sql/1-core/contract/dist/index-naming-DREt6js7.mjs"],"sourcesContent":["import { t as contractError } from \"./contract-errors-BCN6RVI5.mjs\";\nimport { flushAuthoringWarnings } from \"@internal/framework-components/authoring\";\nimport { assertWireNamePrefixLength, computeIndexContentHash, defaultIndexName } from \"@internal/sql-schema-ir/naming\";\n//#region src/index-naming.ts\nconst EXACT_NAME_BODY_PREAMBLE = \"Drift detection compares the authored SQL text byte-for-byte against Postgres's reprinted form, which is only reliable when the text was captured by contract infer.\";\n/**\n* Per-subject remediation: an index or check moves to wire naming via\n* `name:`; a policy has no such parameter — dropping `@@map` makes the\n* block's head the wire prefix.\n*/\nconst EXACT_NAME_BODY_REMEDIATION = {\n\tindex: \"For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted object to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.\",\n\tpolicy: \"For hand-authored definitions, drop @@map and let the policy block's head name the policy; to migrate an adopted policy to wire naming, remove @@map (keeping the body text unchanged) and apply the resulting rename migration.\",\n\tcheck: \"For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted check to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.\"\n};\n/** What the user actually wrote, per subject: index and check `map:`, policy `@@map`. */\nconst EXACT_NAME_FEATURE = {\n\tindex: \"map:\",\n\tpolicy: \"@@map\",\n\tcheck: \"map:\"\n};\nconst EXACT_NAME_BODY_WARNING_CODE = \"PN_EXACT_NAME_BODY_COMPARISON\";\n/**\n* Mints the exact-name body-comparison warning for a `map:`-named object\n* carrying a hand-authorable SQL body — fully formed, so the transport and\n* the flush stay generic. `subject` distinguishes the index, policy, and\n* check callers that mint this same warning; the feature name and the\n* remediation are subject-specific end to end, so a batched summary\n* (grouped on code + summary) is true of every object it covers.\n*/\nfunction exactNameBodyWarning(subject, exactName) {\n\tconst item = `${subject} \"${exactName}\"`;\n\tconst feature = EXACT_NAME_FEATURE[subject];\n\tconst tail = `with a SQL body. ${EXACT_NAME_BODY_PREAMBLE} ${EXACT_NAME_BODY_REMEDIATION[subject]}`;\n\treturn {\n\t\tcode: EXACT_NAME_BODY_WARNING_CODE,\n\t\tmessage: `${item} uses ${feature} ${tail}`,\n\t\titem,\n\t\tsummary: `objects use ${feature} ${tail}`\n\t};\n}\n/**\n* Lowers an authored index into the name-identified entity `contract.json`\n* persists: exact mode adopts `map` verbatim (no prefix, no hash); wire\n* mode appends the content-hash suffix to the authored or default prefix.\n* The cross-field guards are the shared enforcement backstop for both\n* authoring surfaces (PSL pre-empts them with span-anchored diagnostics).\n*/\nfunction lowerAuthoredIndex(tableName, authored, warnings) {\n\tif (authored.columns === void 0 === (authored.expression === void 0)) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `Index on table \"${tableName}\": an index takes either fields (columns) or an expression — exactly one, not both.`);\n\tif (authored.map !== void 0 && authored.name !== void 0) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `Index \"${authored.map}\" on table \"${tableName}\": map and name are mutually exclusive — map adopts an exact physical name, name is a wire prefix.`);\n\tif (authored.expression !== void 0 && authored.name === void 0 && authored.map === void 0) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `Index on table \"${tableName}\": an expression index requires an explicit name (name:) or exact physical name (map:) — a default name cannot be derived from an expression.`);\n\tif (authored.options !== void 0 && authored.type === void 0) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `Index on table \"${tableName}\": options requires an explicit type — an index with options but no type cannot round-trip through contract infer (the emitted type: would change the wire name).`);\n\tconst unique = authored.unique ?? false;\n\tif (authored.map !== void 0) {\n\t\tif (authored.expression !== void 0 || authored.where !== void 0) {\n\t\t\tconst warning = exactNameBodyWarning(\"index\", authored.map);\n\t\t\tif (warnings !== void 0) warnings.push(warning);\n\t\t\telse flushAuthoringWarnings([warning]);\n\t\t}\n\t\tconst carried = {\n\t\t\tnaming: {\n\t\t\t\tkind: \"exact\",\n\t\t\t\tname: authored.map\n\t\t\t},\n\t\t\twhere: authored.where,\n\t\t\tunique,\n\t\t\ttype: authored.type,\n\t\t\toptions: authored.options\n\t\t};\n\t\treturn authored.expression !== void 0 ? {\n\t\t\t...carried,\n\t\t\texpression: authored.expression\n\t\t} : {\n\t\t\t...carried,\n\t\t\tcolumns: authored.columns ?? []\n\t\t};\n\t}\n\tconst prefix = authored.name ?? defaultIndexName(tableName, authored.columns ?? []);\n\tassertWireNamePrefixLength(prefix, \"index prefix\");\n\tconst carried = {\n\t\tnaming: {\n\t\t\tkind: \"wire\",\n\t\t\tprefix,\n\t\t\thash: computeIndexContentHash({\n\t\t\t\t...authored.columns !== void 0 && { columns: authored.columns },\n\t\t\t\t...authored.expression !== void 0 && { expression: authored.expression },\n\t\t\t\t...authored.where !== void 0 && { where: authored.where },\n\t\t\t\tunique,\n\t\t\t\t...authored.type !== void 0 && { type: authored.type },\n\t\t\t\t...authored.options !== void 0 && { options: authored.options }\n\t\t\t})\n\t\t},\n\t\twhere: authored.where,\n\t\tunique,\n\t\ttype: authored.type,\n\t\toptions: authored.options\n\t};\n\treturn authored.expression !== void 0 ? {\n\t\t...carried,\n\t\texpression: authored.expression\n\t} : {\n\t\t...carried,\n\t\tcolumns: authored.columns ?? []\n\t};\n}\n//#endregion\nexport { lowerAuthoredIndex as n, exactNameBodyWarning as t };\n\n//# sourceMappingURL=index-naming-DREt6js7.mjs.map"],"mappings":";;;;AAIA,MAAM,2BAA2B;;;;;;AAMjC,MAAM,8BAA8B;CACnC,OAAO;CACP,QAAQ;CACR,OAAO;AACR;;AAEA,MAAM,qBAAqB;CAC1B,OAAO;CACP,QAAQ;CACR,OAAO;AACR;AACA,MAAM,+BAA+B;;;;;;;;;AASrC,SAAS,qBAAqB,SAAS,WAAW;CACjD,MAAM,OAAO,GAAG,QAAQ,IAAI,UAAU;CACtC,MAAM,UAAU,mBAAmB;CACnC,MAAM,OAAO,oBAAoB,yBAAyB,GAAG,4BAA4B;CACzF,OAAO;EACN,MAAM;EACN,SAAS,GAAG,KAAK,QAAQ,QAAQ,GAAG;EACpC;EACA,SAAS,eAAe,QAAQ,GAAG;CACpC;AACD;;;;;;;;AAQA,SAAS,mBAAmB,WAAW,UAAU,UAAU;CAC1D,IAAI,SAAS,YAAY,KAAK,OAAO,SAAS,eAAe,KAAK,IAAI,MAAM,cAAc,6BAA6B,mBAAmB,UAAU,oFAAoF;CACxO,IAAI,SAAS,QAAQ,KAAK,KAAK,SAAS,SAAS,KAAK,GAAG,MAAM,cAAc,6BAA6B,UAAU,SAAS,IAAI,cAAc,UAAU,mGAAmG;CAC5P,IAAI,SAAS,eAAe,KAAK,KAAK,SAAS,SAAS,KAAK,KAAK,SAAS,QAAQ,KAAK,GAAG,MAAM,cAAc,6BAA6B,mBAAmB,UAAU,8IAA8I;CACvT,IAAI,SAAS,YAAY,KAAK,KAAK,SAAS,SAAS,KAAK,GAAG,MAAM,cAAc,6BAA6B,mBAAmB,UAAU,kKAAkK;CAC7S,MAAM,SAAS,SAAS,UAAU;CAClC,IAAI,SAAS,QAAQ,KAAK,GAAG;EAC5B,IAAI,SAAS,eAAe,KAAK,KAAK,SAAS,UAAU,KAAK,GAAG;GAChE,MAAM,UAAU,qBAAqB,SAAS,SAAS,GAAG;GAC1D,IAAI,aAAa,KAAK,GAAG,SAAS,KAAK,OAAO;QACzC,uBAAuB,CAAC,OAAO,CAAC;EACtC;EACA,MAAM,UAAU;GACf,QAAQ;IACP,MAAM;IACN,MAAM,SAAS;GAChB;GACA,OAAO,SAAS;GAChB;GACA,MAAM,SAAS;GACf,SAAS,SAAS;EACnB;EACA,OAAO,SAAS,eAAe,KAAK,IAAI;GACvC,GAAG;GACH,YAAY,SAAS;EACtB,IAAI;GACH,GAAG;GACH,SAAS,SAAS,WAAW,CAAC;EAC/B;CACD;CACA,MAAM,SAAS,SAAS,QAAQ,iBAAiB,WAAW,SAAS,WAAW,CAAC,CAAC;CAClF,2BAA2B,QAAQ,cAAc;CACjD,MAAM,UAAU;EACf,QAAQ;GACP,MAAM;GACN;GACA,MAAM,wBAAwB;IAC7B,GAAG,SAAS,YAAY,KAAK,KAAK,EAAE,SAAS,SAAS,QAAQ;IAC9D,GAAG,SAAS,eAAe,KAAK,KAAK,EAAE,YAAY,SAAS,WAAW;IACvE,GAAG,SAAS,UAAU,KAAK,KAAK,EAAE,OAAO,SAAS,MAAM;IACxD;IACA,GAAG,SAAS,SAAS,KAAK,KAAK,EAAE,MAAM,SAAS,KAAK;IACrD,GAAG,SAAS,YAAY,KAAK,KAAK,EAAE,SAAS,SAAS,QAAQ;GAC/D,CAAC;EACF;EACA,OAAO,SAAS;EAChB;EACA,MAAM,SAAS;EACf,SAAS,SAAS;CACnB;CACA,OAAO,SAAS,eAAe,KAAK,IAAI;EACvC,GAAG;EACH,YAAY,SAAS;CACtB,IAAI;EACH,GAAG;EACH,SAAS,SAAS,WAAW,CAAC;CAC/B;AACD"}

package/dist/{index-type-validation-DS9n07WO.d.mts → index-type-validation-CZ5L2lli.d.mts}

@@ -1,5 +1,5 @@
-import { c as SqlStorage } from "./sql-storage-CySVsLrY-e9C5Gszx.mjs";
-import "./types-C89S13jo-CGy-V60b.mjs";
+import { c as SqlStorage } from "./sql-storage-8LqxeLAY-DH4DdUXx.mjs";
+import "./types-BDUG29Df-LE85dIXP.mjs";
 import { a as IndexTypeRegistry } from "./index-types-DPVhsW0v-D-BikM4h.mjs";
 import { Contract } from "@prisma/orm-framework/contract/types";
 //#region ../../../2-sql/1-core/contract/dist/index-type-validation.d.mts
@@ -7,4 +7,4 @@ import { Contract } from "@prisma/orm-framework/contract/types";
 declare function validateIndexTypes(contract: Contract<SqlStorage>, indexTypeRegistry: IndexTypeRegistry): void;
 //#endregion
 export { validateIndexTypes as t };
-//# sourceMappingURL=index-type-validation-DS9n07WO.d.mts.map
+//# sourceMappingURL=index-type-validation-CZ5L2lli.d.mts.map

package/dist/{index-type-validation-DS9n07WO.d.mts.map → index-type-validation-CZ5L2lli.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"index-type-validation-DS9n07WO.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/index-type-validation.d.mts"],"mappings":";;;;;;iBAKiB,mBAAmB,UAAU,SAAS,aAAa,mBAAmB"}
+{"version":3,"file":"index-type-validation-CZ5L2lli.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/index-type-validation.d.mts"],"mappings":";;;;;;iBAKiB,mBAAmB,UAAU,SAAS,aAAa,mBAAmB"}

package/dist/{interpreter-BDZ_Y5U--CMEJIQ40.mjs → interpreter-DaBA2fm--FFkq_gGd.mjs}

@@ -1,16 +1,16 @@
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
-import { n as buildSqlContractFromDefinition } from "./derived-checks-CmJgg-N0-CugkINPW.mjs";
-import { UNBOUND_NAMESPACE_ID } from "@prisma/orm-framework/components/ir";
+import { n as buildSqlContractFromDefinition } from "./derived-checks-DFMRmiAu-8jmha26I.mjs";
 import { structuredError } from "@prisma/orm-framework/utils/structured-error";
+import { hasRegisteredFieldNamespace, instantiateAuthoringEntityType, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringFieldPresetDescriptor, isAuthoringModelAttributeDescriptor, isAuthoringPslBlockDescriptor, isAuthoringTypeConstructorDescriptor, validateAuthoringHelperArguments } from "@prisma/orm-framework/components/authoring";
+import { UNBOUND_NAMESPACE_ID } from "@prisma/orm-framework/components/ir";
 import { InternalError } from "@prisma/orm-framework/utils/internal-error";
 import { crossRef } from "@prisma/orm-framework/contract/types";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
-import { hasRegisteredFieldNamespace, instantiateAuthoringEntityType, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringFieldPresetDescriptor, isAuthoringModelAttributeDescriptor, isAuthoringPslBlockDescriptor, isAuthoringTypeConstructorDescriptor, validateAuthoringHelperArguments } from "@prisma/orm-framework/components/authoring";
 import { blindCast } from "@prisma/orm-framework/utils/casts";
 import { bool, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, funcCall, identifier, interpretAttribute, keywordPslSpan, leafDiagnostic, list, modelAttribute, nodePslSpan, num, oneOf, optional, record, str } from "@prisma/orm-framework/psl-parser";
 import { assertDefined, invariant } from "@prisma/orm-framework/utils/assertions";
 import { notOk, ok } from "@prisma/orm-framework/utils/result";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-BDZ_Y5U-.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-DaBA2fm-.mjs
 function contractError(code, message, options) {
 	return structuredError(code, message, options);
 }
@@ -514,6 +514,31 @@ const indexModelSpec = modelAttribute("index", {
 		return diagnostics;
 	}
 });
+const PSL_CHECK_REQUIRES_NAME_OR_MAP = "PSL_CHECK_REQUIRES_NAME_OR_MAP";
+const PSL_CHECK_NAME_XOR_MAP = "PSL_CHECK_NAME_XOR_MAP";
+const PSL_CHECK_EXPRESSION_EMPTY = "PSL_CHECK_EXPRESSION_EMPTY";
+/**
+* A single-table-inheritance variant (`@@base` with no own `@@map`) shares
+* its base model's storage table and has no table of its own to declare a
+* check on — raised from {@link interpretPslDocumentToSqlContract}, not from
+* this spec's own `refine`, because the rule needs the model's `@@base`
+* declaration, which a single attribute's `refine` cannot see.
+*/
+const PSL_CHECK_ON_STI_VARIANT = "PSL_CHECK_ON_STI_VARIANT";
+const checkModelSpec = modelAttribute("check", {
+	named: {
+		expression: str(),
+		name: optional(str()),
+		map: optional(str())
+	},
+	refine: (value, ctx, attributeNode) => {
+		const diagnostics = [];
+		if (value.expression.trim().length === 0) diagnostics.push(leafDiagnostic(ctx, attributeNode, "`@@check` expression must not be empty — an empty predicate is not a constraint", PSL_CHECK_EXPRESSION_EMPTY));
+		if (value.name === void 0 && value.map === void 0) diagnostics.push(leafDiagnostic(ctx, attributeNode, "`@@check` requires a `name` or `map` argument (a default name cannot be derived — a check has no column tuple to name itself after)", PSL_CHECK_REQUIRES_NAME_OR_MAP));
+		if (value.name !== void 0 && value.map !== void 0) diagnostics.push(leafDiagnostic(ctx, attributeNode, "`@@check` takes at most one of `name` and `map`", PSL_CHECK_NAME_XOR_MAP));
+		return diagnostics;
+	}
+});
 const controlModelSpec = modelAttribute("control", { positional: [{
 	key: "policy",
 	type: oneOf(identifier("managed"), identifier("tolerated"), identifier("external"), identifier("observed"))
@@ -2369,6 +2394,7 @@ function buildModelNodeFromPsl(input) {
 		...ifDefined("name", field.uniqueName)
 	}));
 	const indexNodes = [];
+	const checkNodes = [];
 	const foreignKeyNodes = [];
 	const modelAttributeNodes = Array.from(model.node.attributes());
 	for (const [attributeIndex, modelAttribute] of model.attributes.entries()) {
@@ -2524,6 +2550,34 @@ function buildModelNodeFromPsl(input) {
 			}));
 			continue;
 		}
+		if (modelAttribute.name === "check") {
+			const node = modelAttributeNodes[attributeIndex];
+			if (node === void 0) continue;
+			if (input.capabilities["sql"]?.["checkConstraint"] !== true) {
+				diagnostics.push({
+					code: "PSL_CHECK_UNSUPPORTED_TARGET",
+					message: `Model "${model.name}" declares "@@check", but target "${input.targetId}" does not support check constraints (the adapter does not report the "checkConstraint" capability). Remove the check or author it against a target that supports check constraints.`,
+					sourceId,
+					span: modelAttribute.span
+				});
+				continue;
+			}
+			const parsed = interpretModelAttribute({
+				node,
+				spec: checkModelSpec,
+				model,
+				sourceFile: input.sourceFile,
+				sourceId,
+				diagnostics
+			});
+			if (parsed === void 0) continue;
+			checkNodes.push({
+				expression: parsed.expression,
+				name: parsed.name,
+				map: parsed.map
+			});
+			continue;
+		}
 		const contributedModelAttribute = input.modelAttributesByName.get(modelAttribute.name);
 		if (contributedModelAttribute !== void 0) {
 			if (declaredContributedModelAttributes.has(modelAttribute.name)) {
@@ -2831,6 +2885,7 @@ function buildModelNodeFromPsl(input) {
 			...ifDefined("id", primaryKey),
 			...uniqueConstraints.length > 0 ? { uniques: uniqueConstraints } : {},
 			...indexNodes.length > 0 ? { indexes: indexNodes } : {},
+			...checkNodes.length > 0 ? { checks: checkNodes } : {},
 			...foreignKeyNodes.length > 0 ? { foreignKeys: foreignKeyNodes } : {},
 			...ifDefined("control", controlPolicy)
 		},
@@ -3521,6 +3576,21 @@ function interpretPslDocumentToSqlContract(input) {
 	const { discriminatorDeclarations, baseDeclarations } = collectPolymorphismDeclarations(models, sourceFile, sourceId, diagnostics);
 	const stiVariantNames = /* @__PURE__ */ new Set();
 	for (const variantName of baseDeclarations.keys()) if (!(modelMappings.get(variantName)?.model.attributes.some((attr) => attr.name === "map") ?? false)) stiVariantNames.add(variantName);
+	for (const variantName of stiVariantNames) {
+		const variantMapping = modelMappings.get(variantName);
+		if (variantMapping === void 0) continue;
+		const baseDecl = baseDeclarations.get(variantName);
+		invariant(baseDecl !== void 0, `stiVariantNames is derived from baseDeclarations.keys(), so "${variantName}" must have a base declaration`);
+		for (const attribute of variantMapping.model.node.attributes()) {
+			if (attribute.name()?.isSimpleName("check") !== true) continue;
+			diagnostics.push({
+				code: PSL_CHECK_ON_STI_VARIANT,
+				message: `Model "${variantName}" declares "@@check", but it shares its base model "${baseDecl.baseName}"'s storage table (single-table inheritance via @@base) and has no table of its own to declare a check constraint on. Declare the check on "${baseDecl.baseName}" instead.`,
+				sourceId,
+				span: nodePslSpan(attribute.syntax, sourceFile)
+			});
+		}
+	}
 	const { modelNodes: mtiLinkedModelNodes, syntheticPkFieldsByVariant } = materializeMtiVariantStorageLinks(modelNodes, baseDeclarations, stiVariantNames);
 	const { modelNodes: stiColumnModelNodes, stiBaseFieldsByBase } = materializeStiVariantStorageColumns(mtiLinkedModelNodes, baseDeclarations, stiVariantNames);
 	const valueObjects = buildValueObjects({
@@ -3607,4 +3677,4 @@ function interpretPslDocumentToSqlContract(input) {
 //#endregion
 export { interpretPslDocumentToSqlContract as t };
 
-//# sourceMappingURL=interpreter-BDZ_Y5U--CMEJIQ40.mjs.map
+//# sourceMappingURL=interpreter-DaBA2fm--FFkq_gGd.mjs.map