@prisma-next/cli 0.14.0-dev.49 → 0.14.0-dev.50

package/dist/{verify-DC14_nPu.mjs → verify-Djo-Jep_.mjs}

@@ -1,7 +1,22 @@
-import { M as createColorFormatter, N as formatDim, P as isVerbose } from "./command-helpers-6cNJZ863.mjs";
+import { M as createColorFormatter, N as formatDim, P as isVerbose } from "./command-helpers-DMG0RsR1.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
 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 = {
+	"not-found": "missing",
+	"not-expected": "extra",
+	"not-equal": "mismatch"
+};
+/**
+* The issue's display text: its own message (the differ's `path`), prefixed
+* with a human label for why it's flagged. Turning `reason` into a label is
+* this formatter's job, not the differ's — the differ's issue is data
+* (`path` + `reason` + nodes), not prose.
+*/
+function formatIssueMessage(issue) {
+	return `${REASON_LABEL[issue.reason]}: ${issue.message}`;
+}
 /**
 * Formats human-readable output for database verify.
 */
@@ -17,7 +32,11 @@ function formatVerifyOutput(result, flags) {
 	lines.push(`${formatDimText(`  verification: ${verificationMode}`)}`);
 	lines.push(`${formatDimText(`  storageHash: ${result.contract.storageHash}`)}`);
 	if (result.contract.profileHash) lines.push(`${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);
-	if (result.mode === "full" && result.schema && isVerbose(flags, 1)) lines.push(`${formatDimText(`  schema: pass=${result.schema.counts.pass} warn=${result.schema.counts.warn} fail=${result.schema.counts.fail}`)}`);
+	if (result.schema?.warnings && result.schema.warnings.length > 0) {
+		lines.push("");
+		lines.push(formatYellow("Schema warnings:"));
+		for (const message of result.schema.warnings) lines.push(`  ${formatYellow("⚠")} ${message}`);
+	}
 	if (result.unclaimed && result.unclaimed.length > 0) {
 		lines.push("");
 		lines.push(formatYellow("Unclaimed elements (declared by no contract):"));
@@ -62,7 +81,7 @@ function formatIntrospectJson(result) {
 }
 /**
 * Renders a schema tree structure from CoreSchemaView.
-* Matches the style of renderSchemaVerificationTree for consistency.
+* Status-glyph tree styling shared with the retired verification-tree renderer.
 */
 function renderSchemaTree(node, flags, options) {
 	const { isLast, prefix, useColor, formatDimText, isRoot = false } = options;
@@ -181,145 +200,6 @@ function formatIntrospectOutput(result, schemaView, flags) {
 	return lines.join("\n");
 }
 /**
-* Renders a schema verification tree structure from SchemaVerificationNode.
-* Similar to renderSchemaTree but for verification nodes with status-based colors and glyphs.
-*/
-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 = "✔";
-			statusColor = green;
-			break;
-		case "warn":
-			statusGlyph = "⚠";
-			statusColor = (text) => useColor ? yellow(text) : text;
-			break;
-		case "fail":
-			statusGlyph = "✖";
-			statusColor = red;
-			break;
-	}
-	else switch (node.status) {
-		case "pass":
-			statusGlyph = "✔";
-			break;
-		case "warn":
-			statusGlyph = "⚠";
-			break;
-		case "fail":
-			statusGlyph = "✖";
-			break;
-	}
-	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} → ${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 "dependency": {
-			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 treePrefix = `${formatDimText(isLast ? "└" : "├")}─ `;
-		lines.push(`${prefix}${treePrefix}${statusGlyphColored} ${nodeLabel}`);
-	}
-	if (node.children && node.children.length > 0) {
-		const childPrefix = isRoot ? "" : `${prefix}${isLast ? "   " : `${formatDimText("│")}  `}`;
-		for (let i = 0; i < node.children.length; i++) {
-			const child = node.children[i];
-			if (!child) continue;
-			const childLines = renderSchemaVerificationTree(child, flags, {
-				isLast: i === node.children.length - 1,
-				prefix: childPrefix,
-				useColor,
-				formatDimText,
-				isRoot: false
-			});
-			lines.push(...childLines);
-		}
-	}
-	return lines;
-}
-/**
 * Formats human-readable output for database schema verification.
 */
 function formatSchemaVerifyOutput(result, flags, unclaimed = []) {
@@ -330,30 +210,25 @@ function formatSchemaVerifyOutput(result, flags, unclaimed = []) {
 	const formatRed = createColorFormatter(useColor, red);
 	const formatYellow = createColorFormatter(useColor, yellow);
 	const formatDimText = (text) => formatDim(useColor, text);
-	const treeLines = renderSchemaVerificationTree(result.schema.root, flags, {
-		isLast: true,
-		prefix: "",
-		useColor,
-		formatDimText,
-		isRoot: true
-	});
-	lines.push(...treeLines);
-	if (result.schema.schemaDiffIssues.length > 0) {
-		lines.push("");
-		lines.push(formatRed("Schema drift:"));
-		for (const issue of result.schema.schemaDiffIssues) lines.push(`  ${formatRed("✖")} ${issue.message}`);
+	const issueMessages = result.schema.issues.map(formatIssueMessage);
+	if (issueMessages.length > 0) {
+		lines.push(formatRed("Schema issues:"));
+		for (const message of issueMessages) lines.push(`  ${formatRed("✖")} ${message}`);
+	}
+	const warningMessages = (result.schema.warnings?.issues ?? []).map(formatIssueMessage);
+	if (warningMessages.length > 0) {
+		if (lines.length > 0) lines.push("");
+		lines.push(formatYellow("Schema warnings:"));
+		for (const message of warningMessages) lines.push(`  ${formatYellow("⚠")} ${message}`);
 	}
 	if (unclaimed.length > 0) {
 		const strict = result.meta?.strict ?? false;
-		lines.push("");
+		if (lines.length > 0) lines.push("");
 		lines.push((strict ? formatRed : formatYellow)("Unclaimed elements (declared by no contract):"));
 		for (const name of unclaimed) lines.push(`  ${(strict ? formatRed : formatYellow)(strict ? "✖" : "⚠")} ${name}`);
 	}
-	if (isVerbose(flags, 1)) {
-		lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
-		lines.push(`${formatDimText(`  pass=${result.schema.counts.pass} warn=${result.schema.counts.warn} fail=${result.schema.counts.fail}`)}`);
-	}
-	lines.push("");
+	if (isVerbose(flags, 1)) lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
+	if (lines.length > 0) lines.push("");
 	if (result.ok) lines.push(`${formatGreen("✔")} ${result.summary}`);
 	else {
 		const codeText = result.code ? ` (${result.code})` : "";
@@ -404,4 +279,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-DC14_nPu.mjs.map
+//# sourceMappingURL=verify-Djo-Jep_.mjs.map

package/dist/verify-Djo-Jep_.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-Djo-Jep_.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 { 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 failure reason, prefixed onto an issue's message for display. */\nconst REASON_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 message (the differ's `path`), prefixed\n * with a human label for why it's flagged. Turning `reason` into a label is\n * this formatter's job, not the differ's — the differ's issue is data\n * (`path` + `reason` + nodes), not prose.\n */\nfunction formatIssueMessage(issue: SchemaDiffIssue): string {\n  return `${REASON_LABEL[issue.reason]}: ${issue.message}`;\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":";;;;;AAgBA,MAAM,eAAyD;CAC7D,aAAa;CACb,gBAAgB;CAChB,aAAa;AACf;;;;;;;AAQA,SAAS,mBAAmB,OAAgC;CAC1D,OAAO,GAAG,aAAa,MAAM,QAAQ,IAAI,MAAM;AACjD;;;;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.14.0-dev.49",
+  "version": "0.14.0-dev.50",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
@@ -9,18 +9,18 @@
   },
   "dependencies": {
     "@clack/prompts": "^1.4.0",
-    "@prisma-next/config": "0.14.0-dev.49",
-    "@prisma-next/config-loader": "0.14.0-dev.49",
-    "@prisma-next/contract": "0.14.0-dev.49",
-    "@prisma-next/emitter": "0.14.0-dev.49",
-    "@prisma-next/errors": "0.14.0-dev.49",
-    "@prisma-next/framework-components": "0.14.0-dev.49",
-    "@prisma-next/language-server": "0.14.0-dev.49",
-    "@prisma-next/migration-tools": "0.14.0-dev.49",
-    "@prisma-next/psl-parser": "0.14.0-dev.49",
-    "@prisma-next/psl-printer": "0.14.0-dev.49",
-    "@prisma-next/cli-telemetry": "0.14.0-dev.49",
-    "@prisma-next/utils": "0.14.0-dev.49",
+    "@prisma-next/config": "0.14.0-dev.50",
+    "@prisma-next/config-loader": "0.14.0-dev.50",
+    "@prisma-next/contract": "0.14.0-dev.50",
+    "@prisma-next/emitter": "0.14.0-dev.50",
+    "@prisma-next/errors": "0.14.0-dev.50",
+    "@prisma-next/framework-components": "0.14.0-dev.50",
+    "@prisma-next/language-server": "0.14.0-dev.50",
+    "@prisma-next/migration-tools": "0.14.0-dev.50",
+    "@prisma-next/psl-parser": "0.14.0-dev.50",
+    "@prisma-next/psl-printer": "0.14.0-dev.50",
+    "@prisma-next/cli-telemetry": "0.14.0-dev.50",
+    "@prisma-next/utils": "0.14.0-dev.50",
     "arktype": "^2.2.0",
     "ci-info": "^4.3.1",
     "clipanion": "4.0.0-rc.4",
@@ -36,14 +36,14 @@
     "wrap-ansi": "^10.0.0"
   },
   "devDependencies": {
-    "@prisma-next/sql-contract": "0.14.0-dev.49",
-    "@prisma-next/sql-contract-emitter": "0.14.0-dev.49",
-    "@prisma-next/sql-contract-ts": "0.14.0-dev.49",
-    "@prisma-next/sql-operations": "0.14.0-dev.49",
-    "@prisma-next/sql-runtime": "0.14.0-dev.49",
-    "@prisma-next/test-utils": "0.14.0-dev.49",
-    "@prisma-next/tsconfig": "0.14.0-dev.49",
-    "@prisma-next/tsdown": "0.14.0-dev.49",
+    "@prisma-next/sql-contract": "0.14.0-dev.50",
+    "@prisma-next/sql-contract-emitter": "0.14.0-dev.50",
+    "@prisma-next/sql-contract-ts": "0.14.0-dev.50",
+    "@prisma-next/sql-operations": "0.14.0-dev.50",
+    "@prisma-next/sql-runtime": "0.14.0-dev.50",
+    "@prisma-next/test-utils": "0.14.0-dev.50",
+    "@prisma-next/tsconfig": "0.14.0-dev.50",
+    "@prisma-next/tsdown": "0.14.0-dev.50",
     "@types/node": "25.9.1",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",

package/src/commands/db-verify.ts

@@ -437,8 +437,8 @@ async function executeDbVerifyCommand(
       ...ifDefined('codecCoverageSkipped', verifyResult.codecCoverageSkipped),
       schema: {
         summary: combined.result.summary,
-        counts: combined.result.schema.counts,
         strict: combined.result.meta?.strict ?? false,
+        warnings: (combined.result.schema.warnings?.issues ?? []).map((issue) => issue.message),
       },
       unclaimed: combined.unclaimed,
       meta: {

package/src/commands/migrate.ts

@@ -153,7 +153,7 @@ export interface MigrateResult {
  * - `readAllMarkers()` for the from-state (when no `--from` is given), preserving
  *   the full marker including `invariants` (not just `storageHash`).
  * - `planSpacePath()` (shared with `executeMigrate`) for per-space path selection,
- *   which feeds `graphWalkStrategy()` with the same target hash, target invariants,
+ *   which feeds `resolveRecordedPath()` with the same target hash, target invariants,
  *   and current marker as the real apply path uses.
  *
  * Returns BEFORE any write boundary (`runMigration` / marker / DDL). No
@@ -206,7 +206,7 @@ async function executeMigrateShowCommand(
   const appGraph = aggregate.app.graph();
 
   // Resolve the --to target (defaults to the on-disk contract, same as migrate).
-  // Also capture the ref's invariants so planSpacePath feeds graphWalkStrategy the
+  // Also capture the ref's invariants so planSpacePath feeds resolveRecordedPath the
   // same target invariants that real migrate would use (refInvariants ?? headRef.invariants).
   let targetHash: string = contractHash;
   let refInvariants: readonly string[] | undefined;
@@ -262,7 +262,7 @@ async function executeMigrateShowCommand(
   // - Omitted: read the live DB marker via readAllMarkers() — the same source migrate uses.
   //
   // Full marker records (storageHash + invariants) are preserved so planSpacePath
-  // can feed graphWalkStrategy the complete currentMarker — exactly as executeMigrate
+  // can feed resolveRecordedPath the complete currentMarker — exactly as executeMigrate
   // does via familyInstance.readAllMarkers(). A stripped { storageHash, invariants: [] }
   // marker would produce a different `required` set and a different (incorrect) path.
   type LiveMarker = { readonly storageHash: string; readonly invariants: readonly string[] };
@@ -359,7 +359,7 @@ async function executeMigrateShowCommand(
   }
 
   // Walk the path via planSpacePath — the same helper executeMigrate uses.
-  // planSpacePath feeds graphWalkStrategy identical inputs (targetHash, targetInvariants,
+  // planSpacePath feeds resolveRecordedPath identical inputs (targetHash, targetInvariants,
   // currentMarker with full invariants), so the preview path is always the path migrate runs.
   //
   // Canonical schedule order: extensions alphabetically first, then app — mirroring the

package/src/commands/migration-plan.ts

@@ -7,6 +7,7 @@ import {
   hasOperationPreview,
   type MigrationPlanOperation,
   type OperationPreview,
+  type SchemaOwnership,
 } from '@prisma-next/framework-components/control';
 import { canonicalizeJson } from '@prisma-next/framework-components/utils';
 import { MigrationToolsError } from '@prisma-next/migration-tools/errors';
@@ -97,6 +98,7 @@ async function runPlannerLeg(
   contract: Contract,
   fromContract: Contract | null,
   spaceId: string,
+  ownership: SchemaOwnership,
 ): Promise<Result<PlannerSuccess, CliStructuredError>> {
   const fromSchema = migrations.contractToSchema(fromContract, frameworkComponents);
   const plannerResult = planner.plan({
@@ -106,6 +108,12 @@ async function runPlannerLeg(
     fromContract,
     frameworkComponents,
     spaceId,
+    // Offline `migration plan` is the aggregate-of-(possibly one) degenerate
+    // case: the same ownership consultation the live aggregate flow uses. A
+    // from→to extra (a table removed from the contract) is not declared by any
+    // space in the aggregate, so it stays a genuine drop; a table another
+    // space owns is never dropped.
+    ownership,
   });
   if (plannerResult.kind === 'failure') {
     return notOk(
@@ -498,6 +506,7 @@ async function executeMigrationPlanCommand(
         fromContract,
         null,
         aggregate.app.spaceId,
+        aggregate,
       );
       if (!baselineLeg.ok) {
         return notOk(baselineLeg.failure);
@@ -567,6 +576,7 @@ async function executeMigrationPlanCommand(
         aggregate.app.contract(),
         fromContract,
         aggregate.app.spaceId,
+        aggregate,
       );
       if (!deltaLeg.ok) {
         return notOk(deltaLeg.failure);
@@ -640,6 +650,7 @@ async function executeMigrationPlanCommand(
       aggregate.app.contract(),
       fromContract,
       aggregate.app.spaceId,
+      aggregate,
     );
     if (!deltaLeg.ok) {
       return notOk(deltaLeg.failure);

package/src/control-api/operations/db-run.ts

@@ -1,5 +1,5 @@
 /**
- * Backs `db init` / `db update`. Strategy: introspect → planMigration; synth-for-app + graph-walk-extensions; plan-mode + orphan-marker preflight.
+ * Backs `db init` / `db update`. Strategy: introspect → planMigration; planFromDiff-for-app + resolveRecordedPath-extensions; plan-mode + orphan-marker preflight.
  */
 
 import type { Contract } from '@prisma-next/contract/types';
@@ -97,10 +97,11 @@ export interface ExecuteRunOptions<TFamilyId extends string, TTargetId extends s
  *    integrity violation short-circuits with a structured error.
  * 2. **Read DB state**: marker rows (`familyInstance.readAllMarkers`)
  *    + introspected schema (`familyInstance.introspect`).
- * 3. **Plan**: {@link planMigration} chooses graph-walk vs synth per
- *    space according to `callerPolicy.ignoreGraphFor`. The app space
- *    is forced through synth (today's daily-driver behaviour); every
- *    extension space walks its on-disk graph.
+ * 3. **Plan**: {@link planMigration} chooses `resolveRecordedPath` vs
+ *    `planFromDiff` per space according to `callerPolicy.ignoreGraphFor`.
+ *    The app space is forced through `planFromDiff` (today's daily-driver
+ *    behaviour); every extension space walks its on-disk graph via
+ *    `resolveRecordedPath`.
  * 4. **Apply** (when `mode === 'apply'`): every per-space `MigrationPlan`
  *    feeds into the runner's `execute` — one outer
  *    transaction across every space; failure on any space rolls back
@@ -168,9 +169,9 @@ export async function executeRun<TFamilyId extends string, TTargetId extends str
   });
   onProgress?.({ action, kind: 'spanEnd', spanId: SPAN_IDS.introspect, outcome: 'ok' });
 
-  // 3. Plan via aggregate planner. App is forced through synth (today's
-  // `db init` / `db update` daily-driver behaviour); extensions walk
-  // their on-disk migration graphs.
+  // 3. Plan via aggregate planner. App is forced through planFromDiff
+  // (today's `db init` / `db update` daily-driver behaviour); extensions
+  // walk their on-disk migration graphs via resolveRecordedPath.
   onProgress?.({
     action,
     kind: 'spanStart',
@@ -228,9 +229,9 @@ export async function executeRun<TFamilyId extends string, TTargetId extends str
   // 5. Run mode: hand off to the shared `runMigration` primitive.
   // The runner-driving tail is identical for `db init` / `db update` /
   // `migrate` — only how each caller produces `perSpacePlans`
-  // differs (synth + graph-walk via planMigration here; graph-walk
-  // only for migrate). Each caller produces perSpacePlans differently;
-  // this helper handles the shared run tail.
+  // differs (planFromDiff + resolveRecordedPath via planMigration here;
+  // resolveRecordedPath only for migrate). Each caller produces
+  // perSpacePlans differently; this helper handles the shared run tail.
   const applied = await runMigration({
     aggregate,
     perSpacePlans: planResult.value.perSpace,
@@ -328,7 +329,7 @@ function detectOrphanMarkers(
 }
 
 function mapPlannerError(error: PlannerError): DbInitResult | DbUpdateResult {
-  if (error.kind === 'appSynthFailure') {
+  if (error.kind === 'planFromDiffFailed') {
     const failure: DbInitFailure | DbUpdateFailure = {
       code: 'PLANNING_FAILED',
       summary: 'Migration planning failed due to conflicts',

package/src/control-api/operations/db-verify.ts

@@ -4,8 +4,10 @@ import type {
   ControlDriverInstance,
   ControlExtensionDescriptor,
   ControlFamilyInstance,
+  SchemaDiffIssue,
   VerifyDatabaseSchemaResult,
 } from '@prisma-next/framework-components/control';
+import { hasSchemaSubjectClassifier } from '@prisma-next/framework-components/control';
 import {
   type AggregateContractSpace,
   collectAggregateNamespaces,
@@ -14,6 +16,7 @@ import {
   verifyMigration,
 } from '@prisma-next/migration-tools/aggregate';
 import { castAs } from '@prisma-next/utils/casts';
+import { ifDefined } from '@prisma-next/utils/defined';
 import { notOk, ok, type Result } from '@prisma-next/utils/result';
 import { CliStructuredError } from '../../utils/cli-errors';
 import {
@@ -115,6 +118,17 @@ export async function executeDbVerify<TFamilyId extends string, TTargetId extend
         contract: collectAggregateNamespaces(aggregate),
       });
 
+  // The subject-granularity + entity-kind classifiers are an injected
+  // capability — not every family provides one — detected the same way the
+  // other optional per-family capabilities are (`hasSchemaView`, …), never
+  // assumed.
+  const classifySubjectGranularity = hasSchemaSubjectClassifier(familyInstance)
+    ? (issue: SchemaDiffIssue) => familyInstance.classifySubjectGranularity(issue)
+    : undefined;
+  const classifyEntityKind = hasSchemaSubjectClassifier(familyInstance)
+    ? (issue: SchemaDiffIssue) => familyInstance.classifyEntityKind(issue)
+    : undefined;
+
   emitVerifySpan(onProgress, 'spanStart');
   const verifyResult = verifyMigration({
     aggregate,
@@ -122,6 +136,8 @@ export async function executeDbVerify<TFamilyId extends string, TTargetId extend
     schemaIntrospection,
     mode: options.mode,
     verifySchemaForSpace: createPerSpaceVerifier(options),
+    ...ifDefined('classifySubjectGranularity', classifySubjectGranularity),
+    ...ifDefined('classifyEntityKind', classifyEntityKind),
   });
   return finaliseVerifyResult({ verifyResult, aggregate, skipMarker, onProgress });
 }
@@ -276,19 +292,6 @@ function buildSkippedSchemaResult(space: AggregateContractSpace): VerifyDatabase
     target: { expected: contract.target },
     schema: {
       issues: [],
-      schemaDiffIssues: [],
-      root: {
-        status: 'pass',
-        kind: 'skipped',
-        name: space.spaceId,
-        contractPath: '',
-        code: 'SKIPPED',
-        message: 'Schema verification skipped',
-        expected: undefined,
-        actual: undefined,
-        children: [],
-      },
-      counts: { pass: 0, warn: 0, fail: 0, totalNodes: 0 },
     },
     timings: { total: 0 },
   };

package/src/control-api/operations/migrate.ts

@@ -1,5 +1,5 @@
 /**
- * Backs the `migrate` command. Strategy: graph-walk-all-spaces, replay-only (no introspect/synth/planner).
+ * Backs the `migrate` command. Resolves the recorded path for every space, replay-only (no introspect/diff/planner).
  */
 
 import type { Contract } from '@prisma-next/contract/types';
@@ -12,12 +12,12 @@ import type {
 } from '@prisma-next/framework-components/control';
 import {
   type AggregateContractSpace,
-  buildSynthMigrationEdge,
+  buildFabricatedMigrationEdge,
   type ContractMarkerRecordLike,
   type ContractSpaceAggregate,
-  graphWalkStrategy,
   type PerSpacePlan,
   requireHeadRef,
+  resolveRecordedPath,
 } from '@prisma-next/migration-tools/aggregate';
 import { EMPTY_CONTRACT_HASH } from '@prisma-next/migration-tools/constants';
 import { errorNoInvariantPath } from '@prisma-next/migration-tools/errors';
@@ -96,7 +96,7 @@ export interface ExecuteMigrateOptions<TFamilyId extends string, TTargetId exten
  * 1. Load aggregate from disk (loader hydrates extension graphs;
  *    caller provides app-space packages).
  * 2. Read live marker rows per space (`familyInstance.readAllMarkers`).
- * 3. Per space: `graphWalkStrategy` plots the path from the live
+ * 3. Per space: `resolveRecordedPath` plots the path from the live
  *    marker to `space.headRef.hash` (or `refHash` for the app
  *    space when provided). Empty-graph spaces fail loudly — a
  *    "never planned" space is a user-error condition for replay.
@@ -326,7 +326,7 @@ export async function executeMigrate<TFamilyId extends string, TTargetId extends
  * Callers switch on `kind` and map to their own error representation:
  * `executeMigrate` throws / returns `notOk`; `executeMigrateShowCommand`
  * returns a CLI structured error. The shared discriminant guarantees both
- * paths feed `graphWalkStrategy` the same inputs.
+ * paths feed `resolveRecordedPath` the same inputs.
  *
  * @internal Exported for `executeMigrateShowCommand` to call.
  */
@@ -407,7 +407,7 @@ export function planSpacePath({
       ? space
       : { ...space, headRef: { hash: targetHash, invariants: targetInvariants } };
 
-  const walked = graphWalkStrategy({
+  const walked = resolveRecordedPath({
     aggregateTargetId: aggregate.targetId,
     space: targetSpace,
     currentMarker: liveMarker,
@@ -458,9 +458,9 @@ function buildAtHeadResolution(args: {
     },
     displayOps: [],
     destinationContract: space.contract(),
-    strategy: 'graph-walk',
+    strategy: 'declared-state',
     migrationEdges: [
-      buildSynthMigrationEdge({
+      buildFabricatedMigrationEdge({
         currentMarkerStorageHash: liveMarker?.storageHash,
         destinationStorageHash: targetHash,
         operationCount: 0,