@prisma-next/family-sql 0.3.0-pr.88.3 → 0.3.0-pr.88.6

package/dist/{chunk-SQ2VWYDV.js → chunk-F27CR6XZ.js}

@@ -4,7 +4,7 @@ import {
 } from "./chunk-SU7LN2UH.js";
 import {
   verifySqlSchema
-} from "./chunk-BHEGVBY7.js";
+} from "./chunk-XH2Y5NTD.js";
 
 // src/core/assembly.ts
 import { createOperationRegistry } from "@prisma-next/operations";
@@ -586,4 +586,4 @@ export {
   convertOperationManifest,
   createSqlFamilyInstance
 };
-//# sourceMappingURL=chunk-SQ2VWYDV.js.map
+//# sourceMappingURL=chunk-F27CR6XZ.js.map

package/dist/{chunk-BHEGVBY7.js → chunk-XH2Y5NTD.js}

@@ -10,6 +10,20 @@ function arraysEqual(a, b) {
   }
   return true;
 }
+function isUniqueConstraintSatisfied(uniques, indexes, columns) {
+  const hasConstraint = uniques.some((unique) => arraysEqual(unique.columns, columns));
+  if (hasConstraint) {
+    return true;
+  }
+  return indexes.some((index) => index.unique && arraysEqual(index.columns, columns));
+}
+function isIndexSatisfied(indexes, uniques, columns) {
+  const hasMatchingIndex = indexes.some((index) => arraysEqual(index.columns, columns));
+  if (hasMatchingIndex) {
+    return true;
+  }
+  return uniques.some((unique) => arraysEqual(unique.columns, columns));
+}
 function verifyPrimaryKey(contractPK, schemaPK, tableName, issues) {
   if (!schemaPK) {
     issues.push({
@@ -30,17 +44,6 @@ function verifyPrimaryKey(contractPK, schemaPK, tableName, issues) {
     });
     return "fail";
   }
-  if (contractPK.name && schemaPK.name && contractPK.name !== schemaPK.name) {
-    issues.push({
-      kind: "primary_key_mismatch",
-      table: tableName,
-      indexOrConstraint: contractPK.name,
-      expected: contractPK.name,
-      actual: schemaPK.name,
-      message: `Table "${tableName}" has primary key name mismatch: expected "${contractPK.name}", got "${schemaPK.name}"`
-    });
-    return "fail";
-  }
   return "pass";
 }
 function verifyForeignKeys(contractFKs, schemaFKs, tableName, tablePath, issues, strict) {
@@ -69,39 +72,17 @@ function verifyForeignKeys(contractFKs, schemaFKs, tableName, tablePath, issues,
         children: []
       });
     } else {
-      if (contractFK.name && matchingFK.name && contractFK.name !== matchingFK.name) {
-        issues.push({
-          kind: "foreign_key_mismatch",
-          table: tableName,
-          indexOrConstraint: contractFK.name,
-          expected: contractFK.name,
-          actual: matchingFK.name,
-          message: `Table "${tableName}" has foreign key name mismatch: expected "${contractFK.name}", got "${matchingFK.name}"`
-        });
-        nodes.push({
-          status: "fail",
-          kind: "foreignKey",
-          name: `foreignKey(${contractFK.columns.join(", ")})`,
-          contractPath: fkPath,
-          code: "foreign_key_mismatch",
-          message: "Foreign key name mismatch",
-          expected: contractFK.name,
-          actual: matchingFK.name,
-          children: []
-        });
-      } else {
-        nodes.push({
-          status: "pass",
-          kind: "foreignKey",
-          name: `foreignKey(${contractFK.columns.join(", ")})`,
-          contractPath: fkPath,
-          code: "",
-          message: "",
-          expected: void 0,
-          actual: void 0,
-          children: []
-        });
-      }
+      nodes.push({
+        status: "pass",
+        kind: "foreignKey",
+        name: `foreignKey(${contractFK.columns.join(", ")})`,
+        contractPath: fkPath,
+        code: "",
+        message: "",
+        expected: void 0,
+        actual: void 0,
+        children: []
+      });
     }
   }
   if (strict) {
@@ -131,14 +112,15 @@ function verifyForeignKeys(contractFKs, schemaFKs, tableName, tablePath, issues,
   }
   return nodes;
 }
-function verifyUniqueConstraints(contractUniques, schemaUniques, tableName, tablePath, issues, strict) {
+function verifyUniqueConstraints(contractUniques, schemaUniques, schemaIndexes, tableName, tablePath, issues, strict) {
   const nodes = [];
   for (const contractUnique of contractUniques) {
     const uniquePath = `${tablePath}.uniques[${contractUnique.columns.join(",")}]`;
     const matchingUnique = schemaUniques.find(
       (u) => arraysEqual(u.columns, contractUnique.columns)
     );
-    if (!matchingUnique) {
+    const matchingUniqueIndex = !matchingUnique && schemaIndexes.find((idx) => idx.unique && arraysEqual(idx.columns, contractUnique.columns));
+    if (!matchingUnique && !matchingUniqueIndex) {
       issues.push({
         kind: "unique_constraint_mismatch",
         table: tableName,
@@ -157,39 +139,17 @@ function verifyUniqueConstraints(contractUniques, schemaUniques, tableName, tabl
         children: []
       });
     } else {
-      if (contractUnique.name && matchingUnique.name && contractUnique.name !== matchingUnique.name) {
-        issues.push({
-          kind: "unique_constraint_mismatch",
-          table: tableName,
-          indexOrConstraint: contractUnique.name,
-          expected: contractUnique.name,
-          actual: matchingUnique.name,
-          message: `Table "${tableName}" has unique constraint name mismatch: expected "${contractUnique.name}", got "${matchingUnique.name}"`
-        });
-        nodes.push({
-          status: "fail",
-          kind: "unique",
-          name: `unique(${contractUnique.columns.join(", ")})`,
-          contractPath: uniquePath,
-          code: "unique_constraint_mismatch",
-          message: "Unique constraint name mismatch",
-          expected: contractUnique.name,
-          actual: matchingUnique.name,
-          children: []
-        });
-      } else {
-        nodes.push({
-          status: "pass",
-          kind: "unique",
-          name: `unique(${contractUnique.columns.join(", ")})`,
-          contractPath: uniquePath,
-          code: "",
-          message: "",
-          expected: void 0,
-          actual: void 0,
-          children: []
-        });
-      }
+      nodes.push({
+        status: "pass",
+        kind: "unique",
+        name: `unique(${contractUnique.columns.join(", ")})`,
+        contractPath: uniquePath,
+        code: "",
+        message: "",
+        expected: void 0,
+        actual: void 0,
+        children: []
+      });
     }
   }
   if (strict) {
@@ -219,14 +179,15 @@ function verifyUniqueConstraints(contractUniques, schemaUniques, tableName, tabl
   }
   return nodes;
 }
-function verifyIndexes(contractIndexes, schemaIndexes, tableName, tablePath, issues, strict) {
+function verifyIndexes(contractIndexes, schemaIndexes, schemaUniques, tableName, tablePath, issues, strict) {
   const nodes = [];
   for (const contractIndex of contractIndexes) {
     const indexPath = `${tablePath}.indexes[${contractIndex.columns.join(",")}]`;
     const matchingIndex = schemaIndexes.find(
-      (idx) => arraysEqual(idx.columns, contractIndex.columns) && idx.unique === false
+      (idx) => arraysEqual(idx.columns, contractIndex.columns)
     );
-    if (!matchingIndex) {
+    const matchingUniqueConstraint = !matchingIndex && schemaUniques.find((u) => arraysEqual(u.columns, contractIndex.columns));
+    if (!matchingIndex && !matchingUniqueConstraint) {
       issues.push({
         kind: "index_mismatch",
         table: tableName,
@@ -245,39 +206,17 @@ function verifyIndexes(contractIndexes, schemaIndexes, tableName, tablePath, iss
         children: []
       });
     } else {
-      if (contractIndex.name && matchingIndex.name && contractIndex.name !== matchingIndex.name) {
-        issues.push({
-          kind: "index_mismatch",
-          table: tableName,
-          indexOrConstraint: contractIndex.name,
-          expected: contractIndex.name,
-          actual: matchingIndex.name,
-          message: `Table "${tableName}" has index name mismatch: expected "${contractIndex.name}", got "${matchingIndex.name}"`
-        });
-        nodes.push({
-          status: "fail",
-          kind: "index",
-          name: `index(${contractIndex.columns.join(", ")})`,
-          contractPath: indexPath,
-          code: "index_mismatch",
-          message: "Index name mismatch",
-          expected: contractIndex.name,
-          actual: matchingIndex.name,
-          children: []
-        });
-      } else {
-        nodes.push({
-          status: "pass",
-          kind: "index",
-          name: `index(${contractIndex.columns.join(", ")})`,
-          contractPath: indexPath,
-          code: "",
-          message: "",
-          expected: void 0,
-          actual: void 0,
-          children: []
-        });
-      }
+      nodes.push({
+        status: "pass",
+        kind: "index",
+        name: `index(${contractIndex.columns.join(", ")})`,
+        contractPath: indexPath,
+        code: "",
+        message: "",
+        expected: void 0,
+        actual: void 0,
+        children: []
+      });
     }
   }
   if (strict) {
@@ -626,6 +565,7 @@ function verifySqlSchema(options) {
     const uniqueStatuses = verifyUniqueConstraints(
       contractTable.uniques,
       schemaTable.uniques,
+      schemaTable.indexes,
       tableName,
       tablePath,
       issues,
@@ -635,6 +575,7 @@ function verifySqlSchema(options) {
     const indexStatuses = verifyIndexes(
       contractTable.indexes,
       schemaTable.indexes,
+      schemaTable.uniques,
       tableName,
       tablePath,
       issues,
@@ -766,7 +707,9 @@ function collectDependenciesFromFrameworkComponents(components) {
 
 export {
   arraysEqual,
+  isUniqueConstraintSatisfied,
+  isIndexSatisfied,
   verifyDatabaseDependencies,
   verifySqlSchema
 };
-//# sourceMappingURL=chunk-BHEGVBY7.js.map
+//# sourceMappingURL=chunk-XH2Y5NTD.js.map

package/dist/chunk-XH2Y5NTD.js.map

@@ -0,0 +1 @@
+{"version":3,"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 {\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 type { ComponentDatabaseDependency } from '../migrations/types';\nimport {\n  computeCounts,\n  verifyDatabaseDependencies,\n  verifyForeignKeys,\n  verifyIndexes,\n  verifyPrimaryKey,\n  verifyUniqueConstraints,\n} from './verify-helpers';\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\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 { contract, schema, strict, context, typeMetadataRegistry } = options;\n  const startTime = Date.now();\n\n  // Extract contract hashes and target\n  const contractCoreHash = contract.coreHash;\n  const contractProfileHash =\n    'profileHash' in contract && typeof contract.profileHash === 'string'\n      ? contract.profileHash\n      : undefined;\n  const contractTarget = contract.target;\n\n  // Compare contract vs schema IR\n  const issues: SchemaIssue[] = [];\n  const rootChildren: SchemaVerificationNode[] = [];\n\n  // Compare tables\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      // Missing table\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    // Table exists - compare columns, constraints, etc.\n    const tableChildren: SchemaVerificationNode[] = [];\n    const columnNodes: SchemaVerificationNode[] = [];\n\n    // Compare columns\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        // Missing column\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      // Column exists - compare type and nullability\n      const columnChildren: SchemaVerificationNode[] = [];\n      let columnStatus: 'pass' | 'warn' | 'fail' = 'pass';\n\n      // Compare type using nativeType directly\n      // Both contractColumn.nativeType and schemaColumn.nativeType are required by their types\n      const contractNativeType = contractColumn.nativeType;\n      const schemaNativeType = schemaColumn.nativeType;\n\n      if (contractNativeType !== schemaNativeType) {\n        // Compare native types directly\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      // Optionally validate that codecId (if present) and nativeType agree with registry\n      if (contractColumn.codecId) {\n        const typeMetadata = typeMetadataRegistry.get(contractColumn.codecId);\n        if (!typeMetadata) {\n          // Warning: codecId not found in registry\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 !== contractNativeType) {\n          // Warning: codecId and nativeType don't agree with registry\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 \"${contractNativeType}\"`,\n            expected: typeMetadata.nativeType,\n            actual: contractNativeType,\n            children: [],\n          });\n        }\n      }\n\n      // Compare nullability\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      // Compute column status from children (fail > warn > pass)\n      const computedColumnStatus = columnChildren.some((c) => c.status === 'fail')\n        ? 'fail'\n        : columnChildren.some((c) => c.status === 'warn')\n          ? 'warn'\n          : 'pass';\n      // Use computed status if we have children, otherwise use the manually set status\n      const finalColumnStatus = columnChildren.length > 0 ? computedColumnStatus : columnStatus;\n\n      // Build column node\n      const nullableText = contractColumn.nullable ? 'nullable' : 'not nullable';\n      const columnTypeDisplay = contractColumn.codecId\n        ? `${contractNativeType} (${contractColumn.codecId})`\n        : contractNativeType;\n      // Collect failure messages from children to create a summary message\n      const failureMessages = columnChildren\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 columnMessage =\n        finalColumnStatus === 'fail' && failureMessages.length > 0\n          ? failureMessages.join('; ')\n          : '';\n      // Extract code from first child if status indicates an issue\n      const columnCode =\n        (finalColumnStatus === 'fail' || finalColumnStatus === 'warn') && columnChildren[0]\n          ? columnChildren[0].code\n          : '';\n      columnNodes.push({\n        status: finalColumnStatus,\n        kind: 'column',\n        name: `${columnName}: ${columnTypeDisplay} (${nullableText})`,\n        contractPath: columnPath,\n        code: columnCode,\n        message: columnMessage,\n        expected: undefined,\n        actual: undefined,\n        children: columnChildren,\n      });\n    }\n\n    // Group columns under a \"columns\" header if we have any columns\n    if (columnNodes.length > 0) {\n      const columnsStatus = columnNodes.some((c) => c.status === 'fail')\n        ? 'fail'\n        : columnNodes.some((c) => c.status === 'warn')\n          ? 'warn'\n          : 'pass';\n      tableChildren.push({\n        status: columnsStatus,\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\n    // Check for extra columns in strict mode\n    if (strict) {\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\n    // Compare primary key\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      // Extra primary key in strict mode\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    // Compare foreign keys\n    const fkStatuses = verifyForeignKeys(\n      contractTable.foreignKeys,\n      schemaTable.foreignKeys,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n    );\n    tableChildren.push(...fkStatuses);\n\n    // Compare unique constraints\n    // Pass schemaIndexes so unique indexes can satisfy unique constraint requirements\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    // Compare indexes\n    // Pass schemaUniques so unique constraints can satisfy index requirements\n    const indexStatuses = verifyIndexes(\n      contractTable.indexes,\n      schemaTable.indexes,\n      schemaTable.uniques,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n    );\n    tableChildren.push(...indexStatuses);\n\n    // Build table node\n    const tableStatus = tableChildren.some((c) => c.status === 'fail')\n      ? 'fail'\n      : tableChildren.some((c) => c.status === 'warn')\n        ? 'warn'\n        : 'pass';\n    // Collect failure messages from children to create a summary message\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    rootChildren.push({\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\n  // Check for extra tables in strict mode\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  // Validate that all extension packs declared in the contract are present in frameworkComponents\n  // This is a configuration integrity check - if the contract was emitted with an extension,\n  // that extension must be provided in the current configuration.\n  // Note: contract.extensionPacks includes adapter.id and target.id (from extractExtensionIds),\n  // so we check for matches as extension, adapter, or target components.\n  const contractExtensionPacks = contract.extensionPacks ?? {};\n  for (const extensionNamespace of Object.keys(contractExtensionPacks)) {\n    const hasComponent = options.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  // Compare component-owned database dependencies (pure, deterministic)\n  // Per ADR 154: We do NOT infer dependencies from contract extension packs.\n  // Dependencies are only collected from frameworkComponents provided by the CLI.\n  const databaseDependencies = collectDependenciesFromFrameworkComponents(\n    options.frameworkComponents,\n  );\n  const dependencyStatuses = verifyDatabaseDependencies(databaseDependencies, schema, issues);\n  rootChildren.push(...dependencyStatuses);\n\n  // Build root node\n  const rootStatus = rootChildren.some((c) => c.status === 'fail')\n    ? 'fail'\n    : rootChildren.some((c) => c.status === 'warn')\n      ? 'warn'\n      : 'pass';\n  const root: SchemaVerificationNode = {\n    status: rootStatus,\n    kind: 'contract',\n    name: 'contract',\n    contractPath: '',\n    code: '',\n    message: '',\n    expected: undefined,\n    actual: undefined,\n    children: rootChildren,\n  };\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      coreHash: contractCoreHash,\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\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"],"mappings":";AAuBO,SAAS,YAAY,GAAsB,GAA+B;AAC/E,MAAI,EAAE,WAAW,EAAE,QAAQ;AACzB,WAAO;AAAA,EACT;AACA,WAAS,IAAI,GAAG,IAAI,EAAE,QAAQ,KAAK;AACjC,QAAI,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG;AACjB,aAAO;AAAA,IACT;AAAA,EACF;AACA,SAAO;AACT;AAqBO,SAAS,4BACd,SACA,SACA,SACS;AAET,QAAM,gBAAgB,QAAQ,KAAK,CAAC,WAAW,YAAY,OAAO,SAAS,OAAO,CAAC;AACnF,MAAI,eAAe;AACjB,WAAO;AAAA,EACT;AAEA,SAAO,QAAQ,KAAK,CAAC,UAAU,MAAM,UAAU,YAAY,MAAM,SAAS,OAAO,CAAC;AACpF;AAcO,SAAS,iBACd,SACA,SACA,SACS;AAET,QAAM,mBAAmB,QAAQ,KAAK,CAAC,UAAU,YAAY,MAAM,SAAS,OAAO,CAAC;AACpF,MAAI,kBAAkB;AACpB,WAAO;AAAA,EACT;AAEA,SAAO,QAAQ,KAAK,CAAC,WAAW,YAAY,OAAO,SAAS,OAAO,CAAC;AACtE;AASO,SAAS,iBACd,YACA,UACA,WACA,QACiB;AACjB,MAAI,CAAC,UAAU;AACb,WAAO,KAAK;AAAA,MACV,MAAM;AAAA,MACN,OAAO;AAAA,MACP,UAAU,WAAW,QAAQ,KAAK,IAAI;AAAA,MACtC,SAAS,UAAU,SAAS;AAAA,IAC9B,CAAC;AACD,WAAO;AAAA,EACT;AAEA,MAAI,CAAC,YAAY,WAAW,SAAS,SAAS,OAAO,GAAG;AACtD,WAAO,KAAK;AAAA,MACV,MAAM;AAAA,MACN,OAAO;AAAA,MACP,UAAU,WAAW,QAAQ,KAAK,IAAI;AAAA,MACtC,QAAQ,SAAS,QAAQ,KAAK,IAAI;AAAA,MAClC,SAAS,UAAU,SAAS,iDAAiD,WAAW,QAAQ,KAAK,IAAI,CAAC,WAAW,SAAS,QAAQ,KAAK,IAAI,CAAC;AAAA,IAClJ,CAAC;AACD,WAAO;AAAA,EACT;AAKA,SAAO;AACT;AASO,SAAS,kBACd,aACA,WACA,WACA,WACA,QACA,QAC0B;AAC1B,QAAM,QAAkC,CAAC;AAGzC,aAAW,cAAc,aAAa;AACpC,UAAM,SAAS,GAAG,SAAS,gBAAgB,WAAW,QAAQ,KAAK,GAAG,CAAC;AACvE,UAAM,aAAa,UAAU,KAAK,CAAC,OAAO;AACxC,aACE,YAAY,GAAG,SAAS,WAAW,OAAO,KAC1C,GAAG,oBAAoB,WAAW,WAAW,SAC7C,YAAY,GAAG,mBAAmB,WAAW,WAAW,OAAO;AAAA,IAEnE,CAAC;AAED,QAAI,CAAC,YAAY;AACf,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,UAAU,GAAG,WAAW,QAAQ,KAAK,IAAI,CAAC,OAAO,WAAW,WAAW,KAAK,IAAI,WAAW,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,QACxH,SAAS,UAAU,SAAS,6BAA6B,WAAW,QAAQ,KAAK,IAAI,CAAC,OAAO,WAAW,WAAW,KAAK,IAAI,WAAW,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,MACtK,CAAC;AACD,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,QACjD,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH,OAAO;AAGL,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,QACjD,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH;AAAA,EACF;AAGA,MAAI,QAAQ;AACV,eAAW,YAAY,WAAW;AAChC,YAAM,aAAa,YAAY,KAAK,CAAC,OAAO;AAC1C,eACE,YAAY,GAAG,SAAS,SAAS,OAAO,KACxC,GAAG,WAAW,UAAU,SAAS,mBACjC,YAAY,GAAG,WAAW,SAAS,SAAS,iBAAiB;AAAA,MAEjE,CAAC;AAED,UAAI,CAAC,YAAY;AACf,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,SAAS,0DAA0D,SAAS,QAAQ,KAAK,IAAI,CAAC,OAAO,SAAS,eAAe,IAAI,SAAS,kBAAkB,KAAK,IAAI,CAAC;AAAA,QACxK,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,cAAc,SAAS,QAAQ,KAAK,IAAI,CAAC;AAAA,UAC/C,cAAc,GAAG,SAAS,gBAAgB,SAAS,QAAQ,KAAK,GAAG,CAAC;AAAA,UACpE,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAaO,SAAS,wBACd,iBACA,eACA,eACA,WACA,WACA,QACA,QAC0B;AAC1B,QAAM,QAAkC,CAAC;AAGzC,aAAW,kBAAkB,iBAAiB;AAC5C,UAAM,aAAa,GAAG,SAAS,YAAY,eAAe,QAAQ,KAAK,GAAG,CAAC;AAG3E,UAAM,iBAAiB,cAAc;AAAA,MAAK,CAAC,MACzC,YAAY,EAAE,SAAS,eAAe,OAAO;AAAA,IAC/C;AAGA,UAAM,sBACJ,CAAC,kBACD,cAAc,KAAK,CAAC,QAAQ,IAAI,UAAU,YAAY,IAAI,SAAS,eAAe,OAAO,CAAC;AAE5F,QAAI,CAAC,kBAAkB,CAAC,qBAAqB;AAC3C,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,UAAU,eAAe,QAAQ,KAAK,IAAI;AAAA,QAC1C,SAAS,UAAU,SAAS,mCAAmC,eAAe,QAAQ,KAAK,IAAI,CAAC;AAAA,MAClG,CAAC;AACD,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,UAAU,eAAe,QAAQ,KAAK,IAAI,CAAC;AAAA,QACjD,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH,OAAO;AAGL,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,UAAU,eAAe,QAAQ,KAAK,IAAI,CAAC;AAAA,QACjD,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH;AAAA,EACF;AAGA,MAAI,QAAQ;AACV,eAAW,gBAAgB,eAAe;AACxC,YAAM,iBAAiB,gBAAgB;AAAA,QAAK,CAAC,MAC3C,YAAY,EAAE,SAAS,aAAa,OAAO;AAAA,MAC7C;AAEA,UAAI,CAAC,gBAAgB;AACnB,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,SAAS,gEAAgE,aAAa,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC1G,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,UAAU,aAAa,QAAQ,KAAK,IAAI,CAAC;AAAA,UAC/C,cAAc,GAAG,SAAS,YAAY,aAAa,QAAQ,KAAK,GAAG,CAAC;AAAA,UACpE,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAaO,SAAS,cACd,iBACA,eACA,eACA,WACA,WACA,QACA,QAC0B;AAC1B,QAAM,QAAkC,CAAC;AAGzC,aAAW,iBAAiB,iBAAiB;AAC3C,UAAM,YAAY,GAAG,SAAS,YAAY,cAAc,QAAQ,KAAK,GAAG,CAAC;AAIzE,UAAM,gBAAgB,cAAc;AAAA,MAAK,CAAC,QACxC,YAAY,IAAI,SAAS,cAAc,OAAO;AAAA,IAChD;AAGA,UAAM,2BACJ,CAAC,iBAAiB,cAAc,KAAK,CAAC,MAAM,YAAY,EAAE,SAAS,cAAc,OAAO,CAAC;AAE3F,QAAI,CAAC,iBAAiB,CAAC,0BAA0B;AAC/C,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,UAAU,cAAc,QAAQ,KAAK,IAAI;AAAA,QACzC,SAAS,UAAU,SAAS,uBAAuB,cAAc,QAAQ,KAAK,IAAI,CAAC;AAAA,MACrF,CAAC;AACD,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,SAAS,cAAc,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC/C,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH,OAAO;AAGL,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,SAAS,cAAc,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC/C,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH;AAAA,EACF;AAGA,MAAI,QAAQ;AACV,eAAW,eAAe,eAAe;AAEvC,UAAI,YAAY,QAAQ;AACtB;AAAA,MACF;AAEA,YAAM,gBAAgB,gBAAgB;AAAA,QAAK,CAAC,QAC1C,YAAY,IAAI,SAAS,YAAY,OAAO;AAAA,MAC9C;AAEA,UAAI,CAAC,eAAe;AAClB,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,SAAS,oDAAoD,YAAY,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC7F,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,SAAS,YAAY,QAAQ,KAAK,IAAI,CAAC;AAAA,UAC7C,cAAc,GAAG,SAAS,YAAY,YAAY,QAAQ,KAAK,GAAG,CAAC;AAAA,UACnE,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AASO,SAAS,2BACd,cACA,QACA,QAC0B;AAC1B,QAAM,QAAkC,CAAC;AAEzC,aAAW,cAAc,cAAc;AACrC,UAAM,YAAY,WAAW,kCAAkC,MAAM;AACrE,UAAM,UAAU,gBAAgB,WAAW,EAAE;AAE7C,QAAI,UAAU,SAAS,GAAG;AAExB,aAAO,KAAK,GAAG,SAAS;AACxB,YAAM,gBAAgB,UAAU,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI;AAC/D,YAAM,cAAc,gBAAgB,GAAG,WAAW,EAAE,KAAK,aAAa,KAAK,WAAW;AACtF,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,WAAW;AAAA,QACjB,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH,OAAO;AAEL,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,WAAW;AAAA,QACjB,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH;AAAA,EACF;AAEA,SAAO;AACT;AAKO,SAAS,cAAc,MAK5B;AACA,MAAI,OAAO;AACX,MAAI,OAAO;AACX,MAAI,OAAO;AAEX,WAAS,SAAS,GAAiC;AACjD,QAAI,EAAE,WAAW,QAAQ;AACvB;AAAA,IACF,WAAW,EAAE,WAAW,QAAQ;AAC9B;AAAA,IACF,WAAW,EAAE,WAAW,QAAQ;AAC9B;AAAA,IACF;AAEA,QAAI,EAAE,UAAU;AACd,iBAAW,SAAS,EAAE,UAAU;AAC9B,iBAAS,KAAK;AAAA,MAChB;AAAA,IACF;AAAA,EACF;AAEA,WAAS,IAAI;AAEb,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA,YAAY,OAAO,OAAO;AAAA,EAC5B;AACF;;;AClgBA,SAAS,iBAAiB;AA0CnB,SAAS,gBAAgB,SAA6D;AAC3F,QAAM,EAAE,UAAU,QAAQ,QAAQ,SAAS,qBAAqB,IAAI;AACpE,QAAM,YAAY,KAAK,IAAI;AAG3B,QAAM,mBAAmB,SAAS;AAClC,QAAM,sBACJ,iBAAiB,YAAY,OAAO,SAAS,gBAAgB,WACzD,SAAS,cACT;AACN,QAAM,iBAAiB,SAAS;AAGhC,QAAM,SAAwB,CAAC;AAC/B,QAAM,eAAyC,CAAC;AAGhD,QAAM,iBAAiB,SAAS,QAAQ;AACxC,QAAM,eAAe,OAAO;AAE5B,aAAW,CAAC,WAAW,aAAa,KAAK,OAAO,QAAQ,cAAc,GAAG;AACvE,UAAM,cAAc,aAAa,SAAS;AAC1C,UAAM,YAAY,kBAAkB,SAAS;AAE7C,QAAI,CAAC,aAAa;AAEhB,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,SAAS,UAAU,SAAS;AAAA,MAC9B,CAAC;AACD,mBAAa,KAAK;AAAA,QAChB,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,SAAS,SAAS;AAAA,QACxB,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS,UAAU,SAAS;AAAA,QAC5B,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AACD;AAAA,IACF;AAGA,UAAM,gBAA0C,CAAC;AACjD,UAAM,cAAwC,CAAC;AAG/C,eAAW,CAAC,YAAY,cAAc,KAAK,OAAO,QAAQ,cAAc,OAAO,GAAG;AAChF,YAAM,eAAe,YAAY,QAAQ,UAAU;AACnD,YAAM,aAAa,GAAG,SAAS,YAAY,UAAU;AAErD,UAAI,CAAC,cAAc;AAEjB,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,QAAQ;AAAA,UACR,SAAS,WAAW,SAAS,MAAM,UAAU;AAAA,QAC/C,CAAC;AACD,oBAAY,KAAK;AAAA,UACf,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,GAAG,UAAU;AAAA,UACnB,cAAc;AAAA,UACd,MAAM;AAAA,UACN,SAAS,WAAW,UAAU;AAAA,UAC9B,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AACD;AAAA,MACF;AAGA,YAAM,iBAA2C,CAAC;AAClD,UAAI,eAAyC;AAI7C,YAAM,qBAAqB,eAAe;AAC1C,YAAM,mBAAmB,aAAa;AAEtC,UAAI,uBAAuB,kBAAkB;AAE3C,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,QAAQ;AAAA,UACR,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,SAAS,WAAW,SAAS,MAAM,UAAU,kCAAkC,kBAAkB,WAAW,gBAAgB;AAAA,QAC9H,CAAC;AACD,uBAAe,KAAK;AAAA,UAClB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM;AAAA,UACN,cAAc,GAAG,UAAU;AAAA,UAC3B,MAAM;AAAA,UACN,SAAS,2BAA2B,kBAAkB,SAAS,gBAAgB;AAAA,UAC/E,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AACD,uBAAe;AAAA,MACjB;AAGA,UAAI,eAAe,SAAS;AAC1B,cAAM,eAAe,qBAAqB,IAAI,eAAe,OAAO;AACpE,YAAI,CAAC,cAAc;AAEjB,yBAAe,KAAK;AAAA,YAClB,QAAQ;AAAA,YACR,MAAM;AAAA,YACN,MAAM;AAAA,YACN,cAAc,GAAG,UAAU;AAAA,YAC3B,MAAM;AAAA,YACN,SAAS,YAAY,eAAe,OAAO;AAAA,YAC3C,UAAU,eAAe;AAAA,YACzB,QAAQ;AAAA,YACR,UAAU,CAAC;AAAA,UACb,CAAC;AAAA,QACH,WAAW,aAAa,cAAc,aAAa,eAAe,oBAAoB;AAEpF,yBAAe,KAAK;AAAA,YAClB,QAAQ;AAAA,YACR,MAAM;AAAA,YACN,MAAM;AAAA,YACN,cAAc,GAAG,UAAU;AAAA,YAC3B,MAAM;AAAA,YACN,SAAS,YAAY,eAAe,OAAO,yBAAyB,aAAa,UAAU,oCAAoC,kBAAkB;AAAA,YACjJ,UAAU,aAAa;AAAA,YACvB,QAAQ;AAAA,YACR,UAAU,CAAC;AAAA,UACb,CAAC;AAAA,QACH;AAAA,MACF;AAGA,UAAI,eAAe,aAAa,aAAa,UAAU;AACrD,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,QAAQ;AAAA,UACR,UAAU,OAAO,eAAe,QAAQ;AAAA,UACxC,QAAQ,OAAO,aAAa,QAAQ;AAAA,UACpC,SAAS,WAAW,SAAS,MAAM,UAAU,wCAAwC,eAAe,WAAW,aAAa,UAAU,SAAS,aAAa,WAAW,aAAa,UAAU;AAAA,QAChM,CAAC;AACD,uBAAe,KAAK;AAAA,UAClB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM;AAAA,UACN,cAAc,GAAG,UAAU;AAAA,UAC3B,MAAM;AAAA,UACN,SAAS,kCAAkC,eAAe,WAAW,aAAa,UAAU,SAAS,aAAa,WAAW,aAAa,UAAU;AAAA,UACpJ,UAAU,eAAe;AAAA,UACzB,QAAQ,aAAa;AAAA,UACrB,UAAU,CAAC;AAAA,QACb,CAAC;AACD,uBAAe;AAAA,MACjB;AAGA,YAAM,uBAAuB,eAAe,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IACvE,SACA,eAAe,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC5C,SACA;AAEN,YAAM,oBAAoB,eAAe,SAAS,IAAI,uBAAuB;AAG7E,YAAM,eAAe,eAAe,WAAW,aAAa;AAC5D,YAAM,oBAAoB,eAAe,UACrC,GAAG,kBAAkB,KAAK,eAAe,OAAO,MAChD;AAEJ,YAAM,kBAAkB,eACrB,OAAO,CAAC,UAAU,MAAM,WAAW,UAAU,MAAM,OAAO,EAC1D,IAAI,CAAC,UAAU,MAAM,OAAO,EAC5B,OAAO,CAAC,QAAuB,OAAO,QAAQ,YAAY,IAAI,SAAS,CAAC;AAC3E,YAAM,gBACJ,sBAAsB,UAAU,gBAAgB,SAAS,IACrD,gBAAgB,KAAK,IAAI,IACzB;AAEN,YAAM,cACH,sBAAsB,UAAU,sBAAsB,WAAW,eAAe,CAAC,IAC9E,eAAe,CAAC,EAAE,OAClB;AACN,kBAAY,KAAK;AAAA,QACf,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,GAAG,UAAU,KAAK,iBAAiB,KAAK,YAAY;AAAA,QAC1D,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU;AAAA,MACZ,CAAC;AAAA,IACH;AAGA,QAAI,YAAY,SAAS,GAAG;AAC1B,YAAM,gBAAgB,YAAY,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC7D,SACA,YAAY,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IACzC,SACA;AACN,oBAAc,KAAK;AAAA,QACjB,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM;AAAA,QACN,cAAc,GAAG,SAAS;AAAA,QAC1B,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU;AAAA,MACZ,CAAC;AAAA,IACH;AAGA,QAAI,QAAQ;AACV,iBAAW,CAAC,YAAY,EAAE,WAAW,CAAC,KAAK,OAAO,QAAQ,YAAY,OAAO,GAAG;AAC9E,YAAI,CAAC,cAAc,QAAQ,UAAU,GAAG;AACtC,iBAAO,KAAK;AAAA,YACV,MAAM;AAAA,YACN,OAAO;AAAA,YACP,QAAQ;AAAA,YACR,SAAS,iBAAiB,SAAS,MAAM,UAAU;AAAA,UACrD,CAAC;AACD,sBAAY,KAAK;AAAA,YACf,QAAQ;AAAA,YACR,MAAM;AAAA,YACN,MAAM,GAAG,UAAU;AAAA,YACnB,cAAc,GAAG,SAAS,YAAY,UAAU;AAAA,YAChD,MAAM;AAAA,YACN,SAAS,iBAAiB,UAAU;AAAA,YACpC,UAAU;AAAA,YACV,QAAQ;AAAA,YACR,UAAU,CAAC;AAAA,UACb,CAAC;AAAA,QACH;AAAA,MACF;AAAA,IACF;AAGA,QAAI,cAAc,YAAY;AAC5B,YAAM,WAAW;AAAA,QACf,cAAc;AAAA,QACd,YAAY;AAAA,QACZ;AAAA,QACA;AAAA,MACF;AACA,UAAI,aAAa,QAAQ;AACvB,sBAAc,KAAK;AAAA,UACjB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,gBAAgB,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,UACjE,cAAc,GAAG,SAAS;AAAA,UAC1B,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU,cAAc;AAAA,UACxB,QAAQ,YAAY;AAAA,UACpB,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH,OAAO;AACL,sBAAc,KAAK;AAAA,UACjB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,gBAAgB,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,UACjE,cAAc,GAAG,SAAS;AAAA,UAC1B,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF,WAAW,YAAY,cAAc,QAAQ;AAE3C,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,SAAS;AAAA,MACX,CAAC;AACD,oBAAc,KAAK;AAAA,QACjB,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,gBAAgB,YAAY,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC/D,cAAc,GAAG,SAAS;AAAA,QAC1B,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ,YAAY;AAAA,QACpB,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH;AAGA,UAAM,aAAa;AAAA,MACjB,cAAc;AAAA,MACd,YAAY;AAAA,MACZ;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,kBAAc,KAAK,GAAG,UAAU;AAIhC,UAAM,iBAAiB;AAAA,MACrB,cAAc;AAAA,MACd,YAAY;AAAA,MACZ,YAAY;AAAA,MACZ;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,kBAAc,KAAK,GAAG,cAAc;AAIpC,UAAM,gBAAgB;AAAA,MACpB,cAAc;AAAA,MACd,YAAY;AAAA,MACZ,YAAY;AAAA,MACZ;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,kBAAc,KAAK,GAAG,aAAa;AAGnC,UAAM,cAAc,cAAc,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC7D,SACA,cAAc,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC3C,SACA;AAEN,UAAM,uBAAuB,cAC1B,OAAO,CAAC,UAAU,MAAM,WAAW,UAAU,MAAM,OAAO,EAC1D,IAAI,CAAC,UAAU,MAAM,OAAO,EAC5B,OAAO,CAAC,QAAuB,OAAO,QAAQ,YAAY,IAAI,SAAS,CAAC;AAC3E,UAAM,eACJ,gBAAgB,UAAU,qBAAqB,SAAS,IACpD,GAAG,qBAAqB,MAAM,SAAS,qBAAqB,WAAW,IAAI,KAAK,GAAG,KACnF;AACN,UAAM,YACJ,gBAAgB,UAAU,cAAc,SAAS,KAAK,cAAc,CAAC,IACjE,cAAc,CAAC,EAAE,OACjB;AACN,iBAAa,KAAK;AAAA,MAChB,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,MAAM,SAAS,SAAS;AAAA,MACxB,cAAc;AAAA,MACd,MAAM;AAAA,MACN,SAAS;AAAA,MACT,UAAU;AAAA,MACV,QAAQ;AAAA,MACR,UAAU;AAAA,IACZ,CAAC;AAAA,EACH;AAGA,MAAI,QAAQ;AACV,eAAW,aAAa,OAAO,KAAK,YAAY,GAAG;AACjD,UAAI,CAAC,eAAe,SAAS,GAAG;AAC9B,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,SAAS,gBAAgB,SAAS;AAAA,QACpC,CAAC;AACD,qBAAa,KAAK;AAAA,UAChB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,SAAS,SAAS;AAAA,UACxB,cAAc,kBAAkB,SAAS;AAAA,UACzC,MAAM;AAAA,UACN,SAAS,gBAAgB,SAAS;AAAA,UAClC,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAOA,QAAM,yBAAyB,SAAS,kBAAkB,CAAC;AAC3D,aAAW,sBAAsB,OAAO,KAAK,sBAAsB,GAAG;AACpE,UAAM,eAAe,QAAQ,oBAAoB;AAAA,MAC/C,CAAC,cACC,UAAU,OAAO,uBAChB,UAAU,SAAS,eAClB,UAAU,SAAS,aACnB,UAAU,SAAS;AAAA,IACzB;AACA,QAAI,CAAC,cAAc;AACjB,YAAM,IAAI;AAAA,QACR,mBAAmB,kBAAkB;AAAA,MAGvC;AAAA,IACF;AAAA,EACF;AAKA,QAAM,uBAAuB;AAAA,IAC3B,QAAQ;AAAA,EACV;AACA,QAAM,qBAAqB,2BAA2B,sBAAsB,QAAQ,MAAM;AAC1F,eAAa,KAAK,GAAG,kBAAkB;AAGvC,QAAM,aAAa,aAAa,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC3D,SACA,aAAa,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC1C,SACA;AACN,QAAM,OAA+B;AAAA,IACnC,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,MAAM;AAAA,IACN,cAAc;AAAA,IACd,MAAM;AAAA,IACN,SAAS;AAAA,IACT,UAAU;AAAA,IACV,QAAQ;AAAA,IACR,UAAU;AAAA,EACZ;AAGA,QAAM,SAAS,cAAc,IAAI;AAGjC,QAAM,KAAK,OAAO,SAAS;AAG3B,QAAM,OAAO,KAAK,SAAY;AAG9B,QAAM,UAAU,KACZ,uCACA,8CAA8C,OAAO,IAAI,WAAW,OAAO,SAAS,IAAI,KAAK,GAAG;AAEpG,QAAM,YAAY,KAAK,IAAI,IAAI;AAE/B,SAAO;AAAA,IACL;AAAA,IACA,GAAG,UAAU,QAAQ,IAAI;AAAA,IACzB;AAAA,IACA,UAAU;AAAA,MACR,UAAU;AAAA,MACV,GAAG,UAAU,eAAe,mBAAmB;AAAA,IACjD;AAAA,IACA,QAAQ;AAAA,MACN,UAAU;AAAA,MACV,QAAQ;AAAA,IACV;AAAA,IACA,QAAQ;AAAA,MACN;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAAA,IACA,MAAM;AAAA,MACJ;AAAA,MACA,GAAG,UAAU,gBAAgB,SAAS,YAAY;AAAA,MAClD,GAAG,UAAU,cAAc,SAAS,UAAU;AAAA,IAChD;AAAA,IACA,SAAS;AAAA,MACP,OAAO;AAAA,IACT;AAAA,EACF;AACF;AAOA,SAAS,4BACP,WAKA;AACA,MAAI,EAAE,0BAA0B,YAAY;AAC1C,WAAO;AAAA,EACT;AACA,QAAM,SAAU,UAAsC,sBAAsB;AAC5E,MAAI,WAAW,UAAa,WAAW,QAAQ,OAAO,WAAW,UAAU;AACzE,WAAO;AAAA,EACT;AACA,QAAM,aAAa;AACnB,QAAM,OAAO,WAAW,MAAM;AAC9B,MAAI,SAAS,UAAa,CAAC,MAAM,QAAQ,IAAI,GAAG;AAC9C,WAAO;AAAA,EACT;AACA,SAAO;AACT;AAEA,SAAS,2CACP,YAC+C;AAC/C,QAAM,eAAiD,CAAC;AACxD,aAAW,aAAa,YAAY;AAClC,QAAI,4BAA4B,SAAS,GAAG;AAC1C,mBAAa,KAAK,GAAG,UAAU,qBAAqB,IAAI;AAAA,IAC1D;AAAA,EACF;AACA,SAAO;AACT;","names":[]}

package/dist/core/schema-verify/verify-helpers.d.ts

@@ -10,26 +10,72 @@ import type { ComponentDatabaseDependency } from '../migrations/types';
  * Compares two arrays of strings for equality (order-sensitive).
  */
 export declare function arraysEqual(a: readonly string[], b: readonly string[]): boolean;
+/**
+ * Checks if a unique constraint requirement is satisfied by the given columns.
+ *
+ * Semantic satisfaction: a unique constraint requirement can be satisfied by:
+ * - A unique constraint with the same columns, OR
+ * - A unique index with the same columns
+ *
+ * @param uniques - The unique constraints in the schema table
+ * @param indexes - The indexes in the schema table
+ * @param columns - The columns required by the unique constraint
+ * @returns true if the requirement is satisfied
+ */
+export declare function isUniqueConstraintSatisfied(uniques: readonly SqlUniqueIR[], indexes: readonly SqlIndexIR[], columns: readonly string[]): boolean;
+/**
+ * Checks if an index requirement is satisfied by the given columns.
+ *
+ * Semantic satisfaction: a non-unique index requirement can be satisfied by:
+ * - Any index (unique or non-unique) with the same columns, OR
+ * - A unique constraint with the same columns (stronger satisfies weaker)
+ *
+ * @param indexes - The indexes in the schema table
+ * @param uniques - The unique constraints in the schema table
+ * @param columns - The columns required by the index
+ * @returns true if the requirement is satisfied
+ */
+export declare function isIndexSatisfied(indexes: readonly SqlIndexIR[], uniques: readonly SqlUniqueIR[], columns: readonly string[]): boolean;
 /**
  * Verifies primary key matches between contract and schema.
  * Returns 'pass' or 'fail'.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
  */
 export declare function verifyPrimaryKey(contractPK: PrimaryKey, schemaPK: PrimaryKey | undefined, tableName: string, issues: SchemaIssue[]): 'pass' | 'fail';
 /**
  * Verifies foreign keys match between contract and schema.
  * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + columns + referenced table + referenced columns).
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
  */
 export declare function verifyForeignKeys(contractFKs: readonly ForeignKey[], schemaFKs: readonly SqlForeignKeyIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
 /**
  * Verifies unique constraints match between contract and schema.
  * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * A unique constraint requirement can be satisfied by either:
+ * - A unique constraint with the same columns, or
+ * - A unique index with the same columns
+ *
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
  */
-export declare function verifyUniqueConstraints(contractUniques: readonly UniqueConstraint[], schemaUniques: readonly SqlUniqueIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
+export declare function verifyUniqueConstraints(contractUniques: readonly UniqueConstraint[], schemaUniques: readonly SqlUniqueIR[], schemaIndexes: readonly SqlIndexIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
 /**
  * Verifies indexes match between contract and schema.
  * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * A non-unique index requirement can be satisfied by either:
+ * - A non-unique index with the same columns, or
+ * - A unique index with the same columns (stronger satisfies weaker)
+ *
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
  */
-export declare function verifyIndexes(contractIndexes: readonly Index[], schemaIndexes: readonly SqlIndexIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
+export declare function verifyIndexes(contractIndexes: readonly Index[], schemaIndexes: readonly SqlIndexIR[], schemaUniques: readonly SqlUniqueIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
 /**
  * Verifies database dependencies are installed using component-owned verification hooks.
  * Each dependency provides a pure verifyDatabaseDependencyInstalled function that checks

package/dist/core/schema-verify/verify-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-helpers.d.ts","sourceRoot":"","sources":["../../../src/core/schema-verify/verify-helpers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AACjG,OAAO,KAAK,EACV,UAAU,EACV,KAAK,EACL,UAAU,EACV,gBAAgB,EACjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EACV,eAAe,EACf,UAAU,EACV,WAAW,EACX,WAAW,EACZ,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAEvE;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAU/E;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,UAAU,EACtB,QAAQ,EAAE,UAAU,GAAG,SAAS,EAChC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,GACpB,MAAM,GAAG,MAAM,CAoCjB;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,SAAS,EAAE,SAAS,eAAe,EAAE,EACrC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAuG1B;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,eAAe,EAAE,SAAS,gBAAgB,EAAE,EAC5C,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAmG1B;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,eAAe,EAAE,SAAS,KAAK,EAAE,EACjC,aAAa,EAAE,SAAS,UAAU,EAAE,EACpC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAoG1B;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,aAAa,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,EACjE,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,WAAW,EAAE,GACpB,sBAAsB,EAAE,CAwC1B;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,sBAAsB,GAAG;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;CACpB,CA6BA"}
+{"version":3,"file":"verify-helpers.d.ts","sourceRoot":"","sources":["../../../src/core/schema-verify/verify-helpers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AACjG,OAAO,KAAK,EACV,UAAU,EACV,KAAK,EACL,UAAU,EACV,gBAAgB,EACjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EACV,eAAe,EACf,UAAU,EACV,WAAW,EACX,WAAW,EACZ,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAEvE;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAU/E;AASD;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,SAAS,WAAW,EAAE,EAC/B,OAAO,EAAE,SAAS,UAAU,EAAE,EAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,OAAO,CAQT;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,SAAS,UAAU,EAAE,EAC9B,OAAO,EAAE,SAAS,WAAW,EAAE,EAC/B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,OAAO,CAQT;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,UAAU,EACtB,QAAQ,EAAE,UAAU,GAAG,SAAS,EAChC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,GACpB,MAAM,GAAG,MAAM,CA0BjB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,SAAS,EAAE,SAAS,eAAe,EAAE,EACrC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAkF1B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CACrC,eAAe,EAAE,SAAS,gBAAgB,EAAE,EAC5C,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,aAAa,EAAE,SAAS,UAAU,EAAE,EACpC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAiF1B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAC3B,eAAe,EAAE,SAAS,KAAK,EAAE,EACjC,aAAa,EAAE,SAAS,UAAU,EAAE,EACpC,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAsF1B;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,aAAa,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,EACjE,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,WAAW,EAAE,GACpB,sBAAsB,EAAE,CAwC1B;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,sBAAsB,GAAG;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;CACpB,CA6BA"}

package/dist/core/schema-verify/verify-sql-schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-sql-schema.d.ts","sourceRoot":"","sources":["../../../src/core/schema-verify/verify-sql-schema.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AACjG,OAAO,KAAK,EACV,gBAAgB,EAGhB,0BAA0B,EAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAYpE;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAC3C,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IACpC,4DAA4D;IAC5D,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5E;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5F;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,sBAAsB,GAAG,0BAA0B,CAqe3F"}
+{"version":3,"file":"verify-sql-schema.d.ts","sourceRoot":"","sources":["../../../src/core/schema-verify/verify-sql-schema.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AACjG,OAAO,KAAK,EACV,gBAAgB,EAGhB,0BAA0B,EAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAYpE;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAC3C,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IACpC,4DAA4D;IAC5D,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5E;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5F;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,sBAAsB,GAAG,0BAA0B,CAye3F"}

package/dist/exports/control.js

@@ -1,8 +1,8 @@
 import {
   createSqlFamilyInstance
-} from "../chunk-SQ2VWYDV.js";
+} from "../chunk-F27CR6XZ.js";
 import "../chunk-SU7LN2UH.js";
-import "../chunk-BHEGVBY7.js";
+import "../chunk-XH2Y5NTD.js";
 
 // src/core/descriptor.ts
 import { sqlTargetFamilyHook } from "@prisma-next/sql-contract-emitter";

package/dist/exports/schema-verify.d.ts

@@ -5,7 +5,7 @@
  * without a database connection. It's suitable for migration planning and
  * other tools that need to compare schema states.
  */
-export { arraysEqual, verifyDatabaseDependencies } from '../core/schema-verify/verify-helpers';
+export { arraysEqual, isIndexSatisfied, isUniqueConstraintSatisfied, verifyDatabaseDependencies, } from '../core/schema-verify/verify-helpers';
 export type { VerifySqlSchemaOptions } from '../core/schema-verify/verify-sql-schema';
 export { verifySqlSchema } from '../core/schema-verify/verify-sql-schema';
 //# sourceMappingURL=schema-verify.d.ts.map

package/dist/exports/schema-verify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-verify.d.ts","sourceRoot":"","sources":["../../src/exports/schema-verify.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAC/F,YAAY,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC"}
+{"version":3,"file":"schema-verify.d.ts","sourceRoot":"","sources":["../../src/exports/schema-verify.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,sCAAsC,CAAC;AAC9C,YAAY,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC"}

package/dist/exports/schema-verify.js

@@ -1,10 +1,14 @@
 import {
   arraysEqual,
+  isIndexSatisfied,
+  isUniqueConstraintSatisfied,
   verifyDatabaseDependencies,
   verifySqlSchema
-} from "../chunk-BHEGVBY7.js";
+} from "../chunk-XH2Y5NTD.js";
 export {
   arraysEqual,
+  isIndexSatisfied,
+  isUniqueConstraintSatisfied,
   verifyDatabaseDependencies,
   verifySqlSchema
 };

package/dist/exports/test-utils.js

@@ -4,9 +4,9 @@ import {
   extractCodecTypeImports,
   extractExtensionIds,
   extractOperationTypeImports
-} from "../chunk-SQ2VWYDV.js";
+} from "../chunk-F27CR6XZ.js";
 import "../chunk-SU7LN2UH.js";
-import "../chunk-BHEGVBY7.js";
+import "../chunk-XH2Y5NTD.js";
 export {
   assembleOperationRegistry,
   convertOperationManifest,

package/package.json

@@ -1,32 +1,32 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.3.0-pr.88.3",
+  "version": "0.3.0-pr.88.6",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/cli": "0.3.0-pr.88.3",
-    "@prisma-next/contract": "0.3.0-pr.88.3",
-    "@prisma-next/core-control-plane": "0.3.0-pr.88.3",
-    "@prisma-next/core-execution-plane": "0.3.0-pr.88.3",
-    "@prisma-next/operations": "0.3.0-pr.88.3",
-    "@prisma-next/runtime-executor": "0.3.0-pr.88.3",
-    "@prisma-next/sql-contract": "0.3.0-pr.88.3",
-    "@prisma-next/sql-contract-emitter": "0.3.0-pr.88.3",
-    "@prisma-next/sql-contract-ts": "0.3.0-pr.88.3",
-    "@prisma-next/sql-operations": "0.3.0-pr.88.3",
-    "@prisma-next/sql-runtime": "0.3.0-pr.88.3",
-    "@prisma-next/sql-schema-ir": "0.3.0-pr.88.3",
-    "@prisma-next/sql-relational-core": "0.3.0-pr.88.3",
-    "@prisma-next/utils": "0.3.0-pr.88.3"
+    "@prisma-next/cli": "0.3.0-pr.88.6",
+    "@prisma-next/contract": "0.3.0-pr.88.6",
+    "@prisma-next/core-control-plane": "0.3.0-pr.88.6",
+    "@prisma-next/core-execution-plane": "0.3.0-pr.88.6",
+    "@prisma-next/operations": "0.3.0-pr.88.6",
+    "@prisma-next/sql-contract": "0.3.0-pr.88.6",
+    "@prisma-next/sql-contract-emitter": "0.3.0-pr.88.6",
+    "@prisma-next/sql-contract-ts": "0.3.0-pr.88.6",
+    "@prisma-next/sql-operations": "0.3.0-pr.88.6",
+    "@prisma-next/sql-relational-core": "0.3.0-pr.88.6",
+    "@prisma-next/sql-runtime": "0.3.0-pr.88.6",
+    "@prisma-next/sql-schema-ir": "0.3.0-pr.88.6",
+    "@prisma-next/utils": "0.3.0-pr.88.6",
+    "@prisma-next/runtime-executor": "0.3.0-pr.88.6"
   },
   "devDependencies": {
     "@vitest/coverage-v8": "4.0.16",
     "tsup": "8.5.1",
     "typescript": "5.9.3",
     "vitest": "4.0.16",
-    "@prisma-next/driver-postgres": "0.3.0-pr.88.3",
+    "@prisma-next/driver-postgres": "0.3.0-pr.88.6",
     "@prisma-next/test-utils": "0.0.1"
   },
   "files": [

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

@@ -33,9 +33,71 @@ export function arraysEqual(a: readonly string[], b: readonly string[]): boolean
   return true;
 }
 
+// ============================================================================
+// Semantic Satisfaction Predicates
+// ============================================================================
+// These predicates implement the "stronger satisfies weaker" logic for storage
+// objects. They are used by both verification and migration planning to ensure
+// consistent behavior across the control plane.
+
+/**
+ * Checks if a unique constraint requirement is satisfied by the given columns.
+ *
+ * Semantic satisfaction: a unique constraint requirement can be satisfied by:
+ * - A unique constraint with the same columns, OR
+ * - A unique index with the same columns
+ *
+ * @param uniques - The unique constraints in the schema table
+ * @param indexes - The indexes in the schema table
+ * @param columns - The columns required by the unique constraint
+ * @returns true if the requirement is satisfied
+ */
+export function isUniqueConstraintSatisfied(
+  uniques: readonly SqlUniqueIR[],
+  indexes: readonly SqlIndexIR[],
+  columns: readonly string[],
+): boolean {
+  // Check for matching unique constraint
+  const hasConstraint = uniques.some((unique) => arraysEqual(unique.columns, columns));
+  if (hasConstraint) {
+    return true;
+  }
+  // Check for matching unique index (semantic satisfaction)
+  return indexes.some((index) => index.unique && arraysEqual(index.columns, columns));
+}
+
+/**
+ * Checks if an index requirement is satisfied by the given columns.
+ *
+ * Semantic satisfaction: a non-unique index requirement can be satisfied by:
+ * - Any index (unique or non-unique) with the same columns, OR
+ * - A unique constraint with the same columns (stronger satisfies weaker)
+ *
+ * @param indexes - The indexes in the schema table
+ * @param uniques - The unique constraints in the schema table
+ * @param columns - The columns required by the index
+ * @returns true if the requirement is satisfied
+ */
+export function isIndexSatisfied(
+  indexes: readonly SqlIndexIR[],
+  uniques: readonly SqlUniqueIR[],
+  columns: readonly string[],
+): boolean {
+  // Check for any matching index (unique or non-unique)
+  const hasMatchingIndex = indexes.some((index) => arraysEqual(index.columns, columns));
+  if (hasMatchingIndex) {
+    return true;
+  }
+  // Check for matching unique constraint (semantic satisfaction)
+  return uniques.some((unique) => arraysEqual(unique.columns, columns));
+}
+
 /**
  * Verifies primary key matches between contract and schema.
  * Returns 'pass' or 'fail'.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
  */
 export function verifyPrimaryKey(
   contractPK: PrimaryKey,
@@ -64,18 +126,8 @@ export function verifyPrimaryKey(
     return 'fail';
   }
 
-  // Compare name if both are modeled
-  if (contractPK.name && schemaPK.name && contractPK.name !== schemaPK.name) {
-    issues.push({
-      kind: 'primary_key_mismatch',
-      table: tableName,
-      indexOrConstraint: contractPK.name,
-      expected: contractPK.name,
-      actual: schemaPK.name,
-      message: `Table "${tableName}" has primary key name mismatch: expected "${contractPK.name}", got "${schemaPK.name}"`,
-    });
-    return 'fail';
-  }
+  // Name differences are ignored for semantic satisfaction.
+  // Names are persisted for deterministic DDL and diagnostics but are not identity.
 
   return 'pass';
 }
@@ -83,6 +135,9 @@ export function verifyPrimaryKey(
 /**
  * Verifies foreign keys match between contract and schema.
  * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + columns + referenced table + referenced columns).
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
  */
 export function verifyForeignKeys(
   contractFKs: readonly ForeignKey[],
@@ -124,40 +179,19 @@ export function verifyForeignKeys(
         children: [],
       });
     } else {
-      // Compare name if both are modeled
-      if (contractFK.name && matchingFK.name && contractFK.name !== matchingFK.name) {
-        issues.push({
-          kind: 'foreign_key_mismatch',
-          table: tableName,
-          indexOrConstraint: contractFK.name,
-          expected: contractFK.name,
-          actual: matchingFK.name,
-          message: `Table "${tableName}" has foreign key name mismatch: expected "${contractFK.name}", got "${matchingFK.name}"`,
-        });
-        nodes.push({
-          status: 'fail',
-          kind: 'foreignKey',
-          name: `foreignKey(${contractFK.columns.join(', ')})`,
-          contractPath: fkPath,
-          code: 'foreign_key_mismatch',
-          message: 'Foreign key name mismatch',
-          expected: contractFK.name,
-          actual: matchingFK.name,
-          children: [],
-        });
-      } else {
-        nodes.push({
-          status: 'pass',
-          kind: 'foreignKey',
-          name: `foreignKey(${contractFK.columns.join(', ')})`,
-          contractPath: fkPath,
-          code: '',
-          message: '',
-          expected: undefined,
-          actual: undefined,
-          children: [],
-        });
-      }
+      // 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: [],
+      });
     }
   }
 
@@ -199,10 +233,18 @@ export function verifyForeignKeys(
 /**
  * Verifies unique constraints match between contract and schema.
  * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * A unique constraint requirement can be satisfied by either:
+ * - A unique constraint with the same columns, or
+ * - A unique index with the same columns
+ *
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
  */
 export function verifyUniqueConstraints(
   contractUniques: readonly UniqueConstraint[],
   schemaUniques: readonly SqlUniqueIR[],
+  schemaIndexes: readonly SqlIndexIR[],
   tableName: string,
   tablePath: string,
   issues: SchemaIssue[],
@@ -213,11 +255,18 @@ export function verifyUniqueConstraints(
   // Check each contract unique exists in schema
   for (const contractUnique of contractUniques) {
     const uniquePath = `${tablePath}.uniques[${contractUnique.columns.join(',')}]`;
+
+    // First check for a matching unique constraint
     const matchingUnique = schemaUniques.find((u) =>
       arraysEqual(u.columns, contractUnique.columns),
     );
 
-    if (!matchingUnique) {
+    // If no matching constraint, check for a unique index with the same columns
+    const matchingUniqueIndex =
+      !matchingUnique &&
+      schemaIndexes.find((idx) => idx.unique && arraysEqual(idx.columns, contractUnique.columns));
+
+    if (!matchingUnique && !matchingUniqueIndex) {
       issues.push({
         kind: 'unique_constraint_mismatch',
         table: tableName,
@@ -236,44 +285,19 @@ export function verifyUniqueConstraints(
         children: [],
       });
     } else {
-      // Compare name if both are modeled
-      if (
-        contractUnique.name &&
-        matchingUnique.name &&
-        contractUnique.name !== matchingUnique.name
-      ) {
-        issues.push({
-          kind: 'unique_constraint_mismatch',
-          table: tableName,
-          indexOrConstraint: contractUnique.name,
-          expected: contractUnique.name,
-          actual: matchingUnique.name,
-          message: `Table "${tableName}" has unique constraint name mismatch: expected "${contractUnique.name}", got "${matchingUnique.name}"`,
-        });
-        nodes.push({
-          status: 'fail',
-          kind: 'unique',
-          name: `unique(${contractUnique.columns.join(', ')})`,
-          contractPath: uniquePath,
-          code: 'unique_constraint_mismatch',
-          message: 'Unique constraint name mismatch',
-          expected: contractUnique.name,
-          actual: matchingUnique.name,
-          children: [],
-        });
-      } else {
-        nodes.push({
-          status: 'pass',
-          kind: 'unique',
-          name: `unique(${contractUnique.columns.join(', ')})`,
-          contractPath: uniquePath,
-          code: '',
-          message: '',
-          expected: undefined,
-          actual: undefined,
-          children: [],
-        });
-      }
+      // Name differences are ignored for semantic satisfaction.
+      // Names are persisted for deterministic DDL and diagnostics but are not identity.
+      nodes.push({
+        status: 'pass',
+        kind: 'unique',
+        name: `unique(${contractUnique.columns.join(', ')})`,
+        contractPath: uniquePath,
+        code: '',
+        message: '',
+        expected: undefined,
+        actual: undefined,
+        children: [],
+      });
     }
   }
 
@@ -311,10 +335,18 @@ export function verifyUniqueConstraints(
 /**
  * Verifies indexes match between contract and schema.
  * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * A non-unique index requirement can be satisfied by either:
+ * - A non-unique index with the same columns, or
+ * - A unique index with the same columns (stronger satisfies weaker)
+ *
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
  */
 export function verifyIndexes(
   contractIndexes: readonly Index[],
   schemaIndexes: readonly SqlIndexIR[],
+  schemaUniques: readonly SqlUniqueIR[],
   tableName: string,
   tablePath: string,
   issues: SchemaIssue[],
@@ -325,11 +357,18 @@ export function verifyIndexes(
   // Check each contract index exists in schema
   for (const contractIndex of contractIndexes) {
     const indexPath = `${tablePath}.indexes[${contractIndex.columns.join(',')}]`;
-    const matchingIndex = schemaIndexes.find(
-      (idx) => arraysEqual(idx.columns, contractIndex.columns) && idx.unique === false,
+
+    // Check for any matching index (unique or non-unique)
+    // A unique index can satisfy a non-unique index requirement (stronger satisfies weaker)
+    const matchingIndex = schemaIndexes.find((idx) =>
+      arraysEqual(idx.columns, contractIndex.columns),
     );
 
-    if (!matchingIndex) {
+    // Also check if a unique constraint satisfies the index requirement
+    const matchingUniqueConstraint =
+      !matchingIndex && schemaUniques.find((u) => arraysEqual(u.columns, contractIndex.columns));
+
+    if (!matchingIndex && !matchingUniqueConstraint) {
       issues.push({
         kind: 'index_mismatch',
         table: tableName,
@@ -348,40 +387,19 @@ export function verifyIndexes(
         children: [],
       });
     } else {
-      // Compare name if both are modeled
-      if (contractIndex.name && matchingIndex.name && contractIndex.name !== matchingIndex.name) {
-        issues.push({
-          kind: 'index_mismatch',
-          table: tableName,
-          indexOrConstraint: contractIndex.name,
-          expected: contractIndex.name,
-          actual: matchingIndex.name,
-          message: `Table "${tableName}" has index name mismatch: expected "${contractIndex.name}", got "${matchingIndex.name}"`,
-        });
-        nodes.push({
-          status: 'fail',
-          kind: 'index',
-          name: `index(${contractIndex.columns.join(', ')})`,
-          contractPath: indexPath,
-          code: 'index_mismatch',
-          message: 'Index name mismatch',
-          expected: contractIndex.name,
-          actual: matchingIndex.name,
-          children: [],
-        });
-      } else {
-        nodes.push({
-          status: 'pass',
-          kind: 'index',
-          name: `index(${contractIndex.columns.join(', ')})`,
-          contractPath: indexPath,
-          code: '',
-          message: '',
-          expected: undefined,
-          actual: undefined,
-          children: [],
-        });
-      }
+      // Name differences are ignored for semantic satisfaction.
+      // Names are persisted for deterministic DDL and diagnostics but are not identity.
+      nodes.push({
+        status: 'pass',
+        kind: 'index',
+        name: `index(${contractIndex.columns.join(', ')})`,
+        contractPath: indexPath,
+        code: '',
+        message: '',
+        expected: undefined,
+        actual: undefined,
+        children: [],
+      });
     }
   }
 

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

@@ -373,9 +373,11 @@ export function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabase
     tableChildren.push(...fkStatuses);
 
     // Compare unique constraints
+    // Pass schemaIndexes so unique indexes can satisfy unique constraint requirements
     const uniqueStatuses = verifyUniqueConstraints(
       contractTable.uniques,
       schemaTable.uniques,
+      schemaTable.indexes,
       tableName,
       tablePath,
       issues,
@@ -384,9 +386,11 @@ export function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabase
     tableChildren.push(...uniqueStatuses);
 
     // Compare indexes
+    // Pass schemaUniques so unique constraints can satisfy index requirements
     const indexStatuses = verifyIndexes(
       contractTable.indexes,
       schemaTable.indexes,
+      schemaTable.uniques,
       tableName,
       tablePath,
       issues,

package/src/exports/schema-verify.ts

@@ -6,6 +6,11 @@
  * other tools that need to compare schema states.
  */
 
-export { arraysEqual, verifyDatabaseDependencies } from '../core/schema-verify/verify-helpers';
+export {
+  arraysEqual,
+  isIndexSatisfied,
+  isUniqueConstraintSatisfied,
+  verifyDatabaseDependencies,
+} from '../core/schema-verify/verify-helpers';
 export type { VerifySqlSchemaOptions } from '../core/schema-verify/verify-sql-schema';
 export { verifySqlSchema } from '../core/schema-verify/verify-sql-schema';

package/dist/chunk-BHEGVBY7.js.map

@@ -1 +0,0 @@
-{"version":3,"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 * Verifies primary key matches between contract and schema.\n * Returns 'pass' or 'fail'.\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  // Compare name if both are modeled\n  if (contractPK.name && schemaPK.name && contractPK.name !== schemaPK.name) {\n    issues.push({\n      kind: 'primary_key_mismatch',\n      table: tableName,\n      indexOrConstraint: contractPK.name,\n      expected: contractPK.name,\n      actual: schemaPK.name,\n      message: `Table \"${tableName}\" has primary key name mismatch: expected \"${contractPK.name}\", got \"${schemaPK.name}\"`,\n    });\n    return 'fail';\n  }\n\n  return 'pass';\n}\n\n/**\n * Verifies foreign keys match between contract and schema.\n * Returns verification nodes for the tree.\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      // Compare name if both are modeled\n      if (contractFK.name && matchingFK.name && contractFK.name !== matchingFK.name) {\n        issues.push({\n          kind: 'foreign_key_mismatch',\n          table: tableName,\n          indexOrConstraint: contractFK.name,\n          expected: contractFK.name,\n          actual: matchingFK.name,\n          message: `Table \"${tableName}\" has foreign key name mismatch: expected \"${contractFK.name}\", got \"${matchingFK.name}\"`,\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 name mismatch',\n          expected: contractFK.name,\n          actual: matchingFK.name,\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 */\nexport function verifyUniqueConstraints(\n  contractUniques: readonly UniqueConstraint[],\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 unique exists in schema\n  for (const contractUnique of contractUniques) {\n    const uniquePath = `${tablePath}.uniques[${contractUnique.columns.join(',')}]`;\n    const matchingUnique = schemaUniques.find((u) =>\n      arraysEqual(u.columns, contractUnique.columns),\n    );\n\n    if (!matchingUnique) {\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      // Compare name if both are modeled\n      if (\n        contractUnique.name &&\n        matchingUnique.name &&\n        contractUnique.name !== matchingUnique.name\n      ) {\n        issues.push({\n          kind: 'unique_constraint_mismatch',\n          table: tableName,\n          indexOrConstraint: contractUnique.name,\n          expected: contractUnique.name,\n          actual: matchingUnique.name,\n          message: `Table \"${tableName}\" has unique constraint name mismatch: expected \"${contractUnique.name}\", got \"${matchingUnique.name}\"`,\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 name mismatch',\n          expected: contractUnique.name,\n          actual: matchingUnique.name,\n          children: [],\n        });\n      } else {\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\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 */\nexport function verifyIndexes(\n  contractIndexes: readonly Index[],\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 index exists in schema\n  for (const contractIndex of contractIndexes) {\n    const indexPath = `${tablePath}.indexes[${contractIndex.columns.join(',')}]`;\n    const matchingIndex = schemaIndexes.find(\n      (idx) => arraysEqual(idx.columns, contractIndex.columns) && idx.unique === false,\n    );\n\n    if (!matchingIndex) {\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      // Compare name if both are modeled\n      if (contractIndex.name && matchingIndex.name && contractIndex.name !== matchingIndex.name) {\n        issues.push({\n          kind: 'index_mismatch',\n          table: tableName,\n          indexOrConstraint: contractIndex.name,\n          expected: contractIndex.name,\n          actual: matchingIndex.name,\n          message: `Table \"${tableName}\" has index name mismatch: expected \"${contractIndex.name}\", got \"${matchingIndex.name}\"`,\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 name mismatch',\n          expected: contractIndex.name,\n          actual: matchingIndex.name,\n          children: [],\n        });\n      } else {\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\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 {\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 type { ComponentDatabaseDependency } from '../migrations/types';\nimport {\n  computeCounts,\n  verifyDatabaseDependencies,\n  verifyForeignKeys,\n  verifyIndexes,\n  verifyPrimaryKey,\n  verifyUniqueConstraints,\n} from './verify-helpers';\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\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 { contract, schema, strict, context, typeMetadataRegistry } = options;\n  const startTime = Date.now();\n\n  // Extract contract hashes and target\n  const contractCoreHash = contract.coreHash;\n  const contractProfileHash =\n    'profileHash' in contract && typeof contract.profileHash === 'string'\n      ? contract.profileHash\n      : undefined;\n  const contractTarget = contract.target;\n\n  // Compare contract vs schema IR\n  const issues: SchemaIssue[] = [];\n  const rootChildren: SchemaVerificationNode[] = [];\n\n  // Compare tables\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      // Missing table\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    // Table exists - compare columns, constraints, etc.\n    const tableChildren: SchemaVerificationNode[] = [];\n    const columnNodes: SchemaVerificationNode[] = [];\n\n    // Compare columns\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        // Missing column\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      // Column exists - compare type and nullability\n      const columnChildren: SchemaVerificationNode[] = [];\n      let columnStatus: 'pass' | 'warn' | 'fail' = 'pass';\n\n      // Compare type using nativeType directly\n      // Both contractColumn.nativeType and schemaColumn.nativeType are required by their types\n      const contractNativeType = contractColumn.nativeType;\n      const schemaNativeType = schemaColumn.nativeType;\n\n      if (contractNativeType !== schemaNativeType) {\n        // Compare native types directly\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      // Optionally validate that codecId (if present) and nativeType agree with registry\n      if (contractColumn.codecId) {\n        const typeMetadata = typeMetadataRegistry.get(contractColumn.codecId);\n        if (!typeMetadata) {\n          // Warning: codecId not found in registry\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 !== contractNativeType) {\n          // Warning: codecId and nativeType don't agree with registry\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 \"${contractNativeType}\"`,\n            expected: typeMetadata.nativeType,\n            actual: contractNativeType,\n            children: [],\n          });\n        }\n      }\n\n      // Compare nullability\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      // Compute column status from children (fail > warn > pass)\n      const computedColumnStatus = columnChildren.some((c) => c.status === 'fail')\n        ? 'fail'\n        : columnChildren.some((c) => c.status === 'warn')\n          ? 'warn'\n          : 'pass';\n      // Use computed status if we have children, otherwise use the manually set status\n      const finalColumnStatus = columnChildren.length > 0 ? computedColumnStatus : columnStatus;\n\n      // Build column node\n      const nullableText = contractColumn.nullable ? 'nullable' : 'not nullable';\n      const columnTypeDisplay = contractColumn.codecId\n        ? `${contractNativeType} (${contractColumn.codecId})`\n        : contractNativeType;\n      // Collect failure messages from children to create a summary message\n      const failureMessages = columnChildren\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 columnMessage =\n        finalColumnStatus === 'fail' && failureMessages.length > 0\n          ? failureMessages.join('; ')\n          : '';\n      // Extract code from first child if status indicates an issue\n      const columnCode =\n        (finalColumnStatus === 'fail' || finalColumnStatus === 'warn') && columnChildren[0]\n          ? columnChildren[0].code\n          : '';\n      columnNodes.push({\n        status: finalColumnStatus,\n        kind: 'column',\n        name: `${columnName}: ${columnTypeDisplay} (${nullableText})`,\n        contractPath: columnPath,\n        code: columnCode,\n        message: columnMessage,\n        expected: undefined,\n        actual: undefined,\n        children: columnChildren,\n      });\n    }\n\n    // Group columns under a \"columns\" header if we have any columns\n    if (columnNodes.length > 0) {\n      const columnsStatus = columnNodes.some((c) => c.status === 'fail')\n        ? 'fail'\n        : columnNodes.some((c) => c.status === 'warn')\n          ? 'warn'\n          : 'pass';\n      tableChildren.push({\n        status: columnsStatus,\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\n    // Check for extra columns in strict mode\n    if (strict) {\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\n    // Compare primary key\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      // Extra primary key in strict mode\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    // Compare foreign keys\n    const fkStatuses = verifyForeignKeys(\n      contractTable.foreignKeys,\n      schemaTable.foreignKeys,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n    );\n    tableChildren.push(...fkStatuses);\n\n    // Compare unique constraints\n    const uniqueStatuses = verifyUniqueConstraints(\n      contractTable.uniques,\n      schemaTable.uniques,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n    );\n    tableChildren.push(...uniqueStatuses);\n\n    // Compare indexes\n    const indexStatuses = verifyIndexes(\n      contractTable.indexes,\n      schemaTable.indexes,\n      tableName,\n      tablePath,\n      issues,\n      strict,\n    );\n    tableChildren.push(...indexStatuses);\n\n    // Build table node\n    const tableStatus = tableChildren.some((c) => c.status === 'fail')\n      ? 'fail'\n      : tableChildren.some((c) => c.status === 'warn')\n        ? 'warn'\n        : 'pass';\n    // Collect failure messages from children to create a summary message\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    rootChildren.push({\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\n  // Check for extra tables in strict mode\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  // Validate that all extension packs declared in the contract are present in frameworkComponents\n  // This is a configuration integrity check - if the contract was emitted with an extension,\n  // that extension must be provided in the current configuration.\n  // Note: contract.extensionPacks includes adapter.id and target.id (from extractExtensionIds),\n  // so we check for matches as extension, adapter, or target components.\n  const contractExtensionPacks = contract.extensionPacks ?? {};\n  for (const extensionNamespace of Object.keys(contractExtensionPacks)) {\n    const hasComponent = options.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  // Compare component-owned database dependencies (pure, deterministic)\n  // Per ADR 154: We do NOT infer dependencies from contract extension packs.\n  // Dependencies are only collected from frameworkComponents provided by the CLI.\n  const databaseDependencies = collectDependenciesFromFrameworkComponents(\n    options.frameworkComponents,\n  );\n  const dependencyStatuses = verifyDatabaseDependencies(databaseDependencies, schema, issues);\n  rootChildren.push(...dependencyStatuses);\n\n  // Build root node\n  const rootStatus = rootChildren.some((c) => c.status === 'fail')\n    ? 'fail'\n    : rootChildren.some((c) => c.status === 'warn')\n      ? 'warn'\n      : 'pass';\n  const root: SchemaVerificationNode = {\n    status: rootStatus,\n    kind: 'contract',\n    name: 'contract',\n    contractPath: '',\n    code: '',\n    message: '',\n    expected: undefined,\n    actual: undefined,\n    children: rootChildren,\n  };\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      coreHash: contractCoreHash,\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\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"],"mappings":";AAuBO,SAAS,YAAY,GAAsB,GAA+B;AAC/E,MAAI,EAAE,WAAW,EAAE,QAAQ;AACzB,WAAO;AAAA,EACT;AACA,WAAS,IAAI,GAAG,IAAI,EAAE,QAAQ,KAAK;AACjC,QAAI,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG;AACjB,aAAO;AAAA,IACT;AAAA,EACF;AACA,SAAO;AACT;AAMO,SAAS,iBACd,YACA,UACA,WACA,QACiB;AACjB,MAAI,CAAC,UAAU;AACb,WAAO,KAAK;AAAA,MACV,MAAM;AAAA,MACN,OAAO;AAAA,MACP,UAAU,WAAW,QAAQ,KAAK,IAAI;AAAA,MACtC,SAAS,UAAU,SAAS;AAAA,IAC9B,CAAC;AACD,WAAO;AAAA,EACT;AAEA,MAAI,CAAC,YAAY,WAAW,SAAS,SAAS,OAAO,GAAG;AACtD,WAAO,KAAK;AAAA,MACV,MAAM;AAAA,MACN,OAAO;AAAA,MACP,UAAU,WAAW,QAAQ,KAAK,IAAI;AAAA,MACtC,QAAQ,SAAS,QAAQ,KAAK,IAAI;AAAA,MAClC,SAAS,UAAU,SAAS,iDAAiD,WAAW,QAAQ,KAAK,IAAI,CAAC,WAAW,SAAS,QAAQ,KAAK,IAAI,CAAC;AAAA,IAClJ,CAAC;AACD,WAAO;AAAA,EACT;AAGA,MAAI,WAAW,QAAQ,SAAS,QAAQ,WAAW,SAAS,SAAS,MAAM;AACzE,WAAO,KAAK;AAAA,MACV,MAAM;AAAA,MACN,OAAO;AAAA,MACP,mBAAmB,WAAW;AAAA,MAC9B,UAAU,WAAW;AAAA,MACrB,QAAQ,SAAS;AAAA,MACjB,SAAS,UAAU,SAAS,8CAA8C,WAAW,IAAI,WAAW,SAAS,IAAI;AAAA,IACnH,CAAC;AACD,WAAO;AAAA,EACT;AAEA,SAAO;AACT;AAMO,SAAS,kBACd,aACA,WACA,WACA,WACA,QACA,QAC0B;AAC1B,QAAM,QAAkC,CAAC;AAGzC,aAAW,cAAc,aAAa;AACpC,UAAM,SAAS,GAAG,SAAS,gBAAgB,WAAW,QAAQ,KAAK,GAAG,CAAC;AACvE,UAAM,aAAa,UAAU,KAAK,CAAC,OAAO;AACxC,aACE,YAAY,GAAG,SAAS,WAAW,OAAO,KAC1C,GAAG,oBAAoB,WAAW,WAAW,SAC7C,YAAY,GAAG,mBAAmB,WAAW,WAAW,OAAO;AAAA,IAEnE,CAAC;AAED,QAAI,CAAC,YAAY;AACf,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,UAAU,GAAG,WAAW,QAAQ,KAAK,IAAI,CAAC,OAAO,WAAW,WAAW,KAAK,IAAI,WAAW,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,QACxH,SAAS,UAAU,SAAS,6BAA6B,WAAW,QAAQ,KAAK,IAAI,CAAC,OAAO,WAAW,WAAW,KAAK,IAAI,WAAW,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,MACtK,CAAC;AACD,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,QACjD,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH,OAAO;AAEL,UAAI,WAAW,QAAQ,WAAW,QAAQ,WAAW,SAAS,WAAW,MAAM;AAC7E,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,mBAAmB,WAAW;AAAA,UAC9B,UAAU,WAAW;AAAA,UACrB,QAAQ,WAAW;AAAA,UACnB,SAAS,UAAU,SAAS,8CAA8C,WAAW,IAAI,WAAW,WAAW,IAAI;AAAA,QACrH,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,UACjD,cAAc;AAAA,UACd,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU,WAAW;AAAA,UACrB,QAAQ,WAAW;AAAA,UACnB,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH,OAAO;AACL,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,UACjD,cAAc;AAAA,UACd,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAGA,MAAI,QAAQ;AACV,eAAW,YAAY,WAAW;AAChC,YAAM,aAAa,YAAY,KAAK,CAAC,OAAO;AAC1C,eACE,YAAY,GAAG,SAAS,SAAS,OAAO,KACxC,GAAG,WAAW,UAAU,SAAS,mBACjC,YAAY,GAAG,WAAW,SAAS,SAAS,iBAAiB;AAAA,MAEjE,CAAC;AAED,UAAI,CAAC,YAAY;AACf,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,SAAS,0DAA0D,SAAS,QAAQ,KAAK,IAAI,CAAC,OAAO,SAAS,eAAe,IAAI,SAAS,kBAAkB,KAAK,IAAI,CAAC;AAAA,QACxK,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,cAAc,SAAS,QAAQ,KAAK,IAAI,CAAC;AAAA,UAC/C,cAAc,GAAG,SAAS,gBAAgB,SAAS,QAAQ,KAAK,GAAG,CAAC;AAAA,UACpE,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAMO,SAAS,wBACd,iBACA,eACA,WACA,WACA,QACA,QAC0B;AAC1B,QAAM,QAAkC,CAAC;AAGzC,aAAW,kBAAkB,iBAAiB;AAC5C,UAAM,aAAa,GAAG,SAAS,YAAY,eAAe,QAAQ,KAAK,GAAG,CAAC;AAC3E,UAAM,iBAAiB,cAAc;AAAA,MAAK,CAAC,MACzC,YAAY,EAAE,SAAS,eAAe,OAAO;AAAA,IAC/C;AAEA,QAAI,CAAC,gBAAgB;AACnB,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,UAAU,eAAe,QAAQ,KAAK,IAAI;AAAA,QAC1C,SAAS,UAAU,SAAS,mCAAmC,eAAe,QAAQ,KAAK,IAAI,CAAC;AAAA,MAClG,CAAC;AACD,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,UAAU,eAAe,QAAQ,KAAK,IAAI,CAAC;AAAA,QACjD,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH,OAAO;AAEL,UACE,eAAe,QACf,eAAe,QACf,eAAe,SAAS,eAAe,MACvC;AACA,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,mBAAmB,eAAe;AAAA,UAClC,UAAU,eAAe;AAAA,UACzB,QAAQ,eAAe;AAAA,UACvB,SAAS,UAAU,SAAS,oDAAoD,eAAe,IAAI,WAAW,eAAe,IAAI;AAAA,QACnI,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,UAAU,eAAe,QAAQ,KAAK,IAAI,CAAC;AAAA,UACjD,cAAc;AAAA,UACd,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU,eAAe;AAAA,UACzB,QAAQ,eAAe;AAAA,UACvB,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH,OAAO;AACL,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,UAAU,eAAe,QAAQ,KAAK,IAAI,CAAC;AAAA,UACjD,cAAc;AAAA,UACd,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAGA,MAAI,QAAQ;AACV,eAAW,gBAAgB,eAAe;AACxC,YAAM,iBAAiB,gBAAgB;AAAA,QAAK,CAAC,MAC3C,YAAY,EAAE,SAAS,aAAa,OAAO;AAAA,MAC7C;AAEA,UAAI,CAAC,gBAAgB;AACnB,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,SAAS,gEAAgE,aAAa,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC1G,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,UAAU,aAAa,QAAQ,KAAK,IAAI,CAAC;AAAA,UAC/C,cAAc,GAAG,SAAS,YAAY,aAAa,QAAQ,KAAK,GAAG,CAAC;AAAA,UACpE,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAMO,SAAS,cACd,iBACA,eACA,WACA,WACA,QACA,QAC0B;AAC1B,QAAM,QAAkC,CAAC;AAGzC,aAAW,iBAAiB,iBAAiB;AAC3C,UAAM,YAAY,GAAG,SAAS,YAAY,cAAc,QAAQ,KAAK,GAAG,CAAC;AACzE,UAAM,gBAAgB,cAAc;AAAA,MAClC,CAAC,QAAQ,YAAY,IAAI,SAAS,cAAc,OAAO,KAAK,IAAI,WAAW;AAAA,IAC7E;AAEA,QAAI,CAAC,eAAe;AAClB,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,UAAU,cAAc,QAAQ,KAAK,IAAI;AAAA,QACzC,SAAS,UAAU,SAAS,uBAAuB,cAAc,QAAQ,KAAK,IAAI,CAAC;AAAA,MACrF,CAAC;AACD,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,SAAS,cAAc,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC/C,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH,OAAO;AAEL,UAAI,cAAc,QAAQ,cAAc,QAAQ,cAAc,SAAS,cAAc,MAAM;AACzF,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,mBAAmB,cAAc;AAAA,UACjC,UAAU,cAAc;AAAA,UACxB,QAAQ,cAAc;AAAA,UACtB,SAAS,UAAU,SAAS,wCAAwC,cAAc,IAAI,WAAW,cAAc,IAAI;AAAA,QACrH,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,SAAS,cAAc,QAAQ,KAAK,IAAI,CAAC;AAAA,UAC/C,cAAc;AAAA,UACd,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU,cAAc;AAAA,UACxB,QAAQ,cAAc;AAAA,UACtB,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH,OAAO;AACL,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,SAAS,cAAc,QAAQ,KAAK,IAAI,CAAC;AAAA,UAC/C,cAAc;AAAA,UACd,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAGA,MAAI,QAAQ;AACV,eAAW,eAAe,eAAe;AAEvC,UAAI,YAAY,QAAQ;AACtB;AAAA,MACF;AAEA,YAAM,gBAAgB,gBAAgB;AAAA,QAAK,CAAC,QAC1C,YAAY,IAAI,SAAS,YAAY,OAAO;AAAA,MAC9C;AAEA,UAAI,CAAC,eAAe;AAClB,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,SAAS,oDAAoD,YAAY,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC7F,CAAC;AACD,cAAM,KAAK;AAAA,UACT,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,SAAS,YAAY,QAAQ,KAAK,IAAI,CAAC;AAAA,UAC7C,cAAc,GAAG,SAAS,YAAY,YAAY,QAAQ,KAAK,GAAG,CAAC;AAAA,UACnE,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AASO,SAAS,2BACd,cACA,QACA,QAC0B;AAC1B,QAAM,QAAkC,CAAC;AAEzC,aAAW,cAAc,cAAc;AACrC,UAAM,YAAY,WAAW,kCAAkC,MAAM;AACrE,UAAM,UAAU,gBAAgB,WAAW,EAAE;AAE7C,QAAI,UAAU,SAAS,GAAG;AAExB,aAAO,KAAK,GAAG,SAAS;AACxB,YAAM,gBAAgB,UAAU,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI;AAC/D,YAAM,cAAc,gBAAgB,GAAG,WAAW,EAAE,KAAK,aAAa,KAAK,WAAW;AACtF,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,WAAW;AAAA,QACjB,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH,OAAO;AAEL,YAAM,KAAK;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,WAAW;AAAA,QACjB,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH;AAAA,EACF;AAEA,SAAO;AACT;AAKO,SAAS,cAAc,MAK5B;AACA,MAAI,OAAO;AACX,MAAI,OAAO;AACX,MAAI,OAAO;AAEX,WAAS,SAAS,GAAiC;AACjD,QAAI,EAAE,WAAW,QAAQ;AACvB;AAAA,IACF,WAAW,EAAE,WAAW,QAAQ;AAC9B;AAAA,IACF,WAAW,EAAE,WAAW,QAAQ;AAC9B;AAAA,IACF;AAEA,QAAI,EAAE,UAAU;AACd,iBAAW,SAAS,EAAE,UAAU;AAC9B,iBAAS,KAAK;AAAA,MAChB;AAAA,IACF;AAAA,EACF;AAEA,WAAS,IAAI;AAEb,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA,YAAY,OAAO,OAAO;AAAA,EAC5B;AACF;;;AChfA,SAAS,iBAAiB;AA0CnB,SAAS,gBAAgB,SAA6D;AAC3F,QAAM,EAAE,UAAU,QAAQ,QAAQ,SAAS,qBAAqB,IAAI;AACpE,QAAM,YAAY,KAAK,IAAI;AAG3B,QAAM,mBAAmB,SAAS;AAClC,QAAM,sBACJ,iBAAiB,YAAY,OAAO,SAAS,gBAAgB,WACzD,SAAS,cACT;AACN,QAAM,iBAAiB,SAAS;AAGhC,QAAM,SAAwB,CAAC;AAC/B,QAAM,eAAyC,CAAC;AAGhD,QAAM,iBAAiB,SAAS,QAAQ;AACxC,QAAM,eAAe,OAAO;AAE5B,aAAW,CAAC,WAAW,aAAa,KAAK,OAAO,QAAQ,cAAc,GAAG;AACvE,UAAM,cAAc,aAAa,SAAS;AAC1C,UAAM,YAAY,kBAAkB,SAAS;AAE7C,QAAI,CAAC,aAAa;AAEhB,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,SAAS,UAAU,SAAS;AAAA,MAC9B,CAAC;AACD,mBAAa,KAAK;AAAA,QAChB,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,SAAS,SAAS;AAAA,QACxB,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS,UAAU,SAAS;AAAA,QAC5B,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU,CAAC;AAAA,MACb,CAAC;AACD;AAAA,IACF;AAGA,UAAM,gBAA0C,CAAC;AACjD,UAAM,cAAwC,CAAC;AAG/C,eAAW,CAAC,YAAY,cAAc,KAAK,OAAO,QAAQ,cAAc,OAAO,GAAG;AAChF,YAAM,eAAe,YAAY,QAAQ,UAAU;AACnD,YAAM,aAAa,GAAG,SAAS,YAAY,UAAU;AAErD,UAAI,CAAC,cAAc;AAEjB,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,QAAQ;AAAA,UACR,SAAS,WAAW,SAAS,MAAM,UAAU;AAAA,QAC/C,CAAC;AACD,oBAAY,KAAK;AAAA,UACf,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,GAAG,UAAU;AAAA,UACnB,cAAc;AAAA,UACd,MAAM;AAAA,UACN,SAAS,WAAW,UAAU;AAAA,UAC9B,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AACD;AAAA,MACF;AAGA,YAAM,iBAA2C,CAAC;AAClD,UAAI,eAAyC;AAI7C,YAAM,qBAAqB,eAAe;AAC1C,YAAM,mBAAmB,aAAa;AAEtC,UAAI,uBAAuB,kBAAkB;AAE3C,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,QAAQ;AAAA,UACR,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,SAAS,WAAW,SAAS,MAAM,UAAU,kCAAkC,kBAAkB,WAAW,gBAAgB;AAAA,QAC9H,CAAC;AACD,uBAAe,KAAK;AAAA,UAClB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM;AAAA,UACN,cAAc,GAAG,UAAU;AAAA,UAC3B,MAAM;AAAA,UACN,SAAS,2BAA2B,kBAAkB,SAAS,gBAAgB;AAAA,UAC/E,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AACD,uBAAe;AAAA,MACjB;AAGA,UAAI,eAAe,SAAS;AAC1B,cAAM,eAAe,qBAAqB,IAAI,eAAe,OAAO;AACpE,YAAI,CAAC,cAAc;AAEjB,yBAAe,KAAK;AAAA,YAClB,QAAQ;AAAA,YACR,MAAM;AAAA,YACN,MAAM;AAAA,YACN,cAAc,GAAG,UAAU;AAAA,YAC3B,MAAM;AAAA,YACN,SAAS,YAAY,eAAe,OAAO;AAAA,YAC3C,UAAU,eAAe;AAAA,YACzB,QAAQ;AAAA,YACR,UAAU,CAAC;AAAA,UACb,CAAC;AAAA,QACH,WAAW,aAAa,cAAc,aAAa,eAAe,oBAAoB;AAEpF,yBAAe,KAAK;AAAA,YAClB,QAAQ;AAAA,YACR,MAAM;AAAA,YACN,MAAM;AAAA,YACN,cAAc,GAAG,UAAU;AAAA,YAC3B,MAAM;AAAA,YACN,SAAS,YAAY,eAAe,OAAO,yBAAyB,aAAa,UAAU,oCAAoC,kBAAkB;AAAA,YACjJ,UAAU,aAAa;AAAA,YACvB,QAAQ;AAAA,YACR,UAAU,CAAC;AAAA,UACb,CAAC;AAAA,QACH;AAAA,MACF;AAGA,UAAI,eAAe,aAAa,aAAa,UAAU;AACrD,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,QAAQ;AAAA,UACR,UAAU,OAAO,eAAe,QAAQ;AAAA,UACxC,QAAQ,OAAO,aAAa,QAAQ;AAAA,UACpC,SAAS,WAAW,SAAS,MAAM,UAAU,wCAAwC,eAAe,WAAW,aAAa,UAAU,SAAS,aAAa,WAAW,aAAa,UAAU;AAAA,QAChM,CAAC;AACD,uBAAe,KAAK;AAAA,UAClB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM;AAAA,UACN,cAAc,GAAG,UAAU;AAAA,UAC3B,MAAM;AAAA,UACN,SAAS,kCAAkC,eAAe,WAAW,aAAa,UAAU,SAAS,aAAa,WAAW,aAAa,UAAU;AAAA,UACpJ,UAAU,eAAe;AAAA,UACzB,QAAQ,aAAa;AAAA,UACrB,UAAU,CAAC;AAAA,QACb,CAAC;AACD,uBAAe;AAAA,MACjB;AAGA,YAAM,uBAAuB,eAAe,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IACvE,SACA,eAAe,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC5C,SACA;AAEN,YAAM,oBAAoB,eAAe,SAAS,IAAI,uBAAuB;AAG7E,YAAM,eAAe,eAAe,WAAW,aAAa;AAC5D,YAAM,oBAAoB,eAAe,UACrC,GAAG,kBAAkB,KAAK,eAAe,OAAO,MAChD;AAEJ,YAAM,kBAAkB,eACrB,OAAO,CAAC,UAAU,MAAM,WAAW,UAAU,MAAM,OAAO,EAC1D,IAAI,CAAC,UAAU,MAAM,OAAO,EAC5B,OAAO,CAAC,QAAuB,OAAO,QAAQ,YAAY,IAAI,SAAS,CAAC;AAC3E,YAAM,gBACJ,sBAAsB,UAAU,gBAAgB,SAAS,IACrD,gBAAgB,KAAK,IAAI,IACzB;AAEN,YAAM,cACH,sBAAsB,UAAU,sBAAsB,WAAW,eAAe,CAAC,IAC9E,eAAe,CAAC,EAAE,OAClB;AACN,kBAAY,KAAK;AAAA,QACf,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,GAAG,UAAU,KAAK,iBAAiB,KAAK,YAAY;AAAA,QAC1D,cAAc;AAAA,QACd,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU;AAAA,MACZ,CAAC;AAAA,IACH;AAGA,QAAI,YAAY,SAAS,GAAG;AAC1B,YAAM,gBAAgB,YAAY,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC7D,SACA,YAAY,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IACzC,SACA;AACN,oBAAc,KAAK;AAAA,QACjB,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM;AAAA,QACN,cAAc,GAAG,SAAS;AAAA,QAC1B,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ;AAAA,QACR,UAAU;AAAA,MACZ,CAAC;AAAA,IACH;AAGA,QAAI,QAAQ;AACV,iBAAW,CAAC,YAAY,EAAE,WAAW,CAAC,KAAK,OAAO,QAAQ,YAAY,OAAO,GAAG;AAC9E,YAAI,CAAC,cAAc,QAAQ,UAAU,GAAG;AACtC,iBAAO,KAAK;AAAA,YACV,MAAM;AAAA,YACN,OAAO;AAAA,YACP,QAAQ;AAAA,YACR,SAAS,iBAAiB,SAAS,MAAM,UAAU;AAAA,UACrD,CAAC;AACD,sBAAY,KAAK;AAAA,YACf,QAAQ;AAAA,YACR,MAAM;AAAA,YACN,MAAM,GAAG,UAAU;AAAA,YACnB,cAAc,GAAG,SAAS,YAAY,UAAU;AAAA,YAChD,MAAM;AAAA,YACN,SAAS,iBAAiB,UAAU;AAAA,YACpC,UAAU;AAAA,YACV,QAAQ;AAAA,YACR,UAAU,CAAC;AAAA,UACb,CAAC;AAAA,QACH;AAAA,MACF;AAAA,IACF;AAGA,QAAI,cAAc,YAAY;AAC5B,YAAM,WAAW;AAAA,QACf,cAAc;AAAA,QACd,YAAY;AAAA,QACZ;AAAA,QACA;AAAA,MACF;AACA,UAAI,aAAa,QAAQ;AACvB,sBAAc,KAAK;AAAA,UACjB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,gBAAgB,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,UACjE,cAAc,GAAG,SAAS;AAAA,UAC1B,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU,cAAc;AAAA,UACxB,QAAQ,YAAY;AAAA,UACpB,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH,OAAO;AACL,sBAAc,KAAK;AAAA,UACjB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,gBAAgB,cAAc,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,UACjE,cAAc,GAAG,SAAS;AAAA,UAC1B,MAAM;AAAA,UACN,SAAS;AAAA,UACT,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF,WAAW,YAAY,cAAc,QAAQ;AAE3C,aAAO,KAAK;AAAA,QACV,MAAM;AAAA,QACN,OAAO;AAAA,QACP,SAAS;AAAA,MACX,CAAC;AACD,oBAAc,KAAK;AAAA,QACjB,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,MAAM,gBAAgB,YAAY,WAAW,QAAQ,KAAK,IAAI,CAAC;AAAA,QAC/D,cAAc,GAAG,SAAS;AAAA,QAC1B,MAAM;AAAA,QACN,SAAS;AAAA,QACT,UAAU;AAAA,QACV,QAAQ,YAAY;AAAA,QACpB,UAAU,CAAC;AAAA,MACb,CAAC;AAAA,IACH;AAGA,UAAM,aAAa;AAAA,MACjB,cAAc;AAAA,MACd,YAAY;AAAA,MACZ;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,kBAAc,KAAK,GAAG,UAAU;AAGhC,UAAM,iBAAiB;AAAA,MACrB,cAAc;AAAA,MACd,YAAY;AAAA,MACZ;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,kBAAc,KAAK,GAAG,cAAc;AAGpC,UAAM,gBAAgB;AAAA,MACpB,cAAc;AAAA,MACd,YAAY;AAAA,MACZ;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,kBAAc,KAAK,GAAG,aAAa;AAGnC,UAAM,cAAc,cAAc,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC7D,SACA,cAAc,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC3C,SACA;AAEN,UAAM,uBAAuB,cAC1B,OAAO,CAAC,UAAU,MAAM,WAAW,UAAU,MAAM,OAAO,EAC1D,IAAI,CAAC,UAAU,MAAM,OAAO,EAC5B,OAAO,CAAC,QAAuB,OAAO,QAAQ,YAAY,IAAI,SAAS,CAAC;AAC3E,UAAM,eACJ,gBAAgB,UAAU,qBAAqB,SAAS,IACpD,GAAG,qBAAqB,MAAM,SAAS,qBAAqB,WAAW,IAAI,KAAK,GAAG,KACnF;AACN,UAAM,YACJ,gBAAgB,UAAU,cAAc,SAAS,KAAK,cAAc,CAAC,IACjE,cAAc,CAAC,EAAE,OACjB;AACN,iBAAa,KAAK;AAAA,MAChB,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,MAAM,SAAS,SAAS;AAAA,MACxB,cAAc;AAAA,MACd,MAAM;AAAA,MACN,SAAS;AAAA,MACT,UAAU;AAAA,MACV,QAAQ;AAAA,MACR,UAAU;AAAA,IACZ,CAAC;AAAA,EACH;AAGA,MAAI,QAAQ;AACV,eAAW,aAAa,OAAO,KAAK,YAAY,GAAG;AACjD,UAAI,CAAC,eAAe,SAAS,GAAG;AAC9B,eAAO,KAAK;AAAA,UACV,MAAM;AAAA,UACN,OAAO;AAAA,UACP,SAAS,gBAAgB,SAAS;AAAA,QACpC,CAAC;AACD,qBAAa,KAAK;AAAA,UAChB,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,MAAM,SAAS,SAAS;AAAA,UACxB,cAAc,kBAAkB,SAAS;AAAA,UACzC,MAAM;AAAA,UACN,SAAS,gBAAgB,SAAS;AAAA,UAClC,UAAU;AAAA,UACV,QAAQ;AAAA,UACR,UAAU,CAAC;AAAA,QACb,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAOA,QAAM,yBAAyB,SAAS,kBAAkB,CAAC;AAC3D,aAAW,sBAAsB,OAAO,KAAK,sBAAsB,GAAG;AACpE,UAAM,eAAe,QAAQ,oBAAoB;AAAA,MAC/C,CAAC,cACC,UAAU,OAAO,uBAChB,UAAU,SAAS,eAClB,UAAU,SAAS,aACnB,UAAU,SAAS;AAAA,IACzB;AACA,QAAI,CAAC,cAAc;AACjB,YAAM,IAAI;AAAA,QACR,mBAAmB,kBAAkB;AAAA,MAGvC;AAAA,IACF;AAAA,EACF;AAKA,QAAM,uBAAuB;AAAA,IAC3B,QAAQ;AAAA,EACV;AACA,QAAM,qBAAqB,2BAA2B,sBAAsB,QAAQ,MAAM;AAC1F,eAAa,KAAK,GAAG,kBAAkB;AAGvC,QAAM,aAAa,aAAa,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC3D,SACA,aAAa,KAAK,CAAC,MAAM,EAAE,WAAW,MAAM,IAC1C,SACA;AACN,QAAM,OAA+B;AAAA,IACnC,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,MAAM;AAAA,IACN,cAAc;AAAA,IACd,MAAM;AAAA,IACN,SAAS;AAAA,IACT,UAAU;AAAA,IACV,QAAQ;AAAA,IACR,UAAU;AAAA,EACZ;AAGA,QAAM,SAAS,cAAc,IAAI;AAGjC,QAAM,KAAK,OAAO,SAAS;AAG3B,QAAM,OAAO,KAAK,SAAY;AAG9B,QAAM,UAAU,KACZ,uCACA,8CAA8C,OAAO,IAAI,WAAW,OAAO,SAAS,IAAI,KAAK,GAAG;AAEpG,QAAM,YAAY,KAAK,IAAI,IAAI;AAE/B,SAAO;AAAA,IACL;AAAA,IACA,GAAG,UAAU,QAAQ,IAAI;AAAA,IACzB;AAAA,IACA,UAAU;AAAA,MACR,UAAU;AAAA,MACV,GAAG,UAAU,eAAe,mBAAmB;AAAA,IACjD;AAAA,IACA,QAAQ;AAAA,MACN,UAAU;AAAA,MACV,QAAQ;AAAA,IACV;AAAA,IACA,QAAQ;AAAA,MACN;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAAA,IACA,MAAM;AAAA,MACJ;AAAA,MACA,GAAG,UAAU,gBAAgB,SAAS,YAAY;AAAA,MAClD,GAAG,UAAU,cAAc,SAAS,UAAU;AAAA,IAChD;AAAA,IACA,SAAS;AAAA,MACP,OAAO;AAAA,IACT;AAAA,EACF;AACF;AAOA,SAAS,4BACP,WAKA;AACA,MAAI,EAAE,0BAA0B,YAAY;AAC1C,WAAO;AAAA,EACT;AACA,QAAM,SAAU,UAAsC,sBAAsB;AAC5E,MAAI,WAAW,UAAa,WAAW,QAAQ,OAAO,WAAW,UAAU;AACzE,WAAO;AAAA,EACT;AACA,QAAM,aAAa;AACnB,QAAM,OAAO,WAAW,MAAM;AAC9B,MAAI,SAAS,UAAa,CAAC,MAAM,QAAQ,IAAI,GAAG;AAC9C,WAAO;AAAA,EACT;AACA,SAAO;AACT;AAEA,SAAS,2CACP,YAC+C;AAC/C,QAAM,eAAiD,CAAC;AACxD,aAAW,aAAa,YAAY;AAClC,QAAI,4BAA4B,SAAS,GAAG;AAC1C,mBAAa,KAAK,GAAG,UAAU,qBAAqB,IAAI;AAAA,IAC1D;AAAA,EACF;AACA,SAAO;AACT;","names":[]}