@prisma-next/family-sql 0.1.0-dev.2 → 0.1.0-dev.21

package/dist/exports/chunk-54XYY6SU.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/core/schema-verify/verify-helpers.ts","../../src/core/schema-verify/verify-sql-schema.ts"],"sourcesContent":["/**\n * Pure verification helper functions for SQL schema verification.\n * These functions verify schema IR against contract requirements.\n */\n\nimport type { SchemaIssue, SchemaVerificationNode } from '@prisma-next/core-control-plane/types';\nimport type {\n  ForeignKey,\n  Index,\n  PrimaryKey,\n  UniqueConstraint,\n} from '@prisma-next/sql-contract/types';\nimport type {\n  SqlForeignKeyIR,\n  SqlIndexIR,\n  SqlSchemaIR,\n  SqlUniqueIR,\n} from '@prisma-next/sql-schema-ir/types';\nimport type { ComponentDatabaseDependency } from '../migrations/types';\n\n/**\n * Compares two arrays of strings for equality (order-sensitive).\n */\nexport function arraysEqual(a: readonly string[], b: readonly string[]): boolean {\n  if (a.length !== b.length) {\n    return false;\n  }\n  for (let i = 0; i < a.length; i++) {\n    if (a[i] !== b[i]) {\n      return false;\n    }\n  }\n  return true;\n}\n\n/**\n * 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 extensions 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  const contractExtensions = contract.extensions ?? {};\n  for (const extensionNamespace of Object.keys(contractExtensions)) {\n    const hasExtension = options.frameworkComponents.some(\n      (component) => component.kind === 'extension' && component.id === extensionNamespace,\n    );\n    if (!hasExtension) {\n      throw new Error(\n        `Extension '${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, ' +\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.extensions.\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;AAKA,QAAM,qBAAqB,SAAS,cAAc,CAAC;AACnD,aAAW,sBAAsB,OAAO,KAAK,kBAAkB,GAAG;AAChE,UAAM,eAAe,QAAQ,oBAAoB;AAAA,MAC/C,CAAC,cAAc,UAAU,SAAS,eAAe,UAAU,OAAO;AAAA,IACpE;AACA,QAAI,CAAC,cAAc;AACjB,YAAM,IAAI;AAAA,QACR,cAAc,kBAAkB;AAAA,MAGlC;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/exports/{chunk-3HYKCN35.js → chunk-C3GKWCKA.js}

@@ -65,15 +65,22 @@ function readMarkerSql() {
 }
 async function readMarker(driver) {
   const markerStatement = readMarkerSql();
-  const queryResult = await driver.query(markerStatement.sql, markerStatement.params);
-  if (queryResult.rows.length === 0) {
-    return null;
-  }
-  const markerRow = queryResult.rows[0];
-  if (!markerRow) {
-    throw new Error("Database query returned unexpected result structure");
+  try {
+    const queryResult = await driver.query(markerStatement.sql, markerStatement.params);
+    if (queryResult.rows.length === 0) {
+      return null;
+    }
+    const markerRow = queryResult.rows[0];
+    if (!markerRow) {
+      throw new Error("Database query returned unexpected result structure");
+    }
+    return parseContractMarkerRow(markerRow);
+  } catch (error) {
+    if (error instanceof Error && (error.message.includes("does not exist") || error.code === "42P01")) {
+      return null;
+    }
+    throw error;
   }
-  return parseContractMarkerRow(markerRow);
 }
 function collectSupportedCodecTypeIds(descriptors) {
   void descriptors;
@@ -86,4 +93,4 @@ export {
   readMarker,
   collectSupportedCodecTypeIds
 };
-//# sourceMappingURL=chunk-3HYKCN35.js.map
+//# sourceMappingURL=chunk-C3GKWCKA.js.map

package/dist/exports/chunk-C3GKWCKA.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/core/verify.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlTargetDescriptor,\n} from '@prisma-next/core-control-plane/types';\nimport { type } from 'arktype';\n\nconst MetaSchema = type({ '[string]': 'unknown' });\n\nfunction parseMeta(meta: unknown): Record<string, unknown> {\n  if (meta === null || meta === undefined) {\n    return {};\n  }\n\n  let parsed: unknown;\n  if (typeof meta === 'string') {\n    try {\n      parsed = JSON.parse(meta);\n    } catch {\n      return {};\n    }\n  } else {\n    parsed = meta;\n  }\n\n  const result = MetaSchema(parsed);\n  if (result instanceof type.errors) {\n    return {};\n  }\n\n  return result as Record<string, unknown>;\n}\n\nconst ContractMarkerRowSchema = type({\n  core_hash: 'string',\n  profile_hash: 'string',\n  'contract_json?': 'unknown | null',\n  'canonical_version?': 'number | null',\n  'updated_at?': 'Date | string',\n  'app_tag?': 'string | null',\n  'meta?': 'unknown | null',\n});\n\n/**\n * Parses a contract marker row from database query result.\n * This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).\n */\nexport function parseContractMarkerRow(row: unknown): ContractMarkerRecord {\n  const result = ContractMarkerRowSchema(row);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Invalid contract marker row: ${messages}`);\n  }\n\n  const validatedRow = result as {\n    core_hash: string;\n    profile_hash: string;\n    contract_json?: unknown | null;\n    canonical_version?: number | null;\n    updated_at?: Date | string;\n    app_tag?: string | null;\n    meta?: unknown | null;\n  };\n\n  const updatedAt = validatedRow.updated_at\n    ? validatedRow.updated_at instanceof Date\n      ? validatedRow.updated_at\n      : new Date(validatedRow.updated_at)\n    : new Date();\n\n  return {\n    coreHash: validatedRow.core_hash,\n    profileHash: validatedRow.profile_hash,\n    contractJson: validatedRow.contract_json ?? null,\n    canonicalVersion: validatedRow.canonical_version ?? null,\n    updatedAt,\n    appTag: validatedRow.app_tag ?? null,\n    meta: parseMeta(validatedRow.meta),\n  };\n}\n\n/**\n * Returns the SQL statement to read the contract marker.\n * This is a migration-plane helper (no runtime imports).\n * @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.\n */\nexport function readMarkerSql(): { readonly sql: string; readonly params: readonly unknown[] } {\n  return {\n    sql: `select\n      core_hash,\n      profile_hash,\n      contract_json,\n      canonical_version,\n      updated_at,\n      app_tag,\n      meta\n    from prisma_contract.marker\n    where id = $1`,\n    params: [1],\n  };\n}\n\n/**\n * Reads the contract marker from the database using the provided driver.\n * Returns the parsed marker record or null if no marker is found.\n * This abstracts SQL-specific details from the Control Plane.\n *\n * @param driver - ControlDriverInstance instance for executing queries\n * @returns Promise resolving to ContractMarkerRecord or null if marker not found\n */\nexport async function readMarker(\n  driver: ControlDriverInstance<'sql', string>,\n): Promise<ContractMarkerRecord | null> {\n  const markerStatement = readMarkerSql();\n\n  try {\n    const queryResult = await driver.query<{\n      core_hash: string;\n      profile_hash: string;\n      contract_json: unknown | null;\n      canonical_version: number | null;\n      updated_at: Date | string;\n      app_tag: string | null;\n      meta: unknown | null;\n    }>(markerStatement.sql, markerStatement.params);\n\n    if (queryResult.rows.length === 0) {\n      return null;\n    }\n\n    const markerRow = queryResult.rows[0];\n    if (!markerRow) {\n      // If rows array has length > 0 but first element is undefined, this is an unexpected result structure\n      throw new Error('Database query returned unexpected result structure');\n    }\n\n    return parseContractMarkerRow(markerRow);\n  } catch (error) {\n    // Handle case where marker table doesn't exist yet (empty database)\n    // PostgreSQL error code 42P01 = undefined_table\n    if (\n      error instanceof Error &&\n      (error.message.includes('does not exist') || (error as { code?: string }).code === '42P01')\n    ) {\n      return null;\n    }\n    throw error;\n  }\n}\n\n/**\n * Collects supported codec type IDs from adapter and extension manifests.\n * Returns a sorted, unique array of type IDs that are declared in the manifests.\n * This enables coverage checks by comparing contract column types against supported types.\n *\n * Note: This extracts type IDs from manifest type imports, not from runtime codec registries.\n * The manifests declare which codec types are available, but the actual type IDs\n * are defined in the codec-types TypeScript modules that are imported.\n *\n * For MVP, we return an empty array since extracting type IDs from TypeScript modules\n * would require runtime evaluation or static analysis. This can be enhanced later.\n */\nexport function collectSupportedCodecTypeIds<TFamilyId extends string, TTargetId extends string>(\n  descriptors: ReadonlyArray<\n    | ControlTargetDescriptor<TFamilyId, TTargetId>\n    | ControlAdapterDescriptor<TFamilyId, TTargetId>\n    | ControlExtensionDescriptor<TFamilyId, TTargetId>\n  >,\n): readonly string[] {\n  // For MVP, return empty array\n  // Future enhancement: Extract type IDs from codec-types modules via static analysis\n  // or require manifests to explicitly list supported type IDs\n  void descriptors;\n  return [];\n}\n"],"mappings":";AAOA,SAAS,YAAY;AAErB,IAAM,aAAa,KAAK,EAAE,YAAY,UAAU,CAAC;AAEjD,SAAS,UAAU,MAAwC;AACzD,MAAI,SAAS,QAAQ,SAAS,QAAW;AACvC,WAAO,CAAC;AAAA,EACV;AAEA,MAAI;AACJ,MAAI,OAAO,SAAS,UAAU;AAC5B,QAAI;AACF,eAAS,KAAK,MAAM,IAAI;AAAA,IAC1B,QAAQ;AACN,aAAO,CAAC;AAAA,IACV;AAAA,EACF,OAAO;AACL,aAAS;AAAA,EACX;AAEA,QAAM,SAAS,WAAW,MAAM;AAChC,MAAI,kBAAkB,KAAK,QAAQ;AACjC,WAAO,CAAC;AAAA,EACV;AAEA,SAAO;AACT;AAEA,IAAM,0BAA0B,KAAK;AAAA,EACnC,WAAW;AAAA,EACX,cAAc;AAAA,EACd,kBAAkB;AAAA,EAClB,sBAAsB;AAAA,EACtB,eAAe;AAAA,EACf,YAAY;AAAA,EACZ,SAAS;AACX,CAAC;AAMM,SAAS,uBAAuB,KAAoC;AACzE,QAAM,SAAS,wBAAwB,GAAG;AAC1C,MAAI,kBAAkB,KAAK,QAAQ;AACjC,UAAM,WAAW,OAAO,IAAI,CAAC,MAA2B,EAAE,OAAO,EAAE,KAAK,IAAI;AAC5E,UAAM,IAAI,MAAM,gCAAgC,QAAQ,EAAE;AAAA,EAC5D;AAEA,QAAM,eAAe;AAUrB,QAAM,YAAY,aAAa,aAC3B,aAAa,sBAAsB,OACjC,aAAa,aACb,IAAI,KAAK,aAAa,UAAU,IAClC,oBAAI,KAAK;AAEb,SAAO;AAAA,IACL,UAAU,aAAa;AAAA,IACvB,aAAa,aAAa;AAAA,IAC1B,cAAc,aAAa,iBAAiB;AAAA,IAC5C,kBAAkB,aAAa,qBAAqB;AAAA,IACpD;AAAA,IACA,QAAQ,aAAa,WAAW;AAAA,IAChC,MAAM,UAAU,aAAa,IAAI;AAAA,EACnC;AACF;AAOO,SAAS,gBAA+E;AAC7F,SAAO;AAAA,IACL,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,IAUL,QAAQ,CAAC,CAAC;AAAA,EACZ;AACF;AAUA,eAAsB,WACpB,QACsC;AACtC,QAAM,kBAAkB,cAAc;AAEtC,MAAI;AACF,UAAM,cAAc,MAAM,OAAO,MAQ9B,gBAAgB,KAAK,gBAAgB,MAAM;AAE9C,QAAI,YAAY,KAAK,WAAW,GAAG;AACjC,aAAO;AAAA,IACT;AAEA,UAAM,YAAY,YAAY,KAAK,CAAC;AACpC,QAAI,CAAC,WAAW;AAEd,YAAM,IAAI,MAAM,qDAAqD;AAAA,IACvE;AAEA,WAAO,uBAAuB,SAAS;AAAA,EACzC,SAAS,OAAO;AAGd,QACE,iBAAiB,UAChB,MAAM,QAAQ,SAAS,gBAAgB,KAAM,MAA4B,SAAS,UACnF;AACA,aAAO;AAAA,IACT;AACA,UAAM;AAAA,EACR;AACF;AAcO,SAAS,6BACd,aAKmB;AAInB,OAAK;AACL,SAAO,CAAC;AACV;","names":[]}