prisma-next 0.12.0-dev.5 → 0.12.0-dev.50

package/dist/migration-check-BxWlQBOs.mjs

@@ -0,0 +1,573 @@
+import { t as loadConfig } from "./config-loader-B6sJjXTv.mjs";
+import { A as formatStyledHeader, K as errorInvalidSpaceId, L as errorAmbiguousMigrationRef, _ as createTerminalUI, at as errorSpaceNotFound, b as formatErrorJson, d as setCommandSeeAlso, g as parseGlobalFlagsOrExit, l as setCommandDescriptions, o as resolveContractPath, s as resolveMigrationPaths, t as addGlobalOptions, u as setCommandExamples, ut as mapRefResolutionError, x as formatErrorOutput } from "./command-helpers-esJGBD4W.mjs";
+import { n as buildReadAggregate, s as toDeclaredExtensionsFromRaw } from "./contract-space-aggregate-loader-CpNVrBqW.mjs";
+import { i as resolveTargetPathAcrossSpaces, n as looksLikePath, r as resolveAppTargetPath, t as findPackageByDirPath } from "./migration-path-target-UkxkgXnv.mjs";
+import "./schemas-DJY2O09F.mjs";
+import { Command } from "commander";
+import { ifDefined } from "@prisma-next/utils/defined";
+import { notOk, ok } from "@prisma-next/utils/result";
+import { join, relative } from "pathe";
+import { readFile } from "node:fs/promises";
+import { createControlStack } from "@prisma-next/framework-components/control";
+import { RESERVED_SPACE_SUBDIR_NAMES, isValidSpaceId, listContractSpaceDirectories, spaceMigrationDirectory, spaceRefsDirectory } from "@prisma-next/migration-tools/spaces";
+import { existsSync, readFileSync, readdirSync, statSync } from "node:fs";
+import { loadContractSpaceAggregate } from "@prisma-next/migration-tools/aggregate";
+import { parseMigrationRef } from "@prisma-next/migration-tools/ref-resolution";
+import { verifyMigrationHash } from "@prisma-next/migration-tools/hash";
+//#region src/utils/integrity-violation-to-check-failure.ts
+function migrationPathRelative$1(dirPath) {
+	return relative(process.cwd(), dirPath);
+}
+function migrationFileRelative$1(dirPath, fileName) {
+	return join(migrationPathRelative$1(dirPath), fileName);
+}
+/**
+* Map one {@link IntegrityViolation} onto a `migration check` failure row.
+* Sole catalogue mapping from integrity violations to `PN-MIG-CHECK-*`.
+*/
+function integrityViolationToCheckFailure(violation, migrationsDir) {
+	const spaceRelative = (spaceId) => migrationPathRelative$1(join(migrationsDir, spaceId));
+	const packageRelative = (spaceId, dirName) => migrationPathRelative$1(join(migrationsDir, spaceId, dirName));
+	const refRelative = (spaceId, refName) => migrationPathRelative$1(join(migrationsDir, spaceId, "refs", `${refName}.json`));
+	switch (violation.kind) {
+		case "hashMismatch": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-001",
+			where: migrationFileRelative$1(join(migrationsDir, violation.spaceId, violation.dirName), "migration.json"),
+			why: `Stored hash ${violation.stored} does not match recomputed hash ${violation.computed}`,
+			fix: "Re-emit the migration package or restore from version control."
+		};
+		case "providedInvariantsMismatch": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-002",
+			where: packageRelative(violation.spaceId, violation.dirName),
+			why: `Migration "${violation.dirName}" providedInvariants in migration.json disagrees with ops.json.`,
+			fix: "Re-emit the migration package so migration.json and ops.json agree."
+		};
+		case "packageUnloadable": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-002",
+			where: packageRelative(violation.spaceId, violation.dirName),
+			why: `Migration "${violation.dirName}" could not be loaded: ${violation.detail}`,
+			fix: "Re-emit the migration package or restore from version control."
+		};
+		case "sameSourceAndTarget": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-007",
+			where: packageRelative(violation.spaceId, violation.dirName),
+			why: `Migration "${violation.dirName}" in space "${violation.spaceId}" has source equal to target (${violation.hash}) with no data invariant — a true no-op self-edge.`,
+			fix: "Add a data operation if this self-edge was meant to carry a data invariant, or delete the migration if it is a true no-op."
+		};
+		case "orphanSpaceDir": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-008",
+			where: spaceRelative(violation.spaceId),
+			why: `Contract-space directory "${violation.spaceId}" exists on disk but no extension declares it.`,
+			fix: "Remove the orphan directory, or declare the extension in `extensionPacks`."
+		};
+		case "declaredButUnmigrated": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-009",
+			where: spaceRelative(violation.spaceId),
+			why: `Extension "${violation.spaceId}" is declared in \`extensionPacks\` but has no on-disk migrations directory.`,
+			fix: "Re-emit the extension contract-space artefacts with `prisma-next contract emit` and migration planning, or remove the extension from `extensionPacks` if it is unused."
+		};
+		case "headRefMissing": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-010",
+			where: refRelative(violation.spaceId, "head"),
+			why: `Head ref \`refs/head.json\` is missing for contract space "${violation.spaceId}".`,
+			fix: "Re-emit the contract-space migrations and head ref artefacts, or restore `refs/head.json` from version control."
+		};
+		case "headRefNotInGraph": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-011",
+			where: refRelative(violation.spaceId, "head"),
+			why: `Head ref ${violation.hash} for contract space "${violation.spaceId}" is not present in its migration graph.`,
+			fix: "Re-emit the contract space migrations, or restore the missing migration package."
+		};
+		case "refUnreadable": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-012",
+			where: refRelative(violation.spaceId, violation.refName),
+			why: `Ref "${violation.refName}" for contract space "${violation.spaceId}" is unreadable: ${violation.detail}`,
+			fix: "Repair or remove the corrupt ref file."
+		};
+		case "targetMismatch": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-013",
+			where: spaceRelative(violation.spaceId),
+			why: `Contract space "${violation.spaceId}" targets "${violation.actual}" but the project targets "${violation.expected}".`,
+			fix: "Update the extension to target the configured database, or change the project target."
+		};
+		case "disjointness": return {
+			space: "app",
+			code: "PN-MIG-CHECK-014",
+			where: migrationPathRelative$1(migrationsDir),
+			why: `Storage element "${violation.element}" is claimed by multiple contract spaces: ${violation.claimedBy.join(", ")}.`,
+			fix: "Update the contracts so each storage element is owned by exactly one contract space."
+		};
+		case "contractUnreadable": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-015",
+			where: migrationFileRelative$1(join(migrationsDir, violation.spaceId), "contract.json"),
+			why: `Contract for space "${violation.spaceId}" is unreadable: ${violation.detail}`,
+			fix: "Re-emit the extension contract artefacts, or fix the descriptor producing the invalid contract."
+		};
+		case "duplicateMigrationHash": return {
+			space: violation.spaceId,
+			code: "PN-MIG-CHECK-016",
+			where: spaceRelative(violation.spaceId),
+			why: `Multiple migrations in space "${violation.spaceId}" share migrationHash "${violation.migrationHash}" (${violation.dirNames.join(", ")}).`,
+			fix: "Re-emit one of the conflicting packages so each migrationHash is unique."
+		};
+	}
+}
+//#endregion
+//#region src/commands/migration-check.ts
+function migrationPathRelative(dirPath) {
+	return relative(process.cwd(), dirPath);
+}
+function migrationFileRelative(dirPath, fileName) {
+	return join(migrationPathRelative(dirPath), fileName);
+}
+function checkFileExists(spaceId, dirPath, dirName, fileName) {
+	if (!existsSync(join(dirPath, fileName))) return {
+		space: spaceId,
+		code: "PN-MIG-CHECK-002",
+		where: migrationFileRelative(dirPath, fileName),
+		why: `${fileName} is missing from ${dirName}`,
+		fix: "Re-emit the migration package or restore from version control."
+	};
+	return null;
+}
+function checkSnapshotConsistency(spaceId, pkg) {
+	const endContractPath = join(pkg.dirPath, "end-contract.json");
+	if (!existsSync(endContractPath)) return null;
+	try {
+		const snapshotHash = JSON.parse(readFileSync(endContractPath, "utf-8"))["storage"]?.["storageHash"];
+		if (typeof snapshotHash === "string" && snapshotHash !== pkg.metadata.to) return {
+			space: spaceId,
+			code: "PN-MIG-CHECK-005",
+			where: migrationPathRelative(pkg.dirPath),
+			why: `Migration "${pkg.dirName}" declares to=${pkg.metadata.to} but end-contract.json has storageHash=${snapshotHash}`,
+			fix: "Re-emit the migration package so migration.json and end-contract.json agree."
+		};
+	} catch {
+		return {
+			space: spaceId,
+			code: "PN-MIG-CHECK-006",
+			where: migrationPathRelative(pkg.dirPath),
+			why: `Migration "${pkg.dirName}" has an unparseable end-contract.json.`,
+			fix: "Re-emit the migration package to repair the snapshot file."
+		};
+	}
+	return null;
+}
+/**
+* Project the loaded {@link ContractSpaceAggregate} into the
+* {@link CheckSpace} rows the multi-space check iterates — one per on-disk
+* contract-space directory, in the aggregate's `app`-first ordering. Mirrors
+* `migration list`'s `migrationSpaceListEntriesFromAggregate`: space
+* membership matches the on-disk directories, package / ref / graph data come
+* from `aggregate.space(id)`.
+*/
+async function enumerateCheckSpaces(aggregate, projectMigrationsDir) {
+	const candidateDirs = await listContractSpaceDirectories(projectMigrationsDir);
+	const onDiskSpaceIds = new Set(candidateDirs.filter((name) => !RESERVED_SPACE_SUBDIR_NAMES.has(name)).filter(isValidSpaceId));
+	const spaces = [];
+	for (const member of aggregate.spaces()) {
+		const spaceId = member.spaceId;
+		if (!isValidSpaceId(spaceId)) continue;
+		if (!onDiskSpaceIds.has(spaceId)) continue;
+		const migrationsDir = spaceMigrationDirectory(projectMigrationsDir, spaceId);
+		spaces.push({
+			spaceId,
+			packages: member.packages,
+			refs: member.refs,
+			graph: member.graph(),
+			migrationsDir,
+			refsDir: spaceRefsDirectory(migrationsDir)
+		});
+	}
+	return spaces;
+}
+function checkManifestFilesPresent(space) {
+	if (!existsSync(space.migrationsDir)) return [];
+	const loadedDirNames = new Set(space.packages.map((p) => p.dirName));
+	const failures = [];
+	let entries;
+	try {
+		entries = readdirSync(space.migrationsDir);
+	} catch {
+		return failures;
+	}
+	for (const entry of entries) {
+		if (entry.startsWith(".") || entry.startsWith("_") || entry === "refs") continue;
+		const entryPath = join(space.migrationsDir, entry);
+		try {
+			if (!statSync(entryPath).isDirectory()) continue;
+		} catch {
+			continue;
+		}
+		if (!loadedDirNames.has(entry)) for (const f of ["migration.json", "ops.json"]) {
+			const fail = checkFileExists(space.spaceId, entryPath, entry, f);
+			if (fail) failures.push(fail);
+		}
+	}
+	return failures;
+}
+function checkReachability(space) {
+	const allToHashes = new Set(space.packages.map((p) => p.metadata.to));
+	const failures = [];
+	for (const pkg of space.packages) if (!(pkg.metadata.from === null || allToHashes.has(pkg.metadata.from) || pkg.metadata.from === "sha256:empty")) failures.push({
+		space: space.spaceId,
+		code: "PN-MIG-CHECK-003",
+		where: migrationPathRelative(pkg.dirPath),
+		why: `Migration "${pkg.dirName}" starts from ${pkg.metadata.from} which no other migration produces`,
+		fix: "This migration is unreachable in the graph. Delete it or re-emit a connecting migration."
+	});
+	return failures;
+}
+function checkDanglingRefs(space) {
+	const failures = [];
+	for (const [name, entry] of Object.entries(space.refs)) if (!space.graph.nodes.has(entry.hash)) failures.push({
+		space: space.spaceId,
+		code: "PN-MIG-CHECK-004",
+		where: relative(process.cwd(), join(space.refsDir, `${name}.json`)),
+		why: `Ref "${name}" points at ${entry.hash} which does not exist in the migration graph`,
+		fix: `Update the ref with \`prisma-next ref set ${name} <valid-hash>\` or delete it.`
+	});
+	return failures;
+}
+function checkSpace(space) {
+	return [
+		...checkManifestFilesPresent(space),
+		...space.packages.map((pkg) => checkSnapshotConsistency(space.spaceId, pkg)).filter((f) => f !== null),
+		...checkReachability(space),
+		...checkDanglingRefs(space)
+	];
+}
+/**
+* Policy core of the holistic `migration check`: validates `--space`,
+* narrows the pre-enumerated spaces, and runs the per-space explicit graph
+* checks (file-existence, snapshot consistency, reachability, dangling
+* refs), aggregating every failure into one {@link MigrationCheckResult}.
+*
+* `--space` validation mirrors `migration list`: an invalid id →
+* {@link errorInvalidSpaceId}; an id with no on-disk space →
+* {@link errorSpaceNotFound}. Both map to exit `PRECONDITION` at the shell.
+* Aggregate-integrity violations (which already span every space) are folded
+* in by the caller, not here.
+*/
+function runMigrationCheck(inputs) {
+	const { spaces, spaceFilter } = inputs;
+	if (spaceFilter !== void 0 && !isValidSpaceId(spaceFilter)) return notOk(errorInvalidSpaceId(spaceFilter));
+	if (spaceFilter !== void 0 && !spaces.some((s) => s.spaceId === spaceFilter)) return notOk(errorSpaceNotFound(spaceFilter, spaces.map((s) => s.spaceId).sort()));
+	const failures = (spaceFilter !== void 0 ? spaces.filter((s) => s.spaceId === spaceFilter) : spaces).flatMap(checkSpace);
+	if (failures.length === 0) return ok({
+		ok: true,
+		failures: [],
+		summary: "All checks passed"
+	});
+	return ok({
+		ok: false,
+		failures,
+		summary: `${failures.length} integrity failure(s)`
+	});
+}
+async function loadAggregateIntegrityViolations(config, migrationsDir) {
+	try {
+		const contractJsonContent = await readFile(resolveContractPath(config), "utf-8");
+		const familyInstance = config.family.create(createControlStack(config));
+		const declaredExtensions = toDeclaredExtensionsFromRaw(config.extensionPacks ?? []);
+		const parsedAppContract = JSON.parse(contractJsonContent);
+		return (await loadContractSpaceAggregate({
+			migrationsDir,
+			deserializeContract: (json) => familyInstance.deserializeContract(json),
+			appContract: familyInstance.deserializeContract(parsedAppContract)
+		})).checkIntegrity({
+			declaredExtensions,
+			checkContracts: true
+		});
+	} catch {
+		return [];
+	}
+}
+async function executeMigrationCheckCommand(target, options, flags, ui) {
+	const config = await loadConfig(options.config);
+	const { configPath, migrationsDir, appMigrationsDir, appMigrationsRelative } = resolveMigrationPaths(options.config, config);
+	if (!flags.json && !flags.quiet) {
+		const details = [{
+			label: "config",
+			value: configPath
+		}, {
+			label: "migrations",
+			value: appMigrationsRelative
+		}];
+		if (target) details.push({
+			label: "target",
+			value: target
+		});
+		const header = formatStyledHeader({
+			command: "migration check",
+			description: "Verify artifact and graph integrity",
+			details,
+			flags
+		});
+		ui.stderr(header);
+	}
+	const loadedAggregate = await buildReadAggregate(config, { migrationsDir });
+	if (!loadedAggregate.ok) return {
+		error: loadedAggregate.failure,
+		exitCode: 2
+	};
+	const spaces = await enumerateCheckSpaces(loadedAggregate.value.aggregate, migrationsDir);
+	if (target) return await checkSingleTarget(target, {
+		spaces,
+		...options.space !== void 0 ? { spaceFilter: options.space } : {},
+		appMigrationsDir,
+		appMigrationsRelative
+	});
+	const checkResult = runMigrationCheck({
+		spaces,
+		...options.space !== void 0 ? { spaceFilter: options.space } : {}
+	});
+	if (!checkResult.ok) return {
+		error: checkResult.failure,
+		exitCode: 2
+	};
+	const failures = [...checkResult.value.failures];
+	const allViolations = await loadAggregateIntegrityViolations(config, migrationsDir);
+	const scopedViolations = options.space === void 0 ? allViolations : allViolations.filter((v) => v.kind !== "disjointness" && v.spaceId === options.space);
+	for (const violation of scopedViolations) failures.push(integrityViolationToCheckFailure(violation, migrationsDir));
+	if (failures.length === 0) return {
+		result: {
+			ok: true,
+			failures: [],
+			summary: "All checks passed"
+		},
+		exitCode: 0
+	};
+	return {
+		result: {
+			ok: false,
+			failures,
+			summary: `${failures.length} integrity failure(s)`
+		},
+		exitCode: 4
+	};
+}
+/**
+* Ranks ref-resolution failure kinds by how informative they are, so a
+* single-target check surfaces the most useful failure across spaces instead of
+* whichever space failed first. `not-found` (the input matched nothing here)
+* says the least; a malformed input, a wrong grammar, or an in-space ambiguity
+* all say more.
+*/
+function refFailureSpecificity(error) {
+	switch (error.kind) {
+		case "wrong-grammar": return 3;
+		case "ambiguous": return 2;
+		case "invalid-format": return 1;
+		case "not-found": return 0;
+	}
+}
+/**
+* Single-target (`check <ref/path>`) mode — resolves a migration reference
+* across all contract spaces (or the one space narrowed by `--space <id>`).
+*
+* Resolution:
+*   - filesystem path → find the owning space by checking which space's
+*     `migrationsDir` contains the resolved path; falls back to app-relative
+*     validation when the path is outside every space dir.
+*   - ref → `parseMigrationRef` against each in-scope space; collect every
+*     (space, package) hit; 0 hits = not-found, 1 = check it, >1 = ambiguity
+*     error (qualify with `--space`).
+*
+* `--space <id>` is validated the same way the holistic path does it:
+* invalid id → `errorInvalidSpaceId`; no on-disk space → `errorSpaceNotFound`.
+*/
+async function checkSingleTarget(target, inputs) {
+	const { spaces, spaceFilter, appMigrationsDir, appMigrationsRelative } = inputs;
+	if (spaceFilter !== void 0 && !isValidSpaceId(spaceFilter)) return {
+		error: errorInvalidSpaceId(spaceFilter),
+		exitCode: 2
+	};
+	if (spaceFilter !== void 0 && !spaces.some((s) => s.spaceId === spaceFilter)) return {
+		error: errorSpaceNotFound(spaceFilter, spaces.map((s) => s.spaceId).sort()),
+		exitCode: 2
+	};
+	const scopedSpaces = spaceFilter !== void 0 ? spaces.filter((s) => s.spaceId === spaceFilter) : spaces;
+	let matchedSpace;
+	let matchedPkg;
+	if (looksLikePath(target)) {
+		const resolvedPath = resolveTargetPathAcrossSpaces(target, scopedSpaces);
+		if (resolvedPath !== null) for (const space of scopedSpaces) {
+			const found = findPackageByDirPath(space.packages, resolvedPath);
+			if (found) {
+				matchedSpace = space;
+				matchedPkg = found;
+				break;
+			}
+		}
+		else {
+			const resolved = resolveAppTargetPath(target, appMigrationsDir, appMigrationsRelative);
+			if (!resolved.ok) return {
+				error: resolved.failure,
+				exitCode: 2
+			};
+			const appSpace = scopedSpaces.find((s) => s.spaceId === "app");
+			if (appSpace) {
+				matchedSpace = appSpace;
+				matchedPkg = findPackageByDirPath(appSpace.packages, resolved.value);
+			}
+		}
+	} else {
+		const hits = [];
+		let bestParseFailure;
+		for (const space of scopedSpaces) {
+			const migResult = parseMigrationRef(target, {
+				graph: space.graph,
+				refs: space.refs
+			});
+			if (!migResult.ok) {
+				if (bestParseFailure === void 0 || refFailureSpecificity(migResult.failure) > refFailureSpecificity(bestParseFailure)) bestParseFailure = migResult.failure;
+				continue;
+			}
+			const pkg = space.packages.find((p) => p.metadata.migrationHash === migResult.value.migrationHash);
+			if (pkg) hits.push({
+				space,
+				pkg
+			});
+		}
+		if (hits.length > 1) return {
+			error: errorAmbiguousMigrationRef(target, hits.map((h) => h.space.spaceId)),
+			exitCode: 2
+		};
+		if (hits.length === 1) {
+			matchedSpace = hits[0].space;
+			matchedPkg = hits[0].pkg;
+		} else if (bestParseFailure !== void 0) return {
+			error: mapRefResolutionError(bestParseFailure),
+			exitCode: 2
+		};
+	}
+	if (!matchedPkg || !matchedSpace) return {
+		result: {
+			ok: false,
+			failures: [],
+			summary: `Migration package for "${target}" not found on disk`
+		},
+		exitCode: 2
+	};
+	const failures = [...checkManifestFilesPresent(matchedSpace)];
+	for (const f of ["migration.json", "ops.json"]) {
+		const fail = checkFileExists(matchedSpace.spaceId, matchedPkg.dirPath, matchedPkg.dirName, f);
+		if (fail) failures.push(fail);
+	}
+	const verification = verifyMigrationHash(matchedPkg);
+	if (!verification.ok) failures.push({
+		space: matchedSpace.spaceId,
+		code: "PN-MIG-CHECK-001",
+		where: migrationFileRelative(matchedPkg.dirPath, "migration.json"),
+		why: `Stored hash ${verification.storedHash} does not match recomputed hash ${verification.computedHash}`,
+		fix: "Re-emit the migration package or restore from version control."
+	});
+	const snapshotFailure = checkSnapshotConsistency(matchedSpace.spaceId, matchedPkg);
+	if (snapshotFailure) failures.push(snapshotFailure);
+	const resolvedSpaceId = matchedSpace.spaceId !== "app" ? matchedSpace.spaceId : void 0;
+	if (failures.length === 0) return {
+		result: {
+			ok: true,
+			failures: [],
+			summary: "All checks passed"
+		},
+		exitCode: 0,
+		...ifDefined("resolvedSpaceId", resolvedSpaceId)
+	};
+	return {
+		result: {
+			ok: false,
+			failures,
+			summary: `${failures.length} integrity failure(s)`
+		},
+		exitCode: 4,
+		...ifDefined("resolvedSpaceId", resolvedSpaceId)
+	};
+}
+function createMigrationCheckCommand() {
+	const command = new Command("check");
+	setCommandDescriptions(command, "Verify artifact and graph integrity", "Validates that on-disk migration packages are internally consistent\n(hashes match, manifests are complete) and that the graph is well-formed\n(edges connect, refs point at valid nodes). The whole-graph check spans\nevery contract space by default; pass --space <id> to narrow to one. A\nmigration reference checks a single package, resolved across all contract\nspaces (narrow with --space; an ambiguous reference is a precondition failure).\nOffline — does not consult the database.\nExit codes: 0 = all checks passed, 2 = precondition failed\n(unresolved target or unknown --space), 4 = integrity failure(s) found.");
+	setCommandExamples(command, [
+		"prisma-next migration check",
+		"prisma-next migration check --space app",
+		"prisma-next migration check 20260101-add-users",
+		"prisma-next migration check 20260101-add-users --space app",
+		"prisma-next migration check --json"
+	]);
+	setCommandSeeAlso(command, [
+		{
+			verb: "migration status",
+			oneLiner: "Show migration path and pending status"
+		},
+		{
+			verb: "migration list",
+			oneLiner: "List on-disk migrations"
+		},
+		{
+			verb: "migration graph",
+			oneLiner: "Show the migration graph topology"
+		},
+		{
+			verb: "migration show",
+			oneLiner: "Display migration package contents"
+		}
+	]);
+	command.exitOverride();
+	addGlobalOptions(command).argument("[target]", "Migration reference: directory name, hash/prefix, ref, or path").option("--config <path>", "Path to prisma-next.config.ts").option("--space <id>", "Narrow output to a single contract space").action(async (target, options) => {
+		const flags = parseGlobalFlagsOrExit(options);
+		const ui = createTerminalUI(flags);
+		let outcome;
+		try {
+			outcome = await executeMigrationCheckCommand(target, options, flags, ui);
+		} catch (error) {
+			outcome = {
+				result: {
+					ok: false,
+					failures: [],
+					summary: error instanceof Error ? error.message : String(error)
+				},
+				exitCode: 2
+			};
+		}
+		if (outcome.error) {
+			const envelope = outcome.error.toEnvelope();
+			if (flags.json) ui.output(formatErrorJson(envelope));
+			else if (!flags.quiet) ui.error(formatErrorOutput(envelope, flags));
+			process.exit(outcome.exitCode);
+		}
+		const result = outcome.result ?? {
+			ok: false,
+			failures: [],
+			summary: "No check result produced"
+		};
+		if (flags.json) ui.output(JSON.stringify(result, null, 2));
+		else if (!flags.quiet) if (result.ok) {
+			const spaceSuffix = outcome.resolvedSpaceId !== void 0 ? `  (space: ${outcome.resolvedSpaceId})` : "";
+			ui.log(`✔ ${result.summary}${spaceSuffix}`);
+		} else {
+			for (const f of result.failures) {
+				ui.log(`✗ [${f.code}] ${f.where}: ${f.why}`);
+				ui.log(`  fix: ${f.fix}`);
+			}
+			ui.log(`\n${result.summary}`);
+		}
+		process.exit(outcome.exitCode);
+	});
+	return command;
+}
+//#endregion
+export { enumerateCheckSpaces as n, runMigrationCheck as r, createMigrationCheckCommand as t };
+
+//# sourceMappingURL=migration-check-BxWlQBOs.mjs.map

package/dist/migration-check-BxWlQBOs.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration-check-BxWlQBOs.mjs","names":["migrationPathRelative","migrationFileRelative"],"sources":["../src/utils/integrity-violation-to-check-failure.ts","../src/commands/migration-check.ts"],"sourcesContent":["import type { IntegrityViolation } from '@prisma-next/migration-tools/aggregate';\nimport { join, relative } from 'pathe';\nimport type { CheckFailure } from '../commands/json/schemas';\n\nexport type { CheckFailure } from '../commands/json/schemas';\n\nfunction migrationPathRelative(dirPath: string): string {\n  return relative(process.cwd(), dirPath);\n}\n\nfunction migrationFileRelative(dirPath: string, fileName: string): string {\n  return join(migrationPathRelative(dirPath), fileName);\n}\n\n/**\n * Map one {@link IntegrityViolation} onto a `migration check` failure row.\n * Sole catalogue mapping from integrity violations to `PN-MIG-CHECK-*`.\n */\nexport function integrityViolationToCheckFailure(\n  violation: IntegrityViolation,\n  migrationsDir: string,\n): CheckFailure {\n  const spaceRelative = (spaceId: string): string =>\n    migrationPathRelative(join(migrationsDir, spaceId));\n  const packageRelative = (spaceId: string, dirName: string): string =>\n    migrationPathRelative(join(migrationsDir, spaceId, dirName));\n  const refRelative = (spaceId: string, refName: string): string =>\n    migrationPathRelative(join(migrationsDir, spaceId, 'refs', `${refName}.json`));\n\n  switch (violation.kind) {\n    case 'hashMismatch':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-001',\n        where: migrationFileRelative(\n          join(migrationsDir, violation.spaceId, violation.dirName),\n          'migration.json',\n        ),\n        why: `Stored hash ${violation.stored} does not match recomputed hash ${violation.computed}`,\n        fix: 'Re-emit the migration package or restore from version control.',\n      };\n    case 'providedInvariantsMismatch':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-002',\n        where: packageRelative(violation.spaceId, violation.dirName),\n        why: `Migration \"${violation.dirName}\" providedInvariants in migration.json disagrees with ops.json.`,\n        fix: 'Re-emit the migration package so migration.json and ops.json agree.',\n      };\n    case 'packageUnloadable':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-002',\n        where: packageRelative(violation.spaceId, violation.dirName),\n        why: `Migration \"${violation.dirName}\" could not be loaded: ${violation.detail}`,\n        fix: 'Re-emit the migration package or restore from version control.',\n      };\n    case 'sameSourceAndTarget':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-007',\n        where: packageRelative(violation.spaceId, violation.dirName),\n        why: `Migration \"${violation.dirName}\" in space \"${violation.spaceId}\" has source equal to target (${violation.hash}) with no data invariant — a true no-op self-edge.`,\n        fix: 'Add a data operation if this self-edge was meant to carry a data invariant, or delete the migration if it is a true no-op.',\n      };\n    case 'orphanSpaceDir':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-008',\n        where: spaceRelative(violation.spaceId),\n        why: `Contract-space directory \"${violation.spaceId}\" exists on disk but no extension declares it.`,\n        fix: 'Remove the orphan directory, or declare the extension in `extensionPacks`.',\n      };\n    case 'declaredButUnmigrated':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-009',\n        where: spaceRelative(violation.spaceId),\n        why: `Extension \"${violation.spaceId}\" is declared in \\`extensionPacks\\` but has no on-disk migrations directory.`,\n        fix: 'Re-emit the extension contract-space artefacts with `prisma-next contract emit` and migration planning, or remove the extension from `extensionPacks` if it is unused.',\n      };\n    case 'headRefMissing':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-010',\n        where: refRelative(violation.spaceId, 'head'),\n        why: `Head ref \\`refs/head.json\\` is missing for contract space \"${violation.spaceId}\".`,\n        fix: 'Re-emit the contract-space migrations and head ref artefacts, or restore `refs/head.json` from version control.',\n      };\n    case 'headRefNotInGraph':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-011',\n        where: refRelative(violation.spaceId, 'head'),\n        why: `Head ref ${violation.hash} for contract space \"${violation.spaceId}\" is not present in its migration graph.`,\n        fix: 'Re-emit the contract space migrations, or restore the missing migration package.',\n      };\n    case 'refUnreadable':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-012',\n        where: refRelative(violation.spaceId, violation.refName),\n        why: `Ref \"${violation.refName}\" for contract space \"${violation.spaceId}\" is unreadable: ${violation.detail}`,\n        fix: 'Repair or remove the corrupt ref file.',\n      };\n    case 'targetMismatch':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-013',\n        where: spaceRelative(violation.spaceId),\n        why: `Contract space \"${violation.spaceId}\" targets \"${violation.actual}\" but the project targets \"${violation.expected}\".`,\n        fix: 'Update the extension to target the configured database, or change the project target.',\n      };\n    case 'disjointness':\n      return {\n        space: 'app',\n        code: 'PN-MIG-CHECK-014',\n        where: migrationPathRelative(migrationsDir),\n        why: `Storage element \"${violation.element}\" is claimed by multiple contract spaces: ${violation.claimedBy.join(', ')}.`,\n        fix: 'Update the contracts so each storage element is owned by exactly one contract space.',\n      };\n    case 'contractUnreadable':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-015',\n        where: migrationFileRelative(join(migrationsDir, violation.spaceId), 'contract.json'),\n        why: `Contract for space \"${violation.spaceId}\" is unreadable: ${violation.detail}`,\n        fix: 'Re-emit the extension contract artefacts, or fix the descriptor producing the invalid contract.',\n      };\n    case 'duplicateMigrationHash':\n      return {\n        space: violation.spaceId,\n        code: 'PN-MIG-CHECK-016',\n        where: spaceRelative(violation.spaceId),\n        why: `Multiple migrations in space \"${violation.spaceId}\" share migrationHash \"${violation.migrationHash}\" (${violation.dirNames.join(', ')}).`,\n        fix: 'Re-emit one of the conflicting packages so each migrationHash is unique.',\n      };\n  }\n}\n","import { existsSync, readdirSync, readFileSync, statSync } from 'node:fs';\nimport { readFile } from 'node:fs/promises';\nimport { createControlStack } from '@prisma-next/framework-components/control';\nimport type {\n  ContractSpaceAggregate,\n  IntegrityViolation,\n} from '@prisma-next/migration-tools/aggregate';\nimport { loadContractSpaceAggregate } from '@prisma-next/migration-tools/aggregate';\nimport type { MigrationGraph } from '@prisma-next/migration-tools/graph';\nimport { verifyMigrationHash } from '@prisma-next/migration-tools/hash';\nimport type { OnDiskMigrationPackage } from '@prisma-next/migration-tools/package';\nimport {\n  parseMigrationRef,\n  type RefResolutionError,\n} from '@prisma-next/migration-tools/ref-resolution';\nimport type { Refs } from '@prisma-next/migration-tools/refs';\nimport {\n  isValidSpaceId,\n  listContractSpaceDirectories,\n  RESERVED_SPACE_SUBDIR_NAMES,\n  spaceMigrationDirectory,\n  spaceRefsDirectory,\n} from '@prisma-next/migration-tools/spaces';\nimport { ifDefined } from '@prisma-next/utils/defined';\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 CliStructuredError,\n  errorAmbiguousMigrationRef,\n  errorInvalidSpaceId,\n  errorSpaceNotFound,\n  mapRefResolutionError,\n} from '../utils/cli-errors';\nimport {\n  addGlobalOptions,\n  resolveContractPath,\n  resolveMigrationPaths,\n  setCommandDescriptions,\n  setCommandExamples,\n  setCommandSeeAlso,\n} from '../utils/command-helpers';\nimport { buildReadAggregate } from '../utils/contract-space-aggregate-loader';\nimport { toDeclaredExtensionsFromRaw } from '../utils/extension-pack-inputs';\nimport { formatErrorJson, formatErrorOutput } from '../utils/formatters/errors';\nimport { formatStyledHeader } from '../utils/formatters/styled';\nimport type { CommonCommandOptions } from '../utils/global-flags';\nimport { type GlobalFlags, parseGlobalFlagsOrExit } from '../utils/global-flags';\nimport { integrityViolationToCheckFailure } from '../utils/integrity-violation-to-check-failure';\nimport {\n  findPackageByDirPath,\n  looksLikePath,\n  resolveAppTargetPath,\n  resolveTargetPathAcrossSpaces,\n} from '../utils/migration-path-target';\nimport { createTerminalUI, type TerminalUI } from '../utils/terminal-ui';\nimport type { CheckFailure, MigrationCheckResult } from './json/schemas';\nimport { INTEGRITY_FAILED, OK, PRECONDITION } from './migration-check/exit-codes';\n\ninterface MigrationCheckOptions extends CommonCommandOptions {\n  readonly config?: string;\n  readonly space?: string;\n}\n\nexport type { CheckFailure, MigrationCheckResult } from './json/schemas';\nexport { migrationCheckResultSchema } from './json/schemas';\n\nfunction migrationPathRelative(dirPath: string): string {\n  return relative(process.cwd(), dirPath);\n}\n\nfunction migrationFileRelative(dirPath: string, fileName: string): string {\n  return join(migrationPathRelative(dirPath), fileName);\n}\n\nfunction checkFileExists(\n  spaceId: string,\n  dirPath: string,\n  dirName: string,\n  fileName: string,\n): CheckFailure | null {\n  if (!existsSync(join(dirPath, fileName))) {\n    return {\n      space: spaceId,\n      code: 'PN-MIG-CHECK-002',\n      where: migrationFileRelative(dirPath, fileName),\n      why: `${fileName} is missing from ${dirName}`,\n      fix: 'Re-emit the migration package or restore from version control.',\n    };\n  }\n  return null;\n}\n\nfunction checkSnapshotConsistency(\n  spaceId: string,\n  pkg: OnDiskMigrationPackage,\n): CheckFailure | null {\n  const endContractPath = join(pkg.dirPath, 'end-contract.json');\n  if (!existsSync(endContractPath)) return null;\n  try {\n    const raw = JSON.parse(readFileSync(endContractPath, 'utf-8')) as Record<string, unknown>;\n    const storage = raw['storage'] as Record<string, unknown> | undefined;\n    const snapshotHash = storage?.['storageHash'];\n    if (typeof snapshotHash === 'string' && snapshotHash !== pkg.metadata.to) {\n      return {\n        space: spaceId,\n        code: 'PN-MIG-CHECK-005',\n        where: migrationPathRelative(pkg.dirPath),\n        why: `Migration \"${pkg.dirName}\" declares to=${pkg.metadata.to} but end-contract.json has storageHash=${snapshotHash}`,\n        fix: 'Re-emit the migration package so migration.json and end-contract.json agree.',\n      };\n    }\n  } catch {\n    return {\n      space: spaceId,\n      code: 'PN-MIG-CHECK-006',\n      where: migrationPathRelative(pkg.dirPath),\n      why: `Migration \"${pkg.dirName}\" has an unparseable end-contract.json.`,\n      fix: 'Re-emit the migration package to repair the snapshot file.',\n    };\n  }\n  return null;\n}\n\n/**\n * One contract space's on-disk state, resolved for the explicit graph\n * checks `runMigrationCheck` runs per space: the space's migration\n * packages, its user-authored refs, its induced graph, and the absolute\n * `migrations/<space>/` + `migrations/<space>/refs/` directories the\n * file-existence and dangling-ref `where` paths are derived from.\n */\nexport interface CheckSpace {\n  readonly spaceId: string;\n  readonly packages: readonly OnDiskMigrationPackage[];\n  readonly refs: Refs;\n  readonly graph: MigrationGraph;\n  readonly migrationsDir: string;\n  readonly refsDir: string;\n}\n\n/**\n * Project the loaded {@link ContractSpaceAggregate} into the\n * {@link CheckSpace} rows the multi-space check iterates — one per on-disk\n * contract-space directory, in the aggregate's `app`-first ordering. Mirrors\n * `migration list`'s `migrationSpaceListEntriesFromAggregate`: space\n * membership matches the on-disk directories, package / ref / graph data come\n * from `aggregate.space(id)`.\n */\nexport async function enumerateCheckSpaces(\n  aggregate: ContractSpaceAggregate,\n  projectMigrationsDir: string,\n): Promise<readonly CheckSpace[]> {\n  const candidateDirs = await listContractSpaceDirectories(projectMigrationsDir);\n  const onDiskSpaceIds = new Set(\n    candidateDirs.filter((name) => !RESERVED_SPACE_SUBDIR_NAMES.has(name)).filter(isValidSpaceId),\n  );\n  const spaces: CheckSpace[] = [];\n  for (const member of aggregate.spaces()) {\n    const spaceId = member.spaceId;\n    if (!isValidSpaceId(spaceId)) continue;\n    if (!onDiskSpaceIds.has(spaceId)) continue;\n    const migrationsDir = spaceMigrationDirectory(projectMigrationsDir, spaceId);\n    spaces.push({\n      spaceId,\n      packages: member.packages,\n      refs: member.refs,\n      graph: member.graph(),\n      migrationsDir,\n      refsDir: spaceRefsDirectory(migrationsDir),\n    });\n  }\n  return spaces;\n}\n\nfunction checkManifestFilesPresent(space: CheckSpace): readonly CheckFailure[] {\n  if (!existsSync(space.migrationsDir)) return [];\n  const loadedDirNames = new Set(space.packages.map((p) => p.dirName));\n  const failures: CheckFailure[] = [];\n  let entries: string[];\n  try {\n    entries = readdirSync(space.migrationsDir);\n  } catch {\n    return failures;\n  }\n  for (const entry of entries) {\n    if (entry.startsWith('.') || entry.startsWith('_') || entry === 'refs') continue;\n    const entryPath = join(space.migrationsDir, entry);\n    try {\n      if (!statSync(entryPath).isDirectory()) continue;\n    } catch {\n      continue;\n    }\n    if (!loadedDirNames.has(entry)) {\n      for (const f of ['migration.json', 'ops.json']) {\n        const fail = checkFileExists(space.spaceId, entryPath, entry, f);\n        if (fail) failures.push(fail);\n      }\n    }\n  }\n  return failures;\n}\n\nfunction checkReachability(space: CheckSpace): readonly CheckFailure[] {\n  const allToHashes = new Set(space.packages.map((p) => p.metadata.to));\n  const failures: CheckFailure[] = [];\n  for (const pkg of space.packages) {\n    const isReachable =\n      pkg.metadata.from === null ||\n      allToHashes.has(pkg.metadata.from) ||\n      pkg.metadata.from === 'sha256:empty';\n    if (!isReachable) {\n      failures.push({\n        space: space.spaceId,\n        code: 'PN-MIG-CHECK-003',\n        where: migrationPathRelative(pkg.dirPath),\n        why: `Migration \"${pkg.dirName}\" starts from ${pkg.metadata.from} which no other migration produces`,\n        fix: 'This migration is unreachable in the graph. Delete it or re-emit a connecting migration.',\n      });\n    }\n  }\n  return failures;\n}\n\nfunction checkDanglingRefs(space: CheckSpace): readonly CheckFailure[] {\n  const failures: CheckFailure[] = [];\n  for (const [name, entry] of Object.entries(space.refs)) {\n    if (!space.graph.nodes.has(entry.hash)) {\n      failures.push({\n        space: space.spaceId,\n        code: 'PN-MIG-CHECK-004',\n        where: relative(process.cwd(), join(space.refsDir, `${name}.json`)),\n        why: `Ref \"${name}\" points at ${entry.hash} which does not exist in the migration graph`,\n        fix: `Update the ref with \\`prisma-next ref set ${name} <valid-hash>\\` or delete it.`,\n      });\n    }\n  }\n  return failures;\n}\n\nfunction checkSpace(space: CheckSpace): readonly CheckFailure[] {\n  return [\n    ...checkManifestFilesPresent(space),\n    ...space.packages\n      .map((pkg) => checkSnapshotConsistency(space.spaceId, pkg))\n      .filter((f): f is CheckFailure => f !== null),\n    ...checkReachability(space),\n    ...checkDanglingRefs(space),\n  ];\n}\n\n/**\n * Inputs for {@link runMigrationCheck} — the multi-space policy core of\n * the holistic (no-arg) `migration check`. Enumeration is supplied by the\n * caller (the CLI shell builds it from {@link enumerateCheckSpaces}); the\n * core does not touch config, flags, or streams.\n */\nexport interface RunMigrationCheckInputs {\n  readonly spaces: readonly CheckSpace[];\n  readonly spaceFilter?: string;\n}\n\n/**\n * Policy core of the holistic `migration check`: validates `--space`,\n * narrows the pre-enumerated spaces, and runs the per-space explicit graph\n * checks (file-existence, snapshot consistency, reachability, dangling\n * refs), aggregating every failure into one {@link MigrationCheckResult}.\n *\n * `--space` validation mirrors `migration list`: an invalid id →\n * {@link errorInvalidSpaceId}; an id with no on-disk space →\n * {@link errorSpaceNotFound}. Both map to exit `PRECONDITION` at the shell.\n * Aggregate-integrity violations (which already span every space) are folded\n * in by the caller, not here.\n */\nexport function runMigrationCheck(\n  inputs: RunMigrationCheckInputs,\n): Result<MigrationCheckResult, CliStructuredError> {\n  const { spaces, spaceFilter } = inputs;\n\n  if (spaceFilter !== undefined && !isValidSpaceId(spaceFilter)) {\n    return notOk(errorInvalidSpaceId(spaceFilter));\n  }\n  if (spaceFilter !== undefined && !spaces.some((s) => s.spaceId === spaceFilter)) {\n    return notOk(errorSpaceNotFound(spaceFilter, spaces.map((s) => s.spaceId).sort()));\n  }\n\n  const scopedSpaces =\n    spaceFilter !== undefined ? spaces.filter((s) => s.spaceId === spaceFilter) : spaces;\n\n  const failures = scopedSpaces.flatMap(checkSpace);\n  if (failures.length === 0) {\n    return ok({ ok: true, failures: [], summary: 'All checks passed' });\n  }\n  return ok({ ok: false, failures, summary: `${failures.length} integrity failure(s)` });\n}\n\nasync function loadAggregateIntegrityViolations(\n  config: Awaited<ReturnType<typeof loadConfig>>,\n  migrationsDir: string,\n): Promise<readonly IntegrityViolation[]> {\n  try {\n    const contractJsonContent = await readFile(resolveContractPath(config), 'utf-8');\n    const familyInstance = config.family.create(createControlStack(config));\n    const declaredExtensions = toDeclaredExtensionsFromRaw(config.extensionPacks ?? []);\n\n    const parsedAppContract: unknown = JSON.parse(contractJsonContent);\n    const aggregate = await loadContractSpaceAggregate({\n      migrationsDir,\n      deserializeContract: (json: unknown) => familyInstance.deserializeContract(json),\n      appContract: familyInstance.deserializeContract(parsedAppContract),\n    });\n    return aggregate.checkIntegrity({ declaredExtensions, checkContracts: true });\n  } catch {\n    return [];\n  }\n}\n\ninterface MigrationCheckOutcome {\n  readonly result?: MigrationCheckResult;\n  readonly error?: CliStructuredError;\n  readonly exitCode: number;\n  readonly resolvedSpaceId?: string;\n}\n\nasync function executeMigrationCheckCommand(\n  target: string | undefined,\n  options: MigrationCheckOptions,\n  flags: GlobalFlags,\n  ui: TerminalUI,\n): Promise<MigrationCheckOutcome> {\n  const config = await loadConfig(options.config);\n  const { configPath, migrationsDir, appMigrationsDir, appMigrationsRelative } =\n    resolveMigrationPaths(options.config, config);\n\n  if (!flags.json && !flags.quiet) {\n    const details: Array<{ label: string; value: string }> = [\n      { label: 'config', value: configPath },\n      { label: 'migrations', value: appMigrationsRelative },\n    ];\n    if (target) {\n      details.push({ label: 'target', value: target });\n    }\n    const header = formatStyledHeader({\n      command: 'migration check',\n      description: 'Verify artifact and graph integrity',\n      details,\n      flags,\n    });\n    ui.stderr(header);\n  }\n\n  const loadedAggregate = await buildReadAggregate(config, { migrationsDir });\n  if (!loadedAggregate.ok) {\n    return { error: loadedAggregate.failure, exitCode: PRECONDITION };\n  }\n\n  const spaces = await enumerateCheckSpaces(loadedAggregate.value.aggregate, migrationsDir);\n\n  if (target) {\n    return await checkSingleTarget(target, {\n      spaces,\n      ...(options.space !== undefined ? { spaceFilter: options.space } : {}),\n      appMigrationsDir,\n      appMigrationsRelative,\n    });\n  }\n\n  const checkResult = runMigrationCheck({\n    spaces,\n    ...(options.space !== undefined ? { spaceFilter: options.space } : {}),\n  });\n  if (!checkResult.ok) {\n    return { error: checkResult.failure, exitCode: PRECONDITION };\n  }\n\n  const failures: CheckFailure[] = [...checkResult.value.failures];\n  const allViolations = await loadAggregateIntegrityViolations(config, migrationsDir);\n  const scopedViolations =\n    options.space === undefined\n      ? allViolations\n      : allViolations.filter((v) => v.kind !== 'disjointness' && v.spaceId === options.space);\n  for (const violation of scopedViolations) {\n    failures.push(integrityViolationToCheckFailure(violation, migrationsDir));\n  }\n\n  if (failures.length === 0) {\n    return {\n      result: { ok: true, failures: [], summary: 'All checks passed' },\n      exitCode: OK,\n    };\n  }\n\n  return {\n    result: { ok: false, failures, summary: `${failures.length} integrity failure(s)` },\n    exitCode: INTEGRITY_FAILED,\n  };\n}\n\ninterface SingleTargetInputs {\n  readonly spaces: readonly CheckSpace[];\n  readonly spaceFilter?: string;\n  readonly appMigrationsDir: string;\n  readonly appMigrationsRelative: string;\n}\n\n/**\n * Ranks ref-resolution failure kinds by how informative they are, so a\n * single-target check surfaces the most useful failure across spaces instead of\n * whichever space failed first. `not-found` (the input matched nothing here)\n * says the least; a malformed input, a wrong grammar, or an in-space ambiguity\n * all say more.\n */\nfunction refFailureSpecificity(error: RefResolutionError): number {\n  switch (error.kind) {\n    case 'wrong-grammar':\n      return 3;\n    case 'ambiguous':\n      return 2;\n    case 'invalid-format':\n      return 1;\n    case 'not-found':\n      return 0;\n  }\n}\n\n/**\n * Single-target (`check <ref/path>`) mode — resolves a migration reference\n * across all contract spaces (or the one space narrowed by `--space <id>`).\n *\n * Resolution:\n *   - filesystem path → find the owning space by checking which space's\n *     `migrationsDir` contains the resolved path; falls back to app-relative\n *     validation when the path is outside every space dir.\n *   - ref → `parseMigrationRef` against each in-scope space; collect every\n *     (space, package) hit; 0 hits = not-found, 1 = check it, >1 = ambiguity\n *     error (qualify with `--space`).\n *\n * `--space <id>` is validated the same way the holistic path does it:\n * invalid id → `errorInvalidSpaceId`; no on-disk space → `errorSpaceNotFound`.\n */\nasync function checkSingleTarget(\n  target: string,\n  inputs: SingleTargetInputs,\n): Promise<MigrationCheckOutcome> {\n  const { spaces, spaceFilter, appMigrationsDir, appMigrationsRelative } = inputs;\n\n  if (spaceFilter !== undefined && !isValidSpaceId(spaceFilter)) {\n    return { error: errorInvalidSpaceId(spaceFilter), exitCode: PRECONDITION };\n  }\n  if (spaceFilter !== undefined && !spaces.some((s) => s.spaceId === spaceFilter)) {\n    return {\n      error: errorSpaceNotFound(spaceFilter, spaces.map((s) => s.spaceId).sort()),\n      exitCode: PRECONDITION,\n    };\n  }\n\n  const scopedSpaces =\n    spaceFilter !== undefined ? spaces.filter((s) => s.spaceId === spaceFilter) : spaces;\n\n  let matchedSpace: CheckSpace | undefined;\n  let matchedPkg: OnDiskMigrationPackage | undefined;\n\n  if (looksLikePath(target)) {\n    const resolvedPath = resolveTargetPathAcrossSpaces(target, scopedSpaces);\n    if (resolvedPath !== null) {\n      for (const space of scopedSpaces) {\n        const found = findPackageByDirPath(space.packages, resolvedPath);\n        if (found) {\n          matchedSpace = space;\n          matchedPkg = found;\n          break;\n        }\n      }\n    } else {\n      // Path outside every space dir — fall back to app-relative validation\n      const resolved = resolveAppTargetPath(target, appMigrationsDir, appMigrationsRelative);\n      if (!resolved.ok) {\n        return { error: resolved.failure, exitCode: PRECONDITION };\n      }\n      const appSpace = scopedSpaces.find((s) => s.spaceId === 'app');\n      if (appSpace) {\n        matchedSpace = appSpace;\n        matchedPkg = findPackageByDirPath(appSpace.packages, resolved.value);\n      }\n    }\n  } else {\n    // Ref resolution: try each in-scope space, collect all hits.\n    const hits: Array<{ space: CheckSpace; pkg: OnDiskMigrationPackage }> = [];\n    let bestParseFailure: RefResolutionError | undefined;\n    for (const space of scopedSpaces) {\n      const migResult = parseMigrationRef(target, { graph: space.graph, refs: space.refs });\n      if (!migResult.ok) {\n        // Keep scanning — a later space may hold a hit that must not be discarded.\n        // When no space yields a hit, keep the most informative failure rather than\n        // whichever space failed first (the kind is space-dependent).\n        if (\n          bestParseFailure === undefined ||\n          refFailureSpecificity(migResult.failure) > refFailureSpecificity(bestParseFailure)\n        ) {\n          bestParseFailure = migResult.failure;\n        }\n        continue;\n      }\n      const pkg = space.packages.find(\n        (p) => p.metadata.migrationHash === migResult.value.migrationHash,\n      );\n      if (pkg) {\n        hits.push({ space, pkg });\n      }\n    }\n\n    if (hits.length > 1) {\n      const spaceIds = hits.map((h) => h.space.spaceId);\n      return {\n        error: errorAmbiguousMigrationRef(target, spaceIds),\n        exitCode: PRECONDITION,\n      };\n    }\n\n    if (hits.length === 1) {\n      matchedSpace = hits[0]!.space;\n      matchedPkg = hits[0]!.pkg;\n    } else if (bestParseFailure !== undefined) {\n      // The ref didn't resolve in any in-scope space — surface the most informative\n      // parse failure through the shared ref-resolution envelope (PN-RUN-3000) the\n      // earlier work established, rather than a bespoke string. (Ref-resolved-but-\n      // no-package falls through to the \"not found on disk\" result below.)\n      return { error: mapRefResolutionError(bestParseFailure), exitCode: PRECONDITION };\n    }\n  }\n\n  if (!matchedPkg || !matchedSpace) {\n    return {\n      result: {\n        ok: false,\n        failures: [],\n        summary: `Migration package for \"${target}\" not found on disk`,\n      },\n      exitCode: PRECONDITION,\n    };\n  }\n\n  const failures: CheckFailure[] = [...checkManifestFilesPresent(matchedSpace)];\n\n  for (const f of ['migration.json', 'ops.json']) {\n    const fail = checkFileExists(matchedSpace.spaceId, matchedPkg.dirPath, matchedPkg.dirName, f);\n    if (fail) failures.push(fail);\n  }\n\n  const verification = verifyMigrationHash(matchedPkg);\n  if (!verification.ok) {\n    failures.push({\n      space: matchedSpace.spaceId,\n      code: 'PN-MIG-CHECK-001',\n      where: migrationFileRelative(matchedPkg.dirPath, 'migration.json'),\n      why: `Stored hash ${verification.storedHash} does not match recomputed hash ${verification.computedHash}`,\n      fix: 'Re-emit the migration package or restore from version control.',\n    });\n  }\n\n  const snapshotFailure = checkSnapshotConsistency(matchedSpace.spaceId, matchedPkg);\n  if (snapshotFailure) failures.push(snapshotFailure);\n\n  const resolvedSpaceId = matchedSpace.spaceId !== 'app' ? matchedSpace.spaceId : undefined;\n\n  if (failures.length === 0) {\n    return {\n      result: { ok: true, failures: [], summary: 'All checks passed' },\n      exitCode: OK,\n      ...ifDefined('resolvedSpaceId', resolvedSpaceId),\n    };\n  }\n  return {\n    result: { ok: false, failures, summary: `${failures.length} integrity failure(s)` },\n    exitCode: INTEGRITY_FAILED,\n    ...ifDefined('resolvedSpaceId', resolvedSpaceId),\n  };\n}\n\nexport function createMigrationCheckCommand(): Command {\n  const command = new Command('check');\n  setCommandDescriptions(\n    command,\n    'Verify artifact and graph integrity',\n    'Validates that on-disk migration packages are internally consistent\\n' +\n      '(hashes match, manifests are complete) and that the graph is well-formed\\n' +\n      '(edges connect, refs point at valid nodes). The whole-graph check spans\\n' +\n      'every contract space by default; pass --space <id> to narrow to one. A\\n' +\n      'migration reference checks a single package, resolved across all contract\\n' +\n      'spaces (narrow with --space; an ambiguous reference is a precondition failure).\\n' +\n      'Offline — does not consult the database.\\n' +\n      'Exit codes: 0 = all checks passed, 2 = precondition failed\\n' +\n      '(unresolved target or unknown --space), 4 = integrity failure(s) found.',\n  );\n  setCommandExamples(command, [\n    'prisma-next migration check',\n    'prisma-next migration check --space app',\n    'prisma-next migration check 20260101-add-users',\n    'prisma-next migration check 20260101-add-users --space app',\n    'prisma-next migration check --json',\n  ]);\n  setCommandSeeAlso(command, [\n    { verb: 'migration status', oneLiner: 'Show migration path and pending status' },\n    { verb: 'migration list', oneLiner: 'List on-disk migrations' },\n    { verb: 'migration graph', oneLiner: 'Show the migration graph topology' },\n    { verb: 'migration show', oneLiner: 'Display migration package contents' },\n  ]);\n  command.exitOverride();\n  addGlobalOptions(command)\n    .argument('[target]', 'Migration reference: directory name, hash/prefix, ref, or path')\n    .option('--config <path>', 'Path to prisma-next.config.ts')\n    .option('--space <id>', 'Narrow output to a single contract space')\n    .action(async (target: string | undefined, options: MigrationCheckOptions) => {\n      const flags = parseGlobalFlagsOrExit(options);\n      const ui = createTerminalUI(flags);\n\n      let outcome: MigrationCheckOutcome;\n      try {\n        outcome = await executeMigrationCheckCommand(target, options, flags, ui);\n      } catch (error) {\n        const msg = error instanceof Error ? error.message : String(error);\n        outcome = {\n          result: { ok: false, failures: [], summary: msg },\n          exitCode: PRECONDITION,\n        };\n      }\n\n      if (outcome.error) {\n        const envelope = outcome.error.toEnvelope();\n        if (flags.json) {\n          ui.output(formatErrorJson(envelope));\n        } else if (!flags.quiet) {\n          ui.error(formatErrorOutput(envelope, flags));\n        }\n        process.exit(outcome.exitCode);\n      }\n\n      const result = outcome.result ?? {\n        ok: false,\n        failures: [],\n        summary: 'No check result produced',\n      };\n\n      if (flags.json) {\n        ui.output(JSON.stringify(result, null, 2));\n      } else if (!flags.quiet) {\n        if (result.ok) {\n          const spaceSuffix =\n            outcome.resolvedSpaceId !== undefined ? `  (space: ${outcome.resolvedSpaceId})` : '';\n          ui.log(`✔ ${result.summary}${spaceSuffix}`);\n        } else {\n          for (const f of result.failures) {\n            ui.log(`✗ [${f.code}] ${f.where}: ${f.why}`);\n            ui.log(`  fix: ${f.fix}`);\n          }\n          ui.log(`\\n${result.summary}`);\n        }\n      }\n\n      process.exit(outcome.exitCode);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAMA,SAASA,wBAAsB,SAAyB;CACtD,OAAO,SAAS,QAAQ,IAAI,GAAG,OAAO;AACxC;AAEA,SAASC,wBAAsB,SAAiB,UAA0B;CACxE,OAAO,KAAKD,wBAAsB,OAAO,GAAG,QAAQ;AACtD;;;;;AAMA,SAAgB,iCACd,WACA,eACc;CACd,MAAM,iBAAiB,YACrBA,wBAAsB,KAAK,eAAe,OAAO,CAAC;CACpD,MAAM,mBAAmB,SAAiB,YACxCA,wBAAsB,KAAK,eAAe,SAAS,OAAO,CAAC;CAC7D,MAAM,eAAe,SAAiB,YACpCA,wBAAsB,KAAK,eAAe,SAAS,QAAQ,GAAG,QAAQ,MAAM,CAAC;CAE/E,QAAQ,UAAU,MAAlB;EACE,KAAK,gBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAOC,wBACL,KAAK,eAAe,UAAU,SAAS,UAAU,OAAO,GACxD,gBACF;GACA,KAAK,eAAe,UAAU,OAAO,kCAAkC,UAAU;GACjF,KAAK;EACP;EACF,KAAK,8BACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,gBAAgB,UAAU,SAAS,UAAU,OAAO;GAC3D,KAAK,cAAc,UAAU,QAAQ;GACrC,KAAK;EACP;EACF,KAAK,qBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,gBAAgB,UAAU,SAAS,UAAU,OAAO;GAC3D,KAAK,cAAc,UAAU,QAAQ,yBAAyB,UAAU;GACxE,KAAK;EACP;EACF,KAAK,uBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,gBAAgB,UAAU,SAAS,UAAU,OAAO;GAC3D,KAAK,cAAc,UAAU,QAAQ,cAAc,UAAU,QAAQ,gCAAgC,UAAU,KAAK;GACpH,KAAK;EACP;EACF,KAAK,kBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,cAAc,UAAU,OAAO;GACtC,KAAK,6BAA6B,UAAU,QAAQ;GACpD,KAAK;EACP;EACF,KAAK,yBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,cAAc,UAAU,OAAO;GACtC,KAAK,cAAc,UAAU,QAAQ;GACrC,KAAK;EACP;EACF,KAAK,kBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,YAAY,UAAU,SAAS,MAAM;GAC5C,KAAK,8DAA8D,UAAU,QAAQ;GACrF,KAAK;EACP;EACF,KAAK,qBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,YAAY,UAAU,SAAS,MAAM;GAC5C,KAAK,YAAY,UAAU,KAAK,uBAAuB,UAAU,QAAQ;GACzE,KAAK;EACP;EACF,KAAK,iBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,YAAY,UAAU,SAAS,UAAU,OAAO;GACvD,KAAK,QAAQ,UAAU,QAAQ,wBAAwB,UAAU,QAAQ,mBAAmB,UAAU;GACtG,KAAK;EACP;EACF,KAAK,kBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,cAAc,UAAU,OAAO;GACtC,KAAK,mBAAmB,UAAU,QAAQ,aAAa,UAAU,OAAO,6BAA6B,UAAU,SAAS;GACxH,KAAK;EACP;EACF,KAAK,gBACH,OAAO;GACL,OAAO;GACP,MAAM;GACN,OAAOD,wBAAsB,aAAa;GAC1C,KAAK,oBAAoB,UAAU,QAAQ,4CAA4C,UAAU,UAAU,KAAK,IAAI,EAAE;GACtH,KAAK;EACP;EACF,KAAK,sBACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAOC,wBAAsB,KAAK,eAAe,UAAU,OAAO,GAAG,eAAe;GACpF,KAAK,uBAAuB,UAAU,QAAQ,mBAAmB,UAAU;GAC3E,KAAK;EACP;EACF,KAAK,0BACH,OAAO;GACL,OAAO,UAAU;GACjB,MAAM;GACN,OAAO,cAAc,UAAU,OAAO;GACtC,KAAK,iCAAiC,UAAU,QAAQ,yBAAyB,UAAU,cAAc,KAAK,UAAU,SAAS,KAAK,IAAI,EAAE;GAC5I,KAAK;EACP;CACJ;AACF;;;ACtEA,SAAS,sBAAsB,SAAyB;CACtD,OAAO,SAAS,QAAQ,IAAI,GAAG,OAAO;AACxC;AAEA,SAAS,sBAAsB,SAAiB,UAA0B;CACxE,OAAO,KAAK,sBAAsB,OAAO,GAAG,QAAQ;AACtD;AAEA,SAAS,gBACP,SACA,SACA,SACA,UACqB;CACrB,IAAI,CAAC,WAAW,KAAK,SAAS,QAAQ,CAAC,GACrC,OAAO;EACL,OAAO;EACP,MAAM;EACN,OAAO,sBAAsB,SAAS,QAAQ;EAC9C,KAAK,GAAG,SAAS,mBAAmB;EACpC,KAAK;CACP;CAEF,OAAO;AACT;AAEA,SAAS,yBACP,SACA,KACqB;CACrB,MAAM,kBAAkB,KAAK,IAAI,SAAS,mBAAmB;CAC7D,IAAI,CAAC,WAAW,eAAe,GAAG,OAAO;CACzC,IAAI;EAGF,MAAM,eAFM,KAAK,MAAM,aAAa,iBAAiB,OAAO,CAC1C,EAAE,aACW;EAC/B,IAAI,OAAO,iBAAiB,YAAY,iBAAiB,IAAI,SAAS,IACpE,OAAO;GACL,OAAO;GACP,MAAM;GACN,OAAO,sBAAsB,IAAI,OAAO;GACxC,KAAK,cAAc,IAAI,QAAQ,gBAAgB,IAAI,SAAS,GAAG,yCAAyC;GACxG,KAAK;EACP;CAEJ,QAAQ;EACN,OAAO;GACL,OAAO;GACP,MAAM;GACN,OAAO,sBAAsB,IAAI,OAAO;GACxC,KAAK,cAAc,IAAI,QAAQ;GAC/B,KAAK;EACP;CACF;CACA,OAAO;AACT;;;;;;;;;AA0BA,eAAsB,qBACpB,WACA,sBACgC;CAChC,MAAM,gBAAgB,MAAM,6BAA6B,oBAAoB;CAC7E,MAAM,iBAAiB,IAAI,IACzB,cAAc,QAAQ,SAAS,CAAC,4BAA4B,IAAI,IAAI,CAAC,EAAE,OAAO,cAAc,CAC9F;CACA,MAAM,SAAuB,CAAC;CAC9B,KAAK,MAAM,UAAU,UAAU,OAAO,GAAG;EACvC,MAAM,UAAU,OAAO;EACvB,IAAI,CAAC,eAAe,OAAO,GAAG;EAC9B,IAAI,CAAC,eAAe,IAAI,OAAO,GAAG;EAClC,MAAM,gBAAgB,wBAAwB,sBAAsB,OAAO;EAC3E,OAAO,KAAK;GACV;GACA,UAAU,OAAO;GACjB,MAAM,OAAO;GACb,OAAO,OAAO,MAAM;GACpB;GACA,SAAS,mBAAmB,aAAa;EAC3C,CAAC;CACH;CACA,OAAO;AACT;AAEA,SAAS,0BAA0B,OAA4C;CAC7E,IAAI,CAAC,WAAW,MAAM,aAAa,GAAG,OAAO,CAAC;CAC9C,MAAM,iBAAiB,IAAI,IAAI,MAAM,SAAS,KAAK,MAAM,EAAE,OAAO,CAAC;CACnE,MAAM,WAA2B,CAAC;CAClC,IAAI;CACJ,IAAI;EACF,UAAU,YAAY,MAAM,aAAa;CAC3C,QAAQ;EACN,OAAO;CACT;CACA,KAAK,MAAM,SAAS,SAAS;EAC3B,IAAI,MAAM,WAAW,GAAG,KAAK,MAAM,WAAW,GAAG,KAAK,UAAU,QAAQ;EACxE,MAAM,YAAY,KAAK,MAAM,eAAe,KAAK;EACjD,IAAI;GACF,IAAI,CAAC,SAAS,SAAS,EAAE,YAAY,GAAG;EAC1C,QAAQ;GACN;EACF;EACA,IAAI,CAAC,eAAe,IAAI,KAAK,GAC3B,KAAK,MAAM,KAAK,CAAC,kBAAkB,UAAU,GAAG;GAC9C,MAAM,OAAO,gBAAgB,MAAM,SAAS,WAAW,OAAO,CAAC;GAC/D,IAAI,MAAM,SAAS,KAAK,IAAI;EAC9B;CAEJ;CACA,OAAO;AACT;AAEA,SAAS,kBAAkB,OAA4C;CACrE,MAAM,cAAc,IAAI,IAAI,MAAM,SAAS,KAAK,MAAM,EAAE,SAAS,EAAE,CAAC;CACpE,MAAM,WAA2B,CAAC;CAClC,KAAK,MAAM,OAAO,MAAM,UAKtB,IAAI,EAHF,IAAI,SAAS,SAAS,QACtB,YAAY,IAAI,IAAI,SAAS,IAAI,KACjC,IAAI,SAAS,SAAS,iBAEtB,SAAS,KAAK;EACZ,OAAO,MAAM;EACb,MAAM;EACN,OAAO,sBAAsB,IAAI,OAAO;EACxC,KAAK,cAAc,IAAI,QAAQ,gBAAgB,IAAI,SAAS,KAAK;EACjE,KAAK;CACP,CAAC;CAGL,OAAO;AACT;AAEA,SAAS,kBAAkB,OAA4C;CACrE,MAAM,WAA2B,CAAC;CAClC,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,MAAM,IAAI,GACnD,IAAI,CAAC,MAAM,MAAM,MAAM,IAAI,MAAM,IAAI,GACnC,SAAS,KAAK;EACZ,OAAO,MAAM;EACb,MAAM;EACN,OAAO,SAAS,QAAQ,IAAI,GAAG,KAAK,MAAM,SAAS,GAAG,KAAK,MAAM,CAAC;EAClE,KAAK,QAAQ,KAAK,cAAc,MAAM,KAAK;EAC3C,KAAK,6CAA6C,KAAK;CACzD,CAAC;CAGL,OAAO;AACT;AAEA,SAAS,WAAW,OAA4C;CAC9D,OAAO;EACL,GAAG,0BAA0B,KAAK;EAClC,GAAG,MAAM,SACN,KAAK,QAAQ,yBAAyB,MAAM,SAAS,GAAG,CAAC,EACzD,QAAQ,MAAyB,MAAM,IAAI;EAC9C,GAAG,kBAAkB,KAAK;EAC1B,GAAG,kBAAkB,KAAK;CAC5B;AACF;;;;;;;;;;;;;AAyBA,SAAgB,kBACd,QACkD;CAClD,MAAM,EAAE,QAAQ,gBAAgB;CAEhC,IAAI,gBAAgB,KAAA,KAAa,CAAC,eAAe,WAAW,GAC1D,OAAO,MAAM,oBAAoB,WAAW,CAAC;CAE/C,IAAI,gBAAgB,KAAA,KAAa,CAAC,OAAO,MAAM,MAAM,EAAE,YAAY,WAAW,GAC5E,OAAO,MAAM,mBAAmB,aAAa,OAAO,KAAK,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;CAMnF,MAAM,YAFJ,gBAAgB,KAAA,IAAY,OAAO,QAAQ,MAAM,EAAE,YAAY,WAAW,IAAI,QAElD,QAAQ,UAAU;CAChD,IAAI,SAAS,WAAW,GACtB,OAAO,GAAG;EAAE,IAAI;EAAM,UAAU,CAAC;EAAG,SAAS;CAAoB,CAAC;CAEpE,OAAO,GAAG;EAAE,IAAI;EAAO;EAAU,SAAS,GAAG,SAAS,OAAO;CAAuB,CAAC;AACvF;AAEA,eAAe,iCACb,QACA,eACwC;CACxC,IAAI;EACF,MAAM,sBAAsB,MAAM,SAAS,oBAAoB,MAAM,GAAG,OAAO;EAC/E,MAAM,iBAAiB,OAAO,OAAO,OAAO,mBAAmB,MAAM,CAAC;EACtE,MAAM,qBAAqB,4BAA4B,OAAO,kBAAkB,CAAC,CAAC;EAElF,MAAM,oBAA6B,KAAK,MAAM,mBAAmB;EAMjE,QAAO,MALiB,2BAA2B;GACjD;GACA,sBAAsB,SAAkB,eAAe,oBAAoB,IAAI;GAC/E,aAAa,eAAe,oBAAoB,iBAAiB;EACnE,CAAC,GACgB,eAAe;GAAE;GAAoB,gBAAgB;EAAK,CAAC;CAC9E,QAAQ;EACN,OAAO,CAAC;CACV;AACF;AASA,eAAe,6BACb,QACA,SACA,OACA,IACgC;CAChC,MAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;CAC9C,MAAM,EAAE,YAAY,eAAe,kBAAkB,0BACnD,sBAAsB,QAAQ,QAAQ,MAAM;CAE9C,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,OAAO;EAC/B,MAAM,UAAmD,CACvD;GAAE,OAAO;GAAU,OAAO;EAAW,GACrC;GAAE,OAAO;GAAc,OAAO;EAAsB,CACtD;EACA,IAAI,QACF,QAAQ,KAAK;GAAE,OAAO;GAAU,OAAO;EAAO,CAAC;EAEjD,MAAM,SAAS,mBAAmB;GAChC,SAAS;GACT,aAAa;GACb;GACA;EACF,CAAC;EACD,GAAG,OAAO,MAAM;CAClB;CAEA,MAAM,kBAAkB,MAAM,mBAAmB,QAAQ,EAAE,cAAc,CAAC;CAC1E,IAAI,CAAC,gBAAgB,IACnB,OAAO;EAAE,OAAO,gBAAgB;EAAS,UAAA;CAAuB;CAGlE,MAAM,SAAS,MAAM,qBAAqB,gBAAgB,MAAM,WAAW,aAAa;CAExF,IAAI,QACF,OAAO,MAAM,kBAAkB,QAAQ;EACrC;EACA,GAAI,QAAQ,UAAU,KAAA,IAAY,EAAE,aAAa,QAAQ,MAAM,IAAI,CAAC;EACpE;EACA;CACF,CAAC;CAGH,MAAM,cAAc,kBAAkB;EACpC;EACA,GAAI,QAAQ,UAAU,KAAA,IAAY,EAAE,aAAa,QAAQ,MAAM,IAAI,CAAC;CACtE,CAAC;CACD,IAAI,CAAC,YAAY,IACf,OAAO;EAAE,OAAO,YAAY;EAAS,UAAA;CAAuB;CAG9D,MAAM,WAA2B,CAAC,GAAG,YAAY,MAAM,QAAQ;CAC/D,MAAM,gBAAgB,MAAM,iCAAiC,QAAQ,aAAa;CAClF,MAAM,mBACJ,QAAQ,UAAU,KAAA,IACd,gBACA,cAAc,QAAQ,MAAM,EAAE,SAAS,kBAAkB,EAAE,YAAY,QAAQ,KAAK;CAC1F,KAAK,MAAM,aAAa,kBACtB,SAAS,KAAK,iCAAiC,WAAW,aAAa,CAAC;CAG1E,IAAI,SAAS,WAAW,GACtB,OAAO;EACL,QAAQ;GAAE,IAAI;GAAM,UAAU,CAAC;GAAG,SAAS;EAAoB;EAC/D,UAAA;CACF;CAGF,OAAO;EACL,QAAQ;GAAE,IAAI;GAAO;GAAU,SAAS,GAAG,SAAS,OAAO;EAAuB;EAClF,UAAA;CACF;AACF;;;;;;;;AAgBA,SAAS,sBAAsB,OAAmC;CAChE,QAAQ,MAAM,MAAd;EACE,KAAK,iBACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK,kBACH,OAAO;EACT,KAAK,aACH,OAAO;CACX;AACF;;;;;;;;;;;;;;;;AAiBA,eAAe,kBACb,QACA,QACgC;CAChC,MAAM,EAAE,QAAQ,aAAa,kBAAkB,0BAA0B;CAEzE,IAAI,gBAAgB,KAAA,KAAa,CAAC,eAAe,WAAW,GAC1D,OAAO;EAAE,OAAO,oBAAoB,WAAW;EAAG,UAAA;CAAuB;CAE3E,IAAI,gBAAgB,KAAA,KAAa,CAAC,OAAO,MAAM,MAAM,EAAE,YAAY,WAAW,GAC5E,OAAO;EACL,OAAO,mBAAmB,aAAa,OAAO,KAAK,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;EAC1E,UAAA;CACF;CAGF,MAAM,eACJ,gBAAgB,KAAA,IAAY,OAAO,QAAQ,MAAM,EAAE,YAAY,WAAW,IAAI;CAEhF,IAAI;CACJ,IAAI;CAEJ,IAAI,cAAc,MAAM,GAAG;EACzB,MAAM,eAAe,8BAA8B,QAAQ,YAAY;EACvE,IAAI,iBAAiB,MACnB,KAAK,MAAM,SAAS,cAAc;GAChC,MAAM,QAAQ,qBAAqB,MAAM,UAAU,YAAY;GAC/D,IAAI,OAAO;IACT,eAAe;IACf,aAAa;IACb;GACF;EACF;OACK;GAEL,MAAM,WAAW,qBAAqB,QAAQ,kBAAkB,qBAAqB;GACrF,IAAI,CAAC,SAAS,IACZ,OAAO;IAAE,OAAO,SAAS;IAAS,UAAA;GAAuB;GAE3D,MAAM,WAAW,aAAa,MAAM,MAAM,EAAE,YAAY,KAAK;GAC7D,IAAI,UAAU;IACZ,eAAe;IACf,aAAa,qBAAqB,SAAS,UAAU,SAAS,KAAK;GACrE;EACF;CACF,OAAO;EAEL,MAAM,OAAkE,CAAC;EACzE,IAAI;EACJ,KAAK,MAAM,SAAS,cAAc;GAChC,MAAM,YAAY,kBAAkB,QAAQ;IAAE,OAAO,MAAM;IAAO,MAAM,MAAM;GAAK,CAAC;GACpF,IAAI,CAAC,UAAU,IAAI;IAIjB,IACE,qBAAqB,KAAA,KACrB,sBAAsB,UAAU,OAAO,IAAI,sBAAsB,gBAAgB,GAEjF,mBAAmB,UAAU;IAE/B;GACF;GACA,MAAM,MAAM,MAAM,SAAS,MACxB,MAAM,EAAE,SAAS,kBAAkB,UAAU,MAAM,aACtD;GACA,IAAI,KACF,KAAK,KAAK;IAAE;IAAO;GAAI,CAAC;EAE5B;EAEA,IAAI,KAAK,SAAS,GAEhB,OAAO;GACL,OAAO,2BAA2B,QAFnB,KAAK,KAAK,MAAM,EAAE,MAAM,OAEU,CAAC;GAClD,UAAA;EACF;EAGF,IAAI,KAAK,WAAW,GAAG;GACrB,eAAe,KAAK,GAAI;GACxB,aAAa,KAAK,GAAI;EACxB,OAAO,IAAI,qBAAqB,KAAA,GAK9B,OAAO;GAAE,OAAO,sBAAsB,gBAAgB;GAAG,UAAA;EAAuB;CAEpF;CAEA,IAAI,CAAC,cAAc,CAAC,cAClB,OAAO;EACL,QAAQ;GACN,IAAI;GACJ,UAAU,CAAC;GACX,SAAS,0BAA0B,OAAO;EAC5C;EACA,UAAA;CACF;CAGF,MAAM,WAA2B,CAAC,GAAG,0BAA0B,YAAY,CAAC;CAE5E,KAAK,MAAM,KAAK,CAAC,kBAAkB,UAAU,GAAG;EAC9C,MAAM,OAAO,gBAAgB,aAAa,SAAS,WAAW,SAAS,WAAW,SAAS,CAAC;EAC5F,IAAI,MAAM,SAAS,KAAK,IAAI;CAC9B;CAEA,MAAM,eAAe,oBAAoB,UAAU;CACnD,IAAI,CAAC,aAAa,IAChB,SAAS,KAAK;EACZ,OAAO,aAAa;EACpB,MAAM;EACN,OAAO,sBAAsB,WAAW,SAAS,gBAAgB;EACjE,KAAK,eAAe,aAAa,WAAW,kCAAkC,aAAa;EAC3F,KAAK;CACP,CAAC;CAGH,MAAM,kBAAkB,yBAAyB,aAAa,SAAS,UAAU;CACjF,IAAI,iBAAiB,SAAS,KAAK,eAAe;CAElD,MAAM,kBAAkB,aAAa,YAAY,QAAQ,aAAa,UAAU,KAAA;CAEhF,IAAI,SAAS,WAAW,GACtB,OAAO;EACL,QAAQ;GAAE,IAAI;GAAM,UAAU,CAAC;GAAG,SAAS;EAAoB;EAC/D,UAAA;EACA,GAAG,UAAU,mBAAmB,eAAe;CACjD;CAEF,OAAO;EACL,QAAQ;GAAE,IAAI;GAAO;GAAU,SAAS,GAAG,SAAS,OAAO;EAAuB;EAClF,UAAA;EACA,GAAG,UAAU,mBAAmB,eAAe;CACjD;AACF;AAEA,SAAgB,8BAAuC;CACrD,MAAM,UAAU,IAAI,QAAQ,OAAO;CACnC,uBACE,SACA,uCACA,2mBASF;CACA,mBAAmB,SAAS;EAC1B;EACA;EACA;EACA;EACA;CACF,CAAC;CACD,kBAAkB,SAAS;EACzB;GAAE,MAAM;GAAoB,UAAU;EAAyC;EAC/E;GAAE,MAAM;GAAkB,UAAU;EAA0B;EAC9D;GAAE,MAAM;GAAmB,UAAU;EAAoC;EACzE;GAAE,MAAM;GAAkB,UAAU;EAAqC;CAC3E,CAAC;CACD,QAAQ,aAAa;CACrB,iBAAiB,OAAO,EACrB,SAAS,YAAY,gEAAgE,EACrF,OAAO,mBAAmB,+BAA+B,EACzD,OAAO,gBAAgB,0CAA0C,EACjE,OAAO,OAAO,QAA4B,YAAmC;EAC5E,MAAM,QAAQ,uBAAuB,OAAO;EAC5C,MAAM,KAAK,iBAAiB,KAAK;EAEjC,IAAI;EACJ,IAAI;GACF,UAAU,MAAM,6BAA6B,QAAQ,SAAS,OAAO,EAAE;EACzE,SAAS,OAAO;GAEd,UAAU;IACR,QAAQ;KAAE,IAAI;KAAO,UAAU,CAAC;KAAG,SAFzB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;IAEf;IAChD,UAAA;GACF;EACF;EAEA,IAAI,QAAQ,OAAO;GACjB,MAAM,WAAW,QAAQ,MAAM,WAAW;GAC1C,IAAI,MAAM,MACR,GAAG,OAAO,gBAAgB,QAAQ,CAAC;QAC9B,IAAI,CAAC,MAAM,OAChB,GAAG,MAAM,kBAAkB,UAAU,KAAK,CAAC;GAE7C,QAAQ,KAAK,QAAQ,QAAQ;EAC/B;EAEA,MAAM,SAAS,QAAQ,UAAU;GAC/B,IAAI;GACJ,UAAU,CAAC;GACX,SAAS;EACX;EAEA,IAAI,MAAM,MACR,GAAG,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC,CAAC;OACpC,IAAI,CAAC,MAAM,OAChB,IAAI,OAAO,IAAI;GACb,MAAM,cACJ,QAAQ,oBAAoB,KAAA,IAAY,aAAa,QAAQ,gBAAgB,KAAK;GACpF,GAAG,IAAI,KAAK,OAAO,UAAU,aAAa;EAC5C,OAAO;GACL,KAAK,MAAM,KAAK,OAAO,UAAU;IAC/B,GAAG,IAAI,MAAM,EAAE,KAAK,IAAI,EAAE,MAAM,IAAI,EAAE,KAAK;IAC3C,GAAG,IAAI,UAAU,EAAE,KAAK;GAC1B;GACA,GAAG,IAAI,KAAK,OAAO,SAAS;EAC9B;EAGF,QAAQ,KAAK,QAAQ,QAAQ;CAC/B,CAAC;CAEH,OAAO;AACT"}