prisma-next 0.5.0-dev.8 → 0.5.0-dev.81

package/dist/migration-plan-C6lVaHsO.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration-plan-C6lVaHsO.mjs","names":[],"sources":["../src/utils/contract-space-extension-migrations-pass.ts","../src/utils/contract-space-migrate-pass.ts","../src/commands/migration-plan.ts"],"sourcesContent":["import { materialiseExtensionMigrationPackageIfMissing } from '@prisma-next/migration-tools/io';\nimport type { MigrationMetadata } from '@prisma-next/migration-tools/metadata';\nimport type { MigrationOps } from '@prisma-next/migration-tools/package';\nimport {\n  planAllSpaces,\n  type SpacePlanOutput,\n  spaceMigrationDirectory,\n} from '@prisma-next/migration-tools/spaces';\n\n/**\n * In-memory authored migration package shipped by an extension descriptor.\n * Mirrors `MigrationPackage` from `@prisma-next/migration-tools/io`\n * (the on-disk shape minus `dirPath`); redeclared structurally here so\n * the CLI helper does not couple to the SQL family's `ExtensionMigrationPackage`\n * type — any family that ships pre-built migration packages can pass them\n * through unchanged.\n */\nexport interface DescriptorMigrationPackage {\n  readonly dirName: string;\n  readonly metadata: MigrationMetadata;\n  readonly ops: MigrationOps;\n}\n\n/**\n * Minimal descriptor view consumed by the migration-materialisation pass.\n * Mirrors {@link import('./contract-space-migrate-pass').MigrateExtensionInput}\n * but adds the `migrations` field — the canonical set of pre-built\n * migration packages the extension ships.\n */\nexport interface ExtensionMigrationsExtensionInput {\n  readonly id: string;\n  readonly contractSpace?: {\n    readonly contractJson: unknown;\n    readonly migrations: readonly DescriptorMigrationPackage[];\n    readonly headRef: { readonly hash: string; readonly invariants: readonly string[] };\n  };\n}\n\nexport interface ContractSpaceExtensionMigrationsPassInputs {\n  readonly migrationsDir: string;\n  readonly extensionPacks: ReadonlyArray<ExtensionMigrationsExtensionInput>;\n}\n\nexport interface ContractSpaceExtensionMigrationsPassResult {\n  readonly emitted: readonly { readonly spaceId: string; readonly dirName: string }[];\n  readonly skipped: readonly { readonly spaceId: string; readonly dirName: string }[];\n}\n\n/**\n * Materialise an extension's pre-built migration packages onto disk\n * under `migrations/<spaceId>/<dirName>/` for every package that does\n * not yet exist there.\n *\n * Helper-location pattern — the per-space \"planner\" for extension\n * spaces is a no-op that just returns the descriptor's `migrations`\n * verbatim; the value `planAllSpaces` brings to this consumer site is\n * **deterministic ordering** (alphabetical by spaceId) and\n * **duplicate-spaceId detection**. The actual write is performed via\n * `materialiseMigrationPackage` per package.\n *\n * Idempotent: an existing `migrations/<spaceId>/<dirName>/` is left\n * untouched and reported in `result.skipped` — the helper never\n * overwrites authored migration content, ensuring re-running\n * `migrate` does not corrupt or churn extension migration packages.\n *\n * Per-space artefacts (`contract.json`, `contract.d.ts`,\n * `refs/head.json`) are emitted by\n * {@link import('./contract-space-migrate-pass').runContractSpaceMigratePass}\n * separately — they cover the head-pointer side of the ledger. This\n * helper covers the migration-graph side.\n */\nexport async function runContractSpaceExtensionMigrationsPass(\n  inputs: ContractSpaceExtensionMigrationsPassInputs,\n): Promise<ContractSpaceExtensionMigrationsPassResult> {\n  const planInputs = inputs.extensionPacks\n    .filter(\n      (\n        pack,\n      ): pack is ExtensionMigrationsExtensionInput & {\n        contractSpace: NonNullable<ExtensionMigrationsExtensionInput['contractSpace']>;\n      } => pack.contractSpace !== undefined,\n    )\n    .map((pack) => ({\n      spaceId: pack.id,\n      priorContract: null,\n      newContract: pack.contractSpace.contractJson,\n      __migrations: pack.contractSpace.migrations,\n    }));\n\n  // Threading the descriptor's pre-built migrations into the\n  // `planAllSpaces` callback by piggybacking on the input shape.\n  // The framework helper is generic over the per-space planner output;\n  // here the \"planner\" is a no-op that returns the descriptor's\n  // `migrations` array. The benefit of routing through `planAllSpaces`\n  // is duplicate-spaceId detection + alphabetical ordering — failures\n  // there throw `MIGRATION.DUPLICATE_SPACE_ID` before any write.\n  const planned: readonly SpacePlanOutput<DescriptorMigrationPackage>[] = planAllSpaces(\n    planInputs,\n    (input) =>\n      (input as typeof input & { readonly __migrations: readonly DescriptorMigrationPackage[] })\n        .__migrations,\n  );\n\n  const emitted: { spaceId: string; dirName: string }[] = [];\n  const skipped: { spaceId: string; dirName: string }[] = [];\n\n  for (const space of planned) {\n    const spaceDir = spaceMigrationDirectory(inputs.migrationsDir, space.spaceId);\n    for (const pkg of space.migrationPackages) {\n      const { written } = await materialiseExtensionMigrationPackageIfMissing(spaceDir, pkg);\n      if (written) {\n        emitted.push({ spaceId: space.spaceId, dirName: pkg.dirName });\n      } else {\n        skipped.push({ spaceId: space.spaceId, dirName: pkg.dirName });\n      }\n    }\n  }\n\n  return { emitted, skipped };\n}\n","import {\n  detectSpaceContractDrift,\n  emitContractSpaceArtefacts,\n  readContractSpaceHeadRef,\n  type SpaceContractDriftResult,\n} from '@prisma-next/migration-tools/spaces';\n\n/**\n * Minimal descriptor view consumed by the migrate-time per-space pass.\n *\n * The CLI receives descriptors typed against the SQL family (or any other\n * family in the future); this helper only needs the structural shape of\n * `contractSpace`, so it accepts an `unknown`-typed `contractJson` and\n * a structurally-typed `headRef`. SQL-family callers pass the same\n * `Contract<SqlStorage>` value through unchanged — `emitContractSpaceArtefacts`\n * already serialises through `canonicalizeJson` and is framework-neutral.\n *\n * @see specs/framework-mechanism.spec.md § 3 — Per-space helper location.\n */\nexport interface MigrateExtensionInput {\n  readonly id: string;\n  readonly contractSpace?: {\n    readonly contractJson: unknown;\n    readonly headRef: { readonly hash: string; readonly invariants: readonly string[] };\n  };\n}\n\n/**\n * Inputs needed to compose the migrate-time per-space pass at the CLI\n * surface — typically called once after the app-space migration package\n * has been written, regardless of whether the app-space had structural\n * changes (an extension bump alone should still re-pin its artefacts).\n */\nexport interface ContractSpaceMigratePassInputs {\n  readonly migrationsDir: string;\n  readonly extensionPacks: ReadonlyArray<MigrateExtensionInput>;\n}\n\nexport interface ContractSpaceMigratePassResult {\n  readonly drifts: readonly SpaceContractDriftResult[];\n  readonly emittedSpaceIds: readonly string[];\n}\n\n/**\n * Run drift detection + on-disk artefact emission for every loaded\n * extension space at `migrate` time.\n *\n * Per sub-spec § 3:\n *\n * - For each declared extension that exposes a `contractSpace`:\n *   - Read the on-disk head hash from `migrations/<spaceId>/refs/head.json`\n *     (returns `null` on first emit).\n *   - Compare against the descriptor's `headRef.hash` via\n *     `detectSpaceContractDrift`. The `kind` discriminant decides whether\n *     the user sees a warning (`drift`), a no-op silent emit (`firstEmit`,\n *     `noDrift`), or nothing at all.\n *   - Always re-emit the on-disk artefacts (`contract.json`, `contract.d.ts`,\n *     `refs/head.json`). The framework owns these files and the helper is\n *     idempotent.\n *\n * Drift warnings are returned to the caller for formatting (TerminalUI,\n * structured-output envelope, etc.) — the helper does not print directly,\n * keeping it framework-neutral and unit-testable.\n *\n * Extension migration packages (the descriptor's pre-canned `migrations`\n * array → `migrations/<spaceId>/<dirName>/`) are intentionally not\n * materialised here — that interaction will be wired in a follow-on round\n * once the runner-side single-tx slice (sub-spec § 6) is in place.\n * On-disk artefacts are sufficient to lock the drift-warning behaviour\n * and the always-on re-emit AC for R2.\n *\n * @see specs/framework-mechanism.spec.md § 3 — Drift detection (T1.9).\n */\nexport async function runContractSpaceMigratePass(\n  inputs: ContractSpaceMigratePassInputs,\n): Promise<ContractSpaceMigratePassResult> {\n  const drifts: SpaceContractDriftResult[] = [];\n  const emittedSpaceIds: string[] = [];\n\n  for (const pack of inputs.extensionPacks) {\n    if (pack.contractSpace === undefined) continue;\n    const { contractJson, headRef } = pack.contractSpace;\n\n    const onDiskHeadRef = await readContractSpaceHeadRef(inputs.migrationsDir, pack.id);\n    const drift = detectSpaceContractDrift(pack.id, {\n      descriptorHash: headRef.hash,\n      priorHeadHash: onDiskHeadRef?.hash ?? null,\n    });\n    drifts.push(drift);\n\n    await emitContractSpaceArtefacts(inputs.migrationsDir, pack.id, {\n      contract: contractJson,\n      contractDts: buildPlaceholderContractDts(pack.id),\n      headRef: { hash: headRef.hash, invariants: headRef.invariants },\n    });\n    emittedSpaceIds.push(pack.id);\n  }\n\n  return { drifts, emittedSpaceIds };\n}\n\n/**\n * Format the user-facing drift warning for a single space. Callers\n * funnel this through their preferred output channel (TerminalUI line,\n * structured-output envelope `warnings[]`, etc.).\n *\n * Locks AM7 — drift warning surfaces the extension name and the diff\n * direction (descriptor → on-disk head).\n */\nexport function formatContractSpaceDriftWarning(drift: SpaceContractDriftResult): string {\n  if (drift.kind !== 'drift') {\n    throw new Error(`formatContractSpaceDriftWarning called with non-drift result: ${drift.kind}`);\n  }\n  return (\n    `Contract-space drift detected for \"${drift.spaceId}\": descriptor hash ` +\n    `${drift.descriptorHash} differs from on-disk head hash ${drift.priorHeadHash ?? '<none>'}. ` +\n    `The on-disk artefacts under migrations/${drift.spaceId}/ will be refreshed to match the descriptor.`\n  );\n}\n\n/**\n * Placeholder `.d.ts` content for an extension space's on-disk mirror.\n *\n * Rendering a fully-typed `.d.ts` for an extension contract requires the\n * SQL-family renderer with the codec / typemap registry threaded\n * through; that integration is tracked under sub-spec Open Question 3\n * (see `projects/extension-contract-spaces/specs/framework-mechanism.spec.md`).\n *\n * Until that ships, the on-disk `.d.ts` is a `@ts-nocheck` stub. The\n * spec gap closing alongside the typed renderer is **AC2 / AC14**\n * (byte-equivalence of per-space artefacts under `migrate`):\n * a placeholder cannot be byte-equal to a fully-rendered `.d.ts` from\n * the same descriptor, so AC2 / AC14 are PARTIAL today and become\n * fully-PASS once OQ3 closes.\n *\n * Scheduled to close in **M3** (cipherstash editor tooling) — that's\n * the milestone where the typed renderer gets its first real\n * extension-space consumer and the byte-equivalence guarantee is\n * practically required.\n */\nfunction buildPlaceholderContractDts(spaceId: string): string {\n  return [\n    '// @ts-nocheck',\n    '/**',\n    ` * Placeholder \\`.d.ts\\` for extension space \"${spaceId}\".`,\n    ' *',\n    ' * The framework re-emits this file on every `migrate` run alongside',\n    ' * `contract.json` and `refs/head.json`. A typed `.d.ts` rendering',\n    \" * pass for extension contracts is tracked under the project's open\",\n    ' * questions; until that ships, consumers should import',\n    ' * `contract.json` directly with `validateContract<…>(…)`.',\n    ' */',\n    'export {};',\n    '',\n  ].join('\\n');\n}\n","import { readFile } from 'node:fs/promises';\nimport type { Contract } from '@prisma-next/contract/types';\nimport { getEmittedArtifactPaths } from '@prisma-next/emitter';\nimport {\n  APP_SPACE_ID,\n  createControlStack,\n  hasOperationPreview,\n  type MigrationPlanOperation,\n  type OperationPreview,\n} from '@prisma-next/framework-components/control';\nimport { MigrationToolsError } from '@prisma-next/migration-tools/errors';\nimport { computeMigrationHash } from '@prisma-next/migration-tools/hash';\nimport { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';\nimport {\n  copyFilesWithRename,\n  formatMigrationDirName,\n  writeMigrationPackage,\n} from '@prisma-next/migration-tools/io';\nimport type { MigrationMetadata } from '@prisma-next/migration-tools/metadata';\nimport { findLatestMigration } from '@prisma-next/migration-tools/migration-graph';\nimport { writeMigrationTs } from '@prisma-next/migration-tools/migration-ts';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { Command } from 'commander';\nimport { join, relative } from 'pathe';\nimport { loadConfig } from '../config-loader';\nimport {\n  type CliErrorConflict,\n  CliStructuredError,\n  errorContractValidationFailed,\n  errorFileNotFound,\n  errorMigrationPlanningFailed,\n  errorRuntime,\n  errorTargetMigrationNotSupported,\n  errorUnexpected,\n  mapMigrationToolsError,\n} from '../utils/cli-errors';\nimport {\n  addGlobalOptions,\n  getTargetMigrations,\n  loadMigrationPackages,\n  resolveContractPath,\n  resolveMigrationPaths,\n  setCommandDescriptions,\n  setCommandExamples,\n} from '../utils/command-helpers';\nimport { runContractSpaceExtensionMigrationsPass } from '../utils/contract-space-extension-migrations-pass';\nimport {\n  formatContractSpaceDriftWarning,\n  runContractSpaceMigratePass,\n} from '../utils/contract-space-migrate-pass';\nimport {\n  toExtensionInputs,\n  toExtensionMigrationsInputs,\n  toMigratePassInputs,\n} from '../utils/extension-pack-inputs';\nimport { formatStyledHeader } from '../utils/formatters/styled';\nimport { assertFrameworkComponentsCompatible } from '../utils/framework-components';\nimport type { CommonCommandOptions } from '../utils/global-flags';\nimport { type GlobalFlags, parseGlobalFlags } from '../utils/global-flags';\nimport { handleResult } from '../utils/result-handler';\nimport { TerminalUI } from '../utils/terminal-ui';\n\ninterface MigrationPlanOptions extends CommonCommandOptions {\n  readonly config?: string;\n  readonly name?: string;\n  readonly from?: string;\n}\n\nexport interface MigrationPlanResult {\n  readonly ok: boolean;\n  readonly noOp: boolean;\n  readonly from: string | null;\n  readonly to: string;\n  readonly dir?: string;\n  /**\n   * Extension-space migration packages materialised onto disk during this\n   * `plan` run. Each entry names a `migrations/<spaceId>/<dirName>/`\n   * tree the framework wrote alongside the app-space migration directory.\n   * Empty when the project has no extension packs declaring a contract\n   * space, or when every extension-space package is already on disk.\n   *\n   * Surfacing these in the result (rather than only via `ui.step` log\n   * lines) makes the cross-space side effect explicit to JSON consumers\n   * and the success-summary renderer — the same multi-space side effect\n   * that `migration apply` will replay.\n   */\n  readonly emittedExtensionDirs: readonly { readonly spaceId: string; readonly dirName: string }[];\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 migration plan operations.\n   * Replaces the previous `sql?: readonly string[]` field; consumers should\n   * read `result.preview?.statements`.\n   */\n  readonly preview?: OperationPreview;\n  readonly summary: string;\n  /**\n   * When true, `migration.ts` was written but contains unfilled\n   * `placeholder(...)` calls. The user must edit the file and then run\n   * `node migration.ts` to self-emit `ops.json` / `migration.json`.\n   */\n  readonly pendingPlaceholders?: boolean;\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\nasync function executeMigrationPlanCommand(\n  options: MigrationPlanOptions,\n  flags: GlobalFlags,\n  ui: TerminalUI,\n  startTime: number,\n): Promise<Result<MigrationPlanResult, CliStructuredError>> {\n  const config = await loadConfig(options.config);\n  const { configPath, migrationsDir, appMigrationsDir, appMigrationsRelative } =\n    resolveMigrationPaths(options.config, config);\n\n  const contractPathAbsolute = resolveContractPath(config);\n  const contractPath = relative(process.cwd(), contractPathAbsolute);\n\n  if (!flags.json && !flags.quiet) {\n    const details: Array<{ label: string; value: string }> = [\n      { label: 'config', value: configPath },\n      { label: 'contract', value: contractPath },\n      { label: 'migrations', value: appMigrationsRelative },\n    ];\n    if (options.from) {\n      details.push({ label: 'from', value: options.from });\n    }\n    if (options.name) {\n      details.push({ label: 'name', value: options.name });\n    }\n    const header = formatStyledHeader({\n      command: 'migration plan',\n      description: 'Plan a migration from contract changes',\n      url: 'https://pris.ly/migration-plan',\n      details,\n      flags,\n    });\n    ui.stderr(header);\n  }\n\n  // Load contract file (the \"to\" contract)\n  let contractJsonContent: string;\n  try {\n    contractJsonContent = await readFile(contractPathAbsolute, 'utf-8');\n  } catch (error) {\n    if (error instanceof Error && (error as { code?: string }).code === 'ENOENT') {\n      return notOk(\n        errorFileNotFound(contractPathAbsolute, {\n          why: `Contract file not found at ${contractPathAbsolute}`,\n          fix: `Run \\`prisma-next contract emit\\` to generate ${contractPath}, or update \\`config.contract.output\\` in ${configPath}`,\n        }),\n      );\n    }\n    return notOk(\n      errorUnexpected(error instanceof Error ? error.message : String(error), {\n        why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`,\n      }),\n    );\n  }\n\n  let toContractJson: Contract;\n  try {\n    toContractJson = JSON.parse(contractJsonContent) as Contract;\n  } catch (error) {\n    return notOk(\n      errorContractValidationFailed(\n        `Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`,\n        { where: { path: contractPathAbsolute } },\n      ),\n    );\n  }\n\n  const rawStorageHash = toContractJson.storage?.storageHash;\n  if (typeof rawStorageHash !== 'string') {\n    return notOk(\n      errorContractValidationFailed('Contract is missing storageHash', {\n        where: { path: contractPathAbsolute },\n      }),\n    );\n  }\n  const toStorageHash = rawStorageHash;\n\n  // Read existing migrations and determine \"from\" contract\n  let fromContract: Contract | null = null;\n  let fromHash: string | null = null;\n  let fromContractSourceDir: string | null = null;\n\n  try {\n    const { bundles, graph } = await loadMigrationPackages(appMigrationsDir);\n\n    if (options.from) {\n      const resolved = resolveBundleByPrefix(bundles, options.from);\n      if (!resolved.ok) {\n        const f = resolved.failure;\n        return notOk(\n          f.reason === 'ambiguous'\n            ? errorRuntime('Multiple matching migrations found', {\n                why: `Prefix \"${options.from}\" matches ${f.count} migrations in ${appMigrationsRelative}`,\n                fix: 'Provide a longer prefix to disambiguate, or omit --from to use the latest migration target.',\n              })\n            : errorRuntime('Starting contract not found', {\n                why: `No migration with to hash matching \"${options.from}\" exists in ${appMigrationsRelative}`,\n                fix: 'Check that the --from hash matches a known migration target hash, or omit --from to use the latest migration target.',\n              }),\n        );\n      }\n      fromHash = resolved.value.metadata.to;\n      fromContract = resolved.value.metadata.toContract;\n      fromContractSourceDir = resolved.value.dirPath;\n    } else {\n      const latestMigration = findLatestMigration(graph);\n      if (latestMigration) {\n        fromHash = latestMigration.to;\n        const leafPkg = bundles.find(\n          (p) => p.metadata.migrationHash === latestMigration.migrationHash,\n        );\n        if (leafPkg) {\n          fromContract = leafPkg.metadata.toContract;\n          fromContractSourceDir = leafPkg.dirPath;\n        }\n      }\n    }\n  } catch (error) {\n    if (MigrationToolsError.is(error)) {\n      return notOk(mapMigrationToolsError(error));\n    }\n    // Wrap unexpected (non-MigrationToolsError) failures from the migration\n    // load phase in a structured CLI envelope. Letting them throw would\n    // bypass `handleResult()` and crash the command — see CLI structured-\n    // errors guideline (CliStructuredError + Result pattern).\n    const message = error instanceof Error ? error.message : String(error);\n    return notOk(\n      errorUnexpected(message, {\n        why: `Unexpected error while loading migrations: ${message}`,\n      }),\n    );\n  }\n\n  // Per-space migrate pass: drift detection + on-disk artefact emission for\n  // every loaded extension that exposes a `contractSpace`. Runs *before*\n  // the app-space no-op check so that an extension bump alone (with no\n  // structural app-space change) still re-pins extension artefacts on\n  // disk. Drift warnings are non-fatal — the on-disk artefacts are refreshed\n  // and the user is notified that the bump is being captured.\n  // Single descriptor-import boundary: every consumer of `extensionPacks`\n  // goes through `toExtensionInputs` + a per-consumer adapter. AC11.\n  const canonicalExtensionInputs = toExtensionInputs(config.extensionPacks ?? []);\n  const migratePass = await runContractSpaceMigratePass({\n    migrationsDir,\n    extensionPacks: toMigratePassInputs(canonicalExtensionInputs),\n  });\n  if (!flags.json && !flags.quiet) {\n    for (const drift of migratePass.drifts) {\n      if (drift.kind === 'drift') {\n        ui.stderr(formatContractSpaceDriftWarning(drift));\n      }\n    }\n  }\n\n  // Materialise descriptor-shipped migration packages onto disk under\n  // `migrations/<spaceId>/<dirName>/` for any package not yet present.\n  // Idempotent (existing dirs are left untouched).\n  // Uses `planAllSpaces` for deterministic ordering + duplicate-spaceId\n  // detection.\n  const extensionMigrationsResult = await runContractSpaceExtensionMigrationsPass({\n    migrationsDir,\n    extensionPacks: toExtensionMigrationsInputs(canonicalExtensionInputs),\n  });\n  if (!flags.json && !flags.quiet) {\n    for (const entry of extensionMigrationsResult.emitted) {\n      ui.step(`Emitted ${entry.spaceId}/${entry.dirName}`);\n    }\n  }\n\n  // Check for no-op (same hash means no changes)\n  if (fromHash === toStorageHash) {\n    const result: MigrationPlanResult = {\n      ok: true,\n      noOp: true,\n      from: fromHash,\n      to: toStorageHash,\n      operations: [],\n      emittedExtensionDirs: extensionMigrationsResult.emitted,\n      summary: 'No changes detected between contracts',\n      timings: { total: Date.now() - startTime },\n    };\n    return ok(result);\n  }\n\n  // Check target supports migrations\n  const migrations = getTargetMigrations(config.target);\n  if (!migrations) {\n    return notOk(\n      errorTargetMigrationNotSupported({\n        why: `Target \"${config.target.id}\" does not support migrations`,\n      }),\n    );\n  }\n  const frameworkComponents = assertFrameworkComponentsCompatible(\n    config.family.familyId,\n    config.target.targetId,\n    [config.target, config.adapter, ...(config.extensionPacks ?? [])],\n  );\n\n  // Build manifest and write migration package\n  const timestamp = new Date();\n  const slug = options.name ?? 'migration';\n  const dirName = formatMigrationDirName(timestamp, slug);\n  const packageDir = join(appMigrationsDir, dirName);\n\n  const baseMetadata: Omit<MigrationMetadata, 'migrationHash' | 'providedInvariants'> = {\n    from: fromHash,\n    to: toStorageHash,\n    fromContract,\n    toContract: toContractJson,\n    hints: {\n      used: [],\n      applied: [],\n      plannerVersion: '2.0.0',\n    },\n    labels: [],\n    createdAt: timestamp.toISOString(),\n  };\n\n  try {\n    const stack = createControlStack(config);\n    const familyInstance = config.family.create(stack);\n    const planner = migrations.createPlanner(familyInstance);\n    const fromSchema = migrations.contractToSchema(fromContract, frameworkComponents);\n    const plannerResult = planner.plan({\n      contract: toContractJson,\n      schema: fromSchema,\n      policy: { allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'] },\n      fromContract,\n      frameworkComponents,\n      spaceId: APP_SPACE_ID,\n    });\n    if (plannerResult.kind === 'failure') {\n      return notOk(\n        errorMigrationPlanningFailed({\n          conflicts: plannerResult.conflicts as readonly CliErrorConflict[],\n        }),\n      );\n    }\n\n    // Accessing .operations triggers toOp() on each call. If any call\n    // is a DataTransformCall with an unfilled placeholder stub, toOp()\n    // throws PN-MIG-2001. We catch that here so the migration can still\n    // be scaffolded with `ops: []`; the user fills the placeholder, then\n    // re-runs `node migration.ts` to attest with the real ops.\n    let plannedOps: readonly MigrationPlanOperation[] = [];\n    let hasPlaceholders = false;\n    try {\n      plannedOps = plannerResult.plan.operations;\n      if (plannedOps.length === 0) {\n        return notOk(\n          errorMigrationPlanningFailed({\n            conflicts: [\n              {\n                kind: 'unsupportedChange',\n                summary:\n                  'Contract changed but planner produced no operations. ' +\n                  'This indicates unsupported or ignored changes.',\n              },\n            ],\n          }),\n        );\n      }\n    } catch (e) {\n      if (CliStructuredError.is(e) && e.domain === 'MIG' && e.code === '2001') {\n        hasPlaceholders = true;\n      } else {\n        throw e;\n      }\n    }\n\n    const migrationTsContent = plannerResult.plan.renderTypeScript();\n\n    // Always-attest: compute migrationHash over (metadata, ops). When\n    // placeholders blocked lowering, ops is `[]` and the hash is computed\n    // over the empty list — re-emitting after the user fills the placeholder\n    // produces a different hash (over the real ops). This is intentional;\n    // there is no on-disk \"draft\" state.\n    const opsForWrite = hasPlaceholders ? [] : plannedOps;\n    const metadataWithInvariants: Omit<MigrationMetadata, 'migrationHash'> = {\n      ...baseMetadata,\n      providedInvariants: deriveProvidedInvariants(opsForWrite),\n    };\n    const metadata: MigrationMetadata = {\n      ...metadataWithInvariants,\n      migrationHash: computeMigrationHash(metadataWithInvariants, opsForWrite),\n    };\n\n    await writeMigrationPackage(packageDir, metadata, opsForWrite);\n    const destinationArtifacts = getEmittedArtifactPaths(contractPathAbsolute);\n    await copyFilesWithRename(packageDir, [\n      { sourcePath: destinationArtifacts.jsonPath, destName: 'end-contract.json' },\n      { sourcePath: destinationArtifacts.dtsPath, destName: 'end-contract.d.ts' },\n    ]);\n    if (fromContractSourceDir !== null) {\n      const sourceArtifacts = getEmittedArtifactPaths(\n        join(fromContractSourceDir, 'end-contract.json'),\n      );\n      await copyFilesWithRename(packageDir, [\n        { sourcePath: sourceArtifacts.jsonPath, destName: 'start-contract.json' },\n        { sourcePath: sourceArtifacts.dtsPath, destName: 'start-contract.d.ts' },\n      ]);\n    }\n    await writeMigrationTs(packageDir, migrationTsContent);\n\n    if (hasPlaceholders) {\n      const result: MigrationPlanResult = {\n        ok: true,\n        noOp: false,\n        from: fromHash,\n        to: toStorageHash,\n        dir: relative(process.cwd(), packageDir),\n        operations: [],\n        emittedExtensionDirs: extensionMigrationsResult.emitted,\n        pendingPlaceholders: true,\n        summary:\n          'Planned migration with placeholder(s) — edit migration.ts then run `node migration.ts` to self-emit',\n        timings: { total: Date.now() - startTime },\n      };\n      return ok(result);\n    }\n\n    const preview = hasOperationPreview(familyInstance)\n      ? familyInstance.toOperationPreview(plannedOps)\n      : undefined;\n    const result: MigrationPlanResult = {\n      ok: true,\n      noOp: false,\n      from: fromHash,\n      to: toStorageHash,\n      dir: relative(process.cwd(), packageDir),\n      operations: plannedOps.map((op) => ({\n        id: op.id,\n        label: op.label,\n        operationClass: op.operationClass,\n      })),\n      emittedExtensionDirs: extensionMigrationsResult.emitted,\n      ...(preview !== undefined ? { preview } : {}),\n      summary: buildPlanSummary(plannedOps.length, extensionMigrationsResult.emitted.length),\n      timings: { total: Date.now() - startTime },\n    };\n    return ok(result);\n  } catch (error) {\n    if (CliStructuredError.is(error)) {\n      return notOk(error);\n    }\n    if (MigrationToolsError.is(error)) {\n      return notOk(mapMigrationToolsError(error));\n    }\n    const message = error instanceof Error ? error.message : String(error);\n    return notOk(\n      errorUnexpected(message, {\n        why: `Unexpected error during migration plan: ${message}`,\n      }),\n    );\n  }\n}\n\nexport function createMigrationPlanCommand(): Command {\n  const command = new Command('plan');\n  setCommandDescriptions(\n    command,\n    'Plan a migration from contract changes',\n    'Compares the emitted contract against the latest on-disk migration state and\\n' +\n      'produces a new migration package with the required operations. No database\\n' +\n      'connection is needed — this is a fully offline operation.',\n  );\n  setCommandExamples(command, [\n    'prisma-next migration plan',\n    'prisma-next migration plan --name add-users-table',\n  ]);\n  addGlobalOptions(command)\n    .option('--config <path>', 'Path to prisma-next.config.ts')\n    .option('--name <slug>', 'Name slug for the migration directory', 'migration')\n    .option('--from <hash>', 'Explicit starting contract hash (overrides latest migration target)')\n    .action(async (options: MigrationPlanOptions) => {\n      const flags = parseGlobalFlags(options);\n      const startTime = Date.now();\n\n      const ui = new TerminalUI({ color: flags.color, interactive: flags.interactive });\n      const result = await executeMigrationPlanCommand(options, flags, ui, startTime);\n\n      const exitCode = handleResult(result, flags, ui, (planResult) => {\n        if (flags.json) {\n          ui.output(JSON.stringify(planResult, null, 2));\n        } else if (!flags.quiet) {\n          ui.log(formatMigrationPlanOutput(planResult, flags));\n        }\n      });\n\n      process.exit(exitCode);\n    });\n\n  return command;\n}\n\n/**\n * Compose the success-line summary so the cross-space side effect\n * (extension-space migration packages materialised on disk during\n * this `plan` run) is visible in the top line — not just in the\n * step log above it.\n *\n * Example outputs:\n *   - `Planned 3 operation(s)` (app-space-only project)\n *   - `Planned 3 operation(s); materialised 1 extension-space migration` (one extension)\n *   - `Planned 3 operation(s); materialised 2 extension-space migrations` (two extensions)\n *\n * Locks AC3 at the summary-line level: a reader of the success line\n * can tell that something happened beyond the app space.\n */\nfunction buildPlanSummary(plannedOpsCount: number, emittedExtensionDirsCount: number): string {\n  const base = `Planned ${plannedOpsCount} operation(s)`;\n  if (emittedExtensionDirsCount === 0) return base;\n  const noun =\n    emittedExtensionDirsCount === 1 ? 'extension-space migration' : 'extension-space migrations';\n  return `${base}; materialised ${emittedExtensionDirsCount} ${noun}`;\n}\n\nexport function formatMigrationPlanOutput(result: MigrationPlanResult, flags: GlobalFlags): string {\n  const lines: string[] = [];\n  const useColor = flags.color !== false;\n\n  const green_ = useColor ? (s: string) => `\\x1b[32m${s}\\x1b[0m` : (s: string) => s;\n  const yellow_ = useColor ? (s: string) => `\\x1b[33m${s}\\x1b[0m` : (s: string) => s;\n  const dim_ = useColor ? (s: string) => `\\x1b[2m${s}\\x1b[0m` : (s: string) => s;\n\n  // Renders the extension-space materialisation block + canonical apply-step\n  // hint shared by the no-op, placeholder, and full-plan branches. The app\n  // space short-circuits do not skip it: an extension-only bump emits new\n  // `migrations/<spaceId>/<dirName>/` directories on disk that the user\n  // still has to apply, so the success line must surface them.\n  function appendEmittedExtensions(): void {\n    if (result.emittedExtensionDirs.length === 0) return;\n    lines.push('');\n    lines.push(dim_('Emitted extension migrations:'));\n    for (const entry of result.emittedExtensionDirs) {\n      lines.push(dim_(`  ${entry.spaceId} → migrations/${entry.spaceId}/${entry.dirName}`));\n    }\n    lines.push('');\n    lines.push(\n      `Next: review the extension migrations above, then run ${green_('prisma-next migration apply')}.`,\n    );\n  }\n\n  if (result.noOp) {\n    lines.push(`${green_('✔')} No changes detected`);\n    lines.push(dim_(`  from: ${result.from}`));\n    lines.push(dim_(`  to:   ${result.to}`));\n    appendEmittedExtensions();\n    return lines.join('\\n');\n  }\n\n  if (result.pendingPlaceholders) {\n    lines.push(`${yellow_('⚠')} ${result.summary}`);\n    lines.push('');\n    lines.push(dim_(`from: ${result.from}`));\n    lines.push(dim_(`to:   ${result.to}`));\n    if (result.dir) {\n      lines.push(dim_(`dir:  ${result.dir}`));\n    }\n    lines.push('');\n    lines.push(\n      'Open migration.ts and replace each `placeholder(...)` call with your actual query.',\n    );\n    lines.push(`Then run: ${green_(`node ${result.dir ?? '<dir>'}/migration.ts`)}`);\n    appendEmittedExtensions();\n    return lines.join('\\n');\n  }\n\n  lines.push(`${green_('✔')} ${result.summary}`);\n  lines.push('');\n\n  if (result.operations.length > 0) {\n    lines.push(dim_('│'));\n    for (let i = 0; i < result.operations.length; i++) {\n      const op = result.operations[i]!;\n      const isLast = i === result.operations.length - 1;\n      const treeChar = isLast ? '└' : '├';\n      // operationClass tag is intentionally NOT inlined per spec:\n      // a destructive footer warning still surfaces below this list.\n      const destructiveMarker =\n        op.operationClass === 'destructive' ? ` ${yellow_('(destructive)')}` : '';\n      lines.push(`${dim_(treeChar)}─ ${op.label}${destructiveMarker}`);\n    }\n\n    const hasDestructive = result.operations.some((op) => op.operationClass === 'destructive');\n    if (hasDestructive) {\n      lines.push('');\n      lines.push(\n        `${yellow_('⚠')} This migration contains destructive operations that may cause data loss.`,\n      );\n    }\n    lines.push('');\n  }\n\n  lines.push(dim_(`from:   ${result.from}`));\n  lines.push(dim_(`to:     ${result.to}`));\n  if (result.dir) {\n    lines.push(dim_(`App space → ${result.dir}`));\n  }\n  // Per-space block: surface the extension-space directories materialised\n  // alongside the app-space migration. Without this block the cross-space\n  // side effect is invisible in the success summary (e2e finding F1).\n  for (const entry of result.emittedExtensionDirs) {\n    lines.push(\n      dim_(`Extension space ${entry.spaceId} → migrations/${entry.spaceId}/${entry.dirName}`),\n    );\n  }\n\n  lines.push('');\n  // The \"Next:\" hint always points at the canonical apply path\n  // (`prisma-next migration apply`) regardless of how many spaces\n  // were materialised — `db update` is a dev-time convenience, not\n  // the canonical replay step.\n  lines.push(\n    `Next: review ${green_(result.dir ?? '<dir>')} if needed, then run ${green_('prisma-next migration apply')}.`,\n  );\n\n  if (result.preview && result.preview.statements.length > 0) {\n    // The non-empty length is already guaranteed by the surrounding check, so\n    // a plain `every` here is equivalent to the helper in formatters/migrations.ts.\n    const allSql = result.preview.statements.every((s) => s.language === 'sql');\n    lines.push('');\n    lines.push(dim_(allSql ? 'DDL preview' : 'Operation preview'));\n    lines.push('');\n    for (const statement of result.preview.statements) {\n      const trimmed = statement.text.trim();\n      if (!trimmed) continue;\n      const line = statement.language === 'sql' && !trimmed.endsWith(';') ? `${trimmed};` : trimmed;\n      lines.push(line);\n    }\n  }\n\n  if (flags.verbose && result.timings) {\n    lines.push('');\n    lines.push(dim_(`Total time: ${result.timings.total}ms`));\n  }\n\n  return lines.join('\\n');\n}\n\nexport type PrefixResolutionFailure =\n  | { reason: 'ambiguous'; count: number }\n  | { reason: 'not-found' };\n\n/**\n * Resolve a migration package by **target contract hash** (`metadata.to`)\n * using exact match or prefix match.\n *\n * Note: matches `metadata.to` (the contract hash this migration produces),\n * not `metadata.migrationHash` (the package's content-addressed identity).\n * Tries exact match first, then prefix match (auto-prepending `sha256:` when\n * the needle omits the scheme). Returns the matched package on success, or a\n * discriminated failure indicating whether the prefix was ambiguous or simply\n * not found.\n *\n * @internal Exported for testing only.\n */\nexport function resolveBundleByPrefix<T extends { metadata: { to: string } }>(\n  bundles: readonly T[],\n  needle: string,\n): Result<T, PrefixResolutionFailure> {\n  const exact = bundles.find((p) => p.metadata.to === needle);\n  if (exact) return ok(exact);\n\n  const prefixWithScheme = needle.startsWith('sha256:') ? needle : `sha256:${needle}`;\n  const candidates = bundles.filter((p) => p.metadata.to.startsWith(prefixWithScheme));\n\n  if (candidates.length === 1) return ok(candidates[0]!);\n  if (candidates.length > 1) return notOk({ reason: 'ambiguous', count: candidates.length });\n  return notOk({ reason: 'not-found' });\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuEA,eAAsB,wCACpB,QACqD;CAuBrD,MAAM,UAAkE,cAtBrD,OAAO,eACvB,QAEG,SAGG,KAAK,kBAAkB,KAAA,EAC7B,CACA,KAAK,UAAU;EACd,SAAS,KAAK;EACd,eAAe;EACf,aAAa,KAAK,cAAc;EAChC,cAAc,KAAK,cAAc;EAClC,EAUS,GACT,UACE,MACE,aACN;CAED,MAAM,UAAkD,EAAE;CAC1D,MAAM,UAAkD,EAAE;CAE1D,KAAK,MAAM,SAAS,SAAS;EAC3B,MAAM,WAAW,wBAAwB,OAAO,eAAe,MAAM,QAAQ;EAC7E,KAAK,MAAM,OAAO,MAAM,mBAAmB;GACzC,MAAM,EAAE,YAAY,MAAM,8CAA8C,UAAU,IAAI;GACtF,IAAI,SACF,QAAQ,KAAK;IAAE,SAAS,MAAM;IAAS,SAAS,IAAI;IAAS,CAAC;QAE9D,QAAQ,KAAK;IAAE,SAAS,MAAM;IAAS,SAAS,IAAI;IAAS,CAAC;;;CAKpE,OAAO;EAAE;EAAS;EAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AC7C7B,eAAsB,4BACpB,QACyC;CACzC,MAAM,SAAqC,EAAE;CAC7C,MAAM,kBAA4B,EAAE;CAEpC,KAAK,MAAM,QAAQ,OAAO,gBAAgB;EACxC,IAAI,KAAK,kBAAkB,KAAA,GAAW;EACtC,MAAM,EAAE,cAAc,YAAY,KAAK;EAEvC,MAAM,gBAAgB,MAAM,yBAAyB,OAAO,eAAe,KAAK,GAAG;EACnF,MAAM,QAAQ,yBAAyB,KAAK,IAAI;GAC9C,gBAAgB,QAAQ;GACxB,eAAe,eAAe,QAAQ;GACvC,CAAC;EACF,OAAO,KAAK,MAAM;EAElB,MAAM,2BAA2B,OAAO,eAAe,KAAK,IAAI;GAC9D,UAAU;GACV,aAAa,4BAA4B,KAAK,GAAG;GACjD,SAAS;IAAE,MAAM,QAAQ;IAAM,YAAY,QAAQ;IAAY;GAChE,CAAC;EACF,gBAAgB,KAAK,KAAK,GAAG;;CAG/B,OAAO;EAAE;EAAQ;EAAiB;;;;;;;;;;AAWpC,SAAgB,gCAAgC,OAAyC;CACvF,IAAI,MAAM,SAAS,SACjB,MAAM,IAAI,MAAM,iEAAiE,MAAM,OAAO;CAEhG,OACE,sCAAsC,MAAM,QAAQ,qBACjD,MAAM,eAAe,kCAAkC,MAAM,iBAAiB,SAAS,2CAChD,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;AAwB5D,SAAS,4BAA4B,SAAyB;CAC5D,OAAO;EACL;EACA;EACA,iDAAiD,QAAQ;EACzD;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACD,CAAC,KAAK,KAAK;;;;AC5Cd,eAAe,4BACb,SACA,OACA,IACA,WAC0D;CAC1D,MAAM,SAAS,MAAM,WAAW,QAAQ,OAAO;CAC/C,MAAM,EAAE,YAAY,eAAe,kBAAkB,0BACnD,sBAAsB,QAAQ,QAAQ,OAAO;CAE/C,MAAM,uBAAuB,oBAAoB,OAAO;CACxD,MAAM,eAAe,SAAS,QAAQ,KAAK,EAAE,qBAAqB;CAElE,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,OAAO;EAC/B,MAAM,UAAmD;GACvD;IAAE,OAAO;IAAU,OAAO;IAAY;GACtC;IAAE,OAAO;IAAY,OAAO;IAAc;GAC1C;IAAE,OAAO;IAAc,OAAO;IAAuB;GACtD;EACD,IAAI,QAAQ,MACV,QAAQ,KAAK;GAAE,OAAO;GAAQ,OAAO,QAAQ;GAAM,CAAC;EAEtD,IAAI,QAAQ,MACV,QAAQ,KAAK;GAAE,OAAO;GAAQ,OAAO,QAAQ;GAAM,CAAC;EAEtD,MAAM,SAAS,mBAAmB;GAChC,SAAS;GACT,aAAa;GACb,KAAK;GACL;GACA;GACD,CAAC;EACF,GAAG,OAAO,OAAO;;CAInB,IAAI;CACJ,IAAI;EACF,sBAAsB,MAAM,SAAS,sBAAsB,QAAQ;UAC5D,OAAO;EACd,IAAI,iBAAiB,SAAU,MAA4B,SAAS,UAClE,OAAO,MACL,kBAAkB,sBAAsB;GACtC,KAAK,8BAA8B;GACnC,KAAK,iDAAiD,aAAa,4CAA4C;GAChH,CAAC,CACH;EAEH,OAAO,MACL,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAAE,EACtE,KAAK,iCAAiC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,IAC7F,CAAC,CACH;;CAGH,IAAI;CACJ,IAAI;EACF,iBAAiB,KAAK,MAAM,oBAAoB;UACzC,OAAO;EACd,OAAO,MACL,8BACE,6BAA6B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,IACnF,EAAE,OAAO,EAAE,MAAM,sBAAsB,EAAE,CAC1C,CACF;;CAGH,MAAM,iBAAiB,eAAe,SAAS;CAC/C,IAAI,OAAO,mBAAmB,UAC5B,OAAO,MACL,8BAA8B,mCAAmC,EAC/D,OAAO,EAAE,MAAM,sBAAsB,EACtC,CAAC,CACH;CAEH,MAAM,gBAAgB;CAGtB,IAAI,eAAgC;CACpC,IAAI,WAA0B;CAC9B,IAAI,wBAAuC;CAE3C,IAAI;EACF,MAAM,EAAE,SAAS,UAAU,MAAM,sBAAsB,iBAAiB;EAExE,IAAI,QAAQ,MAAM;GAChB,MAAM,WAAW,sBAAsB,SAAS,QAAQ,KAAK;GAC7D,IAAI,CAAC,SAAS,IAAI;IAChB,MAAM,IAAI,SAAS;IACnB,OAAO,MACL,EAAE,WAAW,cACT,aAAa,sCAAsC;KACjD,KAAK,WAAW,QAAQ,KAAK,YAAY,EAAE,MAAM,iBAAiB;KAClE,KAAK;KACN,CAAC,GACF,aAAa,+BAA+B;KAC1C,KAAK,uCAAuC,QAAQ,KAAK,cAAc;KACvE,KAAK;KACN,CAAC,CACP;;GAEH,WAAW,SAAS,MAAM,SAAS;GACnC,eAAe,SAAS,MAAM,SAAS;GACvC,wBAAwB,SAAS,MAAM;SAClC;GACL,MAAM,kBAAkB,oBAAoB,MAAM;GAClD,IAAI,iBAAiB;IACnB,WAAW,gBAAgB;IAC3B,MAAM,UAAU,QAAQ,MACrB,MAAM,EAAE,SAAS,kBAAkB,gBAAgB,cACrD;IACD,IAAI,SAAS;KACX,eAAe,QAAQ,SAAS;KAChC,wBAAwB,QAAQ;;;;UAI/B,OAAO;EACd,IAAI,oBAAoB,GAAG,MAAM,EAC/B,OAAO,MAAM,uBAAuB,MAAM,CAAC;EAM7C,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;EACtE,OAAO,MACL,gBAAgB,SAAS,EACvB,KAAK,8CAA8C,WACpD,CAAC,CACH;;CAWH,MAAM,2BAA2B,kBAAkB,OAAO,kBAAkB,EAAE,CAAC;CAC/E,MAAM,cAAc,MAAM,4BAA4B;EACpD;EACA,gBAAgB,oBAAoB,yBAAyB;EAC9D,CAAC;CACF,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM;OACnB,MAAM,SAAS,YAAY,QAC9B,IAAI,MAAM,SAAS,SACjB,GAAG,OAAO,gCAAgC,MAAM,CAAC;;CAUvD,MAAM,4BAA4B,MAAM,wCAAwC;EAC9E;EACA,gBAAgB,4BAA4B,yBAAyB;EACtE,CAAC;CACF,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,OACxB,KAAK,MAAM,SAAS,0BAA0B,SAC5C,GAAG,KAAK,WAAW,MAAM,QAAQ,GAAG,MAAM,UAAU;CAKxD,IAAI,aAAa,eAWf,OAAO,GAAG;EATR,IAAI;EACJ,MAAM;EACN,MAAM;EACN,IAAI;EACJ,YAAY,EAAE;EACd,sBAAsB,0BAA0B;EAChD,SAAS;EACT,SAAS,EAAE,OAAO,KAAK,KAAK,GAAG,WAAW;EAE5B,CAAC;CAInB,MAAM,aAAa,oBAAoB,OAAO,OAAO;CACrD,IAAI,CAAC,YACH,OAAO,MACL,iCAAiC,EAC/B,KAAK,WAAW,OAAO,OAAO,GAAG,gCAClC,CAAC,CACH;CAEH,MAAM,sBAAsB,oCAC1B,OAAO,OAAO,UACd,OAAO,OAAO,UACd;EAAC,OAAO;EAAQ,OAAO;EAAS,GAAI,OAAO,kBAAkB,EAAE;EAAE,CAClE;CAGD,MAAM,4BAAY,IAAI,MAAM;CAG5B,MAAM,aAAa,KAAK,kBADR,uBAAuB,WAD1B,QAAQ,QAAQ,YAEoB,CAAC;CAElD,MAAM,eAAgF;EACpF,MAAM;EACN,IAAI;EACJ;EACA,YAAY;EACZ,OAAO;GACL,MAAM,EAAE;GACR,SAAS,EAAE;GACX,gBAAgB;GACjB;EACD,QAAQ,EAAE;EACV,WAAW,UAAU,aAAa;EACnC;CAED,IAAI;EACF,MAAM,QAAQ,mBAAmB,OAAO;EACxC,MAAM,iBAAiB,OAAO,OAAO,OAAO,MAAM;EAClD,MAAM,UAAU,WAAW,cAAc,eAAe;EACxD,MAAM,aAAa,WAAW,iBAAiB,cAAc,oBAAoB;EACjF,MAAM,gBAAgB,QAAQ,KAAK;GACjC,UAAU;GACV,QAAQ;GACR,QAAQ,EAAE,yBAAyB;IAAC;IAAY;IAAY;IAAe;IAAO,EAAE;GACpF;GACA;GACA,SAAS;GACV,CAAC;EACF,IAAI,cAAc,SAAS,WACzB,OAAO,MACL,6BAA6B,EAC3B,WAAW,cAAc,WAC1B,CAAC,CACH;EAQH,IAAI,aAAgD,EAAE;EACtD,IAAI,kBAAkB;EACtB,IAAI;GACF,aAAa,cAAc,KAAK;GAChC,IAAI,WAAW,WAAW,GACxB,OAAO,MACL,6BAA6B,EAC3B,WAAW,CACT;IACE,MAAM;IACN,SACE;IAEH,CACF,EACF,CAAC,CACH;WAEI,GAAG;GACV,IAAI,mBAAmB,GAAG,EAAE,IAAI,EAAE,WAAW,SAAS,EAAE,SAAS,QAC/D,kBAAkB;QAElB,MAAM;;EAIV,MAAM,qBAAqB,cAAc,KAAK,kBAAkB;EAOhE,MAAM,cAAc,kBAAkB,EAAE,GAAG;EAC3C,MAAM,yBAAmE;GACvE,GAAG;GACH,oBAAoB,yBAAyB,YAAY;GAC1D;EAMD,MAAM,sBAAsB,YAAY;GAJtC,GAAG;GACH,eAAe,qBAAqB,wBAAwB,YAAY;GAG1B,EAAE,YAAY;EAC9D,MAAM,uBAAuB,wBAAwB,qBAAqB;EAC1E,MAAM,oBAAoB,YAAY,CACpC;GAAE,YAAY,qBAAqB;GAAU,UAAU;GAAqB,EAC5E;GAAE,YAAY,qBAAqB;GAAS,UAAU;GAAqB,CAC5E,CAAC;EACF,IAAI,0BAA0B,MAAM;GAClC,MAAM,kBAAkB,wBACtB,KAAK,uBAAuB,oBAAoB,CACjD;GACD,MAAM,oBAAoB,YAAY,CACpC;IAAE,YAAY,gBAAgB;IAAU,UAAU;IAAuB,EACzE;IAAE,YAAY,gBAAgB;IAAS,UAAU;IAAuB,CACzE,CAAC;;EAEJ,MAAM,iBAAiB,YAAY,mBAAmB;EAEtD,IAAI,iBAcF,OAAO,GAAG;GAZR,IAAI;GACJ,MAAM;GACN,MAAM;GACN,IAAI;GACJ,KAAK,SAAS,QAAQ,KAAK,EAAE,WAAW;GACxC,YAAY,EAAE;GACd,sBAAsB,0BAA0B;GAChD,qBAAqB;GACrB,SACE;GACF,SAAS,EAAE,OAAO,KAAK,KAAK,GAAG,WAAW;GAE5B,CAAC;EAGnB,MAAM,UAAU,oBAAoB,eAAe,GAC/C,eAAe,mBAAmB,WAAW,GAC7C,KAAA;EAiBJ,OAAO,GAAG;GAfR,IAAI;GACJ,MAAM;GACN,MAAM;GACN,IAAI;GACJ,KAAK,SAAS,QAAQ,KAAK,EAAE,WAAW;GACxC,YAAY,WAAW,KAAK,QAAQ;IAClC,IAAI,GAAG;IACP,OAAO,GAAG;IACV,gBAAgB,GAAG;IACpB,EAAE;GACH,sBAAsB,0BAA0B;GAChD,GAAI,YAAY,KAAA,IAAY,EAAE,SAAS,GAAG,EAAE;GAC5C,SAAS,iBAAiB,WAAW,QAAQ,0BAA0B,QAAQ,OAAO;GACtF,SAAS,EAAE,OAAO,KAAK,KAAK,GAAG,WAAW;GAE5B,CAAC;UACV,OAAO;EACd,IAAI,mBAAmB,GAAG,MAAM,EAC9B,OAAO,MAAM,MAAM;EAErB,IAAI,oBAAoB,GAAG,MAAM,EAC/B,OAAO,MAAM,uBAAuB,MAAM,CAAC;EAE7C,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;EACtE,OAAO,MACL,gBAAgB,SAAS,EACvB,KAAK,2CAA2C,WACjD,CAAC,CACH;;;AAIL,SAAgB,6BAAsC;CACpD,MAAM,UAAU,IAAI,QAAQ,OAAO;CACnC,uBACE,SACA,0CACA,sNAGD;CACD,mBAAmB,SAAS,CAC1B,8BACA,oDACD,CAAC;CACF,iBAAiB,QAAQ,CACtB,OAAO,mBAAmB,gCAAgC,CAC1D,OAAO,iBAAiB,yCAAyC,YAAY,CAC7E,OAAO,iBAAiB,sEAAsE,CAC9F,OAAO,OAAO,YAAkC;EAC/C,MAAM,QAAQ,iBAAiB,QAAQ;EACvC,MAAM,YAAY,KAAK,KAAK;EAE5B,MAAM,KAAK,IAAI,WAAW;GAAE,OAAO,MAAM;GAAO,aAAa,MAAM;GAAa,CAAC;EAGjF,MAAM,WAAW,aAAa,MAFT,4BAA4B,SAAS,OAAO,IAAI,UAAU,EAEzC,OAAO,KAAK,eAAe;GAC/D,IAAI,MAAM,MACR,GAAG,OAAO,KAAK,UAAU,YAAY,MAAM,EAAE,CAAC;QACzC,IAAI,CAAC,MAAM,OAChB,GAAG,IAAI,0BAA0B,YAAY,MAAM,CAAC;IAEtD;EAEF,QAAQ,KAAK,SAAS;GACtB;CAEJ,OAAO;;;;;;;;;;;;;;;;AAiBT,SAAS,iBAAiB,iBAAyB,2BAA2C;CAC5F,MAAM,OAAO,WAAW,gBAAgB;CACxC,IAAI,8BAA8B,GAAG,OAAO;CAG5C,OAAO,GAAG,KAAK,iBAAiB,0BAA0B,GADxD,8BAA8B,IAAI,8BAA8B;;AAIpE,SAAgB,0BAA0B,QAA6B,OAA4B;CACjG,MAAM,QAAkB,EAAE;CAC1B,MAAM,WAAW,MAAM,UAAU;CAEjC,MAAM,SAAS,YAAY,MAAc,WAAW,EAAE,YAAY,MAAc;CAChF,MAAM,UAAU,YAAY,MAAc,WAAW,EAAE,YAAY,MAAc;CACjF,MAAM,OAAO,YAAY,MAAc,UAAU,EAAE,YAAY,MAAc;CAO7E,SAAS,0BAAgC;EACvC,IAAI,OAAO,qBAAqB,WAAW,GAAG;EAC9C,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,KAAK,gCAAgC,CAAC;EACjD,KAAK,MAAM,SAAS,OAAO,sBACzB,MAAM,KAAK,KAAK,KAAK,MAAM,QAAQ,gBAAgB,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC;EAEvF,MAAM,KAAK,GAAG;EACd,MAAM,KACJ,yDAAyD,OAAO,8BAA8B,CAAC,GAChG;;CAGH,IAAI,OAAO,MAAM;EACf,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,sBAAsB;EAChD,MAAM,KAAK,KAAK,WAAW,OAAO,OAAO,CAAC;EAC1C,MAAM,KAAK,KAAK,WAAW,OAAO,KAAK,CAAC;EACxC,yBAAyB;EACzB,OAAO,MAAM,KAAK,KAAK;;CAGzB,IAAI,OAAO,qBAAqB;EAC9B,MAAM,KAAK,GAAG,QAAQ,IAAI,CAAC,GAAG,OAAO,UAAU;EAC/C,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,KAAK,SAAS,OAAO,OAAO,CAAC;EACxC,MAAM,KAAK,KAAK,SAAS,OAAO,KAAK,CAAC;EACtC,IAAI,OAAO,KACT,MAAM,KAAK,KAAK,SAAS,OAAO,MAAM,CAAC;EAEzC,MAAM,KAAK,GAAG;EACd,MAAM,KACJ,qFACD;EACD,MAAM,KAAK,aAAa,OAAO,QAAQ,OAAO,OAAO,QAAQ,eAAe,GAAG;EAC/E,yBAAyB;EACzB,OAAO,MAAM,KAAK,KAAK;;CAGzB,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,GAAG,OAAO,UAAU;CAC9C,MAAM,KAAK,GAAG;CAEd,IAAI,OAAO,WAAW,SAAS,GAAG;EAChC,MAAM,KAAK,KAAK,IAAI,CAAC;EACrB,KAAK,IAAI,IAAI,GAAG,IAAI,OAAO,WAAW,QAAQ,KAAK;GACjD,MAAM,KAAK,OAAO,WAAW;GAE7B,MAAM,WADS,MAAM,OAAO,WAAW,SAAS,IACtB,MAAM;GAGhC,MAAM,oBACJ,GAAG,mBAAmB,gBAAgB,IAAI,QAAQ,gBAAgB,KAAK;GACzE,MAAM,KAAK,GAAG,KAAK,SAAS,CAAC,IAAI,GAAG,QAAQ,oBAAoB;;EAIlE,IADuB,OAAO,WAAW,MAAM,OAAO,GAAG,mBAAmB,cAC1D,EAAE;GAClB,MAAM,KAAK,GAAG;GACd,MAAM,KACJ,GAAG,QAAQ,IAAI,CAAC,2EACjB;;EAEH,MAAM,KAAK,GAAG;;CAGhB,MAAM,KAAK,KAAK,WAAW,OAAO,OAAO,CAAC;CAC1C,MAAM,KAAK,KAAK,WAAW,OAAO,KAAK,CAAC;CACxC,IAAI,OAAO,KACT,MAAM,KAAK,KAAK,eAAe,OAAO,MAAM,CAAC;CAK/C,KAAK,MAAM,SAAS,OAAO,sBACzB,MAAM,KACJ,KAAK,mBAAmB,MAAM,QAAQ,gBAAgB,MAAM,QAAQ,GAAG,MAAM,UAAU,CACxF;CAGH,MAAM,KAAK,GAAG;CAKd,MAAM,KACJ,gBAAgB,OAAO,OAAO,OAAO,QAAQ,CAAC,uBAAuB,OAAO,8BAA8B,CAAC,GAC5G;CAED,IAAI,OAAO,WAAW,OAAO,QAAQ,WAAW,SAAS,GAAG;EAG1D,MAAM,SAAS,OAAO,QAAQ,WAAW,OAAO,MAAM,EAAE,aAAa,MAAM;EAC3E,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,KAAK,SAAS,gBAAgB,oBAAoB,CAAC;EAC9D,MAAM,KAAK,GAAG;EACd,KAAK,MAAM,aAAa,OAAO,QAAQ,YAAY;GACjD,MAAM,UAAU,UAAU,KAAK,MAAM;GACrC,IAAI,CAAC,SAAS;GACd,MAAM,OAAO,UAAU,aAAa,SAAS,CAAC,QAAQ,SAAS,IAAI,GAAG,GAAG,QAAQ,KAAK;GACtF,MAAM,KAAK,KAAK;;;CAIpB,IAAI,MAAM,WAAW,OAAO,SAAS;EACnC,MAAM,KAAK,GAAG;EACd,MAAM,KAAK,KAAK,eAAe,OAAO,QAAQ,MAAM,IAAI,CAAC;;CAG3D,OAAO,MAAM,KAAK,KAAK;;;;;;;;;;;;;;;AAoBzB,SAAgB,sBACd,SACA,QACoC;CACpC,MAAM,QAAQ,QAAQ,MAAM,MAAM,EAAE,SAAS,OAAO,OAAO;CAC3D,IAAI,OAAO,OAAO,GAAG,MAAM;CAE3B,MAAM,mBAAmB,OAAO,WAAW,UAAU,GAAG,SAAS,UAAU;CAC3E,MAAM,aAAa,QAAQ,QAAQ,MAAM,EAAE,SAAS,GAAG,WAAW,iBAAiB,CAAC;CAEpF,IAAI,WAAW,WAAW,GAAG,OAAO,GAAG,WAAW,GAAI;CACtD,IAAI,WAAW,SAAS,GAAG,OAAO,MAAM;EAAE,QAAQ;EAAa,OAAO,WAAW;EAAQ,CAAC;CAC1F,OAAO,MAAM,EAAE,QAAQ,aAAa,CAAC"}

package/dist/{migration-status-DUMiH8_G.mjs → migration-status-CZ-D5k7k.mjs}

@@ -1,18 +1,20 @@
-import { t as loadConfig } from "./config-loader-C25b63rJ.mjs";
-import { _ as errorUnexpected, m as errorRuntime } from "./cli-errors-Cd79vmTH.mjs";
-import { t as createControlClient } from "./client-CrsnY58k.mjs";
-import { t as TerminalUI } from "./terminal-ui-C3ZLwQxK.mjs";
-import { _ as formatStyledHeader, a as maskConnectionUrl, c as resolveMigrationPaths, d as setCommandExamples, i as loadAllBundles, m as parseGlobalFlags, n as addGlobalOptions, o as readContractEnvelope, p as toPathDecisionResult, t as handleResult, u as setCommandDescriptions } from "./result-handler-Ba3zWQsI.mjs";
+import { t as loadConfig } from "./config-loader-B6sJjXTv.mjs";
+import { _ as errorUnexpected, m as errorRuntime, v as mapMigrationToolsError } from "./cli-errors-D3_sMh2K.mjs";
+import { a as loadMigrationPackages, d as setCommandDescriptions, f as setCommandExamples, g as parseGlobalFlags, h as toStructuralEdge, l as resolveMigrationPaths, m as toPathDecisionResult, n as collectDeclaredInvariants, o as maskConnectionUrl, s as readContractEnvelope, t as addGlobalOptions, y as formatStyledHeader } from "./command-helpers-BeZHkxV8.mjs";
+import { t as TerminalUI } from "./terminal-ui-C_hFNbAn.mjs";
+import { t as handleResult } from "./result-handler-rmPVKIP2.mjs";
+import { a as buildContractSpaceAggregate, t as createControlClient } from "./client-qVH-rEgd.mjs";
 import { Command } from "commander";
-import { notOk, ok } from "@prisma-next/utils/result";
 import { ifDefined } from "@prisma-next/utils/defined";
-import { EMPTY_CONTRACT_HASH } from "@prisma-next/migration-tools/constants";
-import { findPath, findPathWithDecision, findReachableLeaves } from "@prisma-next/migration-tools/dag";
+import { notOk, ok } from "@prisma-next/utils/result";
+import { createControlStack } from "@prisma-next/framework-components/control";
+import { findPath, findPathWithDecision, findReachableLeaves } from "@prisma-next/migration-tools/migration-graph";
 import { bold, cyan, dim, magenta, yellow } from "colorette";
+import { graphWalkStrategy } from "@prisma-next/migration-tools/aggregate";
+import { EMPTY_CONTRACT_HASH } from "@prisma-next/migration-tools/constants";
+import { MigrationToolsError, errorNoInvariantPath, errorUnknownInvariant } from "@prisma-next/migration-tools/errors";
 import { readRefs, resolveRef } from "@prisma-next/migration-tools/refs";
-import { MigrationToolsError } from "@prisma-next/migration-tools/types";
 import dagre from "@dagrejs/dagre";
-
 //#region src/utils/formatters/graph-types.ts
 /**
 * Immutable directed graph with adjacency-list indexing.
@@ -52,7 +54,6 @@ var RenderGraph = class {
 		return this.forward.get(nodeId) ?? [];
 	}
 };
-
 //#endregion
 //#region src/utils/formatters/graph-migration-mapper.ts
 /**
@@ -100,7 +101,8 @@ function migrationGraphToRenderInput(input) {
 	for (const [, entries] of graph.forwardChain) for (const entry of entries) {
 		const status = statusByDirName.get(entry.dirName);
 		const icon = status ? STATUS_ICON[status] : "";
-		const label = `${entry.dirName}${icon}`;
+		const invariantsSuffix = entry.invariants.length > 0 ? `  provides [${entry.invariants.map((id) => JSON.stringify(id)).join(", ")}]` : "";
+		const label = `${entry.dirName}${icon}${invariantsSuffix}`;
 		edgeList.push({
 			from: toShortId(entry.from),
 			to: toShortId(entry.to),
@@ -171,7 +173,6 @@ function migrationGraphToRenderInput(input) {
 		relevantPaths
 	};
 }
-
 //#endregion
 //#region src/utils/formatters/graph-render.ts
 /**
@@ -1086,9 +1087,24 @@ function isLinearGraph(graph) {
 	for (const node of graph.nodes) if (graph.outgoing(node.id).filter((e) => e.style !== "dashed").length > 1) return false;
 	return true;
 }
-
 //#endregion
 //#region src/commands/migration-status.ts
+/**
+* Sum per-space `pendingCount` into a cross-space total, but only when
+* every loaded space reports a defined `pendingCount`. Returns
+* `undefined` if any space is on the marker-unknown / offline path
+* (where `pendingCount` is intentionally absent), so JSON consumers can
+* distinguish "no pending" from "unknown".
+*/
+function computeTotalPendingAcrossSpaces(spaces) {
+	if (spaces.length === 0) return void 0;
+	let total = 0;
+	for (const s of spaces) {
+		if (s.pendingCount === void 0) return void 0;
+		total += s.pendingCount;
+	}
+	return total;
+}
 function summarizeOps(ops) {
 	if (ops.length === 0) return {
 		summary: "0 ops",
@@ -1194,7 +1210,7 @@ function buildMigrationEntries(chain, packages, mode, markerHash, edgeStatuses)
 			dirName: migration.dirName,
 			from: migration.from,
 			to: migration.to,
-			migrationId: migration.migrationId,
+			migrationHash: migration.migrationHash,
 			operationCount: ops.length,
 			operationSummary: summary,
 			hasDestructive,
@@ -1239,37 +1255,117 @@ function determineLimit(opts) {
 	if (Number.isNaN(parsed)) return DEFAULT_LIMIT;
 	return parsed;
 }
+/**
+* Build the aggregate enumeration of contract spaces for the status
+* output. Loads the aggregate from disk (lossy on failure — extension
+* spaces are simply omitted, the existing single-space app behaviour
+* keeps working), reads per-space marker rows when online, and uses
+* {@link graphWalkStrategy} to compute each space's pending count.
+*
+* Sub-spec § `migration status` semantics — the aggregate-walking
+* version reports per-space marker + pending state alongside the
+* cross-space totals.
+*/
+async function loadAggregateStatusSpaces(args) {
+	const loaded = await buildContractSpaceAggregate({
+		targetId: args.targetId,
+		migrationsDir: args.migrationsDir,
+		appContract: args.validateContract(args.appContractRaw),
+		extensionPacks: args.extensionPacks,
+		validateContract: args.validateContract
+	});
+	if (!loaded.ok) return [];
+	const aggregate = loaded.value;
+	const orderedMembers = [...aggregate.extensions, aggregate.app];
+	const rows = [];
+	for (const member of orderedMembers) {
+		const liveMarker = args.markersBySpace?.get(member.spaceId) ?? null;
+		const isApp = member.spaceId === aggregate.app.spaceId;
+		if (member.migrations.graph.nodes.size === 0) {
+			rows.push({
+				spaceId: member.spaceId,
+				kind: isApp ? "app" : "extension",
+				headHash: member.headRef.hash,
+				...args.markersBySpace !== null ? {
+					markerHash: liveMarker?.storageHash ?? null,
+					status: member.headRef.hash === EMPTY_CONTRACT_HASH ? "up-to-date" : "never-planned",
+					pendingCount: 0
+				} : {}
+			});
+			continue;
+		}
+		if (args.markersBySpace === null) {
+			rows.push({
+				spaceId: member.spaceId,
+				kind: isApp ? "app" : "extension",
+				headHash: member.headRef.hash
+			});
+			continue;
+		}
+		const walked = graphWalkStrategy({
+			aggregateTargetId: aggregate.targetId,
+			member,
+			currentMarker: liveMarker
+		});
+		let pendingCount = 0;
+		let status;
+		if (walked.kind === "ok") {
+			pendingCount = walked.result.plan.operations.length;
+			if (liveMarker === null) status = pendingCount === 0 ? "no-marker" : "pending";
+			else status = pendingCount === 0 ? "up-to-date" : "pending";
+		} else status = "unreachable";
+		rows.push({
+			spaceId: member.spaceId,
+			kind: isApp ? "app" : "extension",
+			headHash: member.headRef.hash,
+			markerHash: liveMarker?.storageHash ?? null,
+			pendingCount,
+			...status ? { status } : {}
+		});
+	}
+	return rows;
+}
+/**
+* Read the raw contract.json bytes from disk for the aggregate
+* loader. Returns `null` if the file is missing or unparseable —
+* the existing `readContractEnvelope` path will report the same
+* problem via a status diagnostic, no need to double-surface.
+*/
+async function loadContractRawSafely(config) {
+	try {
+		const path = (await import("./command-helpers-BeZHkxV8.mjs").then((n) => n.r)).resolveContractPath(config);
+		const raw = await (await import("node:fs/promises")).readFile(path, "utf-8");
+		return JSON.parse(raw);
+	} catch {
+		return null;
+	}
+}
 async function executeMigrationStatusCommand(options, flags, ui) {
 	const config = await loadConfig(options.config);
-	const { configPath, migrationsDir, migrationsRelative, refsDir } = resolveMigrationPaths(options.config, config);
+	const { configPath, appMigrationsDir, appMigrationsRelative, migrationsDir, refsDir } = resolveMigrationPaths(options.config, config);
 	const dbConnection = options.db ?? config.db?.connection;
 	const hasDriver = !!config.driver;
 	let activeRefName;
 	let activeRefHash;
+	let activeRefEntry;
 	let allRefs = {};
 	try {
 		allRefs = await readRefs(refsDir);
 	} catch (error) {
-		if (MigrationToolsError.is(error)) return notOk(errorRuntime(error.message, {
-			why: error.why,
-			fix: error.fix,
-			meta: { code: error.code }
-		}));
+		if (MigrationToolsError.is(error)) return notOk(mapMigrationToolsError(error));
 		throw error;
 	}
 	if (options.ref) {
 		activeRefName = options.ref;
 		try {
-			activeRefHash = resolveRef(allRefs, activeRefName).hash;
+			activeRefEntry = resolveRef(allRefs, activeRefName);
+			activeRefHash = activeRefEntry.hash;
 		} catch (error) {
-			if (MigrationToolsError.is(error)) return notOk(errorRuntime(error.message, {
-				why: error.why,
-				fix: error.fix,
-				meta: { code: error.code }
-			}));
+			if (MigrationToolsError.is(error)) return notOk(mapMigrationToolsError(error));
 			throw error;
 		}
 	}
+	const requiredInvariants = [...activeRefEntry?.invariants ?? []].sort();
 	const statusRefs = Object.entries(allRefs).map(([name, entry]) => ({
 		name,
 		hash: entry.hash,
@@ -1281,7 +1377,7 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 			value: configPath
 		}, {
 			label: "migrations",
-			value: migrationsRelative
+			value: appMigrationsRelative
 		}];
 		if (dbConnection && hasDriver) details.push({
 			label: "database",
@@ -1291,6 +1387,10 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 			label: "ref",
 			value: activeRefName
 		});
+		if (activeRefEntry && activeRefEntry.invariants.length > 0) details.push({
+			label: "required",
+			value: formatInvariantList(activeRefEntry.invariants)
+		});
 		const header = formatStyledHeader({
 			command: "migration status",
 			description: "Show migration history and applied status",
@@ -1314,13 +1414,9 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 	let bundles;
 	let graph;
 	try {
-		({bundles, graph} = await loadAllBundles(migrationsDir));
+		({bundles, graph} = await loadMigrationPackages(appMigrationsDir));
 	} catch (error) {
-		if (MigrationToolsError.is(error)) return notOk(errorRuntime(error.message, {
-			why: error.why,
-			fix: error.fix,
-			meta: { code: error.code }
-		}));
+		if (MigrationToolsError.is(error)) return notOk(mapMigrationToolsError(error));
 		return notOk(errorUnexpected(error instanceof Error ? error.message : String(error), { why: `Failed to read migrations directory: ${error instanceof Error ? error.message : String(error)}` }));
 	}
 	if (bundles.length === 0) {
@@ -1337,7 +1433,8 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 			targetHash: EMPTY_CONTRACT_HASH,
 			contractHash,
 			summary: "No migrations found",
-			diagnostics
+			diagnostics,
+			requiredInvariants
 		});
 	}
 	let targetHash;
@@ -1354,7 +1451,9 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 		});
 	}
 	let markerHash;
+	let markerInvariants = [];
 	let mode = "offline";
+	let allMarkers = null;
 	if (dbConnection && hasDriver) {
 		const client = createControlClient({
 			family: config.family,
@@ -1365,14 +1464,51 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 		});
 		try {
 			await client.connect(dbConnection);
-			markerHash = (await client.readMarker())?.storageHash;
+			const marker = await client.readMarker();
+			markerHash = marker?.storageHash;
+			markerInvariants = marker?.invariants ?? [];
 			mode = "online";
+			try {
+				allMarkers = await client.readAllMarkers();
+			} catch {
+				allMarkers = null;
+			}
 		} catch {
 			if (!flags.json && !flags.quiet) ui.warn("Could not connect to database — showing offline status");
 		} finally {
 			await client.close();
 		}
 	}
+	const contractRawForAggregate = await loadContractRawSafely(config);
+	let aggregateSpaces = [];
+	if (contractRawForAggregate !== null) {
+		const stack = createControlStack(config);
+		const familyInstance = config.family.create(stack);
+		try {
+			aggregateSpaces = await loadAggregateStatusSpaces({
+				targetId: config.target.targetId,
+				migrationsDir,
+				appContractRaw: contractRawForAggregate,
+				extensionPacks: config.extensionPacks ?? [],
+				validateContract: (json) => familyInstance.validateContract(json),
+				markersBySpace: allMarkers
+			});
+		} catch {
+			aggregateSpaces = [];
+		}
+	}
+	const totalPendingAcrossSpaces = computeTotalPendingAcrossSpaces(aggregateSpaces);
+	if (activeRefEntry && activeRefEntry.invariants.length > 0) {
+		const declared = collectDeclaredInvariants(graph);
+		const known = new Set(declared);
+		if (mode === "online") for (const id of markerInvariants) known.add(id);
+		const unknown = activeRefEntry.invariants.filter((id) => !known.has(id));
+		if (unknown.length > 0) return notOk(mapMigrationToolsError(errorUnknownInvariant({
+			...ifDefined("refName", activeRefName),
+			unknown,
+			declared: [...declared].sort()
+		})));
+	}
 	if (mode === "online" && markerHash !== void 0 && !graph.nodes.has(markerHash) && markerHash !== contractHash) {
 		const hints = [];
 		if (graph.nodes.has(contractHash)) hints.push("Run 'prisma-next db sign' to overwrite the marker if the database already matches the contract", "Run 'prisma-next db update' to push the current contract to the database", "Run 'prisma-next contract infer' to make your contract match the database", "Run 'prisma-next db verify' to inspect the database state");
@@ -1392,6 +1528,7 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 			summary: `${bundles.length} migration(s) on disk`,
 			diagnostics,
 			markerHash,
+			requiredInvariants,
 			...statusRefs.length > 0 ? { refs: statusRefs } : {}
 		});
 	}
@@ -1416,6 +1553,7 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 		summary: `${bundles.length} migration(s) on disk`,
 		diagnostics,
 		...ifDefined("markerHash", markerHash),
+		requiredInvariants,
 		...statusRefs.length > 0 ? { refs: statusRefs } : {},
 		graph,
 		bundles,
@@ -1430,35 +1568,68 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 	const entries = buildMigrationEntries(chain, bundles, mode, markerHash, edgeStatuses);
 	const pendingCount = edgeStatuses.filter((e) => e.status === "pending").length;
 	const appliedCount = edgeStatuses.filter((e) => e.status === "applied").length;
+	let appliedInvariants;
+	let missingInvariants;
+	let effectiveRequired = /* @__PURE__ */ new Set();
+	if (mode === "online") {
+		const markerSet = new Set(markerInvariants);
+		effectiveRequired = new Set(requiredInvariants.filter((id) => !markerSet.has(id)));
+		appliedInvariants = requiredInvariants.filter((id) => markerSet.has(id));
+		missingInvariants = [...effectiveRequired].sort();
+	}
+	const hasInvariantWork = effectiveRequired.size > 0;
+	const missingList = [...effectiveRequired].sort().join(", ");
 	let summary;
 	if (mode === "online") if (markerHash !== void 0 && !graph.nodes.has(markerHash) && markerHash === contractHash) summary = `${bundles.length} migration(s) on disk`;
-	else if (activeRefHash && markerHash !== void 0) summary = summarizeRefDistance(graph, markerHash, activeRefHash, activeRefName);
-	else if (pendingCount === 0) summary = `Database is up to date (${appliedCount} migration${appliedCount !== 1 ? "s" : ""} applied)`;
+	else if (activeRefHash && markerHash !== void 0) {
+		const distance = summarizeRefDistance(graph, markerHash, activeRefHash, activeRefName);
+		summary = hasInvariantWork ? `${distance} — missing invariant(s): ${missingList}` : distance;
+	} else if (pendingCount === 0 && !hasInvariantWork) summary = `Database is up to date (${appliedCount} migration${appliedCount !== 1 ? "s" : ""} applied)`;
+	else if (pendingCount === 0 && hasInvariantWork) summary = `Missing invariant(s): ${missingList} — run 'prisma-next migration apply --ref ${activeRefName ?? "<ref>"}' to apply`;
 	else if (markerHash === void 0) summary = `${pendingCount} pending migration(s) — database has no marker`;
 	else summary = `${pendingCount} pending migration(s) — run 'prisma-next migration apply' to apply`;
 	else summary = `${entries.length} migration(s) on disk`;
-	if (mode === "online") if (markerHash !== void 0 && !graph.nodes.has(markerHash) && markerHash === contractHash) diagnostics.push({
-		code: "MIGRATION.MARKER_NOT_IN_HISTORY",
-		severity: "warn",
-		message: "Database matches the current contract but was updated directly (not via migration apply)",
-		hints: ["Run 'prisma-next migration plan' to plan a migration to your current contract"]
-	});
-	else if (pendingCount > 0) diagnostics.push({
-		code: "MIGRATION.DATABASE_BEHIND",
-		severity: "info",
-		message: `${pendingCount} migration(s) pending`,
-		hints: ["Run 'prisma-next migration apply' to apply pending migrations"]
-	});
-	else diagnostics.push({
-		code: "MIGRATION.UP_TO_DATE",
-		severity: "info",
-		message: "Database is up to date",
-		hints: []
-	});
 	let pathDecision;
-	if (mode === "online" && markerHash !== void 0) {
-		const decision = findPathWithDecision(graph, markerHash, targetHash, activeRefName);
-		if (decision) pathDecision = toPathDecisionResult(decision);
+	let routingUnreachable = false;
+	if (mode === "online") {
+		const outcome = findPathWithDecision(graph, markerHash ?? EMPTY_CONTRACT_HASH, targetHash, {
+			...ifDefined("refName", activeRefName),
+			required: effectiveRequired
+		});
+		if (outcome.kind === "ok") pathDecision = toPathDecisionResult(outcome.decision);
+		else if (outcome.kind === "unsatisfiable") return notOk(mapMigrationToolsError(errorNoInvariantPath({
+			...ifDefined("refName", activeRefName),
+			required: [...effectiveRequired].sort(),
+			missing: outcome.missing,
+			structuralPath: outcome.structuralPath.map(toStructuralEdge)
+		})));
+		else routingUnreachable = true;
+	}
+	if (mode === "online") {
+		if (markerHash !== void 0 && !graph.nodes.has(markerHash) && markerHash === contractHash) diagnostics.push({
+			code: "MIGRATION.MARKER_NOT_IN_HISTORY",
+			severity: "warn",
+			message: "Database matches the current contract but was updated directly (not via migration apply)",
+			hints: ["Run 'prisma-next migration plan' to plan a migration to your current contract"]
+		});
+		else if (pendingCount > 0) diagnostics.push({
+			code: "MIGRATION.DATABASE_BEHIND",
+			severity: "info",
+			message: `${pendingCount} migration(s) pending`,
+			hints: ["Run 'prisma-next migration apply' to apply pending migrations"]
+		});
+		else if (hasInvariantWork) diagnostics.push({
+			code: "MIGRATION.INVARIANTS_PENDING",
+			severity: "info",
+			message: `Missing required invariant(s): ${missingList}`,
+			hints: [`Run 'prisma-next migration apply --ref ${activeRefName ?? "<ref>"}' to apply a path that covers the required invariants`]
+		});
+		else if (!routingUnreachable) diagnostics.push({
+			code: "MIGRATION.UP_TO_DATE",
+			severity: "info",
+			message: "Database is up to date",
+			hints: []
+		});
 	}
 	return ok({
 		ok: true,
@@ -1469,13 +1640,18 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 		summary,
 		diagnostics,
 		...ifDefined("markerHash", markerHash),
+		requiredInvariants,
+		...ifDefined("appliedInvariants", appliedInvariants),
+		...ifDefined("missingInvariants", missingInvariants),
 		...statusRefs.length > 0 ? { refs: statusRefs } : {},
 		...ifDefined("pathDecision", pathDecision),
 		graph,
 		bundles,
 		edgeStatuses,
 		...ifDefined("activeRefHash", activeRefHash),
-		...ifDefined("activeRefName", activeRefName)
+		...ifDefined("activeRefName", activeRefName),
+		spaces: aggregateSpaces,
+		...ifDefined("totalPendingAcrossSpaces", totalPendingAcrossSpaces)
 	});
 }
 function createMigrationStatusCommand() {
@@ -1490,7 +1666,7 @@ function createMigrationStatusCommand() {
 		});
 		const exitCode = handleResult(await executeMigrationStatusCommand(options, flags, ui), flags, ui, (statusResult) => {
 			if (flags.json) {
-				const { graph: _g, bundles: _b, edgeStatuses: _es, activeRefHash: _arh, activeRefName: _arn, diverged: _d, ...jsonResult } = statusResult;
+				const { graph: _graph, bundles: _bundles, edgeStatuses: _edgeStatuses, activeRefHash: _activeRefHash, activeRefName: _activeRefName, diverged: _diverged, ...jsonResult } = statusResult;
 				ui.output(JSON.stringify(jsonResult, null, 2));
 			} else if (!flags.quiet) {
 				const colorize = flags.color !== false;
@@ -1540,17 +1716,48 @@ function formatStatusSummary(result, colorize) {
 	const hasUnknown = result.migrations.some((e) => e.status === "unknown");
 	const pendingCount = result.migrations.filter((e) => e.status === "pending").length;
 	const hasWarnings = result.diagnostics?.some((d) => d.severity === "warn") ?? false;
+	const hasInvariantPending = result.diagnostics?.some((d) => d.code === "MIGRATION.INVARIANTS_PENDING") ?? false;
 	if (result.mode === "online") if (hasUnknown || hasWarnings) lines.push(`${c(yellow, "⚠")} ${result.summary}`);
-	else if (pendingCount === 0) lines.push(`${c(cyan, "✔")} ${result.summary}`);
+	else if (pendingCount === 0 && !hasInvariantPending) lines.push(`${c(cyan, "✔")} ${result.summary}`);
 	else lines.push(`${c(yellow, "⧗")} ${result.summary}`);
 	else lines.push(result.summary);
+	if (result.requiredInvariants.length > 0) if (result.appliedInvariants !== void 0 && result.missingInvariants !== void 0) {
+		lines.push(`${c(dim, "applied  ")}${formatInvariantList(result.appliedInvariants)}`);
+		lines.push(`${c(dim, "missing  ")}${formatInvariantList(result.missingInvariants)}`);
+	} else lines.push(`${c(dim, "applied  ")}(unknown — connect a database to evaluate)`);
 	const warnings = result.diagnostics?.filter((d) => d.severity === "warn") ?? [];
 	for (const diag of warnings) {
 		lines.push(`${c(yellow, "⚠")} ${diag.message}`);
 		for (const hint of diag.hints) lines.push(`  ${c(dim, hint)}`);
 	}
+	if (result.spaces?.some((s) => s.kind === "extension")) {
+		const total = result.totalPendingAcrossSpaces ?? 0;
+		lines.push("");
+		lines.push(c(dim, "spaces"));
+		for (const space of result.spaces) lines.push(formatSpaceLine(space, c));
+		if (total > 0) {
+			lines.push("");
+			lines.push(`${c(yellow, "⧗")} ${total} pending migration(s) across ${result.spaces.length} space(s) — run 'prisma-next migration apply' to apply`);
+		}
+	}
 	return lines.join("\n");
 }
+function formatSpaceLine(space, c) {
+	const glyph = (() => {
+		if (space.status === "up-to-date" || space.status === "no-marker") return c(cyan, "✓");
+		if (space.status === "pending") return c(yellow, "⧗");
+		if (space.status === "unreachable" || space.status === "never-planned") return c(magenta, "✗");
+		return " ";
+	})();
+	const tag = space.kind === "app" ? "[app]" : "[ext]";
+	const head = space.headHash.slice(0, 8);
+	const marker = space.markerHash === void 0 ? "(unknown)" : space.markerHash === null ? "(no marker)" : space.markerHash.slice(0, 8);
+	const pending = space.pendingCount === void 0 ? "" : space.pendingCount === 0 ? c(dim, " (up to date)") : c(yellow, ` (${space.pendingCount} pending)`);
+	return `  ${glyph} ${c(dim, tag)} ${space.spaceId} → head ${c(dim, head)}, marker ${c(dim, marker)}${pending}`;
+}
+function formatInvariantList(ids) {
+	return ids.length === 0 ? "(none)" : ids.join(", ");
+}
 function summarizeRefDistance(graph, markerHash, refHash, refName) {
 	if (markerHash === refHash) return `At ref "${refName}" target`;
 	const pathToRef = findPath(graph, markerHash, refHash);
@@ -1559,7 +1766,7 @@ function summarizeRefDistance(graph, markerHash, refHash, refName) {
 	if (pathFromRef) return `${pathFromRef.length} migration(s) ahead of ref "${refName}"`;
 	return `No path between database marker and ref "${refName}" target`;
 }
-
 //#endregion
-export { deriveEdgeStatuses as n, createMigrationStatusCommand as t };
-//# sourceMappingURL=migration-status-DUMiH8_G.mjs.map
+export { loadAggregateStatusSpaces as a, formatStatusSummary as i, createMigrationStatusCommand as n, deriveEdgeStatuses as r, computeTotalPendingAcrossSpaces as t };
+
+//# sourceMappingURL=migration-status-CZ-D5k7k.mjs.map