@prisma-next/sql-contract 0.3.0-dev.40 → 0.3.0-dev.43

package/README.md

@@ -58,6 +58,45 @@ type ForeignKeysConfig = {
 
 When omitted, defaults to `{ constraints: true, indexes: true }`. See [ADR 161](../../../docs/architecture%20docs/adrs/ADR%20161%20-%20Explicit%20foreign%20key%20constraint%20and%20index%20configuration.md) for design rationale.
 
+### Referential Actions
+
+`ForeignKey` supports optional `onDelete` and `onUpdate` fields of type `ReferentialAction`:
+
+```typescript
+type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';
+
+type ForeignKey = {
+  readonly columns: readonly string[];
+  readonly references: ForeignKeyReferences;
+  readonly name?: string;
+  readonly onDelete?: ReferentialAction;
+  readonly onUpdate?: ReferentialAction;
+};
+```
+
+When omitted, the database applies its default behavior (Postgres: `NO ACTION`). See [ADR 162](../../../docs/architecture%20docs/adrs/ADR%20162%20-%20Referential%20actions%20for%20foreign%20keys.md) for design rationale.
+
+The `fk()` factory accepts referential actions via an options object:
+
+```typescript
+import { fk } from '@prisma-next/sql-contract/factories';
+
+// Simple FK (no referential actions)
+const simple = fk(['userId'], 'user', ['id']);
+
+// FK with onDelete cascade
+const cascading = fk(['userId'], 'user', ['id'], { onDelete: 'cascade' });
+
+// FK with name and both actions
+const named = fk(['userId'], 'user', ['id'], {
+  name: 'post_userId_fkey',
+  onDelete: 'cascade',
+  onUpdate: 'noAction',
+});
+```
+
+**Semantic validation:** `validateStorageSemantics()` rejects `setNull` when the FK column is `NOT NULL` (the database would fail at runtime).
+
 ### Validators
 
 Validate contract structures using Arktype validators:

package/dist/factories.d.mts

@@ -1,4 +1,4 @@
-import { a as ForeignKey, c as ModelDefinition, d as PrimaryKey, f as SqlContract, g as StorageTable, h as StorageColumn, l as ModelField, m as SqlStorage, p as SqlMappings, s as Index, v as UniqueConstraint } from "./types-DTFobApb.mjs";
+import { _ as StorageColumn, a as ForeignKey, b as UniqueConstraint, c as Index, f as PrimaryKey, g as SqlStorage, h as SqlMappings, l as ModelDefinition, m as SqlContract, o as ForeignKeyOptions, u as ModelField, v as StorageTable } from "./types-T6o5-ZB3.mjs";
 import { ExecutionHashBase, ProfileHashBase, StorageHashBase } from "@prisma-next/contract/types";
 
 //#region src/factories.d.ts
@@ -15,8 +15,7 @@ declare function col(nativeType: string, codecId: string, nullable?: boolean): S
 declare function pk(...columns: readonly string[]): PrimaryKey;
 declare function unique(...columns: readonly string[]): UniqueConstraint;
 declare function index(...columns: readonly string[]): Index;
-declare function fk(columns: readonly string[], refTable: string, refColumns: readonly string[], opts?: {
-  name?: string;
+declare function fk(columns: readonly string[], refTable: string, refColumns: readonly string[], opts?: ForeignKeyOptions & {
   constraint?: boolean;
   index?: boolean;
 }): ForeignKey;

package/dist/factories.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"factories.d.mts","names":[],"sources":["../src/factories.ts"],"sourcesContent":[],"mappings":";;;;;;;AA8BA;AAQA;AAMA;AAMA;AAMA;AAkBA;AAC0B,iBA7CV,GAAA,CA6CU,UAAA,EAAA,MAAA,EAAA,OAAA,EAAA,MAAA,EAAA,QAAA,CAAA,EAAA,OAAA,CAAA,EA7CkD,aA6ClD;AAAf,iBArCK,EAAA,CAqCL,GAAA,OAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EArCwC,UAqCxC;AAEF,iBAjCO,MAAA,CAiCP,GAAA,OAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EAjC8C,gBAiC9C;AACc,iBA5BP,KAAA,CA4BO,GAAA,OAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EA5B+B,KA4B/B;AACA,iBAvBP,EAAA,CAuBO,OAAA,EAAA,SAAA,MAAA,EAAA,EAAA,QAAA,EAAA,MAAA,EAAA,UAAA,EAAA,SAAA,MAAA,EAAA,EAAA,IAavB,CAbuB,EAAA;EACJ,IAAA,CAAA,EAAA,MAAA;EAEhB,UAAA,CAAA,EAAA,OAAA;EAAY,KAAA,CAAA,EAAA,OAAA;AAUf,CAAA,CAAA,EA/BG,UA+BkB;AAEI,iBApBT,KAAA,CAoBS,OAAA,EAnBd,MAmBc,CAAA,MAAA,EAnBC,aAmBD,CAAA,EAAA,IAWzB,CAXyB,EAAA;EAAf,EAAA,CAAA,EAjBD,UAiBC;EACG,OAAA,CAAA,EAAA,SAjBU,gBAiBV,EAAA;EACV,OAAA,CAAA,EAAA,SAjBoB,KAiBpB,EAAA;EAAe,GAAA,CAAA,EAAA,SAhBC,UAgBD,EAAA;AASlB,CAAA,CAAA,EAvBG,YAuBoB;AAAwB,iBAb/B,KAAA,CAa+B,KAAA,EAAA,MAAA,EAAA,MAAA,EAXrC,MAWqC,CAAA,MAAA,EAXtB,UAWsB,CAAA,EAAA,SAAA,CAAA,EAVlC,MAUkC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,EAT5C,eAS4C;AAAf,iBAAhB,OAAA,CAAgB,MAAA,EAAA,MAAA,CAAA,MAAA,EAAe,YAAf,CAAA,CAAA,EAA+B,UAA/B;AAA+B,iBAI/C,QAJ+C,CAAA,qBAKxC,eALwC,CAAA,MAAA,CAAA,GAKd,eALc,CAAA,MAAA,CAAA,EAAA,uBAMtC,iBANsC,CAAA,MAAA,CAAA,GAMV,iBANU,CAAA,MAAA,CAAA,EAAA,qBAOxC,eAPwC,CAAA,MAAA,CAAA,GAOd,eAPc,CAAA,MAAA,CAAA,CAAA,CAAA,IAAA,EAAA;EAAU,MAAA,EAAA,MAAA;EAIzD,WAAQ,EAMT,YANS;EACD,aAAA,CAAA,EAML,cANK;EAA0B,OAAA,EAOtC,UAPsC;EACxB,MAAA,CAAA,EAOd,MAPc,CAAA,MAAA,EAOC,eAPD,CAAA;EAA4B,SAAA,CAAA,EAQvC,MARuC,CAAA,MAAA,EAAA,OAAA,CAAA;EAC9B,QAAA,CAAA,EAQV,OARU,CAQF,WARE,CAAA;EAA0B,aAAA,CAAA,EAAA,GAAA;EAGlC,YAAA,CAAA,EAAA,KAAA;EACG,WAAA,CAAA,EAOF,YAPE;EACP,YAAA,CAAA,EAOM,MAPN,CAAA,MAAA,EAOqB,MAPrB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EACe,cAAA,CAAA,EAOP,MAPO,CAAA,MAAA,EAAA,OAAA,CAAA;EAAf,IAAA,CAAA,EAQF,MARE,CAAA,MAAA,EAAA,OAAA,CAAA;EACG,OAAA,CAAA,EAQF,MARE,CAAA,MAAA,EAAA,OAAA,CAAA;CACO,CAAA,EAQjB,WARiB,CASnB,UATmB,EAUnB,MAVmB,CAAA,MAAA,EAAA,OAAA,CAAA,EAWnB,MAXmB,CAAA,MAAA,EAAA,OAAA,CAAA,EAYnB,WAZmB,EAanB,YAbmB,EAcnB,cAdmB,EAenB,YAfmB,CAAA"}
+{"version":3,"file":"factories.d.mts","names":[],"sources":["../src/factories.ts"],"sourcesContent":[],"mappings":";;;;;;;AA+BA;AAQA;AAMA;AAMA;AAMA;AAqBA;AAC0B,iBAhDV,GAAA,CAgDU,UAAA,EAAA,MAAA,EAAA,OAAA,EAAA,MAAA,EAAA,QAAA,CAAA,EAAA,OAAA,CAAA,EAhDkD,aAgDlD;AAAf,iBAxCK,EAAA,CAwCL,GAAA,OAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EAxCwC,UAwCxC;AAEF,iBApCO,MAAA,CAoCP,GAAA,OAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EApC8C,gBAoC9C;AACc,iBA/BP,KAAA,CA+BO,GAAA,OAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EA/B+B,KA+B/B;AACA,iBA1BP,EAAA,CA0BO,OAAA,EAAA,SAAA,MAAA,EAAA,EAAA,QAAA,EAAA,MAAA,EAAA,UAAA,EAAA,SAAA,MAAA,EAAA,EAAA,IAGR,CAHQ,EAtBd,iBAsBc,GAAA;EACJ,UAAA,CAAA,EAAA,OAAA;EAEhB,KAAA,CAAA,EAAA,OAAA;CAAY,CAAA,EAxBZ,UAwBY;AAUC,iBAlBA,KAAA,CAkBK,OAAA,EAjBV,MAiBU,CAAA,MAAA,EAjBK,aAiBL,CAAA,EAAA,IAIH,CAJG,EAAA;EAEI,EAAA,CAAA,EAjBhB,UAiBgB;EAAf,OAAA,CAAA,EAAA,SAhBa,gBAgBb,EAAA;EACG,OAAA,CAAA,EAAA,SAhBU,KAgBV,EAAA;EACV,GAAA,CAAA,EAAA,SAhBgB,UAgBhB,EAAA;CAAe,CAAA,EAdf,YAce;AASF,iBAbA,KAAA,CAaO,KAAA,EAAA,MAAA,EAAA,MAAA,EAXb,MAWa,CAAA,MAAA,EAXE,UAWF,CAAA,EAAA,SAAA,CAAA,EAVV,MAUU,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,EATpB,eASoB;AAAwB,iBAA/B,OAAA,CAA+B,MAAA,EAAf,MAAe,CAAA,MAAA,EAAA,YAAA,CAAA,CAAA,EAAgB,UAAhB;AAAf,iBAIhB,QAJgB,CAAA,qBAKT,eALS,CAAA,MAAA,CAAA,GAKiB,eALjB,CAAA,MAAA,CAAA,EAAA,uBAMP,iBANO,CAAA,MAAA,CAAA,GAMqB,iBANrB,CAAA,MAAA,CAAA,EAAA,qBAOT,eAPS,CAAA,MAAA,CAAA,GAOiB,eAPjB,CAAA,MAAA,CAAA,CAAA,CAAA,IAAA,EAAA;EAA+B,MAAA,EAAA,MAAA;EAAU,WAAA,EAU1D,YAV0D;EAIzD,aAAQ,CAAA,EAON,cAPM;EACD,OAAA,EAOZ,UAPY;EAA0B,MAAA,CAAA,EAQtC,MARsC,CAAA,MAAA,EAQvB,eARuB,CAAA;EACxB,SAAA,CAAA,EAQX,MARW,CAAA,MAAA,EAAA,OAAA,CAAA;EAA4B,QAAA,CAAA,EASxC,OATwC,CAShC,WATgC,CAAA;EAC9B,aAAA,CAAA,EAAA,GAAA;EAA0B,YAAA,CAAA,EAAA,KAAA;EAGlC,WAAA,CAAA,EAQC,YARD;EACG,YAAA,CAAA,EAQD,MARC,CAAA,MAAA,EAQc,MARd,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EACP,cAAA,CAAA,EAQQ,MARR,CAAA,MAAA,EAAA,OAAA,CAAA;EACe,IAAA,CAAA,EAQjB,MARiB,CAAA,MAAA,EAAA,OAAA,CAAA;EAAf,OAAA,CAAA,EASC,MATD,CAAA,MAAA,EAAA,OAAA,CAAA;CACG,CAAA,EASV,WATU,CAUZ,UAVY,EAWZ,MAXY,CAAA,MAAA,EAAA,OAAA,CAAA,EAYZ,MAZY,CAAA,MAAA,EAAA,OAAA,CAAA,EAaZ,WAbY,EAcZ,YAdY,EAeZ,cAfY,EAgBZ,YAhBY,CAAA"}

package/dist/factories.mjs

@@ -32,11 +32,13 @@ function fk(columns, refTable, refColumns, opts) {
 			table: refTable,
 			columns: refColumns
 		},
+		...opts?.name !== void 0 && { name: opts.name },
+		...opts?.onDelete !== void 0 && { onDelete: opts.onDelete },
+		...opts?.onUpdate !== void 0 && { onUpdate: opts.onUpdate },
 		...applyFkDefaults({
 			constraint: opts?.constraint,
 			index: opts?.index
-		}),
-		...opts?.name !== void 0 && { name: opts.name }
+		})
 	};
 }
 function table(columns, opts) {

package/dist/factories.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"factories.mjs","names":[],"sources":["../src/factories.ts"],"sourcesContent":["import type {\n  ExecutionHashBase,\n  ProfileHashBase,\n  StorageHashBase,\n} from '@prisma-next/contract/types';\nimport type {\n  ForeignKey,\n  ForeignKeyReferences,\n  Index,\n  ModelDefinition,\n  ModelField,\n  ModelStorage,\n  PrimaryKey,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n  UniqueConstraint,\n} from './types';\nimport { applyFkDefaults } from './types';\n\n/**\n * Creates a StorageColumn with nativeType and codecId.\n *\n * @param nativeType - Native database type identifier (e.g., 'int4', 'text', 'vector')\n * @param codecId - Codec identifier (e.g., 'pg/int4@1', 'pg/text@1')\n * @param nullable - Whether the column is nullable (default: false)\n * @returns StorageColumn with nativeType and codecId\n */\nexport function col(nativeType: string, codecId: string, nullable = false): StorageColumn {\n  return {\n    nativeType,\n    codecId,\n    nullable,\n  };\n}\n\nexport function pk(...columns: readonly string[]): PrimaryKey {\n  return {\n    columns,\n  };\n}\n\nexport function unique(...columns: readonly string[]): UniqueConstraint {\n  return {\n    columns,\n  };\n}\n\nexport function index(...columns: readonly string[]): Index {\n  return {\n    columns,\n  };\n}\n\nexport function fk(\n  columns: readonly string[],\n  refTable: string,\n  refColumns: readonly string[],\n  opts?: { name?: string; constraint?: boolean; index?: boolean },\n): ForeignKey {\n  const references: ForeignKeyReferences = {\n    table: refTable,\n    columns: refColumns,\n  };\n  return {\n    columns,\n    references,\n    ...applyFkDefaults({ constraint: opts?.constraint, index: opts?.index }),\n    ...(opts?.name !== undefined && { name: opts.name }),\n  };\n}\n\nexport function table(\n  columns: Record<string, StorageColumn>,\n  opts?: {\n    pk?: PrimaryKey;\n    uniques?: readonly UniqueConstraint[];\n    indexes?: readonly Index[];\n    fks?: readonly ForeignKey[];\n  },\n): StorageTable {\n  return {\n    columns,\n    ...(opts?.pk !== undefined && { primaryKey: opts.pk }),\n    uniques: opts?.uniques ?? [],\n    indexes: opts?.indexes ?? [],\n    foreignKeys: opts?.fks ?? [],\n  };\n}\n\nexport function model(\n  table: string,\n  fields: Record<string, ModelField>,\n  relations: Record<string, unknown> = {},\n): ModelDefinition {\n  const storage: ModelStorage = { table };\n  return {\n    storage,\n    fields,\n    relations,\n  };\n}\n\nexport function storage(tables: Record<string, StorageTable>): SqlStorage {\n  return { tables };\n}\n\nexport function contract<\n  TStorageHash extends StorageHashBase<string> = StorageHashBase<string>,\n  TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>,\n  TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>,\n>(opts: {\n  target: string;\n  storageHash: TStorageHash;\n  executionHash?: TExecutionHash;\n  storage: SqlStorage;\n  models?: Record<string, ModelDefinition>;\n  relations?: Record<string, unknown>;\n  mappings?: Partial<SqlMappings>;\n  schemaVersion?: '1';\n  targetFamily?: 'sql';\n  profileHash?: TProfileHash;\n  capabilities?: Record<string, Record<string, boolean>>;\n  extensionPacks?: Record<string, unknown>;\n  meta?: Record<string, unknown>;\n  sources?: Record<string, unknown>;\n}): SqlContract<\n  SqlStorage,\n  Record<string, unknown>,\n  Record<string, unknown>,\n  SqlMappings,\n  TStorageHash,\n  TExecutionHash,\n  TProfileHash\n> {\n  return {\n    schemaVersion: opts.schemaVersion ?? '1',\n    target: opts.target,\n    targetFamily: opts.targetFamily ?? 'sql',\n    storageHash: opts.storageHash,\n    ...(opts.executionHash !== undefined && { executionHash: opts.executionHash }),\n    storage: opts.storage,\n    models: opts.models ?? {},\n    relations: opts.relations ?? {},\n    mappings: (opts.mappings ?? {}) as SqlMappings,\n    ...(opts.profileHash !== undefined && { profileHash: opts.profileHash }),\n    ...(opts.capabilities !== undefined && { capabilities: opts.capabilities }),\n    ...(opts.extensionPacks !== undefined && { extensionPacks: opts.extensionPacks }),\n    ...(opts.meta !== undefined && { meta: opts.meta }),\n    ...(opts.sources !== undefined && { sources: opts.sources as Record<string, unknown> }),\n  } as SqlContract<\n    SqlStorage,\n    Record<string, unknown>,\n    Record<string, unknown>,\n    SqlMappings,\n    TStorageHash,\n    TExecutionHash,\n    TProfileHash\n  >;\n}\n"],"mappings":";;;;;;;;;;;AA8BA,SAAgB,IAAI,YAAoB,SAAiB,WAAW,OAAsB;AACxF,QAAO;EACL;EACA;EACA;EACD;;AAGH,SAAgB,GAAG,GAAG,SAAwC;AAC5D,QAAO,EACL,SACD;;AAGH,SAAgB,OAAO,GAAG,SAA8C;AACtE,QAAO,EACL,SACD;;AAGH,SAAgB,MAAM,GAAG,SAAmC;AAC1D,QAAO,EACL,SACD;;AAGH,SAAgB,GACd,SACA,UACA,YACA,MACY;AAKZ,QAAO;EACL;EACA,YANuC;GACvC,OAAO;GACP,SAAS;GACV;EAIC,GAAG,gBAAgB;GAAE,YAAY,MAAM;GAAY,OAAO,MAAM;GAAO,CAAC;EACxE,GAAI,MAAM,SAAS,UAAa,EAAE,MAAM,KAAK,MAAM;EACpD;;AAGH,SAAgB,MACd,SACA,MAMc;AACd,QAAO;EACL;EACA,GAAI,MAAM,OAAO,UAAa,EAAE,YAAY,KAAK,IAAI;EACrD,SAAS,MAAM,WAAW,EAAE;EAC5B,SAAS,MAAM,WAAW,EAAE;EAC5B,aAAa,MAAM,OAAO,EAAE;EAC7B;;AAGH,SAAgB,MACd,SACA,QACA,YAAqC,EAAE,EACtB;AAEjB,QAAO;EACL,SAF4B,EAAE,gBAAO;EAGrC;EACA;EACD;;AAGH,SAAgB,QAAQ,QAAkD;AACxE,QAAO,EAAE,QAAQ;;AAGnB,SAAgB,SAId,MAuBA;AACA,QAAO;EACL,eAAe,KAAK,iBAAiB;EACrC,QAAQ,KAAK;EACb,cAAc,KAAK,gBAAgB;EACnC,aAAa,KAAK;EAClB,GAAI,KAAK,kBAAkB,UAAa,EAAE,eAAe,KAAK,eAAe;EAC7E,SAAS,KAAK;EACd,QAAQ,KAAK,UAAU,EAAE;EACzB,WAAW,KAAK,aAAa,EAAE;EAC/B,UAAW,KAAK,YAAY,EAAE;EAC9B,GAAI,KAAK,gBAAgB,UAAa,EAAE,aAAa,KAAK,aAAa;EACvE,GAAI,KAAK,iBAAiB,UAAa,EAAE,cAAc,KAAK,cAAc;EAC1E,GAAI,KAAK,mBAAmB,UAAa,EAAE,gBAAgB,KAAK,gBAAgB;EAChF,GAAI,KAAK,SAAS,UAAa,EAAE,MAAM,KAAK,MAAM;EAClD,GAAI,KAAK,YAAY,UAAa,EAAE,SAAS,KAAK,SAAoC;EACvF"}
+{"version":3,"file":"factories.mjs","names":[],"sources":["../src/factories.ts"],"sourcesContent":["import type {\n  ExecutionHashBase,\n  ProfileHashBase,\n  StorageHashBase,\n} from '@prisma-next/contract/types';\nimport type {\n  ForeignKey,\n  ForeignKeyOptions,\n  ForeignKeyReferences,\n  Index,\n  ModelDefinition,\n  ModelField,\n  ModelStorage,\n  PrimaryKey,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n  UniqueConstraint,\n} from './types';\nimport { applyFkDefaults } from './types';\n\n/**\n * Creates a StorageColumn with nativeType and codecId.\n *\n * @param nativeType - Native database type identifier (e.g., 'int4', 'text', 'vector')\n * @param codecId - Codec identifier (e.g., 'pg/int4@1', 'pg/text@1')\n * @param nullable - Whether the column is nullable (default: false)\n * @returns StorageColumn with nativeType and codecId\n */\nexport function col(nativeType: string, codecId: string, nullable = false): StorageColumn {\n  return {\n    nativeType,\n    codecId,\n    nullable,\n  };\n}\n\nexport function pk(...columns: readonly string[]): PrimaryKey {\n  return {\n    columns,\n  };\n}\n\nexport function unique(...columns: readonly string[]): UniqueConstraint {\n  return {\n    columns,\n  };\n}\n\nexport function index(...columns: readonly string[]): Index {\n  return {\n    columns,\n  };\n}\n\nexport function fk(\n  columns: readonly string[],\n  refTable: string,\n  refColumns: readonly string[],\n  opts?: ForeignKeyOptions & { constraint?: boolean; index?: boolean },\n): ForeignKey {\n  const references: ForeignKeyReferences = {\n    table: refTable,\n    columns: refColumns,\n  };\n\n  return {\n    columns,\n    references,\n    ...(opts?.name !== undefined && { name: opts.name }),\n    ...(opts?.onDelete !== undefined && { onDelete: opts.onDelete }),\n    ...(opts?.onUpdate !== undefined && { onUpdate: opts.onUpdate }),\n    ...applyFkDefaults({ constraint: opts?.constraint, index: opts?.index }),\n  };\n}\n\nexport function table(\n  columns: Record<string, StorageColumn>,\n  opts?: {\n    pk?: PrimaryKey;\n    uniques?: readonly UniqueConstraint[];\n    indexes?: readonly Index[];\n    fks?: readonly ForeignKey[];\n  },\n): StorageTable {\n  return {\n    columns,\n    ...(opts?.pk !== undefined && { primaryKey: opts.pk }),\n    uniques: opts?.uniques ?? [],\n    indexes: opts?.indexes ?? [],\n    foreignKeys: opts?.fks ?? [],\n  };\n}\n\nexport function model(\n  table: string,\n  fields: Record<string, ModelField>,\n  relations: Record<string, unknown> = {},\n): ModelDefinition {\n  const storage: ModelStorage = { table };\n  return {\n    storage,\n    fields,\n    relations,\n  };\n}\n\nexport function storage(tables: Record<string, StorageTable>): SqlStorage {\n  return { tables };\n}\n\nexport function contract<\n  TStorageHash extends StorageHashBase<string> = StorageHashBase<string>,\n  TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>,\n  TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>,\n>(opts: {\n  target: string;\n  storageHash: TStorageHash;\n  executionHash?: TExecutionHash;\n  storage: SqlStorage;\n  models?: Record<string, ModelDefinition>;\n  relations?: Record<string, unknown>;\n  mappings?: Partial<SqlMappings>;\n  schemaVersion?: '1';\n  targetFamily?: 'sql';\n  profileHash?: TProfileHash;\n  capabilities?: Record<string, Record<string, boolean>>;\n  extensionPacks?: Record<string, unknown>;\n  meta?: Record<string, unknown>;\n  sources?: Record<string, unknown>;\n}): SqlContract<\n  SqlStorage,\n  Record<string, unknown>,\n  Record<string, unknown>,\n  SqlMappings,\n  TStorageHash,\n  TExecutionHash,\n  TProfileHash\n> {\n  return {\n    schemaVersion: opts.schemaVersion ?? '1',\n    target: opts.target,\n    targetFamily: opts.targetFamily ?? 'sql',\n    storageHash: opts.storageHash,\n    ...(opts.executionHash !== undefined && { executionHash: opts.executionHash }),\n    storage: opts.storage,\n    models: opts.models ?? {},\n    relations: opts.relations ?? {},\n    mappings: (opts.mappings ?? {}) as SqlMappings,\n    ...(opts.profileHash !== undefined && { profileHash: opts.profileHash }),\n    ...(opts.capabilities !== undefined && { capabilities: opts.capabilities }),\n    ...(opts.extensionPacks !== undefined && { extensionPacks: opts.extensionPacks }),\n    ...(opts.meta !== undefined && { meta: opts.meta }),\n    ...(opts.sources !== undefined && { sources: opts.sources as Record<string, unknown> }),\n  } as SqlContract<\n    SqlStorage,\n    Record<string, unknown>,\n    Record<string, unknown>,\n    SqlMappings,\n    TStorageHash,\n    TExecutionHash,\n    TProfileHash\n  >;\n}\n"],"mappings":";;;;;;;;;;;AA+BA,SAAgB,IAAI,YAAoB,SAAiB,WAAW,OAAsB;AACxF,QAAO;EACL;EACA;EACA;EACD;;AAGH,SAAgB,GAAG,GAAG,SAAwC;AAC5D,QAAO,EACL,SACD;;AAGH,SAAgB,OAAO,GAAG,SAA8C;AACtE,QAAO,EACL,SACD;;AAGH,SAAgB,MAAM,GAAG,SAAmC;AAC1D,QAAO,EACL,SACD;;AAGH,SAAgB,GACd,SACA,UACA,YACA,MACY;AAMZ,QAAO;EACL;EACA,YAPuC;GACvC,OAAO;GACP,SAAS;GACV;EAKC,GAAI,MAAM,SAAS,UAAa,EAAE,MAAM,KAAK,MAAM;EACnD,GAAI,MAAM,aAAa,UAAa,EAAE,UAAU,KAAK,UAAU;EAC/D,GAAI,MAAM,aAAa,UAAa,EAAE,UAAU,KAAK,UAAU;EAC/D,GAAG,gBAAgB;GAAE,YAAY,MAAM;GAAY,OAAO,MAAM;GAAO,CAAC;EACzE;;AAGH,SAAgB,MACd,SACA,MAMc;AACd,QAAO;EACL;EACA,GAAI,MAAM,OAAO,UAAa,EAAE,YAAY,KAAK,IAAI;EACrD,SAAS,MAAM,WAAW,EAAE;EAC5B,SAAS,MAAM,WAAW,EAAE;EAC5B,aAAa,MAAM,OAAO,EAAE;EAC7B;;AAGH,SAAgB,MACd,SACA,QACA,YAAqC,EAAE,EACtB;AAEjB,QAAO;EACL,SAF4B,EAAE,gBAAO;EAGrC;EACA;EACD;;AAGH,SAAgB,QAAQ,QAAkD;AACxE,QAAO,EAAE,QAAQ;;AAGnB,SAAgB,SAId,MAuBA;AACA,QAAO;EACL,eAAe,KAAK,iBAAiB;EACrC,QAAQ,KAAK;EACb,cAAc,KAAK,gBAAgB;EACnC,aAAa,KAAK;EAClB,GAAI,KAAK,kBAAkB,UAAa,EAAE,eAAe,KAAK,eAAe;EAC7E,SAAS,KAAK;EACd,QAAQ,KAAK,UAAU,EAAE;EACzB,WAAW,KAAK,aAAa,EAAE;EAC/B,UAAW,KAAK,YAAY,EAAE;EAC9B,GAAI,KAAK,gBAAgB,UAAa,EAAE,aAAa,KAAK,aAAa;EACvE,GAAI,KAAK,iBAAiB,UAAa,EAAE,cAAc,KAAK,cAAc;EAC1E,GAAI,KAAK,mBAAmB,UAAa,EAAE,gBAAgB,KAAK,gBAAgB;EAChF,GAAI,KAAK,SAAS,UAAa,EAAE,MAAM,KAAK,MAAM;EAClD,GAAI,KAAK,YAAY,UAAa,EAAE,SAAS,KAAK,SAAoC;EACvF"}

package/dist/{types-DTFobApb.d.mts → types-T6o5-ZB3.d.mts}

@@ -46,10 +46,18 @@ type ForeignKeyReferences = {
   readonly table: string;
   readonly columns: readonly string[];
 };
+type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';
+type ForeignKeyOptions = {
+  readonly name?: string;
+  readonly onDelete?: ReferentialAction;
+  readonly onUpdate?: ReferentialAction;
+};
 type ForeignKey = {
   readonly columns: readonly string[];
   readonly references: ForeignKeyReferences;
   readonly name?: string;
+  readonly onDelete?: ReferentialAction;
+  readonly onUpdate?: ReferentialAction;
   /** Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY). */
   readonly constraint: boolean;
   /** Whether to emit a backing index for the FK columns. */
@@ -133,5 +141,5 @@ type SqlContract<S extends SqlStorage = SqlStorage, M extends Record<string, unk
 type ExtractCodecTypes<TContract extends SqlContract<SqlStorage>> = TContract['mappings']['codecTypes'];
 type ExtractOperationTypes<TContract extends SqlContract<SqlStorage>> = TContract['mappings']['operationTypes'];
 //#endregion
-export { StorageTypeInstance as _, ForeignKey as a, ModelDefinition as c, PrimaryKey as d, SqlContract as f, StorageTable as g, StorageColumn as h, ExtractOperationTypes as i, ModelField as l, SqlStorage as m, DEFAULT_FK_INDEX as n, ForeignKeyReferences as o, SqlMappings as p, ExtractCodecTypes as r, Index as s, DEFAULT_FK_CONSTRAINT as t, ModelStorage as u, UniqueConstraint as v, applyFkDefaults as y };
-//# sourceMappingURL=types-DTFobApb.d.mts.map
+export { StorageColumn as _, ForeignKey as a, UniqueConstraint as b, Index as c, ModelStorage as d, PrimaryKey as f, SqlStorage as g, SqlMappings as h, ExtractOperationTypes as i, ModelDefinition as l, SqlContract as m, DEFAULT_FK_INDEX as n, ForeignKeyOptions as o, ReferentialAction as p, ExtractCodecTypes as r, ForeignKeyReferences as s, DEFAULT_FK_CONSTRAINT as t, ModelField as u, StorageTable as v, applyFkDefaults as x, StorageTypeInstance as y };
+//# sourceMappingURL=types-T6o5-ZB3.d.mts.map

package/dist/types-T6o5-ZB3.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-T6o5-ZB3.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;;AAgBA;AAsBA;AAKA;AAKA;AAKA;AAKY,KA1CA,aAAA,GA0CiB;EAEjB,SAAA,UAAA,EAAiB,MAAA;EAMjB,SAAA,OAAU,EAAA,MAAA;EAEC,SAAA,QAAA,EAAA,OAAA;EAED;;;AAQtB;;EACoB,SAAA,UAAA,CAAA,EAtDI,MAsDJ,CAAA,MAAA,EAAA,OAAA,CAAA;EACI;;;;EAEJ,SAAA,OAAA,CAAA,EAAA,MAAA;EACkB;;;AAatC;EAMY,SAAA,OAAU,CAAA,EAnED,aAmEC;CACY;AAAf,KAjEP,UAAA,GAiEO;EAKe,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EAAf,SAAA,IAAA,CAAA,EAAA,MAAA;CAAM;AAGb,KApEA,gBAAA,GAoEU;EAIV,SAAA,OAAY,EAAA,SAAA,MAAA,EAAA;EAIZ,SAAA,IAAA,CAAA,EAAA,MAAe;CACP;AACc,KAzEtB,KAAA,GAyEsB;EAAf,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EACG,SAAA,IAAA,CAAA,EAAA,MAAA;CAAM;AAGhB,KAxEA,oBAAA,GAwEW;EACG,SAAA,KAAA,EAAA,MAAA;EACA,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;CACgB;AAAf,KAtEf,iBAAA,GAsEe,UAAA,GAAA,UAAA,GAAA,SAAA,GAAA,SAAA,GAAA,YAAA;AACe,KArE9B,iBAAA,GAqE8B;EAAf,SAAA,IAAA,CAAA,EAAA,MAAA;EACJ,SAAA,QAAA,CAAA,EApED,iBAoEC;EACmB,SAAA,QAAA,CAAA,EApEpB,iBAoEoB;CAAf;AAAM,KAjErB,UAAA,GAiEqB;EAGpB,SAAA,OAAA,EAAA,SAAqB,MAAA,EAAA;EACrB,SAAA,UAAgB,EAnEN,oBAmEM;EAMb,SAAA,IAAA,CAAA,EAAA,MAAe;EAUnB,SAAA,QAAW,CAAA,EAjFD,iBAiFC;EACX,SAAA,QAAA,CAAA,EAjFU,iBAiFV;EAAa;EACb,SAAA,UAAA,EAAA,OAAA;EAA0B;EAC1B,SAAA,KAAA,EAAA,OAAA;CAA0B;AACxB,KA7EF,YAAA,GA6EE;EAAc,SAAA,OAAA,EA5ER,MA4EQ,CAAA,MAAA,EA5EO,aA4EP,CAAA;EACL,SAAA,UAAA,CAAA,EA5EC,UA4ED;EAA0B,SAAA,OAAA,EA3E7B,aA2E6B,CA3Ef,gBA2Ee,CAAA;EACxB,SAAA,OAAA,EA3EL,aA2EK,CA3ES,KA2ET,CAAA;EAA4B,SAAA,WAAA,EA1E7B,aA0E6B,CA1Ef,UA0Ee,CAAA;CAC9B;;;;;;;;;;;AAOgB,KArE3B,mBAAA,GAqE2B;EAG3B,SAAA,OAAA,EAAA,MAAiB;EAA+B,SAAA,UAAA,EAAA,MAAA;EAAZ,SAAA,UAAA,EArEzB,MAqEyB,CAAA,MAAA,EAAA,OAAA,CAAA;CAC9C;AAAS,KAnEC,UAAA,GAmED;EAEC,SAAA,MAAA,EApEO,MAoEP,CAAqB,MAAA,EApEC,YAoED,CAAA;EAA+B;;;;mBA/D7C,eAAe;;KAGtB,UAAA;;;KAIA,YAAA;;;KAIA,eAAA;oBACQ;mBACD,eAAe;sBACZ;;KAGV,WAAA;0BACc;0BACA;2BACC,eAAe;2BACf,eAAe;uBACnB;;;2BACI,eAAe;;cAG7B,qBAAA;cACA,gBAAA;;;;;iBAMG,eAAA;;;;;;;;;;KAUJ,sBACA,aAAa,sBACb,0BAA0B,mCAC1B,0BAA0B,qCACxB,cAAc,kCACL,0BAA0B,gDACxB,4BAA4B,gDAC9B,0BAA0B,2BAC7C,aAAa,cAAc,gBAAgB;;oBAE3B;mBACD;sBACG;qBACD;uBACE;;KAGX,oCAAoC,YAAY,eAC1D;KAEU,wCAAwC,YAAY,eAC9D"}

package/dist/types-kacOgEya.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"types-kacOgEya.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["import type {\n  ColumnDefault,\n  ContractBase,\n  ExecutionHashBase,\n  ExecutionSection,\n  ProfileHashBase,\n  StorageHashBase,\n} from '@prisma-next/contract/types';\n\n/**\n * A column definition in storage.\n *\n * `typeParams` is optional because most columns use non-parameterized types.\n * Columns with parameterized types can either inline `typeParams` or reference\n * a named {@link StorageTypeInstance} via `typeRef`.\n */\nexport type StorageColumn = {\n  readonly nativeType: string;\n  readonly codecId: string;\n  readonly nullable: boolean;\n  /**\n   * Opaque, codec-owned JS/type parameters.\n   * The codec that owns `codecId` defines the shape and semantics.\n   * Mutually exclusive with `typeRef`.\n   */\n  readonly typeParams?: Record<string, unknown>;\n  /**\n   * Reference to a named type instance in `storage.types`.\n   * Mutually exclusive with `typeParams`.\n   */\n  readonly typeRef?: string;\n  /**\n   * Default value for the column.\n   * Can be a literal value or database function.\n   */\n  readonly default?: ColumnDefault;\n};\n\nexport type PrimaryKey = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type UniqueConstraint = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type Index = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type ForeignKeyReferences = {\n  readonly table: string;\n  readonly columns: readonly string[];\n};\n\nexport type ForeignKey = {\n  readonly columns: readonly string[];\n  readonly references: ForeignKeyReferences;\n  readonly name?: string;\n  /** Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY). */\n  readonly constraint: boolean;\n  /** Whether to emit a backing index for the FK columns. */\n  readonly index: boolean;\n};\n\nexport type StorageTable = {\n  readonly columns: Record<string, StorageColumn>;\n  readonly primaryKey?: PrimaryKey;\n  readonly uniques: ReadonlyArray<UniqueConstraint>;\n  readonly indexes: ReadonlyArray<Index>;\n  readonly foreignKeys: ReadonlyArray<ForeignKey>;\n};\n\n/**\n * A named, parameterized type instance.\n * These are registered in `storage.types` for reuse across columns\n * and to enable ergonomic schema surfaces like `schema.types.MyType`.\n *\n * Unlike {@link StorageColumn}, `typeParams` is required here because\n * `StorageTypeInstance` exists specifically to define reusable parameterized types.\n * A type instance without parameters would be redundant—columns can reference\n * the codec directly via `codecId`.\n */\nexport type StorageTypeInstance = {\n  readonly codecId: string;\n  readonly nativeType: string;\n  readonly typeParams: Record<string, unknown>;\n};\n\nexport type SqlStorage = {\n  readonly tables: Record<string, StorageTable>;\n  /**\n   * Named type instances for parameterized/custom types.\n   * Columns can reference these via `typeRef`.\n   */\n  readonly types?: Record<string, StorageTypeInstance>;\n};\n\nexport type ModelField = {\n  readonly column: string;\n};\n\nexport type ModelStorage = {\n  readonly table: string;\n};\n\nexport type ModelDefinition = {\n  readonly storage: ModelStorage;\n  readonly fields: Record<string, ModelField>;\n  readonly relations: Record<string, unknown>;\n};\n\nexport type SqlMappings = {\n  readonly modelToTable?: Record<string, string>;\n  readonly tableToModel?: Record<string, string>;\n  readonly fieldToColumn?: Record<string, Record<string, string>>;\n  readonly columnToField?: Record<string, Record<string, string>>;\n  readonly codecTypes: Record<string, { readonly output: unknown }>;\n  readonly operationTypes: Record<string, Record<string, unknown>>;\n};\n\nexport const DEFAULT_FK_CONSTRAINT = true;\nexport const DEFAULT_FK_INDEX = true;\n\n/**\n * Resolves foreign key `constraint` and `index` fields to their effective boolean values,\n * falling back through optional override defaults, then to the global defaults.\n */\nexport function applyFkDefaults(\n  fk: { constraint?: boolean | undefined; index?: boolean | undefined },\n  overrideDefaults?: { constraint?: boolean | undefined; index?: boolean | undefined },\n): { constraint: boolean; index: boolean } {\n  return {\n    constraint: fk.constraint ?? overrideDefaults?.constraint ?? DEFAULT_FK_CONSTRAINT,\n    index: fk.index ?? overrideDefaults?.index ?? DEFAULT_FK_INDEX,\n  };\n}\n\nexport type SqlContract<\n  S extends SqlStorage = SqlStorage,\n  M extends Record<string, unknown> = Record<string, unknown>,\n  R extends Record<string, unknown> = Record<string, unknown>,\n  Map extends SqlMappings = SqlMappings,\n  TStorageHash extends StorageHashBase<string> = StorageHashBase<string>,\n  TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>,\n  TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>,\n> = ContractBase<TStorageHash, TExecutionHash, TProfileHash> & {\n  readonly targetFamily: string;\n  readonly storage: S;\n  readonly models: M;\n  readonly relations: R;\n  readonly mappings: Map;\n  readonly execution?: ExecutionSection;\n};\n\nexport type ExtractCodecTypes<TContract extends SqlContract<SqlStorage>> =\n  TContract['mappings']['codecTypes'];\n\nexport type ExtractOperationTypes<TContract extends SqlContract<SqlStorage>> =\n  TContract['mappings']['operationTypes'];\n"],"mappings":";AA4HA,MAAa,wBAAwB;AACrC,MAAa,mBAAmB;;;;;AAMhC,SAAgB,gBACd,IACA,kBACyC;AACzC,QAAO;EACL,YAAY,GAAG,cAAc,kBAAkB,cAAc;EAC7D,OAAO,GAAG,SAAS,kBAAkB,SAAS;EAC/C"}
+{"version":3,"file":"types-kacOgEya.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["import type {\n  ColumnDefault,\n  ContractBase,\n  ExecutionHashBase,\n  ExecutionSection,\n  ProfileHashBase,\n  StorageHashBase,\n} from '@prisma-next/contract/types';\n\n/**\n * A column definition in storage.\n *\n * `typeParams` is optional because most columns use non-parameterized types.\n * Columns with parameterized types can either inline `typeParams` or reference\n * a named {@link StorageTypeInstance} via `typeRef`.\n */\nexport type StorageColumn = {\n  readonly nativeType: string;\n  readonly codecId: string;\n  readonly nullable: boolean;\n  /**\n   * Opaque, codec-owned JS/type parameters.\n   * The codec that owns `codecId` defines the shape and semantics.\n   * Mutually exclusive with `typeRef`.\n   */\n  readonly typeParams?: Record<string, unknown>;\n  /**\n   * Reference to a named type instance in `storage.types`.\n   * Mutually exclusive with `typeParams`.\n   */\n  readonly typeRef?: string;\n  /**\n   * Default value for the column.\n   * Can be a literal value or database function.\n   */\n  readonly default?: ColumnDefault;\n};\n\nexport type PrimaryKey = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type UniqueConstraint = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type Index = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type ForeignKeyReferences = {\n  readonly table: string;\n  readonly columns: readonly string[];\n};\n\nexport type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';\n\nexport type ForeignKeyOptions = {\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n};\n\nexport type ForeignKey = {\n  readonly columns: readonly string[];\n  readonly references: ForeignKeyReferences;\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n  /** Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY). */\n  readonly constraint: boolean;\n  /** Whether to emit a backing index for the FK columns. */\n  readonly index: boolean;\n};\n\nexport type StorageTable = {\n  readonly columns: Record<string, StorageColumn>;\n  readonly primaryKey?: PrimaryKey;\n  readonly uniques: ReadonlyArray<UniqueConstraint>;\n  readonly indexes: ReadonlyArray<Index>;\n  readonly foreignKeys: ReadonlyArray<ForeignKey>;\n};\n\n/**\n * A named, parameterized type instance.\n * These are registered in `storage.types` for reuse across columns\n * and to enable ergonomic schema surfaces like `schema.types.MyType`.\n *\n * Unlike {@link StorageColumn}, `typeParams` is required here because\n * `StorageTypeInstance` exists specifically to define reusable parameterized types.\n * A type instance without parameters would be redundant—columns can reference\n * the codec directly via `codecId`.\n */\nexport type StorageTypeInstance = {\n  readonly codecId: string;\n  readonly nativeType: string;\n  readonly typeParams: Record<string, unknown>;\n};\n\nexport type SqlStorage = {\n  readonly tables: Record<string, StorageTable>;\n  /**\n   * Named type instances for parameterized/custom types.\n   * Columns can reference these via `typeRef`.\n   */\n  readonly types?: Record<string, StorageTypeInstance>;\n};\n\nexport type ModelField = {\n  readonly column: string;\n};\n\nexport type ModelStorage = {\n  readonly table: string;\n};\n\nexport type ModelDefinition = {\n  readonly storage: ModelStorage;\n  readonly fields: Record<string, ModelField>;\n  readonly relations: Record<string, unknown>;\n};\n\nexport type SqlMappings = {\n  readonly modelToTable?: Record<string, string>;\n  readonly tableToModel?: Record<string, string>;\n  readonly fieldToColumn?: Record<string, Record<string, string>>;\n  readonly columnToField?: Record<string, Record<string, string>>;\n  readonly codecTypes: Record<string, { readonly output: unknown }>;\n  readonly operationTypes: Record<string, Record<string, unknown>>;\n};\n\nexport const DEFAULT_FK_CONSTRAINT = true;\nexport const DEFAULT_FK_INDEX = true;\n\n/**\n * Resolves foreign key `constraint` and `index` fields to their effective boolean values,\n * falling back through optional override defaults, then to the global defaults.\n */\nexport function applyFkDefaults(\n  fk: { constraint?: boolean | undefined; index?: boolean | undefined },\n  overrideDefaults?: { constraint?: boolean | undefined; index?: boolean | undefined },\n): { constraint: boolean; index: boolean } {\n  return {\n    constraint: fk.constraint ?? overrideDefaults?.constraint ?? DEFAULT_FK_CONSTRAINT,\n    index: fk.index ?? overrideDefaults?.index ?? DEFAULT_FK_INDEX,\n  };\n}\n\nexport type SqlContract<\n  S extends SqlStorage = SqlStorage,\n  M extends Record<string, unknown> = Record<string, unknown>,\n  R extends Record<string, unknown> = Record<string, unknown>,\n  Map extends SqlMappings = SqlMappings,\n  TStorageHash extends StorageHashBase<string> = StorageHashBase<string>,\n  TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>,\n  TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>,\n> = ContractBase<TStorageHash, TExecutionHash, TProfileHash> & {\n  readonly targetFamily: string;\n  readonly storage: S;\n  readonly models: M;\n  readonly relations: R;\n  readonly mappings: Map;\n  readonly execution?: ExecutionSection;\n};\n\nexport type ExtractCodecTypes<TContract extends SqlContract<SqlStorage>> =\n  TContract['mappings']['codecTypes'];\n\nexport type ExtractOperationTypes<TContract extends SqlContract<SqlStorage>> =\n  TContract['mappings']['operationTypes'];\n"],"mappings":";AAsIA,MAAa,wBAAwB;AACrC,MAAa,mBAAmB;;;;;AAMhC,SAAgB,gBACd,IACA,kBACyC;AACzC,QAAO;EACL,YAAY,GAAG,cAAc,kBAAkB,cAAc;EAC7D,OAAO,GAAG,SAAS,kBAAkB,SAAS;EAC/C"}

package/dist/types.d.mts

@@ -1,2 +1,2 @@
-import { _ as StorageTypeInstance, a as ForeignKey, c as ModelDefinition, d as PrimaryKey, f as SqlContract, g as StorageTable, h as StorageColumn, i as ExtractOperationTypes, l as ModelField, m as SqlStorage, n as DEFAULT_FK_INDEX, o as ForeignKeyReferences, p as SqlMappings, r as ExtractCodecTypes, s as Index, t as DEFAULT_FK_CONSTRAINT, u as ModelStorage, v as UniqueConstraint, y as applyFkDefaults } from "./types-DTFobApb.mjs";
-export { DEFAULT_FK_CONSTRAINT, DEFAULT_FK_INDEX, type ExtractCodecTypes, type ExtractOperationTypes, type ForeignKey, type ForeignKeyReferences, type Index, type ModelDefinition, type ModelField, type ModelStorage, type PrimaryKey, type SqlContract, type SqlMappings, type SqlStorage, type StorageColumn, type StorageTable, type StorageTypeInstance, type UniqueConstraint, applyFkDefaults };
+import { _ as StorageColumn, a as ForeignKey, b as UniqueConstraint, c as Index, d as ModelStorage, f as PrimaryKey, g as SqlStorage, h as SqlMappings, i as ExtractOperationTypes, l as ModelDefinition, m as SqlContract, n as DEFAULT_FK_INDEX, o as ForeignKeyOptions, p as ReferentialAction, r as ExtractCodecTypes, s as ForeignKeyReferences, t as DEFAULT_FK_CONSTRAINT, u as ModelField, v as StorageTable, x as applyFkDefaults, y as StorageTypeInstance } from "./types-T6o5-ZB3.mjs";
+export { DEFAULT_FK_CONSTRAINT, DEFAULT_FK_INDEX, type ExtractCodecTypes, type ExtractOperationTypes, type ForeignKey, type ForeignKeyOptions, type ForeignKeyReferences, type Index, type ModelDefinition, type ModelField, type ModelStorage, type PrimaryKey, type ReferentialAction, type SqlContract, type SqlMappings, type SqlStorage, type StorageColumn, type StorageTable, type StorageTypeInstance, type UniqueConstraint, applyFkDefaults };

package/dist/validate.d.mts

@@ -1,8 +1,11 @@
-import { f as SqlContract, m as SqlStorage } from "./types-DTFobApb.mjs";
+import { _ as StorageColumn, g as SqlStorage, m as SqlContract } from "./types-T6o5-ZB3.mjs";
+import "@prisma-next/contract/types";
 
 //#region src/validate.d.ts
+declare function isBigIntColumn(column: StorageColumn): boolean;
+declare function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T;
 declare function normalizeContract(contract: unknown): SqlContract<SqlStorage>;
 declare function validateContract<TContract extends SqlContract<SqlStorage>>(value: unknown): TContract;
 //#endregion
-export { normalizeContract, validateContract };
+export { decodeContractDefaults, isBigIntColumn, normalizeContract, validateContract };
 //# sourceMappingURL=validate.d.mts.map

package/dist/validate.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.mts","names":[],"sources":["../src/validate.ts"],"sourcesContent":[],"mappings":";;;iBA0OgB,iBAAA,qBAAsC,YAAY;iBAmFlD,mCAAmC,YAAY,8BAE5D"}
+{"version":3,"file":"validate.d.mts","names":[],"sources":["../src/validate.ts"],"sourcesContent":[],"mappings":";;;;iBA6PgB,cAAA,SAAuB;AAAvB,iBAkCA,sBAlCuB,CAAa,UAkCH,WAlCG,CAkCS,UAlCT,CAAA,CAAA,CAAA,QAAA,EAkCgC,CAlChC,CAAA,EAkCoC,CAlCpC;AAkCpC,iBAqDA,iBAAA,CArDsB,QAAA,EAAA,OAAA,CAAA,EAqDgB,WArDhB,CAqD4B,UArD5B,CAAA;AAAuB,iBAwI7C,gBAxI6C,CAAA,kBAwIV,WAxIU,CAwIE,UAxIF,CAAA,CAAA,CAAA,KAAA,EAAA,OAAA,CAAA,EA0I1D,SA1I0D"}

package/dist/validate.mjs

@@ -1,5 +1,6 @@
 import { r as applyFkDefaults } from "./types-kacOgEya.mjs";
-import { a as validateSqlContract } from "./validators-Dfw5_HSi.mjs";
+import { c as validateSqlContract, u as validateStorageSemantics } from "./validators-CNMPzxwB.mjs";
+import { isTaggedBigInt, isTaggedRaw } from "@prisma-next/contract/types";
 
 //#region src/validate.ts
 function computeDefaultMappings(models) {
@@ -86,6 +87,7 @@ function validateContractLogic(contract) {
 		}
 		for (const unique of table.uniques) for (const colName of unique.columns) if (!columnNames.has(colName)) throw new Error(`Table "${tableName}" unique constraint references non-existent column "${colName}"`);
 		for (const index of table.indexes) for (const colName of index.columns) if (!columnNames.has(colName)) throw new Error(`Table "${tableName}" index references non-existent column "${colName}"`);
+		for (const [colName, column] of Object.entries(table.columns)) if (!column.nullable && column.default?.kind === "literal" && column.default.value === null) throw new Error(`Table "${tableName}" column "${colName}" is NOT NULL but has a literal null default`);
 		for (const fk of table.foreignKeys) {
 			for (const colName of fk.columns) if (!columnNames.has(colName)) throw new Error(`Table "${tableName}" foreignKey references non-existent column "${colName}"`);
 			if (!tableNames.has(fk.references.table)) throw new Error(`Table "${tableName}" foreignKey references non-existent table "${fk.references.table}"`);
@@ -96,6 +98,67 @@ function validateContractLogic(contract) {
 		}
 	}
 }
+const BIGINT_NATIVE_TYPES = new Set(["bigint", "int8"]);
+function isBigIntColumn(column) {
+	const nativeType = column.nativeType?.toLowerCase() ?? "";
+	if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;
+	const codecId = column.codecId?.toLowerCase() ?? "";
+	return codecId.includes("int8") || codecId.includes("bigint");
+}
+function decodeDefaultLiteralValue(value, column, tableName, columnName) {
+	if (value instanceof Date) return value;
+	if (isTaggedRaw(value)) return value.value;
+	if (isTaggedBigInt(value)) {
+		if (!isBigIntColumn(column)) return value;
+		try {
+			return BigInt(value.value);
+		} catch {
+			throw new Error(`Invalid tagged bigint for default value on "${tableName}.${columnName}": "${value.value}" is not a valid integer`);
+		}
+	}
+	return value;
+}
+function decodeContractDefaults(contract) {
+	const tables = contract.storage.tables;
+	let tablesChanged = false;
+	const decodedTables = {};
+	for (const [tableName, table] of Object.entries(tables)) {
+		let columnsChanged = false;
+		const decodedColumns = {};
+		for (const [columnName, column] of Object.entries(table.columns)) {
+			if (column.default?.kind === "literal") {
+				const decodedValue = decodeDefaultLiteralValue(column.default.value, column, tableName, columnName);
+				if (decodedValue !== column.default.value) {
+					columnsChanged = true;
+					decodedColumns[columnName] = {
+						...column,
+						default: {
+							kind: "literal",
+							value: decodedValue
+						}
+					};
+					continue;
+				}
+			}
+			decodedColumns[columnName] = column;
+		}
+		if (columnsChanged) {
+			tablesChanged = true;
+			decodedTables[tableName] = {
+				...table,
+				columns: decodedColumns
+			};
+		} else decodedTables[tableName] = table;
+	}
+	if (!tablesChanged) return contract;
+	return {
+		...contract,
+		storage: {
+			...contract.storage,
+			tables: decodedTables
+		}
+	};
+}
 function normalizeContract(contract) {
 	if (typeof contract !== "object" || contract === null) return contract;
 	const contractObj = contract;
@@ -166,14 +229,16 @@ function normalizeContract(contract) {
 function validateContract(value) {
 	const structurallyValid = validateSqlContract(normalizeContract(value));
 	validateContractLogic(structurallyValid);
+	const semanticErrors = validateStorageSemantics(structurallyValid.storage);
+	if (semanticErrors.length > 0) throw new Error(`Contract semantic validation failed: ${semanticErrors.join("; ")}`);
 	const existingMappings = structurallyValid.mappings;
 	const mappings = mergeMappings(computeDefaultMappings(structurallyValid.models), existingMappings);
-	return {
+	return decodeContractDefaults({
 		...structurallyValid,
 		mappings
-	};
+	});
 }
 
 //#endregion
-export { normalizeContract, validateContract };
+export { decodeContractDefaults, isBigIntColumn, normalizeContract, validateContract };
 //# sourceMappingURL=validate.mjs.map

package/dist/validate.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"validate.mjs","names":["modelToTable: Record<string, string>","tableToModel: Record<string, string>","fieldToColumn: Record<string, Record<string, string>>","columnToField: Record<string, Record<string, string>>","modelFieldToColumn: Record<string, string>","normalizedTables: Record<string, unknown>","normalizedColumns: Record<string, unknown>","normalizedModelsObj: Record<string, unknown>"],"sources":["../src/validate.ts"],"sourcesContent":["import type { ModelDefinition, SqlContract, SqlMappings, SqlStorage } from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract } from './validators';\n\ntype ResolvedMappings = {\n  modelToTable: Record<string, string>;\n  tableToModel: Record<string, string>;\n  fieldToColumn: Record<string, Record<string, string>>;\n  columnToField: Record<string, Record<string, string>>;\n  codecTypes: Record<string, { readonly output: unknown }>;\n  operationTypes: Record<string, Record<string, unknown>>;\n};\n\nfunction computeDefaultMappings(models: Record<string, ModelDefinition>): ResolvedMappings {\n  const modelToTable: Record<string, string> = {};\n  const tableToModel: Record<string, string> = {};\n  const fieldToColumn: Record<string, Record<string, string>> = {};\n  const columnToField: Record<string, Record<string, string>> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const tableName = model.storage.table;\n    modelToTable[modelName] = tableName;\n    tableToModel[tableName] = modelName;\n\n    const modelFieldToColumn: Record<string, string> = {};\n    for (const [fieldName, field] of Object.entries(model.fields)) {\n      const columnName = field.column;\n      modelFieldToColumn[fieldName] = columnName;\n      if (!columnToField[tableName]) {\n        columnToField[tableName] = {};\n      }\n      columnToField[tableName][columnName] = fieldName;\n    }\n\n    fieldToColumn[modelName] = modelFieldToColumn;\n  }\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n    codecTypes: {},\n    operationTypes: {},\n  };\n}\n\nfunction assertInverseModelMappings(\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n) {\n  for (const [model, table] of Object.entries(modelToTable)) {\n    if (tableToModel[table] !== model) {\n      throw new Error(\n        `Mappings override mismatch: modelToTable.${model}=\"${table}\" is not mirrored in tableToModel`,\n      );\n    }\n  }\n  for (const [table, model] of Object.entries(tableToModel)) {\n    if (modelToTable[model] !== table) {\n      throw new Error(\n        `Mappings override mismatch: tableToModel.${table}=\"${model}\" is not mirrored in modelToTable`,\n      );\n    }\n  }\n}\n\nfunction assertInverseFieldMappings(\n  fieldToColumn: Record<string, Record<string, string>>,\n  columnToField: Record<string, Record<string, string>>,\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n) {\n  for (const [model, fields] of Object.entries(fieldToColumn)) {\n    const table = modelToTable[model];\n    if (!table) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn references unknown model \"${model}\"`,\n      );\n    }\n    const reverseFields = columnToField[table];\n    if (!reverseFields) {\n      throw new Error(\n        `Mappings override mismatch: columnToField is missing table \"${table}\" for model \"${model}\"`,\n      );\n    }\n    for (const [field, column] of Object.entries(fields)) {\n      if (reverseFields[column] !== field) {\n        throw new Error(\n          `Mappings override mismatch: fieldToColumn.${model}.${field}=\"${column}\" is not mirrored in columnToField.${table}`,\n        );\n      }\n    }\n  }\n\n  for (const [table, columns] of Object.entries(columnToField)) {\n    const model = tableToModel[table];\n    if (!model) {\n      throw new Error(\n        `Mappings override mismatch: columnToField references unknown table \"${table}\"`,\n      );\n    }\n    const forwardFields = fieldToColumn[model];\n    if (!forwardFields) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn is missing model \"${model}\" for table \"${table}\"`,\n      );\n    }\n    for (const [column, field] of Object.entries(columns)) {\n      if (forwardFields[field] !== column) {\n        throw new Error(\n          `Mappings override mismatch: columnToField.${table}.${column}=\"${field}\" is not mirrored in fieldToColumn.${model}`,\n        );\n      }\n    }\n  }\n}\n\nfunction mergeMappings(\n  defaults: ResolvedMappings,\n  existingMappings?: Partial<SqlMappings>,\n): ResolvedMappings {\n  const hasModelToTable = existingMappings?.modelToTable !== undefined;\n  const hasTableToModel = existingMappings?.tableToModel !== undefined;\n  if (hasModelToTable !== hasTableToModel) {\n    throw new Error(\n      'Mappings override mismatch: modelToTable and tableToModel must be provided together',\n    );\n  }\n\n  const hasFieldToColumn = existingMappings?.fieldToColumn !== undefined;\n  const hasColumnToField = existingMappings?.columnToField !== undefined;\n  if (hasFieldToColumn !== hasColumnToField) {\n    throw new Error(\n      'Mappings override mismatch: fieldToColumn and columnToField must be provided together',\n    );\n  }\n\n  const modelToTable: Record<string, string> = hasModelToTable\n    ? (existingMappings?.modelToTable ?? {})\n    : defaults.modelToTable;\n  const tableToModel: Record<string, string> = hasTableToModel\n    ? (existingMappings?.tableToModel ?? {})\n    : defaults.tableToModel;\n  assertInverseModelMappings(modelToTable, tableToModel);\n\n  const fieldToColumn: Record<string, Record<string, string>> = hasFieldToColumn\n    ? (existingMappings?.fieldToColumn ?? {})\n    : defaults.fieldToColumn;\n  const columnToField: Record<string, Record<string, string>> = hasColumnToField\n    ? (existingMappings?.columnToField ?? {})\n    : defaults.columnToField;\n  assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n    codecTypes: { ...defaults.codecTypes, ...(existingMappings?.codecTypes ?? {}) },\n    operationTypes: { ...defaults.operationTypes, ...(existingMappings?.operationTypes ?? {}) },\n  };\n}\n\nfunction validateContractLogic(contract: SqlContract<SqlStorage>): void {\n  const tableNames = new Set(Object.keys(contract.storage.tables));\n\n  for (const [tableName, table] of Object.entries(contract.storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      if (!tableNames.has(fk.references.table)) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      const referencedTable = contract.storage.tables[\n        fk.references.table\n      ] as (typeof contract.storage.tables)[string];\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\" in table \"${fk.references.table}\"`,\n          );\n        }\n      }\n\n      if (fk.columns.length !== fk.references.columns.length) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey column count (${fk.columns.length}) does not match referenced column count (${fk.references.columns.length})`,\n        );\n      }\n    }\n  }\n}\n\nexport function normalizeContract(contract: unknown): SqlContract<SqlStorage> {\n  if (typeof contract !== 'object' || contract === null) {\n    return contract as SqlContract<SqlStorage>;\n  }\n\n  const contractObj = contract as Record<string, unknown>;\n\n  let normalizedStorage = contractObj['storage'];\n  if (normalizedStorage && typeof normalizedStorage === 'object' && normalizedStorage !== null) {\n    const storage = normalizedStorage as Record<string, unknown>;\n    const tables = storage['tables'] as Record<string, unknown> | undefined;\n\n    if (tables) {\n      const normalizedTables: Record<string, unknown> = {};\n      for (const [tableName, table] of Object.entries(tables)) {\n        const tableObj = table as Record<string, unknown>;\n        const columns = tableObj['columns'] as Record<string, unknown> | undefined;\n\n        if (columns) {\n          const normalizedColumns: Record<string, unknown> = {};\n          for (const [columnName, column] of Object.entries(columns)) {\n            const columnObj = column as Record<string, unknown>;\n            normalizedColumns[columnName] = {\n              ...columnObj,\n              nullable: columnObj['nullable'] ?? false,\n            };\n          }\n\n          // Normalize foreign keys: add constraint/index defaults if missing\n          const rawForeignKeys = (tableObj['foreignKeys'] ?? []) as Array<Record<string, unknown>>;\n          const normalizedForeignKeys = rawForeignKeys.map((fk) => ({\n            ...fk,\n            ...applyFkDefaults({\n              constraint: typeof fk['constraint'] === 'boolean' ? fk['constraint'] : undefined,\n              index: typeof fk['index'] === 'boolean' ? fk['index'] : undefined,\n            }),\n          }));\n\n          normalizedTables[tableName] = {\n            ...tableObj,\n            columns: normalizedColumns,\n            uniques: tableObj['uniques'] ?? [],\n            indexes: tableObj['indexes'] ?? [],\n            foreignKeys: normalizedForeignKeys,\n          };\n        } else {\n          normalizedTables[tableName] = tableObj;\n        }\n      }\n\n      normalizedStorage = {\n        ...storage,\n        tables: normalizedTables,\n      };\n    }\n  }\n\n  let normalizedModels = contractObj['models'];\n  if (normalizedModels && typeof normalizedModels === 'object' && normalizedModels !== null) {\n    const models = normalizedModels as Record<string, unknown>;\n    const normalizedModelsObj: Record<string, unknown> = {};\n    for (const [modelName, model] of Object.entries(models)) {\n      const modelObj = model as Record<string, unknown>;\n      normalizedModelsObj[modelName] = {\n        ...modelObj,\n        relations: modelObj['relations'] ?? {},\n      };\n    }\n    normalizedModels = normalizedModelsObj;\n  }\n\n  return {\n    ...contractObj,\n    models: normalizedModels,\n    relations: contractObj['relations'] ?? {},\n    storage: normalizedStorage,\n    extensionPacks: contractObj['extensionPacks'] ?? {},\n    capabilities: contractObj['capabilities'] ?? {},\n    meta: contractObj['meta'] ?? {},\n    sources: contractObj['sources'] ?? {},\n  } as SqlContract<SqlStorage>;\n}\n\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  const normalized = normalizeContract(value);\n  const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);\n  validateContractLogic(structurallyValid);\n\n  const existingMappings = (structurallyValid as { mappings?: Partial<SqlMappings> }).mappings;\n  const defaultMappings = computeDefaultMappings(\n    structurallyValid.models as Record<string, ModelDefinition>,\n  );\n  const mappings = mergeMappings(defaultMappings, existingMappings);\n\n  return {\n    ...structurallyValid,\n    mappings,\n  } as TContract;\n}\n"],"mappings":";;;;AAaA,SAAS,uBAAuB,QAA2D;CACzF,MAAMA,eAAuC,EAAE;CAC/C,MAAMC,eAAuC,EAAE;CAC/C,MAAMC,gBAAwD,EAAE;CAChE,MAAMC,gBAAwD,EAAE;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,YAAY,MAAM,QAAQ;AAChC,eAAa,aAAa;AAC1B,eAAa,aAAa;EAE1B,MAAMC,qBAA6C,EAAE;AACrD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,OAAO,EAAE;GAC7D,MAAM,aAAa,MAAM;AACzB,sBAAmB,aAAa;AAChC,OAAI,CAAC,cAAc,WACjB,eAAc,aAAa,EAAE;AAE/B,iBAAc,WAAW,cAAc;;AAGzC,gBAAc,aAAa;;AAG7B,QAAO;EACL;EACA;EACA;EACA;EACA,YAAY,EAAE;EACd,gBAAgB,EAAE;EACnB;;AAGH,SAAS,2BACP,cACA,cACA;AACA,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;AAGL,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;;AAKP,SAAS,2BACP,eACA,eACA,cACA,cACA;AACA,MAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,cAAc,EAAE;EAC3D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,OAAO,CAClD,KAAI,cAAc,YAAY,MAC5B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,MAAM,IAAI,OAAO,qCAAqC,QAC7G;;AAKP,MAAK,MAAM,CAAC,OAAO,YAAY,OAAO,QAAQ,cAAc,EAAE;EAC5D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,QAAQ,UAAU,OAAO,QAAQ,QAAQ,CACnD,KAAI,cAAc,WAAW,OAC3B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,OAAO,IAAI,MAAM,qCAAqC,QAC7G;;;AAMT,SAAS,cACP,UACA,kBACkB;CAClB,MAAM,kBAAkB,kBAAkB,iBAAiB;CAC3D,MAAM,kBAAkB,kBAAkB,iBAAiB;AAC3D,KAAI,oBAAoB,gBACtB,OAAM,IAAI,MACR,sFACD;CAGH,MAAM,mBAAmB,kBAAkB,kBAAkB;CAC7D,MAAM,mBAAmB,kBAAkB,kBAAkB;AAC7D,KAAI,qBAAqB,iBACvB,OAAM,IAAI,MACR,wFACD;CAGH,MAAMJ,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;CACb,MAAMC,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;AACb,4BAA2B,cAAc,aAAa;CAEtD,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;CACb,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;AACb,4BAA2B,eAAe,eAAe,cAAc,aAAa;AAEpF,QAAO;EACL;EACA;EACA;EACA;EACA,YAAY;GAAE,GAAG,SAAS;GAAY,GAAI,kBAAkB,cAAc,EAAE;GAAG;EAC/E,gBAAgB;GAAE,GAAG,SAAS;GAAgB,GAAI,kBAAkB,kBAAkB,EAAE;GAAG;EAC5F;;AAGH,SAAS,sBAAsB,UAAyC;CACtE,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,QAAQ,OAAO,CAAC;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,QAAQ,OAAO,EAAE;EACxE,MAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,QAAQ,CAAC;AAEvD,MAAI,MAAM,YACR;QAAK,MAAM,WAAW,MAAM,WAAW,QACrC,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;;AAKP,OAAK,MAAM,UAAU,MAAM,QACzB,MAAK,MAAM,WAAW,OAAO,QAC3B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,sDAAsD,QAAQ,GACnF;AAKP,OAAK,MAAM,SAAS,MAAM,QACxB,MAAK,MAAM,WAAW,MAAM,QAC1B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MAAM,UAAU,UAAU,0CAA0C,QAAQ,GAAG;AAK/F,OAAK,MAAM,MAAM,MAAM,aAAa;AAClC,QAAK,MAAM,WAAW,GAAG,QACvB,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;AAIL,OAAI,CAAC,WAAW,IAAI,GAAG,WAAW,MAAM,CACtC,OAAM,IAAI,MACR,UAAU,UAAU,8CAA8C,GAAG,WAAW,MAAM,GACvF;GAGH,MAAM,kBAAkB,SAAS,QAAQ,OACvC,GAAG,WAAW;GAEhB,MAAM,wBAAwB,IAAI,IAAI,OAAO,KAAK,gBAAgB,QAAQ,CAAC;AAC3E,QAAK,MAAM,WAAW,GAAG,WAAW,QAClC,KAAI,CAAC,sBAAsB,IAAI,QAAQ,CACrC,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,cAAc,GAAG,WAAW,MAAM,GAC9G;AAIL,OAAI,GAAG,QAAQ,WAAW,GAAG,WAAW,QAAQ,OAC9C,OAAM,IAAI,MACR,UAAU,UAAU,6BAA6B,GAAG,QAAQ,OAAO,4CAA4C,GAAG,WAAW,QAAQ,OAAO,GAC7I;;;;AAMT,SAAgB,kBAAkB,UAA4C;AAC5E,KAAI,OAAO,aAAa,YAAY,aAAa,KAC/C,QAAO;CAGT,MAAM,cAAc;CAEpB,IAAI,oBAAoB,YAAY;AACpC,KAAI,qBAAqB,OAAO,sBAAsB,YAAY,sBAAsB,MAAM;EAC5F,MAAM,UAAU;EAChB,MAAM,SAAS,QAAQ;AAEvB,MAAI,QAAQ;GACV,MAAME,mBAA4C,EAAE;AACpD,QAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;IACvD,MAAM,WAAW;IACjB,MAAM,UAAU,SAAS;AAEzB,QAAI,SAAS;KACX,MAAMC,oBAA6C,EAAE;AACrD,UAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,QAAQ,EAAE;MAC1D,MAAM,YAAY;AAClB,wBAAkB,cAAc;OAC9B,GAAG;OACH,UAAU,UAAU,eAAe;OACpC;;KAKH,MAAM,yBADkB,SAAS,kBAAkB,EAAE,EACR,KAAK,QAAQ;MACxD,GAAG;MACH,GAAG,gBAAgB;OACjB,YAAY,OAAO,GAAG,kBAAkB,YAAY,GAAG,gBAAgB;OACvE,OAAO,OAAO,GAAG,aAAa,YAAY,GAAG,WAAW;OACzD,CAAC;MACH,EAAE;AAEH,sBAAiB,aAAa;MAC5B,GAAG;MACH,SAAS;MACT,SAAS,SAAS,cAAc,EAAE;MAClC,SAAS,SAAS,cAAc,EAAE;MAClC,aAAa;MACd;UAED,kBAAiB,aAAa;;AAIlC,uBAAoB;IAClB,GAAG;IACH,QAAQ;IACT;;;CAIL,IAAI,mBAAmB,YAAY;AACnC,KAAI,oBAAoB,OAAO,qBAAqB,YAAY,qBAAqB,MAAM;EACzF,MAAM,SAAS;EACf,MAAMC,sBAA+C,EAAE;AACvD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GACvD,MAAM,WAAW;AACjB,uBAAoB,aAAa;IAC/B,GAAG;IACH,WAAW,SAAS,gBAAgB,EAAE;IACvC;;AAEH,qBAAmB;;AAGrB,QAAO;EACL,GAAG;EACH,QAAQ;EACR,WAAW,YAAY,gBAAgB,EAAE;EACzC,SAAS;EACT,gBAAgB,YAAY,qBAAqB,EAAE;EACnD,cAAc,YAAY,mBAAmB,EAAE;EAC/C,MAAM,YAAY,WAAW,EAAE;EAC/B,SAAS,YAAY,cAAc,EAAE;EACtC;;AAGH,SAAgB,iBACd,OACW;CAEX,MAAM,oBAAoB,oBADP,kBAAkB,MAAM,CACuC;AAClF,uBAAsB,kBAAkB;CAExC,MAAM,mBAAoB,kBAA0D;CAIpF,MAAM,WAAW,cAHO,uBACtB,kBAAkB,OACnB,EAC+C,iBAAiB;AAEjE,QAAO;EACL,GAAG;EACH;EACD"}
+{"version":3,"file":"validate.mjs","names":["modelToTable: Record<string, string>","tableToModel: Record<string, string>","fieldToColumn: Record<string, Record<string, string>>","columnToField: Record<string, Record<string, string>>","modelFieldToColumn: Record<string, string>","decodedTables: Record<string, StorageTable>","decodedColumns: Record<string, StorageColumn>","normalizedTables: Record<string, unknown>","normalizedColumns: Record<string, unknown>","normalizedModelsObj: Record<string, unknown>"],"sources":["../src/validate.ts"],"sourcesContent":["import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';\nimport type {\n  ModelDefinition,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n} from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract, validateStorageSemantics } from './validators';\n\ntype ResolvedMappings = {\n  modelToTable: Record<string, string>;\n  tableToModel: Record<string, string>;\n  fieldToColumn: Record<string, Record<string, string>>;\n  columnToField: Record<string, Record<string, string>>;\n  codecTypes: Record<string, { readonly output: unknown }>;\n  operationTypes: Record<string, Record<string, unknown>>;\n};\n\nfunction computeDefaultMappings(models: Record<string, ModelDefinition>): ResolvedMappings {\n  const modelToTable: Record<string, string> = {};\n  const tableToModel: Record<string, string> = {};\n  const fieldToColumn: Record<string, Record<string, string>> = {};\n  const columnToField: Record<string, Record<string, string>> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const tableName = model.storage.table;\n    modelToTable[modelName] = tableName;\n    tableToModel[tableName] = modelName;\n\n    const modelFieldToColumn: Record<string, string> = {};\n    for (const [fieldName, field] of Object.entries(model.fields)) {\n      const columnName = field.column;\n      modelFieldToColumn[fieldName] = columnName;\n      if (!columnToField[tableName]) {\n        columnToField[tableName] = {};\n      }\n      columnToField[tableName][columnName] = fieldName;\n    }\n\n    fieldToColumn[modelName] = modelFieldToColumn;\n  }\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n    codecTypes: {},\n    operationTypes: {},\n  };\n}\n\nfunction assertInverseModelMappings(\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n) {\n  for (const [model, table] of Object.entries(modelToTable)) {\n    if (tableToModel[table] !== model) {\n      throw new Error(\n        `Mappings override mismatch: modelToTable.${model}=\"${table}\" is not mirrored in tableToModel`,\n      );\n    }\n  }\n  for (const [table, model] of Object.entries(tableToModel)) {\n    if (modelToTable[model] !== table) {\n      throw new Error(\n        `Mappings override mismatch: tableToModel.${table}=\"${model}\" is not mirrored in modelToTable`,\n      );\n    }\n  }\n}\n\nfunction assertInverseFieldMappings(\n  fieldToColumn: Record<string, Record<string, string>>,\n  columnToField: Record<string, Record<string, string>>,\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n) {\n  for (const [model, fields] of Object.entries(fieldToColumn)) {\n    const table = modelToTable[model];\n    if (!table) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn references unknown model \"${model}\"`,\n      );\n    }\n    const reverseFields = columnToField[table];\n    if (!reverseFields) {\n      throw new Error(\n        `Mappings override mismatch: columnToField is missing table \"${table}\" for model \"${model}\"`,\n      );\n    }\n    for (const [field, column] of Object.entries(fields)) {\n      if (reverseFields[column] !== field) {\n        throw new Error(\n          `Mappings override mismatch: fieldToColumn.${model}.${field}=\"${column}\" is not mirrored in columnToField.${table}`,\n        );\n      }\n    }\n  }\n\n  for (const [table, columns] of Object.entries(columnToField)) {\n    const model = tableToModel[table];\n    if (!model) {\n      throw new Error(\n        `Mappings override mismatch: columnToField references unknown table \"${table}\"`,\n      );\n    }\n    const forwardFields = fieldToColumn[model];\n    if (!forwardFields) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn is missing model \"${model}\" for table \"${table}\"`,\n      );\n    }\n    for (const [column, field] of Object.entries(columns)) {\n      if (forwardFields[field] !== column) {\n        throw new Error(\n          `Mappings override mismatch: columnToField.${table}.${column}=\"${field}\" is not mirrored in fieldToColumn.${model}`,\n        );\n      }\n    }\n  }\n}\n\nfunction mergeMappings(\n  defaults: ResolvedMappings,\n  existingMappings?: Partial<SqlMappings>,\n): ResolvedMappings {\n  const hasModelToTable = existingMappings?.modelToTable !== undefined;\n  const hasTableToModel = existingMappings?.tableToModel !== undefined;\n  if (hasModelToTable !== hasTableToModel) {\n    throw new Error(\n      'Mappings override mismatch: modelToTable and tableToModel must be provided together',\n    );\n  }\n\n  const hasFieldToColumn = existingMappings?.fieldToColumn !== undefined;\n  const hasColumnToField = existingMappings?.columnToField !== undefined;\n  if (hasFieldToColumn !== hasColumnToField) {\n    throw new Error(\n      'Mappings override mismatch: fieldToColumn and columnToField must be provided together',\n    );\n  }\n\n  const modelToTable: Record<string, string> = hasModelToTable\n    ? (existingMappings?.modelToTable ?? {})\n    : defaults.modelToTable;\n  const tableToModel: Record<string, string> = hasTableToModel\n    ? (existingMappings?.tableToModel ?? {})\n    : defaults.tableToModel;\n  assertInverseModelMappings(modelToTable, tableToModel);\n\n  const fieldToColumn: Record<string, Record<string, string>> = hasFieldToColumn\n    ? (existingMappings?.fieldToColumn ?? {})\n    : defaults.fieldToColumn;\n  const columnToField: Record<string, Record<string, string>> = hasColumnToField\n    ? (existingMappings?.columnToField ?? {})\n    : defaults.columnToField;\n  assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n    codecTypes: { ...defaults.codecTypes, ...(existingMappings?.codecTypes ?? {}) },\n    operationTypes: { ...defaults.operationTypes, ...(existingMappings?.operationTypes ?? {}) },\n  };\n}\n\nfunction validateContractLogic(contract: SqlContract<SqlStorage>): void {\n  const tableNames = new Set(Object.keys(contract.storage.tables));\n\n  for (const [tableName, table] of Object.entries(contract.storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    for (const [colName, column] of Object.entries(table.columns)) {\n      if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {\n        throw new Error(\n          `Table \"${tableName}\" column \"${colName}\" is NOT NULL but has a literal null default`,\n        );\n      }\n    }\n\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      if (!tableNames.has(fk.references.table)) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      const referencedTable = contract.storage.tables[\n        fk.references.table\n      ] as (typeof contract.storage.tables)[string];\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\" in table \"${fk.references.table}\"`,\n          );\n        }\n      }\n\n      if (fk.columns.length !== fk.references.columns.length) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey column count (${fk.columns.length}) does not match referenced column count (${fk.references.columns.length})`,\n        );\n      }\n    }\n  }\n}\n\nconst BIGINT_NATIVE_TYPES = new Set(['bigint', 'int8']);\n\nexport function isBigIntColumn(column: StorageColumn): boolean {\n  const nativeType = column.nativeType?.toLowerCase() ?? '';\n  if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;\n  const codecId = column.codecId?.toLowerCase() ?? '';\n  return codecId.includes('int8') || codecId.includes('bigint');\n}\n\nexport function decodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n  column: StorageColumn,\n  tableName: string,\n  columnName: string,\n): ColumnDefaultLiteralInputValue {\n  if (value instanceof Date) {\n    return value;\n  }\n  if (isTaggedRaw(value)) {\n    return value.value;\n  }\n  if (isTaggedBigInt(value)) {\n    if (!isBigIntColumn(column)) {\n      return value;\n    }\n    try {\n      return BigInt(value.value);\n    } catch {\n      throw new Error(\n        `Invalid tagged bigint for default value on \"${tableName}.${columnName}\": \"${value.value}\" is not a valid integer`,\n      );\n    }\n  }\n  return value;\n}\n\nexport function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T {\n  const tables = contract.storage.tables;\n  let tablesChanged = false;\n  const decodedTables: Record<string, StorageTable> = {};\n\n  for (const [tableName, table] of Object.entries(tables)) {\n    let columnsChanged = false;\n    const decodedColumns: Record<string, StorageColumn> = {};\n\n    for (const [columnName, column] of Object.entries(table.columns)) {\n      if (column.default?.kind === 'literal') {\n        const decodedValue = decodeDefaultLiteralValue(\n          column.default.value,\n          column,\n          tableName,\n          columnName,\n        );\n        if (decodedValue !== column.default.value) {\n          columnsChanged = true;\n          decodedColumns[columnName] = {\n            ...column,\n            default: { kind: 'literal', value: decodedValue },\n          };\n          continue;\n        }\n      }\n      decodedColumns[columnName] = column;\n    }\n\n    if (columnsChanged) {\n      tablesChanged = true;\n      decodedTables[tableName] = { ...table, columns: decodedColumns };\n    } else {\n      decodedTables[tableName] = table;\n    }\n  }\n\n  if (!tablesChanged) {\n    return contract;\n  }\n\n  // The spread widens to SqlContract<SqlStorage>, but this transformation only\n  // decodes tagged bigint defaults for bigint-like columns and preserves all\n  // other properties of T.\n  return {\n    ...contract,\n    storage: {\n      ...contract.storage,\n      tables: decodedTables,\n    },\n  } as T;\n}\n\nexport function normalizeContract(contract: unknown): SqlContract<SqlStorage> {\n  if (typeof contract !== 'object' || contract === null) {\n    return contract as SqlContract<SqlStorage>;\n  }\n\n  const contractObj = contract as Record<string, unknown>;\n\n  let normalizedStorage = contractObj['storage'];\n  if (normalizedStorage && typeof normalizedStorage === 'object' && normalizedStorage !== null) {\n    const storage = normalizedStorage as Record<string, unknown>;\n    const tables = storage['tables'] as Record<string, unknown> | undefined;\n\n    if (tables) {\n      const normalizedTables: Record<string, unknown> = {};\n      for (const [tableName, table] of Object.entries(tables)) {\n        const tableObj = table as Record<string, unknown>;\n        const columns = tableObj['columns'] as Record<string, unknown> | undefined;\n\n        if (columns) {\n          const normalizedColumns: Record<string, unknown> = {};\n          for (const [columnName, column] of Object.entries(columns)) {\n            const columnObj = column as Record<string, unknown>;\n            normalizedColumns[columnName] = {\n              ...columnObj,\n              nullable: columnObj['nullable'] ?? false,\n            };\n          }\n\n          // Normalize foreign keys: add constraint/index defaults if missing\n          const rawForeignKeys = (tableObj['foreignKeys'] ?? []) as Array<Record<string, unknown>>;\n          const normalizedForeignKeys = rawForeignKeys.map((fk) => ({\n            ...fk,\n            ...applyFkDefaults({\n              constraint: typeof fk['constraint'] === 'boolean' ? fk['constraint'] : undefined,\n              index: typeof fk['index'] === 'boolean' ? fk['index'] : undefined,\n            }),\n          }));\n\n          normalizedTables[tableName] = {\n            ...tableObj,\n            columns: normalizedColumns,\n            uniques: tableObj['uniques'] ?? [],\n            indexes: tableObj['indexes'] ?? [],\n            foreignKeys: normalizedForeignKeys,\n          };\n        } else {\n          normalizedTables[tableName] = tableObj;\n        }\n      }\n\n      normalizedStorage = {\n        ...storage,\n        tables: normalizedTables,\n      };\n    }\n  }\n\n  let normalizedModels = contractObj['models'];\n  if (normalizedModels && typeof normalizedModels === 'object' && normalizedModels !== null) {\n    const models = normalizedModels as Record<string, unknown>;\n    const normalizedModelsObj: Record<string, unknown> = {};\n    for (const [modelName, model] of Object.entries(models)) {\n      const modelObj = model as Record<string, unknown>;\n      normalizedModelsObj[modelName] = {\n        ...modelObj,\n        relations: modelObj['relations'] ?? {},\n      };\n    }\n    normalizedModels = normalizedModelsObj;\n  }\n\n  return {\n    ...contractObj,\n    models: normalizedModels,\n    relations: contractObj['relations'] ?? {},\n    storage: normalizedStorage,\n    extensionPacks: contractObj['extensionPacks'] ?? {},\n    capabilities: contractObj['capabilities'] ?? {},\n    meta: contractObj['meta'] ?? {},\n    sources: contractObj['sources'] ?? {},\n  } as SqlContract<SqlStorage>;\n}\n\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  const normalized = normalizeContract(value);\n  const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);\n  validateContractLogic(structurallyValid);\n\n  const semanticErrors = validateStorageSemantics(structurallyValid.storage);\n  if (semanticErrors.length > 0) {\n    throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);\n  }\n\n  const existingMappings = (structurallyValid as { mappings?: Partial<SqlMappings> }).mappings;\n  const defaultMappings = computeDefaultMappings(\n    structurallyValid.models as Record<string, ModelDefinition>,\n  );\n  const mappings = mergeMappings(defaultMappings, existingMappings);\n\n  const contractWithMappings = {\n    ...structurallyValid,\n    mappings,\n  };\n\n  return decodeContractDefaults(contractWithMappings) as TContract;\n}\n"],"mappings":";;;;;AAsBA,SAAS,uBAAuB,QAA2D;CACzF,MAAMA,eAAuC,EAAE;CAC/C,MAAMC,eAAuC,EAAE;CAC/C,MAAMC,gBAAwD,EAAE;CAChE,MAAMC,gBAAwD,EAAE;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,YAAY,MAAM,QAAQ;AAChC,eAAa,aAAa;AAC1B,eAAa,aAAa;EAE1B,MAAMC,qBAA6C,EAAE;AACrD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,OAAO,EAAE;GAC7D,MAAM,aAAa,MAAM;AACzB,sBAAmB,aAAa;AAChC,OAAI,CAAC,cAAc,WACjB,eAAc,aAAa,EAAE;AAE/B,iBAAc,WAAW,cAAc;;AAGzC,gBAAc,aAAa;;AAG7B,QAAO;EACL;EACA;EACA;EACA;EACA,YAAY,EAAE;EACd,gBAAgB,EAAE;EACnB;;AAGH,SAAS,2BACP,cACA,cACA;AACA,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;AAGL,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;;AAKP,SAAS,2BACP,eACA,eACA,cACA,cACA;AACA,MAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,cAAc,EAAE;EAC3D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,OAAO,CAClD,KAAI,cAAc,YAAY,MAC5B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,MAAM,IAAI,OAAO,qCAAqC,QAC7G;;AAKP,MAAK,MAAM,CAAC,OAAO,YAAY,OAAO,QAAQ,cAAc,EAAE;EAC5D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,QAAQ,UAAU,OAAO,QAAQ,QAAQ,CACnD,KAAI,cAAc,WAAW,OAC3B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,OAAO,IAAI,MAAM,qCAAqC,QAC7G;;;AAMT,SAAS,cACP,UACA,kBACkB;CAClB,MAAM,kBAAkB,kBAAkB,iBAAiB;CAC3D,MAAM,kBAAkB,kBAAkB,iBAAiB;AAC3D,KAAI,oBAAoB,gBACtB,OAAM,IAAI,MACR,sFACD;CAGH,MAAM,mBAAmB,kBAAkB,kBAAkB;CAC7D,MAAM,mBAAmB,kBAAkB,kBAAkB;AAC7D,KAAI,qBAAqB,iBACvB,OAAM,IAAI,MACR,wFACD;CAGH,MAAMJ,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;CACb,MAAMC,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;AACb,4BAA2B,cAAc,aAAa;CAEtD,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;CACb,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;AACb,4BAA2B,eAAe,eAAe,cAAc,aAAa;AAEpF,QAAO;EACL;EACA;EACA;EACA;EACA,YAAY;GAAE,GAAG,SAAS;GAAY,GAAI,kBAAkB,cAAc,EAAE;GAAG;EAC/E,gBAAgB;GAAE,GAAG,SAAS;GAAgB,GAAI,kBAAkB,kBAAkB,EAAE;GAAG;EAC5F;;AAGH,SAAS,sBAAsB,UAAyC;CACtE,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,QAAQ,OAAO,CAAC;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,QAAQ,OAAO,EAAE;EACxE,MAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,QAAQ,CAAC;AAEvD,MAAI,MAAM,YACR;QAAK,MAAM,WAAW,MAAM,WAAW,QACrC,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;;AAKP,OAAK,MAAM,UAAU,MAAM,QACzB,MAAK,MAAM,WAAW,OAAO,QAC3B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,sDAAsD,QAAQ,GACnF;AAKP,OAAK,MAAM,SAAS,MAAM,QACxB,MAAK,MAAM,WAAW,MAAM,QAC1B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MAAM,UAAU,UAAU,0CAA0C,QAAQ,GAAG;AAK/F,OAAK,MAAM,CAAC,SAAS,WAAW,OAAO,QAAQ,MAAM,QAAQ,CAC3D,KAAI,CAAC,OAAO,YAAY,OAAO,SAAS,SAAS,aAAa,OAAO,QAAQ,UAAU,KACrF,OAAM,IAAI,MACR,UAAU,UAAU,YAAY,QAAQ,8CACzC;AAIL,OAAK,MAAM,MAAM,MAAM,aAAa;AAClC,QAAK,MAAM,WAAW,GAAG,QACvB,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;AAIL,OAAI,CAAC,WAAW,IAAI,GAAG,WAAW,MAAM,CACtC,OAAM,IAAI,MACR,UAAU,UAAU,8CAA8C,GAAG,WAAW,MAAM,GACvF;GAGH,MAAM,kBAAkB,SAAS,QAAQ,OACvC,GAAG,WAAW;GAEhB,MAAM,wBAAwB,IAAI,IAAI,OAAO,KAAK,gBAAgB,QAAQ,CAAC;AAC3E,QAAK,MAAM,WAAW,GAAG,WAAW,QAClC,KAAI,CAAC,sBAAsB,IAAI,QAAQ,CACrC,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,cAAc,GAAG,WAAW,MAAM,GAC9G;AAIL,OAAI,GAAG,QAAQ,WAAW,GAAG,WAAW,QAAQ,OAC9C,OAAM,IAAI,MACR,UAAU,UAAU,6BAA6B,GAAG,QAAQ,OAAO,4CAA4C,GAAG,WAAW,QAAQ,OAAO,GAC7I;;;;AAMT,MAAM,sBAAsB,IAAI,IAAI,CAAC,UAAU,OAAO,CAAC;AAEvD,SAAgB,eAAe,QAAgC;CAC7D,MAAM,aAAa,OAAO,YAAY,aAAa,IAAI;AACvD,KAAI,oBAAoB,IAAI,WAAW,CAAE,QAAO;CAChD,MAAM,UAAU,OAAO,SAAS,aAAa,IAAI;AACjD,QAAO,QAAQ,SAAS,OAAO,IAAI,QAAQ,SAAS,SAAS;;AAG/D,SAAgB,0BACd,OACA,QACA,WACA,YACgC;AAChC,KAAI,iBAAiB,KACnB,QAAO;AAET,KAAI,YAAY,MAAM,CACpB,QAAO,MAAM;AAEf,KAAI,eAAe,MAAM,EAAE;AACzB,MAAI,CAAC,eAAe,OAAO,CACzB,QAAO;AAET,MAAI;AACF,UAAO,OAAO,MAAM,MAAM;UACpB;AACN,SAAM,IAAI,MACR,+CAA+C,UAAU,GAAG,WAAW,MAAM,MAAM,MAAM,0BAC1F;;;AAGL,QAAO;;AAGT,SAAgB,uBAA0D,UAAgB;CACxF,MAAM,SAAS,SAAS,QAAQ;CAChC,IAAI,gBAAgB;CACpB,MAAME,gBAA8C,EAAE;AAEtD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,IAAI,iBAAiB;EACrB,MAAMC,iBAAgD,EAAE;AAExD,OAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,MAAM,QAAQ,EAAE;AAChE,OAAI,OAAO,SAAS,SAAS,WAAW;IACtC,MAAM,eAAe,0BACnB,OAAO,QAAQ,OACf,QACA,WACA,WACD;AACD,QAAI,iBAAiB,OAAO,QAAQ,OAAO;AACzC,sBAAiB;AACjB,oBAAe,cAAc;MAC3B,GAAG;MACH,SAAS;OAAE,MAAM;OAAW,OAAO;OAAc;MAClD;AACD;;;AAGJ,kBAAe,cAAc;;AAG/B,MAAI,gBAAgB;AAClB,mBAAgB;AAChB,iBAAc,aAAa;IAAE,GAAG;IAAO,SAAS;IAAgB;QAEhE,eAAc,aAAa;;AAI/B,KAAI,CAAC,cACH,QAAO;AAMT,QAAO;EACL,GAAG;EACH,SAAS;GACP,GAAG,SAAS;GACZ,QAAQ;GACT;EACF;;AAGH,SAAgB,kBAAkB,UAA4C;AAC5E,KAAI,OAAO,aAAa,YAAY,aAAa,KAC/C,QAAO;CAGT,MAAM,cAAc;CAEpB,IAAI,oBAAoB,YAAY;AACpC,KAAI,qBAAqB,OAAO,sBAAsB,YAAY,sBAAsB,MAAM;EAC5F,MAAM,UAAU;EAChB,MAAM,SAAS,QAAQ;AAEvB,MAAI,QAAQ;GACV,MAAMC,mBAA4C,EAAE;AACpD,QAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;IACvD,MAAM,WAAW;IACjB,MAAM,UAAU,SAAS;AAEzB,QAAI,SAAS;KACX,MAAMC,oBAA6C,EAAE;AACrD,UAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,QAAQ,EAAE;MAC1D,MAAM,YAAY;AAClB,wBAAkB,cAAc;OAC9B,GAAG;OACH,UAAU,UAAU,eAAe;OACpC;;KAKH,MAAM,yBADkB,SAAS,kBAAkB,EAAE,EACR,KAAK,QAAQ;MACxD,GAAG;MACH,GAAG,gBAAgB;OACjB,YAAY,OAAO,GAAG,kBAAkB,YAAY,GAAG,gBAAgB;OACvE,OAAO,OAAO,GAAG,aAAa,YAAY,GAAG,WAAW;OACzD,CAAC;MACH,EAAE;AAEH,sBAAiB,aAAa;MAC5B,GAAG;MACH,SAAS;MACT,SAAS,SAAS,cAAc,EAAE;MAClC,SAAS,SAAS,cAAc,EAAE;MAClC,aAAa;MACd;UAED,kBAAiB,aAAa;;AAIlC,uBAAoB;IAClB,GAAG;IACH,QAAQ;IACT;;;CAIL,IAAI,mBAAmB,YAAY;AACnC,KAAI,oBAAoB,OAAO,qBAAqB,YAAY,qBAAqB,MAAM;EACzF,MAAM,SAAS;EACf,MAAMC,sBAA+C,EAAE;AACvD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GACvD,MAAM,WAAW;AACjB,uBAAoB,aAAa;IAC/B,GAAG;IACH,WAAW,SAAS,gBAAgB,EAAE;IACvC;;AAEH,qBAAmB;;AAGrB,QAAO;EACL,GAAG;EACH,QAAQ;EACR,WAAW,YAAY,gBAAgB,EAAE;EACzC,SAAS;EACT,gBAAgB,YAAY,qBAAqB,EAAE;EACnD,cAAc,YAAY,mBAAmB,EAAE;EAC/C,MAAM,YAAY,WAAW,EAAE;EAC/B,SAAS,YAAY,cAAc,EAAE;EACtC;;AAGH,SAAgB,iBACd,OACW;CAEX,MAAM,oBAAoB,oBADP,kBAAkB,MAAM,CACuC;AAClF,uBAAsB,kBAAkB;CAExC,MAAM,iBAAiB,yBAAyB,kBAAkB,QAAQ;AAC1E,KAAI,eAAe,SAAS,EAC1B,OAAM,IAAI,MAAM,wCAAwC,eAAe,KAAK,KAAK,GAAG;CAGtF,MAAM,mBAAoB,kBAA0D;CAIpF,MAAM,WAAW,cAHO,uBACtB,kBAAkB,OACnB,EAC+C,iBAAiB;AAOjE,QAAO,uBALsB;EAC3B,GAAG;EACH;EACD,CAEkD"}

package/dist/{validators-Dfw5_HSi.mjs → validators-CNMPzxwB.mjs}

@@ -7,7 +7,7 @@ const generatorKindSchema = type("'generator'");
 const generatorIdSchema = type("'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2' | 'ksuid'");
 const ColumnDefaultLiteralSchema = type.declare().type({
 	kind: literalKindSchema,
-	expression: "string"
+	value: "string | number | boolean | null | unknown[] | Record<string, unknown>"
 });
 const ColumnDefaultFunctionSchema = type.declare().type({
 	kind: functionKindSchema,
@@ -59,21 +59,24 @@ const ForeignKeyReferencesSchema = type.declare().type({
 	table: "string",
 	columns: type.string.array().readonly()
 });
+const ReferentialActionSchema = type.declare().type("'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault'");
 const ForeignKeySchema = type.declare().type({
 	columns: type.string.array().readonly(),
 	references: ForeignKeyReferencesSchema,
 	"name?": "string",
+	"onDelete?": ReferentialActionSchema,
+	"onUpdate?": ReferentialActionSchema,
 	constraint: "boolean",
 	index: "boolean"
 });
-const StorageTableSchema = type.declare().type({
+const StorageTableSchema = type({
 	columns: type({ "[string]": StorageColumnSchema }),
 	"primaryKey?": PrimaryKeySchema,
 	uniques: UniqueConstraintSchema.array().readonly(),
 	indexes: IndexSchema.array().readonly(),
 	foreignKeys: ForeignKeySchema.array().readonly()
 });
-const StorageSchema = type.declare().type({
+const StorageSchema = type({
 	tables: type({ "[string]": StorageTableSchema }),
 	"types?": type({ "[string]": StorageTypeInstanceSchema })
 });
@@ -156,7 +159,28 @@ function validateSqlContract(value) {
 	}
 	return contractResult;
 }
+/**
+* Validates semantic constraints on SqlStorage that cannot be expressed in Arktype schemas.
+*
+* Returns an array of human-readable error strings. Empty array = valid.
+*
+* Currently checks:
+* - `setNull` referential action on a non-nullable FK column (would fail at runtime)
+* - `setDefault` referential action on a non-nullable FK column without a DEFAULT (would fail at runtime)
+*/
+function validateStorageSemantics(storage) {
+	const errors = [];
+	for (const [tableName, table] of Object.entries(storage.tables)) for (const fk of table.foreignKeys) for (const colName of fk.columns) {
+		const column = table.columns[colName];
+		if (!column) continue;
+		if (fk.onDelete === "setNull" && !column.nullable) errors.push(`Table "${tableName}": onDelete setNull on foreign key column "${colName}" which is NOT NULL`);
+		if (fk.onUpdate === "setNull" && !column.nullable) errors.push(`Table "${tableName}": onUpdate setNull on foreign key column "${colName}" which is NOT NULL`);
+		if (fk.onDelete === "setDefault" && !column.nullable && column.default === void 0) errors.push(`Table "${tableName}": onDelete setDefault on foreign key column "${colName}" which is NOT NULL and has no DEFAULT`);
+		if (fk.onUpdate === "setDefault" && !column.nullable && column.default === void 0) errors.push(`Table "${tableName}": onUpdate setDefault on foreign key column "${colName}" which is NOT NULL and has no DEFAULT`);
+	}
+	return errors;
+}
 
 //#endregion
-export { validateSqlContract as a, validateModel as i, ColumnDefaultLiteralSchema as n, validateStorage as o, ColumnDefaultSchema as r, ColumnDefaultFunctionSchema as t };
-//# sourceMappingURL=validators-Dfw5_HSi.mjs.map
+export { ForeignKeySchema as a, validateSqlContract as c, ForeignKeyReferencesSchema as i, validateStorage as l, ColumnDefaultLiteralSchema as n, ReferentialActionSchema as o, ColumnDefaultSchema as r, validateModel as s, ColumnDefaultFunctionSchema as t, validateStorageSemantics as u };
+//# sourceMappingURL=validators-CNMPzxwB.mjs.map

package/dist/validators-CNMPzxwB.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"validators-CNMPzxwB.mjs","names":["errors: string[]"],"sources":["../src/validators.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type {\n  ForeignKey,\n  ForeignKeyReferences,\n  Index,\n  ModelDefinition,\n  ModelField,\n  ModelStorage,\n  PrimaryKey,\n  ReferentialAction,\n  SqlContract,\n  SqlStorage,\n  StorageTypeInstance,\n  UniqueConstraint,\n} from './types';\n\ntype ColumnDefaultLiteral = {\n  readonly kind: 'literal';\n  readonly value: string | number | boolean | Record<string, unknown> | unknown[] | null;\n};\ntype ColumnDefaultFunction = { readonly kind: 'function'; readonly expression: string };\nconst literalKindSchema = type(\"'literal'\");\nconst functionKindSchema = type(\"'function'\");\nconst generatorKindSchema = type(\"'generator'\");\nconst generatorIdSchema = type(\"'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2' | 'ksuid'\");\n\nexport const ColumnDefaultLiteralSchema = type.declare<ColumnDefaultLiteral>().type({\n  kind: literalKindSchema,\n  value: 'string | number | boolean | null | unknown[] | Record<string, unknown>',\n});\n\nexport const ColumnDefaultFunctionSchema = type.declare<ColumnDefaultFunction>().type({\n  kind: functionKindSchema,\n  expression: 'string',\n});\n\nexport const ColumnDefaultSchema = ColumnDefaultLiteralSchema.or(ColumnDefaultFunctionSchema);\n\nconst ExecutionMutationDefaultValueSchema = type({\n  kind: generatorKindSchema,\n  id: generatorIdSchema,\n  'params?': 'Record<string, unknown>',\n});\n\nconst ExecutionMutationDefaultSchema = type({\n  ref: {\n    table: 'string',\n    column: 'string',\n  },\n  'onCreate?': ExecutionMutationDefaultValueSchema,\n  'onUpdate?': ExecutionMutationDefaultValueSchema,\n});\n\nconst ExecutionSchema = type({\n  mutations: {\n    defaults: ExecutionMutationDefaultSchema.array().readonly(),\n  },\n});\n\nconst StorageColumnSchema = type({\n  nativeType: 'string',\n  codecId: 'string',\n  nullable: 'boolean',\n  'typeParams?': 'Record<string, unknown>',\n  'typeRef?': 'string',\n  'default?': ColumnDefaultSchema,\n}).narrow((col, ctx) => {\n  if (col.typeParams !== undefined && col.typeRef !== undefined) {\n    return ctx.mustBe('a column with either typeParams or typeRef, not both');\n  }\n  return true;\n});\n\nconst StorageTypeInstanceSchema = type.declare<StorageTypeInstance>().type({\n  codecId: 'string',\n  nativeType: 'string',\n  typeParams: 'Record<string, unknown>',\n});\n\nconst PrimaryKeySchema = type.declare<PrimaryKey>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst UniqueConstraintSchema = type.declare<UniqueConstraint>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst IndexSchema = type.declare<Index>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nexport const ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({\n  table: 'string',\n  columns: type.string.array().readonly(),\n});\n\nexport const ReferentialActionSchema = type\n  .declare<ReferentialAction>()\n  .type(\"'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault'\");\n\nexport const ForeignKeySchema = type.declare<ForeignKey>().type({\n  columns: type.string.array().readonly(),\n  references: ForeignKeyReferencesSchema,\n  'name?': 'string',\n  'onDelete?': ReferentialActionSchema,\n  'onUpdate?': ReferentialActionSchema,\n  constraint: 'boolean',\n  index: 'boolean',\n});\n\nconst StorageTableSchema = type({\n  columns: type({ '[string]': StorageColumnSchema }),\n  'primaryKey?': PrimaryKeySchema,\n  uniques: UniqueConstraintSchema.array().readonly(),\n  indexes: IndexSchema.array().readonly(),\n  foreignKeys: ForeignKeySchema.array().readonly(),\n});\n\nconst StorageSchema = type({\n  tables: type({ '[string]': StorageTableSchema }),\n  'types?': type({ '[string]': StorageTypeInstanceSchema }),\n});\n\nconst ModelFieldSchema = type.declare<ModelField>().type({\n  column: 'string',\n});\n\nconst ModelStorageSchema = type.declare<ModelStorage>().type({\n  table: 'string',\n});\n\nconst ModelSchema = type.declare<ModelDefinition>().type({\n  storage: ModelStorageSchema,\n  fields: type({ '[string]': ModelFieldSchema }),\n  relations: type({ '[string]': 'unknown' }),\n});\n\nconst SqlContractSchema = type({\n  'schemaVersion?': \"'1'\",\n  target: 'string',\n  targetFamily: \"'sql'\",\n  storageHash: 'string',\n  'executionHash?': 'string',\n  'profileHash?': 'string',\n  'capabilities?': 'Record<string, Record<string, boolean>>',\n  'extensionPacks?': 'Record<string, unknown>',\n  'meta?': 'Record<string, unknown>',\n  'sources?': 'Record<string, unknown>',\n  models: type({ '[string]': ModelSchema }),\n  storage: StorageSchema,\n  'execution?': ExecutionSchema,\n});\n\n// NOTE: StorageColumnSchema, StorageTableSchema, and StorageSchema use bare type()\n// instead of type.declare<T>().type() because the ColumnDefault union's value field\n// includes bigint | Date (runtime-only types after decoding) which cannot be expressed\n// in Arktype's JSON validation DSL. The `as SqlStorage` cast in validateStorage() bridges\n// the gap between the JSON-safe Arktype output and the runtime TypeScript type.\n// See decodeContractDefaults() in validate.ts for the decoding step.\n\n/**\n * Validates the structural shape of SqlStorage using Arktype.\n *\n * @param value - The storage value to validate\n * @returns The validated storage if structure is valid\n * @throws Error if the storage structure is invalid\n */\nexport function validateStorage(value: unknown): SqlStorage {\n  const result = StorageSchema(value);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Storage validation failed: ${messages}`);\n  }\n  return result as SqlStorage;\n}\n\n/**\n * Validates the structural shape of ModelDefinition using Arktype.\n *\n * @param value - The model value to validate\n * @returns The validated model if structure is valid\n * @throws Error if the model structure is invalid\n */\nexport function validateModel(value: unknown): ModelDefinition {\n  const result = ModelSchema(value);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Model validation failed: ${messages}`);\n  }\n  return result;\n}\n\n/**\n * Validates the structural shape of a SqlContract using Arktype.\n *\n * **Responsibility: Validation Only**\n * This function validates that the contract has the correct structure and types.\n * It does NOT normalize the contract - normalization must happen in the contract builder.\n *\n * The contract passed to this function must already be normalized (all required fields present).\n * If normalization is needed, it should be done by the contract builder before calling this function.\n *\n * This ensures all required fields are present and have the correct types.\n *\n * @param value - The contract value to validate (typically from a JSON import)\n * @returns The validated contract if structure is valid\n * @throws Error if the contract structure is invalid\n */\nexport function validateSqlContract<T extends SqlContract<SqlStorage>>(value: unknown): T {\n  if (typeof value !== 'object' || value === null) {\n    throw new Error('Contract structural validation failed: value must be an object');\n  }\n\n  // Check targetFamily first to provide a clear error message for unsupported target families\n  const rawValue = value as { targetFamily?: string };\n  if (rawValue.targetFamily !== undefined && rawValue.targetFamily !== 'sql') {\n    throw new Error(`Unsupported target family: ${rawValue.targetFamily}`);\n  }\n\n  const contractResult = SqlContractSchema(value);\n\n  if (contractResult instanceof type.errors) {\n    const messages = contractResult.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Contract structural validation failed: ${messages}`);\n  }\n\n  // After validation, contractResult matches the schema and preserves the input structure\n  // TypeScript needs an assertion here due to exactOptionalPropertyTypes differences\n  // between Arktype's inferred type and the generic T, but runtime-wise they're compatible\n  return contractResult as T;\n}\n\n/**\n * Validates semantic constraints on SqlStorage that cannot be expressed in Arktype schemas.\n *\n * Returns an array of human-readable error strings. Empty array = valid.\n *\n * Currently checks:\n * - `setNull` referential action on a non-nullable FK column (would fail at runtime)\n * - `setDefault` referential action on a non-nullable FK column without a DEFAULT (would fail at runtime)\n */\nexport function validateStorageSemantics(storage: SqlStorage): string[] {\n  const errors: string[] = [];\n\n  for (const [tableName, table] of Object.entries(storage.tables)) {\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        const column = table.columns[colName];\n        if (!column) continue;\n\n        if (fk.onDelete === 'setNull' && !column.nullable) {\n          errors.push(\n            `Table \"${tableName}\": onDelete setNull on foreign key column \"${colName}\" which is NOT NULL`,\n          );\n        }\n        if (fk.onUpdate === 'setNull' && !column.nullable) {\n          errors.push(\n            `Table \"${tableName}\": onUpdate setNull on foreign key column \"${colName}\" which is NOT NULL`,\n          );\n        }\n        if (fk.onDelete === 'setDefault' && !column.nullable && column.default === undefined) {\n          errors.push(\n            `Table \"${tableName}\": onDelete setDefault on foreign key column \"${colName}\" which is NOT NULL and has no DEFAULT`,\n          );\n        }\n        if (fk.onUpdate === 'setDefault' && !column.nullable && column.default === undefined) {\n          errors.push(\n            `Table \"${tableName}\": onUpdate setDefault on foreign key column \"${colName}\" which is NOT NULL and has no DEFAULT`,\n          );\n        }\n      }\n    }\n  }\n\n  return errors;\n}\n"],"mappings":";;;AAqBA,MAAM,oBAAoB,KAAK,YAAY;AAC3C,MAAM,qBAAqB,KAAK,aAAa;AAC7C,MAAM,sBAAsB,KAAK,cAAc;AAC/C,MAAM,oBAAoB,KAAK,8DAA8D;AAE7F,MAAa,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAClF,MAAM;CACN,OAAO;CACR,CAAC;AAEF,MAAa,8BAA8B,KAAK,SAAgC,CAAC,KAAK;CACpF,MAAM;CACN,YAAY;CACb,CAAC;AAEF,MAAa,sBAAsB,2BAA2B,GAAG,4BAA4B;AAE7F,MAAM,sCAAsC,KAAK;CAC/C,MAAM;CACN,IAAI;CACJ,WAAW;CACZ,CAAC;AAWF,MAAM,kBAAkB,KAAK,EAC3B,WAAW,EACT,UAXmC,KAAK;CAC1C,KAAK;EACH,OAAO;EACP,QAAQ;EACT;CACD,aAAa;CACb,aAAa;CACd,CAAC,CAI2C,OAAO,CAAC,UAAU,EAC5D,EACF,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,YAAY;CACZ,SAAS;CACT,UAAU;CACV,eAAe;CACf,YAAY;CACZ,YAAY;CACb,CAAC,CAAC,QAAQ,KAAK,QAAQ;AACtB,KAAI,IAAI,eAAe,UAAa,IAAI,YAAY,OAClD,QAAO,IAAI,OAAO,uDAAuD;AAE3E,QAAO;EACP;AAEF,MAAM,4BAA4B,KAAK,SAA8B,CAAC,KAAK;CACzE,SAAS;CACT,YAAY;CACZ,YAAY;CACb,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CACvD,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,yBAAyB,KAAK,SAA2B,CAAC,KAAK;CACnE,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,cAAc,KAAK,SAAgB,CAAC,KAAK;CAC7C,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAa,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAClF,OAAO;CACP,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACxC,CAAC;AAEF,MAAa,0BAA0B,KACpC,SAA4B,CAC5B,KAAK,iEAAiE;AAEzE,MAAa,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CAC9D,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,YAAY;CACZ,SAAS;CACT,aAAa;CACb,aAAa;CACb,YAAY;CACZ,OAAO;CACR,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,SAAS,KAAK,EAAE,YAAY,qBAAqB,CAAC;CAClD,eAAe;CACf,SAAS,uBAAuB,OAAO,CAAC,UAAU;CAClD,SAAS,YAAY,OAAO,CAAC,UAAU;CACvC,aAAa,iBAAiB,OAAO,CAAC,UAAU;CACjD,CAAC;AAEF,MAAM,gBAAgB,KAAK;CACzB,QAAQ,KAAK,EAAE,YAAY,oBAAoB,CAAC;CAChD,UAAU,KAAK,EAAE,YAAY,2BAA2B,CAAC;CAC1D,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK,EACvD,QAAQ,UACT,CAAC;AAEF,MAAM,qBAAqB,KAAK,SAAuB,CAAC,KAAK,EAC3D,OAAO,UACR,CAAC;AAEF,MAAM,cAAc,KAAK,SAA0B,CAAC,KAAK;CACvD,SAAS;CACT,QAAQ,KAAK,EAAE,YAAY,kBAAkB,CAAC;CAC9C,WAAW,KAAK,EAAE,YAAY,WAAW,CAAC;CAC3C,CAAC;AAEF,MAAM,oBAAoB,KAAK;CAC7B,kBAAkB;CAClB,QAAQ;CACR,cAAc;CACd,aAAa;CACb,kBAAkB;CAClB,gBAAgB;CAChB,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,SAAS;CACT,cAAc;CACf,CAAC;;;;;;;;AAgBF,SAAgB,gBAAgB,OAA4B;CAC1D,MAAM,SAAS,cAAc,MAAM;AACnC,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,8BAA8B,WAAW;;AAE3D,QAAO;;;;;;;;;AAUT,SAAgB,cAAc,OAAiC;CAC7D,MAAM,SAAS,YAAY,MAAM;AACjC,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,4BAA4B,WAAW;;AAEzD,QAAO;;;;;;;;;;;;;;;;;;AAmBT,SAAgB,oBAAuD,OAAmB;AACxF,KAAI,OAAO,UAAU,YAAY,UAAU,KACzC,OAAM,IAAI,MAAM,iEAAiE;CAInF,MAAM,WAAW;AACjB,KAAI,SAAS,iBAAiB,UAAa,SAAS,iBAAiB,MACnE,OAAM,IAAI,MAAM,8BAA8B,SAAS,eAAe;CAGxE,MAAM,iBAAiB,kBAAkB,MAAM;AAE/C,KAAI,0BAA0B,KAAK,QAAQ;EACzC,MAAM,WAAW,eAAe,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AACrF,QAAM,IAAI,MAAM,0CAA0C,WAAW;;AAMvE,QAAO;;;;;;;;;;;AAYT,SAAgB,yBAAyB,SAA+B;CACtE,MAAMA,SAAmB,EAAE;AAE3B,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,QAAQ,OAAO,CAC7D,MAAK,MAAM,MAAM,MAAM,YACrB,MAAK,MAAM,WAAW,GAAG,SAAS;EAChC,MAAM,SAAS,MAAM,QAAQ;AAC7B,MAAI,CAAC,OAAQ;AAEb,MAAI,GAAG,aAAa,aAAa,CAAC,OAAO,SACvC,QAAO,KACL,UAAU,UAAU,6CAA6C,QAAQ,qBAC1E;AAEH,MAAI,GAAG,aAAa,aAAa,CAAC,OAAO,SACvC,QAAO,KACL,UAAU,UAAU,6CAA6C,QAAQ,qBAC1E;AAEH,MAAI,GAAG,aAAa,gBAAgB,CAAC,OAAO,YAAY,OAAO,YAAY,OACzE,QAAO,KACL,UAAU,UAAU,gDAAgD,QAAQ,wCAC7E;AAEH,MAAI,GAAG,aAAa,gBAAgB,CAAC,OAAO,YAAY,OAAO,YAAY,OACzE,QAAO,KACL,UAAU,UAAU,gDAAgD,QAAQ,wCAC7E;;AAMT,QAAO"}

package/dist/validators.d.mts

@@ -1,10 +1,11 @@
-import { c as ModelDefinition, f as SqlContract, m as SqlStorage } from "./types-DTFobApb.mjs";
+import { a as ForeignKey, g as SqlStorage, l as ModelDefinition, m as SqlContract, p as ReferentialAction, s as ForeignKeyReferences } from "./types-T6o5-ZB3.mjs";
 import * as arktype_internal_variants_object_ts0 from "arktype/internal/variants/object.ts";
+import * as arktype_internal_variants_string_ts0 from "arktype/internal/variants/string.ts";
 
 //#region src/validators.d.ts
 type ColumnDefaultLiteral = {
   readonly kind: 'literal';
-  readonly expression: string;
+  readonly value: string | number | boolean | Record<string, unknown> | unknown[] | null;
 };
 type ColumnDefaultFunction = {
   readonly kind: 'function';
@@ -13,6 +14,9 @@ type ColumnDefaultFunction = {
 declare const ColumnDefaultLiteralSchema: arktype_internal_variants_object_ts0.ObjectType<ColumnDefaultLiteral, {}>;
 declare const ColumnDefaultFunctionSchema: arktype_internal_variants_object_ts0.ObjectType<ColumnDefaultFunction, {}>;
 declare const ColumnDefaultSchema: arktype_internal_variants_object_ts0.ObjectType<ColumnDefaultLiteral | ColumnDefaultFunction, {}>;
+declare const ForeignKeyReferencesSchema: arktype_internal_variants_object_ts0.ObjectType<ForeignKeyReferences, {}>;
+declare const ReferentialActionSchema: arktype_internal_variants_string_ts0.StringType<ReferentialAction, {}>;
+declare const ForeignKeySchema: arktype_internal_variants_object_ts0.ObjectType<ForeignKey, {}>;
 /**
  * Validates the structural shape of SqlStorage using Arktype.
  *
@@ -46,6 +50,16 @@ declare function validateModel(value: unknown): ModelDefinition;
  * @throws Error if the contract structure is invalid
  */
 declare function validateSqlContract<T extends SqlContract<SqlStorage>>(value: unknown): T;
+/**
+ * Validates semantic constraints on SqlStorage that cannot be expressed in Arktype schemas.
+ *
+ * Returns an array of human-readable error strings. Empty array = valid.
+ *
+ * Currently checks:
+ * - `setNull` referential action on a non-nullable FK column (would fail at runtime)
+ * - `setDefault` referential action on a non-nullable FK column without a DEFAULT (would fail at runtime)
+ */
+declare function validateStorageSemantics(storage: SqlStorage): string[];
 //#endregion
-export { ColumnDefaultFunctionSchema, ColumnDefaultLiteralSchema, ColumnDefaultSchema, validateModel, validateSqlContract, validateStorage };
+export { ColumnDefaultFunctionSchema, ColumnDefaultLiteralSchema, ColumnDefaultSchema, ForeignKeyReferencesSchema, ForeignKeySchema, ReferentialActionSchema, validateModel, validateSqlContract, validateStorage, validateStorageSemantics };
 //# sourceMappingURL=validators.d.mts.map

package/dist/validators.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"validators.d.mts","names":[],"sources":["../src/validators.ts"],"sourcesContent":[],"mappings":";;;;KAgBK,oBAAA;;;AAFY,CAAA;AAEQ,KACpB,qBAAA,GAAqB;EAMb,SAAA,IAAA,EAAA,UAAA;EAKA,SAAA,UAAA,EAAA,MAAA;AAKb,CAAA;AAAgC,cAVnB,0BAUmB,EAVO,oCAAA,CAAA,UAUP,CAVO,oBAUP,EAAA,CAAA,CAAA,CAAA;AAAA,cALnB,2BAKmB,EALQ,oCAAA,CAAA,UAKR,CALQ,qBAKR,EAAA,CAAA,CAAA,CAAA;AAAA,cAAnB,mBAAmB,EAAA,oCAAA,CAAA,UAAA,CAAA,oBAAA,GAAA,qBAAA,EAAA,CAAA,CAAA,CAAA;;AAyHhC;AAgBA;AAyBA;;;;AAAyF,iBAzCzE,eAAA,CAyCyE,KAAA,EAAA,OAAA,CAAA,EAzCxC,UAyCwC;;;;;;;;iBAzBzE,aAAA,kBAA+B;;;;;;;;;;;;;;;;;iBAyB/B,8BAA8B,YAAY,8BAA8B"}
+{"version":3,"file":"validators.d.mts","names":[],"sources":["../src/validators.ts"],"sourcesContent":[],"mappings":";;;;;KAgBK,oBAAA;;8CAEyC;;AAJ7B,KAMZ,qBAAA,GAJoB;EAIpB,SAAA,IAAA,EAAA,UAAqB;EAMb,SAAA,UAAA,EAAA,MAAA;AAKb,CAAA;AAKa,cAVA,0BAUgF,EAVtD,oCAAA,CAAA,UAUsD,CAVtD,oBAUsD,EAAA,CAAA,CAAA,CAAA;AAA7D,cALnB,2BAKmB,EALQ,oCAAA,CAAA,UAKR,CALQ,qBAKR,EAAA,CAAA,CAAA,CAAA;AAAA,cAAnB,mBAAmB,EAAA,oCAAA,CAAA,UAAA,CAAA,oBAAA,GAAA,qBAAA,EAAA,CAAA,CAAA,CAAA;AAAA,cA0DnB,0BA1DmB,EA0DO,oCAAA,CAAA,UA1DP,CA0DO,oBA1DP,EAAA,CAAA,CAAA,CAAA;AAAA,cA+DnB,uBA/DmB,EA+DI,oCAAA,CAAA,UA/DJ,CA+DI,iBA/DJ,EAAA,CAAA,CAAA,CAAA;AA0DnB,cASA,gBANX,EAM2B,oCAAA,CAAA,UATU,CASV,UATU,EAAA,CAAA,CAAA,CAAA;AAKvC;AAIA;AAmEA;AAgBA;AAyBA;;;AAAwF,iBAzCxE,eAAA,CAyCwE,KAAA,EAAA,OAAA,CAAA,EAzCvC,UAyCuC;;AAiCxF;;;;;;iBA1DgB,aAAA,kBAA+B;;;;;;;;;;;;;;;;;iBAyB/B,8BAA8B,YAAY,8BAA8B;;;;;;;;;;iBAiCxE,wBAAA,UAAkC"}

package/dist/validators.mjs

@@ -1,3 +1,3 @@
-import { a as validateSqlContract, i as validateModel, n as ColumnDefaultLiteralSchema, o as validateStorage, r as ColumnDefaultSchema, t as ColumnDefaultFunctionSchema } from "./validators-Dfw5_HSi.mjs";
+import { a as ForeignKeySchema, c as validateSqlContract, i as ForeignKeyReferencesSchema, l as validateStorage, n as ColumnDefaultLiteralSchema, o as ReferentialActionSchema, r as ColumnDefaultSchema, s as validateModel, t as ColumnDefaultFunctionSchema, u as validateStorageSemantics } from "./validators-CNMPzxwB.mjs";
 
-export { ColumnDefaultFunctionSchema, ColumnDefaultLiteralSchema, ColumnDefaultSchema, validateModel, validateSqlContract, validateStorage };
+export { ColumnDefaultFunctionSchema, ColumnDefaultLiteralSchema, ColumnDefaultSchema, ForeignKeyReferencesSchema, ForeignKeySchema, ReferentialActionSchema, validateModel, validateSqlContract, validateStorage, validateStorageSemantics };

package/package.json

@@ -1,13 +1,13 @@
 {
   "name": "@prisma-next/sql-contract",
-  "version": "0.3.0-dev.40",
+  "version": "0.3.0-dev.43",
   "type": "module",
   "plane": "shared",
   "sideEffects": false,
   "description": "SQL contract types, validators, and IR factories for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.25",
-    "@prisma-next/contract": "0.3.0-dev.40"
+    "@prisma-next/contract": "0.3.0-dev.43"
   },
   "devDependencies": {
     "tsdown": "0.18.4",

package/src/exports/types.ts

@@ -2,12 +2,14 @@ export type {
   ExtractCodecTypes,
   ExtractOperationTypes,
   ForeignKey,
+  ForeignKeyOptions,
   ForeignKeyReferences,
   Index,
   ModelDefinition,
   ModelField,
   ModelStorage,
   PrimaryKey,
+  ReferentialAction,
   SqlContract,
   SqlMappings,
   SqlStorage,

package/src/exports/validate.ts

@@ -1 +1,6 @@
-export { normalizeContract, validateContract } from '../validate';
+export {
+  decodeContractDefaults,
+  isBigIntColumn,
+  normalizeContract,
+  validateContract,
+} from '../validate';

package/src/factories.ts

@@ -5,6 +5,7 @@ import type {
 } from '@prisma-next/contract/types';
 import type {
   ForeignKey,
+  ForeignKeyOptions,
   ForeignKeyReferences,
   Index,
   ModelDefinition,
@@ -58,17 +59,20 @@ export function fk(
   columns: readonly string[],
   refTable: string,
   refColumns: readonly string[],
-  opts?: { name?: string; constraint?: boolean; index?: boolean },
+  opts?: ForeignKeyOptions & { constraint?: boolean; index?: boolean },
 ): ForeignKey {
   const references: ForeignKeyReferences = {
     table: refTable,
     columns: refColumns,
   };
+
   return {
     columns,
     references,
-    ...applyFkDefaults({ constraint: opts?.constraint, index: opts?.index }),
     ...(opts?.name !== undefined && { name: opts.name }),
+    ...(opts?.onDelete !== undefined && { onDelete: opts.onDelete }),
+    ...(opts?.onUpdate !== undefined && { onUpdate: opts.onUpdate }),
+    ...applyFkDefaults({ constraint: opts?.constraint, index: opts?.index }),
   };
 }
 

package/src/types.ts

@@ -56,10 +56,20 @@ export type ForeignKeyReferences = {
   readonly columns: readonly string[];
 };
 
+export type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';
+
+export type ForeignKeyOptions = {
+  readonly name?: string;
+  readonly onDelete?: ReferentialAction;
+  readonly onUpdate?: ReferentialAction;
+};
+
 export type ForeignKey = {
   readonly columns: readonly string[];
   readonly references: ForeignKeyReferences;
   readonly name?: string;
+  readonly onDelete?: ReferentialAction;
+  readonly onUpdate?: ReferentialAction;
   /** Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY). */
   readonly constraint: boolean;
   /** Whether to emit a backing index for the FK columns. */

package/src/validate.ts

@@ -1,6 +1,15 @@
-import type { ModelDefinition, SqlContract, SqlMappings, SqlStorage } from './types';
+import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';
+import { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';
+import type {
+  ModelDefinition,
+  SqlContract,
+  SqlMappings,
+  SqlStorage,
+  StorageColumn,
+  StorageTable,
+} from './types';
 import { applyFkDefaults } from './types';
-import { validateSqlContract } from './validators';
+import { validateSqlContract, validateStorageSemantics } from './validators';
 
 type ResolvedMappings = {
   modelToTable: Record<string, string>;
@@ -196,6 +205,14 @@ function validateContractLogic(contract: SqlContract<SqlStorage>): void {
       }
     }
 
+    for (const [colName, column] of Object.entries(table.columns)) {
+      if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {
+        throw new Error(
+          `Table "${tableName}" column "${colName}" is NOT NULL but has a literal null default`,
+        );
+      }
+    }
+
     for (const fk of table.foreignKeys) {
       for (const colName of fk.columns) {
         if (!columnNames.has(colName)) {
@@ -232,6 +249,95 @@ function validateContractLogic(contract: SqlContract<SqlStorage>): void {
   }
 }
 
+const BIGINT_NATIVE_TYPES = new Set(['bigint', 'int8']);
+
+export function isBigIntColumn(column: StorageColumn): boolean {
+  const nativeType = column.nativeType?.toLowerCase() ?? '';
+  if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;
+  const codecId = column.codecId?.toLowerCase() ?? '';
+  return codecId.includes('int8') || codecId.includes('bigint');
+}
+
+export function decodeDefaultLiteralValue(
+  value: ColumnDefaultLiteralInputValue,
+  column: StorageColumn,
+  tableName: string,
+  columnName: string,
+): ColumnDefaultLiteralInputValue {
+  if (value instanceof Date) {
+    return value;
+  }
+  if (isTaggedRaw(value)) {
+    return value.value;
+  }
+  if (isTaggedBigInt(value)) {
+    if (!isBigIntColumn(column)) {
+      return value;
+    }
+    try {
+      return BigInt(value.value);
+    } catch {
+      throw new Error(
+        `Invalid tagged bigint for default value on "${tableName}.${columnName}": "${value.value}" is not a valid integer`,
+      );
+    }
+  }
+  return value;
+}
+
+export function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T {
+  const tables = contract.storage.tables;
+  let tablesChanged = false;
+  const decodedTables: Record<string, StorageTable> = {};
+
+  for (const [tableName, table] of Object.entries(tables)) {
+    let columnsChanged = false;
+    const decodedColumns: Record<string, StorageColumn> = {};
+
+    for (const [columnName, column] of Object.entries(table.columns)) {
+      if (column.default?.kind === 'literal') {
+        const decodedValue = decodeDefaultLiteralValue(
+          column.default.value,
+          column,
+          tableName,
+          columnName,
+        );
+        if (decodedValue !== column.default.value) {
+          columnsChanged = true;
+          decodedColumns[columnName] = {
+            ...column,
+            default: { kind: 'literal', value: decodedValue },
+          };
+          continue;
+        }
+      }
+      decodedColumns[columnName] = column;
+    }
+
+    if (columnsChanged) {
+      tablesChanged = true;
+      decodedTables[tableName] = { ...table, columns: decodedColumns };
+    } else {
+      decodedTables[tableName] = table;
+    }
+  }
+
+  if (!tablesChanged) {
+    return contract;
+  }
+
+  // The spread widens to SqlContract<SqlStorage>, but this transformation only
+  // decodes tagged bigint defaults for bigint-like columns and preserves all
+  // other properties of T.
+  return {
+    ...contract,
+    storage: {
+      ...contract.storage,
+      tables: decodedTables,
+    },
+  } as T;
+}
+
 export function normalizeContract(contract: unknown): SqlContract<SqlStorage> {
   if (typeof contract !== 'object' || contract === null) {
     return contract as SqlContract<SqlStorage>;
@@ -322,14 +428,21 @@ export function validateContract<TContract extends SqlContract<SqlStorage>>(
   const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);
   validateContractLogic(structurallyValid);
 
+  const semanticErrors = validateStorageSemantics(structurallyValid.storage);
+  if (semanticErrors.length > 0) {
+    throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);
+  }
+
   const existingMappings = (structurallyValid as { mappings?: Partial<SqlMappings> }).mappings;
   const defaultMappings = computeDefaultMappings(
     structurallyValid.models as Record<string, ModelDefinition>,
   );
   const mappings = mergeMappings(defaultMappings, existingMappings);
 
-  return {
+  const contractWithMappings = {
     ...structurallyValid,
     mappings,
-  } as TContract;
+  };
+
+  return decodeContractDefaults(contractWithMappings) as TContract;
 }

package/src/validators.ts

@@ -7,14 +7,17 @@ import type {
   ModelField,
   ModelStorage,
   PrimaryKey,
+  ReferentialAction,
   SqlContract,
   SqlStorage,
-  StorageTable,
   StorageTypeInstance,
   UniqueConstraint,
 } from './types';
 
-type ColumnDefaultLiteral = { readonly kind: 'literal'; readonly expression: string };
+type ColumnDefaultLiteral = {
+  readonly kind: 'literal';
+  readonly value: string | number | boolean | Record<string, unknown> | unknown[] | null;
+};
 type ColumnDefaultFunction = { readonly kind: 'function'; readonly expression: string };
 const literalKindSchema = type("'literal'");
 const functionKindSchema = type("'function'");
@@ -23,7 +26,7 @@ const generatorIdSchema = type("'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2
 
 export const ColumnDefaultLiteralSchema = type.declare<ColumnDefaultLiteral>().type({
   kind: literalKindSchema,
-  expression: 'string',
+  value: 'string | number | boolean | null | unknown[] | Record<string, unknown>',
 });
 
 export const ColumnDefaultFunctionSchema = type.declare<ColumnDefaultFunction>().type({
@@ -89,20 +92,26 @@ const IndexSchema = type.declare<Index>().type({
   'name?': 'string',
 });
 
-const ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({
+export const ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({
   table: 'string',
   columns: type.string.array().readonly(),
 });
 
-const ForeignKeySchema = type.declare<ForeignKey>().type({
+export const ReferentialActionSchema = type
+  .declare<ReferentialAction>()
+  .type("'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault'");
+
+export const ForeignKeySchema = type.declare<ForeignKey>().type({
   columns: type.string.array().readonly(),
   references: ForeignKeyReferencesSchema,
   'name?': 'string',
+  'onDelete?': ReferentialActionSchema,
+  'onUpdate?': ReferentialActionSchema,
   constraint: 'boolean',
   index: 'boolean',
 });
 
-const StorageTableSchema = type.declare<StorageTable>().type({
+const StorageTableSchema = type({
   columns: type({ '[string]': StorageColumnSchema }),
   'primaryKey?': PrimaryKeySchema,
   uniques: UniqueConstraintSchema.array().readonly(),
@@ -110,7 +119,7 @@ const StorageTableSchema = type.declare<StorageTable>().type({
   foreignKeys: ForeignKeySchema.array().readonly(),
 });
 
-const StorageSchema = type.declare<SqlStorage>().type({
+const StorageSchema = type({
   tables: type({ '[string]': StorageTableSchema }),
   'types?': type({ '[string]': StorageTypeInstanceSchema }),
 });
@@ -145,6 +154,13 @@ const SqlContractSchema = type({
   'execution?': ExecutionSchema,
 });
 
+// NOTE: StorageColumnSchema, StorageTableSchema, and StorageSchema use bare type()
+// instead of type.declare<T>().type() because the ColumnDefault union's value field
+// includes bigint | Date (runtime-only types after decoding) which cannot be expressed
+// in Arktype's JSON validation DSL. The `as SqlStorage` cast in validateStorage() bridges
+// the gap between the JSON-safe Arktype output and the runtime TypeScript type.
+// See decodeContractDefaults() in validate.ts for the decoding step.
+
 /**
  * Validates the structural shape of SqlStorage using Arktype.
  *
@@ -158,7 +174,7 @@ export function validateStorage(value: unknown): SqlStorage {
     const messages = result.map((p: { message: string }) => p.message).join('; ');
     throw new Error(`Storage validation failed: ${messages}`);
   }
-  return result;
+  return result as SqlStorage;
 }
 
 /**
@@ -216,3 +232,48 @@ export function validateSqlContract<T extends SqlContract<SqlStorage>>(value: un
   // between Arktype's inferred type and the generic T, but runtime-wise they're compatible
   return contractResult as T;
 }
+
+/**
+ * Validates semantic constraints on SqlStorage that cannot be expressed in Arktype schemas.
+ *
+ * Returns an array of human-readable error strings. Empty array = valid.
+ *
+ * Currently checks:
+ * - `setNull` referential action on a non-nullable FK column (would fail at runtime)
+ * - `setDefault` referential action on a non-nullable FK column without a DEFAULT (would fail at runtime)
+ */
+export function validateStorageSemantics(storage: SqlStorage): string[] {
+  const errors: string[] = [];
+
+  for (const [tableName, table] of Object.entries(storage.tables)) {
+    for (const fk of table.foreignKeys) {
+      for (const colName of fk.columns) {
+        const column = table.columns[colName];
+        if (!column) continue;
+
+        if (fk.onDelete === 'setNull' && !column.nullable) {
+          errors.push(
+            `Table "${tableName}": onDelete setNull on foreign key column "${colName}" which is NOT NULL`,
+          );
+        }
+        if (fk.onUpdate === 'setNull' && !column.nullable) {
+          errors.push(
+            `Table "${tableName}": onUpdate setNull on foreign key column "${colName}" which is NOT NULL`,
+          );
+        }
+        if (fk.onDelete === 'setDefault' && !column.nullable && column.default === undefined) {
+          errors.push(
+            `Table "${tableName}": onDelete setDefault on foreign key column "${colName}" which is NOT NULL and has no DEFAULT`,
+          );
+        }
+        if (fk.onUpdate === 'setDefault' && !column.nullable && column.default === undefined) {
+          errors.push(
+            `Table "${tableName}": onUpdate setDefault on foreign key column "${colName}" which is NOT NULL and has no DEFAULT`,
+          );
+        }
+      }
+    }
+  }
+
+  return errors;
+}

package/dist/types-DTFobApb.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-DTFobApb.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;;AAgBA;AAsBA;AAKA;AAKA;AAKA;AAKY,KA1CA,aAAA,GA4CW;EAQX,SAAA,UAAY,EAAA,MAAA;EACW,SAAA,OAAA,EAAA,MAAA;EAAf,SAAA,QAAA,EAAA,OAAA;EACI;;;;;EAGc,SAAA,UAAA,CAAA,EAhDd,MAgDc,CAAA,MAAA,EAAA,OAAA,CAAA;EAAd;;AAaxB;AAMA;EACkC,SAAA,OAAA,CAAA,EAAA,MAAA;EAAf;;;;EAQP,SAAA,OAAU,CAAA,EAlED,aAkEC;AAItB,CAAA;AAIY,KAvEA,UAAA,GAuEe;EACP,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EACc,SAAA,IAAA,CAAA,EAAA,MAAA;CAAf;AACG,KArEV,gBAAA,GAqEU;EAAM,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EAGhB,SAAA,IAAA,CAAW,EAAA,MAAA;CACG;AACA,KArEd,KAAA,GAqEc;EACgB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EAAf,SAAA,IAAA,CAAA,EAAA,MAAA;CACe;AAAf,KAlEf,oBAAA,GAkEe;EACJ,SAAA,KAAA,EAAA,MAAA;EACmB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;CAAf;AAAM,KA/DrB,UAAA,GA+DqB;EAGpB,SAAA,OAAA,EAAA,SAAqB,MAAA,EAAA;EACrB,SAAA,UAAgB,EAjEN,oBAiEM;EAMb,SAAA,IAAA,CAAA,EAAA,MAAe;EAUnB;EACA,SAAA,UAAA,EAAA,OAAA;EAAa;EACb,SAAA,KAAA,EAAA,OAAA;CAA0B;AAC1B,KA5EA,YAAA,GA4EA;EAA0B,SAAA,OAAA,EA3ElB,MA2EkB,CAAA,MAAA,EA3EH,aA2EG,CAAA;EACxB,SAAA,UAAA,CAAA,EA3EU,UA2EV;EAAc,SAAA,OAAA,EA1ER,aA0EQ,CA1EM,gBA0EN,CAAA;EACL,SAAA,OAAA,EA1EH,aA0EG,CA1EW,KA0EX,CAAA;EAA0B,SAAA,WAAA,EAzEzB,aAyEyB,CAzEX,UAyEW,CAAA;CACxB;;;;;;;;;;;AAOJ,KApET,mBAAA,GAoES;EACE,SAAA,OAAA,EAAA,MAAA;EAAgB,SAAA,UAAA,EAAA,MAAA;EAG3B,SAAA,UAAA,EArEW,MAqEM,CAAA,MAAA,EAAA,OAAA,CAAA;CAA+B;AAAZ,KAlEpC,UAAA,GAkEoC;EAC9C,SAAA,MAAA,EAlEiB,MAkEjB,CAAA,MAAA,EAlEgC,YAkEhC,CAAA;EAAS;AAEX;;;EACE,SAAA,KAAA,CAAA,EAhEiB,MAgEjB,CAAA,MAAA,EAhEgC,mBAgEhC,CAAA;CAAS;KA7DC,UAAA;;;KAIA,YAAA;;;KAIA,eAAA;oBACQ;mBACD,eAAe;sBACZ;;KAGV,WAAA;0BACc;0BACA;2BACC,eAAe;2BACf,eAAe;uBACnB;;;2BACI,eAAe;;cAG7B,qBAAA;cACA,gBAAA;;;;;iBAMG,eAAA;;;;;;;;;;KAUJ,sBACA,aAAa,sBACb,0BAA0B,mCAC1B,0BAA0B,qCACxB,cAAc,kCACL,0BAA0B,gDACxB,4BAA4B,gDAC9B,0BAA0B,2BAC7C,aAAa,cAAc,gBAAgB;;oBAE3B;mBACD;sBACG;qBACD;uBACE;;KAGX,oCAAoC,YAAY,eAC1D;KAEU,wCAAwC,YAAY,eAC9D"}

package/dist/validators-Dfw5_HSi.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"validators-Dfw5_HSi.mjs","names":[],"sources":["../src/validators.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type {\n  ForeignKey,\n  ForeignKeyReferences,\n  Index,\n  ModelDefinition,\n  ModelField,\n  ModelStorage,\n  PrimaryKey,\n  SqlContract,\n  SqlStorage,\n  StorageTable,\n  StorageTypeInstance,\n  UniqueConstraint,\n} from './types';\n\ntype ColumnDefaultLiteral = { readonly kind: 'literal'; readonly expression: string };\ntype ColumnDefaultFunction = { readonly kind: 'function'; readonly expression: string };\nconst literalKindSchema = type(\"'literal'\");\nconst functionKindSchema = type(\"'function'\");\nconst generatorKindSchema = type(\"'generator'\");\nconst generatorIdSchema = type(\"'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2' | 'ksuid'\");\n\nexport const ColumnDefaultLiteralSchema = type.declare<ColumnDefaultLiteral>().type({\n  kind: literalKindSchema,\n  expression: 'string',\n});\n\nexport const ColumnDefaultFunctionSchema = type.declare<ColumnDefaultFunction>().type({\n  kind: functionKindSchema,\n  expression: 'string',\n});\n\nexport const ColumnDefaultSchema = ColumnDefaultLiteralSchema.or(ColumnDefaultFunctionSchema);\n\nconst ExecutionMutationDefaultValueSchema = type({\n  kind: generatorKindSchema,\n  id: generatorIdSchema,\n  'params?': 'Record<string, unknown>',\n});\n\nconst ExecutionMutationDefaultSchema = type({\n  ref: {\n    table: 'string',\n    column: 'string',\n  },\n  'onCreate?': ExecutionMutationDefaultValueSchema,\n  'onUpdate?': ExecutionMutationDefaultValueSchema,\n});\n\nconst ExecutionSchema = type({\n  mutations: {\n    defaults: ExecutionMutationDefaultSchema.array().readonly(),\n  },\n});\n\nconst StorageColumnSchema = type({\n  nativeType: 'string',\n  codecId: 'string',\n  nullable: 'boolean',\n  'typeParams?': 'Record<string, unknown>',\n  'typeRef?': 'string',\n  'default?': ColumnDefaultSchema,\n}).narrow((col, ctx) => {\n  if (col.typeParams !== undefined && col.typeRef !== undefined) {\n    return ctx.mustBe('a column with either typeParams or typeRef, not both');\n  }\n  return true;\n});\n\nconst StorageTypeInstanceSchema = type.declare<StorageTypeInstance>().type({\n  codecId: 'string',\n  nativeType: 'string',\n  typeParams: 'Record<string, unknown>',\n});\n\nconst PrimaryKeySchema = type.declare<PrimaryKey>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst UniqueConstraintSchema = type.declare<UniqueConstraint>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst IndexSchema = type.declare<Index>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({\n  table: 'string',\n  columns: type.string.array().readonly(),\n});\n\nconst ForeignKeySchema = type.declare<ForeignKey>().type({\n  columns: type.string.array().readonly(),\n  references: ForeignKeyReferencesSchema,\n  'name?': 'string',\n  constraint: 'boolean',\n  index: 'boolean',\n});\n\nconst StorageTableSchema = type.declare<StorageTable>().type({\n  columns: type({ '[string]': StorageColumnSchema }),\n  'primaryKey?': PrimaryKeySchema,\n  uniques: UniqueConstraintSchema.array().readonly(),\n  indexes: IndexSchema.array().readonly(),\n  foreignKeys: ForeignKeySchema.array().readonly(),\n});\n\nconst StorageSchema = type.declare<SqlStorage>().type({\n  tables: type({ '[string]': StorageTableSchema }),\n  'types?': type({ '[string]': StorageTypeInstanceSchema }),\n});\n\nconst ModelFieldSchema = type.declare<ModelField>().type({\n  column: 'string',\n});\n\nconst ModelStorageSchema = type.declare<ModelStorage>().type({\n  table: 'string',\n});\n\nconst ModelSchema = type.declare<ModelDefinition>().type({\n  storage: ModelStorageSchema,\n  fields: type({ '[string]': ModelFieldSchema }),\n  relations: type({ '[string]': 'unknown' }),\n});\n\nconst SqlContractSchema = type({\n  'schemaVersion?': \"'1'\",\n  target: 'string',\n  targetFamily: \"'sql'\",\n  storageHash: 'string',\n  'executionHash?': 'string',\n  'profileHash?': 'string',\n  'capabilities?': 'Record<string, Record<string, boolean>>',\n  'extensionPacks?': 'Record<string, unknown>',\n  'meta?': 'Record<string, unknown>',\n  'sources?': 'Record<string, unknown>',\n  models: type({ '[string]': ModelSchema }),\n  storage: StorageSchema,\n  'execution?': ExecutionSchema,\n});\n\n/**\n * Validates the structural shape of SqlStorage using Arktype.\n *\n * @param value - The storage value to validate\n * @returns The validated storage if structure is valid\n * @throws Error if the storage structure is invalid\n */\nexport function validateStorage(value: unknown): SqlStorage {\n  const result = StorageSchema(value);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Storage validation failed: ${messages}`);\n  }\n  return result;\n}\n\n/**\n * Validates the structural shape of ModelDefinition using Arktype.\n *\n * @param value - The model value to validate\n * @returns The validated model if structure is valid\n * @throws Error if the model structure is invalid\n */\nexport function validateModel(value: unknown): ModelDefinition {\n  const result = ModelSchema(value);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Model validation failed: ${messages}`);\n  }\n  return result;\n}\n\n/**\n * Validates the structural shape of a SqlContract using Arktype.\n *\n * **Responsibility: Validation Only**\n * This function validates that the contract has the correct structure and types.\n * It does NOT normalize the contract - normalization must happen in the contract builder.\n *\n * The contract passed to this function must already be normalized (all required fields present).\n * If normalization is needed, it should be done by the contract builder before calling this function.\n *\n * This ensures all required fields are present and have the correct types.\n *\n * @param value - The contract value to validate (typically from a JSON import)\n * @returns The validated contract if structure is valid\n * @throws Error if the contract structure is invalid\n */\nexport function validateSqlContract<T extends SqlContract<SqlStorage>>(value: unknown): T {\n  if (typeof value !== 'object' || value === null) {\n    throw new Error('Contract structural validation failed: value must be an object');\n  }\n\n  // Check targetFamily first to provide a clear error message for unsupported target families\n  const rawValue = value as { targetFamily?: string };\n  if (rawValue.targetFamily !== undefined && rawValue.targetFamily !== 'sql') {\n    throw new Error(`Unsupported target family: ${rawValue.targetFamily}`);\n  }\n\n  const contractResult = SqlContractSchema(value);\n\n  if (contractResult instanceof type.errors) {\n    const messages = contractResult.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Contract structural validation failed: ${messages}`);\n  }\n\n  // After validation, contractResult matches the schema and preserves the input structure\n  // TypeScript needs an assertion here due to exactOptionalPropertyTypes differences\n  // between Arktype's inferred type and the generic T, but runtime-wise they're compatible\n  return contractResult as T;\n}\n"],"mappings":";;;AAkBA,MAAM,oBAAoB,KAAK,YAAY;AAC3C,MAAM,qBAAqB,KAAK,aAAa;AAC7C,MAAM,sBAAsB,KAAK,cAAc;AAC/C,MAAM,oBAAoB,KAAK,8DAA8D;AAE7F,MAAa,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAClF,MAAM;CACN,YAAY;CACb,CAAC;AAEF,MAAa,8BAA8B,KAAK,SAAgC,CAAC,KAAK;CACpF,MAAM;CACN,YAAY;CACb,CAAC;AAEF,MAAa,sBAAsB,2BAA2B,GAAG,4BAA4B;AAE7F,MAAM,sCAAsC,KAAK;CAC/C,MAAM;CACN,IAAI;CACJ,WAAW;CACZ,CAAC;AAWF,MAAM,kBAAkB,KAAK,EAC3B,WAAW,EACT,UAXmC,KAAK;CAC1C,KAAK;EACH,OAAO;EACP,QAAQ;EACT;CACD,aAAa;CACb,aAAa;CACd,CAAC,CAI2C,OAAO,CAAC,UAAU,EAC5D,EACF,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,YAAY;CACZ,SAAS;CACT,UAAU;CACV,eAAe;CACf,YAAY;CACZ,YAAY;CACb,CAAC,CAAC,QAAQ,KAAK,QAAQ;AACtB,KAAI,IAAI,eAAe,UAAa,IAAI,YAAY,OAClD,QAAO,IAAI,OAAO,uDAAuD;AAE3E,QAAO;EACP;AAEF,MAAM,4BAA4B,KAAK,SAA8B,CAAC,KAAK;CACzE,SAAS;CACT,YAAY;CACZ,YAAY;CACb,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CACvD,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,yBAAyB,KAAK,SAA2B,CAAC,KAAK;CACnE,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,cAAc,KAAK,SAAgB,CAAC,KAAK;CAC7C,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAC3E,OAAO;CACP,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACxC,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CACvD,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,YAAY;CACZ,SAAS;CACT,YAAY;CACZ,OAAO;CACR,CAAC;AAEF,MAAM,qBAAqB,KAAK,SAAuB,CAAC,KAAK;CAC3D,SAAS,KAAK,EAAE,YAAY,qBAAqB,CAAC;CAClD,eAAe;CACf,SAAS,uBAAuB,OAAO,CAAC,UAAU;CAClD,SAAS,YAAY,OAAO,CAAC,UAAU;CACvC,aAAa,iBAAiB,OAAO,CAAC,UAAU;CACjD,CAAC;AAEF,MAAM,gBAAgB,KAAK,SAAqB,CAAC,KAAK;CACpD,QAAQ,KAAK,EAAE,YAAY,oBAAoB,CAAC;CAChD,UAAU,KAAK,EAAE,YAAY,2BAA2B,CAAC;CAC1D,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK,EACvD,QAAQ,UACT,CAAC;AAEF,MAAM,qBAAqB,KAAK,SAAuB,CAAC,KAAK,EAC3D,OAAO,UACR,CAAC;AAEF,MAAM,cAAc,KAAK,SAA0B,CAAC,KAAK;CACvD,SAAS;CACT,QAAQ,KAAK,EAAE,YAAY,kBAAkB,CAAC;CAC9C,WAAW,KAAK,EAAE,YAAY,WAAW,CAAC;CAC3C,CAAC;AAEF,MAAM,oBAAoB,KAAK;CAC7B,kBAAkB;CAClB,QAAQ;CACR,cAAc;CACd,aAAa;CACb,kBAAkB;CAClB,gBAAgB;CAChB,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,SAAS;CACT,cAAc;CACf,CAAC;;;;;;;;AASF,SAAgB,gBAAgB,OAA4B;CAC1D,MAAM,SAAS,cAAc,MAAM;AACnC,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,8BAA8B,WAAW;;AAE3D,QAAO;;;;;;;;;AAUT,SAAgB,cAAc,OAAiC;CAC7D,MAAM,SAAS,YAAY,MAAM;AACjC,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,4BAA4B,WAAW;;AAEzD,QAAO;;;;;;;;;;;;;;;;;;AAmBT,SAAgB,oBAAuD,OAAmB;AACxF,KAAI,OAAO,UAAU,YAAY,UAAU,KACzC,OAAM,IAAI,MAAM,iEAAiE;CAInF,MAAM,WAAW;AACjB,KAAI,SAAS,iBAAiB,UAAa,SAAS,iBAAiB,MACnE,OAAM,IAAI,MAAM,8BAA8B,SAAS,eAAe;CAGxE,MAAM,iBAAiB,kBAAkB,MAAM;AAE/C,KAAI,0BAA0B,KAAK,QAAQ;EACzC,MAAM,WAAW,eAAe,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AACrF,QAAM,IAAI,MAAM,0CAA0C,WAAW;;AAMvE,QAAO"}