@prisma-next/sql-contract 0.12.0-dev.6 → 0.12.0-dev.61

package/dist/canonicalization-hooks.mjs

@@ -5,20 +5,23 @@ const sqlContractCanonicalizationHooks = {
 			"storage",
 			"namespaces",
 			"*",
-			"tables"
+			"entries",
+			"table"
 		],
 		[
 			"storage",
 			"namespaces",
 			"*",
-			"tables",
+			"entries",
+			"table",
 			"*"
 		],
 		[
 			"storage",
 			"namespaces",
 			"*",
-			"tables",
+			"entries",
+			"table",
 			"*",
 			[
 				"uniques",
@@ -30,7 +33,8 @@ const sqlContractCanonicalizationHooks = {
 			"storage",
 			"namespaces",
 			"*",
-			"tables",
+			"entries",
+			"table",
 			"*",
 			"foreignKeys",
 			["constraint", "index"]
@@ -46,7 +50,8 @@ const sqlContractCanonicalizationHooks = {
 		path: [
 			"namespaces",
 			"*",
-			"tables",
+			"entries",
+			"table",
 			"*"
 		],
 		arrayKeys: ["indexes", "uniques"]

package/dist/canonicalization-hooks.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"canonicalization-hooks.mjs","names":[],"sources":["../src/canonicalization-hooks.ts"],"sourcesContent":["import type { PreserveEmptyPredicate, StorageSort } from '@prisma-next/contract/hashing';\nimport {\n  createPreserveEmptyPredicate,\n  createStorageSort,\n  type NamedArraySortTarget,\n  type PathPattern,\n} from '@prisma-next/contract/hashing-utils';\n\nconst preserveEmptyPatterns = [\n  ['storage', 'namespaces', '*', 'tables'],\n  ['storage', 'namespaces', '*', 'tables', '*'],\n  ['storage', 'namespaces', '*', 'tables', '*', ['uniques', 'indexes', 'foreignKeys']],\n  ['storage', 'namespaces', '*', 'tables', '*', 'foreignKeys', ['constraint', 'index']],\n  ['storage', 'types', '*', 'typeParams'],\n] as const satisfies readonly PathPattern[];\n\nconst sortTargets = [\n  { path: ['namespaces', '*', 'tables', '*'], arrayKeys: ['indexes', 'uniques'] },\n] as const satisfies readonly NamedArraySortTarget[];\n\nconst shouldPreserveEmpty: PreserveEmptyPredicate =\n  createPreserveEmptyPredicate(preserveEmptyPatterns);\n\nconst sortStorage: StorageSort = createStorageSort(sortTargets);\n\nexport const sqlContractCanonicalizationHooks: {\n  readonly shouldPreserveEmpty: PreserveEmptyPredicate;\n  readonly sortStorage: StorageSort;\n} = {\n  shouldPreserveEmpty,\n  sortStorage,\n};\n"],"mappings":";AAyBA,MAAa,mCAGT;CACF,qBARA,6BAA6B;EAZ7B;GAAC;GAAW;GAAc;GAAK;EAAQ;EACvC;GAAC;GAAW;GAAc;GAAK;GAAU;EAAG;EAC5C;GAAC;GAAW;GAAc;GAAK;GAAU;GAAK;IAAC;IAAW;IAAW;GAAa;EAAC;EACnF;GAAC;GAAW;GAAc;GAAK;GAAU;GAAK;GAAe,CAAC,cAAc,OAAO;EAAC;EACpF;GAAC;GAAW;GAAS;GAAK;EAAY;CAQT,CAQ7B;CACA,aAP+B,kBAAkB,CANjD;EAAE,MAAM;GAAC;GAAc;GAAK;GAAU;EAAG;EAAG,WAAW,CAAC,WAAW,SAAS;CAAE,CAM7B,CAOjD;AACF"}
+{"version":3,"file":"canonicalization-hooks.mjs","names":[],"sources":["../src/canonicalization-hooks.ts"],"sourcesContent":["import type { PreserveEmptyPredicate, StorageSort } from '@prisma-next/contract/hashing';\nimport {\n  createPreserveEmptyPredicate,\n  createStorageSort,\n  type NamedArraySortTarget,\n  type PathPattern,\n} from '@prisma-next/contract/hashing-utils';\n\nconst preserveEmptyPatterns = [\n  ['storage', 'namespaces', '*', 'entries', 'table'],\n  ['storage', 'namespaces', '*', 'entries', 'table', '*'],\n  ['storage', 'namespaces', '*', 'entries', 'table', '*', ['uniques', 'indexes', 'foreignKeys']],\n  ['storage', 'namespaces', '*', 'entries', 'table', '*', 'foreignKeys', ['constraint', 'index']],\n  ['storage', 'types', '*', 'typeParams'],\n] as const satisfies readonly PathPattern[];\n\nconst sortTargets = [\n  { path: ['namespaces', '*', 'entries', 'table', '*'], arrayKeys: ['indexes', 'uniques'] },\n] as const satisfies readonly NamedArraySortTarget[];\n\nconst shouldPreserveEmpty: PreserveEmptyPredicate =\n  createPreserveEmptyPredicate(preserveEmptyPatterns);\n\nconst sortStorage: StorageSort = createStorageSort(sortTargets);\n\nexport const sqlContractCanonicalizationHooks: {\n  readonly shouldPreserveEmpty: PreserveEmptyPredicate;\n  readonly sortStorage: StorageSort;\n} = {\n  shouldPreserveEmpty,\n  sortStorage,\n};\n"],"mappings":";AAyBA,MAAa,mCAGT;CACF,qBARA,6BAA6B;EAZ7B;GAAC;GAAW;GAAc;GAAK;GAAW;EAAO;EACjD;GAAC;GAAW;GAAc;GAAK;GAAW;GAAS;EAAG;EACtD;GAAC;GAAW;GAAc;GAAK;GAAW;GAAS;GAAK;IAAC;IAAW;IAAW;GAAa;EAAC;EAC7F;GAAC;GAAW;GAAc;GAAK;GAAW;GAAS;GAAK;GAAe,CAAC,cAAc,OAAO;EAAC;EAC9F;GAAC;GAAW;GAAS;GAAK;EAAY;CAQT,CAQ7B;CACA,aAP+B,kBAAkB,CANjD;EAAE,MAAM;GAAC;GAAc;GAAK;GAAW;GAAS;EAAG;EAAG,WAAW,CAAC,WAAW,SAAS;CAAE,CAMvC,CAOjD;AACF"}

package/dist/factories.d.mts

@@ -1,4 +1,5 @@
-import { G as PrimaryKey, H as StorageColumnInput, L as StorageTable, U as Index, V as StorageColumn, X as ForeignKey, b as SqlModelStorage, f as ForeignKeyOptions, y as SqlModelFieldStorage, z as UniqueConstraint } from "./types-Cx_5A_L0.mjs";
+import { S as PrimaryKey, b as Index, g as UniqueConstraint, m as StorageTable, v as StorageColumn, w as ForeignKey, y as StorageColumnInput } from "./sql-storage-CaAh0nd3.mjs";
+import { b as SqlModelFieldStorage, f as ForeignKeyOptions, x as SqlModelStorage } from "./types-CZZASopP.mjs";
 import { ScalarFieldType } from "@prisma-next/contract/types";
 
 //#region src/factories.d.ts
@@ -17,7 +18,7 @@ declare function table(columns: Record<string, StorageColumn | StorageColumnInpu
   indexes?: readonly Index[];
   fks?: readonly ForeignKey[];
 }): StorageTable;
-declare function model(tableName: string, fields: Record<string, SqlModelFieldStorage>, relations?: Record<string, unknown>): {
+declare function model(tableName: string, fields: Record<string, SqlModelFieldStorage>, relations?: Record<string, unknown>, namespaceId?: string): {
   storage: SqlModelStorage;
   fields: Record<string, {
     readonly nullable: boolean;

package/dist/factories.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"factories.d.mts","names":[],"sources":["../src/factories.ts"],"mappings":";;;;iBAgBgB,GAAA,CAAI,UAAA,UAAoB,OAAA,UAAiB,QAAA,aAAmB,aAAa;AAAA,iBAIzE,EAAA,CAAA,GAAM,OAAA,sBAA6B,UAAU;AAAA,iBAI7C,MAAA,CAAA,GAAU,OAAA,sBAA6B,gBAAgB;AAAA,iBAIvD,KAAA,CAAA,GAAS,OAAA,sBAA6B,KAAK;AAAA,iBAI3C,EAAA,CACd,YAAA,UACA,UAAA,qBACA,eAAA,UACA,aAAA,qBACA,IAAA,GAAO,iBAAA;EAAsB,UAAA;EAAsB,KAAA;EAAiB,WAAA;AAAA,IACnE,UAAU;AAAA,iBAcG,KAAA,CACd,OAAA,EAAS,MAAA,SAAe,aAAA,GAAgB,kBAAA,GACxC,IAAA;EACE,EAAA,GAAK,UAAA;EACL,OAAA,YAAmB,gBAAA;EACnB,OAAA,YAAmB,KAAA;EACnB,GAAA,YAAe,UAAA;AAAA,IAEhB,YAAA;AAAA,iBAUa,KAAA,CACd,SAAA,UACA,MAAA,EAAQ,MAAA,SAAe,oBAAA,GACvB,SAAA,GAAW,MAAA;EAEX,OAAA,EAAS,eAAA;EACT,MAAA,EAAQ,MAAA;IAAA,SAA0B,QAAA;IAAA,SAA4B,IAAA,EAAM,eAAA;EAAA;EACpE,SAAA,EAAW,MAAA;AAAA"}
+{"version":3,"file":"factories.d.mts","names":[],"sources":["../src/factories.ts"],"mappings":";;;;;iBAgBgB,GAAA,CAAI,UAAA,UAAoB,OAAA,UAAiB,QAAA,aAAmB,aAAa;AAAA,iBAIzE,EAAA,IAAM,OAAA,sBAA6B,UAAU;AAAA,iBAI7C,MAAA,IAAU,OAAA,sBAA6B,gBAAgB;AAAA,iBAIvD,KAAA,IAAS,OAAA,sBAA6B,KAAK;AAAA,iBAI3C,EAAA,CACd,YAAA,UACA,UAAA,qBACA,eAAA,UACA,aAAA,qBACA,IAAA,GAAO,iBAAA;EAAsB,UAAA;EAAsB,KAAA;EAAiB,WAAA;AAAA,IACnE,UAAU;AAAA,iBAcG,KAAA,CACd,OAAA,EAAS,MAAA,SAAe,aAAA,GAAgB,kBAAA,GACxC,IAAA;EACE,EAAA,GAAK,UAAA;EACL,OAAA,YAAmB,gBAAA;EACnB,OAAA,YAAmB,KAAA;EACnB,GAAA,YAAe,UAAA;AAAA,IAEhB,YAAA;AAAA,iBAUa,KAAA,CACd,SAAA,UACA,MAAA,EAAQ,MAAA,SAAe,oBAAA,GACvB,SAAA,GAAW,MAAA,mBACX,WAAA;EAEA,OAAA,EAAS,eAAA;EACT,MAAA,EAAQ,MAAA;IAAA,SAA0B,QAAA;IAAA,SAA4B,IAAA,EAAM,eAAA;EAAA;EACpE,SAAA,EAAW,MAAA;AAAA"}

package/dist/factories.mjs

@@ -1,4 +1,4 @@
-import { _ as ForeignKey, f as StorageTable, g as PrimaryKey, h as Index, m as StorageColumn, p as UniqueConstraint, r as applyFkDefaults } from "./types-YQrDHy-b.mjs";
+import { _ as Index, g as StorageColumn, h as UniqueConstraint, m as StorageTable, r as applyFkDefaults, v as PrimaryKey, y as ForeignKey } from "./types-a657xjzo.mjs";
 import { UNBOUND_NAMESPACE_ID } from "@prisma-next/framework-components/ir";
 import { asNamespaceId } from "@prisma-next/contract/types";
 //#region src/factories.ts
@@ -51,10 +51,11 @@ function table(columns, opts) {
 		foreignKeys: opts?.fks ?? []
 	});
 }
-function model(tableName, fields, relations = {}) {
+function model(tableName, fields, relations = {}, namespaceId = UNBOUND_NAMESPACE_ID) {
 	return {
 		storage: {
 			table: tableName,
+			namespaceId,
 			fields
 		},
 		fields: Object.fromEntries(Object.entries(fields).map(([name, field]) => [name, {

package/dist/factories.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"factories.mjs","names":[],"sources":["../src/factories.ts"],"sourcesContent":["import { asNamespaceId, type ScalarFieldType } from '@prisma-next/contract/types';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport {\n  applyFkDefaults,\n  ForeignKey,\n  type ForeignKeyOptions,\n  Index,\n  PrimaryKey,\n  type SqlModelFieldStorage,\n  type SqlModelStorage,\n  StorageColumn,\n  type StorageColumnInput,\n  StorageTable,\n  UniqueConstraint,\n} from './types';\n\nexport function col(nativeType: string, codecId: string, nullable = false): StorageColumn {\n  return new StorageColumn({ nativeType, codecId, nullable });\n}\n\nexport function pk(...columns: readonly string[]): PrimaryKey {\n  return new PrimaryKey({ columns });\n}\n\nexport function unique(...columns: readonly string[]): UniqueConstraint {\n  return new UniqueConstraint({ columns });\n}\n\nexport function index(...columns: readonly string[]): Index {\n  return new Index({ columns });\n}\n\nexport function fk(\n  srcTableName: string,\n  srcColumns: readonly string[],\n  targetTableName: string,\n  targetColumns: readonly string[],\n  opts?: ForeignKeyOptions & { constraint?: boolean; index?: boolean; namespaceId?: string },\n): ForeignKey {\n  const defaults = applyFkDefaults({ constraint: opts?.constraint, index: opts?.index });\n  const namespaceId = asNamespaceId(opts?.namespaceId ?? UNBOUND_NAMESPACE_ID);\n  return new ForeignKey({\n    source: { namespaceId, tableName: srcTableName, columns: srcColumns },\n    target: { namespaceId, tableName: targetTableName, columns: targetColumns },\n    ...(opts?.name !== undefined && { name: opts.name }),\n    ...(opts?.onDelete !== undefined && { onDelete: opts.onDelete }),\n    ...(opts?.onUpdate !== undefined && { onUpdate: opts.onUpdate }),\n    constraint: defaults.constraint,\n    index: defaults.index,\n  });\n}\n\nexport function table(\n  columns: Record<string, StorageColumn | StorageColumnInput>,\n  opts?: {\n    pk?: PrimaryKey;\n    uniques?: readonly UniqueConstraint[];\n    indexes?: readonly Index[];\n    fks?: readonly ForeignKey[];\n  },\n): StorageTable {\n  return new StorageTable({\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  tableName: string,\n  fields: Record<string, SqlModelFieldStorage>,\n  relations: Record<string, unknown> = {},\n): {\n  storage: SqlModelStorage;\n  fields: Record<string, { readonly nullable: boolean; readonly type: ScalarFieldType }>;\n  relations: Record<string, unknown>;\n} {\n  const storage: SqlModelStorage = { table: tableName, fields };\n  const domainFields = Object.fromEntries(\n    Object.entries(fields).map(([name, field]) => [\n      name,\n      {\n        nullable: field.nullable ?? false,\n        type: { kind: 'scalar' as const, codecId: field.codecId ?? 'core/unknown@1' },\n      },\n    ]),\n  ) as Record<string, { nullable: boolean; type: ScalarFieldType }>;\n  return {\n    storage,\n    fields: domainFields,\n    relations,\n  };\n}\n"],"mappings":";;;;AAgBA,SAAgB,IAAI,YAAoB,SAAiB,WAAW,OAAsB;CACxF,OAAO,IAAI,cAAc;EAAE;EAAY;EAAS;CAAS,CAAC;AAC5D;AAEA,SAAgB,GAAG,GAAG,SAAwC;CAC5D,OAAO,IAAI,WAAW,EAAE,QAAQ,CAAC;AACnC;AAEA,SAAgB,OAAO,GAAG,SAA8C;CACtE,OAAO,IAAI,iBAAiB,EAAE,QAAQ,CAAC;AACzC;AAEA,SAAgB,MAAM,GAAG,SAAmC;CAC1D,OAAO,IAAI,MAAM,EAAE,QAAQ,CAAC;AAC9B;AAEA,SAAgB,GACd,cACA,YACA,iBACA,eACA,MACY;CACZ,MAAM,WAAW,gBAAgB;EAAE,YAAY,MAAM;EAAY,OAAO,MAAM;CAAM,CAAC;CACrF,MAAM,cAAc,cAAc,MAAM,eAAe,oBAAoB;CAC3E,OAAO,IAAI,WAAW;EACpB,QAAQ;GAAE;GAAa,WAAW;GAAc,SAAS;EAAW;EACpE,QAAQ;GAAE;GAAa,WAAW;GAAiB,SAAS;EAAc;EAC1E,GAAI,MAAM,SAAS,KAAA,KAAa,EAAE,MAAM,KAAK,KAAK;EAClD,GAAI,MAAM,aAAa,KAAA,KAAa,EAAE,UAAU,KAAK,SAAS;EAC9D,GAAI,MAAM,aAAa,KAAA,KAAa,EAAE,UAAU,KAAK,SAAS;EAC9D,YAAY,SAAS;EACrB,OAAO,SAAS;CAClB,CAAC;AACH;AAEA,SAAgB,MACd,SACA,MAMc;CACd,OAAO,IAAI,aAAa;EACtB;EACA,GAAI,MAAM,OAAO,KAAA,KAAa,EAAE,YAAY,KAAK,GAAG;EACpD,SAAS,MAAM,WAAW,CAAC;EAC3B,SAAS,MAAM,WAAW,CAAC;EAC3B,aAAa,MAAM,OAAO,CAAC;CAC7B,CAAC;AACH;AAEA,SAAgB,MACd,WACA,QACA,YAAqC,CAAC,GAKtC;CAWA,OAAO;EACL,SAAA;GAXiC,OAAO;GAAW;EAW7C;EACN,QAXmB,OAAO,YAC1B,OAAO,QAAQ,MAAM,EAAE,KAAK,CAAC,MAAM,WAAW,CAC5C,MACA;GACE,UAAU,MAAM,YAAY;GAC5B,MAAM;IAAE,MAAM;IAAmB,SAAS,MAAM,WAAW;GAAiB;EAC9E,CACF,CAAC,CAIkB;EACnB;CACF;AACF"}
+{"version":3,"file":"factories.mjs","names":[],"sources":["../src/factories.ts"],"sourcesContent":["import { asNamespaceId, type ScalarFieldType } from '@prisma-next/contract/types';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport {\n  applyFkDefaults,\n  ForeignKey,\n  type ForeignKeyOptions,\n  Index,\n  PrimaryKey,\n  type SqlModelFieldStorage,\n  type SqlModelStorage,\n  StorageColumn,\n  type StorageColumnInput,\n  StorageTable,\n  UniqueConstraint,\n} from './types';\n\nexport function col(nativeType: string, codecId: string, nullable = false): StorageColumn {\n  return new StorageColumn({ nativeType, codecId, nullable });\n}\n\nexport function pk(...columns: readonly string[]): PrimaryKey {\n  return new PrimaryKey({ columns });\n}\n\nexport function unique(...columns: readonly string[]): UniqueConstraint {\n  return new UniqueConstraint({ columns });\n}\n\nexport function index(...columns: readonly string[]): Index {\n  return new Index({ columns });\n}\n\nexport function fk(\n  srcTableName: string,\n  srcColumns: readonly string[],\n  targetTableName: string,\n  targetColumns: readonly string[],\n  opts?: ForeignKeyOptions & { constraint?: boolean; index?: boolean; namespaceId?: string },\n): ForeignKey {\n  const defaults = applyFkDefaults({ constraint: opts?.constraint, index: opts?.index });\n  const namespaceId = asNamespaceId(opts?.namespaceId ?? UNBOUND_NAMESPACE_ID);\n  return new ForeignKey({\n    source: { namespaceId, tableName: srcTableName, columns: srcColumns },\n    target: { namespaceId, tableName: targetTableName, columns: targetColumns },\n    ...(opts?.name !== undefined && { name: opts.name }),\n    ...(opts?.onDelete !== undefined && { onDelete: opts.onDelete }),\n    ...(opts?.onUpdate !== undefined && { onUpdate: opts.onUpdate }),\n    constraint: defaults.constraint,\n    index: defaults.index,\n  });\n}\n\nexport function table(\n  columns: Record<string, StorageColumn | StorageColumnInput>,\n  opts?: {\n    pk?: PrimaryKey;\n    uniques?: readonly UniqueConstraint[];\n    indexes?: readonly Index[];\n    fks?: readonly ForeignKey[];\n  },\n): StorageTable {\n  return new StorageTable({\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  tableName: string,\n  fields: Record<string, SqlModelFieldStorage>,\n  relations: Record<string, unknown> = {},\n  namespaceId: string = UNBOUND_NAMESPACE_ID,\n): {\n  storage: SqlModelStorage;\n  fields: Record<string, { readonly nullable: boolean; readonly type: ScalarFieldType }>;\n  relations: Record<string, unknown>;\n} {\n  const storage: SqlModelStorage = { table: tableName, namespaceId, fields };\n  const domainFields = Object.fromEntries(\n    Object.entries(fields).map(([name, field]) => [\n      name,\n      {\n        nullable: field.nullable ?? false,\n        type: { kind: 'scalar' as const, codecId: field.codecId ?? 'core/unknown@1' },\n      },\n    ]),\n  ) as Record<string, { nullable: boolean; type: ScalarFieldType }>;\n  return {\n    storage,\n    fields: domainFields,\n    relations,\n  };\n}\n"],"mappings":";;;;AAgBA,SAAgB,IAAI,YAAoB,SAAiB,WAAW,OAAsB;CACxF,OAAO,IAAI,cAAc;EAAE;EAAY;EAAS;CAAS,CAAC;AAC5D;AAEA,SAAgB,GAAG,GAAG,SAAwC;CAC5D,OAAO,IAAI,WAAW,EAAE,QAAQ,CAAC;AACnC;AAEA,SAAgB,OAAO,GAAG,SAA8C;CACtE,OAAO,IAAI,iBAAiB,EAAE,QAAQ,CAAC;AACzC;AAEA,SAAgB,MAAM,GAAG,SAAmC;CAC1D,OAAO,IAAI,MAAM,EAAE,QAAQ,CAAC;AAC9B;AAEA,SAAgB,GACd,cACA,YACA,iBACA,eACA,MACY;CACZ,MAAM,WAAW,gBAAgB;EAAE,YAAY,MAAM;EAAY,OAAO,MAAM;CAAM,CAAC;CACrF,MAAM,cAAc,cAAc,MAAM,eAAe,oBAAoB;CAC3E,OAAO,IAAI,WAAW;EACpB,QAAQ;GAAE;GAAa,WAAW;GAAc,SAAS;EAAW;EACpE,QAAQ;GAAE;GAAa,WAAW;GAAiB,SAAS;EAAc;EAC1E,GAAI,MAAM,SAAS,KAAA,KAAa,EAAE,MAAM,KAAK,KAAK;EAClD,GAAI,MAAM,aAAa,KAAA,KAAa,EAAE,UAAU,KAAK,SAAS;EAC9D,GAAI,MAAM,aAAa,KAAA,KAAa,EAAE,UAAU,KAAK,SAAS;EAC9D,YAAY,SAAS;EACrB,OAAO,SAAS;CAClB,CAAC;AACH;AAEA,SAAgB,MACd,SACA,MAMc;CACd,OAAO,IAAI,aAAa;EACtB;EACA,GAAI,MAAM,OAAO,KAAA,KAAa,EAAE,YAAY,KAAK,GAAG;EACpD,SAAS,MAAM,WAAW,CAAC;EAC3B,SAAS,MAAM,WAAW,CAAC;EAC3B,aAAa,MAAM,OAAO,CAAC;CAC7B,CAAC;AACH;AAEA,SAAgB,MACd,WACA,QACA,YAAqC,CAAC,GACtC,cAAsB,sBAKtB;CAWA,OAAO;EACL,SAAA;GAXiC,OAAO;GAAW;GAAa;EAW1D;EACN,QAXmB,OAAO,YAC1B,OAAO,QAAQ,MAAM,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,CAC5C,MACA;GACE,UAAU,MAAM,YAAY;GAC5B,MAAM;IAAE,MAAM;IAAmB,SAAS,MAAM,WAAW;GAAiB;EAC9E,CACF,CAAC,CAIkB;EACnB;CACF;AACF"}

package/dist/index-type-validation.d.mts

@@ -1,5 +1,5 @@
-import { k as SqlStorage } from "./types-Cx_5A_L0.mjs";
-import { a as IndexTypeRegistry } from "./index-types-B1cf5N0F.mjs";
+import { r as SqlStorage } from "./sql-storage-CaAh0nd3.mjs";
+import { a as IndexTypeRegistry } from "./index-types-Czsyu7Iw.mjs";
 import { Contract } from "@prisma-next/contract/types";
 
 //#region src/index-type-validation.d.ts

package/dist/index-type-validation.mjs

@@ -2,7 +2,7 @@ import { ContractValidationError } from "@prisma-next/contract/contract-validati
 import { type } from "arktype";
 //#region src/index-type-validation.ts
 function validateIndexTypes(contract, indexTypeRegistry) {
-	for (const [namespaceId, ns] of Object.entries(contract.storage.namespaces)) for (const [tableName, rawTable] of Object.entries(ns.tables)) {
+	for (const [namespaceId, ns] of Object.entries(contract.storage.namespaces)) for (const [tableName, rawTable] of Object.entries(ns.entries.table)) {
 		const table = rawTable;
 		for (const index of table.indexes) {
 			if (index.type === void 0 && index.options !== void 0) throw new ContractValidationError(`Namespace "${namespaceId}" table "${tableName}" index on columns [${index.columns.join(", ")}] has options without a type`, "storage");

package/dist/index-type-validation.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index-type-validation.mjs","names":[],"sources":["../src/index-type-validation.ts"],"sourcesContent":["import { ContractValidationError } from '@prisma-next/contract/contract-validation-error';\nimport type { Contract } from '@prisma-next/contract/types';\nimport { type } from 'arktype';\nimport type { IndexTypeRegistry } from './index-types';\nimport type { SqlStorage, StorageTable } from './types';\n\nexport function validateIndexTypes(\n  contract: Contract<SqlStorage>,\n  indexTypeRegistry: IndexTypeRegistry,\n): void {\n  for (const [namespaceId, ns] of Object.entries(contract.storage.namespaces)) {\n    for (const [tableName, rawTable] of Object.entries(ns.tables)) {\n      const table = rawTable as StorageTable;\n      for (const index of table.indexes) {\n        if (index.type === undefined && index.options !== undefined) {\n          throw new ContractValidationError(\n            `Namespace \"${namespaceId}\" table \"${tableName}\" index on columns [${index.columns.join(', ')}] has options without a type`,\n            'storage',\n          );\n        }\n        if (index.type === undefined) continue;\n        const entry = indexTypeRegistry.get(index.type);\n        if (entry === undefined) {\n          throw new ContractValidationError(\n            `Namespace \"${namespaceId}\" table \"${tableName}\" index on columns [${index.columns.join(', ')}] uses unregistered index type \"${index.type}\"`,\n            'storage',\n          );\n        }\n        const optionsValue = index.options ?? {};\n        const result = entry.options(optionsValue);\n        if (result instanceof type.errors) {\n          throw new ContractValidationError(\n            `Namespace \"${namespaceId}\" table \"${tableName}\" index on columns [${index.columns.join(', ')}] has invalid options for type \"${index.type}\": ${result.summary}`,\n            'storage',\n          );\n        }\n      }\n    }\n  }\n}\n"],"mappings":";;;AAMA,SAAgB,mBACd,UACA,mBACM;CACN,KAAK,MAAM,CAAC,aAAa,OAAO,OAAO,QAAQ,SAAS,QAAQ,UAAU,GACxE,KAAK,MAAM,CAAC,WAAW,aAAa,OAAO,QAAQ,GAAG,MAAM,GAAG;EAC7D,MAAM,QAAQ;EACd,KAAK,MAAM,SAAS,MAAM,SAAS;GACjC,IAAI,MAAM,SAAS,KAAA,KAAa,MAAM,YAAY,KAAA,GAChD,MAAM,IAAI,wBACR,cAAc,YAAY,WAAW,UAAU,sBAAsB,MAAM,QAAQ,KAAK,IAAI,EAAE,+BAC9F,SACF;GAEF,IAAI,MAAM,SAAS,KAAA,GAAW;GAC9B,MAAM,QAAQ,kBAAkB,IAAI,MAAM,IAAI;GAC9C,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,wBACR,cAAc,YAAY,WAAW,UAAU,sBAAsB,MAAM,QAAQ,KAAK,IAAI,EAAE,kCAAkC,MAAM,KAAK,IAC3I,SACF;GAEF,MAAM,eAAe,MAAM,WAAW,CAAC;GACvC,MAAM,SAAS,MAAM,QAAQ,YAAY;GACzC,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,wBACR,cAAc,YAAY,WAAW,UAAU,sBAAsB,MAAM,QAAQ,KAAK,IAAI,EAAE,kCAAkC,MAAM,KAAK,KAAK,OAAO,WACvJ,SACF;EAEJ;CACF;AAEJ"}
+{"version":3,"file":"index-type-validation.mjs","names":[],"sources":["../src/index-type-validation.ts"],"sourcesContent":["import { ContractValidationError } from '@prisma-next/contract/contract-validation-error';\nimport type { Contract } from '@prisma-next/contract/types';\nimport { type } from 'arktype';\nimport type { IndexTypeRegistry } from './index-types';\nimport type { SqlStorage, StorageTable } from './types';\n\nexport function validateIndexTypes(\n  contract: Contract<SqlStorage>,\n  indexTypeRegistry: IndexTypeRegistry,\n): void {\n  for (const [namespaceId, ns] of Object.entries(contract.storage.namespaces)) {\n    for (const [tableName, rawTable] of Object.entries(ns.entries.table)) {\n      const table = rawTable as StorageTable;\n      for (const index of table.indexes) {\n        if (index.type === undefined && index.options !== undefined) {\n          throw new ContractValidationError(\n            `Namespace \"${namespaceId}\" table \"${tableName}\" index on columns [${index.columns.join(', ')}] has options without a type`,\n            'storage',\n          );\n        }\n        if (index.type === undefined) continue;\n        const entry = indexTypeRegistry.get(index.type);\n        if (entry === undefined) {\n          throw new ContractValidationError(\n            `Namespace \"${namespaceId}\" table \"${tableName}\" index on columns [${index.columns.join(', ')}] uses unregistered index type \"${index.type}\"`,\n            'storage',\n          );\n        }\n        const optionsValue = index.options ?? {};\n        const result = entry.options(optionsValue);\n        if (result instanceof type.errors) {\n          throw new ContractValidationError(\n            `Namespace \"${namespaceId}\" table \"${tableName}\" index on columns [${index.columns.join(', ')}] has invalid options for type \"${index.type}\": ${result.summary}`,\n            'storage',\n          );\n        }\n      }\n    }\n  }\n}\n"],"mappings":";;;AAMA,SAAgB,mBACd,UACA,mBACM;CACN,KAAK,MAAM,CAAC,aAAa,OAAO,OAAO,QAAQ,SAAS,QAAQ,UAAU,GACxE,KAAK,MAAM,CAAC,WAAW,aAAa,OAAO,QAAQ,GAAG,QAAQ,KAAK,GAAG;EACpE,MAAM,QAAQ;EACd,KAAK,MAAM,SAAS,MAAM,SAAS;GACjC,IAAI,MAAM,SAAS,KAAA,KAAa,MAAM,YAAY,KAAA,GAChD,MAAM,IAAI,wBACR,cAAc,YAAY,WAAW,UAAU,sBAAsB,MAAM,QAAQ,KAAK,IAAI,EAAE,+BAC9F,SACF;GAEF,IAAI,MAAM,SAAS,KAAA,GAAW;GAC9B,MAAM,QAAQ,kBAAkB,IAAI,MAAM,IAAI;GAC9C,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,wBACR,cAAc,YAAY,WAAW,UAAU,sBAAsB,MAAM,QAAQ,KAAK,IAAI,EAAE,kCAAkC,MAAM,KAAK,IAC3I,SACF;GAEF,MAAM,eAAe,MAAM,WAAW,CAAC;GACvC,MAAM,SAAS,MAAM,QAAQ,YAAY;GACzC,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,wBACR,cAAc,YAAY,WAAW,UAAU,sBAAsB,MAAM,QAAQ,KAAK,IAAI,EAAE,kCAAkC,MAAM,KAAK,KAAK,OAAO,WACvJ,SACF;EAEJ;CACF;AAEJ"}

package/dist/{index-types-B1cf5N0F.d.mts → index-types-Czsyu7Iw.d.mts}

@@ -28,4 +28,4 @@ interface IndexTypeRegistry {
 declare function createIndexTypeRegistry(): IndexTypeRegistry;
 //#endregion
 export { IndexTypeRegistry as a, IndexTypeRegistration as i, IndexTypeEntry as n, createIndexTypeRegistry as o, IndexTypeMap as r, defineIndexTypes as s, IndexTypeBuilder as t };
-//# sourceMappingURL=index-types-B1cf5N0F.d.mts.map
+//# sourceMappingURL=index-types-Czsyu7Iw.d.mts.map

package/dist/{index-types-B1cf5N0F.d.mts.map → index-types-Czsyu7Iw.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"index-types-B1cf5N0F.d.mts","names":[],"sources":["../src/index-types.ts"],"mappings":";;;UAEiB,cAAA;EAAA,SACN,IAAA;EAAA,SACA,OAAA,EAAS,IAAI,CAAC,QAAA;AAAA;AAAA,KAGb,YAAA;EAAA,SAAoD,OAAO;AAAA;AAAA,UAEtD,qBAAA,cAAmC,YAAA,GAAe,MAAA;EAAA,SACxD,UAAA,EAAY,IAAA;EAAA,SACZ,OAAA,EAAS,aAAA,CAAc,cAAA;AAAA;AAAA,UAGjB,gBAAA,cAA8B,YAAA,GAAe,MAAA,wBACpD,qBAAA,CAAsB,IAAA;EAC9B,GAAA,6BACE,WAAA,EAAa,IAAA,EACb,KAAA;IAAA,SAAkB,OAAA,EAAS,IAAA,CAAK,KAAA;EAAA,IAC/B,gBAAA,CAAiB,IAAA,GAAO,MAAA,CAAO,IAAA;IAAA,SAAiB,OAAA,EAAS,KAAA;EAAA;AAAA;AAAA,iBA0B9C,gBAAA,CAAA,GAAoB,gBAAgB,CAAC,MAAA;AAAA,UAIpC,iBAAA;EACf,QAAA,CAAS,KAAA,EAAO,cAAA;EAChB,GAAA,CAAI,WAAA,WAAsB,cAAc;EACxC,GAAA,CAAI,WAAA;AAAA;AAAA,iBAsBU,uBAAA,CAAA,GAA2B,iBAAiB"}
+{"version":3,"file":"index-types-Czsyu7Iw.d.mts","names":[],"sources":["../src/index-types.ts"],"mappings":";;;UAEiB,cAAA;EAAA,SACN,IAAA;EAAA,SACA,OAAA,EAAS,IAAI,CAAC,QAAA;AAAA;AAAA,KAGb,YAAA;EAAA,SAAoD,OAAO;AAAA;AAAA,UAEtD,qBAAA,cAAmC,YAAA,GAAe,MAAA;EAAA,SACxD,UAAA,EAAY,IAAA;EAAA,SACZ,OAAA,EAAS,aAAA,CAAc,cAAA;AAAA;AAAA,UAGjB,gBAAA,cAA8B,YAAA,GAAe,MAAA,wBACpD,qBAAA,CAAsB,IAAA;EAC9B,GAAA,6BACE,WAAA,EAAa,IAAA,EACb,KAAA;IAAA,SAAkB,OAAA,EAAS,IAAA,CAAK,KAAA;EAAA,IAC/B,gBAAA,CAAiB,IAAA,GAAO,MAAA,CAAO,IAAA;IAAA,SAAiB,OAAA,EAAS,KAAA;EAAA;AAAA;AAAA,iBA0B9C,gBAAA,IAAoB,gBAAgB,CAAC,MAAA;AAAA,UAIpC,iBAAA;EACf,QAAA,CAAS,KAAA,EAAO,cAAA;EAChB,GAAA,CAAI,WAAA,WAAsB,cAAc;EACxC,GAAA,CAAI,WAAA;AAAA;AAAA,iBAsBU,uBAAA,IAA2B,iBAAiB"}

package/dist/index-types.d.mts

@@ -1,2 +1,2 @@
-import { a as IndexTypeRegistry, i as IndexTypeRegistration, n as IndexTypeEntry, o as createIndexTypeRegistry, r as IndexTypeMap, s as defineIndexTypes, t as IndexTypeBuilder } from "./index-types-B1cf5N0F.mjs";
+import { a as IndexTypeRegistry, i as IndexTypeRegistration, n as IndexTypeEntry, o as createIndexTypeRegistry, r as IndexTypeMap, s as defineIndexTypes, t as IndexTypeBuilder } from "./index-types-Czsyu7Iw.mjs";
 export { type IndexTypeBuilder, type IndexTypeEntry, type IndexTypeMap, type IndexTypeRegistration, type IndexTypeRegistry, createIndexTypeRegistry, defineIndexTypes };

package/dist/pack-types.d.mts

@@ -9,5 +9,5 @@ interface StorageTypeMetadata {
   readonly nativeType?: string;
 }
 //#endregion
-export { type StorageTypeMetadata };
+export type { StorageTypeMetadata };
 //# sourceMappingURL=pack-types.d.mts.map

package/dist/resolve-storage-table.d.mts

@@ -0,0 +1,17 @@
+import { m as StorageTable, r as SqlStorage } from "./sql-storage-CaAh0nd3.mjs";
+
+//#region src/resolve-storage-table.d.ts
+interface ResolvedStorageTable {
+  readonly namespaceId: string;
+  readonly table: StorageTable;
+}
+/**
+ * Resolve a bare storage table name to its namespace coordinate and table IR by
+ * scanning the contract's namespaces. For the single-namespace contracts in
+ * scope the scan is exact; cross-namespace bare-name collisions are selected
+ * explicitly (TML-2550).
+ */
+declare function resolveStorageTable(storage: SqlStorage, tableName: string): ResolvedStorageTable | undefined;
+//#endregion
+export { type ResolvedStorageTable, resolveStorageTable };
+//# sourceMappingURL=resolve-storage-table.d.mts.map

package/dist/resolve-storage-table.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-storage-table.d.mts","names":[],"sources":["../src/resolve-storage-table.ts"],"mappings":";;;UAGiB,oBAAA;EAAA,SACN,WAAA;EAAA,SACA,KAAA,EAAO,YAAY;AAAA;;;;;;AAAA;iBAuBd,mBAAA,CACd,OAAA,EAAS,UAAA,EACT,SAAA,WACC,oBAAoB"}

package/dist/resolve-storage-table.mjs

@@ -0,0 +1,26 @@
+//#region src/resolve-storage-table.ts
+function tableInNamespace(namespace, tableName) {
+	if (namespace === void 0) return;
+	const tables = namespace.entries.table;
+	if (!Object.hasOwn(tables, tableName)) return;
+	return tables[tableName];
+}
+/**
+* Resolve a bare storage table name to its namespace coordinate and table IR by
+* scanning the contract's namespaces. For the single-namespace contracts in
+* scope the scan is exact; cross-namespace bare-name collisions are selected
+* explicitly (TML-2550).
+*/
+function resolveStorageTable(storage, tableName) {
+	for (const namespaceId of Object.keys(storage.namespaces)) {
+		const table = tableInNamespace(storage.namespaces[namespaceId], tableName);
+		if (table !== void 0) return {
+			namespaceId,
+			table
+		};
+	}
+}
+//#endregion
+export { resolveStorageTable };
+
+//# sourceMappingURL=resolve-storage-table.mjs.map

package/dist/resolve-storage-table.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-storage-table.mjs","names":[],"sources":["../src/resolve-storage-table.ts"],"sourcesContent":["import type { SqlNamespace, SqlStorage } from './ir/sql-storage';\nimport type { StorageTable } from './ir/storage-table';\n\nexport interface ResolvedStorageTable {\n  readonly namespaceId: string;\n  readonly table: StorageTable;\n}\n\nfunction tableInNamespace(\n  namespace: SqlNamespace | undefined,\n  tableName: string,\n): StorageTable | undefined {\n  if (namespace === undefined) {\n    return undefined;\n  }\n  const tables = namespace.entries.table;\n  if (!Object.hasOwn(tables, tableName)) {\n    return undefined;\n  }\n  return tables[tableName];\n}\n\n/**\n * Resolve a bare storage table name to its namespace coordinate and table IR by\n * scanning the contract's namespaces. For the single-namespace contracts in\n * scope the scan is exact; cross-namespace bare-name collisions are selected\n * explicitly (TML-2550).\n */\nexport function resolveStorageTable(\n  storage: SqlStorage,\n  tableName: string,\n): ResolvedStorageTable | undefined {\n  for (const namespaceId of Object.keys(storage.namespaces)) {\n    const table = tableInNamespace(storage.namespaces[namespaceId], tableName);\n    if (table !== undefined) {\n      return { namespaceId, table };\n    }\n  }\n\n  return undefined;\n}\n"],"mappings":";AAQA,SAAS,iBACP,WACA,WAC0B;CAC1B,IAAI,cAAc,KAAA,GAChB;CAEF,MAAM,SAAS,UAAU,QAAQ;CACjC,IAAI,CAAC,OAAO,OAAO,QAAQ,SAAS,GAClC;CAEF,OAAO,OAAO;AAChB;;;;;;;AAQA,SAAgB,oBACd,SACA,WACkC;CAClC,KAAK,MAAM,eAAe,OAAO,KAAK,QAAQ,UAAU,GAAG;EACzD,MAAM,QAAQ,iBAAiB,QAAQ,WAAW,cAAc,SAAS;EACzE,IAAI,UAAU,KAAA,GACZ,OAAO;GAAE;GAAa;EAAM;CAEhC;AAGF"}

package/dist/{types-Cx_5A_L0.d.mts → sql-storage-CaAh0nd3.d.mts}

@@ -1,6 +1,5 @@
-import { IRNodeBase, Namespace, NamespaceBase, Storage, StorageType } from "@prisma-next/framework-components/ir";
-import { ColumnDefault, ControlPolicy, NamespaceId, StorageHashBase } from "@prisma-next/contract/types";
-import { CodecTrait } from "@prisma-next/framework-components/codec";
+import { IRNodeBase, Namespace, Storage, StorageType } from "@prisma-next/framework-components/ir";
+import { ColumnDefault, ControlPolicy, NamespaceId, StorageHashBase, ValueSetRef } from "@prisma-next/contract/types";
 
 //#region src/ir/sql-node.d.ts
 /**
@@ -41,15 +40,36 @@ declare abstract class SqlNode extends IRNodeBase {
 }
 //#endregion
 //#region src/ir/foreign-key-reference.d.ts
+/**
+ * Input for a foreign-key reference (one side of a foreign-key declaration).
+ *
+ * When `spaceId` is absent the reference is local — the referenced table lives
+ * in the same contract-space. When `spaceId` is present the reference is
+ * cross-space — the referenced table lives in a different contract-space
+ * identified by `spaceId`.
+ *
+ * Presence-based discrimination keeps local FK JSON byte-identical to
+ * contracts authored before cross-space support was added.
+ */
 interface ForeignKeyReferenceInput {
   readonly namespaceId: string;
   readonly tableName: string;
   readonly columns: readonly string[];
+  readonly spaceId?: string;
 }
 /**
  * SQL Contract IR node for one side (source or target) of a foreign-key
  * declaration. Carries the full coordinate: namespace, table, and columns.
  *
+ * Cross-space discrimination is based on `spaceId` presence: absent means
+ * local (same contract-space); present means cross-space (the referenced
+ * table lives in the contract-space identified by `spaceId`).
+ *
+ * For local references `spaceId` is absent from JSON, keeping the serialized
+ * shape byte-identical to contracts authored before cross-space support was
+ * added. For cross-space references `spaceId` appears in JSON so round-trips
+ * are lossless.
+ *
  * Use `UNBOUND_NAMESPACE_ID` from `@prisma-next/framework-components/ir`
  * as the sentinel `namespaceId` for single-namespace (unbound) references.
  */
@@ -57,6 +77,7 @@ declare class ForeignKeyReference extends SqlNode {
   readonly namespaceId: NamespaceId;
   readonly tableName: string;
   readonly columns: readonly string[];
+  readonly spaceId?: string;
   constructor(input: ForeignKeyReferenceInput);
 }
 //#endregion
@@ -96,57 +117,6 @@ declare class ForeignKey extends SqlNode {
   constructor(input: ForeignKeyInput);
 }
 //#endregion
-//#region src/ir/postgres-enum-storage-entry.d.ts
-/**
- * Discriminator literal for the Postgres-enum variant on the polymorphic
- * `SqlStorage.types` slot.
- *
- * Enums are a target-level concept: Postgres ships native
- * `CREATE TYPE … AS ENUM` while other SQL targets approximate enums via
- * constraints. The literal lives at the SQL family layer because every
- * SQL-family consumer (verifier, planner, lowering, …) needs to
- * discriminate enum-typed slot entries from codec-typed ones. The
- * concrete IR class (`PostgresEnumType`) lives in the target-postgres
- * package and implements this structural contract; cross-domain
- * layering rules forbid the SQL family from importing the concrete
- * target class directly, so the discriminator and structural interface
- * carry the dispatch.
- */
-declare const POSTGRES_ENUM_KIND: "postgres-enum";
-/**
- * Structural contract every Postgres-enum slot entry honours — both
- * the live `PostgresEnumType` IR-class instance and the raw JSON
- * envelope shape that survives `JSON.stringify` round-trips. SQL
- * family-layer dispatch narrows polymorphic `StorageType` slot
- * entries to this shape via `isPostgresEnumStorageEntry`.
- *
- * The `codecBinding` field is accessor-shaped (live class instance) on
- * the IR class and undefined on the raw JSON envelope; consumers that
- * need it must guard for its presence (the JSON path synthesises an
- * equivalent shape from `codecId` + `values`).
- */
-interface PostgresEnumStorageEntry extends StorageType {
-  readonly kind: typeof POSTGRES_ENUM_KIND;
-  readonly name: string;
-  readonly nativeType: string;
-  readonly values: readonly string[];
-  /**
-   * Enumerable own property on the persisted JSON envelope; the live
-   * IR-class instance carries it too. Family-shared dispatch sites
-   * read `codecId` directly rather than going through the IR-class
-   * `codecBinding` accessor (which lives on the prototype and isn't
-   * present on raw JSON envelopes).
-   */
-  readonly codecId: string;
-  readonly control?: ControlPolicy;
-}
-/**
- * Narrow a polymorphic `StorageType` entry to the Postgres-enum shape
- * via its enumerable `kind` discriminator. Type guard returns true for
- * both live `PostgresEnumType` instances and raw JSON envelopes.
- */
-declare function isPostgresEnumStorageEntry(value: unknown): value is PostgresEnumStorageEntry;
-//#endregion
 //#region src/ir/primary-key.d.ts
 interface PrimaryKeyInput {
   readonly columns: readonly string[];
@@ -203,6 +173,7 @@ interface StorageColumnInput {
   readonly typeRef?: string;
   readonly default?: ColumnDefault;
   readonly control?: ControlPolicy;
+  readonly valueSet?: ValueSetRef;
 }
 /**
  * SQL Contract IR node for a single column entry in `StorageTable.columns`.
@@ -225,6 +196,7 @@ declare class StorageColumn extends SqlNode {
   readonly typeRef?: string;
   readonly default?: ColumnDefault;
   readonly control?: ControlPolicy;
+  readonly valueSet?: ValueSetRef;
   constructor(input: StorageColumnInput);
 }
 //#endregion
@@ -319,18 +291,56 @@ declare function toStorageTypeInstance(input: StorageTypeInstanceInput): Storage
  */
 declare function isStorageTypeInstance(value: unknown): value is StorageTypeInstance;
 //#endregion
+//#region src/ir/storage-value-set.d.ts
+/**
+ * Hydration / construction input shape for {@link StorageValueSet}.
+ * Mirrors the on-disk storage JSON envelope so the serializer hydration
+ * walker can hand a validated literal straight to `new`.
+ */
+interface StorageValueSetInput {
+  readonly kind: 'value-set';
+  /** Ordered permitted values, codec-encoded. Declaration order is preserved. */
+  readonly values: readonly string[];
+}
+/**
+ * SQL Contract IR node for a value-set entry in a namespace's `valueSet`
+ * map (`SqlNamespace.entries.valueSet`).
+ *
+ * A value-set records the ordered set of permitted codec-encoded values for
+ * an enum-like column restriction. It does not carry a `codecId` — the
+ * column that references it already holds the codec; the value-set holds
+ * only the permitted values.
+ *
+ * The node's `kind` is enumerable (`'value-set'`) so the JSON envelope
+ * carries the discriminator and the serializer hydration walker can
+ * dispatch on it. This follows the per-leaf enumerable-kind convention
+ * established in the SQL-node comment (future polymorphic dispatch on
+ * namespace entries needs the discriminator in JSON).
+ *
+ * The entry's name is not on the class — value-sets are keyed by name in
+ * the parent namespace's `valueSet: Record<string, StorageValueSet>` map.
+ */
+declare class StorageValueSet extends SqlNode {
+  readonly kind: "value-set";
+  readonly values: readonly string[];
+  constructor(input: StorageValueSetInput);
+}
+//#endregion
 //#region src/ir/sql-storage.d.ts
 /**
  * Polymorphic value type for document-scoped `SqlStorage.types` entries
- * (codec aliases / parameterised native type registrations). Postgres
- * native enum registrations live under
- * `storage.namespaces[namespaceId].enum` instead.
+ * (codec aliases / parameterised native type registrations).
+ *
+ * Postgres native enum registrations live under the postgres-specific
+ * `entries.type` slot on `PostgresSchema` (target layer), not here.
  */
-type SqlStorageTypeEntry = StorageTypeInstance | StorageTypeInstanceInput | PostgresEnumStorageEntry;
+type SqlStorageTypeEntry = StorageTypeInstance | StorageTypeInstanceInput;
 interface SqlNamespaceTablesInput {
   readonly id: string;
-  readonly tables?: Record<string, StorageTable | StorageTableInput>;
-  readonly enum?: Record<string, PostgresEnumStorageEntry>;
+  readonly entries: {
+    readonly table: Record<string, StorageTable | StorageTableInput>;
+    readonly valueSet?: Record<string, StorageValueSet | StorageValueSetInput>;
+  };
 }
 interface SqlStorageInput<THash extends string = string> {
   readonly storageHash: StorageHashBase<THash>;
@@ -353,161 +363,31 @@ interface SqlStorageInput<THash extends string = string> {
  *
  * The constructor normalises optional `types` into class instances.
  * `types` is polymorphic per Decision 18 Option B: codec-triple inputs
- * are stamped with `kind: 'codec-instance'`; class-instance kinds
- * (e.g. Postgres-enum entries satisfying `PostgresEnumStorageEntry`)
- * pass through; hydration of raw JSON class-instance entries (carrying
- * their narrower `kind` literal) is the per-target serializer's
- * responsibility (so the family base does not import target-specific
- * subclasses).
+ * are stamped with `kind: 'codec-instance'`; hydration of raw JSON
+ * class-instance entries (carrying their narrower `kind` literal) is
+ * the per-target serializer's responsibility (so the family base does
+ * not import target-specific subclasses).
  */
 type SqlNamespace = Namespace & {
-  readonly tables: Readonly<Record<string, StorageTable>>;
-  readonly enum?: Readonly<Record<string, PostgresEnumStorageEntry>>;
+  readonly entries: Readonly<{
+    readonly table: Readonly<Record<string, StorageTable>>;
+    readonly valueSet?: Readonly<Record<string, StorageValueSet>>;
+  }>;
+  /**
+   * Render a dialect-qualified table reference for runtime SQL emission.
+   * Present on materialised target concretions (`PostgresSchema`,
+   * `SqliteDatabase`, …) and family placeholders; omitted on emitted
+   * contract structural namespace literals (methods are not serialised).
+   */
+  qualifyTable?(tableName: string): string;
 };
 declare class SqlStorage<THash extends string = string> extends SqlNode implements Storage {
   readonly storageHash: StorageHashBase<THash>;
   readonly namespaces: Readonly<Record<string, SqlNamespace>>;
-  readonly types?: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;
+  readonly types?: Readonly<Record<string, StorageTypeInstance>>;
   constructor(input: SqlStorageInput<THash>);
 }
+declare function storageTableAt(storage: SqlStorage, namespaceId: string, tableName: string): StorageTable | undefined;
 //#endregion
-//#region src/ir/build-sql-namespace.d.ts
-declare function buildSqlNamespace(input: SqlNamespaceTablesInput): SqlNamespace;
-declare function buildSqlNamespaceMap(namespaces: Readonly<Record<string, Namespace | SqlNamespaceTablesInput>>): Readonly<Record<string, SqlNamespace>>;
-//#endregion
-//#region src/ir/sql-unbound-namespace.d.ts
-/**
- * Family-layer placeholder for the SQL unbound-namespace singleton —
- * the late-bound slot whose binding the target resolves at connection
- * time rather than at authoring time.
- *
- * SQL contracts honour the framework `Storage.namespaces` invariant from
- * the moment they appear in the IR. Today `SqlStorage` is family-shared
- * (Postgres + SQLite consume the same class); a per-target namespace
- * concretion (`PostgresSchema.unbound`, `SqliteUnboundDatabase.instance`)
- * earns its existence when each target's namespace shape lands. Until
- * then the family ships a single placeholder singleton so the JSON
- * envelope and runtime walk are honest at every layer.
- *
- * The `kind` discriminator is installed as a non-enumerable own property
- * so the JSON envelope reads `{ "id": "__unbound__" }` — symmetric
- * with the family-level non-enumerable `kind` on `SqlNode` and bounded
- * to the minimum data the framework `Namespace` interface promises.
- *
- * **Freeze-trap warning.** The leaf constructor calls
- * `freezeNode(this)` after installing `kind`. The leaf-class shape
- * works today only because `NamespaceBase` does NOT freeze in its
- * constructor — the `Object.defineProperty(this, 'kind', …)` call after
- * `super()` succeeds because the instance is still mutable at that
- * point. Subclasses that add instance fields will still hit the freeze
- * trap once leaf-class `freezeNode(this)` runs; and if a future
- * framework change lifts the freeze to `NamespaceBase`, even the
- * `defineProperty` here would silently fail. To add subclass instance
- * fields safely, lift `freezeNode` to a leaf-class `seal()` hook each
- * leaf calls explicitly at the end of its own constructor.
- */
-declare class SqlUnboundNamespace extends NamespaceBase {
-  static readonly instance: SqlUnboundNamespace;
-  readonly id: "__unbound__";
-  readonly tables: Readonly<Record<string, StorageTable>>;
-  readonly kind: string;
-  private constructor();
-}
-//#endregion
-//#region src/types.d.ts
-type ForeignKeyOptions = {
-  readonly name?: string;
-  readonly onDelete?: ReferentialAction;
-  readonly onUpdate?: ReferentialAction;
-};
-type SqlModelFieldStorage = {
-  readonly column: string;
-  readonly codecId?: string;
-  readonly nullable?: boolean;
-};
-type SqlModelStorage = {
-  readonly table: string;
-  readonly fields: Record<string, SqlModelFieldStorage>;
-};
-declare const DEFAULT_FK_CONSTRAINT = true;
-declare const DEFAULT_FK_INDEX = true;
-declare function applyFkDefaults(fk: {
-  constraint?: boolean | undefined;
-  index?: boolean | undefined;
-}, overrideDefaults?: {
-  constraint?: boolean | undefined;
-  index?: boolean | undefined;
-}): {
-  constraint: boolean;
-  index: boolean;
-};
-type TypeMaps<TCodecTypes extends Record<string, {
-  output: unknown;
-}> = Record<string, never>, TQueryOperationTypes extends Record<string, unknown> = Record<string, never>, TFieldOutputTypes extends Record<string, Record<string, unknown>> = Record<string, never>, TFieldInputTypes extends Record<string, Record<string, unknown>> = Record<string, never>> = {
-  readonly codecTypes: TCodecTypes;
-  readonly queryOperationTypes: TQueryOperationTypes;
-  readonly fieldOutputTypes: TFieldOutputTypes;
-  readonly fieldInputTypes: TFieldInputTypes;
-};
-type CodecTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
-  readonly codecTypes: infer C;
-} ? C extends Record<string, {
-  output: unknown;
-}> ? C : Record<string, never> : Record<string, never>;
-/**
- * Dispatch hint identifying the first-argument target of an operation.
- *
- * Used by ORM column helpers to decide whether an operation is reachable on a
- * field. Either names a concrete codec identity or a set of capability traits
- * that the field's codec must carry.
- */
-type QueryOperationSelfSpec = {
-  readonly codecId: string;
-  readonly traits?: never;
-} | {
-  readonly traits: readonly CodecTrait[];
-  readonly codecId?: never;
-};
-/**
- * Structural shape an operation's impl must return: any value carrying a
- * codec-exact `returnType` descriptor. `Expression<T>` (from
- * `@prisma-next/sql-relational-core/expression`, with `T extends ScopeField`)
- * extends this. Trait-targeted returns are deliberately excluded — predicate
- * detection and result decoding both depend on knowing the concrete return
- * codec.
- */
-type QueryOperationReturn = {
-  readonly returnType: {
-    readonly codecId: string;
-    readonly nullable: boolean;
-  };
-};
-type QueryOperationTypeEntry = {
-  readonly self?: QueryOperationSelfSpec;
-  readonly impl: (...args: never[]) => QueryOperationReturn;
-};
-type SqlQueryOperationTypes<_CT extends Record<string, {
-  readonly input: unknown;
-  readonly output: unknown;
-}>, T extends Record<string, QueryOperationTypeEntry>> = T;
-type QueryOperationTypesBase = Record<string, QueryOperationTypeEntry>;
-type QueryOperationTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
-  readonly queryOperationTypes: infer Q;
-} ? Q extends Record<string, unknown> ? Q : Record<string, never> : Record<string, never>;
-type TypeMapsPhantomKey = '__@prisma-next/sql-contract/typeMaps@__';
-type ContractWithTypeMaps<TContract, TTypeMaps> = TContract & { readonly [K in TypeMapsPhantomKey]?: TTypeMaps };
-type ExtractTypeMapsFromContract<T> = TypeMapsPhantomKey extends keyof T ? NonNullable<T[TypeMapsPhantomKey & keyof T]> : never;
-type FieldOutputTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
-  readonly fieldOutputTypes: infer F;
-} ? F extends Record<string, Record<string, unknown>> ? F : Record<string, never> : Record<string, never>;
-type FieldInputTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
-  readonly fieldInputTypes: infer F;
-} ? F extends Record<string, Record<string, unknown>> ? F : Record<string, never> : Record<string, never>;
-type ExtractCodecTypes<T> = CodecTypesOf<ExtractTypeMapsFromContract<T>>;
-type ExtractQueryOperationTypes<T> = QueryOperationTypesOf<ExtractTypeMapsFromContract<T>>;
-type ExtractFieldOutputTypes<T> = FieldOutputTypesOf<ExtractTypeMapsFromContract<T>>;
-type ExtractFieldInputTypes<T> = FieldInputTypesOf<ExtractTypeMapsFromContract<T>>;
-type ResolveCodecTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never] ? ExtractCodecTypes<TContract> : CodecTypesOf<TTypeMaps>;
-//#endregion
-export { ForeignKeyReference as $, SqlStorageInput as A, UniqueConstraintInput as B, TypeMapsPhantomKey as C, buildSqlNamespaceMap as D, buildSqlNamespace as E, isStorageTypeInstance as F, PrimaryKey as G, StorageColumnInput as H, toStorageTypeInstance as I, PostgresEnumStorageEntry as J, PrimaryKeyInput as K, StorageTable as L, CODEC_INSTANCE_KIND as M, StorageTypeInstance as N, SqlNamespaceTablesInput as O, StorageTypeInstanceInput as P, ReferentialAction as Q, StorageTableInput as R, TypeMaps as S, SqlUnboundNamespace as T, Index as U, StorageColumn as V, IndexInput as W, ForeignKey as X, isPostgresEnumStorageEntry as Y, ForeignKeyInput as Z, QueryOperationTypesOf as _, ExtractCodecTypes as a, SqlModelStorage as b, ExtractQueryOperationTypes as c, FieldOutputTypesOf as d, ForeignKeyReferenceInput as et, ForeignKeyOptions as f, QueryOperationTypesBase as g, QueryOperationTypeEntry as h, DEFAULT_FK_INDEX as i, SqlStorageTypeEntry as j, SqlStorage as k, ExtractTypeMapsFromContract as l, QueryOperationSelfSpec as m, ContractWithTypeMaps as n, ExtractFieldInputTypes as o, QueryOperationReturn as p, POSTGRES_ENUM_KIND as q, DEFAULT_FK_CONSTRAINT as r, ExtractFieldOutputTypes as s, CodecTypesOf as t, SqlNode as tt, FieldInputTypesOf as u, ResolveCodecTypes as v, applyFkDefaults as w, SqlQueryOperationTypes as x, SqlModelFieldStorage as y, UniqueConstraint as z };
-//# sourceMappingURL=types-Cx_5A_L0.d.mts.map
+export { PrimaryKeyInput as C, ForeignKeyReference as D, ReferentialAction as E, ForeignKeyReferenceInput as O, PrimaryKey as S, ForeignKeyInput as T, UniqueConstraintInput as _, SqlStorageTypeEntry as a, Index as b, StorageValueSetInput as c, StorageTypeInstanceInput as d, isStorageTypeInstance as f, UniqueConstraint as g, StorageTableInput as h, SqlStorageInput as i, SqlNode as k, CODEC_INSTANCE_KIND as l, StorageTable as m, SqlNamespaceTablesInput as n, storageTableAt as o, toStorageTypeInstance as p, SqlStorage as r, StorageValueSet as s, SqlNamespace as t, StorageTypeInstance as u, StorageColumn as v, ForeignKey as w, IndexInput as x, StorageColumnInput as y };
+//# sourceMappingURL=sql-storage-CaAh0nd3.d.mts.map

package/dist/sql-storage-CaAh0nd3.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql-storage-CaAh0nd3.d.mts","names":[],"sources":["../src/ir/sql-node.ts","../src/ir/foreign-key-reference.ts","../src/ir/foreign-key.ts","../src/ir/primary-key.ts","../src/ir/sql-index.ts","../src/ir/storage-column.ts","../src/ir/unique-constraint.ts","../src/ir/storage-table.ts","../src/ir/storage-type-instance.ts","../src/ir/storage-value-set.ts","../src/ir/sql-storage.ts"],"mappings":";;;;;;;AAkCA;;;;;;;;;;;;ACnBA;;;;;;;;;AAIkB;AAmBlB;;;;;;;uBDJsB,OAAA,SAAgB,UAAU;EAAA,SACrC,IAAA;;;;;;;AADX;;;;;;;;;UCnBiB,wBAAA;EAAA,SACN,WAAA;EAAA,SACA,SAAA;EAAA,SACA,OAAA;EAAA,SACA,OAAA;AAAA;;;;;;;AAAO;AAmBlB;;;;;;;;;cAAa,mBAAA,SAA4B,OAAA;EAAA,SAC9B,WAAA,EAAa,WAAA;EAAA,SACb,SAAA;EAAA,SACA,OAAA;EAAA,SACQ,OAAA;cAEL,KAAA,EAAO,wBAAA;AAAA;;;KCxCT,iBAAA;AAAA,UAEK,eAAA;EAAA,SACN,MAAA,EAAQ,mBAAA,GAAsB,wBAAA;EAAA,SAC9B,MAAA,EAAQ,mBAAA,GAAsB,wBAAA;EAAA,SAC9B,IAAA;EAAA,SACA,QAAA,GAAW,iBAAA;EAAA,SACX,QAAA,GAAW,iBAAA;EFwBX;EAAA,SEtBA,UAAA;;WAEA,KAAA;AAAA;;;ADAX;;;;;;;;;AAIkB;cCWL,UAAA,SAAmB,OAAA;EAAA,SACrB,MAAA,EAAQ,mBAAA;EAAA,SACR,MAAA,EAAQ,mBAAA;EAAA,SACR,UAAA;EAAA,SACA,KAAA;EAAA,SACQ,IAAA;EAAA,SACA,QAAA,GAAW,iBAAA;EAAA,SACX,QAAA,GAAW,iBAAA;cAEhB,KAAA,EAAO,eAAA;AAAA;;;UCpCJ,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;;;;cAMF,UAAA,SAAmB,OAAO;EAAA,SAC5B,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;UCZJ,UAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAM;AAAA;;;;;;;;;cAWd,KAAA,SAAc,OAAA;EAAA,SAChB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;cAEf,KAAA,EAAO,UAAA;AAAA;;;;;AJUrB;;;;;;;;UKpBiB,kBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA,GAAa,MAAA;EAAA,SACb,OAAA;EAAA,SACA,OAAA,GAAU,aAAA;EAAA,SACV,OAAA,GAAU,aAAA;EAAA,SACV,QAAA,GAAW,WAAA;AAAA;;;;AJHJ;AAmBlB;;;;;;;;;cIAa,aAAA,SAAsB,OAAA;EAAA,SACxB,UAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACQ,UAAA,GAAa,MAAA;EAAA,SACb,OAAA;EAAA,SACA,OAAA,GAAU,aAAA;EAAA,SACV,OAAA,GAAU,aAAA;EAAA,SACV,QAAA,GAAW,WAAA;cAEhB,KAAA,EAAO,kBAAA;AAAA;;;UC7CJ,qBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;;;;cAMF,gBAAA,SAAyB,OAAO;EAAA,SAClC,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,qBAAA;AAAA;;;UCNJ,iBAAA;EAAA,SACN,OAAA,EAAS,MAAA,SAAe,aAAA,GAAgB,kBAAA;EAAA,SACxC,UAAA,GAAa,UAAA,GAAa,eAAA;EAAA,SAC1B,OAAA,EAAS,aAAA,CAAc,gBAAA,GAAmB,qBAAA;EAAA,SAC1C,OAAA,EAAS,aAAA,CAAc,KAAA,GAAQ,UAAA;EAAA,SAC/B,WAAA,EAAa,aAAA,CAAc,UAAA,GAAa,eAAA;EAAA,SACxC,OAAA,GAAU,aAAA;AAAA;;ANArB;;;;;;;;;AAIkB;AAmBlB;cMRa,YAAA,SAAqB,OAAA;EAAA,SACvB,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,aAAA;EAAA,SACjC,OAAA,EAAS,aAAA,CAAc,gBAAA;EAAA,SACvB,OAAA,EAAS,aAAA,CAAc,KAAA;EAAA,SACvB,WAAA,EAAa,aAAA,CAAc,UAAA;EAAA,SACnB,UAAA,GAAa,UAAA;EAAA,SACb,OAAA,GAAU,aAAA;cAEf,KAAA,EAAO,iBAAA;AAAA;;;;;;APJrB;;;;cQzBa,mBAAA;;;;;;;;APMb;UOIiB,mBAAA,SAA4B,WAAA;EAAA,SAClC,IAAA,SAAa,mBAAA;EAAA,SACb,OAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,EAAY,MAAA;AAAA;;;APJL;AAmBlB;;UOPiB,wBAAA;EAAA,SACN,OAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,EAAY,MAAM;AAAA;;;;;;iBAQb,qBAAA,CAAsB,KAAA,EAAO,wBAAA,GAA2B,mBAAmB;;;;;;iBAc3E,qBAAA,CAAsB,KAAA,YAAiB,KAAA,IAAS,mBAAmB;;;;;;ARtBnF;;US1BiB,oBAAA;EAAA,SACN,IAAA;ETyB2B;EAAA,SSvB3B,MAAM;AAAA;;;;;;ARIjB;;;;;;;;;AAIkB;AAmBlB;;;cQNa,eAAA,SAAwB,OAAO;EAAA,SACxB,IAAA;EAAA,SACT,MAAA;cAEG,KAAA,EAAO,oBAAA;AAAA;;;;;;;;;;KClBT,mBAAA,GAAsB,mBAAA,GAAsB,wBAAwB;AAAA,UAE/D,uBAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA;IAAA,SACE,KAAA,EAAO,MAAA,SAAe,YAAA,GAAe,iBAAA;IAAA,SACrC,QAAA,GAAW,MAAA,SAAe,eAAA,GAAkB,oBAAA;EAAA;AAAA;AAAA,UAIxC,eAAA;EAAA,SACN,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,KAAA,GAAQ,MAAA,SAAe,mBAAA;EAAA,SACvB,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;AAAA;ATO/C;;;;;;;;;;;;;;;;;;AAM6C;;;AAN7C,KSuBY,YAAA,GAAe,SAAA;EAAA,SAChB,OAAA,EAAS,QAAA;IAAA,SACP,KAAA,EAAO,QAAA,CAAS,MAAA,SAAe,YAAA;IAAA,SAC/B,QAAA,GAAW,QAAA,CAAS,MAAA,SAAe,eAAA;EAAA;ER5DnB;AAE7B;;;;;EQkEE,YAAA,EAAc,SAAA;AAAA;AAAA,cAGH,UAAA,wCAAkD,OAAA,YAAmB,OAAA;EAAA,SACvE,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SAC5B,KAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,mBAAA;cAErC,KAAA,EAAO,eAAA,CAAgB,KAAA;AAAA;AAAA,iBAerB,cAAA,CACd,OAAA,EAAS,UAAA,EACT,WAAA,UACA,SAAA,WACC,YAAY"}