@prisma-next/cli 0.3.0-pr.88.3 → 0.3.0-pr.88.4

package/dist/{chunk-4GX6MW6J.js → chunk-6Y3CCOHP.js}

@@ -493,7 +493,7 @@ var ControlClientImpl = class {
       const result = await familyInstance.sign({
         driver,
         contractIR,
-        contractPath: ""
+        contractPath: options.contractPath ?? ""
       });
       onProgress?.({
         action: "sign",
@@ -614,4 +614,4 @@ var ControlClientImpl = class {
 export {
   createControlClient
 };
-//# sourceMappingURL=chunk-4GX6MW6J.js.map
+//# sourceMappingURL=chunk-6Y3CCOHP.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/control-api/client.ts","../src/utils/framework-components.ts","../src/control-api/operations/db-init.ts"],"sourcesContent":["import type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';\nimport { createControlPlaneStack } from '@prisma-next/core-control-plane/stack';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  ControlPlaneStack,\n  SignDatabaseResult,\n  VerifyDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/core-control-plane/types';\nimport { assertFrameworkComponentsCompatible } from '../utils/framework-components';\nimport { executeDbInit } from './operations/db-init';\nimport type {\n  ControlClient,\n  ControlClientOptions,\n  DbInitOptions,\n  DbInitResult,\n  IntrospectOptions,\n  SchemaVerifyOptions,\n  SignOptions,\n  VerifyOptions,\n} from './types';\n\n/**\n * Creates a programmatic control client for Prisma Next operations.\n *\n * The client accepts framework component descriptors at creation time,\n * manages driver lifecycle via connect()/close(), and exposes domain\n * operations that delegate to the existing family instance methods.\n *\n * @see {@link ControlClient} for the client interface\n * @see README.md \"Programmatic Control API\" section for usage examples\n */\nexport function createControlClient(options: ControlClientOptions): ControlClient {\n  return new ControlClientImpl(options);\n}\n\n/**\n * Implementation of ControlClient.\n * Manages initialization and connection state, delegates operations to family instance.\n */\nclass ControlClientImpl implements ControlClient {\n  private readonly options: ControlClientOptions;\n  private stack: ControlPlaneStack<string, string> | null = null;\n  private driver: ControlDriverInstance<string, string> | null = null;\n  private familyInstance: ControlFamilyInstance<string> | null = null;\n  private frameworkComponents: ReadonlyArray<\n    TargetBoundComponentDescriptor<string, string>\n  > | null = null;\n  private initialized = false;\n  private readonly defaultConnection: unknown;\n\n  constructor(options: ControlClientOptions) {\n    this.options = options;\n    this.defaultConnection = options.connection;\n  }\n\n  init(): void {\n    if (this.initialized) {\n      return; // Idempotent\n    }\n\n    // Create the control plane stack\n    this.stack = createControlPlaneStack({\n      target: this.options.target,\n      adapter: this.options.adapter,\n      driver: this.options.driver,\n      extensionPacks: this.options.extensionPacks,\n    });\n\n    // Create family instance using the stack\n    this.familyInstance = this.options.family.create(this.stack);\n\n    // Validate and type-narrow framework components\n    const rawComponents = [\n      this.options.target,\n      this.options.adapter,\n      ...(this.options.extensionPacks ?? []),\n    ];\n    this.frameworkComponents = assertFrameworkComponentsCompatible(\n      this.options.family.familyId,\n      this.options.target.targetId,\n      rawComponents,\n    );\n\n    this.initialized = true;\n  }\n\n  async connect(connection?: unknown): Promise<void> {\n    // Auto-init if needed\n    this.init();\n\n    if (this.driver) {\n      throw new Error('Already connected. Call close() before reconnecting.');\n    }\n\n    // Resolve connection: argument > default from options\n    const resolvedConnection = connection ?? this.defaultConnection;\n    if (resolvedConnection === undefined) {\n      throw new Error(\n        'No connection provided. Pass a connection to connect() or provide a default connection when creating the client.',\n      );\n    }\n\n    // Check for driver descriptor\n    if (!this.stack?.driver) {\n      throw new Error(\n        'Driver is not configured. Pass a driver descriptor when creating the control client to enable database operations.',\n      );\n    }\n\n    // Create driver instance\n    // Cast through any since connection type is driver-specific at runtime.\n    // The driver descriptor is typed with any for TConnection in ControlClientOptions,\n    // but createControlPlaneStack defaults it to string. We bridge this at runtime.\n    // biome-ignore lint/suspicious/noExplicitAny: required for runtime connection type flexibility\n    this.driver = await this.stack?.driver.create(resolvedConnection as any);\n  }\n\n  async close(): Promise<void> {\n    if (this.driver) {\n      await this.driver.close();\n      this.driver = null;\n    }\n  }\n\n  private async ensureConnected(): Promise<{\n    driver: ControlDriverInstance<string, string>;\n    familyInstance: ControlFamilyInstance<string>;\n    frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<string, string>>;\n  }> {\n    // Auto-init if needed\n    this.init();\n\n    // Auto-connect if not connected and default connection is available\n    if (!this.driver && this.defaultConnection !== undefined) {\n      await this.connect(this.defaultConnection);\n    }\n\n    if (!this.driver || !this.familyInstance || !this.frameworkComponents) {\n      throw new Error('Not connected. Call connect(connection) first.');\n    }\n    return {\n      driver: this.driver,\n      familyInstance: this.familyInstance,\n      frameworkComponents: this.frameworkComponents,\n    };\n  }\n\n  async verify(options: VerifyOptions): Promise<VerifyDatabaseResult> {\n    const { onProgress } = options;\n\n    // Connect with progress span if connection provided\n    if (options.connection !== undefined) {\n      onProgress?.({\n        action: 'verify',\n        kind: 'spanStart',\n        spanId: 'connect',\n        label: 'Connecting to database...',\n      });\n      try {\n        await this.connect(options.connection);\n        onProgress?.({\n          action: 'verify',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'ok',\n        });\n      } catch (error) {\n        onProgress?.({\n          action: 'verify',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'error',\n        });\n        throw error;\n      }\n    }\n\n    const { driver, familyInstance } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    const contractIR = familyInstance.validateContractIR(options.contractIR);\n\n    // Emit verify span\n    onProgress?.({\n      action: 'verify',\n      kind: 'spanStart',\n      spanId: 'verify',\n      label: 'Verifying contract marker...',\n    });\n\n    try {\n      // Delegate to family instance verify method\n      // Note: We pass empty strings for contractPath/configPath since the programmatic\n      // API doesn't deal with file paths. The family instance accepts these as optional\n      // metadata for error reporting.\n      const result = await familyInstance.verify({\n        driver,\n        contractIR,\n        expectedTargetId: this.options.target.targetId,\n        contractPath: '',\n      });\n\n      onProgress?.({\n        action: 'verify',\n        kind: 'spanEnd',\n        spanId: 'verify',\n        outcome: result.ok ? 'ok' : 'error',\n      });\n\n      return result;\n    } catch (error) {\n      onProgress?.({\n        action: 'verify',\n        kind: 'spanEnd',\n        spanId: 'verify',\n        outcome: 'error',\n      });\n      throw error;\n    }\n  }\n\n  async schemaVerify(options: SchemaVerifyOptions): Promise<VerifyDatabaseSchemaResult> {\n    const { onProgress } = options;\n\n    // Connect with progress span if connection provided\n    if (options.connection !== undefined) {\n      onProgress?.({\n        action: 'schemaVerify',\n        kind: 'spanStart',\n        spanId: 'connect',\n        label: 'Connecting to database...',\n      });\n      try {\n        await this.connect(options.connection);\n        onProgress?.({\n          action: 'schemaVerify',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'ok',\n        });\n      } catch (error) {\n        onProgress?.({\n          action: 'schemaVerify',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'error',\n        });\n        throw error;\n      }\n    }\n\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    const contractIR = familyInstance.validateContractIR(options.contractIR);\n\n    // Emit schemaVerify span\n    onProgress?.({\n      action: 'schemaVerify',\n      kind: 'spanStart',\n      spanId: 'schemaVerify',\n      label: 'Verifying database schema...',\n    });\n\n    try {\n      // Delegate to family instance schemaVerify method\n      const result = await familyInstance.schemaVerify({\n        driver,\n        contractIR,\n        strict: options.strict ?? false,\n        contractPath: '',\n        frameworkComponents,\n      });\n\n      onProgress?.({\n        action: 'schemaVerify',\n        kind: 'spanEnd',\n        spanId: 'schemaVerify',\n        outcome: result.ok ? 'ok' : 'error',\n      });\n\n      return result;\n    } catch (error) {\n      onProgress?.({\n        action: 'schemaVerify',\n        kind: 'spanEnd',\n        spanId: 'schemaVerify',\n        outcome: 'error',\n      });\n      throw error;\n    }\n  }\n\n  async sign(options: SignOptions): Promise<SignDatabaseResult> {\n    const { onProgress } = options;\n\n    // Connect with progress span if connection provided\n    if (options.connection !== undefined) {\n      onProgress?.({\n        action: 'sign',\n        kind: 'spanStart',\n        spanId: 'connect',\n        label: 'Connecting to database...',\n      });\n      try {\n        await this.connect(options.connection);\n        onProgress?.({\n          action: 'sign',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'ok',\n        });\n      } catch (error) {\n        onProgress?.({\n          action: 'sign',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'error',\n        });\n        throw error;\n      }\n    }\n\n    const { driver, familyInstance } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    const contractIR = familyInstance.validateContractIR(options.contractIR);\n\n    // Emit sign span\n    onProgress?.({\n      action: 'sign',\n      kind: 'spanStart',\n      spanId: 'sign',\n      label: 'Signing database...',\n    });\n\n    try {\n      // Delegate to family instance sign method\n      const result = await familyInstance.sign({\n        driver,\n        contractIR,\n        contractPath: options.contractPath ?? '',\n      });\n\n      onProgress?.({\n        action: 'sign',\n        kind: 'spanEnd',\n        spanId: 'sign',\n        outcome: 'ok',\n      });\n\n      return result;\n    } catch (error) {\n      onProgress?.({\n        action: 'sign',\n        kind: 'spanEnd',\n        spanId: 'sign',\n        outcome: 'error',\n      });\n      throw error;\n    }\n  }\n\n  async dbInit(options: DbInitOptions): Promise<DbInitResult> {\n    const { onProgress } = options;\n\n    // Connect with progress span if connection provided\n    if (options.connection !== undefined) {\n      onProgress?.({\n        action: 'dbInit',\n        kind: 'spanStart',\n        spanId: 'connect',\n        label: 'Connecting to database...',\n      });\n      try {\n        await this.connect(options.connection);\n        onProgress?.({\n          action: 'dbInit',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'ok',\n        });\n      } catch (error) {\n        onProgress?.({\n          action: 'dbInit',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'error',\n        });\n        throw error;\n      }\n    }\n\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    // Check target supports migrations\n    if (!this.options.target.migrations) {\n      throw new Error(`Target \"${this.options.target.targetId}\" does not support migrations`);\n    }\n\n    // Validate contract using family instance\n    const contractIR = familyInstance.validateContractIR(options.contractIR);\n\n    // Delegate to extracted dbInit operation\n    return executeDbInit({\n      driver,\n      familyInstance,\n      contractIR,\n      mode: options.mode,\n      migrations: this.options.target.migrations,\n      frameworkComponents,\n      ...(onProgress ? { onProgress } : {}),\n    });\n  }\n\n  async introspect(options?: IntrospectOptions): Promise<unknown> {\n    const onProgress = options?.onProgress;\n\n    // Connect with progress span if connection provided\n    if (options?.connection !== undefined) {\n      onProgress?.({\n        action: 'introspect',\n        kind: 'spanStart',\n        spanId: 'connect',\n        label: 'Connecting to database...',\n      });\n      try {\n        await this.connect(options.connection);\n        onProgress?.({\n          action: 'introspect',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'ok',\n        });\n      } catch (error) {\n        onProgress?.({\n          action: 'introspect',\n          kind: 'spanEnd',\n          spanId: 'connect',\n          outcome: 'error',\n        });\n        throw error;\n      }\n    }\n\n    const { driver, familyInstance } = await this.ensureConnected();\n\n    // TODO: Pass schema option to familyInstance.introspect when schema filtering is implemented\n    const _schema = options?.schema;\n    void _schema;\n\n    // Emit introspect span\n    onProgress?.({\n      action: 'introspect',\n      kind: 'spanStart',\n      spanId: 'introspect',\n      label: 'Introspecting database schema...',\n    });\n\n    try {\n      const result = await familyInstance.introspect({ driver });\n\n      onProgress?.({\n        action: 'introspect',\n        kind: 'spanEnd',\n        spanId: 'introspect',\n        outcome: 'ok',\n      });\n\n      return result;\n    } catch (error) {\n      onProgress?.({\n        action: 'introspect',\n        kind: 'spanEnd',\n        spanId: 'introspect',\n        outcome: 'error',\n      });\n      throw error;\n    }\n  }\n}\n","import {\n  checkContractComponentRequirements,\n  type TargetBoundComponentDescriptor,\n} from '@prisma-next/contract/framework-components';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type { ControlPlaneStack } from '@prisma-next/core-control-plane/types';\nimport { errorConfigValidation, errorContractMissingExtensionPacks } from './cli-errors';\n\n/**\n * Asserts that all framework components are compatible with the expected family and target.\n *\n * This function validates that each component in the framework components array:\n * - Has kind 'target', 'adapter', 'extension', or 'driver'\n * - Has familyId matching expectedFamilyId\n * - Has targetId matching expectedTargetId\n *\n * This validation happens at the CLI composition boundary, before passing components\n * to typed planner/runner instances. It fills the gap between runtime validation\n * (via `validateConfig()`) and compile-time type enforcement.\n *\n * @param expectedFamilyId - The expected family ID (e.g., 'sql')\n * @param expectedTargetId - The expected target ID (e.g., 'postgres')\n * @param frameworkComponents - Array of framework components to validate\n * @returns The same array typed as TargetBoundComponentDescriptor\n * @throws CliStructuredError if any component is incompatible\n *\n * @example\n * ```ts\n * const config = await loadConfig();\n * const frameworkComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];\n *\n * // Validate and type-narrow components before passing to planner\n * const typedComponents = assertFrameworkComponentsCompatible(\n *   config.family.familyId,\n *   config.target.targetId,\n *   frameworkComponents\n * );\n *\n * const planner = target.migrations.createPlanner(familyInstance);\n * planner.plan({ contract, schema, policy, frameworkComponents: typedComponents });\n * ```\n */\nexport function assertFrameworkComponentsCompatible<\n  TFamilyId extends string,\n  TTargetId extends string,\n>(\n  expectedFamilyId: TFamilyId,\n  expectedTargetId: TTargetId,\n  frameworkComponents: ReadonlyArray<unknown>,\n): ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>> {\n  for (let i = 0; i < frameworkComponents.length; i++) {\n    const component = frameworkComponents[i];\n\n    // Check that component is an object\n    if (typeof component !== 'object' || component === null) {\n      throw errorConfigValidation('frameworkComponents[]', {\n        why: `Framework component at index ${i} must be an object`,\n      });\n    }\n\n    const record = component as Record<string, unknown>;\n\n    // Check kind\n    if (!Object.hasOwn(record, 'kind')) {\n      throw errorConfigValidation('frameworkComponents[].kind', {\n        why: `Framework component at index ${i} must have 'kind' property`,\n      });\n    }\n\n    const kind = record['kind'];\n    if (kind !== 'target' && kind !== 'adapter' && kind !== 'extension' && kind !== 'driver') {\n      throw errorConfigValidation('frameworkComponents[].kind', {\n        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`,\n      });\n    }\n\n    // Check familyId\n    if (!Object.hasOwn(record, 'familyId')) {\n      throw errorConfigValidation('frameworkComponents[].familyId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`,\n      });\n    }\n\n    const familyId = record['familyId'];\n    if (familyId !== expectedFamilyId) {\n      throw errorConfigValidation('frameworkComponents[].familyId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`,\n      });\n    }\n\n    // Check targetId\n    if (!Object.hasOwn(record, 'targetId')) {\n      throw errorConfigValidation('frameworkComponents[].targetId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`,\n      });\n    }\n\n    const targetId = record['targetId'];\n    if (targetId !== expectedTargetId) {\n      throw errorConfigValidation('frameworkComponents[].targetId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`,\n      });\n    }\n  }\n\n  // Type assertion is safe because we've validated all components above\n  return frameworkComponents as ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n}\n\n/**\n * Validates that a contract is compatible with the configured target, adapter,\n * and extension packs. Throws on family/target mismatches or missing extension packs.\n *\n * This check ensures the emitted contract matches the CLI config before running\n * commands that depend on the contract (e.g., db verify, db sign).\n *\n * @param contract - The contract IR to validate (must include targetFamily, target, extensionPacks).\n * @param stack - The control plane stack (target, adapter, driver, extensionPacks).\n *\n * @throws {CliStructuredError} errorConfigValidation when contract.targetFamily or contract.target\n *   doesn't match the configured family/target.\n * @throws {CliStructuredError} errorContractMissingExtensionPacks when the contract requires\n *   extension packs that are not provided in the config (includes all missing packs in error.meta).\n *\n * @example\n * ```ts\n * import { assertContractRequirementsSatisfied } from './framework-components';\n *\n * const config = await loadConfig();\n * const contractIR = await loadContractJson(config.contract.output);\n * const stack = createControlPlaneStack({ target: config.target, adapter: config.adapter, ... });\n *\n * // Throws if contract is incompatible with config\n * assertContractRequirementsSatisfied({ contract: contractIR, stack });\n * ```\n */\nexport function assertContractRequirementsSatisfied<\n  TFamilyId extends string,\n  TTargetId extends string,\n>({\n  contract,\n  stack,\n}: {\n  readonly contract: Pick<ContractIR, 'targetFamily' | 'target' | 'extensionPacks'>;\n  readonly stack: ControlPlaneStack<TFamilyId, TTargetId>;\n}): void {\n  const providedComponentIds = new Set<string>([stack.target.id, stack.adapter.id]);\n  for (const extension of stack.extensionPacks) {\n    providedComponentIds.add(extension.id);\n  }\n\n  const result = checkContractComponentRequirements({\n    contract,\n    expectedTargetFamily: stack.target.familyId,\n    expectedTargetId: stack.target.targetId,\n    providedComponentIds,\n  });\n\n  if (result.familyMismatch) {\n    throw errorConfigValidation('contract.targetFamily', {\n      why: `Contract was emitted for family '${result.familyMismatch.actual}' but CLI config is wired to '${result.familyMismatch.expected}'.`,\n    });\n  }\n\n  if (result.targetMismatch) {\n    throw errorConfigValidation('contract.target', {\n      why: `Contract target '${result.targetMismatch.actual}' does not match CLI target '${result.targetMismatch.expected}'.`,\n    });\n  }\n\n  if (result.missingExtensionPackIds.length > 0) {\n    throw errorContractMissingExtensionPacks({\n      missingExtensionPacks: result.missingExtensionPackIds,\n      providedComponentIds: [...providedComponentIds],\n    });\n  }\n}\n","import type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  MigrationPlan,\n  MigrationPlannerResult,\n  MigrationPlanOperation,\n  MigrationRunnerResult,\n  TargetMigrationsCapability,\n} from '@prisma-next/core-control-plane/types';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport type { DbInitResult, DbInitSuccess, OnControlProgress } from '../types';\n\n/**\n * Options for executing dbInit operation.\n */\nexport interface ExecuteDbInitOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId>;\n  readonly contractIR: ContractIR;\n  readonly mode: 'plan' | 'apply';\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  /** Optional progress callback for observing operation progress */\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Executes the dbInit operation.\n *\n * This is the core logic extracted from the CLI command, without any file I/O,\n * process.exit(), or console output. It uses the Result pattern to return\n * success or failure details.\n *\n * @param options - The options for executing dbInit\n * @returns Result with DbInitSuccess on success, DbInitFailure on failure\n */\nexport async function executeDbInit<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbInitOptions<TFamilyId, TTargetId>,\n): Promise<DbInitResult> {\n  const { driver, familyInstance, contractIR, mode, migrations, frameworkComponents, onProgress } =\n    options;\n\n  // Create planner and runner from target migrations capability\n  const planner = migrations.createPlanner(familyInstance);\n  const runner = migrations.createRunner(familyInstance);\n\n  // Introspect live schema\n  const introspectSpanId = 'introspect';\n  onProgress?.({\n    action: 'dbInit',\n    kind: 'spanStart',\n    spanId: introspectSpanId,\n    label: 'Introspecting database schema',\n  });\n  const schemaIR = await familyInstance.introspect({ driver });\n  onProgress?.({\n    action: 'dbInit',\n    kind: 'spanEnd',\n    spanId: introspectSpanId,\n    outcome: 'ok',\n  });\n\n  // Policy for init mode (additive only)\n  const policy = { allowedOperationClasses: ['additive'] as const };\n\n  // Plan migration\n  const planSpanId = 'plan';\n  onProgress?.({\n    action: 'dbInit',\n    kind: 'spanStart',\n    spanId: planSpanId,\n    label: 'Planning migration',\n  });\n  const plannerResult: MigrationPlannerResult = await planner.plan({\n    contract: contractIR,\n    schema: schemaIR,\n    policy,\n    frameworkComponents,\n  });\n\n  if (plannerResult.kind === 'failure') {\n    onProgress?.({\n      action: 'dbInit',\n      kind: 'spanEnd',\n      spanId: planSpanId,\n      outcome: 'error',\n    });\n    return notOk({\n      code: 'PLANNING_FAILED' as const,\n      summary: 'Migration planning failed due to conflicts',\n      conflicts: plannerResult.conflicts,\n      why: undefined,\n      meta: undefined,\n    });\n  }\n\n  const migrationPlan: MigrationPlan = plannerResult.plan;\n  onProgress?.({\n    action: 'dbInit',\n    kind: 'spanEnd',\n    spanId: planSpanId,\n    outcome: 'ok',\n  });\n\n  // Check for existing marker - handle idempotency and mismatch errors\n  const checkMarkerSpanId = 'checkMarker';\n  onProgress?.({\n    action: 'dbInit',\n    kind: 'spanStart',\n    spanId: checkMarkerSpanId,\n    label: 'Checking contract marker',\n  });\n  const existingMarker = await familyInstance.readMarker({ driver });\n  if (existingMarker) {\n    const markerMatchesDestination =\n      existingMarker.coreHash === migrationPlan.destination.coreHash &&\n      (!migrationPlan.destination.profileHash ||\n        existingMarker.profileHash === migrationPlan.destination.profileHash);\n\n    if (markerMatchesDestination) {\n      // Already at destination - return success with no operations\n      onProgress?.({\n        action: 'dbInit',\n        kind: 'spanEnd',\n        spanId: checkMarkerSpanId,\n        outcome: 'skipped',\n      });\n      const result: DbInitSuccess = {\n        mode,\n        plan: { operations: [] },\n        ...(mode === 'apply'\n          ? {\n              execution: { operationsPlanned: 0, operationsExecuted: 0 },\n              marker: {\n                coreHash: existingMarker.coreHash,\n                profileHash: existingMarker.profileHash,\n              },\n            }\n          : {}),\n        summary: 'Database already at target contract state',\n      };\n      return ok(result);\n    }\n\n    // Marker exists but doesn't match destination - fail\n    onProgress?.({\n      action: 'dbInit',\n      kind: 'spanEnd',\n      spanId: checkMarkerSpanId,\n      outcome: 'error',\n    });\n    return notOk({\n      code: 'MARKER_ORIGIN_MISMATCH' as const,\n      summary: 'Existing contract marker does not match plan destination',\n      marker: {\n        coreHash: existingMarker.coreHash,\n        profileHash: existingMarker.profileHash,\n      },\n      destination: {\n        coreHash: migrationPlan.destination.coreHash,\n        profileHash: migrationPlan.destination.profileHash,\n      },\n      why: undefined,\n      conflicts: undefined,\n      meta: undefined,\n    });\n  }\n\n  onProgress?.({\n    action: 'dbInit',\n    kind: 'spanEnd',\n    spanId: checkMarkerSpanId,\n    outcome: 'ok',\n  });\n\n  // Plan mode - don't execute\n  if (mode === 'plan') {\n    const result: DbInitSuccess = {\n      mode: 'plan',\n      plan: { operations: migrationPlan.operations },\n      summary: `Planned ${migrationPlan.operations.length} operation(s)`,\n    };\n    return ok(result);\n  }\n\n  // Apply mode - execute runner\n  const applySpanId = 'apply';\n  onProgress?.({\n    action: 'dbInit',\n    kind: 'spanStart',\n    spanId: applySpanId,\n    label: 'Applying migration plan',\n  });\n\n  const callbacks = onProgress\n    ? {\n        onOperationStart: (op: MigrationPlanOperation) => {\n          onProgress({\n            action: 'dbInit',\n            kind: 'spanStart',\n            spanId: `operation:${op.id}`,\n            parentSpanId: applySpanId,\n            label: op.label,\n          });\n        },\n        onOperationComplete: (op: MigrationPlanOperation) => {\n          onProgress({\n            action: 'dbInit',\n            kind: 'spanEnd',\n            spanId: `operation:${op.id}`,\n            outcome: 'ok',\n          });\n        },\n      }\n    : undefined;\n\n  const runnerResult: MigrationRunnerResult = await runner.execute({\n    plan: migrationPlan,\n    driver,\n    destinationContract: contractIR,\n    policy,\n    ...(callbacks ? { callbacks } : {}),\n    // db init plans and applies back-to-back from a fresh introspection, so per-operation\n    // pre/postchecks and the idempotency probe are usually redundant overhead. We still\n    // enforce marker/origin compatibility and a full schema verification after apply.\n    executionChecks: {\n      prechecks: false,\n      postchecks: false,\n      idempotencyChecks: false,\n    },\n    frameworkComponents,\n  });\n\n  if (!runnerResult.ok) {\n    onProgress?.({\n      action: 'dbInit',\n      kind: 'spanEnd',\n      spanId: applySpanId,\n      outcome: 'error',\n    });\n    return notOk({\n      code: 'RUNNER_FAILED' as const,\n      summary: runnerResult.failure.summary,\n      why: runnerResult.failure.why,\n      meta: runnerResult.failure.meta,\n      conflicts: undefined,\n    });\n  }\n\n  const execution = runnerResult.value;\n\n  onProgress?.({\n    action: 'dbInit',\n    kind: 'spanEnd',\n    spanId: applySpanId,\n    outcome: 'ok',\n  });\n\n  const result: DbInitSuccess = {\n    mode: 'apply',\n    plan: { operations: migrationPlan.operations },\n    execution: {\n      operationsPlanned: execution.operationsPlanned,\n      operationsExecuted: execution.operationsExecuted,\n    },\n    marker: migrationPlan.destination.profileHash\n      ? {\n          coreHash: migrationPlan.destination.coreHash,\n          profileHash: migrationPlan.destination.profileHash,\n        }\n      : { coreHash: migrationPlan.destination.coreHash },\n    summary: `Applied ${execution.operationsExecuted} operation(s), marker written`,\n  };\n  return ok(result);\n}\n"],"mappings":";;;;;AACA,SAAS,+BAA+B;;;ACDxC;AAAA,EACE;AAAA,OAEK;AAuCA,SAAS,oCAId,kBACA,kBACA,qBACqE;AACrE,WAAS,IAAI,GAAG,IAAI,oBAAoB,QAAQ,KAAK;AACnD,UAAM,YAAY,oBAAoB,CAAC;AAGvC,QAAI,OAAO,cAAc,YAAY,cAAc,MAAM;AACvD,YAAM,sBAAsB,yBAAyB;AAAA,QACnD,KAAK,gCAAgC,CAAC;AAAA,MACxC,CAAC;AAAA,IACH;AAEA,UAAM,SAAS;AAGf,QAAI,CAAC,OAAO,OAAO,QAAQ,MAAM,GAAG;AAClC,YAAM,sBAAsB,8BAA8B;AAAA,QACxD,KAAK,gCAAgC,CAAC;AAAA,MACxC,CAAC;AAAA,IACH;AAEA,UAAM,OAAO,OAAO,MAAM;AAC1B,QAAI,SAAS,YAAY,SAAS,aAAa,SAAS,eAAe,SAAS,UAAU;AACxF,YAAM,sBAAsB,8BAA8B;AAAA,QACxD,KAAK,gCAAgC,CAAC,sBAAsB,OAAO,IAAI,CAAC;AAAA,MAC1E,CAAC;AAAA,IACH;AAGA,QAAI,CAAC,OAAO,OAAO,QAAQ,UAAU,GAAG;AACtC,YAAM,sBAAsB,kCAAkC;AAAA,QAC5D,KAAK,gCAAgC,CAAC,WAAW,OAAO,IAAI,CAAC;AAAA,MAC/D,CAAC;AAAA,IACH;AAEA,UAAM,WAAW,OAAO,UAAU;AAClC,QAAI,aAAa,kBAAkB;AACjC,YAAM,sBAAsB,kCAAkC;AAAA,QAC5D,KAAK,gCAAgC,CAAC,WAAW,OAAO,IAAI,CAAC,mBAAmB,OAAO,QAAQ,CAAC,mBAAmB,gBAAgB;AAAA,MACrI,CAAC;AAAA,IACH;AAGA,QAAI,CAAC,OAAO,OAAO,QAAQ,UAAU,GAAG;AACtC,YAAM,sBAAsB,kCAAkC;AAAA,QAC5D,KAAK,gCAAgC,CAAC,WAAW,OAAO,IAAI,CAAC;AAAA,MAC/D,CAAC;AAAA,IACH;AAEA,UAAM,WAAW,OAAO,UAAU;AAClC,QAAI,aAAa,kBAAkB;AACjC,YAAM,sBAAsB,kCAAkC;AAAA,QAC5D,KAAK,gCAAgC,CAAC,WAAW,OAAO,IAAI,CAAC,mBAAmB,OAAO,QAAQ,CAAC,mBAAmB,gBAAgB;AAAA,MACrI,CAAC;AAAA,IACH;AAAA,EACF;AAGA,SAAO;AACT;;;AChGA,SAAS,OAAO,UAAU;AA+B1B,eAAsB,cACpB,SACuB;AACvB,QAAM,EAAE,QAAQ,gBAAgB,YAAY,MAAM,YAAY,qBAAqB,WAAW,IAC5F;AAGF,QAAM,UAAU,WAAW,cAAc,cAAc;AACvD,QAAM,SAAS,WAAW,aAAa,cAAc;AAGrD,QAAM,mBAAmB;AACzB,eAAa;AAAA,IACX,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,OAAO;AAAA,EACT,CAAC;AACD,QAAM,WAAW,MAAM,eAAe,WAAW,EAAE,OAAO,CAAC;AAC3D,eAAa;AAAA,IACX,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,SAAS;AAAA,EACX,CAAC;AAGD,QAAM,SAAS,EAAE,yBAAyB,CAAC,UAAU,EAAW;AAGhE,QAAM,aAAa;AACnB,eAAa;AAAA,IACX,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,OAAO;AAAA,EACT,CAAC;AACD,QAAM,gBAAwC,MAAM,QAAQ,KAAK;AAAA,IAC/D,UAAU;AAAA,IACV,QAAQ;AAAA,IACR;AAAA,IACA;AAAA,EACF,CAAC;AAED,MAAI,cAAc,SAAS,WAAW;AACpC,iBAAa;AAAA,MACX,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,QAAQ;AAAA,MACR,SAAS;AAAA,IACX,CAAC;AACD,WAAO,MAAM;AAAA,MACX,MAAM;AAAA,MACN,SAAS;AAAA,MACT,WAAW,cAAc;AAAA,MACzB,KAAK;AAAA,MACL,MAAM;AAAA,IACR,CAAC;AAAA,EACH;AAEA,QAAM,gBAA+B,cAAc;AACnD,eAAa;AAAA,IACX,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,SAAS;AAAA,EACX,CAAC;AAGD,QAAM,oBAAoB;AAC1B,eAAa;AAAA,IACX,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,OAAO;AAAA,EACT,CAAC;AACD,QAAM,iBAAiB,MAAM,eAAe,WAAW,EAAE,OAAO,CAAC;AACjE,MAAI,gBAAgB;AAClB,UAAM,2BACJ,eAAe,aAAa,cAAc,YAAY,aACrD,CAAC,cAAc,YAAY,eAC1B,eAAe,gBAAgB,cAAc,YAAY;AAE7D,QAAI,0BAA0B;AAE5B,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS;AAAA,MACX,CAAC;AACD,YAAMA,UAAwB;AAAA,QAC5B;AAAA,QACA,MAAM,EAAE,YAAY,CAAC,EAAE;AAAA,QACvB,GAAI,SAAS,UACT;AAAA,UACE,WAAW,EAAE,mBAAmB,GAAG,oBAAoB,EAAE;AAAA,UACzD,QAAQ;AAAA,YACN,UAAU,eAAe;AAAA,YACzB,aAAa,eAAe;AAAA,UAC9B;AAAA,QACF,IACA,CAAC;AAAA,QACL,SAAS;AAAA,MACX;AACA,aAAO,GAAGA,OAAM;AAAA,IAClB;AAGA,iBAAa;AAAA,MACX,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,QAAQ;AAAA,MACR,SAAS;AAAA,IACX,CAAC;AACD,WAAO,MAAM;AAAA,MACX,MAAM;AAAA,MACN,SAAS;AAAA,MACT,QAAQ;AAAA,QACN,UAAU,eAAe;AAAA,QACzB,aAAa,eAAe;AAAA,MAC9B;AAAA,MACA,aAAa;AAAA,QACX,UAAU,cAAc,YAAY;AAAA,QACpC,aAAa,cAAc,YAAY;AAAA,MACzC;AAAA,MACA,KAAK;AAAA,MACL,WAAW;AAAA,MACX,MAAM;AAAA,IACR,CAAC;AAAA,EACH;AAEA,eAAa;AAAA,IACX,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,SAAS;AAAA,EACX,CAAC;AAGD,MAAI,SAAS,QAAQ;AACnB,UAAMA,UAAwB;AAAA,MAC5B,MAAM;AAAA,MACN,MAAM,EAAE,YAAY,cAAc,WAAW;AAAA,MAC7C,SAAS,WAAW,cAAc,WAAW,MAAM;AAAA,IACrD;AACA,WAAO,GAAGA,OAAM;AAAA,EAClB;AAGA,QAAM,cAAc;AACpB,eAAa;AAAA,IACX,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,OAAO;AAAA,EACT,CAAC;AAED,QAAM,YAAY,aACd;AAAA,IACE,kBAAkB,CAAC,OAA+B;AAChD,iBAAW;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ,aAAa,GAAG,EAAE;AAAA,QAC1B,cAAc;AAAA,QACd,OAAO,GAAG;AAAA,MACZ,CAAC;AAAA,IACH;AAAA,IACA,qBAAqB,CAAC,OAA+B;AACnD,iBAAW;AAAA,QACT,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ,aAAa,GAAG,EAAE;AAAA,QAC1B,SAAS;AAAA,MACX,CAAC;AAAA,IACH;AAAA,EACF,IACA;AAEJ,QAAM,eAAsC,MAAM,OAAO,QAAQ;AAAA,IAC/D,MAAM;AAAA,IACN;AAAA,IACA,qBAAqB;AAAA,IACrB;AAAA,IACA,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;AAAA;AAAA;AAAA;AAAA,IAIjC,iBAAiB;AAAA,MACf,WAAW;AAAA,MACX,YAAY;AAAA,MACZ,mBAAmB;AAAA,IACrB;AAAA,IACA;AAAA,EACF,CAAC;AAED,MAAI,CAAC,aAAa,IAAI;AACpB,iBAAa;AAAA,MACX,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,QAAQ;AAAA,MACR,SAAS;AAAA,IACX,CAAC;AACD,WAAO,MAAM;AAAA,MACX,MAAM;AAAA,MACN,SAAS,aAAa,QAAQ;AAAA,MAC9B,KAAK,aAAa,QAAQ;AAAA,MAC1B,MAAM,aAAa,QAAQ;AAAA,MAC3B,WAAW;AAAA,IACb,CAAC;AAAA,EACH;AAEA,QAAM,YAAY,aAAa;AAE/B,eAAa;AAAA,IACX,QAAQ;AAAA,IACR,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,SAAS;AAAA,EACX,CAAC;AAED,QAAM,SAAwB;AAAA,IAC5B,MAAM;AAAA,IACN,MAAM,EAAE,YAAY,cAAc,WAAW;AAAA,IAC7C,WAAW;AAAA,MACT,mBAAmB,UAAU;AAAA,MAC7B,oBAAoB,UAAU;AAAA,IAChC;AAAA,IACA,QAAQ,cAAc,YAAY,cAC9B;AAAA,MACE,UAAU,cAAc,YAAY;AAAA,MACpC,aAAa,cAAc,YAAY;AAAA,IACzC,IACA,EAAE,UAAU,cAAc,YAAY,SAAS;AAAA,IACnD,SAAS,WAAW,UAAU,kBAAkB;AAAA,EAClD;AACA,SAAO,GAAG,MAAM;AAClB;;;AFvPO,SAAS,oBAAoB,SAA8C;AAChF,SAAO,IAAI,kBAAkB,OAAO;AACtC;AAMA,IAAM,oBAAN,MAAiD;AAAA,EAC9B;AAAA,EACT,QAAkD;AAAA,EAClD,SAAuD;AAAA,EACvD,iBAAuD;AAAA,EACvD,sBAEG;AAAA,EACH,cAAc;AAAA,EACL;AAAA,EAEjB,YAAY,SAA+B;AACzC,SAAK,UAAU;AACf,SAAK,oBAAoB,QAAQ;AAAA,EACnC;AAAA,EAEA,OAAa;AACX,QAAI,KAAK,aAAa;AACpB;AAAA,IACF;AAGA,SAAK,QAAQ,wBAAwB;AAAA,MACnC,QAAQ,KAAK,QAAQ;AAAA,MACrB,SAAS,KAAK,QAAQ;AAAA,MACtB,QAAQ,KAAK,QAAQ;AAAA,MACrB,gBAAgB,KAAK,QAAQ;AAAA,IAC/B,CAAC;AAGD,SAAK,iBAAiB,KAAK,QAAQ,OAAO,OAAO,KAAK,KAAK;AAG3D,UAAM,gBAAgB;AAAA,MACpB,KAAK,QAAQ;AAAA,MACb,KAAK,QAAQ;AAAA,MACb,GAAI,KAAK,QAAQ,kBAAkB,CAAC;AAAA,IACtC;AACA,SAAK,sBAAsB;AAAA,MACzB,KAAK,QAAQ,OAAO;AAAA,MACpB,KAAK,QAAQ,OAAO;AAAA,MACpB;AAAA,IACF;AAEA,SAAK,cAAc;AAAA,EACrB;AAAA,EAEA,MAAM,QAAQ,YAAqC;AAEjD,SAAK,KAAK;AAEV,QAAI,KAAK,QAAQ;AACf,YAAM,IAAI,MAAM,sDAAsD;AAAA,IACxE;AAGA,UAAM,qBAAqB,cAAc,KAAK;AAC9C,QAAI,uBAAuB,QAAW;AACpC,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAGA,QAAI,CAAC,KAAK,OAAO,QAAQ;AACvB,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAOA,SAAK,SAAS,MAAM,KAAK,OAAO,OAAO,OAAO,kBAAyB;AAAA,EACzE;AAAA,EAEA,MAAM,QAAuB;AAC3B,QAAI,KAAK,QAAQ;AACf,YAAM,KAAK,OAAO,MAAM;AACxB,WAAK,SAAS;AAAA,IAChB;AAAA,EACF;AAAA,EAEA,MAAc,kBAIX;AAED,SAAK,KAAK;AAGV,QAAI,CAAC,KAAK,UAAU,KAAK,sBAAsB,QAAW;AACxD,YAAM,KAAK,QAAQ,KAAK,iBAAiB;AAAA,IAC3C;AAEA,QAAI,CAAC,KAAK,UAAU,CAAC,KAAK,kBAAkB,CAAC,KAAK,qBAAqB;AACrE,YAAM,IAAI,MAAM,gDAAgD;AAAA,IAClE;AACA,WAAO;AAAA,MACL,QAAQ,KAAK;AAAA,MACb,gBAAgB,KAAK;AAAA,MACrB,qBAAqB,KAAK;AAAA,IAC5B;AAAA,EACF;AAAA,EAEA,MAAM,OAAO,SAAuD;AAClE,UAAM,EAAE,WAAW,IAAI;AAGvB,QAAI,QAAQ,eAAe,QAAW;AACpC,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,OAAO;AAAA,MACT,CAAC;AACD,UAAI;AACF,cAAM,KAAK,QAAQ,QAAQ,UAAU;AACrC,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AAAA,MACH,SAAS,OAAO;AACd,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AACD,cAAM;AAAA,MACR;AAAA,IACF;AAEA,UAAM,EAAE,QAAQ,eAAe,IAAI,MAAM,KAAK,gBAAgB;AAG9D,UAAM,aAAa,eAAe,mBAAmB,QAAQ,UAAU;AAGvE,iBAAa;AAAA,MACX,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,QAAQ;AAAA,MACR,OAAO;AAAA,IACT,CAAC;AAED,QAAI;AAKF,YAAM,SAAS,MAAM,eAAe,OAAO;AAAA,QACzC;AAAA,QACA;AAAA,QACA,kBAAkB,KAAK,QAAQ,OAAO;AAAA,QACtC,cAAc;AAAA,MAChB,CAAC;AAED,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS,OAAO,KAAK,OAAO;AAAA,MAC9B,CAAC;AAED,aAAO;AAAA,IACT,SAAS,OAAO;AACd,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS;AAAA,MACX,CAAC;AACD,YAAM;AAAA,IACR;AAAA,EACF;AAAA,EAEA,MAAM,aAAa,SAAmE;AACpF,UAAM,EAAE,WAAW,IAAI;AAGvB,QAAI,QAAQ,eAAe,QAAW;AACpC,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,OAAO;AAAA,MACT,CAAC;AACD,UAAI;AACF,cAAM,KAAK,QAAQ,QAAQ,UAAU;AACrC,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AAAA,MACH,SAAS,OAAO;AACd,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AACD,cAAM;AAAA,MACR;AAAA,IACF;AAEA,UAAM,EAAE,QAAQ,gBAAgB,oBAAoB,IAAI,MAAM,KAAK,gBAAgB;AAGnF,UAAM,aAAa,eAAe,mBAAmB,QAAQ,UAAU;AAGvE,iBAAa;AAAA,MACX,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,QAAQ;AAAA,MACR,OAAO;AAAA,IACT,CAAC;AAED,QAAI;AAEF,YAAM,SAAS,MAAM,eAAe,aAAa;AAAA,QAC/C;AAAA,QACA;AAAA,QACA,QAAQ,QAAQ,UAAU;AAAA,QAC1B,cAAc;AAAA,QACd;AAAA,MACF,CAAC;AAED,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS,OAAO,KAAK,OAAO;AAAA,MAC9B,CAAC;AAED,aAAO;AAAA,IACT,SAAS,OAAO;AACd,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS;AAAA,MACX,CAAC;AACD,YAAM;AAAA,IACR;AAAA,EACF;AAAA,EAEA,MAAM,KAAK,SAAmD;AAC5D,UAAM,EAAE,WAAW,IAAI;AAGvB,QAAI,QAAQ,eAAe,QAAW;AACpC,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,OAAO;AAAA,MACT,CAAC;AACD,UAAI;AACF,cAAM,KAAK,QAAQ,QAAQ,UAAU;AACrC,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AAAA,MACH,SAAS,OAAO;AACd,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AACD,cAAM;AAAA,MACR;AAAA,IACF;AAEA,UAAM,EAAE,QAAQ,eAAe,IAAI,MAAM,KAAK,gBAAgB;AAG9D,UAAM,aAAa,eAAe,mBAAmB,QAAQ,UAAU;AAGvE,iBAAa;AAAA,MACX,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,QAAQ;AAAA,MACR,OAAO;AAAA,IACT,CAAC;AAED,QAAI;AAEF,YAAM,SAAS,MAAM,eAAe,KAAK;AAAA,QACvC;AAAA,QACA;AAAA,QACA,cAAc,QAAQ,gBAAgB;AAAA,MACxC,CAAC;AAED,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS;AAAA,MACX,CAAC;AAED,aAAO;AAAA,IACT,SAAS,OAAO;AACd,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS;AAAA,MACX,CAAC;AACD,YAAM;AAAA,IACR;AAAA,EACF;AAAA,EAEA,MAAM,OAAO,SAA+C;AAC1D,UAAM,EAAE,WAAW,IAAI;AAGvB,QAAI,QAAQ,eAAe,QAAW;AACpC,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,OAAO;AAAA,MACT,CAAC;AACD,UAAI;AACF,cAAM,KAAK,QAAQ,QAAQ,UAAU;AACrC,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AAAA,MACH,SAAS,OAAO;AACd,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AACD,cAAM;AAAA,MACR;AAAA,IACF;AAEA,UAAM,EAAE,QAAQ,gBAAgB,oBAAoB,IAAI,MAAM,KAAK,gBAAgB;AAGnF,QAAI,CAAC,KAAK,QAAQ,OAAO,YAAY;AACnC,YAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,QAAQ,+BAA+B;AAAA,IACxF;AAGA,UAAM,aAAa,eAAe,mBAAmB,QAAQ,UAAU;AAGvE,WAAO,cAAc;AAAA,MACnB;AAAA,MACA;AAAA,MACA;AAAA,MACA,MAAM,QAAQ;AAAA,MACd,YAAY,KAAK,QAAQ,OAAO;AAAA,MAChC;AAAA,MACA,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,IACrC,CAAC;AAAA,EACH;AAAA,EAEA,MAAM,WAAW,SAA+C;AAC9D,UAAM,aAAa,SAAS;AAG5B,QAAI,SAAS,eAAe,QAAW;AACrC,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,OAAO;AAAA,MACT,CAAC;AACD,UAAI;AACF,cAAM,KAAK,QAAQ,QAAQ,UAAU;AACrC,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AAAA,MACH,SAAS,OAAO;AACd,qBAAa;AAAA,UACX,QAAQ;AAAA,UACR,MAAM;AAAA,UACN,QAAQ;AAAA,UACR,SAAS;AAAA,QACX,CAAC;AACD,cAAM;AAAA,MACR;AAAA,IACF;AAEA,UAAM,EAAE,QAAQ,eAAe,IAAI,MAAM,KAAK,gBAAgB;AAG9D,UAAM,UAAU,SAAS;AACzB,SAAK;AAGL,iBAAa;AAAA,MACX,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,QAAQ;AAAA,MACR,OAAO;AAAA,IACT,CAAC;AAED,QAAI;AACF,YAAM,SAAS,MAAM,eAAe,WAAW,EAAE,OAAO,CAAC;AAEzD,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS;AAAA,MACX,CAAC;AAED,aAAO;AAAA,IACT,SAAS,OAAO;AACd,mBAAa;AAAA,QACX,QAAQ;AAAA,QACR,MAAM;AAAA,QACN,QAAQ;AAAA,QACR,SAAS;AAAA,MACX,CAAC;AACD,YAAM;AAAA,IACR;AAAA,EACF;AACF;","names":["result"]}

package/dist/cli.js

@@ -1686,7 +1686,7 @@ var ControlClientImpl = class {
       const result = await familyInstance.sign({
         driver,
         contractIR,
-        contractPath: ""
+        contractPath: options.contractPath ?? ""
       });
       onProgress?.({
         action: "sign",
@@ -2068,14 +2068,30 @@ function createDbInitCommand() {
 }
 
 // src/commands/db-introspect.ts
+import { readFile as readFile2 } from "fs/promises";
 import { relative as relative4, resolve as resolve4 } from "path";
+import { createControlPlaneStack as createControlPlaneStack3 } from "@prisma-next/core-control-plane/types";
 import { notOk as notOk4, ok as ok4 } from "@prisma-next/utils/result";
 import { Command as Command3 } from "commander";
 async function executeDbIntrospectCommand(options, flags, startTime) {
   const config = await loadConfig(options.config);
   const configPath = options.config ? relative4(process.cwd(), resolve4(options.config)) : "prisma-next.config.ts";
-  const contractIR = void 0;
-  void contractIR;
+  let contractIR;
+  if (config.contract?.output) {
+    const contractFilePath = resolve4(config.contract.output);
+    try {
+      const contractJsonContent = await readFile2(contractFilePath, "utf-8");
+      contractIR = JSON.parse(contractJsonContent);
+    } catch (error) {
+      if (error instanceof Error && error.code !== "ENOENT") {
+        return notOk4(
+          errorUnexpected2(error.message, {
+            why: `Failed to read contract file: ${error.message}`
+          })
+        );
+      }
+    }
+  }
   if (flags.json !== "object" && !flags.quiet) {
     const details = [
       { label: "config", value: configPath }
@@ -2123,7 +2139,23 @@ async function executeDbIntrospectCommand(options, flags, startTime) {
     if (!flags.quiet && flags.json !== "object" && process.stdout.isTTY) {
       console.log("");
     }
-    const schemaView = void 0;
+    let schemaView;
+    if (contractIR) {
+      const stack = createControlPlaneStack3({
+        target: config.target,
+        adapter: config.adapter,
+        driver: config.driver,
+        extensionPacks: config.extensionPacks
+      });
+      const familyInstance = config.family.create(stack);
+      if (familyInstance.toSchemaView) {
+        const validatedContract = familyInstance.validateContractIR(contractIR);
+        schemaView = familyInstance.toSchemaView({
+          contractIR: validatedContract,
+          schemaIR
+        });
+      }
+    }
     const totalTime = Date.now() - startTime;
     const connectionForMeta = typeof dbConnection === "string" ? dbConnection.replace(/:([^:@]+)@/, ":****@") : void 0;
     const introspectResult = {
@@ -2202,7 +2234,7 @@ function createDbIntrospectCommand() {
 }
 
 // src/commands/db-schema-verify.ts
-import { readFile as readFile2 } from "fs/promises";
+import { readFile as readFile3 } from "fs/promises";
 import { relative as relative5, resolve as resolve5 } from "path";
 import { notOk as notOk5, ok as ok5 } from "@prisma-next/utils/result";
 import { Command as Command4 } from "commander";
@@ -2230,7 +2262,7 @@ async function executeDbSchemaVerifyCommand(options, flags) {
   }
   let contractJsonContent;
   try {
-    contractJsonContent = await readFile2(contractPathAbsolute, "utf-8");
+    contractJsonContent = await readFile3(contractPathAbsolute, "utf-8");
   } catch (error) {
     if (error instanceof Error && error.code === "ENOENT") {
       return notOk5(
@@ -2346,7 +2378,7 @@ function createDbSchemaVerifyCommand() {
 }
 
 // src/commands/db-sign.ts
-import { readFile as readFile3 } from "fs/promises";
+import { readFile as readFile4 } from "fs/promises";
 import { relative as relative6, resolve as resolve6 } from "path";
 import { notOk as notOk6, ok as ok6 } from "@prisma-next/utils/result";
 import { Command as Command5 } from "commander";
@@ -2374,7 +2406,7 @@ async function executeDbSignCommand(options, flags) {
   }
   let contractJsonContent;
   try {
-    contractJsonContent = await readFile3(contractPathAbsolute, "utf-8");
+    contractJsonContent = await readFile4(contractPathAbsolute, "utf-8");
   } catch (error) {
     if (error instanceof Error && error.code === "ENOENT") {
       return notOk6(
@@ -2435,6 +2467,7 @@ async function executeDbSignCommand(options, flags) {
     }
     const signResult = await client.sign({
       contractIR: contractJson,
+      contractPath,
       onProgress
     });
     if (!flags.quiet && flags.json !== "object" && process.stdout.isTTY) {
@@ -2514,7 +2547,7 @@ function createDbSignCommand() {
 }
 
 // src/commands/db-verify.ts
-import { readFile as readFile4 } from "fs/promises";
+import { readFile as readFile5 } from "fs/promises";
 import { relative as relative7, resolve as resolve7 } from "path";
 import { notOk as notOk7, ok as ok7 } from "@prisma-next/utils/result";
 import { Command as Command6 } from "commander";
@@ -2562,7 +2595,7 @@ async function executeDbVerifyCommand(options, flags) {
   }
   let contractJsonContent;
   try {
-    contractJsonContent = await readFile4(contractPathAbsolute, "utf-8");
+    contractJsonContent = await readFile5(contractPathAbsolute, "utf-8");
   } catch (error) {
     if (error instanceof Error && error.code === "ENOENT") {
       return notOk7(