prisma-next 0.11.0 → 0.12.0

package/dist/commands/migration-status.d.mts

@@ -1,41 +1,9 @@
-import { n as StatusRef, t as StatusDiagnostic } from "../migration-types-BXWvz12q.mjs";
+import { n as StatusRef, t as StatusDiagnostic } from "../migration-types-D2FW63pr.mjs";
 import { Command } from "commander";
-import { Result } from "@prisma-next/utils/result";
-import { ControlExtensionDescriptor } from "@prisma-next/framework-components/control";
-import { ContractMarkerRecordLike } from "@prisma-next/migration-tools/aggregate";
-import { Contract } from "@prisma-next/contract/types";
-import { OnDiskMigrationPackage } from "@prisma-next/migration-tools/package";
+import { ContractMarkerRecordLike, ContractSpaceAggregate } from "@prisma-next/migration-tools/aggregate";
 import { MigrationGraph } from "@prisma-next/migration-tools/graph";
+import { OnDiskMigrationPackage } from "@prisma-next/migration-tools/package";
 
-//#region src/utils/contract-space-aggregate-loader.d.ts
-/**
- * Inputs needed to compose the aggregate loader at the CLI surface.
- *
- * Keeps the loader framework-neutral (no `Config` import) by accepting
- * already-resolved structural inputs: validated app contract, target
- * id, migrations root directory, and the set of extension descriptors.
- */
-interface BuildAggregateInputs<TFamilyId extends string, TTargetId extends string> {
-  readonly targetId: TTargetId;
-  readonly migrationsDir: string;
-  readonly appContract: Contract;
-  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;
-  readonly deserializeContract: (contractJson: unknown) => Contract;
-  /**
-   * App-space migration packages to hydrate the app member's
-   * migration graph with. Defaults to `[]` (matches the `db init` /
-   * `db update` daily-driver behaviour, where the app's authored
-   * `migrations/` graph is not walked — the planner uses the synth
-   * strategy for the app member instead).
-   *
-   * `migrate` callers thread the user's authored app-space
-   * packages (loaded via `loadMigrationPackages(appMigrationsDir)`)
-   * through here so the graph-walk strategy can plot a path through
-   * them — the prod-time replay path explicitly forbids synth.
-   */
-  readonly appMigrationPackages?: ReadonlyArray<OnDiskMigrationPackage>;
-}
-//#endregion
 //#region src/utils/formatters/graph-migration-mapper.d.ts
 type EdgeStatusKind = 'applied' | 'pending' | 'unreachable';
 /** Minimal per-edge status from the CLI's status result. */
@@ -137,10 +105,9 @@ interface MigrationStatusResult {
    * migrations directory) where the existing diagnostics already
    * surface the failure.
    *
-   * The legacy top-level fields (`migrations`, `markerHash`,
-   * `targetHash`, `pathDecision`, …) describe the **app member**
-   * specifically — back-compat with single-space callers. Per-space
-   * detail for extension members lives only on this list.
+   * The top-level fields (`migrations`, `markerHash`, `targetHash`,
+   * `pathDecision`, …) describe the **app member** specifically.
+   * Per-space detail for extension members lives only on this list.
    */
   readonly spaces?: readonly MigrationStatusSpaceEntry[];
   /** Cross-space pending-migration total (sum of `spaces[].pendingCount`). Present when `spaces` is. */
@@ -171,20 +138,16 @@ declare function deriveEdgeStatuses(graph: MigrationGraph, targetHash: string, c
 /**
  * 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
+ * spaces are simply omitted, the app member's output 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.
+ * The aggregate-walking status reports per-space marker + pending
+ * state alongside the cross-space totals.
  */
 declare function loadAggregateStatusSpaces(args: {
-  readonly targetId: string;
-  readonly migrationsDir: string;
-  readonly appContractRaw: unknown;
-  readonly extensionPacks: BuildAggregateInputs<string, string>['extensionPacks'];
-  readonly deserializeContract: BuildAggregateInputs<string, string>['deserializeContract'];
+  readonly aggregate: ContractSpaceAggregate;
+  readonly extensionPacks: ReadonlyArray<unknown>;
   readonly markersBySpace: ReadonlyMap<string, ContractMarkerRecordLike> | null;
 }): Promise<readonly MigrationStatusSpaceEntry[]>;
 declare function createMigrationStatusCommand(): Command;

package/dist/commands/migration-status.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"migration-status.d.mts","names":[],"sources":["../../src/utils/contract-space-aggregate-loader.ts","../../src/utils/formatters/graph-migration-mapper.ts","../../src/commands/migration-status.ts"],"mappings":";;;;;;;;;;;;;;;;;UAqHiB,oBAAA;EAAA,SACN,QAAA,EAAU,SAAA;EAAA,SACV,aAAA;EAAA,SACA,WAAA,EAAa,QAAA;EAAA,SACb,cAAA,EAAgB,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;EAAA,SACpE,mBAAA,GAAsB,YAAA,cAA0B,QAAA;EAJhD;;;;;;;;;;;;EAAA,SAiBA,oBAAA,GAAuB,aAAA,CAAc,sBAAA;AAAA;;;KCtHpC,cAAA;;UAmBK,UAAA;EAAA,SACN,OAAA;EAAA,SACA,MAAA,EAAQ,cAAA;AAAA;;;UCyCF,oBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,aAAA;EAAA,SACA,cAAA;EAAA,SACA,gBAAA;EAAA,SACA,cAAA;EAAA,SACA,MAAA,EAAQ,cAAA;AAAA;;;;;;;;;;;;;;;;;;;;UAsBF,yBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA;EAAA,SACA,YAAA;EAAA,SACA,MAAA;AAAA;;;;;ADlGX;;;iBC4GgB,+BAAA,CACd,MAAA,WAAiB,yBAAA;AAAA,UAaF,qBAAA;EAAA,SACN,EAAA;EAAA,SACA,IAAA;EAAA,SACA,UAAA,WAAqB,oBAAA;EAAA,SACrB,UAAA;EAAA,SACA,UAAA;EAAA,SACA,YAAA;EAAA,SACA,IAAA,YAAgB,SAAA;ED5GM;EAAA,SC8GtB,kBAAA;;;AArEX;;;;;;WA8EW,iBAAA;EA1EA;EAAA,SA4EA,iBAAA;EAAA,SACA,YAAA;IAAA,SACE,QAAA;IAAA,SACA,MAAA;IAAA,SACA,gBAAA;IAAA,SACA,eAAA;IAAA,SACA,OAAA;IAAA,SACA,kBAAA;IAAA,SACA,mBAAA;IAAA,SACA,YAAA;MAAA,SACE,OAAA;MAAA,SACA,aAAA;MAAA,SACA,IAAA;MAAA,SACA,EAAA;MAAA,SACA,UAAA;IAAA;EAAA;EAAA,SAGJ,OAAA;EAAA,SACA,WAAA,WAAsB,gBAAA;EApDjB;;;;;AAchB;;;;;;;;EAdgB,SAkEL,MAAA,YAAkB,yBAAA;EAKM;EAAA,SAHxB,wBAAA;EAAA,SACA,KAAA,GAAQ,cAAA;EAAA,SACR,OAAA,YAAmB,sBAAA;EAAA,SACnB,YAAA,YAAwB,UAAA;EAAA,SACxB,aAAA;EAAA,SACA,aAAA;EAAA,SACA,QAAA;AAAA;;;;;;;;;;;;;;;;iBA+CK,kBAAA,CACd,KAAA,EAAO,cAAA,EACP,UAAA,UACA,YAAA,UACA,UAAA,sBACA,IAAA,yBACC,UAAA;;;;;;;;;;;;iBAsLmB,yBAAA,CAA0B,IAAA;EAAA,SACrC,QAAA;EAAA,SACA,aAAA;EAAA,SACA,cAAA;EAAA,SACA,cAAA,EAAgB,oBAAA;EAAA,SAChB,mBAAA,EAAqB,oBAAA;EAAA,SACrB,cAAA,EAAgB,WAAA,SAAoB,wBAAA;AAAA,IAC3C,OAAA,UAAiB,yBAAA;AAAA,iBA6pBL,4BAAA,CAAA,GAAgC,OAAA;AAAA,iBAoGhC,mBAAA,CAAoB,MAAA,EAAQ,qBAAA,EAAuB,QAAA"}
+{"version":3,"file":"migration-status.d.mts","names":[],"sources":["../../src/utils/formatters/graph-migration-mapper.ts","../../src/commands/migration-status.ts"],"mappings":";;;;;;;KAiBY,cAAA;;UAmBK,UAAA;EAAA,SACN,OAAA;EAAA,SACA,MAAA,EAAQ,cAAc;AAAA;;;UC+ChB,oBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,aAAA;EAAA,SACA,cAAA;EAAA,SACA,gBAAA;EAAA,SACA,cAAA;EAAA,SACA,MAAA,EAAQ,cAAc;AAAA;;;;;ADvDA;;;;AC+CjC;;;;;;;;;;;UA8BiB,yBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA;EAAA,SACA,YAAA;EAAA,SACA,MAAA;AAAA;;;;;;;;iBAUK,+BAAA,CACd,MAA4C,WAA3B,yBAAyB;AAAA,UAa3B,qBAAA;EAAA,SACN,EAAA;EAAA,SACA,IAAA;EAAA,SACA,UAAA,WAAqB,oBAAA;EAAA,SACrB,UAAA;EAAA,SACA,UAAA;EAAA,SACA,YAAA;EAAA,SACA,IAAA,YAAgB,SAAA;EAAA;EAAA,SAEhB,kBAAA;EA0CkB;;;;;;;;EAAA,SAjClB,iBAAA;EAfqB;EAAA,SAiBrB,iBAAA;EAAA,SACA,YAAA;IAAA,SACE,QAAA;IAAA,SACA,MAAA;IAAA,SACA,gBAAA;IAAA,SACA,eAAA;IAAA,SACA,OAAA;IAAA,SACA,kBAAA;IAAA,SACA,mBAAA;IAAA,SACA,YAAA;MAAA,SACE,OAAA;MAAA,SACA,aAAA;MAAA,SACA,IAAA;MAAA,SACA,EAAA;MAAA,SACA,UAAA;IAAA;EAAA;EAAA,SAGJ,OAAA;EAAA,SACA,WAAA,WAAsB,gBAAA;EANlB;;;;;;;;;;;;EAAA,SAmBJ,MAAA,YAAkB,yBAAA;EAKlB;EAAA,SAHA,wBAAA;EAAA,SACA,KAAA,GAAQ,cAAA;EAAA,SACR,OAAA,YAAmB,sBAAA;EAAA,SACnB,YAAA,YAAwB,UAAA;EAAA,SACxB,aAAA;EAAA,SACA,aAAA;EAAA,SACA,QAAA;AAAA;;;;;;;;;;;AAqDE;AAqLb;;;;iBA3LgB,kBAAA,CACd,KAAA,EAAO,cAAA,EACP,UAAA,UACA,YAAA,UACA,UAAA,sBACA,IAAA,yBACC,UAAU;;;;;;;;;;;iBAqLS,yBAAA,CAA0B,IAAA;EAAA,SACrC,SAAA,EAAW,sBAAA;EAAA,SACX,cAAA,EAAgB,aAAA;EAAA,SAChB,cAAA,EAAgB,WAAA,SAAoB,wBAAA;AAAA,IAC3C,OAAA,UAAiB,yBAAA;AAAA,iBA+pBL,4BAAA,CAAA,GAAgC,OAAO;AAAA,iBAoGvC,mBAAA,CAAoB,MAAA,EAAQ,qBAAqB,EAAE,QAAA"}

package/dist/commands/migration-status.mjs

@@ -1,21 +1,20 @@
 import { t as loadConfig } from "../config-loader-B6sJjXTv.mjs";
-import { b as mapMigrationToolsError, g as errorRuntime, t as CliStructuredError, x as mapRefResolutionError, y as errorUnexpected } from "../cli-errors-Djtz98Vm.mjs";
-import { t as createTerminalUI } from "../terminal-ui-BiB_8KNo.mjs";
-import { S as formatStyledHeader, a as loadMigrationPackages, d as setCommandDescriptions, f as setCommandExamples, g as toStructuralEdge, h as toPathDecisionResult, l as resolveMigrationPaths, n as collectDeclaredInvariants, o as maskConnectionUrl, p as setCommandSeeAlso, s as readContractEnvelope, t as addGlobalOptions, v as parseGlobalFlagsOrExit, y as handleResult } from "../command-helpers-BSb0tRC8.mjs";
-import { t as createControlClient } from "../client-oXO2WCPD.mjs";
-import { t as buildContractSpaceAggregate } from "../contract-space-aggregate-loader-BmNQwlws.mjs";
-import { i as migrationGraphToRenderInput, n as graphRenderer, r as isLinearGraph, t as extractRelevantSubgraph } from "../graph-render-DJVv0_uf.mjs";
+import { A as CliStructuredError, T as formatStyledHeader, X as errorRuntime, _ as createTerminalUI, a as readContractEnvelope, d as setCommandSeeAlso, g as parseGlobalFlagsOrExit, i as maskConnectionUrl, l as setCommandDescriptions, m as toStructuralEdge, n as collectDeclaredInvariants, nt as mapMigrationToolsError, p as toPathDecisionResult, rt as mapRefResolutionError, s as resolveMigrationPaths, t as addGlobalOptions, tt as errorUnexpected, u as setCommandExamples, y as handleResult } from "../command-helpers-Bbw1GbwL.mjs";
+import { t as createControlClient } from "../client-KgJorIvG.mjs";
+import { t as toDeclaredExtensionsFromRaw } from "../extension-pack-inputs-IDvjRCi3.mjs";
+import { i as loadContractRawSafely, o as refuseContractSpaceIntegrity, s as refusePackageCorruptionOnAggregate, t as appContractStandInFromIdentity } from "../contract-space-aggregate-loader-DvZwdkrr.mjs";
+import { i as migrationGraphToRenderInput, n as graphRenderer, r as isLinearGraph, t as extractRelevantSubgraph } from "../graph-render-rFAqZujX.mjs";
 import { Command } from "commander";
 import { ifDefined } from "@prisma-next/utils/defined";
 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 { cyan, dim, magenta, yellow } from "colorette";
-import { graphWalkStrategy } from "@prisma-next/migration-tools/aggregate";
+import { graphWalkStrategy, loadContractSpaceAggregate, requireHeadRef } 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 { parseContractRef } from "@prisma-next/migration-tools/ref-resolution";
+import { findPath, findPathWithDecision, findReachableLeaves } from "@prisma-next/migration-tools/migration-graph";
 import { readRefs } from "@prisma-next/migration-tools/refs";
+import { parseContractRef } from "@prisma-next/migration-tools/ref-resolution";
 //#region src/commands/migration-status.ts
 /**
 * Sum per-space `pendingCount` into a cross-space total, but only when
@@ -178,37 +177,34 @@ function resolveDisplayChain(graph, targetHash, markerHash) {
 /**
 * 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
+* spaces are simply omitted, the app member's output 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.
+* The aggregate-walking status 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.deserializeContract(args.appContractRaw),
-		extensionPacks: args.extensionPacks,
-		deserializeContract: args.deserializeContract
-	});
-	if (!loaded.ok) return [];
-	const aggregate = loaded.value;
+	const declaredExtensions = toDeclaredExtensionsFromRaw(args.extensionPacks);
+	if (refuseContractSpaceIntegrity(args.aggregate, {
+		declaredExtensions,
+		checkContracts: true
+	})) return [];
+	const aggregate = args.aggregate;
 	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) {
+		const headRef = requireHeadRef(member);
+		if (member.graph().nodes.size === 0) {
 			rows.push({
 				spaceId: member.spaceId,
 				kind: isApp ? "app" : "extension",
-				headHash: member.headRef.hash,
+				headHash: headRef.hash,
 				...args.markersBySpace !== null ? {
 					markerHash: liveMarker?.storageHash ?? null,
-					status: member.headRef.hash === EMPTY_CONTRACT_HASH ? "up-to-date" : "never-planned",
+					status: headRef.hash === EMPTY_CONTRACT_HASH ? "up-to-date" : "never-planned",
 					pendingCount: 0
 				} : {}
 			});
@@ -218,7 +214,7 @@ async function loadAggregateStatusSpaces(args) {
 			rows.push({
 				spaceId: member.spaceId,
 				kind: isApp ? "app" : "extension",
-				headHash: member.headRef.hash
+				headHash: headRef.hash
 			});
 			continue;
 		}
@@ -237,7 +233,7 @@ async function loadAggregateStatusSpaces(args) {
 		rows.push({
 			spaceId: member.spaceId,
 			kind: isApp ? "app" : "extension",
-			headHash: member.headRef.hash,
+			headHash: headRef.hash,
 			markerHash: liveMarker?.storageHash ?? null,
 			pendingCount,
 			...status ? { status } : {}
@@ -251,15 +247,6 @@ async function loadAggregateStatusSpaces(args) {
 * 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-BSb0tRC8.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 validateOnlineMarkerRead(config, dbConnection) {
 	const driver = config.driver;
 	if (!driver) return ok(void 0);
@@ -283,7 +270,7 @@ async function validateOnlineMarkerRead(config, dbConnection) {
 }
 async function executeMigrationStatusCommand(options, flags, ui) {
 	const config = await loadConfig(options.config);
-	const { configPath, appMigrationsDir, appMigrationsRelative, migrationsDir, refsDir } = resolveMigrationPaths(options.config, config);
+	const { configPath, appMigrationsRelative, migrationsDir, refsDir } = resolveMigrationPaths(options.config, config);
 	const dbConnection = options.db ?? config.db?.connection;
 	const hasDriver = !!config.driver;
 	let activeRefName;
@@ -296,12 +283,58 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 		if (MigrationToolsError.is(error)) return notOk(mapMigrationToolsError(error));
 		throw error;
 	}
+	const diagnostics = [];
+	let contractHash = EMPTY_CONTRACT_HASH;
+	try {
+		contractHash = (await readContractEnvelope(config)).storageHash;
+	} catch (error) {
+		diagnostics.push({
+			code: "CONTRACT.UNREADABLE",
+			severity: "warn",
+			message: `Could not read contract: ${error instanceof Error ? error.message : "unknown error"}`,
+			hints: ["Run 'prisma-next contract emit' to generate a valid contract"]
+		});
+	}
+	const contractRawForAggregate = await loadContractRawSafely(config);
+	const stack = createControlStack(config);
+	const familyInstance = config.family.create(stack);
+	const deserializeContract = (json) => familyInstance.deserializeContract(json);
+	let appContractForLoad = appContractStandInFromIdentity({
+		contractHash,
+		targetId: config.target.id,
+		targetFamily: config.target.familyId
+	});
+	if (contractRawForAggregate !== null) try {
+		appContractForLoad = deserializeContract(contractRawForAggregate);
+	} catch (error) {
+		diagnostics.push({
+			code: "CONTRACT.UNREADABLE",
+			severity: "warn",
+			message: `Could not deserialize contract: ${error instanceof Error ? error.message : "unknown error"}`,
+			hints: ["Run 'prisma-next contract emit' to generate a valid contract"]
+		});
+	}
+	let aggregate;
+	try {
+		aggregate = await loadContractSpaceAggregate({
+			migrationsDir,
+			deserializeContract,
+			appContract: appContractForLoad
+		});
+	} catch (error) {
+		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 (contractRawForAggregate !== null) {
+		const corruptionFailure = refusePackageCorruptionOnAggregate(aggregate);
+		if (corruptionFailure) return notOk(corruptionFailure);
+	}
+	const appGraph = aggregate.app.graph();
 	let fromOverrideHash;
-	if (options.to || options.from) try {
-		const { graph: earlyGraph } = await loadMigrationPackages(appMigrationsDir);
+	if (options.to || options.from) {
 		if (options.to) {
 			const refResult = parseContractRef(options.to, {
-				graph: earlyGraph,
+				graph: appGraph,
 				refs: allRefs
 			});
 			if (!refResult.ok) return notOk(mapRefResolutionError(refResult.failure));
@@ -314,15 +347,12 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 		}
 		if (options.from) {
 			const fromResult = parseContractRef(options.from, {
-				graph: earlyGraph,
+				graph: appGraph,
 				refs: allRefs
 			});
 			if (!fromResult.ok) return notOk(mapRefResolutionError(fromResult.failure));
 			fromOverrideHash = fromResult.value.hash;
 		}
-	} catch (error) {
-		if (MigrationToolsError.is(error)) return notOk(mapMigrationToolsError(error));
-		throw error;
 	}
 	const requiredInvariants = [...activeRefEntry?.invariants ?? []].sort();
 	const statusRefs = Object.entries(allRefs).map(([name, entry]) => ({
@@ -362,26 +392,8 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 		});
 		ui.stderr(header);
 	}
-	const diagnostics = [];
-	let contractHash = EMPTY_CONTRACT_HASH;
-	try {
-		contractHash = (await readContractEnvelope(config)).storageHash;
-	} catch (error) {
-		diagnostics.push({
-			code: "CONTRACT.UNREADABLE",
-			severity: "warn",
-			message: `Could not read contract: ${error instanceof Error ? error.message : "unknown error"}`,
-			hints: ["Run 'prisma-next contract emit' to generate a valid contract"]
-		});
-	}
-	let bundles;
-	let graph;
-	try {
-		({bundles, graph} = await loadMigrationPackages(appMigrationsDir));
-	} catch (error) {
-		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)}` }));
-	}
+	const bundles = aggregate.app.packages;
+	const graph = appGraph;
 	if (bundles.length === 0) {
 		if (dbConnection && hasDriver) {
 			const markerProbe = await validateOnlineMarkerRead(config, dbConnection);
@@ -449,23 +461,15 @@ async function executeMigrationStatusCommand(options, flags, ui) {
 		mode = "offline";
 		allMarkers = null;
 	}
-	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 ?? [],
-				deserializeContract: (json) => familyInstance.deserializeContract(json),
-				markersBySpace: allMarkers
-			});
-		} catch {
-			aggregateSpaces = [];
-		}
+	if (contractRawForAggregate !== null) try {
+		aggregateSpaces = await loadAggregateStatusSpaces({
+			aggregate,
+			extensionPacks: config.extensionPacks ?? [],
+			markersBySpace: allMarkers
+		});
+	} catch {
+		aggregateSpaces = [];
 	}
 	const totalPendingAcrossSpaces = computeTotalPendingAcrossSpaces(aggregateSpaces);
 	if (activeRefEntry && activeRefEntry.invariants.length > 0) {