@prisma-next/cli 0.3.0-dev.18 → 0.3.0-dev.19

package/dist/cli.js

@@ -7,7 +7,7 @@ import { Command as Command7 } from "commander";
 import { mkdirSync, writeFileSync } from "fs";
 import { dirname as dirname2, relative as relative2, resolve as resolve2 } from "path";
 import { errorContractConfigMissing as errorContractConfigMissing2 } from "@prisma-next/core-control-plane/errors";
-import { createControlPlaneStack } from "@prisma-next/core-control-plane/stack";
+import { notOk as notOk3, ok as ok3 } from "@prisma-next/utils/result";
 import { Command } from "commander";
 
 // src/config-loader.ts
@@ -53,8 +53,14 @@ async function loadConfig(configPath) {
   }
 }
 
-// src/utils/action.ts
-import { notOk, ok } from "@prisma-next/utils/result";
+// src/control-api/client.ts
+import { createControlPlaneStack } from "@prisma-next/core-control-plane/stack";
+import { notOk as notOk2, ok as ok2 } from "@prisma-next/utils/result";
+
+// src/utils/framework-components.ts
+import {
+  checkContractComponentRequirements
+} from "@prisma-next/contract/framework-components";
 
 // src/utils/cli-errors.ts
 import {
@@ -79,596 +85,849 @@ import {
   errorUnexpected as errorUnexpected2
 } from "@prisma-next/core-control-plane/errors";
 
-// src/utils/action.ts
-async function performAction(fn) {
-  try {
-    const value = await fn();
-    return ok(value);
-  } catch (error) {
-    if (error instanceof CliStructuredError) {
-      return notOk(error);
+// src/utils/framework-components.ts
+function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId, frameworkComponents) {
+  for (let i = 0; i < frameworkComponents.length; i++) {
+    const component = frameworkComponents[i];
+    if (typeof component !== "object" || component === null) {
+      throw errorConfigValidation("frameworkComponents[]", {
+        why: `Framework component at index ${i} must be an object`
+      });
+    }
+    const record = component;
+    if (!Object.hasOwn(record, "kind")) {
+      throw errorConfigValidation("frameworkComponents[].kind", {
+        why: `Framework component at index ${i} must have 'kind' property`
+      });
+    }
+    const kind = record["kind"];
+    if (kind !== "target" && kind !== "adapter" && kind !== "extension" && kind !== "driver") {
+      throw errorConfigValidation("frameworkComponents[].kind", {
+        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`
+      });
+    }
+    if (!Object.hasOwn(record, "familyId")) {
+      throw errorConfigValidation("frameworkComponents[].familyId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`
+      });
+    }
+    const familyId = record["familyId"];
+    if (familyId !== expectedFamilyId) {
+      throw errorConfigValidation("frameworkComponents[].familyId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`
+      });
+    }
+    if (!Object.hasOwn(record, "targetId")) {
+      throw errorConfigValidation("frameworkComponents[].targetId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`
+      });
+    }
+    const targetId = record["targetId"];
+    if (targetId !== expectedTargetId) {
+      throw errorConfigValidation("frameworkComponents[].targetId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`
+      });
     }
-    throw error;
   }
+  return frameworkComponents;
 }
 
-// src/utils/command-helpers.ts
-function setCommandDescriptions(command, shortDescription, longDescription) {
-  command.description(shortDescription);
-  if (longDescription) {
-    command._longDescription = longDescription;
+// src/control-api/operations/db-init.ts
+import { notOk, ok } from "@prisma-next/utils/result";
+async function executeDbInit(options) {
+  const { driver, familyInstance, contractIR, mode, migrations, frameworkComponents, onProgress } = options;
+  const planner = migrations.createPlanner(familyInstance);
+  const runner = migrations.createRunner(familyInstance);
+  const introspectSpanId = "introspect";
+  onProgress?.({
+    action: "dbInit",
+    kind: "spanStart",
+    spanId: introspectSpanId,
+    label: "Introspecting database schema"
+  });
+  const schemaIR = await familyInstance.introspect({ driver });
+  onProgress?.({
+    action: "dbInit",
+    kind: "spanEnd",
+    spanId: introspectSpanId,
+    outcome: "ok"
+  });
+  const policy = { allowedOperationClasses: ["additive"] };
+  const planSpanId = "plan";
+  onProgress?.({
+    action: "dbInit",
+    kind: "spanStart",
+    spanId: planSpanId,
+    label: "Planning migration"
+  });
+  const plannerResult = await planner.plan({
+    contract: contractIR,
+    schema: schemaIR,
+    policy,
+    frameworkComponents
+  });
+  if (plannerResult.kind === "failure") {
+    onProgress?.({
+      action: "dbInit",
+      kind: "spanEnd",
+      spanId: planSpanId,
+      outcome: "error"
+    });
+    return notOk({
+      code: "PLANNING_FAILED",
+      summary: "Migration planning failed due to conflicts",
+      conflicts: plannerResult.conflicts,
+      why: void 0,
+      meta: void 0
+    });
   }
-  return command;
-}
-function getLongDescription(command) {
-  return command._longDescription;
-}
-
-// src/utils/global-flags.ts
-function parseGlobalFlags(options) {
-  const flags = {};
-  if (options.json === true || options.json === "object") {
-    flags.json = "object";
-  } else if (options.json === "ndjson") {
-    flags.json = "ndjson";
+  const migrationPlan = plannerResult.plan;
+  onProgress?.({
+    action: "dbInit",
+    kind: "spanEnd",
+    spanId: planSpanId,
+    outcome: "ok"
+  });
+  const checkMarkerSpanId = "checkMarker";
+  onProgress?.({
+    action: "dbInit",
+    kind: "spanStart",
+    spanId: checkMarkerSpanId,
+    label: "Checking contract marker"
+  });
+  const existingMarker = await familyInstance.readMarker({ driver });
+  if (existingMarker) {
+    const markerMatchesDestination = existingMarker.coreHash === migrationPlan.destination.coreHash && (!migrationPlan.destination.profileHash || existingMarker.profileHash === migrationPlan.destination.profileHash);
+    if (markerMatchesDestination) {
+      onProgress?.({
+        action: "dbInit",
+        kind: "spanEnd",
+        spanId: checkMarkerSpanId,
+        outcome: "skipped"
+      });
+      const result2 = {
+        mode,
+        plan: { operations: [] },
+        ...mode === "apply" ? {
+          execution: { operationsPlanned: 0, operationsExecuted: 0 },
+          marker: {
+            coreHash: existingMarker.coreHash,
+            profileHash: existingMarker.profileHash
+          }
+        } : {},
+        summary: "Database already at target contract state"
+      };
+      return ok(result2);
+    }
+    onProgress?.({
+      action: "dbInit",
+      kind: "spanEnd",
+      spanId: checkMarkerSpanId,
+      outcome: "error"
+    });
+    return notOk({
+      code: "MARKER_ORIGIN_MISMATCH",
+      summary: "Existing contract marker does not match plan destination",
+      marker: {
+        coreHash: existingMarker.coreHash,
+        profileHash: existingMarker.profileHash
+      },
+      destination: {
+        coreHash: migrationPlan.destination.coreHash,
+        profileHash: migrationPlan.destination.profileHash
+      },
+      why: void 0,
+      conflicts: void 0,
+      meta: void 0
+    });
   }
-  if (options.quiet || options.q) {
-    flags.quiet = true;
+  onProgress?.({
+    action: "dbInit",
+    kind: "spanEnd",
+    spanId: checkMarkerSpanId,
+    outcome: "ok"
+  });
+  if (mode === "plan") {
+    const result2 = {
+      mode: "plan",
+      plan: { operations: migrationPlan.operations },
+      summary: `Planned ${migrationPlan.operations.length} operation(s)`
+    };
+    return ok(result2);
   }
-  if (options.vv || options.trace) {
-    flags.verbose = 2;
-  } else if (options.verbose || options.v) {
-    flags.verbose = 1;
-  } else {
-    flags.verbose = 0;
+  const applySpanId = "apply";
+  onProgress?.({
+    action: "dbInit",
+    kind: "spanStart",
+    spanId: applySpanId,
+    label: "Applying migration plan"
+  });
+  const callbacks = onProgress ? {
+    onOperationStart: (op) => {
+      onProgress({
+        action: "dbInit",
+        kind: "spanStart",
+        spanId: `operation:${op.id}`,
+        parentSpanId: applySpanId,
+        label: op.label
+      });
+    },
+    onOperationComplete: (op) => {
+      onProgress({
+        action: "dbInit",
+        kind: "spanEnd",
+        spanId: `operation:${op.id}`,
+        outcome: "ok"
+      });
+    }
+  } : void 0;
+  const runnerResult = await runner.execute({
+    plan: migrationPlan,
+    driver,
+    destinationContract: contractIR,
+    policy,
+    ...callbacks ? { callbacks } : {},
+    // db init plans and applies back-to-back from a fresh introspection, so per-operation
+    // pre/postchecks and the idempotency probe are usually redundant overhead. We still
+    // enforce marker/origin compatibility and a full schema verification after apply.
+    executionChecks: {
+      prechecks: false,
+      postchecks: false,
+      idempotencyChecks: false
+    },
+    frameworkComponents
+  });
+  if (!runnerResult.ok) {
+    onProgress?.({
+      action: "dbInit",
+      kind: "spanEnd",
+      spanId: applySpanId,
+      outcome: "error"
+    });
+    return notOk({
+      code: "RUNNER_FAILED",
+      summary: runnerResult.failure.summary,
+      why: runnerResult.failure.why,
+      meta: runnerResult.failure.meta,
+      conflicts: void 0
+    });
   }
-  if (options.timestamps) {
-    flags.timestamps = true;
-  }
-  if (process.env["NO_COLOR"] || flags.json) {
-    flags.color = false;
-  } else if (options["no-color"]) {
-    flags.color = false;
-  } else if (options.color !== void 0) {
-    flags.color = options.color;
-  } else {
-    flags.color = process.stdout.isTTY && !process.env["CI"];
-  }
-  return flags;
+  const execution = runnerResult.value;
+  onProgress?.({
+    action: "dbInit",
+    kind: "spanEnd",
+    spanId: applySpanId,
+    outcome: "ok"
+  });
+  const result = {
+    mode: "apply",
+    plan: { operations: migrationPlan.operations },
+    execution: {
+      operationsPlanned: execution.operationsPlanned,
+      operationsExecuted: execution.operationsExecuted
+    },
+    marker: migrationPlan.destination.profileHash ? {
+      coreHash: migrationPlan.destination.coreHash,
+      profileHash: migrationPlan.destination.profileHash
+    } : { coreHash: migrationPlan.destination.coreHash },
+    summary: `Applied ${execution.operationsExecuted} operation(s), marker written`
+  };
+  return ok(result);
 }
 
-// src/utils/output.ts
-import { relative } from "path";
-import { bgGreen, blue, bold, cyan, dim, green, magenta, red, yellow } from "colorette";
-import stringWidth from "string-width";
-import stripAnsi from "strip-ansi";
-import wrapAnsi from "wrap-ansi";
-function formatTimestamp() {
-  return (/* @__PURE__ */ new Date()).toISOString();
-}
-function createPrefix(flags) {
-  return flags.timestamps ? `[${formatTimestamp()}] ` : "";
-}
-function isVerbose(flags, level) {
-  return (flags.verbose ?? 0) >= level;
-}
-function createColorFormatter(useColor, colorFn) {
-  return useColor ? colorFn : (text) => text;
-}
-function formatDim(useColor, text) {
-  return useColor ? dim(text) : text;
-}
-function formatEmitOutput(result, flags) {
-  if (flags.quiet) {
-    return "";
-  }
-  const lines = [];
-  const prefix = createPrefix(flags);
-  const jsonPath = relative(process.cwd(), result.files.json);
-  const dtsPath = relative(process.cwd(), result.files.dts);
-  lines.push(`${prefix}\u2714 Emitted contract.json \u2192 ${jsonPath}`);
-  lines.push(`${prefix}\u2714 Emitted contract.d.ts \u2192 ${dtsPath}`);
-  lines.push(`${prefix}  coreHash: ${result.coreHash}`);
-  if (result.profileHash) {
-    lines.push(`${prefix}  profileHash: ${result.profileHash}`);
-  }
-  if (isVerbose(flags, 1)) {
-    lines.push(`${prefix}  Total time: ${result.timings.total}ms`);
-  }
-  return lines.join("\n");
-}
-function formatEmitJson(result) {
-  const output = {
-    ok: true,
-    coreHash: result.coreHash,
-    ...result.profileHash ? { profileHash: result.profileHash } : {},
-    outDir: result.outDir,
-    files: result.files,
-    timings: result.timings
-  };
-  return JSON.stringify(output, null, 2);
+// src/control-api/client.ts
+function createControlClient(options) {
+  return new ControlClientImpl(options);
 }
-function formatErrorOutput(error, flags) {
-  const lines = [];
-  const prefix = createPrefix(flags);
-  const useColor = flags.color !== false;
-  const formatRed = createColorFormatter(useColor, red);
-  const formatDimText = (text) => formatDim(useColor, text);
-  lines.push(`${prefix}${formatRed("\u2716")} ${error.summary} (${error.code})`);
-  if (error.why) {
-    lines.push(`${prefix}${formatDimText(`  Why: ${error.why}`)}`);
-  }
-  if (error.fix) {
-    lines.push(`${prefix}${formatDimText(`  Fix: ${error.fix}`)}`);
-  }
-  if (error.where?.path) {
-    const whereLine = error.where.line ? `${error.where.path}:${error.where.line}` : error.where.path;
-    lines.push(`${prefix}${formatDimText(`  Where: ${whereLine}`)}`);
+var ControlClientImpl = class {
+  options;
+  stack = null;
+  driver = null;
+  familyInstance = null;
+  frameworkComponents = null;
+  initialized = false;
+  defaultConnection;
+  constructor(options) {
+    this.options = options;
+    this.defaultConnection = options.connection;
   }
-  if (error.meta?.["conflicts"]) {
-    const conflicts = error.meta["conflicts"];
-    if (conflicts.length > 0) {
-      const maxToShow = isVerbose(flags, 1) ? conflicts.length : Math.min(3, conflicts.length);
-      const header = isVerbose(flags, 1) ? "  Conflicts:" : `  Conflicts (showing ${maxToShow} of ${conflicts.length}):`;
-      lines.push(`${prefix}${formatDimText(header)}`);
-      for (const conflict of conflicts.slice(0, maxToShow)) {
-        lines.push(`${prefix}${formatDimText(`    - [${conflict.kind}] ${conflict.summary}`)}`);
-      }
-      if (!isVerbose(flags, 1) && conflicts.length > maxToShow) {
-        lines.push(`${prefix}${formatDimText("  Re-run with -v/--verbose to see all conflicts")}`);
-      }
+  init() {
+    if (this.initialized) {
+      return;
     }
+    this.stack = createControlPlaneStack({
+      target: this.options.target,
+      adapter: this.options.adapter,
+      driver: this.options.driver,
+      extensionPacks: this.options.extensionPacks
+    });
+    this.familyInstance = this.options.family.create(this.stack);
+    const rawComponents = [
+      this.options.target,
+      this.options.adapter,
+      ...this.options.extensionPacks ?? []
+    ];
+    this.frameworkComponents = assertFrameworkComponentsCompatible(
+      this.options.family.familyId,
+      this.options.target.targetId,
+      rawComponents
+    );
+    this.initialized = true;
   }
-  if (error.meta?.["issues"]) {
-    const issues = error.meta["issues"];
-    if (issues.length > 0) {
-      const maxToShow = isVerbose(flags, 1) ? issues.length : Math.min(3, issues.length);
-      const header = isVerbose(flags, 1) ? "  Issues:" : `  Issues (showing ${maxToShow} of ${issues.length}):`;
-      lines.push(`${prefix}${formatDimText(header)}`);
-      for (const issue of issues.slice(0, maxToShow)) {
-        const kind = issue.kind ?? "issue";
-        const message = issue.message ?? "";
-        lines.push(`${prefix}${formatDimText(`    - [${kind}] ${message}`)}`);
-      }
-      if (!isVerbose(flags, 1) && issues.length > maxToShow) {
-        lines.push(`${prefix}${formatDimText("  Re-run with -v/--verbose to see all issues")}`);
-      }
+  async connect(connection) {
+    this.init();
+    if (this.driver) {
+      throw new Error("Already connected. Call close() before reconnecting.");
     }
+    const resolvedConnection = connection ?? this.defaultConnection;
+    if (resolvedConnection === void 0) {
+      throw new Error(
+        "No connection provided. Pass a connection to connect() or provide a default connection when creating the client."
+      );
+    }
+    if (!this.stack?.driver) {
+      throw new Error(
+        "Driver is not configured. Pass a driver descriptor when creating the control client to enable database operations."
+      );
+    }
+    this.driver = await this.stack?.driver.create(resolvedConnection);
   }
-  if (error.docsUrl && isVerbose(flags, 1)) {
-    lines.push(formatDimText(error.docsUrl));
-  }
-  if (isVerbose(flags, 2) && error.meta) {
-    lines.push(`${prefix}${formatDimText(`  Meta: ${JSON.stringify(error.meta, null, 2)}`)}`);
-  }
-  return lines.join("\n");
-}
-function formatErrorJson(error) {
-  return JSON.stringify(error, null, 2);
-}
-function formatVerifyOutput(result, flags) {
-  if (flags.quiet) {
-    return "";
-  }
-  const lines = [];
-  const prefix = createPrefix(flags);
-  const useColor = flags.color !== false;
-  const formatGreen = createColorFormatter(useColor, green);
-  const formatRed = createColorFormatter(useColor, red);
-  const formatDimText = (text) => formatDim(useColor, text);
-  if (result.ok) {
-    lines.push(`${prefix}${formatGreen("\u2714")} ${result.summary}`);
-    lines.push(`${prefix}${formatDimText(`  coreHash: ${result.contract.coreHash}`)}`);
-    if (result.contract.profileHash) {
-      lines.push(`${prefix}${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);
+  async close() {
+    if (this.driver) {
+      await this.driver.close();
+      this.driver = null;
     }
-  } else {
-    lines.push(`${prefix}${formatRed("\u2716")} ${result.summary} (${result.code})`);
   }
-  if (isVerbose(flags, 1)) {
-    if (result.codecCoverageSkipped) {
-      lines.push(
-        `${prefix}${formatDimText("  Codec coverage check skipped (helper returned no supported types)")}`
-      );
+  async ensureConnected() {
+    this.init();
+    if (!this.driver && this.defaultConnection !== void 0) {
+      await this.connect(this.defaultConnection);
     }
-    lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
+    if (!this.driver || !this.familyInstance || !this.frameworkComponents) {
+      throw new Error("Not connected. Call connect(connection) first.");
+    }
+    return {
+      driver: this.driver,
+      familyInstance: this.familyInstance,
+      frameworkComponents: this.frameworkComponents
+    };
   }
-  return lines.join("\n");
-}
-function formatVerifyJson(result) {
-  const output = {
-    ok: result.ok,
-    ...result.code ? { code: result.code } : {},
-    summary: result.summary,
-    contract: result.contract,
-    ...result.marker ? { marker: result.marker } : {},
-    target: result.target,
-    ...result.missingCodecs ? { missingCodecs: result.missingCodecs } : {},
-    ...result.meta ? { meta: result.meta } : {},
-    timings: result.timings
-  };
-  return JSON.stringify(output, null, 2);
-}
-function formatIntrospectJson(result) {
-  return JSON.stringify(result, null, 2);
-}
-function renderSchemaTree(node, flags, options) {
-  const { isLast, prefix, useColor, formatDimText, isRoot = false } = options;
-  const lines = [];
-  let formattedLabel = node.label;
-  if (useColor) {
-    switch (node.kind) {
-      case "root":
-        formattedLabel = bold(node.label);
-        break;
-      case "entity": {
-        const tableMatch = node.label.match(/^table\s+(.+)$/);
-        if (tableMatch?.[1]) {
-          const tableName = tableMatch[1];
-          formattedLabel = `${dim("table")} ${cyan(tableName)}`;
-        } else {
-          formattedLabel = cyan(node.label);
-        }
-        break;
-      }
-      case "collection": {
-        formattedLabel = dim(node.label);
-        break;
-      }
-      case "field": {
-        const columnMatch = node.label.match(/^([^:]+):\s*(.+)$/);
-        if (columnMatch?.[1] && columnMatch[2]) {
-          const columnName = columnMatch[1];
-          const rest = columnMatch[2];
-          const typeMatch = rest.match(/^([^\s(]+)\s*(\([^)]+\))$/);
-          if (typeMatch?.[1] && typeMatch[2]) {
-            const typeDisplay = typeMatch[1];
-            const nullability = typeMatch[2];
-            formattedLabel = `${cyan(columnName)}: ${typeDisplay} ${dim(nullability)}`;
-          } else {
-            formattedLabel = `${cyan(columnName)}: ${rest}`;
-          }
-        } else {
-          formattedLabel = node.label;
-        }
-        break;
-      }
-      case "index": {
-        const pkMatch = node.label.match(/^primary key:\s*(.+)$/);
-        if (pkMatch?.[1]) {
-          const columnNames = pkMatch[1];
-          formattedLabel = `${dim("primary key")}: ${cyan(columnNames)}`;
-        } else {
-          const uniqueMatch = node.label.match(/^unique\s+(.+)$/);
-          if (uniqueMatch?.[1]) {
-            const name = uniqueMatch[1];
-            formattedLabel = `${dim("unique")} ${cyan(name)}`;
-          } else {
-            const indexMatch = node.label.match(/^(unique\s+)?index\s+(.+)$/);
-            if (indexMatch?.[2]) {
-              const prefix2 = indexMatch[1] ? `${dim("unique")} ` : "";
-              const name = indexMatch[2];
-              formattedLabel = `${prefix2}${dim("index")} ${cyan(name)}`;
-            } else {
-              formattedLabel = dim(node.label);
-            }
-          }
-        }
-        break;
-      }
-      case "extension": {
-        const extMatch = node.label.match(/^([^\s]+)\s+(extension is enabled)$/);
-        if (extMatch?.[1] && extMatch[2]) {
-          const extName = extMatch[1];
-          const rest = extMatch[2];
-          formattedLabel = `${cyan(extName)} ${dim(rest)}`;
-        } else {
-          formattedLabel = magenta(node.label);
-        }
-        break;
+  async verify(options) {
+    const { onProgress } = options;
+    if (options.connection !== void 0) {
+      onProgress?.({
+        action: "verify",
+        kind: "spanStart",
+        spanId: "connect",
+        label: "Connecting to database..."
+      });
+      try {
+        await this.connect(options.connection);
+        onProgress?.({
+          action: "verify",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "ok"
+        });
+      } catch (error) {
+        onProgress?.({
+          action: "verify",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "error"
+        });
+        throw error;
       }
-      default:
-        formattedLabel = node.label;
-        break;
     }
-  }
-  if (isRoot) {
-    lines.push(formattedLabel);
-  } else {
-    const treeChar = isLast ? "\u2514" : "\u251C";
-    const treePrefix = `${prefix}${formatDimText(treeChar)}\u2500 `;
-    const isRootChild = prefix === "";
-    const prefixWithoutAnsi = stripAnsi(prefix);
-    const prefixHasVerticalBar = prefixWithoutAnsi.includes("\u2502");
-    if (isRootChild) {
-      lines.push(`${treePrefix}${formattedLabel}`);
-    } else if (prefixHasVerticalBar) {
-      lines.push(`${treePrefix}${formattedLabel}`);
-    } else {
-      lines.push(`${formatDimText("\u2502")} ${treePrefix}${formattedLabel}`);
+    const { driver, familyInstance } = await this.ensureConnected();
+    const contractIR = familyInstance.validateContractIR(options.contractIR);
+    onProgress?.({
+      action: "verify",
+      kind: "spanStart",
+      spanId: "verify",
+      label: "Verifying contract marker..."
+    });
+    try {
+      const result = await familyInstance.verify({
+        driver,
+        contractIR,
+        expectedTargetId: this.options.target.targetId,
+        contractPath: ""
+      });
+      onProgress?.({
+        action: "verify",
+        kind: "spanEnd",
+        spanId: "verify",
+        outcome: result.ok ? "ok" : "error"
+      });
+      return result;
+    } catch (error) {
+      onProgress?.({
+        action: "verify",
+        kind: "spanEnd",
+        spanId: "verify",
+        outcome: "error"
+      });
+      throw error;
     }
   }
-  if (node.children && node.children.length > 0) {
-    const childPrefix = isRoot ? "" : isLast ? `${prefix}   ` : `${prefix}${formatDimText("\u2502")}  `;
-    for (let i = 0; i < node.children.length; i++) {
-      const child = node.children[i];
-      if (!child) continue;
-      const isLastChild = i === node.children.length - 1;
-      const childLines = renderSchemaTree(child, flags, {
-        isLast: isLastChild,
-        prefix: childPrefix,
-        useColor,
-        formatDimText,
-        isRoot: false
+  async schemaVerify(options) {
+    const { onProgress } = options;
+    if (options.connection !== void 0) {
+      onProgress?.({
+        action: "schemaVerify",
+        kind: "spanStart",
+        spanId: "connect",
+        label: "Connecting to database..."
       });
-      lines.push(...childLines);
+      try {
+        await this.connect(options.connection);
+        onProgress?.({
+          action: "schemaVerify",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "ok"
+        });
+      } catch (error) {
+        onProgress?.({
+          action: "schemaVerify",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "error"
+        });
+        throw error;
+      }
     }
-  }
-  return lines;
-}
-function formatIntrospectOutput(result, schemaView, flags) {
-  if (flags.quiet) {
-    return "";
-  }
-  const lines = [];
-  const prefix = createPrefix(flags);
-  const useColor = flags.color !== false;
-  const formatDimText = (text) => formatDim(useColor, text);
-  if (schemaView) {
-    const treeLines = renderSchemaTree(schemaView.root, flags, {
-      isLast: true,
-      prefix: "",
-      useColor,
-      formatDimText,
-      isRoot: true
+    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();
+    const contractIR = familyInstance.validateContractIR(options.contractIR);
+    onProgress?.({
+      action: "schemaVerify",
+      kind: "spanStart",
+      spanId: "schemaVerify",
+      label: "Verifying database schema..."
     });
-    const prefixedTreeLines = treeLines.map((line) => `${prefix}${line}`);
-    lines.push(...prefixedTreeLines);
-  } else {
-    lines.push(`${prefix}\u2714 ${result.summary}`);
-    if (isVerbose(flags, 1)) {
-      lines.push(`${prefix}  Target: ${result.target.familyId}/${result.target.id}`);
-      if (result.meta?.dbUrl) {
-        lines.push(`${prefix}  Database: ${result.meta.dbUrl}`);
-      }
+    try {
+      const result = await familyInstance.schemaVerify({
+        driver,
+        contractIR,
+        strict: options.strict ?? false,
+        contractPath: "",
+        frameworkComponents
+      });
+      onProgress?.({
+        action: "schemaVerify",
+        kind: "spanEnd",
+        spanId: "schemaVerify",
+        outcome: result.ok ? "ok" : "error"
+      });
+      return result;
+    } catch (error) {
+      onProgress?.({
+        action: "schemaVerify",
+        kind: "spanEnd",
+        spanId: "schemaVerify",
+        outcome: "error"
+      });
+      throw error;
     }
   }
-  if (isVerbose(flags, 1)) {
-    lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
-  }
-  return lines.join("\n");
-}
-function renderSchemaVerificationTree(node, flags, options) {
-  const { isLast, prefix, useColor, formatDimText, isRoot = false } = options;
-  const lines = [];
-  let statusGlyph = "";
-  let statusColor = (text) => text;
-  if (useColor) {
-    switch (node.status) {
-      case "pass":
-        statusGlyph = "\u2714";
-        statusColor = green;
-        break;
-      case "warn":
-        statusGlyph = "\u26A0";
-        statusColor = (text) => useColor ? yellow(text) : text;
-        break;
-      case "fail":
-        statusGlyph = "\u2716";
-        statusColor = red;
-        break;
-    }
-  } else {
-    switch (node.status) {
-      case "pass":
-        statusGlyph = "\u2714";
-        break;
-      case "warn":
-        statusGlyph = "\u26A0";
-        break;
-      case "fail":
-        statusGlyph = "\u2716";
-        break;
+  async sign(options) {
+    const { onProgress } = options;
+    if (options.connection !== void 0) {
+      onProgress?.({
+        action: "sign",
+        kind: "spanStart",
+        spanId: "connect",
+        label: "Connecting to database..."
+      });
+      try {
+        await this.connect(options.connection);
+        onProgress?.({
+          action: "sign",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "ok"
+        });
+      } catch (error) {
+        onProgress?.({
+          action: "sign",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "error"
+        });
+        throw error;
+      }
+    }
+    const { driver, familyInstance } = await this.ensureConnected();
+    const contractIR = familyInstance.validateContractIR(options.contractIR);
+    onProgress?.({
+      action: "sign",
+      kind: "spanStart",
+      spanId: "sign",
+      label: "Signing database..."
+    });
+    try {
+      const result = await familyInstance.sign({
+        driver,
+        contractIR,
+        contractPath: options.contractPath ?? "",
+        ...options.configPath ? { configPath: options.configPath } : {}
+      });
+      onProgress?.({
+        action: "sign",
+        kind: "spanEnd",
+        spanId: "sign",
+        outcome: "ok"
+      });
+      return result;
+    } catch (error) {
+      onProgress?.({
+        action: "sign",
+        kind: "spanEnd",
+        spanId: "sign",
+        outcome: "error"
+      });
+      throw error;
     }
   }
-  let labelColor = (text) => text;
-  let formattedLabel = node.name;
-  if (useColor) {
-    switch (node.kind) {
-      case "contract":
-      case "schema":
-        labelColor = bold;
-        formattedLabel = labelColor(node.name);
-        break;
-      case "table": {
-        const tableMatch = node.name.match(/^table\s+(.+)$/);
-        if (tableMatch?.[1]) {
-          const tableName = tableMatch[1];
-          formattedLabel = `${dim("table")} ${cyan(tableName)}`;
-        } else {
-          formattedLabel = dim(node.name);
-        }
-        break;
-      }
-      case "columns":
-        labelColor = dim;
-        formattedLabel = labelColor(node.name);
-        break;
-      case "column": {
-        const columnMatch = node.name.match(/^([^:]+):\s*(.+)$/);
-        if (columnMatch?.[1] && columnMatch[2]) {
-          const columnName = columnMatch[1];
-          const rest = columnMatch[2];
-          const typeMatch = rest.match(/^([^\s→]+)\s*→\s*([^\s(]+)\s*(\([^)]+\))$/);
-          if (typeMatch?.[1] && typeMatch[2] && typeMatch[3]) {
-            const contractType = typeMatch[1];
-            const nativeType = typeMatch[2];
-            const nullability = typeMatch[3];
-            formattedLabel = `${cyan(columnName)}: ${contractType} \u2192 ${dim(nativeType)} ${dim(nullability)}`;
-          } else {
-            formattedLabel = `${cyan(columnName)}: ${rest}`;
-          }
-        } else {
-          formattedLabel = node.name;
-        }
-        break;
-      }
-      case "type":
-      case "nullability":
-        labelColor = (text) => text;
-        formattedLabel = labelColor(node.name);
-        break;
-      case "primaryKey": {
-        const pkMatch = node.name.match(/^primary key:\s*(.+)$/);
-        if (pkMatch?.[1]) {
-          const columnNames = pkMatch[1];
-          formattedLabel = `${dim("primary key")}: ${cyan(columnNames)}`;
-        } else {
-          formattedLabel = dim(node.name);
-        }
-        break;
-      }
-      case "foreignKey":
-      case "unique":
-      case "index":
-        labelColor = dim;
-        formattedLabel = labelColor(node.name);
-        break;
-      case "extension": {
-        const dbMatch = node.name.match(/^database is\s+(.+)$/);
-        if (dbMatch?.[1]) {
-          const dbName = dbMatch[1];
-          formattedLabel = `${dim("database is")} ${cyan(dbName)}`;
-        } else {
-          const extMatch = node.name.match(/^([^\s]+)\s+(extension is enabled)$/);
-          if (extMatch?.[1] && extMatch[2]) {
-            const extName = extMatch[1];
-            const rest = extMatch[2];
-            formattedLabel = `${cyan(extName)} ${dim(rest)}`;
-          } else {
-            labelColor = magenta;
-            formattedLabel = labelColor(node.name);
-          }
-        }
-        break;
+  async dbInit(options) {
+    const { onProgress } = options;
+    if (options.connection !== void 0) {
+      onProgress?.({
+        action: "dbInit",
+        kind: "spanStart",
+        spanId: "connect",
+        label: "Connecting to database..."
+      });
+      try {
+        await this.connect(options.connection);
+        onProgress?.({
+          action: "dbInit",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "ok"
+        });
+      } catch (error) {
+        onProgress?.({
+          action: "dbInit",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "error"
+        });
+        throw error;
       }
-      default:
-        formattedLabel = node.name;
-        break;
     }
-  } else {
-    formattedLabel = node.name;
-  }
-  const statusGlyphColored = statusColor(statusGlyph);
-  let nodeLabel = formattedLabel;
-  if ((node.status === "fail" || node.status === "warn") && node.message && node.message.length > 0) {
-    const messageText = formatDimText(`(${node.message})`);
-    nodeLabel = `${formattedLabel} ${messageText}`;
-  }
-  if (isRoot) {
-    lines.push(`${statusGlyphColored} ${nodeLabel}`);
-  } else {
-    const treeChar = isLast ? "\u2514" : "\u251C";
-    const treePrefix = `${prefix}${formatDimText(treeChar)}\u2500 `;
-    const isRootChild = prefix === "";
-    const prefixWithoutAnsi = stripAnsi(prefix);
-    const prefixHasVerticalBar = prefixWithoutAnsi.includes("\u2502");
-    if (isRootChild) {
-      lines.push(`${treePrefix}${statusGlyphColored} ${nodeLabel}`);
-    } else if (prefixHasVerticalBar) {
-      lines.push(`${treePrefix}${statusGlyphColored} ${nodeLabel}`);
-    } else {
-      lines.push(`${formatDimText("\u2502")} ${treePrefix}${statusGlyphColored} ${nodeLabel}`);
+    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();
+    if (!this.options.target.migrations) {
+      throw new Error(`Target "${this.options.target.targetId}" does not support migrations`);
     }
+    const contractIR = familyInstance.validateContractIR(options.contractIR);
+    return executeDbInit({
+      driver,
+      familyInstance,
+      contractIR,
+      mode: options.mode,
+      migrations: this.options.target.migrations,
+      frameworkComponents,
+      ...onProgress ? { onProgress } : {}
+    });
   }
-  if (node.children && node.children.length > 0) {
-    const childPrefix = isRoot ? "" : isLast ? `${prefix}   ` : `${prefix}${formatDimText("\u2502")}  `;
-    for (let i = 0; i < node.children.length; i++) {
-      const child = node.children[i];
-      if (!child) continue;
-      const isLastChild = i === node.children.length - 1;
-      const childLines = renderSchemaVerificationTree(child, flags, {
-        isLast: isLastChild,
-        prefix: childPrefix,
-        useColor,
-        formatDimText,
-        isRoot: false
+  async introspect(options) {
+    const onProgress = options?.onProgress;
+    if (options?.connection !== void 0) {
+      onProgress?.({
+        action: "introspect",
+        kind: "spanStart",
+        spanId: "connect",
+        label: "Connecting to database..."
       });
-      lines.push(...childLines);
+      try {
+        await this.connect(options.connection);
+        onProgress?.({
+          action: "introspect",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "ok"
+        });
+      } catch (error) {
+        onProgress?.({
+          action: "introspect",
+          kind: "spanEnd",
+          spanId: "connect",
+          outcome: "error"
+        });
+        throw error;
+      }
+    }
+    const { driver, familyInstance } = await this.ensureConnected();
+    const _schema = options?.schema;
+    void _schema;
+    onProgress?.({
+      action: "introspect",
+      kind: "spanStart",
+      spanId: "introspect",
+      label: "Introspecting database schema..."
+    });
+    try {
+      const result = await familyInstance.introspect({ driver });
+      onProgress?.({
+        action: "introspect",
+        kind: "spanEnd",
+        spanId: "introspect",
+        outcome: "ok"
+      });
+      return result;
+    } catch (error) {
+      onProgress?.({
+        action: "introspect",
+        kind: "spanEnd",
+        spanId: "introspect",
+        outcome: "error"
+      });
+      throw error;
     }
   }
-  return lines;
-}
-function formatSchemaVerifyOutput(result, flags) {
-  if (flags.quiet) {
-    return "";
-  }
-  const lines = [];
-  const prefix = createPrefix(flags);
-  const useColor = flags.color !== false;
-  const formatGreen = createColorFormatter(useColor, green);
-  const formatRed = createColorFormatter(useColor, red);
-  const formatDimText = (text) => formatDim(useColor, text);
-  const treeLines = renderSchemaVerificationTree(result.schema.root, flags, {
-    isLast: true,
-    prefix: "",
-    useColor,
-    formatDimText,
-    isRoot: true
-  });
-  const prefixedTreeLines = treeLines.map((line) => `${prefix}${line}`);
-  lines.push(...prefixedTreeLines);
-  if (isVerbose(flags, 1)) {
-    lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
-    lines.push(
-      `${prefix}${formatDimText(`  pass=${result.schema.counts.pass} warn=${result.schema.counts.warn} fail=${result.schema.counts.fail}`)}`
-    );
-  }
-  lines.push("");
-  if (result.ok) {
-    lines.push(`${prefix}${formatGreen("\u2714")} ${result.summary}`);
+  toSchemaView(schemaIR) {
+    this.init();
+    if (this.familyInstance?.toSchemaView) {
+      return this.familyInstance.toSchemaView(schemaIR);
+    }
+    return void 0;
+  }
+  async emit(options) {
+    const { onProgress, contractConfig } = options;
+    this.init();
+    if (!this.familyInstance) {
+      throw new Error("Family instance was not initialized. This is a bug.");
+    }
+    let contractRaw;
+    onProgress?.({
+      action: "emit",
+      kind: "spanStart",
+      spanId: "resolveSource",
+      label: "Resolving contract source..."
+    });
+    try {
+      switch (contractConfig.source.kind) {
+        case "loader":
+          contractRaw = await contractConfig.source.load();
+          break;
+        case "value":
+          contractRaw = contractConfig.source.value;
+          break;
+      }
+      onProgress?.({
+        action: "emit",
+        kind: "spanEnd",
+        spanId: "resolveSource",
+        outcome: "ok"
+      });
+    } catch (error) {
+      onProgress?.({
+        action: "emit",
+        kind: "spanEnd",
+        spanId: "resolveSource",
+        outcome: "error"
+      });
+      return notOk2({
+        code: "CONTRACT_SOURCE_INVALID",
+        summary: "Failed to resolve contract source",
+        why: error instanceof Error ? error.message : String(error),
+        meta: void 0
+      });
+    }
+    onProgress?.({
+      action: "emit",
+      kind: "spanStart",
+      spanId: "emit",
+      label: "Emitting contract..."
+    });
+    try {
+      const emitResult = await this.familyInstance.emitContract({ contractIR: contractRaw });
+      onProgress?.({
+        action: "emit",
+        kind: "spanEnd",
+        spanId: "emit",
+        outcome: "ok"
+      });
+      return ok2({
+        coreHash: emitResult.coreHash,
+        profileHash: emitResult.profileHash,
+        contractJson: emitResult.contractJson,
+        contractDts: emitResult.contractDts
+      });
+    } catch (error) {
+      onProgress?.({
+        action: "emit",
+        kind: "spanEnd",
+        spanId: "emit",
+        outcome: "error"
+      });
+      return notOk2({
+        code: "EMIT_FAILED",
+        summary: "Failed to emit contract",
+        why: error instanceof Error ? error.message : String(error),
+        meta: void 0
+      });
+    }
+  }
+};
+
+// src/utils/command-helpers.ts
+function setCommandDescriptions(command, shortDescription, longDescription) {
+  command.description(shortDescription);
+  if (longDescription) {
+    command._longDescription = longDescription;
+  }
+  return command;
+}
+function getLongDescription(command) {
+  return command._longDescription;
+}
+
+// src/utils/global-flags.ts
+function parseGlobalFlags(options) {
+  const flags = {};
+  if (options.json === true || options.json === "object") {
+    flags.json = "object";
+  } else if (options.json === "ndjson") {
+    flags.json = "ndjson";
+  }
+  if (options.quiet || options.q) {
+    flags.quiet = true;
+  }
+  if (options.vv || options.trace) {
+    flags.verbose = 2;
+  } else if (options.verbose || options.v) {
+    flags.verbose = 1;
   } else {
-    const codeText = result.code ? ` (${result.code})` : "";
-    lines.push(`${prefix}${formatRed("\u2716")} ${result.summary}${codeText}`);
+    flags.verbose = 0;
   }
-  return lines.join("\n");
+  if (options.timestamps) {
+    flags.timestamps = true;
+  }
+  if (process.env["NO_COLOR"] || flags.json) {
+    flags.color = false;
+  } else if (options["no-color"]) {
+    flags.color = false;
+  } else if (options.color !== void 0) {
+    flags.color = options.color;
+  } else {
+    flags.color = process.stdout.isTTY && !process.env["CI"];
+  }
+  return flags;
 }
-function formatSchemaVerifyJson(result) {
-  return JSON.stringify(result, null, 2);
+
+// src/utils/output.ts
+import { relative } from "path";
+import { bgGreen, blue, bold, cyan, dim, green, magenta, red, yellow } from "colorette";
+import stringWidth from "string-width";
+import stripAnsi from "strip-ansi";
+import wrapAnsi from "wrap-ansi";
+function formatTimestamp() {
+  return (/* @__PURE__ */ new Date()).toISOString();
 }
-function formatSignOutput(result, flags) {
+function createPrefix(flags) {
+  return flags.timestamps ? `[${formatTimestamp()}] ` : "";
+}
+function isVerbose(flags, level) {
+  return (flags.verbose ?? 0) >= level;
+}
+function createColorFormatter(useColor, colorFn) {
+  return useColor ? colorFn : (text) => text;
+}
+function formatDim(useColor, text) {
+  return useColor ? dim(text) : text;
+}
+function formatEmitOutput(result, flags) {
   if (flags.quiet) {
     return "";
   }
+  const lines = [];
+  const prefix = createPrefix(flags);
+  const jsonPath = relative(process.cwd(), result.files.json);
+  const dtsPath = relative(process.cwd(), result.files.dts);
+  lines.push(`${prefix}\u2714 Emitted contract.json \u2192 ${jsonPath}`);
+  lines.push(`${prefix}\u2714 Emitted contract.d.ts \u2192 ${dtsPath}`);
+  lines.push(`${prefix}  coreHash: ${result.coreHash}`);
+  if (result.profileHash) {
+    lines.push(`${prefix}  profileHash: ${result.profileHash}`);
+  }
+  if (isVerbose(flags, 1)) {
+    lines.push(`${prefix}  Total time: ${result.timings.total}ms`);
+  }
+  return lines.join("\n");
+}
+function formatEmitJson(result) {
+  const output = {
+    ok: true,
+    coreHash: result.coreHash,
+    ...result.profileHash ? { profileHash: result.profileHash } : {},
+    outDir: result.outDir,
+    files: result.files,
+    timings: result.timings
+  };
+  return JSON.stringify(output, null, 2);
+}
+function formatErrorOutput(error, flags) {
   const lines = [];
   const prefix = createPrefix(flags);
   const useColor = flags.color !== false;
-  const formatGreen = createColorFormatter(useColor, green);
+  const formatRed = createColorFormatter(useColor, red);
   const formatDimText = (text) => formatDim(useColor, text);
-  if (result.ok) {
-    lines.push(`${prefix}${formatGreen("\u2714")} Database signed`);
-    const previousHash = result.marker.previous?.coreHash ?? "none";
-    const currentHash = result.contract.coreHash;
-    lines.push(`${prefix}${formatDimText(`  from: ${previousHash}`)}`);
-    lines.push(`${prefix}${formatDimText(`  to:   ${currentHash}`)}`);
-    if (isVerbose(flags, 1)) {
-      if (result.contract.profileHash) {
-        lines.push(`${prefix}${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);
+  lines.push(`${prefix}${formatRed("\u2716")} ${error.summary} (${error.code})`);
+  if (error.why) {
+    lines.push(`${prefix}${formatDimText(`  Why: ${error.why}`)}`);
+  }
+  if (error.fix) {
+    lines.push(`${prefix}${formatDimText(`  Fix: ${error.fix}`)}`);
+  }
+  if (error.where?.path) {
+    const whereLine = error.where.line ? `${error.where.path}:${error.where.line}` : error.where.path;
+    lines.push(`${prefix}${formatDimText(`  Where: ${whereLine}`)}`);
+  }
+  if (error.meta?.["conflicts"]) {
+    const conflicts = error.meta["conflicts"];
+    if (conflicts.length > 0) {
+      const maxToShow = isVerbose(flags, 1) ? conflicts.length : Math.min(3, conflicts.length);
+      const header = isVerbose(flags, 1) ? "  Conflicts:" : `  Conflicts (showing ${maxToShow} of ${conflicts.length}):`;
+      lines.push(`${prefix}${formatDimText(header)}`);
+      for (const conflict of conflicts.slice(0, maxToShow)) {
+        lines.push(`${prefix}${formatDimText(`    - [${conflict.kind}] ${conflict.summary}`)}`);
       }
-      if (result.marker.previous?.profileHash) {
-        lines.push(
-          `${prefix}${formatDimText(`  previous profileHash: ${result.marker.previous.profileHash}`)}`
-        );
+      if (!isVerbose(flags, 1) && conflicts.length > maxToShow) {
+        lines.push(`${prefix}${formatDimText("  Re-run with -v/--verbose to see all conflicts")}`);
+      }
+    }
+  }
+  if (error.meta?.["issues"]) {
+    const issues = error.meta["issues"];
+    if (issues.length > 0) {
+      const maxToShow = isVerbose(flags, 1) ? issues.length : Math.min(3, issues.length);
+      const header = isVerbose(flags, 1) ? "  Issues:" : `  Issues (showing ${maxToShow} of ${issues.length}):`;
+      lines.push(`${prefix}${formatDimText(header)}`);
+      for (const issue of issues.slice(0, maxToShow)) {
+        const kind = issue.kind ?? "issue";
+        const message = issue.message ?? "";
+        lines.push(`${prefix}${formatDimText(`    - [${kind}] ${message}`)}`);
+      }
+      if (!isVerbose(flags, 1) && issues.length > maxToShow) {
+        lines.push(`${prefix}${formatDimText("  Re-run with -v/--verbose to see all issues")}`);
       }
-      lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
     }
   }
+  if (error.docsUrl && isVerbose(flags, 1)) {
+    lines.push(formatDimText(error.docsUrl));
+  }
+  if (isVerbose(flags, 2) && error.meta) {
+    lines.push(`${prefix}${formatDimText(`  Meta: ${JSON.stringify(error.meta, null, 2)}`)}`);
+  }
   return lines.join("\n");
 }
-function formatSignJson(result) {
-  return JSON.stringify(result, null, 2);
+function formatErrorJson(error) {
+  return JSON.stringify(error, null, 2);
 }
-function formatDbInitPlanOutput(result, flags) {
+function formatVerifyOutput(result, flags) {
   if (flags.quiet) {
     return "";
   }
@@ -676,210 +935,632 @@ function formatDbInitPlanOutput(result, flags) {
   const prefix = createPrefix(flags);
   const useColor = flags.color !== false;
   const formatGreen = createColorFormatter(useColor, green);
+  const formatRed = createColorFormatter(useColor, red);
   const formatDimText = (text) => formatDim(useColor, text);
-  const operationCount = result.plan?.operations.length ?? 0;
-  lines.push(`${prefix}${formatGreen("\u2714")} Planned ${operationCount} operation(s)`);
-  if (result.plan?.operations && result.plan.operations.length > 0) {
-    lines.push(`${prefix}${formatDimText("\u2502")}`);
-    for (let i = 0; i < result.plan.operations.length; i++) {
-      const op = result.plan.operations[i];
-      if (!op) continue;
-      const isLast = i === result.plan.operations.length - 1;
-      const treeChar = isLast ? "\u2514" : "\u251C";
-      const opClass = formatDimText(`[${op.operationClass}]`);
-      lines.push(`${prefix}${formatDimText(treeChar)}\u2500 ${op.label} ${opClass}`);
+  if (result.ok) {
+    lines.push(`${prefix}${formatGreen("\u2714")} ${result.summary}`);
+    lines.push(`${prefix}${formatDimText(`  coreHash: ${result.contract.coreHash}`)}`);
+    if (result.contract.profileHash) {
+      lines.push(`${prefix}${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);
     }
-  }
-  if (result.plan?.destination) {
-    lines.push(`${prefix}`);
-    lines.push(
-      `${prefix}${formatDimText(`Destination hash: ${result.plan.destination.coreHash}`)}`
-    );
+  } else {
+    lines.push(`${prefix}${formatRed("\u2716")} ${result.summary} (${result.code})`);
   }
   if (isVerbose(flags, 1)) {
-    lines.push(`${prefix}${formatDimText(`Total time: ${result.timings.total}ms`)}`);
+    if (result.codecCoverageSkipped) {
+      lines.push(
+        `${prefix}${formatDimText("  Codec coverage check skipped (helper returned no supported types)")}`
+      );
+    }
+    lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
   }
-  lines.push(`${prefix}`);
-  lines.push(`${prefix}${formatDimText("This is a dry run. No changes were applied.")}`);
-  lines.push(`${prefix}${formatDimText("Run without --plan to apply changes.")}`);
   return lines.join("\n");
 }
-function formatDbInitApplyOutput(result, flags) {
+function formatVerifyJson(result) {
+  const output = {
+    ok: result.ok,
+    ...result.code ? { code: result.code } : {},
+    summary: result.summary,
+    contract: result.contract,
+    ...result.marker ? { marker: result.marker } : {},
+    target: result.target,
+    ...result.missingCodecs ? { missingCodecs: result.missingCodecs } : {},
+    ...result.meta ? { meta: result.meta } : {},
+    timings: result.timings
+  };
+  return JSON.stringify(output, null, 2);
+}
+function formatIntrospectJson(result) {
+  return JSON.stringify(result, null, 2);
+}
+function renderSchemaTree(node, flags, options) {
+  const { isLast, prefix, useColor, formatDimText, isRoot = false } = options;
+  const lines = [];
+  let formattedLabel = node.label;
+  if (useColor) {
+    switch (node.kind) {
+      case "root":
+        formattedLabel = bold(node.label);
+        break;
+      case "entity": {
+        const tableMatch = node.label.match(/^table\s+(.+)$/);
+        if (tableMatch?.[1]) {
+          const tableName = tableMatch[1];
+          formattedLabel = `${dim("table")} ${cyan(tableName)}`;
+        } else {
+          formattedLabel = cyan(node.label);
+        }
+        break;
+      }
+      case "collection": {
+        formattedLabel = dim(node.label);
+        break;
+      }
+      case "field": {
+        const columnMatch = node.label.match(/^([^:]+):\s*(.+)$/);
+        if (columnMatch?.[1] && columnMatch[2]) {
+          const columnName = columnMatch[1];
+          const rest = columnMatch[2];
+          const typeMatch = rest.match(/^([^\s(]+)\s*(\([^)]+\))$/);
+          if (typeMatch?.[1] && typeMatch[2]) {
+            const typeDisplay = typeMatch[1];
+            const nullability = typeMatch[2];
+            formattedLabel = `${cyan(columnName)}: ${typeDisplay} ${dim(nullability)}`;
+          } else {
+            formattedLabel = `${cyan(columnName)}: ${rest}`;
+          }
+        } else {
+          formattedLabel = node.label;
+        }
+        break;
+      }
+      case "index": {
+        const pkMatch = node.label.match(/^primary key:\s*(.+)$/);
+        if (pkMatch?.[1]) {
+          const columnNames = pkMatch[1];
+          formattedLabel = `${dim("primary key")}: ${cyan(columnNames)}`;
+        } else {
+          const uniqueMatch = node.label.match(/^unique\s+(.+)$/);
+          if (uniqueMatch?.[1]) {
+            const name = uniqueMatch[1];
+            formattedLabel = `${dim("unique")} ${cyan(name)}`;
+          } else {
+            const indexMatch = node.label.match(/^(unique\s+)?index\s+(.+)$/);
+            if (indexMatch?.[2]) {
+              const prefix2 = indexMatch[1] ? `${dim("unique")} ` : "";
+              const name = indexMatch[2];
+              formattedLabel = `${prefix2}${dim("index")} ${cyan(name)}`;
+            } else {
+              formattedLabel = dim(node.label);
+            }
+          }
+        }
+        break;
+      }
+      case "extension": {
+        const extMatch = node.label.match(/^([^\s]+)\s+(extension is enabled)$/);
+        if (extMatch?.[1] && extMatch[2]) {
+          const extName = extMatch[1];
+          const rest = extMatch[2];
+          formattedLabel = `${cyan(extName)} ${dim(rest)}`;
+        } else {
+          formattedLabel = magenta(node.label);
+        }
+        break;
+      }
+      default:
+        formattedLabel = node.label;
+        break;
+    }
+  }
+  if (isRoot) {
+    lines.push(formattedLabel);
+  } else {
+    const treeChar = isLast ? "\u2514" : "\u251C";
+    const treePrefix = `${prefix}${formatDimText(treeChar)}\u2500 `;
+    const isRootChild = prefix === "";
+    const prefixWithoutAnsi = stripAnsi(prefix);
+    const prefixHasVerticalBar = prefixWithoutAnsi.includes("\u2502");
+    if (isRootChild) {
+      lines.push(`${treePrefix}${formattedLabel}`);
+    } else if (prefixHasVerticalBar) {
+      lines.push(`${treePrefix}${formattedLabel}`);
+    } else {
+      lines.push(`${formatDimText("\u2502")} ${treePrefix}${formattedLabel}`);
+    }
+  }
+  if (node.children && node.children.length > 0) {
+    const childPrefix = isRoot ? "" : isLast ? `${prefix}   ` : `${prefix}${formatDimText("\u2502")}  `;
+    for (let i = 0; i < node.children.length; i++) {
+      const child = node.children[i];
+      if (!child) continue;
+      const isLastChild = i === node.children.length - 1;
+      const childLines = renderSchemaTree(child, flags, {
+        isLast: isLastChild,
+        prefix: childPrefix,
+        useColor,
+        formatDimText,
+        isRoot: false
+      });
+      lines.push(...childLines);
+    }
+  }
+  return lines;
+}
+function formatIntrospectOutput(result, schemaView, flags) {
   if (flags.quiet) {
     return "";
   }
   const lines = [];
   const prefix = createPrefix(flags);
   const useColor = flags.color !== false;
-  const formatGreen = createColorFormatter(useColor, green);
   const formatDimText = (text) => formatDim(useColor, text);
-  if (result.ok) {
-    const executed = result.execution?.operationsExecuted ?? 0;
-    lines.push(`${prefix}${formatGreen("\u2714")} Applied ${executed} operation(s)`);
-    if (result.marker) {
-      lines.push(`${prefix}${formatDimText(`  Marker written: ${result.marker.coreHash}`)}`);
-      if (result.marker.profileHash) {
-        lines.push(`${prefix}${formatDimText(`  Profile hash: ${result.marker.profileHash}`)}`);
-      }
-    }
+  if (schemaView) {
+    const treeLines = renderSchemaTree(schemaView.root, flags, {
+      isLast: true,
+      prefix: "",
+      useColor,
+      formatDimText,
+      isRoot: true
+    });
+    const prefixedTreeLines = treeLines.map((line) => `${prefix}${line}`);
+    lines.push(...prefixedTreeLines);
+  } else {
+    lines.push(`${prefix}\u2714 ${result.summary}`);
     if (isVerbose(flags, 1)) {
-      lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
+      lines.push(`${prefix}  Target: ${result.target.familyId}/${result.target.id}`);
+      if (result.meta?.dbUrl) {
+        lines.push(`${prefix}  Database: ${result.meta.dbUrl}`);
+      }
     }
   }
-  return lines.join("\n");
-}
-function formatDbInitJson(result) {
-  return JSON.stringify(result, null, 2);
-}
-var LEFT_COLUMN_WIDTH = 20;
-var RIGHT_COLUMN_MIN_WIDTH = 40;
-var RIGHT_COLUMN_MAX_WIDTH = 90;
-function getTerminalWidth() {
-  const terminalWidth = process.stdout.columns;
-  const defaultWidth = Number.parseInt(process.env["CLI_WIDTH"] || "80", 10);
-  return terminalWidth || defaultWidth;
-}
-function calculateRightColumnWidth() {
-  const terminalWidth = getTerminalWidth();
-  const availableWidth = terminalWidth - 2 - LEFT_COLUMN_WIDTH - 2;
-  return Math.max(RIGHT_COLUMN_MIN_WIDTH, Math.min(availableWidth, RIGHT_COLUMN_MAX_WIDTH));
-}
-function createPrismaNextBadge(useColor) {
-  if (!useColor) {
-    return "prisma-next";
-  }
-  const text = " prisma-next ";
-  const body = bgGreen(bold(text));
-  const separator = "\uE0B0";
-  const tip = green(separator);
-  return `${body}${tip}`;
-}
-function createPadFunction() {
-  return (s, w) => s + " ".repeat(Math.max(0, w - s.length));
-}
-function formatHeaderLine(options) {
-  if (options.operation) {
-    return `${options.brand} ${options.operation} \u2192 ${options.intent}`;
+  if (isVerbose(flags, 1)) {
+    lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
   }
-  return `${options.brand} ${options.intent}`;
-}
-function formatReadMoreLine(options) {
-  const pad = createPadFunction();
-  const labelPadded = pad("Read more", options.maxLabelWidth);
-  const valueColored = options.useColor ? blue(options.url) : options.url;
-  return `${options.formatDimText("\u2502")} ${labelPadded}  ${valueColored}`;
-}
-function padToFixedWidth(text, width) {
-  const actualWidth = stringWidth(text);
-  const padding = Math.max(0, width - actualWidth);
-  return text + " ".repeat(padding);
-}
-function wrapTextAnsi(text, width) {
-  const wrapped = wrapAnsi(text, width, { hard: false, trim: true });
-  return wrapped.split("\n");
-}
-function formatDefaultValue(value, useColor) {
-  const valueStr = String(value);
-  const defaultText = `default: ${valueStr}`;
-  return useColor ? dim(defaultText) : defaultText;
+  return lines.join("\n");
 }
-function renderCommandTree(options) {
-  const { commands, useColor, formatDimText, hasItemsAfter, continuationPrefix } = options;
+function renderSchemaVerificationTree(node, flags, options) {
+  const { isLast, prefix, useColor, formatDimText, isRoot = false } = options;
   const lines = [];
-  if (commands.length === 0) {
-    return lines;
+  let statusGlyph = "";
+  let statusColor = (text) => text;
+  if (useColor) {
+    switch (node.status) {
+      case "pass":
+        statusGlyph = "\u2714";
+        statusColor = green;
+        break;
+      case "warn":
+        statusGlyph = "\u26A0";
+        statusColor = (text) => useColor ? yellow(text) : text;
+        break;
+      case "fail":
+        statusGlyph = "\u2716";
+        statusColor = red;
+        break;
+    }
+  } else {
+    switch (node.status) {
+      case "pass":
+        statusGlyph = "\u2714";
+        break;
+      case "warn":
+        statusGlyph = "\u26A0";
+        break;
+      case "fail":
+        statusGlyph = "\u2716";
+        break;
+    }
   }
-  for (let i = 0; i < commands.length; i++) {
-    const cmd = commands[i];
-    if (!cmd) continue;
-    const subcommands = cmd.commands.filter((subcmd) => !subcmd.name().startsWith("_"));
-    const isLastCommand = i === commands.length - 1;
-    if (subcommands.length > 0) {
-      const prefix = isLastCommand && !hasItemsAfter ? formatDimText("\u2514") : formatDimText("\u251C");
-      const treePrefix = `${prefix}\u2500 `;
-      const treePrefixWidth = stringWidth(stripAnsi(treePrefix));
-      const remainingWidth = LEFT_COLUMN_WIDTH - treePrefixWidth;
-      const commandNamePadded = padToFixedWidth(cmd.name(), remainingWidth);
-      const commandNameColored = useColor ? cyan(commandNamePadded) : commandNamePadded;
-      lines.push(`${formatDimText("\u2502")} ${treePrefix}${commandNameColored}`);
-      for (let j = 0; j < subcommands.length; j++) {
-        const subcmd = subcommands[j];
-        if (!subcmd) continue;
-        const isLastSubcommand = j === subcommands.length - 1;
-        const shortDescription = subcmd.description() || "";
-        const treeChar = isLastSubcommand ? "\u2514" : "\u251C";
-        const continuation = continuationPrefix ?? (isLastCommand && isLastSubcommand && !hasItemsAfter ? " " : formatDimText("\u2502"));
-        const continuationStr = continuation === " " ? " " : continuation;
-        const subTreePrefix = `${continuationStr}  ${formatDimText(treeChar)}\u2500 `;
-        const subTreePrefixWidth = stringWidth(stripAnsi(subTreePrefix));
-        const subRemainingWidth = LEFT_COLUMN_WIDTH - subTreePrefixWidth;
-        const subcommandNamePadded = padToFixedWidth(subcmd.name(), subRemainingWidth);
-        const subcommandNameColored = useColor ? cyan(subcommandNamePadded) : subcommandNamePadded;
-        lines.push(
-          `${formatDimText("\u2502")} ${subTreePrefix}${subcommandNameColored}  ${shortDescription}`
-        );
+  let labelColor = (text) => text;
+  let formattedLabel = node.name;
+  if (useColor) {
+    switch (node.kind) {
+      case "contract":
+      case "schema":
+        labelColor = bold;
+        formattedLabel = labelColor(node.name);
+        break;
+      case "table": {
+        const tableMatch = node.name.match(/^table\s+(.+)$/);
+        if (tableMatch?.[1]) {
+          const tableName = tableMatch[1];
+          formattedLabel = `${dim("table")} ${cyan(tableName)}`;
+        } else {
+          formattedLabel = dim(node.name);
+        }
+        break;
+      }
+      case "columns":
+        labelColor = dim;
+        formattedLabel = labelColor(node.name);
+        break;
+      case "column": {
+        const columnMatch = node.name.match(/^([^:]+):\s*(.+)$/);
+        if (columnMatch?.[1] && columnMatch[2]) {
+          const columnName = columnMatch[1];
+          const rest = columnMatch[2];
+          const typeMatch = rest.match(/^([^\s→]+)\s*→\s*([^\s(]+)\s*(\([^)]+\))$/);
+          if (typeMatch?.[1] && typeMatch[2] && typeMatch[3]) {
+            const contractType = typeMatch[1];
+            const nativeType = typeMatch[2];
+            const nullability = typeMatch[3];
+            formattedLabel = `${cyan(columnName)}: ${contractType} \u2192 ${dim(nativeType)} ${dim(nullability)}`;
+          } else {
+            formattedLabel = `${cyan(columnName)}: ${rest}`;
+          }
+        } else {
+          formattedLabel = node.name;
+        }
+        break;
+      }
+      case "type":
+      case "nullability":
+        labelColor = (text) => text;
+        formattedLabel = labelColor(node.name);
+        break;
+      case "primaryKey": {
+        const pkMatch = node.name.match(/^primary key:\s*(.+)$/);
+        if (pkMatch?.[1]) {
+          const columnNames = pkMatch[1];
+          formattedLabel = `${dim("primary key")}: ${cyan(columnNames)}`;
+        } else {
+          formattedLabel = dim(node.name);
+        }
+        break;
+      }
+      case "foreignKey":
+      case "unique":
+      case "index":
+        labelColor = dim;
+        formattedLabel = labelColor(node.name);
+        break;
+      case "extension": {
+        const dbMatch = node.name.match(/^database is\s+(.+)$/);
+        if (dbMatch?.[1]) {
+          const dbName = dbMatch[1];
+          formattedLabel = `${dim("database is")} ${cyan(dbName)}`;
+        } else {
+          const extMatch = node.name.match(/^([^\s]+)\s+(extension is enabled)$/);
+          if (extMatch?.[1] && extMatch[2]) {
+            const extName = extMatch[1];
+            const rest = extMatch[2];
+            formattedLabel = `${cyan(extName)} ${dim(rest)}`;
+          } else {
+            labelColor = magenta;
+            formattedLabel = labelColor(node.name);
+          }
+        }
+        break;
       }
+      default:
+        formattedLabel = node.name;
+        break;
+    }
+  } else {
+    formattedLabel = node.name;
+  }
+  const statusGlyphColored = statusColor(statusGlyph);
+  let nodeLabel = formattedLabel;
+  if ((node.status === "fail" || node.status === "warn") && node.message && node.message.length > 0) {
+    const messageText = formatDimText(`(${node.message})`);
+    nodeLabel = `${formattedLabel} ${messageText}`;
+  }
+  if (isRoot) {
+    lines.push(`${statusGlyphColored} ${nodeLabel}`);
+  } else {
+    const treeChar = isLast ? "\u2514" : "\u251C";
+    const treePrefix = `${prefix}${formatDimText(treeChar)}\u2500 `;
+    const isRootChild = prefix === "";
+    const prefixWithoutAnsi = stripAnsi(prefix);
+    const prefixHasVerticalBar = prefixWithoutAnsi.includes("\u2502");
+    if (isRootChild) {
+      lines.push(`${treePrefix}${statusGlyphColored} ${nodeLabel}`);
+    } else if (prefixHasVerticalBar) {
+      lines.push(`${treePrefix}${statusGlyphColored} ${nodeLabel}`);
     } else {
-      const prefix = isLastCommand && !hasItemsAfter ? formatDimText("\u2514") : formatDimText("\u251C");
-      const treePrefix = `${prefix}\u2500 `;
-      const treePrefixWidth = stringWidth(stripAnsi(treePrefix));
-      const remainingWidth = LEFT_COLUMN_WIDTH - treePrefixWidth;
-      const commandNamePadded = padToFixedWidth(cmd.name(), remainingWidth);
-      const commandNameColored = useColor ? cyan(commandNamePadded) : commandNamePadded;
-      const shortDescription = cmd.description() || "";
-      lines.push(`${formatDimText("\u2502")} ${treePrefix}${commandNameColored}  ${shortDescription}`);
+      lines.push(`${formatDimText("\u2502")} ${treePrefix}${statusGlyphColored} ${nodeLabel}`);
     }
   }
-  return lines;
-}
-function formatMultilineDescription(options) {
-  const lines = [];
-  const formatGreen = (text) => options.useColor ? green(text) : text;
-  const rightColumnWidth = calculateRightColumnWidth();
-  const totalWidth = 2 + LEFT_COLUMN_WIDTH + 2 + rightColumnWidth;
-  const wrapWidth = totalWidth - 2;
-  for (const descLine of options.descriptionLines) {
-    const formattedLine = descLine.replace(/Prisma Next/g, (match) => formatGreen(match));
-    const wrappedLines = wrapTextAnsi(formattedLine, wrapWidth);
-    for (const wrappedLine of wrappedLines) {
-      lines.push(`${options.formatDimText("\u2502")} ${wrappedLine}`);
+  if (node.children && node.children.length > 0) {
+    const childPrefix = isRoot ? "" : isLast ? `${prefix}   ` : `${prefix}${formatDimText("\u2502")}  `;
+    for (let i = 0; i < node.children.length; i++) {
+      const child = node.children[i];
+      if (!child) continue;
+      const isLastChild = i === node.children.length - 1;
+      const childLines = renderSchemaVerificationTree(child, flags, {
+        isLast: isLastChild,
+        prefix: childPrefix,
+        useColor,
+        formatDimText,
+        isRoot: false
+      });
+      lines.push(...childLines);
     }
   }
   return lines;
 }
-function formatStyledHeader(options) {
+function formatSchemaVerifyOutput(result, flags) {
+  if (flags.quiet) {
+    return "";
+  }
   const lines = [];
-  const useColor = options.flags.color !== false;
+  const prefix = createPrefix(flags);
+  const useColor = flags.color !== false;
+  const formatGreen = createColorFormatter(useColor, green);
+  const formatRed = createColorFormatter(useColor, red);
   const formatDimText = (text) => formatDim(useColor, text);
-  const brand = createPrismaNextBadge(useColor);
-  const operation = useColor ? bold(options.command) : options.command;
-  const intent = formatDimText(options.description);
-  lines.push(formatHeaderLine({ brand, operation, intent }));
-  lines.push(formatDimText("\u2502"));
-  for (const detail of options.details) {
-    const labelWithColon = `${detail.label}:`;
-    const labelPadded = padToFixedWidth(labelWithColon, LEFT_COLUMN_WIDTH);
-    const labelColored = useColor ? cyan(labelPadded) : labelPadded;
-    lines.push(`${formatDimText("\u2502")} ${labelColored}  ${detail.value}`);
-  }
-  if (options.url) {
-    lines.push(formatDimText("\u2502"));
+  const treeLines = renderSchemaVerificationTree(result.schema.root, flags, {
+    isLast: true,
+    prefix: "",
+    useColor,
+    formatDimText,
+    isRoot: true
+  });
+  const prefixedTreeLines = treeLines.map((line) => `${prefix}${line}`);
+  lines.push(...prefixedTreeLines);
+  if (isVerbose(flags, 1)) {
+    lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
     lines.push(
-      formatReadMoreLine({
-        url: options.url,
-        maxLabelWidth: LEFT_COLUMN_WIDTH,
-        useColor,
-        formatDimText
-      })
+      `${prefix}${formatDimText(`  pass=${result.schema.counts.pass} warn=${result.schema.counts.warn} fail=${result.schema.counts.fail}`)}`
     );
   }
-  lines.push(formatDimText("\u2514"));
-  return `${lines.join("\n")}
-`;
+  lines.push("");
+  if (result.ok) {
+    lines.push(`${prefix}${formatGreen("\u2714")} ${result.summary}`);
+  } else {
+    const codeText = result.code ? ` (${result.code})` : "";
+    lines.push(`${prefix}${formatRed("\u2716")} ${result.summary}${codeText}`);
+  }
+  return lines.join("\n");
 }
-function formatSuccessMessage(flags) {
-  const useColor = flags.color !== false;
-  const formatGreen = createColorFormatter(useColor, green);
+function formatSchemaVerifyJson(result) {
+  return JSON.stringify(result, null, 2);
+}
+function formatSignOutput(result, flags) {
+  if (flags.quiet) {
+    return "";
+  }
+  const lines = [];
+  const prefix = createPrefix(flags);
+  const useColor = flags.color !== false;
+  const formatGreen = createColorFormatter(useColor, green);
+  const formatDimText = (text) => formatDim(useColor, text);
+  if (result.ok) {
+    lines.push(`${prefix}${formatGreen("\u2714")} Database signed`);
+    const previousHash = result.marker.previous?.coreHash ?? "none";
+    const currentHash = result.contract.coreHash;
+    lines.push(`${prefix}${formatDimText(`  from: ${previousHash}`)}`);
+    lines.push(`${prefix}${formatDimText(`  to:   ${currentHash}`)}`);
+    if (isVerbose(flags, 1)) {
+      if (result.contract.profileHash) {
+        lines.push(`${prefix}${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);
+      }
+      if (result.marker.previous?.profileHash) {
+        lines.push(
+          `${prefix}${formatDimText(`  previous profileHash: ${result.marker.previous.profileHash}`)}`
+        );
+      }
+      lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
+    }
+  }
+  return lines.join("\n");
+}
+function formatSignJson(result) {
+  return JSON.stringify(result, null, 2);
+}
+function formatDbInitPlanOutput(result, flags) {
+  if (flags.quiet) {
+    return "";
+  }
+  const lines = [];
+  const prefix = createPrefix(flags);
+  const useColor = flags.color !== false;
+  const formatGreen = createColorFormatter(useColor, green);
+  const formatDimText = (text) => formatDim(useColor, text);
+  const operationCount = result.plan?.operations.length ?? 0;
+  lines.push(`${prefix}${formatGreen("\u2714")} Planned ${operationCount} operation(s)`);
+  if (result.plan?.operations && result.plan.operations.length > 0) {
+    lines.push(`${prefix}${formatDimText("\u2502")}`);
+    for (let i = 0; i < result.plan.operations.length; i++) {
+      const op = result.plan.operations[i];
+      if (!op) continue;
+      const isLast = i === result.plan.operations.length - 1;
+      const treeChar = isLast ? "\u2514" : "\u251C";
+      const opClass = formatDimText(`[${op.operationClass}]`);
+      lines.push(`${prefix}${formatDimText(treeChar)}\u2500 ${op.label} ${opClass}`);
+    }
+  }
+  if (result.plan?.destination) {
+    lines.push(`${prefix}`);
+    lines.push(
+      `${prefix}${formatDimText(`Destination hash: ${result.plan.destination.coreHash}`)}`
+    );
+  }
+  if (isVerbose(flags, 1)) {
+    lines.push(`${prefix}${formatDimText(`Total time: ${result.timings.total}ms`)}`);
+  }
+  lines.push(`${prefix}`);
+  lines.push(`${prefix}${formatDimText("This is a dry run. No changes were applied.")}`);
+  lines.push(`${prefix}${formatDimText("Run without --plan to apply changes.")}`);
+  return lines.join("\n");
+}
+function formatDbInitApplyOutput(result, flags) {
+  if (flags.quiet) {
+    return "";
+  }
+  const lines = [];
+  const prefix = createPrefix(flags);
+  const useColor = flags.color !== false;
+  const formatGreen = createColorFormatter(useColor, green);
+  const formatDimText = (text) => formatDim(useColor, text);
+  if (result.ok) {
+    const executed = result.execution?.operationsExecuted ?? 0;
+    lines.push(`${prefix}${formatGreen("\u2714")} Applied ${executed} operation(s)`);
+    if (result.marker) {
+      lines.push(`${prefix}${formatDimText(`  Marker written: ${result.marker.coreHash}`)}`);
+      if (result.marker.profileHash) {
+        lines.push(`${prefix}${formatDimText(`  Profile hash: ${result.marker.profileHash}`)}`);
+      }
+    }
+    if (isVerbose(flags, 1)) {
+      lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
+    }
+  }
+  return lines.join("\n");
+}
+function formatDbInitJson(result) {
+  return JSON.stringify(result, null, 2);
+}
+var LEFT_COLUMN_WIDTH = 20;
+var RIGHT_COLUMN_MIN_WIDTH = 40;
+var RIGHT_COLUMN_MAX_WIDTH = 90;
+function getTerminalWidth() {
+  const terminalWidth = process.stdout.columns;
+  const defaultWidth = Number.parseInt(process.env["CLI_WIDTH"] || "80", 10);
+  return terminalWidth || defaultWidth;
+}
+function calculateRightColumnWidth() {
+  const terminalWidth = getTerminalWidth();
+  const availableWidth = terminalWidth - 2 - LEFT_COLUMN_WIDTH - 2;
+  return Math.max(RIGHT_COLUMN_MIN_WIDTH, Math.min(availableWidth, RIGHT_COLUMN_MAX_WIDTH));
+}
+function createPrismaNextBadge(useColor) {
+  if (!useColor) {
+    return "prisma-next";
+  }
+  const text = " prisma-next ";
+  const body = bgGreen(bold(text));
+  const separator = "\uE0B0";
+  const tip = green(separator);
+  return `${body}${tip}`;
+}
+function createPadFunction() {
+  return (s, w) => s + " ".repeat(Math.max(0, w - s.length));
+}
+function formatHeaderLine(options) {
+  if (options.operation) {
+    return `${options.brand} ${options.operation} \u2192 ${options.intent}`;
+  }
+  return `${options.brand} ${options.intent}`;
+}
+function formatReadMoreLine(options) {
+  const pad = createPadFunction();
+  const labelPadded = pad("Read more", options.maxLabelWidth);
+  const valueColored = options.useColor ? blue(options.url) : options.url;
+  return `${options.formatDimText("\u2502")} ${labelPadded}  ${valueColored}`;
+}
+function padToFixedWidth(text, width) {
+  const actualWidth = stringWidth(text);
+  const padding = Math.max(0, width - actualWidth);
+  return text + " ".repeat(padding);
+}
+function wrapTextAnsi(text, width) {
+  const wrapped = wrapAnsi(text, width, { hard: false, trim: true });
+  return wrapped.split("\n");
+}
+function formatDefaultValue(value, useColor) {
+  const valueStr = String(value);
+  const defaultText = `default: ${valueStr}`;
+  return useColor ? dim(defaultText) : defaultText;
+}
+function renderCommandTree(options) {
+  const { commands, useColor, formatDimText, hasItemsAfter, continuationPrefix } = options;
+  const lines = [];
+  if (commands.length === 0) {
+    return lines;
+  }
+  for (let i = 0; i < commands.length; i++) {
+    const cmd = commands[i];
+    if (!cmd) continue;
+    const subcommands = cmd.commands.filter((subcmd) => !subcmd.name().startsWith("_"));
+    const isLastCommand = i === commands.length - 1;
+    if (subcommands.length > 0) {
+      const prefix = isLastCommand && !hasItemsAfter ? formatDimText("\u2514") : formatDimText("\u251C");
+      const treePrefix = `${prefix}\u2500 `;
+      const treePrefixWidth = stringWidth(stripAnsi(treePrefix));
+      const remainingWidth = LEFT_COLUMN_WIDTH - treePrefixWidth;
+      const commandNamePadded = padToFixedWidth(cmd.name(), remainingWidth);
+      const commandNameColored = useColor ? cyan(commandNamePadded) : commandNamePadded;
+      lines.push(`${formatDimText("\u2502")} ${treePrefix}${commandNameColored}`);
+      for (let j = 0; j < subcommands.length; j++) {
+        const subcmd = subcommands[j];
+        if (!subcmd) continue;
+        const isLastSubcommand = j === subcommands.length - 1;
+        const shortDescription = subcmd.description() || "";
+        const treeChar = isLastSubcommand ? "\u2514" : "\u251C";
+        const continuation = continuationPrefix ?? (isLastCommand && isLastSubcommand && !hasItemsAfter ? " " : formatDimText("\u2502"));
+        const continuationStr = continuation === " " ? " " : continuation;
+        const subTreePrefix = `${continuationStr}  ${formatDimText(treeChar)}\u2500 `;
+        const subTreePrefixWidth = stringWidth(stripAnsi(subTreePrefix));
+        const subRemainingWidth = LEFT_COLUMN_WIDTH - subTreePrefixWidth;
+        const subcommandNamePadded = padToFixedWidth(subcmd.name(), subRemainingWidth);
+        const subcommandNameColored = useColor ? cyan(subcommandNamePadded) : subcommandNamePadded;
+        lines.push(
+          `${formatDimText("\u2502")} ${subTreePrefix}${subcommandNameColored}  ${shortDescription}`
+        );
+      }
+    } else {
+      const prefix = isLastCommand && !hasItemsAfter ? formatDimText("\u2514") : formatDimText("\u251C");
+      const treePrefix = `${prefix}\u2500 `;
+      const treePrefixWidth = stringWidth(stripAnsi(treePrefix));
+      const remainingWidth = LEFT_COLUMN_WIDTH - treePrefixWidth;
+      const commandNamePadded = padToFixedWidth(cmd.name(), remainingWidth);
+      const commandNameColored = useColor ? cyan(commandNamePadded) : commandNamePadded;
+      const shortDescription = cmd.description() || "";
+      lines.push(`${formatDimText("\u2502")} ${treePrefix}${commandNameColored}  ${shortDescription}`);
+    }
+  }
+  return lines;
+}
+function formatMultilineDescription(options) {
+  const lines = [];
+  const formatGreen = (text) => options.useColor ? green(text) : text;
+  const rightColumnWidth = calculateRightColumnWidth();
+  const totalWidth = 2 + LEFT_COLUMN_WIDTH + 2 + rightColumnWidth;
+  const wrapWidth = totalWidth - 2;
+  for (const descLine of options.descriptionLines) {
+    const formattedLine = descLine.replace(/Prisma Next/g, (match) => formatGreen(match));
+    const wrappedLines = wrapTextAnsi(formattedLine, wrapWidth);
+    for (const wrappedLine of wrappedLines) {
+      lines.push(`${options.formatDimText("\u2502")} ${wrappedLine}`);
+    }
+  }
+  return lines;
+}
+function formatStyledHeader(options) {
+  const lines = [];
+  const useColor = options.flags.color !== false;
+  const formatDimText = (text) => formatDim(useColor, text);
+  const brand = createPrismaNextBadge(useColor);
+  const operation = useColor ? bold(options.command) : options.command;
+  const intent = formatDimText(options.description);
+  lines.push(formatHeaderLine({ brand, operation, intent }));
+  lines.push(formatDimText("\u2502"));
+  for (const detail of options.details) {
+    const labelWithColon = `${detail.label}:`;
+    const labelPadded = padToFixedWidth(labelWithColon, LEFT_COLUMN_WIDTH);
+    const labelColored = useColor ? cyan(labelPadded) : labelPadded;
+    lines.push(`${formatDimText("\u2502")} ${labelColored}  ${detail.value}`);
+  }
+  if (options.url) {
+    lines.push(formatDimText("\u2502"));
+    lines.push(
+      formatReadMoreLine({
+        url: options.url,
+        maxLabelWidth: LEFT_COLUMN_WIDTH,
+        useColor,
+        formatDimText
+      })
+    );
+  }
+  lines.push(formatDimText("\u2514"));
+  return `${lines.join("\n")}
+`;
+}
+function formatSuccessMessage(flags) {
+  const useColor = flags.color !== false;
+  const formatGreen = createColorFormatter(useColor, green);
   return `${formatGreen("\u2714")} Success`;
 }
 function getCommandDocsUrl(commandPath) {
@@ -985,835 +1666,64 @@ function formatRootHelp(options) {
   lines.push(formatHeaderLine({ brand, operation: "", intent }));
   lines.push(formatDimText("\u2502"));
   const topLevelCommands = program2.commands.filter(
-    (cmd) => !cmd.name().startsWith("_") && cmd.name() !== "help"
-  );
-  const globalOptions = program2.options.map((opt) => {
-    const flags2 = opt.flags;
-    const description = opt.description || "";
-    const defaultValue = opt.defaultValue;
-    return { flags: flags2, description, defaultValue };
-  });
-  if (topLevelCommands.length > 0) {
-    const hasItemsAfter = globalOptions.length > 0;
-    const treeLines = renderCommandTree({
-      commands: topLevelCommands,
-      useColor,
-      formatDimText,
-      hasItemsAfter
-    });
-    lines.push(...treeLines);
-  }
-  if (topLevelCommands.length > 0 && globalOptions.length > 0) {
-    lines.push(formatDimText("\u2502"));
-  }
-  if (globalOptions.length > 0) {
-    for (const opt of globalOptions) {
-      const flagsPadded = padToFixedWidth(opt.flags, LEFT_COLUMN_WIDTH);
-      let flagsColored = flagsPadded;
-      if (useColor) {
-        flagsColored = flagsPadded.replace(/(<[^>]+>)/g, (match) => magenta(match));
-        flagsColored = cyan(flagsColored);
-      }
-      const rightColumnWidth = calculateRightColumnWidth();
-      const wrappedDescription = wrapTextAnsi(opt.description, rightColumnWidth);
-      lines.push(`${formatDimText("\u2502")} ${flagsColored}  ${wrappedDescription[0] || ""}`);
-      for (let i = 1; i < wrappedDescription.length; i++) {
-        const emptyLabel = " ".repeat(LEFT_COLUMN_WIDTH);
-        lines.push(`${formatDimText("\u2502")} ${emptyLabel}  ${wrappedDescription[i] || ""}`);
-      }
-      if (opt.defaultValue !== void 0) {
-        const emptyLabel = " ".repeat(LEFT_COLUMN_WIDTH);
-        const defaultText = formatDefaultValue(opt.defaultValue, useColor);
-        lines.push(`${formatDimText("\u2502")} ${emptyLabel}  ${defaultText}`);
-      }
-    }
-  }
-  const formatGreen = (text) => useColor ? green(text) : text;
-  const descriptionLines = [
-    `Use ${formatGreen("Prisma Next")} to define your data layer as a contract. Sign your database and application with the same contract to guarantee compatibility. Plan and apply migrations to safely evolve your schema.`
-  ];
-  if (descriptionLines.length > 0) {
-    lines.push(formatDimText("\u2502"));
-    lines.push(...formatMultilineDescription({ descriptionLines, useColor, formatDimText }));
-  }
-  lines.push(formatDimText("\u2514"));
-  return `${lines.join("\n")}
-`;
-}
-
-// src/utils/result-handler.ts
-function handleResult(result, flags, onSuccess) {
-  if (result.ok) {
-    if (onSuccess) {
-      onSuccess(result.value);
-    }
-    return 0;
-  }
-  const envelope = result.failure.toEnvelope();
-  if (flags.json) {
-    console.error(formatErrorJson(envelope));
-  } else {
-    console.error(formatErrorOutput(envelope, flags));
-  }
-  const exitCode = result.failure.domain === "CLI" ? 2 : 1;
-  return exitCode;
-}
-
-// src/utils/spinner.ts
-import ora from "ora";
-async function withSpinner(operation, options) {
-  const { message, flags } = options;
-  const shouldShowSpinner = !flags.quiet && flags.json !== "object" && process.stdout.isTTY;
-  if (!shouldShowSpinner) {
-    return operation();
-  }
-  const startTime = Date.now();
-  const spinner = ora({
-    text: message,
-    color: flags.color !== false ? "cyan" : false
-  }).start();
-  try {
-    const result = await operation();
-    const elapsed = Date.now() - startTime;
-    spinner.succeed(`${message} (${elapsed}ms)`);
-    return result;
-  } catch (error) {
-    spinner.fail(`${message} failed: ${error instanceof Error ? error.message : String(error)}`);
-    throw error;
-  }
-}
-
-// src/commands/contract-emit.ts
-function createContractEmitCommand() {
-  const command = new Command("emit");
-  setCommandDescriptions(
-    command,
-    "Write your contract to JSON and sign it",
-    "Reads your contract source (TypeScript or Prisma schema) and emits contract.json and\ncontract.d.ts. The contract.json contains the canonical contract structure, and\ncontract.d.ts provides TypeScript types for type-safe query building."
-  );
-  command.configureHelp({
-    formatHelp: (cmd) => {
-      const flags = parseGlobalFlags({});
-      return formatCommandHelp({ command: cmd, flags });
-    }
-  }).option("--config <path>", "Path to prisma-next.config.ts").option("--json [format]", "Output as JSON (object or ndjson)", false).option("-q, --quiet", "Quiet mode: errors only").option("-v, --verbose", "Verbose output: debug info, timings").option("-vv, --trace", "Trace output: deep internals, stack traces").option("--timestamps", "Add timestamps to output").option("--color", "Force color output").option("--no-color", "Disable color output").action(async (options) => {
-    const flags = parseGlobalFlags(options);
-    const result = await performAction(async () => {
-      const config = await loadConfig(options.config);
-      if (!config.contract) {
-        throw errorContractConfigMissing2({
-          why: "Config.contract is required for emit. Define it in your config: contract: { source: ..., output: ..., types: ... }"
-        });
-      }
-      const contractConfig = config.contract;
-      if (!contractConfig.output || !contractConfig.types) {
-        throw errorContractConfigMissing2({
-          why: "Contract config must have output and types paths. This should not happen if defineConfig() was used."
-        });
-      }
-      const outputJsonPath = resolve2(contractConfig.output);
-      const outputDtsPath = resolve2(contractConfig.types);
-      if (flags.json !== "object" && !flags.quiet) {
-        const configPath = options.config ? relative2(process.cwd(), resolve2(options.config)) : "prisma-next.config.ts";
-        const contractPath = relative2(process.cwd(), outputJsonPath);
-        const typesPath = relative2(process.cwd(), outputDtsPath);
-        const header = formatStyledHeader({
-          command: "contract emit",
-          description: "Write your contract to JSON and sign it",
-          url: "https://pris.ly/contract-emit",
-          details: [
-            { label: "config", value: configPath },
-            { label: "contract", value: contractPath },
-            { label: "types", value: typesPath }
-          ],
-          flags
-        });
-        console.log(header);
-      }
-      const stack = createControlPlaneStack({
-        target: config.target,
-        adapter: config.adapter,
-        driver: config.driver,
-        extensionPacks: config.extensionPacks
-      });
-      const familyInstance = config.family.create(stack);
-      let contractRaw;
-      if (typeof contractConfig.source === "function") {
-        contractRaw = await contractConfig.source();
-      } else {
-        contractRaw = contractConfig.source;
-      }
-      const emitResult = await withSpinner(
-        () => familyInstance.emitContract({ contractIR: contractRaw }),
-        {
-          message: "Emitting contract...",
-          flags
-        }
-      );
-      mkdirSync(dirname2(outputJsonPath), { recursive: true });
-      mkdirSync(dirname2(outputDtsPath), { recursive: true });
-      writeFileSync(outputJsonPath, emitResult.contractJson, "utf-8");
-      writeFileSync(outputDtsPath, emitResult.contractDts, "utf-8");
-      if (!flags.quiet && flags.json !== "object" && process.stdout.isTTY) {
-        console.log("");
-      }
-      return {
-        coreHash: emitResult.coreHash,
-        profileHash: emitResult.profileHash,
-        outDir: dirname2(outputJsonPath),
-        files: {
-          json: outputJsonPath,
-          dts: outputDtsPath
-        },
-        timings: {
-          total: 0
-          // Timing is handled by emitContract internally if needed
-        }
-      };
-    });
-    const exitCode = handleResult(result, flags, (emitResult) => {
-      if (flags.json === "object") {
-        console.log(formatEmitJson(emitResult));
-      } else {
-        const output = formatEmitOutput(emitResult, flags);
-        if (output) {
-          console.log(output);
-        }
-        if (!flags.quiet) {
-          console.log(formatSuccessMessage(flags));
-        }
-      }
-    });
-    process.exit(exitCode);
-  });
-  return command;
-}
-
-// src/commands/db-init.ts
-import { readFile } from "fs/promises";
-import { relative as relative3, resolve as resolve3 } from "path";
-import { notOk as notOk3, ok as ok3 } from "@prisma-next/utils/result";
-import { Command as Command2 } from "commander";
-
-// src/control-api/client.ts
-import { createControlPlaneStack as createControlPlaneStack2 } from "@prisma-next/core-control-plane/stack";
-
-// src/utils/framework-components.ts
-import {
-  checkContractComponentRequirements
-} from "@prisma-next/contract/framework-components";
-function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId, frameworkComponents) {
-  for (let i = 0; i < frameworkComponents.length; i++) {
-    const component = frameworkComponents[i];
-    if (typeof component !== "object" || component === null) {
-      throw errorConfigValidation("frameworkComponents[]", {
-        why: `Framework component at index ${i} must be an object`
-      });
-    }
-    const record = component;
-    if (!Object.hasOwn(record, "kind")) {
-      throw errorConfigValidation("frameworkComponents[].kind", {
-        why: `Framework component at index ${i} must have 'kind' property`
-      });
-    }
-    const kind = record["kind"];
-    if (kind !== "target" && kind !== "adapter" && kind !== "extension" && kind !== "driver") {
-      throw errorConfigValidation("frameworkComponents[].kind", {
-        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`
-      });
-    }
-    if (!Object.hasOwn(record, "familyId")) {
-      throw errorConfigValidation("frameworkComponents[].familyId", {
-        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`
-      });
-    }
-    const familyId = record["familyId"];
-    if (familyId !== expectedFamilyId) {
-      throw errorConfigValidation("frameworkComponents[].familyId", {
-        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`
-      });
-    }
-    if (!Object.hasOwn(record, "targetId")) {
-      throw errorConfigValidation("frameworkComponents[].targetId", {
-        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`
-      });
-    }
-    const targetId = record["targetId"];
-    if (targetId !== expectedTargetId) {
-      throw errorConfigValidation("frameworkComponents[].targetId", {
-        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`
-      });
-    }
-  }
-  return frameworkComponents;
-}
-
-// src/control-api/operations/db-init.ts
-import { notOk as notOk2, ok as ok2 } from "@prisma-next/utils/result";
-async function executeDbInit(options) {
-  const { driver, familyInstance, contractIR, mode, migrations, frameworkComponents, onProgress } = options;
-  const planner = migrations.createPlanner(familyInstance);
-  const runner = migrations.createRunner(familyInstance);
-  const introspectSpanId = "introspect";
-  onProgress?.({
-    action: "dbInit",
-    kind: "spanStart",
-    spanId: introspectSpanId,
-    label: "Introspecting database schema"
-  });
-  const schemaIR = await familyInstance.introspect({ driver });
-  onProgress?.({
-    action: "dbInit",
-    kind: "spanEnd",
-    spanId: introspectSpanId,
-    outcome: "ok"
-  });
-  const policy = { allowedOperationClasses: ["additive"] };
-  const planSpanId = "plan";
-  onProgress?.({
-    action: "dbInit",
-    kind: "spanStart",
-    spanId: planSpanId,
-    label: "Planning migration"
-  });
-  const plannerResult = await planner.plan({
-    contract: contractIR,
-    schema: schemaIR,
-    policy,
-    frameworkComponents
-  });
-  if (plannerResult.kind === "failure") {
-    onProgress?.({
-      action: "dbInit",
-      kind: "spanEnd",
-      spanId: planSpanId,
-      outcome: "error"
-    });
-    return notOk2({
-      code: "PLANNING_FAILED",
-      summary: "Migration planning failed due to conflicts",
-      conflicts: plannerResult.conflicts,
-      why: void 0,
-      meta: void 0
-    });
-  }
-  const migrationPlan = plannerResult.plan;
-  onProgress?.({
-    action: "dbInit",
-    kind: "spanEnd",
-    spanId: planSpanId,
-    outcome: "ok"
-  });
-  const checkMarkerSpanId = "checkMarker";
-  onProgress?.({
-    action: "dbInit",
-    kind: "spanStart",
-    spanId: checkMarkerSpanId,
-    label: "Checking contract marker"
-  });
-  const existingMarker = await familyInstance.readMarker({ driver });
-  if (existingMarker) {
-    const markerMatchesDestination = existingMarker.coreHash === migrationPlan.destination.coreHash && (!migrationPlan.destination.profileHash || existingMarker.profileHash === migrationPlan.destination.profileHash);
-    if (markerMatchesDestination) {
-      onProgress?.({
-        action: "dbInit",
-        kind: "spanEnd",
-        spanId: checkMarkerSpanId,
-        outcome: "skipped"
-      });
-      const result2 = {
-        mode,
-        plan: { operations: [] },
-        ...mode === "apply" ? {
-          execution: { operationsPlanned: 0, operationsExecuted: 0 },
-          marker: {
-            coreHash: existingMarker.coreHash,
-            profileHash: existingMarker.profileHash
-          }
-        } : {},
-        summary: "Database already at target contract state"
-      };
-      return ok2(result2);
-    }
-    onProgress?.({
-      action: "dbInit",
-      kind: "spanEnd",
-      spanId: checkMarkerSpanId,
-      outcome: "error"
-    });
-    return notOk2({
-      code: "MARKER_ORIGIN_MISMATCH",
-      summary: "Existing contract marker does not match plan destination",
-      marker: {
-        coreHash: existingMarker.coreHash,
-        profileHash: existingMarker.profileHash
-      },
-      destination: {
-        coreHash: migrationPlan.destination.coreHash,
-        profileHash: migrationPlan.destination.profileHash
-      },
-      why: void 0,
-      conflicts: void 0,
-      meta: void 0
-    });
-  }
-  onProgress?.({
-    action: "dbInit",
-    kind: "spanEnd",
-    spanId: checkMarkerSpanId,
-    outcome: "ok"
-  });
-  if (mode === "plan") {
-    const result2 = {
-      mode: "plan",
-      plan: { operations: migrationPlan.operations },
-      summary: `Planned ${migrationPlan.operations.length} operation(s)`
-    };
-    return ok2(result2);
-  }
-  const applySpanId = "apply";
-  onProgress?.({
-    action: "dbInit",
-    kind: "spanStart",
-    spanId: applySpanId,
-    label: "Applying migration plan"
-  });
-  const callbacks = onProgress ? {
-    onOperationStart: (op) => {
-      onProgress({
-        action: "dbInit",
-        kind: "spanStart",
-        spanId: `operation:${op.id}`,
-        parentSpanId: applySpanId,
-        label: op.label
-      });
-    },
-    onOperationComplete: (op) => {
-      onProgress({
-        action: "dbInit",
-        kind: "spanEnd",
-        spanId: `operation:${op.id}`,
-        outcome: "ok"
-      });
-    }
-  } : void 0;
-  const runnerResult = await runner.execute({
-    plan: migrationPlan,
-    driver,
-    destinationContract: contractIR,
-    policy,
-    ...callbacks ? { callbacks } : {},
-    // db init plans and applies back-to-back from a fresh introspection, so per-operation
-    // pre/postchecks and the idempotency probe are usually redundant overhead. We still
-    // enforce marker/origin compatibility and a full schema verification after apply.
-    executionChecks: {
-      prechecks: false,
-      postchecks: false,
-      idempotencyChecks: false
-    },
-    frameworkComponents
-  });
-  if (!runnerResult.ok) {
-    onProgress?.({
-      action: "dbInit",
-      kind: "spanEnd",
-      spanId: applySpanId,
-      outcome: "error"
-    });
-    return notOk2({
-      code: "RUNNER_FAILED",
-      summary: runnerResult.failure.summary,
-      why: runnerResult.failure.why,
-      meta: runnerResult.failure.meta,
-      conflicts: void 0
-    });
-  }
-  const execution = runnerResult.value;
-  onProgress?.({
-    action: "dbInit",
-    kind: "spanEnd",
-    spanId: applySpanId,
-    outcome: "ok"
-  });
-  const result = {
-    mode: "apply",
-    plan: { operations: migrationPlan.operations },
-    execution: {
-      operationsPlanned: execution.operationsPlanned,
-      operationsExecuted: execution.operationsExecuted
-    },
-    marker: migrationPlan.destination.profileHash ? {
-      coreHash: migrationPlan.destination.coreHash,
-      profileHash: migrationPlan.destination.profileHash
-    } : { coreHash: migrationPlan.destination.coreHash },
-    summary: `Applied ${execution.operationsExecuted} operation(s), marker written`
-  };
-  return ok2(result);
-}
-
-// src/control-api/client.ts
-function createControlClient(options) {
-  return new ControlClientImpl(options);
-}
-var ControlClientImpl = class {
-  options;
-  stack = null;
-  driver = null;
-  familyInstance = null;
-  frameworkComponents = null;
-  initialized = false;
-  defaultConnection;
-  constructor(options) {
-    this.options = options;
-    this.defaultConnection = options.connection;
-  }
-  init() {
-    if (this.initialized) {
-      return;
-    }
-    this.stack = createControlPlaneStack2({
-      target: this.options.target,
-      adapter: this.options.adapter,
-      driver: this.options.driver,
-      extensionPacks: this.options.extensionPacks
-    });
-    this.familyInstance = this.options.family.create(this.stack);
-    const rawComponents = [
-      this.options.target,
-      this.options.adapter,
-      ...this.options.extensionPacks ?? []
-    ];
-    this.frameworkComponents = assertFrameworkComponentsCompatible(
-      this.options.family.familyId,
-      this.options.target.targetId,
-      rawComponents
-    );
-    this.initialized = true;
-  }
-  async connect(connection) {
-    this.init();
-    if (this.driver) {
-      throw new Error("Already connected. Call close() before reconnecting.");
-    }
-    const resolvedConnection = connection ?? this.defaultConnection;
-    if (resolvedConnection === void 0) {
-      throw new Error(
-        "No connection provided. Pass a connection to connect() or provide a default connection when creating the client."
-      );
-    }
-    if (!this.stack?.driver) {
-      throw new Error(
-        "Driver is not configured. Pass a driver descriptor when creating the control client to enable database operations."
-      );
-    }
-    this.driver = await this.stack?.driver.create(resolvedConnection);
-  }
-  async close() {
-    if (this.driver) {
-      await this.driver.close();
-      this.driver = null;
-    }
-  }
-  async ensureConnected() {
-    this.init();
-    if (!this.driver && this.defaultConnection !== void 0) {
-      await this.connect(this.defaultConnection);
-    }
-    if (!this.driver || !this.familyInstance || !this.frameworkComponents) {
-      throw new Error("Not connected. Call connect(connection) first.");
-    }
-    return {
-      driver: this.driver,
-      familyInstance: this.familyInstance,
-      frameworkComponents: this.frameworkComponents
-    };
-  }
-  async verify(options) {
-    const { onProgress } = options;
-    if (options.connection !== void 0) {
-      onProgress?.({
-        action: "verify",
-        kind: "spanStart",
-        spanId: "connect",
-        label: "Connecting to database..."
-      });
-      try {
-        await this.connect(options.connection);
-        onProgress?.({
-          action: "verify",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "ok"
-        });
-      } catch (error) {
-        onProgress?.({
-          action: "verify",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "error"
-        });
-        throw error;
-      }
-    }
-    const { driver, familyInstance } = await this.ensureConnected();
-    const contractIR = familyInstance.validateContractIR(options.contractIR);
-    onProgress?.({
-      action: "verify",
-      kind: "spanStart",
-      spanId: "verify",
-      label: "Verifying contract marker..."
-    });
-    try {
-      const result = await familyInstance.verify({
-        driver,
-        contractIR,
-        expectedTargetId: this.options.target.targetId,
-        contractPath: ""
-      });
-      onProgress?.({
-        action: "verify",
-        kind: "spanEnd",
-        spanId: "verify",
-        outcome: result.ok ? "ok" : "error"
-      });
-      return result;
-    } catch (error) {
-      onProgress?.({
-        action: "verify",
-        kind: "spanEnd",
-        spanId: "verify",
-        outcome: "error"
-      });
-      throw error;
-    }
-  }
-  async schemaVerify(options) {
-    const { onProgress } = options;
-    if (options.connection !== void 0) {
-      onProgress?.({
-        action: "schemaVerify",
-        kind: "spanStart",
-        spanId: "connect",
-        label: "Connecting to database..."
-      });
-      try {
-        await this.connect(options.connection);
-        onProgress?.({
-          action: "schemaVerify",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "ok"
-        });
-      } catch (error) {
-        onProgress?.({
-          action: "schemaVerify",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "error"
-        });
-        throw error;
-      }
-    }
-    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();
-    const contractIR = familyInstance.validateContractIR(options.contractIR);
-    onProgress?.({
-      action: "schemaVerify",
-      kind: "spanStart",
-      spanId: "schemaVerify",
-      label: "Verifying database schema..."
-    });
-    try {
-      const result = await familyInstance.schemaVerify({
-        driver,
-        contractIR,
-        strict: options.strict ?? false,
-        contractPath: "",
-        frameworkComponents
-      });
-      onProgress?.({
-        action: "schemaVerify",
-        kind: "spanEnd",
-        spanId: "schemaVerify",
-        outcome: result.ok ? "ok" : "error"
-      });
-      return result;
-    } catch (error) {
-      onProgress?.({
-        action: "schemaVerify",
-        kind: "spanEnd",
-        spanId: "schemaVerify",
-        outcome: "error"
-      });
-      throw error;
-    }
-  }
-  async sign(options) {
-    const { onProgress } = options;
-    if (options.connection !== void 0) {
-      onProgress?.({
-        action: "sign",
-        kind: "spanStart",
-        spanId: "connect",
-        label: "Connecting to database..."
-      });
-      try {
-        await this.connect(options.connection);
-        onProgress?.({
-          action: "sign",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "ok"
-        });
-      } catch (error) {
-        onProgress?.({
-          action: "sign",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "error"
-        });
-        throw error;
-      }
-    }
-    const { driver, familyInstance } = await this.ensureConnected();
-    const contractIR = familyInstance.validateContractIR(options.contractIR);
-    onProgress?.({
-      action: "sign",
-      kind: "spanStart",
-      spanId: "sign",
-      label: "Signing database..."
-    });
-    try {
-      const result = await familyInstance.sign({
-        driver,
-        contractIR,
-        contractPath: options.contractPath ?? "",
-        ...options.configPath ? { configPath: options.configPath } : {}
-      });
-      onProgress?.({
-        action: "sign",
-        kind: "spanEnd",
-        spanId: "sign",
-        outcome: "ok"
-      });
-      return result;
-    } catch (error) {
-      onProgress?.({
-        action: "sign",
-        kind: "spanEnd",
-        spanId: "sign",
-        outcome: "error"
-      });
-      throw error;
-    }
-  }
-  async dbInit(options) {
-    const { onProgress } = options;
-    if (options.connection !== void 0) {
-      onProgress?.({
-        action: "dbInit",
-        kind: "spanStart",
-        spanId: "connect",
-        label: "Connecting to database..."
-      });
-      try {
-        await this.connect(options.connection);
-        onProgress?.({
-          action: "dbInit",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "ok"
-        });
-      } catch (error) {
-        onProgress?.({
-          action: "dbInit",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "error"
-        });
-        throw error;
-      }
-    }
-    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();
-    if (!this.options.target.migrations) {
-      throw new Error(`Target "${this.options.target.targetId}" does not support migrations`);
-    }
-    const contractIR = familyInstance.validateContractIR(options.contractIR);
-    return executeDbInit({
-      driver,
-      familyInstance,
-      contractIR,
-      mode: options.mode,
-      migrations: this.options.target.migrations,
-      frameworkComponents,
-      ...onProgress ? { onProgress } : {}
-    });
-  }
-  async introspect(options) {
-    const onProgress = options?.onProgress;
-    if (options?.connection !== void 0) {
-      onProgress?.({
-        action: "introspect",
-        kind: "spanStart",
-        spanId: "connect",
-        label: "Connecting to database..."
-      });
-      try {
-        await this.connect(options.connection);
-        onProgress?.({
-          action: "introspect",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "ok"
-        });
-      } catch (error) {
-        onProgress?.({
-          action: "introspect",
-          kind: "spanEnd",
-          spanId: "connect",
-          outcome: "error"
-        });
-        throw error;
-      }
-    }
-    const { driver, familyInstance } = await this.ensureConnected();
-    const _schema = options?.schema;
-    void _schema;
-    onProgress?.({
-      action: "introspect",
-      kind: "spanStart",
-      spanId: "introspect",
-      label: "Introspecting database schema..."
+    (cmd) => !cmd.name().startsWith("_") && cmd.name() !== "help"
+  );
+  const globalOptions = program2.options.map((opt) => {
+    const flags2 = opt.flags;
+    const description = opt.description || "";
+    const defaultValue = opt.defaultValue;
+    return { flags: flags2, description, defaultValue };
+  });
+  if (topLevelCommands.length > 0) {
+    const hasItemsAfter = globalOptions.length > 0;
+    const treeLines = renderCommandTree({
+      commands: topLevelCommands,
+      useColor,
+      formatDimText,
+      hasItemsAfter
     });
-    try {
-      const result = await familyInstance.introspect({ driver });
-      onProgress?.({
-        action: "introspect",
-        kind: "spanEnd",
-        spanId: "introspect",
-        outcome: "ok"
-      });
-      return result;
-    } catch (error) {
-      onProgress?.({
-        action: "introspect",
-        kind: "spanEnd",
-        spanId: "introspect",
-        outcome: "error"
-      });
-      throw error;
-    }
+    lines.push(...treeLines);
   }
-  toSchemaView(schemaIR) {
-    this.init();
-    if (this.familyInstance?.toSchemaView) {
-      return this.familyInstance.toSchemaView(schemaIR);
+  if (topLevelCommands.length > 0 && globalOptions.length > 0) {
+    lines.push(formatDimText("\u2502"));
+  }
+  if (globalOptions.length > 0) {
+    for (const opt of globalOptions) {
+      const flagsPadded = padToFixedWidth(opt.flags, LEFT_COLUMN_WIDTH);
+      let flagsColored = flagsPadded;
+      if (useColor) {
+        flagsColored = flagsPadded.replace(/(<[^>]+>)/g, (match) => magenta(match));
+        flagsColored = cyan(flagsColored);
+      }
+      const rightColumnWidth = calculateRightColumnWidth();
+      const wrappedDescription = wrapTextAnsi(opt.description, rightColumnWidth);
+      lines.push(`${formatDimText("\u2502")} ${flagsColored}  ${wrappedDescription[0] || ""}`);
+      for (let i = 1; i < wrappedDescription.length; i++) {
+        const emptyLabel = " ".repeat(LEFT_COLUMN_WIDTH);
+        lines.push(`${formatDimText("\u2502")} ${emptyLabel}  ${wrappedDescription[i] || ""}`);
+      }
+      if (opt.defaultValue !== void 0) {
+        const emptyLabel = " ".repeat(LEFT_COLUMN_WIDTH);
+        const defaultText = formatDefaultValue(opt.defaultValue, useColor);
+        lines.push(`${formatDimText("\u2502")} ${emptyLabel}  ${defaultText}`);
+      }
     }
-    return void 0;
   }
-};
+  const formatGreen = (text) => useColor ? green(text) : text;
+  const descriptionLines = [
+    `Use ${formatGreen("Prisma Next")} to define your data layer as a contract. Sign your database and application with the same contract to guarantee compatibility. Plan and apply migrations to safely evolve your schema.`
+  ];
+  if (descriptionLines.length > 0) {
+    lines.push(formatDimText("\u2502"));
+    lines.push(...formatMultilineDescription({ descriptionLines, useColor, formatDimText }));
+  }
+  lines.push(formatDimText("\u2514"));
+  return `${lines.join("\n")}
+`;
+}
 
 // src/utils/progress-adapter.ts
-import ora2 from "ora";
+import ora from "ora";
 function createProgressAdapter(options) {
   const { flags } = options;
   const shouldShowProgress = !flags.quiet && flags.json !== "object" && process.stdout.isTTY;
@@ -1828,7 +1738,7 @@ function createProgressAdapter(options) {
         console.log(`  \u2192 ${event.label}...`);
         return;
       }
-      const spinner = ora2({
+      const spinner = ora({
         text: event.label,
         color: flags.color !== false ? "cyan" : false
       }).start();
@@ -1853,7 +1763,179 @@ function createProgressAdapter(options) {
   };
 }
 
+// src/utils/result-handler.ts
+function handleResult(result, flags, onSuccess) {
+  if (result.ok) {
+    if (onSuccess) {
+      onSuccess(result.value);
+    }
+    return 0;
+  }
+  const envelope = result.failure.toEnvelope();
+  if (flags.json) {
+    console.error(formatErrorJson(envelope));
+  } else {
+    console.error(formatErrorOutput(envelope, flags));
+  }
+  const exitCode = result.failure.domain === "CLI" ? 2 : 1;
+  return exitCode;
+}
+
+// src/commands/contract-emit.ts
+function mapEmitFailure(failure) {
+  if (failure.code === "CONTRACT_SOURCE_INVALID") {
+    return errorRuntime(failure.summary, {
+      why: failure.why ?? "Contract source is invalid",
+      fix: "Check your contract source configuration in prisma-next.config.ts"
+    });
+  }
+  if (failure.code === "EMIT_FAILED") {
+    return errorRuntime(failure.summary, {
+      why: failure.why ?? "Failed to emit contract",
+      fix: "Check your contract configuration and ensure the source is valid"
+    });
+  }
+  const exhaustive = failure.code;
+  throw new Error(`Unhandled EmitFailure code: ${exhaustive}`);
+}
+async function executeContractEmitCommand(options, flags, startTime) {
+  let config;
+  try {
+    config = await loadConfig(options.config);
+  } catch (error) {
+    if (error instanceof CliStructuredError) {
+      return notOk3(error);
+    }
+    return notOk3(
+      errorUnexpected2(error instanceof Error ? error.message : String(error), {
+        why: "Failed to load config"
+      })
+    );
+  }
+  if (!config.contract) {
+    return notOk3(
+      errorContractConfigMissing2({
+        why: "Config.contract is required for emit. Define it in your config: contract: { source: ..., output: ..., types: ... }"
+      })
+    );
+  }
+  const contractConfig = config.contract;
+  if (!contractConfig.output || !contractConfig.types) {
+    return notOk3(
+      errorContractConfigMissing2({
+        why: "Contract config must have output and types paths. This should not happen if defineConfig() was used."
+      })
+    );
+  }
+  const outputJsonPath = resolve2(contractConfig.output);
+  const outputDtsPath = resolve2(contractConfig.types);
+  if (flags.json !== "object" && !flags.quiet) {
+    const configPath = options.config ? relative2(process.cwd(), resolve2(options.config)) : "prisma-next.config.ts";
+    const contractPath = relative2(process.cwd(), outputJsonPath);
+    const typesPath = relative2(process.cwd(), outputDtsPath);
+    const header = formatStyledHeader({
+      command: "contract emit",
+      description: "Write your contract to JSON and sign it",
+      url: "https://pris.ly/contract-emit",
+      details: [
+        { label: "config", value: configPath },
+        { label: "contract", value: contractPath },
+        { label: "types", value: typesPath }
+      ],
+      flags
+    });
+    console.log(header);
+  }
+  const client = createControlClient({
+    family: config.family,
+    target: config.target,
+    adapter: config.adapter,
+    extensionPacks: config.extensionPacks ?? []
+  });
+  const onProgress = createProgressAdapter({ flags });
+  try {
+    const source = typeof contractConfig.source === "function" ? { kind: "loader", load: contractConfig.source } : { kind: "value", value: contractConfig.source };
+    const result = await client.emit({
+      contractConfig: {
+        source,
+        output: outputJsonPath,
+        types: outputDtsPath
+      },
+      onProgress
+    });
+    if (!result.ok) {
+      return notOk3(mapEmitFailure(result.failure));
+    }
+    mkdirSync(dirname2(outputJsonPath), { recursive: true });
+    mkdirSync(dirname2(outputDtsPath), { recursive: true });
+    writeFileSync(outputJsonPath, result.value.contractJson, "utf-8");
+    writeFileSync(outputDtsPath, result.value.contractDts, "utf-8");
+    if (!flags.quiet && flags.json !== "object" && process.stdout.isTTY) {
+      console.log("");
+    }
+    const emitResult = {
+      coreHash: result.value.coreHash,
+      profileHash: result.value.profileHash,
+      outDir: dirname2(outputJsonPath),
+      files: {
+        json: outputJsonPath,
+        dts: outputDtsPath
+      },
+      timings: { total: Date.now() - startTime }
+    };
+    return ok3(emitResult);
+  } catch (error) {
+    if (CliStructuredError.is(error)) {
+      return notOk3(error);
+    }
+    return notOk3(
+      errorUnexpected2("Unexpected error during contract emit", {
+        why: error instanceof Error ? error.message : String(error)
+      })
+    );
+  } finally {
+    await client.close();
+  }
+}
+function createContractEmitCommand() {
+  const command = new Command("emit");
+  setCommandDescriptions(
+    command,
+    "Write your contract to JSON and sign it",
+    "Reads your contract source (TypeScript or Prisma schema) and emits contract.json and\ncontract.d.ts. The contract.json contains the canonical contract structure, and\ncontract.d.ts provides TypeScript types for type-safe query building."
+  );
+  command.configureHelp({
+    formatHelp: (cmd) => {
+      const flags = parseGlobalFlags({});
+      return formatCommandHelp({ command: cmd, flags });
+    }
+  }).option("--config <path>", "Path to prisma-next.config.ts").option("--json [format]", "Output as JSON (object or ndjson)", false).option("-q, --quiet", "Quiet mode: errors only").option("-v, --verbose", "Verbose output: debug info, timings").option("-vv, --trace", "Trace output: deep internals, stack traces").option("--timestamps", "Add timestamps to output").option("--color", "Force color output").option("--no-color", "Disable color output").action(async (options) => {
+    const flags = parseGlobalFlags(options);
+    const startTime = Date.now();
+    const result = await executeContractEmitCommand(options, flags, startTime);
+    const exitCode = handleResult(result, flags, (emitResult) => {
+      if (flags.json === "object") {
+        console.log(formatEmitJson(emitResult));
+      } else {
+        const output = formatEmitOutput(emitResult, flags);
+        if (output) {
+          console.log(output);
+        }
+        if (!flags.quiet) {
+          console.log(formatSuccessMessage(flags));
+        }
+      }
+    });
+    process.exit(exitCode);
+  });
+  return command;
+}
+
 // src/commands/db-init.ts
+import { readFile } from "fs/promises";
+import { relative as relative3, resolve as resolve3 } from "path";
+import { notOk as notOk4, ok as ok4 } from "@prisma-next/utils/result";
+import { Command as Command2 } from "commander";
 function mapDbInitFailure(failure) {
   if (failure.code === "PLANNING_FAILED") {
     return errorMigrationPlanningFailed({ conflicts: failure.conflicts ?? [] });
@@ -1928,14 +2010,14 @@ async function executeDbInitCommand(options, flags, startTime) {
     contractJsonContent = await readFile(contractPathAbsolute, "utf-8");
   } catch (error) {
     if (error instanceof Error && error.code === "ENOENT") {
-      return notOk3(
+      return notOk4(
         errorFileNotFound(contractPathAbsolute, {
           why: `Contract file not found at ${contractPathAbsolute}`,
           fix: `Run \`prisma-next contract emit\` to generate ${contractPath}, or update \`config.contract.output\` in ${configPath}`
         })
       );
     }
-    return notOk3(
+    return notOk4(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -1945,7 +2027,7 @@ async function executeDbInitCommand(options, flags, startTime) {
   try {
     contractJson = JSON.parse(contractJsonContent);
   } catch (error) {
-    return notOk3(
+    return notOk4(
       errorContractValidationFailed(
         `Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`,
         { where: { path: contractPathAbsolute } }
@@ -1954,17 +2036,17 @@ async function executeDbInitCommand(options, flags, startTime) {
   }
   const dbConnection = options.db ?? config.db?.connection;
   if (!dbConnection) {
-    return notOk3(
+    return notOk4(
       errorDatabaseConnectionRequired({
         why: `Database connection is required for db init (set db.connection in ${configPath}, or pass --db <url>)`
       })
     );
   }
   if (!config.driver) {
-    return notOk3(errorDriverRequired({ why: "Config.driver is required for db init" }));
+    return notOk4(errorDriverRequired({ why: "Config.driver is required for db init" }));
   }
   if (!config.target.migrations) {
-    return notOk3(
+    return notOk4(
       errorTargetMigrationNotSupported({
         why: `Target "${config.target.id}" does not support migrations`
       })
@@ -1986,7 +2068,7 @@ async function executeDbInitCommand(options, flags, startTime) {
       onProgress
     });
     if (!result.ok) {
-      return notOk3(mapDbInitFailure(result.failure));
+      return notOk4(mapDbInitFailure(result.failure));
     }
     const profileHash = result.value.marker?.profileHash;
     const dbInitResult = {
@@ -2019,12 +2101,12 @@ async function executeDbInitCommand(options, flags, startTime) {
       summary: result.value.summary,
       timings: { total: Date.now() - startTime }
     };
-    return ok3(dbInitResult);
+    return ok4(dbInitResult);
   } catch (error) {
     if (CliStructuredError.is(error)) {
-      return notOk3(error);
+      return notOk4(error);
     }
-    return notOk3(
+    return notOk4(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Unexpected error during db init: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -2049,7 +2131,7 @@ function createDbInitCommand() {
     const flags = parseGlobalFlags(options);
     const startTime = Date.now();
     if (flags.json === "ndjson") {
-      const result2 = notOk3(
+      const result2 = notOk4(
         errorJsonFormatNotSupported({
           command: "db init",
           format: "ndjson",
@@ -2077,7 +2159,7 @@ function createDbInitCommand() {
 
 // src/commands/db-introspect.ts
 import { relative as relative4, resolve as resolve4 } from "path";
-import { notOk as notOk4, ok as ok4 } from "@prisma-next/utils/result";
+import { notOk as notOk5, ok as ok5 } from "@prisma-next/utils/result";
 import { Command as Command3 } from "commander";
 async function executeDbIntrospectCommand(options, flags, startTime) {
   const config = await loadConfig(options.config);
@@ -2104,14 +2186,14 @@ async function executeDbIntrospectCommand(options, flags, startTime) {
   }
   const dbConnection = options.db ?? config.db?.connection;
   if (!dbConnection) {
-    return notOk4(
+    return notOk5(
       errorDatabaseConnectionRequired({
         why: `Database connection is required for db introspect (set db.connection in ${configPath}, or pass --db <url>)`
       })
     );
   }
   if (!config.driver) {
-    return notOk4(errorDriverRequired({ why: "Config.driver is required for db introspect" }));
+    return notOk5(errorDriverRequired({ why: "Config.driver is required for db introspect" }));
   }
   const client = createControlClient({
     family: config.family,
@@ -2148,12 +2230,12 @@ async function executeDbIntrospectCommand(options, flags, startTime) {
         total: totalTime
       }
     };
-    return ok4({ introspectResult, schemaView });
+    return ok5({ introspectResult, schemaView });
   } catch (error) {
     if (error instanceof CliStructuredError) {
-      return notOk4(error);
+      return notOk5(error);
     }
-    return notOk4(
+    return notOk5(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Unexpected error during db introspect: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -2178,7 +2260,7 @@ function createDbIntrospectCommand() {
     const flags = parseGlobalFlags(options);
     const startTime = Date.now();
     if (flags.json === "ndjson") {
-      const result2 = notOk4(
+      const result2 = notOk5(
         errorJsonFormatNotSupported({
           command: "db introspect",
           format: "ndjson",
@@ -2208,7 +2290,7 @@ function createDbIntrospectCommand() {
 // src/commands/db-schema-verify.ts
 import { readFile as readFile2 } from "fs/promises";
 import { relative as relative5, resolve as resolve5 } from "path";
-import { notOk as notOk5, ok as ok5 } from "@prisma-next/utils/result";
+import { notOk as notOk6, ok as ok6 } from "@prisma-next/utils/result";
 import { Command as Command4 } from "commander";
 async function executeDbSchemaVerifyCommand(options, flags) {
   const config = await loadConfig(options.config);
@@ -2237,14 +2319,14 @@ async function executeDbSchemaVerifyCommand(options, flags) {
     contractJsonContent = await readFile2(contractPathAbsolute, "utf-8");
   } catch (error) {
     if (error instanceof Error && error.code === "ENOENT") {
-      return notOk5(
+      return notOk6(
         errorFileNotFound(contractPathAbsolute, {
           why: `Contract file not found at ${contractPathAbsolute}`,
           fix: `Run \`prisma-next contract emit\` to generate ${contractPath}, or update \`config.contract.output\` in ${configPath}`
         })
       );
     }
-    return notOk5(
+    return notOk6(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -2254,7 +2336,7 @@ async function executeDbSchemaVerifyCommand(options, flags) {
   try {
     contractJson = JSON.parse(contractJsonContent);
   } catch (error) {
-    return notOk5(
+    return notOk6(
       errorContractValidationFailed(
         `Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`,
         { where: { path: contractPathAbsolute } }
@@ -2263,14 +2345,14 @@ async function executeDbSchemaVerifyCommand(options, flags) {
   }
   const dbConnection = options.db ?? config.db?.connection;
   if (!dbConnection) {
-    return notOk5(
+    return notOk6(
       errorDatabaseConnectionRequired({
         why: `Database connection is required for db schema-verify (set db.connection in ${configPath}, or pass --db <url>)`
       })
     );
   }
   if (!config.driver) {
-    return notOk5(errorDriverRequired({ why: "Config.driver is required for db schema-verify" }));
+    return notOk6(errorDriverRequired({ why: "Config.driver is required for db schema-verify" }));
   }
   const client = createControlClient({
     family: config.family,
@@ -2290,12 +2372,12 @@ async function executeDbSchemaVerifyCommand(options, flags) {
     if (!flags.quiet && flags.json !== "object" && process.stdout.isTTY) {
       console.log("");
     }
-    return ok5(schemaVerifyResult);
+    return ok6(schemaVerifyResult);
   } catch (error) {
     if (error instanceof CliStructuredError) {
-      return notOk5(error);
+      return notOk6(error);
     }
-    return notOk5(
+    return notOk6(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Unexpected error during db schema-verify: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -2319,7 +2401,7 @@ function createDbSchemaVerifyCommand() {
   }).option("--db <url>", "Database connection string").option("--config <path>", "Path to prisma-next.config.ts").option("--json [format]", "Output as JSON (object)", false).option("--strict", "Strict mode: extra schema elements cause failures", false).option("-q, --quiet", "Quiet mode: errors only").option("-v, --verbose", "Verbose output: debug info, timings").option("-vv, --trace", "Trace output: deep internals, stack traces").option("--timestamps", "Add timestamps to output").option("--color", "Force color output").option("--no-color", "Disable color output").action(async (options) => {
     const flags = parseGlobalFlags(options);
     if (flags.json === "ndjson") {
-      const result2 = notOk5(
+      const result2 = notOk6(
         errorJsonFormatNotSupported({
           command: "db schema-verify",
           format: "ndjson",
@@ -2352,7 +2434,7 @@ function createDbSchemaVerifyCommand() {
 // src/commands/db-sign.ts
 import { readFile as readFile3 } from "fs/promises";
 import { relative as relative6, resolve as resolve6 } from "path";
-import { notOk as notOk6, ok as ok6 } from "@prisma-next/utils/result";
+import { notOk as notOk7, ok as ok7 } from "@prisma-next/utils/result";
 import { Command as Command5 } from "commander";
 async function executeDbSignCommand(options, flags) {
   const config = await loadConfig(options.config);
@@ -2381,14 +2463,14 @@ async function executeDbSignCommand(options, flags) {
     contractJsonContent = await readFile3(contractPathAbsolute, "utf-8");
   } catch (error) {
     if (error instanceof Error && error.code === "ENOENT") {
-      return notOk6(
+      return notOk7(
         errorFileNotFound(contractPathAbsolute, {
           why: `Contract file not found at ${contractPathAbsolute}`,
           fix: `Run \`prisma-next contract emit\` to generate ${contractPath}, or update \`config.contract.output\` in ${configPath}`
         })
       );
     }
-    return notOk6(
+    return notOk7(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -2398,7 +2480,7 @@ async function executeDbSignCommand(options, flags) {
   try {
     contractJson = JSON.parse(contractJsonContent);
   } catch (error) {
-    return notOk6(
+    return notOk7(
       errorContractValidationFailed(
         `Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`,
         { where: { path: contractPathAbsolute } }
@@ -2407,14 +2489,14 @@ async function executeDbSignCommand(options, flags) {
   }
   const dbConnection = options.db ?? config.db?.connection;
   if (!dbConnection) {
-    return notOk6(
+    return notOk7(
       errorDatabaseConnectionRequired({
         why: `Database connection is required for db sign (set db.connection in ${configPath}, or pass --db <url>)`
       })
     );
   }
   if (!config.driver) {
-    return notOk6(errorDriverRequired({ why: "Config.driver is required for db sign" }));
+    return notOk7(errorDriverRequired({ why: "Config.driver is required for db sign" }));
   }
   const client = createControlClient({
     family: config.family,
@@ -2435,7 +2517,7 @@ async function executeDbSignCommand(options, flags) {
       if (!flags.quiet && flags.json !== "object" && process.stdout.isTTY) {
         console.log("");
       }
-      return notOk6(schemaVerifyResult);
+      return notOk7(schemaVerifyResult);
     }
     const signResult = await client.sign({
       contractIR: contractJson,
@@ -2446,12 +2528,12 @@ async function executeDbSignCommand(options, flags) {
     if (!flags.quiet && flags.json !== "object" && process.stdout.isTTY) {
       console.log("");
     }
-    return ok6(signResult);
+    return ok7(signResult);
   } catch (error) {
     if (error instanceof CliStructuredError) {
-      return notOk6(error);
+      return notOk7(error);
     }
-    return notOk6(
+    return notOk7(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Unexpected error during db sign: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -2475,7 +2557,7 @@ function createDbSignCommand() {
   }).option("--db <url>", "Database connection string").option("--config <path>", "Path to prisma-next.config.ts").option("--json [format]", "Output as JSON (object)", false).option("-q, --quiet", "Quiet mode: errors only").option("-v, --verbose", "Verbose output: debug info, timings").option("-vv, --trace", "Trace output: deep internals, stack traces").option("--timestamps", "Add timestamps to output").option("--color", "Force color output").option("--no-color", "Disable color output").action(async (options) => {
     const flags = parseGlobalFlags(options);
     if (flags.json === "ndjson") {
-      const result2 = notOk6(
+      const result2 = notOk7(
         errorJsonFormatNotSupported({
           command: "db sign",
           format: "ndjson",
@@ -2518,7 +2600,7 @@ function createDbSignCommand() {
 // src/commands/db-verify.ts
 import { readFile as readFile4 } from "fs/promises";
 import { relative as relative7, resolve as resolve7 } from "path";
-import { notOk as notOk7, ok as ok7 } from "@prisma-next/utils/result";
+import { notOk as notOk8, ok as ok8 } from "@prisma-next/utils/result";
 import { Command as Command6 } from "commander";
 function mapVerifyFailure(verifyResult) {
   if (!verifyResult.ok && verifyResult.code) {
@@ -2567,14 +2649,14 @@ async function executeDbVerifyCommand(options, flags) {
     contractJsonContent = await readFile4(contractPathAbsolute, "utf-8");
   } catch (error) {
     if (error instanceof Error && error.code === "ENOENT") {
-      return notOk7(
+      return notOk8(
         errorFileNotFound(contractPathAbsolute, {
           why: `Contract file not found at ${contractPathAbsolute}`,
           fix: `Run \`prisma-next contract emit\` to generate ${contractPath}, or update \`config.contract.output\` in ${configPath}`
         })
       );
     }
-    return notOk7(
+    return notOk8(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -2584,7 +2666,7 @@ async function executeDbVerifyCommand(options, flags) {
   try {
     contractJson = JSON.parse(contractJsonContent);
   } catch (error) {
-    return notOk7(
+    return notOk8(
       errorContractValidationFailed(
         `Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`,
         { where: { path: contractPathAbsolute } }
@@ -2593,14 +2675,14 @@ async function executeDbVerifyCommand(options, flags) {
   }
   const dbConnection = options.db ?? config.db?.connection;
   if (!dbConnection) {
-    return notOk7(
+    return notOk8(
       errorDatabaseConnectionRequired({
         why: `Database connection is required for db verify (set db.connection in ${configPath}, or pass --db <url>)`
       })
     );
   }
   if (!config.driver) {
-    return notOk7(errorDriverRequired({ why: "Config.driver is required for db verify" }));
+    return notOk8(errorDriverRequired({ why: "Config.driver is required for db verify" }));
   }
   const client = createControlClient({
     family: config.family,
@@ -2620,14 +2702,14 @@ async function executeDbVerifyCommand(options, flags) {
       console.log("");
     }
     if (!verifyResult.ok) {
-      return notOk7(mapVerifyFailure(verifyResult));
+      return notOk8(mapVerifyFailure(verifyResult));
     }
-    return ok7(verifyResult);
+    return ok8(verifyResult);
   } catch (error) {
     if (error instanceof CliStructuredError) {
-      return notOk7(error);
+      return notOk8(error);
     }
-    return notOk7(
+    return notOk8(
       errorUnexpected2(error instanceof Error ? error.message : String(error), {
         why: `Unexpected error during db verify: ${error instanceof Error ? error.message : String(error)}`
       })
@@ -2651,7 +2733,7 @@ function createDbVerifyCommand() {
   }).option("--db <url>", "Database connection string").option("--config <path>", "Path to prisma-next.config.ts").option("--json [format]", "Output as JSON (object)", false).option("-q, --quiet", "Quiet mode: errors only").option("-v, --verbose", "Verbose output: debug info, timings").option("-vv, --trace", "Trace output: deep internals, stack traces").option("--timestamps", "Add timestamps to output").option("--color", "Force color output").option("--no-color", "Disable color output").action(async (options) => {
     const flags = parseGlobalFlags(options);
     if (flags.json === "ndjson") {
-      const result2 = notOk7(
+      const result2 = notOk8(
         errorJsonFormatNotSupported({
           command: "db verify",
           format: "ndjson",