@prisma-next/cli 0.5.0 → 0.5.1

package/dist/{migrations-D_UJnpuW.mjs → migrations-CTsyBXCA.mjs}

@@ -3,9 +3,9 @@ import { cyan, green, yellow } from "colorette";
 //#region src/utils/formatters/migrations.ts
 /**
 * Render a single statement of an `OperationPreview` for the human-readable
-* preview block. SQL statements get a trailing `;` if missing — matches the
-* legacy `string[]`-based renderer byte-for-byte (per spec OQ-4). Other
-* languages (`'mongodb-shell'`) render verbatim.
+* preview block. SQL statements get a trailing `;` if missing so the rendered
+* preview is byte-identical to the legacy `string[]`-based renderer for SQL
+* targets. Other languages (`'mongodb-shell'`) render verbatim.
 */
 function renderPreviewStatement(text, language) {
 	const trimmed = text.trim();
@@ -15,9 +15,10 @@ function renderPreviewStatement(text, language) {
 }
 /**
 * Choose the header label for a preview block. SQL-only previews keep the
-* legacy `DDL preview` label (preserves CLI byte-identity for SQL targets per
-* spec OQ-4); previews from any other family — or a mix that includes any
-* non-SQL language — use the family-agnostic `Operation preview` label.
+* legacy `DDL preview` label so the rendered output is byte-identical to the
+* pre-aggregate SQL CLI; previews from any other family — or a mix that
+* includes any non-SQL language — use the family-agnostic `Operation preview`
+* label.
 *
 * An empty `statements` array deliberately renders as `Operation preview`
 * rather than `DDL preview`: `Array.prototype.every` is vacuously true for
@@ -29,10 +30,9 @@ function previewBlockHeader(preview) {
 }
 /**
 * Render the shared per-space execution block consumed by the `db init`
-* / `db update` / `migration apply` summaries (M6 sub-spec § Output
-* shape contract). Always shows: space label (`Extension space: <id>`
-* or `App space`) → per-op lines under each space → per-space marker
-* hash (when known).
+* / `db update` / `migration apply` summaries. Always shows: space
+* label (`Extension space: <id>` or `App space`) → per-op lines under
+* each space → per-space marker hash (when known).
 *
 * `mode` controls the marker label phrasing — `'apply'` shows
 * `marker → <hash>` (post-apply), `'plan'` omits the marker line
@@ -136,42 +136,55 @@ function formatMigrationApplyCommandOutput(result, flags) {
 	}
 	return lines.join("\n");
 }
-function formatMigrationShowOutput(result, flags) {
-	if (flags.quiet) return "";
-	const lines = [];
-	const useColor = flags.color !== false;
+function formatSpaceShowBlock(space, useColor) {
 	const formatGreen = createColorFormatter(useColor, green);
 	const formatYellow = createColorFormatter(useColor, yellow);
 	const formatDimText = (text) => formatDim(useColor, text);
-	lines.push(`${formatGreen("✔")} ${result.dirName}`);
-	lines.push(`${formatDimText(`  from: ${result.from ?? "(baseline)"}`)}`);
-	lines.push(`${formatDimText(`  to:   ${result.to}`)}`);
-	lines.push(`${formatDimText(`  migrationHash: ${result.migrationHash}`)}`);
-	lines.push(`${formatDimText(`  created: ${result.createdAt}`)}`);
+	const lines = [];
+	lines.push(`${formatGreen("✔")} ${space.dirName}`);
+	lines.push(`${formatDimText(`  from: ${space.from ?? "(baseline)"}`)}`);
+	lines.push(`${formatDimText(`  to:   ${space.to}`)}`);
+	lines.push(`${formatDimText(`  migrationHash: ${space.migrationHash}`)}`);
+	lines.push(`${formatDimText(`  created: ${space.createdAt}`)}`);
 	lines.push("");
-	lines.push(`${result.operations.length} operation(s)`);
-	if (result.operations.length > 0) {
+	lines.push(`${space.operations.length} operation(s)`);
+	if (space.operations.length > 0) {
 		lines.push(`${formatDimText("│")}`);
-		for (let i = 0; i < result.operations.length; i++) {
-			const op = result.operations[i];
-			const treeChar = i === result.operations.length - 1 ? "└" : "├";
+		for (let i = 0; i < space.operations.length; i++) {
+			const op = space.operations[i];
+			const treeChar = i === space.operations.length - 1 ? "└" : "├";
 			const destructiveMarker = op.operationClass === "destructive" ? ` ${formatYellow("(destructive)")}` : "";
 			lines.push(`${formatDimText(treeChar)}─ ${op.label}${destructiveMarker}`);
 		}
-		if (result.operations.some((op) => op.operationClass === "destructive")) {
+		if (space.operations.some((op) => op.operationClass === "destructive")) {
 			lines.push("");
 			lines.push(`${formatYellow("⚠")} This migration contains destructive operations that may cause data loss.`);
 		}
 	}
-	if (result.preview.statements.length > 0) {
+	if (space.preview.statements.length > 0) {
 		lines.push("");
-		lines.push(`${formatDimText(previewBlockHeader(result.preview))}`);
+		lines.push(`${formatDimText(previewBlockHeader(space.preview))}`);
 		lines.push("");
-		for (const statement of result.preview.statements) {
+		for (const statement of space.preview.statements) {
 			const rendered = renderPreviewStatement(statement.text, statement.language);
 			if (rendered) lines.push(rendered);
 		}
 	}
+	return lines;
+}
+function formatMigrationShowOutput(result, flags) {
+	if (flags.quiet) return "";
+	const useColor = flags.color !== false;
+	const formatDimText = (text) => formatDim(useColor, text);
+	const multipleSpaces = result.spaces.length > 1;
+	const lines = [];
+	for (let i = 0; i < result.spaces.length; i++) {
+		const space = result.spaces[i];
+		if (multipleSpaces) lines.push(formatDimText(`── ${space.spaceId} ──`));
+		if (space.kind === "missing") lines.push(formatDimText(`  ${space.summary}`));
+		else for (const line of formatSpaceShowBlock(space, useColor)) lines.push(line);
+		if (i < result.spaces.length - 1) lines.push("");
+	}
 	return lines.join("\n");
 }
 /**
@@ -213,4 +226,4 @@ function formatMigrationJson(result) {
 //#endregion
 export { formatMigrationShowOutput as a, formatMigrationPlanOutput as i, formatMigrationApplyOutput as n, formatMigrationJson as r, formatMigrationApplyCommandOutput as t };
 
-//# sourceMappingURL=migrations-D_UJnpuW.mjs.map
+//# sourceMappingURL=migrations-CTsyBXCA.mjs.map

package/dist/migrations-CTsyBXCA.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrations-CTsyBXCA.mjs","names":[],"sources":["../src/utils/formatters/migrations.ts"],"sourcesContent":["import type { OperationPreview } from '@prisma-next/framework-components/control';\nimport { cyan, green, yellow } from 'colorette';\n\nimport type { AggregatePerSpaceExecutionEntry } from '../../control-api/types';\nimport type { GlobalFlags } from '../global-flags';\nimport { createColorFormatter, formatDim, isVerbose } from './helpers';\n\n/**\n * Render a single statement of an `OperationPreview` for the human-readable\n * preview block. SQL statements get a trailing `;` if missing so the rendered\n * preview is byte-identical to the legacy `string[]`-based renderer for SQL\n * targets. Other languages (`'mongodb-shell'`) render verbatim.\n */\nfunction renderPreviewStatement(text: string, language: string): string | undefined {\n  const trimmed = text.trim();\n  if (!trimmed) return undefined;\n  if (language === 'sql') {\n    return trimmed.endsWith(';') ? trimmed : `${trimmed};`;\n  }\n  return trimmed;\n}\n\n/**\n * Choose the header label for a preview block. SQL-only previews keep the\n * legacy `DDL preview` label so the rendered output is byte-identical to the\n * pre-aggregate SQL CLI; previews from any other family — or a mix that\n * includes any non-SQL language — use the family-agnostic `Operation preview`\n * label.\n *\n * An empty `statements` array deliberately renders as `Operation preview`\n * rather than `DDL preview`: `Array.prototype.every` is vacuously true for\n * empty arrays, but we have no evidence the preview is SQL-only when no\n * statements are present, so the family-agnostic label is the safer default.\n */\nexport function previewBlockHeader(preview: OperationPreview): string {\n  const allSql =\n    preview.statements.length > 0 && preview.statements.every((s) => s.language === 'sql');\n  return allSql ? 'DDL preview' : 'Operation preview';\n}\n\n// ============================================================================\n// Migration Command Output Formatters (shared by db init and db update)\n// ============================================================================\n\n/**\n * Shared CLI output type for migration commands (db init, db update).\n */\nexport interface MigrationCommandResult {\n  readonly ok: true;\n  readonly mode: 'plan' | 'apply';\n  readonly plan: {\n    readonly targetId: string;\n    readonly destination: {\n      readonly storageHash: string;\n      readonly profileHash?: string;\n    };\n    readonly operations: readonly {\n      readonly id: string;\n      readonly label: string;\n      readonly operationClass: string;\n    }[];\n    /**\n     * Family-agnostic textual preview of the planned operations. Replaces the\n     * previous `sql?: readonly string[]`. Consumers should read\n     * `plan.preview?.statements`.\n     */\n    readonly preview?: OperationPreview;\n  };\n  readonly execution?: {\n    readonly operationsPlanned: number;\n    readonly operationsExecuted: number;\n  };\n  readonly marker?: {\n    readonly storageHash: string;\n    readonly profileHash?: string;\n  };\n  /**\n   * Per-space execution breakdown in canonical schedule order\n   * (extensions alphabetically, then app). Surfaces per-space markers\n   * and the ops grouped by space, so the CLI summary can name which\n   * space each op and marker belongs to instead of flattening them\n   * into a single ambiguous list. See {@link AggregatePerSpaceExecutionEntry}.\n   */\n  readonly perSpace?: ReadonlyArray<AggregatePerSpaceExecutionEntry>;\n  readonly summary: string;\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\n/**\n * Render the shared per-space execution block consumed by the `db init`\n * / `db update` / `migration apply` summaries. Always shows: space\n * label (`Extension space: <id>` or `App space`) → per-op lines under\n * each space → per-space marker hash (when known).\n *\n * `mode` controls the marker label phrasing — `'apply'` shows\n * `marker → <hash>` (post-apply), `'plan'` omits the marker line\n * entirely (no marker has been written yet).\n */\nexport function formatPerSpaceBlock(\n  perSpace: ReadonlyArray<AggregatePerSpaceExecutionEntry>,\n  mode: 'plan' | 'apply',\n  useColor: boolean,\n): readonly string[] {\n  const formatYellow = createColorFormatter(useColor, yellow);\n  const formatCyan = createColorFormatter(useColor, cyan);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  const lines: string[] = [];\n  for (let s = 0; s < perSpace.length; s++) {\n    const space = perSpace[s]!;\n    if (s > 0) lines.push('');\n    const header =\n      space.kind === 'app'\n        ? formatCyan('App space')\n        : formatCyan(`Extension space: ${space.spaceId}`);\n    lines.push(header);\n    if (space.operations.length === 0) {\n      lines.push(`  ${formatDimText('(no operations)')}`);\n    } else {\n      for (let i = 0; i < space.operations.length; i++) {\n        const op = space.operations[i]!;\n        const isLast = i === space.operations.length - 1;\n        const treeChar = isLast ? '└' : '├';\n        const destructiveMarker =\n          op.operationClass === 'destructive' ? ` ${formatYellow('(destructive)')}` : '';\n        lines.push(`  ${formatDimText(treeChar)}─ ${op.label}${destructiveMarker}`);\n      }\n    }\n    if (mode === 'apply' && space.marker) {\n      lines.push(`  ${formatDimText(`marker: ${space.marker.storageHash}`)}`);\n    }\n  }\n  return lines;\n}\n\n/**\n * Formats human-readable output for migration commands (db init, db update) in plan mode.\n */\nexport function formatMigrationPlanOutput(\n  result: MigrationCommandResult,\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 formatDimText = (text: string) => formatDim(useColor, text);\n\n  // Plan summary\n  const operationCount = result.plan?.operations.length ?? 0;\n  const spaceCount = result.perSpace?.length ?? 0;\n  if (spaceCount > 0) {\n    lines.push(\n      `${formatGreen('✔')} Planned ${operationCount} operation(s) across ${spaceCount} contract space${spaceCount === 1 ? '' : 's'}`,\n    );\n  } else {\n    lines.push(`${formatGreen('✔')} Planned ${operationCount} operation(s)`);\n  }\n\n  const formatYellow = createColorFormatter(useColor, yellow);\n\n  // Per-space breakdown takes precedence over the flat ops tree when\n  // the aggregate flow surfaced one.\n  if (result.perSpace && result.perSpace.length > 0) {\n    lines.push('');\n    lines.push(...formatPerSpaceBlock(result.perSpace, 'plan', useColor));\n    const hasDestructive = result.perSpace.some((s) =>\n      s.operations.some((op) => op.operationClass === 'destructive'),\n    );\n    if (hasDestructive) {\n      lines.push('');\n      lines.push(\n        `${formatYellow('⚠')} This migration contains destructive operations that may cause data loss.`,\n      );\n    }\n  } else if (result.plan?.operations && result.plan.operations.length > 0) {\n    // Single-space fallback (no aggregate breakdown). Same flat tree\n    // we've always rendered.\n    lines.push(`${formatDimText('│')}`);\n    for (let i = 0; i < result.plan.operations.length; i++) {\n      const op = result.plan.operations[i];\n      if (!op) continue;\n      const isLast = i === result.plan.operations.length - 1;\n      const treeChar = isLast ? '└' : '├';\n      const destructiveMarker =\n        op.operationClass === 'destructive' ? ` ${formatYellow('(destructive)')}` : '';\n      lines.push(`${formatDimText(treeChar)}─ ${op.label}${destructiveMarker}`);\n    }\n\n    const hasDestructive = result.plan.operations.some((op) => op.operationClass === 'destructive');\n    if (hasDestructive) {\n      lines.push('');\n      lines.push(\n        `${formatYellow('⚠')} This migration contains destructive operations that may cause data loss.`,\n      );\n    }\n  }\n\n  // Destination hash\n  if (result.plan?.destination) {\n    lines.push('');\n    lines.push(`${formatDimText(`Destination hash: ${result.plan.destination.storageHash}`)}`);\n  }\n\n  // Statement preview (any family that implements OperationPreviewCapable)\n  const preview = result.plan?.preview;\n  if (preview) {\n    lines.push('');\n    lines.push(`${formatDimText(previewBlockHeader(preview))}`);\n    if (preview.statements.length === 0) {\n      lines.push(`${formatDimText('No operations.')}`);\n    } else {\n      lines.push('');\n      for (const statement of preview.statements) {\n        const rendered = renderPreviewStatement(statement.text, statement.language);\n        if (rendered) {\n          lines.push(rendered);\n        }\n      }\n    }\n  }\n\n  // Timings in verbose mode\n  if (isVerbose(flags, 1)) {\n    lines.push(`${formatDimText(`Total time: ${result.timings.total}ms`)}`);\n  }\n\n  // Note about dry run\n  lines.push('');\n  lines.push(`${formatDimText('This is a dry run. No changes were applied.')}`);\n  lines.push(`${formatDimText('Run without --dry-run to apply changes.')}`);\n\n  return lines.join('\\n');\n}\n\nexport interface MigrationApplyCommandOutputResult {\n  readonly migrationsApplied: number;\n  readonly markerHash: string;\n  readonly applied: readonly {\n    readonly spaceId: string;\n    readonly dirName?: string;\n    readonly migrationHash?: string;\n    readonly from?: string;\n    readonly to?: string;\n    readonly operationsExecuted: number;\n  }[];\n  readonly summary: string;\n  /**\n   * Per-space breakdown in canonical schedule order (extensions\n   * alphabetically, then app). Always present for the aggregate-walking\n   * `migration apply` command.\n   */\n  readonly perSpace: readonly AggregatePerSpaceExecutionEntry[];\n  readonly timings?: {\n    readonly total: number;\n  };\n}\n\nexport function formatMigrationApplyCommandOutput(\n  result: MigrationApplyCommandOutputResult,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  lines.push(`${formatGreen('✔')} ${result.summary}`);\n\n  if (result.perSpace.length > 0) {\n    lines.push('');\n    for (const line of formatPerSpaceBlock(result.perSpace, 'apply', useColor)) {\n      lines.push(line);\n    }\n  }\n\n  lines.push('');\n  lines.push(formatDimText('Next: prisma-next migration status'));\n\n  if (isVerbose(flags, 1) && result.timings) {\n    lines.push('');\n    lines.push(formatDimText(`Total time: ${result.timings.total}ms`));\n  }\n\n  return lines.join('\\n');\n}\n\ninterface MigrationShowSpacePresent {\n  readonly kind: 'present';\n  readonly spaceId: string;\n  readonly dirName: string;\n  readonly dirPath: string;\n  readonly from: string | null;\n  readonly to: string;\n  readonly migrationHash: string;\n  readonly createdAt: string;\n  readonly operations: readonly {\n    readonly id: string;\n    readonly label: string;\n    readonly operationClass: string;\n  }[];\n  readonly preview: OperationPreview;\n  readonly summary: string;\n}\n\ninterface MigrationShowSpaceMissing {\n  readonly kind: 'missing';\n  readonly spaceId: string;\n  readonly summary: string;\n}\n\ntype MigrationShowSpaceResult = MigrationShowSpacePresent | MigrationShowSpaceMissing;\n\ninterface MigrationShowResult {\n  readonly spaces: readonly MigrationShowSpaceResult[];\n}\n\nfunction formatSpaceShowBlock(\n  space: MigrationShowSpacePresent,\n  useColor: boolean,\n): readonly string[] {\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatYellow = createColorFormatter(useColor, yellow);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  const lines: string[] = [];\n  lines.push(`${formatGreen('✔')} ${space.dirName}`);\n  lines.push(`${formatDimText(`  from: ${space.from ?? '(baseline)'}`)}`);\n  lines.push(`${formatDimText(`  to:   ${space.to}`)}`);\n  lines.push(`${formatDimText(`  migrationHash: ${space.migrationHash}`)}`);\n  lines.push(`${formatDimText(`  created: ${space.createdAt}`)}`);\n\n  lines.push('');\n  lines.push(`${space.operations.length} operation(s)`);\n\n  if (space.operations.length > 0) {\n    lines.push(`${formatDimText('│')}`);\n    for (let i = 0; i < space.operations.length; i++) {\n      const op = space.operations[i]!;\n      const isLast = i === space.operations.length - 1;\n      const treeChar = isLast ? '└' : '├';\n      const destructiveMarker =\n        op.operationClass === 'destructive' ? ` ${formatYellow('(destructive)')}` : '';\n      lines.push(`${formatDimText(treeChar)}─ ${op.label}${destructiveMarker}`);\n    }\n\n    const hasDestructive = space.operations.some((op) => op.operationClass === 'destructive');\n    if (hasDestructive) {\n      lines.push('');\n      lines.push(\n        `${formatYellow('⚠')} This migration contains destructive operations that may cause data loss.`,\n      );\n    }\n  }\n\n  if (space.preview.statements.length > 0) {\n    lines.push('');\n    lines.push(`${formatDimText(previewBlockHeader(space.preview))}`);\n    lines.push('');\n    for (const statement of space.preview.statements) {\n      const rendered = renderPreviewStatement(statement.text, statement.language);\n      if (rendered) {\n        lines.push(rendered);\n      }\n    }\n  }\n\n  return lines;\n}\n\nexport function formatMigrationShowOutput(result: MigrationShowResult, flags: GlobalFlags): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const useColor = flags.color !== false;\n  const formatDimText = (text: string) => formatDim(useColor, text);\n  const multipleSpaces = result.spaces.length > 1;\n  const lines: string[] = [];\n\n  for (let i = 0; i < result.spaces.length; i++) {\n    const space = result.spaces[i]!;\n    if (multipleSpaces) {\n      lines.push(formatDimText(`── ${space.spaceId} ──`));\n    }\n    if (space.kind === 'missing') {\n      lines.push(formatDimText(`  ${space.summary}`));\n    } else {\n      for (const line of formatSpaceShowBlock(space, useColor)) {\n        lines.push(line);\n      }\n    }\n    if (i < result.spaces.length - 1) {\n      lines.push('');\n    }\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats human-readable output for migration commands (db init, db update) in apply mode.\n */\nexport function formatMigrationApplyOutput(\n  result: MigrationCommandResult,\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 formatDimText = (text: string) => formatDim(useColor, text);\n\n  if (result.ok) {\n    // Success summary\n    const executed = result.execution?.operationsExecuted ?? 0;\n    const spaceCount = result.perSpace?.length ?? 0;\n\n    if (executed === 0) {\n      const acrossClause =\n        spaceCount > 0 ? ` across ${spaceCount} contract space${spaceCount === 1 ? '' : 's'}` : '';\n      lines.push(`${formatGreen('✔')} Database already matches contract${acrossClause}`);\n    } else if (spaceCount > 0) {\n      lines.push(\n        `${formatGreen('✔')} Applied ${executed} operation(s) across ${spaceCount} contract space${spaceCount === 1 ? '' : 's'}`,\n      );\n    } else {\n      lines.push(`${formatGreen('✔')} Applied ${executed} operation(s)`);\n    }\n\n    // Per-space breakdown — replaces the single ambiguous `Signature:`\n    // line with a per-space marker + ops listing.\n    if (result.perSpace && result.perSpace.length > 0) {\n      lines.push('');\n      lines.push(...formatPerSpaceBlock(result.perSpace, 'apply', useColor));\n      lines.push('');\n      lines.push(\n        formatDimText(\n          `Run 'prisma-next migration status' to confirm ${\n            spaceCount === 1 ? 'the space is' : 'all spaces are'\n          } up to date.`,\n        ),\n      );\n    } else if (result.marker) {\n      // Single-space fallback (no aggregate breakdown surfaced — e.g.\n      // older callers / non-aggregate code paths). The label is\n      // `App-space marker` (not `Signature`) so that when only one\n      // marker is observable we still name what it covers explicitly.\n      lines.push(`${formatDimText(`  App-space marker: ${result.marker.storageHash}`)}`);\n      if (result.marker.profileHash) {\n        lines.push(`${formatDimText(`  Profile hash: ${result.marker.profileHash}`)}`);\n      }\n    }\n\n    // Timings in verbose mode\n    if (isVerbose(flags, 1)) {\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 migration commands (db init, db update).\n */\nexport function formatMigrationJson(result: MigrationCommandResult): string {\n  return JSON.stringify(result, null, 2);\n}\n"],"mappings":";;;;;;;;;AAaA,SAAS,uBAAuB,MAAc,UAAsC;CAClF,MAAM,UAAU,KAAK,MAAM;CAC3B,IAAI,CAAC,SAAS,OAAO,KAAA;CACrB,IAAI,aAAa,OACf,OAAO,QAAQ,SAAS,IAAI,GAAG,UAAU,GAAG,QAAQ;CAEtD,OAAO;;;;;;;;;;;;;;AAeT,SAAgB,mBAAmB,SAAmC;CAGpE,OADE,QAAQ,WAAW,SAAS,KAAK,QAAQ,WAAW,OAAO,MAAM,EAAE,aAAa,MAAM,GACxE,gBAAgB;;;;;;;;;;;;AA+DlC,SAAgB,oBACd,UACA,MACA,UACmB;CACnB,MAAM,eAAe,qBAAqB,UAAU,OAAO;CAC3D,MAAM,aAAa,qBAAqB,UAAU,KAAK;CACvD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAEjE,MAAM,QAAkB,EAAE;CAC1B,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,QAAQ,KAAK;EACxC,MAAM,QAAQ,SAAS;EACvB,IAAI,IAAI,GAAG,MAAM,KAAK,GAAG;EACzB,MAAM,SACJ,MAAM,SAAS,QACX,WAAW,YAAY,GACvB,WAAW,oBAAoB,MAAM,UAAU;EACrD,MAAM,KAAK,OAAO;EAClB,IAAI,MAAM,WAAW,WAAW,GAC9B,MAAM,KAAK,KAAK,cAAc,kBAAkB,GAAG;OAEnD,KAAK,IAAI,IAAI,GAAG,IAAI,MAAM,WAAW,QAAQ,KAAK;GAChD,MAAM,KAAK,MAAM,WAAW;GAE5B,MAAM,WADS,MAAM,MAAM,WAAW,SAAS,IACrB,MAAM;GAChC,MAAM,oBACJ,GAAG,mBAAmB,gBAAgB,IAAI,aAAa,gBAAgB,KAAK;GAC9E,MAAM,KAAK,KAAK,cAAc,SAAS,CAAC,IAAI,GAAG,QAAQ,oBAAoB;;EAG/E,IAAI,SAAS,WAAW,MAAM,QAC5B,MAAM,KAAK,KAAK,cAAc,WAAW,MAAM,OAAO,cAAc,GAAG;;CAG3E,OAAO;;;;;AAMT,SAAgB,0BACd,QACA,OACQ;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAGjE,MAAM,iBAAiB,OAAO,MAAM,WAAW,UAAU;CACzD,MAAM,aAAa,OAAO,UAAU,UAAU;CAC9C,IAAI,aAAa,GACf,MAAM,KACJ,GAAG,YAAY,IAAI,CAAC,WAAW,eAAe,uBAAuB,WAAW,iBAAiB,eAAe,IAAI,KAAK,MAC1H;MAED,MAAM,KAAK,GAAG,YAAY,IAAI,CAAC,WAAW,eAAe,eAAe;CAG1E,MAAM,eAAe,qBAAqB,UAAU,OAAO;CAI3D,IAAI,OAAO,YAAY,OAAO,SAAS,SAAS,GAAG;EACjD,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,GAAG,oBAAoB,OAAO,UAAU,QAAQ,SAAS,CAAC;EAIrE,IAHuB,OAAO,SAAS,MAAM,MAC3C,EAAE,WAAW,MAAM,OAAO,GAAG,mBAAmB,cAAc,CAE9C,EAAE;GAClB,MAAM,KAAK,GAAG;GACd,MAAM,KACJ,GAAG,aAAa,IAAI,CAAC,2EACtB;;QAEE,IAAI,OAAO,MAAM,cAAc,OAAO,KAAK,WAAW,SAAS,GAAG;EAGvE,MAAM,KAAK,GAAG,cAAc,IAAI,GAAG;EACnC,KAAK,IAAI,IAAI,GAAG,IAAI,OAAO,KAAK,WAAW,QAAQ,KAAK;GACtD,MAAM,KAAK,OAAO,KAAK,WAAW;GAClC,IAAI,CAAC,IAAI;GAET,MAAM,WADS,MAAM,OAAO,KAAK,WAAW,SAAS,IAC3B,MAAM;GAChC,MAAM,oBACJ,GAAG,mBAAmB,gBAAgB,IAAI,aAAa,gBAAgB,KAAK;GAC9E,MAAM,KAAK,GAAG,cAAc,SAAS,CAAC,IAAI,GAAG,QAAQ,oBAAoB;;EAI3E,IADuB,OAAO,KAAK,WAAW,MAAM,OAAO,GAAG,mBAAmB,cAC/D,EAAE;GAClB,MAAM,KAAK,GAAG;GACd,MAAM,KACJ,GAAG,aAAa,IAAI,CAAC,2EACtB;;;CAKL,IAAI,OAAO,MAAM,aAAa;EAC5B,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,GAAG,cAAc,qBAAqB,OAAO,KAAK,YAAY,cAAc,GAAG;;CAI5F,MAAM,UAAU,OAAO,MAAM;CAC7B,IAAI,SAAS;EACX,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,GAAG,cAAc,mBAAmB,QAAQ,CAAC,GAAG;EAC3D,IAAI,QAAQ,WAAW,WAAW,GAChC,MAAM,KAAK,GAAG,cAAc,iBAAiB,GAAG;OAC3C;GACL,MAAM,KAAK,GAAG;GACd,KAAK,MAAM,aAAa,QAAQ,YAAY;IAC1C,MAAM,WAAW,uBAAuB,UAAU,MAAM,UAAU,SAAS;IAC3E,IAAI,UACF,MAAM,KAAK,SAAS;;;;CAO5B,IAAI,UAAU,OAAO,EAAE,EACrB,MAAM,KAAK,GAAG,cAAc,eAAe,OAAO,QAAQ,MAAM,IAAI,GAAG;CAIzE,MAAM,KAAK,GAAG;CACd,MAAM,KAAK,GAAG,cAAc,8CAA8C,GAAG;CAC7E,MAAM,KAAK,GAAG,cAAc,0CAA0C,GAAG;CAEzE,OAAO,MAAM,KAAK,KAAK;;AA0BzB,SAAgB,kCACd,QACA,OACQ;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,EAAE;CAC1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAEjE,MAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,OAAO,UAAU;CAEnD,IAAI,OAAO,SAAS,SAAS,GAAG;EAC9B,MAAM,KAAK,GAAG;EACd,KAAK,MAAM,QAAQ,oBAAoB,OAAO,UAAU,SAAS,SAAS,EACxE,MAAM,KAAK,KAAK;;CAIpB,MAAM,KAAK,GAAG;CACd,MAAM,KAAK,cAAc,qCAAqC,CAAC;CAE/D,IAAI,UAAU,OAAO,EAAE,IAAI,OAAO,SAAS;EACzC,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,cAAc,eAAe,OAAO,QAAQ,MAAM,IAAI,CAAC;;CAGpE,OAAO,MAAM,KAAK,KAAK;;AAiCzB,SAAS,qBACP,OACA,UACmB;CACnB,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,eAAe,qBAAqB,UAAU,OAAO;CAC3D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAEjE,MAAM,QAAkB,EAAE;CAC1B,MAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,MAAM,UAAU;CAClD,MAAM,KAAK,GAAG,cAAc,WAAW,MAAM,QAAQ,eAAe,GAAG;CACvE,MAAM,KAAK,GAAG,cAAc,WAAW,MAAM,KAAK,GAAG;CACrD,MAAM,KAAK,GAAG,cAAc,oBAAoB,MAAM,gBAAgB,GAAG;CACzE,MAAM,KAAK,GAAG,cAAc,cAAc,MAAM,YAAY,GAAG;CAE/D,MAAM,KAAK,GAAG;CACd,MAAM,KAAK,GAAG,MAAM,WAAW,OAAO,eAAe;CAErD,IAAI,MAAM,WAAW,SAAS,GAAG;EAC/B,MAAM,KAAK,GAAG,cAAc,IAAI,GAAG;EACnC,KAAK,IAAI,IAAI,GAAG,IAAI,MAAM,WAAW,QAAQ,KAAK;GAChD,MAAM,KAAK,MAAM,WAAW;GAE5B,MAAM,WADS,MAAM,MAAM,WAAW,SAAS,IACrB,MAAM;GAChC,MAAM,oBACJ,GAAG,mBAAmB,gBAAgB,IAAI,aAAa,gBAAgB,KAAK;GAC9E,MAAM,KAAK,GAAG,cAAc,SAAS,CAAC,IAAI,GAAG,QAAQ,oBAAoB;;EAI3E,IADuB,MAAM,WAAW,MAAM,OAAO,GAAG,mBAAmB,cACzD,EAAE;GAClB,MAAM,KAAK,GAAG;GACd,MAAM,KACJ,GAAG,aAAa,IAAI,CAAC,2EACtB;;;CAIL,IAAI,MAAM,QAAQ,WAAW,SAAS,GAAG;EACvC,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,GAAG,cAAc,mBAAmB,MAAM,QAAQ,CAAC,GAAG;EACjE,MAAM,KAAK,GAAG;EACd,KAAK,MAAM,aAAa,MAAM,QAAQ,YAAY;GAChD,MAAM,WAAW,uBAAuB,UAAU,MAAM,UAAU,SAAS;GAC3E,IAAI,UACF,MAAM,KAAK,SAAS;;;CAK1B,OAAO;;AAGT,SAAgB,0BAA0B,QAA6B,OAA4B;CACjG,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CACjE,MAAM,iBAAiB,OAAO,OAAO,SAAS;CAC9C,MAAM,QAAkB,EAAE;CAE1B,KAAK,IAAI,IAAI,GAAG,IAAI,OAAO,OAAO,QAAQ,KAAK;EAC7C,MAAM,QAAQ,OAAO,OAAO;EAC5B,IAAI,gBACF,MAAM,KAAK,cAAc,MAAM,MAAM,QAAQ,KAAK,CAAC;EAErD,IAAI,MAAM,SAAS,WACjB,MAAM,KAAK,cAAc,KAAK,MAAM,UAAU,CAAC;OAE/C,KAAK,MAAM,QAAQ,qBAAqB,OAAO,SAAS,EACtD,MAAM,KAAK,KAAK;EAGpB,IAAI,IAAI,OAAO,OAAO,SAAS,GAC7B,MAAM,KAAK,GAAG;;CAIlB,OAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,2BACd,QACA,OACQ;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAEjE,IAAI,OAAO,IAAI;EAEb,MAAM,WAAW,OAAO,WAAW,sBAAsB;EACzD,MAAM,aAAa,OAAO,UAAU,UAAU;EAE9C,IAAI,aAAa,GAAG;GAClB,MAAM,eACJ,aAAa,IAAI,WAAW,WAAW,iBAAiB,eAAe,IAAI,KAAK,QAAQ;GAC1F,MAAM,KAAK,GAAG,YAAY,IAAI,CAAC,oCAAoC,eAAe;SAC7E,IAAI,aAAa,GACtB,MAAM,KACJ,GAAG,YAAY,IAAI,CAAC,WAAW,SAAS,uBAAuB,WAAW,iBAAiB,eAAe,IAAI,KAAK,MACpH;OAED,MAAM,KAAK,GAAG,YAAY,IAAI,CAAC,WAAW,SAAS,eAAe;EAKpE,IAAI,OAAO,YAAY,OAAO,SAAS,SAAS,GAAG;GACjD,MAAM,KAAK,GAAG;GACd,MAAM,KAAK,GAAG,oBAAoB,OAAO,UAAU,SAAS,SAAS,CAAC;GACtE,MAAM,KAAK,GAAG;GACd,MAAM,KACJ,cACE,iDACE,eAAe,IAAI,iBAAiB,iBACrC,cACF,CACF;SACI,IAAI,OAAO,QAAQ;GAKxB,MAAM,KAAK,GAAG,cAAc,uBAAuB,OAAO,OAAO,cAAc,GAAG;GAClF,IAAI,OAAO,OAAO,aAChB,MAAM,KAAK,GAAG,cAAc,mBAAmB,OAAO,OAAO,cAAc,GAAG;;EAKlF,IAAI,UAAU,OAAO,EAAE,EACrB,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;;CAI7E,OAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,oBAAoB,QAAwC;CAC1E,OAAO,KAAK,UAAU,QAAQ,MAAM,EAAE"}

package/dist/{types-D7x-IFLO.d.mts → types-LItU7E4l.d.mts}

@@ -316,10 +316,10 @@ interface EmitOptions {
  * then app — together with the operations attributed to each space and,
  * when the run was applied, the resulting per-space marker hash.
  *
- * M6 sub-spec § Output shape contract — every space involved in a run
- * is observable in the success summary, including its post-apply
- * marker, so the per-space invariant is visible to the user (closing
- * F4 / F7 from `e2e-verification.md`).
+ * Every space involved in a run is observable in the success summary,
+ * including its post-apply marker — the per-space marker is visible
+ * to the user instead of being collapsed into a single ambiguous
+ * top-level hash.
  */
 interface AggregatePerSpaceExecutionEntry {
   readonly spaceId: string;
@@ -516,8 +516,6 @@ type EmitResult = Result<EmitSuccess, EmitFailure>;
  * through the shared `applyAggregate` primitive. The CLI command
  * just resolves the descriptor surface (config, refs, contract
  * envelope, app-space migration packages) and hands the inputs in.
- *
- * Sub-spec § `migration apply` semantics + § Required changes 1.
  */
 interface MigrationApplyOptions {
   /** Already-validated app contract (the canonical "where we are heading" hash). */
@@ -582,8 +580,8 @@ interface MigrationApplyAppliedEntry {
  * Successful migrationApply result. Carries both the legacy
  * single-space fields (`markerHash` is the **app member's** post-apply
  * marker, surfaced for back-compat with single-space callers) and the
- * per-space breakdown (`perSpace` — markers / operations / canonical
- * order, per M6 sub-spec § Output shape).
+ * per-space breakdown (`perSpace` — markers / operations in canonical
+ * schedule order).
  */
 /**
  * Path-decision summary for the **app member** post-apply. Surfaced
@@ -855,4 +853,4 @@ interface ControlClient {
 }
 //#endregion
 export { ExecuteDbVerifyOptions as A, EmitSuccess as C, SchemaVerifyOptions as D, OnControlProgress as E, executeDbVerify as M, SignOptions as O, EmitResult as S, MigrationApplyPathDecision as T, DbUpdateSuccess as _, ControlClient as a, EmitFailureCode as b, DbInitFailure as c, DbInitResult as d, DbInitSuccess as f, DbUpdateResult as g, DbUpdateOptions as h, ControlActionName as i, ExecuteDbVerifyResult as j, VerifyOptions as k, DbInitFailureCode as l, DbUpdateFailureCode as m, ContractEmitOptions as n, ControlClientOptions as o, DbUpdateFailure as p, ContractEmitResult as r, ControlProgressEvent as s, AggregatePerSpaceExecutionEntry as t, DbInitOptions as u, EmitContractConfig as v, IntrospectOptions as w, EmitOptions as x, EmitFailure as y };
-//# sourceMappingURL=types-D7x-IFLO.d.mts.map
+//# sourceMappingURL=types-LItU7E4l.d.mts.map

package/dist/{types-D7x-IFLO.d.mts.map → types-LItU7E4l.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"types-D7x-IFLO.d.mts","names":[],"sources":["../src/control-api/operations/db-verify.ts","../src/control-api/types.ts"],"mappings":";;;;;;;;;;;;;;AAwCA;;;;;UAAiB,sBAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,cAAA,EAAgB,qBAAA,CAAsB,SAAA;EAAA,SACtC,QAAA,EAAU,QAAA;EAAA,SACV,aAAA;EAAA,SACA,QAAA,EAAU,SAAA;EAAA,SACV,cAAA,EAAgB,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;EAAA,SACpE,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;EAAA,SAC7E,IAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,GAAa,iBAAA;AAAA;;;;;;;;;;;;;UAeP,sBAAA;EAAA,SACN,aAAA,EAAe,WAAA,SAAoB,0BAAA;EAAA,SACnC,WAAA;EAAA,SACA,UAAA;AAAA;AAAA,KAGC,qBAAA,GAAwB,MAAA,CAAO,sBAAA,EAAwB,kBAAA;;;;;;;;;;;;;;;;;iBAkB7C,eAAA,oDAAA,CACpB,OAAA,EAAS,sBAAA,CAAuB,SAAA,EAAW,SAAA,IAC1C,OAAA,CAAQ,qBAAA;;;;;;AApDX;;;;;;;;UCDiB,oBAAA;EAAA,SAEN,MAAA,EAAQ,uBAAA;EAAA,SAER,MAAA,EAAQ,uBAAA;EAAA,SAER,OAAA,EAAS,wBAAA;EDCqB;EAAA,SCE9B,MAAA,GAAS,uBAAA;EAAA,SAET,cAAA,GAAiB,aAAA,CAAc,0BAAA;EDH8C;;;;;EAAA,SCS7E,UAAA;AAAA;;;;KAUC,iBAAA;;;;;;;;;;;;;;KAwBA,oBAAA;EAAA,SAEG,MAAA,EAAQ,iBAAA;EAAA,SACR,IAAA;EAAA,SACA,MAAA;EAAA,SACA,YAAA;EAAA,SACA,KAAA;AAAA;EAAA,SAGA,MAAA,EAAQ,iBAAA;EAAA,SACR,IAAA;EAAA,SACA,MAAA;EAAA,SACA,OAAA;AAAA;;ADpCf;;;;KC4CY,iBAAA,IAAqB,KAAA,EAAO,oBAAA;;;;UASvB,aAAA;EDlDI;EAAA,SCoDV,QAAA;EDjDC;;;;;EAAA,SCuDD,UAAA;EDvD+B;EAAA,SCyD/B,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,mBAAA;ED7CK;EAAA,SC+CX,QAAA;ED/C0B;;;;;EAAA,SCqD1B,MAAA;EDnDD;;;;;EAAA,SCyDC,UAAA;ED1DkC;EAAA,SC4DlC,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,WAAA;;WAEN,QAAA;EAxHM;;;EAAA,SA4HN,YAAA;EAxHQ;;;EAAA,SA4HR,UAAA;EArHiB;;;;;EAAA,SA2HjB,UAAA;EAlIQ;EAAA,SAoIR,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,aAAA;EAnIyB;EAAA,SAqI/B,QAAA;EA/HU;;AAUrB;;;EAVqB,SAqIV,IAAA;EA3HkB;AAwB7B;;;;EAxB6B,SAiIlB,UAAA;EAvGY;;;;;;EAAA,SA8GZ,aAAA;EAtGI;EAAA,SAwGJ,UAAA,GAAa,iBAAA;AAAA;;;AA9FxB;UAoGiB,eAAA;;WAEN,QAAA;EAtGiD;AAS5D;;;;EAT4D,SA4GjD,IAAA;EA3FA;;;;;EAAA,SAiGA,UAAA;EAzFyB;;;;;;;EAAA,SAiGzB,cAAA;EAjF8B;;AAMzC;;;;EANyC,SAwF9B,aAAA;EA5EA;EAAA,SA8EA,UAAA,GAAa,iBAAA;AAAA;;;;;AA5DxB;;;;UAuEiB,eAAA;EAAA,SACN,QAAA;EAAA,SACA,aAAA;EAAA,SACA,MAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,iBAAA;EA/CN;;;EAAA,SAmDA,MAAA;EA5BA;;;;AAWX;EAXW,SAkCA,UAAA;;WAEA,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,kBAAA;EAzBN;;;EAAA,SA6BA,MAAA,EAAQ,sBAAA;EA5BsB;AAMzC;;;EANyC,SAiC9B,MAAA;AAAA;;;;UAMM,WAAA;EArBwB;AAMzC;;EANyC,SAyB9B,cAAA,EAAgB,kBAAA;EAfc;EAAA,SAiB9B,UAAA,GAAa,iBAAA;AAAA;;;;AANxB;;;;;;;;;UAyBiB,+BAAA;EAAA,SACN,OAAA;EADqC;EAAA,SAGrC,IAAA;EAMyB;;;;;EAAA,SAAzB,UAAA,EAAY,aAAA;IAAA,SACV,EAAA;IAAA,SACA,KAAA;IAAA,SACA,cAAA;EAAA;EAQW;;AAOxB;;;EAPwB,SADb,MAAA;IAAA,SACE,WAAA;EAAA;AAAA;;;;UAOI,aAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;IAAA,SACE,UAAA,EAAY,aAAA;MAAA,SACV,EAAA;MAAA,SACA,KAAA;MAAA,SACA,cAAA;IAAA;IAWJ;;;;;;;IAAA,SAFE,OAAA,GAAU,gBAAA;EAAA;EAAA,SAEZ,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,SAAA;IAAA,SACE,iBAAA;IAAA,SACA,kBAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAqBiB;;;;;;;EAAA,SAZnB,QAAA,GAAW,aAAA,CAAc,+BAAA;EAAA,SACzB,OAAA;AAAA;;;;KAMC,iBAAA;;;;UAKK,aAAA;EAAA,SACN,IAAA,EAAM,iBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,SAAA,EAAW,aAAA,CAAc,wBAAA;EAAA,SACzB,IAAA,EAAM,MAAA;EAAA,SACN,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;AAAA;;;;;KAQD,YAAA,GAAe,MAAA,CAAO,aAAA,EAAe,aAAA;;AAKjD;;UAAiB,eAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;IAAA,SACE,UAAA,EAAY,aAAA;MAAA,SACV,EAAA;MAAA,SACA,KAAA;MAAA,SACA,cAAA;IAAA;IAJJ;;;;;;;IAAA,SAaE,OAAA,GAAU,gBAAA;EAAA;EAAA,SAEZ,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,SAAA;IAAA,SACE,iBAAA;IAAA,SACA,kBAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAOK;;AAMlB;;EANkB,SADP,QAAA,GAAW,aAAA,CAAc,+BAAA;EAAA,SACzB,OAAA;AAAA;AAWX;;;AAAA,KALY,mBAAA;;;;UAKK,eAAA;EAAA,SACN,IAAA,EAAM,mBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,SAAA,EAAW,aAAA,CAAc,wBAAA;EAAA,SACzB,IAAA,EAAM,MAAA;AAAA;;;;;KAOL,cAAA,GAAiB,MAAA,CAAO,eAAA,EAAiB,eAAA;;AAArD;;;UAMiB,WAAA;EANoC;EAAA,SAQ1C,WAAA;EARwB;EAAA,SAUxB,aAAA;EAVkB;EAAA,SAYlB,WAAA;EAZ0C;EAAA,SAc1C,YAAA;EAdyD;EAAA,SAgBzD,WAAA;AAAA;;;;KAMC,eAAA;;;;UAQK,WAAA;EAAA,SACN,IAAA,EAAM,eAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,IAAA,EAAM,MAAA;EAAA,SACN,WAAA,GAAc,yBAAA;AAAA;AALzB;;;;AAAA,KAYY,UAAA,GAAa,MAAA,CAAO,WAAA,EAAa,WAAA;;;;;;;;;;;;;;UAmB5B,qBAAA;EAnBK;EAAA,SAqBX,QAAA;EArBqB;EAAA,SAuBrB,aAAA;EAvBc;;;;;EAAA,SA6Bd,oBAAA,EAAsB,aAAA,CAAc,sBAAA;EA7BS;;AAmBxD;;;EAnBwD,SAmC7C,OAAA;EANsB;;;;;EAAA,SAYtB,aAAA;EAZA;;;;;;EAAA,SAmBA,OAAA;EAOA;;;;EAAA,SAFA,UAAA;EA0CgC;EAAA,SAxChC,UAAA,GAAa,iBAAA;AAAA;;;;;AAkFxB;;;;;;;;;UA1CiB,0BAAA;EAAA,SACN,OAAA;EAAA,SACA,OAAA;EAAA,SACA,aAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,kBAAA;AAAA;;;;;AA2DX;;;;;AAKA;;;;;;;UA7CiB,0BAAA;EAAA,SACN,QAAA;EAAA,SACA,MAAA;EAAA,SACA,gBAAA;EAAA,SACA,eAAA;EAAA,SACA,OAAA;EAAA,SACA,kBAAA;EAAA,SACA,mBAAA;EAAA,SACA,YAAA;IAAA,SACE,OAAA;IAAA,SACA,aAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,UAAA;EAAA;AAAA;AAAA,UAII,qBAAA;EAAA,SACN,iBAAA;EAAA,SACA,UAAA;EAAA,SACA,OAAA,WAAkB,0BAAA;EAAA,SAClB,OAAA;EA0D8B;;;;;EAAA,SApD9B,QAAA,EAAU,aAAA,CAAc,+BAAA;EAoDM;;AAUzC;;;;EAVyC,SA7C9B,YAAA,GAAe,0BAAA;AAAA;;;;KAMd,yBAAA;;;;UAKK,qBAAA;EAAA,SACN,IAAA,EAAM,yBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,IAAA,EAAM,MAAA;AAAA;;;;KAML,oBAAA,GAAuB,MAAA,CAAO,qBAAA,EAAuB,qBAAA;;;;;;;;;;;;;UAkBhD,mBAAA;EAwJO;EAAA,SAtJb,UAAA;EA6JqC;EAAA,SA3JrC,MAAA,GAAS,WAAA;EA2JA;EAAA,SAzJT,UAAA,GAAa,iBAAA;AAAA;;;;;;;;UAUP,kBAAA;EAyMqB;EAAA,SAvM3B,WAAA;EAuM0B;EAAA,SArM1B,aAAA;EAwCT;EAAA,SAtCS,WAAA;EAmDD;EAAA,SAjDC,KAAA;IAwDT,sDAtDW,IAAA,UA+DX;IAAA,SA7DW,GAAA;EAAA;EA6DqB;;;;;EAAA,SAtDvB,iBAAA;AAAA;;;;;;;;;;;UAiBM,aAAA;EA6EG;;;;;;;EArElB,IAAA;EAoF4C;;;;;;;;;;;EAvE5C,OAAA,CAAQ,UAAA,aAAuB,OAAA;EAmGyB;;;;;EA5FxD,KAAA,IAAS,OAAA;EA6GI;;;;;;;EApGb,MAAA,CAAO,OAAA,EAAS,aAAA,GAAgB,OAAA,CAAQ,oBAAA;EAuH2B;;;;;;;EA9GnE,YAAA,CAAa,OAAA,EAAS,mBAAA,GAAsB,OAAA,CAAQ,0BAAA;;;;;;;;;EAUpD,IAAA,CAAK,OAAA,EAAS,WAAA,GAAc,OAAA,CAAQ,kBAAA;;;;;;;;;EAUpC,MAAA,CAAO,OAAA,EAAS,aAAA,GAAgB,OAAA,CAAQ,YAAA;;;;;;;;;;EAWxC,QAAA,CAAS,OAAA,EAAS,eAAA,GAAkB,OAAA,CAAQ,cAAA;;;;;;;;;;;;;;EAe5C,QAAA,CAAS,OAAA,EAAS,eAAA,GAAkB,OAAA,CAAQ,qBAAA;;;;;;;EAQ5C,UAAA,IAAc,OAAA,CAAQ,oBAAA;;;;;;EAOtB,cAAA,IAAkB,OAAA,CAAQ,WAAA,SAAoB,oBAAA;;;;;;;;;;;;EAa9C,cAAA,CAAe,OAAA,EAAS,qBAAA,GAAwB,OAAA,CAAQ,oBAAA;;;;;;;EAQxD,UAAA,CAAW,OAAA,GAAU,iBAAA,GAAoB,OAAA;;;;;;;;EASzC,YAAA,CAAa,QAAA,YAAoB,cAAA;;;;;;;;EASjC,gBAAA,CAAiB,QAAA,YAAoB,cAAA;;;;;;;;;EAUrC,kBAAA,CAAmB,UAAA,WAAqB,sBAAA,KAA2B,gBAAA;;;;;;;;EASnE,IAAA,CAAK,OAAA,EAAS,WAAA,GAAc,OAAA,CAAQ,UAAA;AAAA"}
+{"version":3,"file":"types-LItU7E4l.d.mts","names":[],"sources":["../src/control-api/operations/db-verify.ts","../src/control-api/types.ts"],"mappings":";;;;;;;;;;;;;;AAwCA;;;;;UAAiB,sBAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,cAAA,EAAgB,qBAAA,CAAsB,SAAA;EAAA,SACtC,QAAA,EAAU,QAAA;EAAA,SACV,aAAA;EAAA,SACA,QAAA,EAAU,SAAA;EAAA,SACV,cAAA,EAAgB,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;EAAA,SACpE,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;EAAA,SAC7E,IAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,GAAa,iBAAA;AAAA;;;;;;;;;;;;;UAeP,sBAAA;EAAA,SACN,aAAA,EAAe,WAAA,SAAoB,0BAAA;EAAA,SACnC,WAAA;EAAA,SACA,UAAA;AAAA;AAAA,KAGC,qBAAA,GAAwB,MAAA,CAAO,sBAAA,EAAwB,kBAAA;;;;;;;;;;;;;;;;;iBAkB7C,eAAA,oDAAA,CACpB,OAAA,EAAS,sBAAA,CAAuB,SAAA,EAAW,SAAA,IAC1C,OAAA,CAAQ,qBAAA;;;;;;AApDX;;;;;;;;UCDiB,oBAAA;EAAA,SAEN,MAAA,EAAQ,uBAAA;EAAA,SAER,MAAA,EAAQ,uBAAA;EAAA,SAER,OAAA,EAAS,wBAAA;EDCqB;EAAA,SCE9B,MAAA,GAAS,uBAAA;EAAA,SAET,cAAA,GAAiB,aAAA,CAAc,0BAAA;EDH8C;;;;;EAAA,SCS7E,UAAA;AAAA;;;;KAUC,iBAAA;;;;;;;;;;;;;;KAwBA,oBAAA;EAAA,SAEG,MAAA,EAAQ,iBAAA;EAAA,SACR,IAAA;EAAA,SACA,MAAA;EAAA,SACA,YAAA;EAAA,SACA,KAAA;AAAA;EAAA,SAGA,MAAA,EAAQ,iBAAA;EAAA,SACR,IAAA;EAAA,SACA,MAAA;EAAA,SACA,OAAA;AAAA;;ADpCf;;;;KC4CY,iBAAA,IAAqB,KAAA,EAAO,oBAAA;;;;UASvB,aAAA;EDlDI;EAAA,SCoDV,QAAA;EDjDC;;;;;EAAA,SCuDD,UAAA;EDvD+B;EAAA,SCyD/B,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,mBAAA;ED7CK;EAAA,SC+CX,QAAA;ED/C0B;;;;;EAAA,SCqD1B,MAAA;EDnDD;;;;;EAAA,SCyDC,UAAA;ED1DkC;EAAA,SC4DlC,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,WAAA;;WAEN,QAAA;EAxHM;;;EAAA,SA4HN,YAAA;EAxHQ;;;EAAA,SA4HR,UAAA;EArHiB;;;;;EAAA,SA2HjB,UAAA;EAlIQ;EAAA,SAoIR,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,aAAA;EAnIyB;EAAA,SAqI/B,QAAA;EA/HU;;AAUrB;;;EAVqB,SAqIV,IAAA;EA3HkB;AAwB7B;;;;EAxB6B,SAiIlB,UAAA;EAvGY;;;;;;EAAA,SA8GZ,aAAA;EAtGI;EAAA,SAwGJ,UAAA,GAAa,iBAAA;AAAA;;;AA9FxB;UAoGiB,eAAA;;WAEN,QAAA;EAtGiD;AAS5D;;;;EAT4D,SA4GjD,IAAA;EA3FA;;;;;EAAA,SAiGA,UAAA;EAzFyB;;;;;;;EAAA,SAiGzB,cAAA;EAjF8B;;AAMzC;;;;EANyC,SAwF9B,aAAA;EA5EA;EAAA,SA8EA,UAAA,GAAa,iBAAA;AAAA;;;;;AA5DxB;;;;UAuEiB,eAAA;EAAA,SACN,QAAA;EAAA,SACA,aAAA;EAAA,SACA,MAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,iBAAA;EA/CN;;;EAAA,SAmDA,MAAA;EA5BA;;;;AAWX;EAXW,SAkCA,UAAA;;WAEA,UAAA,GAAa,iBAAA;AAAA;;;;UAMP,kBAAA;EAzBN;;;EAAA,SA6BA,MAAA,EAAQ,sBAAA;EA5BsB;AAMzC;;;EANyC,SAiC9B,MAAA;AAAA;;;;UAMM,WAAA;EArBwB;AAMzC;;EANyC,SAyB9B,cAAA,EAAgB,kBAAA;EAfc;EAAA,SAiB9B,UAAA,GAAa,iBAAA;AAAA;;;;AANxB;;;;;;;;;UAyBiB,+BAAA;EAAA,SACN,OAAA;EADqC;EAAA,SAGrC,IAAA;EAMyB;;;;;EAAA,SAAzB,UAAA,EAAY,aAAA;IAAA,SACV,EAAA;IAAA,SACA,KAAA;IAAA,SACA,cAAA;EAAA;EAQW;;AAOxB;;;EAPwB,SADb,MAAA;IAAA,SACE,WAAA;EAAA;AAAA;;;;UAOI,aAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;IAAA,SACE,UAAA,EAAY,aAAA;MAAA,SACV,EAAA;MAAA,SACA,KAAA;MAAA,SACA,cAAA;IAAA;IAWJ;;;;;;;IAAA,SAFE,OAAA,GAAU,gBAAA;EAAA;EAAA,SAEZ,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,SAAA;IAAA,SACE,iBAAA;IAAA,SACA,kBAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAqBiB;;;;;;;EAAA,SAZnB,QAAA,GAAW,aAAA,CAAc,+BAAA;EAAA,SACzB,OAAA;AAAA;;;;KAMC,iBAAA;;;;UAKK,aAAA;EAAA,SACN,IAAA,EAAM,iBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,SAAA,EAAW,aAAA,CAAc,wBAAA;EAAA,SACzB,IAAA,EAAM,MAAA;EAAA,SACN,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;AAAA;;;;;KAQD,YAAA,GAAe,MAAA,CAAO,aAAA,EAAe,aAAA;;AAKjD;;UAAiB,eAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;IAAA,SACE,UAAA,EAAY,aAAA;MAAA,SACV,EAAA;MAAA,SACA,KAAA;MAAA,SACA,cAAA;IAAA;IAJJ;;;;;;;IAAA,SAaE,OAAA,GAAU,gBAAA;EAAA;EAAA,SAEZ,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,SAAA;IAAA,SACE,iBAAA;IAAA,SACA,kBAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAOK;;AAMlB;;EANkB,SADP,QAAA,GAAW,aAAA,CAAc,+BAAA;EAAA,SACzB,OAAA;AAAA;AAWX;;;AAAA,KALY,mBAAA;;;;UAKK,eAAA;EAAA,SACN,IAAA,EAAM,mBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,SAAA,EAAW,aAAA,CAAc,wBAAA;EAAA,SACzB,IAAA,EAAM,MAAA;AAAA;;;;;KAOL,cAAA,GAAiB,MAAA,CAAO,eAAA,EAAiB,eAAA;;AAArD;;;UAMiB,WAAA;EANoC;EAAA,SAQ1C,WAAA;EARwB;EAAA,SAUxB,aAAA;EAVkB;EAAA,SAYlB,WAAA;EAZ0C;EAAA,SAc1C,YAAA;EAdyD;EAAA,SAgBzD,WAAA;AAAA;;;;KAMC,eAAA;;;;UAQK,WAAA;EAAA,SACN,IAAA,EAAM,eAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,IAAA,EAAM,MAAA;EAAA,SACN,WAAA,GAAc,yBAAA;AAAA;AALzB;;;;AAAA,KAYY,UAAA,GAAa,MAAA,CAAO,WAAA,EAAa,WAAA;;;;;;;;;;;;UAiB5B,qBAAA;EAxBiC;EAAA,SA0BvC,QAAA;EAnBW;EAAA,SAqBX,aAAA;EArBqB;;;;;EAAA,SA2BrB,oBAAA,EAAsB,aAAA,CAAc,sBAAA;EA3Bf;;;;AAiBhC;EAjBgC,SAiCrB,OAAA;;;;;;WAMA,aAAA;EApBA;;;;;;EAAA,SA2BA,OAAA;EAAA;;;;EAAA,SAKA,UAAA;EAE8B;EAAA,SAA9B,UAAA,GAAa,iBAAA;AAAA;;;;;;;AAkFxB;;;;;;;UA1CiB,0BAAA;EAAA,SACN,OAAA;EAAA,SACA,OAAA;EAAA,SACA,aAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,kBAAA;AAAA;;;;;;;AA2DX;;;;;AAKA;;;;;UA7CiB,0BAAA;EAAA,SACN,QAAA;EAAA,SACA,MAAA;EAAA,SACA,gBAAA;EAAA,SACA,eAAA;EAAA,SACA,OAAA;EAAA,SACA,kBAAA;EAAA,SACA,mBAAA;EAAA,SACA,YAAA;IAAA,SACE,OAAA;IAAA,SACA,aAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,UAAA;EAAA;AAAA;AAAA,UAII,qBAAA;EAAA,SACN,iBAAA;EAAA,SACA,UAAA;EAAA,SACA,OAAA,WAAkB,0BAAA;EAAA,SAClB,OAAA;EAoDyB;;;;;EAAA,SA9CzB,QAAA,EAAU,aAAA,CAAc,+BAAA;EAoDxB;;;;AAUX;;EAVW,SA7CA,YAAA,GAAe,0BAAA;AAAA;;;;KAMd,yBAAA;;;;UAKK,qBAAA;EAAA,SACN,IAAA,EAAM,yBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,IAAA,EAAM,MAAA;AAAA;;;;KAML,oBAAA,GAAuB,MAAA,CAAO,qBAAA,EAAuB,qBAAA;;;;;;;;;;;;;UAkBhD,mBAAA;EAgJ6B;EAAA,SA9InC,UAAA;EAsJa;EAAA,SApJb,MAAA,GAAS,WAAA;EA2J4B;EAAA,SAzJrC,UAAA,GAAa,iBAAA;AAAA;;;;;;;;UAUP,kBAAA;EAgMoD;EAAA,SA9L1D,WAAA;EAuM2B;EAAA,SArM3B,aAAA;EAqM0B;EAAA,SAnM1B,WAAA;EAsCT;EAAA,SApCS,KAAA;IAiDD,sDA/CG,IAAA,UAsDX;IAAA,SApDW,GAAA;EAAA;EA6DK;;;;;EAAA,SAtDP,iBAAA;AAAA;;;;;;;;;;;UAiBM,aAAA;EAkEyB;;;;;;;EA1DxC,IAAA;EAoFS;;;;;;;;;;;EAvET,OAAA,CAAQ,UAAA,aAAuB,OAAA;EAmGhB;;;;;EA5Ff,KAAA,IAAS,OAAA;EAoGgC;;;;;;;EA3FzC,MAAA,CAAO,OAAA,EAAS,aAAA,GAAgB,OAAA,CAAQ,oBAAA;EAuHA;;;;;;;EA9GxC,YAAA,CAAa,OAAA,EAAS,mBAAA,GAAsB,OAAA,CAAQ,0BAAA;EAuHN;;;;;;;;EA7G9C,IAAA,CAAK,OAAA,EAAS,WAAA,GAAc,OAAA,CAAQ,kBAAA;;;;;;;;;EAUpC,MAAA,CAAO,OAAA,EAAS,aAAA,GAAgB,OAAA,CAAQ,YAAA;;;;;;;;;;EAWxC,QAAA,CAAS,OAAA,EAAS,eAAA,GAAkB,OAAA,CAAQ,cAAA;;;;;;;;;;;;;;EAe5C,QAAA,CAAS,OAAA,EAAS,eAAA,GAAkB,OAAA,CAAQ,qBAAA;;;;;;;EAQ5C,UAAA,IAAc,OAAA,CAAQ,oBAAA;;;;;;EAOtB,cAAA,IAAkB,OAAA,CAAQ,WAAA,SAAoB,oBAAA;;;;;;;;;;;;EAa9C,cAAA,CAAe,OAAA,EAAS,qBAAA,GAAwB,OAAA,CAAQ,oBAAA;;;;;;;EAQxD,UAAA,CAAW,OAAA,GAAU,iBAAA,GAAoB,OAAA;;;;;;;;EASzC,YAAA,CAAa,QAAA,YAAoB,cAAA;;;;;;;;EASjC,gBAAA,CAAiB,QAAA,YAAoB,cAAA;;;;;;;;;EAUrC,kBAAA,CAAmB,UAAA,WAAqB,sBAAA,KAA2B,gBAAA;;;;;;;;EASnE,IAAA,CAAK,OAAA,EAAS,WAAA,GAAc,OAAA,CAAQ,UAAA;AAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prisma-next/cli",
-  "version": "0.5.0",
+  "version": "0.5.1",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
@@ -27,26 +27,26 @@
     "string-width": "^8.2.1",
     "strip-ansi": "^7.2.0",
     "wrap-ansi": "^10.0.0",
-    "@prisma-next/emitter": "0.5.0",
-    "@prisma-next/framework-components": "0.5.0",
-    "@prisma-next/config": "0.5.0",
-    "@prisma-next/errors": "0.5.0",
-    "@prisma-next/migration-tools": "0.5.0",
-    "@prisma-next/psl-printer": "0.5.0",
-    "@prisma-next/utils": "0.5.0",
-    "@prisma-next/contract": "0.5.0"
+    "@prisma-next/config": "0.5.1",
+    "@prisma-next/contract": "0.5.1",
+    "@prisma-next/emitter": "0.5.1",
+    "@prisma-next/errors": "0.5.1",
+    "@prisma-next/framework-components": "0.5.1",
+    "@prisma-next/migration-tools": "0.5.1",
+    "@prisma-next/psl-printer": "0.5.1",
+    "@prisma-next/utils": "0.5.1"
   },
   "devDependencies": {
     "@types/node": "24.10.4",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.5",
-    "@prisma-next/sql-contract": "0.5.0",
-    "@prisma-next/sql-contract-emitter": "0.5.0",
-    "@prisma-next/sql-contract-ts": "0.5.0",
-    "@prisma-next/sql-operations": "0.5.0",
-    "@prisma-next/sql-runtime": "0.5.0",
+    "@prisma-next/sql-contract": "0.5.1",
+    "@prisma-next/sql-contract-emitter": "0.5.1",
+    "@prisma-next/sql-contract-ts": "0.5.1",
+    "@prisma-next/sql-operations": "0.5.1",
     "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/sql-runtime": "0.5.1",
     "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/tsdown": "0.0.0"
   },

package/src/commands/migration-plan.ts

@@ -2,7 +2,6 @@ import { readFile } from 'node:fs/promises';
 import type { Contract } from '@prisma-next/contract/types';
 import { getEmittedArtifactPaths } from '@prisma-next/emitter';
 import {
-  APP_SPACE_ID,
   createControlStack,
   hasOperationPreview,
   type MigrationPlanOperation,
@@ -43,16 +42,9 @@ import {
   setCommandDescriptions,
   setCommandExamples,
 } from '../utils/command-helpers';
-import { runContractSpaceExtensionMigrationsPass } from '../utils/contract-space-extension-migrations-pass';
-import {
-  formatContractSpaceDriftWarning,
-  runContractSpaceMigratePass,
-} from '../utils/contract-space-migrate-pass';
-import {
-  toExtensionInputs,
-  toExtensionMigrationsInputs,
-  toMigratePassInputs,
-} from '../utils/extension-pack-inputs';
+import { buildContractSpaceAggregate } from '../utils/contract-space-aggregate-loader';
+import { runContractSpaceSeedPhase } from '../utils/contract-space-seed-phase';
+import { toExtensionInputs } from '../utils/extension-pack-inputs';
 import { formatStyledHeader } from '../utils/formatters/styled';
 import { assertFrameworkComponentsCompatible } from '../utils/framework-components';
 import type { CommonCommandOptions } from '../utils/global-flags';
@@ -241,41 +233,30 @@ async function executeMigrationPlanCommand(
     );
   }
 
-  // Per-space migrate pass: drift detection + on-disk artefact emission for
-  // every loaded extension that exposes a `contractSpace`. Runs *before*
-  // the app-space no-op check so that an extension bump alone (with no
-  // structural app-space change) still re-pins extension artefacts on
-  // disk. Drift warnings are non-fatal — the on-disk artefacts are refreshed
-  // and the user is notified that the bump is being captured.
-  // Single descriptor-import boundary: every consumer of `extensionPacks`
-  // goes through `toExtensionInputs` + a per-consumer adapter. AC11.
+  // Phase 1 — seed: unconditionally re-emit per-space pinned artefacts
+  // (contract.json / contract.d.ts / refs/head.json) and materialise any
+  // descriptor-shipped migration packages not yet on disk. Runs before
+  // the no-op check so that an extension bump alone (with no structural
+  // app-space change) still re-pins extension artefacts on disk.
   const canonicalExtensionInputs = toExtensionInputs(config.extensionPacks ?? []);
-  const migratePass = await runContractSpaceMigratePass({
+  const seedResult = await runContractSpaceSeedPhase({
     migrationsDir,
-    extensionPacks: toMigratePassInputs(canonicalExtensionInputs),
+    extensionPacks: canonicalExtensionInputs,
   });
   if (!flags.json && !flags.quiet) {
-    for (const drift of migratePass.drifts) {
-      if (drift.kind === 'drift') {
-        ui.stderr(formatContractSpaceDriftWarning(drift));
+    for (const record of seedResult.seeded) {
+      if (record.action === 'updated') {
+        const pkgSuffix =
+          record.newMigrationDirs.length > 0
+            ? `; ${record.newMigrationDirs.length} new migration package(s) materialised`
+            : '';
+        ui.step(`Updated ${record.spaceId} to ${record.newHash}${pkgSuffix}`);
       }
     }
   }
-
-  // Materialise descriptor-shipped migration packages onto disk under
-  // `migrations/<spaceId>/<dirName>/` for any package not yet present.
-  // Idempotent (existing dirs are left untouched).
-  // Uses `planAllSpaces` for deterministic ordering + duplicate-spaceId
-  // detection.
-  const extensionMigrationsResult = await runContractSpaceExtensionMigrationsPass({
-    migrationsDir,
-    extensionPacks: toExtensionMigrationsInputs(canonicalExtensionInputs),
-  });
-  if (!flags.json && !flags.quiet) {
-    for (const entry of extensionMigrationsResult.emitted) {
-      ui.step(`Emitted ${entry.spaceId}/${entry.dirName}`);
-    }
-  }
+  const emittedExtensionDirs = seedResult.seeded.flatMap((r) =>
+    r.newMigrationDirs.map((dirName) => ({ spaceId: r.spaceId, dirName })),
+  );
 
   // Check for no-op (same hash means no changes)
   if (fromHash === toStorageHash) {
@@ -285,7 +266,7 @@ async function executeMigrationPlanCommand(
       from: fromHash,
       to: toStorageHash,
       operations: [],
-      emittedExtensionDirs: extensionMigrationsResult.emitted,
+      emittedExtensionDirs,
       summary: 'No changes detected between contracts',
       timings: { total: Date.now() - startTime },
     };
@@ -301,6 +282,25 @@ async function executeMigrationPlanCommand(
       }),
     );
   }
+
+  // Phase 2 — load: build the aggregate against the now-consistent disk
+  // state that phase 1 just seeded. The seed phase guarantees every
+  // declared extension has its head ref pinned, so the loader's
+  // declaredButUnmigrated precheck always passes here.
+  const stack = createControlStack(config);
+  const familyInstance = config.family.create(stack);
+  const aggregateResult = await buildContractSpaceAggregate({
+    targetId: config.target.targetId,
+    migrationsDir,
+    appContract: toContractJson,
+    extensionPacks: config.extensionPacks ?? [],
+    validateContract: (json: unknown) => familyInstance.validateContract(json),
+  });
+  if (!aggregateResult.ok) {
+    return notOk(aggregateResult.failure);
+  }
+  const aggregate = aggregateResult.value;
+
   const frameworkComponents = assertFrameworkComponentsCompatible(
     config.family.familyId,
     config.target.targetId,
@@ -328,17 +328,15 @@ async function executeMigrationPlanCommand(
   };
 
   try {
-    const stack = createControlStack(config);
-    const familyInstance = config.family.create(stack);
     const planner = migrations.createPlanner(familyInstance);
     const fromSchema = migrations.contractToSchema(fromContract, frameworkComponents);
     const plannerResult = planner.plan({
-      contract: toContractJson,
+      contract: aggregate.app.contract,
       schema: fromSchema,
       policy: { allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'] },
       fromContract,
       frameworkComponents,
-      spaceId: APP_SPACE_ID,
+      spaceId: aggregate.app.spaceId,
     });
     if (plannerResult.kind === 'failure') {
       return notOk(
@@ -421,7 +419,7 @@ async function executeMigrationPlanCommand(
         to: toStorageHash,
         dir: relative(process.cwd(), packageDir),
         operations: [],
-        emittedExtensionDirs: extensionMigrationsResult.emitted,
+        emittedExtensionDirs,
         pendingPlaceholders: true,
         summary:
           'Planned migration with placeholder(s) — edit migration.ts then run `node migration.ts` to self-emit',
@@ -444,9 +442,9 @@ async function executeMigrationPlanCommand(
         label: op.label,
         operationClass: op.operationClass,
       })),
-      emittedExtensionDirs: extensionMigrationsResult.emitted,
+      emittedExtensionDirs,
       ...(preview !== undefined ? { preview } : {}),
-      summary: buildPlanSummary(plannedOps.length, extensionMigrationsResult.emitted.length),
+      summary: buildPlanSummary(plannedOps.length, emittedExtensionDirs.length),
       timings: { total: Date.now() - startTime },
     };
     return ok(result);