@prisma-next/cli 0.15.0 → 0.16.0-dev.10

package/dist/{types-DFoqNIcQ.d.mts → types-D4r_HI9-.d.mts}

@@ -1,14 +1,16 @@
 import { CliStructuredError as CliStructuredError$1 } from "@prisma-next/errors/control";
 import { Result } from "@prisma-next/utils/result";
 import { ControlAdapterDescriptor, ControlDriverDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyDescriptor, ControlFamilyInstance, ControlTargetDescriptor, CoreSchemaView, MigrationPlanOperation, MigrationPlannerConflict, OperationPreview, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
+import "@prisma-next/errors/execution";
+import "@prisma-next/errors/migration";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
 import { AggregateContractSpace } from "@prisma-next/migration-tools/aggregate";
 import { MigrationToolsError } from "@prisma-next/migration-tools/errors";
 import { ContractSourceDiagnostics, ContractSourceProvider } from "@prisma-next/config/config-types";
+import "@prisma-next/migration-tools/ref-resolution";
 import { Contract, ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
 import { AuthoringPslBlockDescriptorNamespace } from "@prisma-next/framework-components/authoring";
 import { PslDocumentAst } from "@prisma-next/framework-components/psl-ast";
-
 //#region src/control-api/operations/db-verify.d.ts
 /**
  * Inputs for the aggregate `db verify` operation.
@@ -404,7 +406,7 @@ interface DbInitSuccess {
 /**
  * Failure codes for dbInit operation.
  */
-type DbInitFailureCode = 'PLANNING_FAILED' | 'MARKER_ORIGIN_MISMATCH' | 'RUNNER_FAILED';
+type DbInitFailureCode = 'PLANNING_FAILED' | 'MIGRATION.MARKER_ORIGIN_MISMATCH' | 'RUNNER_FAILED';
 /**
  * Failure details for dbInit operation.
  */
@@ -698,7 +700,9 @@ interface ContractEmitResult {
   readonly profileHash: string;
   /** Paths to the emitted files */
   readonly files: {
-    /** Path to the emitted contract.json file */readonly json: string; /** Path to the emitted contract.d.ts file */
+    /** Path to the emitted contract.json file */
+    readonly json: string;
+    /** Path to the emitted contract.d.ts file */
     readonly dts: string;
   };
   /**
@@ -887,4 +891,4 @@ interface ControlClient {
 }
 //#endregion
 export { ExecuteDbVerifyOptions as A, IntrospectOptions as C, SchemaVerifyOptions as D, PerSpaceExecutionEntry as E, executeDbVerify as M, CliStructuredError$1 as N, SignOptions as O, EmitSuccess as S, OnControlProgress as T, EmitContractConfig as _, ControlClientOptions as a, EmitOptions as b, DbInitFailureCode as c, DbInitSuccess as d, DbUpdateFailure as f, DbUpdateSuccess as g, DbUpdateResult as h, ControlClient as i, ExecuteDbVerifyResult as j, VerifyOptions as k, DbInitOptions as l, DbUpdateOptions as m, ContractEmitResult as n, ControlProgressEvent as o, DbUpdateFailureCode as p, ControlActionName as r, DbInitFailure as s, ContractEmitOptions as t, DbInitResult as u, EmitFailure as v, MigratePathDecision as w, EmitResult as x, EmitFailureCode as y };
-//# sourceMappingURL=types-DFoqNIcQ.d.mts.map
+//# sourceMappingURL=types-D4r_HI9-.d.mts.map

package/dist/types-D4r_HI9-.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-D4r_HI9-.d.mts","names":[],"sources":["../src/control-api/operations/db-verify.ts","../src/control-api/types.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;UA8CiB,uBAAuB,0BAA0B;WACvD,QAAQ,sBAAsB,WAAW;WACzC,gBAAgB,sBAAsB;WACtC,UAAU;WACV;WACA,UAAU;WACV,gBAAgB,cAAc,2BAA2B,WAAW;WACpE,qBAAqB,cAAc,+BAA+B,WAAW;WAC7E;WACA;WACA;WACA,aAAa;;;;;;;;;;;;;;UAeP;WACN,eAAe,oBAAoB;;;;;;WAMnC;WACA;WACA;;KAGC,wBAAwB,OAAO,wBAAwB;;;;;;;;;;;;;;;;;iBAkB7C,gBAAgB,0BAA0B,0BAC9D,SAAS,uBAAuB,WAAW,aAC1C,QAAQ;;;;;;;;;;;;;;UC7DM;WAEN,QAAQ;WAER,QAAQ;WAER,SAAS;;WAGT,SAAS;WAET,iBAAiB,cAAc;;;;;;WAM/B;;;;;KAUC;;;;;;;;;;;;;;KAwBA;WAEG,QAAQ;WACR;WACA;WACA;WACA;;WAGA,QAAQ;WACR;WACA;WACA;;;;;;;KAQH,qBAAqB,OAAO;;;;UASvB;;WAEN;;;;;;WAMA;;WAEA,aAAa;;;;;UAMP;;WAEN;;;;;;WAMA;;;;;;WAMA;;WAEA,aAAa;;;;;UAMP;;WAEN;;;;WAIA;;;;WAIA;;;;;;WAMA;;WAEA,aAAa;;;;;UAMP;;WAEN;;;;;;WAMA;;;;;;WAMA;;;;;;;WAOA;;WAEA,aAAa;;;;;UAMP;;WAEN;;;;;;WAMA;;;;;;WAMA;;;;;;;;WAQA;;;;;;;WAOA;;WAEA,aAAa;;;;;;;;;;UAWP;;;;;;;WAON,UAAU;WACV;WACA;WACA;WACA;WACA;WACA,aAAa;;;;;UAMP;;;;WAIN;;;;;;WAMA;;WAEA,aAAa;;;;;UAMP;;;;WAIN,QAAQ;;;;;WAKR;;;;;UAMM;;;;WAIN,gBAAgB;;WAEhB,aAAa;;;;;;;;;;;;;;UAmBP;WACN;;WAEA;;;;;;WAMA,YAAY;aACV;aACA;aACA;;;;;;;WAOF;aACE;;;;;;UAOI;WACN;WACA;aACE,YAAY;eACV;eACA;eACA;;;;;;;;;aASF,UAAU;;WAEZ;aACE;aACA;;WAEF;aACE;aACA;;WAEF;aACE;aACA;;;;;;;;;WASF,WAAW,cAAc;WACzB;WACA,WAAW,cAAc;;;;;KAMxB;;;;UAQK;WACN,MAAM;WACN;WACA;WACA,WAAW,cAAc;WACzB,WAAW,cAAc;WACzB,MAAM;WACN;aACE;aACA;;WAEF;aACE;aACA;;;;;;;KAQD,eAAe,OAAO,eAAe;;;;UAKhC;WACN;WACA;aACE,YAAY;eACV;eACA;eACA;;;;;;;;;aASF,UAAU;;WAEZ;aACE;aACA;;WAEF;aACE;aACA;;WAEF;aACE;aACA;;;;;;WAMF,WAAW,cAAc;WACzB;WACA,WAAW,cAAc;;;;;KAMxB;;;;UAKK;WACN,MAAM;WACN;WACA;WACA,WAAW,cAAc;WACzB,WAAW,cAAc;WACzB,MAAM;;;;;;KAOL,iBAAiB,OAAO,iBAAiB;;;;;UAMpC;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;;;;KAMC;;;;UAQK;WACN,MAAM;WACN;WACA;WACA,MAAM;WACN,cAAc;;;;;;KAOb,aAAa,OAAO,aAAa;;;;;;;;;;;;UAiB5B;;WAEN;;WAEA;;;;;;WAMA;;;;;;WAMA;;;;;;;WAOA;;;;;WAKA;;WAEA,aAAa;;;;;;;;;;;;;;;UAuCP;WACN;WACA;WACA;WACA;WACA;WACA;;;;;;;;;;;;;;;;;UAkBM;WACN;WACA;WACA;WACA;WACA;WACA;WACA;WACA;aACE;aACA;aACA;aACA;aACA;;;UAII;WACN;WACA;WACA,kBAAkB;WAClB;;;;;;WAMA,UAAU,cAAc;;;;;;;WAOxB,eAAe;;;;;KAMd;;;;UAKK;WACN,MAAM;WACN;WACA;WACA,MAAM;;;;;KAML,gBAAgB,OAAO,gBAAgB;;;;;;;;;;;;;UAkBlC;;WAEN;;;;;;;WAOA;;WAEA,SAAS;;WAET,aAAa;;;;;;;;;UAUP;;WAEN;;WAEA;;WAEA;;WAEA;;aAEE;;aAEA;;;;;;;WAOF;;;;;;;;;;;;UAiBM;;;;;;;;EAQf;;;;;;;;;;;;EAaA,QAAQ,uBAAuB;;;;;;EAO/B,SAAS;;;;;;;;EAST,OAAO,SAAS,gBAAgB,QAAQ;;;;;;;;EASxC,aAAa,SAAS,sBAAsB,QAAQ;;;;;;;;;EAUpD,KAAK,SAAS,cAAc,QAAQ;;;;;;;;;EAUpC,OAAO,SAAS,gBAAgB,QAAQ;;;;;;;;;;EAWxC,SAAS,SAAS,kBAAkB,QAAQ;;;;;;;;;;;;;;EAe5C,SAAS,SAAS,kBAAkB,QAAQ;;;;;;;EAQ5C,cAAc,QAAQ;;;;;;EAOtB,kBAAkB,QAAQ,oBAAoB;;;;;;EAO9C,WAAW,iBAAiB,iBAAiB;;;;;;;;;;;;;;EAe7C,QAAQ,SAAS,iBAAiB,QAAQ;;;;;;;EAQ1C,WAAW,UAAU,oBAAoB;;;;;;;;EASzC,aAAa,oBAAoB;;;;;;;;EASjC,iBAAiB,oBAAoB;;;;;;;;EASrC,0BAA0B;;;;;;;;;EAU1B,mBAAmB,qBAAqB,2BAA2B;;;;;;;;EASnE,KAAK,SAAS,cAAc,QAAQ"}

package/dist/{verify-DDCb0R2r.mjs → verify-C4RazDE1.mjs}

@@ -1,21 +1,22 @@
-import { M as createColorFormatter, N as formatDim, P as isVerbose } from "./command-helpers-CUoKYTlG.mjs";
+import { M as createColorFormatter, N as formatDim, P as isVerbose } from "./command-helpers-CVn3U9Uz.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
+import { issueOutcome } from "@prisma-next/framework-components/control";
 import { bold, cyan, dim, green, magenta, red, yellow } from "colorette";
 //#region src/utils/formatters/verify.ts
-/** Human-readable label for each failure reason, prefixed onto an issue's message for display. */
-const REASON_LABEL = {
+/** Human-readable label for each outcome, prefixed onto an issue's message for display. */
+const OUTCOME_LABEL = {
 	"not-found": "missing",
 	"not-expected": "extra",
 	"not-equal": "mismatch"
 };
 /**
 * The issue's display text: its own path, prefixed with a human label for
-* why it's flagged. Turning `reason` (and the path) into prose is this
-* formatter's job, not the differ's — the differ's issue is data (`path` +
-* `reason` + nodes), not prose.
+* why it's flagged. Turning the presence-derived outcome (and the path) into
+* prose is this formatter's job, not the differ's — the differ's issue is
+* data (`path` + nodes), not prose.
 */
 function formatIssueMessage(issue) {
-	return `${REASON_LABEL[issue.reason]}: ${issue.path.join("/")}`;
+	return `${OUTCOME_LABEL[issueOutcome(issue)]}: ${issue.path.join("/")}`;
 }
 /**
 * Formats human-readable output for database verify.
@@ -279,4 +280,4 @@ function formatSignJson(result) {
 //#endregion
 export { formatSignJson as a, formatVerifyOutput as c, formatSchemaVerifyOutput as i, formatIntrospectOutput as n, formatSignOutput as o, formatSchemaVerifyJson as r, formatVerifyJson as s, formatIntrospectJson as t };
 
-//# sourceMappingURL=verify-DDCb0R2r.mjs.map
+//# sourceMappingURL=verify-C4RazDE1.mjs.map

package/dist/verify-C4RazDE1.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-C4RazDE1.mjs","names":[],"sources":["../src/utils/formatters/verify.ts"],"sourcesContent":["import type {\n  CoreSchemaView,\n  ExpectationFailureReason,\n  IntrospectSchemaResult,\n  SchemaDiffIssue,\n  SchemaTreeNode,\n  SignDatabaseResult,\n  VerifyDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport { issueOutcome } from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { bold, cyan, dim, green, magenta, red, yellow } from 'colorette';\nimport type { GlobalFlags } from '../global-flags';\nimport { createColorFormatter, formatDim, isVerbose } from './helpers';\n\n/** Human-readable label for each outcome, prefixed onto an issue's message for display. */\nconst OUTCOME_LABEL: Record<ExpectationFailureReason, string> = {\n  'not-found': 'missing',\n  'not-expected': 'extra',\n  'not-equal': 'mismatch',\n};\n\n/**\n * The issue's display text: its own path, prefixed with a human label for\n * why it's flagged. Turning the presence-derived outcome (and the path) into\n * prose is this formatter's job, not the differ's — the differ's issue is\n * data (`path` + nodes), not prose.\n */\nfunction formatIssueMessage(issue: SchemaDiffIssue): string {\n  return `${OUTCOME_LABEL[issueOutcome(issue)]}: ${issue.path.join('/')}`;\n}\n\n// ============================================================================\n// Verify Output Formatters\n// ============================================================================\n\nexport interface DbVerifyCommandSuccessResult {\n  readonly ok: true;\n  readonly mode: 'full' | 'marker-only';\n  readonly summary: string;\n  readonly contract: VerifyDatabaseResult['contract'];\n  readonly marker?: VerifyDatabaseResult['marker'];\n  readonly target: VerifyDatabaseResult['target'];\n  readonly missingCodecs?: VerifyDatabaseResult['missingCodecs'];\n  readonly codecCoverageSkipped?: VerifyDatabaseResult['codecCoverageSkipped'];\n  readonly schema?: {\n    readonly summary: string;\n    readonly strict: boolean;\n    /**\n     * Warn-graded finding messages (observed-policy drift). Informational —\n     * present on a passing verify; the full-mode result summarizes them as a\n     * flat message list.\n     */\n    readonly warnings?: readonly string[];\n  };\n  /**\n   * Live element names no contract space declares. In full success this is\n   * only ever non-empty in lenient mode — strict mode fails on it — and is\n   * rendered informationally.\n   */\n  readonly unclaimed?: readonly string[];\n  readonly warning?: string;\n  readonly meta?:\n    | (NonNullable<VerifyDatabaseResult['meta']> & {\n        readonly schemaVerification: 'performed' | 'skipped';\n      })\n    | {\n        readonly schemaVerification: 'performed' | 'skipped';\n      };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\n/**\n * Formats human-readable output for database verify.\n */\nexport function formatVerifyOutput(\n  result: DbVerifyCommandSuccessResult,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatYellow = createColorFormatter(useColor, yellow);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n  const verificationMode =\n    result.mode === 'full'\n      ? `marker + schema${result.schema?.strict ? ' (strict)' : ' (tolerant)'}`\n      : 'marker only (--marker-only)';\n\n  lines.push(`${formatGreen('✔')} ${result.summary}`);\n  lines.push(`${formatDimText(`  verification: ${verificationMode}`)}`);\n  lines.push(`${formatDimText(`  storageHash: ${result.contract.storageHash}`)}`);\n  if (result.contract.profileHash) {\n    lines.push(`${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);\n  }\n  if (result.schema?.warnings && result.schema.warnings.length > 0) {\n    lines.push('');\n    lines.push(formatYellow('Schema warnings:'));\n    for (const message of result.schema.warnings) {\n      lines.push(`  ${formatYellow('⚠')} ${message}`);\n    }\n  }\n\n  if (result.unclaimed && result.unclaimed.length > 0) {\n    lines.push('');\n    lines.push(formatYellow('Unclaimed elements (declared by no contract):'));\n    for (const name of result.unclaimed) {\n      lines.push(`  ${formatYellow('⚠')} ${name}`);\n    }\n  }\n\n  if (result.warning) {\n    lines.push('');\n    lines.push(`${formatYellow('⚠')} ${result.warning}`);\n  }\n\n  if (isVerbose(flags, 1)) {\n    if (result.codecCoverageSkipped) {\n      lines.push(\n        `${formatDimText('  Codec coverage check skipped (helper returned no supported types)')}`,\n      );\n    }\n    lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats JSON output for database verify.\n */\nexport function formatVerifyJson(result: DbVerifyCommandSuccessResult): string {\n  const output = {\n    ok: result.ok,\n    summary: result.summary,\n    mode: result.mode,\n    contract: result.contract,\n    ...ifDefined('marker', result.marker),\n    target: result.target,\n    ...ifDefined('missingCodecs', result.missingCodecs),\n    ...ifDefined('codecCoverageSkipped', result.codecCoverageSkipped),\n    ...ifDefined('schema', result.schema),\n    unclaimed: result.unclaimed ?? [],\n    ...ifDefined('warning', result.warning),\n    ...ifDefined('meta', result.meta),\n    timings: result.timings,\n  };\n\n  return JSON.stringify(output, null, 2);\n}\n\n/**\n * Formats JSON output for database introspection.\n */\nexport function formatIntrospectJson(result: IntrospectSchemaResult<unknown>): string {\n  return JSON.stringify(result, null, 2);\n}\n\n/**\n * Renders a schema tree structure from CoreSchemaView.\n * Status-glyph tree styling shared with the retired verification-tree renderer.\n */\nfunction renderSchemaTree(\n  node: SchemaTreeNode,\n  flags: GlobalFlags,\n  options: {\n    readonly isLast: boolean;\n    readonly prefix: string;\n    readonly useColor: boolean;\n    readonly formatDimText: (text: string) => string;\n    readonly isRoot?: boolean;\n  },\n): string[] {\n  const { isLast, prefix, useColor, formatDimText, isRoot = false } = options;\n  const lines: string[] = [];\n\n  // Format node label with color based on kind (matching schema-verify style)\n  let formattedLabel: string = node.label;\n\n  if (useColor) {\n    switch (node.kind) {\n      case 'root':\n        formattedLabel = bold(node.label);\n        break;\n      case 'entity': {\n        // Parse \"table tableName\" format - color \"table\" dim, tableName cyan\n        const tableMatch = node.label.match(/^table\\s+(.+)$/);\n        if (tableMatch?.[1]) {\n          const tableName = tableMatch[1];\n          formattedLabel = `${dim('table')} ${cyan(tableName)}`;\n        } else {\n          // Fallback: color entire label with cyan\n          formattedLabel = cyan(node.label);\n        }\n        break;\n      }\n      case 'collection': {\n        // \"columns\" grouping node - dim the label\n        formattedLabel = dim(node.label);\n        break;\n      }\n      case 'field': {\n        // Parse column name format: \"columnName: typeDisplay (nullability)\"\n        // Color code: column name (cyan), type (default), nullability (dim)\n        const columnMatch = node.label.match(/^([^:]+):\\s*(.+)$/);\n        if (columnMatch?.[1] && columnMatch[2]) {\n          const columnName = columnMatch[1];\n          const rest = columnMatch[2];\n          // Parse rest: \"typeDisplay (nullability)\"\n          const typeMatch = rest.match(/^([^\\s(]+)\\s*(\\([^)]+\\))$/);\n          if (typeMatch?.[1] && typeMatch[2]) {\n            const typeDisplay = typeMatch[1];\n            const nullability = typeMatch[2];\n            formattedLabel = `${cyan(columnName)}: ${typeDisplay} ${dim(nullability)}`;\n          } else {\n            // Fallback if format doesn't match\n            formattedLabel = `${cyan(columnName)}: ${rest}`;\n          }\n        } else {\n          formattedLabel = node.label;\n        }\n        break;\n      }\n      case 'index': {\n        // Parse index/unique constraint/primary key formats\n        // \"primary key: columnName\" -> dim \"primary key\", cyan columnName\n        const pkMatch = node.label.match(/^primary key:\\s*(.+)$/);\n        if (pkMatch?.[1]) {\n          const columnNames = pkMatch[1];\n          formattedLabel = `${dim('primary key')}: ${cyan(columnNames)}`;\n        } else {\n          // \"unique name\" -> dim \"unique\", cyan \"name\"\n          const uniqueMatch = node.label.match(/^unique\\s+(.+)$/);\n          if (uniqueMatch?.[1]) {\n            const name = uniqueMatch[1];\n            formattedLabel = `${dim('unique')} ${cyan(name)}`;\n          } else {\n            // \"index name\" or \"unique index name\" -> dim label prefix, cyan name\n            const indexMatch = node.label.match(/^(unique\\s+)?index\\s+(.+)$/);\n            if (indexMatch?.[2]) {\n              const indexPrefix = indexMatch[1] ? `${dim('unique')} ` : '';\n              const name = indexMatch[2];\n              formattedLabel = `${indexPrefix}${dim('index')} ${cyan(name)}`;\n            } else {\n              formattedLabel = dim(node.label);\n            }\n          }\n        }\n        break;\n      }\n      case 'dependency': {\n        // Parse extension message formats similar to schema-verify\n        // \"extensionName extension is enabled\" -> cyan extensionName, dim rest\n        const extMatch = node.label.match(/^([^\\s]+)\\s+(extension is enabled)$/);\n        if (extMatch?.[1] && extMatch[2]) {\n          const extName = extMatch[1];\n          const rest = extMatch[2];\n          formattedLabel = `${cyan(extName)} ${dim(rest)}`;\n        } else {\n          // Fallback: color entire label with magenta\n          formattedLabel = magenta(node.label);\n        }\n        break;\n      }\n      default:\n        formattedLabel = node.label;\n        break;\n    }\n  }\n\n  // Root node renders without tree characters or prefix\n  if (isRoot) {\n    lines.push(formattedLabel);\n  } else {\n    const treeChar = isLast ? '└' : '├';\n    const treePrefix = `${formatDimText(treeChar)}─ `;\n    lines.push(`${prefix}${treePrefix}${formattedLabel}`);\n  }\n\n  // Render children if present\n  if (node.children && node.children.length > 0) {\n    const childPrefix = isRoot ? '' : `${prefix}${isLast ? '   ' : `${formatDimText('│')}  `}`;\n    for (let i = 0; i < node.children.length; i++) {\n      const child = node.children[i];\n      if (!child) continue;\n      const isLastChild = i === node.children.length - 1;\n      const childLines = renderSchemaTree(child, flags, {\n        isLast: isLastChild,\n        prefix: childPrefix,\n        useColor,\n        formatDimText,\n        isRoot: false,\n      });\n      lines.push(...childLines);\n    }\n  }\n\n  return lines;\n}\n\n/**\n * Formats human-readable output for database introspection.\n */\nexport function formatIntrospectOutput(\n  result: IntrospectSchemaResult<unknown>,\n  schemaView: CoreSchemaView | undefined,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  if (schemaView) {\n    // Render tree structure - root node is special (no tree characters)\n    const treeLines = renderSchemaTree(schemaView.root, flags, {\n      isLast: true,\n      prefix: '',\n      useColor,\n      formatDimText,\n      isRoot: true,\n    });\n    lines.push(...treeLines);\n  } else {\n    // Fallback: print summary when toSchemaView is not available\n    lines.push(`✔ ${result.summary}`);\n    if (isVerbose(flags, 1)) {\n      lines.push(`  Target: ${result.target.familyId}/${result.target.id}`);\n      if (result.meta?.dbUrl) {\n        lines.push(`  Database: ${result.meta.dbUrl}`);\n      }\n    }\n  }\n\n  // Add timings in verbose mode\n  if (isVerbose(flags, 1)) {\n    lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats human-readable output for database schema verification.\n */\nexport function formatSchemaVerifyOutput(\n  result: VerifyDatabaseSchemaResult,\n  flags: GlobalFlags,\n  unclaimed: readonly string[] = [],\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatRed = createColorFormatter(useColor, red);\n  const formatYellow = createColorFormatter(useColor, yellow);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  const issueMessages = result.schema.issues.map(formatIssueMessage);\n  if (issueMessages.length > 0) {\n    lines.push(formatRed('Schema issues:'));\n    for (const message of issueMessages) {\n      lines.push(`  ${formatRed('✖')} ${message}`);\n    }\n  }\n\n  const warningMessages = (result.schema.warnings?.issues ?? []).map(formatIssueMessage);\n  if (warningMessages.length > 0) {\n    if (lines.length > 0) lines.push('');\n    lines.push(formatYellow('Schema warnings:'));\n    for (const message of warningMessages) {\n      lines.push(`  ${formatYellow('⚠')} ${message}`);\n    }\n  }\n\n  if (unclaimed.length > 0) {\n    const strict = result.meta?.strict ?? false;\n    if (lines.length > 0) lines.push('');\n    lines.push(\n      (strict ? formatRed : formatYellow)('Unclaimed elements (declared by no contract):'),\n    );\n    for (const name of unclaimed) {\n      lines.push(`  ${(strict ? formatRed : formatYellow)(strict ? '✖' : '⚠')} ${name}`);\n    }\n  }\n\n  if (isVerbose(flags, 1)) {\n    lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n  }\n\n  // Blank line before summary\n  if (lines.length > 0) lines.push('');\n\n  // Summary line at the end: verdict with status glyph\n  if (result.ok) {\n    lines.push(`${formatGreen('✔')} ${result.summary}`);\n  } else {\n    const codeText = result.code ? ` (${result.code})` : '';\n    lines.push(`${formatRed('✖')} ${result.summary}${codeText}`);\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats JSON output for database schema verification. The unclaimed-elements\n * list is a top-level field alongside the combined result, reported once for\n * the whole database.\n */\nexport function formatSchemaVerifyJson(\n  result: VerifyDatabaseSchemaResult,\n  unclaimed: readonly string[] = [],\n): string {\n  return JSON.stringify({ ...result, unclaimed }, null, 2);\n}\n\n// ============================================================================\n// Sign Output Formatters\n// ============================================================================\n\n/**\n * Formats human-readable output for database sign.\n */\nexport function formatSignOutput(result: SignDatabaseResult, flags: GlobalFlags): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  if (result.ok) {\n    // Main success message in white (not dimmed)\n    lines.push(`${formatGreen('✔')} Database signed`);\n\n    // Show from -> to hashes with clear labels\n    const previousHash = result.marker.previous?.storageHash ?? 'none';\n    const currentHash = result.contract.storageHash;\n\n    lines.push(`${formatDimText(`  from: ${previousHash}`)}`);\n    lines.push(`${formatDimText(`  to:   ${currentHash}`)}`);\n\n    if (isVerbose(flags, 1)) {\n      if (result.contract.profileHash) {\n        lines.push(`${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);\n      }\n      if (result.marker.previous?.profileHash) {\n        lines.push(\n          `${formatDimText(`  previous profileHash: ${result.marker.previous.profileHash}`)}`,\n        );\n      }\n      lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n    }\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats JSON output for database sign.\n */\nexport function formatSignJson(result: SignDatabaseResult): string {\n  return JSON.stringify(result, null, 2);\n}\n"],"mappings":";;;;;;AAiBA,MAAM,gBAA0D;CAC9D,aAAa;CACb,gBAAgB;CAChB,aAAa;AACf;;;;;;;AAQA,SAAS,mBAAmB,OAAgC;CAC1D,OAAO,GAAG,cAAc,aAAa,KAAK,GAAG,IAAI,MAAM,KAAK,KAAK,GAAG;AACtE;;;;AA+CA,SAAgB,mBACd,QACA,OACQ;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,CAAC;CAEzB,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,KAAK;CACxD,MAAM,eAAe,qBAAqB,UAAU,MAAM;CAC1D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,IAAI;CAChE,MAAM,mBACJ,OAAO,SAAS,SACZ,kBAAkB,OAAO,QAAQ,SAAS,cAAc,kBACxD;CAEN,MAAM,KAAK,GAAG,YAAY,GAAG,EAAE,GAAG,OAAO,SAAS;CAClD,MAAM,KAAK,GAAG,cAAc,mBAAmB,kBAAkB,GAAG;CACpE,MAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,aAAa,GAAG;CAC9E,IAAI,OAAO,SAAS,aAClB,MAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,aAAa,GAAG;CAEhF,IAAI,OAAO,QAAQ,YAAY,OAAO,OAAO,SAAS,SAAS,GAAG;EAChE,MAAM,KAAK,EAAE;EACb,MAAM,KAAK,aAAa,kBAAkB,CAAC;EAC3C,KAAK,MAAM,WAAW,OAAO,OAAO,UAClC,MAAM,KAAK,KAAK,aAAa,GAAG,EAAE,GAAG,SAAS;CAElD;CAEA,IAAI,OAAO,aAAa,OAAO,UAAU,SAAS,GAAG;EACnD,MAAM,KAAK,EAAE;EACb,MAAM,KAAK,aAAa,+CAA+C,CAAC;EACxE,KAAK,MAAM,QAAQ,OAAO,WACxB,MAAM,KAAK,KAAK,aAAa,GAAG,EAAE,GAAG,MAAM;CAE/C;CAEA,IAAI,OAAO,SAAS;EAClB,MAAM,KAAK,EAAE;EACb,MAAM,KAAK,GAAG,aAAa,GAAG,EAAE,GAAG,OAAO,SAAS;CACrD;CAEA,IAAI,UAAU,OAAO,CAAC,GAAG;EACvB,IAAI,OAAO,sBACT,MAAM,KACJ,GAAG,cAAc,qEAAqE,GACxF;EAEF,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,GAAG,GAAG;CAC1E;CAEA,OAAO,MAAM,KAAK,IAAI;AACxB;;;;AAKA,SAAgB,iBAAiB,QAA8C;CAC7E,MAAM,SAAS;EACb,IAAI,OAAO;EACX,SAAS,OAAO;EAChB,MAAM,OAAO;EACb,UAAU,OAAO;EACjB,GAAG,UAAU,UAAU,OAAO,MAAM;EACpC,QAAQ,OAAO;EACf,GAAG,UAAU,iBAAiB,OAAO,aAAa;EAClD,GAAG,UAAU,wBAAwB,OAAO,oBAAoB;EAChE,GAAG,UAAU,UAAU,OAAO,MAAM;EACpC,WAAW,OAAO,aAAa,CAAC;EAChC,GAAG,UAAU,WAAW,OAAO,OAAO;EACtC,GAAG,UAAU,QAAQ,OAAO,IAAI;EAChC,SAAS,OAAO;CAClB;CAEA,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;AACvC;;;;AAKA,SAAgB,qBAAqB,QAAiD;CACpF,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;AACvC;;;;;AAMA,SAAS,iBACP,MACA,OACA,SAOU;CACV,MAAM,EAAE,QAAQ,QAAQ,UAAU,eAAe,SAAS,UAAU;CACpE,MAAM,QAAkB,CAAC;CAGzB,IAAI,iBAAyB,KAAK;CAElC,IAAI,UACF,QAAQ,KAAK,MAAb;EACE,KAAK;GACH,iBAAiB,KAAK,KAAK,KAAK;GAChC;EACF,KAAK,UAAU;GAEb,MAAM,aAAa,KAAK,MAAM,MAAM,gBAAgB;GACpD,IAAI,aAAa,IAAI;IACnB,MAAM,YAAY,WAAW;IAC7B,iBAAiB,GAAG,IAAI,OAAO,EAAE,GAAG,KAAK,SAAS;GACpD,OAEE,iBAAiB,KAAK,KAAK,KAAK;GAElC;EACF;EACA,KAAK;GAEH,iBAAiB,IAAI,KAAK,KAAK;GAC/B;EAEF,KAAK,SAAS;GAGZ,MAAM,cAAc,KAAK,MAAM,MAAM,mBAAmB;GACxD,IAAI,cAAc,MAAM,YAAY,IAAI;IACtC,MAAM,aAAa,YAAY;IAC/B,MAAM,OAAO,YAAY;IAEzB,MAAM,YAAY,KAAK,MAAM,2BAA2B;IACxD,IAAI,YAAY,MAAM,UAAU,IAAI;KAClC,MAAM,cAAc,UAAU;KAC9B,MAAM,cAAc,UAAU;KAC9B,iBAAiB,GAAG,KAAK,UAAU,EAAE,IAAI,YAAY,GAAG,IAAI,WAAW;IACzE,OAEE,iBAAiB,GAAG,KAAK,UAAU,EAAE,IAAI;GAE7C,OACE,iBAAiB,KAAK;GAExB;EACF;EACA,KAAK,SAAS;GAGZ,MAAM,UAAU,KAAK,MAAM,MAAM,uBAAuB;GACxD,IAAI,UAAU,IAAI;IAChB,MAAM,cAAc,QAAQ;IAC5B,iBAAiB,GAAG,IAAI,aAAa,EAAE,IAAI,KAAK,WAAW;GAC7D,OAAO;IAEL,MAAM,cAAc,KAAK,MAAM,MAAM,iBAAiB;IACtD,IAAI,cAAc,IAAI;KACpB,MAAM,OAAO,YAAY;KACzB,iBAAiB,GAAG,IAAI,QAAQ,EAAE,GAAG,KAAK,IAAI;IAChD,OAAO;KAEL,MAAM,aAAa,KAAK,MAAM,MAAM,4BAA4B;KAChE,IAAI,aAAa,IAAI;MACnB,MAAM,cAAc,WAAW,KAAK,GAAG,IAAI,QAAQ,EAAE,KAAK;MAC1D,MAAM,OAAO,WAAW;MACxB,iBAAiB,GAAG,cAAc,IAAI,OAAO,EAAE,GAAG,KAAK,IAAI;KAC7D,OACE,iBAAiB,IAAI,KAAK,KAAK;IAEnC;GACF;GACA;EACF;EACA,KAAK,cAAc;GAGjB,MAAM,WAAW,KAAK,MAAM,MAAM,qCAAqC;GACvE,IAAI,WAAW,MAAM,SAAS,IAAI;IAChC,MAAM,UAAU,SAAS;IACzB,MAAM,OAAO,SAAS;IACtB,iBAAiB,GAAG,KAAK,OAAO,EAAE,GAAG,IAAI,IAAI;GAC/C,OAEE,iBAAiB,QAAQ,KAAK,KAAK;GAErC;EACF;EACA;GACE,iBAAiB,KAAK;GACtB;CACJ;CAIF,IAAI,QACF,MAAM,KAAK,cAAc;MACpB;EAEL,MAAM,aAAa,GAAG,cADL,SAAS,MAAM,GACY,EAAE;EAC9C,MAAM,KAAK,GAAG,SAAS,aAAa,gBAAgB;CACtD;CAGA,IAAI,KAAK,YAAY,KAAK,SAAS,SAAS,GAAG;EAC7C,MAAM,cAAc,SAAS,KAAK,GAAG,SAAS,SAAS,QAAQ,GAAG,cAAc,GAAG,EAAE;EACrF,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,SAAS,QAAQ,KAAK;GAC7C,MAAM,QAAQ,KAAK,SAAS;GAC5B,IAAI,CAAC,OAAO;GAEZ,MAAM,aAAa,iBAAiB,OAAO,OAAO;IAChD,QAFkB,MAAM,KAAK,SAAS,SAAS;IAG/C,QAAQ;IACR;IACA;IACA,QAAQ;GACV,CAAC;GACD,MAAM,KAAK,GAAG,UAAU;EAC1B;CACF;CAEA,OAAO;AACT;;;;AAKA,SAAgB,uBACd,QACA,YACA,OACQ;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,CAAC;CAEzB,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,iBAAiB,SAAiB,UAAU,UAAU,IAAI;CAEhE,IAAI,YAAY;EAEd,MAAM,YAAY,iBAAiB,WAAW,MAAM,OAAO;GACzD,QAAQ;GACR,QAAQ;GACR;GACA;GACA,QAAQ;EACV,CAAC;EACD,MAAM,KAAK,GAAG,SAAS;CACzB,OAAO;EAEL,MAAM,KAAK,KAAK,OAAO,SAAS;EAChC,IAAI,UAAU,OAAO,CAAC,GAAG;GACvB,MAAM,KAAK,aAAa,OAAO,OAAO,SAAS,GAAG,OAAO,OAAO,IAAI;GACpE,IAAI,OAAO,MAAM,OACf,MAAM,KAAK,eAAe,OAAO,KAAK,OAAO;EAEjD;CACF;CAGA,IAAI,UAAU,OAAO,CAAC,GACpB,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,GAAG,GAAG;CAG1E,OAAO,MAAM,KAAK,IAAI;AACxB;;;;AAKA,SAAgB,yBACd,QACA,OACA,YAA+B,CAAC,GACxB;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,CAAC;CAEzB,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,KAAK;CACxD,MAAM,YAAY,qBAAqB,UAAU,GAAG;CACpD,MAAM,eAAe,qBAAqB,UAAU,MAAM;CAC1D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,IAAI;CAEhE,MAAM,gBAAgB,OAAO,OAAO,OAAO,IAAI,kBAAkB;CACjE,IAAI,cAAc,SAAS,GAAG;EAC5B,MAAM,KAAK,UAAU,gBAAgB,CAAC;EACtC,KAAK,MAAM,WAAW,eACpB,MAAM,KAAK,KAAK,UAAU,GAAG,EAAE,GAAG,SAAS;CAE/C;CAEA,MAAM,mBAAmB,OAAO,OAAO,UAAU,UAAU,CAAC,EAAA,CAAG,IAAI,kBAAkB;CACrF,IAAI,gBAAgB,SAAS,GAAG;EAC9B,IAAI,MAAM,SAAS,GAAG,MAAM,KAAK,EAAE;EACnC,MAAM,KAAK,aAAa,kBAAkB,CAAC;EAC3C,KAAK,MAAM,WAAW,iBACpB,MAAM,KAAK,KAAK,aAAa,GAAG,EAAE,GAAG,SAAS;CAElD;CAEA,IAAI,UAAU,SAAS,GAAG;EACxB,MAAM,SAAS,OAAO,MAAM,UAAU;EACtC,IAAI,MAAM,SAAS,GAAG,MAAM,KAAK,EAAE;EACnC,MAAM,MACH,SAAS,YAAY,aAAA,CAAc,+CAA+C,CACrF;EACA,KAAK,MAAM,QAAQ,WACjB,MAAM,KAAK,MAAM,SAAS,YAAY,aAAA,CAAc,SAAS,MAAM,GAAG,EAAE,GAAG,MAAM;CAErF;CAEA,IAAI,UAAU,OAAO,CAAC,GACpB,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,GAAG,GAAG;CAI1E,IAAI,MAAM,SAAS,GAAG,MAAM,KAAK,EAAE;CAGnC,IAAI,OAAO,IACT,MAAM,KAAK,GAAG,YAAY,GAAG,EAAE,GAAG,OAAO,SAAS;MAC7C;EACL,MAAM,WAAW,OAAO,OAAO,KAAK,OAAO,KAAK,KAAK;EACrD,MAAM,KAAK,GAAG,UAAU,GAAG,EAAE,GAAG,OAAO,UAAU,UAAU;CAC7D;CAEA,OAAO,MAAM,KAAK,IAAI;AACxB;;;;;;AAOA,SAAgB,uBACd,QACA,YAA+B,CAAC,GACxB;CACR,OAAO,KAAK,UAAU;EAAE,GAAG;EAAQ;CAAU,GAAG,MAAM,CAAC;AACzD;;;;AASA,SAAgB,iBAAiB,QAA4B,OAA4B;CACvF,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,CAAC;CAEzB,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,KAAK;CACxD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,IAAI;CAEhE,IAAI,OAAO,IAAI;EAEb,MAAM,KAAK,GAAG,YAAY,GAAG,EAAE,iBAAiB;EAGhD,MAAM,eAAe,OAAO,OAAO,UAAU,eAAe;EAC5D,MAAM,cAAc,OAAO,SAAS;EAEpC,MAAM,KAAK,GAAG,cAAc,WAAW,cAAc,GAAG;EACxD,MAAM,KAAK,GAAG,cAAc,WAAW,aAAa,GAAG;EAEvD,IAAI,UAAU,OAAO,CAAC,GAAG;GACvB,IAAI,OAAO,SAAS,aAClB,MAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,aAAa,GAAG;GAEhF,IAAI,OAAO,OAAO,UAAU,aAC1B,MAAM,KACJ,GAAG,cAAc,2BAA2B,OAAO,OAAO,SAAS,aAAa,GAClF;GAEF,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,GAAG,GAAG;EAC1E;CACF;CAEA,OAAO,MAAM,KAAK,IAAI;AACxB;;;;AAKA,SAAgB,eAAe,QAAoC;CACjE,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;AACvC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prisma-next/cli",
-  "version": "0.15.0",
+  "version": "0.16.0-dev.10",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
@@ -8,44 +8,44 @@
     "prisma-next": "./dist/cli.js"
   },
   "dependencies": {
-    "@clack/prompts": "^1.6.0",
-    "@prisma-next/config": "0.15.0",
-    "@prisma-next/config-loader": "0.15.0",
-    "@prisma-next/contract": "0.15.0",
-    "@prisma-next/emitter": "0.15.0",
-    "@prisma-next/errors": "0.15.0",
-    "@prisma-next/framework-components": "0.15.0",
-    "@prisma-next/language-server": "0.15.0",
-    "@prisma-next/migration-tools": "0.15.0",
-    "@prisma-next/psl-parser": "0.15.0",
-    "@prisma-next/psl-printer": "0.15.0",
-    "@prisma-next/cli-telemetry": "0.15.0",
-    "@prisma-next/utils": "0.15.0",
+    "@clack/prompts": "^1.7.0",
+    "@prisma-next/config": "0.16.0-dev.10",
+    "@prisma-next/config-loader": "0.16.0-dev.10",
+    "@prisma-next/contract": "0.16.0-dev.10",
+    "@prisma-next/emitter": "0.16.0-dev.10",
+    "@prisma-next/errors": "0.16.0-dev.10",
+    "@prisma-next/framework-components": "0.16.0-dev.10",
+    "@prisma-next/language-server": "0.16.0-dev.10",
+    "@prisma-next/migration-tools": "0.16.0-dev.10",
+    "@prisma-next/psl-parser": "0.16.0-dev.10",
+    "@prisma-next/psl-printer": "0.16.0-dev.10",
+    "@prisma-next/cli-telemetry": "0.16.0-dev.10",
+    "@prisma-next/utils": "0.16.0-dev.10",
     "arktype": "^2.2.2",
     "ci-info": "^4.3.1",
     "clipanion": "4.0.0-rc.4",
     "closest-match": "^1.3.3",
     "colorette": "^2.0.20",
-    "commander": "^14.0.3",
+    "commander": "^15.0.0",
     "esbuild": "^0.28.1",
     "jsonc-parser": "^3.3.1",
     "package-manager-detector": "^1.7.0",
     "pathe": "^2.0.3",
-    "string-width": "^8.2.1",
+    "string-width": "^8.2.2",
     "strip-ansi": "^7.2.0",
     "wrap-ansi": "^10.0.0"
   },
   "devDependencies": {
-    "@prisma-next/sql-contract": "0.15.0",
-    "@prisma-next/sql-contract-emitter": "0.15.0",
-    "@prisma-next/sql-contract-ts": "0.15.0",
-    "@prisma-next/sql-operations": "0.15.0",
-    "@prisma-next/sql-runtime": "0.15.0",
-    "@prisma-next/test-utils": "0.15.0",
-    "@prisma-next/tsconfig": "0.15.0",
-    "@prisma-next/tsdown": "0.15.0",
+    "@prisma-next/sql-contract": "0.16.0-dev.10",
+    "@prisma-next/sql-contract-emitter": "0.16.0-dev.10",
+    "@prisma-next/sql-contract-ts": "0.16.0-dev.10",
+    "@prisma-next/sql-operations": "0.16.0-dev.10",
+    "@prisma-next/sql-runtime": "0.16.0-dev.10",
+    "@prisma-next/test-utils": "0.16.0-dev.10",
+    "@prisma-next/tsconfig": "0.16.0-dev.10",
+    "@prisma-next/tsdown": "0.16.0-dev.10",
     "@types/node": "25.9.4",
-    "tsdown": "0.22.3",
+    "tsdown": "0.22.8",
     "typescript": "5.9.3",
     "vitest": "4.1.10"
   },

package/src/commands/db-init.ts

@@ -52,7 +52,7 @@ function mapDbInitFailure(failure: DbInitFailure): CliStructuredError {
     return errorMigrationPlanningFailed({ conflicts: failure.conflicts ?? [] });
   }
 
-  if (failure.code === 'MARKER_ORIGIN_MISMATCH') {
+  if (failure.code === 'MIGRATION.MARKER_ORIGIN_MISMATCH') {
     const mismatchParts: string[] = [];
     if (
       failure.marker?.storageHash !== failure.destination?.storageHash &&
@@ -79,7 +79,7 @@ function mapDbInitFailure(failure: DbInitFailure): CliStructuredError {
         why: 'Database has an existing signature (marker) that does not match the target contract',
         fix: 'If bootstrapping, drop/reset the database then re-run `prisma-next db init`; otherwise reconcile schema/marker using your migration workflow',
         meta: {
-          code: 'MARKER_ORIGIN_MISMATCH',
+          code: 'MIGRATION.MARKER_ORIGIN_MISMATCH',
           ...ifDefined('markerStorageHash', failure.marker?.storageHash),
           ...ifDefined('destinationStorageHash', failure.destination?.storageHash),
           ...ifDefined('markerProfileHash', failure.marker?.profileHash),
@@ -95,7 +95,7 @@ function mapDbInitFailure(failure: DbInitFailure): CliStructuredError {
         ? failure.meta['runnerErrorCode']
         : undefined;
     const fix =
-      runnerCode === 'LEGACY_MARKER_SHAPE'
+      runnerCode === 'MIGRATION.LEGACY_MARKER_SHAPE'
         ? 'Legacy marker-table shape detected. Drop `prisma_contract.marker` (Postgres) or `_prisma_marker` (SQLite) and re-run `prisma-next db init` to recreate it with the current per-space schema.'
         : 'Fix the schema mismatch (db init is additive-only), or drop/reset the database and re-run `prisma-next db init`';
     return errorRunnerFailed(failure.summary, {
@@ -176,6 +176,7 @@ async function executeDbInitCommand(
           ...ifDefined('advanceRef', options.advanceRef),
           ...ifDefined('db', options.db),
           refsDir,
+          migrationsDir,
           contractIR,
           mode: result.value.mode,
           hash: advancementHash,

package/src/commands/db-sign.ts

@@ -4,11 +4,12 @@ import type {
   SignDatabaseResult,
   VerifyDatabaseSchemaResult,
 } from '@prisma-next/framework-components/control';
+import { readContractSnapshotJson } from '@prisma-next/migration-tools/contract-snapshot-store';
 import { MigrationToolsError } from '@prisma-next/migration-tools/errors';
 import { parseContractRef } from '@prisma-next/migration-tools/ref-resolution';
 import { notOk, ok, type Result } from '@prisma-next/utils/result';
 import { Command } from 'commander';
-import { join, relative, resolve } from 'pathe';
+import { relative, resolve } from 'pathe';
 import { createControlClient } from '../control-api/client';
 import { ContractValidationError } from '../control-api/errors';
 import {
@@ -113,9 +114,10 @@ async function executeDbSignCommand(
       const targetHash = refResult.value.hash;
       const matchingBundle = bundles.find((p) => p.metadata.to === targetHash);
       if (matchingBundle) {
-        const endContractPath = join(matchingBundle.dirPath, 'end-contract.json');
-        const raw = await readFile(endContractPath, 'utf-8');
-        contractJson = JSON.parse(raw) as Record<string, unknown>;
+        contractJson = (await readContractSnapshotJson(migrationsDir, targetHash)) as Record<
+          string,
+          unknown
+        >;
       } else {
         const defaultRaw = await readFile(contractPathAbsolute, 'utf-8');
         const defaultContract = JSON.parse(defaultRaw) as Record<string, unknown>;

package/src/commands/db-update.ts

@@ -1,4 +1,7 @@
-import { readFile } from 'node:fs/promises';
+import {
+  contractSnapshotDir,
+  readContractSnapshotJson,
+} from '@prisma-next/migration-tools/contract-snapshot-store';
 import { MigrationToolsError } from '@prisma-next/migration-tools/errors';
 import { parseContractRef } from '@prisma-next/migration-tools/ref-resolution';
 import { ifDefined } from '@prisma-next/utils/defined';
@@ -65,7 +68,7 @@ function mapDbUpdateFailure(failure: DbUpdateFailure): CliStructuredError {
         ? failure.meta['runnerErrorCode']
         : undefined;
     const fix =
-      runnerCode === 'LEGACY_MARKER_SHAPE'
+      runnerCode === 'MIGRATION.LEGACY_MARKER_SHAPE'
         ? 'Legacy marker-table shape detected. Drop `prisma_contract.marker` (Postgres) or `_prisma_marker` (SQLite) and re-run `prisma-next db init` to recreate it with the current per-space schema.'
         : 'Inspect the reported conflict, reconcile schema drift if needed, then re-run `prisma-next db update`';
     return errorRunnerFailed(failure.summary, {
@@ -135,16 +138,20 @@ async function executeDbUpdateCommand(
           errorUnexpected(
             `No migration bundle found for --to "${options.to}" (resolved hash: ${targetHash})`,
             {
-              why: `The ref resolved successfully but no on-disk migration package has an end-contract hash matching ${targetHash}.`,
+              why: `The ref resolved successfully but no on-disk migration package has a destination (\`to\`) hash matching ${targetHash}.`,
               fix: 'Provide a ref or hash that corresponds to an existing migration package, or run `migration list` to see available migrations.',
             },
           ),
         );
       }
-      const endContractPath = join(matchingBundle.dirPath, 'end-contract.json');
-      const raw = await readFile(endContractPath, 'utf-8');
-      contractJson = JSON.parse(raw) as Record<string, unknown>;
-      contractJsonPathForSnapshot = endContractPath;
+      contractJson = (await readContractSnapshotJson(migrationsDir, targetHash)) as Record<
+        string,
+        unknown
+      >;
+      contractJsonPathForSnapshot = join(
+        contractSnapshotDir(migrationsDir, targetHash),
+        'contract.json',
+      );
     } catch (error) {
       if (MigrationToolsError.is(error)) {
         return notOk(mapMigrationToolsError(error));
@@ -193,6 +200,7 @@ async function executeDbUpdateCommand(
           ...ifDefined('advanceRef', options.advanceRef),
           ...ifDefined('db', options.db),
           refsDir,
+          migrationsDir,
           contractIR,
           mode: result.value.mode,
           hash: advancementHash,

package/src/commands/db-verify.ts

@@ -106,8 +106,7 @@ function errorInvalidVerifyMode(options: {
   readonly why: string;
   readonly fix: string;
 }): CliStructuredError {
-  return new CliStructuredError('4012', 'Invalid verify mode', {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INVALID_VERIFY_MODE', 'Invalid verify mode', {
     why: options.why,
     fix: options.fix,
     docsUrl: 'https://pris.ly/db-verify',
@@ -368,7 +367,7 @@ async function executeDbVerifyCommand(
 
   try {
     // Single-contract marker verification preserved for the existing
-    // marker / target / hash failure surface (`PN-RUN-3001/3002/3003`).
+    // marker / target / hash failure surface (`CONTRACT.MARKER_MISSING/CONTRACT.MARKER_MISMATCH/CONTRACT.TARGET_MISMATCH`).
     // The aggregate verifier (run below for the per-space marker /
     // schema checks) does not duplicate this: it concerns itself with
     // marker-vs-on-disk and orphan-marker drift, not the

package/src/commands/init/errors.ts

@@ -6,8 +6,7 @@ import { CliStructuredError } from '../../utils/cli-errors';
  * the user was never given the choice — `--force` is the contract.
  */
 export function errorInitReinitNeedsForce(): CliStructuredError {
-  return new CliStructuredError('5002', 'Project is already initialized', {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INIT_REINIT_NEEDS_FORCE', 'Project is already initialized', {
     why: 'A `prisma-next.config.ts` already exists in this directory. Re-running `init` would overwrite the scaffolded files; in non-interactive mode `init` will not do that without `--force`.',
     fix: 'Pass `--force` to overwrite the existing scaffold, or run `init` interactively to confirm.',
     docsUrl: 'https://prisma-next.dev/docs/cli/init',
@@ -42,8 +41,7 @@ export function errorInitMissingFlags(options: {
       }
     })
     .join(' ');
-  return new CliStructuredError('5003', 'Missing required flags', {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INIT_MISSING_FLAGS', 'Missing required flags', {
     why: `${options.why} Missing required flag(s): ${flagList}.`,
     fix: `Re-run with the missing flag(s) supplied, e.g. \`prisma-next init --yes ${fixList}\`. Use \`prisma-next init --help\` to see every flag.`,
     docsUrl: 'https://prisma-next.dev/docs/cli/init',
@@ -60,13 +58,16 @@ export function errorInitInvalidFlagValue(options: {
   readonly value: string;
   readonly allowed: readonly string[];
 }): CliStructuredError {
-  return new CliStructuredError('5004', `Invalid value for --${options.flag}`, {
-    domain: 'CLI',
-    why: `\`--${options.flag} ${options.value}\` is not one of: ${options.allowed.join(', ')}.`,
-    fix: `Use one of: ${options.allowed.map((v) => `--${options.flag} ${v}`).join(', ')}.`,
-    docsUrl: 'https://prisma-next.dev/docs/cli/init',
-    meta: { flag: options.flag, value: options.value, allowed: options.allowed },
-  });
+  return new CliStructuredError(
+    'CLI.INIT_INVALID_FLAG_VALUE',
+    `Invalid value for --${options.flag}`,
+    {
+      why: `\`--${options.flag} ${options.value}\` is not one of: ${options.allowed.join(', ')}.`,
+      fix: `Use one of: ${options.allowed.map((v) => `--${options.flag} ${v}`).join(', ')}.`,
+      docsUrl: 'https://prisma-next.dev/docs/cli/init',
+      meta: { flag: options.flag, value: options.value, allowed: options.allowed },
+    },
+  );
 }
 
 /**
@@ -81,23 +82,26 @@ export function errorInitAuthoringSchemaPathMismatch(options: {
   readonly expectedExtension: string;
 }): CliStructuredError {
   const expectedAuthoring = options.expectedExtension === '.ts' ? 'typescript' : 'psl';
-  return new CliStructuredError('5014', 'Authoring and schema path do not match', {
-    domain: 'CLI',
-    why:
-      `\`--authoring ${options.authoring}\` requires a schema file ending in ${options.expectedExtension}, ` +
-      `but \`--schema-path ${options.schemaPath}\` ends in ${options.actualExtension}.`,
-    fix:
-      `Use a matching pair, for example \`--authoring ${expectedAuthoring} --schema-path <path>${options.expectedExtension}\`, ` +
-      'or change `--authoring` to match the path you supplied. ' +
-      'You can also omit `--schema-path` to use the default for the chosen authoring.',
-    docsUrl: 'https://prisma-next.dev/docs/cli/init',
-    meta: {
-      authoring: options.authoring,
-      schemaPath: options.schemaPath,
-      actualExtension: options.actualExtension,
-      expectedExtension: options.expectedExtension,
+  return new CliStructuredError(
+    'CLI.INIT_AUTHORING_SCHEMA_PATH_MISMATCH',
+    'Authoring and schema path do not match',
+    {
+      why:
+        `\`--authoring ${options.authoring}\` requires a schema file ending in ${options.expectedExtension}, ` +
+        `but \`--schema-path ${options.schemaPath}\` ends in ${options.actualExtension}.`,
+      fix:
+        `Use a matching pair, for example \`--authoring ${expectedAuthoring} --schema-path <path>${options.expectedExtension}\`, ` +
+        'or change `--authoring` to match the path you supplied. ' +
+        'You can also omit `--schema-path` to use the default for the chosen authoring.',
+      docsUrl: 'https://prisma-next.dev/docs/cli/init',
+      meta: {
+        authoring: options.authoring,
+        schemaPath: options.schemaPath,
+        actualExtension: options.actualExtension,
+        expectedExtension: options.expectedExtension,
+      },
     },
-  });
+  );
 }
 
 /**
@@ -108,8 +112,7 @@ export function errorInitAuthoringSchemaPathMismatch(options: {
  * 3 (USER_ABORTED).
  */
 export function errorInitUserAborted(): CliStructuredError {
-  return new CliStructuredError('5006', 'Init cancelled', {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INIT_USER_ABORTED', 'Init cancelled', {
     why: 'The interactive prompt was cancelled before all required inputs were supplied. No files were modified.',
     fix: 'Re-run `prisma-next init` and complete the prompts, or pass the required inputs as flags (see `--help`) for a non-interactive run.',
     severity: 'info',
@@ -125,12 +128,15 @@ export function errorInitUserAborted(): CliStructuredError {
  * mode is supposed to prevent.
  */
 export function errorInitStrictProbeWithoutProbe(): CliStructuredError {
-  return new CliStructuredError('5005', '`--strict-probe` requires `--probe-db`', {
-    domain: 'CLI',
-    why: '`--strict-probe` only changes how a *failed* probe is reported; without `--probe-db` no probe is attempted in the first place. (`init` is offline-by-default — it never opens a connection to your database without explicit consent.)',
-    fix: 'Add `--probe-db` to opt in to the probe, or drop `--strict-probe` if you do not need the version check.',
-    docsUrl: 'https://prisma-next.dev/docs/cli/init',
-  });
+  return new CliStructuredError(
+    'CLI.INIT_STRICT_PROBE_WITHOUT_PROBE',
+    '`--strict-probe` requires `--probe-db`',
+    {
+      why: '`--strict-probe` only changes how a *failed* probe is reported; without `--probe-db` no probe is attempted in the first place. (`init` is offline-by-default — it never opens a connection to your database without explicit consent.)',
+      fix: 'Add `--probe-db` to opt in to the probe, or drop `--strict-probe` if you do not need the version check.',
+      docsUrl: 'https://prisma-next.dev/docs/cli/init',
+    },
+  );
 }
 
 /**
@@ -152,8 +158,7 @@ export function errorInitInstallFailed(options: {
     trimmed.length === 0
       ? 'The package manager exited with an error and no recoverable fallback applied.'
       : `The package manager exited with: ${trimmed[0]}`;
-  return new CliStructuredError('5007', 'Failed to install dependencies', {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INIT_INSTALL_FAILED', 'Failed to install dependencies', {
     why,
     fix: `Install manually:\n  ${options.addCommand}\n  ${options.addDevCommand}\nThen run \`${options.emitCommand}\` to emit the contract.`,
     docsUrl: 'https://prisma-next.dev/docs/cli/init',
@@ -179,8 +184,7 @@ export function errorInitInvalidManifest(options: {
   readonly path: string;
   readonly cause: string;
 }): CliStructuredError {
-  return new CliStructuredError('5010', `Failed to parse ${options.path}`, {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INIT_INVALID_MANIFEST', `Failed to parse ${options.path}`, {
     why: `\`${options.path}\` is not valid JSON: ${options.cause}`,
     fix: `Fix the JSON syntax in \`${options.path}\` (a missing comma or unbalanced brace is the most common cause), then re-run \`prisma-next init\`.`,
     docsUrl: 'https://prisma-next.dev/docs/cli/init',
@@ -206,8 +210,7 @@ export function errorInitInvalidTsconfig(options: {
   readonly path: string;
   readonly cause: string;
 }): CliStructuredError {
-  return new CliStructuredError('5011', `Failed to parse ${options.path}`, {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INIT_INVALID_TSCONFIG', `Failed to parse ${options.path}`, {
     why: `\`${options.path}\` is not valid JSON or JSONC: ${options.cause}`,
     fix: `Fix the syntax in \`${options.path}\` and re-run \`prisma-next init\`. \`init\` accepts JSONC (comments and trailing commas) but cannot recover from unbalanced braces or missing commas.`,
     docsUrl: 'https://prisma-next.dev/docs/cli/init',
@@ -233,8 +236,7 @@ export function errorInitProbeFailed(options: {
   readonly cause: string;
   readonly filesWritten: readonly string[];
 }): CliStructuredError {
-  return new CliStructuredError('5012', 'Database probe failed', {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INIT_PROBE_FAILED', 'Database probe failed', {
     why: `\`--probe-db\` could not complete and \`--strict-probe\` was set: ${options.cause}`,
     fix: 'Confirm `DATABASE_URL` points at a reachable server, or drop `--strict-probe` to treat probe failures as warnings.',
     docsUrl: 'https://prisma-next.dev/docs/cli/init',
@@ -256,8 +258,7 @@ export function errorInitEmitFailed(options: {
   readonly filesWritten: readonly string[];
   readonly cause: string;
 }): CliStructuredError {
-  return new CliStructuredError('5008', 'Failed to emit contract', {
-    domain: 'CLI',
+  return new CliStructuredError('CLI.INIT_EMIT_FAILED', 'Failed to emit contract', {
     why: `\`prisma-next contract emit\` failed: ${options.cause}`,
     fix: `Inspect your contract file, fix the underlying issue, then re-run \`${options.emitCommand}\`. Pass \`-v\` for the full error envelope.`,
     docsUrl: 'https://prisma-next.dev/docs/cli/contract-emit',
@@ -284,18 +285,21 @@ export function errorInitSkillInstallFailed(options: {
   readonly filesWritten: readonly string[];
   readonly cause: string;
 }): CliStructuredError {
-  return new CliStructuredError('5013', 'Failed to install Prisma Next skills', {
-    domain: 'CLI',
-    why: `\`${options.skillInstallCommand}\` exited with an error: ${options.cause}`,
-    fix:
-      'Either:\n' +
-      `  - Re-run \`prisma-next init --no-skill${options.filesWritten.length > 0 ? ' --force' : ''}\` to skip the skill install for this run, or\n` +
-      `  - Fix the underlying issue (network, npm registry, \`npx skills\` on PATH) and install manually:\n      ${options.skillInstallCommand}`,
-    docsUrl: 'https://prisma-next.dev/docs/cli/init#skills',
-    meta: {
-      filesWritten: options.filesWritten,
-      skillInstallCommand: options.skillInstallCommand,
-      cause: options.cause,
+  return new CliStructuredError(
+    'CLI.INIT_SKILL_INSTALL_FAILED',
+    'Failed to install Prisma Next skills',
+    {
+      why: `\`${options.skillInstallCommand}\` exited with an error: ${options.cause}`,
+      fix:
+        'Either:\n' +
+        `  - Re-run \`prisma-next init --no-skill${options.filesWritten.length > 0 ? ' --force' : ''}\` to skip the skill install for this run, or\n` +
+        `  - Fix the underlying issue (network, npm registry, \`npx skills\` on PATH) and install manually:\n      ${options.skillInstallCommand}`,
+      docsUrl: 'https://prisma-next.dev/docs/cli/init#skills',
+      meta: {
+        filesWritten: options.filesWritten,
+        skillInstallCommand: options.skillInstallCommand,
+        cause: options.cause,
+      },
     },
-  });
+  );
 }