@prisma-next/family-sql 0.3.0-dev.9 → 0.3.0-pr.100.2

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":[]}

package/dist/chunk-SQ2VWYDV.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/core/assembly.ts","../src/core/instance.ts"],"sourcesContent":["import type { OperationManifest } from '@prisma-next/contract/pack-manifest-types';\nimport type { TypesImportSpec } from '@prisma-next/contract/types';\nimport type {\n  ControlAdapterDescriptor,\n  ControlExtensionDescriptor,\n  ControlTargetDescriptor,\n} from '@prisma-next/core-control-plane/types';\nimport type { OperationRegistry, OperationSignature } from '@prisma-next/operations';\nimport { createOperationRegistry } from '@prisma-next/operations';\n\n/**\n * Assembles an operation registry from descriptors (adapter, target, extensions).\n * Loops over descriptors, extracts operations, converts them using the provided\n * conversion function, and registers them in a new registry.\n */\nexport function assembleOperationRegistry(\n  descriptors: ReadonlyArray<\n    | ControlTargetDescriptor<'sql', string>\n    | ControlAdapterDescriptor<'sql', string>\n    | ControlExtensionDescriptor<'sql', string>\n  >,\n  convertOperationManifest: (manifest: OperationManifest) => OperationSignature,\n): OperationRegistry {\n  const registry = createOperationRegistry();\n\n  for (const descriptor of descriptors) {\n    const operations = descriptor.operations ?? [];\n    for (const operationManifest of operations as ReadonlyArray<OperationManifest>) {\n      const signature = convertOperationManifest(operationManifest);\n      registry.register(signature);\n    }\n  }\n\n  return registry;\n}\n\n/**\n * Extracts codec type imports from descriptors for contract.d.ts generation.\n */\nexport function extractCodecTypeImports(\n  descriptors: ReadonlyArray<\n    | ControlTargetDescriptor<'sql', string>\n    | ControlAdapterDescriptor<'sql', string>\n    | ControlExtensionDescriptor<'sql', string>\n  >,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const types = descriptor.types;\n    const codecTypes = types?.codecTypes;\n    if (codecTypes?.import) {\n      imports.push(codecTypes.import);\n    }\n  }\n\n  return imports;\n}\n\n/**\n * Extracts operation type imports from descriptors for contract.d.ts generation.\n */\nexport function extractOperationTypeImports(\n  descriptors: ReadonlyArray<\n    | ControlTargetDescriptor<'sql', string>\n    | ControlAdapterDescriptor<'sql', string>\n    | ControlExtensionDescriptor<'sql', string>\n  >,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const types = descriptor.types;\n    const operationTypes = types?.operationTypes;\n    if (operationTypes?.import) {\n      imports.push(operationTypes.import);\n    }\n  }\n\n  return imports;\n}\n\n/**\n * Extracts extension IDs from descriptors in deterministic order:\n * [adapter.id, target.id, ...extensions.map(e => e.id)]\n * Deduplicates while preserving stable order.\n */\nexport function extractExtensionIds(\n  adapter: ControlAdapterDescriptor<'sql', string>,\n  target: ControlTargetDescriptor<'sql', string>,\n  extensions: ReadonlyArray<ControlExtensionDescriptor<'sql', string>>,\n): ReadonlyArray<string> {\n  const ids: string[] = [];\n  const seen = new Set<string>();\n\n  // Add adapter first\n  if (!seen.has(adapter.id)) {\n    ids.push(adapter.id);\n    seen.add(adapter.id);\n  }\n\n  // Add target second\n  if (!seen.has(target.id)) {\n    ids.push(target.id);\n    seen.add(target.id);\n  }\n\n  // Add extensions in order\n  for (const ext of extensions) {\n    if (!seen.has(ext.id)) {\n      ids.push(ext.id);\n      seen.add(ext.id);\n    }\n  }\n\n  return ids;\n}\n","import type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type { OperationManifest } from '@prisma-next/contract/pack-manifest-types';\nimport type { ContractMarkerRecord, TypesImportSpec } from '@prisma-next/contract/types';\nimport { emit } from '@prisma-next/core-control-plane/emission';\nimport type { CoreSchemaView, SchemaTreeNode } from '@prisma-next/core-control-plane/schema-view';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  ControlTargetDescriptor,\n  EmitContractResult,\n  OperationContext,\n  SignDatabaseResult,\n  VerifyDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/core-control-plane/types';\nimport type { OperationRegistry } from '@prisma-next/operations';\nimport type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\nimport { sqlTargetFamilyHook } from '@prisma-next/sql-contract-emitter';\nimport { validateContract } from '@prisma-next/sql-contract-ts/contract';\nimport type { SqlOperationSignature } from '@prisma-next/sql-operations';\nimport {\n  ensureSchemaStatement,\n  ensureTableStatement,\n  writeContractMarker,\n} from '@prisma-next/sql-runtime';\nimport type { SqlSchemaIR, SqlTableIR } from '@prisma-next/sql-schema-ir/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport {\n  assembleOperationRegistry,\n  extractCodecTypeImports,\n  extractExtensionIds,\n  extractOperationTypeImports,\n} from './assembly';\nimport type { SqlControlAdapter } from './control-adapter';\nimport { verifySqlSchema } from './schema-verify/verify-sql-schema';\nimport { collectSupportedCodecTypeIds, readMarker } from './verify';\n\n/**\n * Converts an OperationManifest (descriptor declarative data) to a SqlOperationSignature.\n * This is SQL-family-specific conversion logic used by instance creation and test utilities.\n */\nexport function convertOperationManifest(manifest: OperationManifest): SqlOperationSignature {\n  return {\n    forTypeId: manifest.for,\n    method: manifest.method,\n    args: manifest.args.map((arg: OperationManifest['args'][number]) => {\n      if (arg.kind === 'typeId') {\n        if (!arg.type) {\n          throw new Error('typeId arg must have type property');\n        }\n        return { kind: 'typeId' as const, type: arg.type };\n      }\n      if (arg.kind === 'param') {\n        return { kind: 'param' as const };\n      }\n      if (arg.kind === 'literal') {\n        return { kind: 'literal' as const };\n      }\n      throw new Error(`Invalid arg kind: ${(arg as { kind: unknown }).kind}`);\n    }),\n    returns: (() => {\n      if (manifest.returns.kind === 'typeId') {\n        return { kind: 'typeId' as const, type: manifest.returns.type };\n      }\n      if (manifest.returns.kind === 'builtin') {\n        return {\n          kind: 'builtin' as const,\n          type: manifest.returns.type as 'number' | 'boolean' | 'string',\n        };\n      }\n      throw new Error(`Invalid return kind: ${(manifest.returns as { kind: unknown }).kind}`);\n    })(),\n    lowering: {\n      targetFamily: 'sql',\n      strategy: manifest.lowering.strategy,\n      template: manifest.lowering.template,\n    },\n    ...(manifest.capabilities ? { capabilities: manifest.capabilities } : {}),\n  };\n}\n\n/**\n * Extracts codec type IDs used in contract storage tables.\n * Uses type guards to safely access SQL-specific structure without importing SQL types.\n */\nfunction extractCodecTypeIdsFromContract(contract: unknown): readonly string[] {\n  const typeIds = new Set<string>();\n\n  // Type guard for SQL contract structure\n  if (\n    typeof contract === 'object' &&\n    contract !== null &&\n    'storage' in contract &&\n    typeof contract.storage === 'object' &&\n    contract.storage !== null &&\n    'tables' in contract.storage\n  ) {\n    const storage = contract.storage as { tables?: Record<string, unknown> };\n    if (storage.tables && typeof storage.tables === 'object') {\n      for (const table of Object.values(storage.tables)) {\n        if (\n          typeof table === 'object' &&\n          table !== null &&\n          'columns' in table &&\n          typeof table.columns === 'object' &&\n          table.columns !== null\n        ) {\n          const columns = table.columns as Record<string, { codecId: string } | undefined>;\n          for (const column of Object.values(columns)) {\n            if (\n              column &&\n              typeof column === 'object' &&\n              'codecId' in column &&\n              typeof column.codecId === 'string'\n            ) {\n              typeIds.add(column.codecId);\n            }\n          }\n        }\n      }\n    }\n  }\n\n  return Array.from(typeIds).sort();\n}\n\n/**\n * Creates a VerifyDatabaseResult object with common structure.\n */\nfunction createVerifyResult(options: {\n  ok: boolean;\n  code?: string;\n  summary: string;\n  contractCoreHash: string;\n  contractProfileHash?: string;\n  marker?: ContractMarkerRecord;\n  expectedTargetId: string;\n  actualTargetId?: string;\n  missingCodecs?: readonly string[];\n  codecCoverageSkipped?: boolean;\n  configPath?: string;\n  contractPath: string;\n  totalTime: number;\n}): VerifyDatabaseResult {\n  const contract: { coreHash: string; profileHash?: string } = {\n    coreHash: options.contractCoreHash,\n  };\n  if (options.contractProfileHash) {\n    contract.profileHash = options.contractProfileHash;\n  }\n\n  const target: { expected: string; actual?: string } = {\n    expected: options.expectedTargetId,\n  };\n  if (options.actualTargetId) {\n    target.actual = options.actualTargetId;\n  }\n\n  const meta: { contractPath: string; configPath?: string } = {\n    contractPath: options.contractPath,\n  };\n  if (options.configPath) {\n    meta.configPath = options.configPath;\n  }\n\n  const result: VerifyDatabaseResult = {\n    ok: options.ok,\n    summary: options.summary,\n    contract,\n    target,\n    meta,\n    timings: {\n      total: options.totalTime,\n    },\n  };\n\n  if (options.code) {\n    (result as { code?: string }).code = options.code;\n  }\n\n  if (options.marker) {\n    (result as { marker?: { coreHash: string; profileHash: string } }).marker = {\n      coreHash: options.marker.coreHash,\n      profileHash: options.marker.profileHash,\n    };\n  }\n\n  if (options.missingCodecs) {\n    (result as { missingCodecs?: readonly string[] }).missingCodecs = options.missingCodecs;\n  }\n\n  if (options.codecCoverageSkipped) {\n    (result as { codecCoverageSkipped?: boolean }).codecCoverageSkipped =\n      options.codecCoverageSkipped;\n  }\n\n  return result;\n}\n\n/**\n * Type metadata for SQL storage types.\n * Maps contract storage type IDs to native database types.\n */\ninterface SqlTypeMetadata {\n  readonly typeId: string;\n  readonly familyId: 'sql';\n  readonly targetId: string;\n  readonly nativeType?: string;\n}\n\n/**\n * Registry mapping type IDs to their metadata.\n * Keyed by contract storage type ID (e.g., 'pg/int4@1').\n */\ntype SqlTypeMetadataRegistry = Map<string, SqlTypeMetadata>;\n\n/**\n * State fields for SQL family instance that hold assembly data.\n */\ninterface SqlFamilyInstanceState {\n  readonly operationRegistry: OperationRegistry;\n  readonly codecTypeImports: ReadonlyArray<TypesImportSpec>;\n  readonly operationTypeImports: ReadonlyArray<TypesImportSpec>;\n  readonly extensionIds: ReadonlyArray<string>;\n  readonly typeMetadataRegistry: SqlTypeMetadataRegistry;\n}\n\n/**\n * Options for schema verification.\n */\nexport interface SchemaVerifyOptions {\n  readonly driver: ControlDriverInstance<'sql', string>;\n  readonly contractIR: unknown;\n  readonly strict: boolean;\n  readonly context?: OperationContext;\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 * SQL control family instance interface.\n * Extends ControlFamilyInstance with SQL-specific domain actions.\n */\nexport interface SqlControlFamilyInstance\n  extends ControlFamilyInstance<'sql'>,\n    SqlFamilyInstanceState {\n  /**\n   * Validates a contract JSON and returns a validated ContractIR (without mappings).\n   * Mappings are runtime-only and should not be part of ContractIR.\n   */\n  validateContractIR(contractJson: unknown): ContractIR;\n\n  /**\n   * Verifies the database marker against the contract.\n   * Compares target, coreHash, and profileHash.\n   */\n  verify(options: {\n    readonly driver: ControlDriverInstance<'sql', string>;\n    readonly contractIR: unknown;\n    readonly expectedTargetId: string;\n    readonly contractPath: string;\n    readonly configPath?: string;\n  }): Promise<VerifyDatabaseResult>;\n\n  /**\n   * Verifies the database schema against the contract.\n   * Compares contract requirements against live database schema.\n   */\n  schemaVerify(options: SchemaVerifyOptions): Promise<VerifyDatabaseSchemaResult>;\n\n  /**\n   * Signs the database with the contract marker.\n   * Writes or updates the contract marker if schema verification passes.\n   * This operation is idempotent - if the marker already matches, no changes are made.\n   */\n  sign(options: {\n    readonly driver: ControlDriverInstance<'sql', string>;\n    readonly contractIR: unknown;\n    readonly contractPath: string;\n    readonly configPath?: string;\n  }): Promise<SignDatabaseResult>;\n\n  /**\n   * Introspects the database schema and returns a family-specific schema IR.\n   *\n   * This is a read-only operation that returns a snapshot of the live database schema.\n   * The method is family-owned and delegates to target/adapter-specific introspectors\n   * to perform the actual schema introspection.\n   *\n   * @param options - Introspection options\n   * @param options.driver - Control plane driver for database connection\n   * @param options.contractIR - Optional contract IR for contract-guided introspection.\n   *   When provided, families may use it for filtering, optimization, or validation\n   *   during introspection. The contract IR does not change the meaning of \"what exists\"\n   *   in the database - it only guides how introspection is performed.\n   * @returns Promise resolving to the family-specific Schema IR (e.g., `SqlSchemaIR` for SQL).\n   *   The IR represents the complete schema snapshot at the time of introspection.\n   */\n  introspect(options: {\n    readonly driver: ControlDriverInstance<'sql', string>;\n    readonly contractIR?: unknown;\n  }): Promise<SqlSchemaIR>;\n\n  /**\n   * Projects a SQL Schema IR into a core schema view for CLI visualization.\n   * Converts SqlSchemaIR (tables, columns, indexes, extensions) into a tree structure.\n   */\n  toSchemaView(schema: SqlSchemaIR): CoreSchemaView;\n\n  /**\n   * Emits contract JSON and DTS as strings.\n   * Uses the instance's preassembled state (operation registry, type imports, extension IDs).\n   * Handles stripping mappings and validation internally.\n   */\n  emitContract(options: { readonly contractIR: ContractIR | unknown }): Promise<EmitContractResult>;\n}\n\n/**\n * SQL family instance type.\n * Maintains backward compatibility with FamilyInstance while implementing SqlControlFamilyInstance.\n */\nexport type SqlFamilyInstance = SqlControlFamilyInstance;\n\ninterface CreateSqlFamilyInstanceOptions<TTargetId extends string> {\n  readonly target: ControlTargetDescriptor<'sql', TTargetId>;\n  readonly adapter: ControlAdapterDescriptor<'sql', TTargetId>;\n  readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', TTargetId>[];\n}\n\nfunction isSqlControlAdapter<TTargetId extends string>(\n  value: unknown,\n): value is SqlControlAdapter<TTargetId> {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'introspect' in value &&\n    typeof (value as { introspect: unknown }).introspect === 'function'\n  );\n}\n\n/**\n * Builds a SQL type metadata registry from extension pack manifests.\n * Collects type metadata from target, adapter, and extension pack manifests.\n *\n * @param options - Descriptors for target, adapter, and extensions\n * @returns Registry mapping type IDs to their metadata, filtered by targetId\n */\nfunction buildSqlTypeMetadataRegistry(options: {\n  readonly target: ControlTargetDescriptor<'sql', string>;\n  readonly adapter: ControlAdapterDescriptor<'sql', string>;\n  readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', string>[];\n}): SqlTypeMetadataRegistry {\n  const { target, adapter, extensionPacks: extensions } = options;\n  const registry = new Map<string, SqlTypeMetadata>();\n\n  // Get targetId from adapter (they should match)\n  const targetId = adapter.targetId;\n\n  // Collect descriptors to iterate over\n  const descriptors = [target, adapter, ...extensions];\n\n  // Iterate over each descriptor's types\n  for (const descriptor of descriptors) {\n    const types = descriptor.types;\n    const storageTypes = types?.storage;\n\n    if (!storageTypes) {\n      continue;\n    }\n\n    // Filter for SQL family and matching targetId\n    for (const storageType of storageTypes) {\n      if (storageType.familyId === 'sql' && storageType.targetId === targetId) {\n        // Use existing entry if present, otherwise create new one\n        // Later entries (extensions) can override earlier ones (adapter/target)\n        registry.set(storageType.typeId, {\n          typeId: storageType.typeId,\n          familyId: 'sql',\n          targetId: storageType.targetId,\n          ...(storageType.nativeType !== undefined ? { nativeType: storageType.nativeType } : {}),\n        });\n      }\n    }\n  }\n\n  return registry;\n}\n\n/**\n * Creates a SQL family instance for control-plane operations.\n */\nexport function createSqlFamilyInstance<TTargetId extends string>(\n  options: CreateSqlFamilyInstanceOptions<TTargetId>,\n): SqlFamilyInstance {\n  const { target, adapter, extensionPacks: extensions = [] } = options;\n\n  // Build descriptors array for assembly\n  // Assembly functions only use manifest and id, so we can pass Control*Descriptor types directly\n  const descriptors = [target, adapter, ...extensions];\n\n  // Assemble operation registry, type imports, and extension IDs\n  const operationRegistry = assembleOperationRegistry(descriptors, convertOperationManifest);\n  const codecTypeImports = extractCodecTypeImports(descriptors);\n  const operationTypeImports = extractOperationTypeImports(descriptors);\n  const extensionIds = extractExtensionIds(adapter, target, extensions);\n\n  // Build type metadata registry from manifests\n  const typeMetadataRegistry = buildSqlTypeMetadataRegistry({\n    target,\n    adapter,\n    extensionPacks: extensions,\n  });\n\n  /**\n   * Strips mappings from a contract (mappings are runtime-only).\n   */\n  function stripMappings(contract: unknown): unknown {\n    // Type guard to check if contract has mappings\n    if (typeof contract === 'object' && contract !== null && 'mappings' in contract) {\n      const { mappings: _mappings, ...contractIR } = contract as {\n        mappings?: unknown;\n        [key: string]: unknown;\n      };\n      return contractIR;\n    }\n    return contract;\n  }\n\n  return {\n    familyId: 'sql',\n    operationRegistry,\n    codecTypeImports,\n    operationTypeImports,\n    extensionIds,\n    typeMetadataRegistry,\n\n    validateContractIR(contractJson: unknown): ContractIR {\n      // Validate the contract (this normalizes and validates structure/logic)\n      const validated = validateContract<SqlContract<SqlStorage>>(contractJson);\n      // Strip mappings before returning ContractIR (mappings are runtime-only)\n      // The validated contract has all required ContractIR properties\n      const { mappings: _mappings, ...contractIR } = validated;\n      return contractIR as ContractIR;\n    },\n\n    async verify(verifyOptions: {\n      readonly driver: ControlDriverInstance<'sql', string>;\n      readonly contractIR: unknown;\n      readonly expectedTargetId: string;\n      readonly contractPath: string;\n      readonly configPath?: string;\n    }): Promise<VerifyDatabaseResult> {\n      const { driver, contractIR, expectedTargetId, contractPath, configPath } = verifyOptions;\n      const startTime = Date.now();\n\n      // Type guard to ensure contract has required properties\n      if (\n        typeof contractIR !== 'object' ||\n        contractIR === null ||\n        !('coreHash' in contractIR) ||\n        !('target' in contractIR) ||\n        typeof contractIR.coreHash !== 'string' ||\n        typeof contractIR.target !== 'string'\n      ) {\n        throw new Error('Contract is missing required fields: coreHash or target');\n      }\n\n      // Extract contract hashes and target\n      const contractCoreHash = contractIR.coreHash;\n      const contractProfileHash =\n        'profileHash' in contractIR && typeof contractIR.profileHash === 'string'\n          ? contractIR.profileHash\n          : undefined;\n      const contractTarget = contractIR.target;\n\n      // Read marker from database\n      const marker = await readMarker(driver);\n\n      // Compute codec coverage (optional)\n      let missingCodecs: readonly string[] | undefined;\n      let codecCoverageSkipped = false;\n      const supportedTypeIds = collectSupportedCodecTypeIds<'sql', string>([\n        adapter,\n        target,\n        ...extensions,\n      ]);\n      if (supportedTypeIds.length === 0) {\n        // Helper is present but returns empty (MVP behavior)\n        // Coverage check is skipped - missingCodecs remains undefined\n        codecCoverageSkipped = true;\n      } else {\n        const supportedSet = new Set(supportedTypeIds);\n        const usedTypeIds = extractCodecTypeIdsFromContract(contractIR);\n        const missing = usedTypeIds.filter((id) => !supportedSet.has(id));\n        if (missing.length > 0) {\n          missingCodecs = missing;\n        }\n      }\n\n      // Check marker presence\n      if (!marker) {\n        const totalTime = Date.now() - startTime;\n        return createVerifyResult({\n          ok: false,\n          code: 'PN-RTM-3001',\n          summary: 'Marker missing',\n          contractCoreHash,\n          expectedTargetId,\n          contractPath,\n          totalTime,\n          ...(contractProfileHash ? { contractProfileHash } : {}),\n          ...(missingCodecs ? { missingCodecs } : {}),\n          ...(codecCoverageSkipped ? { codecCoverageSkipped } : {}),\n          ...(configPath ? { configPath } : {}),\n        });\n      }\n\n      // Compare target\n      if (contractTarget !== expectedTargetId) {\n        const totalTime = Date.now() - startTime;\n        return createVerifyResult({\n          ok: false,\n          code: 'PN-RTM-3003',\n          summary: 'Target mismatch',\n          contractCoreHash,\n          marker,\n          expectedTargetId,\n          actualTargetId: contractTarget,\n          contractPath,\n          totalTime,\n          ...(contractProfileHash ? { contractProfileHash } : {}),\n          ...(missingCodecs ? { missingCodecs } : {}),\n          ...(codecCoverageSkipped ? { codecCoverageSkipped } : {}),\n          ...(configPath ? { configPath } : {}),\n        });\n      }\n\n      // Compare hashes\n      if (marker.coreHash !== contractCoreHash) {\n        const totalTime = Date.now() - startTime;\n        return createVerifyResult({\n          ok: false,\n          code: 'PN-RTM-3002',\n          summary: 'Hash mismatch',\n          contractCoreHash,\n          marker,\n          expectedTargetId,\n          contractPath,\n          totalTime,\n          ...(contractProfileHash ? { contractProfileHash } : {}),\n          ...(missingCodecs ? { missingCodecs } : {}),\n          ...(codecCoverageSkipped ? { codecCoverageSkipped } : {}),\n          ...(configPath ? { configPath } : {}),\n        });\n      }\n\n      // Compare profile hash if present\n      if (contractProfileHash && marker.profileHash !== contractProfileHash) {\n        const totalTime = Date.now() - startTime;\n        return createVerifyResult({\n          ok: false,\n          code: 'PN-RTM-3002',\n          summary: 'Hash mismatch',\n          contractCoreHash,\n          contractProfileHash,\n          marker,\n          expectedTargetId,\n          contractPath,\n          totalTime,\n          ...(missingCodecs ? { missingCodecs } : {}),\n          ...(codecCoverageSkipped ? { codecCoverageSkipped } : {}),\n          ...(configPath ? { configPath } : {}),\n        });\n      }\n\n      // Success - all checks passed\n      const totalTime = Date.now() - startTime;\n      return createVerifyResult({\n        ok: true,\n        summary: 'Database matches contract',\n        contractCoreHash,\n        marker,\n        expectedTargetId,\n        contractPath,\n        totalTime,\n        ...(contractProfileHash ? { contractProfileHash } : {}),\n        ...(missingCodecs ? { missingCodecs } : {}),\n        ...(codecCoverageSkipped ? { codecCoverageSkipped } : {}),\n        ...(configPath ? { configPath } : {}),\n      });\n    },\n\n    async schemaVerify(options: SchemaVerifyOptions): Promise<VerifyDatabaseSchemaResult> {\n      const { driver, contractIR, strict, context, frameworkComponents } = options;\n\n      // Validate contractIR as SqlContract<SqlStorage>\n      const contract = validateContract<SqlContract<SqlStorage>>(contractIR);\n\n      // Introspect live schema (DB I/O)\n      const controlAdapter = adapter.create();\n      if (!isSqlControlAdapter(controlAdapter)) {\n        throw new Error('Adapter does not implement SqlControlAdapter.introspect()');\n      }\n      const schemaIR = await controlAdapter.introspect(driver, contractIR);\n\n      // Pure verification (no I/O) - delegates to extracted pure function\n      return verifySqlSchema({\n        contract,\n        schema: schemaIR,\n        strict,\n        ...ifDefined('context', context),\n        typeMetadataRegistry,\n        frameworkComponents,\n      });\n    },\n    async sign(options: {\n      readonly driver: ControlDriverInstance<'sql', string>;\n      readonly contractIR: unknown;\n      readonly contractPath: string;\n      readonly configPath?: string;\n    }): Promise<SignDatabaseResult> {\n      const { driver, contractIR, contractPath, configPath } = options;\n      const startTime = Date.now();\n\n      // Validate contractIR as SqlContract<SqlStorage>\n      const contract = validateContract<SqlContract<SqlStorage>>(contractIR);\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          : contractCoreHash;\n      const contractTarget = contract.target;\n\n      // Ensure marker schema and table exist\n      await driver.query(ensureSchemaStatement.sql, ensureSchemaStatement.params);\n      await driver.query(ensureTableStatement.sql, ensureTableStatement.params);\n\n      // Read existing marker\n      const existingMarker = await readMarker(driver);\n\n      // Determine if we need to write/update marker\n      let markerCreated = false;\n      let markerUpdated = false;\n      let previousHashes: { coreHash?: string; profileHash?: string } | undefined;\n\n      if (!existingMarker) {\n        // No marker exists - insert new one\n        const write = writeContractMarker({\n          coreHash: contractCoreHash,\n          profileHash: contractProfileHash,\n          contractJson: contractIR,\n          canonicalVersion: 1,\n        });\n        await driver.query(write.insert.sql, write.insert.params);\n        markerCreated = true;\n      } else {\n        // Marker exists - check if hashes differ\n        const existingCoreHash = existingMarker.coreHash;\n        const existingProfileHash = existingMarker.profileHash;\n\n        // Compare hashes (use strict equality to ensure exact match)\n        const coreHashMatches = existingCoreHash === contractCoreHash;\n        const profileHashMatches = existingProfileHash === contractProfileHash;\n\n        if (!coreHashMatches || !profileHashMatches) {\n          // Hashes differ - update marker and capture previous hashes for output\n          previousHashes = {\n            coreHash: existingCoreHash,\n            profileHash: existingProfileHash,\n          };\n          const write = writeContractMarker({\n            coreHash: contractCoreHash,\n            profileHash: contractProfileHash,\n            contractJson: contractIR,\n            canonicalVersion: existingMarker.canonicalVersion ?? 1,\n          });\n          await driver.query(write.update.sql, write.update.params);\n          markerUpdated = true;\n        }\n        // If hashes match, no-op (idempotent) - previousHashes remains undefined\n      }\n\n      // Build summary message\n      let summary: string;\n      if (markerCreated) {\n        summary = 'Database signed (marker created)';\n      } else if (markerUpdated) {\n        summary = `Database signed (marker updated from ${previousHashes?.coreHash ?? 'unknown'})`;\n      } else {\n        summary = 'Database already signed with this contract';\n      }\n\n      const totalTime = Date.now() - startTime;\n\n      return {\n        ok: true,\n        summary,\n        contract: {\n          coreHash: contractCoreHash,\n          profileHash: contractProfileHash,\n        },\n        target: {\n          expected: contractTarget,\n          actual: contractTarget,\n        },\n        marker: {\n          created: markerCreated,\n          updated: markerUpdated,\n          ...(previousHashes ? { previous: previousHashes } : {}),\n        },\n        meta: {\n          contractPath,\n          ...(configPath ? { configPath } : {}),\n        },\n        timings: {\n          total: totalTime,\n        },\n      };\n    },\n    async readMarker(options: {\n      readonly driver: ControlDriverInstance<'sql', string>;\n    }): Promise<ContractMarkerRecord | null> {\n      return readMarker(options.driver);\n    },\n    async introspect(options: {\n      readonly driver: ControlDriverInstance<'sql', string>;\n      readonly contractIR?: unknown;\n    }): Promise<SqlSchemaIR> {\n      const { driver, contractIR } = options;\n\n      const controlAdapter = adapter.create();\n      if (!isSqlControlAdapter(controlAdapter)) {\n        throw new Error('Adapter does not implement SqlControlAdapter.introspect()');\n      }\n      return controlAdapter.introspect(driver, contractIR);\n    },\n\n    toSchemaView(schema: SqlSchemaIR): CoreSchemaView {\n      const rootLabel = 'contract';\n\n      // Build table nodes\n      const tableNodes: readonly SchemaTreeNode[] = Object.entries(schema.tables).map(\n        ([tableName, table]: [string, SqlTableIR]) => {\n          const children: SchemaTreeNode[] = [];\n\n          // Add column nodes grouped under \"columns\"\n          const columnNodes: SchemaTreeNode[] = [];\n          for (const [columnName, column] of Object.entries(table.columns)) {\n            const nullableText = column.nullable ? '(nullable)' : '(not nullable)';\n            // Always display nativeType for introspection (database state)\n            const typeDisplay = column.nativeType;\n            const label = `${columnName}: ${typeDisplay} ${nullableText}`;\n            columnNodes.push({\n              kind: 'field',\n              id: `column-${tableName}-${columnName}`,\n              label,\n              meta: {\n                nativeType: column.nativeType,\n                nullable: column.nullable,\n              },\n            });\n          }\n\n          // Add \"columns\" grouping node if there are columns\n          if (columnNodes.length > 0) {\n            children.push({\n              kind: 'collection',\n              id: `columns-${tableName}`,\n              label: 'columns',\n              children: columnNodes,\n            });\n          }\n\n          // Add primary key node if present\n          if (table.primaryKey) {\n            const pkColumns = table.primaryKey.columns.join(', ');\n            children.push({\n              kind: 'index',\n              id: `primary-key-${tableName}`,\n              label: `primary key: ${pkColumns}`,\n              meta: {\n                columns: table.primaryKey.columns,\n                ...(table.primaryKey.name ? { name: table.primaryKey.name } : {}),\n              },\n            });\n          }\n\n          // Add unique constraint nodes\n          for (const unique of table.uniques) {\n            const name = unique.name ?? `${tableName}_${unique.columns.join('_')}_unique`;\n            const label = `unique ${name}`;\n            children.push({\n              kind: 'index',\n              id: `unique-${tableName}-${name}`,\n              label,\n              meta: {\n                columns: unique.columns,\n                unique: true,\n              },\n            });\n          }\n\n          // Add index nodes\n          for (const index of table.indexes) {\n            const name = index.name ?? `${tableName}_${index.columns.join('_')}_idx`;\n            const label = index.unique ? `unique index ${name}` : `index ${name}`;\n            children.push({\n              kind: 'index',\n              id: `index-${tableName}-${name}`,\n              label,\n              meta: {\n                columns: index.columns,\n                unique: index.unique,\n              },\n            });\n          }\n\n          // Build table meta\n          const tableMeta: Record<string, unknown> = {};\n          if (table.primaryKey) {\n            tableMeta['primaryKey'] = table.primaryKey.columns;\n            if (table.primaryKey.name) {\n              tableMeta['primaryKeyName'] = table.primaryKey.name;\n            }\n          }\n          if (table.foreignKeys.length > 0) {\n            tableMeta['foreignKeys'] = table.foreignKeys.map((fk) => ({\n              columns: fk.columns,\n              referencedTable: fk.referencedTable,\n              referencedColumns: fk.referencedColumns,\n              ...(fk.name ? { name: fk.name } : {}),\n            }));\n          }\n\n          const node: SchemaTreeNode = {\n            kind: 'entity',\n            id: `table-${tableName}`,\n            label: `table ${tableName}`,\n            ...(Object.keys(tableMeta).length > 0 ? { meta: tableMeta } : {}),\n            ...(children.length > 0 ? { children: children as readonly SchemaTreeNode[] } : {}),\n          };\n          return node;\n        },\n      );\n\n      // Add extension nodes (format: \"extensionName extension is enabled\")\n      const extensionNodes: readonly SchemaTreeNode[] = schema.extensions.map((extName) => ({\n        kind: 'extension',\n        id: `extension-${extName}`,\n        label: `${extName} extension is enabled`,\n      }));\n\n      // Combine all children\n      const rootChildren = [...tableNodes, ...extensionNodes];\n\n      const rootNode: SchemaTreeNode = {\n        kind: 'root',\n        id: 'sql-schema',\n        label: rootLabel,\n        ...(rootChildren.length > 0 ? { children: rootChildren } : {}),\n      };\n\n      return {\n        root: rootNode,\n      };\n    },\n\n    async emitContract({ contractIR }): Promise<EmitContractResult> {\n      // Strip mappings if present (mappings are runtime-only)\n      const contractWithoutMappings = stripMappings(contractIR);\n\n      // Validate and normalize the contract\n      const validatedIR = this.validateContractIR(contractWithoutMappings);\n\n      const result = await emit(\n        validatedIR,\n        {\n          outputDir: '',\n          operationRegistry,\n          codecTypeImports,\n          operationTypeImports,\n          extensionIds,\n        },\n        sqlTargetFamilyHook,\n      );\n\n      return {\n        contractJson: result.contractJson,\n        contractDts: result.contractDts,\n        coreHash: result.coreHash,\n        profileHash: result.profileHash,\n      };\n    },\n  };\n}\n"],"mappings":";;;;;;;;;AAQA,SAAS,+BAA+B;AAOjC,SAAS,0BACd,aAKAA,2BACmB;AACnB,QAAM,WAAW,wBAAwB;AAEzC,aAAW,cAAc,aAAa;AACpC,UAAM,aAAa,WAAW,cAAc,CAAC;AAC7C,eAAW,qBAAqB,YAAgD;AAC9E,YAAM,YAAYA,0BAAyB,iBAAiB;AAC5D,eAAS,SAAS,SAAS;AAAA,IAC7B;AAAA,EACF;AAEA,SAAO;AACT;AAKO,SAAS,wBACd,aAKgC;AAChC,QAAM,UAA6B,CAAC;AAEpC,aAAW,cAAc,aAAa;AACpC,UAAM,QAAQ,WAAW;AACzB,UAAM,aAAa,OAAO;AAC1B,QAAI,YAAY,QAAQ;AACtB,cAAQ,KAAK,WAAW,MAAM;AAAA,IAChC;AAAA,EACF;AAEA,SAAO;AACT;AAKO,SAAS,4BACd,aAKgC;AAChC,QAAM,UAA6B,CAAC;AAEpC,aAAW,cAAc,aAAa;AACpC,UAAM,QAAQ,WAAW;AACzB,UAAM,iBAAiB,OAAO;AAC9B,QAAI,gBAAgB,QAAQ;AAC1B,cAAQ,KAAK,eAAe,MAAM;AAAA,IACpC;AAAA,EACF;AAEA,SAAO;AACT;AAOO,SAAS,oBACd,SACA,QACA,YACuB;AACvB,QAAM,MAAgB,CAAC;AACvB,QAAM,OAAO,oBAAI,IAAY;AAG7B,MAAI,CAAC,KAAK,IAAI,QAAQ,EAAE,GAAG;AACzB,QAAI,KAAK,QAAQ,EAAE;AACnB,SAAK,IAAI,QAAQ,EAAE;AAAA,EACrB;AAGA,MAAI,CAAC,KAAK,IAAI,OAAO,EAAE,GAAG;AACxB,QAAI,KAAK,OAAO,EAAE;AAClB,SAAK,IAAI,OAAO,EAAE;AAAA,EACpB;AAGA,aAAW,OAAO,YAAY;AAC5B,QAAI,CAAC,KAAK,IAAI,IAAI,EAAE,GAAG;AACrB,UAAI,KAAK,IAAI,EAAE;AACf,WAAK,IAAI,IAAI,EAAE;AAAA,IACjB;AAAA,EACF;AAEA,SAAO;AACT;;;AChHA,SAAS,YAAY;AAgBrB,SAAS,2BAA2B;AACpC,SAAS,wBAAwB;AAEjC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAEP,SAAS,iBAAiB;AAenB,SAAS,yBAAyB,UAAoD;AAC3F,SAAO;AAAA,IACL,WAAW,SAAS;AAAA,IACpB,QAAQ,SAAS;AAAA,IACjB,MAAM,SAAS,KAAK,IAAI,CAAC,QAA2C;AAClE,UAAI,IAAI,SAAS,UAAU;AACzB,YAAI,CAAC,IAAI,MAAM;AACb,gBAAM,IAAI,MAAM,oCAAoC;AAAA,QACtD;AACA,eAAO,EAAE,MAAM,UAAmB,MAAM,IAAI,KAAK;AAAA,MACnD;AACA,UAAI,IAAI,SAAS,SAAS;AACxB,eAAO,EAAE,MAAM,QAAiB;AAAA,MAClC;AACA,UAAI,IAAI,SAAS,WAAW;AAC1B,eAAO,EAAE,MAAM,UAAmB;AAAA,MACpC;AACA,YAAM,IAAI,MAAM,qBAAsB,IAA0B,IAAI,EAAE;AAAA,IACxE,CAAC;AAAA,IACD,UAAU,MAAM;AACd,UAAI,SAAS,QAAQ,SAAS,UAAU;AACtC,eAAO,EAAE,MAAM,UAAmB,MAAM,SAAS,QAAQ,KAAK;AAAA,MAChE;AACA,UAAI,SAAS,QAAQ,SAAS,WAAW;AACvC,eAAO;AAAA,UACL,MAAM;AAAA,UACN,MAAM,SAAS,QAAQ;AAAA,QACzB;AAAA,MACF;AACA,YAAM,IAAI,MAAM,wBAAyB,SAAS,QAA8B,IAAI,EAAE;AAAA,IACxF,GAAG;AAAA,IACH,UAAU;AAAA,MACR,cAAc;AAAA,MACd,UAAU,SAAS,SAAS;AAAA,MAC5B,UAAU,SAAS,SAAS;AAAA,IAC9B;AAAA,IACA,GAAI,SAAS,eAAe,EAAE,cAAc,SAAS,aAAa,IAAI,CAAC;AAAA,EACzE;AACF;AAMA,SAAS,gCAAgC,UAAsC;AAC7E,QAAM,UAAU,oBAAI,IAAY;AAGhC,MACE,OAAO,aAAa,YACpB,aAAa,QACb,aAAa,YACb,OAAO,SAAS,YAAY,YAC5B,SAAS,YAAY,QACrB,YAAY,SAAS,SACrB;AACA,UAAM,UAAU,SAAS;AACzB,QAAI,QAAQ,UAAU,OAAO,QAAQ,WAAW,UAAU;AACxD,iBAAW,SAAS,OAAO,OAAO,QAAQ,MAAM,GAAG;AACjD,YACE,OAAO,UAAU,YACjB,UAAU,QACV,aAAa,SACb,OAAO,MAAM,YAAY,YACzB,MAAM,YAAY,MAClB;AACA,gBAAM,UAAU,MAAM;AACtB,qBAAW,UAAU,OAAO,OAAO,OAAO,GAAG;AAC3C,gBACE,UACA,OAAO,WAAW,YAClB,aAAa,UACb,OAAO,OAAO,YAAY,UAC1B;AACA,sBAAQ,IAAI,OAAO,OAAO;AAAA,YAC5B;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,SAAO,MAAM,KAAK,OAAO,EAAE,KAAK;AAClC;AAKA,SAAS,mBAAmB,SAcH;AACvB,QAAM,WAAuD;AAAA,IAC3D,UAAU,QAAQ;AAAA,EACpB;AACA,MAAI,QAAQ,qBAAqB;AAC/B,aAAS,cAAc,QAAQ;AAAA,EACjC;AAEA,QAAM,SAAgD;AAAA,IACpD,UAAU,QAAQ;AAAA,EACpB;AACA,MAAI,QAAQ,gBAAgB;AAC1B,WAAO,SAAS,QAAQ;AAAA,EAC1B;AAEA,QAAM,OAAsD;AAAA,IAC1D,cAAc,QAAQ;AAAA,EACxB;AACA,MAAI,QAAQ,YAAY;AACtB,SAAK,aAAa,QAAQ;AAAA,EAC5B;AAEA,QAAM,SAA+B;AAAA,IACnC,IAAI,QAAQ;AAAA,IACZ,SAAS,QAAQ;AAAA,IACjB;AAAA,IACA;AAAA,IACA;AAAA,IACA,SAAS;AAAA,MACP,OAAO,QAAQ;AAAA,IACjB;AAAA,EACF;AAEA,MAAI,QAAQ,MAAM;AAChB,IAAC,OAA6B,OAAO,QAAQ;AAAA,EAC/C;AAEA,MAAI,QAAQ,QAAQ;AAClB,IAAC,OAAkE,SAAS;AAAA,MAC1E,UAAU,QAAQ,OAAO;AAAA,MACzB,aAAa,QAAQ,OAAO;AAAA,IAC9B;AAAA,EACF;AAEA,MAAI,QAAQ,eAAe;AACzB,IAAC,OAAiD,gBAAgB,QAAQ;AAAA,EAC5E;AAEA,MAAI,QAAQ,sBAAsB;AAChC,IAAC,OAA8C,uBAC7C,QAAQ;AAAA,EACZ;AAEA,SAAO;AACT;AAuIA,SAAS,oBACP,OACuC;AACvC,SACE,OAAO,UAAU,YACjB,UAAU,QACV,gBAAgB,SAChB,OAAQ,MAAkC,eAAe;AAE7D;AASA,SAAS,6BAA6B,SAIV;AAC1B,QAAM,EAAE,QAAQ,SAAS,gBAAgB,WAAW,IAAI;AACxD,QAAM,WAAW,oBAAI,IAA6B;AAGlD,QAAM,WAAW,QAAQ;AAGzB,QAAM,cAAc,CAAC,QAAQ,SAAS,GAAG,UAAU;AAGnD,aAAW,cAAc,aAAa;AACpC,UAAM,QAAQ,WAAW;AACzB,UAAM,eAAe,OAAO;AAE5B,QAAI,CAAC,cAAc;AACjB;AAAA,IACF;AAGA,eAAW,eAAe,cAAc;AACtC,UAAI,YAAY,aAAa,SAAS,YAAY,aAAa,UAAU;AAGvE,iBAAS,IAAI,YAAY,QAAQ;AAAA,UAC/B,QAAQ,YAAY;AAAA,UACpB,UAAU;AAAA,UACV,UAAU,YAAY;AAAA,UACtB,GAAI,YAAY,eAAe,SAAY,EAAE,YAAY,YAAY,WAAW,IAAI,CAAC;AAAA,QACvF,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAKO,SAAS,wBACd,SACmB;AACnB,QAAM,EAAE,QAAQ,SAAS,gBAAgB,aAAa,CAAC,EAAE,IAAI;AAI7D,QAAM,cAAc,CAAC,QAAQ,SAAS,GAAG,UAAU;AAGnD,QAAM,oBAAoB,0BAA0B,aAAa,wBAAwB;AACzF,QAAM,mBAAmB,wBAAwB,WAAW;AAC5D,QAAM,uBAAuB,4BAA4B,WAAW;AACpE,QAAM,eAAe,oBAAoB,SAAS,QAAQ,UAAU;AAGpE,QAAM,uBAAuB,6BAA6B;AAAA,IACxD;AAAA,IACA;AAAA,IACA,gBAAgB;AAAA,EAClB,CAAC;AAKD,WAAS,cAAc,UAA4B;AAEjD,QAAI,OAAO,aAAa,YAAY,aAAa,QAAQ,cAAc,UAAU;AAC/E,YAAM,EAAE,UAAU,WAAW,GAAG,WAAW,IAAI;AAI/C,aAAO;AAAA,IACT;AACA,WAAO;AAAA,EACT;AAEA,SAAO;AAAA,IACL,UAAU;AAAA,IACV;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IAEA,mBAAmB,cAAmC;AAEpD,YAAM,YAAY,iBAA0C,YAAY;AAGxE,YAAM,EAAE,UAAU,WAAW,GAAG,WAAW,IAAI;AAC/C,aAAO;AAAA,IACT;AAAA,IAEA,MAAM,OAAO,eAMqB;AAChC,YAAM,EAAE,QAAQ,YAAY,kBAAkB,cAAc,WAAW,IAAI;AAC3E,YAAM,YAAY,KAAK,IAAI;AAG3B,UACE,OAAO,eAAe,YACtB,eAAe,QACf,EAAE,cAAc,eAChB,EAAE,YAAY,eACd,OAAO,WAAW,aAAa,YAC/B,OAAO,WAAW,WAAW,UAC7B;AACA,cAAM,IAAI,MAAM,yDAAyD;AAAA,MAC3E;AAGA,YAAM,mBAAmB,WAAW;AACpC,YAAM,sBACJ,iBAAiB,cAAc,OAAO,WAAW,gBAAgB,WAC7D,WAAW,cACX;AACN,YAAM,iBAAiB,WAAW;AAGlC,YAAM,SAAS,MAAM,WAAW,MAAM;AAGtC,UAAI;AACJ,UAAI,uBAAuB;AAC3B,YAAM,mBAAmB,6BAA4C;AAAA,QACnE;AAAA,QACA;AAAA,QACA,GAAG;AAAA,MACL,CAAC;AACD,UAAI,iBAAiB,WAAW,GAAG;AAGjC,+BAAuB;AAAA,MACzB,OAAO;AACL,cAAM,eAAe,IAAI,IAAI,gBAAgB;AAC7C,cAAM,cAAc,gCAAgC,UAAU;AAC9D,cAAM,UAAU,YAAY,OAAO,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;AAChE,YAAI,QAAQ,SAAS,GAAG;AACtB,0BAAgB;AAAA,QAClB;AAAA,MACF;AAGA,UAAI,CAAC,QAAQ;AACX,cAAMC,aAAY,KAAK,IAAI,IAAI;AAC/B,eAAO,mBAAmB;AAAA,UACxB,IAAI;AAAA,UACJ,MAAM;AAAA,UACN,SAAS;AAAA,UACT;AAAA,UACA;AAAA,UACA;AAAA,UACA,WAAAA;AAAA,UACA,GAAI,sBAAsB,EAAE,oBAAoB,IAAI,CAAC;AAAA,UACrD,GAAI,gBAAgB,EAAE,cAAc,IAAI,CAAC;AAAA,UACzC,GAAI,uBAAuB,EAAE,qBAAqB,IAAI,CAAC;AAAA,UACvD,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,QACrC,CAAC;AAAA,MACH;AAGA,UAAI,mBAAmB,kBAAkB;AACvC,cAAMA,aAAY,KAAK,IAAI,IAAI;AAC/B,eAAO,mBAAmB;AAAA,UACxB,IAAI;AAAA,UACJ,MAAM;AAAA,UACN,SAAS;AAAA,UACT;AAAA,UACA;AAAA,UACA;AAAA,UACA,gBAAgB;AAAA,UAChB;AAAA,UACA,WAAAA;AAAA,UACA,GAAI,sBAAsB,EAAE,oBAAoB,IAAI,CAAC;AAAA,UACrD,GAAI,gBAAgB,EAAE,cAAc,IAAI,CAAC;AAAA,UACzC,GAAI,uBAAuB,EAAE,qBAAqB,IAAI,CAAC;AAAA,UACvD,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,QACrC,CAAC;AAAA,MACH;AAGA,UAAI,OAAO,aAAa,kBAAkB;AACxC,cAAMA,aAAY,KAAK,IAAI,IAAI;AAC/B,eAAO,mBAAmB;AAAA,UACxB,IAAI;AAAA,UACJ,MAAM;AAAA,UACN,SAAS;AAAA,UACT;AAAA,UACA;AAAA,UACA;AAAA,UACA;AAAA,UACA,WAAAA;AAAA,UACA,GAAI,sBAAsB,EAAE,oBAAoB,IAAI,CAAC;AAAA,UACrD,GAAI,gBAAgB,EAAE,cAAc,IAAI,CAAC;AAAA,UACzC,GAAI,uBAAuB,EAAE,qBAAqB,IAAI,CAAC;AAAA,UACvD,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,QACrC,CAAC;AAAA,MACH;AAGA,UAAI,uBAAuB,OAAO,gBAAgB,qBAAqB;AACrE,cAAMA,aAAY,KAAK,IAAI,IAAI;AAC/B,eAAO,mBAAmB;AAAA,UACxB,IAAI;AAAA,UACJ,MAAM;AAAA,UACN,SAAS;AAAA,UACT;AAAA,UACA;AAAA,UACA;AAAA,UACA;AAAA,UACA;AAAA,UACA,WAAAA;AAAA,UACA,GAAI,gBAAgB,EAAE,cAAc,IAAI,CAAC;AAAA,UACzC,GAAI,uBAAuB,EAAE,qBAAqB,IAAI,CAAC;AAAA,UACvD,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,QACrC,CAAC;AAAA,MACH;AAGA,YAAM,YAAY,KAAK,IAAI,IAAI;AAC/B,aAAO,mBAAmB;AAAA,QACxB,IAAI;AAAA,QACJ,SAAS;AAAA,QACT;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,QACA,GAAI,sBAAsB,EAAE,oBAAoB,IAAI,CAAC;AAAA,QACrD,GAAI,gBAAgB,EAAE,cAAc,IAAI,CAAC;AAAA,QACzC,GAAI,uBAAuB,EAAE,qBAAqB,IAAI,CAAC;AAAA,QACvD,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,MACrC,CAAC;AAAA,IACH;AAAA,IAEA,MAAM,aAAaC,UAAmE;AACpF,YAAM,EAAE,QAAQ,YAAY,QAAQ,SAAS,oBAAoB,IAAIA;AAGrE,YAAM,WAAW,iBAA0C,UAAU;AAGrE,YAAM,iBAAiB,QAAQ,OAAO;AACtC,UAAI,CAAC,oBAAoB,cAAc,GAAG;AACxC,cAAM,IAAI,MAAM,2DAA2D;AAAA,MAC7E;AACA,YAAM,WAAW,MAAM,eAAe,WAAW,QAAQ,UAAU;AAGnE,aAAO,gBAAgB;AAAA,QACrB;AAAA,QACA,QAAQ;AAAA,QACR;AAAA,QACA,GAAG,UAAU,WAAW,OAAO;AAAA,QAC/B;AAAA,QACA;AAAA,MACF,CAAC;AAAA,IACH;AAAA,IACA,MAAM,KAAKA,UAKqB;AAC9B,YAAM,EAAE,QAAQ,YAAY,cAAc,WAAW,IAAIA;AACzD,YAAM,YAAY,KAAK,IAAI;AAG3B,YAAM,WAAW,iBAA0C,UAAU;AAGrE,YAAM,mBAAmB,SAAS;AAClC,YAAM,sBACJ,iBAAiB,YAAY,OAAO,SAAS,gBAAgB,WACzD,SAAS,cACT;AACN,YAAM,iBAAiB,SAAS;AAGhC,YAAM,OAAO,MAAM,sBAAsB,KAAK,sBAAsB,MAAM;AAC1E,YAAM,OAAO,MAAM,qBAAqB,KAAK,qBAAqB,MAAM;AAGxE,YAAM,iBAAiB,MAAM,WAAW,MAAM;AAG9C,UAAI,gBAAgB;AACpB,UAAI,gBAAgB;AACpB,UAAI;AAEJ,UAAI,CAAC,gBAAgB;AAEnB,cAAM,QAAQ,oBAAoB;AAAA,UAChC,UAAU;AAAA,UACV,aAAa;AAAA,UACb,cAAc;AAAA,UACd,kBAAkB;AAAA,QACpB,CAAC;AACD,cAAM,OAAO,MAAM,MAAM,OAAO,KAAK,MAAM,OAAO,MAAM;AACxD,wBAAgB;AAAA,MAClB,OAAO;AAEL,cAAM,mBAAmB,eAAe;AACxC,cAAM,sBAAsB,eAAe;AAG3C,cAAM,kBAAkB,qBAAqB;AAC7C,cAAM,qBAAqB,wBAAwB;AAEnD,YAAI,CAAC,mBAAmB,CAAC,oBAAoB;AAE3C,2BAAiB;AAAA,YACf,UAAU;AAAA,YACV,aAAa;AAAA,UACf;AACA,gBAAM,QAAQ,oBAAoB;AAAA,YAChC,UAAU;AAAA,YACV,aAAa;AAAA,YACb,cAAc;AAAA,YACd,kBAAkB,eAAe,oBAAoB;AAAA,UACvD,CAAC;AACD,gBAAM,OAAO,MAAM,MAAM,OAAO,KAAK,MAAM,OAAO,MAAM;AACxD,0BAAgB;AAAA,QAClB;AAAA,MAEF;AAGA,UAAI;AACJ,UAAI,eAAe;AACjB,kBAAU;AAAA,MACZ,WAAW,eAAe;AACxB,kBAAU,wCAAwC,gBAAgB,YAAY,SAAS;AAAA,MACzF,OAAO;AACL,kBAAU;AAAA,MACZ;AAEA,YAAM,YAAY,KAAK,IAAI,IAAI;AAE/B,aAAO;AAAA,QACL,IAAI;AAAA,QACJ;AAAA,QACA,UAAU;AAAA,UACR,UAAU;AAAA,UACV,aAAa;AAAA,QACf;AAAA,QACA,QAAQ;AAAA,UACN,UAAU;AAAA,UACV,QAAQ;AAAA,QACV;AAAA,QACA,QAAQ;AAAA,UACN,SAAS;AAAA,UACT,SAAS;AAAA,UACT,GAAI,iBAAiB,EAAE,UAAU,eAAe,IAAI,CAAC;AAAA,QACvD;AAAA,QACA,MAAM;AAAA,UACJ;AAAA,UACA,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,QACrC;AAAA,QACA,SAAS;AAAA,UACP,OAAO;AAAA,QACT;AAAA,MACF;AAAA,IACF;AAAA,IACA,MAAM,WAAWA,UAEwB;AACvC,aAAO,WAAWA,SAAQ,MAAM;AAAA,IAClC;AAAA,IACA,MAAM,WAAWA,UAGQ;AACvB,YAAM,EAAE,QAAQ,WAAW,IAAIA;AAE/B,YAAM,iBAAiB,QAAQ,OAAO;AACtC,UAAI,CAAC,oBAAoB,cAAc,GAAG;AACxC,cAAM,IAAI,MAAM,2DAA2D;AAAA,MAC7E;AACA,aAAO,eAAe,WAAW,QAAQ,UAAU;AAAA,IACrD;AAAA,IAEA,aAAa,QAAqC;AAChD,YAAM,YAAY;AAGlB,YAAM,aAAwC,OAAO,QAAQ,OAAO,MAAM,EAAE;AAAA,QAC1E,CAAC,CAAC,WAAW,KAAK,MAA4B;AAC5C,gBAAM,WAA6B,CAAC;AAGpC,gBAAM,cAAgC,CAAC;AACvC,qBAAW,CAAC,YAAY,MAAM,KAAK,OAAO,QAAQ,MAAM,OAAO,GAAG;AAChE,kBAAM,eAAe,OAAO,WAAW,eAAe;AAEtD,kBAAM,cAAc,OAAO;AAC3B,kBAAM,QAAQ,GAAG,UAAU,KAAK,WAAW,IAAI,YAAY;AAC3D,wBAAY,KAAK;AAAA,cACf,MAAM;AAAA,cACN,IAAI,UAAU,SAAS,IAAI,UAAU;AAAA,cACrC;AAAA,cACA,MAAM;AAAA,gBACJ,YAAY,OAAO;AAAA,gBACnB,UAAU,OAAO;AAAA,cACnB;AAAA,YACF,CAAC;AAAA,UACH;AAGA,cAAI,YAAY,SAAS,GAAG;AAC1B,qBAAS,KAAK;AAAA,cACZ,MAAM;AAAA,cACN,IAAI,WAAW,SAAS;AAAA,cACxB,OAAO;AAAA,cACP,UAAU;AAAA,YACZ,CAAC;AAAA,UACH;AAGA,cAAI,MAAM,YAAY;AACpB,kBAAM,YAAY,MAAM,WAAW,QAAQ,KAAK,IAAI;AACpD,qBAAS,KAAK;AAAA,cACZ,MAAM;AAAA,cACN,IAAI,eAAe,SAAS;AAAA,cAC5B,OAAO,gBAAgB,SAAS;AAAA,cAChC,MAAM;AAAA,gBACJ,SAAS,MAAM,WAAW;AAAA,gBAC1B,GAAI,MAAM,WAAW,OAAO,EAAE,MAAM,MAAM,WAAW,KAAK,IAAI,CAAC;AAAA,cACjE;AAAA,YACF,CAAC;AAAA,UACH;AAGA,qBAAW,UAAU,MAAM,SAAS;AAClC,kBAAM,OAAO,OAAO,QAAQ,GAAG,SAAS,IAAI,OAAO,QAAQ,KAAK,GAAG,CAAC;AACpE,kBAAM,QAAQ,UAAU,IAAI;AAC5B,qBAAS,KAAK;AAAA,cACZ,MAAM;AAAA,cACN,IAAI,UAAU,SAAS,IAAI,IAAI;AAAA,cAC/B;AAAA,cACA,MAAM;AAAA,gBACJ,SAAS,OAAO;AAAA,gBAChB,QAAQ;AAAA,cACV;AAAA,YACF,CAAC;AAAA,UACH;AAGA,qBAAW,SAAS,MAAM,SAAS;AACjC,kBAAM,OAAO,MAAM,QAAQ,GAAG,SAAS,IAAI,MAAM,QAAQ,KAAK,GAAG,CAAC;AAClE,kBAAM,QAAQ,MAAM,SAAS,gBAAgB,IAAI,KAAK,SAAS,IAAI;AACnE,qBAAS,KAAK;AAAA,cACZ,MAAM;AAAA,cACN,IAAI,SAAS,SAAS,IAAI,IAAI;AAAA,cAC9B;AAAA,cACA,MAAM;AAAA,gBACJ,SAAS,MAAM;AAAA,gBACf,QAAQ,MAAM;AAAA,cAChB;AAAA,YACF,CAAC;AAAA,UACH;AAGA,gBAAM,YAAqC,CAAC;AAC5C,cAAI,MAAM,YAAY;AACpB,sBAAU,YAAY,IAAI,MAAM,WAAW;AAC3C,gBAAI,MAAM,WAAW,MAAM;AACzB,wBAAU,gBAAgB,IAAI,MAAM,WAAW;AAAA,YACjD;AAAA,UACF;AACA,cAAI,MAAM,YAAY,SAAS,GAAG;AAChC,sBAAU,aAAa,IAAI,MAAM,YAAY,IAAI,CAAC,QAAQ;AAAA,cACxD,SAAS,GAAG;AAAA,cACZ,iBAAiB,GAAG;AAAA,cACpB,mBAAmB,GAAG;AAAA,cACtB,GAAI,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK,IAAI,CAAC;AAAA,YACrC,EAAE;AAAA,UACJ;AAEA,gBAAM,OAAuB;AAAA,YAC3B,MAAM;AAAA,YACN,IAAI,SAAS,SAAS;AAAA,YACtB,OAAO,SAAS,SAAS;AAAA,YACzB,GAAI,OAAO,KAAK,SAAS,EAAE,SAAS,IAAI,EAAE,MAAM,UAAU,IAAI,CAAC;AAAA,YAC/D,GAAI,SAAS,SAAS,IAAI,EAAE,SAAgD,IAAI,CAAC;AAAA,UACnF;AACA,iBAAO;AAAA,QACT;AAAA,MACF;AAGA,YAAM,iBAA4C,OAAO,WAAW,IAAI,CAAC,aAAa;AAAA,QACpF,MAAM;AAAA,QACN,IAAI,aAAa,OAAO;AAAA,QACxB,OAAO,GAAG,OAAO;AAAA,MACnB,EAAE;AAGF,YAAM,eAAe,CAAC,GAAG,YAAY,GAAG,cAAc;AAEtD,YAAM,WAA2B;AAAA,QAC/B,MAAM;AAAA,QACN,IAAI;AAAA,QACJ,OAAO;AAAA,QACP,GAAI,aAAa,SAAS,IAAI,EAAE,UAAU,aAAa,IAAI,CAAC;AAAA,MAC9D;AAEA,aAAO;AAAA,QACL,MAAM;AAAA,MACR;AAAA,IACF;AAAA,IAEA,MAAM,aAAa,EAAE,WAAW,GAAgC;AAE9D,YAAM,0BAA0B,cAAc,UAAU;AAGxD,YAAM,cAAc,KAAK,mBAAmB,uBAAuB;AAEnE,YAAM,SAAS,MAAM;AAAA,QACnB;AAAA,QACA;AAAA,UACE,WAAW;AAAA,UACX;AAAA,UACA;AAAA,UACA;AAAA,UACA;AAAA,QACF;AAAA,QACA;AAAA,MACF;AAEA,aAAO;AAAA,QACL,cAAc,OAAO;AAAA,QACrB,aAAa,OAAO;AAAA,QACpB,UAAU,OAAO;AAAA,QACjB,aAAa,OAAO;AAAA,MACtB;AAAA,IACF;AAAA,EACF;AACF;","names":["convertOperationManifest","totalTime","options"]}