@prisma-next/cli 0.4.0-dev.9 → 0.4.2

package/dist/{contract-emit-CKig_Lra.mjs → contract-emit-V5SSitUT.mjs}

@@ -1,11 +1,11 @@
-import { t as loadConfig } from "./config-loader-C4VXKl8f.mjs";
-import { h as errorRuntime, i as errorContractConfigMissing } from "./cli-errors-BUuJr6py.mjs";
-import { t as assertFrameworkComponentsCompatible } from "./framework-components-Bsr1GaIj.mjs";
-import { t as enrichContract } from "./contract-enrichment-CGW6mm-E.mjs";
-import { dirname, isAbsolute, join, resolve } from "pathe";
-import { emit } from "@prisma-next/emitter";
-import { createControlStack } from "@prisma-next/framework-components/control";
+import { t as loadConfig } from "./config-loader-C25b63rJ.mjs";
+import { i as errorContractConfigMissing, m as errorRuntime } from "./cli-errors-Cd79vmTH.mjs";
+import { t as assertFrameworkComponentsCompatible } from "./framework-components-Cr--XBKy.mjs";
+import { t as enrichContract } from "./contract-enrichment-CAOELa-H.mjs";
+import { emit, getEmittedArtifactPaths } from "@prisma-next/emitter";
+import { dirname } from "pathe";
 import { ifDefined } from "@prisma-next/utils/defined";
+import { createControlStack } from "@prisma-next/framework-components/control";
 import { mkdir, writeFile } from "node:fs/promises";
 import { abortable } from "@prisma-next/utils/abortable";
 
@@ -43,40 +43,44 @@ async function executeContractEmit(options) {
 	if (!config.contract) throw errorContractConfigMissing({ why: "Config.contract is required for emit. Define it in your config: contract: { source: ..., output: ... }" });
 	const contractConfig = config.contract;
 	if (!contractConfig.output) throw errorContractConfigMissing({ why: "Contract config must have output path. This should not happen if defineConfig() was used." });
-	if (!contractConfig.output.endsWith(".json")) throw errorContractConfigMissing({ why: "Contract config output path must end with .json (e.g., \"src/prisma/contract.json\")" });
-	if (typeof contractConfig.source !== "function") throw errorContractConfigMissing({ why: "Contract config must include a valid source provider function" });
-	const configDir = dirname(resolve(configPath));
-	const outputJsonPath = isAbsolute(contractConfig.output) ? contractConfig.output : join(configDir, contractConfig.output);
-	const outputDtsPath = `${outputJsonPath.slice(0, -5)}.d.ts`;
+	if (typeof contractConfig.source?.load !== "function") throw errorContractConfigMissing({ why: "Contract config must include a valid source provider object" });
+	let outputPaths;
+	try {
+		outputPaths = getEmittedArtifactPaths(contractConfig.output);
+	} catch (error) {
+		throw errorContractConfigMissing({ why: error instanceof Error ? error.message : String(error) });
+	}
+	const { jsonPath: outputJsonPath, dtsPath: outputDtsPath } = outputPaths;
 	const stack = createControlStack(config);
 	const sourceContext = {
 		composedExtensionPacks: stack.extensionPacks.map((p) => p.id),
 		scalarTypeDescriptors: stack.scalarTypeDescriptors,
 		authoringContributions: stack.authoringContributions,
 		codecLookup: stack.codecLookup,
-		controlMutationDefaults: stack.controlMutationDefaults
+		controlMutationDefaults: stack.controlMutationDefaults,
+		resolvedInputs: contractConfig.source.inputs ?? []
 	};
 	let providerResult;
 	try {
-		providerResult = await unlessAborted(contractConfig.source(sourceContext));
+		providerResult = await unlessAborted(contractConfig.source.load(sourceContext));
 	} catch (error) {
 		if (signal.aborted || isAbortError(error)) throw error;
 		throw errorRuntime("Failed to resolve contract source", {
 			why: error instanceof Error ? error.message : String(error),
-			fix: "Ensure contract.source resolves to ok(Contract) or returns structured diagnostics."
+			fix: "Ensure contract.source.load resolves to ok(Contract) or returns structured diagnostics."
 		});
 	}
 	if (!isRecord(providerResult) || typeof providerResult.ok !== "boolean") throw errorRuntime("Failed to resolve contract source", {
 		why: "Contract source provider returned malformed result shape.",
-		fix: "Ensure contract.source resolves to ok(Contract) or notOk({ summary, diagnostics })."
+		fix: "Ensure contract.source.load resolves to ok(Contract) or notOk({ summary, diagnostics })."
 	});
 	if (providerResult.ok && !("value" in providerResult)) throw errorRuntime("Failed to resolve contract source", {
 		why: "Contract source provider returned malformed success result: missing value.",
-		fix: "Ensure contract.source success payload is ok(Contract)."
+		fix: "Ensure contract.source.load success payload is ok(Contract)."
 	});
 	if (!providerResult.ok && !isProviderFailureLike(providerResult.failure)) throw errorRuntime("Failed to resolve contract source", {
 		why: "Contract source provider returned malformed failure result: expected summary and diagnostics.",
-		fix: "Ensure contract.source failure payload is notOk({ summary, diagnostics, meta? })."
+		fix: "Ensure contract.source.load failure payload is notOk({ summary, diagnostics, meta? })."
 	});
 	if (!providerResult.ok) throw errorRuntime("Failed to resolve contract source", {
 		why: providerResult.failure.summary,
@@ -95,11 +99,11 @@ async function executeContractEmit(options) {
 	const frameworkComponents = assertFrameworkComponentsCompatible(config.family.familyId, config.target.targetId, rawComponents);
 	const enrichedIR = enrichContract(providerResult.value, frameworkComponents);
 	familyInstance.validateContract(enrichedIR);
-	const emitResult = await unlessAborted(emit(enrichedIR, stack, config.family.emission));
+	const emitResult = await unlessAborted(emit(enrichedIR, stack, config.family.emission, { outputJsonPath }));
 	await unlessAborted(mkdir(dirname(outputJsonPath), { recursive: true }));
 	await unlessAborted(writeFile(outputJsonPath, emitResult.contractJson, "utf-8"));
 	await unlessAborted(writeFile(outputDtsPath, emitResult.contractDts, "utf-8"));
-	const { validateContractDeps } = await import("./validate-contract-deps-DBH6iTAD.mjs");
+	const { validateContractDeps } = await import("./validate-contract-deps-B_Cs29TL.mjs");
 	const depsValidation = validateContractDeps(emitResult.contractDts, dirname(outputDtsPath));
 	if (depsValidation.warning) process.stderr.write(`\n⚠ ${depsValidation.warning}\n`);
 	return {
@@ -115,4 +119,4 @@ async function executeContractEmit(options) {
 
 //#endregion
 export { executeContractEmit as t };
-//# sourceMappingURL=contract-emit-CKig_Lra.mjs.map
+//# sourceMappingURL=contract-emit-V5SSitUT.mjs.map

package/dist/contract-emit-V5SSitUT.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-emit-V5SSitUT.mjs","names":["outputPaths: ReturnType<typeof getEmittedArtifactPaths>","providerResult: Awaited<ReturnType<typeof contractConfig.source.load>>"],"sources":["../src/control-api/operations/contract-emit.ts"],"sourcesContent":["import { mkdir, writeFile } from 'node:fs/promises';\nimport type { Contract } from '@prisma-next/contract/types';\nimport { emit, getEmittedArtifactPaths } from '@prisma-next/emitter';\nimport { createControlStack } from '@prisma-next/framework-components/control';\nimport { abortable } from '@prisma-next/utils/abortable';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { dirname } from 'pathe';\nimport { loadConfig } from '../../config-loader';\nimport { errorContractConfigMissing, errorRuntime } from '../../utils/cli-errors';\nimport { assertFrameworkComponentsCompatible } from '../../utils/framework-components';\nimport { enrichContract } from '../contract-enrichment';\nimport type { ContractEmitOptions, ContractEmitResult } from '../types';\n\ninterface ProviderFailureLike {\n  readonly summary: string;\n  readonly diagnostics: readonly unknown[];\n  readonly meta?: unknown;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null;\n}\n\nfunction isAbortError(error: unknown): boolean {\n  return isRecord(error) && typeof error['name'] === 'string' && error['name'] === 'AbortError';\n}\n\nfunction isProviderFailureLike(value: unknown): value is ProviderFailureLike {\n  return (\n    isRecord(value) && typeof value['summary'] === 'string' && Array.isArray(value['diagnostics'])\n  );\n}\n\n/**\n * Executes the contract emit operation.\n *\n * This is an offline operation that:\n * 1. Loads the Prisma Next config from the specified path\n * 2. Resolves the contract source from config\n * 3. Creates a control plane stack and family instance\n * 4. Emits contract artifacts (JSON and DTS)\n * 5. Writes files to the paths specified in config\n *\n * Supports AbortSignal for cancellation, enabling \"last change wins\" behavior.\n *\n * @param options - Options including configPath and optional signal\n * @returns File paths and hashes of emitted artifacts\n * @throws If config loading fails, contract is invalid, or file I/O fails\n * @throws signal.reason if cancelled via AbortSignal (typically DOMException with name 'AbortError')\n */\nexport async function executeContractEmit(\n  options: ContractEmitOptions,\n): Promise<ContractEmitResult> {\n  const { configPath, signal = new AbortController().signal } = options;\n  const unlessAborted = abortable(signal);\n\n  // Load config using the existing config loader\n  const config = await unlessAborted(loadConfig(configPath));\n\n  // Validate contract config is present\n  if (!config.contract) {\n    throw errorContractConfigMissing({\n      why: 'Config.contract is required for emit. Define it in your config: contract: { source: ..., output: ... }',\n    });\n  }\n\n  const contractConfig = config.contract;\n\n  // Validate output path is present and ends with .json\n  if (!contractConfig.output) {\n    throw errorContractConfigMissing({\n      why: 'Contract config must have output path. This should not happen if defineConfig() was used.',\n    });\n  }\n\n  // Validate source exists and is callable\n  if (typeof contractConfig.source?.load !== 'function') {\n    throw errorContractConfigMissing({\n      why: 'Contract config must include a valid source provider object',\n    });\n  }\n\n  let outputPaths: ReturnType<typeof getEmittedArtifactPaths>;\n  try {\n    outputPaths = getEmittedArtifactPaths(contractConfig.output);\n  } catch (error) {\n    throw errorContractConfigMissing({\n      why: error instanceof Error ? error.message : String(error),\n    });\n  }\n  const { jsonPath: outputJsonPath, dtsPath: outputDtsPath } = outputPaths;\n\n  const stack = createControlStack(config);\n\n  const sourceContext = {\n    composedExtensionPacks: stack.extensionPacks.map((p) => p.id),\n    scalarTypeDescriptors: stack.scalarTypeDescriptors,\n    authoringContributions: stack.authoringContributions,\n    codecLookup: stack.codecLookup,\n    controlMutationDefaults: stack.controlMutationDefaults,\n    resolvedInputs: contractConfig.source.inputs ?? [],\n  };\n\n  let providerResult: Awaited<ReturnType<typeof contractConfig.source.load>>;\n  try {\n    providerResult = await unlessAborted(contractConfig.source.load(sourceContext));\n  } catch (error) {\n    if (signal.aborted || isAbortError(error)) {\n      throw error;\n    }\n    throw errorRuntime('Failed to resolve contract source', {\n      why: error instanceof Error ? error.message : String(error),\n      fix: 'Ensure contract.source.load resolves to ok(Contract) or returns structured diagnostics.',\n    });\n  }\n\n  if (!isRecord(providerResult) || typeof providerResult.ok !== 'boolean') {\n    throw errorRuntime('Failed to resolve contract source', {\n      why: 'Contract source provider returned malformed result shape.',\n      fix: 'Ensure contract.source.load resolves to ok(Contract) or notOk({ summary, diagnostics }).',\n    });\n  }\n\n  if (providerResult.ok && !('value' in providerResult)) {\n    throw errorRuntime('Failed to resolve contract source', {\n      why: 'Contract source provider returned malformed success result: missing value.',\n      fix: 'Ensure contract.source.load success payload is ok(Contract).',\n    });\n  }\n\n  if (!providerResult.ok && !isProviderFailureLike(providerResult.failure)) {\n    throw errorRuntime('Failed to resolve contract source', {\n      why: 'Contract source provider returned malformed failure result: expected summary and diagnostics.',\n      fix: 'Ensure contract.source.load failure payload is notOk({ summary, diagnostics, meta? }).',\n    });\n  }\n\n  if (!providerResult.ok) {\n    throw errorRuntime('Failed to resolve contract source', {\n      why: providerResult.failure.summary,\n      fix: 'Fix contract source diagnostics and return ok(Contract).',\n      meta: {\n        diagnostics: providerResult.failure.diagnostics,\n        ...ifDefined('providerMeta', providerResult.failure.meta),\n      },\n    });\n  }\n\n  const familyInstance = config.family.create(stack);\n\n  const rawComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];\n  const frameworkComponents = assertFrameworkComponentsCompatible(\n    config.family.familyId,\n    config.target.targetId,\n    rawComponents,\n  );\n  const enrichedIR = enrichContract(providerResult.value as Contract, frameworkComponents);\n\n  familyInstance.validateContract(enrichedIR);\n  const emitResult = await unlessAborted(\n    emit(enrichedIR, stack, config.family.emission, {\n      outputJsonPath: outputJsonPath,\n    }),\n  );\n\n  // Create directory if needed and write files (both colocated)\n  await unlessAborted(mkdir(dirname(outputJsonPath), { recursive: true }));\n  await unlessAborted(writeFile(outputJsonPath, emitResult.contractJson, 'utf-8'));\n  await unlessAborted(writeFile(outputDtsPath, emitResult.contractDts, 'utf-8'));\n\n  // Validate that contract.d.ts type imports are resolvable\n  const { validateContractDeps } = await import('../../utils/validate-contract-deps');\n  const depsValidation = validateContractDeps(emitResult.contractDts, dirname(outputDtsPath));\n  if (depsValidation.warning) {\n    process.stderr.write(`\\n⚠ ${depsValidation.warning}\\n`);\n  }\n\n  return {\n    storageHash: emitResult.storageHash,\n    ...ifDefined('executionHash', emitResult.executionHash),\n    profileHash: emitResult.profileHash,\n    files: {\n      json: outputJsonPath,\n      dts: outputDtsPath,\n    },\n  };\n}\n"],"mappings":";;;;;;;;;;;;AAmBA,SAAS,SAAS,OAAkD;AAClE,QAAO,OAAO,UAAU,YAAY,UAAU;;AAGhD,SAAS,aAAa,OAAyB;AAC7C,QAAO,SAAS,MAAM,IAAI,OAAO,MAAM,YAAY,YAAY,MAAM,YAAY;;AAGnF,SAAS,sBAAsB,OAA8C;AAC3E,QACE,SAAS,MAAM,IAAI,OAAO,MAAM,eAAe,YAAY,MAAM,QAAQ,MAAM,eAAe;;;;;;;;;;;;;;;;;;;AAqBlG,eAAsB,oBACpB,SAC6B;CAC7B,MAAM,EAAE,YAAY,SAAS,IAAI,iBAAiB,CAAC,WAAW;CAC9D,MAAM,gBAAgB,UAAU,OAAO;CAGvC,MAAM,SAAS,MAAM,cAAc,WAAW,WAAW,CAAC;AAG1D,KAAI,CAAC,OAAO,SACV,OAAM,2BAA2B,EAC/B,KAAK,0GACN,CAAC;CAGJ,MAAM,iBAAiB,OAAO;AAG9B,KAAI,CAAC,eAAe,OAClB,OAAM,2BAA2B,EAC/B,KAAK,6FACN,CAAC;AAIJ,KAAI,OAAO,eAAe,QAAQ,SAAS,WACzC,OAAM,2BAA2B,EAC/B,KAAK,+DACN,CAAC;CAGJ,IAAIA;AACJ,KAAI;AACF,gBAAc,wBAAwB,eAAe,OAAO;UACrD,OAAO;AACd,QAAM,2BAA2B,EAC/B,KAAK,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC5D,CAAC;;CAEJ,MAAM,EAAE,UAAU,gBAAgB,SAAS,kBAAkB;CAE7D,MAAM,QAAQ,mBAAmB,OAAO;CAExC,MAAM,gBAAgB;EACpB,wBAAwB,MAAM,eAAe,KAAK,MAAM,EAAE,GAAG;EAC7D,uBAAuB,MAAM;EAC7B,wBAAwB,MAAM;EAC9B,aAAa,MAAM;EACnB,yBAAyB,MAAM;EAC/B,gBAAgB,eAAe,OAAO,UAAU,EAAE;EACnD;CAED,IAAIC;AACJ,KAAI;AACF,mBAAiB,MAAM,cAAc,eAAe,OAAO,KAAK,cAAc,CAAC;UACxE,OAAO;AACd,MAAI,OAAO,WAAW,aAAa,MAAM,CACvC,OAAM;AAER,QAAM,aAAa,qCAAqC;GACtD,KAAK,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;GAC3D,KAAK;GACN,CAAC;;AAGJ,KAAI,CAAC,SAAS,eAAe,IAAI,OAAO,eAAe,OAAO,UAC5D,OAAM,aAAa,qCAAqC;EACtD,KAAK;EACL,KAAK;EACN,CAAC;AAGJ,KAAI,eAAe,MAAM,EAAE,WAAW,gBACpC,OAAM,aAAa,qCAAqC;EACtD,KAAK;EACL,KAAK;EACN,CAAC;AAGJ,KAAI,CAAC,eAAe,MAAM,CAAC,sBAAsB,eAAe,QAAQ,CACtE,OAAM,aAAa,qCAAqC;EACtD,KAAK;EACL,KAAK;EACN,CAAC;AAGJ,KAAI,CAAC,eAAe,GAClB,OAAM,aAAa,qCAAqC;EACtD,KAAK,eAAe,QAAQ;EAC5B,KAAK;EACL,MAAM;GACJ,aAAa,eAAe,QAAQ;GACpC,GAAG,UAAU,gBAAgB,eAAe,QAAQ,KAAK;GAC1D;EACF,CAAC;CAGJ,MAAM,iBAAiB,OAAO,OAAO,OAAO,MAAM;CAElD,MAAM,gBAAgB;EAAC,OAAO;EAAQ,OAAO;EAAS,GAAI,OAAO,kBAAkB,EAAE;EAAE;CACvF,MAAM,sBAAsB,oCAC1B,OAAO,OAAO,UACd,OAAO,OAAO,UACd,cACD;CACD,MAAM,aAAa,eAAe,eAAe,OAAmB,oBAAoB;AAExF,gBAAe,iBAAiB,WAAW;CAC3C,MAAM,aAAa,MAAM,cACvB,KAAK,YAAY,OAAO,OAAO,OAAO,UAAU,EAC9B,gBACjB,CAAC,CACH;AAGD,OAAM,cAAc,MAAM,QAAQ,eAAe,EAAE,EAAE,WAAW,MAAM,CAAC,CAAC;AACxE,OAAM,cAAc,UAAU,gBAAgB,WAAW,cAAc,QAAQ,CAAC;AAChF,OAAM,cAAc,UAAU,eAAe,WAAW,aAAa,QAAQ,CAAC;CAG9E,MAAM,EAAE,yBAAyB,MAAM,OAAO;CAC9C,MAAM,iBAAiB,qBAAqB,WAAW,aAAa,QAAQ,cAAc,CAAC;AAC3F,KAAI,eAAe,QACjB,SAAQ,OAAO,MAAM,OAAO,eAAe,QAAQ,IAAI;AAGzD,QAAO;EACL,aAAa,WAAW;EACxB,GAAG,UAAU,iBAAiB,WAAW,cAAc;EACvD,aAAa,WAAW;EACxB,OAAO;GACL,MAAM;GACN,KAAK;GACN;EACF"}

package/dist/{contract-enrichment-CGW6mm-E.mjs → contract-enrichment-CAOELa-H.mjs}

@@ -76,4 +76,4 @@ function enrichContract(ir, components) {
 
 //#endregion
 export { enrichContract as t };
-//# sourceMappingURL=contract-enrichment-CGW6mm-E.mjs.map
+//# sourceMappingURL=contract-enrichment-CAOELa-H.mjs.map

package/dist/{contract-enrichment-CGW6mm-E.mjs.map → contract-enrichment-CAOELa-H.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"contract-enrichment-CGW6mm-E.mjs","names":["next: Record<string, unknown>","out: CapabilityMatrix","caps: Record<string, boolean>","next: CapabilityMatrix","base: Record<string, unknown>","extensionPacksMeta: Record<string, unknown>"],"sources":["../src/control-api/contract-enrichment.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\n\ntype CapabilityMatrix = Record<string, Record<string, boolean>>;\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nfunction sortDeep(value: unknown): unknown {\n  if (Array.isArray(value)) {\n    return value.map(sortDeep);\n  }\n  if (!isPlainObject(value)) {\n    return value;\n  }\n  const entries = Object.entries(value).sort(([a], [b]) => a.localeCompare(b));\n  const next: Record<string, unknown> = {};\n  for (const [key, child] of entries) {\n    next[key] = sortDeep(child);\n  }\n  return next;\n}\n\nfunction sortDeepTyped<T>(value: T): T {\n  return sortDeep(value) as T;\n}\n\nfunction extractCapabilityMatrix(value: unknown): CapabilityMatrix {\n  if (!isPlainObject(value)) return {};\n\n  const out: CapabilityMatrix = {};\n  for (const [namespace, maybeCaps] of Object.entries(value)) {\n    if (!isPlainObject(maybeCaps)) continue;\n    const caps: Record<string, boolean> = {};\n    for (const [key, flag] of Object.entries(maybeCaps)) {\n      if (typeof flag === 'boolean') {\n        caps[key] = flag;\n      }\n    }\n    if (Object.keys(caps).length > 0) {\n      out[namespace] = caps;\n    }\n  }\n\n  return out;\n}\n\nfunction mergeCapabilities(left: CapabilityMatrix, right: CapabilityMatrix): CapabilityMatrix {\n  const next: CapabilityMatrix = { ...left };\n  for (const [namespace, capabilities] of Object.entries(right)) {\n    next[namespace] = {\n      ...(left[namespace] ?? {}),\n      ...capabilities,\n    };\n  }\n  return next;\n}\n\nfunction extractExtensionPackMeta(\n  component: TargetBoundComponentDescriptor<string, string>,\n): Record<string, unknown> {\n  const { kind, id, version, capabilities, types } = component;\n  const base: Record<string, unknown> = {\n    kind,\n    id,\n    familyId: component.familyId,\n    targetId: component.targetId,\n    version,\n  };\n  if (capabilities) {\n    base['capabilities'] = capabilities;\n  }\n  if (types) {\n    if (types.codecTypes) {\n      const { controlPlaneHooks: _, codecInstances: _ci, ...cleanedCodecTypes } = types.codecTypes;\n      base['types'] = { ...types, codecTypes: cleanedCodecTypes };\n    } else {\n      base['types'] = types;\n    }\n  }\n  return base;\n}\n\n/**\n * Enriches a raw contract with framework-derived metadata:\n * capabilities from all component descriptors and extension pack metadata\n * from extension descriptors. Produces deterministically sorted output.\n */\nexport function enrichContract(\n  ir: Contract,\n  components: ReadonlyArray<TargetBoundComponentDescriptor<string, string>>,\n): Contract {\n  let mergedCapabilities = ir.capabilities;\n  const extensionPacksMeta: Record<string, unknown> = {};\n\n  for (const component of components) {\n    if (component.capabilities) {\n      mergedCapabilities = mergeCapabilities(\n        mergedCapabilities,\n        extractCapabilityMatrix(component.capabilities),\n      );\n    }\n    if (component.kind === 'extension') {\n      extensionPacksMeta[component.id] = extractExtensionPackMeta(component);\n    }\n  }\n\n  const extensionPacks =\n    Object.keys(extensionPacksMeta).length > 0\n      ? { ...ir.extensionPacks, ...extensionPacksMeta }\n      : ir.extensionPacks;\n\n  return {\n    ...ir,\n    capabilities: sortDeepTyped(mergedCapabilities),\n    extensionPacks: sortDeepTyped(extensionPacks),\n  };\n}\n"],"mappings":";AAKA,SAAS,cAAc,OAAkD;AACvE,QAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,MAAM;;AAG7E,SAAS,SAAS,OAAyB;AACzC,KAAI,MAAM,QAAQ,MAAM,CACtB,QAAO,MAAM,IAAI,SAAS;AAE5B,KAAI,CAAC,cAAc,MAAM,CACvB,QAAO;CAET,MAAM,UAAU,OAAO,QAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;CAC5E,MAAMA,OAAgC,EAAE;AACxC,MAAK,MAAM,CAAC,KAAK,UAAU,QACzB,MAAK,OAAO,SAAS,MAAM;AAE7B,QAAO;;AAGT,SAAS,cAAiB,OAAa;AACrC,QAAO,SAAS,MAAM;;AAGxB,SAAS,wBAAwB,OAAkC;AACjE,KAAI,CAAC,cAAc,MAAM,CAAE,QAAO,EAAE;CAEpC,MAAMC,MAAwB,EAAE;AAChC,MAAK,MAAM,CAAC,WAAW,cAAc,OAAO,QAAQ,MAAM,EAAE;AAC1D,MAAI,CAAC,cAAc,UAAU,CAAE;EAC/B,MAAMC,OAAgC,EAAE;AACxC,OAAK,MAAM,CAAC,KAAK,SAAS,OAAO,QAAQ,UAAU,CACjD,KAAI,OAAO,SAAS,UAClB,MAAK,OAAO;AAGhB,MAAI,OAAO,KAAK,KAAK,CAAC,SAAS,EAC7B,KAAI,aAAa;;AAIrB,QAAO;;AAGT,SAAS,kBAAkB,MAAwB,OAA2C;CAC5F,MAAMC,OAAyB,EAAE,GAAG,MAAM;AAC1C,MAAK,MAAM,CAAC,WAAW,iBAAiB,OAAO,QAAQ,MAAM,CAC3D,MAAK,aAAa;EAChB,GAAI,KAAK,cAAc,EAAE;EACzB,GAAG;EACJ;AAEH,QAAO;;AAGT,SAAS,yBACP,WACyB;CACzB,MAAM,EAAE,MAAM,IAAI,SAAS,cAAc,UAAU;CACnD,MAAMC,OAAgC;EACpC;EACA;EACA,UAAU,UAAU;EACpB,UAAU,UAAU;EACpB;EACD;AACD,KAAI,aACF,MAAK,kBAAkB;AAEzB,KAAI,MACF,KAAI,MAAM,YAAY;EACpB,MAAM,EAAE,mBAAmB,GAAG,gBAAgB,KAAK,GAAG,sBAAsB,MAAM;AAClF,OAAK,WAAW;GAAE,GAAG;GAAO,YAAY;GAAmB;OAE3D,MAAK,WAAW;AAGpB,QAAO;;;;;;;AAQT,SAAgB,eACd,IACA,YACU;CACV,IAAI,qBAAqB,GAAG;CAC5B,MAAMC,qBAA8C,EAAE;AAEtD,MAAK,MAAM,aAAa,YAAY;AAClC,MAAI,UAAU,aACZ,sBAAqB,kBACnB,oBACA,wBAAwB,UAAU,aAAa,CAChD;AAEH,MAAI,UAAU,SAAS,YACrB,oBAAmB,UAAU,MAAM,yBAAyB,UAAU;;CAI1E,MAAM,iBACJ,OAAO,KAAK,mBAAmB,CAAC,SAAS,IACrC;EAAE,GAAG,GAAG;EAAgB,GAAG;EAAoB,GAC/C,GAAG;AAET,QAAO;EACL,GAAG;EACH,cAAc,cAAc,mBAAmB;EAC/C,gBAAgB,cAAc,eAAe;EAC9C"}
+{"version":3,"file":"contract-enrichment-CAOELa-H.mjs","names":["next: Record<string, unknown>","out: CapabilityMatrix","caps: Record<string, boolean>","next: CapabilityMatrix","base: Record<string, unknown>","extensionPacksMeta: Record<string, unknown>"],"sources":["../src/control-api/contract-enrichment.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\n\ntype CapabilityMatrix = Record<string, Record<string, boolean>>;\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nfunction sortDeep(value: unknown): unknown {\n  if (Array.isArray(value)) {\n    return value.map(sortDeep);\n  }\n  if (!isPlainObject(value)) {\n    return value;\n  }\n  const entries = Object.entries(value).sort(([a], [b]) => a.localeCompare(b));\n  const next: Record<string, unknown> = {};\n  for (const [key, child] of entries) {\n    next[key] = sortDeep(child);\n  }\n  return next;\n}\n\nfunction sortDeepTyped<T>(value: T): T {\n  return sortDeep(value) as T;\n}\n\nfunction extractCapabilityMatrix(value: unknown): CapabilityMatrix {\n  if (!isPlainObject(value)) return {};\n\n  const out: CapabilityMatrix = {};\n  for (const [namespace, maybeCaps] of Object.entries(value)) {\n    if (!isPlainObject(maybeCaps)) continue;\n    const caps: Record<string, boolean> = {};\n    for (const [key, flag] of Object.entries(maybeCaps)) {\n      if (typeof flag === 'boolean') {\n        caps[key] = flag;\n      }\n    }\n    if (Object.keys(caps).length > 0) {\n      out[namespace] = caps;\n    }\n  }\n\n  return out;\n}\n\nfunction mergeCapabilities(left: CapabilityMatrix, right: CapabilityMatrix): CapabilityMatrix {\n  const next: CapabilityMatrix = { ...left };\n  for (const [namespace, capabilities] of Object.entries(right)) {\n    next[namespace] = {\n      ...(left[namespace] ?? {}),\n      ...capabilities,\n    };\n  }\n  return next;\n}\n\nfunction extractExtensionPackMeta(\n  component: TargetBoundComponentDescriptor<string, string>,\n): Record<string, unknown> {\n  const { kind, id, version, capabilities, types } = component;\n  const base: Record<string, unknown> = {\n    kind,\n    id,\n    familyId: component.familyId,\n    targetId: component.targetId,\n    version,\n  };\n  if (capabilities) {\n    base['capabilities'] = capabilities;\n  }\n  if (types) {\n    if (types.codecTypes) {\n      const { controlPlaneHooks: _, codecInstances: _ci, ...cleanedCodecTypes } = types.codecTypes;\n      base['types'] = { ...types, codecTypes: cleanedCodecTypes };\n    } else {\n      base['types'] = types;\n    }\n  }\n  return base;\n}\n\n/**\n * Enriches a raw contract with framework-derived metadata:\n * capabilities from all component descriptors and extension pack metadata\n * from extension descriptors. Produces deterministically sorted output.\n */\nexport function enrichContract(\n  ir: Contract,\n  components: ReadonlyArray<TargetBoundComponentDescriptor<string, string>>,\n): Contract {\n  let mergedCapabilities = ir.capabilities;\n  const extensionPacksMeta: Record<string, unknown> = {};\n\n  for (const component of components) {\n    if (component.capabilities) {\n      mergedCapabilities = mergeCapabilities(\n        mergedCapabilities,\n        extractCapabilityMatrix(component.capabilities),\n      );\n    }\n    if (component.kind === 'extension') {\n      extensionPacksMeta[component.id] = extractExtensionPackMeta(component);\n    }\n  }\n\n  const extensionPacks =\n    Object.keys(extensionPacksMeta).length > 0\n      ? { ...ir.extensionPacks, ...extensionPacksMeta }\n      : ir.extensionPacks;\n\n  return {\n    ...ir,\n    capabilities: sortDeepTyped(mergedCapabilities),\n    extensionPacks: sortDeepTyped(extensionPacks),\n  };\n}\n"],"mappings":";AAKA,SAAS,cAAc,OAAkD;AACvE,QAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,MAAM;;AAG7E,SAAS,SAAS,OAAyB;AACzC,KAAI,MAAM,QAAQ,MAAM,CACtB,QAAO,MAAM,IAAI,SAAS;AAE5B,KAAI,CAAC,cAAc,MAAM,CACvB,QAAO;CAET,MAAM,UAAU,OAAO,QAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;CAC5E,MAAMA,OAAgC,EAAE;AACxC,MAAK,MAAM,CAAC,KAAK,UAAU,QACzB,MAAK,OAAO,SAAS,MAAM;AAE7B,QAAO;;AAGT,SAAS,cAAiB,OAAa;AACrC,QAAO,SAAS,MAAM;;AAGxB,SAAS,wBAAwB,OAAkC;AACjE,KAAI,CAAC,cAAc,MAAM,CAAE,QAAO,EAAE;CAEpC,MAAMC,MAAwB,EAAE;AAChC,MAAK,MAAM,CAAC,WAAW,cAAc,OAAO,QAAQ,MAAM,EAAE;AAC1D,MAAI,CAAC,cAAc,UAAU,CAAE;EAC/B,MAAMC,OAAgC,EAAE;AACxC,OAAK,MAAM,CAAC,KAAK,SAAS,OAAO,QAAQ,UAAU,CACjD,KAAI,OAAO,SAAS,UAClB,MAAK,OAAO;AAGhB,MAAI,OAAO,KAAK,KAAK,CAAC,SAAS,EAC7B,KAAI,aAAa;;AAIrB,QAAO;;AAGT,SAAS,kBAAkB,MAAwB,OAA2C;CAC5F,MAAMC,OAAyB,EAAE,GAAG,MAAM;AAC1C,MAAK,MAAM,CAAC,WAAW,iBAAiB,OAAO,QAAQ,MAAM,CAC3D,MAAK,aAAa;EAChB,GAAI,KAAK,cAAc,EAAE;EACzB,GAAG;EACJ;AAEH,QAAO;;AAGT,SAAS,yBACP,WACyB;CACzB,MAAM,EAAE,MAAM,IAAI,SAAS,cAAc,UAAU;CACnD,MAAMC,OAAgC;EACpC;EACA;EACA,UAAU,UAAU;EACpB,UAAU,UAAU;EACpB;EACD;AACD,KAAI,aACF,MAAK,kBAAkB;AAEzB,KAAI,MACF,KAAI,MAAM,YAAY;EACpB,MAAM,EAAE,mBAAmB,GAAG,gBAAgB,KAAK,GAAG,sBAAsB,MAAM;AAClF,OAAK,WAAW;GAAE,GAAG;GAAO,YAAY;GAAmB;OAE3D,MAAK,WAAW;AAGpB,QAAO;;;;;;;AAQT,SAAgB,eACd,IACA,YACU;CACV,IAAI,qBAAqB,GAAG;CAC5B,MAAMC,qBAA8C,EAAE;AAEtD,MAAK,MAAM,aAAa,YAAY;AAClC,MAAI,UAAU,aACZ,sBAAqB,kBACnB,oBACA,wBAAwB,UAAU,aAAa,CAChD;AAEH,MAAI,UAAU,SAAS,YACrB,oBAAmB,UAAU,MAAM,yBAAyB,UAAU;;CAI1E,MAAM,iBACJ,OAAO,KAAK,mBAAmB,CAAC,SAAS,IACrC;EAAE,GAAG,GAAG;EAAgB,GAAG;EAAoB,GAC/C,GAAG;AAET,QAAO;EACL,GAAG;EACH,cAAc,cAAc,mBAAmB;EAC/C,gBAAgB,cAAc,eAAe;EAC9C"}

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

@@ -1,6 +1,6 @@
-import { d as setCommandExamples, m as parseGlobalFlags, n as addGlobalOptions, t as handleResult, u as setCommandDescriptions } from "./result-handler-AFK4hxyX.mjs";
-import { t as TerminalUI } from "./terminal-ui-C5k88MmW.mjs";
-import { t as inspectLiveSchema } from "./inspect-live-schema-ChqrALmw.mjs";
+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 { Command } from "commander";
 import { existsSync, mkdirSync, writeFileSync } from "node:fs";
 import { notOk, ok } from "@prisma-next/utils/result";
@@ -87,4 +87,4 @@ function createContractInferCommand() {
 
 //#endregion
 export { createContractInferCommand as t };
-//# sourceMappingURL=contract-infer-BDJgg7Xb.mjs.map
+//# sourceMappingURL=contract-infer-D9cC3rJm.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"contract-infer-BDJgg7Xb.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, validatePrintableSqlSchemaIR } from '@prisma-next/psl-printer';\nimport {\n  createPostgresDefaultMapping,\n  createPostgresTypeMap,\n  extractEnumInfo,\n  parseRawDefault,\n} from '@prisma-next/psl-printer/postgres';\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 } = inspectResult.value;\n\n  if (target.familyId !== 'sql') {\n    return notOk(\n      errorRuntime(`contract infer is not supported for family \"${target.familyId}\"`, {\n        why: 'contract infer currently supports SQL targets only',\n        fix: 'Use an SQL target (e.g. Postgres) with this command',\n      }),\n    );\n  }\n\n  const schema = validatePrintableSqlSchemaIR(inspectResult.value.schema);\n  const outputPath = resolveContractInferOutputPath(options, config.contract?.output);\n  const enumInfo = extractEnumInfo(schema.annotations);\n  const pslContent = printPsl(schema, {\n    defaultMapping: createPostgresDefaultMapping(),\n    typeMap: createPostgresTypeMap(enumInfo.typeNames),\n    enumInfo,\n    parseRawDefault,\n  });\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;AAEjB,KAAI,QAAQ,OACV,QAAO,QAAQ,QAAQ,KAAK,EAAE,QAAQ,OAAO;AAE/C,KAAI,eAEF,QAAO,QAAQ,QADM,QAAQ,WAAW,eAAe,CACnB,EAAE,kBAAkB;AAE1D,QAAO,QAAQ,WAAW,kBAAkB;;;;;ACe9C,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;AAEF,KAAI,CAAC,cAAc,GACjB,QAAO;CAGT,MAAM,EAAE,QAAQ,QAAQ,SAAS,cAAc;AAE/C,KAAI,OAAO,aAAa,MACtB,QAAO,MACL,aAAa,+CAA+C,OAAO,SAAS,IAAI;EAC9E,KAAK;EACL,KAAK;EACN,CAAC,CACH;CAGH,MAAM,SAAS,6BAA6B,cAAc,MAAM,OAAO;CACvE,MAAM,aAAa,+BAA+B,SAAS,OAAO,UAAU,OAAO;CACnF,MAAM,WAAW,gBAAgB,OAAO,YAAY;CACpD,MAAM,aAAa,SAAS,QAAQ;EAClC,gBAAgB,8BAA8B;EAC9C,SAAS,sBAAsB,SAAS,UAAU;EAClD;EACA;EACD,CAAC;AAEF,KAAI,WAAW,WAAW,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,MAClD,IAAG,OAAO,qCAAqC,SAAS,QAAQ,KAAK,EAAE,WAAW,GAAG;AAGvF,WAAU,QAAQ,WAAW,EAAE,EAAE,WAAW,MAAM,CAAC;AACnD,eAAc,YAAY,YAAY,QAAQ;CAE9C,MAAM,UAAU,SAAS,QAAQ,KAAK,EAAE,WAAW;AACnD,KAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,MACxB,IAAG,OAAO,8BAA8B,UAAU;AAGpD,QAAO,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;AACpC,wBACE,SACA,sDACA,yLAGD;AACD,oBAAmB,SAAS;EAC1B;EACA;EACA;EACD,CAAC;AACF,kBAAiB,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,aADF,MAAM,4BAA4B,SAAS,IAFxC,KAAK,KAAK,CAE4C,EAClC,OAAO,KAAK,UAAU;AAC1D,OAAI,MAAM,KACR,IAAG,OAAO,KAAK,UAAU,OAAO,MAAM,EAAE,CAAC;IAE3C;AAEF,UAAQ,KAAK,SAAS;GACtB;AAEJ,QAAO"}
+{"version":3,"file":"contract-infer-D9cC3rJm.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, validatePrintableSqlSchemaIR } from '@prisma-next/psl-printer';\nimport {\n  createPostgresDefaultMapping,\n  createPostgresTypeMap,\n  extractEnumInfo,\n  parseRawDefault,\n} from '@prisma-next/psl-printer/postgres';\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 } = inspectResult.value;\n\n  if (target.familyId !== 'sql') {\n    return notOk(\n      errorRuntime(`contract infer is not supported for family \"${target.familyId}\"`, {\n        why: 'contract infer currently supports SQL targets only',\n        fix: 'Use an SQL target (e.g. Postgres) with this command',\n      }),\n    );\n  }\n\n  const schema = validatePrintableSqlSchemaIR(inspectResult.value.schema);\n  const outputPath = resolveContractInferOutputPath(options, config.contract?.output);\n  const enumInfo = extractEnumInfo(schema.annotations);\n  const pslContent = printPsl(schema, {\n    defaultMapping: createPostgresDefaultMapping(),\n    typeMap: createPostgresTypeMap(enumInfo.typeNames),\n    enumInfo,\n    parseRawDefault,\n  });\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;AAEjB,KAAI,QAAQ,OACV,QAAO,QAAQ,QAAQ,KAAK,EAAE,QAAQ,OAAO;AAE/C,KAAI,eAEF,QAAO,QAAQ,QADM,QAAQ,WAAW,eAAe,CACnB,EAAE,kBAAkB;AAE1D,QAAO,QAAQ,WAAW,kBAAkB;;;;;ACe9C,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;AAEF,KAAI,CAAC,cAAc,GACjB,QAAO;CAGT,MAAM,EAAE,QAAQ,QAAQ,SAAS,cAAc;AAE/C,KAAI,OAAO,aAAa,MACtB,QAAO,MACL,aAAa,+CAA+C,OAAO,SAAS,IAAI;EAC9E,KAAK;EACL,KAAK;EACN,CAAC,CACH;CAGH,MAAM,SAAS,6BAA6B,cAAc,MAAM,OAAO;CACvE,MAAM,aAAa,+BAA+B,SAAS,OAAO,UAAU,OAAO;CACnF,MAAM,WAAW,gBAAgB,OAAO,YAAY;CACpD,MAAM,aAAa,SAAS,QAAQ;EAClC,gBAAgB,8BAA8B;EAC9C,SAAS,sBAAsB,SAAS,UAAU;EAClD;EACA;EACD,CAAC;AAEF,KAAI,WAAW,WAAW,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,MAClD,IAAG,OAAO,qCAAqC,SAAS,QAAQ,KAAK,EAAE,WAAW,GAAG;AAGvF,WAAU,QAAQ,WAAW,EAAE,EAAE,WAAW,MAAM,CAAC;AACnD,eAAc,YAAY,YAAY,QAAQ;CAE9C,MAAM,UAAU,SAAS,QAAQ,KAAK,EAAE,WAAW;AACnD,KAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,MACxB,IAAG,OAAO,8BAA8B,UAAU;AAGpD,QAAO,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;AACpC,wBACE,SACA,sDACA,yLAGD;AACD,oBAAmB,SAAS;EAC1B;EACA;EACA;EACD,CAAC;AACF,kBAAiB,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,aADF,MAAM,4BAA4B,SAAS,IAFxC,KAAK,KAAK,CAE4C,EAClC,OAAO,KAAK,UAAU;AAC1D,OAAI,MAAM,KACR,IAAG,OAAO,KAAK,UAAU,OAAO,MAAM,EAAE,CAAC;IAE3C;AAEF,UAAQ,KAAK,SAAS;GACtB;AAEJ,QAAO"}

package/dist/exports/control-api.d.mts

@@ -1,7 +1,7 @@
 import { Result } from "@prisma-next/utils/result";
+import { ContractSourceDiagnostics, ContractSourceProvider } from "@prisma-next/config/config-types";
 import { ControlAdapterDescriptor, ControlDriverDescriptor, ControlExtensionDescriptor, ControlFamilyDescriptor, ControlStack, ControlTargetDescriptor, CoreSchemaView, MigrationPlanOperation, MigrationPlannerConflict, SignDatabaseResult, SignDatabaseResult as SignDatabaseResult$1, VerifyDatabaseResult, VerifyDatabaseResult as VerifyDatabaseResult$1, VerifyDatabaseSchemaResult, VerifyDatabaseSchemaResult as VerifyDatabaseSchemaResult$1 } from "@prisma-next/framework-components/control";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
-import { ContractSourceDiagnostics, ContractSourceProvider } from "@prisma-next/config/config-types";
 import { Contract, ContractMarkerRecord } from "@prisma-next/contract/types";
 
 //#region src/control-api/types.d.ts
@@ -199,7 +199,7 @@ interface EmitContractConfig {
   /**
    * Contract source provider.
    */
-  readonly sourceProvider: ContractSourceProvider;
+  readonly source: ContractSourceProvider;
   /**
    * Output path for contract.json.
    * The .d.ts types file will be colocated (e.g., contract.json → contract.d.ts).

package/dist/exports/control-api.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control-api.d.mts","names":[],"sources":["../../src/control-api/types.ts","../../src/control-api/client.ts","../../src/control-api/contract-enrichment.ts","../../src/control-api/operations/contract-emit.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;AAmCA;;;;;;;;AA2BY,UA3BK,oBAAA,CA2BY;EAuBjB,SAAA,MAAA,EAhDO,uBAkDI,CAAA,GAAA,EAAA,GAAA,CAAA;EAkBX,SAAA,MAAA,EAlEO,uBAkEqB,CAAA,GAAA,EAAA,GAAA,EAAA,GAAoB,CAAA;EAS3C,SAAA,OAAa,EAzEV,wBAmFI,CAAA,GAAiB,EAAA,GAAA,EAAA,GAAA,CAAA;EAMxB;EAsBA,SAAA,MAAW,CAAA,EA5GR,uBA8HI,CAAA,GAAiB,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA;EAMxB,SAAA,cAAa,CAAA,EAlIF,aAkJJ,CAlJkB,0BAkJD,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,CAAA;EAMxB;AA8BjB;AAkBA;AAeA;AAgBA;EA4BY,SAAA,UAAA,CAAiB,EAAA,OAAA;AAK7B;;;;AAKiB,KA7PL,iBAAA,GA6PK,QAAA,GAAA,UAAA,GAAA,gBAAA,GAAA,QAAA,GAAA,cAAA,GAAA,MAAA,GAAA,YAAA,GAAA,MAAA;;AAejB;;;;;AAKA;AA4BA;AAKA;;;;;AAKuB,KAhSX,oBAAA,GAgSW;EAOX,SAAA,MAAA,EArSW,iBAqSG;EAAU,SAAA,IAAA,EAAA,WAAA;EAAiB,SAAA,MAAA,EAAA,MAAA;EAAxB,SAAA,YAAA,CAAA,EAAA,MAAA;EAAM,SAAA,KAAA,EAAA,MAAA;AAMnC,CAAA,GAAiB;EAgBL,SAAA,MAAA,EApTW,iBAoTI;EAQV,SAAA,IAAA,EAAW,SAAA;EACX,SAAA,MAAA,EAAA,MAAA;EAGA,SAAA,OAAA,EAAA,IAAA,GAAA,SAAA,GAAA,OAAA;CACQ;;AAOzB;;;;AAA+B,KA7TnB,iBAAA,GA6TmB,CAAA,KAAA,EA7TS,oBA6TT,EAAA,GAAA,IAAA;AAU/B;AAWA;AA4BA;AAUiB,UA/WA,aAAA,CA+WqB;EAU1B;EAKK,SAAA,QAAA,EAAA,OAAqB;EAU1B;;;;;EAWK,SAAA,UAAA,CAAA,EAAmB,OAAA;EAUnB;EA8BA,SAAA,UAAa,CAAA,EAjbN,iBAibM;;;;;AAqCI,UAhdjB,mBAAA,CAgdiB;EASV;EAA8B,SAAA,QAAA,EAAA,OAAA;EAAR;;;;;EAoBJ,SAAA,MAAA,CAAA,EAAA,OAAA;EAAR;;;;;EAmBlB,SAAA,UAAA,CAAA,EAAA,OAAA;EAaU;EAAgC,SAAA,UAAA,CAAA,EA7flC,iBA6fkC;;;;;AA0B1C,UAjhBC,WAAA,CAihBD;EAAsB;EAAR,SAAA,QAAA,EAAA,OAAA;EAAO;;;;ECnnBrB;;;;ECmCA;;;;;EAGL,SAAA,UAAA,CAAA,EAAA,OAAA;;wBF8Ea;;AGxHxB;;;AAEG,UH4Hc,aAAA,CG5Hd;EAAO;;;;;;;;;;;;;;;wBH4Ic;;;;;UAMP,eAAA;;;;;;;;;;;;;;;;;;;;;;;;wBAwBO;;;;;UAMP,iBAAA;;;;;;;;;;;;wBAYO;;;;;UAMP,kBAAA;;;;2BAIU;;;;;;;;;;UAWV,WAAA;;;;2BAIU;;wBAEH;;;;;UAUP,aAAA;;;yBAGQ;;;;;mBAKN;;;;;;;;;;;;;;;;;;;KAoBP,iBAAA;;;;UAKK,aAAA;iBACA;;;sBAGK,cAAc;iBACnB;;;;;;;;;;;;;;KAeL,YAAA,GAAe,OAAO,eAAe;;;;UAKhC,eAAA;;;yBAGQ;;;;;mBAKN;;;;;;;;;;;;;;;;;;;KAoBP,mBAAA;;;;UAKK,eAAA;iBACA;;;sBAGK,cAAc;iBACnB;;;;;;KAOL,cAAA,GAAiB,OAAO,iBAAiB;;;;;UAMpC,WAAA;;;;;;;;;;;;;;;KAgBL,eAAA;;;;UAQK,WAAA;iBACA;;;iBAGA;yBACQ;;;;;;KAOb,UAAA,GAAa,OAAO,aAAa;;;;;UAU5B,kBAAA;;;;uBAIM;gCACS;;;;;UAMf,qBAAA;;;;;;;;;;;;;;;uCAesB;;;;;;;wBAOf;;;;;UAMP,0BAAA;;;;;;;;;UAUA,qBAAA;;;6BAGY;;;;;;KAOjB,yBAAA;;;;UAKK,qBAAA;iBACA;;;iBAGA;;;;;KAML,oBAAA,GAAuB,OAAO,uBAAuB;;;;;;UAWhD,mBAAA;;;;oBAIG;;;;;UAMH,kBAAA;;;;;;;;;;;;;;;;;;;;;;;;;UA8BA,aAAA;;;;;;;;;;;;;;;;;;;;iCAqBgB;;;;;;WAOtB;;;;;;;;kBASO,gBAAgB,QAAQ;;;;;;;;wBASlB,sBAAsB,QAAQ;;;;;;;;;gBAUtC,cAAc,QAAQ;;;;;;;;;kBAUpB,gBAAgB,QAAQ;;;;;;;;;;oBAWtB,kBAAkB,QAAQ;;;;;;;gBAQ9B,QAAQ;;;;;;;;;;;;0BAaE,wBAAwB,QAAQ;;;;;;;uBAQnC,oBAAoB;;;;;;;;mCASR;;;;;;;;gBASnB,cAAc,QAAQ;;;;;;;;;;AAtoBtC;;;;AASoB,iBCUJ,mBAAA,CDVI,OAAA,ECUyB,oBDVzB,CAAA,ECUgD,aDVhD;;;;;;;;AATH,iBEsDD,cAAA,CFtDqB,EAAA,EEuD/B,QFvD+B,EAAA,UAAA,EEwDvB,aFxDuB,CEwDT,8BFxDS,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA,CAAA,EEyDlC,QFzDkC;;;;;;;;;AAArC;;;;;;;;AA2BA;AAuBA;AAoBA;AASiB,iBGhEK,mBAAA,CH0EE,OAAiB,EGzE9B,mBHyE8B,CAAA,EGxEtC,OHwEsC,CGxE9B,kBHwE8B,CAAA"}
+{"version":3,"file":"control-api.d.mts","names":[],"sources":["../../src/control-api/types.ts","../../src/control-api/client.ts","../../src/control-api/contract-enrichment.ts","../../src/control-api/operations/contract-emit.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;AAmCA;;;;;;;;AA2BY,UA3BK,oBAAA,CA2BY;EAuBjB,SAAA,MAAA,EAhDO,uBAkDI,CAAA,GAAA,EAAA,GAAA,CAAA;EAkBX,SAAA,MAAA,EAlEO,uBAkEqB,CAAA,GAAA,EAAA,GAAA,EAAA,GAAoB,CAAA;EAS3C,SAAA,OAAa,EAzEV,wBAmFI,CAAA,GAAiB,EAAA,GAAA,EAAA,GAAA,CAAA;EAMxB;EAsBA,SAAA,MAAW,CAAA,EA5GR,uBA8HI,CAAA,GAAiB,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA;EAMxB,SAAA,cAAa,CAAA,EAlIF,aAkJJ,CAlJkB,0BAkJD,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,CAAA;EAMxB;AA8BjB;AAkBA;AAeA;AAgBA;EA4BY,SAAA,UAAA,CAAiB,EAAA,OAAA;AAK7B;;;;AAKiB,KA7PL,iBAAA,GA6PK,QAAA,GAAA,UAAA,GAAA,gBAAA,GAAA,QAAA,GAAA,cAAA,GAAA,MAAA,GAAA,YAAA,GAAA,MAAA;;AAejB;;;;;AAKA;AA4BA;AAKA;;;;;AAKuB,KAhSX,oBAAA,GAgSW;EAOX,SAAA,MAAA,EArSW,iBAqSG;EAAU,SAAA,IAAA,EAAA,WAAA;EAAiB,SAAA,MAAA,EAAA,MAAA;EAAxB,SAAA,YAAA,CAAA,EAAA,MAAA;EAAM,SAAA,KAAA,EAAA,MAAA;AAMnC,CAAA,GAAiB;EAgBL,SAAA,MAAA,EApTW,iBAoTI;EAQV,SAAA,IAAA,EAAW,SAAA;EACX,SAAA,MAAA,EAAA,MAAA;EAGA,SAAA,OAAA,EAAA,IAAA,GAAA,SAAA,GAAA,OAAA;CACQ;;AAOzB;;;;AAA+B,KA7TnB,iBAAA,GA6TmB,CAAA,KAAA,EA7TS,oBA6TT,EAAA,GAAA,IAAA;AAU/B;AAWA;AA4BA;AAUiB,UA/WA,aAAA,CA+WqB;EAU1B;EAKK,SAAA,QAAA,EAAA,OAAqB;EAU1B;;;;;EAWK,SAAA,UAAA,CAAA,EAAmB,OAAA;EAUnB;EA8BA,SAAA,UAAa,CAAA,EAjbN,iBAibM;;;;;AAqCI,UAhdjB,mBAAA,CAgdiB;EASV;EAA8B,SAAA,QAAA,EAAA,OAAA;EAAR;;;;;EAoBJ,SAAA,MAAA,CAAA,EAAA,OAAA;EAAR;;;;;EAmBlB,SAAA,UAAA,CAAA,EAAA,OAAA;EAaU;EAAgC,SAAA,UAAA,CAAA,EA7flC,iBA6fkC;;;;;AA0B1C,UAjhBC,WAAA,CAihBD;EAAsB;EAAR,SAAA,QAAA,EAAA,OAAA;EAAO;;;;ECnnBrB;;;;ECmCA;;;;;EAGL,SAAA,UAAA,CAAA,EAAA,OAAA;;wBF8Ea;;AGxHxB;;;AAEG,UH4Hc,aAAA,CG5Hd;EAAO;;;;;;;;;;;;;;;wBH4Ic;;;;;UAMP,eAAA;;;;;;;;;;;;;;;;;;;;;;;;wBAwBO;;;;;UAMP,iBAAA;;;;;;;;;;;;wBAYO;;;;;UAMP,kBAAA;;;;mBAIE;;;;;;;;;;UAWF,WAAA;;;;2BAIU;;wBAEH;;;;;UAUP,aAAA;;;yBAGQ;;;;;mBAKN;;;;;;;;;;;;;;;;;;;KAoBP,iBAAA;;;;UAKK,aAAA;iBACA;;;sBAGK,cAAc;iBACnB;;;;;;;;;;;;;;KAeL,YAAA,GAAe,OAAO,eAAe;;;;UAKhC,eAAA;;;yBAGQ;;;;;mBAKN;;;;;;;;;;;;;;;;;;;KAoBP,mBAAA;;;;UAKK,eAAA;iBACA;;;sBAGK,cAAc;iBACnB;;;;;;KAOL,cAAA,GAAiB,OAAO,iBAAiB;;;;;UAMpC,WAAA;;;;;;;;;;;;;;;KAgBL,eAAA;;;;UAQK,WAAA;iBACA;;;iBAGA;yBACQ;;;;;;KAOb,UAAA,GAAa,OAAO,aAAa;;;;;UAU5B,kBAAA;;;;uBAIM;gCACS;;;;;UAMf,qBAAA;;;;;;;;;;;;;;;uCAesB;;;;;;;wBAOf;;;;;UAMP,0BAAA;;;;;;;;;UAUA,qBAAA;;;6BAGY;;;;;;KAOjB,yBAAA;;;;UAKK,qBAAA;iBACA;;;iBAGA;;;;;KAML,oBAAA,GAAuB,OAAO,uBAAuB;;;;;;UAWhD,mBAAA;;;;oBAIG;;;;;UAMH,kBAAA;;;;;;;;;;;;;;;;;;;;;;;;;UA8BA,aAAA;;;;;;;;;;;;;;;;;;;;iCAqBgB;;;;;;WAOtB;;;;;;;;kBASO,gBAAgB,QAAQ;;;;;;;;wBASlB,sBAAsB,QAAQ;;;;;;;;;gBAUtC,cAAc,QAAQ;;;;;;;;;kBAUpB,gBAAgB,QAAQ;;;;;;;;;;oBAWtB,kBAAkB,QAAQ;;;;;;;gBAQ9B,QAAQ;;;;;;;;;;;;0BAaE,wBAAwB,QAAQ;;;;;;;uBAQnC,oBAAoB;;;;;;;;mCASR;;;;;;;;gBASnB,cAAc,QAAQ;;;;;;;;;;AAtoBtC;;;;AASoB,iBCUJ,mBAAA,CDVI,OAAA,ECUyB,oBDVzB,CAAA,ECUgD,aDVhD;;;;;;;;AATH,iBEsDD,cAAA,CFtDqB,EAAA,EEuD/B,QFvD+B,EAAA,UAAA,EEwDvB,aFxDuB,CEwDT,8BFxDS,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA,CAAA,EEyDlC,QFzDkC;;;;;;;;;AAArC;;;;;;;;AA2BA;AAuBA;AAoBA;AASiB,iBGhEK,mBAAA,CH0EE,OAAiB,EGzE9B,mBHyE8B,CAAA,EGxEtC,OHwEsC,CGxE9B,kBHwE8B,CAAA"}

package/dist/exports/control-api.mjs

@@ -1,8 +1,8 @@
-import "../config-loader-C4VXKl8f.mjs";
-import "../cli-errors-BUuJr6py.mjs";
-import "../framework-components-Bsr1GaIj.mjs";
-import { t as enrichContract } from "../contract-enrichment-CGW6mm-E.mjs";
-import { t as createControlClient } from "../client-CJxHfhze.mjs";
-import { t as executeContractEmit } from "../contract-emit-CKig_Lra.mjs";
+import "../config-loader-C25b63rJ.mjs";
+import "../cli-errors-Cd79vmTH.mjs";
+import "../framework-components-Cr--XBKy.mjs";
+import { t as enrichContract } from "../contract-enrichment-CAOELa-H.mjs";
+import { t as createControlClient } from "../client-CrsnY58k.mjs";
+import { t as executeContractEmit } from "../contract-emit-V5SSitUT.mjs";
 
 export { createControlClient, enrichContract, executeContractEmit };

package/dist/exports/index.mjs

@@ -1,10 +1,10 @@
-import "../config-loader-C4VXKl8f.mjs";
-import "../cli-errors-BUuJr6py.mjs";
-import "../framework-components-Bsr1GaIj.mjs";
-import "../client-CJxHfhze.mjs";
-import "../result-handler-AFK4hxyX.mjs";
-import { t as createContractEmitCommand } from "../contract-emit-gpJNLGs7.mjs";
-import "../terminal-ui-C5k88MmW.mjs";
+import "../config-loader-C25b63rJ.mjs";
+import "../cli-errors-Cd79vmTH.mjs";
+import "../framework-components-Cr--XBKy.mjs";
+import "../client-CrsnY58k.mjs";
+import "../terminal-ui-C3ZLwQxK.mjs";
+import "../result-handler-Ba3zWQsI.mjs";
+import { t as createContractEmitCommand } from "../contract-emit-NJ01hiiv.mjs";
 import { existsSync, unlinkSync, writeFileSync } from "node:fs";
 import { join } from "pathe";
 import { tmpdir } from "node:os";

package/dist/exports/init-output.d.mts

@@ -0,0 +1,39 @@
+import "@clack/prompts";
+import * as arktype_internal_variants_object_ts0 from "arktype/internal/variants/object.ts";
+
+//#region src/commands/init/output.d.ts
+
+/**
+ * arktype schema for the structured success document `init --json` writes
+ * to stdout (FR1.5). The same shape backs the human-readable outro
+ * renderer (FR10), so the two output modes carry identical information.
+ *
+ * `target` is normalised to the user-facing flag value (`mongodb` rather
+ * than the internal `mongo`) so consumers can round-trip the document
+ * straight into a follow-up `--target` invocation.
+ *
+ * The `ok: true` literal is the documented success/error discriminator —
+ * see [Style Guide § JSON Semantics](../../../../../../../docs/CLI%20Style%20Guide.md#json-semantics).
+ * Error envelopes (`CliErrorEnvelope`) carry `ok: false` so consumers can
+ * branch with `if (doc.ok)` without inspecting the rest of the structure.
+ */
+declare const InitOutputSchema: arktype_internal_variants_object_ts0.ObjectType<{
+  ok: true;
+  target: "postgres" | "mongodb";
+  authoring: "psl" | "typescript";
+  schemaPath: string;
+  filesWritten: string[];
+  filesDeleted: string[];
+  packagesInstalled: {
+    skipped: boolean;
+    deps: string[];
+    devDeps: string[];
+  };
+  contractEmitted: boolean;
+  nextSteps: string[];
+  warnings: string[];
+}, {}>;
+type InitOutput = typeof InitOutputSchema.infer;
+//#endregion
+export { type InitOutput, InitOutputSchema };
+//# sourceMappingURL=init-output.d.mts.map

package/dist/exports/init-output.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"init-output.d.mts","names":[],"sources":["../../src/commands/init/output.ts"],"sourcesContent":[],"mappings":";;;;;;;AAkBA;AAwBA;;;;;;;;;;;cAxBa,kBAsBX,oCAAA,CAtB2B;;;;;;;;;;;;;;;;KAwBjB,UAAA,UAAoB,gBAAA,CAAiB"}

package/dist/exports/init-output.mjs

@@ -0,0 +1,3 @@
+import { t as InitOutputSchema } from "../output-BpcQrnnq.mjs";
+
+export { InitOutputSchema };

package/dist/{extract-operation-statements-DZUJNmL3.mjs → extract-operation-statements-DsFfxXVZ.mjs}

@@ -1,4 +1,4 @@
-import { t as extractSqlDdl } from "./extract-sql-ddl-DDMX-9mz.mjs";
+import { t as extractSqlDdl } from "./extract-sql-ddl-D9UbZDyz.mjs";
 
 //#region src/control-api/operations/extract-operation-statements.ts
 function extractOperationStatements(familyId, operations) {
@@ -10,4 +10,4 @@ function extractOperationStatements(familyId, operations) {
 
 //#endregion
 export { extractOperationStatements as t };
-//# sourceMappingURL=extract-operation-statements-DZUJNmL3.mjs.map
+//# sourceMappingURL=extract-operation-statements-DsFfxXVZ.mjs.map

package/dist/{extract-operation-statements-DZUJNmL3.mjs.map → extract-operation-statements-DsFfxXVZ.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"extract-operation-statements-DZUJNmL3.mjs","names":[],"sources":["../src/control-api/operations/extract-operation-statements.ts"],"sourcesContent":["import type { MigrationPlanOperation } from '@prisma-next/framework-components/control';\nimport { extractSqlDdl } from './extract-sql-ddl';\n\nexport function extractOperationStatements(\n  familyId: string,\n  operations: readonly MigrationPlanOperation[],\n): string[] | undefined {\n  switch (familyId) {\n    case 'sql':\n      return extractSqlDdl(operations);\n    default:\n      return undefined;\n  }\n}\n"],"mappings":";;;AAGA,SAAgB,2BACd,UACA,YACsB;AACtB,SAAQ,UAAR;EACE,KAAK,MACH,QAAO,cAAc,WAAW;EAClC,QACE"}
+{"version":3,"file":"extract-operation-statements-DsFfxXVZ.mjs","names":[],"sources":["../src/control-api/operations/extract-operation-statements.ts"],"sourcesContent":["import type { MigrationPlanOperation } from '@prisma-next/framework-components/control';\nimport { extractSqlDdl } from './extract-sql-ddl';\n\nexport function extractOperationStatements(\n  familyId: string,\n  operations: readonly MigrationPlanOperation[],\n): string[] | undefined {\n  switch (familyId) {\n    case 'sql':\n      return extractSqlDdl(operations);\n    default:\n      return undefined;\n  }\n}\n"],"mappings":";;;AAGA,SAAgB,2BACd,UACA,YACsB;AACtB,SAAQ,UAAR;EACE,KAAK,MACH,QAAO,cAAc,WAAW;EAClC,QACE"}

package/dist/{extract-sql-ddl-DDMX-9mz.mjs → extract-sql-ddl-D9UbZDyz.mjs}

@@ -23,4 +23,4 @@ function extractSqlDdl(operations) {
 
 //#endregion
 export { extractSqlDdl as t };
-//# sourceMappingURL=extract-sql-ddl-DDMX-9mz.mjs.map
+//# sourceMappingURL=extract-sql-ddl-D9UbZDyz.mjs.map

package/dist/{extract-sql-ddl-DDMX-9mz.mjs.map → extract-sql-ddl-D9UbZDyz.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"extract-sql-ddl-DDMX-9mz.mjs","names":["statements: string[]"],"sources":["../src/control-api/operations/extract-sql-ddl.ts"],"sourcesContent":["import type { MigrationPlanOperation } from '@prisma-next/framework-components/control';\n\n/**\n * Shape of an SQL execute step on SqlMigrationPlanOperation.\n * Used for runtime type narrowing without importing the concrete SQL type.\n */\ninterface SqlExecuteStep {\n  readonly sql: string;\n}\n\nfunction isDdlStatement(sqlStatement: string): boolean {\n  const trimmed = sqlStatement.trim().toLowerCase();\n  return (\n    trimmed.startsWith('create ') || trimmed.startsWith('alter ') || trimmed.startsWith('drop ')\n  );\n}\n\nfunction hasExecuteSteps(\n  operation: MigrationPlanOperation,\n): operation is MigrationPlanOperation & { readonly execute: readonly SqlExecuteStep[] } {\n  const candidate = operation as unknown as Record<string, unknown>;\n  if (!('execute' in candidate) || !Array.isArray(candidate['execute'])) {\n    return false;\n  }\n  return candidate['execute'].every(\n    (step: unknown) => typeof step === 'object' && step !== null && 'sql' in step,\n  );\n}\n\n/**\n * Extracts a best-effort SQL DDL preview for CLI plan output.\n * This helper is presentation-only and is never used to decide migration correctness.\n */\nexport function extractSqlDdl(operations: readonly MigrationPlanOperation[]): string[] {\n  const statements: string[] = [];\n  for (const operation of operations) {\n    if (!hasExecuteSteps(operation)) {\n      continue;\n    }\n    for (const step of operation.execute) {\n      if (typeof step.sql === 'string' && isDdlStatement(step.sql)) {\n        statements.push(step.sql.trim());\n      }\n    }\n  }\n  return statements;\n}\n"],"mappings":";AAUA,SAAS,eAAe,cAA+B;CACrD,MAAM,UAAU,aAAa,MAAM,CAAC,aAAa;AACjD,QACE,QAAQ,WAAW,UAAU,IAAI,QAAQ,WAAW,SAAS,IAAI,QAAQ,WAAW,QAAQ;;AAIhG,SAAS,gBACP,WACuF;CACvF,MAAM,YAAY;AAClB,KAAI,EAAE,aAAa,cAAc,CAAC,MAAM,QAAQ,UAAU,WAAW,CACnE,QAAO;AAET,QAAO,UAAU,WAAW,OACzB,SAAkB,OAAO,SAAS,YAAY,SAAS,QAAQ,SAAS,KAC1E;;;;;;AAOH,SAAgB,cAAc,YAAyD;CACrF,MAAMA,aAAuB,EAAE;AAC/B,MAAK,MAAM,aAAa,YAAY;AAClC,MAAI,CAAC,gBAAgB,UAAU,CAC7B;AAEF,OAAK,MAAM,QAAQ,UAAU,QAC3B,KAAI,OAAO,KAAK,QAAQ,YAAY,eAAe,KAAK,IAAI,CAC1D,YAAW,KAAK,KAAK,IAAI,MAAM,CAAC;;AAItC,QAAO"}
+{"version":3,"file":"extract-sql-ddl-D9UbZDyz.mjs","names":["statements: string[]"],"sources":["../src/control-api/operations/extract-sql-ddl.ts"],"sourcesContent":["import type { MigrationPlanOperation } from '@prisma-next/framework-components/control';\n\n/**\n * Shape of an SQL execute step on SqlMigrationPlanOperation.\n * Used for runtime type narrowing without importing the concrete SQL type.\n */\ninterface SqlExecuteStep {\n  readonly sql: string;\n}\n\nfunction isDdlStatement(sqlStatement: string): boolean {\n  const trimmed = sqlStatement.trim().toLowerCase();\n  return (\n    trimmed.startsWith('create ') || trimmed.startsWith('alter ') || trimmed.startsWith('drop ')\n  );\n}\n\nfunction hasExecuteSteps(\n  operation: MigrationPlanOperation,\n): operation is MigrationPlanOperation & { readonly execute: readonly SqlExecuteStep[] } {\n  const candidate = operation as unknown as Record<string, unknown>;\n  if (!('execute' in candidate) || !Array.isArray(candidate['execute'])) {\n    return false;\n  }\n  return candidate['execute'].every(\n    (step: unknown) => typeof step === 'object' && step !== null && 'sql' in step,\n  );\n}\n\n/**\n * Extracts a best-effort SQL DDL preview for CLI plan output.\n * This helper is presentation-only and is never used to decide migration correctness.\n */\nexport function extractSqlDdl(operations: readonly MigrationPlanOperation[]): string[] {\n  const statements: string[] = [];\n  for (const operation of operations) {\n    if (!hasExecuteSteps(operation)) {\n      continue;\n    }\n    for (const step of operation.execute) {\n      if (typeof step.sql === 'string' && isDdlStatement(step.sql)) {\n        statements.push(step.sql.trim());\n      }\n    }\n  }\n  return statements;\n}\n"],"mappings":";AAUA,SAAS,eAAe,cAA+B;CACrD,MAAM,UAAU,aAAa,MAAM,CAAC,aAAa;AACjD,QACE,QAAQ,WAAW,UAAU,IAAI,QAAQ,WAAW,SAAS,IAAI,QAAQ,WAAW,QAAQ;;AAIhG,SAAS,gBACP,WACuF;CACvF,MAAM,YAAY;AAClB,KAAI,EAAE,aAAa,cAAc,CAAC,MAAM,QAAQ,UAAU,WAAW,CACnE,QAAO;AAET,QAAO,UAAU,WAAW,OACzB,SAAkB,OAAO,SAAS,YAAY,SAAS,QAAQ,SAAS,KAC1E;;;;;;AAOH,SAAgB,cAAc,YAAyD;CACrF,MAAMA,aAAuB,EAAE;AAC/B,MAAK,MAAM,aAAa,YAAY;AAClC,MAAI,CAAC,gBAAgB,UAAU,CAC7B;AAEF,OAAK,MAAM,QAAQ,UAAU,QAC3B,KAAI,OAAO,KAAK,QAAQ,YAAY,eAAe,KAAK,IAAI,CAC1D,YAAW,KAAK,KAAK,IAAI,MAAM,CAAC;;AAItC,QAAO"}

package/dist/{framework-components-Bsr1GaIj.mjs → framework-components-Cr--XBKy.mjs}

@@ -1,4 +1,4 @@
-import { r as errorConfigValidation } from "./cli-errors-BUuJr6py.mjs";
+import { r as errorConfigValidation } from "./cli-errors-Cd79vmTH.mjs";
 import "@prisma-next/framework-components/components";
 
 //#region src/utils/framework-components.ts
@@ -56,4 +56,4 @@ function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId,
 
 //#endregion
 export { assertFrameworkComponentsCompatible as t };
-//# sourceMappingURL=framework-components-Bsr1GaIj.mjs.map
+//# sourceMappingURL=framework-components-Cr--XBKy.mjs.map

package/dist/{framework-components-Bsr1GaIj.mjs.map → framework-components-Cr--XBKy.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"framework-components-Bsr1GaIj.mjs","names":[],"sources":["../src/utils/framework-components.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport {\n  checkContractComponentRequirements,\n  type TargetBoundComponentDescriptor,\n} from '@prisma-next/framework-components/components';\nimport type { ControlStack } from '@prisma-next/framework-components/control';\nimport { errorConfigValidation, errorContractMissingExtensionPacks } from './cli-errors';\n\n/**\n * Asserts that all framework components are compatible with the expected family and target.\n *\n * This function validates that each component in the framework components array:\n * - Has kind 'target', 'adapter', 'extension', or 'driver'\n * - Has familyId matching expectedFamilyId\n * - Has targetId matching expectedTargetId\n *\n * This validation happens at the CLI composition boundary, before passing components\n * to typed planner/runner instances. It fills the gap between runtime validation\n * (via `validateConfig()`) and compile-time type enforcement.\n *\n * @param expectedFamilyId - The expected family ID (e.g., 'sql')\n * @param expectedTargetId - The expected target ID (e.g., 'postgres')\n * @param frameworkComponents - Array of framework components to validate\n * @returns The same array typed as TargetBoundComponentDescriptor\n * @throws CliStructuredError if any component is incompatible\n *\n * @example\n * ```ts\n * const config = await loadConfig();\n * const frameworkComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];\n *\n * // Validate and type-narrow components before passing to planner\n * const typedComponents = assertFrameworkComponentsCompatible(\n *   config.family.familyId,\n *   config.target.targetId,\n *   frameworkComponents\n * );\n *\n * const planner = target.migrations.createPlanner(familyInstance);\n * planner.plan({ contract, schema, policy, frameworkComponents: typedComponents });\n * ```\n */\nexport function assertFrameworkComponentsCompatible<\n  TFamilyId extends string,\n  TTargetId extends string,\n>(\n  expectedFamilyId: TFamilyId,\n  expectedTargetId: TTargetId,\n  frameworkComponents: ReadonlyArray<unknown>,\n): ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>> {\n  for (let i = 0; i < frameworkComponents.length; i++) {\n    const component = frameworkComponents[i];\n\n    // Check that component is an object\n    if (typeof component !== 'object' || component === null) {\n      throw errorConfigValidation('frameworkComponents[]', {\n        why: `Framework component at index ${i} must be an object`,\n      });\n    }\n\n    const record = component as Record<string, unknown>;\n\n    // Check kind\n    if (!Object.hasOwn(record, 'kind')) {\n      throw errorConfigValidation('frameworkComponents[].kind', {\n        why: `Framework component at index ${i} must have 'kind' property`,\n      });\n    }\n\n    const kind = record['kind'];\n    if (kind !== 'target' && kind !== 'adapter' && kind !== 'extension' && kind !== 'driver') {\n      throw errorConfigValidation('frameworkComponents[].kind', {\n        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`,\n      });\n    }\n\n    // Check familyId\n    if (!Object.hasOwn(record, 'familyId')) {\n      throw errorConfigValidation('frameworkComponents[].familyId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`,\n      });\n    }\n\n    const familyId = record['familyId'];\n    if (familyId !== expectedFamilyId) {\n      throw errorConfigValidation('frameworkComponents[].familyId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`,\n      });\n    }\n\n    // Check targetId\n    if (!Object.hasOwn(record, 'targetId')) {\n      throw errorConfigValidation('frameworkComponents[].targetId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`,\n      });\n    }\n\n    const targetId = record['targetId'];\n    if (targetId !== expectedTargetId) {\n      throw errorConfigValidation('frameworkComponents[].targetId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`,\n      });\n    }\n  }\n\n  // Type assertion is safe because we've validated all components above\n  return frameworkComponents as ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n}\n\n/**\n * Validates that a contract is compatible with the configured target, adapter,\n * and extension packs. Throws on family/target mismatches or missing extension packs.\n *\n * This check ensures the emitted contract matches the CLI config before running\n * commands that depend on the contract (e.g., db verify, db sign).\n *\n * @param contract - The contract to validate (must include targetFamily, target, extensionPacks).\n * @param stack - The control plane stack (target, adapter, driver, extensionPacks).\n *\n * @throws {CliStructuredError} errorConfigValidation when contract.targetFamily or contract.target\n *   doesn't match the configured family/target.\n * @throws {CliStructuredError} errorContractMissingExtensionPacks when the contract requires\n *   extension packs that are not provided in the config (includes all missing packs in error.meta).\n *\n * @example\n * ```ts\n * import { assertContractRequirementsSatisfied } from './framework-components';\n *\n * const config = await loadConfig();\n * const contract = await loadContractJson(config.contract.output);\n * const stack = createControlStack({ family: config.family, target: config.target, adapter: config.adapter, ... });\n *\n * // Throws if contract is incompatible with config\n * assertContractRequirementsSatisfied({ contract, stack });\n * ```\n */\nexport function assertContractRequirementsSatisfied<\n  TFamilyId extends string,\n  TTargetId extends string,\n>({\n  contract,\n  stack,\n}: {\n  readonly contract: Pick<Contract, 'targetFamily' | 'target' | 'extensionPacks'>;\n  readonly stack: ControlStack<TFamilyId, TTargetId>;\n}): void {\n  const providedComponentIds = new Set<string>([\n    stack.target.id,\n    ...(stack.adapter ? [stack.adapter.id] : []),\n  ]);\n  for (const extension of stack.extensionPacks) {\n    providedComponentIds.add(extension.id);\n  }\n\n  const result = checkContractComponentRequirements({\n    contract,\n    expectedTargetFamily: stack.target.familyId,\n    expectedTargetId: stack.target.targetId,\n    providedComponentIds,\n  });\n\n  if (result.familyMismatch) {\n    throw errorConfigValidation('contract.targetFamily', {\n      why: `Contract was emitted for family '${result.familyMismatch.actual}' but CLI config is wired to '${result.familyMismatch.expected}'.`,\n    });\n  }\n\n  if (result.targetMismatch) {\n    throw errorConfigValidation('contract.target', {\n      why: `Contract target '${result.targetMismatch.actual}' does not match CLI target '${result.targetMismatch.expected}'.`,\n    });\n  }\n\n  if (result.missingExtensionPackIds.length > 0) {\n    throw errorContractMissingExtensionPacks({\n      missingExtensionPacks: result.missingExtensionPackIds,\n      providedComponentIds: [...providedComponentIds],\n    });\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,SAAgB,oCAId,kBACA,kBACA,qBACqE;AACrE,MAAK,IAAI,IAAI,GAAG,IAAI,oBAAoB,QAAQ,KAAK;EACnD,MAAM,YAAY,oBAAoB;AAGtC,MAAI,OAAO,cAAc,YAAY,cAAc,KACjD,OAAM,sBAAsB,yBAAyB,EACnD,KAAK,gCAAgC,EAAE,qBACxC,CAAC;EAGJ,MAAM,SAAS;AAGf,MAAI,CAAC,OAAO,OAAO,QAAQ,OAAO,CAChC,OAAM,sBAAsB,8BAA8B,EACxD,KAAK,gCAAgC,EAAE,6BACxC,CAAC;EAGJ,MAAM,OAAO,OAAO;AACpB,MAAI,SAAS,YAAY,SAAS,aAAa,SAAS,eAAe,SAAS,SAC9E,OAAM,sBAAsB,8BAA8B,EACxD,KAAK,gCAAgC,EAAE,qBAAqB,OAAO,KAAK,CAAC,4DAC1E,CAAC;AAIJ,MAAI,CAAC,OAAO,OAAO,QAAQ,WAAW,CACpC,OAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kCAC/D,CAAC;EAGJ,MAAM,WAAW,OAAO;AACxB,MAAI,aAAa,iBACf,OAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kBAAkB,OAAO,SAAS,CAAC,kBAAkB,iBAAiB,IACrI,CAAC;AAIJ,MAAI,CAAC,OAAO,OAAO,QAAQ,WAAW,CACpC,OAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kCAC/D,CAAC;EAGJ,MAAM,WAAW,OAAO;AACxB,MAAI,aAAa,iBACf,OAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kBAAkB,OAAO,SAAS,CAAC,kBAAkB,iBAAiB,IACrI,CAAC;;AAKN,QAAO"}
+{"version":3,"file":"framework-components-Cr--XBKy.mjs","names":[],"sources":["../src/utils/framework-components.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport {\n  checkContractComponentRequirements,\n  type TargetBoundComponentDescriptor,\n} from '@prisma-next/framework-components/components';\nimport type { ControlStack } from '@prisma-next/framework-components/control';\nimport { errorConfigValidation, errorContractMissingExtensionPacks } from './cli-errors';\n\n/**\n * Asserts that all framework components are compatible with the expected family and target.\n *\n * This function validates that each component in the framework components array:\n * - Has kind 'target', 'adapter', 'extension', or 'driver'\n * - Has familyId matching expectedFamilyId\n * - Has targetId matching expectedTargetId\n *\n * This validation happens at the CLI composition boundary, before passing components\n * to typed planner/runner instances. It fills the gap between runtime validation\n * (via `validateConfig()`) and compile-time type enforcement.\n *\n * @param expectedFamilyId - The expected family ID (e.g., 'sql')\n * @param expectedTargetId - The expected target ID (e.g., 'postgres')\n * @param frameworkComponents - Array of framework components to validate\n * @returns The same array typed as TargetBoundComponentDescriptor\n * @throws CliStructuredError if any component is incompatible\n *\n * @example\n * ```ts\n * const config = await loadConfig();\n * const frameworkComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];\n *\n * // Validate and type-narrow components before passing to planner\n * const typedComponents = assertFrameworkComponentsCompatible(\n *   config.family.familyId,\n *   config.target.targetId,\n *   frameworkComponents\n * );\n *\n * const planner = target.migrations.createPlanner(familyInstance);\n * planner.plan({ contract, schema, policy, frameworkComponents: typedComponents });\n * ```\n */\nexport function assertFrameworkComponentsCompatible<\n  TFamilyId extends string,\n  TTargetId extends string,\n>(\n  expectedFamilyId: TFamilyId,\n  expectedTargetId: TTargetId,\n  frameworkComponents: ReadonlyArray<unknown>,\n): ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>> {\n  for (let i = 0; i < frameworkComponents.length; i++) {\n    const component = frameworkComponents[i];\n\n    // Check that component is an object\n    if (typeof component !== 'object' || component === null) {\n      throw errorConfigValidation('frameworkComponents[]', {\n        why: `Framework component at index ${i} must be an object`,\n      });\n    }\n\n    const record = component as Record<string, unknown>;\n\n    // Check kind\n    if (!Object.hasOwn(record, 'kind')) {\n      throw errorConfigValidation('frameworkComponents[].kind', {\n        why: `Framework component at index ${i} must have 'kind' property`,\n      });\n    }\n\n    const kind = record['kind'];\n    if (kind !== 'target' && kind !== 'adapter' && kind !== 'extension' && kind !== 'driver') {\n      throw errorConfigValidation('frameworkComponents[].kind', {\n        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`,\n      });\n    }\n\n    // Check familyId\n    if (!Object.hasOwn(record, 'familyId')) {\n      throw errorConfigValidation('frameworkComponents[].familyId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`,\n      });\n    }\n\n    const familyId = record['familyId'];\n    if (familyId !== expectedFamilyId) {\n      throw errorConfigValidation('frameworkComponents[].familyId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`,\n      });\n    }\n\n    // Check targetId\n    if (!Object.hasOwn(record, 'targetId')) {\n      throw errorConfigValidation('frameworkComponents[].targetId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`,\n      });\n    }\n\n    const targetId = record['targetId'];\n    if (targetId !== expectedTargetId) {\n      throw errorConfigValidation('frameworkComponents[].targetId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`,\n      });\n    }\n  }\n\n  // Type assertion is safe because we've validated all components above\n  return frameworkComponents as ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n}\n\n/**\n * Validates that a contract is compatible with the configured target, adapter,\n * and extension packs. Throws on family/target mismatches or missing extension packs.\n *\n * This check ensures the emitted contract matches the CLI config before running\n * commands that depend on the contract (e.g., db verify, db sign).\n *\n * @param contract - The contract to validate (must include targetFamily, target, extensionPacks).\n * @param stack - The control plane stack (target, adapter, driver, extensionPacks).\n *\n * @throws {CliStructuredError} errorConfigValidation when contract.targetFamily or contract.target\n *   doesn't match the configured family/target.\n * @throws {CliStructuredError} errorContractMissingExtensionPacks when the contract requires\n *   extension packs that are not provided in the config (includes all missing packs in error.meta).\n *\n * @example\n * ```ts\n * import { assertContractRequirementsSatisfied } from './framework-components';\n *\n * const config = await loadConfig();\n * const contract = await loadContractJson(config.contract.output);\n * const stack = createControlStack({ family: config.family, target: config.target, adapter: config.adapter, ... });\n *\n * // Throws if contract is incompatible with config\n * assertContractRequirementsSatisfied({ contract, stack });\n * ```\n */\nexport function assertContractRequirementsSatisfied<\n  TFamilyId extends string,\n  TTargetId extends string,\n>({\n  contract,\n  stack,\n}: {\n  readonly contract: Pick<Contract, 'targetFamily' | 'target' | 'extensionPacks'>;\n  readonly stack: ControlStack<TFamilyId, TTargetId>;\n}): void {\n  const providedComponentIds = new Set<string>([\n    stack.target.id,\n    ...(stack.adapter ? [stack.adapter.id] : []),\n  ]);\n  for (const extension of stack.extensionPacks) {\n    providedComponentIds.add(extension.id);\n  }\n\n  const result = checkContractComponentRequirements({\n    contract,\n    expectedTargetFamily: stack.target.familyId,\n    expectedTargetId: stack.target.targetId,\n    providedComponentIds,\n  });\n\n  if (result.familyMismatch) {\n    throw errorConfigValidation('contract.targetFamily', {\n      why: `Contract was emitted for family '${result.familyMismatch.actual}' but CLI config is wired to '${result.familyMismatch.expected}'.`,\n    });\n  }\n\n  if (result.targetMismatch) {\n    throw errorConfigValidation('contract.target', {\n      why: `Contract target '${result.targetMismatch.actual}' does not match CLI target '${result.targetMismatch.expected}'.`,\n    });\n  }\n\n  if (result.missingExtensionPackIds.length > 0) {\n    throw errorContractMissingExtensionPacks({\n      missingExtensionPacks: result.missingExtensionPackIds,\n      providedComponentIds: [...providedComponentIds],\n    });\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,SAAgB,oCAId,kBACA,kBACA,qBACqE;AACrE,MAAK,IAAI,IAAI,GAAG,IAAI,oBAAoB,QAAQ,KAAK;EACnD,MAAM,YAAY,oBAAoB;AAGtC,MAAI,OAAO,cAAc,YAAY,cAAc,KACjD,OAAM,sBAAsB,yBAAyB,EACnD,KAAK,gCAAgC,EAAE,qBACxC,CAAC;EAGJ,MAAM,SAAS;AAGf,MAAI,CAAC,OAAO,OAAO,QAAQ,OAAO,CAChC,OAAM,sBAAsB,8BAA8B,EACxD,KAAK,gCAAgC,EAAE,6BACxC,CAAC;EAGJ,MAAM,OAAO,OAAO;AACpB,MAAI,SAAS,YAAY,SAAS,aAAa,SAAS,eAAe,SAAS,SAC9E,OAAM,sBAAsB,8BAA8B,EACxD,KAAK,gCAAgC,EAAE,qBAAqB,OAAO,KAAK,CAAC,4DAC1E,CAAC;AAIJ,MAAI,CAAC,OAAO,OAAO,QAAQ,WAAW,CACpC,OAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kCAC/D,CAAC;EAGJ,MAAM,WAAW,OAAO;AACxB,MAAI,aAAa,iBACf,OAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kBAAkB,OAAO,SAAS,CAAC,kBAAkB,iBAAiB,IACrI,CAAC;AAIJ,MAAI,CAAC,OAAO,OAAO,QAAQ,WAAW,CACpC,OAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kCAC/D,CAAC;EAGJ,MAAM,WAAW,OAAO;AACxB,MAAI,aAAa,iBACf,OAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kBAAkB,OAAO,SAAS,CAAC,kBAAkB,iBAAiB,IACrI,CAAC;;AAKN,QAAO"}