@prisma-next/sql-schema-ir 0.9.0 → 0.10.0

package/dist/exports/types.d.mts

@@ -1,2 +1,2 @@
-import { _ as PrimaryKey, a as SqlTableIR, 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 PrimaryKeyInput, y as SqlSchemaIRNode } from "../types-CpDFLYCH.mjs";
+import { _ as PrimaryKey, a as SqlTableIR, 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 PrimaryKeyInput, y as SqlSchemaIRNode } from "../types-9AqYM2fr.mjs";
 export { PrimaryKey, PrimaryKeyInput, SqlAnnotations, SqlColumnIR, SqlColumnIRInput, SqlForeignKeyIR, SqlForeignKeyIRInput, SqlIndexIR, SqlIndexIRInput, SqlReferentialAction, SqlSchemaIR, SqlSchemaIRInput, SqlSchemaIRNode, SqlTableIR, SqlTableIRInput, SqlTypeMetadata, SqlTypeMetadataRegistry, SqlUniqueIR, SqlUniqueIRInput };

package/dist/exports/types.mjs

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

package/dist/index.d.mts

@@ -1,2 +1,2 @@
-import { _ as PrimaryKey, a as SqlTableIR, 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 PrimaryKeyInput, y as SqlSchemaIRNode } from "./types-CpDFLYCH.mjs";
+import { _ as PrimaryKey, a as SqlTableIR, 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 PrimaryKeyInput, y as SqlSchemaIRNode } from "./types-9AqYM2fr.mjs";
 export { PrimaryKey, PrimaryKeyInput, SqlAnnotations, SqlColumnIR, SqlColumnIRInput, SqlForeignKeyIR, SqlForeignKeyIRInput, SqlIndexIR, SqlIndexIRInput, SqlReferentialAction, SqlSchemaIR, SqlSchemaIRInput, SqlSchemaIRNode, SqlTableIR, SqlTableIRInput, SqlTypeMetadata, SqlTypeMetadataRegistry, SqlUniqueIR, SqlUniqueIRInput };

package/dist/index.mjs

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

package/dist/{types-CpDFLYCH.d.mts → types-9AqYM2fr.d.mts}

@@ -80,6 +80,8 @@ interface SqlForeignKeyIRInput {
   readonly columns: readonly string[];
   readonly referencedTable: string;
   readonly referencedColumns: readonly string[];
+  /** Schema (namespace) of the referenced table — populated by adapters that introspect cross-schema FKs. */
+  readonly referencedSchema?: string;
   readonly name?: string;
   readonly onDelete?: SqlReferentialAction;
   readonly onUpdate?: SqlReferentialAction;
@@ -97,6 +99,7 @@ declare class SqlForeignKeyIR extends SqlSchemaIRNode {
   readonly columns: readonly string[];
   readonly referencedTable: string;
   readonly referencedColumns: readonly string[];
+  readonly referencedSchema?: string;
   readonly name?: string;
   readonly onDelete?: SqlReferentialAction;
   readonly onUpdate?: SqlReferentialAction;
@@ -229,4 +232,4 @@ interface SqlTypeMetadataRegistry {
 }
 //#endregion
 export { PrimaryKey as _, SqlTableIR as a, 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, PrimaryKeyInput as v, SqlSchemaIRNode as y };
-//# sourceMappingURL=types-CpDFLYCH.d.mts.map
+//# sourceMappingURL=types-9AqYM2fr.d.mts.map

package/dist/types-9AqYM2fr.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-9AqYM2fr.d.mts","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.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,UAAA;EAAA,SACnC,IAAA;;;;;UCnBM,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;AAAA;;;;;;;cASE,UAAA,SAAmB,eAAA;EAAA,SACrB,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;;;ADGrB;;KEdY,cAAA;EAAA,UACA,SAAA;AAAA;AAAA,UAGK,gBAAA;EAAA,SACN,IAAA;EAAA,SACA,UAAA;EAAA,SACA,QAAA;;WAEA,OAAA;EAAA,SACA,WAAA,GAAc,cAAA;AAAA;;;;;ADHzB;;;cCaa,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;EHYmC;EAAA,SGVnC,gBAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;AAAA;;AFZzB;;;;;AAWA;;cEYa,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,cAAA;AAAA;;;;;;AHPzB;;cGiBa,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,cAAA;AAAA;;;;;cAOZ,WAAA,SAAoB,eAAA;EAAA,SACtB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;UCXJ,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;AAAA;ALZzB;;;;;AAWA;;;;;;;;;AAXA,cK6Ba,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;cAEnB,KAAA,EAAO,eAAA;AAAA;;;UCpCJ,gBAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,UAAA,GAAa,eAAA;EAAA,SACpC,WAAA,GAAc,cAAA;AAAA;;;;;;;;;ANJzB;;cMiBa,WAAA,SAAoB,eAAA;EAAA,SACtB,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,UAAA;EAAA,SACxB,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;;;ANVrB;;;UOmBiB,eAAA;EPnBe;EAAA,SOqBrB,MAAA;EPnBQ;EAAA,SOsBR,WAAA;EPpBU;;;;EAAA,SO0BV,UAAA;AAAA;;ANrCX;;;UM4CiB,uBAAA;EACf,MAAA,IAAU,gBAAA,CAAiB,eAAA;AAAA"}

package/dist/{types-DKwM7vwx.mjs → types-BekKoU01.mjs}

@@ -90,6 +90,7 @@ var SqlForeignKeyIR = class extends SqlSchemaIRNode {
 		this.columns = input.columns;
 		this.referencedTable = input.referencedTable;
 		this.referencedColumns = input.referencedColumns;
+		if (input.referencedSchema !== void 0) this.referencedSchema = input.referencedSchema;
 		if (input.name !== void 0) this.name = input.name;
 		if (input.onDelete !== void 0) this.onDelete = input.onDelete;
 		if (input.onUpdate !== void 0) this.onUpdate = input.onUpdate;
@@ -194,4 +195,4 @@ var SqlSchemaIR = class extends SqlSchemaIRNode {
 //#endregion
 export { SqlForeignKeyIR as a, SqlSchemaIRNode as c, SqlIndexIR as i, SqlTableIR as n, SqlColumnIR as o, SqlUniqueIR as r, PrimaryKey as s, SqlSchemaIR as t };
 
-//# sourceMappingURL=types-DKwM7vwx.mjs.map
+//# sourceMappingURL=types-BekKoU01.mjs.map

package/dist/types-BekKoU01.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-BekKoU01.mjs","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.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\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 { 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}\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\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    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,OAAO;EACP,OAAO,eAAe,MAAM,QAAQ;GAClC,OAAO;GACP,UAAU;GACV,YAAY;GACZ,cAAc;GACf,CAAC;;;;;;;;;;;ACjBN,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CAGA,YAAY,OAAwB;EAClC,OAAO;EACP,KAAK,UAAU,MAAM;EACrB,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,WAAW,KAAK;;;;;;;;;;;;ACKpB,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CACA;CACA;CAIA,YAAY,OAAyB;EACnC,OAAO;EACP,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,KAAK;;;;;;;;;;;;;ACfpB,IAAa,kBAAb,cAAqC,gBAAgB;CACnD;CACA;CACA;CAOA,YAAY,OAA6B;EACvC,OAAO;EACP,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,KAAK;;;;;;;;;;;;AC1BpB,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CACA;CAMA,YAAY,OAAwB;EAClC,OAAO;EACP,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,KAAK;;;;;;;;;ACtBpB,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CAIA,YAAY,OAAyB;EACnC,OAAO;EACP,KAAK,UAAU,CAAC,GAAG,MAAM,QAAQ;EACjC,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,KAAK;;;;;;;;;;;;;;;;;;;ACQpB,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CACA;CACA;CACA;CACA;CAIA,YAAY,OAAwB;EAClC,OAAO;EACP,KAAK,OAAO,MAAM;EAClB,KAAK,UAAU,OAAO,OACpB,OAAO,YACL,OAAO,QAAQ,MAAM,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,CAChD,KACA,eAAe,cAAc,MAAM,IAAI,YAAY,IAAI,CACxD,CAAC,CACH,CACF;EACD,KAAK,cAAc,OAAO,OACxB,MAAM,YAAY,KAAK,OAAQ,cAAc,kBAAkB,KAAK,IAAI,gBAAgB,GAAG,CAAE,CAC9F;EACD,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,cAAc,IAAI,IAAI,YAAY,EAAE,CAAE,CAC9E;EACD,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,aAAa,IAAI,IAAI,WAAW,EAAE,CAAE,CAC5E;EACD,IAAI,MAAM,eAAe,KAAA,GACvB,KAAK,aACH,MAAM,sBAAsB,aACxB,MAAM,aACN,IAAI,WAAW,MAAM,WAAW;EAExC,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,KAAK;;;;;;;;;;;;;;;AChDpB,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CAGA,YAAY,OAAyB;EACnC,OAAO;EACP,KAAK,SAAS,OAAO,OACnB,OAAO,YACL,OAAO,QAAQ,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,CAC7C,KACA,aAAa,aAAa,IAAI,IAAI,WAAW,EAAE,CAChD,CAAC,CACH,CACF;EACD,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,KAAK"}

package/package.json

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

package/src/ir/sql-foreign-key-ir.ts

@@ -8,6 +8,8 @@ export interface SqlForeignKeyIRInput {
   readonly columns: readonly string[];
   readonly referencedTable: string;
   readonly referencedColumns: readonly string[];
+  /** Schema (namespace) of the referenced table — populated by adapters that introspect cross-schema FKs. */
+  readonly referencedSchema?: string;
   readonly name?: string;
   readonly onDelete?: SqlReferentialAction;
   readonly onUpdate?: SqlReferentialAction;
@@ -26,6 +28,7 @@ export class SqlForeignKeyIR extends SqlSchemaIRNode {
   readonly columns: readonly string[];
   readonly referencedTable: string;
   readonly referencedColumns: readonly string[];
+  declare readonly referencedSchema?: string;
   declare readonly name?: string;
   declare readonly onDelete?: SqlReferentialAction;
   declare readonly onUpdate?: SqlReferentialAction;
@@ -36,6 +39,7 @@ export class SqlForeignKeyIR extends SqlSchemaIRNode {
     this.columns = input.columns;
     this.referencedTable = input.referencedTable;
     this.referencedColumns = input.referencedColumns;
+    if (input.referencedSchema !== undefined) this.referencedSchema = input.referencedSchema;
     if (input.name !== undefined) this.name = input.name;
     if (input.onDelete !== undefined) this.onDelete = input.onDelete;
     if (input.onUpdate !== undefined) this.onUpdate = input.onUpdate;

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

@@ -1 +0,0 @@
-{"version":3,"file":"types-CpDFLYCH.d.mts","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.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,UAAA;EAAA,SACnC,IAAA;;;;;UCnBM,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;AAAA;;;;;;;cASE,UAAA,SAAmB,eAAA;EAAA,SACrB,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;;;ADGrB;;KEdY,cAAA;EAAA,UACA,SAAA;AAAA;AAAA,UAGK,gBAAA;EAAA,SACN,IAAA;EAAA,SACA,UAAA;EAAA,SACA,QAAA;;WAEA,OAAA;EAAA,SACA,WAAA,GAAc,cAAA;AAAA;;;;;ADHzB;;;cCaa,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;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;AAAA;;;;AFVzB;;;;;cEqBa,eAAA,SAAwB,eAAA;EAAA,SAC1B,OAAA;EAAA,SACA,eAAA;EAAA,SACA,iBAAA;EAAA,SACQ,IAAA;EAAA,SACA,QAAA,GAAW,oBAAA;EAAA,SACX,QAAA,GAAW,oBAAA;EAAA,SACX,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,oBAAA;AAAA;;;UC7BJ,eAAA;EAAA,SACN,OAAA;EAAA,SACA,MAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,WAAA,GAAc,cAAA;AAAA;;;;;;AHPzB;;cGiBa,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,cAAA;AAAA;;;;;cAOZ,WAAA,SAAoB,eAAA;EAAA,SACtB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;UCXJ,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;AAAA;ALZzB;;;;;AAWA;;;;;;;;;AAXA,cK6Ba,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;cAEnB,KAAA,EAAO,eAAA;AAAA;;;UCpCJ,gBAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,UAAA,GAAa,eAAA;EAAA,SACpC,WAAA,GAAc,cAAA;AAAA;;;;;;;;;ANJzB;;cMiBa,WAAA,SAAoB,eAAA;EAAA,SACtB,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,UAAA;EAAA,SACxB,WAAA,GAAc,cAAA;cAEnB,KAAA,EAAO,gBAAA;AAAA;;;;;ANVrB;;;UOmBiB,eAAA;EPnBe;EAAA,SOqBrB,MAAA;EPnBQ;EAAA,SOsBR,WAAA;EPpBU;;;;EAAA,SO0BV,UAAA;AAAA;;ANrCX;;;UM4CiB,uBAAA;EACf,MAAA,IAAU,gBAAA,CAAiB,eAAA;AAAA"}

package/dist/types-DKwM7vwx.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-DKwM7vwx.mjs","names":[],"sources":["../src/ir/sql-schema-ir-node.ts","../src/ir/primary-key.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\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  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 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.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 { 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}\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\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    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,OAAO;EACP,OAAO,eAAe,MAAM,QAAQ;GAClC,OAAO;GACP,UAAU;GACV,YAAY;GACZ,cAAc;GACf,CAAC;;;;;;;;;;;ACjBN,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CAGA,YAAY,OAAwB;EAClC,OAAO;EACP,KAAK,UAAU,MAAM;EACrB,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,WAAW,KAAK;;;;;;;;;;;;ACKpB,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CACA;CACA;CAIA,YAAY,OAAyB;EACnC,OAAO;EACP,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,KAAK;;;;;;;;;;;;;ACjBpB,IAAa,kBAAb,cAAqC,gBAAgB;CACnD;CACA;CACA;CAMA,YAAY,OAA6B;EACvC,OAAO;EACP,KAAK,UAAU,MAAM;EACrB,KAAK,kBAAkB,MAAM;EAC7B,KAAK,oBAAoB,MAAM;EAC/B,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,KAAK;;;;;;;;;;;;ACtBpB,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CACA;CAMA,YAAY,OAAwB;EAClC,OAAO;EACP,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,KAAK;;;;;;;;;ACtBpB,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CAIA,YAAY,OAAyB;EACnC,OAAO;EACP,KAAK,UAAU,CAAC,GAAG,MAAM,QAAQ;EACjC,IAAI,MAAM,SAAS,KAAA,GAAW,KAAK,OAAO,MAAM;EAChD,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,KAAK;;;;;;;;;;;;;;;;;;;ACQpB,IAAa,aAAb,cAAgC,gBAAgB;CAC9C;CACA;CACA;CACA;CACA;CAIA,YAAY,OAAwB;EAClC,OAAO;EACP,KAAK,OAAO,MAAM;EAClB,KAAK,UAAU,OAAO,OACpB,OAAO,YACL,OAAO,QAAQ,MAAM,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,CAChD,KACA,eAAe,cAAc,MAAM,IAAI,YAAY,IAAI,CACxD,CAAC,CACH,CACF;EACD,KAAK,cAAc,OAAO,OACxB,MAAM,YAAY,KAAK,OAAQ,cAAc,kBAAkB,KAAK,IAAI,gBAAgB,GAAG,CAAE,CAC9F;EACD,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,cAAc,IAAI,IAAI,YAAY,EAAE,CAAE,CAC9E;EACD,KAAK,UAAU,OAAO,OACpB,MAAM,QAAQ,KAAK,MAAO,aAAa,aAAa,IAAI,IAAI,WAAW,EAAE,CAAE,CAC5E;EACD,IAAI,MAAM,eAAe,KAAA,GACvB,KAAK,aACH,MAAM,sBAAsB,aACxB,MAAM,aACN,IAAI,WAAW,MAAM,WAAW;EAExC,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,KAAK;;;;;;;;;;;;;;;AChDpB,IAAa,cAAb,cAAiC,gBAAgB;CAC/C;CAGA,YAAY,OAAyB;EACnC,OAAO;EACP,KAAK,SAAS,OAAO,OACnB,OAAO,YACL,OAAO,QAAQ,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,CAC7C,KACA,aAAa,aAAa,IAAI,IAAI,WAAW,EAAE,CAChD,CAAC,CACH,CACF;EACD,IAAI,MAAM,gBAAgB,KAAA,GAAW,KAAK,cAAc,MAAM;EAC9D,WAAW,KAAK"}