prisma-next 0.5.0-dev.9 → 0.5.1

package/dist/{contract-infer-D9cC3rJm.mjs → contract-infer-ByxhPjpW.mjs}

@@ -1,14 +1,13 @@
-import { t as TerminalUI } from "./terminal-ui-C3ZLwQxK.mjs";
-import { d as setCommandExamples, m as parseGlobalFlags, n as addGlobalOptions, t as handleResult, u as setCommandDescriptions } from "./result-handler-Ba3zWQsI.mjs";
-import { t as inspectLiveSchema } from "./inspect-live-schema-yrHAvG71.mjs";
+import { d as setCommandDescriptions, f as setCommandExamples, g as parseGlobalFlags, t as addGlobalOptions } 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 { t as inspectLiveSchema } from "./inspect-live-schema-DxdBd4Er.mjs";
 import { Command } from "commander";
-import { existsSync, mkdirSync, writeFileSync } from "node:fs";
 import { notOk, ok } from "@prisma-next/utils/result";
 import { dirname, relative, resolve } from "pathe";
 import { errorRuntime } from "@prisma-next/errors/execution";
-import { printPsl, validatePrintableSqlSchemaIR } from "@prisma-next/psl-printer";
-import { createPostgresDefaultMapping, createPostgresTypeMap, extractEnumInfo, parseRawDefault } from "@prisma-next/psl-printer/postgres";
-
+import { existsSync, mkdirSync, writeFileSync } from "node:fs";
+import { printPsl } from "@prisma-next/psl-printer";
 //#region src/commands/contract-infer-paths.ts
 /**
 * Resolves the output path for the inferred PSL contract.
@@ -24,7 +23,6 @@ function resolveContractInferOutputPath(options, contractOutput) {
 	if (contractOutput) return resolve(dirname(resolve(configDir, contractOutput)), "contract.prisma");
 	return resolve(configDir, "contract.prisma");
 }
-
 //#endregion
 //#region src/commands/contract-infer.ts
 async function executeContractInferCommand(options, ui, startTime) {
@@ -35,20 +33,13 @@ async function executeContractInferCommand(options, ui, startTime) {
 		url: "https://pris.ly/contract-infer"
 	});
 	if (!inspectResult.ok) return inspectResult;
-	const { config, target, meta } = inspectResult.value;
-	if (target.familyId !== "sql") return notOk(errorRuntime(`contract infer is not supported for family "${target.familyId}"`, {
-		why: "contract infer currently supports SQL targets only",
-		fix: "Use an SQL target (e.g. Postgres) with this command"
+	const { config, target, meta, pslContractAst } = inspectResult.value;
+	if (!pslContractAst) return notOk(errorRuntime("contract infer is not supported for this family", {
+		why: "The configured family does not implement the PslContractInferCapable capability, so an inferred PSL contract cannot be produced from the live database schema.",
+		fix: "Use a family that supports contract inference (e.g. SQL/Postgres)."
 	}));
-	const schema = validatePrintableSqlSchemaIR(inspectResult.value.schema);
 	const outputPath = resolveContractInferOutputPath(options, config.contract?.output);
-	const enumInfo = extractEnumInfo(schema.annotations);
-	const pslContent = printPsl(schema, {
-		defaultMapping: createPostgresDefaultMapping(),
-		typeMap: createPostgresTypeMap(enumInfo.typeNames),
-		enumInfo,
-		parseRawDefault
-	});
+	const pslContent = printPsl(pslContractAst);
 	if (existsSync(outputPath) && !flags.json && !flags.quiet) ui.stderr(`\u26A0 Overwriting existing file: ${relative(process.cwd(), outputPath)}`);
 	mkdirSync(dirname(outputPath), { recursive: true });
 	writeFileSync(outputPath, pslContent, "utf-8");
@@ -84,7 +75,7 @@ function createContractInferCommand() {
 	});
 	return command;
 }
-
 //#endregion
 export { createContractInferCommand as t };
-//# sourceMappingURL=contract-infer-D9cC3rJm.mjs.map
+
+//# sourceMappingURL=contract-infer-ByxhPjpW.mjs.map

package/dist/contract-infer-ByxhPjpW.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-infer-ByxhPjpW.mjs","names":[],"sources":["../src/commands/contract-infer-paths.ts","../src/commands/contract-infer.ts"],"sourcesContent":["import { dirname, resolve } from 'pathe';\n\ninterface ContractInferPathOptions {\n  readonly output?: string;\n  readonly config?: string;\n}\n\n/**\n * Resolves the output path for the inferred PSL contract.\n *\n * Priority:\n * 1. --output <path> flag (resolved relative to cwd)\n * 2. contract.prisma next to config.contract.output\n * 3. Canonical default: contract.prisma in the config directory\n */\nexport function resolveContractInferOutputPath(\n  options: ContractInferPathOptions,\n  contractOutput: string | undefined,\n): string {\n  const configDir = options.config\n    ? dirname(resolve(process.cwd(), options.config))\n    : process.cwd();\n\n  if (options.output) {\n    return resolve(process.cwd(), options.output);\n  }\n  if (contractOutput) {\n    const contractPath = resolve(configDir, contractOutput);\n    return resolve(dirname(contractPath), 'contract.prisma');\n  }\n  return resolve(configDir, 'contract.prisma');\n}\n","import { existsSync, mkdirSync, writeFileSync } from 'node:fs';\nimport { errorRuntime } from '@prisma-next/errors/execution';\nimport { printPsl } from '@prisma-next/psl-printer';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { Command } from 'commander';\nimport { dirname, relative } from 'pathe';\nimport type { CliStructuredError } from '../utils/cli-errors';\nimport {\n  addGlobalOptions,\n  setCommandDescriptions,\n  setCommandExamples,\n} from '../utils/command-helpers';\nimport { parseGlobalFlags } from '../utils/global-flags';\nimport { handleResult } from '../utils/result-handler';\nimport { TerminalUI } from '../utils/terminal-ui';\nimport { resolveContractInferOutputPath } from './contract-infer-paths';\nimport {\n  type InspectLiveSchemaOptions,\n  type InspectLiveSchemaResult,\n  inspectLiveSchema,\n} from './inspect-live-schema';\n\ninterface ContractInferOptions extends InspectLiveSchemaOptions {\n  readonly output?: string;\n}\n\ninterface ContractInferSuccessResult {\n  readonly ok: true;\n  readonly summary: string;\n  readonly target: InspectLiveSchemaResult['target'];\n  readonly psl: {\n    readonly path: string;\n  };\n  readonly meta: InspectLiveSchemaResult['meta'];\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\nasync function executeContractInferCommand(\n  options: ContractInferOptions,\n  ui: TerminalUI,\n  startTime: number,\n): Promise<Result<ContractInferSuccessResult, CliStructuredError>> {\n  const flags = parseGlobalFlags(options);\n  const inspectResult = await inspectLiveSchema(options, flags, ui, startTime, {\n    commandName: 'contract infer',\n    description: 'Infer a PSL contract from the live database schema',\n    url: 'https://pris.ly/contract-infer',\n  });\n\n  if (!inspectResult.ok) {\n    return inspectResult;\n  }\n\n  const { config, target, meta, pslContractAst } = inspectResult.value;\n\n  if (!pslContractAst) {\n    return notOk(\n      errorRuntime('contract infer is not supported for this family', {\n        why: 'The configured family does not implement the PslContractInferCapable capability, so an inferred PSL contract cannot be produced from the live database schema.',\n        fix: 'Use a family that supports contract inference (e.g. SQL/Postgres).',\n      }),\n    );\n  }\n\n  const outputPath = resolveContractInferOutputPath(options, config.contract?.output);\n  const pslContent = printPsl(pslContractAst);\n\n  if (existsSync(outputPath) && !flags.json && !flags.quiet) {\n    ui.stderr(`\\u26A0 Overwriting existing file: ${relative(process.cwd(), outputPath)}`);\n  }\n\n  mkdirSync(dirname(outputPath), { recursive: true });\n  writeFileSync(outputPath, pslContent, 'utf-8');\n\n  const pslPath = relative(process.cwd(), outputPath);\n  if (!flags.json && !flags.quiet) {\n    ui.stderr(`\\u2714 Contract written to ${pslPath}`);\n  }\n\n  return ok({\n    ok: true,\n    summary: 'Contract inferred successfully',\n    target,\n    psl: {\n      path: pslPath,\n    },\n    meta,\n    timings: {\n      total: Date.now() - startTime,\n    },\n  });\n}\n\nexport function createContractInferCommand(): Command {\n  const command = new Command('infer');\n  setCommandDescriptions(\n    command,\n    'Infer a PSL contract from the live database schema',\n    'Reads the live database schema and writes an inferred PSL contract to disk.\\n' +\n      'This command stops at `contract.prisma`; follow it with `contract emit` and\\n' +\n      '`db sign` as separate steps.',\n  );\n  setCommandExamples(command, [\n    'prisma-next contract infer --db $DATABASE_URL',\n    'prisma-next contract infer --db $DATABASE_URL --output ./prisma/contract.prisma',\n    'prisma-next contract infer --db $DATABASE_URL --json',\n  ]);\n  addGlobalOptions(command)\n    .option('--db <url>', 'Database connection string')\n    .option('--config <path>', 'Path to prisma-next.config.ts')\n    .option('--output <path>', 'Write the inferred PSL contract to the specified path')\n    .action(async (options: ContractInferOptions) => {\n      const flags = parseGlobalFlags(options);\n      const ui = new TerminalUI({ color: flags.color, interactive: flags.interactive });\n      const startTime = Date.now();\n\n      const result = await executeContractInferCommand(options, ui, startTime);\n      const exitCode = handleResult(result, flags, ui, (value) => {\n        if (flags.json) {\n          ui.output(JSON.stringify(value, null, 2));\n        }\n      });\n\n      process.exit(exitCode);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;AAeA,SAAgB,+BACd,SACA,gBACQ;CACR,MAAM,YAAY,QAAQ,SACtB,QAAQ,QAAQ,QAAQ,KAAK,EAAE,QAAQ,OAAO,CAAC,GAC/C,QAAQ,KAAK;CAEjB,IAAI,QAAQ,QACV,OAAO,QAAQ,QAAQ,KAAK,EAAE,QAAQ,OAAO;CAE/C,IAAI,gBAEF,OAAO,QAAQ,QADM,QAAQ,WAAW,eACL,CAAC,EAAE,kBAAkB;CAE1D,OAAO,QAAQ,WAAW,kBAAkB;;;;ACS9C,eAAe,4BACb,SACA,IACA,WACiE;CACjE,MAAM,QAAQ,iBAAiB,QAAQ;CACvC,MAAM,gBAAgB,MAAM,kBAAkB,SAAS,OAAO,IAAI,WAAW;EAC3E,aAAa;EACb,aAAa;EACb,KAAK;EACN,CAAC;CAEF,IAAI,CAAC,cAAc,IACjB,OAAO;CAGT,MAAM,EAAE,QAAQ,QAAQ,MAAM,mBAAmB,cAAc;CAE/D,IAAI,CAAC,gBACH,OAAO,MACL,aAAa,mDAAmD;EAC9D,KAAK;EACL,KAAK;EACN,CAAC,CACH;CAGH,MAAM,aAAa,+BAA+B,SAAS,OAAO,UAAU,OAAO;CACnF,MAAM,aAAa,SAAS,eAAe;CAE3C,IAAI,WAAW,WAAW,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,OAClD,GAAG,OAAO,qCAAqC,SAAS,QAAQ,KAAK,EAAE,WAAW,GAAG;CAGvF,UAAU,QAAQ,WAAW,EAAE,EAAE,WAAW,MAAM,CAAC;CACnD,cAAc,YAAY,YAAY,QAAQ;CAE9C,MAAM,UAAU,SAAS,QAAQ,KAAK,EAAE,WAAW;CACnD,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,OACxB,GAAG,OAAO,8BAA8B,UAAU;CAGpD,OAAO,GAAG;EACR,IAAI;EACJ,SAAS;EACT;EACA,KAAK,EACH,MAAM,SACP;EACD;EACA,SAAS,EACP,OAAO,KAAK,KAAK,GAAG,WACrB;EACF,CAAC;;AAGJ,SAAgB,6BAAsC;CACpD,MAAM,UAAU,IAAI,QAAQ,QAAQ;CACpC,uBACE,SACA,sDACA,yLAGD;CACD,mBAAmB,SAAS;EAC1B;EACA;EACA;EACD,CAAC;CACF,iBAAiB,QAAQ,CACtB,OAAO,cAAc,6BAA6B,CAClD,OAAO,mBAAmB,gCAAgC,CAC1D,OAAO,mBAAmB,wDAAwD,CAClF,OAAO,OAAO,YAAkC;EAC/C,MAAM,QAAQ,iBAAiB,QAAQ;EACvC,MAAM,KAAK,IAAI,WAAW;GAAE,OAAO,MAAM;GAAO,aAAa,MAAM;GAAa,CAAC;EAIjF,MAAM,WAAW,aAAa,MADT,4BAA4B,SAAS,IAFxC,KAAK,KAEgD,CAAC,EAClC,OAAO,KAAK,UAAU;GAC1D,IAAI,MAAM,MACR,GAAG,OAAO,KAAK,UAAU,OAAO,MAAM,EAAE,CAAC;IAE3C;EAEF,QAAQ,KAAK,SAAS;GACtB;CAEJ,OAAO"}

package/dist/contract-space-aggregate-loader-BrwKK6Q6.mjs

@@ -0,0 +1,160 @@
+import { t as CliStructuredError } from "./cli-errors-D3_sMh2K.mjs";
+import { notOk, ok } from "@prisma-next/utils/result";
+import { loadContractSpaceAggregate } from "@prisma-next/migration-tools/aggregate";
+//#region src/utils/extension-pack-inputs.ts
+/**
+* Project the CLI's `Config.extensionPacks` array into the canonical
+* {@link ExtensionPackInput} shape. The single `as ExtensionPackLike`
+* structural cast in the CLI lives inside this function.
+*/
+function toExtensionInputs(extensionPacks) {
+	return extensionPacks.map((raw) => {
+		const pack = raw;
+		if (pack.contractSpace === void 0) return {
+			id: pack.id,
+			targetId: pack.targetId
+		};
+		return {
+			id: pack.id,
+			targetId: pack.targetId,
+			contractSpace: {
+				contractJson: pack.contractSpace.contractJson,
+				headRef: pack.contractSpace.headRef,
+				migrations: pack.contractSpace.migrations ?? []
+			}
+		};
+	});
+}
+/**
+* Minimal aggregate-loader projection that extracts `id` + `targetId`
+* from raw extension pack descriptors **without invoking any
+* `contractSpace` accessor**. Inspects the own-property descriptor so
+* that getter-backed `contractSpace` declarations are detected but
+* never called.
+*
+* Inclusion semantics match {@link toDeclaredExtensions}: a data
+* property whose value is explicitly `undefined` is treated as "no
+* contract-space declaration" and skipped, mirroring the
+* `pack.contractSpace === undefined` check used on canonicalised
+* inputs. Prototype-chain `contractSpace` properties (no own
+* descriptor) are also skipped.
+*
+* This variant must be used by `buildContractSpaceAggregate` so that
+* the aggregate path (including `db verify`) never reads
+* `contractSpace.contractJson` from extension descriptors — the loader
+* always reads the contract from on-disk artefacts instead.
+*/
+function toDeclaredExtensionsFromRaw(extensionPacks) {
+	const entries = [];
+	for (const raw of extensionPacks) {
+		if (typeof raw !== "object" || raw === null) continue;
+		const descriptor = Object.getOwnPropertyDescriptor(raw, "contractSpace");
+		if (descriptor === void 0) continue;
+		if ("value" in descriptor && descriptor.value === void 0) continue;
+		const pack = raw;
+		entries.push({
+			id: pack.id,
+			targetId: pack.targetId
+		});
+	}
+	return entries;
+}
+//#endregion
+//#region src/utils/contract-space-aggregate-loader.ts
+/**
+* Render a {@link LoadAggregateError} into a CLI structured-error
+* envelope. Preserves error codes `5001` (layout) and `5002` (marker /
+* disjointness / etc.) so existing integration tests and downstream
+* tooling continue to assert on the same `meta.violations[]` shape
+* they did under the old precheck/marker-check helpers.
+*/
+function mapLoadAggregateError(error) {
+	if (error.kind === "layoutViolation") {
+		const lines = error.violations.map((v) => `- [${v.kind}] ${v.spaceId}`);
+		return new CliStructuredError("5001", error.violations.length === 1 ? "Contract-space layout violation detected" : `Contract-space layout violations detected (${error.violations.length})`, {
+			domain: "MIG",
+			why: `The on-disk \`migrations/\` directory and your \`extensionPacks\` declaration are not in agreement.\n${lines.join("\n")}`,
+			fix: "Run `prisma-next migrate` to materialise on-disk artefacts for declared extensions, or remove the orphan directory.",
+			docsUrl: "https://pris.ly/contract-spaces",
+			meta: { violations: error.violations.map((v) => ({
+				kind: v.kind,
+				spaceId: v.spaceId
+			})) }
+		});
+	}
+	if (error.kind === "disjointnessViolation") return new CliStructuredError("5002", `Contract-space disjointness violation: storage element "${error.element}" claimed by multiple spaces`, {
+		domain: "MIG",
+		why: `Spaces ${error.claimedBy.map((s) => `"${s}"`).join(", ")} all claim the storage element "${error.element}". Each storage element must be owned by exactly one contract space.`,
+		fix: "Update the conflicting contracts so each storage element is claimed by exactly one space.",
+		docsUrl: "https://pris.ly/contract-spaces",
+		meta: { violations: [{
+			kind: "disjointness",
+			spaceId: error.claimedBy.join(","),
+			element: error.element,
+			claimedBy: error.claimedBy
+		}] }
+	});
+	if (error.kind === "integrityFailure") return new CliStructuredError("5002", `Contract-space integrity failure for "${error.spaceId}"`, {
+		domain: "MIG",
+		why: error.detail,
+		fix: "Run `prisma-next migrate` to refresh on-disk artefacts, or restore the on-disk `migrations/` directory from version control.",
+		docsUrl: "https://pris.ly/contract-spaces",
+		meta: { violations: [{
+			kind: "integrity",
+			spaceId: error.spaceId,
+			detail: error.detail
+		}] }
+	});
+	if (error.kind === "validationFailure") return new CliStructuredError("5002", `Contract-space contract validation failed for "${error.spaceId}"`, {
+		domain: "MIG",
+		why: error.detail,
+		fix: "Run `prisma-next migrate` to refresh on-disk artefacts, or fix the extension descriptor producing the invalid contract.",
+		meta: { violations: [{
+			kind: "validation",
+			spaceId: error.spaceId,
+			detail: error.detail
+		}] }
+	});
+	return new CliStructuredError("5002", `Contract-space target mismatch for "${error.spaceId}"`, {
+		domain: "MIG",
+		why: `Space "${error.spaceId}" targets "${error.actual}" but the project's adapter targets "${error.expected}".`,
+		fix: "Update the extension descriptor to target the configured database, or change the project adapter.",
+		meta: { violations: [{
+			kind: "targetMismatch",
+			spaceId: error.spaceId,
+			expected: error.expected,
+			actual: error.actual
+		}] }
+	});
+}
+/**
+* Run the aggregate loader at the CLI surface, mapping any
+* {@link LoadAggregateError} into a {@link CliStructuredError} envelope.
+*
+* App-side migration packages flow through `inputs.appMigrationPackages`
+* (defaulting to `[]`). `db init` / `db update` leave it empty: the
+* planner's `synth` strategy is used for the app member (driven by
+* `callerPolicy.ignoreGraphFor`), so the app's authored `migrations/`
+* graph does not need to be walked. `migration apply` threads the
+* already-loaded app-space packages through so the graph-walk strategy
+* can plot a path through them — replay forbids synth.
+*
+* @see specs/contract-space-aggregate-spec.md § Loader.
+*/
+async function buildContractSpaceAggregate(inputs) {
+	const declaredExtensions = toDeclaredExtensionsFromRaw(inputs.extensionPacks);
+	const result = await loadContractSpaceAggregate({
+		targetId: inputs.targetId,
+		migrationsDir: inputs.migrationsDir,
+		appContract: inputs.appContract,
+		declaredExtensions,
+		validateContract: inputs.validateContract,
+		appMigrationPackages: inputs.appMigrationPackages ?? []
+	});
+	if (!result.ok) return notOk(mapLoadAggregateError(result.failure));
+	return ok(result.value.aggregate);
+}
+//#endregion
+export { toExtensionInputs as n, buildContractSpaceAggregate as t };
+
+//# sourceMappingURL=contract-space-aggregate-loader-BrwKK6Q6.mjs.map

package/dist/contract-space-aggregate-loader-BrwKK6Q6.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-space-aggregate-loader-BrwKK6Q6.mjs","names":[],"sources":["../src/utils/extension-pack-inputs.ts","../src/utils/contract-space-aggregate-loader.ts"],"sourcesContent":["/**\n * Single descriptor-import boundary for CLI consumers of `Config.extensionPacks`.\n *\n * Every CLI command / utility that reads an extension descriptor's\n * `contractSpace` projection (loader, migrate-pass, extension-migrations\n * pass, migration commands) goes through {@link toExtensionInputs}. The\n * structural cast `pack as { contractSpace?: ... }` lives **only** here —\n * downstream code consumes the canonical shape and maps it to its own\n * narrower shape via the per-consumer adapters below.\n *\n * The CLI receives extension descriptors typed against the SQL family\n * (or any other family in the future); this helper only depends on the\n * structural shape of `contractSpace`. SQL-family callers pass the same\n * `contractJson` / `headRef.hash` value through unchanged.\n */\nimport type { DeclaredExtensionEntry } from '@prisma-next/migration-tools/aggregate';\nimport type { MigrationMetadata } from '@prisma-next/migration-tools/metadata';\nimport type { MigrationOps } from '@prisma-next/migration-tools/package';\n\n/**\n * In-memory authored migration package shipped by an extension descriptor.\n * Mirrors the `MigrationPackage` shape from\n * `@prisma-next/framework-components/control` minus `dirPath`; redeclared\n * structurally here so the helper does not couple to the SQL family's\n * `ExtensionMigrationPackage` type.\n */\nexport interface DescriptorMigrationPackage {\n  readonly dirName: string;\n  readonly metadata: MigrationMetadata;\n  readonly ops: MigrationOps;\n}\n\n/**\n * The most-general projection of a single declared extension pack\n * needed by the CLI's descriptor-import boundary.\n *\n * - `id` / `targetId` are always present.\n * - `contractSpace` is present only when the extension declares one.\n *   When present, it carries the canonical inputs every downstream\n *   consumer needs — `contractJson`, `headRef`, and the descriptor's\n *   pre-built migration packages.\n */\nexport interface ExtensionPackInput {\n  readonly id: string;\n  readonly targetId: string;\n  readonly contractSpace?: {\n    readonly contractJson: unknown;\n    readonly headRef: {\n      readonly hash: string;\n      readonly invariants: readonly string[];\n    };\n    readonly migrations: readonly DescriptorMigrationPackage[];\n  };\n}\n\n/**\n * Structural shape we read off each `Config.extensionPacks` entry.\n *\n * The CLI is the descriptor-import boundary; `extensionPacks` is the only\n * surface where the SQL-family-typed `ControlExtensionDescriptor` flows\n * into framework-neutral helpers. The structural cast lives here, and\n * here alone — every other CLI consumer reads the canonical\n * {@link ExtensionPackInput} shape produced by {@link toExtensionInputs}.\n */\ntype ExtensionPackLike = {\n  readonly id: string;\n  readonly targetId: string;\n  readonly contractSpace?: {\n    readonly contractJson: unknown;\n    readonly headRef: {\n      readonly hash: string;\n      readonly invariants: readonly string[];\n    };\n    readonly migrations?: readonly DescriptorMigrationPackage[];\n  };\n};\n\n/**\n * Project the CLI's `Config.extensionPacks` array into the canonical\n * {@link ExtensionPackInput} shape. The single `as ExtensionPackLike`\n * structural cast in the CLI lives inside this function.\n */\nexport function toExtensionInputs(\n  extensionPacks: ReadonlyArray<unknown>,\n): readonly ExtensionPackInput[] {\n  return extensionPacks.map((raw) => {\n    const pack = raw as ExtensionPackLike;\n    if (pack.contractSpace === undefined) {\n      return { id: pack.id, targetId: pack.targetId };\n    }\n    return {\n      id: pack.id,\n      targetId: pack.targetId,\n      contractSpace: {\n        contractJson: pack.contractSpace.contractJson,\n        headRef: pack.contractSpace.headRef,\n        migrations: pack.contractSpace.migrations ?? [],\n      },\n    };\n  });\n}\n\n// ---------------------------------------------------------------------------\n// Per-consumer adapters: take the canonical `ExtensionPackInput[]` and\n// project to whatever narrower shape the downstream primitive needs.\n// ---------------------------------------------------------------------------\n\n/**\n * Aggregate-loader projection. Surfaces `id` + `targetId` per\n * contract-space-bearing extension to\n * {@link import('./contract-space-aggregate-loader').buildContractSpaceAggregate}.\n *\n * Codec-only extensions (no `contractSpace` declaration) are filtered\n * out: they are not contract-space members, so the aggregate loader\n * has nothing to do with them. Filtering happens at this descriptor-\n * import boundary so the loader stays oblivious to that distinction —\n * every entry it sees expects an on-disk `migrations/<id>/` directory.\n */\nexport function toDeclaredExtensions(\n  inputs: ReadonlyArray<ExtensionPackInput>,\n): readonly DeclaredExtensionEntry[] {\n  const entries: DeclaredExtensionEntry[] = [];\n  for (const pack of inputs) {\n    if (pack.contractSpace === undefined) continue;\n    entries.push({ id: pack.id, targetId: pack.targetId });\n  }\n  return entries;\n}\n\n/**\n * Minimal aggregate-loader projection that extracts `id` + `targetId`\n * from raw extension pack descriptors **without invoking any\n * `contractSpace` accessor**. Inspects the own-property descriptor so\n * that getter-backed `contractSpace` declarations are detected but\n * never called.\n *\n * Inclusion semantics match {@link toDeclaredExtensions}: a data\n * property whose value is explicitly `undefined` is treated as \"no\n * contract-space declaration\" and skipped, mirroring the\n * `pack.contractSpace === undefined` check used on canonicalised\n * inputs. Prototype-chain `contractSpace` properties (no own\n * descriptor) are also skipped.\n *\n * This variant must be used by `buildContractSpaceAggregate` so that\n * the aggregate path (including `db verify`) never reads\n * `contractSpace.contractJson` from extension descriptors — the loader\n * always reads the contract from on-disk artefacts instead.\n */\nexport function toDeclaredExtensionsFromRaw(\n  extensionPacks: ReadonlyArray<unknown>,\n): readonly DeclaredExtensionEntry[] {\n  const entries: DeclaredExtensionEntry[] = [];\n  for (const raw of extensionPacks) {\n    if (typeof raw !== 'object' || raw === null) continue;\n    const descriptor = Object.getOwnPropertyDescriptor(raw, 'contractSpace');\n    if (descriptor === undefined) continue;\n    if ('value' in descriptor && descriptor.value === undefined) continue;\n    const pack = raw as { readonly id: string; readonly targetId: string };\n    entries.push({ id: pack.id, targetId: pack.targetId });\n  }\n  return entries;\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { ControlExtensionDescriptor } from '@prisma-next/framework-components/control';\nimport type {\n  ContractSpaceAggregate,\n  LoadAggregateError,\n  LoadAggregateInput,\n  LoadAggregateOutput,\n} from '@prisma-next/migration-tools/aggregate';\nimport { loadContractSpaceAggregate } from '@prisma-next/migration-tools/aggregate';\nimport type { OnDiskMigrationPackage } from '@prisma-next/migration-tools/package';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { CliStructuredError } from './cli-errors';\nimport { toDeclaredExtensionsFromRaw } from './extension-pack-inputs';\n\n/**\n * Render a {@link LoadAggregateError} into a CLI structured-error\n * envelope. Preserves error codes `5001` (layout) and `5002` (marker /\n * disjointness / etc.) so existing integration tests and downstream\n * tooling continue to assert on the same `meta.violations[]` shape\n * they did under the old precheck/marker-check helpers.\n */\nexport function mapLoadAggregateError(error: LoadAggregateError): CliStructuredError {\n  if (error.kind === 'layoutViolation') {\n    const lines = error.violations.map((v) => `- [${v.kind}] ${v.spaceId}`);\n    const summary =\n      error.violations.length === 1\n        ? 'Contract-space layout violation detected'\n        : `Contract-space layout violations detected (${error.violations.length})`;\n    return new CliStructuredError('5001', summary, {\n      domain: 'MIG',\n      why: `The on-disk \\`migrations/\\` directory and your \\`extensionPacks\\` declaration are not in agreement.\\n${lines.join('\\n')}`,\n      fix: 'Run `prisma-next migrate` to materialise on-disk artefacts for declared extensions, or remove the orphan directory.',\n      docsUrl: 'https://pris.ly/contract-spaces',\n      meta: {\n        violations: error.violations.map((v) => ({\n          kind: v.kind,\n          spaceId: v.spaceId,\n        })),\n      },\n    });\n  }\n  if (error.kind === 'disjointnessViolation') {\n    return new CliStructuredError(\n      '5002',\n      `Contract-space disjointness violation: storage element \"${error.element}\" claimed by multiple spaces`,\n      {\n        domain: 'MIG',\n        why: `Spaces ${error.claimedBy.map((s) => `\"${s}\"`).join(', ')} all claim the storage element \"${error.element}\". Each storage element must be owned by exactly one contract space.`,\n        fix: 'Update the conflicting contracts so each storage element is claimed by exactly one space.',\n        docsUrl: 'https://pris.ly/contract-spaces',\n        meta: {\n          violations: [\n            {\n              kind: 'disjointness',\n              spaceId: error.claimedBy.join(','),\n              element: error.element,\n              claimedBy: error.claimedBy,\n            },\n          ],\n        },\n      },\n    );\n  }\n  if (error.kind === 'integrityFailure') {\n    return new CliStructuredError(\n      '5002',\n      `Contract-space integrity failure for \"${error.spaceId}\"`,\n      {\n        domain: 'MIG',\n        why: error.detail,\n        fix: 'Run `prisma-next migrate` to refresh on-disk artefacts, or restore the on-disk `migrations/` directory from version control.',\n        docsUrl: 'https://pris.ly/contract-spaces',\n        meta: {\n          violations: [{ kind: 'integrity', spaceId: error.spaceId, detail: error.detail }],\n        },\n      },\n    );\n  }\n  if (error.kind === 'validationFailure') {\n    return new CliStructuredError(\n      '5002',\n      `Contract-space contract validation failed for \"${error.spaceId}\"`,\n      {\n        domain: 'MIG',\n        why: error.detail,\n        fix: 'Run `prisma-next migrate` to refresh on-disk artefacts, or fix the extension descriptor producing the invalid contract.',\n        meta: {\n          violations: [{ kind: 'validation', spaceId: error.spaceId, detail: error.detail }],\n        },\n      },\n    );\n  }\n  // targetMismatch\n  return new CliStructuredError('5002', `Contract-space target mismatch for \"${error.spaceId}\"`, {\n    domain: 'MIG',\n    why: `Space \"${error.spaceId}\" targets \"${error.actual}\" but the project's adapter targets \"${error.expected}\".`,\n    fix: 'Update the extension descriptor to target the configured database, or change the project adapter.',\n    meta: {\n      violations: [\n        {\n          kind: 'targetMismatch',\n          spaceId: error.spaceId,\n          expected: error.expected,\n          actual: error.actual,\n        },\n      ],\n    },\n  });\n}\n\n/**\n * Inputs needed to compose the aggregate loader at the CLI surface.\n *\n * Keeps the loader framework-neutral (no `Config` import) by accepting\n * already-resolved structural inputs: validated app contract, target\n * id, migrations root directory, and the set of extension descriptors.\n */\nexport interface BuildAggregateInputs<TFamilyId extends string, TTargetId extends string> {\n  readonly targetId: TTargetId;\n  readonly migrationsDir: string;\n  readonly appContract: Contract;\n  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly validateContract: (contractJson: unknown) => Contract;\n  /**\n   * App-space migration packages to hydrate the app member's\n   * migration graph with. Defaults to `[]` (matches the `db init` /\n   * `db update` daily-driver behaviour, where the app's authored\n   * `migrations/` graph is not walked — the planner uses the synth\n   * strategy for the app member instead).\n   *\n   * `migration apply` callers thread the user's authored app-space\n   * packages (loaded via `loadMigrationPackages(appMigrationsDir)`)\n   * through here so the graph-walk strategy can plot a path through\n   * them — the prod-time replay path explicitly forbids synth.\n   */\n  readonly appMigrationPackages?: ReadonlyArray<OnDiskMigrationPackage>;\n}\n\n/**\n * Run the aggregate loader at the CLI surface, mapping any\n * {@link LoadAggregateError} into a {@link CliStructuredError} envelope.\n *\n * App-side migration packages flow through `inputs.appMigrationPackages`\n * (defaulting to `[]`). `db init` / `db update` leave it empty: the\n * planner's `synth` strategy is used for the app member (driven by\n * `callerPolicy.ignoreGraphFor`), so the app's authored `migrations/`\n * graph does not need to be walked. `migration apply` threads the\n * already-loaded app-space packages through so the graph-walk strategy\n * can plot a path through them — replay forbids synth.\n *\n * @see specs/contract-space-aggregate-spec.md § Loader.\n */\nexport async function buildContractSpaceAggregate<\n  TFamilyId extends string,\n  TTargetId extends string,\n>(\n  inputs: BuildAggregateInputs<TFamilyId, TTargetId>,\n): Promise<Result<ContractSpaceAggregate, CliStructuredError>> {\n  const declaredExtensions = toDeclaredExtensionsFromRaw(\n    inputs.extensionPacks as ReadonlyArray<unknown>,\n  );\n\n  const loadInput: LoadAggregateInput = {\n    targetId: inputs.targetId,\n    migrationsDir: inputs.migrationsDir,\n    appContract: inputs.appContract,\n    declaredExtensions,\n    validateContract: inputs.validateContract,\n    appMigrationPackages: inputs.appMigrationPackages ?? [],\n  };\n\n  const result: LoadAggregateOutput = await loadContractSpaceAggregate(loadInput);\n  if (!result.ok) {\n    return notOk(mapLoadAggregateError(result.failure));\n  }\n  return ok(result.value.aggregate);\n}\n"],"mappings":";;;;;;;;;AAkFA,SAAgB,kBACd,gBAC+B;CAC/B,OAAO,eAAe,KAAK,QAAQ;EACjC,MAAM,OAAO;EACb,IAAI,KAAK,kBAAkB,KAAA,GACzB,OAAO;GAAE,IAAI,KAAK;GAAI,UAAU,KAAK;GAAU;EAEjD,OAAO;GACL,IAAI,KAAK;GACT,UAAU,KAAK;GACf,eAAe;IACb,cAAc,KAAK,cAAc;IACjC,SAAS,KAAK,cAAc;IAC5B,YAAY,KAAK,cAAc,cAAc,EAAE;IAChD;GACF;GACD;;;;;;;;;;;;;;;;;;;;;AAiDJ,SAAgB,4BACd,gBACmC;CACnC,MAAM,UAAoC,EAAE;CAC5C,KAAK,MAAM,OAAO,gBAAgB;EAChC,IAAI,OAAO,QAAQ,YAAY,QAAQ,MAAM;EAC7C,MAAM,aAAa,OAAO,yBAAyB,KAAK,gBAAgB;EACxE,IAAI,eAAe,KAAA,GAAW;EAC9B,IAAI,WAAW,cAAc,WAAW,UAAU,KAAA,GAAW;EAC7D,MAAM,OAAO;EACb,QAAQ,KAAK;GAAE,IAAI,KAAK;GAAI,UAAU,KAAK;GAAU,CAAC;;CAExD,OAAO;;;;;;;;;;;AC3IT,SAAgB,sBAAsB,OAA+C;CACnF,IAAI,MAAM,SAAS,mBAAmB;EACpC,MAAM,QAAQ,MAAM,WAAW,KAAK,MAAM,MAAM,EAAE,KAAK,IAAI,EAAE,UAAU;EAKvE,OAAO,IAAI,mBAAmB,QAH5B,MAAM,WAAW,WAAW,IACxB,6CACA,8CAA8C,MAAM,WAAW,OAAO,IAC7B;GAC7C,QAAQ;GACR,KAAK,wGAAwG,MAAM,KAAK,KAAK;GAC7H,KAAK;GACL,SAAS;GACT,MAAM,EACJ,YAAY,MAAM,WAAW,KAAK,OAAO;IACvC,MAAM,EAAE;IACR,SAAS,EAAE;IACZ,EAAE,EACJ;GACF,CAAC;;CAEJ,IAAI,MAAM,SAAS,yBACjB,OAAO,IAAI,mBACT,QACA,2DAA2D,MAAM,QAAQ,+BACzE;EACE,QAAQ;EACR,KAAK,UAAU,MAAM,UAAU,KAAK,MAAM,IAAI,EAAE,GAAG,CAAC,KAAK,KAAK,CAAC,kCAAkC,MAAM,QAAQ;EAC/G,KAAK;EACL,SAAS;EACT,MAAM,EACJ,YAAY,CACV;GACE,MAAM;GACN,SAAS,MAAM,UAAU,KAAK,IAAI;GAClC,SAAS,MAAM;GACf,WAAW,MAAM;GAClB,CACF,EACF;EACF,CACF;CAEH,IAAI,MAAM,SAAS,oBACjB,OAAO,IAAI,mBACT,QACA,yCAAyC,MAAM,QAAQ,IACvD;EACE,QAAQ;EACR,KAAK,MAAM;EACX,KAAK;EACL,SAAS;EACT,MAAM,EACJ,YAAY,CAAC;GAAE,MAAM;GAAa,SAAS,MAAM;GAAS,QAAQ,MAAM;GAAQ,CAAC,EAClF;EACF,CACF;CAEH,IAAI,MAAM,SAAS,qBACjB,OAAO,IAAI,mBACT,QACA,kDAAkD,MAAM,QAAQ,IAChE;EACE,QAAQ;EACR,KAAK,MAAM;EACX,KAAK;EACL,MAAM,EACJ,YAAY,CAAC;GAAE,MAAM;GAAc,SAAS,MAAM;GAAS,QAAQ,MAAM;GAAQ,CAAC,EACnF;EACF,CACF;CAGH,OAAO,IAAI,mBAAmB,QAAQ,uCAAuC,MAAM,QAAQ,IAAI;EAC7F,QAAQ;EACR,KAAK,UAAU,MAAM,QAAQ,aAAa,MAAM,OAAO,uCAAuC,MAAM,SAAS;EAC7G,KAAK;EACL,MAAM,EACJ,YAAY,CACV;GACE,MAAM;GACN,SAAS,MAAM;GACf,UAAU,MAAM;GAChB,QAAQ,MAAM;GACf,CACF,EACF;EACF,CAAC;;;;;;;;;;;;;;;;AA6CJ,eAAsB,4BAIpB,QAC6D;CAC7D,MAAM,qBAAqB,4BACzB,OAAO,eACR;CAWD,MAAM,SAA8B,MAAM,2BAA2B;EARnE,UAAU,OAAO;EACjB,eAAe,OAAO;EACtB,aAAa,OAAO;EACpB;EACA,kBAAkB,OAAO;EACzB,sBAAsB,OAAO,wBAAwB,EAAE;EAGqB,CAAC;CAC/E,IAAI,CAAC,OAAO,IACV,OAAO,MAAM,sBAAsB,OAAO,QAAQ,CAAC;CAErD,OAAO,GAAG,OAAO,MAAM,UAAU"}