@prisma-next/family-sql 0.1.0-dev.16 → 0.1.0-dev.18

package/dist/exports/{chunk-3HYKCN35.js → chunk-2L5DCW2L.js}

@@ -86,4 +86,4 @@ export {
   readMarker,
   collectSupportedCodecTypeIds
 };
-//# sourceMappingURL=chunk-3HYKCN35.js.map
+//# sourceMappingURL=chunk-2L5DCW2L.js.map

package/dist/exports/chunk-2L5DCW2L.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  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}\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;AACtC,QAAM,cAAc,MAAM,OAAO,MAQ9B,gBAAgB,KAAK,gBAAgB,MAAM;AAE9C,MAAI,YAAY,KAAK,WAAW,GAAG;AACjC,WAAO;AAAA,EACT;AAEA,QAAM,YAAY,YAAY,KAAK,CAAC;AACpC,MAAI,CAAC,WAAW;AAEd,UAAM,IAAI,MAAM,qDAAqD;AAAA,EACvE;AAEA,SAAO,uBAAuB,SAAS;AACzC;AAcO,SAAS,6BACd,aAKmB;AAInB,OAAK;AACL,SAAO,CAAC;AACV;","names":[]}

package/dist/exports/{chunk-MHDZIQUL.js → chunk-ZAI6E4PG.js}

@@ -1,7 +1,7 @@
 import {
   collectSupportedCodecTypeIds,
   readMarker
-} from "./chunk-3HYKCN35.js";
+} from "./chunk-2L5DCW2L.js";
 import {
   verifySqlSchema
 } from "./chunk-I7QWTBWS.js";
@@ -288,10 +288,7 @@ function createSqlFamilyInstance(options) {
       const { driver, contractIR, strict, context } = options2;
       const contract = validateContract(contractIR);
       const controlAdapter = adapter.create();
-      const schemaIR = await controlAdapter.introspect(
-        driver,
-        contractIR
-      );
+      const schemaIR = await controlAdapter.introspect(driver, contractIR);
       return verifySqlSchema({
         contract,
         schema: schemaIR,
@@ -605,4 +602,4 @@ export {
   extractExtensionIdsFromPacks,
   createSqlFamilyInstance
 };
-//# sourceMappingURL=chunk-MHDZIQUL.js.map
+//# sourceMappingURL=chunk-ZAI6E4PG.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/core/assembly.ts","../../src/core/instance.ts"],"sourcesContent":["import type {\n  ExtensionPackManifest,\n  OperationManifest,\n} 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// Import private function from same package (test utility needs it)\nimport { convertOperationManifest } from './instance';\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.manifest.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 codecTypes = descriptor.manifest.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 operationTypes = descriptor.manifest.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\n/**\n * Extracts codec type imports from extension packs for contract.d.ts generation.\n * Pack-based version for use in tests.\n */\nexport function extractCodecTypeImportsFromPacks(\n  packs: ReadonlyArray<{ readonly manifest: ExtensionPackManifest }>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const pack of packs) {\n    const codecTypes = pack.manifest.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 extension packs for contract.d.ts generation.\n * Pack-based version for use in tests.\n */\nexport function extractOperationTypeImportsFromPacks(\n  packs: ReadonlyArray<{ readonly manifest: ExtensionPackManifest }>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const pack of packs) {\n    const operationTypes = pack.manifest.types?.operationTypes;\n    if (operationTypes?.import) {\n      imports.push(operationTypes.import);\n    }\n  }\n\n  return imports;\n}\n\n/**\n * Assembles an operation registry from extension packs.\n * Pack-based version for use in tests.\n */\nexport function assembleOperationRegistryFromPacks(\n  packs: ReadonlyArray<{ readonly manifest: ExtensionPackManifest }>,\n): OperationRegistry {\n  const registry = createOperationRegistry();\n\n  for (const pack of packs) {\n    const operations = pack.manifest.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 extension IDs from packs.\n * Pack-based version for use in tests.\n */\nexport function extractExtensionIdsFromPacks(\n  packs: ReadonlyArray<{ readonly manifest: ExtensionPackManifest }>,\n): ReadonlyArray<string> {\n  return packs.map((pack) => pack.manifest.id);\n}\n","import 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 type { SqlControlTargetDescriptor } from './migrations/types';\nimport { verifySqlSchema } from './schema-verify/verify-sql-schema';\nimport { collectSupportedCodecTypeIds, readMarker } from './verify';\n\n/**\n * Converts an OperationManifest (from ExtensionPackManifest) to a SqlOperationSignature.\n * This is SQL-family-specific conversion logic.\n * Used internally by instance creation and test utilities in the same package.\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\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<\n  TTargetId extends string = string,\n  TTargetDetails = Record<string, never>,\n> {\n  readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;\n  readonly adapter: ControlAdapterDescriptor<'sql', string, SqlControlAdapter>;\n  readonly extensions: readonly ControlExtensionDescriptor<'sql', string>[];\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 extensions: readonly ControlExtensionDescriptor<'sql', string>[];\n}): SqlTypeMetadataRegistry {\n  const { target, adapter, 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 manifest\n  for (const descriptor of descriptors) {\n    const manifest = descriptor.manifest;\n    const storageTypes = manifest.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<\n  TTargetId extends string = string,\n  TTargetDetails = Record<string, never>,\n>(options: CreateSqlFamilyInstanceOptions<TTargetId, TTargetDetails>): SqlFamilyInstance {\n  const { target, adapter, 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({ target, adapter, extensions });\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 } = 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      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      });\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 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      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":";;;;;;;;;AAWA,SAAS,+BAA+B;;;ACRxC,SAAS,YAAY;AAgBrB,SAAS,2BAA2B;AACpC,SAAS,wBAAwB;AAEjC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAEP,SAAS,iBAAiB;AAiBnB,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;AA4IA,SAAS,6BAA6B,SAIV;AAC1B,QAAM,EAAE,QAAQ,SAAS,WAAW,IAAI;AACxC,QAAM,WAAW,oBAAI,IAA6B;AAGlD,QAAM,WAAW,QAAQ;AAGzB,QAAM,cAAc,CAAC,QAAQ,SAAS,GAAG,UAAU;AAGnD,aAAW,cAAc,aAAa;AACpC,UAAM,WAAW,WAAW;AAC5B,UAAM,eAAe,SAAS,OAAO;AAErC,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,wBAGd,SAAuF;AACvF,QAAM,EAAE,QAAQ,SAAS,WAAW,IAAI;AAIxC,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,EAAE,QAAQ,SAAS,WAAW,CAAC;AAKzF,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,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,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,QAAQ,IAAIA;AAGhD,YAAM,WAAW,iBAA0C,UAAU;AAGrE,YAAM,iBAAiB,QAAQ,OAAO;AACtC,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,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,UAGQ;AACvB,YAAM,EAAE,QAAQ,WAAW,IAAIA;AAE/B,YAAM,iBAAiB,QAAQ,OAAO;AACtC,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;;;ADv1BO,SAAS,0BACd,aAKAC,2BACmB;AACnB,QAAM,WAAW,wBAAwB;AAEzC,aAAW,cAAc,aAAa;AACpC,UAAM,aAAa,WAAW,SAAS,cAAc,CAAC;AACtD,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,aAAa,WAAW,SAAS,OAAO;AAC9C,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,iBAAiB,WAAW,SAAS,OAAO;AAClD,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;AAMO,SAAS,iCACd,OACgC;AAChC,QAAM,UAA6B,CAAC;AAEpC,aAAW,QAAQ,OAAO;AACxB,UAAM,aAAa,KAAK,SAAS,OAAO;AACxC,QAAI,YAAY,QAAQ;AACtB,cAAQ,KAAK,WAAW,MAAM;AAAA,IAChC;AAAA,EACF;AAEA,SAAO;AACT;AAMO,SAAS,qCACd,OACgC;AAChC,QAAM,UAA6B,CAAC;AAEpC,aAAW,QAAQ,OAAO;AACxB,UAAM,iBAAiB,KAAK,SAAS,OAAO;AAC5C,QAAI,gBAAgB,QAAQ;AAC1B,cAAQ,KAAK,eAAe,MAAM;AAAA,IACpC;AAAA,EACF;AAEA,SAAO;AACT;AAMO,SAAS,mCACd,OACmB;AACnB,QAAM,WAAW,wBAAwB;AAEzC,aAAW,QAAQ,OAAO;AACxB,UAAM,aAAa,KAAK,SAAS,cAAc,CAAC;AAChD,eAAW,qBAAqB,YAAgD;AAC9E,YAAM,YAAY,yBAAyB,iBAAiB;AAC5D,eAAS,SAAS,SAAS;AAAA,IAC7B;AAAA,EACF;AAEA,SAAO;AACT;AAMO,SAAS,6BACd,OACuB;AACvB,SAAO,MAAM,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE;AAC7C;","names":["totalTime","options","convertOperationManifest"]}

package/dist/exports/control-adapter.d.ts

@@ -26,7 +26,7 @@ interface SqlControlAdapter<TTarget extends string = string> extends ControlAdap
      * @param schema - Schema name to introspect (defaults to 'public')
      * @returns Promise resolving to SqlSchemaIR representing the live database schema
      */
-    introspect(driver: ControlDriverInstance<TTarget>, contractIR?: unknown, schema?: string): Promise<SqlSchemaIR>;
+    introspect(driver: ControlDriverInstance<'sql', TTarget>, contractIR?: unknown, schema?: string): Promise<SqlSchemaIR>;
 }
 /**
  * SQL control adapter descriptor interface.

package/dist/exports/control.d.ts

@@ -1,6 +1,8 @@
 import { OperationRegistry } from '@prisma-next/operations';
 import { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';
-import { ControlTargetDescriptor, ControlDriverInstance, OperationContext, ControlFamilyInstance, VerifyDatabaseResult, VerifyDatabaseSchemaResult, SignDatabaseResult, EmitContractResult, ControlFamilyDescriptor, ControlAdapterDescriptor, ControlDriverDescriptor, ControlExtensionDescriptor } from '@prisma-next/core-control-plane/types';
+import { ControlTargetDescriptor, ControlTargetInstance, MigrationOperationPolicy, MigrationPlannerSuccessResult, MigrationPlan, MigrationPlanOperation, MigrationPlannerFailureResult, MigrationPlannerConflict, ControlDriverInstance, OperationContext, MigrationRunnerSuccessValue, MigrationRunnerFailure, ControlFamilyInstance, VerifyDatabaseResult, VerifyDatabaseSchemaResult, SignDatabaseResult, EmitContractResult, ControlFamilyDescriptor, ControlAdapterDescriptor, ControlDriverDescriptor, ControlExtensionDescriptor } from '@prisma-next/core-control-plane/types';
+export { MigrationOperationClass, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerResult, TargetMigrationsCapability } from '@prisma-next/core-control-plane/types';
+import { SqlControlAdapter } from './control-adapter.js';
 import { ContractIR as ContractIR$1 } from '@prisma-next/contract/ir';
 import { TypesImportSpec as TypesImportSpec$1 } from '@prisma-next/contract/types';
 import { CoreSchemaView } from '@prisma-next/core-control-plane/schema-view';
@@ -98,93 +100,137 @@ interface ValidationContext {
     readonly extensionIds?: ReadonlyArray<string>;
 }
 
+/**
+ * SQL-specific migration types.
+ *
+ * These types extend the canonical migration types from the framework control plane
+ * with SQL-specific fields for execution (precheck SQL, execute SQL, etc.).
+ */
+
 type AnyRecord = Readonly<Record<string, unknown>>;
-type MigrationOperationClass = 'additive' | 'widening' | 'destructive';
-interface MigrationOperationPolicy {
-    readonly allowedOperationClasses: readonly MigrationOperationClass[];
-}
-interface MigrationPlanOperationStep {
+/**
+ * A single step in a SQL migration operation (precheck, execute, or postcheck).
+ */
+interface SqlMigrationPlanOperationStep {
     readonly description: string;
     readonly sql: string;
     readonly meta?: AnyRecord;
 }
-interface MigrationPlanOperationTarget<TTargetDetails> {
+/**
+ * Target details for a SQL migration operation (table, column, index, etc.).
+ */
+interface SqlMigrationPlanOperationTarget<TTargetDetails> {
     readonly id: string;
     readonly details?: TTargetDetails;
 }
-interface MigrationPlanOperation<TTargetDetails = Record<string, never>> {
-    /** Unique identifier for this operation (e.g., "table.users.create"). */
-    readonly id: string;
-    /** Human-readable label for display in UI/CLI (e.g., "Create table users"). */
-    readonly label: string;
+/**
+ * A single SQL migration operation with SQL-specific fields.
+ * Extends the core MigrationPlanOperation with SQL execution details.
+ */
+interface SqlMigrationPlanOperation<TTargetDetails = Record<string, never>> extends MigrationPlanOperation {
     /** Optional detailed explanation of what this operation does and why. */
     readonly summary?: string;
-    readonly operationClass: MigrationOperationClass;
-    readonly target: MigrationPlanOperationTarget<TTargetDetails>;
-    readonly precheck: readonly MigrationPlanOperationStep[];
-    readonly execute: readonly MigrationPlanOperationStep[];
-    readonly postcheck: readonly MigrationPlanOperationStep[];
+    readonly target: SqlMigrationPlanOperationTarget<TTargetDetails>;
+    readonly precheck: readonly SqlMigrationPlanOperationStep[];
+    readonly execute: readonly SqlMigrationPlanOperationStep[];
+    readonly postcheck: readonly SqlMigrationPlanOperationStep[];
     readonly meta?: AnyRecord;
 }
-interface MigrationPlanContractInfo {
+/**
+ * Contract identity information for SQL migrations.
+ */
+interface SqlMigrationPlanContractInfo {
     readonly coreHash: string;
     readonly profileHash?: string;
 }
-interface MigrationPlan<TTargetDetails = Record<string, never>> {
-    readonly targetId: string;
+/**
+ * A SQL migration plan with SQL-specific fields.
+ * Extends the core MigrationPlan with origin tracking and metadata.
+ */
+interface SqlMigrationPlan<TTargetDetails = Record<string, never>> extends MigrationPlan {
     /**
      * Origin contract identity that the plan expects the database to currently be at.
      * If omitted, the runner treats the origin as "no marker present" (empty database),
      * and will only proceed if no marker exists (or if the marker already matches destination).
      */
-    readonly origin?: MigrationPlanContractInfo | null;
+    readonly origin?: SqlMigrationPlanContractInfo | null;
     /**
      * Destination contract identity that the plan intends to reach.
      */
-    readonly destination: MigrationPlanContractInfo;
-    readonly operations: readonly MigrationPlanOperation<TTargetDetails>[];
+    readonly destination: SqlMigrationPlanContractInfo;
+    readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
     readonly meta?: AnyRecord;
 }
-type PlannerConflictKind = 'typeMismatch' | 'nullabilityConflict' | 'indexIncompatible' | 'foreignKeyConflict' | 'missingButNonAdditive' | 'unsupportedExtension' | 'extensionMissing' | 'unsupportedOperation';
-interface PlannerConflictLocation {
+/**
+ * Specific conflict kinds for SQL migrations.
+ */
+type SqlPlannerConflictKind = 'typeMismatch' | 'nullabilityConflict' | 'indexIncompatible' | 'foreignKeyConflict' | 'missingButNonAdditive' | 'unsupportedExtension' | 'extensionMissing' | 'unsupportedOperation';
+/**
+ * Location information for SQL planner conflicts.
+ */
+interface SqlPlannerConflictLocation {
     readonly table?: string;
     readonly column?: string;
     readonly index?: string;
     readonly constraint?: string;
     readonly extension?: string;
 }
-interface PlannerConflict {
-    readonly kind: PlannerConflictKind;
-    readonly summary: string;
-    readonly why?: string;
-    readonly location?: PlannerConflictLocation;
+/**
+ * A SQL-specific planner conflict with additional location information.
+ * Extends the core MigrationPlannerConflict.
+ */
+interface SqlPlannerConflict extends MigrationPlannerConflict {
+    readonly kind: SqlPlannerConflictKind;
+    readonly location?: SqlPlannerConflictLocation;
     readonly meta?: AnyRecord;
 }
-interface PlannerSuccessResult<TTargetDetails> {
+/**
+ * Successful SQL planner result with the migration plan.
+ */
+interface SqlPlannerSuccessResult<TTargetDetails> extends Omit<MigrationPlannerSuccessResult, 'plan'> {
     readonly kind: 'success';
-    readonly plan: MigrationPlan<TTargetDetails>;
+    readonly plan: SqlMigrationPlan<TTargetDetails>;
 }
-interface PlannerFailureResult {
+/**
+ * Failed SQL planner result with the list of conflicts.
+ */
+interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'conflicts'> {
     readonly kind: 'failure';
-    readonly conflicts: readonly PlannerConflict[];
+    readonly conflicts: readonly SqlPlannerConflict[];
 }
-type PlannerResult<TTargetDetails = Record<string, never>> = PlannerSuccessResult<TTargetDetails> | PlannerFailureResult;
-interface MigrationPlannerPlanOptions {
+/**
+ * Union type for SQL planner results.
+ */
+type SqlPlannerResult<TTargetDetails = Record<string, never>> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
+/**
+ * Options for SQL migration planner.
+ */
+interface SqlMigrationPlannerPlanOptions {
     readonly contract: SqlContract<SqlStorage$1>;
     readonly schema: SqlSchemaIR;
     readonly policy: MigrationOperationPolicy;
     readonly schemaName?: string;
 }
-interface MigrationPlanner<TTargetDetails = Record<string, never>> {
-    plan(options: MigrationPlannerPlanOptions): PlannerResult<TTargetDetails>;
+/**
+ * SQL migration planner interface.
+ * Extends the core MigrationPlanner with SQL-specific types.
+ */
+interface SqlMigrationPlanner<TTargetDetails = Record<string, never>> {
+    plan(options: SqlMigrationPlannerPlanOptions): SqlPlannerResult<TTargetDetails>;
 }
-interface MigrationRunnerExecuteCallbacks<TTargetDetails = Record<string, never>> {
-    onOperationStart?(operation: MigrationPlanOperation<TTargetDetails>): void;
-    onOperationComplete?(operation: MigrationPlanOperation<TTargetDetails>): void;
+/**
+ * Callbacks for SQL migration runner execution.
+ */
+interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails = Record<string, never>> {
+    onOperationStart?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
+    onOperationComplete?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
 }
-interface MigrationRunnerExecuteOptions<TTargetDetails = Record<string, never>> {
-    readonly plan: MigrationPlan<TTargetDetails>;
-    readonly driver: ControlDriverInstance;
+/**
+ * Options for SQL migration runner execution.
+ */
+interface SqlMigrationRunnerExecuteOptions<TTargetDetails = Record<string, never>> {
+    readonly plan: SqlMigrationPlan<TTargetDetails>;
+    readonly driver: ControlDriverInstance<'sql', string>;
     /**
      * Destination contract IR.
      * Must correspond to `plan.destination` and is used for schema verification and marker/ledger writes.
@@ -197,47 +243,62 @@ interface MigrationRunnerExecuteOptions<TTargetDetails = Record<string, never>>
     readonly policy: MigrationOperationPolicy;
     readonly schemaName?: string;
     readonly strictVerification?: boolean;
-    readonly callbacks?: MigrationRunnerExecuteCallbacks<TTargetDetails>;
+    readonly callbacks?: SqlMigrationRunnerExecuteCallbacks<TTargetDetails>;
     readonly context?: OperationContext;
 }
 /**
- * Error codes for migration runner failures.
+ * Error codes for SQL migration runner failures.
  */
-type MigrationRunnerErrorCode = 'DESTINATION_CONTRACT_MISMATCH' | 'MARKER_ORIGIN_MISMATCH' | 'POLICY_VIOLATION' | 'PRECHECK_FAILED' | 'POSTCHECK_FAILED' | 'SCHEMA_VERIFY_FAILED' | 'EXECUTION_FAILED';
+type SqlMigrationRunnerErrorCode = 'DESTINATION_CONTRACT_MISMATCH' | 'MARKER_ORIGIN_MISMATCH' | 'POLICY_VIOLATION' | 'PRECHECK_FAILED' | 'POSTCHECK_FAILED' | 'SCHEMA_VERIFY_FAILED' | 'EXECUTION_FAILED';
 /**
- * Detailed information about a migration runner failure.
- * This is the failure payload type for `NotOk<MigrationRunnerFailure>`.
+ * Detailed information about a SQL migration runner failure.
+ * Extends the core MigrationRunnerFailure with SQL-specific error codes.
  */
-interface MigrationRunnerFailure {
-    readonly code: MigrationRunnerErrorCode;
-    readonly summary: string;
-    readonly why?: string;
+interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {
+    readonly code: SqlMigrationRunnerErrorCode;
     readonly meta?: AnyRecord;
 }
 /**
- * Success value for migration runner execution.
+ * Success value for SQL migration runner execution.
+ * Extends core type for type branding and potential SQL-specific extensions.
  */
-interface MigrationRunnerSuccessValue {
-    readonly operationsPlanned: number;
-    readonly operationsExecuted: number;
+interface SqlMigrationRunnerSuccessValue extends MigrationRunnerSuccessValue {
 }
 /**
- * Result union for migration runner execution.
- * Either success with operation counts, or failure with error details.
+ * Result type for SQL migration runner execution.
+ */
+type SqlMigrationRunnerResult = Result<SqlMigrationRunnerSuccessValue, SqlMigrationRunnerFailure>;
+/**
+ * SQL migration runner interface.
+ * Extends the core MigrationRunner with SQL-specific types.
  */
-type MigrationRunnerResult = Result<MigrationRunnerSuccessValue, MigrationRunnerFailure>;
-interface MigrationRunner<TTargetDetails = Record<string, never>> {
-    execute(options: MigrationRunnerExecuteOptions<TTargetDetails>): Promise<MigrationRunnerResult>;
+interface SqlMigrationRunner<TTargetDetails = Record<string, never>> {
+    execute(options: SqlMigrationRunnerExecuteOptions<TTargetDetails>): Promise<SqlMigrationRunnerResult>;
 }
-interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails = Record<string, never>> extends ControlTargetDescriptor<'sql', TTargetId> {
-    createPlanner(family: SqlControlFamilyInstance): MigrationPlanner<TTargetDetails>;
-    createRunner(family: SqlControlFamilyInstance): MigrationRunner<TTargetDetails>;
+/**
+ * SQL control target descriptor with migration support.
+ * Extends the core ControlTargetDescriptor with SQL-specific migration methods.
+ */
+interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails = Record<string, never>> extends ControlTargetDescriptor<'sql', TTargetId, ControlTargetInstance<'sql', TTargetId>, SqlControlFamilyInstance> {
+    /**
+     * Creates a SQL migration planner for this target.
+     * Direct method for SQL-specific usage.
+     */
+    createPlanner(family: SqlControlFamilyInstance): SqlMigrationPlanner<TTargetDetails>;
+    /**
+     * Creates a SQL migration runner for this target.
+     * Direct method for SQL-specific usage.
+     */
+    createRunner(family: SqlControlFamilyInstance): SqlMigrationRunner<TTargetDetails>;
 }
-interface CreateMigrationPlanOptions<TTargetDetails> {
+/**
+ * Options for creating a SQL migration plan.
+ */
+interface CreateSqlMigrationPlanOptions<TTargetDetails> {
     readonly targetId: string;
-    readonly origin?: MigrationPlanContractInfo | null;
-    readonly destination: MigrationPlanContractInfo;
-    readonly operations: readonly MigrationPlanOperation<TTargetDetails>[];
+    readonly origin?: SqlMigrationPlanContractInfo | null;
+    readonly destination: SqlMigrationPlanContractInfo;
+    readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
     readonly meta?: AnyRecord;
 }
 
@@ -270,7 +331,7 @@ interface SqlFamilyInstanceState {
  * Options for schema verification.
  */
 interface SchemaVerifyOptions {
-    readonly driver: ControlDriverInstance;
+    readonly driver: ControlDriverInstance<'sql', string>;
     readonly contractIR: unknown;
     readonly strict: boolean;
     readonly context?: OperationContext;
@@ -284,13 +345,13 @@ interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql'>, SqlFami
      * Validates a contract JSON and returns a validated ContractIR (without mappings).
      * Mappings are runtime-only and should not be part of ContractIR.
      */
-    validateContractIR(contractJson: unknown): unknown;
+    validateContractIR(contractJson: unknown): ContractIR$1;
     /**
      * Verifies the database marker against the contract.
      * Compares target, coreHash, and profileHash.
      */
     verify(options: {
-        readonly driver: ControlDriverInstance;
+        readonly driver: ControlDriverInstance<'sql', string>;
         readonly contractIR: unknown;
         readonly expectedTargetId: string;
         readonly contractPath: string;
@@ -307,7 +368,7 @@ interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql'>, SqlFami
      * This operation is idempotent - if the marker already matches, no changes are made.
      */
     sign(options: {
-        readonly driver: ControlDriverInstance;
+        readonly driver: ControlDriverInstance<'sql', string>;
         readonly contractIR: unknown;
         readonly contractPath: string;
         readonly configPath?: string;
@@ -329,7 +390,7 @@ interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql'>, SqlFami
      *   The IR represents the complete schema snapshot at the time of introspection.
      */
     introspect(options: {
-        readonly driver: ControlDriverInstance;
+        readonly driver: ControlDriverInstance<'sql', string>;
         readonly contractIR?: unknown;
     }): Promise<SqlSchemaIR>;
     /**
@@ -368,29 +429,29 @@ declare class SqlFamilyDescriptor implements ControlFamilyDescriptor<'sql', SqlC
     };
     create<TTargetId extends string, TTargetDetails = Record<string, never>>(options: {
         readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;
-        readonly adapter: ControlAdapterDescriptor<'sql', TTargetId>;
+        readonly adapter: ControlAdapterDescriptor<'sql', TTargetId, SqlControlAdapter<TTargetId>>;
         readonly driver: ControlDriverDescriptor<'sql', TTargetId>;
         readonly extensions: readonly ControlExtensionDescriptor<'sql', TTargetId>[];
     }): SqlControlFamilyInstance;
 }
 
-declare function createMigrationPlan<TTargetDetails = Record<string, never>>(options: CreateMigrationPlanOptions<TTargetDetails>): MigrationPlan<TTargetDetails>;
-declare function plannerSuccess<TTargetDetails>(plan: MigrationPlan<TTargetDetails>): PlannerSuccessResult<TTargetDetails>;
-declare function plannerFailure(conflicts: readonly PlannerConflict[]): PlannerFailureResult;
+declare function createMigrationPlan<TTargetDetails = Record<string, never>>(options: CreateSqlMigrationPlanOptions<TTargetDetails>): SqlMigrationPlan<TTargetDetails>;
+declare function plannerSuccess<TTargetDetails>(plan: SqlMigrationPlan<TTargetDetails>): SqlPlannerSuccessResult<TTargetDetails>;
+declare function plannerFailure(conflicts: readonly SqlPlannerConflict[]): SqlPlannerFailureResult;
 /**
  * Creates a successful migration runner result.
  */
 declare function runnerSuccess(value: {
     operationsPlanned: number;
     operationsExecuted: number;
-}): Ok<MigrationRunnerSuccessValue>;
+}): Ok<SqlMigrationRunnerSuccessValue>;
 /**
  * Creates a failed migration runner result.
  */
-declare function runnerFailure(code: MigrationRunnerErrorCode, summary: string, options?: {
+declare function runnerFailure(code: SqlMigrationRunnerErrorCode, summary: string, options?: {
     why?: string;
     meta?: AnyRecord;
-}): NotOk<MigrationRunnerFailure>;
+}): NotOk<SqlMigrationRunnerFailure>;
 
 /**
  * Policy used by `db init`: additive-only operations, no widening/destructive steps.
@@ -403,4 +464,4 @@ declare const INIT_ADDITIVE_POLICY: MigrationOperationPolicy;
  */
 declare const _default: SqlFamilyDescriptor;
 
-export { type CreateMigrationPlanOptions, INIT_ADDITIVE_POLICY, type MigrationOperationClass, type MigrationOperationPolicy, type MigrationPlan, type MigrationPlanContractInfo, type MigrationPlanOperation, type MigrationPlanOperationStep, type MigrationPlanOperationTarget, type MigrationPlanner, type MigrationPlannerPlanOptions, type MigrationRunner, type MigrationRunnerErrorCode, type MigrationRunnerExecuteCallbacks, type MigrationRunnerExecuteOptions, type MigrationRunnerFailure, type MigrationRunnerResult, type MigrationRunnerSuccessValue, type PlannerConflict, type PlannerConflictKind, type PlannerConflictLocation, type PlannerFailureResult, type PlannerResult, type PlannerSuccessResult, type SchemaVerifyOptions, type SqlControlFamilyInstance, type SqlControlTargetDescriptor, createMigrationPlan, _default as default, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess };
+export { type CreateSqlMigrationPlanOptions, INIT_ADDITIVE_POLICY, type SchemaVerifyOptions, type SqlControlFamilyInstance, type SqlControlTargetDescriptor, type SqlMigrationPlan, type SqlMigrationPlanContractInfo, type SqlMigrationPlanOperation, type SqlMigrationPlanOperationStep, type SqlMigrationPlanOperationTarget, type SqlMigrationPlanner, type SqlMigrationPlannerPlanOptions, type SqlMigrationRunner, type SqlMigrationRunnerErrorCode, type SqlMigrationRunnerExecuteCallbacks, type SqlMigrationRunnerExecuteOptions, type SqlMigrationRunnerFailure, type SqlMigrationRunnerResult, type SqlMigrationRunnerSuccessValue, type SqlPlannerConflict, type SqlPlannerConflictKind, type SqlPlannerConflictLocation, type SqlPlannerFailureResult, type SqlPlannerResult, type SqlPlannerSuccessResult, createMigrationPlan, _default as default, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess };

package/dist/exports/control.js

@@ -1,7 +1,7 @@
 import {
   createSqlFamilyInstance
-} from "./chunk-MHDZIQUL.js";
-import "./chunk-3HYKCN35.js";
+} from "./chunk-ZAI6E4PG.js";
+import "./chunk-2L5DCW2L.js";
 import "./chunk-I7QWTBWS.js";
 
 // src/core/descriptor.ts

package/dist/exports/control.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/core/descriptor.ts","../../src/core/migrations/plan-helpers.ts","../../src/core/migrations/policies.ts","../../src/exports/control.ts"],"sourcesContent":["import type { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n} from '@prisma-next/core-control-plane/types';\nimport { sqlTargetFamilyHook } from '@prisma-next/sql-contract-emitter';\nimport { createSqlFamilyInstance, type SqlControlFamilyInstance } from './instance';\nimport type { SqlControlTargetDescriptor } from './migrations/types';\n\n/**\n * SQL family manifest.\n */\nconst sqlFamilyManifest: ExtensionPackManifest = {\n  id: 'sql',\n  version: '0.0.1',\n};\n\n/**\n * SQL family descriptor implementation.\n * Provides the SQL family hook and factory method.\n */\nexport class SqlFamilyDescriptor\n  implements ControlFamilyDescriptor<'sql', SqlControlFamilyInstance>\n{\n  readonly kind = 'family' as const;\n  readonly id = 'sql';\n  readonly familyId = 'sql' as const;\n  readonly manifest = sqlFamilyManifest;\n  readonly hook = sqlTargetFamilyHook;\n\n  create<TTargetId extends string, TTargetDetails = Record<string, never>>(options: {\n    readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;\n    readonly adapter: ControlAdapterDescriptor<'sql', TTargetId>;\n    readonly driver: ControlDriverDescriptor<'sql', TTargetId>;\n    readonly extensions: readonly ControlExtensionDescriptor<'sql', TTargetId>[];\n  }): SqlControlFamilyInstance {\n    return createSqlFamilyInstance({\n      target: options.target,\n      adapter: options.adapter,\n      extensions: options.extensions,\n    });\n  }\n}\n","import type { NotOk, Ok } from '@prisma-next/utils/result';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport type {\n  AnyRecord,\n  CreateMigrationPlanOptions,\n  MigrationPlan,\n  MigrationPlanOperation,\n  MigrationPlanOperationStep,\n  MigrationPlanOperationTarget,\n  MigrationRunnerErrorCode,\n  MigrationRunnerFailure,\n  MigrationRunnerSuccessValue,\n  PlannerConflict,\n  PlannerFailureResult,\n  PlannerSuccessResult,\n} from './types';\n\nconst readOnlyEmptyObject: Record<string, never> = Object.freeze({});\n\nfunction cloneRecord<T extends AnyRecord>(value: T): T {\n  if (value === readOnlyEmptyObject) {\n    return value;\n  }\n  return Object.freeze({ ...value }) as T;\n}\n\nfunction freezeSteps(\n  steps: readonly MigrationPlanOperationStep[],\n): readonly MigrationPlanOperationStep[] {\n  if (steps.length === 0) {\n    return Object.freeze([]);\n  }\n  return Object.freeze(\n    steps.map((step) =>\n      Object.freeze({\n        description: step.description,\n        sql: step.sql,\n        ...(step.meta ? { meta: cloneRecord(step.meta) } : {}),\n      }),\n    ),\n  );\n}\n\nfunction freezeDetailsValue<T>(value: T): T {\n  // Primitives and null/undefined are already immutable, return as-is\n  if (value === null || value === undefined) {\n    return value;\n  }\n  if (typeof value !== 'object') {\n    return value;\n  }\n  // Arrays: shallow clone and freeze\n  if (Array.isArray(value)) {\n    return Object.freeze([...value]) as T;\n  }\n  // Objects: shallow clone and freeze (matching cloneRecord pattern)\n  return Object.freeze({ ...value }) as T;\n}\n\nfunction freezeTargetDetails<TTargetDetails>(\n  target: MigrationPlanOperationTarget<TTargetDetails>,\n): MigrationPlanOperationTarget<TTargetDetails> {\n  return Object.freeze({\n    id: target.id,\n    ...(target.details !== undefined ? { details: freezeDetailsValue(target.details) } : {}),\n  });\n}\n\nfunction freezeOperation<TTargetDetails>(\n  operation: MigrationPlanOperation<TTargetDetails>,\n): MigrationPlanOperation<TTargetDetails> {\n  return Object.freeze({\n    id: operation.id,\n    label: operation.label,\n    ...(operation.summary ? { summary: operation.summary } : {}),\n    operationClass: operation.operationClass,\n    target: freezeTargetDetails(operation.target),\n    precheck: freezeSteps(operation.precheck),\n    execute: freezeSteps(operation.execute),\n    postcheck: freezeSteps(operation.postcheck),\n    ...(operation.meta ? { meta: cloneRecord(operation.meta) } : {}),\n  });\n}\n\nfunction freezeOperations<TTargetDetails>(\n  operations: readonly MigrationPlanOperation<TTargetDetails>[],\n): readonly MigrationPlanOperation<TTargetDetails>[] {\n  if (operations.length === 0) {\n    return Object.freeze([]);\n  }\n  return Object.freeze(operations.map((operation) => freezeOperation(operation)));\n}\n\nexport function createMigrationPlan<TTargetDetails = Record<string, never>>(\n  options: CreateMigrationPlanOptions<TTargetDetails>,\n): MigrationPlan<TTargetDetails> {\n  return Object.freeze({\n    targetId: options.targetId,\n    ...(options.origin !== undefined\n      ? { origin: options.origin ? Object.freeze({ ...options.origin }) : null }\n      : {}),\n    destination: Object.freeze({ ...options.destination }),\n    operations: freezeOperations(options.operations),\n    ...(options.meta ? { meta: cloneRecord(options.meta) } : {}),\n  });\n}\n\nexport function plannerSuccess<TTargetDetails>(\n  plan: MigrationPlan<TTargetDetails>,\n): PlannerSuccessResult<TTargetDetails> {\n  return Object.freeze({\n    kind: 'success',\n    plan,\n  });\n}\n\nexport function plannerFailure(conflicts: readonly PlannerConflict[]): PlannerFailureResult {\n  return Object.freeze({\n    kind: 'failure' as const,\n    conflicts: Object.freeze(\n      conflicts.map((conflict) =>\n        Object.freeze({\n          kind: conflict.kind,\n          summary: conflict.summary,\n          ...(conflict.why ? { why: conflict.why } : {}),\n          ...(conflict.location ? { location: Object.freeze({ ...conflict.location }) } : {}),\n          ...(conflict.meta ? { meta: cloneRecord(conflict.meta) } : {}),\n        }),\n      ),\n    ),\n  });\n}\n\n/**\n * Creates a successful migration runner result.\n */\nexport function runnerSuccess(value: {\n  operationsPlanned: number;\n  operationsExecuted: number;\n}): Ok<MigrationRunnerSuccessValue> {\n  return ok(\n    Object.freeze({\n      operationsPlanned: value.operationsPlanned,\n      operationsExecuted: value.operationsExecuted,\n    }),\n  );\n}\n\n/**\n * Creates a failed migration runner result.\n */\nexport function runnerFailure(\n  code: MigrationRunnerErrorCode,\n  summary: string,\n  options?: { why?: string; meta?: AnyRecord },\n): NotOk<MigrationRunnerFailure> {\n  const failure: MigrationRunnerFailure = Object.freeze({\n    code,\n    summary,\n    ...(options?.why ? { why: options.why } : {}),\n    ...(options?.meta ? { meta: cloneRecord(options.meta) } : {}),\n  });\n  return notOk(failure);\n}\n","import type { MigrationOperationPolicy } from './types';\n\n/**\n * Policy used by `db init`: additive-only operations, no widening/destructive steps.\n */\nexport const INIT_ADDITIVE_POLICY: MigrationOperationPolicy = Object.freeze({\n  allowedOperationClasses: Object.freeze(['additive'] as const),\n});\n","import { SqlFamilyDescriptor } from '../core/descriptor';\n\nexport type { SchemaVerifyOptions, SqlControlFamilyInstance } from '../core/instance';\nexport {\n  createMigrationPlan,\n  plannerFailure,\n  plannerSuccess,\n  runnerFailure,\n  runnerSuccess,\n} from '../core/migrations/plan-helpers';\nexport { INIT_ADDITIVE_POLICY } from '../core/migrations/policies';\nexport type {\n  CreateMigrationPlanOptions,\n  MigrationOperationClass,\n  MigrationOperationPolicy,\n  MigrationPlan,\n  MigrationPlanContractInfo,\n  MigrationPlanner,\n  MigrationPlannerPlanOptions,\n  MigrationPlanOperation,\n  MigrationPlanOperationStep,\n  MigrationPlanOperationTarget,\n  MigrationRunner,\n  MigrationRunnerErrorCode,\n  MigrationRunnerExecuteCallbacks,\n  MigrationRunnerExecuteOptions,\n  MigrationRunnerFailure,\n  MigrationRunnerResult,\n  MigrationRunnerSuccessValue,\n  PlannerConflict,\n  PlannerConflictKind,\n  PlannerConflictLocation,\n  PlannerFailureResult,\n  PlannerResult,\n  PlannerSuccessResult,\n  SqlControlTargetDescriptor,\n} from '../core/migrations/types';\n\n/**\n * SQL family descriptor for control plane (CLI/config).\n * Provides the SQL family hook and conversion helpers.\n */\nexport default new SqlFamilyDescriptor();\n"],"mappings":";;;;;;;AAOA,SAAS,2BAA2B;AAOpC,IAAM,oBAA2C;AAAA,EAC/C,IAAI;AAAA,EACJ,SAAS;AACX;AAMO,IAAM,sBAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,WAAW;AAAA,EACX,OAAO;AAAA,EAEhB,OAAyE,SAK5C;AAC3B,WAAO,wBAAwB;AAAA,MAC7B,QAAQ,QAAQ;AAAA,MAChB,SAAS,QAAQ;AAAA,MACjB,YAAY,QAAQ;AAAA,IACtB,CAAC;AAAA,EACH;AACF;;;AC3CA,SAAS,OAAO,UAAU;AAgB1B,IAAM,sBAA6C,OAAO,OAAO,CAAC,CAAC;AAEnE,SAAS,YAAiC,OAAa;AACrD,MAAI,UAAU,qBAAqB;AACjC,WAAO;AAAA,EACT;AACA,SAAO,OAAO,OAAO,EAAE,GAAG,MAAM,CAAC;AACnC;AAEA,SAAS,YACP,OACuC;AACvC,MAAI,MAAM,WAAW,GAAG;AACtB,WAAO,OAAO,OAAO,CAAC,CAAC;AAAA,EACzB;AACA,SAAO,OAAO;AAAA,IACZ,MAAM;AAAA,MAAI,CAAC,SACT,OAAO,OAAO;AAAA,QACZ,aAAa,KAAK;AAAA,QAClB,KAAK,KAAK;AAAA,QACV,GAAI,KAAK,OAAO,EAAE,MAAM,YAAY,KAAK,IAAI,EAAE,IAAI,CAAC;AAAA,MACtD,CAAC;AAAA,IACH;AAAA,EACF;AACF;AAEA,SAAS,mBAAsB,OAAa;AAE1C,MAAI,UAAU,QAAQ,UAAU,QAAW;AACzC,WAAO;AAAA,EACT;AACA,MAAI,OAAO,UAAU,UAAU;AAC7B,WAAO;AAAA,EACT;AAEA,MAAI,MAAM,QAAQ,KAAK,GAAG;AACxB,WAAO,OAAO,OAAO,CAAC,GAAG,KAAK,CAAC;AAAA,EACjC;AAEA,SAAO,OAAO,OAAO,EAAE,GAAG,MAAM,CAAC;AACnC;AAEA,SAAS,oBACP,QAC8C;AAC9C,SAAO,OAAO,OAAO;AAAA,IACnB,IAAI,OAAO;AAAA,IACX,GAAI,OAAO,YAAY,SAAY,EAAE,SAAS,mBAAmB,OAAO,OAAO,EAAE,IAAI,CAAC;AAAA,EACxF,CAAC;AACH;AAEA,SAAS,gBACP,WACwC;AACxC,SAAO,OAAO,OAAO;AAAA,IACnB,IAAI,UAAU;AAAA,IACd,OAAO,UAAU;AAAA,IACjB,GAAI,UAAU,UAAU,EAAE,SAAS,UAAU,QAAQ,IAAI,CAAC;AAAA,IAC1D,gBAAgB,UAAU;AAAA,IAC1B,QAAQ,oBAAoB,UAAU,MAAM;AAAA,IAC5C,UAAU,YAAY,UAAU,QAAQ;AAAA,IACxC,SAAS,YAAY,UAAU,OAAO;AAAA,IACtC,WAAW,YAAY,UAAU,SAAS;AAAA,IAC1C,GAAI,UAAU,OAAO,EAAE,MAAM,YAAY,UAAU,IAAI,EAAE,IAAI,CAAC;AAAA,EAChE,CAAC;AACH;AAEA,SAAS,iBACP,YACmD;AACnD,MAAI,WAAW,WAAW,GAAG;AAC3B,WAAO,OAAO,OAAO,CAAC,CAAC;AAAA,EACzB;AACA,SAAO,OAAO,OAAO,WAAW,IAAI,CAAC,cAAc,gBAAgB,SAAS,CAAC,CAAC;AAChF;AAEO,SAAS,oBACd,SAC+B;AAC/B,SAAO,OAAO,OAAO;AAAA,IACnB,UAAU,QAAQ;AAAA,IAClB,GAAI,QAAQ,WAAW,SACnB,EAAE,QAAQ,QAAQ,SAAS,OAAO,OAAO,EAAE,GAAG,QAAQ,OAAO,CAAC,IAAI,KAAK,IACvE,CAAC;AAAA,IACL,aAAa,OAAO,OAAO,EAAE,GAAG,QAAQ,YAAY,CAAC;AAAA,IACrD,YAAY,iBAAiB,QAAQ,UAAU;AAAA,IAC/C,GAAI,QAAQ,OAAO,EAAE,MAAM,YAAY,QAAQ,IAAI,EAAE,IAAI,CAAC;AAAA,EAC5D,CAAC;AACH;AAEO,SAAS,eACd,MACsC;AACtC,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IACN;AAAA,EACF,CAAC;AACH;AAEO,SAAS,eAAe,WAA6D;AAC1F,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IACN,WAAW,OAAO;AAAA,MAChB,UAAU;AAAA,QAAI,CAAC,aACb,OAAO,OAAO;AAAA,UACZ,MAAM,SAAS;AAAA,UACf,SAAS,SAAS;AAAA,UAClB,GAAI,SAAS,MAAM,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC;AAAA,UAC5C,GAAI,SAAS,WAAW,EAAE,UAAU,OAAO,OAAO,EAAE,GAAG,SAAS,SAAS,CAAC,EAAE,IAAI,CAAC;AAAA,UACjF,GAAI,SAAS,OAAO,EAAE,MAAM,YAAY,SAAS,IAAI,EAAE,IAAI,CAAC;AAAA,QAC9D,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF,CAAC;AACH;AAKO,SAAS,cAAc,OAGM;AAClC,SAAO;AAAA,IACL,OAAO,OAAO;AAAA,MACZ,mBAAmB,MAAM;AAAA,MACzB,oBAAoB,MAAM;AAAA,IAC5B,CAAC;AAAA,EACH;AACF;AAKO,SAAS,cACd,MACA,SACA,SAC+B;AAC/B,QAAM,UAAkC,OAAO,OAAO;AAAA,IACpD;AAAA,IACA;AAAA,IACA,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC;AAAA,IAC3C,GAAI,SAAS,OAAO,EAAE,MAAM,YAAY,QAAQ,IAAI,EAAE,IAAI,CAAC;AAAA,EAC7D,CAAC;AACD,SAAO,MAAM,OAAO;AACtB;;;AC9JO,IAAM,uBAAiD,OAAO,OAAO;AAAA,EAC1E,yBAAyB,OAAO,OAAO,CAAC,UAAU,CAAU;AAC9D,CAAC;;;ACmCD,IAAO,kBAAQ,IAAI,oBAAoB;","names":[]}
+{"version":3,"sources":["../../src/core/descriptor.ts","../../src/core/migrations/plan-helpers.ts","../../src/core/migrations/policies.ts","../../src/exports/control.ts"],"sourcesContent":["import type { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n} from '@prisma-next/core-control-plane/types';\nimport { sqlTargetFamilyHook } from '@prisma-next/sql-contract-emitter';\nimport type { SqlControlAdapter } from './control-adapter';\nimport { createSqlFamilyInstance, type SqlControlFamilyInstance } from './instance';\nimport type { SqlControlTargetDescriptor } from './migrations/types';\n\n/**\n * SQL family manifest.\n */\nconst sqlFamilyManifest: ExtensionPackManifest = {\n  id: 'sql',\n  version: '0.0.1',\n};\n\n/**\n * SQL family descriptor implementation.\n * Provides the SQL family hook and factory method.\n */\nexport class SqlFamilyDescriptor\n  implements ControlFamilyDescriptor<'sql', SqlControlFamilyInstance>\n{\n  readonly kind = 'family' as const;\n  readonly id = 'sql';\n  readonly familyId = 'sql' as const;\n  readonly manifest = sqlFamilyManifest;\n  readonly hook = sqlTargetFamilyHook;\n\n  create<TTargetId extends string, TTargetDetails = Record<string, never>>(options: {\n    readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;\n    readonly adapter: ControlAdapterDescriptor<'sql', TTargetId, SqlControlAdapter<TTargetId>>;\n    readonly driver: ControlDriverDescriptor<'sql', TTargetId>;\n    readonly extensions: readonly ControlExtensionDescriptor<'sql', TTargetId>[];\n  }): SqlControlFamilyInstance {\n    return createSqlFamilyInstance({\n      target: options.target,\n      adapter: options.adapter,\n      extensions: options.extensions,\n    });\n  }\n}\n","import type { NotOk, Ok } from '@prisma-next/utils/result';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport type {\n  AnyRecord,\n  CreateSqlMigrationPlanOptions,\n  SqlMigrationPlan,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationPlanOperationTarget,\n  SqlMigrationRunnerErrorCode,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerSuccessValue,\n  SqlPlannerConflict,\n  SqlPlannerFailureResult,\n  SqlPlannerSuccessResult,\n} from './types';\n\nconst readOnlyEmptyObject: Record<string, never> = Object.freeze({});\n\nfunction cloneRecord<T extends AnyRecord>(value: T): T {\n  if (value === readOnlyEmptyObject) {\n    return value;\n  }\n  return Object.freeze({ ...value }) as T;\n}\n\nfunction freezeSteps(\n  steps: readonly SqlMigrationPlanOperationStep[],\n): readonly SqlMigrationPlanOperationStep[] {\n  if (steps.length === 0) {\n    return Object.freeze([]);\n  }\n  return Object.freeze(\n    steps.map((step) =>\n      Object.freeze({\n        description: step.description,\n        sql: step.sql,\n        ...(step.meta ? { meta: cloneRecord(step.meta) } : {}),\n      }),\n    ),\n  );\n}\n\nfunction freezeDetailsValue<T>(value: T): T {\n  // Primitives and null/undefined are already immutable, return as-is\n  if (value === null || value === undefined) {\n    return value;\n  }\n  if (typeof value !== 'object') {\n    return value;\n  }\n  // Arrays: shallow clone and freeze\n  if (Array.isArray(value)) {\n    return Object.freeze([...value]) as T;\n  }\n  // Objects: shallow clone and freeze (matching cloneRecord pattern)\n  return Object.freeze({ ...value }) as T;\n}\n\nfunction freezeTargetDetails<TTargetDetails>(\n  target: SqlMigrationPlanOperationTarget<TTargetDetails>,\n): SqlMigrationPlanOperationTarget<TTargetDetails> {\n  return Object.freeze({\n    id: target.id,\n    ...(target.details !== undefined ? { details: freezeDetailsValue(target.details) } : {}),\n  });\n}\n\nfunction freezeOperation<TTargetDetails>(\n  operation: SqlMigrationPlanOperation<TTargetDetails>,\n): SqlMigrationPlanOperation<TTargetDetails> {\n  return Object.freeze({\n    id: operation.id,\n    label: operation.label,\n    ...(operation.summary ? { summary: operation.summary } : {}),\n    operationClass: operation.operationClass,\n    target: freezeTargetDetails(operation.target),\n    precheck: freezeSteps(operation.precheck),\n    execute: freezeSteps(operation.execute),\n    postcheck: freezeSteps(operation.postcheck),\n    ...(operation.meta ? { meta: cloneRecord(operation.meta) } : {}),\n  });\n}\n\nfunction freezeOperations<TTargetDetails>(\n  operations: readonly SqlMigrationPlanOperation<TTargetDetails>[],\n): readonly SqlMigrationPlanOperation<TTargetDetails>[] {\n  if (operations.length === 0) {\n    return Object.freeze([]);\n  }\n  return Object.freeze(operations.map((operation) => freezeOperation(operation)));\n}\n\nexport function createMigrationPlan<TTargetDetails = Record<string, never>>(\n  options: CreateSqlMigrationPlanOptions<TTargetDetails>,\n): SqlMigrationPlan<TTargetDetails> {\n  return Object.freeze({\n    targetId: options.targetId,\n    ...(options.origin !== undefined\n      ? { origin: options.origin ? Object.freeze({ ...options.origin }) : null }\n      : {}),\n    destination: Object.freeze({ ...options.destination }),\n    operations: freezeOperations(options.operations),\n    ...(options.meta ? { meta: cloneRecord(options.meta) } : {}),\n  });\n}\n\nexport function plannerSuccess<TTargetDetails>(\n  plan: SqlMigrationPlan<TTargetDetails>,\n): SqlPlannerSuccessResult<TTargetDetails> {\n  return Object.freeze({\n    kind: 'success',\n    plan,\n  });\n}\n\nexport function plannerFailure(conflicts: readonly SqlPlannerConflict[]): SqlPlannerFailureResult {\n  return Object.freeze({\n    kind: 'failure' as const,\n    conflicts: Object.freeze(\n      conflicts.map((conflict) =>\n        Object.freeze({\n          kind: conflict.kind,\n          summary: conflict.summary,\n          ...(conflict.why ? { why: conflict.why } : {}),\n          ...(conflict.location ? { location: Object.freeze({ ...conflict.location }) } : {}),\n          ...(conflict.meta ? { meta: cloneRecord(conflict.meta) } : {}),\n        }),\n      ),\n    ),\n  });\n}\n\n/**\n * Creates a successful migration runner result.\n */\nexport function runnerSuccess(value: {\n  operationsPlanned: number;\n  operationsExecuted: number;\n}): Ok<SqlMigrationRunnerSuccessValue> {\n  return ok(\n    Object.freeze({\n      operationsPlanned: value.operationsPlanned,\n      operationsExecuted: value.operationsExecuted,\n    }),\n  );\n}\n\n/**\n * Creates a failed migration runner result.\n */\nexport function runnerFailure(\n  code: SqlMigrationRunnerErrorCode,\n  summary: string,\n  options?: { why?: string; meta?: AnyRecord },\n): NotOk<SqlMigrationRunnerFailure> {\n  const failure: SqlMigrationRunnerFailure = Object.freeze({\n    code,\n    summary,\n    ...(options?.why ? { why: options.why } : {}),\n    ...(options?.meta ? { meta: cloneRecord(options.meta) } : {}),\n  });\n  return notOk(failure);\n}\n","import type { MigrationOperationPolicy } from '@prisma-next/core-control-plane/types';\n\n/**\n * Policy used by `db init`: additive-only operations, no widening/destructive steps.\n */\nexport const INIT_ADDITIVE_POLICY: MigrationOperationPolicy = Object.freeze({\n  allowedOperationClasses: Object.freeze(['additive'] as const),\n});\n","import { SqlFamilyDescriptor } from '../core/descriptor';\n\n// Re-export core types from canonical source\nexport type {\n  MigrationOperationClass,\n  MigrationOperationPolicy,\n  MigrationPlan,\n  MigrationPlanner,\n  MigrationPlannerConflict,\n  MigrationPlannerResult,\n  MigrationPlanOperation,\n  TargetMigrationsCapability,\n} from '@prisma-next/core-control-plane/types';\nexport type { SchemaVerifyOptions, SqlControlFamilyInstance } from '../core/instance';\nexport {\n  createMigrationPlan,\n  plannerFailure,\n  plannerSuccess,\n  runnerFailure,\n  runnerSuccess,\n} from '../core/migrations/plan-helpers';\nexport { INIT_ADDITIVE_POLICY } from '../core/migrations/policies';\n// SQL-specific types\nexport type {\n  CreateSqlMigrationPlanOptions,\n  SqlControlTargetDescriptor,\n  SqlMigrationPlan,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanner,\n  SqlMigrationPlannerPlanOptions,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationPlanOperationTarget,\n  SqlMigrationRunner,\n  SqlMigrationRunnerErrorCode,\n  SqlMigrationRunnerExecuteCallbacks,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n  SqlMigrationRunnerSuccessValue,\n  SqlPlannerConflict,\n  SqlPlannerConflictKind,\n  SqlPlannerConflictLocation,\n  SqlPlannerFailureResult,\n  SqlPlannerResult,\n  SqlPlannerSuccessResult,\n} from '../core/migrations/types';\n\n/**\n * SQL family descriptor for control plane (CLI/config).\n * Provides the SQL family hook and conversion helpers.\n */\nexport default new SqlFamilyDescriptor();\n"],"mappings":";;;;;;;AAOA,SAAS,2BAA2B;AAQpC,IAAM,oBAA2C;AAAA,EAC/C,IAAI;AAAA,EACJ,SAAS;AACX;AAMO,IAAM,sBAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,WAAW;AAAA,EACX,OAAO;AAAA,EAEhB,OAAyE,SAK5C;AAC3B,WAAO,wBAAwB;AAAA,MAC7B,QAAQ,QAAQ;AAAA,MAChB,SAAS,QAAQ;AAAA,MACjB,YAAY,QAAQ;AAAA,IACtB,CAAC;AAAA,EACH;AACF;;;AC5CA,SAAS,OAAO,UAAU;AAgB1B,IAAM,sBAA6C,OAAO,OAAO,CAAC,CAAC;AAEnE,SAAS,YAAiC,OAAa;AACrD,MAAI,UAAU,qBAAqB;AACjC,WAAO;AAAA,EACT;AACA,SAAO,OAAO,OAAO,EAAE,GAAG,MAAM,CAAC;AACnC;AAEA,SAAS,YACP,OAC0C;AAC1C,MAAI,MAAM,WAAW,GAAG;AACtB,WAAO,OAAO,OAAO,CAAC,CAAC;AAAA,EACzB;AACA,SAAO,OAAO;AAAA,IACZ,MAAM;AAAA,MAAI,CAAC,SACT,OAAO,OAAO;AAAA,QACZ,aAAa,KAAK;AAAA,QAClB,KAAK,KAAK;AAAA,QACV,GAAI,KAAK,OAAO,EAAE,MAAM,YAAY,KAAK,IAAI,EAAE,IAAI,CAAC;AAAA,MACtD,CAAC;AAAA,IACH;AAAA,EACF;AACF;AAEA,SAAS,mBAAsB,OAAa;AAE1C,MAAI,UAAU,QAAQ,UAAU,QAAW;AACzC,WAAO;AAAA,EACT;AACA,MAAI,OAAO,UAAU,UAAU;AAC7B,WAAO;AAAA,EACT;AAEA,MAAI,MAAM,QAAQ,KAAK,GAAG;AACxB,WAAO,OAAO,OAAO,CAAC,GAAG,KAAK,CAAC;AAAA,EACjC;AAEA,SAAO,OAAO,OAAO,EAAE,GAAG,MAAM,CAAC;AACnC;AAEA,SAAS,oBACP,QACiD;AACjD,SAAO,OAAO,OAAO;AAAA,IACnB,IAAI,OAAO;AAAA,IACX,GAAI,OAAO,YAAY,SAAY,EAAE,SAAS,mBAAmB,OAAO,OAAO,EAAE,IAAI,CAAC;AAAA,EACxF,CAAC;AACH;AAEA,SAAS,gBACP,WAC2C;AAC3C,SAAO,OAAO,OAAO;AAAA,IACnB,IAAI,UAAU;AAAA,IACd,OAAO,UAAU;AAAA,IACjB,GAAI,UAAU,UAAU,EAAE,SAAS,UAAU,QAAQ,IAAI,CAAC;AAAA,IAC1D,gBAAgB,UAAU;AAAA,IAC1B,QAAQ,oBAAoB,UAAU,MAAM;AAAA,IAC5C,UAAU,YAAY,UAAU,QAAQ;AAAA,IACxC,SAAS,YAAY,UAAU,OAAO;AAAA,IACtC,WAAW,YAAY,UAAU,SAAS;AAAA,IAC1C,GAAI,UAAU,OAAO,EAAE,MAAM,YAAY,UAAU,IAAI,EAAE,IAAI,CAAC;AAAA,EAChE,CAAC;AACH;AAEA,SAAS,iBACP,YACsD;AACtD,MAAI,WAAW,WAAW,GAAG;AAC3B,WAAO,OAAO,OAAO,CAAC,CAAC;AAAA,EACzB;AACA,SAAO,OAAO,OAAO,WAAW,IAAI,CAAC,cAAc,gBAAgB,SAAS,CAAC,CAAC;AAChF;AAEO,SAAS,oBACd,SACkC;AAClC,SAAO,OAAO,OAAO;AAAA,IACnB,UAAU,QAAQ;AAAA,IAClB,GAAI,QAAQ,WAAW,SACnB,EAAE,QAAQ,QAAQ,SAAS,OAAO,OAAO,EAAE,GAAG,QAAQ,OAAO,CAAC,IAAI,KAAK,IACvE,CAAC;AAAA,IACL,aAAa,OAAO,OAAO,EAAE,GAAG,QAAQ,YAAY,CAAC;AAAA,IACrD,YAAY,iBAAiB,QAAQ,UAAU;AAAA,IAC/C,GAAI,QAAQ,OAAO,EAAE,MAAM,YAAY,QAAQ,IAAI,EAAE,IAAI,CAAC;AAAA,EAC5D,CAAC;AACH;AAEO,SAAS,eACd,MACyC;AACzC,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IACN;AAAA,EACF,CAAC;AACH;AAEO,SAAS,eAAe,WAAmE;AAChG,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IACN,WAAW,OAAO;AAAA,MAChB,UAAU;AAAA,QAAI,CAAC,aACb,OAAO,OAAO;AAAA,UACZ,MAAM,SAAS;AAAA,UACf,SAAS,SAAS;AAAA,UAClB,GAAI,SAAS,MAAM,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC;AAAA,UAC5C,GAAI,SAAS,WAAW,EAAE,UAAU,OAAO,OAAO,EAAE,GAAG,SAAS,SAAS,CAAC,EAAE,IAAI,CAAC;AAAA,UACjF,GAAI,SAAS,OAAO,EAAE,MAAM,YAAY,SAAS,IAAI,EAAE,IAAI,CAAC;AAAA,QAC9D,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF,CAAC;AACH;AAKO,SAAS,cAAc,OAGS;AACrC,SAAO;AAAA,IACL,OAAO,OAAO;AAAA,MACZ,mBAAmB,MAAM;AAAA,MACzB,oBAAoB,MAAM;AAAA,IAC5B,CAAC;AAAA,EACH;AACF;AAKO,SAAS,cACd,MACA,SACA,SACkC;AAClC,QAAM,UAAqC,OAAO,OAAO;AAAA,IACvD;AAAA,IACA;AAAA,IACA,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC;AAAA,IAC3C,GAAI,SAAS,OAAO,EAAE,MAAM,YAAY,QAAQ,IAAI,EAAE,IAAI,CAAC;AAAA,EAC7D,CAAC;AACD,SAAO,MAAM,OAAO;AACtB;;;AC9JO,IAAM,uBAAiD,OAAO,OAAO;AAAA,EAC1E,yBAAyB,OAAO,OAAO,CAAC,UAAU,CAAU;AAC9D,CAAC;;;AC6CD,IAAO,kBAAQ,IAAI,oBAAoB;","names":[]}

package/dist/exports/runtime.d.ts

@@ -1,10 +1,20 @@
 import { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';
-import { RuntimeFamilyInstance, RuntimeFamilyDescriptor, RuntimeTargetDescriptor, RuntimeAdapterDescriptor, RuntimeDriverDescriptor, RuntimeExtensionDescriptor } from '@prisma-next/core-execution-plane/types';
+import { RuntimeFamilyInstance, RuntimeAdapterInstance, RuntimeDriverInstance, RuntimeFamilyDescriptor, RuntimeTargetDescriptor, RuntimeAdapterDescriptor, RuntimeDriverDescriptor, RuntimeExtensionDescriptor } from '@prisma-next/core-execution-plane/types';
 import { RuntimeVerifyOptions, Plugin, Log } from '@prisma-next/runtime-executor';
 import { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
 import { Adapter, SelectAst, LoweredStatement, SqlDriver } from '@prisma-next/sql-relational-core/ast';
 import { Extension, Runtime } from '@prisma-next/sql-runtime';
 
+/**
+ * SQL runtime driver instance type.
+ * Combines identity properties with SQL-specific behavior methods.
+ */
+type SqlRuntimeDriverInstance<TTargetId extends string = string> = RuntimeDriverInstance<'sql', TTargetId> & SqlDriver;
+/**
+ * SQL runtime adapter instance type.
+ * Combines identity properties with SQL-specific adapter behavior.
+ */
+type SqlRuntimeAdapterInstance<TTargetId extends string = string> = RuntimeAdapterInstance<'sql', TTargetId> & Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>;
 /**
  * SQL runtime family instance interface.
  * Extends base RuntimeFamilyInstance with SQL-specific runtime creation method.
@@ -45,8 +55,8 @@ declare class SqlRuntimeFamilyDescriptor implements RuntimeFamilyDescriptor<'sql
     readonly manifest: ExtensionPackManifest;
     create<TTargetId extends string>(options: {
         readonly target: RuntimeTargetDescriptor<'sql', TTargetId>;
-        readonly adapter: RuntimeAdapterDescriptor<'sql', TTargetId>;
-        readonly driver: RuntimeDriverDescriptor<'sql', TTargetId>;
+        readonly adapter: RuntimeAdapterDescriptor<'sql', TTargetId, SqlRuntimeAdapterInstance<TTargetId>>;
+        readonly driver: RuntimeDriverDescriptor<'sql', TTargetId, SqlRuntimeDriverInstance<TTargetId>>;
         readonly extensions: readonly RuntimeExtensionDescriptor<'sql', TTargetId>[];
     }): SqlRuntimeFamilyInstance;
 }

package/dist/exports/runtime.js

@@ -23,14 +23,13 @@ function createSqlRuntimeFamilyInstance(options) {
         return extension;
       });
       const extensions = [...descriptorExtensions, ...runtimeOptions.extensions ?? []];
-      const adapter = adapterInstance;
       const context = createRuntimeContext({
         contract: runtimeOptions.contract,
-        adapter,
+        adapter: adapterInstance,
         extensions
       });
       const runtimeOptions_ = {
-        adapter,
+        adapter: adapterInstance,
         driver: driverInstance,
         verify: runtimeOptions.verify,
         context,

package/dist/exports/runtime.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/core/runtime-instance.ts","../../src/core/runtime-descriptor.ts","../../src/exports/runtime.ts"],"sourcesContent":["import type {\n  RuntimeAdapterDescriptor,\n  RuntimeDriverDescriptor,\n  RuntimeExtensionDescriptor,\n  RuntimeFamilyInstance,\n  RuntimeTargetDescriptor,\n} from '@prisma-next/core-execution-plane/types';\nimport type { Log, Plugin, RuntimeVerifyOptions } from '@prisma-next/runtime-executor';\nimport type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\nimport type {\n  Adapter,\n  LoweredStatement,\n  SelectAst,\n  SqlDriver,\n} from '@prisma-next/sql-relational-core/ast';\nimport type { Runtime, RuntimeContext, RuntimeOptions } from '@prisma-next/sql-runtime';\nimport { createRuntime, createRuntimeContext, type Extension } from '@prisma-next/sql-runtime';\n\n/**\n * SQL runtime family instance interface.\n * Extends base RuntimeFamilyInstance with SQL-specific runtime creation method.\n */\nexport interface SqlRuntimeFamilyInstance extends RuntimeFamilyInstance<'sql'> {\n  /**\n   * Creates a SQL runtime from contract, adapter, driver, and extensions.\n   *\n   * @param options - Runtime creation options\n   * @param options.contract - SQL contract\n   * @param options.driverOptions - Driver options (e.g., PostgresDriverOptions)\n   * @param options.verify - Runtime verification options\n   * @param options.extensions - Optional extensions (Extension objects, not descriptors)\n   * @param options.plugins - Optional plugins\n   * @param options.mode - Optional runtime mode\n   * @param options.log - Optional log instance\n   * @returns Runtime instance\n   */\n  createRuntime<TContract extends SqlContract<SqlStorage>>(options: {\n    readonly contract: TContract;\n    readonly driverOptions: unknown;\n    readonly verify: RuntimeVerifyOptions;\n    readonly extensions?: readonly Extension[];\n    readonly plugins?: readonly Plugin<\n      TContract,\n      Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>,\n      SqlDriver\n    >[];\n    readonly mode?: 'strict' | 'permissive';\n    readonly log?: Log;\n  }): Runtime;\n}\n\n/**\n * Creates a SQL runtime family instance from runtime descriptors.\n */\nexport function createSqlRuntimeFamilyInstance(options: {\n  readonly target: RuntimeTargetDescriptor<'sql', string>;\n  readonly adapter: RuntimeAdapterDescriptor<'sql', string>;\n  readonly driver: RuntimeDriverDescriptor<'sql', string>;\n  readonly extensions: readonly RuntimeExtensionDescriptor<'sql', string>[];\n}): SqlRuntimeFamilyInstance {\n  const {\n    adapter: adapterDescriptor,\n    driver: driverDescriptor,\n    extensions: extensionDescriptors,\n  } = options;\n\n  return {\n    familyId: 'sql' as const,\n    createRuntime<TContract extends SqlContract<SqlStorage>>(runtimeOptions: {\n      readonly contract: TContract;\n      readonly driverOptions: unknown;\n      readonly verify: RuntimeVerifyOptions;\n      readonly extensions?: readonly Extension[];\n      readonly plugins?: readonly Plugin<\n        TContract,\n        Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>,\n        SqlDriver\n      >[];\n      readonly mode?: 'strict' | 'permissive';\n      readonly log?: Log;\n    }): Runtime {\n      const adapterInstance = adapterDescriptor.create();\n      const driverInstance = driverDescriptor.create(runtimeOptions.driverOptions);\n\n      const extensionInstances = extensionDescriptors.map((ext) => ext.create());\n\n      const descriptorExtensions: Extension[] = extensionInstances.map((ext) => {\n        const extension: Extension = {};\n        if ('codecs' in ext && typeof ext.codecs === 'function') {\n          extension.codecs =\n            ext.codecs as () => import('@prisma-next/sql-relational-core/ast').CodecRegistry;\n        }\n        if ('operations' in ext && typeof ext.operations === 'function') {\n          extension.operations =\n            ext.operations as () => readonly import('@prisma-next/sql-operations').SqlOperationSignature[];\n        }\n        return extension;\n      });\n\n      const extensions = [...descriptorExtensions, ...(runtimeOptions.extensions ?? [])];\n\n      const adapter = adapterInstance as unknown as Adapter<\n        SelectAst,\n        SqlContract<SqlStorage>,\n        LoweredStatement\n      >;\n\n      const context = createRuntimeContext({\n        contract: runtimeOptions.contract,\n        adapter,\n        extensions,\n      }) as RuntimeContext<TContract>;\n\n      const runtimeOptions_: RuntimeOptions<TContract> = {\n        adapter,\n        driver: driverInstance as SqlDriver,\n        verify: runtimeOptions.verify,\n        context,\n        ...(runtimeOptions.plugins ? { plugins: runtimeOptions.plugins } : {}),\n        ...(runtimeOptions.mode ? { mode: runtimeOptions.mode } : {}),\n        ...(runtimeOptions.log ? { log: runtimeOptions.log } : {}),\n      };\n\n      return createRuntime(runtimeOptions_);\n    },\n  };\n}\n","import type { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';\nimport type {\n  RuntimeAdapterDescriptor,\n  RuntimeDriverDescriptor,\n  RuntimeExtensionDescriptor,\n  RuntimeFamilyDescriptor,\n  RuntimeTargetDescriptor,\n} from '@prisma-next/core-execution-plane/types';\nimport { createSqlRuntimeFamilyInstance, type SqlRuntimeFamilyInstance } from './runtime-instance';\n\n/**\n * SQL family manifest for runtime plane.\n */\nconst sqlFamilyManifest: ExtensionPackManifest = {\n  id: 'sql',\n  version: '0.0.1',\n};\n\n/**\n * SQL runtime family descriptor implementation.\n * Provides factory method to create SQL runtime family instance.\n */\nexport class SqlRuntimeFamilyDescriptor\n  implements RuntimeFamilyDescriptor<'sql', SqlRuntimeFamilyInstance>\n{\n  readonly kind = 'family' as const;\n  readonly id = 'sql';\n  readonly familyId = 'sql' as const;\n  readonly manifest = sqlFamilyManifest;\n\n  create<TTargetId extends string>(options: {\n    readonly target: RuntimeTargetDescriptor<'sql', TTargetId>;\n    readonly adapter: RuntimeAdapterDescriptor<'sql', TTargetId>;\n    readonly driver: RuntimeDriverDescriptor<'sql', TTargetId>;\n    readonly extensions: readonly RuntimeExtensionDescriptor<'sql', TTargetId>[];\n  }): SqlRuntimeFamilyInstance {\n    return createSqlRuntimeFamilyInstance({\n      target: options.target,\n      adapter: options.adapter,\n      driver: options.driver,\n      extensions: options.extensions,\n    });\n  }\n}\n","import { SqlRuntimeFamilyDescriptor } from '../core/runtime-descriptor';\n\n/**\n * SQL runtime family descriptor for execution/runtime plane.\n * Provides factory method to create SQL runtime family instance.\n */\nexport default new SqlRuntimeFamilyDescriptor();\n"],"mappings":";AAgBA,SAAS,eAAe,4BAA4C;AAsC7D,SAAS,+BAA+B,SAKlB;AAC3B,QAAM;AAAA,IACJ,SAAS;AAAA,IACT,QAAQ;AAAA,IACR,YAAY;AAAA,EACd,IAAI;AAEJ,SAAO;AAAA,IACL,UAAU;AAAA,IACV,cAAyD,gBAY7C;AACV,YAAM,kBAAkB,kBAAkB,OAAO;AACjD,YAAM,iBAAiB,iBAAiB,OAAO,eAAe,aAAa;AAE3E,YAAM,qBAAqB,qBAAqB,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC;AAEzE,YAAM,uBAAoC,mBAAmB,IAAI,CAAC,QAAQ;AACxE,cAAM,YAAuB,CAAC;AAC9B,YAAI,YAAY,OAAO,OAAO,IAAI,WAAW,YAAY;AACvD,oBAAU,SACR,IAAI;AAAA,QACR;AACA,YAAI,gBAAgB,OAAO,OAAO,IAAI,eAAe,YAAY;AAC/D,oBAAU,aACR,IAAI;AAAA,QACR;AACA,eAAO;AAAA,MACT,CAAC;AAED,YAAM,aAAa,CAAC,GAAG,sBAAsB,GAAI,eAAe,cAAc,CAAC,CAAE;AAEjF,YAAM,UAAU;AAMhB,YAAM,UAAU,qBAAqB;AAAA,QACnC,UAAU,eAAe;AAAA,QACzB;AAAA,QACA;AAAA,MACF,CAAC;AAED,YAAM,kBAA6C;AAAA,QACjD;AAAA,QACA,QAAQ;AAAA,QACR,QAAQ,eAAe;AAAA,QACvB;AAAA,QACA,GAAI,eAAe,UAAU,EAAE,SAAS,eAAe,QAAQ,IAAI,CAAC;AAAA,QACpE,GAAI,eAAe,OAAO,EAAE,MAAM,eAAe,KAAK,IAAI,CAAC;AAAA,QAC3D,GAAI,eAAe,MAAM,EAAE,KAAK,eAAe,IAAI,IAAI,CAAC;AAAA,MAC1D;AAEA,aAAO,cAAc,eAAe;AAAA,IACtC;AAAA,EACF;AACF;;;ACjHA,IAAM,oBAA2C;AAAA,EAC/C,IAAI;AAAA,EACJ,SAAS;AACX;AAMO,IAAM,6BAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,WAAW;AAAA,EAEpB,OAAiC,SAKJ;AAC3B,WAAO,+BAA+B;AAAA,MACpC,QAAQ,QAAQ;AAAA,MAChB,SAAS,QAAQ;AAAA,MACjB,QAAQ,QAAQ;AAAA,MAChB,YAAY,QAAQ;AAAA,IACtB,CAAC;AAAA,EACH;AACF;;;ACrCA,IAAO,kBAAQ,IAAI,2BAA2B;","names":[]}
+{"version":3,"sources":["../../src/core/runtime-instance.ts","../../src/core/runtime-descriptor.ts","../../src/exports/runtime.ts"],"sourcesContent":["import type {\n  RuntimeAdapterDescriptor,\n  RuntimeAdapterInstance,\n  RuntimeDriverDescriptor,\n  RuntimeDriverInstance,\n  RuntimeExtensionDescriptor,\n  RuntimeFamilyInstance,\n  RuntimeTargetDescriptor,\n} from '@prisma-next/core-execution-plane/types';\nimport type { Log, Plugin, RuntimeVerifyOptions } from '@prisma-next/runtime-executor';\nimport type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\nimport type {\n  Adapter,\n  LoweredStatement,\n  SelectAst,\n  SqlDriver,\n} from '@prisma-next/sql-relational-core/ast';\nimport type { Runtime, RuntimeContext, RuntimeOptions } from '@prisma-next/sql-runtime';\nimport { createRuntime, createRuntimeContext, type Extension } from '@prisma-next/sql-runtime';\n\n/**\n * SQL runtime driver instance type.\n * Combines identity properties with SQL-specific behavior methods.\n */\nexport type SqlRuntimeDriverInstance<TTargetId extends string = string> = RuntimeDriverInstance<\n  'sql',\n  TTargetId\n> &\n  SqlDriver;\n\n/**\n * SQL runtime adapter instance type.\n * Combines identity properties with SQL-specific adapter behavior.\n */\nexport type SqlRuntimeAdapterInstance<TTargetId extends string = string> = RuntimeAdapterInstance<\n  'sql',\n  TTargetId\n> &\n  Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>;\n\n/**\n * SQL runtime family instance interface.\n * Extends base RuntimeFamilyInstance with SQL-specific runtime creation method.\n */\nexport interface SqlRuntimeFamilyInstance extends RuntimeFamilyInstance<'sql'> {\n  /**\n   * Creates a SQL runtime from contract, adapter, driver, and extensions.\n   *\n   * @param options - Runtime creation options\n   * @param options.contract - SQL contract\n   * @param options.driverOptions - Driver options (e.g., PostgresDriverOptions)\n   * @param options.verify - Runtime verification options\n   * @param options.extensions - Optional extensions (Extension objects, not descriptors)\n   * @param options.plugins - Optional plugins\n   * @param options.mode - Optional runtime mode\n   * @param options.log - Optional log instance\n   * @returns Runtime instance\n   */\n  createRuntime<TContract extends SqlContract<SqlStorage>>(options: {\n    readonly contract: TContract;\n    readonly driverOptions: unknown;\n    readonly verify: RuntimeVerifyOptions;\n    readonly extensions?: readonly Extension[];\n    readonly plugins?: readonly Plugin<\n      TContract,\n      Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>,\n      SqlDriver\n    >[];\n    readonly mode?: 'strict' | 'permissive';\n    readonly log?: Log;\n  }): Runtime;\n}\n\n/**\n * Creates a SQL runtime family instance from runtime descriptors.\n */\nexport function createSqlRuntimeFamilyInstance(options: {\n  readonly target: RuntimeTargetDescriptor<'sql', string>;\n  readonly adapter: RuntimeAdapterDescriptor<'sql', string, SqlRuntimeAdapterInstance>;\n  readonly driver: RuntimeDriverDescriptor<'sql', string, SqlRuntimeDriverInstance>;\n  readonly extensions: readonly RuntimeExtensionDescriptor<'sql', string>[];\n}): SqlRuntimeFamilyInstance {\n  const {\n    adapter: adapterDescriptor,\n    driver: driverDescriptor,\n    extensions: extensionDescriptors,\n  } = options;\n\n  return {\n    familyId: 'sql' as const,\n    createRuntime<TContract extends SqlContract<SqlStorage>>(runtimeOptions: {\n      readonly contract: TContract;\n      readonly driverOptions: unknown;\n      readonly verify: RuntimeVerifyOptions;\n      readonly extensions?: readonly Extension[];\n      readonly plugins?: readonly Plugin<\n        TContract,\n        Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>,\n        SqlDriver\n      >[];\n      readonly mode?: 'strict' | 'permissive';\n      readonly log?: Log;\n    }): Runtime {\n      const adapterInstance = adapterDescriptor.create();\n      const driverInstance = driverDescriptor.create(runtimeOptions.driverOptions);\n\n      const extensionInstances = extensionDescriptors.map((ext) => ext.create());\n\n      const descriptorExtensions: Extension[] = extensionInstances.map((ext) => {\n        const extension: Extension = {};\n        if ('codecs' in ext && typeof ext.codecs === 'function') {\n          extension.codecs =\n            ext.codecs as () => import('@prisma-next/sql-relational-core/ast').CodecRegistry;\n        }\n        if ('operations' in ext && typeof ext.operations === 'function') {\n          extension.operations =\n            ext.operations as () => readonly import('@prisma-next/sql-operations').SqlOperationSignature[];\n        }\n        return extension;\n      });\n\n      const extensions = [...descriptorExtensions, ...(runtimeOptions.extensions ?? [])];\n\n      const context = createRuntimeContext({\n        contract: runtimeOptions.contract,\n        adapter: adapterInstance,\n        extensions,\n      }) as RuntimeContext<TContract>;\n\n      const runtimeOptions_: RuntimeOptions<TContract> = {\n        adapter: adapterInstance,\n        driver: driverInstance,\n        verify: runtimeOptions.verify,\n        context,\n        ...(runtimeOptions.plugins ? { plugins: runtimeOptions.plugins } : {}),\n        ...(runtimeOptions.mode ? { mode: runtimeOptions.mode } : {}),\n        ...(runtimeOptions.log ? { log: runtimeOptions.log } : {}),\n      };\n\n      return createRuntime(runtimeOptions_);\n    },\n  };\n}\n","import type { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';\nimport type {\n  RuntimeAdapterDescriptor,\n  RuntimeDriverDescriptor,\n  RuntimeExtensionDescriptor,\n  RuntimeFamilyDescriptor,\n  RuntimeTargetDescriptor,\n} from '@prisma-next/core-execution-plane/types';\nimport {\n  createSqlRuntimeFamilyInstance,\n  type SqlRuntimeAdapterInstance,\n  type SqlRuntimeDriverInstance,\n  type SqlRuntimeFamilyInstance,\n} from './runtime-instance';\n\n/**\n * SQL family manifest for runtime plane.\n */\nconst sqlFamilyManifest: ExtensionPackManifest = {\n  id: 'sql',\n  version: '0.0.1',\n};\n\n/**\n * SQL runtime family descriptor implementation.\n * Provides factory method to create SQL runtime family instance.\n */\nexport class SqlRuntimeFamilyDescriptor\n  implements RuntimeFamilyDescriptor<'sql', SqlRuntimeFamilyInstance>\n{\n  readonly kind = 'family' as const;\n  readonly id = 'sql';\n  readonly familyId = 'sql' as const;\n  readonly manifest = sqlFamilyManifest;\n\n  create<TTargetId extends string>(options: {\n    readonly target: RuntimeTargetDescriptor<'sql', TTargetId>;\n    readonly adapter: RuntimeAdapterDescriptor<\n      'sql',\n      TTargetId,\n      SqlRuntimeAdapterInstance<TTargetId>\n    >;\n    readonly driver: RuntimeDriverDescriptor<'sql', TTargetId, SqlRuntimeDriverInstance<TTargetId>>;\n    readonly extensions: readonly RuntimeExtensionDescriptor<'sql', TTargetId>[];\n  }): SqlRuntimeFamilyInstance {\n    return createSqlRuntimeFamilyInstance({\n      target: options.target,\n      adapter: options.adapter,\n      driver: options.driver,\n      extensions: options.extensions,\n    });\n  }\n}\n","import { SqlRuntimeFamilyDescriptor } from '../core/runtime-descriptor';\n\n/**\n * SQL runtime family descriptor for execution/runtime plane.\n * Provides factory method to create SQL runtime family instance.\n */\nexport default new SqlRuntimeFamilyDescriptor();\n"],"mappings":";AAkBA,SAAS,eAAe,4BAA4C;AA0D7D,SAAS,+BAA+B,SAKlB;AAC3B,QAAM;AAAA,IACJ,SAAS;AAAA,IACT,QAAQ;AAAA,IACR,YAAY;AAAA,EACd,IAAI;AAEJ,SAAO;AAAA,IACL,UAAU;AAAA,IACV,cAAyD,gBAY7C;AACV,YAAM,kBAAkB,kBAAkB,OAAO;AACjD,YAAM,iBAAiB,iBAAiB,OAAO,eAAe,aAAa;AAE3E,YAAM,qBAAqB,qBAAqB,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC;AAEzE,YAAM,uBAAoC,mBAAmB,IAAI,CAAC,QAAQ;AACxE,cAAM,YAAuB,CAAC;AAC9B,YAAI,YAAY,OAAO,OAAO,IAAI,WAAW,YAAY;AACvD,oBAAU,SACR,IAAI;AAAA,QACR;AACA,YAAI,gBAAgB,OAAO,OAAO,IAAI,eAAe,YAAY;AAC/D,oBAAU,aACR,IAAI;AAAA,QACR;AACA,eAAO;AAAA,MACT,CAAC;AAED,YAAM,aAAa,CAAC,GAAG,sBAAsB,GAAI,eAAe,cAAc,CAAC,CAAE;AAEjF,YAAM,UAAU,qBAAqB;AAAA,QACnC,UAAU,eAAe;AAAA,QACzB,SAAS;AAAA,QACT;AAAA,MACF,CAAC;AAED,YAAM,kBAA6C;AAAA,QACjD,SAAS;AAAA,QACT,QAAQ;AAAA,QACR,QAAQ,eAAe;AAAA,QACvB;AAAA,QACA,GAAI,eAAe,UAAU,EAAE,SAAS,eAAe,QAAQ,IAAI,CAAC;AAAA,QACpE,GAAI,eAAe,OAAO,EAAE,MAAM,eAAe,KAAK,IAAI,CAAC;AAAA,QAC3D,GAAI,eAAe,MAAM,EAAE,KAAK,eAAe,IAAI,IAAI,CAAC;AAAA,MAC1D;AAEA,aAAO,cAAc,eAAe;AAAA,IACtC;AAAA,EACF;AACF;;;AC5HA,IAAM,oBAA2C;AAAA,EAC/C,IAAI;AAAA,EACJ,SAAS;AACX;AAMO,IAAM,6BAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,WAAW;AAAA,EAEpB,OAAiC,SASJ;AAC3B,WAAO,+BAA+B;AAAA,MACpC,QAAQ,QAAQ;AAAA,MAChB,SAAS,QAAQ;AAAA,MACjB,QAAQ,QAAQ;AAAA,MAChB,YAAY,QAAQ;AAAA,IACtB,CAAC;AAAA,EACH;AACF;;;AC9CA,IAAO,kBAAQ,IAAI,2BAA2B;","names":[]}

package/dist/exports/test-utils.js

@@ -3,8 +3,8 @@ import {
   extractCodecTypeImportsFromPacks,
   extractExtensionIdsFromPacks,
   extractOperationTypeImportsFromPacks
-} from "./chunk-MHDZIQUL.js";
-import "./chunk-3HYKCN35.js";
+} from "./chunk-ZAI6E4PG.js";
+import "./chunk-2L5DCW2L.js";
 import "./chunk-I7QWTBWS.js";
 export {
   assembleOperationRegistryFromPacks,

package/dist/exports/verify.d.ts

@@ -23,6 +23,6 @@ declare function readMarkerSql(): {
  * @param driver - ControlDriverInstance instance for executing queries
  * @returns Promise resolving to ContractMarkerRecord or null if marker not found
  */
-declare function readMarker(driver: ControlDriverInstance): Promise<ContractMarkerRecord | null>;
+declare function readMarker(driver: ControlDriverInstance<'sql', string>): Promise<ContractMarkerRecord | null>;
 
 export { parseContractMarkerRow, readMarker, readMarkerSql };

package/dist/exports/verify.js

@@ -2,7 +2,7 @@ import {
   parseContractMarkerRow,
   readMarker,
   readMarkerSql
-} from "./chunk-3HYKCN35.js";
+} from "./chunk-2L5DCW2L.js";
 export {
   parseContractMarkerRow,
   readMarker,

package/package.json

@@ -1,32 +1,32 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.1.0-dev.16",
+  "version": "0.1.0-dev.18",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/cli": "0.1.0-dev.16",
-    "@prisma-next/contract": "0.1.0-dev.16",
-    "@prisma-next/core-control-plane": "0.1.0-dev.16",
-    "@prisma-next/core-execution-plane": "0.1.0-dev.16",
-    "@prisma-next/operations": "0.1.0-dev.16",
-    "@prisma-next/runtime-executor": "0.1.0-dev.16",
-    "@prisma-next/sql-contract-emitter": "0.1.0-dev.16",
-    "@prisma-next/sql-contract-ts": "0.1.0-dev.16",
-    "@prisma-next/sql-contract": "0.1.0-dev.16",
-    "@prisma-next/sql-operations": "0.1.0-dev.16",
-    "@prisma-next/sql-relational-core": "0.1.0-dev.16",
-    "@prisma-next/sql-schema-ir": "0.1.0-dev.16",
-    "@prisma-next/utils": "0.1.0-dev.16",
-    "@prisma-next/sql-runtime": "0.1.0-dev.16"
+    "@prisma-next/cli": "0.1.0-dev.18",
+    "@prisma-next/contract": "0.1.0-dev.18",
+    "@prisma-next/core-control-plane": "0.1.0-dev.18",
+    "@prisma-next/core-execution-plane": "0.1.0-dev.18",
+    "@prisma-next/operations": "0.1.0-dev.18",
+    "@prisma-next/runtime-executor": "0.1.0-dev.18",
+    "@prisma-next/sql-contract-emitter": "0.1.0-dev.18",
+    "@prisma-next/sql-contract-ts": "0.1.0-dev.18",
+    "@prisma-next/sql-contract": "0.1.0-dev.18",
+    "@prisma-next/sql-operations": "0.1.0-dev.18",
+    "@prisma-next/sql-relational-core": "0.1.0-dev.18",
+    "@prisma-next/sql-runtime": "0.1.0-dev.18",
+    "@prisma-next/sql-schema-ir": "0.1.0-dev.18",
+    "@prisma-next/utils": "0.1.0-dev.18"
   },
   "devDependencies": {
     "tsup": "^8.3.0",
     "typescript": "^5.9.3",
     "vite-tsconfig-paths": "^5.1.4",
     "vitest": "^2.1.1",
-    "@prisma-next/driver-postgres": "0.1.0-dev.16",
+    "@prisma-next/driver-postgres": "0.1.0-dev.18",
     "@prisma-next/test-utils": "0.0.1"
   },
   "files": [

package/dist/exports/chunk-3HYKCN35.js.map

@@ -1 +0,0 @@
-{"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,\n): Promise<ContractMarkerRecord | null> {\n  const markerStatement = readMarkerSql();\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}\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;AACtC,QAAM,cAAc,MAAM,OAAO,MAQ9B,gBAAgB,KAAK,gBAAgB,MAAM;AAE9C,MAAI,YAAY,KAAK,WAAW,GAAG;AACjC,WAAO;AAAA,EACT;AAEA,QAAM,YAAY,YAAY,KAAK,CAAC;AACpC,MAAI,CAAC,WAAW;AAEd,UAAM,IAAI,MAAM,qDAAqD;AAAA,EACvE;AAEA,SAAO,uBAAuB,SAAS;AACzC;AAcO,SAAS,6BACd,aAKmB;AAInB,OAAK;AACL,SAAO,CAAC;AACV;","names":[]}

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

@@ -1 +0,0 @@
-{"version":3,"sources":["../../src/core/assembly.ts","../../src/core/instance.ts"],"sourcesContent":["import type {\n  ExtensionPackManifest,\n  OperationManifest,\n} 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// Import private function from same package (test utility needs it)\nimport { convertOperationManifest } from './instance';\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.manifest.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 codecTypes = descriptor.manifest.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 operationTypes = descriptor.manifest.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\n/**\n * Extracts codec type imports from extension packs for contract.d.ts generation.\n * Pack-based version for use in tests.\n */\nexport function extractCodecTypeImportsFromPacks(\n  packs: ReadonlyArray<{ readonly manifest: ExtensionPackManifest }>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const pack of packs) {\n    const codecTypes = pack.manifest.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 extension packs for contract.d.ts generation.\n * Pack-based version for use in tests.\n */\nexport function extractOperationTypeImportsFromPacks(\n  packs: ReadonlyArray<{ readonly manifest: ExtensionPackManifest }>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const pack of packs) {\n    const operationTypes = pack.manifest.types?.operationTypes;\n    if (operationTypes?.import) {\n      imports.push(operationTypes.import);\n    }\n  }\n\n  return imports;\n}\n\n/**\n * Assembles an operation registry from extension packs.\n * Pack-based version for use in tests.\n */\nexport function assembleOperationRegistryFromPacks(\n  packs: ReadonlyArray<{ readonly manifest: ExtensionPackManifest }>,\n): OperationRegistry {\n  const registry = createOperationRegistry();\n\n  for (const pack of packs) {\n    const operations = pack.manifest.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 extension IDs from packs.\n * Pack-based version for use in tests.\n */\nexport function extractExtensionIdsFromPacks(\n  packs: ReadonlyArray<{ readonly manifest: ExtensionPackManifest }>,\n): ReadonlyArray<string> {\n  return packs.map((pack) => pack.manifest.id);\n}\n","import 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 type { SqlControlTargetDescriptor } from './migrations/types';\nimport { verifySqlSchema } from './schema-verify/verify-sql-schema';\nimport { collectSupportedCodecTypeIds, readMarker } from './verify';\n\n/**\n * Converts an OperationManifest (from ExtensionPackManifest) to a SqlOperationSignature.\n * This is SQL-family-specific conversion logic.\n * Used internally by instance creation and test utilities in the same package.\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;\n  readonly contractIR: unknown;\n  readonly strict: boolean;\n  readonly context?: OperationContext;\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): unknown;\n\n  /**\n   * Verifies the database marker against the contract.\n   * Compares target, coreHash, and profileHash.\n   */\n  verify(options: {\n    readonly driver: ControlDriverInstance;\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;\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;\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<\n  TTargetId extends string = string,\n  TTargetDetails = Record<string, never>,\n> {\n  readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;\n  readonly adapter: ControlAdapterDescriptor<'sql', string>;\n  readonly extensions: readonly ControlExtensionDescriptor<'sql', string>[];\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 extensions: readonly ControlExtensionDescriptor<'sql', string>[];\n}): SqlTypeMetadataRegistry {\n  const { target, adapter, 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 manifest\n  for (const descriptor of descriptors) {\n    const manifest = descriptor.manifest;\n    const storageTypes = manifest.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<\n  TTargetId extends string = string,\n  TTargetDetails = Record<string, never>,\n>(options: CreateSqlFamilyInstanceOptions<TTargetId, TTargetDetails>): SqlFamilyInstance {\n  const { target, adapter, 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({ target, adapter, extensions });\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): unknown {\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      const { mappings: _mappings, ...contractIR } = validated;\n      return contractIR;\n    },\n\n    async verify(verifyOptions: {\n      readonly driver: ControlDriverInstance;\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 } = 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() as SqlControlAdapter;\n      const schemaIR = await controlAdapter.introspect(\n        driver as ControlDriverInstance<string>,\n        contractIR,\n      );\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      });\n    },\n    async sign(options: {\n      readonly driver: ControlDriverInstance;\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 introspect(options: {\n      readonly driver: ControlDriverInstance;\n      readonly contractIR?: unknown;\n    }): Promise<SqlSchemaIR> {\n      const { driver, contractIR } = options;\n\n      // ControlAdapterDescriptor has create() method that returns SqlControlAdapter\n      const controlAdapter = adapter.create() as SqlControlAdapter;\n      return controlAdapter.introspect(driver as ControlDriverInstance<string>, 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) as ContractIR;\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":";;;;;;;;;AAWA,SAAS,+BAA+B;;;ACRxC,SAAS,YAAY;AAgBrB,SAAS,2BAA2B;AACpC,SAAS,wBAAwB;AAEjC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAEP,SAAS,iBAAiB;AAiBnB,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;AA4IA,SAAS,6BAA6B,SAIV;AAC1B,QAAM,EAAE,QAAQ,SAAS,WAAW,IAAI;AACxC,QAAM,WAAW,oBAAI,IAA6B;AAGlD,QAAM,WAAW,QAAQ;AAGzB,QAAM,cAAc,CAAC,QAAQ,SAAS,GAAG,UAAU;AAGnD,aAAW,cAAc,aAAa;AACpC,UAAM,WAAW,WAAW;AAC5B,UAAM,eAAe,SAAS,OAAO;AAErC,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,wBAGd,SAAuF;AACvF,QAAM,EAAE,QAAQ,SAAS,WAAW,IAAI;AAIxC,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,EAAE,QAAQ,SAAS,WAAW,CAAC;AAKzF,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,cAAgC;AAEjD,YAAM,YAAY,iBAA0C,YAAY;AAExE,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,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,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,QAAQ,IAAIA;AAGhD,YAAM,WAAW,iBAA0C,UAAU;AAGrE,YAAM,iBAAiB,QAAQ,OAAO;AACtC,YAAM,WAAW,MAAM,eAAe;AAAA,QACpC;AAAA,QACA;AAAA,MACF;AAGA,aAAO,gBAAgB;AAAA,QACrB;AAAA,QACA,QAAQ;AAAA,QACR;AAAA,QACA,GAAG,UAAU,WAAW,OAAO;AAAA,QAC/B;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,UAGQ;AACvB,YAAM,EAAE,QAAQ,WAAW,IAAIA;AAG/B,YAAM,iBAAiB,QAAQ,OAAO;AACtC,aAAO,eAAe,WAAW,QAAyC,UAAU;AAAA,IACtF;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;;;AD11BO,SAAS,0BACd,aAKAC,2BACmB;AACnB,QAAM,WAAW,wBAAwB;AAEzC,aAAW,cAAc,aAAa;AACpC,UAAM,aAAa,WAAW,SAAS,cAAc,CAAC;AACtD,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,aAAa,WAAW,SAAS,OAAO;AAC9C,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,iBAAiB,WAAW,SAAS,OAAO;AAClD,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;AAMO,SAAS,iCACd,OACgC;AAChC,QAAM,UAA6B,CAAC;AAEpC,aAAW,QAAQ,OAAO;AACxB,UAAM,aAAa,KAAK,SAAS,OAAO;AACxC,QAAI,YAAY,QAAQ;AACtB,cAAQ,KAAK,WAAW,MAAM;AAAA,IAChC;AAAA,EACF;AAEA,SAAO;AACT;AAMO,SAAS,qCACd,OACgC;AAChC,QAAM,UAA6B,CAAC;AAEpC,aAAW,QAAQ,OAAO;AACxB,UAAM,iBAAiB,KAAK,SAAS,OAAO;AAC5C,QAAI,gBAAgB,QAAQ;AAC1B,cAAQ,KAAK,eAAe,MAAM;AAAA,IACpC;AAAA,EACF;AAEA,SAAO;AACT;AAMO,SAAS,mCACd,OACmB;AACnB,QAAM,WAAW,wBAAwB;AAEzC,aAAW,QAAQ,OAAO;AACxB,UAAM,aAAa,KAAK,SAAS,cAAc,CAAC;AAChD,eAAW,qBAAqB,YAAgD;AAC9E,YAAM,YAAY,yBAAyB,iBAAiB;AAC5D,eAAS,SAAS,SAAS;AAAA,IAC7B;AAAA,EACF;AAEA,SAAO;AACT;AAMO,SAAS,6BACd,OACuB;AACvB,SAAO,MAAM,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE;AAC7C;","names":["totalTime","options","convertOperationManifest"]}