@prisma-next/cli 0.4.0-dev.5 → 0.4.0-dev.7

package/src/lib/migration-emit.ts

@@ -0,0 +1,125 @@
+/**
+ * Shared helper for emitting `ops.json` and attesting `migration.json` for a
+ * migration package's `migration.ts`.
+ *
+ * Two flows are dispatched here:
+ *  - Descriptor flow (Postgres): the framework evaluates `migration.ts`
+ *    (which re-exports the planner's descriptor list), calls the target's
+ *    `resolveDescriptors` to produce display-oriented operations, writes
+ *    `ops.json`, and attests `migration.json`.
+ *  - Class flow (Mongo): the target's `emit` capability dynamic-imports
+ *    `migration.ts`, instantiates the default-exported `Migration` subclass
+ *    (or invokes the default-exported factory function), reads `operations`,
+ *    and writes `ops.json`. This helper then attests `migration.json` once
+ *    the capability returns.
+ *
+ * In both cases attestation is owned by this helper so the on-disk artifacts
+ * are guaranteed to be fully attested when emit returns.
+ *
+ * Note that this helper is the CLI-driven emit path. Class-flow `migration.ts`
+ * files are also self-emitting via `Migration.run(...)` when run directly;
+ * that path attests inside `Migration.run` and produces byte-identical
+ * artifacts. This helper exists primarily to bridge descriptor-flow targets
+ * and to give `migration plan` a single in-process emit dispatch.
+ *
+ * Used by `migration emit` (always) and `migration plan` (always, after
+ * scaffolding `migration.ts`). Both flows run in-process so that structured
+ * errors thrown during evaluation (notably `errorUnfilledPlaceholder` with
+ * code `PN-MIG-2001`) propagate as real exceptions and the CLI's error
+ * envelope renders them with full structured metadata.
+ */
+
+import assert from 'node:assert/strict';
+import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';
+import type {
+  MigrationPlanOperation,
+  OperationDescriptor,
+  TargetMigrationsCapability,
+} from '@prisma-next/framework-components/control';
+import { attestMigration } from '@prisma-next/migration-tools/attestation';
+import { readMigrationPackage, writeMigrationOps } from '@prisma-next/migration-tools/io';
+import { evaluateMigrationTs, hasMigrationTs } from '@prisma-next/migration-tools/migration-ts';
+import { errorMigrationFileMissing, errorTargetMigrationNotSupported } from '../utils/cli-errors';
+import { migrationStrategy } from './migration-strategy';
+
+/**
+ * Context passed to `emitMigration`. Captures everything the helper needs to
+ * dispatch to the right flow without re-loading the config.
+ */
+export interface EmitMigrationContext {
+  readonly targetId: string;
+  readonly migrations: TargetMigrationsCapability;
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<string, string>>;
+}
+
+/**
+ * Result of a successful emit: the operations that were written to `ops.json`
+ * (display-oriented shape) and the content-addressed migrationId persisted to
+ * `migration.json`.
+ */
+export interface EmitMigrationResult {
+  readonly operations: readonly MigrationPlanOperation[];
+  readonly migrationId: string;
+}
+
+/**
+ * Emit `ops.json` and attest `migrationId` for the migration package at `dir`.
+ *
+ * Dispatches to descriptor flow when the target implements `resolveDescriptors`,
+ * otherwise to the target's `emit` capability. Throws a structured error if
+ * `migration.ts` is missing or the target supports neither flow. Other
+ * structured errors thrown during evaluation propagate unchanged.
+ */
+export async function emitMigration(
+  dir: string,
+  ctx: EmitMigrationContext,
+): Promise<EmitMigrationResult> {
+  if (!(await hasMigrationTs(dir))) {
+    throw errorMigrationFileMissing(dir);
+  }
+
+  const strategy = migrationStrategy(ctx.migrations, ctx.targetId);
+
+  if (strategy === 'descriptor') {
+    return emitDescriptorFlow(dir, ctx.migrations, ctx);
+  }
+
+  if (!ctx.migrations.emit) {
+    throw errorTargetMigrationNotSupported({
+      why: `Target "${ctx.targetId}" does not implement the class-flow \`emit\` capability; cannot emit a migration package`,
+    });
+  }
+
+  const operations = await ctx.migrations.emit({
+    dir,
+    frameworkComponents: ctx.frameworkComponents,
+  });
+  const migrationId = await attestMigration(dir);
+  return { operations, migrationId };
+}
+
+/**
+ * Descriptor flow: evaluate `migration.ts` to obtain a list of operation
+ * descriptors, hand them to the target's `resolveDescriptors` along with the
+ * manifest's contract bookends, then persist `ops.json` and attest the package.
+ */
+async function emitDescriptorFlow(
+  dir: string,
+  migrations: TargetMigrationsCapability,
+  ctx: EmitMigrationContext,
+): Promise<EmitMigrationResult> {
+  assert(
+    migrations.resolveDescriptors,
+    'emitDescriptorFlow requires resolveDescriptors; gated by caller',
+  );
+  const pkg = await readMigrationPackage(dir);
+  const descriptors = await evaluateMigrationTs(dir);
+  const operations = migrations.resolveDescriptors(descriptors as OperationDescriptor[], {
+    fromContract: pkg.manifest.fromContract,
+    toContract: pkg.manifest.toContract,
+    frameworkComponents: ctx.frameworkComponents,
+  });
+  await writeMigrationOps(dir, operations);
+  const migrationId = await attestMigration(dir);
+  return { operations, migrationId };
+}

package/src/lib/migration-strategy.ts

@@ -0,0 +1,49 @@
+/**
+ * Migration authoring strategy selector.
+ *
+ * Targets currently use one of two strategies to author `migration.ts`:
+ *
+ *  - **Descriptor flow** — the planner produces an `OperationDescriptor[]`
+ *    and `migration.ts` is a `export default () => [...]` file that the CLI
+ *    later replays through `resolveDescriptors` at emit time. Postgres uses
+ *    this today.
+ *  - **Class flow** — the planner produces a `MigrationPlanWithAuthoringSurface`
+ *    that renders itself as a `class M extends Migration { ... }` file. The
+ *    CLI dispatches to the target's `emit` capability at emit time. Mongo
+ *    uses this today.
+ *
+ * The two are mutually exclusive at the target level: a migrations capability
+ * either implements the descriptor-flow trio (`planWithDescriptors`,
+ * `resolveDescriptors`, `renderDescriptorTypeScript`) or the class-flow
+ * `emit` hook. `migrationStrategy` discriminates between them by observing
+ * which hooks are present, and is consumed by `migration new`, `migration
+ * plan`, and `migration emit` to keep strategy-specific branching in one
+ * place.
+ */
+
+import { errorTargetHasIncompleteMigrationCapabilities } from '@prisma-next/errors/migration';
+import type { TargetMigrationsCapability } from '@prisma-next/framework-components/control';
+
+export type MigrationStrategy = 'descriptor' | 'class-based';
+
+/**
+ * Determine which authoring strategy a target uses, based on the shape of
+ * its `TargetMigrationsCapability`. Callers that need strategy-specific
+ * guarantees (e.g. that `resolveDescriptors` is present) should narrow on
+ * the returned tag and trust the capability fields directly rather than
+ * re-probing.
+ *
+ * Throws `errorTargetHasIncompleteMigrationCapabilities` (PN-MIG-2011) when
+ * the capability registers neither flow. We diagnose this here rather than
+ * deferring to the dispatch site so a misconfigured target gets an honest
+ * "incomplete capability" error instead of being silently routed to one
+ * flow and reported as missing the *other* flow's hook.
+ */
+export function migrationStrategy(
+  migrations: TargetMigrationsCapability,
+  targetId: string,
+): MigrationStrategy {
+  if (migrations.resolveDescriptors) return 'descriptor';
+  if (migrations.emit) return 'class-based';
+  throw errorTargetHasIncompleteMigrationCapabilities({ targetId });
+}

package/src/utils/cli-errors.ts

@@ -30,3 +30,10 @@ export {
   errorSchemaVerificationFailed,
   errorTargetMismatch,
 } from '@prisma-next/errors/execution';
+export {
+  errorMigrationFileMissing,
+  errorMigrationInvalidDefaultExport,
+  errorMigrationPlanNotArray,
+  errorUnfilledPlaceholder,
+  placeholder,
+} from '@prisma-next/errors/migration';

package/src/utils/formatters/help.ts

@@ -137,7 +137,7 @@ function getCommandDocsUrl(commandPath: string): string | undefined {
     'migration apply': 'https://pris.ly/migration-apply',
     'migration show': 'https://pris.ly/migration-show',
     'migration status': 'https://pris.ly/migration-status',
-    'migration verify': 'https://pris.ly/migration-verify',
+    'migration emit': 'https://pris.ly/migration-emit',
   };
   return docsMap[commandPath];
 }

package/src/utils/formatters/migrations.ts

@@ -136,9 +136,8 @@ export interface MigrationApplyCommandOutputResult {
   };
 }
 
-export interface MigrationVerifyCommandOutputResult {
-  readonly status: 'verified' | 'attested';
-  readonly migrationId?: string;
+export interface MigrationEmitCommandOutputResult {
+  readonly migrationId: string;
 }
 
 export function formatMigrationApplyCommandOutput(
@@ -183,8 +182,8 @@ export function formatMigrationApplyCommandOutput(
   return lines.join('\n');
 }
 
-export function formatMigrationVerifyCommandOutput(
-  result: MigrationVerifyCommandOutputResult,
+export function formatMigrationEmitCommandOutput(
+  result: MigrationEmitCommandOutputResult,
   flags: GlobalFlags,
 ): string {
   if (flags.quiet) {
@@ -194,23 +193,10 @@ export function formatMigrationVerifyCommandOutput(
   const lines: string[] = [];
   const useColor = flags.color !== false;
   const formatGreen = createColorFormatter(useColor, green);
-  const formatYellow = createColorFormatter(useColor, yellow);
   const formatDimText = (text: string) => formatDim(useColor, text);
 
-  switch (result.status) {
-    case 'verified':
-      lines.push(`${formatGreen('✔')} Migration verified`);
-      if (result.migrationId) {
-        lines.push(formatDimText(`  migrationId: ${result.migrationId}`));
-      }
-      break;
-    case 'attested':
-      lines.push(`${formatYellow('◉')} Draft migration attested`);
-      if (result.migrationId) {
-        lines.push(formatDimText(`  migrationId: ${result.migrationId}`));
-      }
-      break;
-  }
+  lines.push(`${formatGreen('✔')} Emitted ops.json and attested migration`);
+  lines.push(formatDimText(`  migrationId: ${result.migrationId}`));
 
   return lines.join('\n');
 }

package/dist/cli-errors-BDCYR5ap.mjs

@@ -1,4 +0,0 @@
-import { CliStructuredError, errorConfigValidation as errorConfigValidation$1, errorContractConfigMissing as errorContractConfigMissing$1, errorContractValidationFailed, errorDatabaseConnectionRequired, errorDriverRequired, errorFileNotFound, errorMigrationPlanningFailed, errorTargetMigrationNotSupported, errorUnexpected as errorUnexpected$1 } from "@prisma-next/errors/control";
-import { ERROR_CODE_DESTRUCTIVE_CHANGES, errorDestructiveChanges, errorHashMismatch, errorMarkerMissing, errorRunnerFailed, errorRuntime as errorRuntime$1, errorTargetMismatch } from "@prisma-next/errors/execution";
-
-export { errorUnexpected$1 as _, errorContractValidationFailed as a, errorDriverRequired as c, errorMarkerMissing as d, errorMigrationPlanningFailed as f, errorTargetMismatch as g, errorTargetMigrationNotSupported as h, errorContractConfigMissing$1 as i, errorFileNotFound as l, errorRuntime$1 as m, ERROR_CODE_DESTRUCTIVE_CHANGES as n, errorDatabaseConnectionRequired as o, errorRunnerFailed as p, errorConfigValidation$1 as r, errorDestructiveChanges as s, CliStructuredError as t, errorHashMismatch as u };

package/dist/client-tdnbk0OR.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"client-tdnbk0OR.mjs","names":["plannerResult: MigrationPlannerResult","migrationPlan: MigrationPlan","runnerResult: MigrationRunnerResult","plannerResult: MigrationPlannerResult","runnerResult: MigrationRunnerResult","applied: MigrationApplyAppliedEntry[]","runnerResult: MigrationRunnerResult","contract: Contract","contractRaw: unknown","emitContractArtifacts"],"sources":["../src/control-api/errors.ts","../src/control-api/operations/migration-helpers.ts","../src/control-api/operations/db-init.ts","../src/control-api/operations/db-update.ts","../src/control-api/operations/migration-apply.ts","../src/control-api/client.ts"],"sourcesContent":["export class ContractValidationError extends Error {\n  override readonly cause?: unknown;\n\n  constructor(message: string, cause?: unknown) {\n    super(message);\n    this.name = 'ContractValidationError';\n    this.cause = cause;\n  }\n}\n","import type { MigrationPlanOperation } from '@prisma-next/framework-components/control';\nimport type { ControlActionName, OnControlProgress } from '../types';\n\n/**\n * Strips operation objects to their public shape (id, label, operationClass).\n * Used at the API boundary to avoid leaking internal fields (precheck, execute, postcheck, etc.).\n */\nexport function stripOperations(\n  operations: readonly MigrationPlanOperation[],\n): ReadonlyArray<{ readonly id: string; readonly label: string; readonly operationClass: string }> {\n  return operations.map((op) => ({\n    id: op.id,\n    label: op.label,\n    operationClass: op.operationClass,\n  }));\n}\n\n/**\n * Creates per-operation progress callbacks for the runner.\n * Returns undefined when no onProgress callback is provided.\n */\nexport function createOperationCallbacks(\n  onProgress: OnControlProgress | undefined,\n  action: ControlActionName,\n  parentSpanId: string,\n) {\n  if (!onProgress) {\n    return undefined;\n  }\n  return {\n    onOperationStart: (op: MigrationPlanOperation) => {\n      onProgress({\n        action,\n        kind: 'spanStart',\n        spanId: `operation:${op.id}`,\n        parentSpanId,\n        label: op.label,\n      });\n    },\n    onOperationComplete: (op: MigrationPlanOperation) => {\n      onProgress({\n        action,\n        kind: 'spanEnd',\n        spanId: `operation:${op.id}`,\n        outcome: 'ok',\n      });\n    },\n  };\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  MigrationPlan,\n  MigrationPlannerResult,\n  MigrationRunnerResult,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport type { DbInitResult, DbInitSuccess, OnControlProgress } from '../types';\nimport { extractOperationStatements } from './extract-operation-statements';\nimport { createOperationCallbacks, stripOperations } from './migration-helpers';\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, unknown>;\n  readonly contract: Contract;\n  readonly mode: 'plan' | 'apply';\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\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, contract, 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,\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 database signature',\n  });\n  const existingMarker = await familyInstance.readMarker({ driver });\n  if (existingMarker) {\n    const markerMatchesDestination =\n      existingMarker.storageHash === migrationPlan.destination.storageHash &&\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        destination: {\n          storageHash: migrationPlan.destination.storageHash,\n          ...ifDefined('profileHash', migrationPlan.destination.profileHash),\n        },\n        ...ifDefined(\n          'execution',\n          mode === 'apply' ? { operationsPlanned: 0, operationsExecuted: 0 } : undefined,\n        ),\n        ...ifDefined(\n          'marker',\n          mode === 'apply'\n            ? {\n                storageHash: existingMarker.storageHash,\n                profileHash: existingMarker.profileHash,\n              }\n            : undefined,\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        storageHash: existingMarker.storageHash,\n        profileHash: existingMarker.profileHash,\n      },\n      destination: {\n        storageHash: migrationPlan.destination.storageHash,\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 planSql = extractOperationStatements(familyInstance.familyId, migrationPlan.operations);\n    const result: DbInitSuccess = {\n      mode: 'plan',\n      plan: {\n        operations: stripOperations(migrationPlan.operations),\n        ...ifDefined('sql', planSql),\n      },\n      destination: {\n        storageHash: migrationPlan.destination.storageHash,\n        ...ifDefined('profileHash', migrationPlan.destination.profileHash),\n      },\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 = createOperationCallbacks(onProgress, 'dbInit', applySpanId);\n\n  const runnerResult: MigrationRunnerResult = await runner.execute({\n    plan: migrationPlan,\n    driver,\n    destinationContract: contract,\n    policy,\n    ...ifDefined('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: {\n      operations: stripOperations(migrationPlan.operations),\n    },\n    destination: {\n      storageHash: migrationPlan.destination.storageHash,\n      ...ifDefined('profileHash', migrationPlan.destination.profileHash),\n    },\n    execution: {\n      operationsPlanned: execution.operationsPlanned,\n      operationsExecuted: execution.operationsExecuted,\n    },\n    marker: migrationPlan.destination.profileHash\n      ? {\n          storageHash: migrationPlan.destination.storageHash,\n          profileHash: migrationPlan.destination.profileHash,\n        }\n      : { storageHash: migrationPlan.destination.storageHash },\n    summary: `Applied ${execution.operationsExecuted} operation(s), database signed`,\n  };\n  return ok(result);\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  MigrationPlannerResult,\n  MigrationRunnerResult,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport type { DbUpdateResult, DbUpdateSuccess, OnControlProgress } from '../types';\nimport { extractOperationStatements } from './extract-operation-statements';\nimport { createOperationCallbacks, stripOperations } from './migration-helpers';\n\n// F12: db update allows additive, widening, and destructive operations.\nconst DB_UPDATE_POLICY = {\n  allowedOperationClasses: ['additive', 'widening', 'destructive'] as const,\n} as const;\n\n/**\n * Options for the executeDbUpdate operation.\n * Config-agnostic: receives pre-resolved driver, family, contract, and migrations capability.\n */\nexport interface ExecuteDbUpdateOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly contract: Contract;\n  readonly mode: 'plan' | 'apply';\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly acceptDataLoss?: boolean;\n  /** Optional progress callback for observing operation progress. */\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Executes the db update operation: introspect → plan → (optionally) apply → marker.\n *\n * db update is a pure reconciliation command: it introspects the live schema, plans the diff\n * to the destination contract, and applies operations. The marker is bookkeeping only — written\n * after apply so that `verify` and `db init` can reference it, but never read or validated\n * by db update itself. The runner creates the marker table if it does not exist.\n */\nexport async function executeDbUpdate<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbUpdateOptions<TFamilyId, TTargetId>,\n): Promise<DbUpdateResult> {\n  const { driver, familyInstance, contract, mode, migrations, frameworkComponents, onProgress } =\n    options;\n\n  const planner = migrations.createPlanner(familyInstance);\n  const runner = migrations.createRunner(familyInstance);\n\n  const introspectSpanId = 'introspect';\n  onProgress?.({\n    action: 'dbUpdate',\n    kind: 'spanStart',\n    spanId: introspectSpanId,\n    label: 'Introspecting database schema',\n  });\n  const schemaIR = await familyInstance.introspect({ driver });\n  onProgress?.({\n    action: 'dbUpdate',\n    kind: 'spanEnd',\n    spanId: introspectSpanId,\n    outcome: 'ok',\n  });\n\n  const policy = DB_UPDATE_POLICY;\n\n  const planSpanId = 'plan';\n  onProgress?.({\n    action: 'dbUpdate',\n    kind: 'spanStart',\n    spanId: planSpanId,\n    label: 'Planning migration',\n  });\n  const plannerResult: MigrationPlannerResult = await planner.plan({\n    contract,\n    schema: schemaIR,\n    policy,\n    frameworkComponents,\n  });\n  if (plannerResult.kind === 'failure') {\n    onProgress?.({\n      action: 'dbUpdate',\n      kind: 'spanEnd',\n      spanId: planSpanId,\n      outcome: 'error',\n    });\n    return notOk({\n      code: 'PLANNING_FAILED',\n      summary: 'Migration planning failed due to conflicts',\n      conflicts: plannerResult.conflicts,\n      why: undefined,\n      meta: undefined,\n    });\n  }\n  onProgress?.({\n    action: 'dbUpdate',\n    kind: 'spanEnd',\n    spanId: planSpanId,\n    outcome: 'ok',\n  });\n\n  const migrationPlan = plannerResult.plan;\n\n  if (mode === 'plan') {\n    const planSql = extractOperationStatements(familyInstance.familyId, migrationPlan.operations);\n    const result: DbUpdateSuccess = {\n      mode: 'plan',\n      plan: {\n        operations: stripOperations(migrationPlan.operations),\n        ...(planSql !== undefined ? { sql: planSql } : {}),\n      },\n      destination: {\n        storageHash: migrationPlan.destination.storageHash,\n        ...ifDefined('profileHash', migrationPlan.destination.profileHash),\n      },\n      summary: `Planned ${migrationPlan.operations.length} operation(s)`,\n    };\n    return ok(result);\n  }\n\n  // When applying, require explicit acceptance for destructive operations\n  if (!options.acceptDataLoss) {\n    const destructiveOps = migrationPlan.operations\n      .filter((op) => op.operationClass === 'destructive')\n      .map((op) => ({ id: op.id, label: op.label }));\n    if (destructiveOps.length > 0) {\n      return notOk({\n        code: 'DESTRUCTIVE_CHANGES',\n        summary: `Planned ${destructiveOps.length} destructive operation(s) that require confirmation`,\n        why: 'Destructive operations require confirmation — re-run with -y to accept',\n        conflicts: undefined,\n        meta: { destructiveOperations: destructiveOps },\n      });\n    }\n  }\n\n  const applySpanId = 'apply';\n  onProgress?.({\n    action: 'dbUpdate',\n    kind: 'spanStart',\n    spanId: applySpanId,\n    label: 'Applying migration plan',\n  });\n\n  const callbacks = createOperationCallbacks(onProgress, 'dbUpdate', applySpanId);\n\n  const runnerResult: MigrationRunnerResult = await runner.execute({\n    plan: migrationPlan,\n    driver,\n    destinationContract: contract,\n    policy,\n    ...(callbacks ? { callbacks } : {}),\n    // db update plans and applies from a single introspection pass, so per-operation pre/postchecks\n    // and idempotency probes are intentionally disabled to avoid redundant roundtrips.\n    executionChecks: {\n      prechecks: false,\n      postchecks: false,\n      idempotencyChecks: false,\n    },\n    frameworkComponents,\n  });\n\n  if (!runnerResult.ok) {\n    onProgress?.({\n      action: 'dbUpdate',\n      kind: 'spanEnd',\n      spanId: applySpanId,\n      outcome: 'error',\n    });\n    return notOk({\n      code: 'RUNNER_FAILED',\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  onProgress?.({\n    action: 'dbUpdate',\n    kind: 'spanEnd',\n    spanId: applySpanId,\n    outcome: 'ok',\n  });\n\n  const result: DbUpdateSuccess = {\n    mode: 'apply',\n    plan: {\n      operations: stripOperations(migrationPlan.operations),\n    },\n    destination: {\n      storageHash: migrationPlan.destination.storageHash,\n      ...ifDefined('profileHash', migrationPlan.destination.profileHash),\n    },\n    execution: {\n      operationsPlanned: execution.operationsPlanned,\n      operationsExecuted: execution.operationsExecuted,\n    },\n    marker: migrationPlan.destination.profileHash\n      ? {\n          storageHash: migrationPlan.destination.storageHash,\n          profileHash: migrationPlan.destination.profileHash,\n        }\n      : { storageHash: migrationPlan.destination.storageHash },\n    summary:\n      execution.operationsExecuted === 0\n        ? 'Database already matches contract, signature updated'\n        : `Applied ${execution.operationsExecuted} operation(s), signature updated`,\n  };\n  return ok(result);\n}\n","import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  MigrationRunnerResult,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { EMPTY_CONTRACT_HASH } from '@prisma-next/migration-tools/constants';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport type {\n  MigrationApplyAppliedEntry,\n  MigrationApplyResult,\n  MigrationApplyStep,\n  OnControlProgress,\n} from '../types';\n\nexport interface ExecuteMigrationApplyOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly originHash: string;\n  readonly destinationHash: string;\n  readonly pendingMigrations: readonly MigrationApplyStep[];\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly targetId: string;\n  readonly onProgress?: OnControlProgress;\n}\n\nexport async function executeMigrationApply<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteMigrationApplyOptions<TFamilyId, TTargetId>,\n): Promise<MigrationApplyResult> {\n  const {\n    driver,\n    familyInstance,\n    originHash,\n    destinationHash,\n    pendingMigrations,\n    migrations,\n    frameworkComponents,\n    targetId,\n    onProgress,\n  } = options;\n\n  if (pendingMigrations.length === 0) {\n    if (originHash !== destinationHash) {\n      return notOk({\n        code: 'MIGRATION_PATH_NOT_FOUND' as const,\n        summary: 'No migrations provided for requested origin and destination',\n        why: `Requested ${originHash} -> ${destinationHash} but pendingMigrations is empty`,\n        meta: { originHash, destinationHash },\n      });\n    }\n    return ok({\n      migrationsApplied: 0,\n      markerHash: originHash,\n      applied: [],\n      summary: 'Already up to date',\n    });\n  }\n\n  const firstMigration = pendingMigrations[0]!;\n  const lastMigration = pendingMigrations[pendingMigrations.length - 1]!;\n  if (firstMigration.from !== originHash || lastMigration.to !== destinationHash) {\n    return notOk({\n      code: 'MIGRATION_PATH_NOT_FOUND' as const,\n      summary: 'Migration apply path does not match requested origin and destination',\n      why: `Path resolved as ${firstMigration.from} -> ${lastMigration.to}, but requested ${originHash} -> ${destinationHash}`,\n      meta: {\n        originHash,\n        destinationHash,\n        pathOrigin: firstMigration.from,\n        pathDestination: lastMigration.to,\n      },\n    });\n  }\n\n  for (let i = 1; i < pendingMigrations.length; i++) {\n    const previous = pendingMigrations[i - 1]!;\n    const current = pendingMigrations[i]!;\n    if (previous.to !== current.from) {\n      return notOk({\n        code: 'MIGRATION_PATH_NOT_FOUND' as const,\n        summary: 'Migration apply path contains a discontinuity between adjacent migrations',\n        why: `Migration \"${previous.dirName}\" ends at ${previous.to}, but next migration \"${current.dirName}\" starts at ${current.from}`,\n        meta: {\n          originHash,\n          destinationHash,\n          previousDirName: previous.dirName,\n          previousTo: previous.to,\n          currentDirName: current.dirName,\n          currentFrom: current.from,\n          discontinuityIndex: i,\n        },\n      });\n    }\n  }\n\n  const runner = migrations.createRunner(familyInstance);\n  const applied: MigrationApplyAppliedEntry[] = [];\n\n  for (const migration of pendingMigrations) {\n    const migrationSpanId = `migration:${migration.dirName}`;\n    onProgress?.({\n      action: 'migrationApply',\n      kind: 'spanStart',\n      spanId: migrationSpanId,\n      label: `Applying ${migration.dirName}`,\n    });\n\n    const { operations } = migration;\n\n    // Allow all operation classes. The policy gate belongs at plan time, not\n    // apply time — the planner already decided what to emit. Restricting here\n    // would be a tautology (the allowed set would just mirror what's in ops).\n    const policy = {\n      allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'] as const,\n    };\n\n    // EMPTY_CONTRACT_HASH means \"no prior state\" — the runner expects origin: null\n    // for a fresh database (no marker present).\n    const plan = {\n      targetId,\n      origin: migration.from === EMPTY_CONTRACT_HASH ? null : { storageHash: migration.from },\n      destination: { storageHash: migration.to },\n      operations,\n    };\n\n    const destinationContract = familyInstance.validateContract(migration.toContract);\n\n    const runnerResult: MigrationRunnerResult = await runner.execute({\n      plan,\n      driver,\n      destinationContract,\n      policy,\n      executionChecks: {\n        prechecks: true,\n        postchecks: true,\n        idempotencyChecks: true,\n      },\n      frameworkComponents,\n    });\n\n    if (!runnerResult.ok) {\n      onProgress?.({\n        action: 'migrationApply',\n        kind: 'spanEnd',\n        spanId: migrationSpanId,\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: {\n          migration: migration.dirName,\n          from: migration.from,\n          to: migration.to,\n          ...(runnerResult.failure.meta ?? {}),\n        },\n      });\n    }\n\n    onProgress?.({\n      action: 'migrationApply',\n      kind: 'spanEnd',\n      spanId: migrationSpanId,\n      outcome: 'ok',\n    });\n\n    applied.push({\n      dirName: migration.dirName,\n      from: migration.from,\n      to: migration.to,\n      operationsExecuted: runnerResult.value.operationsExecuted,\n    });\n  }\n\n  const finalHash = pendingMigrations[pendingMigrations.length - 1]!.to;\n  const totalOps = applied.reduce((sum, a) => sum + a.operationsExecuted, 0);\n\n  return ok({\n    migrationsApplied: applied.length,\n    markerHash: finalHash,\n    applied,\n    summary: `Applied ${applied.length} migration(s) (${totalOps} operation(s)), marker at ${finalHash}`,\n  });\n}\n","import type { Contract, ContractMarkerRecord } from '@prisma-next/contract/types';\nimport { emit as emitContractArtifacts } from '@prisma-next/emitter';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  ControlStack,\n  CoreSchemaView,\n  SignDatabaseResult,\n  VerifyDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport {\n  createControlStack,\n  hasMigrations,\n  hasSchemaView,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport { assertFrameworkComponentsCompatible } from '../utils/framework-components';\nimport { enrichContract } from './contract-enrichment';\nimport { ContractValidationError } from './errors';\nimport { executeDbInit } from './operations/db-init';\nimport { executeDbUpdate } from './operations/db-update';\nimport { executeMigrationApply } from './operations/migration-apply';\nimport type {\n  ControlActionName,\n  ControlClient,\n  ControlClientOptions,\n  DbInitOptions,\n  DbInitResult,\n  DbUpdateOptions,\n  DbUpdateResult,\n  EmitOptions,\n  EmitResult,\n  IntrospectOptions,\n  MigrationApplyOptions,\n  MigrationApplyResult,\n  OnControlProgress,\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: ControlStack | null = null;\n  private driver: ControlDriverInstance<string, string> | null = null;\n  private familyInstance: ControlFamilyInstance<string, unknown> | 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    this.stack = createControlStack({\n      family: this.options.family,\n      target: this.options.target,\n      adapter: this.options.adapter,\n      driver: this.options.driver,\n      extensionPacks: this.options.extensionPacks,\n    });\n\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    // 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, unknown>;\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  private async connectWithProgress(\n    connection: unknown | undefined,\n    action: ControlActionName,\n    onProgress?: OnControlProgress,\n  ): Promise<void> {\n    if (connection === undefined) return;\n    onProgress?.({\n      action,\n      kind: 'spanStart',\n      spanId: 'connect',\n      label: 'Connecting to database...',\n    });\n    try {\n      await this.connect(connection);\n      onProgress?.({ action, kind: 'spanEnd', spanId: 'connect', outcome: 'ok' });\n    } catch (error) {\n      onProgress?.({ action, kind: 'spanEnd', spanId: 'connect', outcome: 'error' });\n      throw error;\n    }\n  }\n\n  async verify(options: VerifyOptions): Promise<VerifyDatabaseResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'verify', onProgress);\n    const { driver, familyInstance } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    // Emit verify span\n    onProgress?.({\n      action: 'verify',\n      kind: 'spanStart',\n      spanId: 'verify',\n      label: 'Verifying database 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        contract,\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    await this.connectWithProgress(options.connection, 'schemaVerify', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\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        contract,\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    await this.connectWithProgress(options.connection, 'sign', onProgress);\n    const { driver, familyInstance } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\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        contract,\n        contractPath: options.contractPath ?? '',\n        ...ifDefined('configPath', options.configPath),\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    await this.connectWithProgress(options.connection, 'dbInit', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    if (!hasMigrations(this.options.target)) {\n      throw new Error(`Target \"${this.options.target.targetId}\" does not support migrations`);\n    }\n\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    return executeDbInit({\n      driver,\n      familyInstance,\n      contract,\n      mode: options.mode,\n      migrations: this.options.target.migrations,\n      frameworkComponents,\n      ...ifDefined('onProgress', onProgress),\n    });\n  }\n\n  async dbUpdate(options: DbUpdateOptions): Promise<DbUpdateResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'dbUpdate', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    if (!hasMigrations(this.options.target)) {\n      throw new Error(`Target \"${this.options.target.targetId}\" does not support migrations`);\n    }\n\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    return executeDbUpdate({\n      driver,\n      familyInstance,\n      contract,\n      mode: options.mode,\n      migrations: this.options.target.migrations,\n      frameworkComponents,\n      ...ifDefined('acceptDataLoss', options.acceptDataLoss),\n      ...ifDefined('onProgress', onProgress),\n    });\n  }\n\n  async readMarker(): Promise<ContractMarkerRecord | null> {\n    const { driver, familyInstance } = await this.ensureConnected();\n    return familyInstance.readMarker({ driver });\n  }\n\n  async migrationApply(options: MigrationApplyOptions): Promise<MigrationApplyResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'migrationApply', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    if (!hasMigrations(this.options.target)) {\n      throw new Error(`Target \"${this.options.target.targetId}\" does not support migrations`);\n    }\n\n    return executeMigrationApply({\n      driver,\n      familyInstance,\n      originHash: options.originHash,\n      destinationHash: options.destinationHash,\n      pendingMigrations: options.pendingMigrations,\n      migrations: this.options.target.migrations,\n      frameworkComponents,\n      targetId: this.options.target.targetId,\n      ...(onProgress ? { onProgress } : {}),\n    });\n  }\n\n  async introspect(options?: IntrospectOptions): Promise<unknown> {\n    const onProgress = options?.onProgress;\n    await this.connectWithProgress(options?.connection, 'introspect', onProgress);\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  toSchemaView(schemaIR: unknown): CoreSchemaView | undefined {\n    this.init();\n    if (this.familyInstance && hasSchemaView(this.familyInstance)) {\n      return this.familyInstance.toSchemaView(schemaIR);\n    }\n    return undefined;\n  }\n\n  async emit(options: EmitOptions): Promise<EmitResult> {\n    const { onProgress, contractConfig } = options;\n\n    // Ensure initialized (creates stack and family instance)\n    // emit() does NOT require a database connection\n    this.init();\n\n    if (!this.familyInstance) {\n      throw new Error('Family instance was not initialized. This is a bug.');\n    }\n\n    let contractRaw: unknown;\n    onProgress?.({\n      action: 'emit',\n      kind: 'spanStart',\n      spanId: 'resolveSource',\n      label: 'Resolving contract source...',\n    });\n\n    try {\n      const stack = this.stack!;\n      const sourceContext = {\n        composedExtensionPacks: stack.extensionPacks.map((p) => p.id),\n        scalarTypeDescriptors: stack.scalarTypeDescriptors,\n        authoringContributions: stack.authoringContributions,\n        codecLookup: stack.codecLookup,\n        controlMutationDefaults: stack.controlMutationDefaults,\n      };\n      const providerResult = await contractConfig.sourceProvider(sourceContext);\n      if (!providerResult.ok) {\n        onProgress?.({\n          action: 'emit',\n          kind: 'spanEnd',\n          spanId: 'resolveSource',\n          outcome: 'error',\n        });\n\n        return notOk({\n          code: 'CONTRACT_SOURCE_INVALID',\n          summary: providerResult.failure.summary,\n          why: providerResult.failure.summary,\n          meta: providerResult.failure.meta,\n          diagnostics: providerResult.failure,\n        });\n      }\n      contractRaw = providerResult.value;\n\n      onProgress?.({\n        action: 'emit',\n        kind: 'spanEnd',\n        spanId: 'resolveSource',\n        outcome: 'ok',\n      });\n    } catch (error) {\n      onProgress?.({\n        action: 'emit',\n        kind: 'spanEnd',\n        spanId: 'resolveSource',\n        outcome: 'error',\n      });\n\n      const message = error instanceof Error ? error.message : String(error);\n      return notOk({\n        code: 'CONTRACT_SOURCE_INVALID',\n        summary: 'Failed to resolve contract source',\n        why: message,\n        diagnostics: {\n          summary: 'Contract source provider threw an exception',\n          diagnostics: [\n            {\n              code: 'PROVIDER_THROW',\n              message,\n            },\n          ],\n        },\n        meta: undefined,\n      });\n    }\n\n    // Emit contract\n    onProgress?.({\n      action: 'emit',\n      kind: 'spanStart',\n      spanId: 'emit',\n      label: 'Emitting contract...',\n    });\n\n    try {\n      const enrichedIR = enrichContract(contractRaw as Contract, this.frameworkComponents ?? []);\n\n      try {\n        this.familyInstance.validateContract(enrichedIR);\n      } catch (error) {\n        onProgress?.({\n          action: 'emit',\n          kind: 'spanEnd',\n          spanId: 'emit',\n          outcome: 'error',\n        });\n        const message = error instanceof Error ? error.message : String(error);\n        return notOk({\n          code: 'CONTRACT_VALIDATION_FAILED',\n          summary: 'Contract validation failed',\n          why: message,\n          meta: undefined,\n        });\n      }\n\n      const result = await emitContractArtifacts(\n        enrichedIR,\n        this.stack!,\n        this.options.family.emission,\n      );\n\n      onProgress?.({\n        action: 'emit',\n        kind: 'spanEnd',\n        spanId: 'emit',\n        outcome: 'ok',\n      });\n\n      return ok({\n        storageHash: result.storageHash,\n        ...ifDefined('executionHash', result.executionHash),\n        profileHash: result.profileHash,\n        contractJson: result.contractJson,\n        contractDts: result.contractDts,\n      });\n    } catch (error) {\n      onProgress?.({\n        action: 'emit',\n        kind: 'spanEnd',\n        spanId: 'emit',\n        outcome: 'error',\n      });\n\n      return notOk({\n        code: 'EMIT_FAILED',\n        summary: 'Failed to emit contract',\n        why: error instanceof Error ? error.message : String(error),\n        meta: undefined,\n      });\n    }\n  }\n}\n"],"mappings":";;;;;;;;;;AAAA,IAAa,0BAAb,cAA6C,MAAM;CACjD,AAAkB;CAElB,YAAY,SAAiB,OAAiB;AAC5C,QAAM,QAAQ;AACd,OAAK,OAAO;AACZ,OAAK,QAAQ;;;;;;;;;;ACCjB,SAAgB,gBACd,YACiG;AACjG,QAAO,WAAW,KAAK,QAAQ;EAC7B,IAAI,GAAG;EACP,OAAO,GAAG;EACV,gBAAgB,GAAG;EACpB,EAAE;;;;;;AAOL,SAAgB,yBACd,YACA,QACA,cACA;AACA,KAAI,CAAC,WACH;AAEF,QAAO;EACL,mBAAmB,OAA+B;AAChD,cAAW;IACT;IACA,MAAM;IACN,QAAQ,aAAa,GAAG;IACxB;IACA,OAAO,GAAG;IACX,CAAC;;EAEJ,sBAAsB,OAA+B;AACnD,cAAW;IACT;IACA,MAAM;IACN,QAAQ,aAAa,GAAG;IACxB,SAAS;IACV,CAAC;;EAEL;;;;;;;;;;;;;;;ACHH,eAAsB,cACpB,SACuB;CACvB,MAAM,EAAE,QAAQ,gBAAgB,UAAU,MAAM,YAAY,qBAAqB,eAC/E;CAGF,MAAM,UAAU,WAAW,cAAc,eAAe;CACxD,MAAM,SAAS,WAAW,aAAa,eAAe;CAGtD,MAAM,mBAAmB;AACzB,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,OAAO;EACR,CAAC;CACF,MAAM,WAAW,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;AAC5D,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,SAAS;EACV,CAAC;CAGF,MAAM,SAAS,EAAE,yBAAyB,CAAC,WAAW,EAAW;CAGjE,MAAM,aAAa;AACnB,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,OAAO;EACR,CAAC;CACF,MAAMA,gBAAwC,MAAM,QAAQ,KAAK;EAC/D;EACA,QAAQ;EACR;EACA;EACD,CAAC;AAEF,KAAI,cAAc,SAAS,WAAW;AACpC,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,SAAS;GACV,CAAC;AACF,SAAO,MAAM;GACX,MAAM;GACN,SAAS;GACT,WAAW,cAAc;GACzB,KAAK;GACL,MAAM;GACP,CAAC;;CAGJ,MAAMC,gBAA+B,cAAc;AACnD,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,SAAS;EACV,CAAC;CAGF,MAAM,oBAAoB;AAC1B,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,OAAO;EACR,CAAC;CACF,MAAM,iBAAiB,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;AAClE,KAAI,gBAAgB;AAMlB,MAJE,eAAe,gBAAgB,cAAc,YAAY,gBACxD,CAAC,cAAc,YAAY,eAC1B,eAAe,gBAAgB,cAAc,YAAY,cAE/B;AAE5B,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AAuBF,UAAO,GAtBuB;IAC5B;IACA,MAAM,EAAE,YAAY,EAAE,EAAE;IACxB,aAAa;KACX,aAAa,cAAc,YAAY;KACvC,GAAG,UAAU,eAAe,cAAc,YAAY,YAAY;KACnE;IACD,GAAG,UACD,aACA,SAAS,UAAU;KAAE,mBAAmB;KAAG,oBAAoB;KAAG,GAAG,OACtE;IACD,GAAG,UACD,UACA,SAAS,UACL;KACE,aAAa,eAAe;KAC5B,aAAa,eAAe;KAC7B,GACD,OACL;IACD,SAAS;IACV,CACgB;;AAInB,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,SAAS;GACV,CAAC;AACF,SAAO,MAAM;GACX,MAAM;GACN,SAAS;GACT,QAAQ;IACN,aAAa,eAAe;IAC5B,aAAa,eAAe;IAC7B;GACD,aAAa;IACX,aAAa,cAAc,YAAY;IACvC,aAAa,cAAc,YAAY;IACxC;GACD,KAAK;GACL,WAAW;GACX,MAAM;GACP,CAAC;;AAGJ,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,SAAS;EACV,CAAC;AAGF,KAAI,SAAS,QAAQ;EACnB,MAAM,UAAU,2BAA2B,eAAe,UAAU,cAAc,WAAW;AAa7F,SAAO,GAZuB;GAC5B,MAAM;GACN,MAAM;IACJ,YAAY,gBAAgB,cAAc,WAAW;IACrD,GAAG,UAAU,OAAO,QAAQ;IAC7B;GACD,aAAa;IACX,aAAa,cAAc,YAAY;IACvC,GAAG,UAAU,eAAe,cAAc,YAAY,YAAY;IACnE;GACD,SAAS,WAAW,cAAc,WAAW,OAAO;GACrD,CACgB;;CAInB,MAAM,cAAc;AACpB,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,OAAO;EACR,CAAC;CAEF,MAAM,YAAY,yBAAyB,YAAY,UAAU,YAAY;CAE7E,MAAMC,eAAsC,MAAM,OAAO,QAAQ;EAC/D,MAAM;EACN;EACA,qBAAqB;EACrB;EACA,GAAG,UAAU,aAAa,UAAU;EAIpC,iBAAiB;GACf,WAAW;GACX,YAAY;GACZ,mBAAmB;GACpB;EACD;EACD,CAAC;AAEF,KAAI,CAAC,aAAa,IAAI;AACpB,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,SAAS;GACV,CAAC;AACF,SAAO,MAAM;GACX,MAAM;GACN,SAAS,aAAa,QAAQ;GAC9B,KAAK,aAAa,QAAQ;GAC1B,MAAM,aAAa,QAAQ;GAC3B,WAAW;GACZ,CAAC;;CAGJ,MAAM,YAAY,aAAa;AAE/B,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,SAAS;EACV,CAAC;AAuBF,QAAO,GArBuB;EAC5B,MAAM;EACN,MAAM,EACJ,YAAY,gBAAgB,cAAc,WAAW,EACtD;EACD,aAAa;GACX,aAAa,cAAc,YAAY;GACvC,GAAG,UAAU,eAAe,cAAc,YAAY,YAAY;GACnE;EACD,WAAW;GACT,mBAAmB,UAAU;GAC7B,oBAAoB,UAAU;GAC/B;EACD,QAAQ,cAAc,YAAY,cAC9B;GACE,aAAa,cAAc,YAAY;GACvC,aAAa,cAAc,YAAY;GACxC,GACD,EAAE,aAAa,cAAc,YAAY,aAAa;EAC1D,SAAS,WAAW,UAAU,mBAAmB;EAClD,CACgB;;;;;AC3QnB,MAAM,mBAAmB,EACvB,yBAAyB;CAAC;CAAY;CAAY;CAAc,EACjE;;;;;;;;;AA8BD,eAAsB,gBACpB,SACyB;CACzB,MAAM,EAAE,QAAQ,gBAAgB,UAAU,MAAM,YAAY,qBAAqB,eAC/E;CAEF,MAAM,UAAU,WAAW,cAAc,eAAe;CACxD,MAAM,SAAS,WAAW,aAAa,eAAe;CAEtD,MAAM,mBAAmB;AACzB,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,OAAO;EACR,CAAC;CACF,MAAM,WAAW,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;AAC5D,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,SAAS;EACV,CAAC;CAEF,MAAM,SAAS;CAEf,MAAM,aAAa;AACnB,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,OAAO;EACR,CAAC;CACF,MAAMC,gBAAwC,MAAM,QAAQ,KAAK;EAC/D;EACA,QAAQ;EACR;EACA;EACD,CAAC;AACF,KAAI,cAAc,SAAS,WAAW;AACpC,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,SAAS;GACV,CAAC;AACF,SAAO,MAAM;GACX,MAAM;GACN,SAAS;GACT,WAAW,cAAc;GACzB,KAAK;GACL,MAAM;GACP,CAAC;;AAEJ,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,SAAS;EACV,CAAC;CAEF,MAAM,gBAAgB,cAAc;AAEpC,KAAI,SAAS,QAAQ;EACnB,MAAM,UAAU,2BAA2B,eAAe,UAAU,cAAc,WAAW;AAa7F,SAAO,GAZyB;GAC9B,MAAM;GACN,MAAM;IACJ,YAAY,gBAAgB,cAAc,WAAW;IACrD,GAAI,YAAY,SAAY,EAAE,KAAK,SAAS,GAAG,EAAE;IAClD;GACD,aAAa;IACX,aAAa,cAAc,YAAY;IACvC,GAAG,UAAU,eAAe,cAAc,YAAY,YAAY;IACnE;GACD,SAAS,WAAW,cAAc,WAAW,OAAO;GACrD,CACgB;;AAInB,KAAI,CAAC,QAAQ,gBAAgB;EAC3B,MAAM,iBAAiB,cAAc,WAClC,QAAQ,OAAO,GAAG,mBAAmB,cAAc,CACnD,KAAK,QAAQ;GAAE,IAAI,GAAG;GAAI,OAAO,GAAG;GAAO,EAAE;AAChD,MAAI,eAAe,SAAS,EAC1B,QAAO,MAAM;GACX,MAAM;GACN,SAAS,WAAW,eAAe,OAAO;GAC1C,KAAK;GACL,WAAW;GACX,MAAM,EAAE,uBAAuB,gBAAgB;GAChD,CAAC;;CAIN,MAAM,cAAc;AACpB,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,OAAO;EACR,CAAC;CAEF,MAAM,YAAY,yBAAyB,YAAY,YAAY,YAAY;CAE/E,MAAMC,eAAsC,MAAM,OAAO,QAAQ;EAC/D,MAAM;EACN;EACA,qBAAqB;EACrB;EACA,GAAI,YAAY,EAAE,WAAW,GAAG,EAAE;EAGlC,iBAAiB;GACf,WAAW;GACX,YAAY;GACZ,mBAAmB;GACpB;EACD;EACD,CAAC;AAEF,KAAI,CAAC,aAAa,IAAI;AACpB,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,SAAS;GACV,CAAC;AACF,SAAO,MAAM;GACX,MAAM;GACN,SAAS,aAAa,QAAQ;GAC9B,KAAK,aAAa,QAAQ;GAC1B,MAAM,aAAa,QAAQ;GAC3B,WAAW;GACZ,CAAC;;CAGJ,MAAM,YAAY,aAAa;AAC/B,cAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ;EACR,SAAS;EACV,CAAC;AA0BF,QAAO,GAxByB;EAC9B,MAAM;EACN,MAAM,EACJ,YAAY,gBAAgB,cAAc,WAAW,EACtD;EACD,aAAa;GACX,aAAa,cAAc,YAAY;GACvC,GAAG,UAAU,eAAe,cAAc,YAAY,YAAY;GACnE;EACD,WAAW;GACT,mBAAmB,UAAU;GAC7B,oBAAoB,UAAU;GAC/B;EACD,QAAQ,cAAc,YAAY,cAC9B;GACE,aAAa,cAAc,YAAY;GACvC,aAAa,cAAc,YAAY;GACxC,GACD,EAAE,aAAa,cAAc,YAAY,aAAa;EAC1D,SACE,UAAU,uBAAuB,IAC7B,yDACA,WAAW,UAAU,mBAAmB;EAC/C,CACgB;;;;;AC1LnB,eAAsB,sBACpB,SAC+B;CAC/B,MAAM,EACJ,QACA,gBACA,YACA,iBACA,mBACA,YACA,qBACA,UACA,eACE;AAEJ,KAAI,kBAAkB,WAAW,GAAG;AAClC,MAAI,eAAe,gBACjB,QAAO,MAAM;GACX,MAAM;GACN,SAAS;GACT,KAAK,aAAa,WAAW,MAAM,gBAAgB;GACnD,MAAM;IAAE;IAAY;IAAiB;GACtC,CAAC;AAEJ,SAAO,GAAG;GACR,mBAAmB;GACnB,YAAY;GACZ,SAAS,EAAE;GACX,SAAS;GACV,CAAC;;CAGJ,MAAM,iBAAiB,kBAAkB;CACzC,MAAM,gBAAgB,kBAAkB,kBAAkB,SAAS;AACnE,KAAI,eAAe,SAAS,cAAc,cAAc,OAAO,gBAC7D,QAAO,MAAM;EACX,MAAM;EACN,SAAS;EACT,KAAK,oBAAoB,eAAe,KAAK,MAAM,cAAc,GAAG,kBAAkB,WAAW,MAAM;EACvG,MAAM;GACJ;GACA;GACA,YAAY,eAAe;GAC3B,iBAAiB,cAAc;GAChC;EACF,CAAC;AAGJ,MAAK,IAAI,IAAI,GAAG,IAAI,kBAAkB,QAAQ,KAAK;EACjD,MAAM,WAAW,kBAAkB,IAAI;EACvC,MAAM,UAAU,kBAAkB;AAClC,MAAI,SAAS,OAAO,QAAQ,KAC1B,QAAO,MAAM;GACX,MAAM;GACN,SAAS;GACT,KAAK,cAAc,SAAS,QAAQ,YAAY,SAAS,GAAG,wBAAwB,QAAQ,QAAQ,cAAc,QAAQ;GAC1H,MAAM;IACJ;IACA;IACA,iBAAiB,SAAS;IAC1B,YAAY,SAAS;IACrB,gBAAgB,QAAQ;IACxB,aAAa,QAAQ;IACrB,oBAAoB;IACrB;GACF,CAAC;;CAIN,MAAM,SAAS,WAAW,aAAa,eAAe;CACtD,MAAMC,UAAwC,EAAE;AAEhD,MAAK,MAAM,aAAa,mBAAmB;EACzC,MAAM,kBAAkB,aAAa,UAAU;AAC/C,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO,YAAY,UAAU;GAC9B,CAAC;EAEF,MAAM,EAAE,eAAe;EAKvB,MAAM,SAAS,EACb,yBAAyB;GAAC;GAAY;GAAY;GAAe;GAAO,EACzE;EAID,MAAM,OAAO;GACX;GACA,QAAQ,UAAU,SAAS,sBAAsB,OAAO,EAAE,aAAa,UAAU,MAAM;GACvF,aAAa,EAAE,aAAa,UAAU,IAAI;GAC1C;GACD;EAED,MAAM,sBAAsB,eAAe,iBAAiB,UAAU,WAAW;EAEjF,MAAMC,eAAsC,MAAM,OAAO,QAAQ;GAC/D;GACA;GACA;GACA;GACA,iBAAiB;IACf,WAAW;IACX,YAAY;IACZ,mBAAmB;IACpB;GACD;GACD,CAAC;AAEF,MAAI,CAAC,aAAa,IAAI;AACpB,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AACF,UAAO,MAAM;IACX,MAAM;IACN,SAAS,aAAa,QAAQ;IAC9B,KAAK,aAAa,QAAQ;IAC1B,MAAM;KACJ,WAAW,UAAU;KACrB,MAAM,UAAU;KAChB,IAAI,UAAU;KACd,GAAI,aAAa,QAAQ,QAAQ,EAAE;KACpC;IACF,CAAC;;AAGJ,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,SAAS;GACV,CAAC;AAEF,UAAQ,KAAK;GACX,SAAS,UAAU;GACnB,MAAM,UAAU;GAChB,IAAI,UAAU;GACd,oBAAoB,aAAa,MAAM;GACxC,CAAC;;CAGJ,MAAM,YAAY,kBAAkB,kBAAkB,SAAS,GAAI;CACnE,MAAM,WAAW,QAAQ,QAAQ,KAAK,MAAM,MAAM,EAAE,oBAAoB,EAAE;AAE1E,QAAO,GAAG;EACR,mBAAmB,QAAQ;EAC3B,YAAY;EACZ;EACA,SAAS,WAAW,QAAQ,OAAO,iBAAiB,SAAS,4BAA4B;EAC1F,CAAC;;;;;;;;;;;;;;;ACvIJ,SAAgB,oBAAoB,SAA8C;AAChF,QAAO,IAAI,kBAAkB,QAAQ;;;;;;AAOvC,IAAM,oBAAN,MAAiD;CAC/C,AAAiB;CACjB,AAAQ,QAA6B;CACrC,AAAQ,SAAuD;CAC/D,AAAQ,iBAAgE;CACxE,AAAQ,sBAEG;CACX,AAAQ,cAAc;CACtB,AAAiB;CAEjB,YAAY,SAA+B;AACzC,OAAK,UAAU;AACf,OAAK,oBAAoB,QAAQ;;CAGnC,OAAa;AACX,MAAI,KAAK,YACP;AAGF,OAAK,QAAQ,mBAAmB;GAC9B,QAAQ,KAAK,QAAQ;GACrB,QAAQ,KAAK,QAAQ;GACrB,SAAS,KAAK,QAAQ;GACtB,QAAQ,KAAK,QAAQ;GACrB,gBAAgB,KAAK,QAAQ;GAC9B,CAAC;AAEF,OAAK,iBAAiB,KAAK,QAAQ,OAAO,OAAO,KAAK,MAAM;EAG5D,MAAM,gBAAgB;GACpB,KAAK,QAAQ;GACb,KAAK,QAAQ;GACb,GAAI,KAAK,QAAQ,kBAAkB,EAAE;GACtC;AACD,OAAK,sBAAsB,oCACzB,KAAK,QAAQ,OAAO,UACpB,KAAK,QAAQ,OAAO,UACpB,cACD;AAED,OAAK,cAAc;;CAGrB,MAAM,QAAQ,YAAqC;AAEjD,OAAK,MAAM;AAEX,MAAI,KAAK,OACP,OAAM,IAAI,MAAM,uDAAuD;EAIzE,MAAM,qBAAqB,cAAc,KAAK;AAC9C,MAAI,uBAAuB,OACzB,OAAM,IAAI,MACR,mHACD;AAIH,MAAI,CAAC,KAAK,OAAO,OACf,OAAM,IAAI,MACR,qHACD;AAIH,OAAK,SAAS,MAAM,KAAK,MAAM,OAAO,OAAO,mBAA0B;;CAGzE,MAAM,QAAuB;AAC3B,MAAI,KAAK,QAAQ;AACf,SAAM,KAAK,OAAO,OAAO;AACzB,QAAK,SAAS;;;CAIlB,MAAc,kBAIX;AAED,OAAK,MAAM;AAGX,MAAI,CAAC,KAAK,UAAU,KAAK,sBAAsB,OAC7C,OAAM,KAAK,QAAQ,KAAK,kBAAkB;AAG5C,MAAI,CAAC,KAAK,UAAU,CAAC,KAAK,kBAAkB,CAAC,KAAK,oBAChD,OAAM,IAAI,MAAM,iDAAiD;AAEnE,SAAO;GACL,QAAQ,KAAK;GACb,gBAAgB,KAAK;GACrB,qBAAqB,KAAK;GAC3B;;CAGH,MAAc,oBACZ,YACA,QACA,YACe;AACf,MAAI,eAAe,OAAW;AAC9B,eAAa;GACX;GACA,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;AACF,MAAI;AACF,SAAM,KAAK,QAAQ,WAAW;AAC9B,gBAAa;IAAE;IAAQ,MAAM;IAAW,QAAQ;IAAW,SAAS;IAAM,CAAC;WACpE,OAAO;AACd,gBAAa;IAAE;IAAQ,MAAM;IAAW,QAAQ;IAAW,SAAS;IAAS,CAAC;AAC9E,SAAM;;;CAIV,MAAM,OAAO,SAAuD;EAClE,MAAM,EAAE,eAAe;AACvB,QAAM,KAAK,oBAAoB,QAAQ,YAAY,UAAU,WAAW;EACxE,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAG/D,IAAIC;AACJ,MAAI;AACF,cAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;AAEd,SAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;AAInD,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;AAEF,MAAI;GAKF,MAAM,SAAS,MAAM,eAAe,OAAO;IACzC;IACA;IACA,kBAAkB,KAAK,QAAQ,OAAO;IACtC,cAAc;IACf,CAAC;AAEF,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS,OAAO,KAAK,OAAO;IAC7B,CAAC;AAEF,UAAO;WACA,OAAO;AACd,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AACF,SAAM;;;CAIV,MAAM,aAAa,SAAmE;EACpF,MAAM,EAAE,eAAe;AACvB,QAAM,KAAK,oBAAoB,QAAQ,YAAY,gBAAgB,WAAW;EAC9E,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAGpF,IAAIA;AACJ,MAAI;AACF,cAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;AAEd,SAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;AAInD,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;AAEF,MAAI;GAEF,MAAM,SAAS,MAAM,eAAe,aAAa;IAC/C;IACA;IACA,QAAQ,QAAQ,UAAU;IAC1B,cAAc;IACd;IACD,CAAC;AAEF,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS,OAAO,KAAK,OAAO;IAC7B,CAAC;AAEF,UAAO;WACA,OAAO;AACd,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AACF,SAAM;;;CAIV,MAAM,KAAK,SAAmD;EAC5D,MAAM,EAAE,eAAe;AACvB,QAAM,KAAK,oBAAoB,QAAQ,YAAY,QAAQ,WAAW;EACtE,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAG/D,IAAIA;AACJ,MAAI;AACF,cAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;AAEd,SAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;AAInD,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;AAEF,MAAI;GAEF,MAAM,SAAS,MAAM,eAAe,KAAK;IACvC;IACA;IACA,cAAc,QAAQ,gBAAgB;IACtC,GAAG,UAAU,cAAc,QAAQ,WAAW;IAC/C,CAAC;AAEF,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AAEF,UAAO;WACA,OAAO;AACd,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AACF,SAAM;;;CAIV,MAAM,OAAO,SAA+C;EAC1D,MAAM,EAAE,eAAe;AACvB,QAAM,KAAK,oBAAoB,QAAQ,YAAY,UAAU,WAAW;EACxE,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;AAEpF,MAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,CACrC,OAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;EAGzF,IAAIA;AACJ,MAAI;AACF,cAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;AAEd,SAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;AAGnD,SAAO,cAAc;GACnB;GACA;GACA;GACA,MAAM,QAAQ;GACd,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,SAAS,SAAmD;EAChE,MAAM,EAAE,eAAe;AACvB,QAAM,KAAK,oBAAoB,QAAQ,YAAY,YAAY,WAAW;EAC1E,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;AAEpF,MAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,CACrC,OAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;EAGzF,IAAIA;AACJ,MAAI;AACF,cAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;AAEd,SAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;AAGnD,SAAO,gBAAgB;GACrB;GACA;GACA;GACA,MAAM,QAAQ;GACd,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,GAAG,UAAU,kBAAkB,QAAQ,eAAe;GACtD,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,aAAmD;EACvD,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;AAC/D,SAAO,eAAe,WAAW,EAAE,QAAQ,CAAC;;CAG9C,MAAM,eAAe,SAA+D;EAClF,MAAM,EAAE,eAAe;AACvB,QAAM,KAAK,oBAAoB,QAAQ,YAAY,kBAAkB,WAAW;EAChF,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;AAEpF,MAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,CACrC,OAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;AAGzF,SAAO,sBAAsB;GAC3B;GACA;GACA,YAAY,QAAQ;GACpB,iBAAiB,QAAQ;GACzB,mBAAmB,QAAQ;GAC3B,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,UAAU,KAAK,QAAQ,OAAO;GAC9B,GAAI,aAAa,EAAE,YAAY,GAAG,EAAE;GACrC,CAAC;;CAGJ,MAAM,WAAW,SAA+C;EAC9D,MAAM,aAAa,SAAS;AAC5B,QAAM,KAAK,oBAAoB,SAAS,YAAY,cAAc,WAAW;EAC7E,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;AAG/C,WAAS;AAIzB,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;AAEF,MAAI;GACF,MAAM,SAAS,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;AAE1D,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AAEF,UAAO;WACA,OAAO;AACd,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AACF,SAAM;;;CAIV,aAAa,UAA+C;AAC1D,OAAK,MAAM;AACX,MAAI,KAAK,kBAAkB,cAAc,KAAK,eAAe,CAC3D,QAAO,KAAK,eAAe,aAAa,SAAS;;CAKrD,MAAM,KAAK,SAA2C;EACpD,MAAM,EAAE,YAAY,mBAAmB;AAIvC,OAAK,MAAM;AAEX,MAAI,CAAC,KAAK,eACR,OAAM,IAAI,MAAM,sDAAsD;EAGxE,IAAIC;AACJ,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;AAEF,MAAI;GACF,MAAM,QAAQ,KAAK;GACnB,MAAM,gBAAgB;IACpB,wBAAwB,MAAM,eAAe,KAAK,MAAM,EAAE,GAAG;IAC7D,uBAAuB,MAAM;IAC7B,wBAAwB,MAAM;IAC9B,aAAa,MAAM;IACnB,yBAAyB,MAAM;IAChC;GACD,MAAM,iBAAiB,MAAM,eAAe,eAAe,cAAc;AACzE,OAAI,CAAC,eAAe,IAAI;AACtB,iBAAa;KACX,QAAQ;KACR,MAAM;KACN,QAAQ;KACR,SAAS;KACV,CAAC;AAEF,WAAO,MAAM;KACX,MAAM;KACN,SAAS,eAAe,QAAQ;KAChC,KAAK,eAAe,QAAQ;KAC5B,MAAM,eAAe,QAAQ;KAC7B,aAAa,eAAe;KAC7B,CAAC;;AAEJ,iBAAc,eAAe;AAE7B,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;WACK,OAAO;AACd,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;AACtE,UAAO,MAAM;IACX,MAAM;IACN,SAAS;IACT,KAAK;IACL,aAAa;KACX,SAAS;KACT,aAAa,CACX;MACE,MAAM;MACN;MACD,CACF;KACF;IACD,MAAM;IACP,CAAC;;AAIJ,eAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;AAEF,MAAI;GACF,MAAM,aAAa,eAAe,aAAyB,KAAK,uBAAuB,EAAE,CAAC;AAE1F,OAAI;AACF,SAAK,eAAe,iBAAiB,WAAW;YACzC,OAAO;AACd,iBAAa;KACX,QAAQ;KACR,MAAM;KACN,QAAQ;KACR,SAAS;KACV,CAAC;AAEF,WAAO,MAAM;KACX,MAAM;KACN,SAAS;KACT,KAJc,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;KAKpE,MAAM;KACP,CAAC;;GAGJ,MAAM,SAAS,MAAMC,KACnB,YACA,KAAK,OACL,KAAK,QAAQ,OAAO,SACrB;AAED,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AAEF,UAAO,GAAG;IACR,aAAa,OAAO;IACpB,GAAG,UAAU,iBAAiB,OAAO,cAAc;IACnD,aAAa,OAAO;IACpB,cAAc,OAAO;IACrB,aAAa,OAAO;IACrB,CAAC;WACK,OAAO;AACd,gBAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;AAEF,UAAO,MAAM;IACX,MAAM;IACN,SAAS;IACT,KAAK,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;IAC3D,MAAM;IACP,CAAC"}

package/dist/commands/migration-verify.d.mts

@@ -1,16 +0,0 @@
-import { Command } from "commander";
-
-//#region src/commands/migration-verify.d.ts
-interface MigrationVerifyResult {
-  readonly ok: boolean;
-  readonly status: 'verified' | 'attested';
-  readonly dir: string;
-  readonly migrationId?: string;
-  readonly storedMigrationId?: string;
-  readonly computedMigrationId?: string;
-  readonly summary: string;
-}
-declare function createMigrationVerifyCommand(): Command;
-//#endregion
-export { MigrationVerifyResult, createMigrationVerifyCommand };
-//# sourceMappingURL=migration-verify.d.mts.map

package/dist/commands/migration-verify.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"migration-verify.d.mts","names":[],"sources":["../../src/commands/migration-verify.ts"],"sourcesContent":[],"mappings":";;;UAkCiB,qBAAA;;EAAA,SAAA,MAAA,EAAA,UAAqB,GAAA,UAAA;EAkHtB,SAAA,GAAA,EAAA,MAAA;;;;;;iBAAA,4BAAA,CAAA,GAAgC"}

package/dist/commands/migration-verify.mjs

@@ -1,110 +0,0 @@
-import { t as loadConfig } from "../config-loader-C4VXKl8f.mjs";
-import { _ as errorUnexpected, h as errorTargetMigrationNotSupported, m as errorRuntime, t as CliStructuredError } from "../cli-errors-BDCYR5ap.mjs";
-import { t as assertFrameworkComponentsCompatible } from "../framework-components-BAsliT4V.mjs";
-import { _ as formatStyledHeader, d as setCommandExamples, m as parseGlobalFlags, n as addGlobalOptions, r as getTargetMigrations, t as handleResult, u as setCommandDescriptions } from "../result-handler-oK_vA-Fn.mjs";
-import { t as TerminalUI } from "../terminal-ui-C5k88MmW.mjs";
-import { o as formatMigrationVerifyCommandOutput } from "../migrations-DTZBYXm1.mjs";
-import { Command } from "commander";
-import { notOk, ok } from "@prisma-next/utils/result";
-import { ifDefined } from "@prisma-next/utils/defined";
-import { readMigrationPackage, writeMigrationOps } from "@prisma-next/migration-tools/io";
-import { MigrationToolsError } from "@prisma-next/migration-tools/types";
-import { evaluateMigrationTs, hasMigrationTs } from "@prisma-next/migration-tools/migration-ts";
-import { attestMigration, verifyMigration } from "@prisma-next/migration-tools/attestation";
-
-//#region src/commands/migration-verify.ts
-async function executeMigrationVerifyCommand(options, flags, ui) {
-	const dir = options.dir;
-	if (!flags.json && !flags.quiet) {
-		const header = formatStyledHeader({
-			command: "migration verify",
-			description: "Verify migration package integrity",
-			details: [{
-				label: "dir",
-				value: dir
-			}],
-			flags
-		});
-		ui.stderr(header);
-	}
-	try {
-		if (await hasMigrationTs(dir)) {
-			const pkg = await readMigrationPackage(dir);
-			const descriptors = await evaluateMigrationTs(dir);
-			const config = await loadConfig(options.config);
-			const migrations = getTargetMigrations(config.target);
-			if (!migrations?.resolveDescriptors) throw errorTargetMigrationNotSupported({ why: `Target "${config.target.targetId}" does not implement resolveDescriptors; cannot verify a migration package that uses migration.ts` });
-			const frameworkComponents = assertFrameworkComponentsCompatible(config.family.familyId, config.target.targetId, [
-				config.target,
-				config.adapter,
-				...config.extensionPacks ?? []
-			]);
-			await writeMigrationOps(dir, migrations.resolveDescriptors(descriptors, {
-				fromContract: pkg.manifest.fromContract,
-				toContract: pkg.manifest.toContract,
-				frameworkComponents
-			}));
-		}
-		const result = await verifyMigration(dir);
-		if (result.ok) return ok({
-			ok: true,
-			status: "verified",
-			dir,
-			...ifDefined("migrationId", result.storedMigrationId),
-			...ifDefined("storedMigrationId", result.storedMigrationId),
-			...ifDefined("computedMigrationId", result.computedMigrationId),
-			summary: "Migration package verified — migrationId matches"
-		});
-		if (result.reason === "draft") {
-			const migrationId$1 = await attestMigration(dir);
-			return ok({
-				ok: true,
-				status: "attested",
-				dir,
-				migrationId: migrationId$1,
-				summary: `Draft migration attested with migrationId: ${migrationId$1}`
-			});
-		}
-		const migrationId = await attestMigration(dir);
-		return ok({
-			ok: true,
-			status: "attested",
-			dir,
-			migrationId,
-			summary: `Migration re-attested with migrationId: ${migrationId}`
-		});
-	} catch (error) {
-		if (CliStructuredError.is(error)) return notOk(error);
-		if (MigrationToolsError.is(error)) return notOk(errorRuntime(error.message, {
-			why: error.why,
-			fix: error.fix,
-			meta: {
-				code: error.code,
-				...error.details ?? {}
-			}
-		}));
-		return notOk(errorUnexpected(error instanceof Error ? error.message : String(error), { why: `Failed to verify migration: ${error instanceof Error ? error.message : String(error)}` }));
-	}
-}
-function createMigrationVerifyCommand() {
-	const command = new Command("verify");
-	setCommandDescriptions(command, "Verify a migration package migrationId", "Recomputes the content-addressed migrationId for a migration package and compares\nit against the stored value. Draft migrations (migrationId: null) are automatically\nattested. If migration.ts exists, it is always re-evaluated and ops.json is refreshed.");
-	setCommandExamples(command, ["prisma-next migration verify --dir migrations/20250101-add-users"]);
-	addGlobalOptions(command).requiredOption("--dir <path>", "Path to the migration package directory").option("--config <path>", "Path to prisma-next.config.ts (required when migration.ts exists)").action(async (options) => {
-		const flags = parseGlobalFlags(options);
-		const ui = new TerminalUI({
-			color: flags.color,
-			interactive: flags.interactive
-		});
-		const exitCode = handleResult(await executeMigrationVerifyCommand(options, flags, ui), flags, ui, (verifyResult) => {
-			if (flags.json) ui.output(JSON.stringify(verifyResult, null, 2));
-			else if (!flags.quiet) ui.log(formatMigrationVerifyCommandOutput(verifyResult, flags));
-		});
-		process.exit(exitCode);
-	});
-	return command;
-}
-
-//#endregion
-export { createMigrationVerifyCommand };
-//# sourceMappingURL=migration-verify.mjs.map

package/dist/commands/migration-verify.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"migration-verify.mjs","names":["migrationId"],"sources":["../../src/commands/migration-verify.ts"],"sourcesContent":["import type { OperationDescriptor } from '@prisma-next/framework-components/control';\nimport { attestMigration, verifyMigration } from '@prisma-next/migration-tools/attestation';\nimport { readMigrationPackage, writeMigrationOps } from '@prisma-next/migration-tools/io';\nimport { evaluateMigrationTs, hasMigrationTs } from '@prisma-next/migration-tools/migration-ts';\nimport { MigrationToolsError } from '@prisma-next/migration-tools/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { Command } from 'commander';\nimport { loadConfig } from '../config-loader';\nimport {\n  CliStructuredError,\n  errorRuntime,\n  errorTargetMigrationNotSupported,\n  errorUnexpected,\n} from '../utils/cli-errors';\nimport {\n  addGlobalOptions,\n  getTargetMigrations,\n  setCommandDescriptions,\n  setCommandExamples,\n} from '../utils/command-helpers';\nimport { formatMigrationVerifyCommandOutput } from '../utils/formatters/migrations';\nimport { formatStyledHeader } from '../utils/formatters/styled';\nimport { assertFrameworkComponentsCompatible } from '../utils/framework-components';\nimport type { CommonCommandOptions } from '../utils/global-flags';\nimport { type GlobalFlags, parseGlobalFlags } from '../utils/global-flags';\nimport { handleResult } from '../utils/result-handler';\nimport { TerminalUI } from '../utils/terminal-ui';\n\ninterface MigrationVerifyOptions extends CommonCommandOptions {\n  readonly dir: string;\n  readonly config?: string;\n}\n\nexport interface MigrationVerifyResult {\n  readonly ok: boolean;\n  readonly status: 'verified' | 'attested';\n  readonly dir: string;\n  readonly migrationId?: string;\n  readonly storedMigrationId?: string;\n  readonly computedMigrationId?: string;\n  readonly summary: string;\n}\n\nasync function executeMigrationVerifyCommand(\n  options: MigrationVerifyOptions,\n  flags: GlobalFlags,\n  ui: TerminalUI,\n): Promise<Result<MigrationVerifyResult, CliStructuredError>> {\n  const dir = options.dir;\n\n  if (!flags.json && !flags.quiet) {\n    const header = formatStyledHeader({\n      command: 'migration verify',\n      description: 'Verify migration package integrity',\n      details: [{ label: 'dir', value: dir }],\n      flags,\n    });\n    ui.stderr(header);\n  }\n\n  try {\n    // If migration.ts exists, always evaluate and resolve to ops.json.\n    // This ensures ops.json is always fresh relative to migration.ts.\n    if (await hasMigrationTs(dir)) {\n      const pkg = await readMigrationPackage(dir);\n      const descriptors = await evaluateMigrationTs(dir);\n\n      const config = await loadConfig(options.config);\n      const migrations = getTargetMigrations(config.target);\n      if (!migrations?.resolveDescriptors) {\n        throw errorTargetMigrationNotSupported({\n          why: `Target \"${config.target.targetId}\" does not implement resolveDescriptors; cannot verify a migration package that uses migration.ts`,\n        });\n      }\n\n      const frameworkComponents = assertFrameworkComponentsCompatible(\n        config.family.familyId,\n        config.target.targetId,\n        [config.target, config.adapter, ...(config.extensionPacks ?? [])],\n      );\n\n      const resolvedOps = migrations.resolveDescriptors(descriptors as OperationDescriptor[], {\n        fromContract: pkg.manifest.fromContract,\n        toContract: pkg.manifest.toContract,\n        frameworkComponents,\n      });\n\n      await writeMigrationOps(dir, resolvedOps);\n    }\n\n    // Now verify/attest with the (potentially updated) ops.json\n    const result = await verifyMigration(dir);\n\n    if (result.ok) {\n      return ok({\n        ok: true,\n        status: 'verified',\n        dir,\n        ...ifDefined('migrationId', result.storedMigrationId),\n        ...ifDefined('storedMigrationId', result.storedMigrationId),\n        ...ifDefined('computedMigrationId', result.computedMigrationId),\n        summary: 'Migration package verified — migrationId matches',\n      });\n    }\n\n    if (result.reason === 'draft') {\n      const migrationId = await attestMigration(dir);\n      return ok({\n        ok: true,\n        status: 'attested',\n        dir,\n        migrationId,\n        summary: `Draft migration attested with migrationId: ${migrationId}`,\n      });\n    }\n\n    // Mismatch — ops.json was just rewritten by migration.ts evaluation above,\n    // so this means the stored migrationId is stale. Re-attest.\n    const migrationId = await attestMigration(dir);\n    return ok({\n      ok: true,\n      status: 'attested',\n      dir,\n      migrationId,\n      summary: `Migration re-attested with migrationId: ${migrationId}`,\n    });\n  } catch (error) {\n    if (CliStructuredError.is(error)) {\n      return notOk(error);\n    }\n    if (MigrationToolsError.is(error)) {\n      return notOk(\n        errorRuntime(error.message, {\n          why: error.why,\n          fix: error.fix,\n          meta: { code: error.code, ...(error.details ?? {}) },\n        }),\n      );\n    }\n    return notOk(\n      errorUnexpected(error instanceof Error ? error.message : String(error), {\n        why: `Failed to verify migration: ${error instanceof Error ? error.message : String(error)}`,\n      }),\n    );\n  }\n}\n\nexport function createMigrationVerifyCommand(): Command {\n  const command = new Command('verify');\n  setCommandDescriptions(\n    command,\n    'Verify a migration package migrationId',\n    'Recomputes the content-addressed migrationId for a migration package and compares\\n' +\n      'it against the stored value. Draft migrations (migrationId: null) are automatically\\n' +\n      'attested. If migration.ts exists, it is always re-evaluated and ops.json is refreshed.',\n  );\n  setCommandExamples(command, ['prisma-next migration verify --dir migrations/20250101-add-users']);\n  addGlobalOptions(command)\n    .requiredOption('--dir <path>', 'Path to the migration package directory')\n    .option('--config <path>', 'Path to prisma-next.config.ts (required when migration.ts exists)')\n    .action(async (options: MigrationVerifyOptions) => {\n      const flags = parseGlobalFlags(options);\n      const ui = new TerminalUI({ color: flags.color, interactive: flags.interactive });\n\n      const result = await executeMigrationVerifyCommand(options, flags, ui);\n\n      const exitCode = handleResult(result, flags, ui, (verifyResult) => {\n        if (flags.json) {\n          ui.output(JSON.stringify(verifyResult, null, 2));\n        } else if (!flags.quiet) {\n          ui.log(formatMigrationVerifyCommandOutput(verifyResult, flags));\n        }\n      });\n\n      process.exit(exitCode);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;AA4CA,eAAe,8BACb,SACA,OACA,IAC4D;CAC5D,MAAM,MAAM,QAAQ;AAEpB,KAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,OAAO;EAC/B,MAAM,SAAS,mBAAmB;GAChC,SAAS;GACT,aAAa;GACb,SAAS,CAAC;IAAE,OAAO;IAAO,OAAO;IAAK,CAAC;GACvC;GACD,CAAC;AACF,KAAG,OAAO,OAAO;;AAGnB,KAAI;AAGF,MAAI,MAAM,eAAe,IAAI,EAAE;GAC7B,MAAM,MAAM,MAAM,qBAAqB,IAAI;GAC3C,MAAM,cAAc,MAAM,oBAAoB,IAAI;GAElD,MAAM,SAAS,MAAM,WAAW,QAAQ,OAAO;GAC/C,MAAM,aAAa,oBAAoB,OAAO,OAAO;AACrD,OAAI,CAAC,YAAY,mBACf,OAAM,iCAAiC,EACrC,KAAK,WAAW,OAAO,OAAO,SAAS,oGACxC,CAAC;GAGJ,MAAM,sBAAsB,oCAC1B,OAAO,OAAO,UACd,OAAO,OAAO,UACd;IAAC,OAAO;IAAQ,OAAO;IAAS,GAAI,OAAO,kBAAkB,EAAE;IAAE,CAClE;AAQD,SAAM,kBAAkB,KANJ,WAAW,mBAAmB,aAAsC;IACtF,cAAc,IAAI,SAAS;IAC3B,YAAY,IAAI,SAAS;IACzB;IACD,CAAC,CAEuC;;EAI3C,MAAM,SAAS,MAAM,gBAAgB,IAAI;AAEzC,MAAI,OAAO,GACT,QAAO,GAAG;GACR,IAAI;GACJ,QAAQ;GACR;GACA,GAAG,UAAU,eAAe,OAAO,kBAAkB;GACrD,GAAG,UAAU,qBAAqB,OAAO,kBAAkB;GAC3D,GAAG,UAAU,uBAAuB,OAAO,oBAAoB;GAC/D,SAAS;GACV,CAAC;AAGJ,MAAI,OAAO,WAAW,SAAS;GAC7B,MAAMA,gBAAc,MAAM,gBAAgB,IAAI;AAC9C,UAAO,GAAG;IACR,IAAI;IACJ,QAAQ;IACR;IACA;IACA,SAAS,8CAA8CA;IACxD,CAAC;;EAKJ,MAAM,cAAc,MAAM,gBAAgB,IAAI;AAC9C,SAAO,GAAG;GACR,IAAI;GACJ,QAAQ;GACR;GACA;GACA,SAAS,2CAA2C;GACrD,CAAC;UACK,OAAO;AACd,MAAI,mBAAmB,GAAG,MAAM,CAC9B,QAAO,MAAM,MAAM;AAErB,MAAI,oBAAoB,GAAG,MAAM,CAC/B,QAAO,MACL,aAAa,MAAM,SAAS;GAC1B,KAAK,MAAM;GACX,KAAK,MAAM;GACX,MAAM;IAAE,MAAM,MAAM;IAAM,GAAI,MAAM,WAAW,EAAE;IAAG;GACrD,CAAC,CACH;AAEH,SAAO,MACL,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAAE,EACtE,KAAK,+BAA+B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,IAC3F,CAAC,CACH;;;AAIL,SAAgB,+BAAwC;CACtD,MAAM,UAAU,IAAI,QAAQ,SAAS;AACrC,wBACE,SACA,0CACA,iQAGD;AACD,oBAAmB,SAAS,CAAC,mEAAmE,CAAC;AACjG,kBAAiB,QAAQ,CACtB,eAAe,gBAAgB,0CAA0C,CACzE,OAAO,mBAAmB,oEAAoE,CAC9F,OAAO,OAAO,YAAoC;EACjD,MAAM,QAAQ,iBAAiB,QAAQ;EACvC,MAAM,KAAK,IAAI,WAAW;GAAE,OAAO,MAAM;GAAO,aAAa,MAAM;GAAa,CAAC;EAIjF,MAAM,WAAW,aAFF,MAAM,8BAA8B,SAAS,OAAO,GAAG,EAEhC,OAAO,KAAK,iBAAiB;AACjE,OAAI,MAAM,KACR,IAAG,OAAO,KAAK,UAAU,cAAc,MAAM,EAAE,CAAC;YACvC,CAAC,MAAM,MAChB,IAAG,IAAI,mCAAmC,cAAc,MAAM,CAAC;IAEjE;AAEF,UAAQ,KAAK,SAAS;GACtB;AAEJ,QAAO"}

package/dist/contract-emit-CVUWsFfx.mjs

@@ -1,6 +0,0 @@
-import "./config-loader-C4VXKl8f.mjs";
-import "./cli-errors-BDCYR5ap.mjs";
-import "./framework-components-BAsliT4V.mjs";
-import { t as executeContractEmit } from "./contract-emit-CRoS1nx5.mjs";
-
-export { executeContractEmit };

package/dist/migrations-DTZBYXm1.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"migrations-DTZBYXm1.mjs","names":["lines: string[]"],"sources":["../src/utils/formatters/migrations.ts"],"sourcesContent":["import { green, yellow } from 'colorette';\n\nimport type { GlobalFlags } from '../global-flags';\nimport { createColorFormatter, formatDim, isVerbose } from './helpers';\n\n// ============================================================================\n// Migration Command Output Formatters (shared by db init and db update)\n// ============================================================================\n\n/**\n * Shared CLI output type for migration commands (db init, db update).\n */\nexport interface MigrationCommandResult {\n  readonly ok: true;\n  readonly mode: 'plan' | 'apply';\n  readonly plan: {\n    readonly targetId: string;\n    readonly destination: {\n      readonly storageHash: string;\n      readonly profileHash?: string;\n    };\n    readonly operations: readonly {\n      readonly id: string;\n      readonly label: string;\n      readonly operationClass: string;\n    }[];\n    readonly sql?: readonly string[];\n  };\n  readonly execution?: {\n    readonly operationsPlanned: number;\n    readonly operationsExecuted: number;\n  };\n  readonly marker?: {\n    readonly storageHash: string;\n    readonly profileHash?: string;\n  };\n  readonly summary: string;\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\n/**\n * Formats human-readable output for migration commands (db init, db update) in plan mode.\n */\nexport function formatMigrationPlanOutput(\n  result: MigrationCommandResult,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  // Plan summary\n  const operationCount = result.plan?.operations.length ?? 0;\n  lines.push(`${formatGreen('✔')} Planned ${operationCount} operation(s)`);\n\n  // Show operations tree\n  if (result.plan?.operations && result.plan.operations.length > 0) {\n    const formatYellow = createColorFormatter(useColor, yellow);\n    lines.push(`${formatDimText('│')}`);\n    for (let i = 0; i < result.plan.operations.length; i++) {\n      const op = result.plan.operations[i];\n      if (!op) continue;\n      const isLast = i === result.plan.operations.length - 1;\n      const treeChar = isLast ? '└' : '├';\n      const opClassLabel =\n        op.operationClass === 'destructive'\n          ? formatYellow(`[${op.operationClass}]`)\n          : formatDimText(`[${op.operationClass}]`);\n      lines.push(`${formatDimText(treeChar)}─ ${op.label} ${opClassLabel}`);\n    }\n\n    const hasDestructive = result.plan.operations.some((op) => op.operationClass === 'destructive');\n    if (hasDestructive) {\n      lines.push('');\n      lines.push(\n        `${formatYellow('⚠')} This migration contains destructive operations that may cause data loss.`,\n      );\n    }\n  }\n\n  // Destination hash\n  if (result.plan?.destination) {\n    lines.push('');\n    lines.push(`${formatDimText(`Destination hash: ${result.plan.destination.storageHash}`)}`);\n  }\n\n  // SQL DDL preview (SQL family only)\n  const planSql = result.plan?.sql;\n  if (planSql) {\n    lines.push('');\n    lines.push(`${formatDimText('DDL preview')}`);\n    if (planSql.length === 0) {\n      lines.push(`${formatDimText('No DDL operations.')}`);\n    } else {\n      lines.push('');\n      for (const statement of planSql) {\n        const trimmed = statement.trim();\n        if (!trimmed) continue;\n        const line = trimmed.endsWith(';') ? trimmed : `${trimmed};`;\n        lines.push(`${line}`);\n      }\n    }\n  }\n\n  // Timings in verbose mode\n  if (isVerbose(flags, 1)) {\n    lines.push(`${formatDimText(`Total time: ${result.timings.total}ms`)}`);\n  }\n\n  // Note about dry run\n  lines.push('');\n  lines.push(`${formatDimText('This is a dry run. No changes were applied.')}`);\n  lines.push(`${formatDimText('Run without --dry-run to apply changes.')}`);\n\n  return lines.join('\\n');\n}\n\nexport interface MigrationApplyCommandOutputResult {\n  readonly migrationsApplied: number;\n  readonly markerHash: string;\n  readonly applied: readonly {\n    readonly dirName: string;\n    readonly operationsExecuted: number;\n  }[];\n  readonly summary: string;\n  readonly timings?: {\n    readonly total: number;\n  };\n}\n\nexport interface MigrationVerifyCommandOutputResult {\n  readonly status: 'verified' | 'attested';\n  readonly migrationId?: string;\n}\n\nexport function formatMigrationApplyCommandOutput(\n  result: MigrationApplyCommandOutputResult,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  if (result.migrationsApplied === 0) {\n    lines.push(`${formatGreen('✔')} ${result.summary}`);\n    lines.push(formatDimText(`  marker: ${result.markerHash}`));\n    return lines.join('\\n');\n  }\n\n  lines.push(`${formatGreen('✔')} ${result.summary}`);\n  lines.push('');\n\n  for (let i = 0; i < result.applied.length; i++) {\n    const migration = result.applied[i]!;\n    const isLast = i === result.applied.length - 1;\n    const treeChar = isLast ? '└' : '├';\n    lines.push(\n      `${formatDimText(treeChar)}─ ${migration.dirName} ${formatDimText(`[${migration.operationsExecuted} op(s)]`)}`,\n    );\n  }\n\n  lines.push('');\n  lines.push(formatDimText(`marker: ${result.markerHash}`));\n\n  if (isVerbose(flags, 1) && result.timings) {\n    lines.push('');\n    lines.push(formatDimText(`Total time: ${result.timings.total}ms`));\n  }\n\n  return lines.join('\\n');\n}\n\nexport function formatMigrationVerifyCommandOutput(\n  result: MigrationVerifyCommandOutputResult,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatYellow = createColorFormatter(useColor, yellow);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  switch (result.status) {\n    case 'verified':\n      lines.push(`${formatGreen('✔')} Migration verified`);\n      if (result.migrationId) {\n        lines.push(formatDimText(`  migrationId: ${result.migrationId}`));\n      }\n      break;\n    case 'attested':\n      lines.push(`${formatYellow('◉')} Draft migration attested`);\n      if (result.migrationId) {\n        lines.push(formatDimText(`  migrationId: ${result.migrationId}`));\n      }\n      break;\n  }\n\n  return lines.join('\\n');\n}\n\ninterface MigrationShowResult {\n  readonly dirName: string;\n  readonly dirPath: string;\n  readonly from: string;\n  readonly to: string;\n  readonly migrationId: string | null;\n  readonly kind: string;\n  readonly createdAt: string;\n  readonly operations: readonly {\n    readonly id: string;\n    readonly label: string;\n    readonly operationClass: string;\n  }[];\n  readonly sql: readonly string[];\n  readonly summary: string;\n}\n\nexport function formatMigrationShowOutput(result: MigrationShowResult, flags: GlobalFlags): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatYellow = createColorFormatter(useColor, yellow);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  lines.push(`${formatGreen('✔')} ${result.dirName}`);\n  lines.push(`${formatDimText(`  kind: ${result.kind}`)}`);\n  lines.push(`${formatDimText(`  from: ${result.from}`)}`);\n  lines.push(`${formatDimText(`  to:   ${result.to}`)}`);\n  if (result.migrationId) {\n    lines.push(`${formatDimText(`  migrationId: ${result.migrationId}`)}`);\n  } else {\n    lines.push(`${formatYellow('  migrationId: (draft — not yet attested)')}`);\n  }\n  lines.push(`${formatDimText(`  created: ${result.createdAt}`)}`);\n\n  lines.push('');\n  lines.push(`${result.operations.length} operation(s)`);\n\n  if (result.operations.length > 0) {\n    lines.push(`${formatDimText('│')}`);\n    for (let i = 0; i < result.operations.length; i++) {\n      const op = result.operations[i]!;\n      const isLast = i === result.operations.length - 1;\n      const treeChar = isLast ? '└' : '├';\n      const opClassLabel =\n        op.operationClass === 'destructive'\n          ? formatYellow(`[${op.operationClass}]`)\n          : formatDimText(`[${op.operationClass}]`);\n      lines.push(`${formatDimText(treeChar)}─ ${op.label} ${opClassLabel}`);\n    }\n\n    const hasDestructive = result.operations.some((op) => op.operationClass === 'destructive');\n    if (hasDestructive) {\n      lines.push('');\n      lines.push(\n        `${formatYellow('⚠')} This migration contains destructive operations that may cause data loss.`,\n      );\n    }\n  }\n\n  if (result.sql.length > 0) {\n    lines.push('');\n    lines.push(`${formatDimText('DDL preview')}`);\n    lines.push('');\n    for (const statement of result.sql) {\n      const trimmed = statement.trim();\n      if (!trimmed) continue;\n      const line = trimmed.endsWith(';') ? trimmed : `${trimmed};`;\n      lines.push(`${line}`);\n    }\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats human-readable output for migration commands (db init, db update) in apply mode.\n */\nexport function formatMigrationApplyOutput(\n  result: MigrationCommandResult,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  if (result.ok) {\n    // Success summary\n    const executed = result.execution?.operationsExecuted ?? 0;\n    if (executed === 0) {\n      lines.push(`${formatGreen('✔')} Database already matches contract`);\n    } else {\n      lines.push(`${formatGreen('✔')} Applied ${executed} operation(s)`);\n    }\n\n    // Marker info\n    if (result.marker) {\n      lines.push(`${formatDimText(`  Signature: ${result.marker.storageHash}`)}`);\n      if (result.marker.profileHash) {\n        lines.push(`${formatDimText(`  Profile hash: ${result.marker.profileHash}`)}`);\n      }\n    }\n\n    // Timings in verbose mode\n    if (isVerbose(flags, 1)) {\n      lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n    }\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats JSON output for migration commands (db init, db update).\n */\nexport function formatMigrationJson(result: MigrationCommandResult): string {\n  return JSON.stringify(result, null, 2);\n}\n"],"mappings":";;;;;;;AA6CA,SAAgB,0BACd,QACA,OACQ;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAGjE,MAAM,iBAAiB,OAAO,MAAM,WAAW,UAAU;AACzD,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,WAAW,eAAe,eAAe;AAGxE,KAAI,OAAO,MAAM,cAAc,OAAO,KAAK,WAAW,SAAS,GAAG;EAChE,MAAM,eAAe,qBAAqB,UAAU,OAAO;AAC3D,QAAM,KAAK,GAAG,cAAc,IAAI,GAAG;AACnC,OAAK,IAAI,IAAI,GAAG,IAAI,OAAO,KAAK,WAAW,QAAQ,KAAK;GACtD,MAAM,KAAK,OAAO,KAAK,WAAW;AAClC,OAAI,CAAC,GAAI;GAET,MAAM,WADS,MAAM,OAAO,KAAK,WAAW,SAAS,IAC3B,MAAM;GAChC,MAAM,eACJ,GAAG,mBAAmB,gBAClB,aAAa,IAAI,GAAG,eAAe,GAAG,GACtC,cAAc,IAAI,GAAG,eAAe,GAAG;AAC7C,SAAM,KAAK,GAAG,cAAc,SAAS,CAAC,IAAI,GAAG,MAAM,GAAG,eAAe;;AAIvE,MADuB,OAAO,KAAK,WAAW,MAAM,OAAO,GAAG,mBAAmB,cAAc,EAC3E;AAClB,SAAM,KAAK,GAAG;AACd,SAAM,KACJ,GAAG,aAAa,IAAI,CAAC,2EACtB;;;AAKL,KAAI,OAAO,MAAM,aAAa;AAC5B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,GAAG,cAAc,qBAAqB,OAAO,KAAK,YAAY,cAAc,GAAG;;CAI5F,MAAM,UAAU,OAAO,MAAM;AAC7B,KAAI,SAAS;AACX,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,GAAG,cAAc,cAAc,GAAG;AAC7C,MAAI,QAAQ,WAAW,EACrB,OAAM,KAAK,GAAG,cAAc,qBAAqB,GAAG;OAC/C;AACL,SAAM,KAAK,GAAG;AACd,QAAK,MAAM,aAAa,SAAS;IAC/B,MAAM,UAAU,UAAU,MAAM;AAChC,QAAI,CAAC,QAAS;IACd,MAAM,OAAO,QAAQ,SAAS,IAAI,GAAG,UAAU,GAAG,QAAQ;AAC1D,UAAM,KAAK,GAAG,OAAO;;;;AAM3B,KAAI,UAAU,OAAO,EAAE,CACrB,OAAM,KAAK,GAAG,cAAc,eAAe,OAAO,QAAQ,MAAM,IAAI,GAAG;AAIzE,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,GAAG,cAAc,8CAA8C,GAAG;AAC7E,OAAM,KAAK,GAAG,cAAc,0CAA0C,GAAG;AAEzE,QAAO,MAAM,KAAK,KAAK;;AAqBzB,SAAgB,kCACd,QACA,OACQ;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAC1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;AAEjE,KAAI,OAAO,sBAAsB,GAAG;AAClC,QAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,OAAO,UAAU;AACnD,QAAM,KAAK,cAAc,aAAa,OAAO,aAAa,CAAC;AAC3D,SAAO,MAAM,KAAK,KAAK;;AAGzB,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,OAAO,UAAU;AACnD,OAAM,KAAK,GAAG;AAEd,MAAK,IAAI,IAAI,GAAG,IAAI,OAAO,QAAQ,QAAQ,KAAK;EAC9C,MAAM,YAAY,OAAO,QAAQ;EAEjC,MAAM,WADS,MAAM,OAAO,QAAQ,SAAS,IACnB,MAAM;AAChC,QAAM,KACJ,GAAG,cAAc,SAAS,CAAC,IAAI,UAAU,QAAQ,GAAG,cAAc,IAAI,UAAU,mBAAmB,SAAS,GAC7G;;AAGH,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,cAAc,WAAW,OAAO,aAAa,CAAC;AAEzD,KAAI,UAAU,OAAO,EAAE,IAAI,OAAO,SAAS;AACzC,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,cAAc,eAAe,OAAO,QAAQ,MAAM,IAAI,CAAC;;AAGpE,QAAO,MAAM,KAAK,KAAK;;AAGzB,SAAgB,mCACd,QACA,OACQ;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAC1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,eAAe,qBAAqB,UAAU,OAAO;CAC3D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;AAEjE,SAAQ,OAAO,QAAf;EACE,KAAK;AACH,SAAM,KAAK,GAAG,YAAY,IAAI,CAAC,qBAAqB;AACpD,OAAI,OAAO,YACT,OAAM,KAAK,cAAc,kBAAkB,OAAO,cAAc,CAAC;AAEnE;EACF,KAAK;AACH,SAAM,KAAK,GAAG,aAAa,IAAI,CAAC,2BAA2B;AAC3D,OAAI,OAAO,YACT,OAAM,KAAK,cAAc,kBAAkB,OAAO,cAAc,CAAC;AAEnE;;AAGJ,QAAO,MAAM,KAAK,KAAK;;AAoBzB,SAAgB,0BAA0B,QAA6B,OAA4B;AACjG,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,eAAe,qBAAqB,UAAU,OAAO;CAC3D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;AAEjE,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,OAAO,UAAU;AACnD,OAAM,KAAK,GAAG,cAAc,WAAW,OAAO,OAAO,GAAG;AACxD,OAAM,KAAK,GAAG,cAAc,WAAW,OAAO,OAAO,GAAG;AACxD,OAAM,KAAK,GAAG,cAAc,WAAW,OAAO,KAAK,GAAG;AACtD,KAAI,OAAO,YACT,OAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,cAAc,GAAG;KAEtE,OAAM,KAAK,GAAG,aAAa,4CAA4C,GAAG;AAE5E,OAAM,KAAK,GAAG,cAAc,cAAc,OAAO,YAAY,GAAG;AAEhE,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,GAAG,OAAO,WAAW,OAAO,eAAe;AAEtD,KAAI,OAAO,WAAW,SAAS,GAAG;AAChC,QAAM,KAAK,GAAG,cAAc,IAAI,GAAG;AACnC,OAAK,IAAI,IAAI,GAAG,IAAI,OAAO,WAAW,QAAQ,KAAK;GACjD,MAAM,KAAK,OAAO,WAAW;GAE7B,MAAM,WADS,MAAM,OAAO,WAAW,SAAS,IACtB,MAAM;GAChC,MAAM,eACJ,GAAG,mBAAmB,gBAClB,aAAa,IAAI,GAAG,eAAe,GAAG,GACtC,cAAc,IAAI,GAAG,eAAe,GAAG;AAC7C,SAAM,KAAK,GAAG,cAAc,SAAS,CAAC,IAAI,GAAG,MAAM,GAAG,eAAe;;AAIvE,MADuB,OAAO,WAAW,MAAM,OAAO,GAAG,mBAAmB,cAAc,EACtE;AAClB,SAAM,KAAK,GAAG;AACd,SAAM,KACJ,GAAG,aAAa,IAAI,CAAC,2EACtB;;;AAIL,KAAI,OAAO,IAAI,SAAS,GAAG;AACzB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,GAAG,cAAc,cAAc,GAAG;AAC7C,QAAM,KAAK,GAAG;AACd,OAAK,MAAM,aAAa,OAAO,KAAK;GAClC,MAAM,UAAU,UAAU,MAAM;AAChC,OAAI,CAAC,QAAS;GACd,MAAM,OAAO,QAAQ,SAAS,IAAI,GAAG,UAAU,GAAG,QAAQ;AAC1D,SAAM,KAAK,GAAG,OAAO;;;AAIzB,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,2BACd,QACA,OACQ;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;AAEjE,KAAI,OAAO,IAAI;EAEb,MAAM,WAAW,OAAO,WAAW,sBAAsB;AACzD,MAAI,aAAa,EACf,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,oCAAoC;MAEnE,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,WAAW,SAAS,eAAe;AAIpE,MAAI,OAAO,QAAQ;AACjB,SAAM,KAAK,GAAG,cAAc,gBAAgB,OAAO,OAAO,cAAc,GAAG;AAC3E,OAAI,OAAO,OAAO,YAChB,OAAM,KAAK,GAAG,cAAc,mBAAmB,OAAO,OAAO,cAAc,GAAG;;AAKlF,MAAI,UAAU,OAAO,EAAE,CACrB,OAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;;AAI7E,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,oBAAoB,QAAwC;AAC1E,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE"}