@prisma-next/sql-schema-ir 0.14.0-dev.4 → 0.14.0-dev.41

package/dist/exports/types.d.mts

@@ -1,2 +1,2 @@
-import { _ as SqlCheckConstraintIR, a as SqlTableIR, b as PrimaryKeyInput, c as SqlUniqueIRInput, d as SqlForeignKeyIR, f as SqlForeignKeyIRInput, g as SqlColumnIRInput, h as SqlColumnIR, i as SqlSchemaIRInput, l as SqlIndexIR, m as SqlAnnotations, n as SqlTypeMetadataRegistry, o as SqlTableIRInput, p as SqlReferentialAction, r as SqlSchemaIR, s as SqlUniqueIR, t as SqlTypeMetadata, u as SqlIndexIRInput, v as SqlCheckConstraintIRInput, x as SqlSchemaIRNode, y as PrimaryKey } from "../types-Du44_nsJ.mjs";
+import { _ as SqlCheckConstraintIR, a as SqlTableIR, b as PrimaryKeyInput, c as SqlUniqueIRInput, d as SqlForeignKeyIR, f as SqlForeignKeyIRInput, g as SqlColumnIRInput, h as SqlColumnIR, i as SqlSchemaIRInput, l as SqlIndexIR, m as SqlAnnotations, n as SqlTypeMetadataRegistry, o as SqlTableIRInput, p as SqlReferentialAction, r as SqlSchemaIR, s as SqlUniqueIR, t as SqlTypeMetadata, u as SqlIndexIRInput, v as SqlCheckConstraintIRInput, x as SqlSchemaIRNode, y as PrimaryKey } from "../types-CJU1kcRM.mjs";
 export { PrimaryKey, type PrimaryKeyInput, type SqlAnnotations, SqlCheckConstraintIR, type SqlCheckConstraintIRInput, SqlColumnIR, type SqlColumnIRInput, SqlForeignKeyIR, type SqlForeignKeyIRInput, SqlIndexIR, type SqlIndexIRInput, type SqlReferentialAction, SqlSchemaIR, type SqlSchemaIRInput, SqlSchemaIRNode, SqlTableIR, type SqlTableIRInput, type SqlTypeMetadata, type SqlTypeMetadataRegistry, SqlUniqueIR, type SqlUniqueIRInput };

package/dist/exports/types.mjs

@@ -1,2 +1,2 @@
-import { a as SqlForeignKeyIR, c as PrimaryKey, i as SqlIndexIR, l as SqlSchemaIRNode, n as SqlTableIR, o as SqlColumnIR, r as SqlUniqueIR, s as SqlCheckConstraintIR, t as SqlSchemaIR } from "../types-C0WFfEkA.mjs";
+import { a as SqlForeignKeyIR, c as PrimaryKey, i as SqlIndexIR, l as SqlSchemaIRNode, n as SqlTableIR, o as SqlColumnIR, r as SqlUniqueIR, s as SqlCheckConstraintIR, t as SqlSchemaIR } from "../types-Drcy_LQx.mjs";
 export { PrimaryKey, SqlCheckConstraintIR, SqlColumnIR, SqlForeignKeyIR, SqlIndexIR, SqlSchemaIR, SqlSchemaIRNode, SqlTableIR, SqlUniqueIR };

package/dist/index.d.mts

@@ -1,2 +1,2 @@
-import { _ as SqlCheckConstraintIR, a as SqlTableIR, b as PrimaryKeyInput, c as SqlUniqueIRInput, d as SqlForeignKeyIR, f as SqlForeignKeyIRInput, g as SqlColumnIRInput, h as SqlColumnIR, i as SqlSchemaIRInput, l as SqlIndexIR, m as SqlAnnotations, n as SqlTypeMetadataRegistry, o as SqlTableIRInput, p as SqlReferentialAction, r as SqlSchemaIR, s as SqlUniqueIR, t as SqlTypeMetadata, u as SqlIndexIRInput, v as SqlCheckConstraintIRInput, x as SqlSchemaIRNode, y as PrimaryKey } from "./types-Du44_nsJ.mjs";
+import { _ as SqlCheckConstraintIR, a as SqlTableIR, b as PrimaryKeyInput, c as SqlUniqueIRInput, d as SqlForeignKeyIR, f as SqlForeignKeyIRInput, g as SqlColumnIRInput, h as SqlColumnIR, i as SqlSchemaIRInput, l as SqlIndexIR, m as SqlAnnotations, n as SqlTypeMetadataRegistry, o as SqlTableIRInput, p as SqlReferentialAction, r as SqlSchemaIR, s as SqlUniqueIR, t as SqlTypeMetadata, u as SqlIndexIRInput, v as SqlCheckConstraintIRInput, x as SqlSchemaIRNode, y as PrimaryKey } from "./types-CJU1kcRM.mjs";
 export { PrimaryKey, type PrimaryKeyInput, type SqlAnnotations, SqlCheckConstraintIR, type SqlCheckConstraintIRInput, SqlColumnIR, type SqlColumnIRInput, SqlForeignKeyIR, type SqlForeignKeyIRInput, SqlIndexIR, type SqlIndexIRInput, type SqlReferentialAction, SqlSchemaIR, type SqlSchemaIRInput, SqlSchemaIRNode, SqlTableIR, type SqlTableIRInput, type SqlTypeMetadata, type SqlTypeMetadataRegistry, SqlUniqueIR, type SqlUniqueIRInput };

package/dist/index.mjs

@@ -1,2 +1,2 @@
-import { a as SqlForeignKeyIR, c as PrimaryKey, i as SqlIndexIR, l as SqlSchemaIRNode, n as SqlTableIR, o as SqlColumnIR, r as SqlUniqueIR, s as SqlCheckConstraintIR, t as SqlSchemaIR } from "./types-C0WFfEkA.mjs";
+import { a as SqlForeignKeyIR, c as PrimaryKey, i as SqlIndexIR, l as SqlSchemaIRNode, n as SqlTableIR, o as SqlColumnIR, r as SqlUniqueIR, s as SqlCheckConstraintIR, t as SqlSchemaIR } from "./types-Drcy_LQx.mjs";
 export { PrimaryKey, SqlCheckConstraintIR, SqlColumnIR, SqlForeignKeyIR, SqlIndexIR, SqlSchemaIR, SqlSchemaIRNode, SqlTableIR, SqlUniqueIR };

package/dist/{types-Du44_nsJ.d.mts → types-CJU1kcRM.d.mts}

@@ -22,6 +22,14 @@ import { IRNodeBase } from "@prisma-next/framework-components/ir";
  */
 declare abstract class SqlSchemaIRNode extends IRNodeBase {
   readonly kind?: string;
+  /**
+   * Enumerable discriminant identifying which node this is (database /
+   * namespace / table / policy / role). Target concretions set a unique value;
+   * the `.is`/`.assert` guards compare against it. Unlike `kind`, it is
+   * enumerable, so it survives a spread that flattens a node into a plain
+   * object.
+   */
+  readonly nodeKind?: string;
   constructor();
 }
 //#endregion
@@ -80,6 +88,8 @@ interface SqlColumnIRInput {
   /** Raw database default expression (e.g. `'hello'::text`, `nextval('seq')`). */
   readonly default?: string;
   readonly annotations?: SqlAnnotations;
+  /** True when the column is a native array (e.g. `text[]`, `int4[]`). The `nativeType` carries the element type only (e.g. `text`, `int4`). */
+  readonly many?: boolean;
 }
 /**
  * Schema IR node for a single column on a table, as observed by
@@ -94,6 +104,8 @@ declare class SqlColumnIR extends SqlSchemaIRNode {
   readonly nullable: boolean;
   readonly default?: string;
   readonly annotations?: SqlAnnotations;
+  /** True when the column is a native array (e.g. `text[]`, `int4[]`). The `nativeType` carries the element type only (e.g. `text`, `int4`). */
+  readonly many?: boolean;
   constructor(input: SqlColumnIRInput);
 }
 //#endregion
@@ -258,4 +270,4 @@ interface SqlTypeMetadataRegistry {
 }
 //#endregion
 export { SqlCheckConstraintIR as _, SqlTableIR as a, PrimaryKeyInput as b, SqlUniqueIRInput as c, SqlForeignKeyIR as d, SqlForeignKeyIRInput as f, SqlColumnIRInput as g, SqlColumnIR as h, SqlSchemaIRInput as i, SqlIndexIR as l, SqlAnnotations as m, SqlTypeMetadataRegistry as n, SqlTableIRInput as o, SqlReferentialAction as p, SqlSchemaIR as r, SqlUniqueIR as s, SqlTypeMetadata as t, SqlIndexIRInput as u, SqlCheckConstraintIRInput as v, SqlSchemaIRNode as x, PrimaryKey as y };
-//# sourceMappingURL=types-Du44_nsJ.d.mts.map
+//# sourceMappingURL=types-CJU1kcRM.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-CJU1kcRM.d.mts","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.ts","../src/ir/sql-check-constraint-ir.ts","../src/ir/sql-column-ir.ts","../src/ir/sql-foreign-key-ir.ts","../src/ir/sql-index-ir.ts","../src/ir/sql-unique-ir.ts","../src/ir/sql-table-ir.ts","../src/ir/sql-schema-ir.ts","../src/types.ts"],"mappings":";;;;;AAqBA;;;;;;;;;;;;;AClBA;;;;uBDkBsB,eAAA,SAAwB,UAAU;EAAA,SAC7C,IAAA;ECRa;;;;;;;EAAA,SDiBb,QAAA;;;;;UC5BM,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;;;;;;;cASF,UAAA,SAAmB,eAAe;EAAA,SACpC,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;UCfJ,yBAAA;;WAEN,IAAA;EFgB2B;EAAA,SEd3B,MAAA;EFc6C;EAAA,SEZ7C,eAAA;AAAA;;;;;;;;cAUE,oBAAA,SAA6B,eAAe;EAAA,SAC9C,IAAA;EAAA,SACA,MAAA;EAAA,SACA,eAAA;cAEG,KAAA,EAAO,yBAAA;AAAA;;;;;AFHrB;;KGdY,cAAA;EAAA,UACA,SAAiB;AAAA;AAAA,UAGZ,gBAAA;EAAA,SACN,IAAA;EAAA,SACA,UAAA;EAAA,SACA,QAAA;;WAEA,OAAA;EAAA,SACA,WAAA,GAAc,cAAc;;WAE5B,IAAA;AAAA;;;AFdI;AASf;;;;cEea,WAAA,SAAoB,eAAA;EAAA,SACtB,IAAA;EAAA,SACA,UAAA;EAAA,SACA,QAAA;EAAA,SACQ,OAAA;EAAA,SACA,WAAA,GAAc,cAAA;EFhBG;EAAA,SEkBjB,IAAA;cAEL,KAAA,EAAO,gBAAA;AAAA;;;KClCT,oBAAA;AAAA,UAEK,oBAAA;EAAA,SACN,OAAA;EAAA,SACA,eAAA;EAAA,SACA,iBAAA;EJYmC;EAAA,SIVnC,gBAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;AAAA;;;AHZzB;;;;AAEe;AASf;cGYa,eAAA,SAAwB,eAAA;EAAA,SAC1B,OAAA;EAAA,SACA,eAAA;EAAA,SACA,iBAAA;EAAA,SACQ,gBAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,oBAAA;AAAA;;;UChCJ,eAAA;EAAA,SACN,OAAA;EAAA,SACA,MAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,WAAA,GAAc,cAAc;AAAA;;;;;;;AJPvC;cIiBa,UAAA,SAAmB,eAAA;EAAA,SACrB,OAAA;EAAA,SACA,MAAA;EAAA,SACQ,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,eAAA;AAAA;;;UCxBJ,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,WAAA,GAAc,cAAc;AAAA;;;;;cAO1B,WAAA,SAAoB,eAAA;EAAA,SACtB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;UCVJ,eAAA;EAAA,SACN,IAAA;EAAA,SACA,OAAA,EAAS,MAAA,SAAe,WAAA,GAAc,gBAAA;EAAA,SACtC,WAAA,EAAa,aAAA,CAAc,eAAA,GAAkB,oBAAA;EAAA,SAC7C,OAAA,EAAS,aAAA,CAAc,WAAA,GAAc,gBAAA;EAAA,SACrC,OAAA,EAAS,aAAA,CAAc,UAAA,GAAa,eAAA;EAAA,SACpC,UAAA,GAAa,UAAA,GAAa,eAAA;EAAA,SAC1B,WAAA,GAAc,cAAA;;WAEd,MAAA,GAAS,aAAA,CAAc,oBAAA,GAAuB,yBAAA;AAAA;;;ANb1C;AASf;;;;;;;;;;;cMqBa,UAAA,SAAmB,eAAA;EAAA,SACrB,IAAA;EAAA,SACA,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,WAAA;EAAA,SACjC,WAAA,EAAa,aAAA,CAAc,eAAA;EAAA,SAC3B,OAAA,EAAS,aAAA,CAAc,WAAA;EAAA,SACvB,OAAA,EAAS,aAAA,CAAc,UAAA;EAAA,SACf,UAAA,GAAa,UAAA;EAAA,SACb,WAAA,GAAc,cAAA;EAAA,SACd,MAAA,GAAS,aAAA,CAAc,oBAAA;cAE5B,KAAA,EAAO,eAAA;AAAA;;;UCxCJ,gBAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,UAAA,GAAa,eAAA;EAAA,SACpC,WAAA,GAAc,cAAA;AAAA;;;;;;;;;;APJzB;cOiBa,WAAA,SAAoB,eAAA;EAAA,SACtB,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,UAAA;EAAA,SACxB,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;;APnBN;AASf;;;UQuBiB,eAAA;ERvBe;EAAA,SQyBrB,MAAA;ERvBQ;EAAA,SQ0BR,WAAA;ERxBU;;;AAAe;EAAf,SQ8BV,UAAA;AAAA;;AP7CX;;;UOoDiB,uBAAA;EACf,MAAA,IAAU,gBAAgB,CAAC,eAAA;AAAA"}

package/dist/{types-C0WFfEkA.mjs → types-Drcy_LQx.mjs}

@@ -21,6 +21,14 @@ import { IRNodeBase, freezeNode } from "@prisma-next/framework-components/ir";
 */
 var SqlSchemaIRNode = class extends IRNodeBase {
 	kind;
+	/**
+	* Enumerable discriminant identifying which node this is (database /
+	* namespace / table / policy / role). Target concretions set a unique value;
+	* the `.is`/`.assert` guards compare against it. Unlike `kind`, it is
+	* enumerable, so it survives a spread that flattens a node into a plain
+	* object.
+	*/
+	nodeKind;
 	constructor() {
 		super();
 		Object.defineProperty(this, "kind", {
@@ -89,6 +97,7 @@ var SqlColumnIR = class extends SqlSchemaIRNode {
 		this.nullable = input.nullable;
 		if (input.default !== void 0) this.default = input.default;
 		if (input.annotations !== void 0) this.annotations = input.annotations;
+		if (input.many !== void 0) this.many = input.many;
 		freezeNode(this);
 	}
 };
@@ -217,4 +226,4 @@ var SqlSchemaIR = class extends SqlSchemaIRNode {
 //#endregion
 export { SqlForeignKeyIR as a, PrimaryKey as c, SqlIndexIR as i, SqlSchemaIRNode as l, SqlTableIR as n, SqlColumnIR as o, SqlUniqueIR as r, SqlCheckConstraintIR as s, SqlSchemaIR as t };
 
-//# sourceMappingURL=types-C0WFfEkA.mjs.map
+//# sourceMappingURL=types-Drcy_LQx.mjs.map

package/dist/types-Drcy_LQx.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-Drcy_LQx.mjs","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.ts","../src/ir/sql-check-constraint-ir.ts","../src/ir/sql-column-ir.ts","../src/ir/sql-foreign-key-ir.ts","../src/ir/sql-index-ir.ts","../src/ir/sql-unique-ir.ts","../src/ir/sql-table-ir.ts","../src/ir/sql-schema-ir.ts"],"sourcesContent":["import { IRNodeBase } from '@prisma-next/framework-components/ir';\n\n/**\n * SQL Schema IR node base. Carries the family-level\n * `kind = 'sql-schema-ir'` discriminator and inherits the framework's\n * `freezeNode` affordance.\n *\n * SQL Schema IR represents the actual database state as discovered by\n * introspection (the parallel to SQL Contract IR, which represents the\n * desired state). Like the Contract side, today's Schema IR has no\n * polymorphic dispatch — verifiers and planners walk by structural\n * position, not by inspecting `kind` — so a single family-level\n * discriminator is sufficient. Future per-leaf overrides land cleanly\n * the same way as on the Contract side.\n *\n * The discriminator is installed as a non-enumerable own property,\n * matching the SqlNode pattern. This keeps `JSON.stringify(node)`\n * canonical (no `kind` field), keeps `toEqual({...})` test assertions\n * against pre-lift flat shapes passing, and keeps `node.kind` readable\n * for future polymorphic dispatch.\n */\nexport abstract class SqlSchemaIRNode extends IRNodeBase {\n  readonly kind?: string;\n\n  /**\n   * Enumerable discriminant identifying which node this is (database /\n   * namespace / table / policy / role). Target concretions set a unique value;\n   * the `.is`/`.assert` guards compare against it. Unlike `kind`, it is\n   * enumerable, so it survives a spread that flattens a node into a plain\n   * object.\n   */\n  readonly nodeKind?: string;\n\n  constructor() {\n    super();\n    Object.defineProperty(this, 'kind', {\n      value: 'sql-schema-ir',\n      writable: false,\n      enumerable: false,\n      configurable: false,\n    });\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport interface PrimaryKeyInput {\n  readonly columns: readonly string[];\n  readonly name?: string;\n}\n\n/**\n * Primary-key Schema IR node. Mirrors the Contract IR `PrimaryKey`\n * shape (same `columns` + optional `name`) so verification can compare\n * intent and actual structurally. Defined here independently to avoid\n * a sql-schema-ir -> sql-contract dependency.\n */\nexport class PrimaryKey extends SqlSchemaIRNode {\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 { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport interface SqlCheckConstraintIRInput {\n  /** Constraint name as stored in the database catalog. */\n  readonly name: string;\n  /** Column the check restricts. */\n  readonly column: string;\n  /** Permitted values the column must be IN. */\n  readonly permittedValues: readonly string[];\n}\n\n/**\n * Schema IR node for a table-level check constraint that restricts a\n * column to a set of permitted values (an enum-style `IN (...)` check).\n *\n * Carries the **resolved values** rather than a raw SQL predicate so\n * callers can compare value-sets without parsing SQL.\n */\nexport class SqlCheckConstraintIR extends SqlSchemaIRNode {\n  readonly name: string;\n  readonly column: string;\n  readonly permittedValues: readonly string[];\n\n  constructor(input: SqlCheckConstraintIRInput) {\n    super();\n    this.name = input.name;\n    this.column = input.column;\n    this.permittedValues = Object.freeze([...input.permittedValues]);\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\n/**\n * Namespaced annotations for extensibility. Each namespace\n * (e.g. `pg`, `pgvector`) owns its annotations subtree.\n */\nexport type SqlAnnotations = {\n  readonly [namespace: string]: unknown;\n};\n\nexport interface SqlColumnIRInput {\n  readonly name: string;\n  readonly nativeType: string;\n  readonly nullable: boolean;\n  /** Raw database default expression (e.g. `'hello'::text`, `nextval('seq')`). */\n  readonly default?: string;\n  readonly annotations?: SqlAnnotations;\n  /** True when the column is a native array (e.g. `text[]`, `int4[]`). The `nativeType` carries the element type only (e.g. `text`, `int4`). */\n  readonly many?: boolean;\n}\n\n/**\n * Schema IR node for a single column on a table, as observed by\n * introspection. Unlike the Contract IR `StorageColumn`, this carries\n * the column's `name` (Schema IR columns are returned as arrays from\n * introspection queries; the parent table re-keys them into a record\n * for downstream consumers).\n */\nexport class SqlColumnIR extends SqlSchemaIRNode {\n  readonly name: string;\n  readonly nativeType: string;\n  readonly nullable: boolean;\n  declare readonly default?: string;\n  declare readonly annotations?: SqlAnnotations;\n  /** True when the column is a native array (e.g. `text[]`, `int4[]`). The `nativeType` carries the element type only (e.g. `text`, `int4`). */\n  declare readonly many?: boolean;\n\n  constructor(input: SqlColumnIRInput) {\n    super();\n    this.name = input.name;\n    this.nativeType = input.nativeType;\n    this.nullable = input.nullable;\n    if (input.default !== undefined) this.default = input.default;\n    if (input.annotations !== undefined) this.annotations = input.annotations;\n    if (input.many !== undefined) this.many = input.many;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport type { SqlAnnotations } from './sql-column-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport type SqlReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';\n\nexport interface SqlForeignKeyIRInput {\n  readonly columns: readonly string[];\n  readonly referencedTable: string;\n  readonly referencedColumns: readonly string[];\n  /** Schema (namespace) of the referenced table — populated by adapters that introspect cross-schema FKs. */\n  readonly referencedSchema?: string;\n  readonly name?: string;\n  readonly onDelete?: SqlReferentialAction;\n  readonly onUpdate?: SqlReferentialAction;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Schema IR node for a foreign-key constraint as observed by\n * introspection. The `referencedTable` / `referencedColumns` field\n * names match the introspection vocabulary (`pg_constraint.confkey`,\n * etc.) and intentionally differ from the Contract IR's nested\n * `references: { table, columns }` shape so that the verifier's\n * structural comparison stays explicit about which side it's reading.\n */\nexport class SqlForeignKeyIR extends SqlSchemaIRNode {\n  readonly columns: readonly string[];\n  readonly referencedTable: string;\n  readonly referencedColumns: readonly string[];\n  declare readonly referencedSchema?: string;\n  declare readonly name?: string;\n  declare readonly onDelete?: SqlReferentialAction;\n  declare readonly onUpdate?: SqlReferentialAction;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlForeignKeyIRInput) {\n    super();\n    this.columns = input.columns;\n    this.referencedTable = input.referencedTable;\n    this.referencedColumns = input.referencedColumns;\n    if (input.referencedSchema !== undefined) this.referencedSchema = input.referencedSchema;\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    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport type { SqlAnnotations } from './sql-column-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport interface SqlIndexIRInput {\n  readonly columns: readonly string[];\n  readonly unique: boolean;\n  readonly name?: string;\n  readonly type?: string;\n  readonly options?: Record<string, unknown>;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Schema IR node for a secondary index as observed by introspection.\n * Unlike the Contract IR `Index`, the Schema IR carries an explicit\n * `unique` field — introspection sees the underlying index regardless\n * of whether the user expressed it as `@@index` or `@@unique`, and the\n * verifier needs to distinguish them when comparing to the Contract.\n */\nexport class SqlIndexIR extends SqlSchemaIRNode {\n  readonly columns: readonly string[];\n  readonly unique: boolean;\n  declare readonly name?: string;\n  declare readonly type?: string;\n  declare readonly options?: Record<string, unknown>;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlIndexIRInput) {\n    super();\n    this.columns = input.columns;\n    this.unique = input.unique;\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    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport type { SqlAnnotations } from './sql-column-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport interface SqlUniqueIRInput {\n  readonly columns: readonly string[];\n  readonly name?: string;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Schema IR node for a table-level unique constraint as observed by\n * introspection.\n */\nexport class SqlUniqueIR extends SqlSchemaIRNode {\n  readonly columns: readonly string[];\n  declare readonly name?: string;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlUniqueIRInput) {\n    super();\n    this.columns = [...input.columns];\n    if (input.name !== undefined) this.name = input.name;\n    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { PrimaryKey, type PrimaryKeyInput } from './primary-key';\nimport { SqlCheckConstraintIR, type SqlCheckConstraintIRInput } from './sql-check-constraint-ir';\nimport { type SqlAnnotations, SqlColumnIR, type SqlColumnIRInput } from './sql-column-ir';\nimport { SqlForeignKeyIR, type SqlForeignKeyIRInput } from './sql-foreign-key-ir';\nimport { SqlIndexIR, type SqlIndexIRInput } from './sql-index-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\nimport { SqlUniqueIR, type SqlUniqueIRInput } from './sql-unique-ir';\n\nexport interface SqlTableIRInput {\n  readonly name: string;\n  readonly columns: Record<string, SqlColumnIR | SqlColumnIRInput>;\n  readonly foreignKeys: ReadonlyArray<SqlForeignKeyIR | SqlForeignKeyIRInput>;\n  readonly uniques: ReadonlyArray<SqlUniqueIR | SqlUniqueIRInput>;\n  readonly indexes: ReadonlyArray<SqlIndexIR | SqlIndexIRInput>;\n  readonly primaryKey?: PrimaryKey | PrimaryKeyInput;\n  readonly annotations?: SqlAnnotations;\n  /** Optional check constraints for enum-restricted columns. Omitted when none present. */\n  readonly checks?: ReadonlyArray<SqlCheckConstraintIR | SqlCheckConstraintIRInput>;\n}\n\n/**\n * Schema IR node for a single table as observed by introspection.\n *\n * Unlike the Contract IR `StorageTable`, this carries the table's\n * `name` — introspection queries return tables as arrays and the\n * verifier keys them into `SqlSchemaIR.tables` afterwards, so the name\n * stays on the table object for downstream call sites that walk\n * `Object.values(schema.tables)`.\n *\n * The constructor normalises nested IR-class fields so downstream\n * walks see a uniform AST regardless of whether the input was a\n * plain-data literal (from introspection) or already-constructed\n * class instances.\n */\nexport class SqlTableIR extends SqlSchemaIRNode {\n  readonly name: string;\n  readonly columns: Readonly<Record<string, SqlColumnIR>>;\n  readonly foreignKeys: ReadonlyArray<SqlForeignKeyIR>;\n  readonly uniques: ReadonlyArray<SqlUniqueIR>;\n  readonly indexes: ReadonlyArray<SqlIndexIR>;\n  declare readonly primaryKey?: PrimaryKey;\n  declare readonly annotations?: SqlAnnotations;\n  declare readonly checks?: ReadonlyArray<SqlCheckConstraintIR>;\n\n  constructor(input: SqlTableIRInput) {\n    super();\n    this.name = input.name;\n    this.columns = Object.freeze(\n      Object.fromEntries(\n        Object.entries(input.columns).map(([key, col]) => [\n          key,\n          col instanceof SqlColumnIR ? col : new SqlColumnIR(col),\n        ]),\n      ),\n    );\n    this.foreignKeys = Object.freeze(\n      input.foreignKeys.map((fk) => (fk instanceof SqlForeignKeyIR ? fk : new SqlForeignKeyIR(fk))),\n    );\n    this.uniques = Object.freeze(\n      input.uniques.map((u) => (u instanceof SqlUniqueIR ? u : new SqlUniqueIR(u))),\n    );\n    this.indexes = Object.freeze(\n      input.indexes.map((i) => (i instanceof SqlIndexIR ? i : new SqlIndexIR(i))),\n    );\n    if (input.primaryKey !== undefined) {\n      this.primaryKey =\n        input.primaryKey instanceof PrimaryKey\n          ? input.primaryKey\n          : new PrimaryKey(input.primaryKey);\n    }\n    if (input.annotations !== undefined) this.annotations = input.annotations;\n    if (input.checks !== undefined && input.checks.length > 0) {\n      this.checks = Object.freeze(\n        input.checks.map((c) =>\n          c instanceof SqlCheckConstraintIR ? c : new SqlCheckConstraintIR(c),\n        ),\n      );\n    }\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport type { SqlAnnotations } from './sql-column-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\nimport { SqlTableIR, type SqlTableIRInput } from './sql-table-ir';\n\nexport interface SqlSchemaIRInput {\n  readonly tables: Record<string, SqlTableIR | SqlTableIRInput>;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Root Schema IR node representing the complete database schema as\n * observed by introspection. Target-agnostic; used by both verifiers\n * (compare against intended Contract storage) and migration planners\n * (derive operations needed to reconcile).\n *\n * The constructor normalises nested `SqlTableIR` instances so\n * downstream walks see a uniform AST regardless of whether the input\n * was a plain-data literal or already-constructed class instances.\n */\nexport class SqlSchemaIR extends SqlSchemaIRNode {\n  readonly tables: Readonly<Record<string, SqlTableIR>>;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlSchemaIRInput) {\n    super();\n    this.tables = Object.freeze(\n      Object.fromEntries(\n        Object.entries(input.tables).map(([key, t]) => [\n          key,\n          t instanceof SqlTableIR ? t : new SqlTableIR(t),\n        ]),\n      ),\n    );\n    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAqBA,IAAsB,kBAAtB,cAA8C,WAAW;CACvD;;;;;;;;CASA;CAEA,cAAc;EACZ,MAAM;EACN,OAAO,eAAe,MAAM,QAAQ;GAClC,OAAO;GACP,UAAU;GACV,YAAY;GACZ,cAAc;EAChB,CAAC;CACH;AACF;;;;;;;;;AC5BA,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CAGA,YAAY,OAAwB;EAClC,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,WAAW,IAAI;CACjB;AACF;;;;;;;;;;ACLA,IAAa,uBAAb,cAA0C,gBAAgB;CACxD;CACA;CACA;CAEA,YAAY,OAAkC;EAC5C,MAAM;EACN,KAAK,OAAO,MAAM;EAClB,KAAK,SAAS,MAAM;EACpB,KAAK,kBAAkB,OAAO,OAAO,CAAC,GAAG,MAAM,eAAe,CAAC;EAC/D,WAAW,IAAI;CACjB;AACF;;;;;;;;;;ACFA,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CACA;CACA;CAMA,YAAY,OAAyB;EACnC,MAAM;EACN,KAAK,OAAO,MAAM;EAClB,KAAK,aAAa,MAAM;EACxB,KAAK,WAAW,MAAM;EACtB,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;ACtBA,IAAa,kBAAb,cAAqC,gBAAgB;CACnD;CACA;CACA;CAOA,YAAY,OAA6B;EACvC,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,KAAK,kBAAkB,MAAM;EAC7B,KAAK,oBAAoB,MAAM;EAC/B,IAAI,MAAM,qBAAqB,KAAA,GAAW,KAAK,mBAAmB,MAAM;EACxE,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,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF;;;;;;;;;;AC5BA,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CACA;CAMA,YAAY,OAAwB;EAClC,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,KAAK,SAAS,MAAM;EACpB,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,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF;;;;;;;ACxBA,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CAIA,YAAY,OAAyB;EACnC,MAAM;EACN,KAAK,UAAU,CAAC,GAAG,MAAM,OAAO;EAChC,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;;;;;;;ACSA,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CACA;CACA;CACA;CACA;CAKA,YAAY,OAAwB;EAClC,MAAM;EACN,KAAK,OAAO,MAAM;EAClB,KAAK,UAAU,OAAO,OACpB,OAAO,YACL,OAAO,QAAQ,MAAM,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,SAAS,CAChD,KACA,eAAe,cAAc,MAAM,IAAI,YAAY,GAAG,CACxD,CAAC,CACH,CACF;EACA,KAAK,cAAc,OAAO,OACxB,MAAM,YAAY,KAAK,OAAQ,cAAc,kBAAkB,KAAK,IAAI,gBAAgB,EAAE,CAAE,CAC9F;EACA,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,cAAc,IAAI,IAAI,YAAY,CAAC,CAAE,CAC9E;EACA,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,aAAa,IAAI,IAAI,WAAW,CAAC,CAAE,CAC5E;EACA,IAAI,MAAM,eAAe,KAAA,GACvB,KAAK,aACH,MAAM,sBAAsB,aACxB,MAAM,aACN,IAAI,WAAW,MAAM,UAAU;EAEvC,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,IAAI,MAAM,WAAW,KAAA,KAAa,MAAM,OAAO,SAAS,GACtD,KAAK,SAAS,OAAO,OACnB,MAAM,OAAO,KAAK,MAChB,aAAa,uBAAuB,IAAI,IAAI,qBAAqB,CAAC,CACpE,CACF;EAEF,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;;;AC7DA,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CAGA,YAAY,OAAyB;EACnC,MAAM;EACN,KAAK,SAAS,OAAO,OACnB,OAAO,YACL,OAAO,QAAQ,MAAM,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,OAAO,CAC7C,KACA,aAAa,aAAa,IAAI,IAAI,WAAW,CAAC,CAChD,CAAC,CACH,CACF;EACA,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF"}

package/package.json

@@ -1,18 +1,18 @@
 {
   "name": "@prisma-next/sql-schema-ir",
-  "version": "0.14.0-dev.4",
+  "version": "0.14.0-dev.41",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "SQL Schema IR types for schema introspection and verification",
   "dependencies": {
-    "@prisma-next/contract": "0.14.0-dev.4",
-    "@prisma-next/framework-components": "0.14.0-dev.4"
+    "@prisma-next/contract": "0.14.0-dev.41",
+    "@prisma-next/framework-components": "0.14.0-dev.41"
   },
   "devDependencies": {
-    "@prisma-next/test-utils": "0.14.0-dev.4",
-    "@prisma-next/tsconfig": "0.14.0-dev.4",
-    "@prisma-next/tsdown": "0.14.0-dev.4",
+    "@prisma-next/test-utils": "0.14.0-dev.41",
+    "@prisma-next/tsconfig": "0.14.0-dev.41",
+    "@prisma-next/tsdown": "0.14.0-dev.41",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
     "vitest": "4.1.8"

package/src/ir/sql-column-ir.ts

@@ -16,6 +16,8 @@ export interface SqlColumnIRInput {
   /** Raw database default expression (e.g. `'hello'::text`, `nextval('seq')`). */
   readonly default?: string;
   readonly annotations?: SqlAnnotations;
+  /** True when the column is a native array (e.g. `text[]`, `int4[]`). The `nativeType` carries the element type only (e.g. `text`, `int4`). */
+  readonly many?: boolean;
 }
 
 /**
@@ -31,6 +33,8 @@ export class SqlColumnIR extends SqlSchemaIRNode {
   readonly nullable: boolean;
   declare readonly default?: string;
   declare readonly annotations?: SqlAnnotations;
+  /** True when the column is a native array (e.g. `text[]`, `int4[]`). The `nativeType` carries the element type only (e.g. `text`, `int4`). */
+  declare readonly many?: boolean;
 
   constructor(input: SqlColumnIRInput) {
     super();
@@ -39,6 +43,7 @@ export class SqlColumnIR extends SqlSchemaIRNode {
     this.nullable = input.nullable;
     if (input.default !== undefined) this.default = input.default;
     if (input.annotations !== undefined) this.annotations = input.annotations;
+    if (input.many !== undefined) this.many = input.many;
     freezeNode(this);
   }
 }

package/src/ir/sql-schema-ir-node.ts

@@ -22,6 +22,15 @@ import { IRNodeBase } from '@prisma-next/framework-components/ir';
 export abstract class SqlSchemaIRNode extends IRNodeBase {
   readonly kind?: string;
 
+  /**
+   * Enumerable discriminant identifying which node this is (database /
+   * namespace / table / policy / role). Target concretions set a unique value;
+   * the `.is`/`.assert` guards compare against it. Unlike `kind`, it is
+   * enumerable, so it survives a spread that flattens a node into a plain
+   * object.
+   */
+  readonly nodeKind?: string;
+
   constructor() {
     super();
     Object.defineProperty(this, 'kind', {

package/dist/types-C0WFfEkA.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-C0WFfEkA.mjs","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.ts","../src/ir/sql-check-constraint-ir.ts","../src/ir/sql-column-ir.ts","../src/ir/sql-foreign-key-ir.ts","../src/ir/sql-index-ir.ts","../src/ir/sql-unique-ir.ts","../src/ir/sql-table-ir.ts","../src/ir/sql-schema-ir.ts"],"sourcesContent":["import { IRNodeBase } from '@prisma-next/framework-components/ir';\n\n/**\n * SQL Schema IR node base. Carries the family-level\n * `kind = 'sql-schema-ir'` discriminator and inherits the framework's\n * `freezeNode` affordance.\n *\n * SQL Schema IR represents the actual database state as discovered by\n * introspection (the parallel to SQL Contract IR, which represents the\n * desired state). Like the Contract side, today's Schema IR has no\n * polymorphic dispatch — verifiers and planners walk by structural\n * position, not by inspecting `kind` — so a single family-level\n * discriminator is sufficient. Future per-leaf overrides land cleanly\n * the same way as on the Contract side.\n *\n * The discriminator is installed as a non-enumerable own property,\n * matching the SqlNode pattern. This keeps `JSON.stringify(node)`\n * canonical (no `kind` field), keeps `toEqual({...})` test assertions\n * against pre-lift flat shapes passing, and keeps `node.kind` readable\n * for future polymorphic dispatch.\n */\nexport abstract class SqlSchemaIRNode extends IRNodeBase {\n  readonly kind?: string;\n\n  constructor() {\n    super();\n    Object.defineProperty(this, 'kind', {\n      value: 'sql-schema-ir',\n      writable: false,\n      enumerable: false,\n      configurable: false,\n    });\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport interface PrimaryKeyInput {\n  readonly columns: readonly string[];\n  readonly name?: string;\n}\n\n/**\n * Primary-key Schema IR node. Mirrors the Contract IR `PrimaryKey`\n * shape (same `columns` + optional `name`) so verification can compare\n * intent and actual structurally. Defined here independently to avoid\n * a sql-schema-ir -> sql-contract dependency.\n */\nexport class PrimaryKey extends SqlSchemaIRNode {\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 { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport interface SqlCheckConstraintIRInput {\n  /** Constraint name as stored in the database catalog. */\n  readonly name: string;\n  /** Column the check restricts. */\n  readonly column: string;\n  /** Permitted values the column must be IN. */\n  readonly permittedValues: readonly string[];\n}\n\n/**\n * Schema IR node for a table-level check constraint that restricts a\n * column to a set of permitted values (an enum-style `IN (...)` check).\n *\n * Carries the **resolved values** rather than a raw SQL predicate so\n * callers can compare value-sets without parsing SQL.\n */\nexport class SqlCheckConstraintIR extends SqlSchemaIRNode {\n  readonly name: string;\n  readonly column: string;\n  readonly permittedValues: readonly string[];\n\n  constructor(input: SqlCheckConstraintIRInput) {\n    super();\n    this.name = input.name;\n    this.column = input.column;\n    this.permittedValues = Object.freeze([...input.permittedValues]);\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\n/**\n * Namespaced annotations for extensibility. Each namespace\n * (e.g. `pg`, `pgvector`) owns its annotations subtree.\n */\nexport type SqlAnnotations = {\n  readonly [namespace: string]: unknown;\n};\n\nexport interface SqlColumnIRInput {\n  readonly name: string;\n  readonly nativeType: string;\n  readonly nullable: boolean;\n  /** Raw database default expression (e.g. `'hello'::text`, `nextval('seq')`). */\n  readonly default?: string;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Schema IR node for a single column on a table, as observed by\n * introspection. Unlike the Contract IR `StorageColumn`, this carries\n * the column's `name` (Schema IR columns are returned as arrays from\n * introspection queries; the parent table re-keys them into a record\n * for downstream consumers).\n */\nexport class SqlColumnIR extends SqlSchemaIRNode {\n  readonly name: string;\n  readonly nativeType: string;\n  readonly nullable: boolean;\n  declare readonly default?: string;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlColumnIRInput) {\n    super();\n    this.name = input.name;\n    this.nativeType = input.nativeType;\n    this.nullable = input.nullable;\n    if (input.default !== undefined) this.default = input.default;\n    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport type { SqlAnnotations } from './sql-column-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport type SqlReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';\n\nexport interface SqlForeignKeyIRInput {\n  readonly columns: readonly string[];\n  readonly referencedTable: string;\n  readonly referencedColumns: readonly string[];\n  /** Schema (namespace) of the referenced table — populated by adapters that introspect cross-schema FKs. */\n  readonly referencedSchema?: string;\n  readonly name?: string;\n  readonly onDelete?: SqlReferentialAction;\n  readonly onUpdate?: SqlReferentialAction;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Schema IR node for a foreign-key constraint as observed by\n * introspection. The `referencedTable` / `referencedColumns` field\n * names match the introspection vocabulary (`pg_constraint.confkey`,\n * etc.) and intentionally differ from the Contract IR's nested\n * `references: { table, columns }` shape so that the verifier's\n * structural comparison stays explicit about which side it's reading.\n */\nexport class SqlForeignKeyIR extends SqlSchemaIRNode {\n  readonly columns: readonly string[];\n  readonly referencedTable: string;\n  readonly referencedColumns: readonly string[];\n  declare readonly referencedSchema?: string;\n  declare readonly name?: string;\n  declare readonly onDelete?: SqlReferentialAction;\n  declare readonly onUpdate?: SqlReferentialAction;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlForeignKeyIRInput) {\n    super();\n    this.columns = input.columns;\n    this.referencedTable = input.referencedTable;\n    this.referencedColumns = input.referencedColumns;\n    if (input.referencedSchema !== undefined) this.referencedSchema = input.referencedSchema;\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    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport type { SqlAnnotations } from './sql-column-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport interface SqlIndexIRInput {\n  readonly columns: readonly string[];\n  readonly unique: boolean;\n  readonly name?: string;\n  readonly type?: string;\n  readonly options?: Record<string, unknown>;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Schema IR node for a secondary index as observed by introspection.\n * Unlike the Contract IR `Index`, the Schema IR carries an explicit\n * `unique` field — introspection sees the underlying index regardless\n * of whether the user expressed it as `@@index` or `@@unique`, and the\n * verifier needs to distinguish them when comparing to the Contract.\n */\nexport class SqlIndexIR extends SqlSchemaIRNode {\n  readonly columns: readonly string[];\n  readonly unique: boolean;\n  declare readonly name?: string;\n  declare readonly type?: string;\n  declare readonly options?: Record<string, unknown>;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlIndexIRInput) {\n    super();\n    this.columns = input.columns;\n    this.unique = input.unique;\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    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport type { SqlAnnotations } from './sql-column-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\n\nexport interface SqlUniqueIRInput {\n  readonly columns: readonly string[];\n  readonly name?: string;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Schema IR node for a table-level unique constraint as observed by\n * introspection.\n */\nexport class SqlUniqueIR extends SqlSchemaIRNode {\n  readonly columns: readonly string[];\n  declare readonly name?: string;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlUniqueIRInput) {\n    super();\n    this.columns = [...input.columns];\n    if (input.name !== undefined) this.name = input.name;\n    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport { PrimaryKey, type PrimaryKeyInput } from './primary-key';\nimport { SqlCheckConstraintIR, type SqlCheckConstraintIRInput } from './sql-check-constraint-ir';\nimport { type SqlAnnotations, SqlColumnIR, type SqlColumnIRInput } from './sql-column-ir';\nimport { SqlForeignKeyIR, type SqlForeignKeyIRInput } from './sql-foreign-key-ir';\nimport { SqlIndexIR, type SqlIndexIRInput } from './sql-index-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\nimport { SqlUniqueIR, type SqlUniqueIRInput } from './sql-unique-ir';\n\nexport interface SqlTableIRInput {\n  readonly name: string;\n  readonly columns: Record<string, SqlColumnIR | SqlColumnIRInput>;\n  readonly foreignKeys: ReadonlyArray<SqlForeignKeyIR | SqlForeignKeyIRInput>;\n  readonly uniques: ReadonlyArray<SqlUniqueIR | SqlUniqueIRInput>;\n  readonly indexes: ReadonlyArray<SqlIndexIR | SqlIndexIRInput>;\n  readonly primaryKey?: PrimaryKey | PrimaryKeyInput;\n  readonly annotations?: SqlAnnotations;\n  /** Optional check constraints for enum-restricted columns. Omitted when none present. */\n  readonly checks?: ReadonlyArray<SqlCheckConstraintIR | SqlCheckConstraintIRInput>;\n}\n\n/**\n * Schema IR node for a single table as observed by introspection.\n *\n * Unlike the Contract IR `StorageTable`, this carries the table's\n * `name` — introspection queries return tables as arrays and the\n * verifier keys them into `SqlSchemaIR.tables` afterwards, so the name\n * stays on the table object for downstream call sites that walk\n * `Object.values(schema.tables)`.\n *\n * The constructor normalises nested IR-class fields so downstream\n * walks see a uniform AST regardless of whether the input was a\n * plain-data literal (from introspection) or already-constructed\n * class instances.\n */\nexport class SqlTableIR extends SqlSchemaIRNode {\n  readonly name: string;\n  readonly columns: Readonly<Record<string, SqlColumnIR>>;\n  readonly foreignKeys: ReadonlyArray<SqlForeignKeyIR>;\n  readonly uniques: ReadonlyArray<SqlUniqueIR>;\n  readonly indexes: ReadonlyArray<SqlIndexIR>;\n  declare readonly primaryKey?: PrimaryKey;\n  declare readonly annotations?: SqlAnnotations;\n  declare readonly checks?: ReadonlyArray<SqlCheckConstraintIR>;\n\n  constructor(input: SqlTableIRInput) {\n    super();\n    this.name = input.name;\n    this.columns = Object.freeze(\n      Object.fromEntries(\n        Object.entries(input.columns).map(([key, col]) => [\n          key,\n          col instanceof SqlColumnIR ? col : new SqlColumnIR(col),\n        ]),\n      ),\n    );\n    this.foreignKeys = Object.freeze(\n      input.foreignKeys.map((fk) => (fk instanceof SqlForeignKeyIR ? fk : new SqlForeignKeyIR(fk))),\n    );\n    this.uniques = Object.freeze(\n      input.uniques.map((u) => (u instanceof SqlUniqueIR ? u : new SqlUniqueIR(u))),\n    );\n    this.indexes = Object.freeze(\n      input.indexes.map((i) => (i instanceof SqlIndexIR ? i : new SqlIndexIR(i))),\n    );\n    if (input.primaryKey !== undefined) {\n      this.primaryKey =\n        input.primaryKey instanceof PrimaryKey\n          ? input.primaryKey\n          : new PrimaryKey(input.primaryKey);\n    }\n    if (input.annotations !== undefined) this.annotations = input.annotations;\n    if (input.checks !== undefined && input.checks.length > 0) {\n      this.checks = Object.freeze(\n        input.checks.map((c) =>\n          c instanceof SqlCheckConstraintIR ? c : new SqlCheckConstraintIR(c),\n        ),\n      );\n    }\n    freezeNode(this);\n  }\n}\n","import { freezeNode } from '@prisma-next/framework-components/ir';\nimport type { SqlAnnotations } from './sql-column-ir';\nimport { SqlSchemaIRNode } from './sql-schema-ir-node';\nimport { SqlTableIR, type SqlTableIRInput } from './sql-table-ir';\n\nexport interface SqlSchemaIRInput {\n  readonly tables: Record<string, SqlTableIR | SqlTableIRInput>;\n  readonly annotations?: SqlAnnotations;\n}\n\n/**\n * Root Schema IR node representing the complete database schema as\n * observed by introspection. Target-agnostic; used by both verifiers\n * (compare against intended Contract storage) and migration planners\n * (derive operations needed to reconcile).\n *\n * The constructor normalises nested `SqlTableIR` instances so\n * downstream walks see a uniform AST regardless of whether the input\n * was a plain-data literal or already-constructed class instances.\n */\nexport class SqlSchemaIR extends SqlSchemaIRNode {\n  readonly tables: Readonly<Record<string, SqlTableIR>>;\n  declare readonly annotations?: SqlAnnotations;\n\n  constructor(input: SqlSchemaIRInput) {\n    super();\n    this.tables = Object.freeze(\n      Object.fromEntries(\n        Object.entries(input.tables).map(([key, t]) => [\n          key,\n          t instanceof SqlTableIR ? t : new SqlTableIR(t),\n        ]),\n      ),\n    );\n    if (input.annotations !== undefined) this.annotations = input.annotations;\n    freezeNode(this);\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAqBA,IAAsB,kBAAtB,cAA8C,WAAW;CACvD;CAEA,cAAc;EACZ,MAAM;EACN,OAAO,eAAe,MAAM,QAAQ;GAClC,OAAO;GACP,UAAU;GACV,YAAY;GACZ,cAAc;EAChB,CAAC;CACH;AACF;;;;;;;;;ACnBA,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CAGA,YAAY,OAAwB;EAClC,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,WAAW,IAAI;CACjB;AACF;;;;;;;;;;ACLA,IAAa,uBAAb,cAA0C,gBAAgB;CACxD;CACA;CACA;CAEA,YAAY,OAAkC;EAC5C,MAAM;EACN,KAAK,OAAO,MAAM;EAClB,KAAK,SAAS,MAAM;EACpB,KAAK,kBAAkB,OAAO,OAAO,CAAC,GAAG,MAAM,eAAe,CAAC;EAC/D,WAAW,IAAI;CACjB;AACF;;;;;;;;;;ACJA,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CACA;CACA;CAIA,YAAY,OAAyB;EACnC,MAAM;EACN,KAAK,OAAO,MAAM;EAClB,KAAK,aAAa,MAAM;EACxB,KAAK,WAAW,MAAM;EACtB,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;ACjBA,IAAa,kBAAb,cAAqC,gBAAgB;CACnD;CACA;CACA;CAOA,YAAY,OAA6B;EACvC,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,KAAK,kBAAkB,MAAM;EAC7B,KAAK,oBAAoB,MAAM;EAC/B,IAAI,MAAM,qBAAqB,KAAA,GAAW,KAAK,mBAAmB,MAAM;EACxE,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,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF;;;;;;;;;;AC5BA,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CACA;CAMA,YAAY,OAAwB;EAClC,MAAM;EACN,KAAK,UAAU,MAAM;EACrB,KAAK,SAAS,MAAM;EACpB,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,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF;;;;;;;ACxBA,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CAIA,YAAY,OAAyB;EACnC,MAAM;EACN,KAAK,UAAU,CAAC,GAAG,MAAM,OAAO;EAChC,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;;;;;;;ACSA,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CACA;CACA;CACA;CACA;CAKA,YAAY,OAAwB;EAClC,MAAM;EACN,KAAK,OAAO,MAAM;EAClB,KAAK,UAAU,OAAO,OACpB,OAAO,YACL,OAAO,QAAQ,MAAM,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,SAAS,CAChD,KACA,eAAe,cAAc,MAAM,IAAI,YAAY,GAAG,CACxD,CAAC,CACH,CACF;EACA,KAAK,cAAc,OAAO,OACxB,MAAM,YAAY,KAAK,OAAQ,cAAc,kBAAkB,KAAK,IAAI,gBAAgB,EAAE,CAAE,CAC9F;EACA,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,cAAc,IAAI,IAAI,YAAY,CAAC,CAAE,CAC9E;EACA,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,aAAa,IAAI,IAAI,WAAW,CAAC,CAAE,CAC5E;EACA,IAAI,MAAM,eAAe,KAAA,GACvB,KAAK,aACH,MAAM,sBAAsB,aACxB,MAAM,aACN,IAAI,WAAW,MAAM,UAAU;EAEvC,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,IAAI,MAAM,WAAW,KAAA,KAAa,MAAM,OAAO,SAAS,GACtD,KAAK,SAAS,OAAO,OACnB,MAAM,OAAO,KAAK,MAChB,aAAa,uBAAuB,IAAI,IAAI,qBAAqB,CAAC,CACpE,CACF;EAEF,WAAW,IAAI;CACjB;AACF;;;;;;;;;;;;;AC7DA,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CAGA,YAAY,OAAyB;EACnC,MAAM;EACN,KAAK,SAAS,OAAO,OACnB,OAAO,YACL,OAAO,QAAQ,MAAM,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,OAAO,CAC7C,KACA,aAAa,aAAa,IAAI,IAAI,WAAW,CAAC,CAChD,CAAC,CACH,CACF;EACA,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,IAAI;CACjB;AACF"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"types-Du44_nsJ.d.mts","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.ts","../src/ir/sql-check-constraint-ir.ts","../src/ir/sql-column-ir.ts","../src/ir/sql-foreign-key-ir.ts","../src/ir/sql-index-ir.ts","../src/ir/sql-unique-ir.ts","../src/ir/sql-table-ir.ts","../src/ir/sql-schema-ir.ts","../src/types.ts"],"mappings":";;;;;AAqBA;;;;;;;;;;;;AClBA;;;;AAEe;uBDgBO,eAAA,SAAwB,UAAU;EAAA,SAC7C,IAAA;;;;;UCnBM,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;;;;;;;cASF,UAAA,SAAmB,eAAe;EAAA,SACpC,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;UCfJ,yBAAA;;WAEN,IAAA;EFgB2B;EAAA,SEd3B,MAAA;EFc6C;EAAA,SEZ7C,eAAA;AAAA;;;;;;;ADNX;cCgBa,oBAAA,SAA6B,eAAe;EAAA,SAC9C,IAAA;EAAA,SACA,MAAA;EAAA,SACA,eAAA;cAEG,KAAA,EAAO,yBAAA;AAAA;;;;;AFHrB;;KGdY,cAAA;EAAA,UACA,SAAiB;AAAA;AAAA,UAGZ,gBAAA;EAAA,SACN,IAAA;EAAA,SACA,UAAA;EAAA,SACA,QAAA;;WAEA,OAAA;EAAA,SACA,WAAA,GAAc,cAAc;AAAA;;;;AFZxB;AASf;;;cEaa,WAAA,SAAoB,eAAA;EAAA,SACtB,IAAA;EAAA,SACA,UAAA;EAAA,SACA,QAAA;EAAA,SACQ,OAAA;EAAA,SACA,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;KC9BT,oBAAA;AAAA,UAEK,oBAAA;EAAA,SACN,OAAA;EAAA,SACA,eAAA;EAAA,SACA,iBAAA;EJYmC;EAAA,SIVnC,gBAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;AAAA;;AHZzB;;;;AAEe;AASf;;cGYa,eAAA,SAAwB,eAAA;EAAA,SAC1B,OAAA;EAAA,SACA,eAAA;EAAA,SACA,iBAAA;EAAA,SACQ,gBAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,oBAAA;AAAA;;;UChCJ,eAAA;EAAA,SACN,OAAA;EAAA,SACA,MAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,WAAA,GAAc,cAAc;AAAA;;;;;;AJPvC;;cIiBa,UAAA,SAAmB,eAAA;EAAA,SACrB,OAAA;EAAA,SACA,MAAA;EAAA,SACQ,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,eAAA;AAAA;;;UCxBJ,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,WAAA,GAAc,cAAc;AAAA;;;;;cAO1B,WAAA,SAAoB,eAAA;EAAA,SACtB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;UCVJ,eAAA;EAAA,SACN,IAAA;EAAA,SACA,OAAA,EAAS,MAAA,SAAe,WAAA,GAAc,gBAAA;EAAA,SACtC,WAAA,EAAa,aAAA,CAAc,eAAA,GAAkB,oBAAA;EAAA,SAC7C,OAAA,EAAS,aAAA,CAAc,WAAA,GAAc,gBAAA;EAAA,SACrC,OAAA,EAAS,aAAA,CAAc,UAAA,GAAa,eAAA;EAAA,SACpC,UAAA,GAAa,UAAA,GAAa,eAAA;EAAA,SAC1B,WAAA,GAAc,cAAA;ENbR;EAAA,SMeN,MAAA,GAAS,aAAA,CAAc,oBAAA,GAAuB,yBAAA;AAAA;;ANb1C;AASf;;;;;;;;;;;AAIoC;cMiBvB,UAAA,SAAmB,eAAA;EAAA,SACrB,IAAA;EAAA,SACA,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,WAAA;EAAA,SACjC,WAAA,EAAa,aAAA,CAAc,eAAA;EAAA,SAC3B,OAAA,EAAS,aAAA,CAAc,WAAA;EAAA,SACvB,OAAA,EAAS,aAAA,CAAc,UAAA;EAAA,SACf,UAAA,GAAa,UAAA;EAAA,SACb,WAAA,GAAc,cAAA;EAAA,SACd,MAAA,GAAS,aAAA,CAAc,oBAAA;cAE5B,KAAA,EAAO,eAAA;AAAA;;;UCxCJ,gBAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,UAAA,GAAa,eAAA;EAAA,SACpC,WAAA,GAAc,cAAA;AAAA;;;;;;;;;APJzB;;cOiBa,WAAA,SAAoB,eAAA;EAAA,SACtB,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,UAAA;EAAA,SACxB,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;APnBN;AASf;;;;AATe,UQgCE,eAAA;ERtBN;EAAA,SQwBA,MAAA;;WAGA,WAAA;ERxBG;;AAAsB;;EAAtB,SQ8BH,UAAA;AAAA;AP7CX;;;;AAAA,UOoDiB,uBAAA;EACf,MAAA,IAAU,gBAAgB,CAAC,eAAA;AAAA"}