@prisma-next/sql-contract 0.15.0-dev.8 → 0.15.0

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

@@ -1,64 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,67 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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/storage-table-CE-Ns6wa.d.mts.map

@@ -1 +0,0 @@
-{"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"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"storage-table-DBpYBmty.mjs","names":[],"sources":["../src/ir/sql-node.ts","../src/ir/check-constraint.ts","../src/ir/foreign-key-reference.ts","../src/ir/foreign-key.ts","../src/ir/primary-key.ts","../src/ir/sql-index.ts","../src/ir/storage-column.ts","../src/ir/unique-constraint.ts","../src/ir/storage-table.ts"],"sourcesContent":["import { IRNodeBase } from '@prisma-next/framework-components/ir';\n\n/**\n * SQL family IR node base. Carries the family-level `kind` discriminator\n * `'sql'` and inherits the framework's `freezeNode` affordance.\n *\n * Single family-level discriminator (not per-leaf) reflects the fact that\n * SQL IR has no polymorphic dispatch today — verifiers and serializers\n * walk by structural position (`storage.tables[name].columns[name]`),\n * not by inspecting `kind`. The abstract bar for per-leaf discriminators\n * isn't earned until a future polymorphic consumer arrives.\n *\n * `kind` is installed as a non-enumerable own property on every instance,\n * which keeps three things clean simultaneously:\n *\n * - `JSON.stringify(node)` produces the canonical pre-lift JSON envelope\n *   shape (no `kind` field), so emitted contract.json files and the\n *   `validateSqlContractFully` arktype schemas stay unchanged.\n * - Test assertions that use `toEqual({...})` against the pre-lift flat\n *   shape continue to pass — only enumerable own properties are\n *   compared.\n * - Direct access (`node.kind`) and runtime narrowing\n *   (`if (node.kind === 'sql')`) still work, so future polymorphic\n *   dispatch can begin reading `kind` without a runtime change.\n *\n * Future per-leaf overrides land cleanly: a class that gains a\n * polymorphic-dispatch consumer (e.g. an enum type instance walked\n * alongside other types) overrides `kind` with its narrower literal\n * at that leaf level. Per-leaf overrides will use enumerable kind\n * (matching the Mongo per-class-discriminator precedent) because they\n * encode dispatch-relevant information that callers need to see in\n * JSON envelopes; the family-level `'sql'` is uniform across all SQL\n * IR and carries no dispatch-relevant information.\n */\nexport abstract class SqlNode extends IRNodeBase {\n  readonly kind?: string;\n\n  constructor() {\n    super();\n    Object.defineProperty(this, 'kind', {\n      value: 'sql',\n      writable: false,\n      enumerable: false,\n      // configurable so per-leaf subclasses (e.g. StorageValueSet)\n      // can override `kind` with their narrower\n      // enumerable literal via a class-field initializer. SqlNode\n      // itself never needs to mutate the property again, so\n      // configurability has no surface impact at this layer.\n      configurable: true,\n    });\n  }\n}\n","import type { ValueSetRef } from '@prisma-next/contract/types';\nimport { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlNode } from './sql-node';\n\n/**\n * Hydration / construction input shape for {@link CheckConstraint}.\n * Mirrors the on-disk storage JSON envelope so the serializer hydration\n * walker can hand a validated literal straight to `new`.\n */\nexport interface CheckConstraintInput {\n  readonly name: string;\n  readonly column: string;\n  readonly valueSet: ValueSetRef;\n}\n\n/**\n * SQL Contract IR node for a table-level check constraint that restricts\n * a column to the permitted values of a value-set.\n *\n * The constraint is **structured** (names a column and a value-set\n * reference), not a raw SQL expression. Each target renders its own DDL\n * from the structured form, keeping the contract target-agnostic.\n *\n * Construction is idempotent: passing an existing `CheckConstraint`\n * instance as input produces a new instance with identical fields.\n * The constructor does not use `instanceof` for input discrimination —\n * it reads plain named properties, which is sufficient since\n * `CheckConstraintInput` is a structural type.\n */\nexport class CheckConstraint extends SqlNode {\n  readonly name: string;\n  readonly column: string;\n  readonly valueSet: ValueSetRef;\n\n  constructor(input: CheckConstraintInput) {\n    super();\n    this.name = input.name;\n    this.column = input.column;\n    this.valueSet = input.valueSet;\n    freezeNode(this);\n  }\n}\n","import { asNamespaceId, type NamespaceId } from '@prisma-next/contract/types';\nimport { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlNode } from './sql-node';\n\n/**\n * Input for a foreign-key reference (one side of a foreign-key declaration).\n *\n * When `spaceId` is absent the reference is local — the referenced table lives\n * in the same contract-space. When `spaceId` is present the reference is\n * cross-space — the referenced table lives in a different contract-space\n * identified by `spaceId`.\n *\n * Presence-based discrimination keeps local FK JSON byte-identical to\n * contracts authored before cross-space support was added.\n */\nexport interface ForeignKeyReferenceInput {\n  readonly namespaceId: string;\n  readonly tableName: string;\n  readonly columns: readonly string[];\n  readonly spaceId?: string;\n}\n\n/**\n * SQL Contract IR node for one side (source or target) of a foreign-key\n * declaration. Carries the full coordinate: namespace, table, and columns.\n *\n * Cross-space discrimination is based on `spaceId` presence: absent means\n * local (same contract-space); present means cross-space (the referenced\n * table lives in the contract-space identified by `spaceId`).\n *\n * For local references `spaceId` is absent from JSON, keeping the serialized\n * shape byte-identical to contracts authored before cross-space support was\n * added. For cross-space references `spaceId` appears in JSON so round-trips\n * are lossless.\n *\n * Use `UNBOUND_NAMESPACE_ID` from `@prisma-next/framework-components/ir`\n * as the sentinel `namespaceId` for single-namespace (unbound) references.\n */\nexport class ForeignKeyReference extends SqlNode {\n  readonly namespaceId: NamespaceId;\n  readonly tableName: string;\n  readonly columns: readonly string[];\n  declare readonly spaceId?: string;\n\n  constructor(input: ForeignKeyReferenceInput) {\n    super();\n    this.namespaceId = asNamespaceId(input.namespaceId);\n    this.tableName = input.tableName;\n    this.columns = input.columns;\n    if (input.spaceId !== undefined) this.spaceId = input.spaceId;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { ForeignKeyReference, type ForeignKeyReferenceInput } from './foreign-key-reference';\nimport { SqlNode } from './sql-node';\n\nexport type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';\n\nexport interface ForeignKeyInput {\n  readonly source: ForeignKeyReference | ForeignKeyReferenceInput;\n  readonly target: ForeignKeyReference | ForeignKeyReferenceInput;\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n}\n\n/**\n * SQL Contract IR node for a table-level foreign-key declaration — the\n * referential constraint only (source, target, `onDelete`/`onUpdate`).\n *\n * A persisted `foreignKeys[]` entry always denotes a real constraint: whether\n * to emit the constraint at all, and whether to back it with an index, are\n * authoring-time decisions (PSL `@relation(index:)`, TS `fk({ constraint,\n * index })`) resolved once at `contract emit` — a `constraint: false` FK\n * simply has no entry here, and a backing index (if any) is its own discrete,\n * named entry in the table's `indexes[]`.\n *\n * Each FK carries explicit `source` and `target` {@link ForeignKeyReference}\n * coordinates (namespace, table, columns). For single-namespace contracts the\n * sentinel `UNBOUND_NAMESPACE_ID` appears on both sides.\n *\n * The nested references are normalised to {@link ForeignKeyReference}\n * instances inside the constructor so downstream walks see a uniform AST\n * regardless of whether the input was a JSON literal or an already-constructed\n * class instance.\n */\nexport class ForeignKey extends SqlNode {\n  readonly source: ForeignKeyReference;\n  readonly target: ForeignKeyReference;\n  declare readonly name?: string;\n  declare readonly onDelete?: ReferentialAction;\n  declare readonly onUpdate?: ReferentialAction;\n\n  constructor(input: ForeignKeyInput) {\n    super();\n    this.source =\n      input.source instanceof ForeignKeyReference\n        ? input.source\n        : new ForeignKeyReference(input.source);\n    this.target =\n      input.target instanceof ForeignKeyReference\n        ? input.target\n        : new ForeignKeyReference(input.target);\n    if (input.name !== undefined) this.name = input.name;\n    if (input.onDelete !== undefined) this.onDelete = input.onDelete;\n    if (input.onUpdate !== undefined) this.onUpdate = input.onUpdate;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlNode } from './sql-node';\n\nexport interface PrimaryKeyInput {\n  readonly columns: readonly string[];\n  readonly name?: string;\n}\n\n/**\n * SQL Contract IR node for a table's primary-key constraint.\n */\nexport class PrimaryKey extends SqlNode {\n  readonly columns: readonly string[];\n  declare readonly name?: string;\n\n  constructor(input: PrimaryKeyInput) {\n    super();\n    this.columns = input.columns;\n    if (input.name !== undefined) this.name = input.name;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlNode } from './sql-node';\n\nexport interface IndexInput {\n  readonly columns: readonly string[];\n  readonly name?: string;\n  readonly type?: string;\n  readonly options?: Record<string, unknown>;\n}\n\n/**\n * SQL Contract IR node for a table-level secondary index.\n *\n * Note that this class shadows the global TypeScript `Index` lib type\n * at the family-shared name; consumer files that need both should\n * alias one (e.g.\n * `import { Index as SqlIndexNode } from '@prisma-next/sql-contract/types'`).\n */\nexport class Index extends SqlNode {\n  readonly columns: readonly string[];\n  declare readonly name?: string;\n  declare readonly type?: string;\n  declare readonly options?: Record<string, unknown>;\n\n  constructor(input: IndexInput) {\n    super();\n    this.columns = input.columns;\n    if (input.name !== undefined) this.name = input.name;\n    if (input.type !== undefined) this.type = input.type;\n    if (input.options !== undefined) this.options = input.options;\n    freezeNode(this);\n  }\n}\n","import type { ColumnDefault, ControlPolicy, ValueSetRef } from '@prisma-next/contract/types';\nimport { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlNode } from './sql-node';\n\n/**\n * Hydration / construction input shape for {@link StorageColumn}. Mirrors\n * the on-disk storage JSON envelope exactly so the family-base\n * serializer's hydration walker can hand an arktype-validated literal\n * straight to `new`.\n *\n * `typeParams` and `typeRef` remain mutually exclusive (one or the\n * other, not both); the constructor preserves whichever caller-side\n * choice the input encodes.\n */\nexport interface StorageColumnInput {\n  readonly nativeType: string;\n  readonly codecId: string;\n  readonly nullable: boolean;\n  readonly many?: boolean;\n  readonly typeParams?: Record<string, unknown>;\n  readonly typeRef?: string;\n  readonly default?: ColumnDefault;\n  readonly control?: ControlPolicy;\n  readonly valueSet?: ValueSetRef;\n}\n\n/**\n * SQL Contract IR node for a single column entry in `StorageTable.columns`.\n *\n * Single concrete family-shared class — every SQL target reads the\n * same column shape today, so there is no per-target subclass. The\n * class type accepts any caller that constructs via\n * `new StorageColumn(input)`; literal construction sites must pass\n * through the constructor or the family-base hydration walker.\n *\n * The column's `name` is not on the class — columns are keyed by name\n * in the parent `StorageTable.columns: Record<string, StorageColumn>`\n * map, so a `name` field would be redundant with the key.\n */\nexport class StorageColumn extends SqlNode {\n  readonly nativeType: string;\n  readonly codecId: string;\n  readonly nullable: boolean;\n  declare readonly many?: boolean;\n  declare readonly typeParams?: Record<string, unknown>;\n  declare readonly typeRef?: string;\n  declare readonly default?: ColumnDefault;\n  declare readonly control?: ControlPolicy;\n  declare readonly valueSet?: ValueSetRef;\n\n  constructor(input: StorageColumnInput) {\n    super();\n    this.nativeType = input.nativeType;\n    this.codecId = input.codecId;\n    this.nullable = input.nullable;\n    if (input.many !== undefined) this.many = input.many;\n    if (input.typeParams !== undefined) this.typeParams = input.typeParams;\n    if (input.typeRef !== undefined) this.typeRef = input.typeRef;\n    if (input.default !== undefined) this.default = input.default;\n    if (input.control !== undefined) this.control = input.control;\n    if (input.valueSet !== undefined) this.valueSet = input.valueSet;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlNode } from './sql-node';\n\nexport interface UniqueConstraintInput {\n  readonly columns: readonly string[];\n  readonly name?: string;\n}\n\n/**\n * SQL Contract IR node for a table-level unique constraint.\n */\nexport class UniqueConstraint extends SqlNode {\n  readonly columns: readonly string[];\n  declare readonly name?: string;\n\n  constructor(input: UniqueConstraintInput) {\n    super();\n    this.columns = input.columns;\n    if (input.name !== undefined) this.name = input.name;\n    freezeNode(this);\n  }\n}\n","import type { ControlPolicy } from '@prisma-next/contract/types';\nimport { freezeNode } from '@prisma-next/framework-components/ir';\nimport { CheckConstraint, type CheckConstraintInput } from './check-constraint';\nimport { ForeignKey, type ForeignKeyInput } from './foreign-key';\nimport { PrimaryKey, type PrimaryKeyInput } from './primary-key';\nimport { Index, type IndexInput } from './sql-index';\nimport { SqlNode } from './sql-node';\nimport { StorageColumn, type StorageColumnInput } from './storage-column';\nimport { UniqueConstraint, type UniqueConstraintInput } from './unique-constraint';\n\nexport interface StorageTableInput {\n  readonly columns: Record<string, StorageColumn | StorageColumnInput>;\n  readonly primaryKey?: PrimaryKey | PrimaryKeyInput;\n  readonly uniques: ReadonlyArray<UniqueConstraint | UniqueConstraintInput>;\n  readonly indexes: ReadonlyArray<Index | IndexInput>;\n  readonly foreignKeys: ReadonlyArray<ForeignKey | ForeignKeyInput>;\n  readonly control?: ControlPolicy;\n  readonly checks?: ReadonlyArray<CheckConstraint | CheckConstraintInput>;\n}\n\n/**\n * SQL Contract IR node for a single table entry in a namespace's\n * `tables` map.\n *\n * The constructor normalises nested IR-class fields (columns, primary\n * key, uniques, indexes, foreign keys) into the appropriate class\n * instances so downstream walks see a uniform AST regardless of whether\n * the input was a JSON literal or an already-constructed class.\n *\n * The table's `name` is not on the class — tables are keyed by name in\n * the parent namespace's `tables: Record<string, StorageTable>` map.\n */\nexport class StorageTable extends SqlNode {\n  readonly columns: Readonly<Record<string, StorageColumn>>;\n  readonly uniques: ReadonlyArray<UniqueConstraint>;\n  readonly indexes: ReadonlyArray<Index>;\n  readonly foreignKeys: ReadonlyArray<ForeignKey>;\n  declare readonly primaryKey?: PrimaryKey;\n  declare readonly control?: ControlPolicy;\n  declare readonly checks?: ReadonlyArray<CheckConstraint>;\n\n  constructor(input: StorageTableInput) {\n    super();\n    this.columns = Object.freeze(\n      Object.fromEntries(\n        Object.entries(input.columns).map(([name, col]) => [\n          name,\n          col instanceof StorageColumn ? col : new StorageColumn(col),\n        ]),\n      ),\n    );\n    if (input.primaryKey !== undefined) {\n      this.primaryKey =\n        input.primaryKey instanceof PrimaryKey\n          ? input.primaryKey\n          : new PrimaryKey(input.primaryKey);\n    }\n    this.uniques = Object.freeze(\n      input.uniques.map((u) => (u instanceof UniqueConstraint ? u : new UniqueConstraint(u))),\n    );\n    this.indexes = Object.freeze(input.indexes.map((i) => (i instanceof Index ? i : new Index(i))));\n    this.foreignKeys = Object.freeze(\n      input.foreignKeys.map((fk) => (fk instanceof ForeignKey ? fk : new ForeignKey(fk))),\n    );\n    if (input.control !== undefined) this.control = input.control;\n    if (input.checks !== undefined && input.checks.length > 0) {\n      this.checks = Object.freeze(input.checks.map((cc) => new CheckConstraint(cc)));\n    }\n    freezeNode(this);\n  }\n\n  /**\n   * Runtime guard that a namespace `table` entry is really a `StorageTable`.\n   * The compiler already types the entry as `StorageTable`, but a\n   * freshly-deserialized contract may carry plain JSON at that slot until\n   * hydration; this duck-types the structural shape. Accepts `undefined` so\n   * optional-chained entry lookups pass straight through.\n   */\n  static is(value: StorageTable | undefined): value is StorageTable {\n    if (typeof value !== 'object' || value === null) return false;\n    return 'columns' in value && 'uniques' in value && 'indexes' in value && 'foreignKeys' in value;\n  }\n\n  static assert(\n    value: StorageTable | undefined,\n    coordinate: string,\n  ): asserts value is StorageTable {\n    if (!StorageTable.is(value)) {\n      throw new Error(`Expected a StorageTable at ${coordinate}`);\n    }\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,IAAsB,UAAtB,cAAsC,WAAW;CAC/C;CAEA,cAAc;EACZ,MAAM;EACN,OAAO,eAAe,MAAM,QAAQ;GAClC,OAAO;GACP,UAAU;GACV,YAAY;GAMZ,cAAc;EAChB,CAAC;CACH;AACF;;;;;;;;;;;;;;;;;ACtBA,IAAa,kBAAb,cAAqC,QAAQ;CAC3C;CACA;CACA;CAEA,YAAY,OAA6B;EACvC,MAAM;EACN,KAAK,OAAO,MAAM;EAClB,KAAK,SAAS,MAAM;EACpB,KAAK,WAAW,MAAM;EACtB,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;;;;;;;;;ACHA,IAAa,sBAAb,cAAyC,QAAQ;CAC/C;CACA;CACA;CAGA,YAAY,OAAiC;EAC3C,MAAM;EACN,KAAK,cAAc,cAAc,MAAM,WAAW;EAClD,KAAK,YAAY,MAAM;EACvB,KAAK,UAAU,MAAM;EACrB,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;;;;;;;;;;;;;AClBA,IAAa,aAAb,cAAgC,QAAQ;CACtC;CACA;CAKA,YAAY,OAAwB;EAClC,MAAM;EACN,KAAK,SACH,MAAM,kBAAkB,sBACpB,MAAM,SACN,IAAI,oBAAoB,MAAM,MAAM;EAC1C,KAAK,SACH,MAAM,kBAAkB,sBACpB,MAAM,SACN,IAAI,oBAAoB,MAAM,MAAM;EAC1C,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,IAAI,MAAM,aAAa,KAAA,GAAW,KAAK,WAAW,MAAM;EACxD,IAAI,MAAM,aAAa,KAAA,GAAW,KAAK,WAAW,MAAM;EACxD,WAAW,IAAI;CACjB;AACF;;;;;;AC7CA,IAAa,aAAb,cAAgC,QAAQ;CACtC;CAGA,YAAY,OAAwB;EAClC,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;ACHA,IAAa,QAAb,cAA2B,QAAQ;CACjC;CAKA,YAAY,OAAmB;EAC7B,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;;;;;;ACOA,IAAa,gBAAb,cAAmC,QAAQ;CACzC;CACA;CACA;CAQA,YAAY,OAA2B;EACrC,MAAM;EACN,KAAK,aAAa,MAAM;EACxB,KAAK,UAAU,MAAM;EACrB,KAAK,WAAW,MAAM;EACtB,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,IAAI,MAAM,eAAe,KAAA,GAAW,KAAK,aAAa,MAAM;EAC5D,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,IAAI,MAAM,aAAa,KAAA,GAAW,KAAK,WAAW,MAAM;EACxD,WAAW,IAAI;CACjB;AACF;;;;;;ACpDA,IAAa,mBAAb,cAAsC,QAAQ;CAC5C;CAGA,YAAY,OAA8B;EACxC,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;;;;;ACWA,IAAa,eAAb,MAAa,qBAAqB,QAAQ;CACxC;CACA;CACA;CACA;CAKA,YAAY,OAA0B;EACpC,MAAM;EACN,KAAK,UAAU,OAAO,OACpB,OAAO,YACL,OAAO,QAAQ,MAAM,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,SAAS,CACjD,MACA,eAAe,gBAAgB,MAAM,IAAI,cAAc,GAAG,CAC5D,CAAC,CACH,CACF;EACA,IAAI,MAAM,eAAe,KAAA,GACvB,KAAK,aACH,MAAM,sBAAsB,aACxB,MAAM,aACN,IAAI,WAAW,MAAM,UAAU;EAEvC,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,mBAAmB,IAAI,IAAI,iBAAiB,CAAC,CAAE,CACxF;EACA,KAAK,UAAU,OAAO,OAAO,MAAM,QAAQ,KAAK,MAAO,aAAa,QAAQ,IAAI,IAAI,MAAM,CAAC,CAAE,CAAC;EAC9F,KAAK,cAAc,OAAO,OACxB,MAAM,YAAY,KAAK,OAAQ,cAAc,aAAa,KAAK,IAAI,WAAW,EAAE,CAAE,CACpF;EACA,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,IAAI,MAAM,WAAW,KAAA,KAAa,MAAM,OAAO,SAAS,GACtD,KAAK,SAAS,OAAO,OAAO,MAAM,OAAO,KAAK,OAAO,IAAI,gBAAgB,EAAE,CAAC,CAAC;EAE/E,WAAW,IAAI;CACjB;;;;;;;;CASA,OAAO,GAAG,OAAwD;EAChE,IAAI,OAAO,UAAU,YAAY,UAAU,MAAM,OAAO;EACxD,OAAO,aAAa,SAAS,aAAa,SAAS,aAAa,SAAS,iBAAiB;CAC5F;CAEA,OAAO,OACL,OACA,YAC+B;EAC/B,IAAI,CAAC,aAAa,GAAG,KAAK,GACxB,MAAM,IAAI,MAAM,8BAA8B,YAAY;CAE9D;AACF"}

package/dist/types-3vOIrnvp.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-3vOIrnvp.d.mts","names":[],"sources":["../src/types.ts"],"mappings":";;;;;UAIiB,wBAAA,oCACP,qBAAA,QAA6B,CAAA;EACrC,KAAA,OAAY,MAAA,mBACV,GAAA,UACA,MAAA,wBACC,OAAA;IAAA,SAAmB,IAAA,EAAM,GAAA;EAAA;AAAA;AAAA,KAgDlB,iBAAA;EAAA,SACD,IAAA;EAAA,SACA,QAAA,GAAW,iBAAA;EAAA,SACX,QAAA,GAAW,iBAAiB;AAAA;AAAA,KAG3B,oBAAA;EAAA,SACD,MAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;AAAA;AAAA,KAGC,eAAA;EAAA,SACD,KAAA;EAAA,SACA,WAAA;EAAA,SACA,MAAA,EAAQ,MAAM,SAAS,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,KASd,sBAAA,GAAyB,MAAA,SAAe,MAAA,SAAe,MAAA;AAAA,KAEvD,8BAAA,GAAiC,MAAA,SAE3C,MAAA,SAAe,MAAA;AAAA,KAGL,QAAA,qBACU,MAAA;EAAiB,MAAA;AAAA,KAAqB,MAAA,8CAC7B,MAAA,oBAA0B,MAAA,2CAC7B,sBAAA,GAAyB,MAAA,0CAC1B,sBAAA,GAAyB,MAAA,6CACtB,8BAAA,GAAiC,MAAA,kDAC5B,8BAAA,GAAiC,MAAA;EAAA,SAEzD,UAAA,EAAY,WAAA;EAAA,SACZ,mBAAA,EAAqB,oBAAA;EAAA,SACrB,gBAAA,EAAkB,iBAAA;EAAA,SAClB,eAAA,EAAiB,gBAAA;EAAA,SACjB,kBAAA,EAAoB,mBAAA;EAAA,SACpB,uBAAA,EAAyB,wBAAA;AAAA;AAAA,KAGxB,YAAA,OAAmB,CAAA,oBAC3B,MAAA,kBACA,CAAA;EAAA,SAAqB,UAAA;AAAA,IACnB,CAAA,SAAU,MAAA;EAAiB,MAAA;AAAA,KACzB,CAAA,GACA,MAAA,kBACF,MAAA;AA5CN;;;;AAAkC;AAClC;;;AADA,KAsDY,sBAAA;EAAA,SACG,OAAA;EAAA,SAA0B,MAAA;EAAA,SAAyB,IAAA;AAAA;EAAA,SACnD,MAAA,WAAiB,UAAA;EAAA,SAAuB,OAAA;EAAA,SAA0B,IAAA;AAAA;EAAA,SAElE,IAAA;EAAA,SACA,aAAA,YAAyB,UAAU;EAAA,SACnC,OAAA;EAAA,SACA,MAAA;AAAA;;AAvDgB;AAS/B;;;;;;KAyDY,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,oBAAoB;AAAA;AAAA,KAG/C,sBAAA,aACE,MAAA;EAAA,SAA0B,KAAA;EAAA,SAAyB,MAAA;AAAA,cACrD,MAAA,SAAe,uBAAA,KACvB,CAAA;AAAA,KAEQ,uBAAA,GAA0B,MAAM,SAAS,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,sBAAA,GACR,CAAA,GACA,MAAA,kBACF,MAAA;AAAA,KAEM,iBAAA,OAAwB,CAAA,oBAChC,MAAA,kBACA,CAAA;EAAA,SAAqB,eAAA;AAAA,IACnB,CAAA,SAAU,sBAAA,GACR,CAAA,GACA,MAAA,kBACF,MAAA;AAAA,KAEM,oBAAA,OAA2B,CAAA,oBACnC,MAAA,kBACA,CAAA;EAAA,SAAqB,kBAAA;AAAA,IACnB,CAAA,SAAU,8BAAA,GACR,CAAA,GACA,MAAA,kBACF,MAAA;AAAA,KAEM,yBAAA,OAAgC,CAAA,oBACxC,MAAA,kBACA,CAAA;EAAA,SAAqB,uBAAA;AAAA,IACnB,CAAA,SAAU,8BAAA,GACR,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,KAC1E,yBAAA,MAA+B,oBAAA,CAAqB,2BAAA,CAA4B,CAAA;AAAA,KAChF,8BAAA,MAAoC,yBAAA,CAC9C,2BAAA,CAA4B,CAAA;AAAA,KAGlB,iBAAA,0BAA2C,SAAA,oBACnD,iBAAA,CAAkB,SAAA,IAClB,YAAA,CAAa,SAAA"}

package/dist/unique-constraint-C0De4sLU.d.mts

@@ -1,55 +0,0 @@
-import { t as SqlNode } from "./sql-node-V214WXQD.mjs";
-
-//#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/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
-export { PrimaryKey as a, IndexInput as i, UniqueConstraintInput as n, PrimaryKeyInput as o, Index as r, UniqueConstraint as t };
-//# sourceMappingURL=unique-constraint-C0De4sLU.d.mts.map

package/dist/unique-constraint-C0De4sLU.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unique-constraint-C0De4sLU.d.mts","names":[],"sources":["../src/ir/primary-key.ts","../src/ir/sql-index.ts","../src/ir/unique-constraint.ts"],"mappings":";;;UAGiB,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;;;AAAA;cAMF,UAAA,SAAmB,OAAO;EAAA,SAC5B,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;UCZJ,UAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAM;AAAA;ADFZ;AAMf;;;;;;;AANe,cCaF,KAAA,SAAc,OAAA;EAAA,SAChB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;cAEf,KAAA,EAAO,UAAA;AAAA;;;UCrBJ,qBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;;;AFAA;cEMF,gBAAA,SAAyB,OAAO;EAAA,SAClC,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,qBAAA;AAAA"}

package/src/exports/foreign-key-materialization.ts

@@ -1,8 +0,0 @@
-export {
-  type BackingIndexCandidates,
-  backingIndexColumnKeys,
-  type ForeignKeyAuthoringInput,
-  isBackedByColumnKeys,
-  type MaterializedTableConstraints,
-  materializeForeignKeysAndIndexes,
-} from '../foreign-key-materialization';

package/src/foreign-key-materialization.ts

@@ -1,107 +0,0 @@
-import { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';
-import type { ForeignKeyInput, ReferentialAction } from './ir/foreign-key';
-import type { ForeignKeyReferenceInput } from './ir/foreign-key-reference';
-import type { PrimaryKeyInput } from './ir/primary-key';
-import type { IndexInput } from './ir/sql-index';
-import type { UniqueConstraintInput } from './ir/unique-constraint';
-
-export 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`).
- */
-export function backingIndexColumnKeys(table: BackingIndexCandidates): readonly string[] {
-  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)`.
- */
-export function isBackedByColumnKeys(
-  columns: readonly string[],
-  backingKeys: readonly string[],
-): boolean {
-  return backingKeys.includes(columns.join(','));
-}
-
-/**
- * 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.
- */
-export interface ForeignKeyAuthoringInput {
-  readonly source: ForeignKeyReferenceInput;
-  readonly target: ForeignKeyReferenceInput;
-  readonly name?: string;
-  readonly onDelete?: ReferentialAction;
-  readonly onUpdate?: ReferentialAction;
-  readonly constraint: boolean;
-  readonly index: boolean;
-}
-
-export 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.
- */
-export function materializeForeignKeysAndIndexes(
-  tableName: string,
-  foreignKeys: readonly ForeignKeyAuthoringInput[],
-  declaredIndexes: readonly IndexInput[],
-  uniques: readonly UniqueConstraintInput[],
-  primaryKey: PrimaryKeyInput | undefined,
-): MaterializedTableConstraints {
-  const satisfiedIndexColumns = new Set(
-    backingIndexColumnKeys({ indexes: declaredIndexes, uniques, primaryKey }),
-  );
-  const synthesizedIndexes: IndexInput[] = [];
-  const materializedForeignKeys: ForeignKeyInput[] = [];
-
-  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],
-  };
-}