prisma-next 0.5.0-dev.9 → 0.6.0-dev.1

package/dist/client-qVH-rEgd.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"client-qVH-rEgd.mjs","names":["SPAN_IDS","emitContractArtifacts"],"sources":["../src/control-api/errors.ts","../src/utils/contract-space-aggregate-loader.ts","../src/control-api/operations/apply-aggregate.ts","../src/control-api/operations/migration-helpers.ts","../src/control-api/operations/db-apply-aggregate.ts","../src/control-api/operations/db-init.ts","../src/control-api/operations/db-update.ts","../src/control-api/operations/db-verify.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 { Contract } from '@prisma-next/contract/types';\nimport type { ControlExtensionDescriptor } from '@prisma-next/framework-components/control';\nimport type {\n  ContractSpaceAggregate,\n  LoadAggregateError,\n  LoadAggregateInput,\n  LoadAggregateOutput,\n} from '@prisma-next/migration-tools/aggregate';\nimport { loadContractSpaceAggregate } from '@prisma-next/migration-tools/aggregate';\nimport type { OnDiskMigrationPackage } from '@prisma-next/migration-tools/package';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { CliStructuredError } from './cli-errors';\nimport { toDeclaredExtensions, toExtensionInputs } from './extension-pack-inputs';\n\n/**\n * Render a {@link LoadAggregateError} into a CLI structured-error\n * envelope. Preserves error codes `5001` (layout) and `5002` (marker /\n * drift / disjointness / etc.) so existing integration tests and\n * downstream tooling continue to assert on the same `meta.violations[]`\n * shape they did under the old precheck/marker-check helpers.\n */\nexport function mapLoadAggregateError(error: LoadAggregateError): CliStructuredError {\n  if (error.kind === 'layoutViolation') {\n    const lines = error.violations.map((v) => `- [${v.kind}] ${v.spaceId}`);\n    const summary =\n      error.violations.length === 1\n        ? 'Contract-space layout violation detected'\n        : `Contract-space layout violations detected (${error.violations.length})`;\n    return new CliStructuredError('5001', summary, {\n      domain: 'MIG',\n      why: `The on-disk \\`migrations/\\` directory and your \\`extensionPacks\\` declaration are not in agreement.\\n${lines.join('\\n')}`,\n      fix: 'Run `prisma-next migrate` to materialise on-disk artefacts for declared extensions, or remove the orphan directory.',\n      docsUrl: 'https://pris.ly/contract-spaces',\n      meta: {\n        violations: error.violations.map((v) => ({\n          kind: v.kind,\n          spaceId: v.spaceId,\n        })),\n      },\n    });\n  }\n  if (error.kind === 'driftViolation') {\n    return new CliStructuredError('5002', `Contract-space drift detected for \"${error.spaceId}\"`, {\n      domain: 'MIG',\n      why: `The on-disk contract for space \"${error.spaceId}\" (hash ${error.priorHeadHash}) does not match the live extension descriptor (hash ${error.liveHash}).`,\n      fix: 'Run `prisma-next migrate` to refresh the on-disk artefacts to match the live descriptor.',\n      docsUrl: 'https://pris.ly/contract-spaces',\n      meta: {\n        violations: [\n          {\n            kind: 'drift',\n            spaceId: error.spaceId,\n            priorHeadHash: error.priorHeadHash,\n            liveHash: error.liveHash,\n          },\n        ],\n      },\n    });\n  }\n  if (error.kind === 'disjointnessViolation') {\n    return new CliStructuredError(\n      '5002',\n      `Contract-space disjointness violation: storage element \"${error.element}\" claimed by multiple spaces`,\n      {\n        domain: 'MIG',\n        why: `Spaces ${error.claimedBy.map((s) => `\"${s}\"`).join(', ')} all claim the storage element \"${error.element}\". Each storage element must be owned by exactly one contract space.`,\n        fix: 'Update the conflicting contracts so each storage element is claimed by exactly one space.',\n        docsUrl: 'https://pris.ly/contract-spaces',\n        meta: {\n          violations: [\n            {\n              kind: 'disjointness',\n              spaceId: error.claimedBy.join(','),\n              element: error.element,\n              claimedBy: error.claimedBy,\n            },\n          ],\n        },\n      },\n    );\n  }\n  if (error.kind === 'integrityFailure') {\n    return new CliStructuredError(\n      '5002',\n      `Contract-space integrity failure for \"${error.spaceId}\"`,\n      {\n        domain: 'MIG',\n        why: error.detail,\n        fix: 'Run `prisma-next migrate` to refresh on-disk artefacts, or restore the on-disk `migrations/` directory from version control.',\n        docsUrl: 'https://pris.ly/contract-spaces',\n        meta: {\n          violations: [{ kind: 'integrity', spaceId: error.spaceId, detail: error.detail }],\n        },\n      },\n    );\n  }\n  if (error.kind === 'validationFailure') {\n    return new CliStructuredError(\n      '5002',\n      `Contract-space contract validation failed for \"${error.spaceId}\"`,\n      {\n        domain: 'MIG',\n        why: error.detail,\n        fix: 'Run `prisma-next migrate` to refresh on-disk artefacts, or fix the extension descriptor producing the invalid contract.',\n        meta: {\n          violations: [{ kind: 'validation', spaceId: error.spaceId, detail: error.detail }],\n        },\n      },\n    );\n  }\n  // targetMismatch\n  return new CliStructuredError('5002', `Contract-space target mismatch for \"${error.spaceId}\"`, {\n    domain: 'MIG',\n    why: `Space \"${error.spaceId}\" targets \"${error.actual}\" but the project's adapter targets \"${error.expected}\".`,\n    fix: 'Update the extension descriptor to target the configured database, or change the project adapter.',\n    meta: {\n      violations: [\n        {\n          kind: 'targetMismatch',\n          spaceId: error.spaceId,\n          expected: error.expected,\n          actual: error.actual,\n        },\n      ],\n    },\n  });\n}\n\n/**\n * Inputs needed to compose the aggregate loader at the CLI surface.\n *\n * Keeps the loader framework-neutral (no `Config` import) by accepting\n * already-resolved structural inputs: validated app contract, target\n * id, migrations root directory, and the set of extension descriptors.\n */\nexport interface BuildAggregateInputs<TFamilyId extends string, TTargetId extends string> {\n  readonly targetId: TTargetId;\n  readonly migrationsDir: string;\n  readonly appContract: Contract;\n  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly validateContract: (contractJson: unknown) => Contract;\n  /**\n   * App-space migration packages to hydrate the app member's\n   * migration graph with. Defaults to `[]` (matches the `db init` /\n   * `db update` daily-driver behaviour, where the app's authored\n   * `migrations/` graph is not walked — the planner uses the synth\n   * strategy for the app member instead).\n   *\n   * `migration apply` callers thread the user's authored app-space\n   * packages (loaded via `loadMigrationPackages(appMigrationsDir)`)\n   * through here so the graph-walk strategy can plot a path through\n   * them — the prod-time replay path explicitly forbids synth.\n   */\n  readonly appMigrationPackages?: ReadonlyArray<OnDiskMigrationPackage>;\n}\n\n/**\n * Run the aggregate loader at the CLI surface, mapping any\n * {@link LoadAggregateError} into a {@link CliStructuredError} envelope.\n *\n * App-side migration packages flow through `inputs.appMigrationPackages`\n * (defaulting to `[]`). `db init` / `db update` leave it empty: the\n * planner's `synth` strategy is used for the app member (driven by\n * `callerPolicy.ignoreGraphFor`), so the app's authored `migrations/`\n * graph does not need to be walked. `migration apply` threads the\n * already-loaded app-space packages through so the graph-walk strategy\n * can plot a path through them — replay forbids synth.\n *\n * @see specs/contract-space-aggregate-spec.md § Loader.\n */\nexport async function buildContractSpaceAggregate<\n  TFamilyId extends string,\n  TTargetId extends string,\n>(\n  inputs: BuildAggregateInputs<TFamilyId, TTargetId>,\n): Promise<Result<ContractSpaceAggregate, CliStructuredError>> {\n  const { entries, hashByContractJson } = toDeclaredExtensions(\n    toExtensionInputs(inputs.extensionPacks),\n  );\n\n  const loadInput: LoadAggregateInput = {\n    targetId: inputs.targetId,\n    migrationsDir: inputs.migrationsDir,\n    appContract: inputs.appContract,\n    declaredExtensions: entries,\n    validateContract: inputs.validateContract,\n    hashContract: (contractJson: unknown) => {\n      const precomputed = hashByContractJson.get(contractJson);\n      if (precomputed === undefined) {\n        throw new Error(\n          'CLI aggregate loader: encountered an extension contract without a pre-computed descriptor hash. This is a wiring bug.',\n        );\n      }\n      return precomputed;\n    },\n    appMigrationPackages: inputs.appMigrationPackages ?? [],\n  };\n\n  const result: LoadAggregateOutput = await loadContractSpaceAggregate(loadInput);\n  if (!result.ok) {\n    return notOk(mapLoadAggregateError(result.failure));\n  }\n  return ok(result.value.aggregate);\n}\n","import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  MigrationOperationPolicy,\n  MultiSpaceCapableRunner,\n  MultiSpaceRunnerPerSpaceOptions,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { hasMultiSpaceRunner } from '@prisma-next/framework-components/control';\nimport type {\n  AggregatePerSpacePlan,\n  ContractSpaceAggregate,\n} from '@prisma-next/migration-tools/aggregate';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { errorRunnerFailed } from '../../utils/cli-errors';\nimport type { AggregatePerSpaceExecutionEntry, OnControlProgress } from '../types';\n\n/**\n * Span id emitted via `onProgress` for the apply phase. Stable\n * identifier consumed by the structured-output renderer and by tests.\n */\nconst APPLY_SPAN_ID = 'apply' as const;\n\n/**\n * Action that originated this apply call. Threaded into `OnControlProgress`\n * events so the parent CLI command can attribute the span correctly,\n * and used to compose action-specific summary phrasing.\n */\nexport type AggregateApplyAction = 'dbInit' | 'dbUpdate' | 'migrationApply';\n\n/**\n * Failure variant emitted by {@link applyAggregate} when the multi-space\n * runner itself rejects the apply. Mirrors the failure shape callers\n * already wrap into their own action-specific failure envelopes\n * (`DbInitFailure`, `DbUpdateFailure`, `MigrationApplyFailure`) so each\n * caller keeps owning its own discriminated failure code.\n */\nexport interface AggregateApplyRunnerFailure {\n  readonly summary: string;\n  readonly why?: string;\n  readonly meta: Record<string, unknown>;\n}\n\nexport interface ApplyAggregateInputs<TFamilyId extends string, TTargetId extends string> {\n  readonly aggregate: ContractSpaceAggregate;\n  /**\n   * Per-space plans, keyed by `spaceId`. Produced by either the full\n   * {@link planAggregate} pipeline (`db init` / `db update` — synth\n   * for the app, graph-walk for extensions) or by direct\n   * {@link graphWalkStrategy} calls (`migration apply` — graph-walk\n   * for every member). Either way, the runner consumes the same shape.\n   */\n  readonly perSpacePlans: ReadonlyMap<string, AggregatePerSpacePlan>;\n  /**\n   * Canonical schedule order — extensions alphabetically by `spaceId`,\n   * then app. Mirrors {@link import('@prisma-next/migration-tools/concatenate-space-apply-inputs').concatenateSpaceApplyInputs}'s\n   * convention so `MultiSpaceRunnerFailure.failingSpace` attribution\n   * stays byte-for-byte stable across callers.\n   */\n  readonly applyOrder: readonly string[];\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly policy: MigrationOperationPolicy;\n  readonly action: AggregateApplyAction;\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Resolved per-space plan in canonical schedule order. Surfaced from\n * {@link applyAggregate} to callers so each one can build its own\n * action-specific success envelope (e.g. `DbInitSuccess` vs\n * `MigrationApplySuccess`) without re-deriving the ordering.\n */\nexport interface OrderedResolution {\n  readonly spaceId: string;\n  readonly entry: AggregatePerSpacePlan;\n}\n\nexport interface ApplyAggregateValue {\n  readonly orderedResolutions: readonly OrderedResolution[];\n  readonly totalOpsPlanned: number;\n  readonly totalOpsExecuted: number;\n  /**\n   * Per-space breakdown ready to thread into action-specific success\n   * envelopes. Each entry carries the post-apply marker (live storage hash\n   * plus invariants) so callers can render it directly without re-reading.\n   */\n  readonly perSpace: readonly AggregatePerSpaceExecutionEntry[];\n}\n\nexport type ApplyAggregateResult = Result<ApplyAggregateValue, AggregateApplyRunnerFailure>;\n\n/**\n * Runner-driving tail shared by every aggregate apply caller — `db init`,\n * `db update`, and `migration apply`. Consumes already-resolved per-space\n * plans (the planner-vs-replay distinction is owned by the caller) and\n * dispatches them to the multi-space runner in canonical order.\n *\n * Marker advancement is part of the runner's per-space transaction\n * (the SQL family runner writes the marker as the last step of each\n * space's transaction), so this primitive does not advance markers\n * separately — by the time `executeAcrossSpaces` returns ok, every\n * space's marker has been advanced to its plan's destination.\n *\n * Span emission (`spanStart 'apply'` / `spanEnd 'apply'`) is owned here\n * so callers don't have to duplicate it; the `action` field on each\n * progress event is taken from the caller's `action` argument.\n */\nexport async function applyAggregate<TFamilyId extends string, TTargetId extends string>(\n  inputs: ApplyAggregateInputs<TFamilyId, TTargetId>,\n): Promise<ApplyAggregateResult> {\n  const {\n    aggregate,\n    perSpacePlans,\n    applyOrder,\n    driver,\n    familyInstance,\n    migrations,\n    frameworkComponents,\n    policy,\n    action,\n    onProgress,\n  } = inputs;\n\n  const orderedResolutions = collectOrdered(applyOrder, perSpacePlans);\n\n  const runner = migrations.createRunner(familyInstance);\n  if (!hasMultiSpaceRunner(runner)) {\n    throw errorRunnerFailed(\n      `Runner for target \"${aggregate.targetId}\" does not implement \\`executeAcrossSpaces\\``,\n      {\n        why: `${labelForAction(action)} requires multi-space-capable runners (today: every SQL family runner).`,\n      },\n    );\n  }\n\n  onProgress?.({\n    action,\n    kind: 'spanStart',\n    spanId: APPLY_SPAN_ID,\n    label: progressLabelForAction(action),\n  });\n\n  const perSpaceOptions: MultiSpaceRunnerPerSpaceOptions<TFamilyId, TTargetId>[] =\n    orderedResolutions.map((r) => ({\n      space: r.spaceId,\n      plan: r.entry.plan,\n      driver,\n      destinationContract: r.entry.destinationContract,\n      policy,\n      frameworkComponents,\n      // Per-space post-apply schema verification is non-strict: each\n      // space's `destinationContract` describes only its own slice; a\n      // strict verifier would treat every other space's tables as\n      // `extras`. Tolerant mode still catches missing tables / columns.\n      // SQL family runners read `strictVerification` via structural\n      // typing.\n      strictVerification: false,\n    })) as MultiSpaceRunnerPerSpaceOptions<TFamilyId, TTargetId>[];\n\n  const runnerResult = await (\n    runner as MultiSpaceCapableRunner<TFamilyId, TTargetId>\n  ).executeAcrossSpaces({ driver, perSpaceOptions });\n\n  if (!runnerResult.ok) {\n    onProgress?.({ action, kind: 'spanEnd', spanId: APPLY_SPAN_ID, outcome: 'error' });\n    return notOk({\n      summary: runnerResult.failure.summary,\n      ...ifDefined('why', runnerResult.failure.why),\n      meta: {\n        ...(runnerResult.failure.meta ?? {}),\n        failingSpace: runnerResult.failure.failingSpace,\n      },\n    });\n  }\n  onProgress?.({ action, kind: 'spanEnd', spanId: APPLY_SPAN_ID, outcome: 'ok' });\n\n  const totalOpsPlanned = runnerResult.value.perSpaceResults.reduce(\n    (sum, r) => sum + r.value.operationsPlanned,\n    0,\n  );\n  const totalOpsExecuted = runnerResult.value.perSpaceResults.reduce(\n    (sum, r) => sum + r.value.operationsExecuted,\n    0,\n  );\n\n  const perSpace = buildPerSpaceBreakdown(orderedResolutions, aggregate.app.spaceId, {\n    includeMarkers: true,\n  });\n\n  return ok({\n    orderedResolutions,\n    totalOpsPlanned,\n    totalOpsExecuted,\n    perSpace,\n  });\n}\n\n/**\n * Project the planner's per-space resolutions into the\n * `AggregatePerSpaceExecutionEntry[]` shape the CLI surfaces.\n *\n * `includeMarkers` is `true` for apply-mode (each space's marker is\n * the `destination.storageHash` of its plan, which the runner\n * advances as the last step of each space's transaction) and `false`\n * for plan-mode (no marker has been written yet).\n *\n * Exported alongside {@link applyAggregate} so plan-mode callers can\n * assemble the same per-space block without going through the runner.\n */\nexport function buildPerSpaceBreakdown(\n  orderedResolutions: readonly OrderedResolution[],\n  appSpaceId: string,\n  options: { readonly includeMarkers: boolean },\n): readonly AggregatePerSpaceExecutionEntry[] {\n  return orderedResolutions.map((r) => {\n    const operations = r.entry.displayOps.map((op) => ({\n      id: op.id,\n      label: op.label,\n      operationClass: op.operationClass,\n    }));\n    const base: AggregatePerSpaceExecutionEntry = {\n      spaceId: r.spaceId,\n      kind: r.spaceId === appSpaceId ? 'app' : 'extension',\n      operations,\n    };\n    if (!options.includeMarkers) return base;\n    return {\n      ...base,\n      marker: { storageHash: r.entry.plan.destination.storageHash },\n    };\n  });\n}\n\n/**\n * Materialise the `applyOrder` ordering into resolved per-space\n * entries. Throws if the planner output is missing a member listed\n * in `applyOrder` — a wiring bug that should never reach runtime.\n *\n * Exported so callers building their own success envelopes after a\n * plan-mode dispatch can replay the same ordering.\n */\nexport function collectOrdered(\n  applyOrder: readonly string[],\n  perSpace: ReadonlyMap<string, AggregatePerSpacePlan>,\n): readonly OrderedResolution[] {\n  return applyOrder.map((spaceId) => {\n    const entry = perSpace.get(spaceId);\n    if (!entry) {\n      throw new Error(`Aggregate planner output missing per-space plan for \"${spaceId}\"`);\n    }\n    return { spaceId, entry };\n  });\n}\n\n/**\n * Action-appropriate label for the `spanStart` event the apply\n * primitive emits. `applyAggregate` is shared by `db init`, `db update`,\n * and `migration apply`; the span label tracks the user-visible action\n * so structured-progress output reads naturally for each surface.\n */\nexport function progressLabelForAction(action: AggregateApplyAction): string {\n  switch (action) {\n    case 'dbInit':\n      return 'Initialising database across spaces';\n    case 'dbUpdate':\n      return 'Updating database across spaces';\n    case 'migrationApply':\n      return 'Applying migration plan across spaces';\n  }\n}\n\nfunction labelForAction(action: AggregateApplyAction): string {\n  switch (action) {\n    case 'dbInit':\n      return 'db init';\n    case 'dbUpdate':\n      return 'db update';\n    case 'migrationApply':\n      return 'migration apply';\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  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  MigrationOperationPolicy,\n  MigrationPlanOperation,\n  OperationPreview,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { hasOperationPreview } from '@prisma-next/framework-components/control';\nimport {\n  type AggregatePlannerError,\n  type ContractSpaceAggregate,\n  planAggregate,\n} from '@prisma-next/migration-tools/aggregate';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport { CliStructuredError } from '../../utils/cli-errors';\nimport {\n  type BuildAggregateInputs,\n  buildContractSpaceAggregate,\n} from '../../utils/contract-space-aggregate-loader';\nimport type {\n  AggregatePerSpaceExecutionEntry,\n  DbInitFailure,\n  DbInitResult,\n  DbInitSuccess,\n  DbUpdateFailure,\n  DbUpdateResult,\n  DbUpdateSuccess,\n  OnControlProgress,\n} from '../types';\nimport { applyAggregate, buildPerSpaceBreakdown, collectOrdered } from './apply-aggregate';\nimport { stripOperations } from './migration-helpers';\n\n/**\n * Span IDs emitted via `onProgress` during the aggregate apply flow.\n * Stable identifiers consumed by the structured-output renderer and by\n * tests asserting on span ids. The `apply` span itself is owned by\n * the {@link applyAggregate} primitive — only the introspect / plan\n * spans are emitted directly here.\n */\nconst SPAN_IDS = {\n  introspect: 'introspect',\n  plan: 'plan',\n} as const;\n\n/**\n * Inputs shared by `db init` and `db update` aggregate apply flows.\n *\n * Accepts the already-validated app contract + descriptor list — the\n * loader gathers the rest from disk + descriptors. The CLI is the\n * descriptor-import boundary; everything downstream is descriptor-free.\n */\nexport interface ExecuteAggregateApplyOptions<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 migrationsDir: string;\n  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly targetId: TTargetId;\n  readonly policy: MigrationOperationPolicy;\n  readonly action: 'dbInit' | 'dbUpdate';\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Loader → planner → runner pipeline shared by `db init` and `db update`.\n *\n * The pipeline:\n *\n * 1. **Load**: build a {@link ContractSpaceAggregate} from the descriptor\n *    set + on-disk on-disk artefacts. Any layout / drift / disjointness /\n *    integrity violation short-circuits with a structured error.\n * 2. **Read DB state**: marker rows (`familyInstance.readAllMarkers`)\n *    + introspected schema (`familyInstance.introspect`).\n * 3. **Plan**: {@link planAggregate} chooses graph-walk vs synth per\n *    member according to `callerPolicy.ignoreGraphFor`. The app member\n *    is forced through synth (today's daily-driver behaviour); every\n *    extension member walks its on-disk graph.\n * 4. **Apply** (when `mode === 'apply'`): every per-space `MigrationPlan`\n *    feeds into the runner's `executeAcrossSpaces` — one outer\n *    transaction across every space; failure on any space rolls back\n *    every space's writes.\n */\nexport async function executeAggregateApply<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteAggregateApplyOptions<TFamilyId, TTargetId>,\n): Promise<DbInitResult | DbUpdateResult> {\n  const {\n    driver,\n    familyInstance,\n    contract,\n    mode,\n    migrations,\n    frameworkComponents,\n    migrationsDir,\n    extensionPacks,\n    targetId,\n    policy,\n    action,\n    onProgress,\n  } = options;\n\n  // 1. Load aggregate from descriptors + on-disk state.\n  const loadInputs: BuildAggregateInputs<TFamilyId, TTargetId> = {\n    targetId,\n    migrationsDir,\n    appContract: contract,\n    extensionPacks,\n    validateContract: (json) => familyInstance.validateContract(json),\n  };\n  const loaded = await buildContractSpaceAggregate(loadInputs);\n  if (!loaded.ok) {\n    throw loaded.failure;\n  }\n  const aggregate = loaded.value;\n\n  // 2. Read live DB state (markers + schema).\n  const markerRows = await familyInstance.readAllMarkers({ driver });\n\n  // 2a. Orphan-marker pre-flight: refuse to apply when a marker row\n  // exists for a space that is not declared in the aggregate.\n  // Mirrors the M2 marker-check that `db init` / `db update` ran via\n  // `runContractSpaceVerifierMarkerCheck`. Runs before planning so a\n  // user with an orphaned marker (e.g. a retired extension whose\n  // migrations directory has been removed) is told to clean it up\n  // rather than silently advancing the app's marker.\n  const orphanMarkerError = detectOrphanMarkers(aggregate, markerRows);\n  if (orphanMarkerError !== null) {\n    throw orphanMarkerError;\n  }\n\n  onProgress?.({\n    action,\n    kind: 'spanStart',\n    spanId: SPAN_IDS.introspect,\n    label: 'Introspecting database schema',\n  });\n  const schemaIR = await familyInstance.introspect({ driver });\n  onProgress?.({ action, kind: 'spanEnd', spanId: SPAN_IDS.introspect, outcome: 'ok' });\n\n  // 3. Plan via aggregate planner. App is forced through synth (today's\n  // `db init` / `db update` daily-driver behaviour); extensions walk\n  // their on-disk migration graphs.\n  onProgress?.({\n    action,\n    kind: 'spanStart',\n    spanId: SPAN_IDS.plan,\n    label: 'Planning migration',\n  });\n  const planResult = await planAggregate<TFamilyId, TTargetId>({\n    aggregate,\n    currentDBState: { markersBySpaceId: markerRows, schemaIntrospection: schemaIR },\n    familyInstance,\n    migrations,\n    frameworkComponents,\n    callerPolicy: { ignoreGraphFor: new Set([aggregate.app.spaceId]) },\n    operationPolicy: policy,\n  });\n  if (!planResult.ok) {\n    onProgress?.({ action, kind: 'spanEnd', spanId: SPAN_IDS.plan, outcome: 'error' });\n    return mapPlannerError(planResult.failure);\n  }\n  onProgress?.({ action, kind: 'spanEnd', spanId: SPAN_IDS.plan, outcome: 'ok' });\n\n  const orderedResolutions = collectOrdered(planResult.value.applyOrder, planResult.value.perSpace);\n\n  // The destination's structural shape comes from the app's plan — its\n  // `destination` is the storage hash users see in CLI output.\n  const appResolution = orderedResolutions.find((r) => r.spaceId === aggregate.app.spaceId);\n  if (!appResolution) {\n    throw new Error(\n      'Aggregate planner returned no plan for the app member — the planner is supposed to always emit one.',\n    );\n  }\n  const appPlan = appResolution.entry.plan;\n\n  // 4. Plan-mode: surface aggregate operations without applying.\n  if (mode === 'plan') {\n    const aggregateOps = orderedResolutions.flatMap((r) => r.entry.displayOps);\n    const preview = hasOperationPreview(familyInstance)\n      ? familyInstance.toOperationPreview(aggregateOps)\n      : undefined;\n    const perSpace = buildPerSpaceBreakdown(orderedResolutions, aggregate.app.spaceId, {\n      includeMarkers: false,\n    });\n    const summary = `Planned ${aggregateOps.length} operation(s) across ${orderedResolutions.length} space(s)`;\n    return wrapPlanResult({\n      operations: aggregateOps,\n      destination: appPlan.destination,\n      preview,\n      perSpace,\n      summary,\n    });\n  }\n\n  // 5. Apply mode: hand off to the shared `applyAggregate` primitive.\n  // The runner-driving tail is identical for `db init` / `db update` /\n  // `migration apply` — only how each caller produces `perSpacePlans`\n  // differs (synth + graph-walk via planAggregate here; graph-walk\n  // only for migration apply). See M6 sub-spec § Required changes 1.\n  const applied = await applyAggregate({\n    aggregate,\n    perSpacePlans: planResult.value.perSpace,\n    applyOrder: planResult.value.applyOrder,\n    driver,\n    familyInstance,\n    migrations,\n    frameworkComponents,\n    policy,\n    action,\n    ...ifDefined('onProgress', onProgress),\n  });\n  if (!applied.ok) {\n    return buildRunnerFailure({\n      summary: applied.failure.summary,\n      ...ifDefined('why', applied.failure.why),\n      meta: applied.failure.meta,\n    });\n  }\n\n  const aggregateOps = applied.value.orderedResolutions.flatMap((r) => r.entry.displayOps);\n  const summary =\n    action === 'dbInit'\n      ? `Applied ${applied.value.totalOpsExecuted} operation(s) across ${applied.value.orderedResolutions.length} space(s), database signed`\n      : applied.value.totalOpsExecuted === 0\n        ? `Database already matches contract across ${applied.value.orderedResolutions.length} space(s), signature updated`\n        : `Applied ${applied.value.totalOpsExecuted} operation(s) across ${applied.value.orderedResolutions.length} space(s), signature updated`;\n\n  return wrapApplyResult({\n    operations: aggregateOps,\n    destination: appPlan.destination,\n    operationsPlanned: applied.value.totalOpsPlanned,\n    operationsExecuted: applied.value.totalOpsExecuted,\n    perSpace: applied.value.perSpace,\n    summary,\n  });\n}\n\n/**\n * Compare the live `_prisma_marker` rows against the aggregate's\n * declared members. Any marker row whose `space` is not a member of\n * the aggregate is an \"orphan\" — typically a marker left behind by\n * an extension that was removed from `extensionPacks` without first\n * cleaning up its on-disk migrations / database tables.\n *\n * Returns a {@link CliStructuredError} envelope (code `5002`,\n * `kind: 'orphanMarker'`) for the first orphan it finds, or `null`\n * when every marker row maps to a declared member. Mirrors the M2\n * `runContractSpaceVerifierMarkerCheck` envelope so downstream\n * tooling (integration tests, JSON consumers) keeps asserting on the\n * same shape.\n */\nfunction detectOrphanMarkers(\n  aggregate: ContractSpaceAggregate,\n  markerRows: ReadonlyMap<string, unknown>,\n): CliStructuredError | null {\n  const memberSpaceIds = new Set<string>([\n    aggregate.app.spaceId,\n    ...aggregate.extensions.map((m) => m.spaceId),\n  ]);\n  const orphans: string[] = [];\n  for (const [spaceId, row] of markerRows) {\n    if (row !== null && row !== undefined && !memberSpaceIds.has(spaceId)) {\n      orphans.push(spaceId);\n    }\n  }\n  if (orphans.length === 0) return null;\n  orphans.sort((a, b) => a.localeCompare(b));\n  const summary =\n    orphans.length === 1\n      ? `Orphan contract-space marker detected for \"${orphans[0]}\"`\n      : `Orphan contract-space markers detected for ${orphans.length} spaces`;\n  return new CliStructuredError('5002', summary, {\n    domain: 'MIG',\n    why: `The database has \\`_prisma_marker\\` rows for spaces (${orphans\n      .map((s) => `\"${s}\"`)\n      .join(\n        ', ',\n      )}) that are not declared in the project's \\`extensionPacks\\`. The aggregate pipeline refuses to advance markers it cannot account for.`,\n    fix: 'Either re-declare the missing extension(s) in `extensionPacks` (so the aggregate owns them again), or remove the orphan marker row(s) from `_prisma_marker` once you have confirmed the corresponding tables can be safely retired.',\n    docsUrl: 'https://pris.ly/contract-spaces',\n    meta: {\n      violations: orphans.map((spaceId) => ({ kind: 'orphanMarker', spaceId })),\n    },\n  });\n}\n\nfunction mapPlannerError(error: AggregatePlannerError): DbInitResult | DbUpdateResult {\n  if (error.kind === 'appSynthFailure') {\n    const failure: DbInitFailure | DbUpdateFailure = {\n      code: 'PLANNING_FAILED',\n      summary: 'Migration planning failed due to conflicts',\n      conflicts: error.conflicts,\n      why: undefined,\n      meta: undefined,\n    };\n    return notOk(failure) as DbInitResult | DbUpdateResult;\n  }\n  if (error.kind === 'extensionPathUnreachable') {\n    return buildRunnerFailure({\n      summary: `Cannot resolve apply path for extension space \"${error.spaceId}\"`,\n      why: `No path in the on-disk migration graph for extension space \"${error.spaceId}\" reaches the on-disk head ref hash \"${error.target}\".`,\n      meta: { spaceId: error.spaceId, target: error.target },\n    });\n  }\n  if (error.kind === 'extensionPathUnsatisfiable') {\n    return buildRunnerFailure({\n      summary: `Cannot resolve apply path for extension space \"${error.spaceId}\"`,\n      why: `On-disk migration graph for extension space \"${error.spaceId}\" reaches the on-disk head ref but does not cover required invariants: ${error.missingInvariants.join(', ')}.`,\n      meta: { spaceId: error.spaceId, missingInvariants: error.missingInvariants },\n    });\n  }\n  // policyConflict — surfaces as a runner-style failure naming the\n  // space; conceptually a configuration bug, but mapping it onto the\n  // existing failure surface keeps callers untouched.\n  return buildRunnerFailure({\n    summary: `Aggregate planner policy conflict for space \"${error.spaceId}\"`,\n    why: error.detail,\n    meta: { spaceId: error.spaceId },\n  });\n}\n\nfunction wrapPlanResult(args: {\n  readonly operations: readonly MigrationPlanOperation[];\n  readonly destination: { readonly storageHash: string; readonly profileHash?: string };\n  readonly preview: OperationPreview | undefined;\n  readonly perSpace: readonly AggregatePerSpaceExecutionEntry[];\n  readonly summary: string;\n}): DbInitResult | DbUpdateResult {\n  const success: DbInitSuccess | DbUpdateSuccess = {\n    mode: 'plan',\n    plan: {\n      operations: stripOperations(args.operations),\n      ...ifDefined('preview', args.preview),\n    },\n    destination: {\n      storageHash: args.destination.storageHash,\n      ...ifDefined('profileHash', args.destination.profileHash),\n    },\n    perSpace: args.perSpace,\n    summary: args.summary,\n  };\n  return ok(success);\n}\n\nfunction wrapApplyResult(args: {\n  readonly operations: readonly MigrationPlanOperation[];\n  readonly destination: { readonly storageHash: string; readonly profileHash?: string };\n  readonly operationsPlanned: number;\n  readonly operationsExecuted: number;\n  readonly perSpace: readonly AggregatePerSpaceExecutionEntry[];\n  readonly summary: string;\n}): DbInitResult | DbUpdateResult {\n  const success: DbInitSuccess | DbUpdateSuccess = {\n    mode: 'apply',\n    plan: { operations: stripOperations(args.operations) },\n    destination: {\n      storageHash: args.destination.storageHash,\n      ...ifDefined('profileHash', args.destination.profileHash),\n    },\n    execution: {\n      operationsPlanned: args.operationsPlanned,\n      operationsExecuted: args.operationsExecuted,\n    },\n    marker: args.destination.profileHash\n      ? { storageHash: args.destination.storageHash, profileHash: args.destination.profileHash }\n      : { storageHash: args.destination.storageHash },\n    perSpace: args.perSpace,\n    summary: args.summary,\n  };\n  return ok(success);\n}\n\nfunction buildRunnerFailure(args: {\n  readonly summary: string;\n  readonly why?: string;\n  readonly meta: Record<string, unknown>;\n}): DbInitResult | DbUpdateResult {\n  const failure: DbInitFailure | DbUpdateFailure = {\n    code: 'RUNNER_FAILED',\n    summary: args.summary,\n    why: args.why,\n    meta: args.meta,\n    conflicts: undefined,\n  };\n  return notOk(failure) as DbInitResult | DbUpdateResult;\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { DbInitResult, OnControlProgress } from '../types';\nimport { executeAggregateApply } from './db-apply-aggregate';\n\n/**\n * Options for executing the `db init` operation.\n *\n * `db init` runs the loader → planner → runner pipeline:\n *\n * 1. {@link executeAggregateApply} loads a `ContractSpaceAggregate` via\n *    {@link import('@prisma-next/migration-tools/aggregate').loadContractSpaceAggregate}\n *    from the supplied descriptor set + on-disk on-disk artefacts.\n * 2. The aggregate planner runs with `callerPolicy.ignoreGraphFor`\n *    locked to the app member — synth strategy for the app, graph-walk\n *    for every extension.\n * 3. The runner's `executeAcrossSpaces` applies the per-space plans\n *    inside one outer transaction.\n *\n * `extensionPacks` mirrors `Config.extensionPacks` (descriptor list).\n * The loader (sub-spec § Loader) is the sole descriptor-import boundary.\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  /**\n   * On-disk migrations directory the aggregate loader reads on-disk\n   * artefacts from. Required.\n   */\n  readonly migrationsDir: string;\n  /**\n   * Resolved adapter target id. Threaded through to the loader for\n   * target-consistency checks across descriptors and the app contract.\n   */\n  readonly targetId: TTargetId;\n  /**\n   * Declared extension descriptors. Defaults to an empty list, which\n   * routes through the same loader → planner → runner pipeline with no\n   * extension members in the aggregate.\n   */\n  readonly extensionPacks?: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  /** Optional progress callback for observing operation progress */\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Execute `db init` against the configured contract.\n *\n * Routes through the loader → planner → runner pipeline (sub-spec\n * \"Commit-by-commit § Commit 4\"). Always additive-only; destructive\n * changes belong to `db update`.\n */\nexport async function executeDbInit<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbInitOptions<TFamilyId, TTargetId>,\n): Promise<DbInitResult> {\n  const result = await executeAggregateApply<TFamilyId, TTargetId>({\n    driver: options.driver,\n    familyInstance: options.familyInstance,\n    contract: options.contract,\n    mode: options.mode,\n    migrations: options.migrations,\n    frameworkComponents: options.frameworkComponents,\n    migrationsDir: options.migrationsDir,\n    targetId: options.targetId,\n    extensionPacks: options.extensionPacks ?? [],\n    policy: { allowedOperationClasses: ['additive'] },\n    action: 'dbInit',\n    ...ifDefined('onProgress', options.onProgress),\n  });\n  return result as DbInitResult;\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk } from '@prisma-next/utils/result';\nimport type { DbUpdateResult, OnControlProgress } from '../types';\nimport { executeAggregateApply } from './db-apply-aggregate';\n\nconst DB_UPDATE_POLICY = {\n  allowedOperationClasses: ['additive', 'widening', 'destructive'] as const,\n} as const;\n\n/**\n * Options for the `db update` operation.\n *\n * Same loader → planner → runner pipeline as `db init`, but with the\n * widened operation policy (additive + widening + destructive). The\n * destructive-change confirmation gate runs at this layer: when\n * `mode === 'apply'` and `acceptDataLoss` is `false`, the operation\n * pre-plans, surfaces destructive ops to the caller, and aborts.\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  readonly migrationsDir: string;\n  readonly targetId: TTargetId;\n  readonly extensionPacks?: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Execute `db update` against the configured contract.\n *\n * Routes through the loader → planner → runner pipeline. Destructive\n * operations require either `acceptDataLoss: true` or a prior\n * `mode: 'plan'` invocation that surfaces the destructive ops; the\n * confirmation gate is implemented here so the lower-level applier\n * remains policy-agnostic.\n */\nexport async function executeDbUpdate<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbUpdateOptions<TFamilyId, TTargetId>,\n): Promise<DbUpdateResult> {\n  const sharedInputs = {\n    driver: options.driver,\n    familyInstance: options.familyInstance,\n    contract: options.contract,\n    migrations: options.migrations,\n    frameworkComponents: options.frameworkComponents,\n    migrationsDir: options.migrationsDir,\n    targetId: options.targetId,\n    extensionPacks: options.extensionPacks ?? [],\n    policy: DB_UPDATE_POLICY,\n    action: 'dbUpdate' as const,\n    ...ifDefined('onProgress', options.onProgress),\n  };\n  if (options.mode === 'apply' && !options.acceptDataLoss) {\n    const gate = await guardDestructiveChanges<TFamilyId, TTargetId>(sharedInputs);\n    if (gate !== null) return gate;\n  }\n  return (await executeAggregateApply<TFamilyId, TTargetId>({\n    ...sharedInputs,\n    mode: options.mode,\n  })) as DbUpdateResult;\n}\n\n/**\n * Pre-plan once when running `db update apply` without `acceptDataLoss`.\n * Surfaces destructive operations across every space; if any are\n * planned, returns a `DESTRUCTIVE_CHANGES` failure that the CLI shows\n * as a confirmation prompt. Returns `null` when the apply is safe to\n * run.\n */\nasync function guardDestructiveChanges<TFamilyId extends string, TTargetId extends string>(\n  sharedInputs: Omit<Parameters<typeof executeAggregateApply<TFamilyId, TTargetId>>[0], 'mode'>,\n): Promise<DbUpdateResult | null> {\n  const planResult = (await executeAggregateApply<TFamilyId, TTargetId>({\n    ...sharedInputs,\n    mode: 'plan',\n  })) as DbUpdateResult;\n  if (!planResult.ok) return planResult;\n  const destructiveOps = planResult.value.plan.operations\n    .filter((op) => op.operationClass === 'destructive')\n    .map((op) => ({ id: op.id, label: op.label }));\n  if (destructiveOps.length === 0) return null;\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","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport {\n  type AggregateVerifierOutput,\n  type ContractSpaceMember,\n  verifyAggregate,\n} from '@prisma-next/migration-tools/aggregate';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { CliStructuredError } from '../../utils/cli-errors';\nimport {\n  type BuildAggregateInputs,\n  buildContractSpaceAggregate,\n} from '../../utils/contract-space-aggregate-loader';\nimport type { OnControlProgress } from '../types';\n\n/**\n * Span IDs emitted via `onProgress` during the aggregate verify flow.\n * Mirrors the span identifiers used by the legacy precheck / marker-check\n * helpers so structured-output renderers and progress tests keep working.\n */\nconst SPAN_IDS = {\n  introspect: 'introspect',\n  verify: 'verify',\n} as const;\n\n/**\n * Inputs for the aggregate `db verify` operation.\n *\n * Loader → verifier pipeline. The loader (sole descriptor-import\n * boundary) builds a {@link import('@prisma-next/migration-tools/aggregate').ContractSpaceAggregate};\n * the aggregate verifier bundles `markerCheck` + per-space pre-projected\n * `schemaCheck`. `mode: 'strict' | 'lenient'` maps directly to the user\n * facing `--strict` flag.\n */\nexport interface ExecuteDbVerifyOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly contract: Contract;\n  readonly migrationsDir: string;\n  readonly targetId: TTargetId;\n  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly mode: 'strict' | 'lenient';\n  readonly skipSchema: boolean;\n  readonly skipMarker: boolean;\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Result of the aggregate verify operation.\n *\n * Marker-check failures are surfaced as a {@link CliStructuredError}\n * (same envelope code `5002` the legacy `runContractSpaceVerifierMarkerCheck`\n * emitted, so downstream tooling and integration tests assert on the\n * same shape).\n *\n * On success, the per-space schema results are returned for the CLI to\n * render. When `skipSchema` is true (`--marker-only`), the schema map\n * is empty.\n */\nexport interface ExecuteDbVerifySuccess {\n  readonly schemaResults: ReadonlyMap<string, VerifyDatabaseSchemaResult>;\n  readonly memberOrder: readonly string[];\n  readonly appSpaceId: string;\n}\n\nexport type ExecuteDbVerifyResult = Result<ExecuteDbVerifySuccess, CliStructuredError>;\n\n/**\n * Loader → verifier pipeline shared by `db verify` modes (`full`,\n * `marker-only`, `schema-only`).\n *\n * 1. **Load**: build a {@link import('@prisma-next/migration-tools/aggregate').ContractSpaceAggregate}\n *    from descriptors + on-disk on-disk artefacts. Layout / drift /\n *    integrity / disjointness violations short-circuit with a\n *    structured CLI error.\n * 2. **Read DB state**: marker rows + (when `skipSchema` is `false`)\n *    schema introspection.\n * 3. **Verify**: {@link verifyAggregate} returns per-space\n *    `markerCheck` + per-space pre-projected `schemaCheck` (closes F23).\n *    Marker mismatches map to `CliStructuredError` (code `5002`) so\n *    callers (CLI command) can render and exit. Schema results are\n *    returned to the caller verbatim.\n */\nexport async function executeDbVerify<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbVerifyOptions<TFamilyId, TTargetId>,\n): Promise<ExecuteDbVerifyResult> {\n  const { driver, familyInstance, onProgress, skipSchema, skipMarker } = options;\n  const loaded = await buildContractSpaceAggregate(buildLoadInputs(options));\n  if (!loaded.ok) return notOk(loaded.failure);\n  const aggregate = loaded.value;\n\n  const markersBySpaceId = await familyInstance.readAllMarkers({ driver });\n  const schemaIntrospection = skipSchema\n    ? null\n    : await runIntrospection({ driver, familyInstance, onProgress });\n\n  emitVerifySpan(onProgress, 'spanStart');\n  const verifyResult = verifyAggregate({\n    aggregate,\n    markersBySpaceId,\n    schemaIntrospection,\n    mode: options.mode,\n    verifySchemaForMember: createPerMemberVerifier(options),\n  });\n  return finaliseVerifyResult({ verifyResult, aggregate, skipMarker, onProgress });\n}\n\nfunction buildLoadInputs<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbVerifyOptions<TFamilyId, TTargetId>,\n): BuildAggregateInputs<TFamilyId, TTargetId> {\n  return {\n    targetId: options.targetId,\n    migrationsDir: options.migrationsDir,\n    appContract: options.contract,\n    extensionPacks: options.extensionPacks,\n    validateContract: (json) => options.familyInstance.validateContract(json),\n  };\n}\n\nasync function runIntrospection<TFamilyId extends string, TTargetId extends string>(args: {\n  driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  onProgress: OnControlProgress | undefined;\n}): Promise<unknown> {\n  const { driver, familyInstance, onProgress } = args;\n  onProgress?.({\n    action: 'dbVerify',\n    kind: 'spanStart',\n    spanId: SPAN_IDS.introspect,\n    label: 'Introspecting database schema',\n  });\n  try {\n    const result = await familyInstance.introspect({ driver });\n    onProgress?.({\n      action: 'dbVerify',\n      kind: 'spanEnd',\n      spanId: SPAN_IDS.introspect,\n      outcome: 'ok',\n    });\n    return result;\n  } catch (error) {\n    onProgress?.({\n      action: 'dbVerify',\n      kind: 'spanEnd',\n      spanId: SPAN_IDS.introspect,\n      outcome: 'error',\n    });\n    throw error;\n  }\n}\n\n/**\n * Build the per-member schema callback handed to the aggregate verifier.\n * When `skipSchema` is true the callback short-circuits with a synthetic\n * `ok` result so the verifier still runs the (cheap) schemaCheck loop\n * without invoking the family's verification path.\n */\nfunction createPerMemberVerifier<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbVerifyOptions<TFamilyId, TTargetId>,\n): (\n  projectedSchema: unknown,\n  member: ContractSpaceMember,\n  verifyMode: 'strict' | 'lenient',\n) => VerifyDatabaseSchemaResult {\n  const { skipSchema, familyInstance, frameworkComponents } = options;\n  return (projectedSchema, member, verifyMode) => {\n    if (skipSchema) return buildSkippedSchemaResult(member);\n    return familyInstance.schemaVerifyAgainstSchema({\n      contract: member.contract,\n      // The family's `TSchemaIR` is opaque to migration-tools; the\n      // aggregate verifier passes through whatever we hand it. The\n      // family expects its own IR shape on the way back.\n      schema: projectedSchema as never,\n      strict: verifyMode === 'strict',\n      frameworkComponents,\n    });\n  };\n}\n\nfunction emitVerifySpan(\n  onProgress: OnControlProgress | undefined,\n  kind: 'spanStart' | 'spanEndOk' | 'spanEndError',\n): void {\n  if (kind === 'spanStart') {\n    onProgress?.({\n      action: 'dbVerify',\n      kind: 'spanStart',\n      spanId: SPAN_IDS.verify,\n      label: 'Verifying contract spaces',\n    });\n    return;\n  }\n  onProgress?.({\n    action: 'dbVerify',\n    kind: 'spanEnd',\n    spanId: SPAN_IDS.verify,\n    outcome: kind === 'spanEndOk' ? 'ok' : 'error',\n  });\n}\n\n/**\n * Map an {@link AggregateVerifierOutput} to the operation's\n * {@link ExecuteDbVerifyResult}, applying the `skipMarker` policy used\n * by the CLI's `--schema-only` mode.\n */\nfunction finaliseVerifyResult(args: {\n  verifyResult: AggregateVerifierOutput<VerifyDatabaseSchemaResult>;\n  aggregate: {\n    readonly app: { readonly spaceId: string };\n    readonly extensions: ReadonlyArray<{ readonly spaceId: string }>;\n  };\n  skipMarker: boolean;\n  onProgress: OnControlProgress | undefined;\n}): ExecuteDbVerifyResult {\n  const { verifyResult, aggregate, skipMarker, onProgress } = args;\n  if (!verifyResult.ok) {\n    emitVerifySpan(onProgress, 'spanEndError');\n    return notOk(\n      new CliStructuredError('5002', 'Aggregate verifier introspection failed', {\n        domain: 'MIG',\n        why: verifyResult.failure.detail,\n        fix: 'Check database connectivity and the introspection tooling.',\n        docsUrl: 'https://pris.ly/contract-spaces',\n      }),\n    );\n  }\n  const markerError = skipMarker\n    ? null\n    : mapMarkerCheckFailures(aggregate.app.spaceId, verifyResult.value.markerCheck);\n  if (markerError !== null) {\n    emitVerifySpan(onProgress, 'spanEndError');\n    return notOk(markerError);\n  }\n  emitVerifySpan(onProgress, 'spanEndOk');\n  return ok({\n    schemaResults: verifyResult.value.schemaCheck.perSpace,\n    memberOrder: [aggregate.app.spaceId, ...aggregate.extensions.map((e) => e.spaceId)],\n    appSpaceId: aggregate.app.spaceId,\n  });\n}\n\nfunction buildSkippedSchemaResult(member: ContractSpaceMember): VerifyDatabaseSchemaResult {\n  const profileHash = (member.contract as { profileHash?: string }).profileHash;\n  return {\n    ok: true,\n    summary: 'Schema verification skipped',\n    contract: {\n      storageHash: member.headRef.hash,\n      ...(profileHash ? { profileHash } : {}),\n    },\n    target: { expected: member.contract.target },\n    schema: {\n      issues: [],\n      root: {\n        status: 'pass',\n        kind: 'skipped',\n        name: member.spaceId,\n        contractPath: '',\n        code: 'SKIPPED',\n        message: 'Schema verification skipped',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      },\n      counts: { pass: 0, warn: 0, fail: 0, totalNodes: 0 },\n    },\n    timings: { total: 0 },\n  };\n}\n\n/**\n * Translate per-space marker check failures and orphan markers into a\n * single CLI structured error envelope. Preserves the legacy code\n * `5002` (was emitted by `runContractSpaceVerifierMarkerCheck`).\n */\nfunction mapMarkerCheckFailures(\n  appSpaceId: string,\n  section: {\n    readonly perSpace: ReadonlyMap<\n      string,\n      | { readonly kind: 'ok' }\n      | { readonly kind: 'absent' }\n      | { readonly kind: 'hashMismatch'; readonly markerHash: string; readonly expected: string }\n      | { readonly kind: 'missingInvariants'; readonly missing: readonly string[] }\n    >;\n    readonly orphanMarkers: readonly { readonly spaceId: string; readonly row: unknown }[];\n  },\n): CliStructuredError | null {\n  const violations: Array<{\n    kind: string;\n    spaceId: string;\n    remediation: string;\n  }> = [];\n  for (const [spaceId, result] of section.perSpace) {\n    if (result.kind === 'ok' || result.kind === 'absent') continue;\n    if (result.kind === 'hashMismatch') {\n      violations.push({\n        kind: 'hashMismatch',\n        spaceId,\n        remediation:\n          spaceId === appSpaceId\n            ? 'Run `prisma-next db update` to advance the marker, or roll the database back to the recorded hash.'\n            : `Apply on-disk migrations under \\`migrations/${spaceId}/\\` to advance the marker, or remove the conflicting marker row.`,\n      });\n      continue;\n    }\n    if (result.kind === 'missingInvariants') {\n      violations.push({\n        kind: 'invariantsMismatch',\n        spaceId,\n        remediation: `Re-apply the migrations under \\`migrations/${spaceId}/\\` so the marker carries invariants: ${result.missing.join(', ')}.`,\n      });\n    }\n  }\n  for (const orphan of section.orphanMarkers) {\n    violations.push({\n      kind: 'orphanMarker',\n      spaceId: orphan.spaceId,\n      remediation: `Add the corresponding extension to \\`extensionPacks\\` in \\`prisma-next.config.ts\\`, or delete the orphan marker row for \"${orphan.spaceId}\".`,\n    });\n  }\n  if (violations.length === 0) return null;\n  const lines = violations.map((v) => `- [${v.kind}] ${v.spaceId}: ${v.remediation}`);\n  const summary =\n    violations.length === 1\n      ? 'Contract-space verifier found a violation'\n      : `Contract-space verifier found violations (${violations.length})`;\n  return new CliStructuredError('5002', summary, {\n    domain: 'MIG',\n    why: `The on-disk \\`migrations/\\` directory, the \\`extensionPacks\\` declaration, and the live database marker rows are not in agreement.\\n${lines.join('\\n')}`,\n    fix: violations[0]?.remediation ?? 'Review and reconcile the violations listed above.',\n    docsUrl: 'https://pris.ly/contract-spaces',\n    meta: { violations },\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  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport {\n  type AggregatePerSpacePlan,\n  type ContractMarkerRecordLike,\n  type ContractSpaceAggregate,\n  type ContractSpaceMember,\n  graphWalkStrategy,\n} from '@prisma-next/migration-tools/aggregate';\nimport { EMPTY_CONTRACT_HASH } from '@prisma-next/migration-tools/constants';\nimport { errorNoInvariantPath } from '@prisma-next/migration-tools/errors';\nimport { findPathWithDecision } from '@prisma-next/migration-tools/migration-graph';\nimport type { OnDiskMigrationPackage } from '@prisma-next/migration-tools/package';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport {\n  type BuildAggregateInputs,\n  buildContractSpaceAggregate,\n} from '../../utils/contract-space-aggregate-loader';\nimport type {\n  AggregatePerSpaceExecutionEntry,\n  MigrationApplyFailure,\n  MigrationApplyPathDecision,\n  MigrationApplyResult,\n  MigrationApplySuccess,\n  OnControlProgress,\n} from '../types';\nimport { applyAggregate, buildPerSpaceBreakdown } from './apply-aggregate';\n\n/**\n * Inputs for the aggregate-walking `migration apply` control-api\n * operation.\n *\n * The CLI command resolves the descriptor surface (config, refs,\n * contract envelope) and hands a flat input through. The operation\n * is the single descriptor-free seam between the CLI and the\n * aggregate runtime.\n */\nexport interface ExecuteMigrationApplyOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  /** Already-validated app contract (the canonical \"where we are heading\" hash). */\n  readonly contract: Contract;\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly migrationsDir: string;\n  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly targetId: TTargetId;\n  /**\n   * Already-loaded app-space migration packages. The CLI command\n   * loads these via `loadMigrationPackages(appMigrationsDir)`; the\n   * operation hydrates the app member's graph with them. Required\n   * because the framework-neutral aggregate loader doesn't know how\n   * to read the user's `migrations/` directory layout (it's family-\n   * aware: ops.json shape, manifest keys, etc.).\n   */\n  readonly appMigrationPackages: ReadonlyArray<OnDiskMigrationPackage>;\n  /**\n   * Optional app-space ref override. When provided, the app member's\n   * graph-walk targets this hash instead of `member.headRef.hash`.\n   * Extensions are unaffected — they always walk to their own head.\n   *\n   * Sub-spec § `--ref <hash>` semantics under multi-space.\n   */\n  readonly refHash?: string;\n  /**\n   * Required invariants attached to the user-supplied app-space ref.\n   * Threaded into the graph-walk's `required` calculation so the\n   * planner picks an invariant-bearing path and surfaces the\n   * required/satisfied set on the success envelope. When `refHash`\n   * is absent the file's `member.headRef.invariants` are used.\n   */\n  readonly refInvariants?: readonly string[];\n  /**\n   * Resolved name of the user-supplied app-space ref. Surfaces in\n   * `pathDecision.refName` and in `MIGRATION.NO_INVARIANT_PATH`\n   * error envelopes so diagnostics name what the user actually\n   * passed (`--ref prod`) instead of a synthetic placeholder.\n   * Ignored when `refHash` is absent.\n   */\n  readonly refName?: string;\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Apply pending migrations across every contract space (app +\n * extensions). Replay-only: graph-walk against the on-disk graph for\n * every member; no synth, no introspection.\n *\n * Pipeline:\n *\n * 1. Load aggregate from disk (loader hydrates extension graphs;\n *    caller provides app-space packages).\n * 2. Read live marker rows per space (`familyInstance.readAllMarkers`).\n * 3. Per member: `graphWalkStrategy` plots the path from the live\n *    marker to `member.headRef.hash` (or `refHash` for the app\n *    member when provided). Empty-graph members fail loudly — a\n *    \"never planned\" space is a user-error condition for replay.\n * 4. Hand off to {@link applyAggregate} (the runner-driving tail\n *    shared with `db init` / `db update`). Marker advancement is\n *    inside the per-space transaction.\n *\n * Sub-spec § `migration apply` semantics + § Required changes 1.\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    contract,\n    migrations,\n    frameworkComponents,\n    migrationsDir,\n    extensionPacks,\n    targetId,\n    appMigrationPackages,\n    refHash,\n    refInvariants,\n    refName,\n    onProgress,\n  } = options;\n\n  const loadInputs: BuildAggregateInputs<TFamilyId, TTargetId> = {\n    targetId,\n    migrationsDir,\n    appContract: contract,\n    extensionPacks,\n    validateContract: (json) => familyInstance.validateContract(json),\n    appMigrationPackages,\n  };\n  const loaded = await buildContractSpaceAggregate(loadInputs);\n  if (!loaded.ok) {\n    throw loaded.failure;\n  }\n  const aggregate = loaded.value;\n\n  const markerRows = await familyInstance.readAllMarkers({ driver });\n\n  // Plan every member via graph-walk. App member targets `refHash`\n  // when provided, otherwise its own head; extensions always walk\n  // to their own head ref.\n  const allMembers: ReadonlyArray<ContractSpaceMember> = [aggregate.app, ...aggregate.extensions];\n  const perSpacePlans = new Map<string, AggregatePerSpacePlan>();\n  // Already-at-head empty-graph members (typically extensions whose\n  // head ref is the empty sentinel, or whose live marker already\n  // matches the target). Kept out of the runner schedule so we don't\n  // write spurious markers for greenfield extensions, but merged back\n  // into the success envelope so every loaded member is represented.\n  const atHeadResolutions = new Map<string, AggregatePerSpacePlan>();\n  for (const member of allMembers) {\n    const isAppMember = member.spaceId === aggregate.app.spaceId;\n    const targetHash = isAppMember && refHash !== undefined ? refHash : member.headRef.hash;\n    const liveMarker = markerRows.get(member.spaceId) ?? null;\n\n    // Empty-graph members fail loudly: replay needs an on-disk path\n    // and an empty graph means the user has never planned this space.\n    if (member.migrations.graph.nodes.size === 0) {\n      // Edge case: target == EMPTY (greenfield, nothing to do) or\n      // the live marker already matches the target. Loader integrity\n      // allows this for extensions whose head ref is the empty\n      // sentinel. Record a zero-op resolution so the aggregate result\n      // still surfaces the member in `perSpace[]` as already-at-head;\n      // the runner is not invoked for these members because they have\n      // no authored ops and (for greenfield extensions) no marker to\n      // advance.\n      const liveHash = liveMarker?.storageHash;\n      if (\n        targetHash === liveHash ||\n        (liveHash === undefined && targetHash === EMPTY_CONTRACT_HASH)\n      ) {\n        atHeadResolutions.set(\n          member.spaceId,\n          buildAtHeadResolution({\n            aggregateTargetId: aggregate.targetId,\n            member,\n            targetHash,\n            liveMarker,\n          }),\n        );\n        continue;\n      }\n      return notOk(buildNeverPlannedFailure(member.spaceId, targetHash));\n    }\n\n    const targetInvariants =\n      isAppMember && refHash !== undefined && refInvariants !== undefined\n        ? refInvariants\n        : member.headRef.invariants;\n    const targetMember: ContractSpaceMember =\n      targetHash === member.headRef.hash && targetInvariants === member.headRef.invariants\n        ? member\n        : { ...member, headRef: { hash: targetHash, invariants: targetInvariants } };\n\n    const walked = graphWalkStrategy({\n      aggregateTargetId: aggregate.targetId,\n      member: targetMember,\n      currentMarker: liveMarker,\n      ...(isAppMember && refName !== undefined ? { refName } : {}),\n    });\n    if (walked.kind === 'unreachable') {\n      return notOk(buildPathNotFoundFailure(member.spaceId, liveMarker, targetHash));\n    }\n    if (walked.kind === 'unsatisfiable') {\n      // Surface the canonical MIGRATION.NO_INVARIANT_PATH envelope\n      // (the error rendering pipeline maps it to meta.code +\n      // meta.required + meta.missing + meta.structuralPath that the\n      // cli-journeys invariant suite asserts on).\n      const fromHash = liveMarker?.storageHash ?? '';\n      const structural = findPathWithDecision(targetMember.migrations.graph, fromHash, targetHash, {\n        required: new Set<string>(),\n      });\n      const structuralPath =\n        structural.kind === 'ok'\n          ? structural.decision.selectedPath.map((edge) => ({\n              dirName: edge.dirName,\n              migrationHash: edge.migrationHash,\n              from: edge.from,\n              to: edge.to,\n              invariants: edge.invariants,\n            }))\n          : [];\n      throw errorNoInvariantPath({\n        ...(isAppMember && refName !== undefined ? { refName } : {}),\n        required: targetInvariants,\n        missing: walked.missing,\n        structuralPath,\n      });\n    }\n\n    perSpacePlans.set(member.spaceId, walked.result);\n  }\n\n  const canonicalOrder = [...aggregate.extensions.map((m) => m.spaceId), aggregate.app.spaceId];\n  const applyOrder = canonicalOrder.filter((spaceId) => perSpacePlans.has(spaceId));\n\n  // Short-circuit: nothing pending across any space (no runner-bound\n  // plans). Surfaces every loaded member — including at-head empty-\n  // graph extensions — in `perSpace[]` so the result reflects the\n  // full aggregate, not just the spaces the runner would have touched.\n  const totalPlannedOps = sumPlannedOps(applyOrder, perSpacePlans);\n  if (totalPlannedOps === 0) {\n    const ordered = canonicalOrder\n      .filter((spaceId) => perSpacePlans.has(spaceId) || atHeadResolutions.has(spaceId))\n      .map((spaceId) => {\n        const entry = perSpacePlans.get(spaceId) ?? atHeadResolutions.get(spaceId);\n        if (entry === undefined) {\n          throw new Error(`Unreachable: missing per-space plan for \"${spaceId}\"`);\n        }\n        return { spaceId, entry };\n      });\n    const perSpace = buildPerSpaceBreakdown(ordered, aggregate.app.spaceId, {\n      includeMarkers: true,\n    });\n    const totalSpaces = ordered.length;\n    return ok(\n      buildSuccess({\n        aggregate,\n        orderedResolutions: ordered,\n        perSpace,\n        totalOpsExecuted: 0,\n        summary:\n          totalSpaces === 0\n            ? 'Already up to date — no contract spaces are loaded'\n            : totalSpaces === 1\n              ? 'Already up to date'\n              : `Already up to date across ${totalSpaces} space(s)`,\n      }),\n    );\n  }\n\n  const applied = await applyAggregate({\n    aggregate,\n    perSpacePlans,\n    applyOrder,\n    driver,\n    familyInstance,\n    migrations,\n    frameworkComponents,\n    policy: { allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'] },\n    action: 'migrationApply',\n    ...ifDefined('onProgress', onProgress),\n  });\n\n  if (!applied.ok) {\n    const failure: MigrationApplyFailure = {\n      code: 'RUNNER_FAILED',\n      summary: applied.failure.summary,\n      why: applied.failure.why,\n      meta: applied.failure.meta,\n    };\n    return notOk(failure);\n  }\n\n  // Merge at-head zero-op resolutions back into the canonical order\n  // so the success envelope surfaces every loaded member, not just\n  // those the runner executed.\n  const orderedAll = canonicalOrder\n    .filter((spaceId) => perSpacePlans.has(spaceId) || atHeadResolutions.has(spaceId))\n    .map((spaceId) => {\n      if (perSpacePlans.has(spaceId)) {\n        const fromRunner = applied.value.orderedResolutions.find((r) => r.spaceId === spaceId);\n        if (fromRunner !== undefined) return fromRunner;\n      }\n      const entry = atHeadResolutions.get(spaceId);\n      if (entry === undefined) {\n        throw new Error(`Unreachable: missing per-space plan for \"${spaceId}\"`);\n      }\n      return { spaceId, entry };\n    });\n  const perSpaceAll = buildPerSpaceBreakdown(orderedAll, aggregate.app.spaceId, {\n    includeMarkers: true,\n  });\n  const totalMigrationsApplied = applied.value.orderedResolutions.reduce(\n    (sum, r) => sum + (r.entry.migrationEdges?.length ?? 0),\n    0,\n  );\n  const summary = `Applied ${totalMigrationsApplied} migration(s) (${applied.value.totalOpsExecuted} operation(s)) across ${orderedAll.length} contract space(s)`;\n\n  return ok(\n    buildSuccess({\n      aggregate,\n      orderedResolutions: orderedAll,\n      perSpace: perSpaceAll,\n      totalOpsExecuted: applied.value.totalOpsExecuted,\n      summary,\n    }),\n  );\n}\n\n/**\n * Build a zero-op {@link AggregatePerSpacePlan} for an empty-graph\n * member whose live marker already matches the target. Lets the apply\n * pipeline thread the member through `perSpacePlans` -> `applyOrder`\n * -> the success envelope's `perSpace[]` block so the result reflects\n * every loaded space, even when there is nothing to execute.\n */\nfunction buildAtHeadResolution(args: {\n  readonly aggregateTargetId: string;\n  readonly member: ContractSpaceMember;\n  readonly targetHash: string;\n  readonly liveMarker: ContractMarkerRecordLike | null;\n}): AggregatePerSpacePlan {\n  const { aggregateTargetId, member, targetHash, liveMarker } = args;\n  return {\n    plan: {\n      targetId: aggregateTargetId,\n      spaceId: member.spaceId,\n      origin: liveMarker === null ? null : { storageHash: liveMarker.storageHash },\n      destination: { storageHash: targetHash },\n      operations: [],\n      providedInvariants: [],\n    },\n    displayOps: [],\n    destinationContract: member.contract,\n    strategy: 'graph-walk',\n    migrationEdges: [],\n  };\n}\n\nfunction sumPlannedOps(\n  applyOrder: readonly string[],\n  perSpacePlans: ReadonlyMap<string, AggregatePerSpacePlan>,\n): number {\n  let total = 0;\n  for (const spaceId of applyOrder) {\n    const entry = perSpacePlans.get(spaceId);\n    if (!entry) continue;\n    total += entry.plan.operations.length;\n  }\n  return total;\n}\n\ninterface BuildSuccessArgs {\n  readonly aggregate: ContractSpaceAggregate;\n  readonly orderedResolutions: ReadonlyArray<{\n    readonly spaceId: string;\n    readonly entry: AggregatePerSpacePlan;\n  }>;\n  readonly perSpace: ReadonlyArray<AggregatePerSpaceExecutionEntry>;\n  readonly totalOpsExecuted: number;\n  readonly summary: string;\n}\n\nfunction buildSuccess(args: BuildSuccessArgs): MigrationApplySuccess {\n  // The marker hash surfaced at the top level is the **app member's**\n  // post-apply marker (today's single-space `markerHash` field).\n  // Per-space markers live on `perSpace[].marker.storageHash`.\n  const appResolution = args.orderedResolutions.find(\n    (r) => r.spaceId === args.aggregate.app.spaceId,\n  );\n  const appMarkerHash =\n    appResolution?.entry.plan.destination.storageHash ?? args.aggregate.app.headRef.hash;\n\n  // Per-migration entries (one per authored edge) preserve the\n  // single-space `migrationsApplied` count semantics for back-compat\n  // with existing JSON-shape consumers (e.g. `parsed.applied.length`\n  // in integration tests). The aggregate per-space breakdown lives on\n  // `perSpace[]`.\n  const applied = args.orderedResolutions.flatMap((r) => {\n    const edges = r.entry.migrationEdges ?? [];\n    return edges.map((edge) => ({\n      spaceId: r.spaceId,\n      dirName: edge.dirName,\n      migrationHash: edge.migrationHash,\n      from: edge.from,\n      to: edge.to,\n      operationsExecuted: edge.operationCount,\n    }));\n  });\n\n  const appPlan = appResolution?.entry;\n  const pathDecision: MigrationApplyPathDecision | undefined = appPlan?.pathDecision\n    ? {\n        fromHash: appPlan.pathDecision.fromHash,\n        toHash: appPlan.pathDecision.toHash,\n        alternativeCount: appPlan.pathDecision.alternativeCount,\n        tieBreakReasons: appPlan.pathDecision.tieBreakReasons,\n        ...(appPlan.pathDecision.refName !== undefined\n          ? { refName: appPlan.pathDecision.refName }\n          : {}),\n        requiredInvariants: appPlan.pathDecision.requiredInvariants ?? [],\n        satisfiedInvariants: appPlan.pathDecision.satisfiedInvariants ?? [],\n        selectedPath: appPlan.pathDecision.selectedPath.map((entry) => ({\n          dirName: entry.dirName,\n          migrationHash: entry.migrationHash,\n          from: entry.from,\n          to: entry.to,\n          invariants: entry.invariants,\n        })),\n      }\n    : undefined;\n\n  return {\n    migrationsApplied: applied.length,\n    markerHash: appMarkerHash,\n    applied,\n    summary: args.summary,\n    perSpace: args.perSpace,\n    ...(pathDecision !== undefined ? { pathDecision } : {}),\n  };\n}\n\nfunction buildNeverPlannedFailure(spaceId: string, targetHash: string): MigrationApplyFailure {\n  return {\n    code: 'MIGRATION_PATH_NOT_FOUND',\n    summary: `No on-disk migrations for contract space \"${spaceId}\"`,\n    why: `migration apply is replay-only: every contract space must have an authored migration graph on disk. Space \"${spaceId}\" has no migrations under \\`migrations/${spaceId}/\\` but its head ref targets \"${targetHash}\". Run \\`prisma-next migration plan\\` first to materialise the path.`,\n    meta: { spaceId, target: targetHash, kind: 'neverPlanned' },\n  };\n}\n\nfunction buildPathNotFoundFailure(\n  spaceId: string,\n  marker: ContractMarkerRecordLike | null,\n  targetHash: string,\n): MigrationApplyFailure {\n  const fromHash = marker?.storageHash ?? '<empty>';\n  // The single-space-degenerate phrasing names the user-visible\n  // condition (a contract has been emitted that no on-disk\n  // migration reaches) so the error reads naturally for the\n  // single-space app case. Multi-space callers see the same\n  // condition expressed against the offending space.\n  const summary =\n    spaceId === 'app'\n      ? 'Current contract has no planned migration path'\n      : `Current contract has no planned migration path for contract space \"${spaceId}\"`;\n  return {\n    code: 'MIGRATION_PATH_NOT_FOUND',\n    summary,\n    why: `Cannot reach target \"${targetHash}\" from current marker \"${fromHash}\" in space \"${spaceId}\". The on-disk migration graph for this space does not connect the two states. Run \\`prisma-next migration plan\\` to materialise the path.`,\n    meta: { spaceId, fromHash, targetHash, kind: 'pathUnreachable' },\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  MigrationPlanOperation,\n  OperationPreview,\n  SignDatabaseResult,\n  VerifyDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport {\n  APP_SPACE_ID,\n  createControlStack,\n  hasMigrations,\n  hasOperationPreview,\n  hasPslContractInfer,\n  hasSchemaView,\n} from '@prisma-next/framework-components/control';\nimport type { PslDocumentAst } from '@prisma-next/framework-components/psl-ast';\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 { type ExecuteDbVerifyResult, executeDbVerify } from './operations/db-verify';\nimport { executeMigrationApply } from './operations/migration-apply';\n\nimport type {\n  ControlActionName,\n  ControlClient,\n  ControlClientOptions,\n  DbInitOptions,\n  DbInitResult,\n  DbUpdateOptions,\n  DbUpdateResult,\n  DbVerifyOptions,\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      migrationsDir: options.migrationsDir,\n      targetId: this.options.target.targetId,\n      extensionPacks: this.options.extensionPacks ?? [],\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      migrationsDir: options.migrationsDir,\n      targetId: this.options.target.targetId,\n      extensionPacks: this.options.extensionPacks ?? [],\n      ...ifDefined('acceptDataLoss', options.acceptDataLoss),\n      ...ifDefined('onProgress', onProgress),\n    });\n  }\n\n  async dbVerify(options: DbVerifyOptions): Promise<ExecuteDbVerifyResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'dbVerify', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\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 executeDbVerify({\n      driver,\n      familyInstance,\n      contract,\n      migrationsDir: options.migrationsDir,\n      targetId: this.options.target.targetId,\n      extensionPacks: this.options.extensionPacks ?? [],\n      frameworkComponents,\n      mode: options.strict ? 'strict' : 'lenient',\n      skipSchema: options.skipSchema,\n      skipMarker: options.skipMarker,\n      ...ifDefined('onProgress', onProgress),\n    });\n  }\n\n  async readMarker(): Promise<ContractMarkerRecord | null> {\n    const { driver, familyInstance } = await this.ensureConnected();\n    // The CLI client's readMarker reads the app's marker. Per-extension\n    // readers go through the orchestrator's per-space planner / runner\n    // boundary, which threads the extension's space id through the\n    // family interface explicitly.\n    return familyInstance.readMarker({ driver, space: APP_SPACE_ID });\n  }\n\n  async readAllMarkers(): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n    const { driver, familyInstance } = await this.ensureConnected();\n    return familyInstance.readAllMarkers({ 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    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 executeMigrationApply({\n      driver,\n      familyInstance,\n      contract,\n      migrations: this.options.target.migrations,\n      frameworkComponents,\n      migrationsDir: options.migrationsDir,\n      extensionPacks: this.options.extensionPacks ?? [],\n      targetId: this.options.target.targetId,\n      appMigrationPackages: options.appMigrationPackages,\n      ...ifDefined('refHash', options.refHash),\n      ...ifDefined('refInvariants', options.refInvariants),\n      ...ifDefined('refName', options.refName),\n      ...ifDefined('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  inferPslContract(schemaIR: unknown): PslDocumentAst | undefined {\n    this.init();\n    if (this.familyInstance && hasPslContractInfer(this.familyInstance)) {\n      return this.familyInstance.inferPslContract(schemaIR);\n    }\n    return undefined;\n  }\n\n  toOperationPreview(operations: readonly MigrationPlanOperation[]): OperationPreview | undefined {\n    this.init();\n    if (this.familyInstance && hasOperationPreview(this.familyInstance)) {\n      return this.familyInstance.toOperationPreview(operations);\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        resolvedInputs: contractConfig.source.inputs ?? [],\n      };\n      const providerResult = await contractConfig.source.load(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;CAEA,YAAY,SAAiB,OAAiB;EAC5C,MAAM,QAAQ;EACd,KAAK,OAAO;EACZ,KAAK,QAAQ;;;;;;;;;;;;ACejB,SAAgB,sBAAsB,OAA+C;CACnF,IAAI,MAAM,SAAS,mBAAmB;EACpC,MAAM,QAAQ,MAAM,WAAW,KAAK,MAAM,MAAM,EAAE,KAAK,IAAI,EAAE,UAAU;EAKvE,OAAO,IAAI,mBAAmB,QAH5B,MAAM,WAAW,WAAW,IACxB,6CACA,8CAA8C,MAAM,WAAW,OAAO,IAC7B;GAC7C,QAAQ;GACR,KAAK,wGAAwG,MAAM,KAAK,KAAK;GAC7H,KAAK;GACL,SAAS;GACT,MAAM,EACJ,YAAY,MAAM,WAAW,KAAK,OAAO;IACvC,MAAM,EAAE;IACR,SAAS,EAAE;IACZ,EAAE,EACJ;GACF,CAAC;;CAEJ,IAAI,MAAM,SAAS,kBACjB,OAAO,IAAI,mBAAmB,QAAQ,sCAAsC,MAAM,QAAQ,IAAI;EAC5F,QAAQ;EACR,KAAK,mCAAmC,MAAM,QAAQ,UAAU,MAAM,cAAc,uDAAuD,MAAM,SAAS;EAC1J,KAAK;EACL,SAAS;EACT,MAAM,EACJ,YAAY,CACV;GACE,MAAM;GACN,SAAS,MAAM;GACf,eAAe,MAAM;GACrB,UAAU,MAAM;GACjB,CACF,EACF;EACF,CAAC;CAEJ,IAAI,MAAM,SAAS,yBACjB,OAAO,IAAI,mBACT,QACA,2DAA2D,MAAM,QAAQ,+BACzE;EACE,QAAQ;EACR,KAAK,UAAU,MAAM,UAAU,KAAK,MAAM,IAAI,EAAE,GAAG,CAAC,KAAK,KAAK,CAAC,kCAAkC,MAAM,QAAQ;EAC/G,KAAK;EACL,SAAS;EACT,MAAM,EACJ,YAAY,CACV;GACE,MAAM;GACN,SAAS,MAAM,UAAU,KAAK,IAAI;GAClC,SAAS,MAAM;GACf,WAAW,MAAM;GAClB,CACF,EACF;EACF,CACF;CAEH,IAAI,MAAM,SAAS,oBACjB,OAAO,IAAI,mBACT,QACA,yCAAyC,MAAM,QAAQ,IACvD;EACE,QAAQ;EACR,KAAK,MAAM;EACX,KAAK;EACL,SAAS;EACT,MAAM,EACJ,YAAY,CAAC;GAAE,MAAM;GAAa,SAAS,MAAM;GAAS,QAAQ,MAAM;GAAQ,CAAC,EAClF;EACF,CACF;CAEH,IAAI,MAAM,SAAS,qBACjB,OAAO,IAAI,mBACT,QACA,kDAAkD,MAAM,QAAQ,IAChE;EACE,QAAQ;EACR,KAAK,MAAM;EACX,KAAK;EACL,MAAM,EACJ,YAAY,CAAC;GAAE,MAAM;GAAc,SAAS,MAAM;GAAS,QAAQ,MAAM;GAAQ,CAAC,EACnF;EACF,CACF;CAGH,OAAO,IAAI,mBAAmB,QAAQ,uCAAuC,MAAM,QAAQ,IAAI;EAC7F,QAAQ;EACR,KAAK,UAAU,MAAM,QAAQ,aAAa,MAAM,OAAO,uCAAuC,MAAM,SAAS;EAC7G,KAAK;EACL,MAAM,EACJ,YAAY,CACV;GACE,MAAM;GACN,SAAS,MAAM;GACf,UAAU,MAAM;GAChB,QAAQ,MAAM;GACf,CACF,EACF;EACF,CAAC;;;;;;;;;;;;;;;;AA6CJ,eAAsB,4BAIpB,QAC6D;CAC7D,MAAM,EAAE,SAAS,uBAAuB,qBACtC,kBAAkB,OAAO,eAAe,CACzC;CAoBD,MAAM,SAA8B,MAAM,2BAA2B;EAjBnE,UAAU,OAAO;EACjB,eAAe,OAAO;EACtB,aAAa,OAAO;EACpB,oBAAoB;EACpB,kBAAkB,OAAO;EACzB,eAAe,iBAA0B;GACvC,MAAM,cAAc,mBAAmB,IAAI,aAAa;GACxD,IAAI,gBAAgB,KAAA,GAClB,MAAM,IAAI,MACR,wHACD;GAEH,OAAO;;EAET,sBAAsB,OAAO,wBAAwB,EAAE;EAGqB,CAAC;CAC/E,IAAI,CAAC,OAAO,IACV,OAAO,MAAM,sBAAsB,OAAO,QAAQ,CAAC;CAErD,OAAO,GAAG,OAAO,MAAM,UAAU;;;;;;;;ACnLnC,MAAM,gBAAgB;;;;;;;;;;;;;;;;;AA6FtB,eAAsB,eACpB,QAC+B;CAC/B,MAAM,EACJ,WACA,eACA,YACA,QACA,gBACA,YACA,qBACA,QACA,QACA,eACE;CAEJ,MAAM,qBAAqB,eAAe,YAAY,cAAc;CAEpE,MAAM,SAAS,WAAW,aAAa,eAAe;CACtD,IAAI,CAAC,oBAAoB,OAAO,EAC9B,MAAM,kBACJ,sBAAsB,UAAU,SAAS,+CACzC,EACE,KAAK,GAAG,eAAe,OAAO,CAAC,0EAChC,CACF;CAGH,aAAa;EACX;EACA,MAAM;EACN,QAAQ;EACR,OAAO,uBAAuB,OAAO;EACtC,CAAC;CAEF,MAAM,kBACJ,mBAAmB,KAAK,OAAO;EAC7B,OAAO,EAAE;EACT,MAAM,EAAE,MAAM;EACd;EACA,qBAAqB,EAAE,MAAM;EAC7B;EACA;EAOA,oBAAoB;EACrB,EAAE;CAEL,MAAM,eAAe,MACnB,OACA,oBAAoB;EAAE;EAAQ;EAAiB,CAAC;CAElD,IAAI,CAAC,aAAa,IAAI;EACpB,aAAa;GAAE;GAAQ,MAAM;GAAW,QAAQ;GAAe,SAAS;GAAS,CAAC;EAClF,OAAO,MAAM;GACX,SAAS,aAAa,QAAQ;GAC9B,GAAG,UAAU,OAAO,aAAa,QAAQ,IAAI;GAC7C,MAAM;IACJ,GAAI,aAAa,QAAQ,QAAQ,EAAE;IACnC,cAAc,aAAa,QAAQ;IACpC;GACF,CAAC;;CAEJ,aAAa;EAAE;EAAQ,MAAM;EAAW,QAAQ;EAAe,SAAS;EAAM,CAAC;CAe/E,OAAO,GAAG;EACR;EACA,iBAfsB,aAAa,MAAM,gBAAgB,QACxD,KAAK,MAAM,MAAM,EAAE,MAAM,mBAC1B,EAae;EACf,kBAZuB,aAAa,MAAM,gBAAgB,QACzD,KAAK,MAAM,MAAM,EAAE,MAAM,oBAC1B,EAUgB;EAChB,UARe,uBAAuB,oBAAoB,UAAU,IAAI,SAAS,EACjF,gBAAgB,MACjB,CAMS;EACT,CAAC;;;;;;;;;;;;;;AAeJ,SAAgB,uBACd,oBACA,YACA,SAC4C;CAC5C,OAAO,mBAAmB,KAAK,MAAM;EACnC,MAAM,aAAa,EAAE,MAAM,WAAW,KAAK,QAAQ;GACjD,IAAI,GAAG;GACP,OAAO,GAAG;GACV,gBAAgB,GAAG;GACpB,EAAE;EACH,MAAM,OAAwC;GAC5C,SAAS,EAAE;GACX,MAAM,EAAE,YAAY,aAAa,QAAQ;GACzC;GACD;EACD,IAAI,CAAC,QAAQ,gBAAgB,OAAO;EACpC,OAAO;GACL,GAAG;GACH,QAAQ,EAAE,aAAa,EAAE,MAAM,KAAK,YAAY,aAAa;GAC9D;GACD;;;;;;;;;;AAWJ,SAAgB,eACd,YACA,UAC8B;CAC9B,OAAO,WAAW,KAAK,YAAY;EACjC,MAAM,QAAQ,SAAS,IAAI,QAAQ;EACnC,IAAI,CAAC,OACH,MAAM,IAAI,MAAM,wDAAwD,QAAQ,GAAG;EAErF,OAAO;GAAE;GAAS;GAAO;GACzB;;;;;;;;AASJ,SAAgB,uBAAuB,QAAsC;CAC3E,QAAQ,QAAR;EACE,KAAK,UACH,OAAO;EACT,KAAK,YACH,OAAO;EACT,KAAK,kBACH,OAAO;;;AAIb,SAAS,eAAe,QAAsC;CAC5D,QAAQ,QAAR;EACE,KAAK,UACH,OAAO;EACT,KAAK,YACH,OAAO;EACT,KAAK,kBACH,OAAO;;;;;;;;;ACxRb,SAAgB,gBACd,YACiG;CACjG,OAAO,WAAW,KAAK,QAAQ;EAC7B,IAAI,GAAG;EACP,OAAO,GAAG;EACV,gBAAgB,GAAG;EACpB,EAAE;;;;;;;;;;;AC8BL,MAAMA,aAAW;CACf,YAAY;CACZ,MAAM;CACP;;;;;;;;;;;;;;;;;;;;AA+CD,eAAsB,sBACpB,SACwC;CACxC,MAAM,EACJ,QACA,gBACA,UACA,MACA,YACA,qBACA,eACA,gBACA,UACA,QACA,QACA,eACE;CAUJ,MAAM,SAAS,MAAM,4BAA4B;EAN/C;EACA;EACA,aAAa;EACb;EACA,mBAAmB,SAAS,eAAe,iBAAiB,KAAK;EAER,CAAC;CAC5D,IAAI,CAAC,OAAO,IACV,MAAM,OAAO;CAEf,MAAM,YAAY,OAAO;CAGzB,MAAM,aAAa,MAAM,eAAe,eAAe,EAAE,QAAQ,CAAC;CASlE,MAAM,oBAAoB,oBAAoB,WAAW,WAAW;CACpE,IAAI,sBAAsB,MACxB,MAAM;CAGR,aAAa;EACX;EACA,MAAM;EACN,QAAQA,WAAS;EACjB,OAAO;EACR,CAAC;CACF,MAAM,WAAW,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;CAC5D,aAAa;EAAE;EAAQ,MAAM;EAAW,QAAQA,WAAS;EAAY,SAAS;EAAM,CAAC;CAKrF,aAAa;EACX;EACA,MAAM;EACN,QAAQA,WAAS;EACjB,OAAO;EACR,CAAC;CACF,MAAM,aAAa,MAAM,cAAoC;EAC3D;EACA,gBAAgB;GAAE,kBAAkB;GAAY,qBAAqB;GAAU;EAC/E;EACA;EACA;EACA,cAAc,EAAE,gBAAgB,IAAI,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC,EAAE;EAClE,iBAAiB;EAClB,CAAC;CACF,IAAI,CAAC,WAAW,IAAI;EAClB,aAAa;GAAE;GAAQ,MAAM;GAAW,QAAQA,WAAS;GAAM,SAAS;GAAS,CAAC;EAClF,OAAO,gBAAgB,WAAW,QAAQ;;CAE5C,aAAa;EAAE;EAAQ,MAAM;EAAW,QAAQA,WAAS;EAAM,SAAS;EAAM,CAAC;CAE/E,MAAM,qBAAqB,eAAe,WAAW,MAAM,YAAY,WAAW,MAAM,SAAS;CAIjG,MAAM,gBAAgB,mBAAmB,MAAM,MAAM,EAAE,YAAY,UAAU,IAAI,QAAQ;CACzF,IAAI,CAAC,eACH,MAAM,IAAI,MACR,sGACD;CAEH,MAAM,UAAU,cAAc,MAAM;CAGpC,IAAI,SAAS,QAAQ;EACnB,MAAM,eAAe,mBAAmB,SAAS,MAAM,EAAE,MAAM,WAAW;EAC1E,MAAM,UAAU,oBAAoB,eAAe,GAC/C,eAAe,mBAAmB,aAAa,GAC/C,KAAA;EACJ,MAAM,WAAW,uBAAuB,oBAAoB,UAAU,IAAI,SAAS,EACjF,gBAAgB,OACjB,CAAC;EACF,MAAM,UAAU,WAAW,aAAa,OAAO,uBAAuB,mBAAmB,OAAO;EAChG,OAAO,eAAe;GACpB,YAAY;GACZ,aAAa,QAAQ;GACrB;GACA;GACA;GACD,CAAC;;CAQJ,MAAM,UAAU,MAAM,eAAe;EACnC;EACA,eAAe,WAAW,MAAM;EAChC,YAAY,WAAW,MAAM;EAC7B;EACA;EACA;EACA;EACA;EACA;EACA,GAAG,UAAU,cAAc,WAAW;EACvC,CAAC;CACF,IAAI,CAAC,QAAQ,IACX,OAAO,mBAAmB;EACxB,SAAS,QAAQ,QAAQ;EACzB,GAAG,UAAU,OAAO,QAAQ,QAAQ,IAAI;EACxC,MAAM,QAAQ,QAAQ;EACvB,CAAC;CAGJ,MAAM,eAAe,QAAQ,MAAM,mBAAmB,SAAS,MAAM,EAAE,MAAM,WAAW;CACxF,MAAM,UACJ,WAAW,WACP,WAAW,QAAQ,MAAM,iBAAiB,uBAAuB,QAAQ,MAAM,mBAAmB,OAAO,8BACzG,QAAQ,MAAM,qBAAqB,IACjC,4CAA4C,QAAQ,MAAM,mBAAmB,OAAO,gCACpF,WAAW,QAAQ,MAAM,iBAAiB,uBAAuB,QAAQ,MAAM,mBAAmB,OAAO;CAEjH,OAAO,gBAAgB;EACrB,YAAY;EACZ,aAAa,QAAQ;EACrB,mBAAmB,QAAQ,MAAM;EACjC,oBAAoB,QAAQ,MAAM;EAClC,UAAU,QAAQ,MAAM;EACxB;EACD,CAAC;;;;;;;;;;;;;;;;AAiBJ,SAAS,oBACP,WACA,YAC2B;CAC3B,MAAM,iBAAiB,IAAI,IAAY,CACrC,UAAU,IAAI,SACd,GAAG,UAAU,WAAW,KAAK,MAAM,EAAE,QAAQ,CAC9C,CAAC;CACF,MAAM,UAAoB,EAAE;CAC5B,KAAK,MAAM,CAAC,SAAS,QAAQ,YAC3B,IAAI,QAAQ,QAAQ,QAAQ,KAAA,KAAa,CAAC,eAAe,IAAI,QAAQ,EACnE,QAAQ,KAAK,QAAQ;CAGzB,IAAI,QAAQ,WAAW,GAAG,OAAO;CACjC,QAAQ,MAAM,GAAG,MAAM,EAAE,cAAc,EAAE,CAAC;CAK1C,OAAO,IAAI,mBAAmB,QAH5B,QAAQ,WAAW,IACf,8CAA8C,QAAQ,GAAG,KACzD,8CAA8C,QAAQ,OAAO,UACpB;EAC7C,QAAQ;EACR,KAAK,wDAAwD,QAC1D,KAAK,MAAM,IAAI,EAAE,GAAG,CACpB,KACC,KACD,CAAC;EACJ,KAAK;EACL,SAAS;EACT,MAAM,EACJ,YAAY,QAAQ,KAAK,aAAa;GAAE,MAAM;GAAgB;GAAS,EAAE,EAC1E;EACF,CAAC;;AAGJ,SAAS,gBAAgB,OAA6D;CACpF,IAAI,MAAM,SAAS,mBAQjB,OAAO,MAAM;EANX,MAAM;EACN,SAAS;EACT,WAAW,MAAM;EACjB,KAAK,KAAA;EACL,MAAM,KAAA;EAEY,CAAC;CAEvB,IAAI,MAAM,SAAS,4BACjB,OAAO,mBAAmB;EACxB,SAAS,kDAAkD,MAAM,QAAQ;EACzE,KAAK,+DAA+D,MAAM,QAAQ,uCAAuC,MAAM,OAAO;EACtI,MAAM;GAAE,SAAS,MAAM;GAAS,QAAQ,MAAM;GAAQ;EACvD,CAAC;CAEJ,IAAI,MAAM,SAAS,8BACjB,OAAO,mBAAmB;EACxB,SAAS,kDAAkD,MAAM,QAAQ;EACzE,KAAK,gDAAgD,MAAM,QAAQ,yEAAyE,MAAM,kBAAkB,KAAK,KAAK,CAAC;EAC/K,MAAM;GAAE,SAAS,MAAM;GAAS,mBAAmB,MAAM;GAAmB;EAC7E,CAAC;CAKJ,OAAO,mBAAmB;EACxB,SAAS,gDAAgD,MAAM,QAAQ;EACvE,KAAK,MAAM;EACX,MAAM,EAAE,SAAS,MAAM,SAAS;EACjC,CAAC;;AAGJ,SAAS,eAAe,MAMU;CAchC,OAAO,GAAG;EAZR,MAAM;EACN,MAAM;GACJ,YAAY,gBAAgB,KAAK,WAAW;GAC5C,GAAG,UAAU,WAAW,KAAK,QAAQ;GACtC;EACD,aAAa;GACX,aAAa,KAAK,YAAY;GAC9B,GAAG,UAAU,eAAe,KAAK,YAAY,YAAY;GAC1D;EACD,UAAU,KAAK;EACf,SAAS,KAAK;EAEC,CAAC;;AAGpB,SAAS,gBAAgB,MAOS;CAkBhC,OAAO,GAAG;EAhBR,MAAM;EACN,MAAM,EAAE,YAAY,gBAAgB,KAAK,WAAW,EAAE;EACtD,aAAa;GACX,aAAa,KAAK,YAAY;GAC9B,GAAG,UAAU,eAAe,KAAK,YAAY,YAAY;GAC1D;EACD,WAAW;GACT,mBAAmB,KAAK;GACxB,oBAAoB,KAAK;GAC1B;EACD,QAAQ,KAAK,YAAY,cACrB;GAAE,aAAa,KAAK,YAAY;GAAa,aAAa,KAAK,YAAY;GAAa,GACxF,EAAE,aAAa,KAAK,YAAY,aAAa;EACjD,UAAU,KAAK;EACf,SAAS,KAAK;EAEC,CAAC;;AAGpB,SAAS,mBAAmB,MAIM;CAQhC,OAAO,MAAM;EANX,MAAM;EACN,SAAS,KAAK;EACd,KAAK,KAAK;EACV,MAAM,KAAK;EACX,WAAW,KAAA;EAEO,CAAC;;;;;;;;;;;ACxUvB,eAAsB,cACpB,SACuB;CAevB,OAAO,MAdc,sBAA4C;EAC/D,QAAQ,QAAQ;EAChB,gBAAgB,QAAQ;EACxB,UAAU,QAAQ;EAClB,MAAM,QAAQ;EACd,YAAY,QAAQ;EACpB,qBAAqB,QAAQ;EAC7B,eAAe,QAAQ;EACvB,UAAU,QAAQ;EAClB,gBAAgB,QAAQ,kBAAkB,EAAE;EAC5C,QAAQ,EAAE,yBAAyB,CAAC,WAAW,EAAE;EACjD,QAAQ;EACR,GAAG,UAAU,cAAc,QAAQ,WAAW;EAC/C,CAAC;;;;ACtEJ,MAAM,mBAAmB,EACvB,yBAAyB;CAAC;CAAY;CAAY;CAAc,EACjE;;;;;;;;;;AAsCD,eAAsB,gBACpB,SACyB;CACzB,MAAM,eAAe;EACnB,QAAQ,QAAQ;EAChB,gBAAgB,QAAQ;EACxB,UAAU,QAAQ;EAClB,YAAY,QAAQ;EACpB,qBAAqB,QAAQ;EAC7B,eAAe,QAAQ;EACvB,UAAU,QAAQ;EAClB,gBAAgB,QAAQ,kBAAkB,EAAE;EAC5C,QAAQ;EACR,QAAQ;EACR,GAAG,UAAU,cAAc,QAAQ,WAAW;EAC/C;CACD,IAAI,QAAQ,SAAS,WAAW,CAAC,QAAQ,gBAAgB;EACvD,MAAM,OAAO,MAAM,wBAA8C,aAAa;EAC9E,IAAI,SAAS,MAAM,OAAO;;CAE5B,OAAQ,MAAM,sBAA4C;EACxD,GAAG;EACH,MAAM,QAAQ;EACf,CAAC;;;;;;;;;AAUJ,eAAe,wBACb,cACgC;CAChC,MAAM,aAAc,MAAM,sBAA4C;EACpE,GAAG;EACH,MAAM;EACP,CAAC;CACF,IAAI,CAAC,WAAW,IAAI,OAAO;CAC3B,MAAM,iBAAiB,WAAW,MAAM,KAAK,WAC1C,QAAQ,OAAO,GAAG,mBAAmB,cAAc,CACnD,KAAK,QAAQ;EAAE,IAAI,GAAG;EAAI,OAAO,GAAG;EAAO,EAAE;CAChD,IAAI,eAAe,WAAW,GAAG,OAAO;CACxC,OAAO,MAAM;EACX,MAAM;EACN,SAAS,WAAW,eAAe,OAAO;EAC1C,KAAK;EACL,WAAW,KAAA;EACX,MAAM,EAAE,uBAAuB,gBAAgB;EAChD,CAAC;;;;;;;;;AC9EJ,MAAM,WAAW;CACf,YAAY;CACZ,QAAQ;CACT;;;;;;;;;;;;;;;;;AA6DD,eAAsB,gBACpB,SACgC;CAChC,MAAM,EAAE,QAAQ,gBAAgB,YAAY,YAAY,eAAe;CACvE,MAAM,SAAS,MAAM,4BAA4B,gBAAgB,QAAQ,CAAC;CAC1E,IAAI,CAAC,OAAO,IAAI,OAAO,MAAM,OAAO,QAAQ;CAC5C,MAAM,YAAY,OAAO;CAEzB,MAAM,mBAAmB,MAAM,eAAe,eAAe,EAAE,QAAQ,CAAC;CACxE,MAAM,sBAAsB,aACxB,OACA,MAAM,iBAAiB;EAAE;EAAQ;EAAgB;EAAY,CAAC;CAElE,eAAe,YAAY,YAAY;CAQvC,OAAO,qBAAqB;EAAE,cAPT,gBAAgB;GACnC;GACA;GACA;GACA,MAAM,QAAQ;GACd,uBAAuB,wBAAwB,QAAQ;GACxD,CACyC;EAAE;EAAW;EAAY;EAAY,CAAC;;AAGlF,SAAS,gBACP,SAC4C;CAC5C,OAAO;EACL,UAAU,QAAQ;EAClB,eAAe,QAAQ;EACvB,aAAa,QAAQ;EACrB,gBAAgB,QAAQ;EACxB,mBAAmB,SAAS,QAAQ,eAAe,iBAAiB,KAAK;EAC1E;;AAGH,eAAe,iBAAqE,MAI/D;CACnB,MAAM,EAAE,QAAQ,gBAAgB,eAAe;CAC/C,aAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ,SAAS;EACjB,OAAO;EACR,CAAC;CACF,IAAI;EACF,MAAM,SAAS,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;EAC1D,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ,SAAS;GACjB,SAAS;GACV,CAAC;EACF,OAAO;UACA,OAAO;EACd,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ,SAAS;GACjB,SAAS;GACV,CAAC;EACF,MAAM;;;;;;;;;AAUV,SAAS,wBACP,SAK8B;CAC9B,MAAM,EAAE,YAAY,gBAAgB,wBAAwB;CAC5D,QAAQ,iBAAiB,QAAQ,eAAe;EAC9C,IAAI,YAAY,OAAO,yBAAyB,OAAO;EACvD,OAAO,eAAe,0BAA0B;GAC9C,UAAU,OAAO;GAIjB,QAAQ;GACR,QAAQ,eAAe;GACvB;GACD,CAAC;;;AAIN,SAAS,eACP,YACA,MACM;CACN,IAAI,SAAS,aAAa;EACxB,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ,SAAS;GACjB,OAAO;GACR,CAAC;EACF;;CAEF,aAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ,SAAS;EACjB,SAAS,SAAS,cAAc,OAAO;EACxC,CAAC;;;;;;;AAQJ,SAAS,qBAAqB,MAQJ;CACxB,MAAM,EAAE,cAAc,WAAW,YAAY,eAAe;CAC5D,IAAI,CAAC,aAAa,IAAI;EACpB,eAAe,YAAY,eAAe;EAC1C,OAAO,MACL,IAAI,mBAAmB,QAAQ,2CAA2C;GACxE,QAAQ;GACR,KAAK,aAAa,QAAQ;GAC1B,KAAK;GACL,SAAS;GACV,CAAC,CACH;;CAEH,MAAM,cAAc,aAChB,OACA,uBAAuB,UAAU,IAAI,SAAS,aAAa,MAAM,YAAY;CACjF,IAAI,gBAAgB,MAAM;EACxB,eAAe,YAAY,eAAe;EAC1C,OAAO,MAAM,YAAY;;CAE3B,eAAe,YAAY,YAAY;CACvC,OAAO,GAAG;EACR,eAAe,aAAa,MAAM,YAAY;EAC9C,aAAa,CAAC,UAAU,IAAI,SAAS,GAAG,UAAU,WAAW,KAAK,MAAM,EAAE,QAAQ,CAAC;EACnF,YAAY,UAAU,IAAI;EAC3B,CAAC;;AAGJ,SAAS,yBAAyB,QAAyD;CACzF,MAAM,cAAe,OAAO,SAAsC;CAClE,OAAO;EACL,IAAI;EACJ,SAAS;EACT,UAAU;GACR,aAAa,OAAO,QAAQ;GAC5B,GAAI,cAAc,EAAE,aAAa,GAAG,EAAE;GACvC;EACD,QAAQ,EAAE,UAAU,OAAO,SAAS,QAAQ;EAC5C,QAAQ;GACN,QAAQ,EAAE;GACV,MAAM;IACJ,QAAQ;IACR,MAAM;IACN,MAAM,OAAO;IACb,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU,KAAA;IACV,QAAQ,KAAA;IACR,UAAU,EAAE;IACb;GACD,QAAQ;IAAE,MAAM;IAAG,MAAM;IAAG,MAAM;IAAG,YAAY;IAAG;GACrD;EACD,SAAS,EAAE,OAAO,GAAG;EACtB;;;;;;;AAQH,SAAS,uBACP,YACA,SAU2B;CAC3B,MAAM,aAID,EAAE;CACP,KAAK,MAAM,CAAC,SAAS,WAAW,QAAQ,UAAU;EAChD,IAAI,OAAO,SAAS,QAAQ,OAAO,SAAS,UAAU;EACtD,IAAI,OAAO,SAAS,gBAAgB;GAClC,WAAW,KAAK;IACd,MAAM;IACN;IACA,aACE,YAAY,aACR,uGACA,+CAA+C,QAAQ;IAC9D,CAAC;GACF;;EAEF,IAAI,OAAO,SAAS,qBAClB,WAAW,KAAK;GACd,MAAM;GACN;GACA,aAAa,8CAA8C,QAAQ,wCAAwC,OAAO,QAAQ,KAAK,KAAK,CAAC;GACtI,CAAC;;CAGN,KAAK,MAAM,UAAU,QAAQ,eAC3B,WAAW,KAAK;EACd,MAAM;EACN,SAAS,OAAO;EAChB,aAAa,4HAA4H,OAAO,QAAQ;EACzJ,CAAC;CAEJ,IAAI,WAAW,WAAW,GAAG,OAAO;CACpC,MAAM,QAAQ,WAAW,KAAK,MAAM,MAAM,EAAE,KAAK,IAAI,EAAE,QAAQ,IAAI,EAAE,cAAc;CAKnF,OAAO,IAAI,mBAAmB,QAH5B,WAAW,WAAW,IAClB,8CACA,6CAA6C,WAAW,OAAO,IACtB;EAC7C,QAAQ;EACR,KAAK,uIAAuI,MAAM,KAAK,KAAK;EAC5J,KAAK,WAAW,IAAI,eAAe;EACnC,SAAS;EACT,MAAM,EAAE,YAAY;EACrB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;AClOJ,eAAsB,sBACpB,SAC+B;CAC/B,MAAM,EACJ,QACA,gBACA,UACA,YACA,qBACA,eACA,gBACA,UACA,sBACA,SACA,eACA,SACA,eACE;CAUJ,MAAM,SAAS,MAAM,4BAA4B;EAP/C;EACA;EACA,aAAa;EACb;EACA,mBAAmB,SAAS,eAAe,iBAAiB,KAAK;EACjE;EAEyD,CAAC;CAC5D,IAAI,CAAC,OAAO,IACV,MAAM,OAAO;CAEf,MAAM,YAAY,OAAO;CAEzB,MAAM,aAAa,MAAM,eAAe,eAAe,EAAE,QAAQ,CAAC;CAKlE,MAAM,aAAiD,CAAC,UAAU,KAAK,GAAG,UAAU,WAAW;CAC/F,MAAM,gCAAgB,IAAI,KAAoC;CAM9D,MAAM,oCAAoB,IAAI,KAAoC;CAClE,KAAK,MAAM,UAAU,YAAY;EAC/B,MAAM,cAAc,OAAO,YAAY,UAAU,IAAI;EACrD,MAAM,aAAa,eAAe,YAAY,KAAA,IAAY,UAAU,OAAO,QAAQ;EACnF,MAAM,aAAa,WAAW,IAAI,OAAO,QAAQ,IAAI;EAIrD,IAAI,OAAO,WAAW,MAAM,MAAM,SAAS,GAAG;GAS5C,MAAM,WAAW,YAAY;GAC7B,IACE,eAAe,YACd,aAAa,KAAA,KAAa,eAAe,qBAC1C;IACA,kBAAkB,IAChB,OAAO,SACP,sBAAsB;KACpB,mBAAmB,UAAU;KAC7B;KACA;KACA;KACD,CAAC,CACH;IACD;;GAEF,OAAO,MAAM,yBAAyB,OAAO,SAAS,WAAW,CAAC;;EAGpE,MAAM,mBACJ,eAAe,YAAY,KAAA,KAAa,kBAAkB,KAAA,IACtD,gBACA,OAAO,QAAQ;EACrB,MAAM,eACJ,eAAe,OAAO,QAAQ,QAAQ,qBAAqB,OAAO,QAAQ,aACtE,SACA;GAAE,GAAG;GAAQ,SAAS;IAAE,MAAM;IAAY,YAAY;IAAkB;GAAE;EAEhF,MAAM,SAAS,kBAAkB;GAC/B,mBAAmB,UAAU;GAC7B,QAAQ;GACR,eAAe;GACf,GAAI,eAAe,YAAY,KAAA,IAAY,EAAE,SAAS,GAAG,EAAE;GAC5D,CAAC;EACF,IAAI,OAAO,SAAS,eAClB,OAAO,MAAM,yBAAyB,OAAO,SAAS,YAAY,WAAW,CAAC;EAEhF,IAAI,OAAO,SAAS,iBAAiB;GAKnC,MAAM,WAAW,YAAY,eAAe;GAC5C,MAAM,aAAa,qBAAqB,aAAa,WAAW,OAAO,UAAU,YAAY,EAC3F,0BAAU,IAAI,KAAa,EAC5B,CAAC;GACF,MAAM,iBACJ,WAAW,SAAS,OAChB,WAAW,SAAS,aAAa,KAAK,UAAU;IAC9C,SAAS,KAAK;IACd,eAAe,KAAK;IACpB,MAAM,KAAK;IACX,IAAI,KAAK;IACT,YAAY,KAAK;IAClB,EAAE,GACH,EAAE;GACR,MAAM,qBAAqB;IACzB,GAAI,eAAe,YAAY,KAAA,IAAY,EAAE,SAAS,GAAG,EAAE;IAC3D,UAAU;IACV,SAAS,OAAO;IAChB;IACD,CAAC;;EAGJ,cAAc,IAAI,OAAO,SAAS,OAAO,OAAO;;CAGlD,MAAM,iBAAiB,CAAC,GAAG,UAAU,WAAW,KAAK,MAAM,EAAE,QAAQ,EAAE,UAAU,IAAI,QAAQ;CAC7F,MAAM,aAAa,eAAe,QAAQ,YAAY,cAAc,IAAI,QAAQ,CAAC;CAOjF,IADwB,cAAc,YAAY,cAC/B,KAAK,GAAG;EACzB,MAAM,UAAU,eACb,QAAQ,YAAY,cAAc,IAAI,QAAQ,IAAI,kBAAkB,IAAI,QAAQ,CAAC,CACjF,KAAK,YAAY;GAChB,MAAM,QAAQ,cAAc,IAAI,QAAQ,IAAI,kBAAkB,IAAI,QAAQ;GAC1E,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,MAAM,4CAA4C,QAAQ,GAAG;GAEzE,OAAO;IAAE;IAAS;IAAO;IACzB;EACJ,MAAM,WAAW,uBAAuB,SAAS,UAAU,IAAI,SAAS,EACtE,gBAAgB,MACjB,CAAC;EACF,MAAM,cAAc,QAAQ;EAC5B,OAAO,GACL,aAAa;GACX;GACA,oBAAoB;GACpB;GACA,kBAAkB;GAClB,SACE,gBAAgB,IACZ,uDACA,gBAAgB,IACd,uBACA,6BAA6B,YAAY;GAClD,CAAC,CACH;;CAGH,MAAM,UAAU,MAAM,eAAe;EACnC;EACA;EACA;EACA;EACA;EACA;EACA;EACA,QAAQ,EAAE,yBAAyB;GAAC;GAAY;GAAY;GAAe;GAAO,EAAE;EACpF,QAAQ;EACR,GAAG,UAAU,cAAc,WAAW;EACvC,CAAC;CAEF,IAAI,CAAC,QAAQ,IAOX,OAAO,MAAM;EALX,MAAM;EACN,SAAS,QAAQ,QAAQ;EACzB,KAAK,QAAQ,QAAQ;EACrB,MAAM,QAAQ,QAAQ;EAEJ,CAAC;CAMvB,MAAM,aAAa,eAChB,QAAQ,YAAY,cAAc,IAAI,QAAQ,IAAI,kBAAkB,IAAI,QAAQ,CAAC,CACjF,KAAK,YAAY;EAChB,IAAI,cAAc,IAAI,QAAQ,EAAE;GAC9B,MAAM,aAAa,QAAQ,MAAM,mBAAmB,MAAM,MAAM,EAAE,YAAY,QAAQ;GACtF,IAAI,eAAe,KAAA,GAAW,OAAO;;EAEvC,MAAM,QAAQ,kBAAkB,IAAI,QAAQ;EAC5C,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,MAAM,4CAA4C,QAAQ,GAAG;EAEzE,OAAO;GAAE;GAAS;GAAO;GACzB;CACJ,MAAM,cAAc,uBAAuB,YAAY,UAAU,IAAI,SAAS,EAC5E,gBAAgB,MACjB,CAAC;CAKF,MAAM,UAAU,WAJe,QAAQ,MAAM,mBAAmB,QAC7D,KAAK,MAAM,OAAO,EAAE,MAAM,gBAAgB,UAAU,IACrD,EAE+C,CAAC,iBAAiB,QAAQ,MAAM,iBAAiB,wBAAwB,WAAW,OAAO;CAE5I,OAAO,GACL,aAAa;EACX;EACA,oBAAoB;EACpB,UAAU;EACV,kBAAkB,QAAQ,MAAM;EAChC;EACD,CAAC,CACH;;;;;;;;;AAUH,SAAS,sBAAsB,MAKL;CACxB,MAAM,EAAE,mBAAmB,QAAQ,YAAY,eAAe;CAC9D,OAAO;EACL,MAAM;GACJ,UAAU;GACV,SAAS,OAAO;GAChB,QAAQ,eAAe,OAAO,OAAO,EAAE,aAAa,WAAW,aAAa;GAC5E,aAAa,EAAE,aAAa,YAAY;GACxC,YAAY,EAAE;GACd,oBAAoB,EAAE;GACvB;EACD,YAAY,EAAE;EACd,qBAAqB,OAAO;EAC5B,UAAU;EACV,gBAAgB,EAAE;EACnB;;AAGH,SAAS,cACP,YACA,eACQ;CACR,IAAI,QAAQ;CACZ,KAAK,MAAM,WAAW,YAAY;EAChC,MAAM,QAAQ,cAAc,IAAI,QAAQ;EACxC,IAAI,CAAC,OAAO;EACZ,SAAS,MAAM,KAAK,WAAW;;CAEjC,OAAO;;AAcT,SAAS,aAAa,MAA+C;CAInE,MAAM,gBAAgB,KAAK,mBAAmB,MAC3C,MAAM,EAAE,YAAY,KAAK,UAAU,IAAI,QACzC;CACD,MAAM,gBACJ,eAAe,MAAM,KAAK,YAAY,eAAe,KAAK,UAAU,IAAI,QAAQ;CAOlF,MAAM,UAAU,KAAK,mBAAmB,SAAS,MAAM;EAErD,QADc,EAAE,MAAM,kBAAkB,EAAE,EAC7B,KAAK,UAAU;GAC1B,SAAS,EAAE;GACX,SAAS,KAAK;GACd,eAAe,KAAK;GACpB,MAAM,KAAK;GACX,IAAI,KAAK;GACT,oBAAoB,KAAK;GAC1B,EAAE;GACH;CAEF,MAAM,UAAU,eAAe;CAC/B,MAAM,eAAuD,SAAS,eAClE;EACE,UAAU,QAAQ,aAAa;EAC/B,QAAQ,QAAQ,aAAa;EAC7B,kBAAkB,QAAQ,aAAa;EACvC,iBAAiB,QAAQ,aAAa;EACtC,GAAI,QAAQ,aAAa,YAAY,KAAA,IACjC,EAAE,SAAS,QAAQ,aAAa,SAAS,GACzC,EAAE;EACN,oBAAoB,QAAQ,aAAa,sBAAsB,EAAE;EACjE,qBAAqB,QAAQ,aAAa,uBAAuB,EAAE;EACnE,cAAc,QAAQ,aAAa,aAAa,KAAK,WAAW;GAC9D,SAAS,MAAM;GACf,eAAe,MAAM;GACrB,MAAM,MAAM;GACZ,IAAI,MAAM;GACV,YAAY,MAAM;GACnB,EAAE;EACJ,GACD,KAAA;CAEJ,OAAO;EACL,mBAAmB,QAAQ;EAC3B,YAAY;EACZ;EACA,SAAS,KAAK;EACd,UAAU,KAAK;EACf,GAAI,iBAAiB,KAAA,IAAY,EAAE,cAAc,GAAG,EAAE;EACvD;;AAGH,SAAS,yBAAyB,SAAiB,YAA2C;CAC5F,OAAO;EACL,MAAM;EACN,SAAS,6CAA6C,QAAQ;EAC9D,KAAK,8GAA8G,QAAQ,yCAAyC,QAAQ,gCAAgC,WAAW;EACvN,MAAM;GAAE;GAAS,QAAQ;GAAY,MAAM;GAAgB;EAC5D;;AAGH,SAAS,yBACP,SACA,QACA,YACuB;CACvB,MAAM,WAAW,QAAQ,eAAe;CAUxC,OAAO;EACL,MAAM;EACN,SALA,YAAY,QACR,mDACA,sEAAsE,QAAQ;EAIlF,KAAK,wBAAwB,WAAW,yBAAyB,SAAS,cAAc,QAAQ;EAChG,MAAM;GAAE;GAAS;GAAU;GAAY,MAAM;GAAmB;EACjE;;;;;;;;;;;;;;ACnaH,SAAgB,oBAAoB,SAA8C;CAChF,OAAO,IAAI,kBAAkB,QAAQ;;;;;;AAOvC,IAAM,oBAAN,MAAiD;CAC/C;CACA,QAAqC;CACrC,SAA+D;CAC/D,iBAAwE;CACxE,sBAEW;CACX,cAAsB;CACtB;CAEA,YAAY,SAA+B;EACzC,KAAK,UAAU;EACf,KAAK,oBAAoB,QAAQ;;CAGnC,OAAa;EACX,IAAI,KAAK,aACP;EAGF,KAAK,QAAQ,mBAAmB;GAC9B,QAAQ,KAAK,QAAQ;GACrB,QAAQ,KAAK,QAAQ;GACrB,SAAS,KAAK,QAAQ;GACtB,QAAQ,KAAK,QAAQ;GACrB,gBAAgB,KAAK,QAAQ;GAC9B,CAAC;EAEF,KAAK,iBAAiB,KAAK,QAAQ,OAAO,OAAO,KAAK,MAAM;EAG5D,MAAM,gBAAgB;GACpB,KAAK,QAAQ;GACb,KAAK,QAAQ;GACb,GAAI,KAAK,QAAQ,kBAAkB,EAAE;GACtC;EACD,KAAK,sBAAsB,oCACzB,KAAK,QAAQ,OAAO,UACpB,KAAK,QAAQ,OAAO,UACpB,cACD;EAED,KAAK,cAAc;;CAGrB,MAAM,QAAQ,YAAqC;EAEjD,KAAK,MAAM;EAEX,IAAI,KAAK,QACP,MAAM,IAAI,MAAM,uDAAuD;EAIzE,MAAM,qBAAqB,cAAc,KAAK;EAC9C,IAAI,uBAAuB,KAAA,GACzB,MAAM,IAAI,MACR,mHACD;EAIH,IAAI,CAAC,KAAK,OAAO,QACf,MAAM,IAAI,MACR,qHACD;EAIH,KAAK,SAAS,MAAM,KAAK,MAAM,OAAO,OAAO,mBAA0B;;CAGzE,MAAM,QAAuB;EAC3B,IAAI,KAAK,QAAQ;GACf,MAAM,KAAK,OAAO,OAAO;GACzB,KAAK,SAAS;;;CAIlB,MAAc,kBAIX;EAED,KAAK,MAAM;EAGX,IAAI,CAAC,KAAK,UAAU,KAAK,sBAAsB,KAAA,GAC7C,MAAM,KAAK,QAAQ,KAAK,kBAAkB;EAG5C,IAAI,CAAC,KAAK,UAAU,CAAC,KAAK,kBAAkB,CAAC,KAAK,qBAChD,MAAM,IAAI,MAAM,iDAAiD;EAEnE,OAAO;GACL,QAAQ,KAAK;GACb,gBAAgB,KAAK;GACrB,qBAAqB,KAAK;GAC3B;;CAGH,MAAc,oBACZ,YACA,QACA,YACe;EACf,IAAI,eAAe,KAAA,GAAW;EAC9B,aAAa;GACX;GACA,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EACF,IAAI;GACF,MAAM,KAAK,QAAQ,WAAW;GAC9B,aAAa;IAAE;IAAQ,MAAM;IAAW,QAAQ;IAAW,SAAS;IAAM,CAAC;WACpE,OAAO;GACd,aAAa;IAAE;IAAQ,MAAM;IAAW,QAAQ;IAAW,SAAS;IAAS,CAAC;GAC9E,MAAM;;;CAIV,MAAM,OAAO,SAAuD;EAClE,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,UAAU,WAAW;EACxE,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAG/D,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAInD,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GAKF,MAAM,SAAS,MAAM,eAAe,OAAO;IACzC;IACA;IACA,kBAAkB,KAAK,QAAQ,OAAO;IACtC,cAAc;IACf,CAAC;GAEF,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS,OAAO,KAAK,OAAO;IAC7B,CAAC;GAEF,OAAO;WACA,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GACF,MAAM;;;CAIV,MAAM,aAAa,SAAmE;EACpF,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,gBAAgB,WAAW;EAC9E,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAGpF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAInD,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GAEF,MAAM,SAAS,MAAM,eAAe,aAAa;IAC/C;IACA;IACA,QAAQ,QAAQ,UAAU;IAC1B,cAAc;IACd;IACD,CAAC;GAEF,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS,OAAO,KAAK,OAAO;IAC7B,CAAC;GAEF,OAAO;WACA,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GACF,MAAM;;;CAIV,MAAM,KAAK,SAAmD;EAC5D,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,QAAQ,WAAW;EACtE,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAG/D,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAInD,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GAEF,MAAM,SAAS,MAAM,eAAe,KAAK;IACvC;IACA;IACA,cAAc,QAAQ,gBAAgB;IACtC,GAAG,UAAU,cAAc,QAAQ,WAAW;IAC/C,CAAC;GAEF,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,OAAO;WACA,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GACF,MAAM;;;CAIV,MAAM,OAAO,SAA+C;EAC1D,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,UAAU,WAAW;EACxE,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAEpF,IAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,EACrC,MAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;EAGzF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAGnD,OAAO,cAAc;GACnB;GACA;GACA;GACA,MAAM,QAAQ;GACd,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,eAAe,QAAQ;GACvB,UAAU,KAAK,QAAQ,OAAO;GAC9B,gBAAgB,KAAK,QAAQ,kBAAkB,EAAE;GACjD,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,SAAS,SAAmD;EAChE,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,YAAY,WAAW;EAC1E,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAEpF,IAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,EACrC,MAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;EAGzF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAGnD,OAAO,gBAAgB;GACrB;GACA;GACA;GACA,MAAM,QAAQ;GACd,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,eAAe,QAAQ;GACvB,UAAU,KAAK,QAAQ,OAAO;GAC9B,gBAAgB,KAAK,QAAQ,kBAAkB,EAAE;GACjD,GAAG,UAAU,kBAAkB,QAAQ,eAAe;GACtD,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,SAAS,SAA0D;EACvE,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,YAAY,WAAW;EAC1E,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAEpF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAGnD,OAAO,gBAAgB;GACrB;GACA;GACA;GACA,eAAe,QAAQ;GACvB,UAAU,KAAK,QAAQ,OAAO;GAC9B,gBAAgB,KAAK,QAAQ,kBAAkB,EAAE;GACjD;GACA,MAAM,QAAQ,SAAS,WAAW;GAClC,YAAY,QAAQ;GACpB,YAAY,QAAQ;GACpB,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,aAAmD;EACvD,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAK/D,OAAO,eAAe,WAAW;GAAE;GAAQ,OAAO;GAAc,CAAC;;CAGnE,MAAM,iBAAqE;EACzE,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAC/D,OAAO,eAAe,eAAe,EAAE,QAAQ,CAAC;;CAGlD,MAAM,eAAe,SAA+D;EAClF,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,kBAAkB,WAAW;EAChF,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAEpF,IAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,EACrC,MAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;EAGzF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAGnD,OAAO,sBAAsB;GAC3B;GACA;GACA;GACA,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,eAAe,QAAQ;GACvB,gBAAgB,KAAK,QAAQ,kBAAkB,EAAE;GACjD,UAAU,KAAK,QAAQ,OAAO;GAC9B,sBAAsB,QAAQ;GAC9B,GAAG,UAAU,WAAW,QAAQ,QAAQ;GACxC,GAAG,UAAU,iBAAiB,QAAQ,cAAc;GACpD,GAAG,UAAU,WAAW,QAAQ,QAAQ;GACxC,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,WAAW,SAA+C;EAC9D,MAAM,aAAa,SAAS;EAC5B,MAAM,KAAK,oBAAoB,SAAS,YAAY,cAAc,WAAW;EAC7E,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAG/C,SAAS;EAIzB,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GACF,MAAM,SAAS,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;GAE1D,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,OAAO;WACA,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GACF,MAAM;;;CAIV,aAAa,UAA+C;EAC1D,KAAK,MAAM;EACX,IAAI,KAAK,kBAAkB,cAAc,KAAK,eAAe,EAC3D,OAAO,KAAK,eAAe,aAAa,SAAS;;CAKrD,iBAAiB,UAA+C;EAC9D,KAAK,MAAM;EACX,IAAI,KAAK,kBAAkB,oBAAoB,KAAK,eAAe,EACjE,OAAO,KAAK,eAAe,iBAAiB,SAAS;;CAKzD,mBAAmB,YAA6E;EAC9F,KAAK,MAAM;EACX,IAAI,KAAK,kBAAkB,oBAAoB,KAAK,eAAe,EACjE,OAAO,KAAK,eAAe,mBAAmB,WAAW;;CAK7D,MAAM,KAAK,SAA2C;EACpD,MAAM,EAAE,YAAY,mBAAmB;EAIvC,KAAK,MAAM;EAEX,IAAI,CAAC,KAAK,gBACR,MAAM,IAAI,MAAM,sDAAsD;EAGxE,IAAI;EACJ,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;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;IAC/B,gBAAgB,eAAe,OAAO,UAAU,EAAE;IACnD;GACD,MAAM,iBAAiB,MAAM,eAAe,OAAO,KAAK,cAAc;GACtE,IAAI,CAAC,eAAe,IAAI;IACtB,aAAa;KACX,QAAQ;KACR,MAAM;KACN,QAAQ;KACR,SAAS;KACV,CAAC;IAEF,OAAO,MAAM;KACX,MAAM;KACN,SAAS,eAAe,QAAQ;KAChC,KAAK,eAAe,QAAQ;KAC5B,MAAM,eAAe,QAAQ;KAC7B,aAAa,eAAe;KAC7B,CAAC;;GAEJ,cAAc,eAAe;GAE7B,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;WACK,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;GACtE,OAAO,MAAM;IACX,MAAM;IACN,SAAS;IACT,KAAK;IACL,aAAa;KACX,SAAS;KACT,aAAa,CACX;MACE,MAAM;MACN;MACD,CACF;KACF;IACD,MAAM,KAAA;IACP,CAAC;;EAIJ,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GACF,MAAM,aAAa,eAAe,aAAyB,KAAK,uBAAuB,EAAE,CAAC;GAE1F,IAAI;IACF,KAAK,eAAe,iBAAiB,WAAW;YACzC,OAAO;IACd,aAAa;KACX,QAAQ;KACR,MAAM;KACN,QAAQ;KACR,SAAS;KACV,CAAC;IAEF,OAAO,MAAM;KACX,MAAM;KACN,SAAS;KACT,KAJc,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;KAKpE,MAAM,KAAA;KACP,CAAC;;GAGJ,MAAM,SAAS,MAAMC,KACnB,YACA,KAAK,OACL,KAAK,QAAQ,OAAO,SACrB;GAED,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,OAAO,GAAG;IACR,aAAa,OAAO;IACpB,GAAG,UAAU,iBAAiB,OAAO,cAAc;IACnD,aAAa,OAAO;IACpB,cAAc,OAAO;IACrB,aAAa,OAAO;IACrB,CAAC;WACK,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,OAAO,MAAM;IACX,MAAM;IACN,SAAS;IACT,KAAK,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;IAC3D,MAAM,KAAA;IACP,CAAC"}

package/dist/{result-handler-Ba3zWQsI.mjs → command-helpers-BeZHkxV8.mjs}

@@ -1,15 +1,16 @@
-import { a as createColorFormatter, i as formatErrorOutput, o as formatDim, r as formatErrorJson } from "./terminal-ui-C3ZLwQxK.mjs";
-import { relative, resolve } from "pathe";
+import { t as __exportAll } from "./rolldown-runtime-twds-ZHy.mjs";
+import { n as formatDim, t as createColorFormatter } from "./helpers-eqdN8tH6.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
-import { hasMigrations } from "@prisma-next/framework-components/control";
+import { relative, resolve } from "pathe";
 import { readFile } from "node:fs/promises";
-import { reconstructGraph } from "@prisma-next/migration-tools/dag";
+import { hasMigrations } from "@prisma-next/framework-components/control";
 import { readMigrationsDir } from "@prisma-next/migration-tools/io";
+import { reconstructGraph } from "@prisma-next/migration-tools/migration-graph";
+import { APP_SPACE_ID as APP_SPACE_ID$1, spaceMigrationDirectory } from "@prisma-next/migration-tools/spaces";
 import { blue, bold, cyan, dim, green, magenta } from "colorette";
 import wrapAnsi from "wrap-ansi";
 import stringWidth from "string-width";
 import stripAnsi from "strip-ansi";
-
 //#region src/utils/formatters/styled.ts
 /**
 * Fixed width for left column in help output.
@@ -139,7 +140,6 @@ function formatStyledHeader(options) {
 function formatSuccessMessage(flags) {
 	return `${createColorFormatter(flags.color !== false, green)("✔")} Success`;
 }
-
 //#endregion
 //#region src/utils/formatters/help.ts
 /**
@@ -408,7 +408,6 @@ function formatRootHelp(options) {
 	lines.push(formatDimText("└"));
 	return `${lines.join("\n")}\n`;
 }
-
 //#endregion
 //#region src/utils/global-flags.ts
 /**
@@ -433,9 +432,26 @@ function parseGlobalFlags(options) {
 	if (options.yes || options.y) flags.yes = true;
 	return flags;
 }
-
 //#endregion
 //#region src/utils/command-helpers.ts
+var command_helpers_exports = /* @__PURE__ */ __exportAll({
+	addGlobalOptions: () => addGlobalOptions,
+	collectDeclaredInvariants: () => collectDeclaredInvariants,
+	getCommandExamples: () => getCommandExamples,
+	getLongDescription: () => getLongDescription,
+	getTargetMigrations: () => getTargetMigrations,
+	loadMigrationPackages: () => loadMigrationPackages,
+	maskConnectionUrl: () => maskConnectionUrl,
+	readContractEnvelope: () => readContractEnvelope,
+	resolveContractPath: () => resolveContractPath,
+	resolveMigrationPaths: () => resolveMigrationPaths,
+	sanitizeErrorMessage: () => sanitizeErrorMessage,
+	setCommandDescriptions: () => setCommandDescriptions,
+	setCommandExamples: () => setCommandExamples,
+	targetSupportsMigrations: () => targetSupportsMigrations,
+	toPathDecisionResult: () => toPathDecisionResult,
+	toStructuralEdge: () => toStructuralEdge
+});
 const longDescriptions = /* @__PURE__ */ new WeakMap();
 const commandExamples = /* @__PURE__ */ new WeakMap();
 /**
@@ -477,15 +493,49 @@ function resolveContractPath(config) {
 /**
 * Resolves the migrations directory and config path from CLI options.
 * Shared by migration-apply, migration-plan, and migration-status.
+*
+* - `migrationsDir` is the project's top-level `migrations/` directory
+*   (the root that the aggregate loader walks for every contract space).
+* - `appMigrationsDir` is the app subspace directory under it
+*   (`<migrationsDir>/<APP_SPACE_ID>/`). Every per-app reader / writer
+*   (`migration new`, `migration plan`, `migration apply`,
+*   `migration status`, `migration show`, `migration ref`) operates on
+*   this directory. Extensions own their own `migrations/<spaceId>/`.
+* - `refsDir` is the app's refs directory (`<appMigrationsDir>/refs/`).
+*   The framework does not maintain refs at the migrations root.
 */
 function resolveMigrationPaths(configOption, config) {
 	const configPath = configOption ? relative(process.cwd(), resolve(configOption)) : "prisma-next.config.ts";
 	const migrationsDir = resolve(configOption ? resolve(configOption, "..") : process.cwd(), config.migrations?.dir ?? "migrations");
+	const migrationsRelative = relative(process.cwd(), migrationsDir);
+	const appMigrationsDir = spaceMigrationDirectory(migrationsDir, APP_SPACE_ID$1);
 	return {
 		configPath,
 		migrationsDir,
-		migrationsRelative: relative(process.cwd(), migrationsDir),
-		refsDir: resolve(migrationsDir, "refs")
+		migrationsRelative,
+		appMigrationsDir,
+		appMigrationsRelative: relative(process.cwd(), appMigrationsDir),
+		refsDir: resolve(appMigrationsDir, "refs")
+	};
+}
+function collectDeclaredInvariants(graph) {
+	const declared = /* @__PURE__ */ new Set();
+	for (const edges of graph.forwardChain.values()) for (const edge of edges) for (const inv of edge.invariants) declared.add(inv);
+	return declared;
+}
+/**
+* Maps a `MigrationEdge` to the structural-edge shape used in the
+* `MIGRATION.NO_INVARIANT_PATH` error envelope. Shared between
+* `migration apply` and `migration status` so both commands surface
+* the same JSON wire shape when an invariant-aware route is unsatisfiable.
+*/
+function toStructuralEdge(edge) {
+	return {
+		dirName: edge.dirName,
+		migrationHash: edge.migrationHash,
+		from: edge.from,
+		to: edge.to,
+		invariants: edge.invariants
 	};
 }
 /**
@@ -497,12 +547,15 @@ function toPathDecisionResult(decision) {
 		toHash: decision.toHash,
 		alternativeCount: decision.alternativeCount,
 		tieBreakReasons: decision.tieBreakReasons,
+		requiredInvariants: decision.requiredInvariants ?? [],
+		satisfiedInvariants: decision.satisfiedInvariants ?? [],
 		...ifDefined("refName", decision.refName),
 		selectedPath: decision.selectedPath.map((entry) => ({
 			dirName: entry.dirName,
-			migrationId: entry.migrationId,
+			migrationHash: entry.migrationHash,
 			from: entry.from,
-			to: entry.to
+			to: entry.to,
+			invariants: entry.invariants
 		}))
 	};
 }
@@ -514,12 +567,12 @@ function getTargetMigrations(target) {
 }
 /**
 * Reads the migrations directory and builds the migration graph from all
-* bundles. Throws on I/O or graph errors — callers handle error mapping.
+* packages. Throws on I/O or graph errors — callers handle error mapping.
 *
-* Every on-disk bundle is content-addressed (`migrationId` is always a
+* Every on-disk package is content-addressed (`migrationHash` is always a
 * string); there is no draft state to filter out.
 */
-async function loadMigrationBundles(migrationsDir) {
+async function loadMigrationPackages(migrationsDir) {
 	const bundles = await readMigrationsDir(migrationsDir);
 	return {
 		bundles,
@@ -527,14 +580,6 @@ async function loadMigrationBundles(migrationsDir) {
 	};
 }
 /**
-* Alias of `loadMigrationBundles` retained for naming-clarity in commands
-* that previously needed both attested and draft splits. With the
-* collapse of the draft state, both helpers do the same thing.
-*/
-async function loadAllBundles(migrationsDir) {
-	return loadMigrationBundles(migrationsDir);
-}
-/**
 * Reads and parses contract.json, validating the framework-level envelope
 * fields (storageHash, schemaVersion, target, targetFamily).
 *
@@ -607,29 +652,7 @@ function addGlobalOptions(command) {
 		});
 	} }).option("--json", "Output as JSON").option("-q, --quiet", "Quiet mode: errors only").option("-v, --verbose", "Verbose output: debug info, timings").option("--trace", "Trace output: deep internals, stack traces").option("--color", "Force color output").option("--no-color", "Disable color output").option("--interactive", "Force interactive mode").option("--no-interactive", "Disable interactive prompts").option("-y, --yes", "Auto-accept prompts");
 }
-
 //#endregion
-//#region src/utils/result-handler.ts
-/**
-* Processes a CLI command result, handling both success and error cases.
-* Formats output appropriately and returns the exit code.
-* Never throws - returns exit code for commands to use with process.exit().
-*
-* Error output:
-* - JSON mode: JSON error to stdout (piped) via ui.output(), human sees nothing on stderr.
-* - Interactive: human-readable error to stderr.
-*/
-function handleResult(result, flags, ui, onSuccess) {
-	if (result.ok) {
-		if (onSuccess) onSuccess(result.value);
-		return 0;
-	}
-	const envelope = result.failure.toEnvelope();
-	if (flags.json) ui.output(formatErrorJson(envelope));
-	else ui.error(formatErrorOutput(envelope, flags));
-	return result.failure.domain === "CLI" ? 2 : 1;
-}
+export { formatCommandHelp as _, loadMigrationPackages as a, formatSuccessMessage as b, resolveContractPath as c, setCommandDescriptions as d, setCommandExamples as f, parseGlobalFlags as g, toStructuralEdge as h, getTargetMigrations as i, resolveMigrationPaths as l, toPathDecisionResult as m, collectDeclaredInvariants as n, maskConnectionUrl as o, targetSupportsMigrations as p, command_helpers_exports as r, readContractEnvelope as s, addGlobalOptions as t, sanitizeErrorMessage as u, formatRootHelp as v, formatStyledHeader as y };
 
-//#endregion
-export { formatStyledHeader as _, maskConnectionUrl as a, resolveMigrationPaths as c, setCommandExamples as d, targetSupportsMigrations as f, formatRootHelp as g, formatCommandHelp as h, loadAllBundles as i, sanitizeErrorMessage as l, parseGlobalFlags as m, addGlobalOptions as n, readContractEnvelope as o, toPathDecisionResult as p, getTargetMigrations as r, resolveContractPath as s, handleResult as t, setCommandDescriptions as u, formatSuccessMessage as v };
-//# sourceMappingURL=result-handler-Ba3zWQsI.mjs.map
+//# sourceMappingURL=command-helpers-BeZHkxV8.mjs.map