@prisma-next/family-sql 0.1.0-dev.17 → 0.1.0-dev.19

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

@@ -2,6 +2,7 @@ import { OperationRegistry } from '@prisma-next/operations';
 import { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-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';
@@ -229,7 +230,7 @@ interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails = Record<string, nev
  */
 interface SqlMigrationRunnerExecuteOptions<TTargetDetails = Record<string, never>> {
     readonly plan: SqlMigrationPlan<TTargetDetails>;
-    readonly driver: ControlDriverInstance;
+    readonly driver: ControlDriverInstance<'sql', string>;
     /**
      * Destination contract IR.
      * Must correspond to `plan.destination` and is used for schema verification and marker/ledger writes.
@@ -330,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;
@@ -344,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;
@@ -367,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;
@@ -389,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>;
     /**
@@ -428,7 +429,7 @@ 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;

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  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;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,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":[]}
+{"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.17",
+  "version": "0.1.0-dev.19",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/cli": "0.1.0-dev.17",
-    "@prisma-next/contract": "0.1.0-dev.17",
-    "@prisma-next/core-control-plane": "0.1.0-dev.17",
-    "@prisma-next/core-execution-plane": "0.1.0-dev.17",
-    "@prisma-next/operations": "0.1.0-dev.17",
-    "@prisma-next/sql-contract-emitter": "0.1.0-dev.17",
-    "@prisma-next/runtime-executor": "0.1.0-dev.17",
-    "@prisma-next/sql-contract-ts": "0.1.0-dev.17",
-    "@prisma-next/sql-contract": "0.1.0-dev.17",
-    "@prisma-next/sql-operations": "0.1.0-dev.17",
-    "@prisma-next/sql-relational-core": "0.1.0-dev.17",
-    "@prisma-next/sql-runtime": "0.1.0-dev.17",
-    "@prisma-next/sql-schema-ir": "0.1.0-dev.17",
-    "@prisma-next/utils": "0.1.0-dev.17"
+    "@prisma-next/cli": "0.1.0-dev.19",
+    "@prisma-next/contract": "0.1.0-dev.19",
+    "@prisma-next/core-control-plane": "0.1.0-dev.19",
+    "@prisma-next/core-execution-plane": "0.1.0-dev.19",
+    "@prisma-next/operations": "0.1.0-dev.19",
+    "@prisma-next/runtime-executor": "0.1.0-dev.19",
+    "@prisma-next/sql-contract-emitter": "0.1.0-dev.19",
+    "@prisma-next/sql-contract-ts": "0.1.0-dev.19",
+    "@prisma-next/sql-operations": "0.1.0-dev.19",
+    "@prisma-next/sql-contract": "0.1.0-dev.19",
+    "@prisma-next/sql-relational-core": "0.1.0-dev.19",
+    "@prisma-next/sql-runtime": "0.1.0-dev.19",
+    "@prisma-next/sql-schema-ir": "0.1.0-dev.19",
+    "@prisma-next/utils": "0.1.0-dev.19"
   },
   "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.17",
+    "vitest": "^4.0.16",
+    "@prisma-next/driver-postgres": "0.1.0-dev.19",
     "@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"]}