@prisma-next/sql-contract 0.9.0 → 0.10.0

package/dist/factories.d.mts

@@ -1,4 +1,4 @@
-import { B as Index, H as PrimaryKey, I as UniqueConstraint, P as StorageTable, R as StorageColumn, b as SqlModelStorage, f as ForeignKeyOptions, q as ForeignKey, y as SqlModelFieldStorage, z as StorageColumnInput } from "./types-B0lbr9cb.mjs";
+import { B as StorageColumnInput, F as StorageTable, J as ForeignKey, L as UniqueConstraint, U as PrimaryKey, V as Index, b as SqlModelStorage, f as ForeignKeyOptions, y as SqlModelFieldStorage, z as StorageColumn } from "./types-FVBrwvCz.mjs";
 import { ScalarFieldType } from "@prisma-next/contract/types";
 
 //#region src/factories.d.ts
@@ -6,9 +6,10 @@ 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?: ForeignKeyOptions & {
+declare function fk(srcTableName: string, srcColumns: readonly string[], targetTableName: string, targetColumns: readonly string[], opts?: ForeignKeyOptions & {
   constraint?: boolean;
   index?: boolean;
+  namespaceId?: string;
 }): ForeignKey;
 declare function table(columns: Record<string, StorageColumn | StorageColumnInput>, opts?: {
   pk?: PrimaryKey;

package/dist/factories.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"factories.d.mts","names":[],"sources":["../src/factories.ts"],"mappings":";;;;iBAegB,GAAA,CAAI,UAAA,UAAoB,OAAA,UAAiB,QAAA,aAAmB,aAAA;AAAA,iBAI5D,EAAA,CAAA,GAAM,OAAA,sBAA6B,UAAA;AAAA,iBAInC,MAAA,CAAA,GAAU,OAAA,sBAA6B,gBAAA;AAAA,iBAIvC,KAAA,CAAA,GAAS,OAAA,sBAA6B,KAAA;AAAA,iBAItC,EAAA,CACd,OAAA,qBACA,QAAA,UACA,UAAA,qBACA,IAAA,GAAO,iBAAA;EAAsB,UAAA;EAAsB,KAAA;AAAA,IAClD,UAAA;AAAA,iBAaa,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,iBAI5D,EAAA,CAAA,GAAM,OAAA,sBAA6B,UAAA;AAAA,iBAInC,MAAA,CAAA,GAAU,OAAA,sBAA6B,gBAAA;AAAA,iBAIvC,KAAA,CAAA,GAAS,OAAA,sBAA6B,KAAA;AAAA,iBAItC,EAAA,CACd,YAAA,UACA,UAAA,qBACA,eAAA,UACA,aAAA,qBACA,IAAA,GAAO,iBAAA;EAAsB,UAAA;EAAsB,KAAA;EAAiB,WAAA;AAAA,IACnE,UAAA;AAAA,iBAca,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"}

package/dist/factories.mjs

@@ -1,4 +1,5 @@
-import { c as StorageTable, f as Index, g as ForeignKey, l as UniqueConstraint, p as PrimaryKey, r as applyFkDefaults, u as StorageColumn } from "./types-iqFGDcJp.mjs";
+import { c as StorageTable, f as Index, g as ForeignKey, l as UniqueConstraint, p as PrimaryKey, r as applyFkDefaults, u as StorageColumn } from "./types-L8p7B1dP.mjs";
+import { UNBOUND_NAMESPACE_ID } from "@prisma-next/framework-components/ir";
 //#region src/factories.ts
 function col(nativeType, codecId, nullable = false) {
 	return new StorageColumn({
@@ -16,16 +17,22 @@ function unique(...columns) {
 function index(...columns) {
 	return new Index({ columns });
 }
-function fk(columns, refTable, refColumns, opts) {
+function fk(srcTableName, srcColumns, targetTableName, targetColumns, opts) {
 	const defaults = applyFkDefaults({
 		constraint: opts?.constraint,
 		index: opts?.index
 	});
+	const namespaceId = opts?.namespaceId ?? UNBOUND_NAMESPACE_ID;
 	return new ForeignKey({
-		columns,
-		references: {
-			table: refTable,
-			columns: refColumns
+		source: {
+			namespaceId,
+			tableName: srcTableName,
+			columns: srcColumns
+		},
+		target: {
+			namespaceId,
+			tableName: targetTableName,
+			columns: targetColumns
 		},
 		...opts?.name !== void 0 && { name: opts.name },
 		...opts?.onDelete !== void 0 && { onDelete: opts.onDelete },

package/dist/factories.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"factories.mjs","names":[],"sources":["../src/factories.ts"],"sourcesContent":["import type { ScalarFieldType } from '@prisma-next/contract/types';\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  columns: readonly string[],\n  refTable: string,\n  refColumns: readonly string[],\n  opts?: ForeignKeyOptions & { constraint?: boolean; index?: boolean },\n): ForeignKey {\n  const defaults = applyFkDefaults({ constraint: opts?.constraint, index: opts?.index });\n  return new ForeignKey({\n    columns,\n    references: { table: refTable, columns: refColumns },\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":";;AAeA,SAAgB,IAAI,YAAoB,SAAiB,WAAW,OAAsB;CACxF,OAAO,IAAI,cAAc;EAAE;EAAY;EAAS;EAAU,CAAC;;AAG7D,SAAgB,GAAG,GAAG,SAAwC;CAC5D,OAAO,IAAI,WAAW,EAAE,SAAS,CAAC;;AAGpC,SAAgB,OAAO,GAAG,SAA8C;CACtE,OAAO,IAAI,iBAAiB,EAAE,SAAS,CAAC;;AAG1C,SAAgB,MAAM,GAAG,SAAmC;CAC1D,OAAO,IAAI,MAAM,EAAE,SAAS,CAAC;;AAG/B,SAAgB,GACd,SACA,UACA,YACA,MACY;CACZ,MAAM,WAAW,gBAAgB;EAAE,YAAY,MAAM;EAAY,OAAO,MAAM;EAAO,CAAC;CACtF,OAAO,IAAI,WAAW;EACpB;EACA,YAAY;GAAE,OAAO;GAAU,SAAS;GAAY;EACpD,GAAI,MAAM,SAAS,KAAA,KAAa,EAAE,MAAM,KAAK,MAAM;EACnD,GAAI,MAAM,aAAa,KAAA,KAAa,EAAE,UAAU,KAAK,UAAU;EAC/D,GAAI,MAAM,aAAa,KAAA,KAAa,EAAE,UAAU,KAAK,UAAU;EAC/D,YAAY,SAAS;EACrB,OAAO,SAAS;EACjB,CAAC;;AAGJ,SAAgB,MACd,SACA,MAMc;CACd,OAAO,IAAI,aAAa;EACtB;EACA,GAAI,MAAM,OAAO,KAAA,KAAa,EAAE,YAAY,KAAK,IAAI;EACrD,SAAS,MAAM,WAAW,EAAE;EAC5B,SAAS,MAAM,WAAW,EAAE;EAC5B,aAAa,MAAM,OAAO,EAAE;EAC7B,CAAC;;AAGJ,SAAgB,MACd,WACA,QACA,YAAqC,EAAE,EAKvC;CAWA,OAAO;EACL,SAAA;GAXiC,OAAO;GAAW;GAW5C;EACP,QAXmB,OAAO,YAC1B,OAAO,QAAQ,OAAO,CAAC,KAAK,CAAC,MAAM,WAAW,CAC5C,MACA;GACE,UAAU,MAAM,YAAY;GAC5B,MAAM;IAAE,MAAM;IAAmB,SAAS,MAAM,WAAW;IAAkB;GAC9E,CACF,CAAC,CAIkB;EACpB;EACD"}
+{"version":3,"file":"factories.mjs","names":[],"sources":["../src/factories.ts"],"sourcesContent":["import 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 = 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;EAAU,CAAC;;AAG7D,SAAgB,GAAG,GAAG,SAAwC;CAC5D,OAAO,IAAI,WAAW,EAAE,SAAS,CAAC;;AAGpC,SAAgB,OAAO,GAAG,SAA8C;CACtE,OAAO,IAAI,iBAAiB,EAAE,SAAS,CAAC;;AAG1C,SAAgB,MAAM,GAAG,SAAmC;CAC1D,OAAO,IAAI,MAAM,EAAE,SAAS,CAAC;;AAG/B,SAAgB,GACd,cACA,YACA,iBACA,eACA,MACY;CACZ,MAAM,WAAW,gBAAgB;EAAE,YAAY,MAAM;EAAY,OAAO,MAAM;EAAO,CAAC;CACtF,MAAM,cAAc,MAAM,eAAe;CACzC,OAAO,IAAI,WAAW;EACpB,QAAQ;GAAE;GAAa,WAAW;GAAc,SAAS;GAAY;EACrE,QAAQ;GAAE;GAAa,WAAW;GAAiB,SAAS;GAAe;EAC3E,GAAI,MAAM,SAAS,KAAA,KAAa,EAAE,MAAM,KAAK,MAAM;EACnD,GAAI,MAAM,aAAa,KAAA,KAAa,EAAE,UAAU,KAAK,UAAU;EAC/D,GAAI,MAAM,aAAa,KAAA,KAAa,EAAE,UAAU,KAAK,UAAU;EAC/D,YAAY,SAAS;EACrB,OAAO,SAAS;EACjB,CAAC;;AAGJ,SAAgB,MACd,SACA,MAMc;CACd,OAAO,IAAI,aAAa;EACtB;EACA,GAAI,MAAM,OAAO,KAAA,KAAa,EAAE,YAAY,KAAK,IAAI;EACrD,SAAS,MAAM,WAAW,EAAE;EAC5B,SAAS,MAAM,WAAW,EAAE;EAC5B,aAAa,MAAM,OAAO,EAAE;EAC7B,CAAC;;AAGJ,SAAgB,MACd,WACA,QACA,YAAqC,EAAE,EAKvC;CAWA,OAAO;EACL,SAAA;GAXiC,OAAO;GAAW;GAW5C;EACP,QAXmB,OAAO,YAC1B,OAAO,QAAQ,OAAO,CAAC,KAAK,CAAC,MAAM,WAAW,CAC5C,MACA;GACE,UAAU,MAAM,YAAY;GAC5B,MAAM;IAAE,MAAM;IAAmB,SAAS,MAAM,WAAW;IAAkB;GAC9E,CACF,CAAC,CAIkB;EACpB;EACD"}

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

@@ -1,4 +1,4 @@
-import { E as SqlStorage } from "./types-B0lbr9cb.mjs";
+import { D as SqlStorage } from "./types-FVBrwvCz.mjs";
 import { a as IndexTypeRegistry } from "./index-types-B1cf5N0F.mjs";
 import { Contract } from "@prisma-next/contract/types";
 

package/dist/index-type-validation.mjs

@@ -2,14 +2,17 @@ import { ContractValidationError } from "@prisma-next/contract/contract-validati
 import { type } from "arktype";
 //#region src/index-type-validation.ts
 function validateIndexTypes(contract, indexTypeRegistry) {
-	for (const [tableName, table] of Object.entries(contract.storage.tables)) for (const index of table.indexes) {
-		if (index.type === void 0 && index.options !== void 0) throw new ContractValidationError(`Table "${tableName}" index on columns [${index.columns.join(", ")}] has options without a type`, "storage");
-		if (index.type === void 0) continue;
-		const entry = indexTypeRegistry.get(index.type);
-		if (entry === void 0) throw new ContractValidationError(`Table "${tableName}" index on columns [${index.columns.join(", ")}] uses unregistered index type "${index.type}"`, "storage");
-		const optionsValue = index.options ?? {};
-		const result = entry.options(optionsValue);
-		if (result instanceof type.errors) throw new ContractValidationError(`Table "${tableName}" index on columns [${index.columns.join(", ")}] has invalid options for type "${index.type}": ${result.summary}`, "storage");
+	for (const [namespaceId, ns] of Object.entries(contract.storage.namespaces)) for (const [tableName, rawTable] of Object.entries(ns.tables)) {
+		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");
+			if (index.type === void 0) continue;
+			const entry = indexTypeRegistry.get(index.type);
+			if (entry === void 0) throw new ContractValidationError(`Namespace "${namespaceId}" table "${tableName}" index on columns [${index.columns.join(", ")}] uses unregistered index type "${index.type}"`, "storage");
+			const optionsValue = index.options ?? {};
+			const result = entry.options(optionsValue);
+			if (result instanceof type.errors) throw new ContractValidationError(`Namespace "${namespaceId}" table "${tableName}" index on columns [${index.columns.join(", ")}] has invalid options for type "${index.type}": ${result.summary}`, "storage");
+		}
 	}
 }
 //#endregion

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 } from './types';\n\nexport function validateIndexTypes(\n  contract: Contract<SqlStorage>,\n  indexTypeRegistry: IndexTypeRegistry,\n): void {\n  for (const [tableName, table] of Object.entries(contract.storage.tables)) {\n    for (const index of table.indexes) {\n      if (index.type === undefined && index.options !== undefined) {\n        throw new ContractValidationError(\n          `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          `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          `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"],"mappings":";;;AAMA,SAAgB,mBACd,UACA,mBACM;CACN,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,QAAQ,OAAO,EACtE,KAAK,MAAM,SAAS,MAAM,SAAS;EACjC,IAAI,MAAM,SAAS,KAAA,KAAa,MAAM,YAAY,KAAA,GAChD,MAAM,IAAI,wBACR,UAAU,UAAU,sBAAsB,MAAM,QAAQ,KAAK,KAAK,CAAC,+BACnE,UACD;EAEH,IAAI,MAAM,SAAS,KAAA,GAAW;EAC9B,MAAM,QAAQ,kBAAkB,IAAI,MAAM,KAAK;EAC/C,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,wBACR,UAAU,UAAU,sBAAsB,MAAM,QAAQ,KAAK,KAAK,CAAC,kCAAkC,MAAM,KAAK,IAChH,UACD;EAEH,MAAM,eAAe,MAAM,WAAW,EAAE;EACxC,MAAM,SAAS,MAAM,QAAQ,aAAa;EAC1C,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,wBACR,UAAU,UAAU,sBAAsB,MAAM,QAAQ,KAAK,KAAK,CAAC,kCAAkC,MAAM,KAAK,KAAK,OAAO,WAC5H,UACD"}
+{"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,WAAW,EACzE,KAAK,MAAM,CAAC,WAAW,aAAa,OAAO,QAAQ,GAAG,OAAO,EAAE;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,KAAK,CAAC,+BAC9F,UACD;GAEH,IAAI,MAAM,SAAS,KAAA,GAAW;GAC9B,MAAM,QAAQ,kBAAkB,IAAI,MAAM,KAAK;GAC/C,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,wBACR,cAAc,YAAY,WAAW,UAAU,sBAAsB,MAAM,QAAQ,KAAK,KAAK,CAAC,kCAAkC,MAAM,KAAK,IAC3I,UACD;GAEH,MAAM,eAAe,MAAM,WAAW,EAAE;GACxC,MAAM,SAAS,MAAM,QAAQ,aAAa;GAC1C,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,wBACR,cAAc,YAAY,WAAW,UAAU,sBAAsB,MAAM,QAAQ,KAAK,KAAK,CAAC,kCAAkC,MAAM,KAAK,KAAK,OAAO,WACvJ,UACD"}

package/dist/{types-B0lbr9cb.d.mts → types-FVBrwvCz.d.mts}

@@ -40,29 +40,31 @@ declare abstract class SqlNode extends IRNodeBase {
   constructor();
 }
 //#endregion
-//#region src/ir/foreign-key-references.d.ts
-interface ForeignKeyReferencesInput {
-  readonly table: string;
+//#region src/ir/foreign-key-reference.d.ts
+interface ForeignKeyReferenceInput {
+  readonly namespaceId: string;
+  readonly tableName: string;
   readonly columns: readonly string[];
 }
 /**
- * SQL Contract IR node for the referenced side of a foreign key.
+ * SQL Contract IR node for one side (source or target) of a foreign-key
+ * declaration. Carries the full coordinate: namespace, table, and columns.
  *
- * The class is shaped around single-namespace references today; a
- * future milestone introduces a cross-namespace coordinate on top of
- * `(table, columns)` when namespace-keyed storage lands.
+ * Use `UNBOUND_NAMESPACE_ID` from `@prisma-next/framework-components/ir`
+ * as the sentinel `namespaceId` for single-namespace (unbound) references.
  */
-declare class ForeignKeyReferences extends SqlNode {
-  readonly table: string;
+declare class ForeignKeyReference extends SqlNode {
+  readonly namespaceId: string;
+  readonly tableName: string;
   readonly columns: readonly string[];
-  constructor(input: ForeignKeyReferencesInput);
+  constructor(input: ForeignKeyReferenceInput);
 }
 //#endregion
 //#region src/ir/foreign-key.d.ts
 type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';
 interface ForeignKeyInput {
-  readonly columns: readonly string[];
-  readonly references: ForeignKeyReferences | ForeignKeyReferencesInput;
+  readonly source: ForeignKeyReference | ForeignKeyReferenceInput;
+  readonly target: ForeignKeyReference | ForeignKeyReferenceInput;
   readonly name?: string;
   readonly onDelete?: ReferentialAction;
   readonly onUpdate?: ReferentialAction;
@@ -74,14 +76,18 @@ interface ForeignKeyInput {
 /**
  * SQL Contract IR node for a table-level foreign-key declaration.
  *
- * The nested `references` field is normalised to a
- * {@link ForeignKeyReferences} instance inside the constructor so
- * downstream walks see a uniform AST regardless of whether the input
- * was a JSON literal or an already-constructed class instance.
+ * Each FK carries explicit `source` and `target` {@link ForeignKeyReference}
+ * coordinates (namespace, table, columns). For single-namespace contracts the
+ * sentinel `UNBOUND_NAMESPACE_ID` appears on both sides.
+ *
+ * The nested references are normalised to {@link ForeignKeyReference}
+ * instances inside the constructor so downstream walks see a uniform AST
+ * regardless of whether the input was a JSON literal or an already-constructed
+ * class instance.
  */
 declare class ForeignKey extends SqlNode {
-  readonly columns: readonly string[];
-  readonly references: ForeignKeyReferences;
+  readonly source: ForeignKeyReference;
+  readonly target: ForeignKeyReference;
   readonly constraint: boolean;
   readonly index: boolean;
   readonly name?: string;
@@ -242,7 +248,8 @@ interface StorageTableInput {
   readonly foreignKeys: ReadonlyArray<ForeignKey | ForeignKeyInput>;
 }
 /**
- * SQL Contract IR node for a single table entry in `SqlStorage.tables`.
+ * SQL Contract IR node for a single table entry in a namespace's
+ * `tables` map.
  *
  * The constructor normalises nested IR-class fields (columns, primary
  * key, uniques, indexes, foreign keys) into the appropriate class
@@ -250,10 +257,7 @@ interface StorageTableInput {
  * the input was a JSON literal or an already-constructed class.
  *
  * The table's `name` is not on the class — tables are keyed by name in
- * the parent `SqlStorage.tables: Record<string, StorageTable>` map.
- * A future namespace-aware milestone will add a `namespaceId` field
- * when namespace-keyed storage lands; today's single-namespace shape
- * needs neither field.
+ * the parent namespace's `tables: Record<string, StorageTable>` map.
  */
 declare class StorageTable extends SqlNode {
   readonly columns: Readonly<Record<string, StorageColumn>>;
@@ -312,41 +316,42 @@ declare function isStorageTypeInstance(value: unknown): value is StorageTypeInst
 //#endregion
 //#region src/ir/sql-storage.d.ts
 /**
- * Polymorphic value type for `SqlStorage.types` entries (Decision 18,
- * Option B). The slot's framework alphabet is `StorageType` — codec
- * triples (`StorageTypeInstance` with `kind: 'codec-instance'`) and
- * target-specific IR class instances structurally satisfying
- * `PostgresEnumStorageEntry` (with `kind: 'postgres-enum'`) are the
- * two variants the SQL family ships today. The construction side also
- * accepts {@link StorageTypeInstanceInput} so callers can pass raw
- * codec triples; the constructor stamps the discriminator.
+ * Polymorphic value type for document-scoped `SqlStorage.types` entries
+ * (codec aliases / parameterised native type registrations). Postgres
+ * native enum registrations live under
+ * `storage.namespaces[namespaceId].types` instead.
  */
-type SqlStorageTypeEntry = StorageTypeInstance | PostgresEnumStorageEntry | StorageTypeInstanceInput;
+type SqlStorageTypeEntry = StorageTypeInstance | StorageTypeInstanceInput | PostgresEnumStorageEntry;
+interface SqlNamespaceTablesInput {
+  readonly id: string;
+  readonly tables?: Record<string, StorageTable | StorageTableInput>;
+  readonly types?: Record<string, PostgresEnumStorageEntry>;
+}
 interface SqlStorageInput<THash extends string = string> {
   readonly storageHash: StorageHashBase<THash>;
-  readonly tables: Record<string, StorageTable | StorageTableInput>;
   readonly types?: Record<string, SqlStorageTypeEntry>;
-  readonly namespaces?: Readonly<Record<string, Namespace>>;
+  readonly namespaces?: Readonly<Record<string, Namespace | SqlNamespaceTablesInput>>;
 }
 /**
  * SQL Contract IR root node for the `storage` field.
  *
  * Single concrete family-shared class — both Postgres and SQLite
- * consume this same class today. Per-target storage subclasses are
+ * consume this class today. Per-target storage subclasses are
  * introduced when each target's namespace shape earns its
  * target-specific concretion (target-specific derived fields,
  * target-specific storage extensions).
  *
  * Honours the framework `Storage` interface: every SQL IR carries a
  * `namespaces` map keyed by namespace id. The default singleton
- * (`{ [UNSPECIFIED_NAMESPACE_ID]: SqlUnspecifiedNamespace.instance }`)
+ * (`{ [UNBOUND_NAMESPACE_ID]: SqlUnboundNamespace.instance }`)
  * binds every contract authored before per-target namespace concretions
- * land; per-target namespace classes (`PostgresSchema.unspecified`,
- * `SqliteUnspecifiedDatabase.instance`) earn their slots when each
+ * land; per-target namespace classes (`PostgresSchema.unbound`,
+ * `SqliteUnboundDatabase.instance`) earn their slots when each
  * target's namespace shape lands.
  *
- * The constructor normalises nested IR-class fields (`tables`, optional
- * `types`) into class instances so downstream walks see a uniform AST.
+ * The constructor normalises optional `types` into class instances and
+ * materialises plain namespace envelope objects into `Namespace` class
+ * instances so downstream walks see a uniform AST.
  * `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`)
@@ -355,28 +360,35 @@ interface SqlStorageInput<THash extends string = string> {
  * responsibility (so the family base does not import target-specific
  * subclasses).
  */
+type SqlNamespace = Namespace & {
+  readonly tables: Readonly<Record<string, StorageTable>>;
+  readonly types?: Readonly<Record<string, PostgresEnumStorageEntry>>;
+};
 declare class SqlStorage<THash extends string = string> extends SqlNode implements Storage {
   readonly storageHash: StorageHashBase<THash>;
-  readonly tables: Readonly<Record<string, StorageTable>>;
-  readonly namespaces: Readonly<Record<string, Namespace>>;
+  readonly namespaces: Readonly<Record<string, SqlNamespace>> & {
+    readonly __unbound__: SqlNamespace;
+  };
   readonly types?: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;
   constructor(input: SqlStorageInput<THash>);
 }
 //#endregion
-//#region src/ir/sql-unspecified-namespace.d.ts
+//#region src/ir/sql-unbound-namespace.d.ts
 /**
- * Family-layer placeholder for the SQL unspecified-namespace singleton.
+ * 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.unspecified`, `SqliteUnspecifiedDatabase.instance`)
+ * 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": "__unspecified__" }` — symmetric
+ * 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.
  *
@@ -392,9 +404,10 @@ declare class SqlStorage<THash extends string = string> extends SqlNode implemen
  * fields safely, lift `freezeNode` to a leaf-class `seal()` hook each
  * leaf calls explicitly at the end of its own constructor.
  */
-declare class SqlUnspecifiedNamespace extends NamespaceBase {
-  static readonly instance: SqlUnspecifiedNamespace;
-  readonly id: "__unspecified__";
+declare class SqlUnboundNamespace extends NamespaceBase {
+  static readonly instance: SqlUnboundNamespace;
+  readonly id: "__unbound__";
+  readonly tables: Readonly<Record<string, StorageTable>>;
   readonly kind?: string;
   private constructor();
 }
@@ -494,5 +507,5 @@ type ExtractFieldOutputTypes<T> = FieldOutputTypesOf<ExtractTypeMapsFromContract
 type ExtractFieldInputTypes<T> = FieldInputTypesOf<ExtractTypeMapsFromContract<T>>;
 type ResolveCodecTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never] ? ExtractCodecTypes<TContract> : CodecTypesOf<TTypeMaps>;
 //#endregion
-export { StorageTypeInstance as A, Index as B, TypeMapsPhantomKey as C, SqlStorageInput as D, SqlStorage as E, StorageTableInput as F, PostgresEnumStorageEntry as G, PrimaryKey as H, UniqueConstraint as I, ForeignKeyInput as J, isPostgresEnumStorageEntry as K, UniqueConstraintInput as L, isStorageTypeInstance as M, toStorageTypeInstance as N, SqlStorageTypeEntry as O, StorageTable as P, SqlNode as Q, StorageColumn as R, TypeMaps as S, SqlUnspecifiedNamespace as T, PrimaryKeyInput as U, IndexInput as V, POSTGRES_ENUM_KIND as W, ForeignKeyReferences as X, ReferentialAction as Y, ForeignKeyReferencesInput as Z, QueryOperationTypesOf as _, ExtractCodecTypes as a, SqlModelStorage as b, ExtractQueryOperationTypes as c, FieldOutputTypesOf as d, ForeignKeyOptions as f, QueryOperationTypesBase as g, QueryOperationTypeEntry as h, DEFAULT_FK_INDEX as i, StorageTypeInstanceInput as j, CODEC_INSTANCE_KIND as k, ExtractTypeMapsFromContract as l, QueryOperationSelfSpec as m, ContractWithTypeMaps as n, ExtractFieldInputTypes as o, QueryOperationReturn as p, ForeignKey as q, DEFAULT_FK_CONSTRAINT as r, ExtractFieldOutputTypes as s, CodecTypesOf as t, FieldInputTypesOf as u, ResolveCodecTypes as v, applyFkDefaults as w, SqlQueryOperationTypes as x, SqlModelFieldStorage as y, StorageColumnInput as z };
-//# sourceMappingURL=types-B0lbr9cb.d.mts.map
+export { SqlNode as $, CODEC_INSTANCE_KIND as A, StorageColumnInput as B, TypeMapsPhantomKey as C, SqlStorage as D, SqlNamespaceTablesInput as E, StorageTable as F, POSTGRES_ENUM_KIND as G, IndexInput as H, StorageTableInput as I, ForeignKey as J, PostgresEnumStorageEntry as K, UniqueConstraint as L, StorageTypeInstanceInput as M, isStorageTypeInstance as N, SqlStorageInput as O, toStorageTypeInstance as P, ForeignKeyReferenceInput as Q, UniqueConstraintInput as R, TypeMaps as S, SqlUnboundNamespace as T, PrimaryKey as U, Index as V, PrimaryKeyInput as W, ReferentialAction as X, ForeignKeyInput as Y, ForeignKeyReference as Z, QueryOperationTypesOf as _, ExtractCodecTypes as a, SqlModelStorage as b, ExtractQueryOperationTypes as c, FieldOutputTypesOf as d, ForeignKeyOptions as f, QueryOperationTypesBase as g, QueryOperationTypeEntry as h, DEFAULT_FK_INDEX as i, StorageTypeInstance as j, SqlStorageTypeEntry as k, ExtractTypeMapsFromContract as l, QueryOperationSelfSpec as m, ContractWithTypeMaps as n, ExtractFieldInputTypes as o, QueryOperationReturn as p, isPostgresEnumStorageEntry as q, DEFAULT_FK_CONSTRAINT as r, ExtractFieldOutputTypes as s, CodecTypesOf as t, FieldInputTypesOf as u, ResolveCodecTypes as v, applyFkDefaults as w, SqlQueryOperationTypes as x, SqlModelFieldStorage as y, StorageColumn as z };
+//# sourceMappingURL=types-FVBrwvCz.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-FVBrwvCz.d.mts","names":[],"sources":["../src/ir/sql-node.ts","../src/ir/foreign-key-reference.ts","../src/ir/foreign-key.ts","../src/ir/postgres-enum-storage-entry.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/sql-storage.ts","../src/ir/sql-unbound-namespace.ts","../src/types.ts"],"mappings":";;;;;;;;;AAkCA;;;;;;;;;;;;AC/BA;;;;;;;;;AAaA;;;;;;;uBDkBsB,OAAA,SAAgB,UAAA;EAAA,SAC3B,IAAA;;;;;UChCM,wBAAA;EAAA,SACN,WAAA;EAAA,SACA,SAAA;EAAA,SACA,OAAA;AAAA;;;;;;;;cAUE,mBAAA,SAA4B,OAAA;EAAA,SAC9B,WAAA;EAAA,SACA,SAAA;EAAA,SACA,OAAA;cAEG,KAAA,EAAO,wBAAA;AAAA;;;KCjBT,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;EFuBgB;EAAA,SErB3B,UAAA;;WAEA,KAAA;AAAA;;;;ADZX;;;;;;;;;cC2Ba,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;;;;;;;AFLrB;;;;;;;;;;;cGjBa,kBAAA;AFdb;;;;;;;;;AAaA;;;AAbA,UE4BiB,wBAAA,SAAiC,WAAA;EAAA,SACvC,IAAA,SAAa,kBAAA;EAAA,SACb,IAAA;EAAA,SACA,UAAA;EAAA,SACA,MAAA;;;;;;;;WAQA,OAAA;AAAA;;;;;ADrCX;iBC6CgB,0BAAA,CAA2B,KAAA,YAAiB,KAAA,IAAS,wBAAA;;;UChDpD,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;AAAA;AJ6BX;;;AAAA,cIvBa,UAAA,SAAmB,OAAA;EAAA,SACrB,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;UCZJ,UAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;AAAA;;;;;;;;;cAWR,KAAA,SAAc,OAAA;EAAA,SAChB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;cAEf,KAAA,EAAO,UAAA;AAAA;;;;;;ALUrB;;;;;;;UMpBiB,kBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA,GAAa,MAAA;EAAA,SACb,OAAA;EAAA,SACA,OAAA,GAAU,aAAA;AAAA;;;;;;;ALJrB;;;;;;;cKoBa,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;cAEf,KAAA,EAAO,kBAAA;AAAA;;;UCzCJ,qBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;AAAA;AP6BX;;;AAAA,cOvBa,gBAAA,SAAyB,OAAA;EAAA,SAC3B,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,qBAAA;AAAA;;;UCPJ,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;AAAA;;;;;APVnD;;;;;;;;cOyBa,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;cAElB,KAAA,EAAO,iBAAA;AAAA;;;;;;;ARDrB;;;cSzBa,mBAAA;;;;;;;;;UAUI,mBAAA,SAA4B,WAAA;EAAA,SAClC,IAAA,SAAa,mBAAA;EAAA,SACb,OAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,EAAY,MAAA;AAAA;;;;ARPvB;;UQeiB,wBAAA;EAAA,SACN,OAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,EAAY,MAAA;AAAA;;;;;;iBAQP,qBAAA,CAAsB,KAAA,EAAO,wBAAA,GAA2B,mBAAA;;;;APtCxE;;iBOoDgB,qBAAA,CAAsB,KAAA,YAAiB,KAAA,IAAS,mBAAA;;;;;;;;;KC7BpD,mBAAA,GACR,mBAAA,GACA,wBAAA,GACA,wBAAA;AAAA,UAMa,uBAAA;EAAA,SACN,EAAA;EAAA,SACA,MAAA,GAAS,MAAA,SAAe,YAAA,GAAe,iBAAA;EAAA,SACvC,KAAA,GAAQ,MAAA,SAAe,wBAAA;AAAA;AAAA,UAGjB,eAAA;EAAA,SACN,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,KAAA,GAAQ,MAAA,SAAe,mBAAA;EAAA,SACvB,UAAA,GAAa,QAAA,CAAS,MAAA,SAAe,SAAA,GAAY,uBAAA;AAAA;;;;AT7B5D;;;;;;;;;;;;;;;;ACZA;;;;;AAEA;;;;KQkIY,YAAA,GAAe,SAAA;EAAA,SAChB,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SAChC,KAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,wBAAA;AAAA;AAAA,cAG9B,UAAA,wCAAkD,OAAA,YAAmB,OAAA;EAAA,SACvE,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;IAAA,SAClC,WAAA,EAAa,YAAA;EAAA;EAAA,SAEP,KAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,mBAAA,GAAsB,wBAAA;cAE3D,KAAA,EAAO,eAAA,CAAgB,KAAA;AAAA;;;;;;AVlHrC;;;;;;;;;;;;AC/BA;;;;;;;;;AAaA;;;;;;cUqBa,mBAAA,SAA4B,aAAA;EAAA,gBACvB,QAAA,EAAU,mBAAA;EAAA,SAEjB,EAAA;EAAA,SACA,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SACxB,IAAA;EAAA,QAEV,WAAA,CAAA;AAAA;;;KCHG,iBAAA;EAAA,SACD,IAAA;EAAA,SACA,QAAA,GAAW,iBAAA;EAAA,SACX,QAAA,GAAW,iBAAA;AAAA;AAAA,KAGV,oBAAA;EAAA,SACD,MAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;AAAA;AAAA,KAGC,eAAA;EAAA,SACD,KAAA;EAAA,SACA,MAAA,EAAQ,MAAA,SAAe,oBAAA;AAAA;AAAA,cAGrB,qBAAA;AAAA,cACA,gBAAA;AAAA,iBAEG,eAAA,CACd,EAAA;EAAM,UAAA;EAAkC,KAAA;AAAA,GACxC,gBAAA;EAAqB,UAAA;EAAkC,KAAA;AAAA;EACpD,UAAA;EAAqB,KAAA;AAAA;AAAA,KAOd,QAAA,qBACU,MAAA;EAAiB,MAAA;AAAA,KAAqB,MAAA,8CAC7B,MAAA,oBAA0B,MAAA,2CAC7B,MAAA,SAAe,MAAA,qBAA2B,MAAA,0CAC3C,MAAA,SAAe,MAAA,qBAA2B,MAAA;EAAA,SAE1D,UAAA,EAAY,WAAA;EAAA,SACZ,mBAAA,EAAqB,oBAAA;EAAA,SACrB,gBAAA,EAAkB,iBAAA;EAAA,SAClB,eAAA,EAAiB,gBAAA;AAAA;AAAA,KAGhB,YAAA,OAAmB,CAAA,oBAC3B,MAAA,kBACA,CAAA;EAAA,SAAqB,UAAA;AAAA,IACnB,CAAA,SAAU,MAAA;EAAiB,MAAA;AAAA,KACzB,CAAA,GACA,MAAA,kBACF,MAAA;;;;;;;;KASM,sBAAA;EAAA,SACG,OAAA;EAAA,SAA0B,MAAA;AAAA;EAAA,SAC1B,MAAA,WAAiB,UAAA;EAAA,SAAuB,OAAA;AAAA;;;;;;;AVtEvD;;KUgFY,oBAAA;EAAA,SACD,UAAA;IAAA,SAAuB,OAAA;IAAA,SAA0B,QAAA;EAAA;AAAA;AAAA,KAGhD,uBAAA;EAAA,SACD,IAAA,GAAO,sBAAA;EAAA,SACP,IAAA,MAAU,IAAA,cAAkB,oBAAA;AAAA;AAAA,KAG3B,sBAAA,aACE,MAAA;EAAA,SAA0B,KAAA;EAAA,SAAyB,MAAA;AAAA,cACrD,MAAA,SAAe,uBAAA,KACvB,CAAA;AAAA,KAEQ,uBAAA,GAA0B,MAAA,SAAe,uBAAA;AAAA,KAEzC,qBAAA,OAA4B,CAAA,oBACpC,MAAA,kBACA,CAAA;EAAA,SAAqB,mBAAA;AAAA,IACnB,CAAA,SAAU,MAAA,oBACR,CAAA,GACA,MAAA,kBACF,MAAA;AAAA,KAEM,kBAAA;AAAA,KAEA,oBAAA,yBAA6C,SAAA,oBACxC,kBAAA,IAAsB,SAAA;AAAA,KAG3B,2BAAA,MAAiC,kBAAA,eAAiC,CAAA,GAC1E,WAAA,CAAY,CAAA,CAAE,kBAAA,SAA2B,CAAA;AAAA,KAGjC,kBAAA,OAAyB,CAAA,oBACjC,MAAA,kBACA,CAAA;EAAA,SAAqB,gBAAA;AAAA,IACnB,CAAA,SAAU,MAAA,SAAe,MAAA,qBACvB,CAAA,GACA,MAAA,kBACF,MAAA;AAAA,KAEM,iBAAA,OAAwB,CAAA,oBAChC,MAAA,kBACA,CAAA;EAAA,SAAqB,eAAA;AAAA,IACnB,CAAA,SAAU,MAAA,SAAe,MAAA,qBACvB,CAAA,GACA,MAAA,kBACF,MAAA;AAAA,KAEM,iBAAA,MAAuB,YAAA,CAAa,2BAAA,CAA4B,CAAA;AAAA,KAChE,0BAAA,MAAgC,qBAAA,CAAsB,2BAAA,CAA4B,CAAA;AAAA,KAClF,uBAAA,MAA6B,kBAAA,CAAmB,2BAAA,CAA4B,CAAA;AAAA,KAC5E,sBAAA,MAA4B,iBAAA,CAAkB,2BAAA,CAA4B,CAAA;AAAA,KAE1E,iBAAA,0BAA2C,SAAA,oBACnD,iBAAA,CAAkB,SAAA,IAClB,YAAA,CAAa,SAAA"}

package/dist/{types-iqFGDcJp.mjs → types-L8p7B1dP.mjs}

@@ -1,4 +1,4 @@
-import { IRNodeBase, NamespaceBase, UNSPECIFIED_NAMESPACE_ID, freezeNode } from "@prisma-next/framework-components/ir";
+import { IRNodeBase, NamespaceBase, UNBOUND_NAMESPACE_ID, freezeNode } from "@prisma-next/framework-components/ir";
 //#region src/ir/sql-node.ts
 /**
 * SQL family IR node base. Carries the family-level `kind` discriminator
@@ -45,20 +45,22 @@ var SqlNode = class extends IRNodeBase {
 	}
 };
 //#endregion
-//#region src/ir/foreign-key-references.ts
+//#region src/ir/foreign-key-reference.ts
 /**
-* SQL Contract IR node for the referenced side of a foreign key.
+* SQL Contract IR node for one side (source or target) of a foreign-key
+* declaration. Carries the full coordinate: namespace, table, and columns.
 *
-* The class is shaped around single-namespace references today; a
-* future milestone introduces a cross-namespace coordinate on top of
-* `(table, columns)` when namespace-keyed storage lands.
+* Use `UNBOUND_NAMESPACE_ID` from `@prisma-next/framework-components/ir`
+* as the sentinel `namespaceId` for single-namespace (unbound) references.
 */
-var ForeignKeyReferences = class extends SqlNode {
-	table;
+var ForeignKeyReference = class extends SqlNode {
+	namespaceId;
+	tableName;
 	columns;
 	constructor(input) {
 		super();
-		this.table = input.table;
+		this.namespaceId = input.namespaceId;
+		this.tableName = input.tableName;
 		this.columns = input.columns;
 		freezeNode(this);
 	}
@@ -68,20 +70,24 @@ var ForeignKeyReferences = class extends SqlNode {
 /**
 * SQL Contract IR node for a table-level foreign-key declaration.
 *
-* The nested `references` field is normalised to a
-* {@link ForeignKeyReferences} instance inside the constructor so
-* downstream walks see a uniform AST regardless of whether the input
-* was a JSON literal or an already-constructed class instance.
+* Each FK carries explicit `source` and `target` {@link ForeignKeyReference}
+* coordinates (namespace, table, columns). For single-namespace contracts the
+* sentinel `UNBOUND_NAMESPACE_ID` appears on both sides.
+*
+* The nested references are normalised to {@link ForeignKeyReference}
+* instances inside the constructor so downstream walks see a uniform AST
+* regardless of whether the input was a JSON literal or an already-constructed
+* class instance.
 */
 var ForeignKey = class extends SqlNode {
-	columns;
-	references;
+	source;
+	target;
 	constraint;
 	index;
 	constructor(input) {
 		super();
-		this.columns = input.columns;
-		this.references = input.references instanceof ForeignKeyReferences ? input.references : new ForeignKeyReferences(input.references);
+		this.source = input.source instanceof ForeignKeyReference ? input.source : new ForeignKeyReference(input.source);
+		this.target = input.target instanceof ForeignKeyReference ? input.target : new ForeignKeyReference(input.target);
 		this.constraint = input.constraint;
 		this.index = input.index;
 		if (input.name !== void 0) this.name = input.name;
@@ -153,20 +159,22 @@ var Index = class extends SqlNode {
 	}
 };
 //#endregion
-//#region src/ir/sql-unspecified-namespace.ts
+//#region src/ir/sql-unbound-namespace.ts
 /**
-* Family-layer placeholder for the SQL unspecified-namespace singleton.
+* 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.unspecified`, `SqliteUnspecifiedDatabase.instance`)
+* 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": "__unspecified__" }` — symmetric
+* 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.
 *
@@ -182,9 +190,10 @@ var Index = class extends SqlNode {
 * fields safely, lift `freezeNode` to a leaf-class `seal()` hook each
 * leaf calls explicitly at the end of its own constructor.
 */
-var SqlUnspecifiedNamespace = class SqlUnspecifiedNamespace extends NamespaceBase {
-	static instance = new SqlUnspecifiedNamespace();
-	id = UNSPECIFIED_NAMESPACE_ID;
+var SqlUnboundNamespace = class SqlUnboundNamespace extends NamespaceBase {
+	static instance = new SqlUnboundNamespace();
+	id = UNBOUND_NAMESPACE_ID;
+	tables = Object.freeze({});
 	constructor() {
 		super();
 		Object.defineProperty(this, "kind", {
@@ -243,7 +252,8 @@ var UniqueConstraint = class extends SqlNode {
 //#endregion
 //#region src/ir/storage-table.ts
 /**
-* SQL Contract IR node for a single table entry in `SqlStorage.tables`.
+* SQL Contract IR node for a single table entry in a namespace's
+* `tables` map.
 *
 * The constructor normalises nested IR-class fields (columns, primary
 * key, uniques, indexes, foreign keys) into the appropriate class
@@ -251,10 +261,7 @@ var UniqueConstraint = class extends SqlNode {
 * the input was a JSON literal or an already-constructed class.
 *
 * The table's `name` is not on the class — tables are keyed by name in
-* the parent `SqlStorage.tables: Record<string, StorageTable>` map.
-* A future namespace-aware milestone will add a `namespaceId` field
-* when namespace-keyed storage lands; today's single-namespace shape
-* needs neither field.
+* the parent namespace's `tables: Record<string, StorageTable>` map.
 */
 var StorageTable = class extends SqlNode {
 	columns;
@@ -305,51 +312,55 @@ function isStorageTypeInstance(value) {
 }
 //#endregion
 //#region src/ir/sql-storage.ts
-const DEFAULT_NAMESPACES = Object.freeze({ [UNSPECIFIED_NAMESPACE_ID]: SqlUnspecifiedNamespace.instance });
-/**
-* SQL Contract IR root node for the `storage` field.
-*
-* Single concrete family-shared class — both Postgres and SQLite
-* consume this same class today. Per-target storage subclasses are
-* introduced when each target's namespace shape earns its
-* target-specific concretion (target-specific derived fields,
-* target-specific storage extensions).
-*
-* Honours the framework `Storage` interface: every SQL IR carries a
-* `namespaces` map keyed by namespace id. The default singleton
-* (`{ [UNSPECIFIED_NAMESPACE_ID]: SqlUnspecifiedNamespace.instance }`)
-* binds every contract authored before per-target namespace concretions
-* land; per-target namespace classes (`PostgresSchema.unspecified`,
-* `SqliteUnspecifiedDatabase.instance`) earn their slots when each
-* target's namespace shape lands.
-*
-* The constructor normalises nested IR-class fields (`tables`, optional
-* `types`) into class instances so downstream walks see a uniform AST.
-* `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).
-*/
+const DEFAULT_NAMESPACES = Object.freeze({ [UNBOUND_NAMESPACE_ID]: SqlUnboundNamespace.instance });
+var SqlNamespacePayload = class extends NamespaceBase {
+	id;
+	tables;
+	constructor(input) {
+		super();
+		this.id = input.id;
+		this.tables = Object.freeze(Object.fromEntries(Object.entries(input.tables ?? {}).map(([name, t]) => [name, t instanceof StorageTable ? t : new StorageTable(t)])));
+		if (input.types !== void 0 && Object.keys(input.types).length > 0) Object.defineProperty(this, "types", {
+			value: Object.freeze({ ...input.types }),
+			writable: false,
+			enumerable: true,
+			configurable: false
+		});
+		Object.defineProperty(this, "kind", {
+			value: "sql-namespace",
+			writable: false,
+			enumerable: false,
+			configurable: true
+		});
+		freezeNode(this);
+	}
+};
+function normaliseNamespaceEntry(nsKey, ns) {
+	if (ns instanceof NamespaceBase) return ns;
+	const input = ns;
+	const tableCount = Object.keys(input.tables ?? {}).length;
+	const typeCount = Object.keys(input.types ?? {}).length;
+	if (nsKey === UNBOUND_NAMESPACE_ID && tableCount === 0 && typeCount === 0) return SqlUnboundNamespace.instance;
+	return new SqlNamespacePayload(input);
+}
 var SqlStorage = class extends SqlNode {
 	storageHash;
-	tables;
 	namespaces;
 	constructor(input) {
 		super();
 		this.storageHash = input.storageHash;
-		this.tables = Object.freeze(Object.fromEntries(Object.entries(input.tables).map(([name, t]) => [name, t instanceof StorageTable ? t : new StorageTable(t)])));
-		this.namespaces = input.namespaces ?? DEFAULT_NAMESPACES;
+		const inputNamespaces = input.namespaces ?? DEFAULT_NAMESPACES;
+		const normalised = Object.fromEntries(Object.entries(inputNamespaces).map(([nsKey, ns]) => [nsKey, normaliseNamespaceEntry(nsKey, ns)]));
+		if (!normalised[UNBOUND_NAMESPACE_ID]) normalised[UNBOUND_NAMESPACE_ID] = SqlUnboundNamespace.instance;
+		this.namespaces = Object.freeze(normalised);
 		if (input.types !== void 0) this.types = Object.freeze(Object.fromEntries(Object.entries(input.types).map(([name, ti]) => [name, normaliseTypeEntry(name, ti)])));
 		freezeNode(this);
 	}
 };
 /**
-* Strict polymorphic-slot dispatch for `SqlStorage.types` entries
-* (TML-2536). Every entry must carry a recognised `kind` discriminator
-* — either `'codec-instance'` (codec triple, family-shared) or
+* Strict polymorphic-slot dispatch for `SqlStorage.types` entries.
+* Every entry must carry a recognised `kind` discriminator — either
+* `'codec-instance'` (codec triple, family-shared) or
 * `'postgres-enum'` (target-specific IR class). Untagged or
 * unrecognised inputs throw a diagnostic naming the entry and its
 * `kind`, so format drift surfaces loudly at the deserializer
@@ -384,6 +395,6 @@ function applyFkDefaults(fk, overrideDefaults) {
 	};
 }
 //#endregion
-export { ForeignKeyReferences as _, CODEC_INSTANCE_KIND as a, StorageTable as c, SqlUnspecifiedNamespace as d, Index as f, ForeignKey as g, isPostgresEnumStorageEntry as h, SqlStorage as i, UniqueConstraint as l, POSTGRES_ENUM_KIND as m, DEFAULT_FK_INDEX as n, isStorageTypeInstance as o, PrimaryKey as p, applyFkDefaults as r, toStorageTypeInstance as s, DEFAULT_FK_CONSTRAINT as t, StorageColumn as u, SqlNode as v };
+export { ForeignKeyReference as _, CODEC_INSTANCE_KIND as a, StorageTable as c, SqlUnboundNamespace as d, Index as f, ForeignKey as g, isPostgresEnumStorageEntry as h, SqlStorage as i, UniqueConstraint as l, POSTGRES_ENUM_KIND as m, DEFAULT_FK_INDEX as n, isStorageTypeInstance as o, PrimaryKey as p, applyFkDefaults as r, toStorageTypeInstance as s, DEFAULT_FK_CONSTRAINT as t, StorageColumn as u, SqlNode as v };
 
-//# sourceMappingURL=types-iqFGDcJp.mjs.map
+//# sourceMappingURL=types-L8p7B1dP.mjs.map