@prisma-next/family-sql 0.3.0-dev.41 → 0.3.0-dev.44

package/README.md

@@ -21,6 +21,7 @@ Provides the SQL family descriptor (`ControlFamilyDescriptor`) that includes:
 - **Parameterized Type Verification**: Expands contract `typeParams` into expected native type strings during schema verification and flags missing parameters as type mismatches
 - **Schema Defaults Policy**: Ignores execution mutation defaults during schema verification since they are applied before DB writes
 - **Foreign Key Config Awareness**: Schema verification respects the contract's `foreignKeys` configuration — when `foreignKeys.constraints` is `false`, FK constraint checks are skipped during verification (see [ADR 161](../../../docs/architecture%20docs/adrs/ADR%20161%20-%20Explicit%20foreign%20key%20constraint%20and%20index%20configuration.md))
+- **Referential Action Verification**: When a contract FK specifies `onDelete` or `onUpdate`, the verifier compares them against the introspected schema and reports `foreign_key_mismatch` on mismatch (see [ADR 162](../../../docs/architecture%20docs/adrs/ADR%20162%20-%20Referential%20actions%20for%20foreign%20keys.md))
 
 ## Usage
 

package/dist/control.mjs

@@ -1,5 +1,5 @@
 import { a as extractOperationTypeImports, i as extractExtensionIds, n as extractCodecControlHooks, o as extractParameterizedRenderers, r as extractCodecTypeImports, s as extractParameterizedTypeImports, t as assembleOperationRegistry } from "./assembly-BVS641kd.mjs";
-import { t as verifySqlSchema } from "./verify-sql-schema-DMG0mz1g.mjs";
+import { t as verifySqlSchema } from "./verify-sql-schema-CpAVEi8A.mjs";
 import { r as readMarker, t as collectSupportedCodecTypeIds } from "./verify-BfMETJcM.mjs";
 import { sqlTargetFamilyHook } from "@prisma-next/sql-contract-emitter";
 import { emit } from "@prisma-next/core-control-plane/emission";

package/dist/schema-verify.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-verify.d.mts","names":[],"sources":["../src/core/schema-verify/verify-helpers.ts"],"sourcesContent":[],"mappings":";;;;;;;AAgFA;AAgXA;;AACgB,iBA1aA,WAAA,CA0aA,CAAA,EAAA,SAAA,MAAA,EAAA,EAAA,CAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EAAA,OAAA;;;;;;;;;;;;;iBA3YA,2BAAA,mBACI,iCACA;;;;;;;;;;;;;iBAwBJ,gBAAA,mBACI,gCACA;;;;;;;;iBA8WJ,0BAAA,eACA,cAAc,+CACpB,qBACA,gBACP"}
+{"version":3,"file":"schema-verify.d.mts","names":[],"sources":["../src/core/schema-verify/verify-helpers.ts"],"sourcesContent":[],"mappings":";;;;;;;AAgFA;AA0YA;;AACgB,iBApcA,WAAA,CAocA,CAAA,EAAA,SAAA,MAAA,EAAA,EAAA,CAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EAAA,OAAA;;;;;;;;;;;;;iBAraA,2BAAA,mBACI,iCACA;;;;;;;;;;;;;iBAwBJ,gBAAA,mBACI,gCACA;;;;;;;;iBAwYJ,0BAAA,eACA,cAAc,+CACpB,qBACA,gBACP"}

package/dist/schema-verify.mjs

@@ -1,4 +1,3 @@
-import "./assembly-BVS641kd.mjs";
-import { a as verifyDatabaseDependencies, i as isUniqueConstraintSatisfied, n as arraysEqual, r as isIndexSatisfied, t as verifySqlSchema } from "./verify-sql-schema-DMG0mz1g.mjs";
+import { a as verifyDatabaseDependencies, i as isUniqueConstraintSatisfied, n as arraysEqual, r as isIndexSatisfied, t as verifySqlSchema } from "./verify-sql-schema-CpAVEi8A.mjs";
 
 export { arraysEqual, isIndexSatisfied, isUniqueConstraintSatisfied, verifyDatabaseDependencies, verifySqlSchema };

package/dist/{verify-sql-schema-DMG0mz1g.mjs → verify-sql-schema-CpAVEi8A.mjs}

@@ -83,9 +83,10 @@ function verifyForeignKeys(contractFKs, schemaFKs, tableName, tablePath, issues,
 	const nodes = [];
 	for (const contractFK of contractFKs) {
 		const fkPath = `${tablePath}.foreignKeys[${contractFK.columns.join(",")}]`;
-		if (!schemaFKs.find((fk) => {
+		const matchingFK = schemaFKs.find((fk) => {
 			return arraysEqual(fk.columns, contractFK.columns) && fk.referencedTable === contractFK.references.table && arraysEqual(fk.referencedColumns, contractFK.references.columns);
-		})) {
+		});
+		if (!matchingFK) {
 			issues.push({
 				kind: "foreign_key_mismatch",
 				table: tableName,
@@ -103,17 +104,43 @@ function verifyForeignKeys(contractFKs, schemaFKs, tableName, tablePath, issues,
 				actual: void 0,
 				children: []
 			});
-		} else nodes.push({
-			status: "pass",
-			kind: "foreignKey",
-			name: `foreignKey(${contractFK.columns.join(", ")})`,
-			contractPath: fkPath,
-			code: "",
-			message: "",
-			expected: void 0,
-			actual: void 0,
-			children: []
-		});
+		} else {
+			const actionMismatches = getReferentialActionMismatches(contractFK, matchingFK);
+			if (actionMismatches.length > 0) {
+				const combinedMessage = actionMismatches.map((m) => m.message).join("; ");
+				const combinedExpected = actionMismatches.map((m) => m.expected).join(", ");
+				const combinedActual = actionMismatches.map((m) => m.actual).join(", ");
+				issues.push({
+					kind: "foreign_key_mismatch",
+					table: tableName,
+					indexOrConstraint: matchingFK.name ?? `fk(${contractFK.columns.join(",")})`,
+					expected: combinedExpected,
+					actual: combinedActual,
+					message: `Table "${tableName}" foreign key ${contractFK.columns.join(", ")} -> ${contractFK.references.table}: ${combinedMessage}`
+				});
+				nodes.push({
+					status: "fail",
+					kind: "foreignKey",
+					name: `foreignKey(${contractFK.columns.join(", ")})`,
+					contractPath: fkPath,
+					code: "foreign_key_mismatch",
+					message: combinedMessage,
+					expected: contractFK,
+					actual: matchingFK,
+					children: []
+				});
+			} else nodes.push({
+				status: "pass",
+				kind: "foreignKey",
+				name: `foreignKey(${contractFK.columns.join(", ")})`,
+				contractPath: fkPath,
+				code: "",
+				message: "",
+				expected: void 0,
+				actual: void 0,
+				children: []
+			});
+		}
 	}
 	if (strict) {
 		for (const schemaFK of schemaFKs) if (!contractFKs.find((fk) => {
@@ -340,6 +367,40 @@ function computeCounts(node) {
 		totalNodes: pass + warn + fail
 	};
 }
+/**
+* Compares referential actions between a contract FK and a schema FK.
+* Only compares when the contract FK explicitly specifies onDelete or onUpdate.
+* Returns all mismatches (both onDelete and onUpdate) so both are reported at once.
+*
+* Note: 'noAction' in the contract is semantically equivalent to undefined in the
+* schema IR, because the introspection adapter omits 'NO ACTION' (the database default)
+* to keep the IR sparse. We normalize both sides before comparing.
+*/
+function getReferentialActionMismatches(contractFK, schemaFK) {
+	const mismatches = [];
+	const contractOnDelete = normalizeReferentialAction(contractFK.onDelete);
+	const schemaOnDelete = normalizeReferentialAction(schemaFK.onDelete);
+	if (contractOnDelete !== void 0 && contractOnDelete !== schemaOnDelete) mismatches.push({
+		expected: `onDelete: ${contractFK.onDelete}`,
+		actual: `onDelete: ${schemaFK.onDelete ?? "noAction (default)"}`,
+		message: `onDelete mismatch: expected ${contractFK.onDelete}, got ${schemaFK.onDelete ?? "noAction (default)"}`
+	});
+	const contractOnUpdate = normalizeReferentialAction(contractFK.onUpdate);
+	const schemaOnUpdate = normalizeReferentialAction(schemaFK.onUpdate);
+	if (contractOnUpdate !== void 0 && contractOnUpdate !== schemaOnUpdate) mismatches.push({
+		expected: `onUpdate: ${contractFK.onUpdate}`,
+		actual: `onUpdate: ${schemaFK.onUpdate ?? "noAction (default)"}`,
+		message: `onUpdate mismatch: expected ${contractFK.onUpdate}, got ${schemaFK.onUpdate ?? "noAction (default)"}`
+	});
+	return mismatches;
+}
+/**
+* Normalizes a referential action value for comparison.
+* 'noAction' is the database default and equivalent to undefined (omitted) in the sparse IR.
+*/
+function normalizeReferentialAction(action) {
+	return action === "noAction" ? void 0 : action;
+}
 
 //#endregion
 //#region src/core/schema-verify/verify-sql-schema.ts
@@ -994,4 +1055,4 @@ function formatLiteralValue(value) {
 
 //#endregion
 export { verifyDatabaseDependencies as a, isUniqueConstraintSatisfied as i, arraysEqual as n, isIndexSatisfied as r, verifySqlSchema as t };
-//# sourceMappingURL=verify-sql-schema-DMG0mz1g.mjs.map
+//# sourceMappingURL=verify-sql-schema-CpAVEi8A.mjs.map

package/dist/verify-sql-schema-CpAVEi8A.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-sql-schema-CpAVEi8A.mjs","names":["nodes: SchemaVerificationNode[]","mismatches: Array<{ expected: string; actual: string; message: string }>","typeNodes: SchemaVerificationNode[]","issues: SchemaIssue[]","rootChildren: SchemaVerificationNode[]","tableChildren: SchemaVerificationNode[]","columnNodes: SchemaVerificationNode[]","columnChildren: SchemaVerificationNode[]","columnStatus: VerificationStatus","status: VerificationStatus","failureMessages: string[]","dependencies: ComponentDatabaseDependency<T>[]","sorted: Record<string, unknown>"],"sources":["../src/core/schema-verify/verify-helpers.ts","../src/core/schema-verify/verify-sql-schema.ts"],"sourcesContent":["/**\n * Pure verification helper functions for SQL schema verification.\n * These functions verify schema IR against contract requirements.\n */\n\nimport type { SchemaIssue, SchemaVerificationNode } from '@prisma-next/core-control-plane/types';\nimport type {\n  ForeignKey,\n  Index,\n  PrimaryKey,\n  UniqueConstraint,\n} from '@prisma-next/sql-contract/types';\nimport type {\n  SqlForeignKeyIR,\n  SqlIndexIR,\n  SqlSchemaIR,\n  SqlUniqueIR,\n} from '@prisma-next/sql-schema-ir/types';\nimport type { ComponentDatabaseDependency } from '../migrations/types';\n\n/**\n * Compares two arrays of strings for equality (order-sensitive).\n */\nexport function arraysEqual(a: readonly string[], b: readonly string[]): boolean {\n  if (a.length !== b.length) {\n    return false;\n  }\n  for (let i = 0; i < a.length; i++) {\n    if (a[i] !== b[i]) {\n      return false;\n    }\n  }\n  return true;\n}\n\n// ============================================================================\n// Semantic Satisfaction Predicates\n// ============================================================================\n// These predicates implement the \"stronger satisfies weaker\" logic for storage\n// objects. They are used by both verification and migration planning to ensure\n// consistent behavior across the control plane.\n\n/**\n * Checks if a unique constraint requirement is satisfied by the given columns.\n *\n * Semantic satisfaction: a unique constraint requirement can be satisfied by:\n * - A unique constraint with the same columns, OR\n * - A unique index with the same columns\n *\n * @param uniques - The unique constraints in the schema table\n * @param indexes - The indexes in the schema table\n * @param columns - The columns required by the unique constraint\n * @returns true if the requirement is satisfied\n */\nexport function isUniqueConstraintSatisfied(\n  uniques: readonly SqlUniqueIR[],\n  indexes: readonly SqlIndexIR[],\n  columns: readonly string[],\n): boolean {\n  // Check for matching unique constraint\n  const hasConstraint = uniques.some((unique) => arraysEqual(unique.columns, columns));\n  if (hasConstraint) {\n    return true;\n  }\n  // Check for matching unique index (semantic satisfaction)\n  return indexes.some((index) => index.unique && arraysEqual(index.columns, columns));\n}\n\n/**\n * Checks if an index requirement is satisfied by the given columns.\n *\n * Semantic satisfaction: a non-unique index requirement can be satisfied by:\n * - Any index (unique or non-unique) with the same columns, OR\n * - A unique constraint with the same columns (stronger satisfies weaker)\n *\n * @param indexes - The indexes in the schema table\n * @param uniques - The unique constraints in the schema table\n * @param columns - The columns required by the index\n * @returns true if the requirement is satisfied\n */\nexport function isIndexSatisfied(\n  indexes: readonly SqlIndexIR[],\n  uniques: readonly SqlUniqueIR[],\n  columns: readonly string[],\n): boolean {\n  // Check for any matching index (unique or non-unique)\n  const hasMatchingIndex = indexes.some((index) => arraysEqual(index.columns, columns));\n  if (hasMatchingIndex) {\n    return true;\n  }\n  // Check for matching unique constraint (semantic satisfaction)\n  return uniques.some((unique) => arraysEqual(unique.columns, columns));\n}\n\n/**\n * Verifies primary key matches between contract and schema.\n * Returns 'pass' or 'fail'.\n *\n * Uses semantic satisfaction: identity is based on (table + kind + columns).\n * Name differences are ignored by default (names are for DDL/diagnostics, not identity).\n */\nexport function verifyPrimaryKey(\n  contractPK: PrimaryKey,\n  schemaPK: PrimaryKey | undefined,\n  tableName: string,\n  issues: SchemaIssue[],\n): 'pass' | 'fail' {\n  if (!schemaPK) {\n    issues.push({\n      kind: 'primary_key_mismatch',\n      table: tableName,\n      expected: contractPK.columns.join(', '),\n      message: `Table \"${tableName}\" is missing primary key`,\n    });\n    return 'fail';\n  }\n\n  if (!arraysEqual(contractPK.columns, schemaPK.columns)) {\n    issues.push({\n      kind: 'primary_key_mismatch',\n      table: tableName,\n      expected: contractPK.columns.join(', '),\n      actual: schemaPK.columns.join(', '),\n      message: `Table \"${tableName}\" has primary key mismatch: expected columns [${contractPK.columns.join(', ')}], got [${schemaPK.columns.join(', ')}]`,\n    });\n    return 'fail';\n  }\n\n  // Name differences are ignored for semantic satisfaction.\n  // Names are persisted for deterministic DDL and diagnostics but are not identity.\n\n  return 'pass';\n}\n\n/**\n * Verifies foreign keys match between contract and schema.\n * Returns verification nodes for the tree.\n *\n * Uses semantic satisfaction: identity is based on (table + columns + referenced table + referenced columns).\n * Name differences are ignored by default (names are for DDL/diagnostics, not identity).\n */\nexport function verifyForeignKeys(\n  contractFKs: readonly ForeignKey[],\n  schemaFKs: readonly SqlForeignKeyIR[],\n  tableName: string,\n  tablePath: string,\n  issues: SchemaIssue[],\n  strict: boolean,\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n\n  // Check each contract FK exists in schema\n  for (const contractFK of contractFKs) {\n    const fkPath = `${tablePath}.foreignKeys[${contractFK.columns.join(',')}]`;\n    const matchingFK = schemaFKs.find((fk) => {\n      return (\n        arraysEqual(fk.columns, contractFK.columns) &&\n        fk.referencedTable === contractFK.references.table &&\n        arraysEqual(fk.referencedColumns, contractFK.references.columns)\n      );\n    });\n\n    if (!matchingFK) {\n      issues.push({\n        kind: 'foreign_key_mismatch',\n        table: tableName,\n        expected: `${contractFK.columns.join(', ')} -> ${contractFK.references.table}(${contractFK.references.columns.join(', ')})`,\n        message: `Table \"${tableName}\" is missing foreign key: ${contractFK.columns.join(', ')} -> ${contractFK.references.table}(${contractFK.references.columns.join(', ')})`,\n      });\n      nodes.push({\n        status: 'fail',\n        kind: 'foreignKey',\n        name: `foreignKey(${contractFK.columns.join(', ')})`,\n        contractPath: fkPath,\n        code: 'foreign_key_mismatch',\n        message: 'Foreign key missing',\n        expected: contractFK,\n        actual: undefined,\n        children: [],\n      });\n    } else {\n      const actionMismatches = getReferentialActionMismatches(contractFK, matchingFK);\n      if (actionMismatches.length > 0) {\n        const combinedMessage = actionMismatches.map((m) => m.message).join('; ');\n        const combinedExpected = actionMismatches.map((m) => m.expected).join(', ');\n        const combinedActual = actionMismatches.map((m) => m.actual).join(', ');\n        issues.push({\n          kind: 'foreign_key_mismatch',\n          table: tableName,\n          // Set indexOrConstraint so the planner classifies this as a non-additive\n          // conflict (existing FK with wrong actions cannot be fixed additively).\n          indexOrConstraint: matchingFK.name ?? `fk(${contractFK.columns.join(',')})`,\n          expected: combinedExpected,\n          actual: combinedActual,\n          message: `Table \"${tableName}\" foreign key ${contractFK.columns.join(', ')} -> ${contractFK.references.table}: ${combinedMessage}`,\n        });\n        nodes.push({\n          status: 'fail',\n          kind: 'foreignKey',\n          name: `foreignKey(${contractFK.columns.join(', ')})`,\n          contractPath: fkPath,\n          code: 'foreign_key_mismatch',\n          message: combinedMessage,\n          expected: contractFK,\n          actual: matchingFK,\n          children: [],\n        });\n      } else {\n        nodes.push({\n          status: 'pass',\n          kind: 'foreignKey',\n          name: `foreignKey(${contractFK.columns.join(', ')})`,\n          contractPath: fkPath,\n          code: '',\n          message: '',\n          expected: undefined,\n          actual: undefined,\n          children: [],\n        });\n      }\n    }\n  }\n\n  // Check for extra FKs in strict mode\n  if (strict) {\n    for (const schemaFK of schemaFKs) {\n      const matchingFK = contractFKs.find((fk) => {\n        return (\n          arraysEqual(fk.columns, schemaFK.columns) &&\n          fk.references.table === schemaFK.referencedTable &&\n          arraysEqual(fk.references.columns, schemaFK.referencedColumns)\n        );\n      });\n\n      if (!matchingFK) {\n        issues.push({\n          kind: 'extra_foreign_key',\n          table: tableName,\n          message: `Extra foreign key found in database (not in contract): ${schemaFK.columns.join(', ')} -> ${schemaFK.referencedTable}(${schemaFK.referencedColumns.join(', ')})`,\n        });\n        nodes.push({\n          status: 'fail',\n          kind: 'foreignKey',\n          name: `foreignKey(${schemaFK.columns.join(', ')})`,\n          contractPath: `${tablePath}.foreignKeys[${schemaFK.columns.join(',')}]`,\n          code: 'extra_foreign_key',\n          message: 'Extra foreign key found',\n          expected: undefined,\n          actual: schemaFK,\n          children: [],\n        });\n      }\n    }\n  }\n\n  return nodes;\n}\n\n/**\n * Verifies unique constraints match between contract and schema.\n * Returns verification nodes for the tree.\n *\n * Uses semantic satisfaction: identity is based on (table + kind + columns).\n * A unique constraint requirement can be satisfied by either:\n * - A unique constraint with the same columns, or\n * - A unique index with the same columns\n *\n * Name differences are ignored by default (names are for DDL/diagnostics, not identity).\n */\nexport function verifyUniqueConstraints(\n  contractUniques: readonly UniqueConstraint[],\n  schemaUniques: readonly SqlUniqueIR[],\n  schemaIndexes: readonly SqlIndexIR[],\n  tableName: string,\n  tablePath: string,\n  issues: SchemaIssue[],\n  strict: boolean,\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n\n  // Check each contract unique exists in schema\n  for (const contractUnique of contractUniques) {\n    const uniquePath = `${tablePath}.uniques[${contractUnique.columns.join(',')}]`;\n\n    // First check for a matching unique constraint\n    const matchingUnique = schemaUniques.find((u) =>\n      arraysEqual(u.columns, contractUnique.columns),\n    );\n\n    // If no matching constraint, check for a unique index with the same columns\n    const matchingUniqueIndex =\n      !matchingUnique &&\n      schemaIndexes.find((idx) => idx.unique && arraysEqual(idx.columns, contractUnique.columns));\n\n    if (!matchingUnique && !matchingUniqueIndex) {\n      issues.push({\n        kind: 'unique_constraint_mismatch',\n        table: tableName,\n        expected: contractUnique.columns.join(', '),\n        message: `Table \"${tableName}\" is missing unique constraint: ${contractUnique.columns.join(', ')}`,\n      });\n      nodes.push({\n        status: 'fail',\n        kind: 'unique',\n        name: `unique(${contractUnique.columns.join(', ')})`,\n        contractPath: uniquePath,\n        code: 'unique_constraint_mismatch',\n        message: 'Unique constraint missing',\n        expected: contractUnique,\n        actual: undefined,\n        children: [],\n      });\n    } else {\n      // Name differences are ignored for semantic satisfaction.\n      // Names are persisted for deterministic DDL and diagnostics but are not identity.\n      nodes.push({\n        status: 'pass',\n        kind: 'unique',\n        name: `unique(${contractUnique.columns.join(', ')})`,\n        contractPath: uniquePath,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  }\n\n  // Check for extra uniques in strict mode\n  if (strict) {\n    for (const schemaUnique of schemaUniques) {\n      const matchingUnique = contractUniques.find((u) =>\n        arraysEqual(u.columns, schemaUnique.columns),\n      );\n\n      if (!matchingUnique) {\n        issues.push({\n          kind: 'extra_unique_constraint',\n          table: tableName,\n          message: `Extra unique constraint found in database (not in contract): ${schemaUnique.columns.join(', ')}`,\n        });\n        nodes.push({\n          status: 'fail',\n          kind: 'unique',\n          name: `unique(${schemaUnique.columns.join(', ')})`,\n          contractPath: `${tablePath}.uniques[${schemaUnique.columns.join(',')}]`,\n          code: 'extra_unique_constraint',\n          message: 'Extra unique constraint found',\n          expected: undefined,\n          actual: schemaUnique,\n          children: [],\n        });\n      }\n    }\n  }\n\n  return nodes;\n}\n\n/**\n * Verifies indexes match between contract and schema.\n * Returns verification nodes for the tree.\n *\n * Uses semantic satisfaction: identity is based on (table + kind + columns).\n * A non-unique index requirement can be satisfied by either:\n * - A non-unique index with the same columns, or\n * - A unique index with the same columns (stronger satisfies weaker)\n *\n * Name differences are ignored by default (names are for DDL/diagnostics, not identity).\n */\nexport function verifyIndexes(\n  contractIndexes: readonly Index[],\n  schemaIndexes: readonly SqlIndexIR[],\n  schemaUniques: readonly SqlUniqueIR[],\n  tableName: string,\n  tablePath: string,\n  issues: SchemaIssue[],\n  strict: boolean,\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n\n  // Check each contract index exists in schema\n  for (const contractIndex of contractIndexes) {\n    const indexPath = `${tablePath}.indexes[${contractIndex.columns.join(',')}]`;\n\n    // Check for any matching index (unique or non-unique)\n    // A unique index can satisfy a non-unique index requirement (stronger satisfies weaker)\n    const matchingIndex = schemaIndexes.find((idx) =>\n      arraysEqual(idx.columns, contractIndex.columns),\n    );\n\n    // Also check if a unique constraint satisfies the index requirement\n    const matchingUniqueConstraint =\n      !matchingIndex && schemaUniques.find((u) => arraysEqual(u.columns, contractIndex.columns));\n\n    if (!matchingIndex && !matchingUniqueConstraint) {\n      issues.push({\n        kind: 'index_mismatch',\n        table: tableName,\n        expected: contractIndex.columns.join(', '),\n        message: `Table \"${tableName}\" is missing index: ${contractIndex.columns.join(', ')}`,\n      });\n      nodes.push({\n        status: 'fail',\n        kind: 'index',\n        name: `index(${contractIndex.columns.join(', ')})`,\n        contractPath: indexPath,\n        code: 'index_mismatch',\n        message: 'Index missing',\n        expected: contractIndex,\n        actual: undefined,\n        children: [],\n      });\n    } else {\n      // Name differences are ignored for semantic satisfaction.\n      // Names are persisted for deterministic DDL and diagnostics but are not identity.\n      nodes.push({\n        status: 'pass',\n        kind: 'index',\n        name: `index(${contractIndex.columns.join(', ')})`,\n        contractPath: indexPath,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  }\n\n  // Check for extra indexes in strict mode\n  if (strict) {\n    for (const schemaIndex of schemaIndexes) {\n      // Skip unique indexes (they're handled as unique constraints)\n      if (schemaIndex.unique) {\n        continue;\n      }\n\n      const matchingIndex = contractIndexes.find((idx) =>\n        arraysEqual(idx.columns, schemaIndex.columns),\n      );\n\n      if (!matchingIndex) {\n        issues.push({\n          kind: 'extra_index',\n          table: tableName,\n          message: `Extra index found in database (not in contract): ${schemaIndex.columns.join(', ')}`,\n        });\n        nodes.push({\n          status: 'fail',\n          kind: 'index',\n          name: `index(${schemaIndex.columns.join(', ')})`,\n          contractPath: `${tablePath}.indexes[${schemaIndex.columns.join(',')}]`,\n          code: 'extra_index',\n          message: 'Extra index found',\n          expected: undefined,\n          actual: schemaIndex,\n          children: [],\n        });\n      }\n    }\n  }\n\n  return nodes;\n}\n\n/**\n * Verifies database dependencies are installed using component-owned verification hooks.\n * Each dependency provides a pure verifyDatabaseDependencyInstalled function that checks\n * whether the dependency is satisfied based on the in-memory schema IR (no DB I/O).\n *\n * Returns verification nodes for the tree.\n */\nexport function verifyDatabaseDependencies(\n  dependencies: ReadonlyArray<ComponentDatabaseDependency<unknown>>,\n  schema: SqlSchemaIR,\n  issues: SchemaIssue[],\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n\n  for (const dependency of dependencies) {\n    const depIssues = dependency.verifyDatabaseDependencyInstalled(schema);\n    const depPath = `dependencies.${dependency.id}`;\n\n    if (depIssues.length > 0) {\n      // Dependency is not satisfied\n      issues.push(...depIssues);\n      const issuesMessage = depIssues.map((i) => i.message).join('; ');\n      const nodeMessage = issuesMessage ? `${dependency.id}: ${issuesMessage}` : dependency.id;\n      nodes.push({\n        status: 'fail',\n        kind: 'databaseDependency',\n        name: dependency.label,\n        contractPath: depPath,\n        code: 'dependency_missing',\n        message: nodeMessage,\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    } else {\n      // Dependency is satisfied\n      nodes.push({\n        status: 'pass',\n        kind: 'databaseDependency',\n        name: dependency.label,\n        contractPath: depPath,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  }\n\n  return nodes;\n}\n\n/**\n * Computes counts of pass/warn/fail nodes by traversing the tree.\n */\nexport function computeCounts(node: SchemaVerificationNode): {\n  pass: number;\n  warn: number;\n  fail: number;\n  totalNodes: number;\n} {\n  let pass = 0;\n  let warn = 0;\n  let fail = 0;\n\n  function traverse(n: SchemaVerificationNode): void {\n    if (n.status === 'pass') {\n      pass++;\n    } else if (n.status === 'warn') {\n      warn++;\n    } else if (n.status === 'fail') {\n      fail++;\n    }\n\n    if (n.children) {\n      for (const child of n.children) {\n        traverse(child);\n      }\n    }\n  }\n\n  traverse(node);\n\n  return {\n    pass,\n    warn,\n    fail,\n    totalNodes: pass + warn + fail,\n  };\n}\n\n/**\n * Compares referential actions between a contract FK and a schema FK.\n * Only compares when the contract FK explicitly specifies onDelete or onUpdate.\n * Returns all mismatches (both onDelete and onUpdate) so both are reported at once.\n *\n * Note: 'noAction' in the contract is semantically equivalent to undefined in the\n * schema IR, because the introspection adapter omits 'NO ACTION' (the database default)\n * to keep the IR sparse. We normalize both sides before comparing.\n */\nfunction getReferentialActionMismatches(\n  contractFK: ForeignKey,\n  schemaFK: SqlForeignKeyIR,\n): ReadonlyArray<{ expected: string; actual: string; message: string }> {\n  const mismatches: Array<{ expected: string; actual: string; message: string }> = [];\n\n  const contractOnDelete = normalizeReferentialAction(contractFK.onDelete);\n  const schemaOnDelete = normalizeReferentialAction(schemaFK.onDelete);\n  if (contractOnDelete !== undefined && contractOnDelete !== schemaOnDelete) {\n    mismatches.push({\n      expected: `onDelete: ${contractFK.onDelete}`,\n      actual: `onDelete: ${schemaFK.onDelete ?? 'noAction (default)'}`,\n      message: `onDelete mismatch: expected ${contractFK.onDelete}, got ${schemaFK.onDelete ?? 'noAction (default)'}`,\n    });\n  }\n\n  const contractOnUpdate = normalizeReferentialAction(contractFK.onUpdate);\n  const schemaOnUpdate = normalizeReferentialAction(schemaFK.onUpdate);\n  if (contractOnUpdate !== undefined && contractOnUpdate !== schemaOnUpdate) {\n    mismatches.push({\n      expected: `onUpdate: ${contractFK.onUpdate}`,\n      actual: `onUpdate: ${schemaFK.onUpdate ?? 'noAction (default)'}`,\n      message: `onUpdate mismatch: expected ${contractFK.onUpdate}, got ${schemaFK.onUpdate ?? 'noAction (default)'}`,\n    });\n  }\n\n  return mismatches;\n}\n\n/**\n * Normalizes a referential action value for comparison.\n * 'noAction' is the database default and equivalent to undefined (omitted) in the sparse IR.\n */\nfunction normalizeReferentialAction(action: string | undefined): string | undefined {\n  return action === 'noAction' ? undefined : action;\n}\n","/**\n * Pure SQL schema verification function.\n *\n * This module provides a pure function that verifies a SqlSchemaIR against\n * a SqlContract without requiring a database connection. It can be reused\n * by migration planners and other tools that need to compare schema states.\n */\n\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';\nimport type { ColumnDefault } from '@prisma-next/contract/types';\nimport { isTaggedBigInt } from '@prisma-next/contract/types';\nimport type {\n  OperationContext,\n  SchemaIssue,\n  SchemaVerificationNode,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/core-control-plane/types';\nimport type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { extractCodecControlHooks } from '../assembly';\nimport type { CodecControlHooks, ComponentDatabaseDependency } from '../migrations/types';\nimport {\n  arraysEqual,\n  computeCounts,\n  verifyDatabaseDependencies,\n  verifyForeignKeys,\n  verifyIndexes,\n  verifyPrimaryKey,\n  verifyUniqueConstraints,\n} from './verify-helpers';\n\n/**\n * Function type for normalizing raw database default expressions into ColumnDefault.\n * Target-specific implementations handle database dialect differences.\n */\nexport type DefaultNormalizer = (\n  rawDefault: string,\n  nativeType: string,\n) => ColumnDefault | undefined;\n\n/**\n * Function type for normalizing schema native types to canonical form for comparison.\n * Target-specific implementations handle dialect-specific type name variations\n * (e.g., Postgres 'varchar' → 'character varying', 'timestamptz' normalization).\n */\nexport type NativeTypeNormalizer = (nativeType: string) => string;\n\n/**\n * Options for the pure schema verification function.\n */\nexport interface VerifySqlSchemaOptions {\n  /** The validated SQL contract to verify against */\n  readonly contract: SqlContract<SqlStorage>;\n  /** The schema IR from introspection (or another source) */\n  readonly schema: SqlSchemaIR;\n  /** Whether to run in strict mode (detects extra tables/columns) */\n  readonly strict: boolean;\n  /** Optional operation context for metadata */\n  readonly context?: OperationContext;\n  /** Type metadata registry for codec consistency warnings */\n  readonly typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  /**\n   * Active framework components participating in this composition.\n   * All components must have matching familyId ('sql') and targetId.\n   */\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n  /**\n   * Optional target-specific normalizer for raw database default expressions.\n   * When provided, schema defaults (raw strings) are normalized before comparison\n   * with contract defaults (ColumnDefault objects).\n   */\n  readonly normalizeDefault?: DefaultNormalizer;\n  /**\n   * Optional target-specific normalizer for schema native type names.\n   * When provided, schema native types are normalized before comparison\n   * with contract native types (e.g., Postgres 'varchar' → 'character varying').\n   */\n  readonly normalizeNativeType?: NativeTypeNormalizer;\n}\n\n/**\n * Verifies that a SqlSchemaIR matches a SqlContract.\n *\n * This is a pure function that does NOT perform any database I/O.\n * It takes an already-introspected schema IR and compares it against\n * the contract requirements.\n *\n * @param options - Verification options\n * @returns VerifyDatabaseSchemaResult with verification tree and issues\n */\nexport function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabaseSchemaResult {\n  const {\n    contract,\n    schema,\n    strict,\n    context,\n    typeMetadataRegistry,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const startTime = Date.now();\n\n  // Extract codec control hooks once at entry point for reuse\n  const codecHooks = extractCodecControlHooks(options.frameworkComponents);\n\n  const { contractStorageHash, contractProfileHash, contractTarget } =\n    extractContractMetadata(contract);\n  const { issues, rootChildren } = verifySchemaTables({\n    contract,\n    schema,\n    strict,\n    typeMetadataRegistry,\n    codecHooks,\n    ...ifDefined('normalizeDefault', normalizeDefault),\n    ...ifDefined('normalizeNativeType', normalizeNativeType),\n  });\n\n  validateFrameworkComponentsForExtensions(contract, options.frameworkComponents);\n\n  // Verify storage type instances via codec control hooks (pure, deterministic)\n  const storageTypes = contract.storage.types ?? {};\n  const storageTypeEntries = Object.entries(storageTypes);\n  if (storageTypeEntries.length > 0) {\n    const typeNodes: SchemaVerificationNode[] = [];\n    for (const [typeName, typeInstance] of storageTypeEntries) {\n      const hook = codecHooks.get(typeInstance.codecId);\n      const typeIssues = hook?.verifyType\n        ? hook.verifyType({ typeName, typeInstance, schema })\n        : [];\n      if (typeIssues.length > 0) {\n        issues.push(...typeIssues);\n      }\n      const typeStatus = typeIssues.length > 0 ? 'fail' : 'pass';\n      const typeCode = typeIssues.length > 0 ? (typeIssues[0]?.kind ?? '') : '';\n      typeNodes.push({\n        status: typeStatus,\n        kind: 'storageType',\n        name: `type ${typeName}`,\n        contractPath: `storage.types.${typeName}`,\n        code: typeCode,\n        message:\n          typeIssues.length > 0\n            ? `${typeIssues.length} issue${typeIssues.length === 1 ? '' : 's'}`\n            : '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n    const typesStatus = typeNodes.some((n) => n.status === 'fail') ? 'fail' : 'pass';\n    rootChildren.push({\n      status: typesStatus,\n      kind: 'storageTypes',\n      name: 'types',\n      contractPath: 'storage.types',\n      code: typesStatus === 'fail' ? 'type_mismatch' : '',\n      message: '',\n      expected: undefined,\n      actual: undefined,\n      children: typeNodes,\n    });\n  }\n\n  const databaseDependencies = collectDependenciesFromFrameworkComponents(\n    options.frameworkComponents,\n  );\n  const dependencyStatuses = verifyDatabaseDependencies(databaseDependencies, schema, issues);\n  rootChildren.push(...dependencyStatuses);\n\n  const root = buildRootNode(rootChildren);\n\n  // Compute counts\n  const counts = computeCounts(root);\n\n  // Set ok flag\n  const ok = counts.fail === 0;\n\n  // Set code\n  const code = ok ? undefined : 'PN-SCHEMA-0001';\n\n  // Set summary\n  const summary = ok\n    ? 'Database schema satisfies contract'\n    : `Database schema does not satisfy contract (${counts.fail} failure${counts.fail === 1 ? '' : 's'})`;\n\n  const totalTime = Date.now() - startTime;\n\n  return {\n    ok,\n    ...ifDefined('code', code),\n    summary,\n    contract: {\n      storageHash: contractStorageHash,\n      ...ifDefined('profileHash', contractProfileHash),\n    },\n    target: {\n      expected: contractTarget,\n      actual: contractTarget,\n    },\n    schema: {\n      issues,\n      root,\n      counts,\n    },\n    meta: {\n      strict,\n      ...ifDefined('contractPath', context?.contractPath),\n      ...ifDefined('configPath', context?.configPath),\n    },\n    timings: {\n      total: totalTime,\n    },\n  };\n}\n\ntype VerificationStatus = 'pass' | 'warn' | 'fail';\n\nfunction extractContractMetadata(contract: SqlContract<SqlStorage>): {\n  contractStorageHash: SqlContract<SqlStorage>['storageHash'];\n  contractProfileHash?: SqlContract<SqlStorage>['profileHash'];\n  contractTarget: SqlContract<SqlStorage>['target'];\n} {\n  return {\n    contractStorageHash: contract.storageHash,\n    contractProfileHash:\n      'profileHash' in contract && typeof contract.profileHash === 'string'\n        ? contract.profileHash\n        : undefined,\n    contractTarget: contract.target,\n  };\n}\n\nfunction verifySchemaTables(options: {\n  contract: SqlContract<SqlStorage>;\n  schema: SqlSchemaIR;\n  strict: boolean;\n  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  codecHooks: Map<string, CodecControlHooks>;\n  normalizeDefault?: DefaultNormalizer;\n  normalizeNativeType?: NativeTypeNormalizer;\n}): { issues: SchemaIssue[]; rootChildren: SchemaVerificationNode[] } {\n  const {\n    contract,\n    schema,\n    strict,\n    typeMetadataRegistry,\n    codecHooks,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const issues: SchemaIssue[] = [];\n  const rootChildren: SchemaVerificationNode[] = [];\n  const contractTables = contract.storage.tables;\n  const schemaTables = schema.tables;\n\n  for (const [tableName, contractTable] of Object.entries(contractTables)) {\n    const schemaTable = schemaTables[tableName];\n    const tablePath = `storage.tables.${tableName}`;\n\n    if (!schemaTable) {\n      issues.push({\n        kind: 'missing_table',\n        table: tableName,\n        message: `Table \"${tableName}\" is missing from database`,\n      });\n      rootChildren.push({\n        status: 'fail',\n        kind: 'table',\n        name: `table ${tableName}`,\n        contractPath: tablePath,\n        code: 'missing_table',\n        message: `Table \"${tableName}\" is missing`,\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n      continue;\n    }\n\n    const tableChildren = verifyTableChildren({\n      contractTable,\n      schemaTable,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n      typeMetadataRegistry,\n      codecHooks,\n      ...ifDefined('normalizeDefault', normalizeDefault),\n      ...ifDefined('normalizeNativeType', normalizeNativeType),\n    });\n    rootChildren.push(buildTableNode(tableName, tablePath, tableChildren));\n  }\n\n  if (strict) {\n    for (const tableName of Object.keys(schemaTables)) {\n      if (!contractTables[tableName]) {\n        issues.push({\n          kind: 'extra_table',\n          table: tableName,\n          message: `Extra table \"${tableName}\" found in database (not in contract)`,\n        });\n        rootChildren.push({\n          status: 'fail',\n          kind: 'table',\n          name: `table ${tableName}`,\n          contractPath: `storage.tables.${tableName}`,\n          code: 'extra_table',\n          message: `Extra table \"${tableName}\" found`,\n          expected: undefined,\n          actual: undefined,\n          children: [],\n        });\n      }\n    }\n  }\n\n  return { issues, rootChildren };\n}\n\nfunction verifyTableChildren(options: {\n  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];\n  schemaTable: SqlSchemaIR['tables'][string];\n  tableName: string;\n  tablePath: string;\n  issues: SchemaIssue[];\n  strict: boolean;\n  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  codecHooks: Map<string, CodecControlHooks>;\n  normalizeDefault?: DefaultNormalizer;\n  normalizeNativeType?: NativeTypeNormalizer;\n}): SchemaVerificationNode[] {\n  const {\n    contractTable,\n    schemaTable,\n    tableName,\n    tablePath,\n    issues,\n    strict,\n    typeMetadataRegistry,\n    codecHooks,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const tableChildren: SchemaVerificationNode[] = [];\n  const columnNodes = collectContractColumnNodes({\n    contractTable,\n    schemaTable,\n    tableName,\n    tablePath,\n    issues,\n    typeMetadataRegistry,\n    codecHooks,\n    ...ifDefined('normalizeDefault', normalizeDefault),\n    ...ifDefined('normalizeNativeType', normalizeNativeType),\n  });\n  if (columnNodes.length > 0) {\n    tableChildren.push(buildColumnsNode(tablePath, columnNodes));\n  }\n  if (strict) {\n    appendExtraColumnNodes({\n      contractTable,\n      schemaTable,\n      tableName,\n      tablePath,\n      issues,\n      columnNodes,\n    });\n  }\n\n  if (contractTable.primaryKey) {\n    const pkStatus = verifyPrimaryKey(\n      contractTable.primaryKey,\n      schemaTable.primaryKey,\n      tableName,\n      issues,\n    );\n    if (pkStatus === 'fail') {\n      tableChildren.push({\n        status: 'fail',\n        kind: 'primaryKey',\n        name: `primary key: ${contractTable.primaryKey.columns.join(', ')}`,\n        contractPath: `${tablePath}.primaryKey`,\n        code: 'primary_key_mismatch',\n        message: 'Primary key mismatch',\n        expected: contractTable.primaryKey,\n        actual: schemaTable.primaryKey,\n        children: [],\n      });\n    } else {\n      tableChildren.push({\n        status: 'pass',\n        kind: 'primaryKey',\n        name: `primary key: ${contractTable.primaryKey.columns.join(', ')}`,\n        contractPath: `${tablePath}.primaryKey`,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  } else if (schemaTable.primaryKey && strict) {\n    issues.push({\n      kind: 'extra_primary_key',\n      table: tableName,\n      message: 'Extra primary key found in database (not in contract)',\n    });\n    tableChildren.push({\n      status: 'fail',\n      kind: 'primaryKey',\n      name: `primary key: ${schemaTable.primaryKey.columns.join(', ')}`,\n      contractPath: `${tablePath}.primaryKey`,\n      code: 'extra_primary_key',\n      message: 'Extra primary key found',\n      expected: undefined,\n      actual: schemaTable.primaryKey,\n      children: [],\n    });\n  }\n\n  // Verify FK constraints only for FKs with constraint: true\n  const constraintFks = contractTable.foreignKeys.filter((fk) => fk.constraint === true);\n  if (constraintFks.length > 0) {\n    const fkStatuses = verifyForeignKeys(\n      constraintFks,\n      schemaTable.foreignKeys,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n    );\n    tableChildren.push(...fkStatuses);\n  }\n\n  const uniqueStatuses = verifyUniqueConstraints(\n    contractTable.uniques,\n    schemaTable.uniques,\n    schemaTable.indexes,\n    tableName,\n    tablePath,\n    issues,\n    strict,\n  );\n  tableChildren.push(...uniqueStatuses);\n\n  // Combine user-declared indexes with FK-backing indexes (from FKs with index: true)\n  // so the verifier treats FK-backing indexes as expected, not \"extra\".\n  // Deduplicate: skip FK-backing indexes already covered by a user-declared index.\n  const fkBackingIndexes = contractTable.foreignKeys\n    .filter(\n      (fk) =>\n        fk.index === true &&\n        !contractTable.indexes.some((idx) => arraysEqual(idx.columns, fk.columns)),\n    )\n    .map((fk) => ({ columns: fk.columns }));\n  const allExpectedIndexes = [...contractTable.indexes, ...fkBackingIndexes];\n\n  const indexStatuses = verifyIndexes(\n    allExpectedIndexes,\n    schemaTable.indexes,\n    schemaTable.uniques,\n    tableName,\n    tablePath,\n    issues,\n    strict,\n  );\n  tableChildren.push(...indexStatuses);\n\n  return tableChildren;\n}\n\nfunction collectContractColumnNodes(options: {\n  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];\n  schemaTable: SqlSchemaIR['tables'][string];\n  tableName: string;\n  tablePath: string;\n  issues: SchemaIssue[];\n  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  codecHooks: Map<string, CodecControlHooks>;\n  normalizeDefault?: DefaultNormalizer;\n  normalizeNativeType?: NativeTypeNormalizer;\n}): SchemaVerificationNode[] {\n  const {\n    contractTable,\n    schemaTable,\n    tableName,\n    tablePath,\n    issues,\n    typeMetadataRegistry,\n    codecHooks,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const columnNodes: SchemaVerificationNode[] = [];\n\n  for (const [columnName, contractColumn] of Object.entries(contractTable.columns)) {\n    const schemaColumn = schemaTable.columns[columnName];\n    const columnPath = `${tablePath}.columns.${columnName}`;\n\n    if (!schemaColumn) {\n      issues.push({\n        kind: 'missing_column',\n        table: tableName,\n        column: columnName,\n        message: `Column \"${tableName}\".\"${columnName}\" is missing from database`,\n      });\n      columnNodes.push({\n        status: 'fail',\n        kind: 'column',\n        name: `${columnName}: missing`,\n        contractPath: columnPath,\n        code: 'missing_column',\n        message: `Column \"${columnName}\" is missing`,\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n      continue;\n    }\n\n    columnNodes.push(\n      verifyColumn({\n        tableName,\n        columnName,\n        contractColumn,\n        schemaColumn,\n        columnPath,\n        issues,\n        typeMetadataRegistry,\n        codecHooks,\n        ...ifDefined('normalizeDefault', normalizeDefault),\n        ...ifDefined('normalizeNativeType', normalizeNativeType),\n      }),\n    );\n  }\n\n  return columnNodes;\n}\n\nfunction appendExtraColumnNodes(options: {\n  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];\n  schemaTable: SqlSchemaIR['tables'][string];\n  tableName: string;\n  tablePath: string;\n  issues: SchemaIssue[];\n  columnNodes: SchemaVerificationNode[];\n}): void {\n  const { contractTable, schemaTable, tableName, tablePath, issues, columnNodes } = options;\n  for (const [columnName, { nativeType }] of Object.entries(schemaTable.columns)) {\n    if (!contractTable.columns[columnName]) {\n      issues.push({\n        kind: 'extra_column',\n        table: tableName,\n        column: columnName,\n        message: `Extra column \"${tableName}\".\"${columnName}\" found in database (not in contract)`,\n      });\n      columnNodes.push({\n        status: 'fail',\n        kind: 'column',\n        name: `${columnName}: extra`,\n        contractPath: `${tablePath}.columns.${columnName}`,\n        code: 'extra_column',\n        message: `Extra column \"${columnName}\" found`,\n        expected: undefined,\n        actual: nativeType,\n        children: [],\n      });\n    }\n  }\n}\n\nfunction verifyColumn(options: {\n  tableName: string;\n  columnName: string;\n  contractColumn: SqlContract<SqlStorage>['storage']['tables'][string]['columns'][string];\n  schemaColumn: SqlSchemaIR['tables'][string]['columns'][string];\n  columnPath: string;\n  issues: SchemaIssue[];\n  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  codecHooks: Map<string, CodecControlHooks>;\n  normalizeDefault?: DefaultNormalizer;\n  normalizeNativeType?: NativeTypeNormalizer;\n}): SchemaVerificationNode {\n  const {\n    tableName,\n    columnName,\n    contractColumn,\n    schemaColumn,\n    columnPath,\n    issues,\n    codecHooks,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const columnChildren: SchemaVerificationNode[] = [];\n  let columnStatus: VerificationStatus = 'pass';\n\n  const contractNativeType = renderExpectedNativeType(contractColumn, codecHooks);\n  const schemaNativeType =\n    normalizeNativeType?.(schemaColumn.nativeType) ?? schemaColumn.nativeType;\n\n  if (contractNativeType !== schemaNativeType) {\n    issues.push({\n      kind: 'type_mismatch',\n      table: tableName,\n      column: columnName,\n      expected: contractNativeType,\n      actual: schemaNativeType,\n      message: `Column \"${tableName}\".\"${columnName}\" has type mismatch: expected \"${contractNativeType}\", got \"${schemaNativeType}\"`,\n    });\n    columnChildren.push({\n      status: 'fail',\n      kind: 'type',\n      name: 'type',\n      contractPath: `${columnPath}.nativeType`,\n      code: 'type_mismatch',\n      message: `Type mismatch: expected ${contractNativeType}, got ${schemaNativeType}`,\n      expected: contractNativeType,\n      actual: schemaNativeType,\n      children: [],\n    });\n    columnStatus = 'fail';\n  }\n\n  if (contractColumn.codecId) {\n    const typeMetadata = options.typeMetadataRegistry.get(contractColumn.codecId);\n    if (!typeMetadata) {\n      columnChildren.push({\n        status: 'warn',\n        kind: 'type',\n        name: 'type_metadata_missing',\n        contractPath: `${columnPath}.codecId`,\n        code: 'type_metadata_missing',\n        message: `codecId \"${contractColumn.codecId}\" not found in type metadata registry`,\n        expected: contractColumn.codecId,\n        actual: undefined,\n        children: [],\n      });\n    } else if (typeMetadata.nativeType && typeMetadata.nativeType !== contractColumn.nativeType) {\n      columnChildren.push({\n        status: 'warn',\n        kind: 'type',\n        name: 'type_consistency',\n        contractPath: `${columnPath}.codecId`,\n        code: 'type_consistency_warning',\n        message: `codecId \"${contractColumn.codecId}\" maps to nativeType \"${typeMetadata.nativeType}\" in registry, but contract has \"${contractColumn.nativeType}\"`,\n        expected: typeMetadata.nativeType,\n        actual: contractColumn.nativeType,\n        children: [],\n      });\n    }\n  }\n\n  if (contractColumn.nullable !== schemaColumn.nullable) {\n    issues.push({\n      kind: 'nullability_mismatch',\n      table: tableName,\n      column: columnName,\n      expected: String(contractColumn.nullable),\n      actual: String(schemaColumn.nullable),\n      message: `Column \"${tableName}\".\"${columnName}\" has nullability mismatch: expected ${contractColumn.nullable ? 'nullable' : 'not null'}, got ${schemaColumn.nullable ? 'nullable' : 'not null'}`,\n    });\n    columnChildren.push({\n      status: 'fail',\n      kind: 'nullability',\n      name: 'nullability',\n      contractPath: `${columnPath}.nullable`,\n      code: 'nullability_mismatch',\n      message: `Nullability mismatch: expected ${contractColumn.nullable ? 'nullable' : 'not null'}, got ${schemaColumn.nullable ? 'nullable' : 'not null'}`,\n      expected: contractColumn.nullable,\n      actual: schemaColumn.nullable,\n      children: [],\n    });\n    columnStatus = 'fail';\n  }\n\n  if (contractColumn.default) {\n    if (!schemaColumn.default) {\n      const defaultDescription = describeColumnDefault(contractColumn.default);\n      issues.push({\n        kind: 'default_missing',\n        table: tableName,\n        column: columnName,\n        expected: defaultDescription,\n        message: `Column \"${tableName}\".\"${columnName}\" should have default ${defaultDescription} but database has no default`,\n      });\n      columnChildren.push({\n        status: 'fail',\n        kind: 'default',\n        name: 'default',\n        contractPath: `${columnPath}.default`,\n        code: 'default_missing',\n        message: `Default missing: expected ${defaultDescription}`,\n        expected: defaultDescription,\n        actual: undefined,\n        children: [],\n      });\n      columnStatus = 'fail';\n    } else if (\n      !columnDefaultsEqual(\n        contractColumn.default,\n        schemaColumn.default,\n        normalizeDefault,\n        schemaNativeType,\n      )\n    ) {\n      const expectedDescription = describeColumnDefault(contractColumn.default);\n      // schemaColumn.default is now a raw string, describe it as-is\n      const actualDescription = schemaColumn.default;\n      issues.push({\n        kind: 'default_mismatch',\n        table: tableName,\n        column: columnName,\n        expected: expectedDescription,\n        actual: actualDescription,\n        message: `Column \"${tableName}\".\"${columnName}\" has default mismatch: expected ${expectedDescription}, got ${actualDescription}`,\n      });\n      columnChildren.push({\n        status: 'fail',\n        kind: 'default',\n        name: 'default',\n        contractPath: `${columnPath}.default`,\n        code: 'default_mismatch',\n        message: `Default mismatch: expected ${expectedDescription}, got ${actualDescription}`,\n        expected: expectedDescription,\n        actual: actualDescription,\n        children: [],\n      });\n      columnStatus = 'fail';\n    }\n  }\n\n  // Single-pass aggregation for better performance\n  const aggregated = aggregateChildState(columnChildren, columnStatus);\n  const nullableText = contractColumn.nullable ? 'nullable' : 'not nullable';\n  const columnTypeDisplay = contractColumn.codecId\n    ? `${contractNativeType} (${contractColumn.codecId})`\n    : contractNativeType;\n  const columnMessage = aggregated.failureMessages.join('; ');\n\n  return {\n    status: aggregated.status,\n    kind: 'column',\n    name: `${columnName}: ${columnTypeDisplay} (${nullableText})`,\n    contractPath: columnPath,\n    code: aggregated.firstCode,\n    message: columnMessage,\n    expected: undefined,\n    actual: undefined,\n    children: columnChildren,\n  };\n}\n\nfunction buildColumnsNode(\n  tablePath: string,\n  columnNodes: SchemaVerificationNode[],\n): SchemaVerificationNode {\n  return {\n    status: aggregateChildState(columnNodes, 'pass').status,\n    kind: 'columns',\n    name: 'columns',\n    contractPath: `${tablePath}.columns`,\n    code: '',\n    message: '',\n    expected: undefined,\n    actual: undefined,\n    children: columnNodes,\n  };\n}\n\nfunction buildTableNode(\n  tableName: string,\n  tablePath: string,\n  tableChildren: SchemaVerificationNode[],\n): SchemaVerificationNode {\n  const tableStatus = aggregateChildState(tableChildren, 'pass').status;\n  const tableFailureMessages = tableChildren\n    .filter((child) => child.status === 'fail' && child.message)\n    .map((child) => child.message)\n    .filter((msg): msg is string => typeof msg === 'string' && msg.length > 0);\n  const tableMessage =\n    tableStatus === 'fail' && tableFailureMessages.length > 0\n      ? `${tableFailureMessages.length} issue${tableFailureMessages.length === 1 ? '' : 's'}`\n      : '';\n  const tableCode =\n    tableStatus === 'fail' && tableChildren.length > 0 && tableChildren[0]\n      ? tableChildren[0].code\n      : '';\n\n  return {\n    status: tableStatus,\n    kind: 'table',\n    name: `table ${tableName}`,\n    contractPath: tablePath,\n    code: tableCode,\n    message: tableMessage,\n    expected: undefined,\n    actual: undefined,\n    children: tableChildren,\n  };\n}\n\nfunction buildRootNode(rootChildren: SchemaVerificationNode[]): SchemaVerificationNode {\n  return {\n    status: aggregateChildState(rootChildren, 'pass').status,\n    kind: 'contract',\n    name: 'contract',\n    contractPath: '',\n    code: '',\n    message: '',\n    expected: undefined,\n    actual: undefined,\n    children: rootChildren,\n  };\n}\n\n/**\n * Aggregated state from child nodes, computed in a single pass.\n */\ninterface AggregatedChildState {\n  readonly status: VerificationStatus;\n  readonly failureMessages: readonly string[];\n  readonly firstCode: string;\n}\n\n/**\n * Aggregates status, failure messages, and code from children in a single pass.\n * This is more efficient than calling separate functions that each iterate the array.\n */\nfunction aggregateChildState(\n  children: SchemaVerificationNode[],\n  fallback: VerificationStatus,\n): AggregatedChildState {\n  let status: VerificationStatus = fallback;\n  const failureMessages: string[] = [];\n  let firstCode = '';\n\n  for (const child of children) {\n    if (child.status === 'fail') {\n      status = 'fail';\n      if (!firstCode) {\n        firstCode = child.code;\n      }\n      if (child.message && typeof child.message === 'string' && child.message.length > 0) {\n        failureMessages.push(child.message);\n      }\n    } else if (child.status === 'warn' && status !== 'fail') {\n      status = 'warn';\n      if (!firstCode) {\n        firstCode = child.code;\n      }\n    }\n  }\n\n  return { status, failureMessages, firstCode };\n}\n\nfunction validateFrameworkComponentsForExtensions(\n  contract: SqlContract<SqlStorage>,\n  frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>,\n): void {\n  const contractExtensionPacks = contract.extensionPacks ?? {};\n  for (const extensionNamespace of Object.keys(contractExtensionPacks)) {\n    const hasComponent = frameworkComponents.some(\n      (component) =>\n        component.id === extensionNamespace &&\n        (component.kind === 'extension' ||\n          component.kind === 'adapter' ||\n          component.kind === 'target'),\n    );\n    if (!hasComponent) {\n      throw new Error(\n        `Extension pack '${extensionNamespace}' is declared in the contract but not found in framework components. ` +\n          'This indicates a configuration mismatch - the contract was emitted with this extension pack, ' +\n          'but it is not provided in the current configuration.',\n      );\n    }\n  }\n}\n\n/**\n * Type predicate to check if a component has database dependencies with an init array.\n * The familyId check is redundant since TargetBoundComponentDescriptor<'sql', T> already\n * guarantees familyId is 'sql' at the type level, so we don't need runtime checks for it.\n */\nfunction hasDatabaseDependenciesInit<T extends string>(\n  component: TargetBoundComponentDescriptor<'sql', T>,\n): component is TargetBoundComponentDescriptor<'sql', T> & {\n  readonly databaseDependencies: {\n    readonly init: readonly ComponentDatabaseDependency<T>[];\n  };\n} {\n  if (!('databaseDependencies' in component)) {\n    return false;\n  }\n  const dbDeps = (component as Record<string, unknown>)['databaseDependencies'];\n  if (dbDeps === undefined || dbDeps === null || typeof dbDeps !== 'object') {\n    return false;\n  }\n  const depsRecord = dbDeps as Record<string, unknown>;\n  const init = depsRecord['init'];\n  if (init === undefined || !Array.isArray(init)) {\n    return false;\n  }\n  return true;\n}\n\nfunction collectDependenciesFromFrameworkComponents<T extends string>(\n  components: ReadonlyArray<TargetBoundComponentDescriptor<'sql', T>>,\n): ReadonlyArray<ComponentDatabaseDependency<T>> {\n  const dependencies: ComponentDatabaseDependency<T>[] = [];\n  for (const component of components) {\n    if (hasDatabaseDependenciesInit(component)) {\n      dependencies.push(...component.databaseDependencies.init);\n    }\n  }\n  return dependencies;\n}\n\n/**\n * Renders the expected native type for a contract column, expanding parameterized types\n * using codec control hooks when available.\n *\n * This function delegates to the `expandNativeType` hook if the codec provides one,\n * ensuring that the SQL family layer remains dialect-agnostic while allowing\n * target-specific adapters (like Postgres) to provide their own expansion logic.\n */\nfunction renderExpectedNativeType(\n  contractColumn: SqlContract<SqlStorage>['storage']['tables'][string]['columns'][string],\n  codecHooks: Map<string, CodecControlHooks>,\n): string {\n  const { codecId, nativeType, typeParams } = contractColumn;\n\n  // If no typeParams or codecId, return the base native type\n  if (!typeParams || !codecId) {\n    return nativeType;\n  }\n\n  // Try to use the codec's expandNativeType hook if available\n  const hooks = codecHooks.get(codecId);\n  if (hooks?.expandNativeType) {\n    return hooks.expandNativeType({ nativeType, codecId, typeParams });\n  }\n\n  // Fallback: return base native type if no hook is available\n  return nativeType;\n}\n\n/**\n * Describes a column default for display purposes.\n */\nfunction describeColumnDefault(columnDefault: ColumnDefault): string {\n  switch (columnDefault.kind) {\n    case 'literal':\n      return `literal(${formatLiteralValue(columnDefault.value)})`;\n    case 'function':\n      return columnDefault.expression;\n  }\n}\n\n/**\n * Compares a contract ColumnDefault against a schema raw default string for semantic equality.\n *\n * When a normalizer is provided, the raw schema default is first normalized to a ColumnDefault\n * before comparison. Without a normalizer, falls back to direct string comparison against\n * the contract expression.\n *\n * @param contractDefault - The expected default from the contract (normalized ColumnDefault)\n * @param schemaDefault - The raw default expression from the database (string)\n * @param normalizer - Optional target-specific normalizer to convert raw defaults\n * @param nativeType - The column's native type, passed to normalizer for context\n */\nfunction columnDefaultsEqual(\n  contractDefault: ColumnDefault,\n  schemaDefault: string,\n  normalizer?: DefaultNormalizer,\n  nativeType?: string,\n): boolean {\n  // If no normalizer provided, fall back to direct string comparison\n  if (!normalizer) {\n    if (contractDefault.kind === 'function') {\n      return contractDefault.expression === schemaDefault;\n    }\n    const normalizedValue = normalizeLiteralValue(contractDefault.value, nativeType);\n    if (typeof normalizedValue === 'string') {\n      return normalizedValue === schemaDefault || `'${normalizedValue}'` === schemaDefault;\n    }\n    return String(normalizedValue) === schemaDefault;\n  }\n\n  // Normalize the raw schema default using target-specific logic\n  const normalizedSchema = normalizer(schemaDefault, nativeType ?? '');\n  if (!normalizedSchema) {\n    // Normalizer couldn't parse the expression - treat as mismatch\n    return false;\n  }\n\n  // Compare normalized defaults\n  if (contractDefault.kind !== normalizedSchema.kind) {\n    return false;\n  }\n  if (contractDefault.kind === 'literal' && normalizedSchema.kind === 'literal') {\n    const contractValue = normalizeLiteralValue(contractDefault.value, nativeType);\n    const schemaValue = normalizeLiteralValue(normalizedSchema.value, nativeType);\n    return literalValuesEqual(contractValue, schemaValue);\n  }\n  if (contractDefault.kind === 'function' && normalizedSchema.kind === 'function') {\n    // Normalize function expressions for comparison (case-insensitive, whitespace-tolerant)\n    const normalizeExpr = (expr: string) => expr.toLowerCase().replace(/\\s+/g, '');\n    return normalizeExpr(contractDefault.expression) === normalizeExpr(normalizedSchema.expression);\n  }\n  return false;\n}\n\nfunction isTemporalNativeType(nativeType?: string): boolean {\n  if (!nativeType) return false;\n  const normalized = nativeType.toLowerCase();\n  return normalized.includes('timestamp') || normalized === 'date';\n}\n\nfunction isBigIntNativeType(nativeType?: string): boolean {\n  if (!nativeType) return false;\n  const normalized = nativeType.toLowerCase();\n  return normalized === 'bigint' || normalized === 'int8';\n}\n\nfunction normalizeLiteralValue(value: unknown, nativeType?: string): unknown {\n  if (value instanceof Date) {\n    return value.toISOString();\n  }\n  if (isTaggedBigInt(value) && isBigIntNativeType(nativeType)) {\n    return value.value;\n  }\n  if (typeof value === 'bigint') {\n    return value.toString();\n  }\n  if (typeof value === 'string' && isTemporalNativeType(nativeType)) {\n    const parsed = new Date(value);\n    if (!Number.isNaN(parsed.getTime())) {\n      return parsed.toISOString();\n    }\n  }\n  return value;\n}\n\n/**\n * Recursively sorts object keys for deterministic JSON comparison.\n * Postgres jsonb may canonicalize key order, so two semantically equal\n * objects can have different key insertion order.\n */\nfunction stableStringify(value: unknown): string {\n  return JSON.stringify(value, (_key, val) => {\n    if (val !== null && typeof val === 'object' && !Array.isArray(val)) {\n      const sorted: Record<string, unknown> = {};\n      for (const k of Object.keys(val as Record<string, unknown>).sort()) {\n        sorted[k] = (val as Record<string, unknown>)[k];\n      }\n      return sorted;\n    }\n    return val;\n  });\n}\n\nfunction literalValuesEqual(a: unknown, b: unknown): boolean {\n  if (a === b) return true;\n  if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null) {\n    return stableStringify(a) === stableStringify(b);\n  }\n  if (typeof a === 'object' && a !== null && typeof b === 'string') {\n    try {\n      return stableStringify(a) === stableStringify(JSON.parse(b));\n    } catch {\n      return false;\n    }\n  }\n  if (typeof a === 'string' && typeof b === 'object' && b !== null) {\n    try {\n      return stableStringify(JSON.parse(a)) === stableStringify(b);\n    } catch {\n      return false;\n    }\n  }\n  return false;\n}\n\nfunction formatLiteralValue(value: unknown): string {\n  if (value instanceof Date) {\n    return value.toISOString();\n  }\n  if (isTaggedBigInt(value)) {\n    return value.value;\n  }\n  if (typeof value === 'bigint') {\n    return value.toString();\n  }\n  if (typeof value === 'string') {\n    return value;\n  }\n  return JSON.stringify(value);\n}\n"],"mappings":";;;;;;;;AAuBA,SAAgB,YAAY,GAAsB,GAA+B;AAC/E,KAAI,EAAE,WAAW,EAAE,OACjB,QAAO;AAET,MAAK,IAAI,IAAI,GAAG,IAAI,EAAE,QAAQ,IAC5B,KAAI,EAAE,OAAO,EAAE,GACb,QAAO;AAGX,QAAO;;;;;;;;;;;;;;AAsBT,SAAgB,4BACd,SACA,SACA,SACS;AAGT,KADsB,QAAQ,MAAM,WAAW,YAAY,OAAO,SAAS,QAAQ,CAAC,CAElF,QAAO;AAGT,QAAO,QAAQ,MAAM,UAAU,MAAM,UAAU,YAAY,MAAM,SAAS,QAAQ,CAAC;;;;;;;;;;;;;;AAerF,SAAgB,iBACd,SACA,SACA,SACS;AAGT,KADyB,QAAQ,MAAM,UAAU,YAAY,MAAM,SAAS,QAAQ,CAAC,CAEnF,QAAO;AAGT,QAAO,QAAQ,MAAM,WAAW,YAAY,OAAO,SAAS,QAAQ,CAAC;;;;;;;;;AAUvE,SAAgB,iBACd,YACA,UACA,WACA,QACiB;AACjB,KAAI,CAAC,UAAU;AACb,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,UAAU,WAAW,QAAQ,KAAK,KAAK;GACvC,SAAS,UAAU,UAAU;GAC9B,CAAC;AACF,SAAO;;AAGT,KAAI,CAAC,YAAY,WAAW,SAAS,SAAS,QAAQ,EAAE;AACtD,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,UAAU,WAAW,QAAQ,KAAK,KAAK;GACvC,QAAQ,SAAS,QAAQ,KAAK,KAAK;GACnC,SAAS,UAAU,UAAU,gDAAgD,WAAW,QAAQ,KAAK,KAAK,CAAC,UAAU,SAAS,QAAQ,KAAK,KAAK,CAAC;GAClJ,CAAC;AACF,SAAO;;AAMT,QAAO;;;;;;;;;AAUT,SAAgB,kBACd,aACA,WACA,WACA,WACA,QACA,QAC0B;CAC1B,MAAMA,QAAkC,EAAE;AAG1C,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,SAAS,GAAG,UAAU,eAAe,WAAW,QAAQ,KAAK,IAAI,CAAC;EACxE,MAAM,aAAa,UAAU,MAAM,OAAO;AACxC,UACE,YAAY,GAAG,SAAS,WAAW,QAAQ,IAC3C,GAAG,oBAAoB,WAAW,WAAW,SAC7C,YAAY,GAAG,mBAAmB,WAAW,WAAW,QAAQ;IAElE;AAEF,MAAI,CAAC,YAAY;AACf,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,UAAU,GAAG,WAAW,QAAQ,KAAK,KAAK,CAAC,MAAM,WAAW,WAAW,MAAM,GAAG,WAAW,WAAW,QAAQ,KAAK,KAAK,CAAC;IACzH,SAAS,UAAU,UAAU,4BAA4B,WAAW,QAAQ,KAAK,KAAK,CAAC,MAAM,WAAW,WAAW,MAAM,GAAG,WAAW,WAAW,QAAQ,KAAK,KAAK,CAAC;IACtK,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,cAAc,WAAW,QAAQ,KAAK,KAAK,CAAC;IAClD,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;SACG;GACL,MAAM,mBAAmB,+BAA+B,YAAY,WAAW;AAC/E,OAAI,iBAAiB,SAAS,GAAG;IAC/B,MAAM,kBAAkB,iBAAiB,KAAK,MAAM,EAAE,QAAQ,CAAC,KAAK,KAAK;IACzE,MAAM,mBAAmB,iBAAiB,KAAK,MAAM,EAAE,SAAS,CAAC,KAAK,KAAK;IAC3E,MAAM,iBAAiB,iBAAiB,KAAK,MAAM,EAAE,OAAO,CAAC,KAAK,KAAK;AACvE,WAAO,KAAK;KACV,MAAM;KACN,OAAO;KAGP,mBAAmB,WAAW,QAAQ,MAAM,WAAW,QAAQ,KAAK,IAAI,CAAC;KACzE,UAAU;KACV,QAAQ;KACR,SAAS,UAAU,UAAU,gBAAgB,WAAW,QAAQ,KAAK,KAAK,CAAC,MAAM,WAAW,WAAW,MAAM,IAAI;KAClH,CAAC;AACF,UAAM,KAAK;KACT,QAAQ;KACR,MAAM;KACN,MAAM,cAAc,WAAW,QAAQ,KAAK,KAAK,CAAC;KAClD,cAAc;KACd,MAAM;KACN,SAAS;KACT,UAAU;KACV,QAAQ;KACR,UAAU,EAAE;KACb,CAAC;SAEF,OAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,cAAc,WAAW,QAAQ,KAAK,KAAK,CAAC;IAClD,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAMR,KAAI,QACF;OAAK,MAAM,YAAY,UASrB,KAAI,CARe,YAAY,MAAM,OAAO;AAC1C,UACE,YAAY,GAAG,SAAS,SAAS,QAAQ,IACzC,GAAG,WAAW,UAAU,SAAS,mBACjC,YAAY,GAAG,WAAW,SAAS,SAAS,kBAAkB;IAEhE,EAEe;AACf,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,0DAA0D,SAAS,QAAQ,KAAK,KAAK,CAAC,MAAM,SAAS,gBAAgB,GAAG,SAAS,kBAAkB,KAAK,KAAK,CAAC;IACxK,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,cAAc,SAAS,QAAQ,KAAK,KAAK,CAAC;IAChD,cAAc,GAAG,UAAU,eAAe,SAAS,QAAQ,KAAK,IAAI,CAAC;IACrE,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAKR,QAAO;;;;;;;;;;;;;AAcT,SAAgB,wBACd,iBACA,eACA,eACA,WACA,WACA,QACA,QAC0B;CAC1B,MAAMA,QAAkC,EAAE;AAG1C,MAAK,MAAM,kBAAkB,iBAAiB;EAC5C,MAAM,aAAa,GAAG,UAAU,WAAW,eAAe,QAAQ,KAAK,IAAI,CAAC;EAG5E,MAAM,iBAAiB,cAAc,MAAM,MACzC,YAAY,EAAE,SAAS,eAAe,QAAQ,CAC/C;EAGD,MAAM,sBACJ,CAAC,kBACD,cAAc,MAAM,QAAQ,IAAI,UAAU,YAAY,IAAI,SAAS,eAAe,QAAQ,CAAC;AAE7F,MAAI,CAAC,kBAAkB,CAAC,qBAAqB;AAC3C,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,UAAU,eAAe,QAAQ,KAAK,KAAK;IAC3C,SAAS,UAAU,UAAU,kCAAkC,eAAe,QAAQ,KAAK,KAAK;IACjG,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,UAAU,eAAe,QAAQ,KAAK,KAAK,CAAC;IAClD,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;QAIF,OAAM,KAAK;GACT,QAAQ;GACR,MAAM;GACN,MAAM,UAAU,eAAe,QAAQ,KAAK,KAAK,CAAC;GAClD,cAAc;GACd,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAKN,KAAI,QACF;OAAK,MAAM,gBAAgB,cAKzB,KAAI,CAJmB,gBAAgB,MAAM,MAC3C,YAAY,EAAE,SAAS,aAAa,QAAQ,CAC7C,EAEoB;AACnB,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,gEAAgE,aAAa,QAAQ,KAAK,KAAK;IACzG,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,UAAU,aAAa,QAAQ,KAAK,KAAK,CAAC;IAChD,cAAc,GAAG,UAAU,WAAW,aAAa,QAAQ,KAAK,IAAI,CAAC;IACrE,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAKR,QAAO;;;;;;;;;;;;;AAcT,SAAgB,cACd,iBACA,eACA,eACA,WACA,WACA,QACA,QAC0B;CAC1B,MAAMA,QAAkC,EAAE;AAG1C,MAAK,MAAM,iBAAiB,iBAAiB;EAC3C,MAAM,YAAY,GAAG,UAAU,WAAW,cAAc,QAAQ,KAAK,IAAI,CAAC;EAI1E,MAAM,gBAAgB,cAAc,MAAM,QACxC,YAAY,IAAI,SAAS,cAAc,QAAQ,CAChD;EAGD,MAAM,2BACJ,CAAC,iBAAiB,cAAc,MAAM,MAAM,YAAY,EAAE,SAAS,cAAc,QAAQ,CAAC;AAE5F,MAAI,CAAC,iBAAiB,CAAC,0BAA0B;AAC/C,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,UAAU,cAAc,QAAQ,KAAK,KAAK;IAC1C,SAAS,UAAU,UAAU,sBAAsB,cAAc,QAAQ,KAAK,KAAK;IACpF,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,SAAS,cAAc,QAAQ,KAAK,KAAK,CAAC;IAChD,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;QAIF,OAAM,KAAK;GACT,QAAQ;GACR,MAAM;GACN,MAAM,SAAS,cAAc,QAAQ,KAAK,KAAK,CAAC;GAChD,cAAc;GACd,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAKN,KAAI,OACF,MAAK,MAAM,eAAe,eAAe;AAEvC,MAAI,YAAY,OACd;AAOF,MAAI,CAJkB,gBAAgB,MAAM,QAC1C,YAAY,IAAI,SAAS,YAAY,QAAQ,CAC9C,EAEmB;AAClB,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,oDAAoD,YAAY,QAAQ,KAAK,KAAK;IAC5F,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,SAAS,YAAY,QAAQ,KAAK,KAAK,CAAC;IAC9C,cAAc,GAAG,UAAU,WAAW,YAAY,QAAQ,KAAK,IAAI,CAAC;IACpE,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAKR,QAAO;;;;;;;;;AAUT,SAAgB,2BACd,cACA,QACA,QAC0B;CAC1B,MAAMA,QAAkC,EAAE;AAE1C,MAAK,MAAM,cAAc,cAAc;EACrC,MAAM,YAAY,WAAW,kCAAkC,OAAO;EACtE,MAAM,UAAU,gBAAgB,WAAW;AAE3C,MAAI,UAAU,SAAS,GAAG;AAExB,UAAO,KAAK,GAAG,UAAU;GACzB,MAAM,gBAAgB,UAAU,KAAK,MAAM,EAAE,QAAQ,CAAC,KAAK,KAAK;GAChE,MAAM,cAAc,gBAAgB,GAAG,WAAW,GAAG,IAAI,kBAAkB,WAAW;AACtF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,WAAW;IACjB,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;QAGF,OAAM,KAAK;GACT,QAAQ;GACR,MAAM;GACN,MAAM,WAAW;GACjB,cAAc;GACd,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAIN,QAAO;;;;;AAMT,SAAgB,cAAc,MAK5B;CACA,IAAI,OAAO;CACX,IAAI,OAAO;CACX,IAAI,OAAO;CAEX,SAAS,SAAS,GAAiC;AACjD,MAAI,EAAE,WAAW,OACf;WACS,EAAE,WAAW,OACtB;WACS,EAAE,WAAW,OACtB;AAGF,MAAI,EAAE,SACJ,MAAK,MAAM,SAAS,EAAE,SACpB,UAAS,MAAM;;AAKrB,UAAS,KAAK;AAEd,QAAO;EACL;EACA;EACA;EACA,YAAY,OAAO,OAAO;EAC3B;;;;;;;;;;;AAYH,SAAS,+BACP,YACA,UACsE;CACtE,MAAMC,aAA2E,EAAE;CAEnF,MAAM,mBAAmB,2BAA2B,WAAW,SAAS;CACxE,MAAM,iBAAiB,2BAA2B,SAAS,SAAS;AACpE,KAAI,qBAAqB,UAAa,qBAAqB,eACzD,YAAW,KAAK;EACd,UAAU,aAAa,WAAW;EAClC,QAAQ,aAAa,SAAS,YAAY;EAC1C,SAAS,+BAA+B,WAAW,SAAS,QAAQ,SAAS,YAAY;EAC1F,CAAC;CAGJ,MAAM,mBAAmB,2BAA2B,WAAW,SAAS;CACxE,MAAM,iBAAiB,2BAA2B,SAAS,SAAS;AACpE,KAAI,qBAAqB,UAAa,qBAAqB,eACzD,YAAW,KAAK;EACd,UAAU,aAAa,WAAW;EAClC,QAAQ,aAAa,SAAS,YAAY;EAC1C,SAAS,+BAA+B,WAAW,SAAS,QAAQ,SAAS,YAAY;EAC1F,CAAC;AAGJ,QAAO;;;;;;AAOT,SAAS,2BAA2B,QAAgD;AAClF,QAAO,WAAW,aAAa,SAAY;;;;;;;;;;;;;;;AC/f7C,SAAgB,gBAAgB,SAA6D;CAC3F,MAAM,EACJ,UACA,QACA,QACA,SACA,sBACA,kBACA,wBACE;CACJ,MAAM,YAAY,KAAK,KAAK;CAG5B,MAAM,aAAa,yBAAyB,QAAQ,oBAAoB;CAExE,MAAM,EAAE,qBAAqB,qBAAqB,mBAChD,wBAAwB,SAAS;CACnC,MAAM,EAAE,QAAQ,iBAAiB,mBAAmB;EAClD;EACA;EACA;EACA;EACA;EACA,GAAG,UAAU,oBAAoB,iBAAiB;EAClD,GAAG,UAAU,uBAAuB,oBAAoB;EACzD,CAAC;AAEF,0CAAyC,UAAU,QAAQ,oBAAoB;CAG/E,MAAM,eAAe,SAAS,QAAQ,SAAS,EAAE;CACjD,MAAM,qBAAqB,OAAO,QAAQ,aAAa;AACvD,KAAI,mBAAmB,SAAS,GAAG;EACjC,MAAMC,YAAsC,EAAE;AAC9C,OAAK,MAAM,CAAC,UAAU,iBAAiB,oBAAoB;GACzD,MAAM,OAAO,WAAW,IAAI,aAAa,QAAQ;GACjD,MAAM,aAAa,MAAM,aACrB,KAAK,WAAW;IAAE;IAAU;IAAc;IAAQ,CAAC,GACnD,EAAE;AACN,OAAI,WAAW,SAAS,EACtB,QAAO,KAAK,GAAG,WAAW;GAE5B,MAAM,aAAa,WAAW,SAAS,IAAI,SAAS;GACpD,MAAM,WAAW,WAAW,SAAS,IAAK,WAAW,IAAI,QAAQ,KAAM;AACvE,aAAU,KAAK;IACb,QAAQ;IACR,MAAM;IACN,MAAM,QAAQ;IACd,cAAc,iBAAiB;IAC/B,MAAM;IACN,SACE,WAAW,SAAS,IAChB,GAAG,WAAW,OAAO,QAAQ,WAAW,WAAW,IAAI,KAAK,QAC5D;IACN,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;EAEJ,MAAM,cAAc,UAAU,MAAM,MAAM,EAAE,WAAW,OAAO,GAAG,SAAS;AAC1E,eAAa,KAAK;GAChB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc;GACd,MAAM,gBAAgB,SAAS,kBAAkB;GACjD,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU;GACX,CAAC;;CAMJ,MAAM,qBAAqB,2BAHE,2CAC3B,QAAQ,oBACT,EAC2E,QAAQ,OAAO;AAC3F,cAAa,KAAK,GAAG,mBAAmB;CAExC,MAAM,OAAO,cAAc,aAAa;CAGxC,MAAM,SAAS,cAAc,KAAK;CAGlC,MAAM,KAAK,OAAO,SAAS;CAG3B,MAAM,OAAO,KAAK,SAAY;CAG9B,MAAM,UAAU,KACZ,uCACA,8CAA8C,OAAO,KAAK,UAAU,OAAO,SAAS,IAAI,KAAK,IAAI;CAErG,MAAM,YAAY,KAAK,KAAK,GAAG;AAE/B,QAAO;EACL;EACA,GAAG,UAAU,QAAQ,KAAK;EAC1B;EACA,UAAU;GACR,aAAa;GACb,GAAG,UAAU,eAAe,oBAAoB;GACjD;EACD,QAAQ;GACN,UAAU;GACV,QAAQ;GACT;EACD,QAAQ;GACN;GACA;GACA;GACD;EACD,MAAM;GACJ;GACA,GAAG,UAAU,gBAAgB,SAAS,aAAa;GACnD,GAAG,UAAU,cAAc,SAAS,WAAW;GAChD;EACD,SAAS,EACP,OAAO,WACR;EACF;;AAKH,SAAS,wBAAwB,UAI/B;AACA,QAAO;EACL,qBAAqB,SAAS;EAC9B,qBACE,iBAAiB,YAAY,OAAO,SAAS,gBAAgB,WACzD,SAAS,cACT;EACN,gBAAgB,SAAS;EAC1B;;AAGH,SAAS,mBAAmB,SAQ0C;CACpE,MAAM,EACJ,UACA,QACA,QACA,sBACA,YACA,kBACA,wBACE;CACJ,MAAMC,SAAwB,EAAE;CAChC,MAAMC,eAAyC,EAAE;CACjD,MAAM,iBAAiB,SAAS,QAAQ;CACxC,MAAM,eAAe,OAAO;AAE5B,MAAK,MAAM,CAAC,WAAW,kBAAkB,OAAO,QAAQ,eAAe,EAAE;EACvE,MAAM,cAAc,aAAa;EACjC,MAAM,YAAY,kBAAkB;AAEpC,MAAI,CAAC,aAAa;AAChB,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,UAAU,UAAU;IAC9B,CAAC;AACF,gBAAa,KAAK;IAChB,QAAQ;IACR,MAAM;IACN,MAAM,SAAS;IACf,cAAc;IACd,MAAM;IACN,SAAS,UAAU,UAAU;IAC7B,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF;;EAGF,MAAM,gBAAgB,oBAAoB;GACxC;GACA;GACA;GACA;GACA;GACA;GACA;GACA;GACA,GAAG,UAAU,oBAAoB,iBAAiB;GAClD,GAAG,UAAU,uBAAuB,oBAAoB;GACzD,CAAC;AACF,eAAa,KAAK,eAAe,WAAW,WAAW,cAAc,CAAC;;AAGxE,KAAI,QACF;OAAK,MAAM,aAAa,OAAO,KAAK,aAAa,CAC/C,KAAI,CAAC,eAAe,YAAY;AAC9B,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,gBAAgB,UAAU;IACpC,CAAC;AACF,gBAAa,KAAK;IAChB,QAAQ;IACR,MAAM;IACN,MAAM,SAAS;IACf,cAAc,kBAAkB;IAChC,MAAM;IACN,SAAS,gBAAgB,UAAU;IACnC,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAKR,QAAO;EAAE;EAAQ;EAAc;;AAGjC,SAAS,oBAAoB,SAWA;CAC3B,MAAM,EACJ,eACA,aACA,WACA,WACA,QACA,QACA,sBACA,YACA,kBACA,wBACE;CACJ,MAAMC,gBAA0C,EAAE;CAClD,MAAM,cAAc,2BAA2B;EAC7C;EACA;EACA;EACA;EACA;EACA;EACA;EACA,GAAG,UAAU,oBAAoB,iBAAiB;EAClD,GAAG,UAAU,uBAAuB,oBAAoB;EACzD,CAAC;AACF,KAAI,YAAY,SAAS,EACvB,eAAc,KAAK,iBAAiB,WAAW,YAAY,CAAC;AAE9D,KAAI,OACF,wBAAuB;EACrB;EACA;EACA;EACA;EACA;EACA;EACD,CAAC;AAGJ,KAAI,cAAc,WAOhB,KANiB,iBACf,cAAc,YACd,YAAY,YACZ,WACA,OACD,KACgB,OACf,eAAc,KAAK;EACjB,QAAQ;EACR,MAAM;EACN,MAAM,gBAAgB,cAAc,WAAW,QAAQ,KAAK,KAAK;EACjE,cAAc,GAAG,UAAU;EAC3B,MAAM;EACN,SAAS;EACT,UAAU,cAAc;EACxB,QAAQ,YAAY;EACpB,UAAU,EAAE;EACb,CAAC;KAEF,eAAc,KAAK;EACjB,QAAQ;EACR,MAAM;EACN,MAAM,gBAAgB,cAAc,WAAW,QAAQ,KAAK,KAAK;EACjE,cAAc,GAAG,UAAU;EAC3B,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU,EAAE;EACb,CAAC;UAEK,YAAY,cAAc,QAAQ;AAC3C,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,SAAS;GACV,CAAC;AACF,gBAAc,KAAK;GACjB,QAAQ;GACR,MAAM;GACN,MAAM,gBAAgB,YAAY,WAAW,QAAQ,KAAK,KAAK;GAC/D,cAAc,GAAG,UAAU;GAC3B,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ,YAAY;GACpB,UAAU,EAAE;GACb,CAAC;;CAIJ,MAAM,gBAAgB,cAAc,YAAY,QAAQ,OAAO,GAAG,eAAe,KAAK;AACtF,KAAI,cAAc,SAAS,GAAG;EAC5B,MAAM,aAAa,kBACjB,eACA,YAAY,aACZ,WACA,WACA,QACA,OACD;AACD,gBAAc,KAAK,GAAG,WAAW;;CAGnC,MAAM,iBAAiB,wBACrB,cAAc,SACd,YAAY,SACZ,YAAY,SACZ,WACA,WACA,QACA,OACD;AACD,eAAc,KAAK,GAAG,eAAe;CAKrC,MAAM,mBAAmB,cAAc,YACpC,QACE,OACC,GAAG,UAAU,QACb,CAAC,cAAc,QAAQ,MAAM,QAAQ,YAAY,IAAI,SAAS,GAAG,QAAQ,CAAC,CAC7E,CACA,KAAK,QAAQ,EAAE,SAAS,GAAG,SAAS,EAAE;CAGzC,MAAM,gBAAgB,cAFK,CAAC,GAAG,cAAc,SAAS,GAAG,iBAAiB,EAIxE,YAAY,SACZ,YAAY,SACZ,WACA,WACA,QACA,OACD;AACD,eAAc,KAAK,GAAG,cAAc;AAEpC,QAAO;;AAGT,SAAS,2BAA2B,SAUP;CAC3B,MAAM,EACJ,eACA,aACA,WACA,WACA,QACA,sBACA,YACA,kBACA,wBACE;CACJ,MAAMC,cAAwC,EAAE;AAEhD,MAAK,MAAM,CAAC,YAAY,mBAAmB,OAAO,QAAQ,cAAc,QAAQ,EAAE;EAChF,MAAM,eAAe,YAAY,QAAQ;EACzC,MAAM,aAAa,GAAG,UAAU,WAAW;AAE3C,MAAI,CAAC,cAAc;AACjB,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS,WAAW,UAAU,KAAK,WAAW;IAC/C,CAAC;AACF,eAAY,KAAK;IACf,QAAQ;IACR,MAAM;IACN,MAAM,GAAG,WAAW;IACpB,cAAc;IACd,MAAM;IACN,SAAS,WAAW,WAAW;IAC/B,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF;;AAGF,cAAY,KACV,aAAa;GACX;GACA;GACA;GACA;GACA;GACA;GACA;GACA;GACA,GAAG,UAAU,oBAAoB,iBAAiB;GAClD,GAAG,UAAU,uBAAuB,oBAAoB;GACzD,CAAC,CACH;;AAGH,QAAO;;AAGT,SAAS,uBAAuB,SAOvB;CACP,MAAM,EAAE,eAAe,aAAa,WAAW,WAAW,QAAQ,gBAAgB;AAClF,MAAK,MAAM,CAAC,YAAY,EAAE,iBAAiB,OAAO,QAAQ,YAAY,QAAQ,CAC5E,KAAI,CAAC,cAAc,QAAQ,aAAa;AACtC,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,QAAQ;GACR,SAAS,iBAAiB,UAAU,KAAK,WAAW;GACrD,CAAC;AACF,cAAY,KAAK;GACf,QAAQ;GACR,MAAM;GACN,MAAM,GAAG,WAAW;GACpB,cAAc,GAAG,UAAU,WAAW;GACtC,MAAM;GACN,SAAS,iBAAiB,WAAW;GACrC,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;;AAKR,SAAS,aAAa,SAWK;CACzB,MAAM,EACJ,WACA,YACA,gBACA,cACA,YACA,QACA,YACA,kBACA,wBACE;CACJ,MAAMC,iBAA2C,EAAE;CACnD,IAAIC,eAAmC;CAEvC,MAAM,qBAAqB,yBAAyB,gBAAgB,WAAW;CAC/E,MAAM,mBACJ,sBAAsB,aAAa,WAAW,IAAI,aAAa;AAEjE,KAAI,uBAAuB,kBAAkB;AAC3C,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,QAAQ;GACR,UAAU;GACV,QAAQ;GACR,SAAS,WAAW,UAAU,KAAK,WAAW,iCAAiC,mBAAmB,UAAU,iBAAiB;GAC9H,CAAC;AACF,iBAAe,KAAK;GAClB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,GAAG,WAAW;GAC5B,MAAM;GACN,SAAS,2BAA2B,mBAAmB,QAAQ;GAC/D,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;AACF,iBAAe;;AAGjB,KAAI,eAAe,SAAS;EAC1B,MAAM,eAAe,QAAQ,qBAAqB,IAAI,eAAe,QAAQ;AAC7E,MAAI,CAAC,aACH,gBAAe,KAAK;GAClB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,GAAG,WAAW;GAC5B,MAAM;GACN,SAAS,YAAY,eAAe,QAAQ;GAC5C,UAAU,eAAe;GACzB,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;WACO,aAAa,cAAc,aAAa,eAAe,eAAe,WAC/E,gBAAe,KAAK;GAClB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,GAAG,WAAW;GAC5B,MAAM;GACN,SAAS,YAAY,eAAe,QAAQ,wBAAwB,aAAa,WAAW,mCAAmC,eAAe,WAAW;GACzJ,UAAU,aAAa;GACvB,QAAQ,eAAe;GACvB,UAAU,EAAE;GACb,CAAC;;AAIN,KAAI,eAAe,aAAa,aAAa,UAAU;AACrD,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,QAAQ;GACR,UAAU,OAAO,eAAe,SAAS;GACzC,QAAQ,OAAO,aAAa,SAAS;GACrC,SAAS,WAAW,UAAU,KAAK,WAAW,uCAAuC,eAAe,WAAW,aAAa,WAAW,QAAQ,aAAa,WAAW,aAAa;GACrL,CAAC;AACF,iBAAe,KAAK;GAClB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,GAAG,WAAW;GAC5B,MAAM;GACN,SAAS,kCAAkC,eAAe,WAAW,aAAa,WAAW,QAAQ,aAAa,WAAW,aAAa;GAC1I,UAAU,eAAe;GACzB,QAAQ,aAAa;GACrB,UAAU,EAAE;GACb,CAAC;AACF,iBAAe;;AAGjB,KAAI,eAAe,SACjB;MAAI,CAAC,aAAa,SAAS;GACzB,MAAM,qBAAqB,sBAAsB,eAAe,QAAQ;AACxE,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,QAAQ;IACR,UAAU;IACV,SAAS,WAAW,UAAU,KAAK,WAAW,wBAAwB,mBAAmB;IAC1F,CAAC;AACF,kBAAe,KAAK;IAClB,QAAQ;IACR,MAAM;IACN,MAAM;IACN,cAAc,GAAG,WAAW;IAC5B,MAAM;IACN,SAAS,6BAA6B;IACtC,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF,kBAAe;aAEf,CAAC,oBACC,eAAe,SACf,aAAa,SACb,kBACA,iBACD,EACD;GACA,MAAM,sBAAsB,sBAAsB,eAAe,QAAQ;GAEzE,MAAM,oBAAoB,aAAa;AACvC,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,SAAS,WAAW,UAAU,KAAK,WAAW,mCAAmC,oBAAoB,QAAQ;IAC9G,CAAC;AACF,kBAAe,KAAK;IAClB,QAAQ;IACR,MAAM;IACN,MAAM;IACN,cAAc,GAAG,WAAW;IAC5B,MAAM;IACN,SAAS,8BAA8B,oBAAoB,QAAQ;IACnE,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF,kBAAe;;;CAKnB,MAAM,aAAa,oBAAoB,gBAAgB,aAAa;CACpE,MAAM,eAAe,eAAe,WAAW,aAAa;CAC5D,MAAM,oBAAoB,eAAe,UACrC,GAAG,mBAAmB,IAAI,eAAe,QAAQ,KACjD;CACJ,MAAM,gBAAgB,WAAW,gBAAgB,KAAK,KAAK;AAE3D,QAAO;EACL,QAAQ,WAAW;EACnB,MAAM;EACN,MAAM,GAAG,WAAW,IAAI,kBAAkB,IAAI,aAAa;EAC3D,cAAc;EACd,MAAM,WAAW;EACjB,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU;EACX;;AAGH,SAAS,iBACP,WACA,aACwB;AACxB,QAAO;EACL,QAAQ,oBAAoB,aAAa,OAAO,CAAC;EACjD,MAAM;EACN,MAAM;EACN,cAAc,GAAG,UAAU;EAC3B,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU;EACX;;AAGH,SAAS,eACP,WACA,WACA,eACwB;CACxB,MAAM,cAAc,oBAAoB,eAAe,OAAO,CAAC;CAC/D,MAAM,uBAAuB,cAC1B,QAAQ,UAAU,MAAM,WAAW,UAAU,MAAM,QAAQ,CAC3D,KAAK,UAAU,MAAM,QAAQ,CAC7B,QAAQ,QAAuB,OAAO,QAAQ,YAAY,IAAI,SAAS,EAAE;CAC5E,MAAM,eACJ,gBAAgB,UAAU,qBAAqB,SAAS,IACpD,GAAG,qBAAqB,OAAO,QAAQ,qBAAqB,WAAW,IAAI,KAAK,QAChF;CACN,MAAM,YACJ,gBAAgB,UAAU,cAAc,SAAS,KAAK,cAAc,KAChE,cAAc,GAAG,OACjB;AAEN,QAAO;EACL,QAAQ;EACR,MAAM;EACN,MAAM,SAAS;EACf,cAAc;EACd,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU;EACX;;AAGH,SAAS,cAAc,cAAgE;AACrF,QAAO;EACL,QAAQ,oBAAoB,cAAc,OAAO,CAAC;EAClD,MAAM;EACN,MAAM;EACN,cAAc;EACd,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU;EACX;;;;;;AAgBH,SAAS,oBACP,UACA,UACsB;CACtB,IAAIC,SAA6B;CACjC,MAAMC,kBAA4B,EAAE;CACpC,IAAI,YAAY;AAEhB,MAAK,MAAM,SAAS,SAClB,KAAI,MAAM,WAAW,QAAQ;AAC3B,WAAS;AACT,MAAI,CAAC,UACH,aAAY,MAAM;AAEpB,MAAI,MAAM,WAAW,OAAO,MAAM,YAAY,YAAY,MAAM,QAAQ,SAAS,EAC/E,iBAAgB,KAAK,MAAM,QAAQ;YAE5B,MAAM,WAAW,UAAU,WAAW,QAAQ;AACvD,WAAS;AACT,MAAI,CAAC,UACH,aAAY,MAAM;;AAKxB,QAAO;EAAE;EAAQ;EAAiB;EAAW;;AAG/C,SAAS,yCACP,UACA,qBACM;CACN,MAAM,yBAAyB,SAAS,kBAAkB,EAAE;AAC5D,MAAK,MAAM,sBAAsB,OAAO,KAAK,uBAAuB,CAQlE,KAAI,CAPiB,oBAAoB,MACtC,cACC,UAAU,OAAO,uBAChB,UAAU,SAAS,eAClB,UAAU,SAAS,aACnB,UAAU,SAAS,UACxB,CAEC,OAAM,IAAI,MACR,mBAAmB,mBAAmB,wNAGvC;;;;;;;AAUP,SAAS,4BACP,WAKA;AACA,KAAI,EAAE,0BAA0B,WAC9B,QAAO;CAET,MAAM,SAAU,UAAsC;AACtD,KAAI,WAAW,UAAa,WAAW,QAAQ,OAAO,WAAW,SAC/D,QAAO;CAGT,MAAM,OADa,OACK;AACxB,KAAI,SAAS,UAAa,CAAC,MAAM,QAAQ,KAAK,CAC5C,QAAO;AAET,QAAO;;AAGT,SAAS,2CACP,YAC+C;CAC/C,MAAMC,eAAiD,EAAE;AACzD,MAAK,MAAM,aAAa,WACtB,KAAI,4BAA4B,UAAU,CACxC,cAAa,KAAK,GAAG,UAAU,qBAAqB,KAAK;AAG7D,QAAO;;;;;;;;;;AAWT,SAAS,yBACP,gBACA,YACQ;CACR,MAAM,EAAE,SAAS,YAAY,eAAe;AAG5C,KAAI,CAAC,cAAc,CAAC,QAClB,QAAO;CAIT,MAAM,QAAQ,WAAW,IAAI,QAAQ;AACrC,KAAI,OAAO,iBACT,QAAO,MAAM,iBAAiB;EAAE;EAAY;EAAS;EAAY,CAAC;AAIpE,QAAO;;;;;AAMT,SAAS,sBAAsB,eAAsC;AACnE,SAAQ,cAAc,MAAtB;EACE,KAAK,UACH,QAAO,WAAW,mBAAmB,cAAc,MAAM,CAAC;EAC5D,KAAK,WACH,QAAO,cAAc;;;;;;;;;;;;;;;AAgB3B,SAAS,oBACP,iBACA,eACA,YACA,YACS;AAET,KAAI,CAAC,YAAY;AACf,MAAI,gBAAgB,SAAS,WAC3B,QAAO,gBAAgB,eAAe;EAExC,MAAM,kBAAkB,sBAAsB,gBAAgB,OAAO,WAAW;AAChF,MAAI,OAAO,oBAAoB,SAC7B,QAAO,oBAAoB,iBAAiB,IAAI,gBAAgB,OAAO;AAEzE,SAAO,OAAO,gBAAgB,KAAK;;CAIrC,MAAM,mBAAmB,WAAW,eAAe,cAAc,GAAG;AACpE,KAAI,CAAC,iBAEH,QAAO;AAIT,KAAI,gBAAgB,SAAS,iBAAiB,KAC5C,QAAO;AAET,KAAI,gBAAgB,SAAS,aAAa,iBAAiB,SAAS,UAGlE,QAAO,mBAFe,sBAAsB,gBAAgB,OAAO,WAAW,EAC1D,sBAAsB,iBAAiB,OAAO,WAAW,CACxB;AAEvD,KAAI,gBAAgB,SAAS,cAAc,iBAAiB,SAAS,YAAY;EAE/E,MAAM,iBAAiB,SAAiB,KAAK,aAAa,CAAC,QAAQ,QAAQ,GAAG;AAC9E,SAAO,cAAc,gBAAgB,WAAW,KAAK,cAAc,iBAAiB,WAAW;;AAEjG,QAAO;;AAGT,SAAS,qBAAqB,YAA8B;AAC1D,KAAI,CAAC,WAAY,QAAO;CACxB,MAAM,aAAa,WAAW,aAAa;AAC3C,QAAO,WAAW,SAAS,YAAY,IAAI,eAAe;;AAG5D,SAAS,mBAAmB,YAA8B;AACxD,KAAI,CAAC,WAAY,QAAO;CACxB,MAAM,aAAa,WAAW,aAAa;AAC3C,QAAO,eAAe,YAAY,eAAe;;AAGnD,SAAS,sBAAsB,OAAgB,YAA8B;AAC3E,KAAI,iBAAiB,KACnB,QAAO,MAAM,aAAa;AAE5B,KAAI,eAAe,MAAM,IAAI,mBAAmB,WAAW,CACzD,QAAO,MAAM;AAEf,KAAI,OAAO,UAAU,SACnB,QAAO,MAAM,UAAU;AAEzB,KAAI,OAAO,UAAU,YAAY,qBAAqB,WAAW,EAAE;EACjE,MAAM,SAAS,IAAI,KAAK,MAAM;AAC9B,MAAI,CAAC,OAAO,MAAM,OAAO,SAAS,CAAC,CACjC,QAAO,OAAO,aAAa;;AAG/B,QAAO;;;;;;;AAQT,SAAS,gBAAgB,OAAwB;AAC/C,QAAO,KAAK,UAAU,QAAQ,MAAM,QAAQ;AAC1C,MAAI,QAAQ,QAAQ,OAAO,QAAQ,YAAY,CAAC,MAAM,QAAQ,IAAI,EAAE;GAClE,MAAMC,SAAkC,EAAE;AAC1C,QAAK,MAAM,KAAK,OAAO,KAAK,IAA+B,CAAC,MAAM,CAChE,QAAO,KAAM,IAAgC;AAE/C,UAAO;;AAET,SAAO;GACP;;AAGJ,SAAS,mBAAmB,GAAY,GAAqB;AAC3D,KAAI,MAAM,EAAG,QAAO;AACpB,KAAI,OAAO,MAAM,YAAY,MAAM,QAAQ,OAAO,MAAM,YAAY,MAAM,KACxE,QAAO,gBAAgB,EAAE,KAAK,gBAAgB,EAAE;AAElD,KAAI,OAAO,MAAM,YAAY,MAAM,QAAQ,OAAO,MAAM,SACtD,KAAI;AACF,SAAO,gBAAgB,EAAE,KAAK,gBAAgB,KAAK,MAAM,EAAE,CAAC;SACtD;AACN,SAAO;;AAGX,KAAI,OAAO,MAAM,YAAY,OAAO,MAAM,YAAY,MAAM,KAC1D,KAAI;AACF,SAAO,gBAAgB,KAAK,MAAM,EAAE,CAAC,KAAK,gBAAgB,EAAE;SACtD;AACN,SAAO;;AAGX,QAAO;;AAGT,SAAS,mBAAmB,OAAwB;AAClD,KAAI,iBAAiB,KACnB,QAAO,MAAM,aAAa;AAE5B,KAAI,eAAe,MAAM,CACvB,QAAO,MAAM;AAEf,KAAI,OAAO,UAAU,SACnB,QAAO,MAAM,UAAU;AAEzB,KAAI,OAAO,UAAU,SACnB,QAAO;AAET,QAAO,KAAK,UAAU,MAAM"}

package/package.json

@@ -1,31 +1,31 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.3.0-dev.41",
+  "version": "0.3.0-dev.44",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/cli": "0.3.0-dev.41",
-    "@prisma-next/contract": "0.3.0-dev.41",
-    "@prisma-next/core-control-plane": "0.3.0-dev.41",
-    "@prisma-next/core-execution-plane": "0.3.0-dev.41",
-    "@prisma-next/runtime-executor": "0.3.0-dev.41",
-    "@prisma-next/operations": "0.3.0-dev.41",
-    "@prisma-next/sql-contract": "0.3.0-dev.41",
-    "@prisma-next/sql-contract-emitter": "0.3.0-dev.41",
-    "@prisma-next/sql-operations": "0.3.0-dev.41",
-    "@prisma-next/sql-relational-core": "0.3.0-dev.41",
-    "@prisma-next/sql-runtime": "0.3.0-dev.41",
-    "@prisma-next/sql-contract-ts": "0.3.0-dev.41",
-    "@prisma-next/sql-schema-ir": "0.3.0-dev.41",
-    "@prisma-next/utils": "0.3.0-dev.41"
+    "@prisma-next/contract": "0.3.0-dev.44",
+    "@prisma-next/core-control-plane": "0.3.0-dev.44",
+    "@prisma-next/cli": "0.3.0-dev.44",
+    "@prisma-next/core-execution-plane": "0.3.0-dev.44",
+    "@prisma-next/operations": "0.3.0-dev.44",
+    "@prisma-next/sql-contract": "0.3.0-dev.44",
+    "@prisma-next/sql-operations": "0.3.0-dev.44",
+    "@prisma-next/sql-contract-emitter": "0.3.0-dev.44",
+    "@prisma-next/sql-contract-ts": "0.3.0-dev.44",
+    "@prisma-next/sql-relational-core": "0.3.0-dev.44",
+    "@prisma-next/sql-runtime": "0.3.0-dev.44",
+    "@prisma-next/sql-schema-ir": "0.3.0-dev.44",
+    "@prisma-next/utils": "0.3.0-dev.44",
+    "@prisma-next/runtime-executor": "0.3.0-dev.44"
   },
   "devDependencies": {
     "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.17",
-    "@prisma-next/driver-postgres": "0.3.0-dev.41",
+    "@prisma-next/driver-postgres": "0.3.0-dev.44",
     "@prisma-next/test-utils": "0.0.1",
     "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/tsdown": "0.0.0"

package/src/core/schema-verify/verify-helpers.ts

@@ -179,19 +179,45 @@ export function verifyForeignKeys(
         children: [],
       });
     } else {
-      // Name differences are ignored for semantic satisfaction.
-      // Names are persisted for deterministic DDL and diagnostics but are not identity.
-      nodes.push({
-        status: 'pass',
-        kind: 'foreignKey',
-        name: `foreignKey(${contractFK.columns.join(', ')})`,
-        contractPath: fkPath,
-        code: '',
-        message: '',
-        expected: undefined,
-        actual: undefined,
-        children: [],
-      });
+      const actionMismatches = getReferentialActionMismatches(contractFK, matchingFK);
+      if (actionMismatches.length > 0) {
+        const combinedMessage = actionMismatches.map((m) => m.message).join('; ');
+        const combinedExpected = actionMismatches.map((m) => m.expected).join(', ');
+        const combinedActual = actionMismatches.map((m) => m.actual).join(', ');
+        issues.push({
+          kind: 'foreign_key_mismatch',
+          table: tableName,
+          // Set indexOrConstraint so the planner classifies this as a non-additive
+          // conflict (existing FK with wrong actions cannot be fixed additively).
+          indexOrConstraint: matchingFK.name ?? `fk(${contractFK.columns.join(',')})`,
+          expected: combinedExpected,
+          actual: combinedActual,
+          message: `Table "${tableName}" foreign key ${contractFK.columns.join(', ')} -> ${contractFK.references.table}: ${combinedMessage}`,
+        });
+        nodes.push({
+          status: 'fail',
+          kind: 'foreignKey',
+          name: `foreignKey(${contractFK.columns.join(', ')})`,
+          contractPath: fkPath,
+          code: 'foreign_key_mismatch',
+          message: combinedMessage,
+          expected: contractFK,
+          actual: matchingFK,
+          children: [],
+        });
+      } else {
+        nodes.push({
+          status: 'pass',
+          kind: 'foreignKey',
+          name: `foreignKey(${contractFK.columns.join(', ')})`,
+          contractPath: fkPath,
+          code: '',
+          message: '',
+          expected: undefined,
+          actual: undefined,
+          children: [],
+        });
+      }
     }
   }
 
@@ -530,3 +556,49 @@ export function computeCounts(node: SchemaVerificationNode): {
     totalNodes: pass + warn + fail,
   };
 }
+
+/**
+ * Compares referential actions between a contract FK and a schema FK.
+ * Only compares when the contract FK explicitly specifies onDelete or onUpdate.
+ * Returns all mismatches (both onDelete and onUpdate) so both are reported at once.
+ *
+ * Note: 'noAction' in the contract is semantically equivalent to undefined in the
+ * schema IR, because the introspection adapter omits 'NO ACTION' (the database default)
+ * to keep the IR sparse. We normalize both sides before comparing.
+ */
+function getReferentialActionMismatches(
+  contractFK: ForeignKey,
+  schemaFK: SqlForeignKeyIR,
+): ReadonlyArray<{ expected: string; actual: string; message: string }> {
+  const mismatches: Array<{ expected: string; actual: string; message: string }> = [];
+
+  const contractOnDelete = normalizeReferentialAction(contractFK.onDelete);
+  const schemaOnDelete = normalizeReferentialAction(schemaFK.onDelete);
+  if (contractOnDelete !== undefined && contractOnDelete !== schemaOnDelete) {
+    mismatches.push({
+      expected: `onDelete: ${contractFK.onDelete}`,
+      actual: `onDelete: ${schemaFK.onDelete ?? 'noAction (default)'}`,
+      message: `onDelete mismatch: expected ${contractFK.onDelete}, got ${schemaFK.onDelete ?? 'noAction (default)'}`,
+    });
+  }
+
+  const contractOnUpdate = normalizeReferentialAction(contractFK.onUpdate);
+  const schemaOnUpdate = normalizeReferentialAction(schemaFK.onUpdate);
+  if (contractOnUpdate !== undefined && contractOnUpdate !== schemaOnUpdate) {
+    mismatches.push({
+      expected: `onUpdate: ${contractFK.onUpdate}`,
+      actual: `onUpdate: ${schemaFK.onUpdate ?? 'noAction (default)'}`,
+      message: `onUpdate mismatch: expected ${contractFK.onUpdate}, got ${schemaFK.onUpdate ?? 'noAction (default)'}`,
+    });
+  }
+
+  return mismatches;
+}
+
+/**
+ * Normalizes a referential action value for comparison.
+ * 'noAction' is the database default and equivalent to undefined (omitted) in the sparse IR.
+ */
+function normalizeReferentialAction(action: string | undefined): string | undefined {
+  return action === 'noAction' ? undefined : action;
+}

package/dist/verify-sql-schema-DMG0mz1g.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-sql-schema-DMG0mz1g.mjs","names":["nodes: SchemaVerificationNode[]","typeNodes: SchemaVerificationNode[]","issues: SchemaIssue[]","rootChildren: SchemaVerificationNode[]","tableChildren: SchemaVerificationNode[]","columnNodes: SchemaVerificationNode[]","columnChildren: SchemaVerificationNode[]","columnStatus: VerificationStatus","status: VerificationStatus","failureMessages: string[]","dependencies: ComponentDatabaseDependency<T>[]","sorted: Record<string, unknown>"],"sources":["../src/core/schema-verify/verify-helpers.ts","../src/core/schema-verify/verify-sql-schema.ts"],"sourcesContent":["/**\n * Pure verification helper functions for SQL schema verification.\n * These functions verify schema IR against contract requirements.\n */\n\nimport type { SchemaIssue, SchemaVerificationNode } from '@prisma-next/core-control-plane/types';\nimport type {\n  ForeignKey,\n  Index,\n  PrimaryKey,\n  UniqueConstraint,\n} from '@prisma-next/sql-contract/types';\nimport type {\n  SqlForeignKeyIR,\n  SqlIndexIR,\n  SqlSchemaIR,\n  SqlUniqueIR,\n} from '@prisma-next/sql-schema-ir/types';\nimport type { ComponentDatabaseDependency } from '../migrations/types';\n\n/**\n * Compares two arrays of strings for equality (order-sensitive).\n */\nexport function arraysEqual(a: readonly string[], b: readonly string[]): boolean {\n  if (a.length !== b.length) {\n    return false;\n  }\n  for (let i = 0; i < a.length; i++) {\n    if (a[i] !== b[i]) {\n      return false;\n    }\n  }\n  return true;\n}\n\n// ============================================================================\n// Semantic Satisfaction Predicates\n// ============================================================================\n// These predicates implement the \"stronger satisfies weaker\" logic for storage\n// objects. They are used by both verification and migration planning to ensure\n// consistent behavior across the control plane.\n\n/**\n * Checks if a unique constraint requirement is satisfied by the given columns.\n *\n * Semantic satisfaction: a unique constraint requirement can be satisfied by:\n * - A unique constraint with the same columns, OR\n * - A unique index with the same columns\n *\n * @param uniques - The unique constraints in the schema table\n * @param indexes - The indexes in the schema table\n * @param columns - The columns required by the unique constraint\n * @returns true if the requirement is satisfied\n */\nexport function isUniqueConstraintSatisfied(\n  uniques: readonly SqlUniqueIR[],\n  indexes: readonly SqlIndexIR[],\n  columns: readonly string[],\n): boolean {\n  // Check for matching unique constraint\n  const hasConstraint = uniques.some((unique) => arraysEqual(unique.columns, columns));\n  if (hasConstraint) {\n    return true;\n  }\n  // Check for matching unique index (semantic satisfaction)\n  return indexes.some((index) => index.unique && arraysEqual(index.columns, columns));\n}\n\n/**\n * Checks if an index requirement is satisfied by the given columns.\n *\n * Semantic satisfaction: a non-unique index requirement can be satisfied by:\n * - Any index (unique or non-unique) with the same columns, OR\n * - A unique constraint with the same columns (stronger satisfies weaker)\n *\n * @param indexes - The indexes in the schema table\n * @param uniques - The unique constraints in the schema table\n * @param columns - The columns required by the index\n * @returns true if the requirement is satisfied\n */\nexport function isIndexSatisfied(\n  indexes: readonly SqlIndexIR[],\n  uniques: readonly SqlUniqueIR[],\n  columns: readonly string[],\n): boolean {\n  // Check for any matching index (unique or non-unique)\n  const hasMatchingIndex = indexes.some((index) => arraysEqual(index.columns, columns));\n  if (hasMatchingIndex) {\n    return true;\n  }\n  // Check for matching unique constraint (semantic satisfaction)\n  return uniques.some((unique) => arraysEqual(unique.columns, columns));\n}\n\n/**\n * Verifies primary key matches between contract and schema.\n * Returns 'pass' or 'fail'.\n *\n * Uses semantic satisfaction: identity is based on (table + kind + columns).\n * Name differences are ignored by default (names are for DDL/diagnostics, not identity).\n */\nexport function verifyPrimaryKey(\n  contractPK: PrimaryKey,\n  schemaPK: PrimaryKey | undefined,\n  tableName: string,\n  issues: SchemaIssue[],\n): 'pass' | 'fail' {\n  if (!schemaPK) {\n    issues.push({\n      kind: 'primary_key_mismatch',\n      table: tableName,\n      expected: contractPK.columns.join(', '),\n      message: `Table \"${tableName}\" is missing primary key`,\n    });\n    return 'fail';\n  }\n\n  if (!arraysEqual(contractPK.columns, schemaPK.columns)) {\n    issues.push({\n      kind: 'primary_key_mismatch',\n      table: tableName,\n      expected: contractPK.columns.join(', '),\n      actual: schemaPK.columns.join(', '),\n      message: `Table \"${tableName}\" has primary key mismatch: expected columns [${contractPK.columns.join(', ')}], got [${schemaPK.columns.join(', ')}]`,\n    });\n    return 'fail';\n  }\n\n  // Name differences are ignored for semantic satisfaction.\n  // Names are persisted for deterministic DDL and diagnostics but are not identity.\n\n  return 'pass';\n}\n\n/**\n * Verifies foreign keys match between contract and schema.\n * Returns verification nodes for the tree.\n *\n * Uses semantic satisfaction: identity is based on (table + columns + referenced table + referenced columns).\n * Name differences are ignored by default (names are for DDL/diagnostics, not identity).\n */\nexport function verifyForeignKeys(\n  contractFKs: readonly ForeignKey[],\n  schemaFKs: readonly SqlForeignKeyIR[],\n  tableName: string,\n  tablePath: string,\n  issues: SchemaIssue[],\n  strict: boolean,\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n\n  // Check each contract FK exists in schema\n  for (const contractFK of contractFKs) {\n    const fkPath = `${tablePath}.foreignKeys[${contractFK.columns.join(',')}]`;\n    const matchingFK = schemaFKs.find((fk) => {\n      return (\n        arraysEqual(fk.columns, contractFK.columns) &&\n        fk.referencedTable === contractFK.references.table &&\n        arraysEqual(fk.referencedColumns, contractFK.references.columns)\n      );\n    });\n\n    if (!matchingFK) {\n      issues.push({\n        kind: 'foreign_key_mismatch',\n        table: tableName,\n        expected: `${contractFK.columns.join(', ')} -> ${contractFK.references.table}(${contractFK.references.columns.join(', ')})`,\n        message: `Table \"${tableName}\" is missing foreign key: ${contractFK.columns.join(', ')} -> ${contractFK.references.table}(${contractFK.references.columns.join(', ')})`,\n      });\n      nodes.push({\n        status: 'fail',\n        kind: 'foreignKey',\n        name: `foreignKey(${contractFK.columns.join(', ')})`,\n        contractPath: fkPath,\n        code: 'foreign_key_mismatch',\n        message: 'Foreign key missing',\n        expected: contractFK,\n        actual: undefined,\n        children: [],\n      });\n    } else {\n      // Name differences are ignored for semantic satisfaction.\n      // Names are persisted for deterministic DDL and diagnostics but are not identity.\n      nodes.push({\n        status: 'pass',\n        kind: 'foreignKey',\n        name: `foreignKey(${contractFK.columns.join(', ')})`,\n        contractPath: fkPath,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  }\n\n  // Check for extra FKs in strict mode\n  if (strict) {\n    for (const schemaFK of schemaFKs) {\n      const matchingFK = contractFKs.find((fk) => {\n        return (\n          arraysEqual(fk.columns, schemaFK.columns) &&\n          fk.references.table === schemaFK.referencedTable &&\n          arraysEqual(fk.references.columns, schemaFK.referencedColumns)\n        );\n      });\n\n      if (!matchingFK) {\n        issues.push({\n          kind: 'extra_foreign_key',\n          table: tableName,\n          message: `Extra foreign key found in database (not in contract): ${schemaFK.columns.join(', ')} -> ${schemaFK.referencedTable}(${schemaFK.referencedColumns.join(', ')})`,\n        });\n        nodes.push({\n          status: 'fail',\n          kind: 'foreignKey',\n          name: `foreignKey(${schemaFK.columns.join(', ')})`,\n          contractPath: `${tablePath}.foreignKeys[${schemaFK.columns.join(',')}]`,\n          code: 'extra_foreign_key',\n          message: 'Extra foreign key found',\n          expected: undefined,\n          actual: schemaFK,\n          children: [],\n        });\n      }\n    }\n  }\n\n  return nodes;\n}\n\n/**\n * Verifies unique constraints match between contract and schema.\n * Returns verification nodes for the tree.\n *\n * Uses semantic satisfaction: identity is based on (table + kind + columns).\n * A unique constraint requirement can be satisfied by either:\n * - A unique constraint with the same columns, or\n * - A unique index with the same columns\n *\n * Name differences are ignored by default (names are for DDL/diagnostics, not identity).\n */\nexport function verifyUniqueConstraints(\n  contractUniques: readonly UniqueConstraint[],\n  schemaUniques: readonly SqlUniqueIR[],\n  schemaIndexes: readonly SqlIndexIR[],\n  tableName: string,\n  tablePath: string,\n  issues: SchemaIssue[],\n  strict: boolean,\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n\n  // Check each contract unique exists in schema\n  for (const contractUnique of contractUniques) {\n    const uniquePath = `${tablePath}.uniques[${contractUnique.columns.join(',')}]`;\n\n    // First check for a matching unique constraint\n    const matchingUnique = schemaUniques.find((u) =>\n      arraysEqual(u.columns, contractUnique.columns),\n    );\n\n    // If no matching constraint, check for a unique index with the same columns\n    const matchingUniqueIndex =\n      !matchingUnique &&\n      schemaIndexes.find((idx) => idx.unique && arraysEqual(idx.columns, contractUnique.columns));\n\n    if (!matchingUnique && !matchingUniqueIndex) {\n      issues.push({\n        kind: 'unique_constraint_mismatch',\n        table: tableName,\n        expected: contractUnique.columns.join(', '),\n        message: `Table \"${tableName}\" is missing unique constraint: ${contractUnique.columns.join(', ')}`,\n      });\n      nodes.push({\n        status: 'fail',\n        kind: 'unique',\n        name: `unique(${contractUnique.columns.join(', ')})`,\n        contractPath: uniquePath,\n        code: 'unique_constraint_mismatch',\n        message: 'Unique constraint missing',\n        expected: contractUnique,\n        actual: undefined,\n        children: [],\n      });\n    } else {\n      // Name differences are ignored for semantic satisfaction.\n      // Names are persisted for deterministic DDL and diagnostics but are not identity.\n      nodes.push({\n        status: 'pass',\n        kind: 'unique',\n        name: `unique(${contractUnique.columns.join(', ')})`,\n        contractPath: uniquePath,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  }\n\n  // Check for extra uniques in strict mode\n  if (strict) {\n    for (const schemaUnique of schemaUniques) {\n      const matchingUnique = contractUniques.find((u) =>\n        arraysEqual(u.columns, schemaUnique.columns),\n      );\n\n      if (!matchingUnique) {\n        issues.push({\n          kind: 'extra_unique_constraint',\n          table: tableName,\n          message: `Extra unique constraint found in database (not in contract): ${schemaUnique.columns.join(', ')}`,\n        });\n        nodes.push({\n          status: 'fail',\n          kind: 'unique',\n          name: `unique(${schemaUnique.columns.join(', ')})`,\n          contractPath: `${tablePath}.uniques[${schemaUnique.columns.join(',')}]`,\n          code: 'extra_unique_constraint',\n          message: 'Extra unique constraint found',\n          expected: undefined,\n          actual: schemaUnique,\n          children: [],\n        });\n      }\n    }\n  }\n\n  return nodes;\n}\n\n/**\n * Verifies indexes match between contract and schema.\n * Returns verification nodes for the tree.\n *\n * Uses semantic satisfaction: identity is based on (table + kind + columns).\n * A non-unique index requirement can be satisfied by either:\n * - A non-unique index with the same columns, or\n * - A unique index with the same columns (stronger satisfies weaker)\n *\n * Name differences are ignored by default (names are for DDL/diagnostics, not identity).\n */\nexport function verifyIndexes(\n  contractIndexes: readonly Index[],\n  schemaIndexes: readonly SqlIndexIR[],\n  schemaUniques: readonly SqlUniqueIR[],\n  tableName: string,\n  tablePath: string,\n  issues: SchemaIssue[],\n  strict: boolean,\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n\n  // Check each contract index exists in schema\n  for (const contractIndex of contractIndexes) {\n    const indexPath = `${tablePath}.indexes[${contractIndex.columns.join(',')}]`;\n\n    // Check for any matching index (unique or non-unique)\n    // A unique index can satisfy a non-unique index requirement (stronger satisfies weaker)\n    const matchingIndex = schemaIndexes.find((idx) =>\n      arraysEqual(idx.columns, contractIndex.columns),\n    );\n\n    // Also check if a unique constraint satisfies the index requirement\n    const matchingUniqueConstraint =\n      !matchingIndex && schemaUniques.find((u) => arraysEqual(u.columns, contractIndex.columns));\n\n    if (!matchingIndex && !matchingUniqueConstraint) {\n      issues.push({\n        kind: 'index_mismatch',\n        table: tableName,\n        expected: contractIndex.columns.join(', '),\n        message: `Table \"${tableName}\" is missing index: ${contractIndex.columns.join(', ')}`,\n      });\n      nodes.push({\n        status: 'fail',\n        kind: 'index',\n        name: `index(${contractIndex.columns.join(', ')})`,\n        contractPath: indexPath,\n        code: 'index_mismatch',\n        message: 'Index missing',\n        expected: contractIndex,\n        actual: undefined,\n        children: [],\n      });\n    } else {\n      // Name differences are ignored for semantic satisfaction.\n      // Names are persisted for deterministic DDL and diagnostics but are not identity.\n      nodes.push({\n        status: 'pass',\n        kind: 'index',\n        name: `index(${contractIndex.columns.join(', ')})`,\n        contractPath: indexPath,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  }\n\n  // Check for extra indexes in strict mode\n  if (strict) {\n    for (const schemaIndex of schemaIndexes) {\n      // Skip unique indexes (they're handled as unique constraints)\n      if (schemaIndex.unique) {\n        continue;\n      }\n\n      const matchingIndex = contractIndexes.find((idx) =>\n        arraysEqual(idx.columns, schemaIndex.columns),\n      );\n\n      if (!matchingIndex) {\n        issues.push({\n          kind: 'extra_index',\n          table: tableName,\n          message: `Extra index found in database (not in contract): ${schemaIndex.columns.join(', ')}`,\n        });\n        nodes.push({\n          status: 'fail',\n          kind: 'index',\n          name: `index(${schemaIndex.columns.join(', ')})`,\n          contractPath: `${tablePath}.indexes[${schemaIndex.columns.join(',')}]`,\n          code: 'extra_index',\n          message: 'Extra index found',\n          expected: undefined,\n          actual: schemaIndex,\n          children: [],\n        });\n      }\n    }\n  }\n\n  return nodes;\n}\n\n/**\n * Verifies database dependencies are installed using component-owned verification hooks.\n * Each dependency provides a pure verifyDatabaseDependencyInstalled function that checks\n * whether the dependency is satisfied based on the in-memory schema IR (no DB I/O).\n *\n * Returns verification nodes for the tree.\n */\nexport function verifyDatabaseDependencies(\n  dependencies: ReadonlyArray<ComponentDatabaseDependency<unknown>>,\n  schema: SqlSchemaIR,\n  issues: SchemaIssue[],\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n\n  for (const dependency of dependencies) {\n    const depIssues = dependency.verifyDatabaseDependencyInstalled(schema);\n    const depPath = `dependencies.${dependency.id}`;\n\n    if (depIssues.length > 0) {\n      // Dependency is not satisfied\n      issues.push(...depIssues);\n      const issuesMessage = depIssues.map((i) => i.message).join('; ');\n      const nodeMessage = issuesMessage ? `${dependency.id}: ${issuesMessage}` : dependency.id;\n      nodes.push({\n        status: 'fail',\n        kind: 'databaseDependency',\n        name: dependency.label,\n        contractPath: depPath,\n        code: 'dependency_missing',\n        message: nodeMessage,\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    } else {\n      // Dependency is satisfied\n      nodes.push({\n        status: 'pass',\n        kind: 'databaseDependency',\n        name: dependency.label,\n        contractPath: depPath,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  }\n\n  return nodes;\n}\n\n/**\n * Computes counts of pass/warn/fail nodes by traversing the tree.\n */\nexport function computeCounts(node: SchemaVerificationNode): {\n  pass: number;\n  warn: number;\n  fail: number;\n  totalNodes: number;\n} {\n  let pass = 0;\n  let warn = 0;\n  let fail = 0;\n\n  function traverse(n: SchemaVerificationNode): void {\n    if (n.status === 'pass') {\n      pass++;\n    } else if (n.status === 'warn') {\n      warn++;\n    } else if (n.status === 'fail') {\n      fail++;\n    }\n\n    if (n.children) {\n      for (const child of n.children) {\n        traverse(child);\n      }\n    }\n  }\n\n  traverse(node);\n\n  return {\n    pass,\n    warn,\n    fail,\n    totalNodes: pass + warn + fail,\n  };\n}\n","/**\n * Pure SQL schema verification function.\n *\n * This module provides a pure function that verifies a SqlSchemaIR against\n * a SqlContract without requiring a database connection. It can be reused\n * by migration planners and other tools that need to compare schema states.\n */\n\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';\nimport type { ColumnDefault } from '@prisma-next/contract/types';\nimport { isTaggedBigInt } from '@prisma-next/contract/types';\nimport type {\n  OperationContext,\n  SchemaIssue,\n  SchemaVerificationNode,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/core-control-plane/types';\nimport type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { extractCodecControlHooks } from '../assembly';\nimport type { CodecControlHooks, ComponentDatabaseDependency } from '../migrations/types';\nimport {\n  arraysEqual,\n  computeCounts,\n  verifyDatabaseDependencies,\n  verifyForeignKeys,\n  verifyIndexes,\n  verifyPrimaryKey,\n  verifyUniqueConstraints,\n} from './verify-helpers';\n\n/**\n * Function type for normalizing raw database default expressions into ColumnDefault.\n * Target-specific implementations handle database dialect differences.\n */\nexport type DefaultNormalizer = (\n  rawDefault: string,\n  nativeType: string,\n) => ColumnDefault | undefined;\n\n/**\n * Function type for normalizing schema native types to canonical form for comparison.\n * Target-specific implementations handle dialect-specific type name variations\n * (e.g., Postgres 'varchar' → 'character varying', 'timestamptz' normalization).\n */\nexport type NativeTypeNormalizer = (nativeType: string) => string;\n\n/**\n * Options for the pure schema verification function.\n */\nexport interface VerifySqlSchemaOptions {\n  /** The validated SQL contract to verify against */\n  readonly contract: SqlContract<SqlStorage>;\n  /** The schema IR from introspection (or another source) */\n  readonly schema: SqlSchemaIR;\n  /** Whether to run in strict mode (detects extra tables/columns) */\n  readonly strict: boolean;\n  /** Optional operation context for metadata */\n  readonly context?: OperationContext;\n  /** Type metadata registry for codec consistency warnings */\n  readonly typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  /**\n   * Active framework components participating in this composition.\n   * All components must have matching familyId ('sql') and targetId.\n   */\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n  /**\n   * Optional target-specific normalizer for raw database default expressions.\n   * When provided, schema defaults (raw strings) are normalized before comparison\n   * with contract defaults (ColumnDefault objects).\n   */\n  readonly normalizeDefault?: DefaultNormalizer;\n  /**\n   * Optional target-specific normalizer for schema native type names.\n   * When provided, schema native types are normalized before comparison\n   * with contract native types (e.g., Postgres 'varchar' → 'character varying').\n   */\n  readonly normalizeNativeType?: NativeTypeNormalizer;\n}\n\n/**\n * Verifies that a SqlSchemaIR matches a SqlContract.\n *\n * This is a pure function that does NOT perform any database I/O.\n * It takes an already-introspected schema IR and compares it against\n * the contract requirements.\n *\n * @param options - Verification options\n * @returns VerifyDatabaseSchemaResult with verification tree and issues\n */\nexport function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabaseSchemaResult {\n  const {\n    contract,\n    schema,\n    strict,\n    context,\n    typeMetadataRegistry,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const startTime = Date.now();\n\n  // Extract codec control hooks once at entry point for reuse\n  const codecHooks = extractCodecControlHooks(options.frameworkComponents);\n\n  const { contractStorageHash, contractProfileHash, contractTarget } =\n    extractContractMetadata(contract);\n  const { issues, rootChildren } = verifySchemaTables({\n    contract,\n    schema,\n    strict,\n    typeMetadataRegistry,\n    codecHooks,\n    ...ifDefined('normalizeDefault', normalizeDefault),\n    ...ifDefined('normalizeNativeType', normalizeNativeType),\n  });\n\n  validateFrameworkComponentsForExtensions(contract, options.frameworkComponents);\n\n  // Verify storage type instances via codec control hooks (pure, deterministic)\n  const storageTypes = contract.storage.types ?? {};\n  const storageTypeEntries = Object.entries(storageTypes);\n  if (storageTypeEntries.length > 0) {\n    const typeNodes: SchemaVerificationNode[] = [];\n    for (const [typeName, typeInstance] of storageTypeEntries) {\n      const hook = codecHooks.get(typeInstance.codecId);\n      const typeIssues = hook?.verifyType\n        ? hook.verifyType({ typeName, typeInstance, schema })\n        : [];\n      if (typeIssues.length > 0) {\n        issues.push(...typeIssues);\n      }\n      const typeStatus = typeIssues.length > 0 ? 'fail' : 'pass';\n      const typeCode = typeIssues.length > 0 ? (typeIssues[0]?.kind ?? '') : '';\n      typeNodes.push({\n        status: typeStatus,\n        kind: 'storageType',\n        name: `type ${typeName}`,\n        contractPath: `storage.types.${typeName}`,\n        code: typeCode,\n        message:\n          typeIssues.length > 0\n            ? `${typeIssues.length} issue${typeIssues.length === 1 ? '' : 's'}`\n            : '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n    const typesStatus = typeNodes.some((n) => n.status === 'fail') ? 'fail' : 'pass';\n    rootChildren.push({\n      status: typesStatus,\n      kind: 'storageTypes',\n      name: 'types',\n      contractPath: 'storage.types',\n      code: typesStatus === 'fail' ? 'type_mismatch' : '',\n      message: '',\n      expected: undefined,\n      actual: undefined,\n      children: typeNodes,\n    });\n  }\n\n  const databaseDependencies = collectDependenciesFromFrameworkComponents(\n    options.frameworkComponents,\n  );\n  const dependencyStatuses = verifyDatabaseDependencies(databaseDependencies, schema, issues);\n  rootChildren.push(...dependencyStatuses);\n\n  const root = buildRootNode(rootChildren);\n\n  // Compute counts\n  const counts = computeCounts(root);\n\n  // Set ok flag\n  const ok = counts.fail === 0;\n\n  // Set code\n  const code = ok ? undefined : 'PN-SCHEMA-0001';\n\n  // Set summary\n  const summary = ok\n    ? 'Database schema satisfies contract'\n    : `Database schema does not satisfy contract (${counts.fail} failure${counts.fail === 1 ? '' : 's'})`;\n\n  const totalTime = Date.now() - startTime;\n\n  return {\n    ok,\n    ...ifDefined('code', code),\n    summary,\n    contract: {\n      storageHash: contractStorageHash,\n      ...ifDefined('profileHash', contractProfileHash),\n    },\n    target: {\n      expected: contractTarget,\n      actual: contractTarget,\n    },\n    schema: {\n      issues,\n      root,\n      counts,\n    },\n    meta: {\n      strict,\n      ...ifDefined('contractPath', context?.contractPath),\n      ...ifDefined('configPath', context?.configPath),\n    },\n    timings: {\n      total: totalTime,\n    },\n  };\n}\n\ntype VerificationStatus = 'pass' | 'warn' | 'fail';\n\nfunction extractContractMetadata(contract: SqlContract<SqlStorage>): {\n  contractStorageHash: SqlContract<SqlStorage>['storageHash'];\n  contractProfileHash?: SqlContract<SqlStorage>['profileHash'];\n  contractTarget: SqlContract<SqlStorage>['target'];\n} {\n  return {\n    contractStorageHash: contract.storageHash,\n    contractProfileHash:\n      'profileHash' in contract && typeof contract.profileHash === 'string'\n        ? contract.profileHash\n        : undefined,\n    contractTarget: contract.target,\n  };\n}\n\nfunction verifySchemaTables(options: {\n  contract: SqlContract<SqlStorage>;\n  schema: SqlSchemaIR;\n  strict: boolean;\n  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  codecHooks: Map<string, CodecControlHooks>;\n  normalizeDefault?: DefaultNormalizer;\n  normalizeNativeType?: NativeTypeNormalizer;\n}): { issues: SchemaIssue[]; rootChildren: SchemaVerificationNode[] } {\n  const {\n    contract,\n    schema,\n    strict,\n    typeMetadataRegistry,\n    codecHooks,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const issues: SchemaIssue[] = [];\n  const rootChildren: SchemaVerificationNode[] = [];\n  const contractTables = contract.storage.tables;\n  const schemaTables = schema.tables;\n\n  for (const [tableName, contractTable] of Object.entries(contractTables)) {\n    const schemaTable = schemaTables[tableName];\n    const tablePath = `storage.tables.${tableName}`;\n\n    if (!schemaTable) {\n      issues.push({\n        kind: 'missing_table',\n        table: tableName,\n        message: `Table \"${tableName}\" is missing from database`,\n      });\n      rootChildren.push({\n        status: 'fail',\n        kind: 'table',\n        name: `table ${tableName}`,\n        contractPath: tablePath,\n        code: 'missing_table',\n        message: `Table \"${tableName}\" is missing`,\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n      continue;\n    }\n\n    const tableChildren = verifyTableChildren({\n      contractTable,\n      schemaTable,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n      typeMetadataRegistry,\n      codecHooks,\n      ...ifDefined('normalizeDefault', normalizeDefault),\n      ...ifDefined('normalizeNativeType', normalizeNativeType),\n    });\n    rootChildren.push(buildTableNode(tableName, tablePath, tableChildren));\n  }\n\n  if (strict) {\n    for (const tableName of Object.keys(schemaTables)) {\n      if (!contractTables[tableName]) {\n        issues.push({\n          kind: 'extra_table',\n          table: tableName,\n          message: `Extra table \"${tableName}\" found in database (not in contract)`,\n        });\n        rootChildren.push({\n          status: 'fail',\n          kind: 'table',\n          name: `table ${tableName}`,\n          contractPath: `storage.tables.${tableName}`,\n          code: 'extra_table',\n          message: `Extra table \"${tableName}\" found`,\n          expected: undefined,\n          actual: undefined,\n          children: [],\n        });\n      }\n    }\n  }\n\n  return { issues, rootChildren };\n}\n\nfunction verifyTableChildren(options: {\n  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];\n  schemaTable: SqlSchemaIR['tables'][string];\n  tableName: string;\n  tablePath: string;\n  issues: SchemaIssue[];\n  strict: boolean;\n  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  codecHooks: Map<string, CodecControlHooks>;\n  normalizeDefault?: DefaultNormalizer;\n  normalizeNativeType?: NativeTypeNormalizer;\n}): SchemaVerificationNode[] {\n  const {\n    contractTable,\n    schemaTable,\n    tableName,\n    tablePath,\n    issues,\n    strict,\n    typeMetadataRegistry,\n    codecHooks,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const tableChildren: SchemaVerificationNode[] = [];\n  const columnNodes = collectContractColumnNodes({\n    contractTable,\n    schemaTable,\n    tableName,\n    tablePath,\n    issues,\n    typeMetadataRegistry,\n    codecHooks,\n    ...ifDefined('normalizeDefault', normalizeDefault),\n    ...ifDefined('normalizeNativeType', normalizeNativeType),\n  });\n  if (columnNodes.length > 0) {\n    tableChildren.push(buildColumnsNode(tablePath, columnNodes));\n  }\n  if (strict) {\n    appendExtraColumnNodes({\n      contractTable,\n      schemaTable,\n      tableName,\n      tablePath,\n      issues,\n      columnNodes,\n    });\n  }\n\n  if (contractTable.primaryKey) {\n    const pkStatus = verifyPrimaryKey(\n      contractTable.primaryKey,\n      schemaTable.primaryKey,\n      tableName,\n      issues,\n    );\n    if (pkStatus === 'fail') {\n      tableChildren.push({\n        status: 'fail',\n        kind: 'primaryKey',\n        name: `primary key: ${contractTable.primaryKey.columns.join(', ')}`,\n        contractPath: `${tablePath}.primaryKey`,\n        code: 'primary_key_mismatch',\n        message: 'Primary key mismatch',\n        expected: contractTable.primaryKey,\n        actual: schemaTable.primaryKey,\n        children: [],\n      });\n    } else {\n      tableChildren.push({\n        status: 'pass',\n        kind: 'primaryKey',\n        name: `primary key: ${contractTable.primaryKey.columns.join(', ')}`,\n        contractPath: `${tablePath}.primaryKey`,\n        code: '',\n        message: '',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n    }\n  } else if (schemaTable.primaryKey && strict) {\n    issues.push({\n      kind: 'extra_primary_key',\n      table: tableName,\n      message: 'Extra primary key found in database (not in contract)',\n    });\n    tableChildren.push({\n      status: 'fail',\n      kind: 'primaryKey',\n      name: `primary key: ${schemaTable.primaryKey.columns.join(', ')}`,\n      contractPath: `${tablePath}.primaryKey`,\n      code: 'extra_primary_key',\n      message: 'Extra primary key found',\n      expected: undefined,\n      actual: schemaTable.primaryKey,\n      children: [],\n    });\n  }\n\n  // Verify FK constraints only for FKs with constraint: true\n  const constraintFks = contractTable.foreignKeys.filter((fk) => fk.constraint === true);\n  if (constraintFks.length > 0) {\n    const fkStatuses = verifyForeignKeys(\n      constraintFks,\n      schemaTable.foreignKeys,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n    );\n    tableChildren.push(...fkStatuses);\n  }\n\n  const uniqueStatuses = verifyUniqueConstraints(\n    contractTable.uniques,\n    schemaTable.uniques,\n    schemaTable.indexes,\n    tableName,\n    tablePath,\n    issues,\n    strict,\n  );\n  tableChildren.push(...uniqueStatuses);\n\n  // Combine user-declared indexes with FK-backing indexes (from FKs with index: true)\n  // so the verifier treats FK-backing indexes as expected, not \"extra\".\n  // Deduplicate: skip FK-backing indexes already covered by a user-declared index.\n  const fkBackingIndexes = contractTable.foreignKeys\n    .filter(\n      (fk) =>\n        fk.index === true &&\n        !contractTable.indexes.some((idx) => arraysEqual(idx.columns, fk.columns)),\n    )\n    .map((fk) => ({ columns: fk.columns }));\n  const allExpectedIndexes = [...contractTable.indexes, ...fkBackingIndexes];\n\n  const indexStatuses = verifyIndexes(\n    allExpectedIndexes,\n    schemaTable.indexes,\n    schemaTable.uniques,\n    tableName,\n    tablePath,\n    issues,\n    strict,\n  );\n  tableChildren.push(...indexStatuses);\n\n  return tableChildren;\n}\n\nfunction collectContractColumnNodes(options: {\n  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];\n  schemaTable: SqlSchemaIR['tables'][string];\n  tableName: string;\n  tablePath: string;\n  issues: SchemaIssue[];\n  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  codecHooks: Map<string, CodecControlHooks>;\n  normalizeDefault?: DefaultNormalizer;\n  normalizeNativeType?: NativeTypeNormalizer;\n}): SchemaVerificationNode[] {\n  const {\n    contractTable,\n    schemaTable,\n    tableName,\n    tablePath,\n    issues,\n    typeMetadataRegistry,\n    codecHooks,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const columnNodes: SchemaVerificationNode[] = [];\n\n  for (const [columnName, contractColumn] of Object.entries(contractTable.columns)) {\n    const schemaColumn = schemaTable.columns[columnName];\n    const columnPath = `${tablePath}.columns.${columnName}`;\n\n    if (!schemaColumn) {\n      issues.push({\n        kind: 'missing_column',\n        table: tableName,\n        column: columnName,\n        message: `Column \"${tableName}\".\"${columnName}\" is missing from database`,\n      });\n      columnNodes.push({\n        status: 'fail',\n        kind: 'column',\n        name: `${columnName}: missing`,\n        contractPath: columnPath,\n        code: 'missing_column',\n        message: `Column \"${columnName}\" is missing`,\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      });\n      continue;\n    }\n\n    columnNodes.push(\n      verifyColumn({\n        tableName,\n        columnName,\n        contractColumn,\n        schemaColumn,\n        columnPath,\n        issues,\n        typeMetadataRegistry,\n        codecHooks,\n        ...ifDefined('normalizeDefault', normalizeDefault),\n        ...ifDefined('normalizeNativeType', normalizeNativeType),\n      }),\n    );\n  }\n\n  return columnNodes;\n}\n\nfunction appendExtraColumnNodes(options: {\n  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];\n  schemaTable: SqlSchemaIR['tables'][string];\n  tableName: string;\n  tablePath: string;\n  issues: SchemaIssue[];\n  columnNodes: SchemaVerificationNode[];\n}): void {\n  const { contractTable, schemaTable, tableName, tablePath, issues, columnNodes } = options;\n  for (const [columnName, { nativeType }] of Object.entries(schemaTable.columns)) {\n    if (!contractTable.columns[columnName]) {\n      issues.push({\n        kind: 'extra_column',\n        table: tableName,\n        column: columnName,\n        message: `Extra column \"${tableName}\".\"${columnName}\" found in database (not in contract)`,\n      });\n      columnNodes.push({\n        status: 'fail',\n        kind: 'column',\n        name: `${columnName}: extra`,\n        contractPath: `${tablePath}.columns.${columnName}`,\n        code: 'extra_column',\n        message: `Extra column \"${columnName}\" found`,\n        expected: undefined,\n        actual: nativeType,\n        children: [],\n      });\n    }\n  }\n}\n\nfunction verifyColumn(options: {\n  tableName: string;\n  columnName: string;\n  contractColumn: SqlContract<SqlStorage>['storage']['tables'][string]['columns'][string];\n  schemaColumn: SqlSchemaIR['tables'][string]['columns'][string];\n  columnPath: string;\n  issues: SchemaIssue[];\n  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;\n  codecHooks: Map<string, CodecControlHooks>;\n  normalizeDefault?: DefaultNormalizer;\n  normalizeNativeType?: NativeTypeNormalizer;\n}): SchemaVerificationNode {\n  const {\n    tableName,\n    columnName,\n    contractColumn,\n    schemaColumn,\n    columnPath,\n    issues,\n    codecHooks,\n    normalizeDefault,\n    normalizeNativeType,\n  } = options;\n  const columnChildren: SchemaVerificationNode[] = [];\n  let columnStatus: VerificationStatus = 'pass';\n\n  const contractNativeType = renderExpectedNativeType(contractColumn, codecHooks);\n  const schemaNativeType =\n    normalizeNativeType?.(schemaColumn.nativeType) ?? schemaColumn.nativeType;\n\n  if (contractNativeType !== schemaNativeType) {\n    issues.push({\n      kind: 'type_mismatch',\n      table: tableName,\n      column: columnName,\n      expected: contractNativeType,\n      actual: schemaNativeType,\n      message: `Column \"${tableName}\".\"${columnName}\" has type mismatch: expected \"${contractNativeType}\", got \"${schemaNativeType}\"`,\n    });\n    columnChildren.push({\n      status: 'fail',\n      kind: 'type',\n      name: 'type',\n      contractPath: `${columnPath}.nativeType`,\n      code: 'type_mismatch',\n      message: `Type mismatch: expected ${contractNativeType}, got ${schemaNativeType}`,\n      expected: contractNativeType,\n      actual: schemaNativeType,\n      children: [],\n    });\n    columnStatus = 'fail';\n  }\n\n  if (contractColumn.codecId) {\n    const typeMetadata = options.typeMetadataRegistry.get(contractColumn.codecId);\n    if (!typeMetadata) {\n      columnChildren.push({\n        status: 'warn',\n        kind: 'type',\n        name: 'type_metadata_missing',\n        contractPath: `${columnPath}.codecId`,\n        code: 'type_metadata_missing',\n        message: `codecId \"${contractColumn.codecId}\" not found in type metadata registry`,\n        expected: contractColumn.codecId,\n        actual: undefined,\n        children: [],\n      });\n    } else if (typeMetadata.nativeType && typeMetadata.nativeType !== contractColumn.nativeType) {\n      columnChildren.push({\n        status: 'warn',\n        kind: 'type',\n        name: 'type_consistency',\n        contractPath: `${columnPath}.codecId`,\n        code: 'type_consistency_warning',\n        message: `codecId \"${contractColumn.codecId}\" maps to nativeType \"${typeMetadata.nativeType}\" in registry, but contract has \"${contractColumn.nativeType}\"`,\n        expected: typeMetadata.nativeType,\n        actual: contractColumn.nativeType,\n        children: [],\n      });\n    }\n  }\n\n  if (contractColumn.nullable !== schemaColumn.nullable) {\n    issues.push({\n      kind: 'nullability_mismatch',\n      table: tableName,\n      column: columnName,\n      expected: String(contractColumn.nullable),\n      actual: String(schemaColumn.nullable),\n      message: `Column \"${tableName}\".\"${columnName}\" has nullability mismatch: expected ${contractColumn.nullable ? 'nullable' : 'not null'}, got ${schemaColumn.nullable ? 'nullable' : 'not null'}`,\n    });\n    columnChildren.push({\n      status: 'fail',\n      kind: 'nullability',\n      name: 'nullability',\n      contractPath: `${columnPath}.nullable`,\n      code: 'nullability_mismatch',\n      message: `Nullability mismatch: expected ${contractColumn.nullable ? 'nullable' : 'not null'}, got ${schemaColumn.nullable ? 'nullable' : 'not null'}`,\n      expected: contractColumn.nullable,\n      actual: schemaColumn.nullable,\n      children: [],\n    });\n    columnStatus = 'fail';\n  }\n\n  if (contractColumn.default) {\n    if (!schemaColumn.default) {\n      const defaultDescription = describeColumnDefault(contractColumn.default);\n      issues.push({\n        kind: 'default_missing',\n        table: tableName,\n        column: columnName,\n        expected: defaultDescription,\n        message: `Column \"${tableName}\".\"${columnName}\" should have default ${defaultDescription} but database has no default`,\n      });\n      columnChildren.push({\n        status: 'fail',\n        kind: 'default',\n        name: 'default',\n        contractPath: `${columnPath}.default`,\n        code: 'default_missing',\n        message: `Default missing: expected ${defaultDescription}`,\n        expected: defaultDescription,\n        actual: undefined,\n        children: [],\n      });\n      columnStatus = 'fail';\n    } else if (\n      !columnDefaultsEqual(\n        contractColumn.default,\n        schemaColumn.default,\n        normalizeDefault,\n        schemaNativeType,\n      )\n    ) {\n      const expectedDescription = describeColumnDefault(contractColumn.default);\n      // schemaColumn.default is now a raw string, describe it as-is\n      const actualDescription = schemaColumn.default;\n      issues.push({\n        kind: 'default_mismatch',\n        table: tableName,\n        column: columnName,\n        expected: expectedDescription,\n        actual: actualDescription,\n        message: `Column \"${tableName}\".\"${columnName}\" has default mismatch: expected ${expectedDescription}, got ${actualDescription}`,\n      });\n      columnChildren.push({\n        status: 'fail',\n        kind: 'default',\n        name: 'default',\n        contractPath: `${columnPath}.default`,\n        code: 'default_mismatch',\n        message: `Default mismatch: expected ${expectedDescription}, got ${actualDescription}`,\n        expected: expectedDescription,\n        actual: actualDescription,\n        children: [],\n      });\n      columnStatus = 'fail';\n    }\n  }\n\n  // Single-pass aggregation for better performance\n  const aggregated = aggregateChildState(columnChildren, columnStatus);\n  const nullableText = contractColumn.nullable ? 'nullable' : 'not nullable';\n  const columnTypeDisplay = contractColumn.codecId\n    ? `${contractNativeType} (${contractColumn.codecId})`\n    : contractNativeType;\n  const columnMessage = aggregated.failureMessages.join('; ');\n\n  return {\n    status: aggregated.status,\n    kind: 'column',\n    name: `${columnName}: ${columnTypeDisplay} (${nullableText})`,\n    contractPath: columnPath,\n    code: aggregated.firstCode,\n    message: columnMessage,\n    expected: undefined,\n    actual: undefined,\n    children: columnChildren,\n  };\n}\n\nfunction buildColumnsNode(\n  tablePath: string,\n  columnNodes: SchemaVerificationNode[],\n): SchemaVerificationNode {\n  return {\n    status: aggregateChildState(columnNodes, 'pass').status,\n    kind: 'columns',\n    name: 'columns',\n    contractPath: `${tablePath}.columns`,\n    code: '',\n    message: '',\n    expected: undefined,\n    actual: undefined,\n    children: columnNodes,\n  };\n}\n\nfunction buildTableNode(\n  tableName: string,\n  tablePath: string,\n  tableChildren: SchemaVerificationNode[],\n): SchemaVerificationNode {\n  const tableStatus = aggregateChildState(tableChildren, 'pass').status;\n  const tableFailureMessages = tableChildren\n    .filter((child) => child.status === 'fail' && child.message)\n    .map((child) => child.message)\n    .filter((msg): msg is string => typeof msg === 'string' && msg.length > 0);\n  const tableMessage =\n    tableStatus === 'fail' && tableFailureMessages.length > 0\n      ? `${tableFailureMessages.length} issue${tableFailureMessages.length === 1 ? '' : 's'}`\n      : '';\n  const tableCode =\n    tableStatus === 'fail' && tableChildren.length > 0 && tableChildren[0]\n      ? tableChildren[0].code\n      : '';\n\n  return {\n    status: tableStatus,\n    kind: 'table',\n    name: `table ${tableName}`,\n    contractPath: tablePath,\n    code: tableCode,\n    message: tableMessage,\n    expected: undefined,\n    actual: undefined,\n    children: tableChildren,\n  };\n}\n\nfunction buildRootNode(rootChildren: SchemaVerificationNode[]): SchemaVerificationNode {\n  return {\n    status: aggregateChildState(rootChildren, 'pass').status,\n    kind: 'contract',\n    name: 'contract',\n    contractPath: '',\n    code: '',\n    message: '',\n    expected: undefined,\n    actual: undefined,\n    children: rootChildren,\n  };\n}\n\n/**\n * Aggregated state from child nodes, computed in a single pass.\n */\ninterface AggregatedChildState {\n  readonly status: VerificationStatus;\n  readonly failureMessages: readonly string[];\n  readonly firstCode: string;\n}\n\n/**\n * Aggregates status, failure messages, and code from children in a single pass.\n * This is more efficient than calling separate functions that each iterate the array.\n */\nfunction aggregateChildState(\n  children: SchemaVerificationNode[],\n  fallback: VerificationStatus,\n): AggregatedChildState {\n  let status: VerificationStatus = fallback;\n  const failureMessages: string[] = [];\n  let firstCode = '';\n\n  for (const child of children) {\n    if (child.status === 'fail') {\n      status = 'fail';\n      if (!firstCode) {\n        firstCode = child.code;\n      }\n      if (child.message && typeof child.message === 'string' && child.message.length > 0) {\n        failureMessages.push(child.message);\n      }\n    } else if (child.status === 'warn' && status !== 'fail') {\n      status = 'warn';\n      if (!firstCode) {\n        firstCode = child.code;\n      }\n    }\n  }\n\n  return { status, failureMessages, firstCode };\n}\n\nfunction validateFrameworkComponentsForExtensions(\n  contract: SqlContract<SqlStorage>,\n  frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>,\n): void {\n  const contractExtensionPacks = contract.extensionPacks ?? {};\n  for (const extensionNamespace of Object.keys(contractExtensionPacks)) {\n    const hasComponent = frameworkComponents.some(\n      (component) =>\n        component.id === extensionNamespace &&\n        (component.kind === 'extension' ||\n          component.kind === 'adapter' ||\n          component.kind === 'target'),\n    );\n    if (!hasComponent) {\n      throw new Error(\n        `Extension pack '${extensionNamespace}' is declared in the contract but not found in framework components. ` +\n          'This indicates a configuration mismatch - the contract was emitted with this extension pack, ' +\n          'but it is not provided in the current configuration.',\n      );\n    }\n  }\n}\n\n/**\n * Type predicate to check if a component has database dependencies with an init array.\n * The familyId check is redundant since TargetBoundComponentDescriptor<'sql', T> already\n * guarantees familyId is 'sql' at the type level, so we don't need runtime checks for it.\n */\nfunction hasDatabaseDependenciesInit<T extends string>(\n  component: TargetBoundComponentDescriptor<'sql', T>,\n): component is TargetBoundComponentDescriptor<'sql', T> & {\n  readonly databaseDependencies: {\n    readonly init: readonly ComponentDatabaseDependency<T>[];\n  };\n} {\n  if (!('databaseDependencies' in component)) {\n    return false;\n  }\n  const dbDeps = (component as Record<string, unknown>)['databaseDependencies'];\n  if (dbDeps === undefined || dbDeps === null || typeof dbDeps !== 'object') {\n    return false;\n  }\n  const depsRecord = dbDeps as Record<string, unknown>;\n  const init = depsRecord['init'];\n  if (init === undefined || !Array.isArray(init)) {\n    return false;\n  }\n  return true;\n}\n\nfunction collectDependenciesFromFrameworkComponents<T extends string>(\n  components: ReadonlyArray<TargetBoundComponentDescriptor<'sql', T>>,\n): ReadonlyArray<ComponentDatabaseDependency<T>> {\n  const dependencies: ComponentDatabaseDependency<T>[] = [];\n  for (const component of components) {\n    if (hasDatabaseDependenciesInit(component)) {\n      dependencies.push(...component.databaseDependencies.init);\n    }\n  }\n  return dependencies;\n}\n\n/**\n * Renders the expected native type for a contract column, expanding parameterized types\n * using codec control hooks when available.\n *\n * This function delegates to the `expandNativeType` hook if the codec provides one,\n * ensuring that the SQL family layer remains dialect-agnostic while allowing\n * target-specific adapters (like Postgres) to provide their own expansion logic.\n */\nfunction renderExpectedNativeType(\n  contractColumn: SqlContract<SqlStorage>['storage']['tables'][string]['columns'][string],\n  codecHooks: Map<string, CodecControlHooks>,\n): string {\n  const { codecId, nativeType, typeParams } = contractColumn;\n\n  // If no typeParams or codecId, return the base native type\n  if (!typeParams || !codecId) {\n    return nativeType;\n  }\n\n  // Try to use the codec's expandNativeType hook if available\n  const hooks = codecHooks.get(codecId);\n  if (hooks?.expandNativeType) {\n    return hooks.expandNativeType({ nativeType, codecId, typeParams });\n  }\n\n  // Fallback: return base native type if no hook is available\n  return nativeType;\n}\n\n/**\n * Describes a column default for display purposes.\n */\nfunction describeColumnDefault(columnDefault: ColumnDefault): string {\n  switch (columnDefault.kind) {\n    case 'literal':\n      return `literal(${formatLiteralValue(columnDefault.value)})`;\n    case 'function':\n      return columnDefault.expression;\n  }\n}\n\n/**\n * Compares a contract ColumnDefault against a schema raw default string for semantic equality.\n *\n * When a normalizer is provided, the raw schema default is first normalized to a ColumnDefault\n * before comparison. Without a normalizer, falls back to direct string comparison against\n * the contract expression.\n *\n * @param contractDefault - The expected default from the contract (normalized ColumnDefault)\n * @param schemaDefault - The raw default expression from the database (string)\n * @param normalizer - Optional target-specific normalizer to convert raw defaults\n * @param nativeType - The column's native type, passed to normalizer for context\n */\nfunction columnDefaultsEqual(\n  contractDefault: ColumnDefault,\n  schemaDefault: string,\n  normalizer?: DefaultNormalizer,\n  nativeType?: string,\n): boolean {\n  // If no normalizer provided, fall back to direct string comparison\n  if (!normalizer) {\n    if (contractDefault.kind === 'function') {\n      return contractDefault.expression === schemaDefault;\n    }\n    const normalizedValue = normalizeLiteralValue(contractDefault.value, nativeType);\n    if (typeof normalizedValue === 'string') {\n      return normalizedValue === schemaDefault || `'${normalizedValue}'` === schemaDefault;\n    }\n    return String(normalizedValue) === schemaDefault;\n  }\n\n  // Normalize the raw schema default using target-specific logic\n  const normalizedSchema = normalizer(schemaDefault, nativeType ?? '');\n  if (!normalizedSchema) {\n    // Normalizer couldn't parse the expression - treat as mismatch\n    return false;\n  }\n\n  // Compare normalized defaults\n  if (contractDefault.kind !== normalizedSchema.kind) {\n    return false;\n  }\n  if (contractDefault.kind === 'literal' && normalizedSchema.kind === 'literal') {\n    const contractValue = normalizeLiteralValue(contractDefault.value, nativeType);\n    const schemaValue = normalizeLiteralValue(normalizedSchema.value, nativeType);\n    return literalValuesEqual(contractValue, schemaValue);\n  }\n  if (contractDefault.kind === 'function' && normalizedSchema.kind === 'function') {\n    // Normalize function expressions for comparison (case-insensitive, whitespace-tolerant)\n    const normalizeExpr = (expr: string) => expr.toLowerCase().replace(/\\s+/g, '');\n    return normalizeExpr(contractDefault.expression) === normalizeExpr(normalizedSchema.expression);\n  }\n  return false;\n}\n\nfunction isTemporalNativeType(nativeType?: string): boolean {\n  if (!nativeType) return false;\n  const normalized = nativeType.toLowerCase();\n  return normalized.includes('timestamp') || normalized === 'date';\n}\n\nfunction isBigIntNativeType(nativeType?: string): boolean {\n  if (!nativeType) return false;\n  const normalized = nativeType.toLowerCase();\n  return normalized === 'bigint' || normalized === 'int8';\n}\n\nfunction normalizeLiteralValue(value: unknown, nativeType?: string): unknown {\n  if (value instanceof Date) {\n    return value.toISOString();\n  }\n  if (isTaggedBigInt(value) && isBigIntNativeType(nativeType)) {\n    return value.value;\n  }\n  if (typeof value === 'bigint') {\n    return value.toString();\n  }\n  if (typeof value === 'string' && isTemporalNativeType(nativeType)) {\n    const parsed = new Date(value);\n    if (!Number.isNaN(parsed.getTime())) {\n      return parsed.toISOString();\n    }\n  }\n  return value;\n}\n\n/**\n * Recursively sorts object keys for deterministic JSON comparison.\n * Postgres jsonb may canonicalize key order, so two semantically equal\n * objects can have different key insertion order.\n */\nfunction stableStringify(value: unknown): string {\n  return JSON.stringify(value, (_key, val) => {\n    if (val !== null && typeof val === 'object' && !Array.isArray(val)) {\n      const sorted: Record<string, unknown> = {};\n      for (const k of Object.keys(val as Record<string, unknown>).sort()) {\n        sorted[k] = (val as Record<string, unknown>)[k];\n      }\n      return sorted;\n    }\n    return val;\n  });\n}\n\nfunction literalValuesEqual(a: unknown, b: unknown): boolean {\n  if (a === b) return true;\n  if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null) {\n    return stableStringify(a) === stableStringify(b);\n  }\n  if (typeof a === 'object' && a !== null && typeof b === 'string') {\n    try {\n      return stableStringify(a) === stableStringify(JSON.parse(b));\n    } catch {\n      return false;\n    }\n  }\n  if (typeof a === 'string' && typeof b === 'object' && b !== null) {\n    try {\n      return stableStringify(JSON.parse(a)) === stableStringify(b);\n    } catch {\n      return false;\n    }\n  }\n  return false;\n}\n\nfunction formatLiteralValue(value: unknown): string {\n  if (value instanceof Date) {\n    return value.toISOString();\n  }\n  if (isTaggedBigInt(value)) {\n    return value.value;\n  }\n  if (typeof value === 'bigint') {\n    return value.toString();\n  }\n  if (typeof value === 'string') {\n    return value;\n  }\n  return JSON.stringify(value);\n}\n"],"mappings":";;;;;;;;AAuBA,SAAgB,YAAY,GAAsB,GAA+B;AAC/E,KAAI,EAAE,WAAW,EAAE,OACjB,QAAO;AAET,MAAK,IAAI,IAAI,GAAG,IAAI,EAAE,QAAQ,IAC5B,KAAI,EAAE,OAAO,EAAE,GACb,QAAO;AAGX,QAAO;;;;;;;;;;;;;;AAsBT,SAAgB,4BACd,SACA,SACA,SACS;AAGT,KADsB,QAAQ,MAAM,WAAW,YAAY,OAAO,SAAS,QAAQ,CAAC,CAElF,QAAO;AAGT,QAAO,QAAQ,MAAM,UAAU,MAAM,UAAU,YAAY,MAAM,SAAS,QAAQ,CAAC;;;;;;;;;;;;;;AAerF,SAAgB,iBACd,SACA,SACA,SACS;AAGT,KADyB,QAAQ,MAAM,UAAU,YAAY,MAAM,SAAS,QAAQ,CAAC,CAEnF,QAAO;AAGT,QAAO,QAAQ,MAAM,WAAW,YAAY,OAAO,SAAS,QAAQ,CAAC;;;;;;;;;AAUvE,SAAgB,iBACd,YACA,UACA,WACA,QACiB;AACjB,KAAI,CAAC,UAAU;AACb,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,UAAU,WAAW,QAAQ,KAAK,KAAK;GACvC,SAAS,UAAU,UAAU;GAC9B,CAAC;AACF,SAAO;;AAGT,KAAI,CAAC,YAAY,WAAW,SAAS,SAAS,QAAQ,EAAE;AACtD,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,UAAU,WAAW,QAAQ,KAAK,KAAK;GACvC,QAAQ,SAAS,QAAQ,KAAK,KAAK;GACnC,SAAS,UAAU,UAAU,gDAAgD,WAAW,QAAQ,KAAK,KAAK,CAAC,UAAU,SAAS,QAAQ,KAAK,KAAK,CAAC;GAClJ,CAAC;AACF,SAAO;;AAMT,QAAO;;;;;;;;;AAUT,SAAgB,kBACd,aACA,WACA,WACA,WACA,QACA,QAC0B;CAC1B,MAAMA,QAAkC,EAAE;AAG1C,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,SAAS,GAAG,UAAU,eAAe,WAAW,QAAQ,KAAK,IAAI,CAAC;AASxE,MAAI,CARe,UAAU,MAAM,OAAO;AACxC,UACE,YAAY,GAAG,SAAS,WAAW,QAAQ,IAC3C,GAAG,oBAAoB,WAAW,WAAW,SAC7C,YAAY,GAAG,mBAAmB,WAAW,WAAW,QAAQ;IAElE,EAEe;AACf,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,UAAU,GAAG,WAAW,QAAQ,KAAK,KAAK,CAAC,MAAM,WAAW,WAAW,MAAM,GAAG,WAAW,WAAW,QAAQ,KAAK,KAAK,CAAC;IACzH,SAAS,UAAU,UAAU,4BAA4B,WAAW,QAAQ,KAAK,KAAK,CAAC,MAAM,WAAW,WAAW,MAAM,GAAG,WAAW,WAAW,QAAQ,KAAK,KAAK,CAAC;IACtK,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,cAAc,WAAW,QAAQ,KAAK,KAAK,CAAC;IAClD,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;QAIF,OAAM,KAAK;GACT,QAAQ;GACR,MAAM;GACN,MAAM,cAAc,WAAW,QAAQ,KAAK,KAAK,CAAC;GAClD,cAAc;GACd,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAKN,KAAI,QACF;OAAK,MAAM,YAAY,UASrB,KAAI,CARe,YAAY,MAAM,OAAO;AAC1C,UACE,YAAY,GAAG,SAAS,SAAS,QAAQ,IACzC,GAAG,WAAW,UAAU,SAAS,mBACjC,YAAY,GAAG,WAAW,SAAS,SAAS,kBAAkB;IAEhE,EAEe;AACf,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,0DAA0D,SAAS,QAAQ,KAAK,KAAK,CAAC,MAAM,SAAS,gBAAgB,GAAG,SAAS,kBAAkB,KAAK,KAAK,CAAC;IACxK,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,cAAc,SAAS,QAAQ,KAAK,KAAK,CAAC;IAChD,cAAc,GAAG,UAAU,eAAe,SAAS,QAAQ,KAAK,IAAI,CAAC;IACrE,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAKR,QAAO;;;;;;;;;;;;;AAcT,SAAgB,wBACd,iBACA,eACA,eACA,WACA,WACA,QACA,QAC0B;CAC1B,MAAMA,QAAkC,EAAE;AAG1C,MAAK,MAAM,kBAAkB,iBAAiB;EAC5C,MAAM,aAAa,GAAG,UAAU,WAAW,eAAe,QAAQ,KAAK,IAAI,CAAC;EAG5E,MAAM,iBAAiB,cAAc,MAAM,MACzC,YAAY,EAAE,SAAS,eAAe,QAAQ,CAC/C;EAGD,MAAM,sBACJ,CAAC,kBACD,cAAc,MAAM,QAAQ,IAAI,UAAU,YAAY,IAAI,SAAS,eAAe,QAAQ,CAAC;AAE7F,MAAI,CAAC,kBAAkB,CAAC,qBAAqB;AAC3C,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,UAAU,eAAe,QAAQ,KAAK,KAAK;IAC3C,SAAS,UAAU,UAAU,kCAAkC,eAAe,QAAQ,KAAK,KAAK;IACjG,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,UAAU,eAAe,QAAQ,KAAK,KAAK,CAAC;IAClD,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;QAIF,OAAM,KAAK;GACT,QAAQ;GACR,MAAM;GACN,MAAM,UAAU,eAAe,QAAQ,KAAK,KAAK,CAAC;GAClD,cAAc;GACd,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAKN,KAAI,QACF;OAAK,MAAM,gBAAgB,cAKzB,KAAI,CAJmB,gBAAgB,MAAM,MAC3C,YAAY,EAAE,SAAS,aAAa,QAAQ,CAC7C,EAEoB;AACnB,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,gEAAgE,aAAa,QAAQ,KAAK,KAAK;IACzG,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,UAAU,aAAa,QAAQ,KAAK,KAAK,CAAC;IAChD,cAAc,GAAG,UAAU,WAAW,aAAa,QAAQ,KAAK,IAAI,CAAC;IACrE,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAKR,QAAO;;;;;;;;;;;;;AAcT,SAAgB,cACd,iBACA,eACA,eACA,WACA,WACA,QACA,QAC0B;CAC1B,MAAMA,QAAkC,EAAE;AAG1C,MAAK,MAAM,iBAAiB,iBAAiB;EAC3C,MAAM,YAAY,GAAG,UAAU,WAAW,cAAc,QAAQ,KAAK,IAAI,CAAC;EAI1E,MAAM,gBAAgB,cAAc,MAAM,QACxC,YAAY,IAAI,SAAS,cAAc,QAAQ,CAChD;EAGD,MAAM,2BACJ,CAAC,iBAAiB,cAAc,MAAM,MAAM,YAAY,EAAE,SAAS,cAAc,QAAQ,CAAC;AAE5F,MAAI,CAAC,iBAAiB,CAAC,0BAA0B;AAC/C,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,UAAU,cAAc,QAAQ,KAAK,KAAK;IAC1C,SAAS,UAAU,UAAU,sBAAsB,cAAc,QAAQ,KAAK,KAAK;IACpF,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,SAAS,cAAc,QAAQ,KAAK,KAAK,CAAC;IAChD,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;QAIF,OAAM,KAAK;GACT,QAAQ;GACR,MAAM;GACN,MAAM,SAAS,cAAc,QAAQ,KAAK,KAAK,CAAC;GAChD,cAAc;GACd,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAKN,KAAI,OACF,MAAK,MAAM,eAAe,eAAe;AAEvC,MAAI,YAAY,OACd;AAOF,MAAI,CAJkB,gBAAgB,MAAM,QAC1C,YAAY,IAAI,SAAS,YAAY,QAAQ,CAC9C,EAEmB;AAClB,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,oDAAoD,YAAY,QAAQ,KAAK,KAAK;IAC5F,CAAC;AACF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,SAAS,YAAY,QAAQ,KAAK,KAAK,CAAC;IAC9C,cAAc,GAAG,UAAU,WAAW,YAAY,QAAQ,KAAK,IAAI,CAAC;IACpE,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAKR,QAAO;;;;;;;;;AAUT,SAAgB,2BACd,cACA,QACA,QAC0B;CAC1B,MAAMA,QAAkC,EAAE;AAE1C,MAAK,MAAM,cAAc,cAAc;EACrC,MAAM,YAAY,WAAW,kCAAkC,OAAO;EACtE,MAAM,UAAU,gBAAgB,WAAW;AAE3C,MAAI,UAAU,SAAS,GAAG;AAExB,UAAO,KAAK,GAAG,UAAU;GACzB,MAAM,gBAAgB,UAAU,KAAK,MAAM,EAAE,QAAQ,CAAC,KAAK,KAAK;GAChE,MAAM,cAAc,gBAAgB,GAAG,WAAW,GAAG,IAAI,kBAAkB,WAAW;AACtF,SAAM,KAAK;IACT,QAAQ;IACR,MAAM;IACN,MAAM,WAAW;IACjB,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;QAGF,OAAM,KAAK;GACT,QAAQ;GACR,MAAM;GACN,MAAM,WAAW;GACjB,cAAc;GACd,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAIN,QAAO;;;;;AAMT,SAAgB,cAAc,MAK5B;CACA,IAAI,OAAO;CACX,IAAI,OAAO;CACX,IAAI,OAAO;CAEX,SAAS,SAAS,GAAiC;AACjD,MAAI,EAAE,WAAW,OACf;WACS,EAAE,WAAW,OACtB;WACS,EAAE,WAAW,OACtB;AAGF,MAAI,EAAE,SACJ,MAAK,MAAM,SAAS,EAAE,SACpB,UAAS,MAAM;;AAKrB,UAAS,KAAK;AAEd,QAAO;EACL;EACA;EACA;EACA,YAAY,OAAO,OAAO;EAC3B;;;;;;;;;;;;;;;ACvbH,SAAgB,gBAAgB,SAA6D;CAC3F,MAAM,EACJ,UACA,QACA,QACA,SACA,sBACA,kBACA,wBACE;CACJ,MAAM,YAAY,KAAK,KAAK;CAG5B,MAAM,aAAa,yBAAyB,QAAQ,oBAAoB;CAExE,MAAM,EAAE,qBAAqB,qBAAqB,mBAChD,wBAAwB,SAAS;CACnC,MAAM,EAAE,QAAQ,iBAAiB,mBAAmB;EAClD;EACA;EACA;EACA;EACA;EACA,GAAG,UAAU,oBAAoB,iBAAiB;EAClD,GAAG,UAAU,uBAAuB,oBAAoB;EACzD,CAAC;AAEF,0CAAyC,UAAU,QAAQ,oBAAoB;CAG/E,MAAM,eAAe,SAAS,QAAQ,SAAS,EAAE;CACjD,MAAM,qBAAqB,OAAO,QAAQ,aAAa;AACvD,KAAI,mBAAmB,SAAS,GAAG;EACjC,MAAMC,YAAsC,EAAE;AAC9C,OAAK,MAAM,CAAC,UAAU,iBAAiB,oBAAoB;GACzD,MAAM,OAAO,WAAW,IAAI,aAAa,QAAQ;GACjD,MAAM,aAAa,MAAM,aACrB,KAAK,WAAW;IAAE;IAAU;IAAc;IAAQ,CAAC,GACnD,EAAE;AACN,OAAI,WAAW,SAAS,EACtB,QAAO,KAAK,GAAG,WAAW;GAE5B,MAAM,aAAa,WAAW,SAAS,IAAI,SAAS;GACpD,MAAM,WAAW,WAAW,SAAS,IAAK,WAAW,IAAI,QAAQ,KAAM;AACvE,aAAU,KAAK;IACb,QAAQ;IACR,MAAM;IACN,MAAM,QAAQ;IACd,cAAc,iBAAiB;IAC/B,MAAM;IACN,SACE,WAAW,SAAS,IAChB,GAAG,WAAW,OAAO,QAAQ,WAAW,WAAW,IAAI,KAAK,QAC5D;IACN,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;EAEJ,MAAM,cAAc,UAAU,MAAM,MAAM,EAAE,WAAW,OAAO,GAAG,SAAS;AAC1E,eAAa,KAAK;GAChB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc;GACd,MAAM,gBAAgB,SAAS,kBAAkB;GACjD,SAAS;GACT,UAAU;GACV,QAAQ;GACR,UAAU;GACX,CAAC;;CAMJ,MAAM,qBAAqB,2BAHE,2CAC3B,QAAQ,oBACT,EAC2E,QAAQ,OAAO;AAC3F,cAAa,KAAK,GAAG,mBAAmB;CAExC,MAAM,OAAO,cAAc,aAAa;CAGxC,MAAM,SAAS,cAAc,KAAK;CAGlC,MAAM,KAAK,OAAO,SAAS;CAG3B,MAAM,OAAO,KAAK,SAAY;CAG9B,MAAM,UAAU,KACZ,uCACA,8CAA8C,OAAO,KAAK,UAAU,OAAO,SAAS,IAAI,KAAK,IAAI;CAErG,MAAM,YAAY,KAAK,KAAK,GAAG;AAE/B,QAAO;EACL;EACA,GAAG,UAAU,QAAQ,KAAK;EAC1B;EACA,UAAU;GACR,aAAa;GACb,GAAG,UAAU,eAAe,oBAAoB;GACjD;EACD,QAAQ;GACN,UAAU;GACV,QAAQ;GACT;EACD,QAAQ;GACN;GACA;GACA;GACD;EACD,MAAM;GACJ;GACA,GAAG,UAAU,gBAAgB,SAAS,aAAa;GACnD,GAAG,UAAU,cAAc,SAAS,WAAW;GAChD;EACD,SAAS,EACP,OAAO,WACR;EACF;;AAKH,SAAS,wBAAwB,UAI/B;AACA,QAAO;EACL,qBAAqB,SAAS;EAC9B,qBACE,iBAAiB,YAAY,OAAO,SAAS,gBAAgB,WACzD,SAAS,cACT;EACN,gBAAgB,SAAS;EAC1B;;AAGH,SAAS,mBAAmB,SAQ0C;CACpE,MAAM,EACJ,UACA,QACA,QACA,sBACA,YACA,kBACA,wBACE;CACJ,MAAMC,SAAwB,EAAE;CAChC,MAAMC,eAAyC,EAAE;CACjD,MAAM,iBAAiB,SAAS,QAAQ;CACxC,MAAM,eAAe,OAAO;AAE5B,MAAK,MAAM,CAAC,WAAW,kBAAkB,OAAO,QAAQ,eAAe,EAAE;EACvE,MAAM,cAAc,aAAa;EACjC,MAAM,YAAY,kBAAkB;AAEpC,MAAI,CAAC,aAAa;AAChB,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,UAAU,UAAU;IAC9B,CAAC;AACF,gBAAa,KAAK;IAChB,QAAQ;IACR,MAAM;IACN,MAAM,SAAS;IACf,cAAc;IACd,MAAM;IACN,SAAS,UAAU,UAAU;IAC7B,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF;;EAGF,MAAM,gBAAgB,oBAAoB;GACxC;GACA;GACA;GACA;GACA;GACA;GACA;GACA;GACA,GAAG,UAAU,oBAAoB,iBAAiB;GAClD,GAAG,UAAU,uBAAuB,oBAAoB;GACzD,CAAC;AACF,eAAa,KAAK,eAAe,WAAW,WAAW,cAAc,CAAC;;AAGxE,KAAI,QACF;OAAK,MAAM,aAAa,OAAO,KAAK,aAAa,CAC/C,KAAI,CAAC,eAAe,YAAY;AAC9B,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,gBAAgB,UAAU;IACpC,CAAC;AACF,gBAAa,KAAK;IAChB,QAAQ;IACR,MAAM;IACN,MAAM,SAAS;IACf,cAAc,kBAAkB;IAChC,MAAM;IACN,SAAS,gBAAgB,UAAU;IACnC,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;;;AAKR,QAAO;EAAE;EAAQ;EAAc;;AAGjC,SAAS,oBAAoB,SAWA;CAC3B,MAAM,EACJ,eACA,aACA,WACA,WACA,QACA,QACA,sBACA,YACA,kBACA,wBACE;CACJ,MAAMC,gBAA0C,EAAE;CAClD,MAAM,cAAc,2BAA2B;EAC7C;EACA;EACA;EACA;EACA;EACA;EACA;EACA,GAAG,UAAU,oBAAoB,iBAAiB;EAClD,GAAG,UAAU,uBAAuB,oBAAoB;EACzD,CAAC;AACF,KAAI,YAAY,SAAS,EACvB,eAAc,KAAK,iBAAiB,WAAW,YAAY,CAAC;AAE9D,KAAI,OACF,wBAAuB;EACrB;EACA;EACA;EACA;EACA;EACA;EACD,CAAC;AAGJ,KAAI,cAAc,WAOhB,KANiB,iBACf,cAAc,YACd,YAAY,YACZ,WACA,OACD,KACgB,OACf,eAAc,KAAK;EACjB,QAAQ;EACR,MAAM;EACN,MAAM,gBAAgB,cAAc,WAAW,QAAQ,KAAK,KAAK;EACjE,cAAc,GAAG,UAAU;EAC3B,MAAM;EACN,SAAS;EACT,UAAU,cAAc;EACxB,QAAQ,YAAY;EACpB,UAAU,EAAE;EACb,CAAC;KAEF,eAAc,KAAK;EACjB,QAAQ;EACR,MAAM;EACN,MAAM,gBAAgB,cAAc,WAAW,QAAQ,KAAK,KAAK;EACjE,cAAc,GAAG,UAAU;EAC3B,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU,EAAE;EACb,CAAC;UAEK,YAAY,cAAc,QAAQ;AAC3C,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,SAAS;GACV,CAAC;AACF,gBAAc,KAAK;GACjB,QAAQ;GACR,MAAM;GACN,MAAM,gBAAgB,YAAY,WAAW,QAAQ,KAAK,KAAK;GAC/D,cAAc,GAAG,UAAU;GAC3B,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ,YAAY;GACpB,UAAU,EAAE;GACb,CAAC;;CAIJ,MAAM,gBAAgB,cAAc,YAAY,QAAQ,OAAO,GAAG,eAAe,KAAK;AACtF,KAAI,cAAc,SAAS,GAAG;EAC5B,MAAM,aAAa,kBACjB,eACA,YAAY,aACZ,WACA,WACA,QACA,OACD;AACD,gBAAc,KAAK,GAAG,WAAW;;CAGnC,MAAM,iBAAiB,wBACrB,cAAc,SACd,YAAY,SACZ,YAAY,SACZ,WACA,WACA,QACA,OACD;AACD,eAAc,KAAK,GAAG,eAAe;CAKrC,MAAM,mBAAmB,cAAc,YACpC,QACE,OACC,GAAG,UAAU,QACb,CAAC,cAAc,QAAQ,MAAM,QAAQ,YAAY,IAAI,SAAS,GAAG,QAAQ,CAAC,CAC7E,CACA,KAAK,QAAQ,EAAE,SAAS,GAAG,SAAS,EAAE;CAGzC,MAAM,gBAAgB,cAFK,CAAC,GAAG,cAAc,SAAS,GAAG,iBAAiB,EAIxE,YAAY,SACZ,YAAY,SACZ,WACA,WACA,QACA,OACD;AACD,eAAc,KAAK,GAAG,cAAc;AAEpC,QAAO;;AAGT,SAAS,2BAA2B,SAUP;CAC3B,MAAM,EACJ,eACA,aACA,WACA,WACA,QACA,sBACA,YACA,kBACA,wBACE;CACJ,MAAMC,cAAwC,EAAE;AAEhD,MAAK,MAAM,CAAC,YAAY,mBAAmB,OAAO,QAAQ,cAAc,QAAQ,EAAE;EAChF,MAAM,eAAe,YAAY,QAAQ;EACzC,MAAM,aAAa,GAAG,UAAU,WAAW;AAE3C,MAAI,CAAC,cAAc;AACjB,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS,WAAW,UAAU,KAAK,WAAW;IAC/C,CAAC;AACF,eAAY,KAAK;IACf,QAAQ;IACR,MAAM;IACN,MAAM,GAAG,WAAW;IACpB,cAAc;IACd,MAAM;IACN,SAAS,WAAW,WAAW;IAC/B,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF;;AAGF,cAAY,KACV,aAAa;GACX;GACA;GACA;GACA;GACA;GACA;GACA;GACA;GACA,GAAG,UAAU,oBAAoB,iBAAiB;GAClD,GAAG,UAAU,uBAAuB,oBAAoB;GACzD,CAAC,CACH;;AAGH,QAAO;;AAGT,SAAS,uBAAuB,SAOvB;CACP,MAAM,EAAE,eAAe,aAAa,WAAW,WAAW,QAAQ,gBAAgB;AAClF,MAAK,MAAM,CAAC,YAAY,EAAE,iBAAiB,OAAO,QAAQ,YAAY,QAAQ,CAC5E,KAAI,CAAC,cAAc,QAAQ,aAAa;AACtC,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,QAAQ;GACR,SAAS,iBAAiB,UAAU,KAAK,WAAW;GACrD,CAAC;AACF,cAAY,KAAK;GACf,QAAQ;GACR,MAAM;GACN,MAAM,GAAG,WAAW;GACpB,cAAc,GAAG,UAAU,WAAW;GACtC,MAAM;GACN,SAAS,iBAAiB,WAAW;GACrC,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;;AAKR,SAAS,aAAa,SAWK;CACzB,MAAM,EACJ,WACA,YACA,gBACA,cACA,YACA,QACA,YACA,kBACA,wBACE;CACJ,MAAMC,iBAA2C,EAAE;CACnD,IAAIC,eAAmC;CAEvC,MAAM,qBAAqB,yBAAyB,gBAAgB,WAAW;CAC/E,MAAM,mBACJ,sBAAsB,aAAa,WAAW,IAAI,aAAa;AAEjE,KAAI,uBAAuB,kBAAkB;AAC3C,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,QAAQ;GACR,UAAU;GACV,QAAQ;GACR,SAAS,WAAW,UAAU,KAAK,WAAW,iCAAiC,mBAAmB,UAAU,iBAAiB;GAC9H,CAAC;AACF,iBAAe,KAAK;GAClB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,GAAG,WAAW;GAC5B,MAAM;GACN,SAAS,2BAA2B,mBAAmB,QAAQ;GAC/D,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;AACF,iBAAe;;AAGjB,KAAI,eAAe,SAAS;EAC1B,MAAM,eAAe,QAAQ,qBAAqB,IAAI,eAAe,QAAQ;AAC7E,MAAI,CAAC,aACH,gBAAe,KAAK;GAClB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,GAAG,WAAW;GAC5B,MAAM;GACN,SAAS,YAAY,eAAe,QAAQ;GAC5C,UAAU,eAAe;GACzB,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;WACO,aAAa,cAAc,aAAa,eAAe,eAAe,WAC/E,gBAAe,KAAK;GAClB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,GAAG,WAAW;GAC5B,MAAM;GACN,SAAS,YAAY,eAAe,QAAQ,wBAAwB,aAAa,WAAW,mCAAmC,eAAe,WAAW;GACzJ,UAAU,aAAa;GACvB,QAAQ,eAAe;GACvB,UAAU,EAAE;GACb,CAAC;;AAIN,KAAI,eAAe,aAAa,aAAa,UAAU;AACrD,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,QAAQ;GACR,UAAU,OAAO,eAAe,SAAS;GACzC,QAAQ,OAAO,aAAa,SAAS;GACrC,SAAS,WAAW,UAAU,KAAK,WAAW,uCAAuC,eAAe,WAAW,aAAa,WAAW,QAAQ,aAAa,WAAW,aAAa;GACrL,CAAC;AACF,iBAAe,KAAK;GAClB,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,GAAG,WAAW;GAC5B,MAAM;GACN,SAAS,kCAAkC,eAAe,WAAW,aAAa,WAAW,QAAQ,aAAa,WAAW,aAAa;GAC1I,UAAU,eAAe;GACzB,QAAQ,aAAa;GACrB,UAAU,EAAE;GACb,CAAC;AACF,iBAAe;;AAGjB,KAAI,eAAe,SACjB;MAAI,CAAC,aAAa,SAAS;GACzB,MAAM,qBAAqB,sBAAsB,eAAe,QAAQ;AACxE,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,QAAQ;IACR,UAAU;IACV,SAAS,WAAW,UAAU,KAAK,WAAW,wBAAwB,mBAAmB;IAC1F,CAAC;AACF,kBAAe,KAAK;IAClB,QAAQ;IACR,MAAM;IACN,MAAM;IACN,cAAc,GAAG,WAAW;IAC5B,MAAM;IACN,SAAS,6BAA6B;IACtC,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF,kBAAe;aAEf,CAAC,oBACC,eAAe,SACf,aAAa,SACb,kBACA,iBACD,EACD;GACA,MAAM,sBAAsB,sBAAsB,eAAe,QAAQ;GAEzE,MAAM,oBAAoB,aAAa;AACvC,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,SAAS,WAAW,UAAU,KAAK,WAAW,mCAAmC,oBAAoB,QAAQ;IAC9G,CAAC;AACF,kBAAe,KAAK;IAClB,QAAQ;IACR,MAAM;IACN,MAAM;IACN,cAAc,GAAG,WAAW;IAC5B,MAAM;IACN,SAAS,8BAA8B,oBAAoB,QAAQ;IACnE,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF,kBAAe;;;CAKnB,MAAM,aAAa,oBAAoB,gBAAgB,aAAa;CACpE,MAAM,eAAe,eAAe,WAAW,aAAa;CAC5D,MAAM,oBAAoB,eAAe,UACrC,GAAG,mBAAmB,IAAI,eAAe,QAAQ,KACjD;CACJ,MAAM,gBAAgB,WAAW,gBAAgB,KAAK,KAAK;AAE3D,QAAO;EACL,QAAQ,WAAW;EACnB,MAAM;EACN,MAAM,GAAG,WAAW,IAAI,kBAAkB,IAAI,aAAa;EAC3D,cAAc;EACd,MAAM,WAAW;EACjB,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU;EACX;;AAGH,SAAS,iBACP,WACA,aACwB;AACxB,QAAO;EACL,QAAQ,oBAAoB,aAAa,OAAO,CAAC;EACjD,MAAM;EACN,MAAM;EACN,cAAc,GAAG,UAAU;EAC3B,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU;EACX;;AAGH,SAAS,eACP,WACA,WACA,eACwB;CACxB,MAAM,cAAc,oBAAoB,eAAe,OAAO,CAAC;CAC/D,MAAM,uBAAuB,cAC1B,QAAQ,UAAU,MAAM,WAAW,UAAU,MAAM,QAAQ,CAC3D,KAAK,UAAU,MAAM,QAAQ,CAC7B,QAAQ,QAAuB,OAAO,QAAQ,YAAY,IAAI,SAAS,EAAE;CAC5E,MAAM,eACJ,gBAAgB,UAAU,qBAAqB,SAAS,IACpD,GAAG,qBAAqB,OAAO,QAAQ,qBAAqB,WAAW,IAAI,KAAK,QAChF;CACN,MAAM,YACJ,gBAAgB,UAAU,cAAc,SAAS,KAAK,cAAc,KAChE,cAAc,GAAG,OACjB;AAEN,QAAO;EACL,QAAQ;EACR,MAAM;EACN,MAAM,SAAS;EACf,cAAc;EACd,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU;EACX;;AAGH,SAAS,cAAc,cAAgE;AACrF,QAAO;EACL,QAAQ,oBAAoB,cAAc,OAAO,CAAC;EAClD,MAAM;EACN,MAAM;EACN,cAAc;EACd,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU;EACX;;;;;;AAgBH,SAAS,oBACP,UACA,UACsB;CACtB,IAAIC,SAA6B;CACjC,MAAMC,kBAA4B,EAAE;CACpC,IAAI,YAAY;AAEhB,MAAK,MAAM,SAAS,SAClB,KAAI,MAAM,WAAW,QAAQ;AAC3B,WAAS;AACT,MAAI,CAAC,UACH,aAAY,MAAM;AAEpB,MAAI,MAAM,WAAW,OAAO,MAAM,YAAY,YAAY,MAAM,QAAQ,SAAS,EAC/E,iBAAgB,KAAK,MAAM,QAAQ;YAE5B,MAAM,WAAW,UAAU,WAAW,QAAQ;AACvD,WAAS;AACT,MAAI,CAAC,UACH,aAAY,MAAM;;AAKxB,QAAO;EAAE;EAAQ;EAAiB;EAAW;;AAG/C,SAAS,yCACP,UACA,qBACM;CACN,MAAM,yBAAyB,SAAS,kBAAkB,EAAE;AAC5D,MAAK,MAAM,sBAAsB,OAAO,KAAK,uBAAuB,CAQlE,KAAI,CAPiB,oBAAoB,MACtC,cACC,UAAU,OAAO,uBAChB,UAAU,SAAS,eAClB,UAAU,SAAS,aACnB,UAAU,SAAS,UACxB,CAEC,OAAM,IAAI,MACR,mBAAmB,mBAAmB,wNAGvC;;;;;;;AAUP,SAAS,4BACP,WAKA;AACA,KAAI,EAAE,0BAA0B,WAC9B,QAAO;CAET,MAAM,SAAU,UAAsC;AACtD,KAAI,WAAW,UAAa,WAAW,QAAQ,OAAO,WAAW,SAC/D,QAAO;CAGT,MAAM,OADa,OACK;AACxB,KAAI,SAAS,UAAa,CAAC,MAAM,QAAQ,KAAK,CAC5C,QAAO;AAET,QAAO;;AAGT,SAAS,2CACP,YAC+C;CAC/C,MAAMC,eAAiD,EAAE;AACzD,MAAK,MAAM,aAAa,WACtB,KAAI,4BAA4B,UAAU,CACxC,cAAa,KAAK,GAAG,UAAU,qBAAqB,KAAK;AAG7D,QAAO;;;;;;;;;;AAWT,SAAS,yBACP,gBACA,YACQ;CACR,MAAM,EAAE,SAAS,YAAY,eAAe;AAG5C,KAAI,CAAC,cAAc,CAAC,QAClB,QAAO;CAIT,MAAM,QAAQ,WAAW,IAAI,QAAQ;AACrC,KAAI,OAAO,iBACT,QAAO,MAAM,iBAAiB;EAAE;EAAY;EAAS;EAAY,CAAC;AAIpE,QAAO;;;;;AAMT,SAAS,sBAAsB,eAAsC;AACnE,SAAQ,cAAc,MAAtB;EACE,KAAK,UACH,QAAO,WAAW,mBAAmB,cAAc,MAAM,CAAC;EAC5D,KAAK,WACH,QAAO,cAAc;;;;;;;;;;;;;;;AAgB3B,SAAS,oBACP,iBACA,eACA,YACA,YACS;AAET,KAAI,CAAC,YAAY;AACf,MAAI,gBAAgB,SAAS,WAC3B,QAAO,gBAAgB,eAAe;EAExC,MAAM,kBAAkB,sBAAsB,gBAAgB,OAAO,WAAW;AAChF,MAAI,OAAO,oBAAoB,SAC7B,QAAO,oBAAoB,iBAAiB,IAAI,gBAAgB,OAAO;AAEzE,SAAO,OAAO,gBAAgB,KAAK;;CAIrC,MAAM,mBAAmB,WAAW,eAAe,cAAc,GAAG;AACpE,KAAI,CAAC,iBAEH,QAAO;AAIT,KAAI,gBAAgB,SAAS,iBAAiB,KAC5C,QAAO;AAET,KAAI,gBAAgB,SAAS,aAAa,iBAAiB,SAAS,UAGlE,QAAO,mBAFe,sBAAsB,gBAAgB,OAAO,WAAW,EAC1D,sBAAsB,iBAAiB,OAAO,WAAW,CACxB;AAEvD,KAAI,gBAAgB,SAAS,cAAc,iBAAiB,SAAS,YAAY;EAE/E,MAAM,iBAAiB,SAAiB,KAAK,aAAa,CAAC,QAAQ,QAAQ,GAAG;AAC9E,SAAO,cAAc,gBAAgB,WAAW,KAAK,cAAc,iBAAiB,WAAW;;AAEjG,QAAO;;AAGT,SAAS,qBAAqB,YAA8B;AAC1D,KAAI,CAAC,WAAY,QAAO;CACxB,MAAM,aAAa,WAAW,aAAa;AAC3C,QAAO,WAAW,SAAS,YAAY,IAAI,eAAe;;AAG5D,SAAS,mBAAmB,YAA8B;AACxD,KAAI,CAAC,WAAY,QAAO;CACxB,MAAM,aAAa,WAAW,aAAa;AAC3C,QAAO,eAAe,YAAY,eAAe;;AAGnD,SAAS,sBAAsB,OAAgB,YAA8B;AAC3E,KAAI,iBAAiB,KACnB,QAAO,MAAM,aAAa;AAE5B,KAAI,eAAe,MAAM,IAAI,mBAAmB,WAAW,CACzD,QAAO,MAAM;AAEf,KAAI,OAAO,UAAU,SACnB,QAAO,MAAM,UAAU;AAEzB,KAAI,OAAO,UAAU,YAAY,qBAAqB,WAAW,EAAE;EACjE,MAAM,SAAS,IAAI,KAAK,MAAM;AAC9B,MAAI,CAAC,OAAO,MAAM,OAAO,SAAS,CAAC,CACjC,QAAO,OAAO,aAAa;;AAG/B,QAAO;;;;;;;AAQT,SAAS,gBAAgB,OAAwB;AAC/C,QAAO,KAAK,UAAU,QAAQ,MAAM,QAAQ;AAC1C,MAAI,QAAQ,QAAQ,OAAO,QAAQ,YAAY,CAAC,MAAM,QAAQ,IAAI,EAAE;GAClE,MAAMC,SAAkC,EAAE;AAC1C,QAAK,MAAM,KAAK,OAAO,KAAK,IAA+B,CAAC,MAAM,CAChE,QAAO,KAAM,IAAgC;AAE/C,UAAO;;AAET,SAAO;GACP;;AAGJ,SAAS,mBAAmB,GAAY,GAAqB;AAC3D,KAAI,MAAM,EAAG,QAAO;AACpB,KAAI,OAAO,MAAM,YAAY,MAAM,QAAQ,OAAO,MAAM,YAAY,MAAM,KACxE,QAAO,gBAAgB,EAAE,KAAK,gBAAgB,EAAE;AAElD,KAAI,OAAO,MAAM,YAAY,MAAM,QAAQ,OAAO,MAAM,SACtD,KAAI;AACF,SAAO,gBAAgB,EAAE,KAAK,gBAAgB,KAAK,MAAM,EAAE,CAAC;SACtD;AACN,SAAO;;AAGX,KAAI,OAAO,MAAM,YAAY,OAAO,MAAM,YAAY,MAAM,KAC1D,KAAI;AACF,SAAO,gBAAgB,KAAK,MAAM,EAAE,CAAC,KAAK,gBAAgB,EAAE;SACtD;AACN,SAAO;;AAGX,QAAO;;AAGT,SAAS,mBAAmB,OAAwB;AAClD,KAAI,iBAAiB,KACnB,QAAO,MAAM,aAAa;AAE5B,KAAI,eAAe,MAAM,CACvB,QAAO,MAAM;AAEf,KAAI,OAAO,UAAU,SACnB,QAAO,MAAM,UAAU;AAEzB,KAAI,OAAO,UAAU,SACnB,QAAO;AAET,QAAO,KAAK,UAAU,MAAM"}