@prisma-next/sql-contract 0.14.0 → 0.15.0-dev.1

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  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"}
+{"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  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(\n  nativeType: string,\n  codecId: string,\n  nullable = false,\n  opts?: { readonly many?: boolean },\n): StorageColumn {\n  return new StorageColumn({\n    nativeType,\n    codecId,\n    nullable,\n    ...(opts?.many !== undefined && { many: opts.many }),\n  });\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 & { namespaceId?: string },\n): ForeignKey {\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  });\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":";;;;AAeA,SAAgB,IACd,YACA,SACA,WAAW,OACX,MACe;CACf,OAAO,IAAI,cAAc;EACvB;EACA;EACA;EACA,GAAI,MAAM,SAAS,KAAA,KAAa,EAAE,MAAM,KAAK,KAAK;CACpD,CAAC;AACH;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,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;CAChE,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/{foreign-key-BATxB95l.d.mts → foreign-key-DuCoGJCf.d.mts}

@@ -1,44 +1,6 @@
-import { IRNodeBase } from "@prisma-next/framework-components/ir";
+import { t as SqlNode } from "./sql-node-V214WXQD.mjs";
 import { NamespaceId } from "@prisma-next/contract/types";
 
-//#region src/ir/sql-node.d.ts
-/**
- * SQL family IR node base. Carries the family-level `kind` discriminator
- * `'sql'` and inherits the framework's `freezeNode` affordance.
- *
- * Single family-level discriminator (not per-leaf) reflects the fact that
- * SQL IR has no polymorphic dispatch today — verifiers and serializers
- * walk by structural position (`storage.tables[name].columns[name]`),
- * not by inspecting `kind`. The abstract bar for per-leaf discriminators
- * isn't earned until a future polymorphic consumer arrives.
- *
- * `kind` is installed as a non-enumerable own property on every instance,
- * which keeps three things clean simultaneously:
- *
- * - `JSON.stringify(node)` produces the canonical pre-lift JSON envelope
- *   shape (no `kind` field), so emitted contract.json files and the
- *   `validateSqlContractFully` arktype schemas stay unchanged.
- * - Test assertions that use `toEqual({...})` against the pre-lift flat
- *   shape continue to pass — only enumerable own properties are
- *   compared.
- * - Direct access (`node.kind`) and runtime narrowing
- *   (`if (node.kind === 'sql')`) still work, so future polymorphic
- *   dispatch can begin reading `kind` without a runtime change.
- *
- * Future per-leaf overrides land cleanly: a class that gains a
- * polymorphic-dispatch consumer (e.g. an enum type instance walked
- * alongside other types) overrides `kind` with its narrower literal
- * at that leaf level. Per-leaf overrides will use enumerable kind
- * (matching the Mongo per-class-discriminator precedent) because they
- * encode dispatch-relevant information that callers need to see in
- * JSON envelopes; the family-level `'sql'` is uniform across all SQL
- * IR and carries no dispatch-relevant information.
- */
-declare abstract class SqlNode extends IRNodeBase {
-  readonly kind?: string;
-  constructor();
-}
-//#endregion
 //#region src/ir/foreign-key-reference.d.ts
 /**
  * Input for a foreign-key reference (one side of a foreign-key declaration).
@@ -89,13 +51,17 @@ interface ForeignKeyInput {
   readonly name?: string;
   readonly onDelete?: ReferentialAction;
   readonly onUpdate?: ReferentialAction;
-  /** Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY). */
-  readonly constraint: boolean;
-  /** Whether to emit a backing index for the FK columns. */
-  readonly index: boolean;
 }
 /**
- * SQL Contract IR node for a table-level foreign-key declaration.
+ * SQL Contract IR node for a table-level foreign-key declaration — the
+ * referential constraint only (source, target, `onDelete`/`onUpdate`).
+ *
+ * A persisted `foreignKeys[]` entry always denotes a real constraint: whether
+ * to emit the constraint at all, and whether to back it with an index, are
+ * authoring-time decisions (PSL `@relation(index:)`, TS `fk({ constraint,
+ * index })`) resolved once at `contract emit` — a `constraint: false` FK
+ * simply has no entry here, and a backing index (if any) is its own discrete,
+ * named entry in the table's `indexes[]`.
  *
  * Each FK carries explicit `source` and `target` {@link ForeignKeyReference}
  * coordinates (namespace, table, columns). For single-namespace contracts the
@@ -109,13 +75,11 @@ interface ForeignKeyInput {
 declare class ForeignKey extends SqlNode {
   readonly source: ForeignKeyReference;
   readonly target: ForeignKeyReference;
-  readonly constraint: boolean;
-  readonly index: boolean;
   readonly name?: string;
   readonly onDelete?: ReferentialAction;
   readonly onUpdate?: ReferentialAction;
   constructor(input: ForeignKeyInput);
 }
 //#endregion
-export { ForeignKeyReferenceInput as a, ForeignKeyReference as i, ForeignKeyInput as n, SqlNode as o, ReferentialAction as r, ForeignKey as t };
-//# sourceMappingURL=foreign-key-BATxB95l.d.mts.map
+export { ForeignKeyReferenceInput as a, ForeignKeyReference as i, ForeignKeyInput as n, ReferentialAction as r, ForeignKey as t };
+//# sourceMappingURL=foreign-key-DuCoGJCf.d.mts.map

package/dist/foreign-key-DuCoGJCf.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreign-key-DuCoGJCf.d.mts","names":[],"sources":["../src/ir/foreign-key-reference.ts","../src/ir/foreign-key.ts"],"mappings":";;;;;;AAeA;;;;;;;;;UAAiB,wBAAA;EAAA,SACN,WAAA;EAAA,SACA,SAAA;EAAA,SACA,OAAA;EAAA,SACA,OAAA;AAAA;;;;;;;;;;;;;;AAyBkC;;;cANhC,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;AAAA;;;;ADQJ;AAmBlB;;;;;;;;;;;;;;;;cCJa,UAAA,SAAmB,OAAA;EAAA,SACrB,MAAA,EAAQ,mBAAA;EAAA,SACR,MAAA,EAAQ,mBAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,iBAAA;EAAA,SACX,QAAA,GAAW,iBAAA;cAEhB,KAAA,EAAO,eAAA;AAAA"}

package/dist/foreign-key-materialization.d.mts

@@ -0,0 +1,64 @@
+import { a as ForeignKeyReferenceInput, n as ForeignKeyInput, r as ReferentialAction } from "./foreign-key-DuCoGJCf.mjs";
+import { i as IndexInput, n as UniqueConstraintInput, o as PrimaryKeyInput } from "./unique-constraint-C0De4sLU.mjs";
+
+//#region src/foreign-key-materialization.d.ts
+type BackingIndexCandidates = {
+  readonly indexes: readonly {
+    readonly columns: readonly string[];
+  }[];
+  readonly uniques: readonly {
+    readonly columns: readonly string[];
+  }[];
+  readonly primaryKey?: {
+    readonly columns: readonly string[];
+  } | undefined;
+};
+/**
+ * The column-list keys (`"colA,colB"`, order preserved) a table's own
+ * indexes, unique constraints, and primary key already back. A foreign key
+ * whose source columns join to one of these keys needs no separately
+ * derived backing index.
+ *
+ * Shared by {@link isBackedByColumnKeys}'s callers: `materializeForeignKeysAndIndexes`
+ * (deriving the discrete backing-index entities persisted at `contract emit`)
+ * and the postgres PSL inferrer (deciding whether an introspected relation
+ * needs an explicit `index: false`).
+ */
+declare function backingIndexColumnKeys(table: BackingIndexCandidates): readonly string[];
+/**
+ * Whether `columns`, in order, matches one of `backingKeys` (see
+ * {@link backingIndexColumnKeys}). Order-sensitive: `(a, b)` does not
+ * satisfy a backing index declared as `(b, a)`.
+ */
+declare function isBackedByColumnKeys(columns: readonly string[], backingKeys: readonly string[]): boolean;
+/**
+ * A foreign key as authored, before FK1 materialization: the referential
+ * coordinates plus the `constraint`/`index` intent booleans that drive
+ * whether — and how — it survives into the persisted contract.
+ */
+interface ForeignKeyAuthoringInput {
+  readonly source: ForeignKeyReferenceInput;
+  readonly target: ForeignKeyReferenceInput;
+  readonly name?: string;
+  readonly onDelete?: ReferentialAction;
+  readonly onUpdate?: ReferentialAction;
+  readonly constraint: boolean;
+  readonly index: boolean;
+}
+interface MaterializedTableConstraints {
+  readonly foreignKeys: readonly ForeignKeyInput[];
+  readonly indexes: readonly IndexInput[];
+}
+/**
+ * Lowers a table's authored foreign keys into the discrete entities
+ * `contract.json` persists: a `constraint: false` FK contributes no
+ * `foreignKeys[]` entry, and an `index: true` FK whose columns aren't already
+ * backed by a declared index/unique/primary-key contributes a named
+ * `indexes[]` entry (`defaultIndexName`). Declared indexes always survive
+ * unchanged; a second FK sharing already-synthesized backing columns does not
+ * mint a duplicate index.
+ */
+declare function materializeForeignKeysAndIndexes(tableName: string, foreignKeys: readonly ForeignKeyAuthoringInput[], declaredIndexes: readonly IndexInput[], uniques: readonly UniqueConstraintInput[], primaryKey: PrimaryKeyInput | undefined): MaterializedTableConstraints;
+//#endregion
+export { type BackingIndexCandidates, type ForeignKeyAuthoringInput, type MaterializedTableConstraints, backingIndexColumnKeys, isBackedByColumnKeys, materializeForeignKeysAndIndexes };
+//# sourceMappingURL=foreign-key-materialization.d.mts.map

package/dist/foreign-key-materialization.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreign-key-materialization.d.mts","names":[],"sources":["../src/foreign-key-materialization.ts"],"mappings":";;;;KAOY,sBAAA;EAAA,SACD,OAAA;IAAA,SAA6B,OAAA;EAAA;EAAA,SAC7B,OAAA;IAAA,SAA6B,OAAA;EAAA;EAAA,SAC7B,UAAA;IAAA,SAAwB,OAAA;EAAA;AAAA;AAcnC;;;;AAAoE;AAapE;;;;AAEgC;AAUhC;AAzBA,iBAAgB,sBAAA,CAAuB,KAA6B,EAAtB,sBAAsB;;;;;;iBAapD,oBAAA,CACd,OAAA,qBACA,WAA8B;;;;;;UAUf,wBAAA;EAAA,SACN,MAAA,EAAQ,wBAAA;EAAA,SACR,MAAA,EAAQ,wBAAA;EAAA,SACR,IAAA;EAAA,SACA,QAAA,GAAW,iBAAA;EAAA,SACX,QAAA,GAAW,iBAAA;EAAA,SACX,UAAA;EAAA,SACA,KAAA;AAAA;AAAA,UAGM,4BAAA;EAAA,SACN,WAAA,WAAsB,eAAA;EAAA,SACtB,OAAA,WAAkB,UAAU;AAAA;;;;;;AAAA;AAYvC;;;iBAAgB,gCAAA,CACd,SAAA,UACA,WAAA,WAAsB,wBAAA,IACtB,eAAA,WAA0B,UAAA,IAC1B,OAAA,WAAkB,qBAAA,IAClB,UAAA,EAAY,eAAA,eACX,4BAAA"}

package/dist/foreign-key-materialization.mjs

@@ -0,0 +1,67 @@
+import { defaultIndexName } from "@prisma-next/sql-schema-ir/naming";
+//#region src/foreign-key-materialization.ts
+/**
+* The column-list keys (`"colA,colB"`, order preserved) a table's own
+* indexes, unique constraints, and primary key already back. A foreign key
+* whose source columns join to one of these keys needs no separately
+* derived backing index.
+*
+* Shared by {@link isBackedByColumnKeys}'s callers: `materializeForeignKeysAndIndexes`
+* (deriving the discrete backing-index entities persisted at `contract emit`)
+* and the postgres PSL inferrer (deciding whether an introspected relation
+* needs an explicit `index: false`).
+*/
+function backingIndexColumnKeys(table) {
+	return [
+		...table.indexes.map((index) => index.columns.join(",")),
+		...table.uniques.map((unique) => unique.columns.join(",")),
+		...table.primaryKey ? [table.primaryKey.columns.join(",")] : []
+	];
+}
+/**
+* Whether `columns`, in order, matches one of `backingKeys` (see
+* {@link backingIndexColumnKeys}). Order-sensitive: `(a, b)` does not
+* satisfy a backing index declared as `(b, a)`.
+*/
+function isBackedByColumnKeys(columns, backingKeys) {
+	return backingKeys.includes(columns.join(","));
+}
+/**
+* Lowers a table's authored foreign keys into the discrete entities
+* `contract.json` persists: a `constraint: false` FK contributes no
+* `foreignKeys[]` entry, and an `index: true` FK whose columns aren't already
+* backed by a declared index/unique/primary-key contributes a named
+* `indexes[]` entry (`defaultIndexName`). Declared indexes always survive
+* unchanged; a second FK sharing already-synthesized backing columns does not
+* mint a duplicate index.
+*/
+function materializeForeignKeysAndIndexes(tableName, foreignKeys, declaredIndexes, uniques, primaryKey) {
+	const satisfiedIndexColumns = new Set(backingIndexColumnKeys({
+		indexes: declaredIndexes,
+		uniques,
+		primaryKey
+	}));
+	const synthesizedIndexes = [];
+	const materializedForeignKeys = [];
+	for (const { constraint, index, ...reference } of foreignKeys) {
+		if (constraint !== false) materializedForeignKeys.push(reference);
+		if (index !== false) {
+			const key = reference.source.columns.join(",");
+			if (!satisfiedIndexColumns.has(key)) {
+				synthesizedIndexes.push({
+					columns: reference.source.columns,
+					name: defaultIndexName(tableName, reference.source.columns)
+				});
+				satisfiedIndexColumns.add(key);
+			}
+		}
+	}
+	return {
+		foreignKeys: materializedForeignKeys,
+		indexes: [...declaredIndexes, ...synthesizedIndexes]
+	};
+}
+//#endregion
+export { backingIndexColumnKeys, isBackedByColumnKeys, materializeForeignKeysAndIndexes };
+
+//# sourceMappingURL=foreign-key-materialization.mjs.map

package/dist/foreign-key-materialization.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreign-key-materialization.mjs","names":[],"sources":["../src/foreign-key-materialization.ts"],"sourcesContent":["import { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';\nimport type { ForeignKeyInput, ReferentialAction } from './ir/foreign-key';\nimport type { ForeignKeyReferenceInput } from './ir/foreign-key-reference';\nimport type { PrimaryKeyInput } from './ir/primary-key';\nimport type { IndexInput } from './ir/sql-index';\nimport type { UniqueConstraintInput } from './ir/unique-constraint';\n\nexport type BackingIndexCandidates = {\n  readonly indexes: readonly { readonly columns: readonly string[] }[];\n  readonly uniques: readonly { readonly columns: readonly string[] }[];\n  readonly primaryKey?: { readonly columns: readonly string[] } | undefined;\n};\n\n/**\n * The column-list keys (`\"colA,colB\"`, order preserved) a table's own\n * indexes, unique constraints, and primary key already back. A foreign key\n * whose source columns join to one of these keys needs no separately\n * derived backing index.\n *\n * Shared by {@link isBackedByColumnKeys}'s callers: `materializeForeignKeysAndIndexes`\n * (deriving the discrete backing-index entities persisted at `contract emit`)\n * and the postgres PSL inferrer (deciding whether an introspected relation\n * needs an explicit `index: false`).\n */\nexport function backingIndexColumnKeys(table: BackingIndexCandidates): readonly string[] {\n  return [\n    ...table.indexes.map((index) => index.columns.join(',')),\n    ...table.uniques.map((unique) => unique.columns.join(',')),\n    ...(table.primaryKey ? [table.primaryKey.columns.join(',')] : []),\n  ];\n}\n\n/**\n * Whether `columns`, in order, matches one of `backingKeys` (see\n * {@link backingIndexColumnKeys}). Order-sensitive: `(a, b)` does not\n * satisfy a backing index declared as `(b, a)`.\n */\nexport function isBackedByColumnKeys(\n  columns: readonly string[],\n  backingKeys: readonly string[],\n): boolean {\n  return backingKeys.includes(columns.join(','));\n}\n\n/**\n * A foreign key as authored, before FK1 materialization: the referential\n * coordinates plus the `constraint`/`index` intent booleans that drive\n * whether — and how — it survives into the persisted contract.\n */\nexport interface ForeignKeyAuthoringInput {\n  readonly source: ForeignKeyReferenceInput;\n  readonly target: ForeignKeyReferenceInput;\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n  readonly constraint: boolean;\n  readonly index: boolean;\n}\n\nexport interface MaterializedTableConstraints {\n  readonly foreignKeys: readonly ForeignKeyInput[];\n  readonly indexes: readonly IndexInput[];\n}\n\n/**\n * Lowers a table's authored foreign keys into the discrete entities\n * `contract.json` persists: a `constraint: false` FK contributes no\n * `foreignKeys[]` entry, and an `index: true` FK whose columns aren't already\n * backed by a declared index/unique/primary-key contributes a named\n * `indexes[]` entry (`defaultIndexName`). Declared indexes always survive\n * unchanged; a second FK sharing already-synthesized backing columns does not\n * mint a duplicate index.\n */\nexport function materializeForeignKeysAndIndexes(\n  tableName: string,\n  foreignKeys: readonly ForeignKeyAuthoringInput[],\n  declaredIndexes: readonly IndexInput[],\n  uniques: readonly UniqueConstraintInput[],\n  primaryKey: PrimaryKeyInput | undefined,\n): MaterializedTableConstraints {\n  const satisfiedIndexColumns = new Set(\n    backingIndexColumnKeys({ indexes: declaredIndexes, uniques, primaryKey }),\n  );\n  const synthesizedIndexes: IndexInput[] = [];\n  const materializedForeignKeys: ForeignKeyInput[] = [];\n\n  for (const { constraint, index, ...reference } of foreignKeys) {\n    if (constraint !== false) {\n      materializedForeignKeys.push(reference);\n    }\n    if (index !== false) {\n      const key = reference.source.columns.join(',');\n      if (!satisfiedIndexColumns.has(key)) {\n        synthesizedIndexes.push({\n          columns: reference.source.columns,\n          name: defaultIndexName(tableName, reference.source.columns),\n        });\n        satisfiedIndexColumns.add(key);\n      }\n    }\n  }\n\n  return {\n    foreignKeys: materializedForeignKeys,\n    indexes: [...declaredIndexes, ...synthesizedIndexes],\n  };\n}\n"],"mappings":";;;;;;;;;;;;;AAwBA,SAAgB,uBAAuB,OAAkD;CACvF,OAAO;EACL,GAAG,MAAM,QAAQ,KAAK,UAAU,MAAM,QAAQ,KAAK,GAAG,CAAC;EACvD,GAAG,MAAM,QAAQ,KAAK,WAAW,OAAO,QAAQ,KAAK,GAAG,CAAC;EACzD,GAAI,MAAM,aAAa,CAAC,MAAM,WAAW,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC;CACjE;AACF;;;;;;AAOA,SAAgB,qBACd,SACA,aACS;CACT,OAAO,YAAY,SAAS,QAAQ,KAAK,GAAG,CAAC;AAC/C;;;;;;;;;;AA+BA,SAAgB,iCACd,WACA,aACA,iBACA,SACA,YAC8B;CAC9B,MAAM,wBAAwB,IAAI,IAChC,uBAAuB;EAAE,SAAS;EAAiB;EAAS;CAAW,CAAC,CAC1E;CACA,MAAM,qBAAmC,CAAC;CAC1C,MAAM,0BAA6C,CAAC;CAEpD,KAAK,MAAM,EAAE,YAAY,OAAO,GAAG,eAAe,aAAa;EAC7D,IAAI,eAAe,OACjB,wBAAwB,KAAK,SAAS;EAExC,IAAI,UAAU,OAAO;GACnB,MAAM,MAAM,UAAU,OAAO,QAAQ,KAAK,GAAG;GAC7C,IAAI,CAAC,sBAAsB,IAAI,GAAG,GAAG;IACnC,mBAAmB,KAAK;KACtB,SAAS,UAAU,OAAO;KAC1B,MAAM,iBAAiB,WAAW,UAAU,OAAO,OAAO;IAC5D,CAAC;IACD,sBAAsB,IAAI,GAAG;GAC/B;EACF;CACF;CAEA,OAAO;EACL,aAAa;EACb,SAAS,CAAC,GAAG,iBAAiB,GAAG,kBAAkB;CACrD;AACF"}

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

@@ -1,4 +1,4 @@
-import { i as SqlStorage } from "./sql-storage-Dga0jwP2.mjs";
+import { s as SqlStorage } from "./sql-storage-p-Wzt_MO.mjs";
 import { a as IndexTypeRegistry } from "./index-types-Czsyu7Iw.mjs";
 import { Contract } from "@prisma-next/contract/types";
 

package/dist/referential-action-sql.d.mts

@@ -1,4 +1,4 @@
-import { r as ReferentialAction } from "./foreign-key-BATxB95l.mjs";
+import { r as ReferentialAction } from "./foreign-key-DuCoGJCf.mjs";
 
 //#region src/referential-action-sql.d.ts
 /**

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

@@ -1,5 +1,5 @@
-import { r as StorageTable } from "./storage-value-set-WnYsIFM8.mjs";
-import { i as SqlStorage } from "./sql-storage-Dga0jwP2.mjs";
+import { t as StorageTable } from "./storage-table-CE-Ns6wa.mjs";
+import { s as SqlStorage } from "./sql-storage-p-Wzt_MO.mjs";
 
 //#region src/resolve-storage-table.d.ts
 interface ResolvedStorageTable {

package/dist/sql-node-V214WXQD.d.mts

@@ -0,0 +1,42 @@
+import { IRNodeBase } from "@prisma-next/framework-components/ir";
+
+//#region src/ir/sql-node.d.ts
+/**
+ * SQL family IR node base. Carries the family-level `kind` discriminator
+ * `'sql'` and inherits the framework's `freezeNode` affordance.
+ *
+ * Single family-level discriminator (not per-leaf) reflects the fact that
+ * SQL IR has no polymorphic dispatch today — verifiers and serializers
+ * walk by structural position (`storage.tables[name].columns[name]`),
+ * not by inspecting `kind`. The abstract bar for per-leaf discriminators
+ * isn't earned until a future polymorphic consumer arrives.
+ *
+ * `kind` is installed as a non-enumerable own property on every instance,
+ * which keeps three things clean simultaneously:
+ *
+ * - `JSON.stringify(node)` produces the canonical pre-lift JSON envelope
+ *   shape (no `kind` field), so emitted contract.json files and the
+ *   `validateSqlContractFully` arktype schemas stay unchanged.
+ * - Test assertions that use `toEqual({...})` against the pre-lift flat
+ *   shape continue to pass — only enumerable own properties are
+ *   compared.
+ * - Direct access (`node.kind`) and runtime narrowing
+ *   (`if (node.kind === 'sql')`) still work, so future polymorphic
+ *   dispatch can begin reading `kind` without a runtime change.
+ *
+ * Future per-leaf overrides land cleanly: a class that gains a
+ * polymorphic-dispatch consumer (e.g. an enum type instance walked
+ * alongside other types) overrides `kind` with its narrower literal
+ * at that leaf level. Per-leaf overrides will use enumerable kind
+ * (matching the Mongo per-class-discriminator precedent) because they
+ * encode dispatch-relevant information that callers need to see in
+ * JSON envelopes; the family-level `'sql'` is uniform across all SQL
+ * IR and carries no dispatch-relevant information.
+ */
+declare abstract class SqlNode extends IRNodeBase {
+  readonly kind?: string;
+  constructor();
+}
+//#endregion
+export { SqlNode as t };
+//# sourceMappingURL=sql-node-V214WXQD.d.mts.map

package/dist/sql-node-V214WXQD.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql-node-V214WXQD.d.mts","names":[],"sources":["../src/ir/sql-node.ts"],"mappings":";;;;;AAkCA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uBAAsB,OAAA,SAAgB,UAAU;EAAA,SACrC,IAAA"}

package/dist/{sql-storage-Dga0jwP2.d.mts → sql-storage-p-Wzt_MO.d.mts}

@@ -1,7 +1,9 @@
-import { o as SqlNode } from "./foreign-key-BATxB95l.mjs";
-import { r as StorageTable, t as StorageValueSet } from "./storage-value-set-WnYsIFM8.mjs";
-import { Namespace, Storage, StorageType } from "@prisma-next/framework-components/ir";
+import { t as SqlNode } from "./sql-node-V214WXQD.mjs";
+import { t as StorageTable } from "./storage-table-CE-Ns6wa.mjs";
+import { t as StorageValueSet } from "./storage-value-set-D-jww77l.mjs";
+import { Namespace, NamespaceBase, Storage, StorageType } from "@prisma-next/framework-components/ir";
 import { StorageHashBase } from "@prisma-next/contract/types";
+import { AuthoringContributions } from "@prisma-next/framework-components/authoring";
 
 //#region src/ir/storage-type-instance.d.ts
 /**
@@ -60,14 +62,34 @@ declare function isStorageTypeInstance(value: unknown): value is StorageTypeInst
  * `entries.type` slot on `PostgresSchema` (target layer), not here.
  */
 type SqlStorageTypeEntry = StorageTypeInstance | StorageTypeInstanceInput;
-interface SqlNamespaceTablesInput {
+interface SqlNamespaceInput {
   readonly id: string;
   readonly entries: Readonly<Record<string, Readonly<Record<string, unknown>>>>;
 }
+/**
+ * Target-supplied factory that materializes a `Namespace` from a SQL
+ * `SqlNamespaceInput` (used to populate `SqlStorage.namespaces`).
+ */
+type SqlNamespaceFactory = (input: SqlNamespaceInput) => Namespace;
+/**
+ * SQL-family extension of the framework `AuthoringContributions`. SQL target
+ * packs add a `createNamespace` factory so the PSL/TS authoring paths can
+ * materialize namespaces (and merge lowered extension-block entities) without
+ * each consumer re-specifying it. The factory is SQL-specific, so it lives here
+ * rather than on the framework `AuthoringContributions` base.
+ */
+interface SqlAuthoringContributions extends AuthoringContributions {
+  readonly createNamespace?: SqlNamespaceFactory;
+}
+/**
+ * Narrows framework `AuthoringContributions` to the SQL-family shape by testing
+ * for the SQL-specific `createNamespace` capability.
+ */
+declare function isSqlAuthoringContributions(authoring: AuthoringContributions | undefined): authoring is SqlAuthoringContributions;
 interface SqlStorageInput<THash extends string = string> {
   readonly storageHash: StorageHashBase<THash>;
   readonly types?: Record<string, SqlStorageTypeEntry>;
-  readonly namespaces: Readonly<Record<string, SqlNamespace>>;
+  readonly namespaces: Readonly<Record<string, SqlNamespaceBase>>;
 }
 /**
  * SQL Contract IR root node for the `storage` field.
@@ -101,22 +123,43 @@ type SqlNamespaceEntries = Readonly<Record<string, Readonly<Record<string, unkno
   readonly valueSet?: Readonly<Record<string, StorageValueSet>>;
 };
 /**
- * SQL family namespace. `entries` is the open ADR 224 dictionary —
- * `entries[entityKind][entityName]` addresses any entity. Emitted
- * contract literals satisfy this structurally (no prototype getters
- * needed). For typed access to specific kinds, use the class getters
- * on the concretion or `ns.entries.table` / `ns.entries.valueSet` directly.
+ * Structural interface for SQL family namespaces. Generated `.d.ts` contract
+ * types satisfy this structurally (no prototype methods). The runtime
+ * abstract class `SqlNamespaceBase` extends this.
+ *
+ * `qualifyTable` and `isUnbound` are optional so JSON-shaped contract types
+ * (which carry no methods) are accepted where `SqlNamespace` is required.
+ * Hydrated `SqlNamespaceBase` instances always have both.
  */
-type SqlNamespace = Namespace & {
+interface SqlNamespace {
+  readonly kind: string;
+  readonly id: string;
   readonly entries: SqlNamespaceEntries;
-  /**
-   * 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).
-   */
+  readonly isUnbound?: boolean;
   qualifyTable?(tableName: string): string;
-};
+}
+/**
+ * Abstract SQL family namespace base class. Target concretions (`PostgresSchema`,
+ * `SqliteDatabase`, …) extend this — it is never instantiated directly.
+ * `entries` is the open ADR 224 dictionary: `entries[entityKind][entityName]`
+ * addresses any entity.
+ */
+declare abstract class SqlNamespaceBase extends NamespaceBase implements SqlNamespace {
+  abstract readonly id: string;
+  abstract readonly entries: SqlNamespaceEntries;
+  abstract qualifyTable(tableName: string): string;
+}
+/**
+ * Realm-safe guard for hydrated `SqlNamespaceBase` concretions. Checks
+ * `qualifyTable` structurally instead of `instanceof NamespaceBase`, so it
+ * survives duplicate-module boundaries (e.g. dist e2e where the target and
+ * the family carry separate copies of `@prisma-next/framework-components`).
+ *
+ * Every concrete `SqlNamespaceBase` subclass (`PostgresSchema`, `SqliteDatabase`,
+ * `TestSqlNamespace`, …) implements `qualifyTable`. Raw `SqlNamespaceInput`
+ * objects (`{ id, entries }`) do not.
+ */
+declare function isMaterializedSqlNamespace(x: unknown): x is SqlNamespaceBase;
 declare class SqlStorage<THash extends string = string> extends SqlNode implements Storage {
   readonly storageHash: StorageHashBase<THash>;
   readonly namespaces: Readonly<Record<string, SqlNamespace>>;
@@ -124,5 +167,5 @@ declare class SqlStorage<THash extends string = string> extends SqlNode implemen
   constructor(input: SqlStorageInput<THash>);
 }
 //#endregion
-export { SqlStorageInput as a, StorageTypeInstance as c, toStorageTypeInstance as d, SqlStorage as i, StorageTypeInstanceInput as l, SqlNamespaceEntries as n, SqlStorageTypeEntry as o, SqlNamespaceTablesInput as r, CODEC_INSTANCE_KIND as s, SqlNamespace as t, isStorageTypeInstance as u };
-//# sourceMappingURL=sql-storage-Dga0jwP2.d.mts.map
+export { SqlNamespaceFactory as a, SqlStorageInput as c, isSqlAuthoringContributions as d, CODEC_INSTANCE_KIND as f, toStorageTypeInstance as g, isStorageTypeInstance as h, SqlNamespaceEntries as i, SqlStorageTypeEntry as l, StorageTypeInstanceInput as m, SqlNamespace as n, SqlNamespaceInput as o, StorageTypeInstance as p, SqlNamespaceBase as r, SqlStorage as s, SqlAuthoringContributions as t, isMaterializedSqlNamespace as u };
+//# sourceMappingURL=sql-storage-p-Wzt_MO.d.mts.map

package/dist/sql-storage-p-Wzt_MO.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql-storage-p-Wzt_MO.d.mts","names":[],"sources":["../src/ir/storage-type-instance.ts","../src/ir/sql-storage.ts"],"mappings":";;;;;;;;;;;;;;;cASa,mBAAA;;;;AAA+C;AAU5D;;;;UAAiB,mBAAA,SAA4B,WAAA;EAAA,SAClC,IAAA,SAAa,mBAAA;EAAA,SACb,OAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,EAAY,MAAA;AAAA;;;;;;;AAAM;UAUZ,wBAAA;EAAA,SACN,OAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;;;;AAAA;iBAQd,qBAAA,CAAsB,KAAA,EAAO,wBAAA,GAA2B,mBAAmB;;;;;;iBAc3E,qBAAA,CAAsB,KAAA,YAAiB,KAAA,IAAS,mBAAmB;;;;AAjDnF;;;;AAA4D;AAU5D;KCOY,mBAAA,GAAsB,mBAAA,GAAsB,wBAAwB;AAAA,UAE/D,iBAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,QAAA,CAAS,MAAA;AAAA;;;;;KAOzC,mBAAA,IAAuB,KAAA,EAAO,iBAAA,KAAsB,SAAS;;;;;;ADd5C;AAU7B;UCaiB,yBAAA,SAAkC,sBAAsB;EAAA,SAC9D,eAAA,GAAkB,mBAAA;AAAA;;;;;iBAOb,2BAAA,CACd,SAAA,EAAW,sBAAA,eACV,SAAA,IAAa,yBAAyB;AAAA,UAOxB,eAAA;EAAA,SACN,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,KAAA,GAAQ,MAAA,SAAe,mBAAA;EAAA,SACvB,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,gBAAA;AAAA;;;;;ADtB4C;AAc3F;;;;;;;;AAAmF;;;;AChCnF;;;;AAAgF;AAEhF;;;;;AAFgF,KAsEpE,mBAAA,GAAsB,QAAA,CAAS,MAAA,SAAe,QAAA,CAAS,MAAA;EAAA,SACxD,KAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SAChC,QAAA,GAAW,QAAA,CAAS,MAAA,SAAe,eAAA;AAAA;;;;;;;;AApEa;AAO3D;UAyEiB,YAAA;EAAA,SACN,IAAA;EAAA,SACA,EAAA;EAAA,SACA,OAAA,EAAS,mBAAmB;EAAA,SAC5B,SAAA;EACT,YAAA,EAAc,SAAA;AAAA;AA9EyD;AASzE;;;;;AATyE,uBAuFnD,gBAAA,SAAyB,aAAA,YAAyB,YAAA;EAAA,kBAC3C,EAAA;EAAA,kBACA,OAAA,EAAS,mBAAA;EAAA,SAE3B,YAAA,CAAa,SAAA;AAAA;;;;;;;;;AAxEiB;AAOzC;iBA8EgB,0BAAA,CAA2B,CAAA,YAAa,CAAA,IAAK,gBAAgB;AAAA,cAKhE,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"}

package/dist/{storage-value-set-WnYsIFM8.d.mts → storage-table-CE-Ns6wa.d.mts}

@@ -1,5 +1,7 @@
-import { n as ForeignKeyInput, o as SqlNode, t as ForeignKey } from "./foreign-key-BATxB95l.mjs";
-import { ColumnDefault, ControlPolicy, JsonValue, ValueSetRef } from "@prisma-next/contract/types";
+import { t as SqlNode } from "./sql-node-V214WXQD.mjs";
+import { n as ForeignKeyInput, t as ForeignKey } from "./foreign-key-DuCoGJCf.mjs";
+import { a as PrimaryKey, i as IndexInput, n as UniqueConstraintInput, o as PrimaryKeyInput, r as Index, t as UniqueConstraint } from "./unique-constraint-C0De4sLU.mjs";
+import { ColumnDefault, ControlPolicy, ValueSetRef } from "@prisma-next/contract/types";
 
 //#region src/ir/check-constraint.d.ts
 /**
@@ -33,43 +35,6 @@ declare class CheckConstraint extends SqlNode {
   constructor(input: CheckConstraintInput);
 }
 //#endregion
-//#region src/ir/primary-key.d.ts
-interface PrimaryKeyInput {
-  readonly columns: readonly string[];
-  readonly name?: string;
-}
-/**
- * SQL Contract IR node for a table's primary-key constraint.
- */
-declare class PrimaryKey extends SqlNode {
-  readonly columns: readonly string[];
-  readonly name?: string;
-  constructor(input: PrimaryKeyInput);
-}
-//#endregion
-//#region src/ir/sql-index.d.ts
-interface IndexInput {
-  readonly columns: readonly string[];
-  readonly name?: string;
-  readonly type?: string;
-  readonly options?: Record<string, unknown>;
-}
-/**
- * SQL Contract IR node for a table-level secondary index.
- *
- * Note that this class shadows the global TypeScript `Index` lib type
- * at the family-shared name; consumer files that need both should
- * alias one (e.g.
- * `import { Index as SqlIndexNode } from '@prisma-next/sql-contract/types'`).
- */
-declare class Index extends SqlNode {
-  readonly columns: readonly string[];
-  readonly name?: string;
-  readonly type?: string;
-  readonly options?: Record<string, unknown>;
-  constructor(input: IndexInput);
-}
-//#endregion
 //#region src/ir/storage-column.d.ts
 /**
  * Hydration / construction input shape for {@link StorageColumn}. Mirrors
@@ -85,6 +50,7 @@ interface StorageColumnInput {
   readonly nativeType: string;
   readonly codecId: string;
   readonly nullable: boolean;
+  readonly many?: boolean;
   readonly typeParams?: Record<string, unknown>;
   readonly typeRef?: string;
   readonly default?: ColumnDefault;
@@ -108,6 +74,7 @@ declare class StorageColumn extends SqlNode {
   readonly nativeType: string;
   readonly codecId: string;
   readonly nullable: boolean;
+  readonly many?: boolean;
   readonly typeParams?: Record<string, unknown>;
   readonly typeRef?: string;
   readonly default?: ColumnDefault;
@@ -116,20 +83,6 @@ declare class StorageColumn extends SqlNode {
   constructor(input: StorageColumnInput);
 }
 //#endregion
-//#region src/ir/unique-constraint.d.ts
-interface UniqueConstraintInput {
-  readonly columns: readonly string[];
-  readonly name?: string;
-}
-/**
- * SQL Contract IR node for a table-level unique constraint.
- */
-declare class UniqueConstraint extends SqlNode {
-  readonly columns: readonly string[];
-  readonly name?: string;
-  constructor(input: UniqueConstraintInput);
-}
-//#endregion
 //#region src/ir/storage-table.d.ts
 interface StorageTableInput {
   readonly columns: Record<string, StorageColumn | StorageColumnInput>;
@@ -161,42 +114,16 @@ declare class StorageTable extends SqlNode {
   readonly control?: ControlPolicy;
   readonly checks?: ReadonlyArray<CheckConstraint>;
   constructor(input: StorageTableInput);
+  /**
+   * Runtime guard that a namespace `table` entry is really a `StorageTable`.
+   * The compiler already types the entry as `StorageTable`, but a
+   * freshly-deserialized contract may carry plain JSON at that slot until
+   * hydration; this duck-types the structural shape. Accepts `undefined` so
+   * optional-chained entry lookups pass straight through.
+   */
+  static is(value: StorageTable | undefined): value is StorageTable;
+  static assert(value: StorageTable | undefined, coordinate: string): asserts value is StorageTable;
 }
 //#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: 'valueSet';
-  /** Ordered permitted values, codec-encoded. Declaration order is preserved. */
-  readonly values: readonly JsonValue[];
-}
-/**
- * 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 (`'valueSet'`) 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: "valueSet";
-  readonly values: readonly JsonValue[];
-  constructor(input: StorageValueSetInput);
-}
-//#endregion
-export { UniqueConstraint as a, StorageColumnInput as c, PrimaryKey as d, PrimaryKeyInput as f, StorageTableInput as i, Index as l, CheckConstraintInput as m, StorageValueSetInput as n, UniqueConstraintInput as o, CheckConstraint as p, StorageTable as r, StorageColumn as s, StorageValueSet as t, IndexInput as u };
-//# sourceMappingURL=storage-value-set-WnYsIFM8.d.mts.map
+export { CheckConstraint as a, StorageColumnInput as i, StorageTableInput as n, CheckConstraintInput as o, StorageColumn as r, StorageTable as t };
+//# sourceMappingURL=storage-table-CE-Ns6wa.d.mts.map

package/dist/storage-table-CE-Ns6wa.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage-table-CE-Ns6wa.d.mts","names":[],"sources":["../src/ir/check-constraint.ts","../src/ir/storage-column.ts","../src/ir/storage-table.ts"],"mappings":";;;;;;;;;;AASA;UAAiB,oBAAA;EAAA,SACN,IAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA,EAAU,WAAW;AAAA;;;;AAAA;AAiBhC;;;;;;;;;;cAAa,eAAA,SAAwB,OAAA;EAAA,SAC1B,IAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA,EAAU,WAAA;cAEP,KAAA,EAAO,oBAAA;AAAA;;;;;;;AAzBrB;;;;;;UCKiB,kBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACA,IAAA;EAAA,SACA,UAAA,GAAa,MAAA;EAAA,SACb,OAAA;EAAA,SACA,OAAA,GAAU,aAAA;EAAA,SACV,OAAA,GAAU,aAAA;EAAA,SACV,QAAA,GAAW,WAAA;AAAA;;;;;;;;;;;ADWmB;;;cCK5B,aAAA,SAAsB,OAAA;EAAA,SACxB,UAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACQ,IAAA;EAAA,SACA,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;;;UCxCJ,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;EAAA,SACV,MAAA,GAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;;;;;;;;;;;;;cAevC,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;EAAA,SACV,MAAA,GAAS,aAAA,CAAc,eAAA;cAE5B,KAAA,EAAO,iBAAA;ED3Bc;;;;;;;EAAA,OCgE1B,EAAA,CAAG,KAAA,EAAO,YAAA,eAA2B,KAAA,IAAS,YAAA;EAAA,OAK9C,MAAA,CACL,KAAA,EAAO,YAAA,cACP,UAAA,mBACS,KAAA,IAAS,YAAA;AAAA"}