@prisma-next/cli 0.10.0 → 0.11.0

package/src/utils/telemetry.ts

@@ -0,0 +1,141 @@
+import { fileURLToPath } from 'node:url';
+import {
+  type CommanderOptionShape,
+  type CommanderResultShape,
+  readUserConfig,
+  resolveGating,
+  runTelemetry,
+  type TelemetryRunOutcome,
+  type UserConfig,
+} from '@prisma-next/cli-telemetry';
+import { ifDefined } from '@prisma-next/utils/defined';
+import type { Command } from 'commander';
+import { version as CLI_VERSION } from '../../package.json' with { type: 'json' };
+import { isCI } from './is-ci';
+
+type TelemetryGate =
+  | { readonly enabled: true; readonly userConfig: UserConfig }
+  | { readonly enabled: false; readonly outcome: TelemetryRunOutcome };
+
+/**
+ * Resolve the commander command path from a leaf `Command`, walking up
+ * the parent chain. Result is rooted at the program name and ends at
+ * the leaf — `['prisma-next', 'migration', 'new']` for
+ * `prisma-next migration new …`.
+ */
+function commandPathFor(actionCommand: Command): string[] {
+  const path: string[] = [];
+  let cursor: Command | null = actionCommand;
+  while (cursor !== null) {
+    path.unshift(cursor.name());
+    cursor = cursor.parent;
+  }
+  return path;
+}
+
+function commanderOptionSnapshots(actionCommand: Command): CommanderOptionShape[] {
+  return actionCommand.options.map((option) => {
+    const attributeName = option.attributeName();
+    return {
+      attributeName,
+      longName: option.long ?? null,
+      source: actionCommand.getOptionValueSource(attributeName) ?? null,
+    };
+  });
+}
+
+/**
+ * Project commander's leaf `Command` into the wire-shape snapshot the
+ * telemetry sanitiser consumes. Pure projection — no env, no I/O.
+ */
+export function commanderSnapshotForTelemetry(actionCommand: Command): CommanderResultShape {
+  return {
+    commandPath: commandPathFor(actionCommand),
+    positionalArgs: actionCommand.args,
+    options: commanderOptionSnapshots(actionCommand),
+  };
+}
+
+function resolveTelemetryGate(): TelemetryGate {
+  if (isCI()) {
+    return { enabled: false, outcome: { spawned: false, reason: 'ci' } };
+  }
+  const userConfig = readUserConfig();
+  const gating = resolveGating({ env: process.env, config: userConfig });
+  if (!gating.enabled) {
+    return { enabled: false, outcome: { spawned: false, reason: 'gated-off' } };
+  }
+  return { enabled: true, userConfig };
+}
+
+/**
+ * Path to the compiled sender script inside `@prisma-next/cli-telemetry`'s
+ * `dist/`. Resolved off this module's `import.meta.url` via the package
+ * specifier `@prisma-next/cli-telemetry/sender`, so the consumer pays
+ * no attention to internal package layout.
+ */
+function senderPath(): string {
+  return fileURLToPath(new URL(import.meta.resolve('@prisma-next/cli-telemetry/sender')));
+}
+
+function fireTelemetry(
+  actionCommand: Command,
+  userConfig: UserConfig,
+  overrides: { readonly databaseTarget?: string } = {},
+): TelemetryRunOutcome {
+  return runTelemetry({
+    command: commanderSnapshotForTelemetry(actionCommand),
+    version: CLI_VERSION,
+    projectRoot: process.cwd(),
+    senderPath: senderPath(),
+    isCI: isCI(),
+    env: process.env,
+    userConfig,
+    ...ifDefined('databaseTarget', overrides.databaseTarget),
+  });
+}
+
+/**
+ * preAction-stage entry point. Synchronous by construction: resolve
+ * env/CI/user-consent gates (cheap, all in-memory and a single tiny
+ * user-config read), then — only when enabled — `fork()` the detached
+ * sender script. The forked child loads `prisma-next.config.*` via
+ * c12 on its own (see `loadProjectConfig` in cli-telemetry); the
+ * parent does no project-config I/O on the command's hot path.
+ *
+ * Privacy invariant: gate resolution always happens before any project
+ * config touches disk. The child loading user TS code is acceptable
+ * only because it's gated behind the same resolved-enabled signal.
+ */
+export function fireTelemetryFromPreAction(actionCommand: Command): TelemetryRunOutcome {
+  const gate = resolveTelemetryGate();
+  if (!gate.enabled) {
+    return gate.outcome;
+  }
+  return fireTelemetry(actionCommand, gate.userConfig);
+}
+
+/**
+ * Manual one-shot telemetry path for the first `init` run where the user
+ * explicitly answers Yes to the consent prompt. The preAction hook for
+ * that same run has already resolved before consent existed, so it is
+ * default-off. After consent is persisted, `runInit` calls this helper
+ * exactly for that first affirmative answer; subsequent init runs skip
+ * it because the prompt is not shown again.
+ *
+ * The child's c12 load would return `databaseTarget: null` for this
+ * specific invocation because `prisma-next.config.*` is not yet on
+ * disk (init writes it later in the same run). To preserve the
+ * prompt-chosen target in the first-init telemetry event, this
+ * helper forwards the value as a parent-side IPC override on
+ * `ParentToSenderPayload.databaseTarget` — the child consults the
+ * override first and falls back to its c12 result when absent.
+ */
+export function fireTelemetryAfterInitConsent(
+  actionCommand: Command,
+  inputs: { readonly databaseTarget: string },
+): TelemetryRunOutcome {
+  return fireTelemetry(actionCommand, readUserConfig(), {
+    databaseTarget: inputs.databaseTarget,
+  });
+}

package/src/utils/terminal-ui.ts

@@ -1,5 +1,6 @@
 import * as clack from '@clack/prompts';
 import { bold, cyan, dim, green, red, yellow } from 'colorette';
+import type { GlobalFlags } from './global-flags';
 import { shutdownSignal } from './shutdown';
 
 /**
@@ -13,7 +14,7 @@ import { shutdownSignal } from './shutdown';
  * 1. All methods except `output()` and `error()` write to stderr only in interactive mode.
  * 2. `output(data)` always writes to stdout — if a command calls it, there is data to emit.
  * 3. `error()` always writes to stderr — errors matter even when piped.
- * 4. All other decoration is suppressed when piped — `isInteractive` gates every other decoration method.
+ * 4. Decoration is suppressed when piped unless `--format pretty` was explicit (`forcePretty`).
  * 5. Never write data to stderr — decoration methods are for human context only.
  * 6. Never write decoration to stdout — it breaks pipes, `$(...)` captures, and `> file` redirects.
  */
@@ -29,42 +30,54 @@ export class TerminalUI {
    */
   readonly useColor: boolean;
 
+  /**
+   * When true, decoration methods write even on non-TTY stdout
+   * (explicit `--format pretty`).
+   */
+  readonly forcePretty: boolean;
+
   private static readonly stderrOpts = { output: process.stderr } as const;
 
   constructor(options?: {
     readonly color?: boolean | undefined;
     readonly interactive?: boolean | undefined;
+    readonly forcePretty?: boolean | undefined;
   }) {
     // --interactive/--no-interactive override TTY detection
     this.isInteractive = options?.interactive ?? !!process.stdout.isTTY;
-    this.useColor = options?.color ?? this.isInteractive;
+    this.forcePretty = options?.forcePretty ?? false;
+    this.useColor = options?.color ?? (this.isInteractive || this.forcePretty);
+  }
+
+  private get shouldDecorate(): boolean {
+    return this.isInteractive || this.forcePretty;
   }
 
   // ---------------------------------------------------------------------------
-  // Decoration → stderr (only in interactive mode)
+  // Decoration → stderr (interactive mode, or explicit --format pretty)
   // ---------------------------------------------------------------------------
 
   /**
-   * Log a message line to stderr. No-op when piped.
+   * Log a message line to stderr. No-op when piped unless forcePretty.
    */
   log(message: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     clack.log.message(message, TerminalUI.stderrOpts);
   }
 
   /**
-   * Log a success message to stderr. No-op when piped.
+   * Log a success message to stderr. No-op when piped unless forcePretty.
    */
   success(message: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     clack.log.success(message, TerminalUI.stderrOpts);
   }
 
   /**
-   * Log a warning message to stderr. No-op when piped.
+   * Log a warning message to stderr. No-op when piped unless forcePretty.
    */
   warn(message: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     clack.log.warn(message, TerminalUI.stderrOpts);
   }
 
@@ -76,49 +89,49 @@ export class TerminalUI {
   }
 
   /**
-   * Log an info message to stderr. No-op when piped.
+   * Log an info message to stderr. No-op when piped unless forcePretty.
    */
   info(message: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     clack.log.info(message, TerminalUI.stderrOpts);
   }
 
   /**
-   * Log a step message to stderr. No-op when piped.
+   * Log a step message to stderr. No-op when piped unless forcePretty.
    */
   step(message: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     clack.log.step(message, TerminalUI.stderrOpts);
   }
 
   /**
-   * Display a note box on stderr. No-op when piped.
+   * Display a note box on stderr. No-op when piped unless forcePretty.
    */
   note(message: string, title?: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     clack.note(message, title, TerminalUI.stderrOpts);
   }
 
   /**
-   * Display intro banner on stderr. No-op when piped.
+   * Display intro banner on stderr. No-op when piped unless forcePretty.
    */
   intro(title?: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     clack.intro(title, TerminalUI.stderrOpts);
   }
 
   /**
-   * Display outro banner on stderr. No-op when piped.
+   * Display outro banner on stderr. No-op when piped unless forcePretty.
    */
   outro(message?: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     clack.outro(message, TerminalUI.stderrOpts);
   }
 
   /**
    * Create a Clack spinner on stderr with a 100ms delay threshold.
    * The spinner only appears if the operation takes longer than the threshold,
-   * avoiding flicker for fast operations. Returns a no-op spinner when not interactive.
+   * avoiding flicker for fast operations. Returns a no-op spinner when not decorating.
    */
   spinner(delayMs = 100): clack.SpinnerResult {
     const noop: clack.SpinnerResult = {
@@ -133,7 +146,7 @@ export class TerminalUI {
       },
     };
 
-    if (!this.isInteractive) {
+    if (!this.shouldDecorate) {
       return noop;
     }
 
@@ -229,11 +242,11 @@ export class TerminalUI {
   }
 
   /**
-   * Write a raw line to stderr. No-op when piped.
+   * Write a raw line to stderr. No-op when piped unless forcePretty.
    * Use for decoration that doesn't fit Clack's log format (e.g. styled headers).
    */
   stderr(message: string): void {
-    if (!this.isInteractive) return;
+    if (!this.shouldDecorate) return;
     process.stderr.write(`${message}\n`);
   }
 
@@ -274,3 +287,11 @@ export class TerminalUI {
     return this.useColor ? yellow(text) : text;
   }
 }
+
+export function createTerminalUI(flags: GlobalFlags): TerminalUI {
+  return new TerminalUI({
+    color: flags.color,
+    interactive: flags.interactive,
+    forcePretty: flags.format === 'pretty' && flags.explicitFormat,
+  });
+}

package/dist/cli-errors-CF60g2cG.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"cli-errors-CF60g2cG.mjs","names":[],"sources":["../src/utils/cli-errors.ts"],"sourcesContent":["/**\n * Re-export all domain error factories from @prisma-next/errors for convenience.\n * CLI-specific errors (e.g., Commander argument validation in the main CLI, or\n * clipanion parse errors in the migration-file CLI) can be added here if needed.\n */\nexport type { CliErrorConflict, CliErrorEnvelope } from '@prisma-next/errors/control';\n\nimport {\n  CliStructuredError,\n  errorConfigFileNotFound,\n  errorConfigValidation,\n  errorContractConfigMissing,\n  errorContractMissingExtensionPacks,\n  errorContractValidationFailed,\n  errorDatabaseConnectionRequired,\n  errorDriverRequired,\n  errorFamilyReadMarkerSqlRequired,\n  errorFileNotFound,\n  errorMigrationCliInvalidConfigArg,\n  errorMigrationCliUnknownFlag,\n  errorMigrationPlanningFailed,\n  errorQueryRunnerFactoryRequired,\n  errorTargetMigrationNotSupported,\n  errorUnexpected,\n} from '@prisma-next/errors/control';\nimport { errorRuntime } from '@prisma-next/errors/execution';\nimport type { MigrationToolsError } from '@prisma-next/migration-tools/errors';\nimport type { RefResolutionError } from '@prisma-next/migration-tools/ref-resolution';\n\nexport {\n  ERROR_CODE_DESTRUCTIVE_CHANGES,\n  errorDestructiveChanges,\n  errorHashMismatch,\n  errorMarkerMissing,\n  errorMarkerRequired,\n  errorRunnerFailed,\n  errorRuntime,\n  errorSchemaVerificationFailed,\n  errorTargetMismatch,\n} from '@prisma-next/errors/execution';\nexport {\n  errorMigrationFileMissing,\n  errorMigrationInvalidDefaultExport,\n  errorMigrationPlanNotArray,\n  errorUnfilledPlaceholder,\n  placeholder,\n} from '@prisma-next/errors/migration';\nexport {\n  CliStructuredError,\n  errorConfigFileNotFound,\n  errorConfigValidation,\n  errorContractConfigMissing,\n  errorContractMissingExtensionPacks,\n  errorContractValidationFailed,\n  errorDatabaseConnectionRequired,\n  errorDriverRequired,\n  errorFamilyReadMarkerSqlRequired,\n  errorFileNotFound,\n  errorMigrationCliInvalidConfigArg,\n  errorMigrationCliUnknownFlag,\n  errorMigrationPlanningFailed,\n  errorQueryRunnerFactoryRequired,\n  errorTargetMigrationNotSupported,\n  errorUnexpected,\n};\n\n/**\n * Maps a `MigrationToolsError` raised by the migration-tools loader/graph\n * surface (`readMigrationPackage`, `readMigrationsDir`, `readRefs`,\n * `resolveRef`, `reconstructGraph`, ...) into a CLI `errorRuntime` envelope.\n *\n * The full `error.details` payload is forwarded into `meta` so machine\n * consumers (`--json`) see structural fields like `dir`, `storedHash`,\n * `computedHash` (for `MIGRATION.HASH_MISMATCH`) alongside the stable\n * `code`. The user-visible `summary`/`why`/`fix` text is unchanged.\n *\n * Callers are expected to gate on `MigrationToolsError.is(error)` first\n * (mirroring the original inline pattern); non-`MigrationToolsError`\n * values are caller-classified (rethrow, wrap with command-specific\n * `errorUnexpected`, etc.).\n */\nexport function mapMigrationToolsError(error: MigrationToolsError): CliStructuredError {\n  return errorRuntime(error.message, {\n    why: error.why,\n    fix: error.fix,\n    meta: { code: error.code, ...(error.details ?? {}) },\n  });\n}\n\n/**\n * Maps a `RefResolutionError` from the contract/migration reference\n * resolver into a CLI structured error envelope.\n */\nexport function mapRefResolutionError(error: RefResolutionError): CliStructuredError {\n  switch (error.kind) {\n    case 'not-found':\n      return errorRuntime(`Not a known ${error.grammar} reference: \"${error.input}\"`, {\n        why: `No ${error.grammar} matching \"${error.input}\" exists in the migration graph or refs index.`,\n        fix:\n          error.grammar === 'contract'\n            ? 'Provide a valid contract hash, ref name, or migration directory name.'\n            : 'Provide a valid migration directory name or migration hash.',\n        meta: { input: error.input, grammar: error.grammar },\n      });\n    case 'ambiguous':\n      return errorRuntime(`Ambiguous ${error.grammar} reference: \"${error.input}\"`, {\n        why: `\"${error.input}\" matches multiple ${error.grammar}s: ${error.candidates.join(', ')}`,\n        fix: 'Provide a longer prefix or use the full hash to disambiguate.',\n        meta: { input: error.input, candidates: error.candidates, grammar: error.grammar },\n      });\n    case 'wrong-grammar':\n      return errorRuntime(error.message, {\n        why: error.message,\n        fix: error.fix,\n        meta: { input: error.input, expectedGrammar: error.expectedGrammar },\n      });\n    case 'invalid-format':\n      return errorRuntime(`Invalid reference format: \"${error.input}\"`, {\n        why: error.reason,\n        fix: 'Provide a valid contract hash, ref name, or migration directory name.',\n        meta: { input: error.input },\n      });\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;AAiFA,SAAgB,uBAAuB,OAAgD;CACrF,OAAO,aAAa,MAAM,SAAS;EACjC,KAAK,MAAM;EACX,KAAK,MAAM;EACX,MAAM;GAAE,MAAM,MAAM;GAAM,GAAI,MAAM,WAAW,EAAE;GAAG;EACrD,CAAC;;;;;;AAOJ,SAAgB,sBAAsB,OAA+C;CACnF,QAAQ,MAAM,MAAd;EACE,KAAK,aACH,OAAO,aAAa,eAAe,MAAM,QAAQ,eAAe,MAAM,MAAM,IAAI;GAC9E,KAAK,MAAM,MAAM,QAAQ,aAAa,MAAM,MAAM;GAClD,KACE,MAAM,YAAY,aACd,0EACA;GACN,MAAM;IAAE,OAAO,MAAM;IAAO,SAAS,MAAM;IAAS;GACrD,CAAC;EACJ,KAAK,aACH,OAAO,aAAa,aAAa,MAAM,QAAQ,eAAe,MAAM,MAAM,IAAI;GAC5E,KAAK,IAAI,MAAM,MAAM,qBAAqB,MAAM,QAAQ,KAAK,MAAM,WAAW,KAAK,KAAK;GACxF,KAAK;GACL,MAAM;IAAE,OAAO,MAAM;IAAO,YAAY,MAAM;IAAY,SAAS,MAAM;IAAS;GACnF,CAAC;EACJ,KAAK,iBACH,OAAO,aAAa,MAAM,SAAS;GACjC,KAAK,MAAM;GACX,KAAK,MAAM;GACX,MAAM;IAAE,OAAO,MAAM;IAAO,iBAAiB,MAAM;IAAiB;GACrE,CAAC;EACJ,KAAK,kBACH,OAAO,aAAa,8BAA8B,MAAM,MAAM,IAAI;GAChE,KAAK,MAAM;GACX,KAAK;GACL,MAAM,EAAE,OAAO,MAAM,OAAO;GAC7B,CAAC"}

package/dist/client-Brv4qlfB.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"client-Brv4qlfB.mjs","names":["SPAN_IDS","emitContractArtifacts"],"sources":["../src/control-api/errors.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 { 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 (`migrate` — 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 `migrate`. 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 `migrate`; 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 'migrate';\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    deserializeContract: (json) => familyInstance.deserializeContract(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. Plan mode\n  // (`db init/update --dry-run`) must still be able to introspect the\n  // aggregate plan in this state — a retired extension whose marker\n  // happens to linger should not block the user from inspecting what a\n  // run would do. Apply mode tells the user to clean up the orphan\n  // before silently advancing the app's marker.\n  if (mode === 'apply') {\n    const orphanMarkerError = detectOrphanMarkers(aggregate, markerRows);\n    if (orphanMarkerError !== null) {\n      throw orphanMarkerError;\n    }\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  // `migrate` — only how each caller produces `perSpacePlans`\n  // differs (synth + graph-walk via planAggregate here; graph-walk\n  // only for migrate). Each caller produces perSpacePlans differently;\n  // this helper handles the shared apply tail.\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    deserializeContract: (json) => options.familyInstance.deserializeContract(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.verifySchema({\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 `migrate` 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 * Encodes the replay-only contract: every contract space must have an\n * authored migration graph on disk before this operation can advance it.\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    deserializeContract: (json) => familyInstance.deserializeContract(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      // Greenfield runs (no marker yet) use the canonical empty-hash\n      // sentinel so the structural path stays attached to the\n      // `MIGRATION.NO_INVARIANT_PATH` error envelope. Using an empty\n      // string here would leave the structural lookup with a hash that\n      // is never a graph node, producing an empty `structuralPath` and\n      // a less actionable diagnostic.\n      const fromHash = liveMarker?.storageHash ?? EMPTY_CONTRACT_HASH;\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: `migrate 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.deserializeContract(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.deserializeContract(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      // Introspect the live schema, then verify the contract against\n      // it. Composing the two primitives here keeps the family\n      // interface a single synchronous verifier and gives callers\n      // (and tests) explicit control over the introspected schema.\n      const schema = await familyInstance.introspect({ driver, contract });\n      const result = familyInstance.verifySchema({\n        contract,\n        schema,\n        strict: options.strict ?? false,\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.deserializeContract(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.deserializeContract(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.deserializeContract(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    return executeDbVerify({\n      driver,\n      familyInstance,\n      contract: options.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.deserializeContract(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      // Blind cast: `contractRaw` is the unverified provider\n      // payload — `enrichContract` only adds capability + extension\n      // metadata onto whatever shape it receives. The structural\n      // check happens immediately afterwards via\n      // `familyInstance.deserializeContract(enrichedIR)`, which is\n      // the seam-of-record and the only thing that may surface\n      // structural errors to the caller.\n      const enrichedIR = enrichContract(\n        contractRaw as unknown as Contract,\n        this.frameworkComponents ?? [],\n      );\n\n      try {\n        this.familyInstance.deserializeContract(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          serializeContract: (contract) =>\n            this.options.target.contractSerializer.serializeContract(contract),\n        },\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;;;;;;;;;ACiBjB,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,sBAAsB,SAAS,eAAe,oBAAoB,KAAK;EAEd,CAAC;CAC5D,IAAI,CAAC,OAAO,IACV,MAAM,OAAO;CAEf,MAAM,YAAY,OAAO;CAGzB,MAAM,aAAa,MAAM,eAAe,eAAe,EAAE,QAAQ,CAAC;CASlE,IAAI,SAAS,SAAS;EACpB,MAAM,oBAAoB,oBAAoB,WAAW,WAAW;EACpE,IAAI,sBAAsB,MACxB,MAAM;;CAIV,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;;CASJ,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;;;;;;;;;;;AC3UvB,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,sBAAsB,SAAS,QAAQ,eAAe,oBAAoB,KAAK;EAChF;;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,aAAa;GACjC,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;;;;;;;;;;;;;;;;;;;;;;;;;ACjOJ,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,sBAAsB,SAAS,eAAe,oBAAoB,KAAK;EACvE;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;GAWnC,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,sGAAsG,QAAQ,yCAAyC,QAAQ,gCAAgC,WAAW;EAC/M,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;;;;;;;;;;;;;;AC1aH,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,oBAAoB,QAAQ,SAAS;WACxD,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,oBAAoB,QAAQ,SAAS;WACxD,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,WAAW;IAAE;IAAQ;IAAU,CAAC;GACpE,MAAM,SAAS,eAAe,aAAa;IACzC;IACA;IACA,QAAQ,QAAQ,UAAU;IAC1B;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,oBAAoB,QAAQ,SAAS;WACxD,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,oBAAoB,QAAQ,SAAS;WACxD,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,oBAAoB,QAAQ,SAAS;WACxD,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,OAAO,gBAAgB;GACrB;GACA;GACA,UAAU,QAAQ;GAClB,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,oBAAoB,QAAQ,SAAS;WACxD,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;GAQF,MAAM,aAAa,eACjB,aACA,KAAK,uBAAuB,EAAE,CAC/B;GAED,IAAI;IACF,KAAK,eAAe,oBAAoB,WAAW;YAC5C,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,UACpB,EACE,oBAAoB,aAClB,KAAK,QAAQ,OAAO,mBAAmB,kBAAkB,SAAS,EACrE,CACF;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"}