@prisma-next/family-sql 0.3.0-dev.7 → 0.3.0-dev.8

package/dist/{chunk-6K3RPBDP.js → chunk-SQ2VWYDV.js}

@@ -175,6 +175,9 @@ function createVerifyResult(options) {
   }
   return result;
 }
+function isSqlControlAdapter(value) {
+  return typeof value === "object" && value !== null && "introspect" in value && typeof value.introspect === "function";
+}
 function buildSqlTypeMetadataRegistry(options) {
   const { target, adapter, extensionPacks: extensions } = options;
   const registry = /* @__PURE__ */ new Map();
@@ -344,6 +347,9 @@ function createSqlFamilyInstance(options) {
       const { driver, contractIR, strict, context, frameworkComponents } = options2;
       const contract = validateContract(contractIR);
       const controlAdapter = adapter.create();
+      if (!isSqlControlAdapter(controlAdapter)) {
+        throw new Error("Adapter does not implement SqlControlAdapter.introspect()");
+      }
       const schemaIR = await controlAdapter.introspect(driver, contractIR);
       return verifySqlSchema({
         contract,
@@ -436,6 +442,9 @@ function createSqlFamilyInstance(options) {
     async introspect(options2) {
       const { driver, contractIR } = options2;
       const controlAdapter = adapter.create();
+      if (!isSqlControlAdapter(controlAdapter)) {
+        throw new Error("Adapter does not implement SqlControlAdapter.introspect()");
+      }
       return controlAdapter.introspect(driver, contractIR);
     },
     toSchemaView(schema) {
@@ -577,4 +586,4 @@ export {
   convertOperationManifest,
   createSqlFamilyInstance
 };
-//# sourceMappingURL=chunk-6K3RPBDP.js.map
+//# sourceMappingURL=chunk-SQ2VWYDV.js.map

package/dist/chunk-SQ2VWYDV.js.map

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

package/dist/core/descriptor.d.ts

@@ -1,7 +1,5 @@
-import type { ControlAdapterDescriptor, ControlDriverDescriptor, ControlExtensionDescriptor, ControlFamilyDescriptor } from '@prisma-next/core-control-plane/types';
-import type { SqlControlAdapter } from './control-adapter';
+import type { ControlFamilyDescriptor, ControlPlaneStack } from '@prisma-next/core-control-plane/types';
 import { type SqlControlFamilyInstance } from './instance';
-import type { SqlControlTargetDescriptor } from './migrations/types';
 /**
  * SQL family descriptor implementation.
  * Provides the SQL family hook and factory method.
@@ -21,11 +19,6 @@ export declare class SqlFamilyDescriptor implements ControlFamilyDescriptor<'sql
         readonly generateRelationsType: (relations: Record<string, unknown> | undefined) => string;
         readonly generateMappingsType: (models: Record<string, import("@prisma-next/sql-contract/types").ModelDefinition> | undefined, storage: import("@prisma-next/sql-contract/types").SqlStorage, codecTypes: string, operationTypes: string) => string;
     };
-    create<TTargetId extends string, TTargetDetails>(options: {
-        readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;
-        readonly adapter: ControlAdapterDescriptor<'sql', TTargetId, SqlControlAdapter<TTargetId>>;
-        readonly driver: ControlDriverDescriptor<'sql', TTargetId>;
-        readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', TTargetId>[];
-    }): SqlControlFamilyInstance;
+    create<TTargetId extends string>(stack: ControlPlaneStack<'sql', TTargetId>): SqlControlFamilyInstance;
 }
 //# sourceMappingURL=descriptor.d.ts.map

package/dist/core/descriptor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"descriptor.d.ts","sourceRoot":"","sources":["../../src/core/descriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACxB,MAAM,uCAAuC,CAAC;AAE/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAA2B,KAAK,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACpF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;GAGG;AACH,qBAAa,mBACX,YAAW,uBAAuB,CAAC,KAAK,EAAE,wBAAwB,CAAC;IAEnE,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAClC,QAAQ,CAAC,EAAE,SAAS;IACpB,QAAQ,CAAC,QAAQ,EAAG,KAAK,CAAU;IACnC,QAAQ,CAAC,OAAO,WAAW;IAC3B,QAAQ,CAAC,IAAI;;;;;;;;;MAAuB;IAEpC,MAAM,CAAC,SAAS,SAAS,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE;QACxD,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACvE,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC,KAAK,EAAE,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3F,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC3D,QAAQ,CAAC,cAAc,EAAE,SAAS,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;KAClF,GAAG,wBAAwB;CAO7B"}
+{"version":3,"file":"descriptor.d.ts","sourceRoot":"","sources":["../../src/core/descriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,uBAAuB,EACvB,iBAAiB,EAClB,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EAA2B,KAAK,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAEpF;;;GAGG;AACH,qBAAa,mBACX,YAAW,uBAAuB,CAAC,KAAK,EAAE,wBAAwB,CAAC;IAEnE,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAClC,QAAQ,CAAC,EAAE,SAAS;IACpB,QAAQ,CAAC,QAAQ,EAAG,KAAK,CAAU;IACnC,QAAQ,CAAC,OAAO,WAAW;IAC3B,QAAQ,CAAC,IAAI;;;;;;;;;MAAuB;IAEpC,MAAM,CAAC,SAAS,SAAS,MAAM,EAC7B,KAAK,EAAE,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,GACzC,wBAAwB;CAU5B"}

package/dist/core/instance.d.ts

@@ -3,12 +3,10 @@ import type { ContractIR } from '@prisma-next/contract/ir';
 import type { OperationManifest } from '@prisma-next/contract/pack-manifest-types';
 import type { TypesImportSpec } from '@prisma-next/contract/types';
 import type { CoreSchemaView } from '@prisma-next/core-control-plane/schema-view';
-import type { ControlAdapterDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyInstance, EmitContractResult, OperationContext, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from '@prisma-next/core-control-plane/types';
+import type { ControlAdapterDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyInstance, ControlTargetDescriptor, EmitContractResult, OperationContext, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from '@prisma-next/core-control-plane/types';
 import type { OperationRegistry } from '@prisma-next/operations';
 import type { SqlOperationSignature } from '@prisma-next/sql-operations';
 import type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
-import type { SqlControlAdapter } from './control-adapter';
-import type { SqlControlTargetDescriptor } from './migrations/types';
 /**
  * Converts an OperationManifest (descriptor declarative data) to a SqlOperationSignature.
  * This is SQL-family-specific conversion logic used by instance creation and test utilities.
@@ -129,14 +127,14 @@ export interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql'>,
  * Maintains backward compatibility with FamilyInstance while implementing SqlControlFamilyInstance.
  */
 export type SqlFamilyInstance = SqlControlFamilyInstance;
-interface CreateSqlFamilyInstanceOptions<TTargetId extends string, TTargetDetails> {
-    readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;
-    readonly adapter: ControlAdapterDescriptor<'sql', string, SqlControlAdapter>;
-    readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', string>[];
+interface CreateSqlFamilyInstanceOptions<TTargetId extends string> {
+    readonly target: ControlTargetDescriptor<'sql', TTargetId>;
+    readonly adapter: ControlAdapterDescriptor<'sql', TTargetId>;
+    readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', TTargetId>[];
 }
 /**
  * Creates a SQL family instance for control-plane operations.
  */
-export declare function createSqlFamilyInstance<TTargetId extends string, TTargetDetails>(options: CreateSqlFamilyInstanceOptions<TTargetId, TTargetDetails>): SqlFamilyInstance;
+export declare function createSqlFamilyInstance<TTargetId extends string>(options: CreateSqlFamilyInstanceOptions<TTargetId>): SqlFamilyInstance;
 export {};
 //# sourceMappingURL=instance.d.ts.map

package/dist/core/instance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"instance.d.ts","sourceRoot":"","sources":["../../src/core/instance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AACjG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AACnF,OAAO,KAAK,EAAwB,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAEzF,OAAO,KAAK,EAAE,cAAc,EAAkB,MAAM,6CAA6C,CAAC;AAClG,OAAO,KAAK,EACV,wBAAwB,EACxB,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EAErB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,0BAA0B,EAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAIjE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAMzE,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,kCAAkC,CAAC;AAQhF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAIrE;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,qBAAqB,CAsC3F;AAwHD;;;GAGG;AACH,UAAU,eAAe;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;;GAGG;AACH,KAAK,uBAAuB,GAAG,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;AAE5D;;GAEG;AACH,UAAU,sBAAsB;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC1D,QAAQ,CAAC,oBAAoB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC9D,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;CACxD;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5F;AAED;;;GAGG;AACH,MAAM,WAAW,wBACf,SAAQ,qBAAqB,CAAC,KAAK,CAAC,EAClC,sBAAsB;IACxB;;;OAGG;IACH,kBAAkB,CAAC,YAAY,EAAE,OAAO,GAAG,UAAU,CAAC;IAEtD;;;OAGG;IACH,MAAM,CAAC,OAAO,EAAE;QACd,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACtD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;KAC9B,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAElC;;;OAGG;IACH,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAEhF;;;;OAIG;IACH,IAAI,CAAC,OAAO,EAAE;QACZ,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACtD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;KAC9B,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAEhC;;;;;;;;;;;;;;;OAeG;IACH,UAAU,CAAC,OAAO,EAAE;QAClB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACtD,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;KAC/B,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAEzB;;;OAGG;IACH,YAAY,CAAC,MAAM,EAAE,WAAW,GAAG,cAAc,CAAC;IAElD;;;;OAIG;IACH,YAAY,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACnG;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,wBAAwB,CAAC;AAEzD,UAAU,8BAA8B,CAAC,SAAS,SAAS,MAAM,EAAE,cAAc;IAC/E,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IACvE,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC,KAAK,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC7E,QAAQ,CAAC,cAAc,EAAE,SAAS,0BAA0B,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;CAC/E;AAkDD;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,SAAS,SAAS,MAAM,EAAE,cAAc,EAC9E,OAAO,EAAE,8BAA8B,CAAC,SAAS,EAAE,cAAc,CAAC,GACjE,iBAAiB,CAifnB"}
+{"version":3,"file":"instance.d.ts","sourceRoot":"","sources":["../../src/core/instance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AACjG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AACnF,OAAO,KAAK,EAAwB,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAEzF,OAAO,KAAK,EAAE,cAAc,EAAkB,MAAM,6CAA6C,CAAC;AAClG,OAAO,KAAK,EACV,wBAAwB,EACxB,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,EACvB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,0BAA0B,EAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAIjE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAMzE,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,kCAAkC,CAAC;AAYhF;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,qBAAqB,CAsC3F;AAwHD;;;GAGG;AACH,UAAU,eAAe;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;;GAGG;AACH,KAAK,uBAAuB,GAAG,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;AAE5D;;GAEG;AACH,UAAU,sBAAsB;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC1D,QAAQ,CAAC,oBAAoB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC9D,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;CACxD;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5F;AAED;;;GAGG;AACH,MAAM,WAAW,wBACf,SAAQ,qBAAqB,CAAC,KAAK,CAAC,EAClC,sBAAsB;IACxB;;;OAGG;IACH,kBAAkB,CAAC,YAAY,EAAE,OAAO,GAAG,UAAU,CAAC;IAEtD;;;OAGG;IACH,MAAM,CAAC,OAAO,EAAE;QACd,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACtD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;KAC9B,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAElC;;;OAGG;IACH,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAEhF;;;;OAIG;IACH,IAAI,CAAC,OAAO,EAAE;QACZ,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACtD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;KAC9B,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAEhC;;;;;;;;;;;;;;;OAeG;IACH,UAAU,CAAC,OAAO,EAAE;QAClB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACtD,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;KAC/B,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAEzB;;;OAGG;IACH,YAAY,CAAC,MAAM,EAAE,WAAW,GAAG,cAAc,CAAC;IAElD;;;;OAIG;IACH,YAAY,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACnG;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,wBAAwB,CAAC;AAEzD,UAAU,8BAA8B,CAAC,SAAS,SAAS,MAAM;IAC/D,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC3D,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC7D,QAAQ,CAAC,cAAc,EAAE,SAAS,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;CAClF;AA6DD;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,SAAS,SAAS,MAAM,EAC9D,OAAO,EAAE,8BAA8B,CAAC,SAAS,CAAC,GACjD,iBAAiB,CAufnB"}

package/dist/exports/control.js

@@ -1,6 +1,6 @@
 import {
   createSqlFamilyInstance
-} from "../chunk-6K3RPBDP.js";
+} from "../chunk-SQ2VWYDV.js";
 import "../chunk-SU7LN2UH.js";
 import "../chunk-BHEGVBY7.js";
 
@@ -12,11 +12,11 @@ var SqlFamilyDescriptor = class {
   familyId = "sql";
   version = "0.0.1";
   hook = sqlTargetFamilyHook;
-  create(options) {
+  create(stack) {
     return createSqlFamilyInstance({
-      target: options.target,
-      adapter: options.adapter,
-      extensionPacks: options.extensionPacks
+      target: stack.target,
+      adapter: stack.adapter,
+      extensionPacks: stack.extensionPacks
     });
   }
 };

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 {\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 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 version = '0.0.1';\n  readonly hook = sqlTargetFamilyHook;\n\n  create<TTargetId extends string, TTargetDetails>(options: {\n    readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;\n    readonly adapter: ControlAdapterDescriptor<'sql', TTargetId, SqlControlAdapter<TTargetId>>;\n    readonly driver: ControlDriverDescriptor<'sql', TTargetId>;\n    readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', TTargetId>[];\n  }): SqlControlFamilyInstance {\n    return createSqlFamilyInstance({\n      target: options.target,\n      adapter: options.adapter,\n      extensionPacks: options.extensionPacks,\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>(\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  ComponentDatabaseDependencies,\n  ComponentDatabaseDependency,\n  CreateSqlMigrationPlanOptions,\n  SqlControlExtensionDescriptor,\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":";;;;;;;AAMA,SAAS,2BAA2B;AAS7B,IAAM,sBAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,UAAU;AAAA,EACV,OAAO;AAAA,EAEhB,OAAiD,SAKpB;AAC3B,WAAO,wBAAwB;AAAA,MAC7B,QAAQ,QAAQ;AAAA,MAChB,SAAS,QAAQ;AAAA,MACjB,gBAAgB,QAAQ;AAAA,IAC1B,CAAC;AAAA,EACH;AACF;;;ACnCA,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;;;ACgDD,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 {\n  ControlFamilyDescriptor,\n  ControlPlaneStack,\n} from '@prisma-next/core-control-plane/types';\nimport { sqlTargetFamilyHook } from '@prisma-next/sql-contract-emitter';\nimport { createSqlFamilyInstance, type SqlControlFamilyInstance } from './instance';\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 version = '0.0.1';\n  readonly hook = sqlTargetFamilyHook;\n\n  create<TTargetId extends string>(\n    stack: ControlPlaneStack<'sql', TTargetId>,\n  ): SqlControlFamilyInstance {\n    // Note: driver is not passed here because SqlFamilyInstance operations\n    // (validate, emit, etc.) don't require DB connectivity. Commands that\n    // need the driver (verify, introspect) get it directly from the stack.\n    return createSqlFamilyInstance({\n      target: stack.target,\n      adapter: stack.adapter,\n      extensionPacks: stack.extensionPacks,\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>(\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  ComponentDatabaseDependencies,\n  ComponentDatabaseDependency,\n  CreateSqlMigrationPlanOptions,\n  SqlControlExtensionDescriptor,\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":";;;;;;;AAIA,SAAS,2BAA2B;AAO7B,IAAM,sBAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,UAAU;AAAA,EACV,OAAO;AAAA,EAEhB,OACE,OAC0B;AAI1B,WAAO,wBAAwB;AAAA,MAC7B,QAAQ,MAAM;AAAA,MACd,SAAS,MAAM;AAAA,MACf,gBAAgB,MAAM;AAAA,IACxB,CAAC;AAAA,EACH;AACF;;;AC/BA,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;;;ACgDD,IAAO,kBAAQ,IAAI,oBAAoB;","names":[]}

package/dist/exports/test-utils.js

@@ -4,7 +4,7 @@ import {
   extractCodecTypeImports,
   extractExtensionIds,
   extractOperationTypeImports
-} from "../chunk-6K3RPBDP.js";
+} from "../chunk-SQ2VWYDV.js";
 import "../chunk-SU7LN2UH.js";
 import "../chunk-BHEGVBY7.js";
 export {

package/package.json

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

package/src/core/descriptor.ts

@@ -1,13 +1,9 @@
 import type {
-  ControlAdapterDescriptor,
-  ControlDriverDescriptor,
-  ControlExtensionDescriptor,
   ControlFamilyDescriptor,
+  ControlPlaneStack,
 } from '@prisma-next/core-control-plane/types';
 import { sqlTargetFamilyHook } from '@prisma-next/sql-contract-emitter';
-import type { SqlControlAdapter } from './control-adapter';
 import { createSqlFamilyInstance, type SqlControlFamilyInstance } from './instance';
-import type { SqlControlTargetDescriptor } from './migrations/types';
 
 /**
  * SQL family descriptor implementation.
@@ -22,16 +18,16 @@ export class SqlFamilyDescriptor
   readonly version = '0.0.1';
   readonly hook = sqlTargetFamilyHook;
 
-  create<TTargetId extends string, TTargetDetails>(options: {
-    readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;
-    readonly adapter: ControlAdapterDescriptor<'sql', TTargetId, SqlControlAdapter<TTargetId>>;
-    readonly driver: ControlDriverDescriptor<'sql', TTargetId>;
-    readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', TTargetId>[];
-  }): SqlControlFamilyInstance {
+  create<TTargetId extends string>(
+    stack: ControlPlaneStack<'sql', TTargetId>,
+  ): SqlControlFamilyInstance {
+    // Note: driver is not passed here because SqlFamilyInstance operations
+    // (validate, emit, etc.) don't require DB connectivity. Commands that
+    // need the driver (verify, introspect) get it directly from the stack.
     return createSqlFamilyInstance({
-      target: options.target,
-      adapter: options.adapter,
-      extensionPacks: options.extensionPacks,
+      target: stack.target,
+      adapter: stack.adapter,
+      extensionPacks: stack.extensionPacks,
     });
   }
 }

package/src/core/instance.ts

@@ -35,7 +35,6 @@ import {
   extractOperationTypeImports,
 } from './assembly';
 import type { SqlControlAdapter } from './control-adapter';
-import type { SqlControlTargetDescriptor } from './migrations/types';
 import { verifySqlSchema } from './schema-verify/verify-sql-schema';
 import { collectSupportedCodecTypeIds, readMarker } from './verify';
 
@@ -328,10 +327,21 @@ export interface SqlControlFamilyInstance
  */
 export type SqlFamilyInstance = SqlControlFamilyInstance;
 
-interface CreateSqlFamilyInstanceOptions<TTargetId extends string, TTargetDetails> {
-  readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;
-  readonly adapter: ControlAdapterDescriptor<'sql', string, SqlControlAdapter>;
-  readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', string>[];
+interface CreateSqlFamilyInstanceOptions<TTargetId extends string> {
+  readonly target: ControlTargetDescriptor<'sql', TTargetId>;
+  readonly adapter: ControlAdapterDescriptor<'sql', TTargetId>;
+  readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', TTargetId>[];
+}
+
+function isSqlControlAdapter<TTargetId extends string>(
+  value: unknown,
+): value is SqlControlAdapter<TTargetId> {
+  return (
+    typeof value === 'object' &&
+    value !== null &&
+    'introspect' in value &&
+    typeof (value as { introspect: unknown }).introspect === 'function'
+  );
 }
 
 /**
@@ -385,8 +395,8 @@ function buildSqlTypeMetadataRegistry(options: {
 /**
  * Creates a SQL family instance for control-plane operations.
  */
-export function createSqlFamilyInstance<TTargetId extends string, TTargetDetails>(
-  options: CreateSqlFamilyInstanceOptions<TTargetId, TTargetDetails>,
+export function createSqlFamilyInstance<TTargetId extends string>(
+  options: CreateSqlFamilyInstanceOptions<TTargetId>,
 ): SqlFamilyInstance {
   const { target, adapter, extensionPacks: extensions = [] } = options;
 
@@ -594,6 +604,9 @@ export function createSqlFamilyInstance<TTargetId extends string, TTargetDetails
 
       // Introspect live schema (DB I/O)
       const controlAdapter = adapter.create();
+      if (!isSqlControlAdapter(controlAdapter)) {
+        throw new Error('Adapter does not implement SqlControlAdapter.introspect()');
+      }
       const schemaIR = await controlAdapter.introspect(driver, contractIR);
 
       // Pure verification (no I/O) - delegates to extracted pure function
@@ -724,6 +737,9 @@ export function createSqlFamilyInstance<TTargetId extends string, TTargetDetails
       const { driver, contractIR } = options;
 
       const controlAdapter = adapter.create();
+      if (!isSqlControlAdapter(controlAdapter)) {
+        throw new Error('Adapter does not implement SqlControlAdapter.introspect()');
+      }
       return controlAdapter.introspect(driver, contractIR);
     },
 

package/dist/chunk-6K3RPBDP.js.map

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