prisma-next 0.8.0 → 0.9.0-dev.1

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

@@ -1 +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"}
+{"version":3,"file":"contract-infer-Cnj8G1E2.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 → contract-space-aggregate-loader-pAc8CDfY.mjs}

@@ -1,4 +1,4 @@
-import { t as CliStructuredError } from "./cli-errors-D3_sMh2K.mjs";
+import { t as CliStructuredError } from "./cli-errors-CF60g2cG.mjs";
 import { notOk, ok } from "@prisma-next/utils/result";
 import { loadContractSpaceAggregate } from "@prisma-next/migration-tools/aggregate";
 //#region src/utils/extension-pack-inputs.ts
@@ -135,7 +135,7 @@ function mapLoadAggregateError(error) {
 * (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
+* graph does not need to be walked. `migrate` threads the
 * already-loaded app-space packages through so the graph-walk strategy
 * can plot a path through them — replay forbids synth.
 *
@@ -148,7 +148,7 @@ async function buildContractSpaceAggregate(inputs) {
 		migrationsDir: inputs.migrationsDir,
 		appContract: inputs.appContract,
 		declaredExtensions,
-		validateContract: inputs.validateContract,
+		deserializeContract: inputs.deserializeContract,
 		appMigrationPackages: inputs.appMigrationPackages ?? []
 	});
 	if (!result.ok) return notOk(mapLoadAggregateError(result.failure));
@@ -157,4 +157,4 @@ async function buildContractSpaceAggregate(inputs) {
 //#endregion
 export { toExtensionInputs as n, buildContractSpaceAggregate as t };
 
-//# sourceMappingURL=contract-space-aggregate-loader-BrwKK6Q6.mjs.map
+//# sourceMappingURL=contract-space-aggregate-loader-pAc8CDfY.mjs.map

package/dist/{contract-space-aggregate-loader-BrwKK6Q6.mjs.map → contract-space-aggregate-loader-pAc8CDfY.mjs.map}

@@ -1 +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"}
+{"version":3,"file":"contract-space-aggregate-loader-pAc8CDfY.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 deserializeContract: (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   * `migrate` 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. `migrate` 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    deserializeContract: inputs.deserializeContract,\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,qBAAqB,OAAO;EAC5B,sBAAsB,OAAO,wBAAwB,EAAE;EAGqB,CAAC;CAC/E,IAAI,CAAC,OAAO,IACV,OAAO,MAAM,sBAAsB,OAAO,QAAQ,CAAC;CAErD,OAAO,GAAG,OAAO,MAAM,UAAU"}

package/dist/{db-verify-Czm5T-J4.mjs → db-verify-D7cyH_zz.mjs}

@@ -1,17 +1,17 @@
 import { t as loadConfig } from "./config-loader-B6sJjXTv.mjs";
-import { _ as errorUnexpected, a as errorContractValidationFailed, c as errorDriverRequired, d as errorMarkerMissing, g as errorTargetMismatch, l as errorFileNotFound, m as errorRuntime, o as errorDatabaseConnectionRequired, t as CliStructuredError, u as errorHashMismatch } from "./cli-errors-D3_sMh2K.mjs";
-import { c as resolveContractPath, d as setCommandDescriptions, f as setCommandExamples, g as parseGlobalFlags, l as resolveMigrationPaths, o as maskConnectionUrl, t as addGlobalOptions, y as formatStyledHeader } from "./command-helpers-BeZHkxV8.mjs";
+import { _ as errorUnexpected, a as errorContractValidationFailed, c as errorDriverRequired, d as errorMarkerMissing, g as errorTargetMismatch, l as errorFileNotFound, m as errorRuntime, o as errorDatabaseConnectionRequired, t as CliStructuredError, u as errorHashMismatch } from "./cli-errors-CF60g2cG.mjs";
+import { _ as parseGlobalFlags, b as formatStyledHeader, c as resolveContractPath, d as setCommandDescriptions, f as setCommandExamples, l as resolveMigrationPaths, o as maskConnectionUrl, t as addGlobalOptions } from "./command-helpers-D3vL5yi8.mjs";
 import { t as createProgressAdapter } from "./progress-adapter-DFfvZcYL.mjs";
-import { t as TerminalUI } from "./terminal-ui-C_hFNbAn.mjs";
-import { t as handleResult } from "./result-handler-rmPVKIP2.mjs";
-import { a as ContractValidationError, t as createControlClient } from "./client-BCnP7cHo.mjs";
-import { c as formatVerifyOutput, i as formatSchemaVerifyOutput, r as formatSchemaVerifyJson, s as formatVerifyJson } from "./verify-CiwNWM9N.mjs";
+import { t as handleResult } from "./result-handler-Bm_6dDYg.mjs";
+import { t as TerminalUI } from "./terminal-ui-XtOQsqe9.mjs";
+import { a as ContractValidationError, t as createControlClient } from "./client-Brv4qlfB.mjs";
+import { c as formatVerifyOutput, i as formatSchemaVerifyOutput, r as formatSchemaVerifyJson, s as formatVerifyJson } from "./verify-D7ypCCe6.mjs";
 import { Command } from "commander";
 import { ifDefined } from "@prisma-next/utils/defined";
 import { notOk, ok } from "@prisma-next/utils/result";
 import { relative, resolve } from "pathe";
 import { readFile } from "node:fs/promises";
-import { VERIFY_CODE_HASH_MISMATCH, VERIFY_CODE_MARKER_MISSING, VERIFY_CODE_TARGET_MISMATCH } from "@prisma-next/framework-components/control";
+import { VERIFY_CODE_HASH_MISMATCH, VERIFY_CODE_MARKER_MISSING, VERIFY_CODE_TARGET_MISMATCH, createControlStack } from "@prisma-next/framework-components/control";
 //#region src/utils/combine-schema-results.ts
 /**
 * Collapse the aggregate verifier's per-space schema results into a
@@ -199,10 +199,13 @@ async function resolveVerifySetup(paths, options, mode) {
 		}));
 		return notOk(errorUnexpected(error instanceof Error ? error.message : String(error), { why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}` }));
 	}
+	const stack = createControlStack(config);
+	const familyInstance = config.family.create(stack);
 	let contractJson;
 	try {
-		contractJson = JSON.parse(contractJsonContent);
+		contractJson = familyInstance.deserializeContract(JSON.parse(contractJsonContent));
 	} catch (error) {
+		if (error instanceof ContractValidationError) return notOk(errorContractValidationFailed(`Contract validation failed: ${error.message}`, { where: { path: contractPathAbsolute } }));
 		return notOk(errorContractValidationFailed(`Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`, { where: { path: contractPathAbsolute } }));
 	}
 	const dbConnection = options.db ?? config.db?.connection;
@@ -401,4 +404,4 @@ function createDbVerifyCommand() {
 //#endregion
 export { createDbVerifyCommand as t };
 
-//# sourceMappingURL=db-verify-Czm5T-J4.mjs.map
+//# sourceMappingURL=db-verify-D7cyH_zz.mjs.map

package/dist/db-verify-D7cyH_zz.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"db-verify-D7cyH_zz.mjs","names":[],"sources":["../src/utils/combine-schema-results.ts","../src/commands/db-verify.ts"],"sourcesContent":["import type { VerifyDatabaseSchemaResult } from '@prisma-next/framework-components/control';\n\n/**\n * Collapse the aggregate verifier's per-space schema results into a\n * single {@link VerifyDatabaseSchemaResult} for the existing CLI\n * display surface. Concatenates issues across members; sums counts;\n * uses the app member's result as the structural envelope (storage\n * hash, target).\n *\n * **Summary policy.** Preserve the per-family phrasing whenever the\n * combined `ok` flag agrees with the app member's `ok` flag — this is\n * the common case (single-family deployments, single-app deployments)\n * and the family's \"satisfies / does not satisfy contract\" phrasing\n * stays user-visible. When the app passes but an extension fails (or\n * vice versa) the app's summary contradicts the envelope, so fall back\n * to the first failing member's summary. This keeps family phrasing\n * intact and the envelope internally consistent (`ok: false` ↔ failure\n * summary).\n */\nexport function combineSchemaResults(\n  perSpace: ReadonlyMap<string, VerifyDatabaseSchemaResult>,\n  appSpaceId: string,\n  strict: boolean,\n): VerifyDatabaseSchemaResult {\n  const appResult = perSpace.get(appSpaceId) ?? perSpace.values().next().value;\n  if (appResult === undefined) {\n    throw new Error('Aggregate verifier returned no schema results — this is a wiring bug.');\n  }\n\n  let okAll = true;\n  let firstFailure: VerifyDatabaseSchemaResult | undefined;\n  let issues: VerifyDatabaseSchemaResult['schema']['issues'] = [];\n  const counts = { pass: 0, warn: 0, fail: 0, totalNodes: 0 };\n  const childRoots: Array<VerifyDatabaseSchemaResult['schema']['root']> = [];\n  for (const [, result] of perSpace) {\n    if (!result.ok) {\n      okAll = false;\n      if (firstFailure === undefined) firstFailure = result;\n    }\n    issues = [...issues, ...result.schema.issues];\n    counts.pass += result.schema.counts.pass;\n    counts.warn += result.schema.counts.warn;\n    counts.fail += result.schema.counts.fail;\n    counts.totalNodes += result.schema.counts.totalNodes;\n    childRoots.push(result.schema.root);\n  }\n\n  // When `okAll !== appResult.ok`, exactly one shape is reachable: app passes\n  // (`appResult.ok === true`) and at least one other member failed\n  // (`okAll === false`). In that shape the failure was assigned to\n  // `firstFailure` during iteration, so non-null assertion is safe. The mirror\n  // shape (app fails while every member passes) is impossible because\n  // `appResult` either *is* a member of `perSpace` or is the first iterator\n  // value; either way its `ok` flag participates in `okAll`.\n  const summary =\n    okAll === appResult.ok\n      ? appResult.summary\n      : (firstFailure as VerifyDatabaseSchemaResult).summary;\n\n  return {\n    ok: okAll,\n    ...(okAll ? {} : { code: appResult.code ?? 'PN-RUN-3010' }),\n    summary,\n    contract: appResult.contract,\n    target: appResult.target,\n    schema: {\n      issues,\n      root: {\n        status: okAll ? 'pass' : 'fail',\n        kind: 'aggregate',\n        name: 'aggregate',\n        contractPath: '',\n        code: 'AGGREGATE',\n        message: okAll ? 'Aggregate schema matches' : 'Aggregate schema mismatch',\n        expected: undefined,\n        actual: undefined,\n        children: childRoots,\n      },\n      counts,\n    },\n    meta: { strict },\n    timings: { total: 0 },\n  };\n}\n","import { readFile } from 'node:fs/promises';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  VerifyDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport {\n  createControlStack,\n  VERIFY_CODE_HASH_MISMATCH,\n  VERIFY_CODE_MARKER_MISSING,\n  VERIFY_CODE_TARGET_MISMATCH,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { Command } from 'commander';\nimport { relative, resolve } from 'pathe';\nimport { loadConfig } from '../config-loader';\nimport { createControlClient } from '../control-api/client';\nimport { ContractValidationError } from '../control-api/errors';\nimport {\n  CliStructuredError,\n  errorContractValidationFailed,\n  errorDatabaseConnectionRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorHashMismatch,\n  errorMarkerMissing,\n  errorRuntime,\n  errorTargetMismatch,\n  errorUnexpected,\n} from '../utils/cli-errors';\nimport { combineSchemaResults } from '../utils/combine-schema-results';\nimport {\n  addGlobalOptions,\n  maskConnectionUrl,\n  resolveContractPath,\n  resolveMigrationPaths,\n  setCommandDescriptions,\n  setCommandExamples,\n} from '../utils/command-helpers';\nimport { formatStyledHeader } from '../utils/formatters/styled';\nimport {\n  type DbVerifyCommandSuccessResult,\n  formatSchemaVerifyJson,\n  formatSchemaVerifyOutput,\n  formatVerifyJson,\n  formatVerifyOutput,\n} from '../utils/formatters/verify';\nimport type { CommonCommandOptions } from '../utils/global-flags';\nimport { type GlobalFlags, parseGlobalFlags } from '../utils/global-flags';\nimport { createProgressAdapter } from '../utils/progress-adapter';\nimport { handleResult } from '../utils/result-handler';\nimport { TerminalUI } from '../utils/terminal-ui';\n\ninterface DbVerifyOptions extends CommonCommandOptions {\n  readonly db?: string;\n  readonly config?: string;\n  readonly markerOnly?: boolean;\n  readonly schemaOnly?: boolean;\n  readonly strict?: boolean;\n}\n\ntype DbVerifyMode = 'full' | 'marker-only' | 'schema-only';\n\n/**\n * Maps a VerifyDatabaseResult failure to a CliStructuredError.\n */\nfunction mapVerifyFailure(verifyResult: VerifyDatabaseResult): CliStructuredError {\n  if (!verifyResult.ok && verifyResult.code) {\n    if (verifyResult.code === VERIFY_CODE_MARKER_MISSING) {\n      return errorMarkerMissing();\n    }\n    if (verifyResult.code === VERIFY_CODE_HASH_MISMATCH) {\n      const storageMatch = verifyResult.marker?.storageHash === verifyResult.contract.storageHash;\n      const profileMatch =\n        !verifyResult.contract.profileHash ||\n        verifyResult.marker?.profileHash === verifyResult.contract.profileHash;\n\n      if (!storageMatch) {\n        return errorHashMismatch({\n          why: 'Contract storageHash does not match database marker',\n          expected: verifyResult.contract.storageHash,\n          ...ifDefined('actual', verifyResult.marker?.storageHash),\n        });\n      }\n\n      return errorHashMismatch({\n        why: profileMatch\n          ? 'Contract hash does not match database marker'\n          : 'Contract profileHash does not match database marker',\n        ...ifDefined('expected', verifyResult.contract.profileHash),\n        ...ifDefined('actual', verifyResult.marker?.profileHash),\n      });\n    }\n    if (verifyResult.code === VERIFY_CODE_TARGET_MISMATCH) {\n      return errorTargetMismatch(\n        verifyResult.target.expected,\n        verifyResult.target.actual ?? 'unknown',\n      );\n    }\n    // Unknown code - fall through to runtime error\n  }\n  return errorRuntime(verifyResult.summary);\n}\n\ntype DbVerifyFailure = CliStructuredError | VerifyDatabaseSchemaResult;\n\nfunction errorInvalidVerifyMode(options: {\n  readonly why: string;\n  readonly fix: string;\n}): CliStructuredError {\n  return new CliStructuredError('4012', 'Invalid verify mode', {\n    domain: 'CLI',\n    why: options.why,\n    fix: options.fix,\n    docsUrl: 'https://pris.ly/db-verify',\n  });\n}\n\nfunction resolveDbVerifyMode(options: DbVerifyOptions): Result<DbVerifyMode, CliStructuredError> {\n  if (options.markerOnly && options.schemaOnly) {\n    return notOk(\n      errorInvalidVerifyMode({\n        why: '`--marker-only` and `--schema-only` cannot be used together',\n        fix: 'Choose one mode: omit both to check the marker and schema, use `--marker-only` to check only the marker, or use `--schema-only` to check only the live schema.',\n      }),\n    );\n  }\n\n  if (options.markerOnly && options.strict) {\n    return notOk(\n      errorInvalidVerifyMode({\n        why: '`--strict` requires schema verification, but `--marker-only` skips it',\n        fix: 'Remove `--strict`, or use `db verify` / `db verify --schema-only` when you want to check the live schema in strict mode.',\n      }),\n    );\n  }\n\n  if (options.schemaOnly) {\n    return ok('schema-only');\n  }\n\n  if (options.markerOnly) {\n    return ok('marker-only');\n  }\n\n  return ok('full');\n}\n\nfunction formatDbVerifyModeLabel(mode: DbVerifyMode, strict: boolean): string {\n  if (mode === 'marker-only') {\n    return 'marker only';\n  }\n\n  if (mode === 'schema-only') {\n    return `schema only (${strict ? 'strict' : 'tolerant'})`;\n  }\n\n  return `full (marker + schema, ${strict ? 'strict' : 'tolerant'})`;\n}\n\nfunction formatDbVerifyInvocation(mode: DbVerifyMode, strict: boolean): string {\n  const args = ['db verify'];\n\n  if (mode === 'marker-only') {\n    args.push('--marker-only');\n  }\n\n  if (mode === 'schema-only') {\n    args.push('--schema-only');\n  }\n\n  if (strict) {\n    args.push('--strict');\n  }\n\n  return args.join(' ');\n}\n\nfunction createDbVerifyConnectionRequiredError(options: {\n  readonly configPath: string;\n  readonly mode: DbVerifyMode;\n  readonly strict: boolean;\n}): CliStructuredError {\n  const invocation = formatDbVerifyInvocation(options.mode, options.strict);\n  return errorDatabaseConnectionRequired({\n    why: `Database connection is required for ${invocation} (set db.connection in ${options.configPath}, or pass --db <url>)`,\n    retryCommand: `prisma-next ${invocation} --db <url>`,\n  });\n}\n\nfunction renderVerifyHeader(\n  paths: { configPath: string; contractPath: string },\n  options: DbVerifyOptions,\n  mode: DbVerifyMode,\n  flags: GlobalFlags,\n  ui: TerminalUI,\n): void {\n  if (flags.json || flags.quiet) return;\n\n  const description =\n    mode === 'schema-only'\n      ? 'Check whether the live database schema matches your contract'\n      : mode === 'marker-only'\n        ? 'Check whether the database marker matches your contract'\n        : 'Check whether the database marker and live schema match your contract';\n\n  const details: Array<{ label: string; value: string }> = [\n    { label: 'config', value: paths.configPath },\n    { label: 'contract', value: paths.contractPath },\n    { label: 'mode', value: formatDbVerifyModeLabel(mode, options.strict ?? false) },\n  ];\n  if (options.db) {\n    details.push({ label: 'database', value: maskConnectionUrl(options.db) });\n  }\n\n  ui.stderr(\n    formatStyledHeader({\n      command: 'db verify',\n      description,\n      url: 'https://pris.ly/db-verify',\n      details,\n      flags,\n    }),\n  );\n}\n\nasync function resolveVerifyPaths(options: DbVerifyOptions) {\n  const config = await loadConfig(options.config);\n  const configPath = options.config\n    ? relative(process.cwd(), resolve(options.config))\n    : 'prisma-next.config.ts';\n  const contractPathAbsolute = resolveContractPath(config);\n  const contractPath = relative(process.cwd(), contractPathAbsolute);\n  return { config, configPath, contractPathAbsolute, contractPath };\n}\n\ntype VerifyPaths = Awaited<ReturnType<typeof resolveVerifyPaths>>;\n\ninterface VerifySetup extends VerifyPaths {\n  readonly contractJson: Contract;\n  readonly dbConnection: string;\n}\n\nasync function resolveVerifySetup(\n  paths: VerifyPaths,\n  options: DbVerifyOptions,\n  mode: DbVerifyMode,\n): Promise<Result<VerifySetup, CliStructuredError>> {\n  const { config, configPath, contractPathAbsolute, contractPath } = paths;\n\n  let contractJsonContent: string;\n  try {\n    contractJsonContent = await readFile(contractPathAbsolute, 'utf-8');\n  } catch (error) {\n    if (error instanceof Error && (error as { code?: string }).code === 'ENOENT') {\n      return notOk(\n        errorFileNotFound(contractPathAbsolute, {\n          why: `Contract file not found at ${contractPathAbsolute}`,\n          fix: `Run \\`prisma-next contract emit\\` to generate ${contractPath}, or update \\`config.contract.output\\` in ${configPath}`,\n        }),\n      );\n    }\n    return notOk(\n      errorUnexpected(error instanceof Error ? error.message : String(error), {\n        why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`,\n      }),\n    );\n  }\n\n  // Cross the family `deserializeContract` seam at the read site, just\n  // like every other CLI on-disk read (TML-2536). The downstream\n  // `dbVerify` op accepts the hydrated `Contract` directly and no\n  // longer re-deserializes.\n  const stack = createControlStack(config);\n  const familyInstance = config.family.create(stack);\n\n  let contractJson: Contract;\n  try {\n    contractJson = familyInstance.deserializeContract(JSON.parse(contractJsonContent) as unknown);\n  } catch (error) {\n    if (error instanceof ContractValidationError) {\n      return notOk(\n        errorContractValidationFailed(`Contract validation failed: ${error.message}`, {\n          where: { path: contractPathAbsolute },\n        }),\n      );\n    }\n    return notOk(\n      errorContractValidationFailed(\n        `Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`,\n        { where: { path: contractPathAbsolute } },\n      ),\n    );\n  }\n\n  const dbConnection = options.db ?? config.db?.connection;\n  if (typeof dbConnection !== 'string' || dbConnection.length === 0) {\n    return notOk(\n      createDbVerifyConnectionRequiredError({\n        configPath,\n        mode,\n        strict: options.strict ?? false,\n      }),\n    );\n  }\n\n  if (!config.driver) {\n    return notOk(\n      errorDriverRequired({\n        why: `Config.driver is required for ${formatDbVerifyInvocation(mode, options.strict ?? false)}`,\n      }),\n    );\n  }\n\n  return ok({ ...paths, contractJson, dbConnection });\n}\n\nfunction createVerifyClient(setup: VerifySetup) {\n  return createControlClient({\n    family: setup.config.family,\n    target: setup.config.target,\n    adapter: setup.config.adapter,\n    driver: setup.config.driver!,\n    extensionPacks: setup.config.extensionPacks ?? [],\n  });\n}\n\nfunction wrapVerifyError(\n  error: unknown,\n  contractPathAbsolute: string,\n  modeLabel: string,\n): Result<never, CliStructuredError> {\n  if (error instanceof CliStructuredError) {\n    return notOk(error);\n  }\n  if (error instanceof ContractValidationError) {\n    return notOk(\n      errorContractValidationFailed(`Contract validation failed: ${error.message}`, {\n        where: { path: contractPathAbsolute },\n      }),\n    );\n  }\n  return notOk(\n    errorUnexpected(error instanceof Error ? error.message : String(error), {\n      why: `Unexpected error during ${modeLabel}: ${error instanceof Error ? error.message : String(error)}`,\n    }),\n  );\n}\n\n/**\n * Executes the db verify command and returns a structured Result.\n */\nasync function executeDbVerifyCommand(\n  options: DbVerifyOptions,\n  flags: GlobalFlags,\n  ui: TerminalUI,\n  mode: Extract<DbVerifyMode, 'full' | 'marker-only'>,\n): Promise<Result<DbVerifyCommandSuccessResult, DbVerifyFailure>> {\n  const startTime = Date.now();\n  const paths = await resolveVerifyPaths(options);\n  renderVerifyHeader(paths, options, mode, flags, ui);\n\n  const setupResult = await resolveVerifySetup(paths, options, mode);\n  if (!setupResult.ok) return setupResult;\n  const { contractJson, dbConnection, contractPathAbsolute } = setupResult.value;\n  const { migrationsDir } = resolveMigrationPaths(options.config, setupResult.value.config);\n\n  const client = createVerifyClient(setupResult.value);\n  const onProgress = createProgressAdapter({ ui, flags });\n\n  try {\n    // Single-contract marker verification preserved for the existing\n    // marker / target / hash failure surface (`PN-RUN-3001/3002/3003`).\n    // The aggregate verifier (run below for the per-space marker /\n    // schema checks) does not duplicate this: it concerns itself with\n    // marker-vs-on-disk and orphan-marker drift, not the\n    // hash-mismatch-against-the-app-contract lane that today's\n    // `client.verify` covers.\n    const verifyResult = await client.verify({\n      contract: contractJson,\n      connection: dbConnection,\n      onProgress,\n    });\n\n    if (!verifyResult.ok) {\n      return notOk(mapVerifyFailure(verifyResult));\n    }\n\n    // Aggregate verifier (loader → verifier pipeline). Runs the layout\n    // precheck, marker-aware per-space verifier, and (full mode only)\n    // per-space pre-projected schema verification (closes F23).\n    const aggregateResult = await client.dbVerify({\n      contract: contractJson,\n      migrationsDir,\n      strict: options.strict ?? false,\n      skipSchema: mode === 'marker-only',\n      skipMarker: false,\n      onProgress,\n    });\n    if (!aggregateResult.ok) return notOk(aggregateResult.failure);\n\n    if (mode === 'marker-only') {\n      return ok({\n        ok: true,\n        mode: 'marker-only',\n        summary: 'Database marker matches contract',\n        contract: verifyResult.contract,\n        marker: verifyResult.marker,\n        target: verifyResult.target,\n        ...ifDefined('missingCodecs', verifyResult.missingCodecs),\n        ...ifDefined('codecCoverageSkipped', verifyResult.codecCoverageSkipped),\n        warning: 'Schema verification skipped because --marker-only was provided',\n        meta: {\n          ...(verifyResult.meta ?? {}),\n          schemaVerification: 'skipped',\n        },\n        timings: { total: Date.now() - startTime },\n      });\n    }\n\n    const combined = combineSchemaResults(\n      aggregateResult.value.schemaResults,\n      aggregateResult.value.appSpaceId,\n      options.strict ?? false,\n    );\n    if (!combined.ok) {\n      return notOk(combined);\n    }\n\n    return ok({\n      ok: true,\n      mode: 'full',\n      summary: 'Database marker and schema match contract',\n      contract: verifyResult.contract,\n      marker: verifyResult.marker,\n      target: verifyResult.target,\n      ...ifDefined('missingCodecs', verifyResult.missingCodecs),\n      ...ifDefined('codecCoverageSkipped', verifyResult.codecCoverageSkipped),\n      schema: {\n        summary: combined.summary,\n        counts: combined.schema.counts,\n        strict: combined.meta?.strict ?? false,\n      },\n      meta: {\n        ...(verifyResult.meta ?? {}),\n        schemaVerification: 'performed',\n      },\n      timings: { total: Date.now() - startTime },\n    });\n  } catch (error) {\n    return wrapVerifyError(error, contractPathAbsolute, 'db verify');\n  } finally {\n    await client.close();\n  }\n}\n\nasync function executeDbSchemaOnlyVerifyCommand(\n  options: DbVerifyOptions,\n  flags: GlobalFlags,\n  ui: TerminalUI,\n): Promise<Result<VerifyDatabaseSchemaResult, CliStructuredError>> {\n  const paths = await resolveVerifyPaths(options);\n  renderVerifyHeader(paths, options, 'schema-only', flags, ui);\n\n  const setupResult = await resolveVerifySetup(paths, options, 'schema-only');\n  if (!setupResult.ok) return setupResult;\n  const { contractJson, dbConnection, contractPathAbsolute } = setupResult.value;\n  const { migrationsDir } = resolveMigrationPaths(options.config, setupResult.value.config);\n\n  const client = createVerifyClient(setupResult.value);\n  const onProgress = createProgressAdapter({ ui, flags });\n\n  try {\n    await client.connect(dbConnection);\n    const aggregateResult = await client.dbVerify({\n      contract: contractJson,\n      migrationsDir,\n      strict: options.strict ?? false,\n      skipSchema: false,\n      skipMarker: true,\n      onProgress,\n    });\n    if (!aggregateResult.ok) return notOk(aggregateResult.failure);\n\n    return ok(\n      combineSchemaResults(\n        aggregateResult.value.schemaResults,\n        aggregateResult.value.appSpaceId,\n        options.strict ?? false,\n      ),\n    );\n  } catch (error) {\n    return wrapVerifyError(error, contractPathAbsolute, 'db verify --schema-only');\n  } finally {\n    await client.close();\n  }\n}\n\nexport function createDbVerifyCommand(): Command {\n  const command = new Command('verify');\n  setCommandDescriptions(\n    command,\n    'Check whether the database marker and live schema match your contract',\n    'Verifies the database marker first, then checks the database schema matches your contract.\\n' +\n      'Use `--marker-only` for marker-only verification, `--schema-only` to skip marker checks and\\n' +\n      'inspect only the live schema, and `--strict` to fail if the database includes elements\\n' +\n      'not present in the contract.',\n  );\n  setCommandExamples(command, [\n    'prisma-next db verify --db $DATABASE_URL',\n    'prisma-next db verify --db $DATABASE_URL --strict',\n    'prisma-next db verify --db $DATABASE_URL --schema-only',\n    'prisma-next db verify --db $DATABASE_URL --schema-only --strict',\n    'prisma-next db verify --db $DATABASE_URL --marker-only',\n    'prisma-next db verify --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('--marker-only', 'Skip schema verification and only check the database marker')\n    .option(\n      '--schema-only',\n      'Skip marker verification and only check whether the live schema satisfies the contract',\n    )\n    .option(\n      '--strict',\n      'Strict mode: schema elements not present in the contract are considered an error',\n      false,\n    )\n    .action(async (options: DbVerifyOptions) => {\n      const flags = parseGlobalFlags(options);\n      const ui = new TerminalUI({ color: flags.color, interactive: flags.interactive });\n\n      const modeResult = resolveDbVerifyMode(options);\n      if (!modeResult.ok) {\n        const exitCode = handleResult(modeResult as Result<never, CliStructuredError>, flags, ui);\n        process.exit(exitCode);\n      }\n\n      const mode = modeResult.value;\n\n      if (mode === 'schema-only') {\n        const result = await executeDbSchemaOnlyVerifyCommand(options, flags, ui);\n        const exitCode = handleResult(result, flags, ui, (schemaVerifyResult) => {\n          if (flags.json) {\n            ui.output(formatSchemaVerifyJson(schemaVerifyResult));\n          } else {\n            const output = formatSchemaVerifyOutput(schemaVerifyResult, flags);\n            if (output) {\n              ui.log(output);\n            }\n          }\n        });\n\n        if (result.ok && !result.value.ok) {\n          process.exit(1);\n        }\n\n        process.exit(exitCode);\n      }\n\n      const result = await executeDbVerifyCommand(options, flags, ui, mode);\n\n      if (result.ok) {\n        if (flags.json) {\n          ui.output(formatVerifyJson(result.value));\n        } else {\n          const output = formatVerifyOutput(result.value, flags);\n          if (output) {\n            ui.log(output);\n          }\n        }\n        process.exit(0);\n      }\n\n      if (CliStructuredError.is(result.failure)) {\n        const exitCode = handleResult(result as Result<never, CliStructuredError>, flags, ui);\n        process.exit(exitCode);\n      }\n\n      if (flags.json) {\n        ui.output(formatSchemaVerifyJson(result.failure));\n      } else {\n        // Always show schema-drift failures, even in quiet mode — exiting 1 without\n        // diagnostics is unhelpful.\n        const output = formatSchemaVerifyOutput(result.failure, { ...flags, quiet: false });\n        if (output) {\n          ui.log(output);\n        }\n      }\n      process.exit(1);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmBA,SAAgB,qBACd,UACA,YACA,QAC4B;CAC5B,MAAM,YAAY,SAAS,IAAI,WAAW,IAAI,SAAS,QAAQ,CAAC,MAAM,CAAC;CACvE,IAAI,cAAc,KAAA,GAChB,MAAM,IAAI,MAAM,wEAAwE;CAG1F,IAAI,QAAQ;CACZ,IAAI;CACJ,IAAI,SAAyD,EAAE;CAC/D,MAAM,SAAS;EAAE,MAAM;EAAG,MAAM;EAAG,MAAM;EAAG,YAAY;EAAG;CAC3D,MAAM,aAAkE,EAAE;CAC1E,KAAK,MAAM,GAAG,WAAW,UAAU;EACjC,IAAI,CAAC,OAAO,IAAI;GACd,QAAQ;GACR,IAAI,iBAAiB,KAAA,GAAW,eAAe;;EAEjD,SAAS,CAAC,GAAG,QAAQ,GAAG,OAAO,OAAO,OAAO;EAC7C,OAAO,QAAQ,OAAO,OAAO,OAAO;EACpC,OAAO,QAAQ,OAAO,OAAO,OAAO;EACpC,OAAO,QAAQ,OAAO,OAAO,OAAO;EACpC,OAAO,cAAc,OAAO,OAAO,OAAO;EAC1C,WAAW,KAAK,OAAO,OAAO,KAAK;;CAUrC,MAAM,UACJ,UAAU,UAAU,KAChB,UAAU,UACT,aAA4C;CAEnD,OAAO;EACL,IAAI;EACJ,GAAI,QAAQ,EAAE,GAAG,EAAE,MAAM,UAAU,QAAQ,eAAe;EAC1D;EACA,UAAU,UAAU;EACpB,QAAQ,UAAU;EAClB,QAAQ;GACN;GACA,MAAM;IACJ,QAAQ,QAAQ,SAAS;IACzB,MAAM;IACN,MAAM;IACN,cAAc;IACd,MAAM;IACN,SAAS,QAAQ,6BAA6B;IAC9C,UAAU,KAAA;IACV,QAAQ,KAAA;IACR,UAAU;IACX;GACD;GACD;EACD,MAAM,EAAE,QAAQ;EAChB,SAAS,EAAE,OAAO,GAAG;EACtB;;;;;;;ACfH,SAAS,iBAAiB,cAAwD;CAChF,IAAI,CAAC,aAAa,MAAM,aAAa,MAAM;EACzC,IAAI,aAAa,SAAS,4BACxB,OAAO,oBAAoB;EAE7B,IAAI,aAAa,SAAS,2BAA2B;GACnD,MAAM,eAAe,aAAa,QAAQ,gBAAgB,aAAa,SAAS;GAChF,MAAM,eACJ,CAAC,aAAa,SAAS,eACvB,aAAa,QAAQ,gBAAgB,aAAa,SAAS;GAE7D,IAAI,CAAC,cACH,OAAO,kBAAkB;IACvB,KAAK;IACL,UAAU,aAAa,SAAS;IAChC,GAAG,UAAU,UAAU,aAAa,QAAQ,YAAY;IACzD,CAAC;GAGJ,OAAO,kBAAkB;IACvB,KAAK,eACD,iDACA;IACJ,GAAG,UAAU,YAAY,aAAa,SAAS,YAAY;IAC3D,GAAG,UAAU,UAAU,aAAa,QAAQ,YAAY;IACzD,CAAC;;EAEJ,IAAI,aAAa,SAAS,6BACxB,OAAO,oBACL,aAAa,OAAO,UACpB,aAAa,OAAO,UAAU,UAC/B;;CAIL,OAAO,aAAa,aAAa,QAAQ;;AAK3C,SAAS,uBAAuB,SAGT;CACrB,OAAO,IAAI,mBAAmB,QAAQ,uBAAuB;EAC3D,QAAQ;EACR,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,SAAS;EACV,CAAC;;AAGJ,SAAS,oBAAoB,SAAoE;CAC/F,IAAI,QAAQ,cAAc,QAAQ,YAChC,OAAO,MACL,uBAAuB;EACrB,KAAK;EACL,KAAK;EACN,CAAC,CACH;CAGH,IAAI,QAAQ,cAAc,QAAQ,QAChC,OAAO,MACL,uBAAuB;EACrB,KAAK;EACL,KAAK;EACN,CAAC,CACH;CAGH,IAAI,QAAQ,YACV,OAAO,GAAG,cAAc;CAG1B,IAAI,QAAQ,YACV,OAAO,GAAG,cAAc;CAG1B,OAAO,GAAG,OAAO;;AAGnB,SAAS,wBAAwB,MAAoB,QAAyB;CAC5E,IAAI,SAAS,eACX,OAAO;CAGT,IAAI,SAAS,eACX,OAAO,gBAAgB,SAAS,WAAW,WAAW;CAGxD,OAAO,0BAA0B,SAAS,WAAW,WAAW;;AAGlE,SAAS,yBAAyB,MAAoB,QAAyB;CAC7E,MAAM,OAAO,CAAC,YAAY;CAE1B,IAAI,SAAS,eACX,KAAK,KAAK,gBAAgB;CAG5B,IAAI,SAAS,eACX,KAAK,KAAK,gBAAgB;CAG5B,IAAI,QACF,KAAK,KAAK,WAAW;CAGvB,OAAO,KAAK,KAAK,IAAI;;AAGvB,SAAS,sCAAsC,SAIxB;CACrB,MAAM,aAAa,yBAAyB,QAAQ,MAAM,QAAQ,OAAO;CACzE,OAAO,gCAAgC;EACrC,KAAK,uCAAuC,WAAW,yBAAyB,QAAQ,WAAW;EACnG,cAAc,eAAe,WAAW;EACzC,CAAC;;AAGJ,SAAS,mBACP,OACA,SACA,MACA,OACA,IACM;CACN,IAAI,MAAM,QAAQ,MAAM,OAAO;CAE/B,MAAM,cACJ,SAAS,gBACL,iEACA,SAAS,gBACP,4DACA;CAER,MAAM,UAAmD;EACvD;GAAE,OAAO;GAAU,OAAO,MAAM;GAAY;EAC5C;GAAE,OAAO;GAAY,OAAO,MAAM;GAAc;EAChD;GAAE,OAAO;GAAQ,OAAO,wBAAwB,MAAM,QAAQ,UAAU,MAAM;GAAE;EACjF;CACD,IAAI,QAAQ,IACV,QAAQ,KAAK;EAAE,OAAO;EAAY,OAAO,kBAAkB,QAAQ,GAAG;EAAE,CAAC;CAG3E,GAAG,OACD,mBAAmB;EACjB,SAAS;EACT;EACA,KAAK;EACL;EACA;EACD,CAAC,CACH;;AAGH,eAAe,mBAAmB,SAA0B;CAC1D,MAAM,SAAS,MAAM,WAAW,QAAQ,OAAO;CAC/C,MAAM,aAAa,QAAQ,SACvB,SAAS,QAAQ,KAAK,EAAE,QAAQ,QAAQ,OAAO,CAAC,GAChD;CACJ,MAAM,uBAAuB,oBAAoB,OAAO;CAExD,OAAO;EAAE;EAAQ;EAAY;EAAsB,cAD9B,SAAS,QAAQ,KAAK,EAAE,qBACkB;EAAE;;AAUnE,eAAe,mBACb,OACA,SACA,MACkD;CAClD,MAAM,EAAE,QAAQ,YAAY,sBAAsB,iBAAiB;CAEnE,IAAI;CACJ,IAAI;EACF,sBAAsB,MAAM,SAAS,sBAAsB,QAAQ;UAC5D,OAAO;EACd,IAAI,iBAAiB,SAAU,MAA4B,SAAS,UAClE,OAAO,MACL,kBAAkB,sBAAsB;GACtC,KAAK,8BAA8B;GACnC,KAAK,iDAAiD,aAAa,4CAA4C;GAChH,CAAC,CACH;EAEH,OAAO,MACL,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAAE,EACtE,KAAK,iCAAiC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,IAC7F,CAAC,CACH;;CAOH,MAAM,QAAQ,mBAAmB,OAAO;CACxC,MAAM,iBAAiB,OAAO,OAAO,OAAO,MAAM;CAElD,IAAI;CACJ,IAAI;EACF,eAAe,eAAe,oBAAoB,KAAK,MAAM,oBAAoB,CAAY;UACtF,OAAO;EACd,IAAI,iBAAiB,yBACnB,OAAO,MACL,8BAA8B,+BAA+B,MAAM,WAAW,EAC5E,OAAO,EAAE,MAAM,sBAAsB,EACtC,CAAC,CACH;EAEH,OAAO,MACL,8BACE,6BAA6B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,IACnF,EAAE,OAAO,EAAE,MAAM,sBAAsB,EAAE,CAC1C,CACF;;CAGH,MAAM,eAAe,QAAQ,MAAM,OAAO,IAAI;CAC9C,IAAI,OAAO,iBAAiB,YAAY,aAAa,WAAW,GAC9D,OAAO,MACL,sCAAsC;EACpC;EACA;EACA,QAAQ,QAAQ,UAAU;EAC3B,CAAC,CACH;CAGH,IAAI,CAAC,OAAO,QACV,OAAO,MACL,oBAAoB,EAClB,KAAK,iCAAiC,yBAAyB,MAAM,QAAQ,UAAU,MAAM,IAC9F,CAAC,CACH;CAGH,OAAO,GAAG;EAAE,GAAG;EAAO;EAAc;EAAc,CAAC;;AAGrD,SAAS,mBAAmB,OAAoB;CAC9C,OAAO,oBAAoB;EACzB,QAAQ,MAAM,OAAO;EACrB,QAAQ,MAAM,OAAO;EACrB,SAAS,MAAM,OAAO;EACtB,QAAQ,MAAM,OAAO;EACrB,gBAAgB,MAAM,OAAO,kBAAkB,EAAE;EAClD,CAAC;;AAGJ,SAAS,gBACP,OACA,sBACA,WACmC;CACnC,IAAI,iBAAiB,oBACnB,OAAO,MAAM,MAAM;CAErB,IAAI,iBAAiB,yBACnB,OAAO,MACL,8BAA8B,+BAA+B,MAAM,WAAW,EAC5E,OAAO,EAAE,MAAM,sBAAsB,EACtC,CAAC,CACH;CAEH,OAAO,MACL,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAAE,EACtE,KAAK,2BAA2B,UAAU,IAAI,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,IACrG,CAAC,CACH;;;;;AAMH,eAAe,uBACb,SACA,OACA,IACA,MACgE;CAChE,MAAM,YAAY,KAAK,KAAK;CAC5B,MAAM,QAAQ,MAAM,mBAAmB,QAAQ;CAC/C,mBAAmB,OAAO,SAAS,MAAM,OAAO,GAAG;CAEnD,MAAM,cAAc,MAAM,mBAAmB,OAAO,SAAS,KAAK;CAClE,IAAI,CAAC,YAAY,IAAI,OAAO;CAC5B,MAAM,EAAE,cAAc,cAAc,yBAAyB,YAAY;CACzE,MAAM,EAAE,kBAAkB,sBAAsB,QAAQ,QAAQ,YAAY,MAAM,OAAO;CAEzF,MAAM,SAAS,mBAAmB,YAAY,MAAM;CACpD,MAAM,aAAa,sBAAsB;EAAE;EAAI;EAAO,CAAC;CAEvD,IAAI;EAQF,MAAM,eAAe,MAAM,OAAO,OAAO;GACvC,UAAU;GACV,YAAY;GACZ;GACD,CAAC;EAEF,IAAI,CAAC,aAAa,IAChB,OAAO,MAAM,iBAAiB,aAAa,CAAC;EAM9C,MAAM,kBAAkB,MAAM,OAAO,SAAS;GAC5C,UAAU;GACV;GACA,QAAQ,QAAQ,UAAU;GAC1B,YAAY,SAAS;GACrB,YAAY;GACZ;GACD,CAAC;EACF,IAAI,CAAC,gBAAgB,IAAI,OAAO,MAAM,gBAAgB,QAAQ;EAE9D,IAAI,SAAS,eACX,OAAO,GAAG;GACR,IAAI;GACJ,MAAM;GACN,SAAS;GACT,UAAU,aAAa;GACvB,QAAQ,aAAa;GACrB,QAAQ,aAAa;GACrB,GAAG,UAAU,iBAAiB,aAAa,cAAc;GACzD,GAAG,UAAU,wBAAwB,aAAa,qBAAqB;GACvE,SAAS;GACT,MAAM;IACJ,GAAI,aAAa,QAAQ,EAAE;IAC3B,oBAAoB;IACrB;GACD,SAAS,EAAE,OAAO,KAAK,KAAK,GAAG,WAAW;GAC3C,CAAC;EAGJ,MAAM,WAAW,qBACf,gBAAgB,MAAM,eACtB,gBAAgB,MAAM,YACtB,QAAQ,UAAU,MACnB;EACD,IAAI,CAAC,SAAS,IACZ,OAAO,MAAM,SAAS;EAGxB,OAAO,GAAG;GACR,IAAI;GACJ,MAAM;GACN,SAAS;GACT,UAAU,aAAa;GACvB,QAAQ,aAAa;GACrB,QAAQ,aAAa;GACrB,GAAG,UAAU,iBAAiB,aAAa,cAAc;GACzD,GAAG,UAAU,wBAAwB,aAAa,qBAAqB;GACvE,QAAQ;IACN,SAAS,SAAS;IAClB,QAAQ,SAAS,OAAO;IACxB,QAAQ,SAAS,MAAM,UAAU;IAClC;GACD,MAAM;IACJ,GAAI,aAAa,QAAQ,EAAE;IAC3B,oBAAoB;IACrB;GACD,SAAS,EAAE,OAAO,KAAK,KAAK,GAAG,WAAW;GAC3C,CAAC;UACK,OAAO;EACd,OAAO,gBAAgB,OAAO,sBAAsB,YAAY;WACxD;EACR,MAAM,OAAO,OAAO;;;AAIxB,eAAe,iCACb,SACA,OACA,IACiE;CACjE,MAAM,QAAQ,MAAM,mBAAmB,QAAQ;CAC/C,mBAAmB,OAAO,SAAS,eAAe,OAAO,GAAG;CAE5D,MAAM,cAAc,MAAM,mBAAmB,OAAO,SAAS,cAAc;CAC3E,IAAI,CAAC,YAAY,IAAI,OAAO;CAC5B,MAAM,EAAE,cAAc,cAAc,yBAAyB,YAAY;CACzE,MAAM,EAAE,kBAAkB,sBAAsB,QAAQ,QAAQ,YAAY,MAAM,OAAO;CAEzF,MAAM,SAAS,mBAAmB,YAAY,MAAM;CACpD,MAAM,aAAa,sBAAsB;EAAE;EAAI;EAAO,CAAC;CAEvD,IAAI;EACF,MAAM,OAAO,QAAQ,aAAa;EAClC,MAAM,kBAAkB,MAAM,OAAO,SAAS;GAC5C,UAAU;GACV;GACA,QAAQ,QAAQ,UAAU;GAC1B,YAAY;GACZ,YAAY;GACZ;GACD,CAAC;EACF,IAAI,CAAC,gBAAgB,IAAI,OAAO,MAAM,gBAAgB,QAAQ;EAE9D,OAAO,GACL,qBACE,gBAAgB,MAAM,eACtB,gBAAgB,MAAM,YACtB,QAAQ,UAAU,MACnB,CACF;UACM,OAAO;EACd,OAAO,gBAAgB,OAAO,sBAAsB,0BAA0B;WACtE;EACR,MAAM,OAAO,OAAO;;;AAIxB,SAAgB,wBAAiC;CAC/C,MAAM,UAAU,IAAI,QAAQ,SAAS;CACrC,uBACE,SACA,yEACA,gTAID;CACD,mBAAmB,SAAS;EAC1B;EACA;EACA;EACA;EACA;EACA;EACD,CAAC;CACF,iBAAiB,QAAQ,CACtB,OAAO,cAAc,6BAA6B,CAClD,OAAO,mBAAmB,gCAAgC,CAC1D,OAAO,iBAAiB,8DAA8D,CACtF,OACC,iBACA,yFACD,CACA,OACC,YACA,oFACA,MACD,CACA,OAAO,OAAO,YAA6B;EAC1C,MAAM,QAAQ,iBAAiB,QAAQ;EACvC,MAAM,KAAK,IAAI,WAAW;GAAE,OAAO,MAAM;GAAO,aAAa,MAAM;GAAa,CAAC;EAEjF,MAAM,aAAa,oBAAoB,QAAQ;EAC/C,IAAI,CAAC,WAAW,IAAI;GAClB,MAAM,WAAW,aAAa,YAAiD,OAAO,GAAG;GACzF,QAAQ,KAAK,SAAS;;EAGxB,MAAM,OAAO,WAAW;EAExB,IAAI,SAAS,eAAe;GAC1B,MAAM,SAAS,MAAM,iCAAiC,SAAS,OAAO,GAAG;GACzE,MAAM,WAAW,aAAa,QAAQ,OAAO,KAAK,uBAAuB;IACvE,IAAI,MAAM,MACR,GAAG,OAAO,uBAAuB,mBAAmB,CAAC;SAChD;KACL,MAAM,SAAS,yBAAyB,oBAAoB,MAAM;KAClE,IAAI,QACF,GAAG,IAAI,OAAO;;KAGlB;GAEF,IAAI,OAAO,MAAM,CAAC,OAAO,MAAM,IAC7B,QAAQ,KAAK,EAAE;GAGjB,QAAQ,KAAK,SAAS;;EAGxB,MAAM,SAAS,MAAM,uBAAuB,SAAS,OAAO,IAAI,KAAK;EAErE,IAAI,OAAO,IAAI;GACb,IAAI,MAAM,MACR,GAAG,OAAO,iBAAiB,OAAO,MAAM,CAAC;QACpC;IACL,MAAM,SAAS,mBAAmB,OAAO,OAAO,MAAM;IACtD,IAAI,QACF,GAAG,IAAI,OAAO;;GAGlB,QAAQ,KAAK,EAAE;;EAGjB,IAAI,mBAAmB,GAAG,OAAO,QAAQ,EAAE;GACzC,MAAM,WAAW,aAAa,QAA6C,OAAO,GAAG;GACrF,QAAQ,KAAK,SAAS;;EAGxB,IAAI,MAAM,MACR,GAAG,OAAO,uBAAuB,OAAO,QAAQ,CAAC;OAC5C;GAGL,MAAM,SAAS,yBAAyB,OAAO,SAAS;IAAE,GAAG;IAAO,OAAO;IAAO,CAAC;GACnF,IAAI,QACF,GAAG,IAAI,OAAO;;EAGlB,QAAQ,KAAK,EAAE;GACf;CAEJ,OAAO"}

package/dist/errors-Cw6kyTyV.mjs

@@ -0,0 +1,56 @@
+import { n as formatDim, r as isVerbose, t as createColorFormatter } from "./helpers-eqdN8tH6.mjs";
+import { red } from "colorette";
+//#region src/utils/formatters/errors.ts
+/**
+* Formats error output for human-readable display.
+*/
+function formatErrorOutput(error, flags) {
+	const lines = [];
+	const useColor = flags.color !== false;
+	const formatRed = createColorFormatter(useColor, red);
+	const formatDimText = (text) => formatDim(useColor, text);
+	lines.push(`${formatRed("✖")} ${error.summary} (${error.code})`);
+	if (error.why) lines.push(`${formatDimText(`  Why: ${error.why}`)}`);
+	if (error.fix) lines.push(`${formatDimText(`  Fix: ${error.fix}`)}`);
+	if (error.where?.path) {
+		const whereLine = error.where.line ? `${error.where.path}:${error.where.line}` : error.where.path;
+		lines.push(`${formatDimText(`  Where: ${whereLine}`)}`);
+	}
+	if (error.meta?.["conflicts"]) {
+		const conflicts = error.meta["conflicts"];
+		if (conflicts.length > 0) {
+			const maxToShow = isVerbose(flags, 1) ? conflicts.length : Math.min(3, conflicts.length);
+			const header = isVerbose(flags, 1) ? "  Conflicts:" : `  Conflicts (showing ${maxToShow} of ${conflicts.length}):`;
+			lines.push(`${formatDimText(header)}`);
+			for (const conflict of conflicts.slice(0, maxToShow)) lines.push(`${formatDimText(`    - [${conflict.kind}] ${conflict.summary}`)}`);
+			if (!isVerbose(flags, 1) && conflicts.length > maxToShow) lines.push(`${formatDimText("  Re-run with -v/--verbose to see all conflicts")}`);
+		}
+	}
+	if (error.meta?.["issues"]) {
+		const issues = error.meta["issues"];
+		if (issues.length > 0) {
+			const maxToShow = isVerbose(flags, 1) ? issues.length : Math.min(3, issues.length);
+			const header = isVerbose(flags, 1) ? "  Issues:" : `  Issues (showing ${maxToShow} of ${issues.length}):`;
+			lines.push(`${formatDimText(header)}`);
+			for (const issue of issues.slice(0, maxToShow)) {
+				const kind = issue.kind ?? "issue";
+				const message = issue.message ?? "";
+				lines.push(`${formatDimText(`    - [${kind}] ${message}`)}`);
+			}
+			if (!isVerbose(flags, 1) && issues.length > maxToShow) lines.push(`${formatDimText("  Re-run with -v/--verbose to see all issues")}`);
+		}
+	}
+	if (error.docsUrl && isVerbose(flags, 1)) lines.push(formatDimText(error.docsUrl));
+	if (isVerbose(flags, 2) && error.meta) lines.push(`${formatDimText(`  Meta: ${JSON.stringify(error.meta, null, 2)}`)}`);
+	return lines.join("\n");
+}
+/**
+* Formats error output as JSON.
+*/
+function formatErrorJson(error) {
+	return JSON.stringify(error, null, 2);
+}
+//#endregion
+export { formatErrorOutput as n, formatErrorJson as t };
+
+//# sourceMappingURL=errors-Cw6kyTyV.mjs.map

package/dist/errors-Cw6kyTyV.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors-Cw6kyTyV.mjs","names":[],"sources":["../src/utils/formatters/errors.ts"],"sourcesContent":["import { red } from 'colorette';\n\nimport type { CliErrorConflict, CliErrorEnvelope } from '../cli-errors';\nimport type { GlobalFlags } from '../global-flags';\nimport { createColorFormatter, formatDim, isVerbose } from './helpers';\n\n/**\n * Formats error output for human-readable display.\n */\nexport function formatErrorOutput(error: CliErrorEnvelope, flags: GlobalFlags): string {\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatRed = createColorFormatter(useColor, red);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  lines.push(`${formatRed('✖')} ${error.summary} (${error.code})`);\n\n  if (error.why) {\n    lines.push(`${formatDimText(`  Why: ${error.why}`)}`);\n  }\n  if (error.fix) {\n    lines.push(`${formatDimText(`  Fix: ${error.fix}`)}`);\n  }\n  if (error.where?.path) {\n    const whereLine = error.where.line\n      ? `${error.where.path}:${error.where.line}`\n      : error.where.path;\n    lines.push(`${formatDimText(`  Where: ${whereLine}`)}`);\n  }\n  // Show conflicts list if present (always show a short list; show full list when verbose)\n  if (error.meta?.['conflicts']) {\n    const conflicts = error.meta['conflicts'] as readonly CliErrorConflict[];\n    if (conflicts.length > 0) {\n      const maxToShow = isVerbose(flags, 1) ? conflicts.length : Math.min(3, conflicts.length);\n      const header = isVerbose(flags, 1)\n        ? '  Conflicts:'\n        : `  Conflicts (showing ${maxToShow} of ${conflicts.length}):`;\n      lines.push(`${formatDimText(header)}`);\n      for (const conflict of conflicts.slice(0, maxToShow)) {\n        lines.push(`${formatDimText(`    - [${conflict.kind}] ${conflict.summary}`)}`);\n      }\n      if (!isVerbose(flags, 1) && conflicts.length > maxToShow) {\n        lines.push(`${formatDimText('  Re-run with -v/--verbose to see all conflicts')}`);\n      }\n    }\n  }\n  // Show issues list if present (always show a short list; show full list when verbose)\n  if (error.meta?.['issues']) {\n    const issues = error.meta['issues'] as readonly { kind?: string; message?: string }[];\n    if (issues.length > 0) {\n      const maxToShow = isVerbose(flags, 1) ? issues.length : Math.min(3, issues.length);\n      const header = isVerbose(flags, 1)\n        ? '  Issues:'\n        : `  Issues (showing ${maxToShow} of ${issues.length}):`;\n      lines.push(`${formatDimText(header)}`);\n      for (const issue of issues.slice(0, maxToShow)) {\n        const kind = issue.kind ?? 'issue';\n        const message = issue.message ?? '';\n        lines.push(`${formatDimText(`    - [${kind}] ${message}`)}`);\n      }\n      if (!isVerbose(flags, 1) && issues.length > maxToShow) {\n        lines.push(`${formatDimText('  Re-run with -v/--verbose to see all issues')}`);\n      }\n    }\n  }\n  if (error.docsUrl && isVerbose(flags, 1)) {\n    lines.push(formatDimText(error.docsUrl));\n  }\n  if (isVerbose(flags, 2) && error.meta) {\n    lines.push(`${formatDimText(`  Meta: ${JSON.stringify(error.meta, null, 2)}`)}`);\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats error output as JSON.\n */\nexport function formatErrorJson(error: CliErrorEnvelope): string {\n  return JSON.stringify(error, null, 2);\n}\n"],"mappings":";;;;;;AASA,SAAgB,kBAAkB,OAAyB,OAA4B;CACrF,MAAM,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,YAAY,qBAAqB,UAAU,IAAI;CACrD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAEjE,MAAM,KAAK,GAAG,UAAU,IAAI,CAAC,GAAG,MAAM,QAAQ,IAAI,MAAM,KAAK,GAAG;CAEhE,IAAI,MAAM,KACR,MAAM,KAAK,GAAG,cAAc,UAAU,MAAM,MAAM,GAAG;CAEvD,IAAI,MAAM,KACR,MAAM,KAAK,GAAG,cAAc,UAAU,MAAM,MAAM,GAAG;CAEvD,IAAI,MAAM,OAAO,MAAM;EACrB,MAAM,YAAY,MAAM,MAAM,OAC1B,GAAG,MAAM,MAAM,KAAK,GAAG,MAAM,MAAM,SACnC,MAAM,MAAM;EAChB,MAAM,KAAK,GAAG,cAAc,YAAY,YAAY,GAAG;;CAGzD,IAAI,MAAM,OAAO,cAAc;EAC7B,MAAM,YAAY,MAAM,KAAK;EAC7B,IAAI,UAAU,SAAS,GAAG;GACxB,MAAM,YAAY,UAAU,OAAO,EAAE,GAAG,UAAU,SAAS,KAAK,IAAI,GAAG,UAAU,OAAO;GACxF,MAAM,SAAS,UAAU,OAAO,EAAE,GAC9B,iBACA,wBAAwB,UAAU,MAAM,UAAU,OAAO;GAC7D,MAAM,KAAK,GAAG,cAAc,OAAO,GAAG;GACtC,KAAK,MAAM,YAAY,UAAU,MAAM,GAAG,UAAU,EAClD,MAAM,KAAK,GAAG,cAAc,UAAU,SAAS,KAAK,IAAI,SAAS,UAAU,GAAG;GAEhF,IAAI,CAAC,UAAU,OAAO,EAAE,IAAI,UAAU,SAAS,WAC7C,MAAM,KAAK,GAAG,cAAc,kDAAkD,GAAG;;;CAKvF,IAAI,MAAM,OAAO,WAAW;EAC1B,MAAM,SAAS,MAAM,KAAK;EAC1B,IAAI,OAAO,SAAS,GAAG;GACrB,MAAM,YAAY,UAAU,OAAO,EAAE,GAAG,OAAO,SAAS,KAAK,IAAI,GAAG,OAAO,OAAO;GAClF,MAAM,SAAS,UAAU,OAAO,EAAE,GAC9B,cACA,qBAAqB,UAAU,MAAM,OAAO,OAAO;GACvD,MAAM,KAAK,GAAG,cAAc,OAAO,GAAG;GACtC,KAAK,MAAM,SAAS,OAAO,MAAM,GAAG,UAAU,EAAE;IAC9C,MAAM,OAAO,MAAM,QAAQ;IAC3B,MAAM,UAAU,MAAM,WAAW;IACjC,MAAM,KAAK,GAAG,cAAc,UAAU,KAAK,IAAI,UAAU,GAAG;;GAE9D,IAAI,CAAC,UAAU,OAAO,EAAE,IAAI,OAAO,SAAS,WAC1C,MAAM,KAAK,GAAG,cAAc,+CAA+C,GAAG;;;CAIpF,IAAI,MAAM,WAAW,UAAU,OAAO,EAAE,EACtC,MAAM,KAAK,cAAc,MAAM,QAAQ,CAAC;CAE1C,IAAI,UAAU,OAAO,EAAE,IAAI,MAAM,MAC/B,MAAM,KAAK,GAAG,cAAc,WAAW,KAAK,UAAU,MAAM,MAAM,MAAM,EAAE,GAAG,GAAG;CAGlF,OAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,gBAAgB,OAAiC;CAC/D,OAAO,KAAK,UAAU,OAAO,MAAM,EAAE"}

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

@@ -1,4 +1,4 @@
-import { A as ExecuteDbVerifyOptions, C as EmitSuccess, D as SchemaVerifyOptions, E as OnControlProgress, M as executeDbVerify, O as SignOptions, S as EmitResult, _ as DbUpdateSuccess, a as ControlClient, b as EmitFailureCode, c as DbInitFailure, d as DbInitResult, f as DbInitSuccess, g as DbUpdateResult, h as DbUpdateOptions, i as ControlActionName, j as ExecuteDbVerifyResult, k as VerifyOptions, l as DbInitFailureCode, m as DbUpdateFailureCode, n as ContractEmitOptions, o as ControlClientOptions, p as DbUpdateFailure, r as ContractEmitResult, s as ControlProgressEvent, u as DbInitOptions, v as EmitContractConfig, w as IntrospectOptions, x as EmitOptions, y as EmitFailure } from "../types-LItU7E4l.mjs";
+import { A as ExecuteDbVerifyOptions, C as EmitSuccess, D as SchemaVerifyOptions, E as OnControlProgress, M as executeDbVerify, O as SignOptions, S as EmitResult, _ as DbUpdateSuccess, a as ControlClient, b as EmitFailureCode, c as DbInitFailure, d as DbInitResult, f as DbInitSuccess, g as DbUpdateResult, h as DbUpdateOptions, i as ControlActionName, j as ExecuteDbVerifyResult, k as VerifyOptions, l as DbInitFailureCode, m as DbUpdateFailureCode, n as ContractEmitOptions, o as ControlClientOptions, p as DbUpdateFailure, r as ContractEmitResult, s as ControlProgressEvent, u as DbInitOptions, v as EmitContractConfig, w as IntrospectOptions, x as EmitOptions, y as EmitFailure } from "../types-0aS865QN.mjs";
 import { ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyInstance, ControlStack, SignDatabaseResult, TargetMigrationsCapability, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
 import { Contract } from "@prisma-next/contract/types";

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

@@ -1 +1 @@
-{"version":3,"file":"control-api.d.mts","names":[],"sources":["../../src/control-api/client.ts","../../src/control-api/contract-enrichment.ts","../../src/control-api/operations/contract-emit.ts","../../src/control-api/operations/db-init.ts","../../src/control-api/operations/db-update.ts","../../src/utils/emit-queue.ts"],"mappings":";;;;;;;;;;;AA+DA;;;;;iBAAgB,mBAAA,CAAoB,OAAA,EAAS,oBAAA,GAAuB,aAAA;;;;;;iBC4BpD,cAAA,CACd,EAAA,EAAI,QAAA,EACJ,UAAA,EAAY,aAAA,CAAc,8BAAA,oBACzB,QAAA;;;;;;;;AD/BH;;;;;;;;;;;;AC4BA;;;iBC4DsB,mBAAA,CACpB,OAAA,EAAS,mBAAA,GACR,OAAA,CAAQ,kBAAA;;;;;AF1FX;;;;;;;;;;;;AC4BA;;;UE9DiB,oBAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,cAAA,EAAgB,qBAAA,CAAsB,SAAA;EAAA,SACtC,QAAA,EAAU,QAAA;EAAA,SACV,IAAA;EAAA,SACA,UAAA,EAAY,0BAAA,CACnB,SAAA,EACA,SAAA,EACA,qBAAA,CAAsB,SAAA;EAAA,SAEf,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;EFqDtF;;;;EAAA,SEhDS,aAAA;EFkDA;;;;EAAA,SE7CA,QAAA,EAAU,SAAA;EDsGC;;;;;EAAA,SChGX,cAAA,GAAiB,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;EDkGtE;EAAA,SChGC,UAAA,GAAa,iBAAA;AAAA;;;;;;;;iBAUF,aAAA,oDAAA,CACpB,OAAA,EAAS,oBAAA,CAAqB,SAAA,EAAW,SAAA,IACxC,OAAA,CAAQ,YAAA;;;;;AHNX;;;;;;;UIrCiB,sBAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,cAAA,EAAgB,qBAAA,CAAsB,SAAA;EAAA,SACtC,QAAA,EAAU,QAAA;EAAA,SACV,IAAA;EAAA,SACA,UAAA,EAAY,0BAAA,CACnB,SAAA,EACA,SAAA,EACA,qBAAA,CAAsB,SAAA;EAAA,SAEf,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;EAAA,SAC7E,cAAA;EAAA,SACA,aAAA;EAAA,SACA,QAAA,EAAU,SAAA;EAAA,SACV,cAAA,GAAiB,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;EAAA,SACrE,UAAA,GAAa,iBAAA;AAAA;;;;;;;;;;iBAYF,eAAA,oDAAA,CACpB,OAAA,EAAS,sBAAA,CAAuB,SAAA,EAAW,SAAA,IAC1C,OAAA,CAAQ,cAAA;;;iBChCK,gBAAA,CAAiB,cAAA"}
+{"version":3,"file":"control-api.d.mts","names":[],"sources":["../../src/control-api/client.ts","../../src/control-api/contract-enrichment.ts","../../src/control-api/operations/contract-emit.ts","../../src/control-api/operations/db-init.ts","../../src/control-api/operations/db-update.ts","../../src/utils/emit-queue.ts"],"mappings":";;;;;;;;;;;AA+DA;;;;;iBAAgB,mBAAA,CAAoB,OAAA,EAAS,oBAAA,GAAuB,aAAA;;;;;;iBC4BpD,cAAA,CACd,EAAA,EAAI,QAAA,EACJ,UAAA,EAAY,aAAA,CAAc,8BAAA,oBACzB,QAAA;;;;;;;;AD/BH;;;;;;;;;;;;AC4BA;;;iBC6DsB,mBAAA,CACpB,OAAA,EAAS,mBAAA,GACR,OAAA,CAAQ,kBAAA;;;;;AF3FX;;;;;;;;;;;;AC4BA;;;UE9DiB,oBAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,cAAA,EAAgB,qBAAA,CAAsB,SAAA;EAAA,SACtC,QAAA,EAAU,QAAA;EAAA,SACV,IAAA;EAAA,SACA,UAAA,EAAY,0BAAA,CACnB,SAAA,EACA,SAAA,EACA,qBAAA,CAAsB,SAAA;EAAA,SAEf,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;EFqDtF;;;;EAAA,SEhDS,aAAA;EFkDA;;;;EAAA,SE7CA,QAAA,EAAU,SAAA;EDuGC;;;;;EAAA,SCjGX,cAAA,GAAiB,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;EDmGtE;EAAA,SCjGC,UAAA,GAAa,iBAAA;AAAA;;;;;;;;iBAUF,aAAA,oDAAA,CACpB,OAAA,EAAS,oBAAA,CAAqB,SAAA,EAAW,SAAA,IACxC,OAAA,CAAQ,YAAA;;;;;AHNX;;;;;;;UIrCiB,sBAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,cAAA,EAAgB,qBAAA,CAAsB,SAAA;EAAA,SACtC,QAAA,EAAU,QAAA;EAAA,SACV,IAAA;EAAA,SACA,UAAA,EAAY,0BAAA,CACnB,SAAA,EACA,SAAA,EACA,qBAAA,CAAsB,SAAA;EAAA,SAEf,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;EAAA,SAC7E,cAAA;EAAA,SACA,aAAA;EAAA,SACA,QAAA,EAAU,SAAA;EAAA,SACV,cAAA,GAAiB,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;EAAA,SACrE,UAAA,GAAa,iBAAA;AAAA;;;;;;;;;;iBAYF,eAAA,oDAAA,CACpB,OAAA,EAAS,sBAAA,CAAuB,SAAA,EAAW,SAAA,IAC1C,OAAA,CAAQ,cAAA;;;iBChCK,gBAAA,CAAiB,cAAA"}

package/dist/exports/control-api.mjs

@@ -1,4 +1,4 @@
-import { n as executeContractEmit, r as disposeEmitQueue } from "../contract-emit-B77TsJqf.mjs";
+import { n as executeContractEmit, r as disposeEmitQueue } from "../contract-emit-iynA3BCA.mjs";
 import { t as enrichContract } from "../contract-enrichment-Dani0mMW.mjs";
-import { i as executeDbInit, n as executeDbVerify, r as executeDbUpdate, t as createControlClient } from "../client-BCnP7cHo.mjs";
+import { i as executeDbInit, n as executeDbVerify, r as executeDbUpdate, t as createControlClient } from "../client-Brv4qlfB.mjs";
 export { createControlClient, disposeEmitQueue, enrichContract, executeContractEmit, executeDbInit, executeDbUpdate, executeDbVerify };

package/dist/exports/index.mjs

@@ -1,4 +1,4 @@
-import { t as createContractEmitCommand } from "../contract-emit-9DBda5Ou.mjs";
+import { t as createContractEmitCommand } from "../contract-emit-C3STUIBg.mjs";
 import { join, resolve } from "pathe";
 import { existsSync, unlinkSync, writeFileSync } from "node:fs";
 import { tmpdir } from "node:os";

package/dist/exports/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":["resolvePath"],"sources":["../../src/load-ts-contract.ts"],"sourcesContent":["import { existsSync, unlinkSync, writeFileSync } from 'node:fs';\nimport { tmpdir } from 'node:os';\nimport { pathToFileURL } from 'node:url';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { Plugin } from 'esbuild';\nimport { build } from 'esbuild';\nimport { join, resolve as resolvePath } from 'pathe';\n\nexport interface LoadTsContractOptions {\n  readonly allowlist?: ReadonlyArray<string>;\n}\n\nconst DEFAULT_ALLOWLIST = ['@prisma-next/*', 'node:crypto'];\n\nfunction isAllowedImport(importPath: string, allowlist: ReadonlyArray<string>): boolean {\n  for (const pattern of allowlist) {\n    if (pattern.endsWith('/*')) {\n      const prefix = pattern.slice(0, -2);\n      if (importPath === prefix || importPath.startsWith(`${prefix}/`)) {\n        return true;\n      }\n    } else if (pattern.endsWith('*')) {\n      const prefix = pattern.slice(0, -1);\n      if (importPath.startsWith(prefix)) {\n        return true;\n      }\n    } else if (importPath === pattern) {\n      return true;\n    }\n  }\n  return false;\n}\n\nfunction validatePurity(value: unknown): void {\n  if (typeof value !== 'object' || value === null) {\n    return;\n  }\n\n  const path = new WeakSet();\n\n  function check(value: unknown): void {\n    if (value === null || typeof value !== 'object') {\n      return;\n    }\n\n    if (path.has(value)) {\n      throw new Error('Contract export contains circular references');\n    }\n    path.add(value);\n\n    try {\n      for (const key in value) {\n        const descriptor = Object.getOwnPropertyDescriptor(value, key);\n        if (descriptor && (descriptor.get || descriptor.set)) {\n          throw new Error(`Contract export contains getter/setter at key \"${key}\"`);\n        }\n        if (descriptor && typeof descriptor.value === 'function') {\n          throw new Error(`Contract export contains function at key \"${key}\"`);\n        }\n        check((value as Record<string, unknown>)[key]);\n      }\n    } finally {\n      path.delete(value);\n    }\n  }\n\n  try {\n    check(value);\n    JSON.stringify(value);\n  } catch (error) {\n    if (error instanceof Error) {\n      if (error.message.includes('getter') || error.message.includes('circular')) {\n        throw error;\n      }\n      throw new Error(`Contract export is not JSON-serializable: ${error.message}`);\n    }\n    throw new Error('Contract export is not JSON-serializable');\n  }\n}\n\nfunction createImportAllowlistPlugin(\n  allowlist: ReadonlyArray<string>,\n  entryPath: string,\n  collected: Set<string>,\n): Plugin {\n  // Match against several path forms that esbuild may use as the importer:\n  // the absolute resolved entry, the value the caller passed (which may be\n  // relative), and the conventional `<stdin>` placeholder. This is more\n  // forgiving than `===` against a single form, which broke when esbuild\n  // resolved the entry to an absolute path while the caller passed a\n  // relative one (or vice versa).\n  const entryAbs = resolvePath(entryPath);\n  function isFromEntry(importer: string): boolean {\n    return importer === entryAbs || importer === entryPath || importer === '<stdin>';\n  }\n  return {\n    name: 'import-allowlist',\n    setup(build) {\n      build.onResolve({ filter: /.*/ }, (args) => {\n        if (args.kind === 'entry-point') {\n          return undefined;\n        }\n        if (args.path.startsWith('.') || args.path.startsWith('/')) {\n          return undefined;\n        }\n        if (isFromEntry(args.importer) && !isAllowedImport(args.path, allowlist)) {\n          collected.add(args.path);\n          return {\n            path: args.path,\n            external: true,\n          };\n        }\n        return undefined;\n      });\n    },\n  };\n}\n\n/**\n * Loads a contract from a TypeScript file and returns it as Contract.\n *\n * **Responsibility: Parsing Only**\n * This function loads and parses a TypeScript contract file. It does NOT normalize the contract.\n * The contract should already be normalized if it was built using the contract builder.\n *\n * Normalization must happen in the contract builder when the contract is created.\n * This function only validates that the contract is JSON-serializable and returns it as-is.\n *\n * @param entryPath - Path to the TypeScript contract file\n * @param options - Optional configuration (import allowlist)\n * @returns The contract as Contract (should already be normalized)\n * @throws Error if the contract cannot be loaded or is not JSON-serializable\n */\nexport async function loadContractFromTs(\n  entryPath: string,\n  options?: LoadTsContractOptions,\n): Promise<Contract> {\n  const allowlist = options?.allowlist ?? DEFAULT_ALLOWLIST;\n\n  if (!existsSync(entryPath)) {\n    throw new Error(`Contract file not found: ${entryPath}`);\n  }\n\n  const tempFile = join(\n    tmpdir(),\n    `prisma-next-contract-${Date.now()}-${Math.random().toString(36).slice(2)}.mjs`,\n  );\n\n  // Disallowed imports are collected by the allowlist resolver plugin itself,\n  // which has the `importer` context to distinguish entry-direct imports from\n  // transitive imports made inside allowlisted (`@prisma-next/*`) dependencies.\n  // The metafile is intentionally not re-walked: it would surface internal\n  // `node:*` imports inside framework code as false positives.\n  const disallowedFromEntry = new Set<string>();\n\n  try {\n    const result = await build({\n      entryPoints: [entryPath],\n      bundle: true,\n      format: 'esm',\n      platform: 'node',\n      target: 'es2022',\n      outfile: tempFile,\n      write: false,\n      metafile: true,\n      plugins: [createImportAllowlistPlugin(allowlist, entryPath, disallowedFromEntry)],\n      logLevel: 'error',\n    });\n\n    if (result.errors.length > 0) {\n      const errorMessages = result.errors.map((e: { text: string }) => e.text).join('\\n');\n      throw new Error(`Failed to bundle contract file: ${errorMessages}`);\n    }\n\n    if (!result.outputFiles || result.outputFiles.length === 0) {\n      throw new Error('No output files generated from bundling');\n    }\n\n    if (disallowedFromEntry.size > 0) {\n      throw new Error(\n        `Disallowed imports detected. Only imports matching the allowlist are permitted:\\n  Allowlist: ${allowlist.join(', ')}\\n  Disallowed imports: ${[...disallowedFromEntry].join(', ')}`,\n      );\n    }\n\n    const bundleContent = result.outputFiles[0]?.text;\n    if (bundleContent === undefined) {\n      throw new Error('Bundle content is undefined');\n    }\n    writeFileSync(tempFile, bundleContent, 'utf-8');\n\n    const module = (await import(/* @vite-ignore */ pathToFileURL(tempFile).href)) as {\n      default?: unknown;\n      contract?: unknown;\n    };\n    unlinkSync(tempFile);\n\n    let contract: unknown;\n\n    if (module.default !== undefined) {\n      contract = module.default;\n    } else if (module.contract !== undefined) {\n      contract = module.contract;\n    } else {\n      throw new Error(\n        `Contract file must export a contract as default export or named export 'contract'. Found exports: ${Object.keys(module as Record<string, unknown>).join(', ') || 'none'}`,\n      );\n    }\n\n    if (typeof contract !== 'object' || contract === null) {\n      throw new Error(`Contract export must be an object, got ${typeof contract}`);\n    }\n\n    validatePurity(contract);\n\n    return contract as Contract;\n  } catch (error) {\n    try {\n      if (tempFile) {\n        unlinkSync(tempFile);\n      }\n    } catch {\n      // Ignore cleanup errors\n    }\n\n    if (error instanceof Error) {\n      throw error;\n    }\n    throw new Error(`Failed to load contract from ${entryPath}: ${String(error)}`);\n  }\n}\n"],"mappings":";;;;;;;AAYA,MAAM,oBAAoB,CAAC,kBAAkB,cAAc;AAE3D,SAAS,gBAAgB,YAAoB,WAA2C;CACtF,KAAK,MAAM,WAAW,WACpB,IAAI,QAAQ,SAAS,KAAK,EAAE;EAC1B,MAAM,SAAS,QAAQ,MAAM,GAAG,GAAG;EACnC,IAAI,eAAe,UAAU,WAAW,WAAW,GAAG,OAAO,GAAG,EAC9D,OAAO;QAEJ,IAAI,QAAQ,SAAS,IAAI,EAAE;EAChC,MAAM,SAAS,QAAQ,MAAM,GAAG,GAAG;EACnC,IAAI,WAAW,WAAW,OAAO,EAC/B,OAAO;QAEJ,IAAI,eAAe,SACxB,OAAO;CAGX,OAAO;;AAGT,SAAS,eAAe,OAAsB;CAC5C,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC;CAGF,MAAM,uBAAO,IAAI,SAAS;CAE1B,SAAS,MAAM,OAAsB;EACnC,IAAI,UAAU,QAAQ,OAAO,UAAU,UACrC;EAGF,IAAI,KAAK,IAAI,MAAM,EACjB,MAAM,IAAI,MAAM,+CAA+C;EAEjE,KAAK,IAAI,MAAM;EAEf,IAAI;GACF,KAAK,MAAM,OAAO,OAAO;IACvB,MAAM,aAAa,OAAO,yBAAyB,OAAO,IAAI;IAC9D,IAAI,eAAe,WAAW,OAAO,WAAW,MAC9C,MAAM,IAAI,MAAM,kDAAkD,IAAI,GAAG;IAE3E,IAAI,cAAc,OAAO,WAAW,UAAU,YAC5C,MAAM,IAAI,MAAM,6CAA6C,IAAI,GAAG;IAEtE,MAAO,MAAkC,KAAK;;YAExC;GACR,KAAK,OAAO,MAAM;;;CAItB,IAAI;EACF,MAAM,MAAM;EACZ,KAAK,UAAU,MAAM;UACd,OAAO;EACd,IAAI,iBAAiB,OAAO;GAC1B,IAAI,MAAM,QAAQ,SAAS,SAAS,IAAI,MAAM,QAAQ,SAAS,WAAW,EACxE,MAAM;GAER,MAAM,IAAI,MAAM,6CAA6C,MAAM,UAAU;;EAE/E,MAAM,IAAI,MAAM,2CAA2C;;;AAI/D,SAAS,4BACP,WACA,WACA,WACQ;CAOR,MAAM,WAAWA,QAAY,UAAU;CACvC,SAAS,YAAY,UAA2B;EAC9C,OAAO,aAAa,YAAY,aAAa,aAAa,aAAa;;CAEzE,OAAO;EACL,MAAM;EACN,MAAM,OAAO;GACX,MAAM,UAAU,EAAE,QAAQ,MAAM,GAAG,SAAS;IAC1C,IAAI,KAAK,SAAS,eAChB;IAEF,IAAI,KAAK,KAAK,WAAW,IAAI,IAAI,KAAK,KAAK,WAAW,IAAI,EACxD;IAEF,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,gBAAgB,KAAK,MAAM,UAAU,EAAE;KACxE,UAAU,IAAI,KAAK,KAAK;KACxB,OAAO;MACL,MAAM,KAAK;MACX,UAAU;MACX;;KAGH;;EAEL;;;;;;;;;;;;;;;;;AAkBH,eAAsB,mBACpB,WACA,SACmB;CACnB,MAAM,YAAY,SAAS,aAAa;CAExC,IAAI,CAAC,WAAW,UAAU,EACxB,MAAM,IAAI,MAAM,4BAA4B,YAAY;CAG1D,MAAM,WAAW,KACf,QAAQ,EACR,wBAAwB,KAAK,KAAK,CAAC,GAAG,KAAK,QAAQ,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,MAC3E;CAOD,MAAM,sCAAsB,IAAI,KAAa;CAE7C,IAAI;EACF,MAAM,SAAS,MAAM,MAAM;GACzB,aAAa,CAAC,UAAU;GACxB,QAAQ;GACR,QAAQ;GACR,UAAU;GACV,QAAQ;GACR,SAAS;GACT,OAAO;GACP,UAAU;GACV,SAAS,CAAC,4BAA4B,WAAW,WAAW,oBAAoB,CAAC;GACjF,UAAU;GACX,CAAC;EAEF,IAAI,OAAO,OAAO,SAAS,GAAG;GAC5B,MAAM,gBAAgB,OAAO,OAAO,KAAK,MAAwB,EAAE,KAAK,CAAC,KAAK,KAAK;GACnF,MAAM,IAAI,MAAM,mCAAmC,gBAAgB;;EAGrE,IAAI,CAAC,OAAO,eAAe,OAAO,YAAY,WAAW,GACvD,MAAM,IAAI,MAAM,0CAA0C;EAG5D,IAAI,oBAAoB,OAAO,GAC7B,MAAM,IAAI,MACR,iGAAiG,UAAU,KAAK,KAAK,CAAC,0BAA0B,CAAC,GAAG,oBAAoB,CAAC,KAAK,KAAK,GACpL;EAGH,MAAM,gBAAgB,OAAO,YAAY,IAAI;EAC7C,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MAAM,8BAA8B;EAEhD,cAAc,UAAU,eAAe,QAAQ;EAE/C,MAAM,SAAU,MAAM;;GAA0B,cAAc,SAAS,CAAC;;EAIxE,WAAW,SAAS;EAEpB,IAAI;EAEJ,IAAI,OAAO,YAAY,KAAA,GACrB,WAAW,OAAO;OACb,IAAI,OAAO,aAAa,KAAA,GAC7B,WAAW,OAAO;OAElB,MAAM,IAAI,MACR,qGAAqG,OAAO,KAAK,OAAkC,CAAC,KAAK,KAAK,IAAI,SACnK;EAGH,IAAI,OAAO,aAAa,YAAY,aAAa,MAC/C,MAAM,IAAI,MAAM,0CAA0C,OAAO,WAAW;EAG9E,eAAe,SAAS;EAExB,OAAO;UACA,OAAO;EACd,IAAI;GACF,IAAI,UACF,WAAW,SAAS;UAEhB;EAIR,IAAI,iBAAiB,OACnB,MAAM;EAER,MAAM,IAAI,MAAM,gCAAgC,UAAU,IAAI,OAAO,MAAM,GAAG"}
+{"version":3,"file":"index.mjs","names":["resolvePath"],"sources":["../../src/load-ts-contract.ts"],"sourcesContent":["import { existsSync, unlinkSync, writeFileSync } from 'node:fs';\nimport { tmpdir } from 'node:os';\nimport { pathToFileURL } from 'node:url';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { Plugin } from 'esbuild';\nimport { build } from 'esbuild';\nimport { join, resolve as resolvePath } from 'pathe';\n\nexport interface LoadTsContractOptions {\n  readonly allowlist?: ReadonlyArray<string>;\n}\n\nconst DEFAULT_ALLOWLIST = ['@prisma-next/*', 'node:crypto'];\n\nfunction isAllowedImport(importPath: string, allowlist: ReadonlyArray<string>): boolean {\n  for (const pattern of allowlist) {\n    if (pattern.endsWith('/*')) {\n      const prefix = pattern.slice(0, -2);\n      if (importPath === prefix || importPath.startsWith(`${prefix}/`)) {\n        return true;\n      }\n    } else if (pattern.endsWith('*')) {\n      const prefix = pattern.slice(0, -1);\n      if (importPath.startsWith(prefix)) {\n        return true;\n      }\n    } else if (importPath === pattern) {\n      return true;\n    }\n  }\n  return false;\n}\n\nfunction validatePurity(value: unknown): void {\n  if (typeof value !== 'object' || value === null) {\n    return;\n  }\n\n  const path = new WeakSet();\n\n  function check(value: unknown): void {\n    if (value === null || typeof value !== 'object') {\n      return;\n    }\n\n    if (path.has(value)) {\n      throw new Error('Contract export contains circular references');\n    }\n    path.add(value);\n\n    try {\n      for (const key in value) {\n        const descriptor = Object.getOwnPropertyDescriptor(value, key);\n        if (descriptor && (descriptor.get || descriptor.set)) {\n          throw new Error(`Contract export contains getter/setter at key \"${key}\"`);\n        }\n        if (descriptor && typeof descriptor.value === 'function') {\n          throw new Error(`Contract export contains function at key \"${key}\"`);\n        }\n        check((value as Record<string, unknown>)[key]);\n      }\n    } finally {\n      path.delete(value);\n    }\n  }\n\n  try {\n    check(value);\n    JSON.stringify(value);\n  } catch (error) {\n    if (error instanceof Error) {\n      if (error.message.includes('getter') || error.message.includes('circular')) {\n        throw error;\n      }\n      throw new Error(`Contract export is not JSON-serializable: ${error.message}`);\n    }\n    throw new Error('Contract export is not JSON-serializable');\n  }\n}\n\nfunction createImportAllowlistPlugin(\n  allowlist: ReadonlyArray<string>,\n  entryPath: string,\n  collected: Set<string>,\n): Plugin {\n  // Match against several path forms that esbuild may use as the importer:\n  // the absolute resolved entry, the value the caller passed (which may be\n  // relative), and the conventional `<stdin>` placeholder. This is more\n  // forgiving than `===` against a single form, which broke when esbuild\n  // resolved the entry to an absolute path while the caller passed a\n  // relative one (or vice versa).\n  const entryAbs = resolvePath(entryPath);\n  function isFromEntry(importer: string): boolean {\n    return importer === entryAbs || importer === entryPath || importer === '<stdin>';\n  }\n  return {\n    name: 'import-allowlist',\n    setup(build) {\n      build.onResolve({ filter: /.*/ }, (args) => {\n        if (args.kind === 'entry-point') {\n          return undefined;\n        }\n        if (args.path.startsWith('.') || args.path.startsWith('/')) {\n          return undefined;\n        }\n        if (isFromEntry(args.importer) && !isAllowedImport(args.path, allowlist)) {\n          collected.add(args.path);\n          return {\n            path: args.path,\n            external: true,\n          };\n        }\n        return undefined;\n      });\n    },\n  };\n}\n\n/**\n * Loads a contract from a TypeScript file and returns it as Contract.\n *\n * **Responsibility: Parsing Only**\n * This function loads and parses a TypeScript contract file. It does NOT normalize the contract.\n * The contract should already be normalized if it was built using the contract builder.\n *\n * Normalization must happen in the contract builder when the contract is created.\n * This function only validates that the contract is JSON-serializable and returns it as-is.\n *\n * @param entryPath - Path to the TypeScript contract file\n * @param options - Optional configuration (import allowlist)\n * @returns The contract as Contract (should already be normalized)\n * @throws Error if the contract cannot be loaded or is not JSON-serializable\n */\nexport async function loadContractFromTs(\n  entryPath: string,\n  options?: LoadTsContractOptions,\n): Promise<Contract> {\n  const allowlist = options?.allowlist ?? DEFAULT_ALLOWLIST;\n\n  if (!existsSync(entryPath)) {\n    throw new Error(`Contract file not found: ${entryPath}`);\n  }\n\n  const tempFile = join(\n    tmpdir(),\n    `prisma-next-contract-${Date.now()}-${Math.random().toString(36).slice(2)}.mjs`,\n  );\n\n  // Disallowed imports are collected by the allowlist resolver plugin itself,\n  // which has the `importer` context to distinguish entry-direct imports from\n  // transitive imports made inside allowlisted (`@prisma-next/*`) dependencies.\n  // The metafile is intentionally not re-walked: it would surface internal\n  // `node:*` imports inside framework code as false positives.\n  const disallowedFromEntry = new Set<string>();\n\n  try {\n    const result = await build({\n      entryPoints: [entryPath],\n      bundle: true,\n      format: 'esm',\n      platform: 'node',\n      target: 'es2022',\n      outfile: tempFile,\n      write: false,\n      metafile: true,\n      plugins: [createImportAllowlistPlugin(allowlist, entryPath, disallowedFromEntry)],\n      logLevel: 'error',\n    });\n\n    if (result.errors.length > 0) {\n      const errorMessages = result.errors.map((e: { text: string }) => e.text).join('\\n');\n      throw new Error(`Failed to bundle contract file: ${errorMessages}`);\n    }\n\n    if (!result.outputFiles || result.outputFiles.length === 0) {\n      throw new Error('No output files generated from bundling');\n    }\n\n    if (disallowedFromEntry.size > 0) {\n      throw new Error(\n        `Disallowed imports detected. Only imports matching the allowlist are permitted:\\n  Allowlist: ${allowlist.join(', ')}\\n  Disallowed imports: ${[...disallowedFromEntry].join(', ')}`,\n      );\n    }\n\n    const bundleContent = result.outputFiles[0]?.text;\n    if (bundleContent === undefined) {\n      throw new Error('Bundle content is undefined');\n    }\n    writeFileSync(tempFile, bundleContent, 'utf-8');\n\n    const module = (await import(/* @vite-ignore */ pathToFileURL(tempFile).href)) as {\n      default?: unknown;\n      contract?: unknown;\n    };\n    unlinkSync(tempFile);\n\n    let contract: unknown;\n\n    if (module.default !== undefined) {\n      contract = module.default;\n    } else if (module.contract !== undefined) {\n      contract = module.contract;\n    } else {\n      throw new Error(\n        `Contract file must export a contract as default export or named export 'contract'. Found exports: ${Object.keys(module as Record<string, unknown>).join(', ') || 'none'}`,\n      );\n    }\n\n    if (typeof contract !== 'object' || contract === null) {\n      throw new Error(`Contract export must be an object, got ${typeof contract}`);\n    }\n\n    validatePurity(contract);\n\n    // Blind cast: the loaded module was authored by user code\n    // (typically via `defineContract` / a contract builder) and\n    // its runtime shape is structurally a `Contract`, but the\n    // dynamic import collapses the source typing. The contract\n    // structural validation that asserts the shape happens\n    // downstream at the `familyInstance.deserializeContract` seam\n    // (e.g. in `executeContractEmit`); this helper only checks\n    // purity here.\n    return contract as unknown as Contract;\n  } catch (error) {\n    try {\n      if (tempFile) {\n        unlinkSync(tempFile);\n      }\n    } catch {\n      // Ignore cleanup errors\n    }\n\n    if (error instanceof Error) {\n      throw error;\n    }\n    throw new Error(`Failed to load contract from ${entryPath}: ${String(error)}`);\n  }\n}\n"],"mappings":";;;;;;;AAYA,MAAM,oBAAoB,CAAC,kBAAkB,cAAc;AAE3D,SAAS,gBAAgB,YAAoB,WAA2C;CACtF,KAAK,MAAM,WAAW,WACpB,IAAI,QAAQ,SAAS,KAAK,EAAE;EAC1B,MAAM,SAAS,QAAQ,MAAM,GAAG,GAAG;EACnC,IAAI,eAAe,UAAU,WAAW,WAAW,GAAG,OAAO,GAAG,EAC9D,OAAO;QAEJ,IAAI,QAAQ,SAAS,IAAI,EAAE;EAChC,MAAM,SAAS,QAAQ,MAAM,GAAG,GAAG;EACnC,IAAI,WAAW,WAAW,OAAO,EAC/B,OAAO;QAEJ,IAAI,eAAe,SACxB,OAAO;CAGX,OAAO;;AAGT,SAAS,eAAe,OAAsB;CAC5C,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC;CAGF,MAAM,uBAAO,IAAI,SAAS;CAE1B,SAAS,MAAM,OAAsB;EACnC,IAAI,UAAU,QAAQ,OAAO,UAAU,UACrC;EAGF,IAAI,KAAK,IAAI,MAAM,EACjB,MAAM,IAAI,MAAM,+CAA+C;EAEjE,KAAK,IAAI,MAAM;EAEf,IAAI;GACF,KAAK,MAAM,OAAO,OAAO;IACvB,MAAM,aAAa,OAAO,yBAAyB,OAAO,IAAI;IAC9D,IAAI,eAAe,WAAW,OAAO,WAAW,MAC9C,MAAM,IAAI,MAAM,kDAAkD,IAAI,GAAG;IAE3E,IAAI,cAAc,OAAO,WAAW,UAAU,YAC5C,MAAM,IAAI,MAAM,6CAA6C,IAAI,GAAG;IAEtE,MAAO,MAAkC,KAAK;;YAExC;GACR,KAAK,OAAO,MAAM;;;CAItB,IAAI;EACF,MAAM,MAAM;EACZ,KAAK,UAAU,MAAM;UACd,OAAO;EACd,IAAI,iBAAiB,OAAO;GAC1B,IAAI,MAAM,QAAQ,SAAS,SAAS,IAAI,MAAM,QAAQ,SAAS,WAAW,EACxE,MAAM;GAER,MAAM,IAAI,MAAM,6CAA6C,MAAM,UAAU;;EAE/E,MAAM,IAAI,MAAM,2CAA2C;;;AAI/D,SAAS,4BACP,WACA,WACA,WACQ;CAOR,MAAM,WAAWA,QAAY,UAAU;CACvC,SAAS,YAAY,UAA2B;EAC9C,OAAO,aAAa,YAAY,aAAa,aAAa,aAAa;;CAEzE,OAAO;EACL,MAAM;EACN,MAAM,OAAO;GACX,MAAM,UAAU,EAAE,QAAQ,MAAM,GAAG,SAAS;IAC1C,IAAI,KAAK,SAAS,eAChB;IAEF,IAAI,KAAK,KAAK,WAAW,IAAI,IAAI,KAAK,KAAK,WAAW,IAAI,EACxD;IAEF,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,gBAAgB,KAAK,MAAM,UAAU,EAAE;KACxE,UAAU,IAAI,KAAK,KAAK;KACxB,OAAO;MACL,MAAM,KAAK;MACX,UAAU;MACX;;KAGH;;EAEL;;;;;;;;;;;;;;;;;AAkBH,eAAsB,mBACpB,WACA,SACmB;CACnB,MAAM,YAAY,SAAS,aAAa;CAExC,IAAI,CAAC,WAAW,UAAU,EACxB,MAAM,IAAI,MAAM,4BAA4B,YAAY;CAG1D,MAAM,WAAW,KACf,QAAQ,EACR,wBAAwB,KAAK,KAAK,CAAC,GAAG,KAAK,QAAQ,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,MAC3E;CAOD,MAAM,sCAAsB,IAAI,KAAa;CAE7C,IAAI;EACF,MAAM,SAAS,MAAM,MAAM;GACzB,aAAa,CAAC,UAAU;GACxB,QAAQ;GACR,QAAQ;GACR,UAAU;GACV,QAAQ;GACR,SAAS;GACT,OAAO;GACP,UAAU;GACV,SAAS,CAAC,4BAA4B,WAAW,WAAW,oBAAoB,CAAC;GACjF,UAAU;GACX,CAAC;EAEF,IAAI,OAAO,OAAO,SAAS,GAAG;GAC5B,MAAM,gBAAgB,OAAO,OAAO,KAAK,MAAwB,EAAE,KAAK,CAAC,KAAK,KAAK;GACnF,MAAM,IAAI,MAAM,mCAAmC,gBAAgB;;EAGrE,IAAI,CAAC,OAAO,eAAe,OAAO,YAAY,WAAW,GACvD,MAAM,IAAI,MAAM,0CAA0C;EAG5D,IAAI,oBAAoB,OAAO,GAC7B,MAAM,IAAI,MACR,iGAAiG,UAAU,KAAK,KAAK,CAAC,0BAA0B,CAAC,GAAG,oBAAoB,CAAC,KAAK,KAAK,GACpL;EAGH,MAAM,gBAAgB,OAAO,YAAY,IAAI;EAC7C,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MAAM,8BAA8B;EAEhD,cAAc,UAAU,eAAe,QAAQ;EAE/C,MAAM,SAAU,MAAM;;GAA0B,cAAc,SAAS,CAAC;;EAIxE,WAAW,SAAS;EAEpB,IAAI;EAEJ,IAAI,OAAO,YAAY,KAAA,GACrB,WAAW,OAAO;OACb,IAAI,OAAO,aAAa,KAAA,GAC7B,WAAW,OAAO;OAElB,MAAM,IAAI,MACR,qGAAqG,OAAO,KAAK,OAAkC,CAAC,KAAK,KAAK,IAAI,SACnK;EAGH,IAAI,OAAO,aAAa,YAAY,aAAa,MAC/C,MAAM,IAAI,MAAM,0CAA0C,OAAO,WAAW;EAG9E,eAAe,SAAS;EAUxB,OAAO;UACA,OAAO;EACd,IAAI;GACF,IAAI,UACF,WAAW,SAAS;UAEhB;EAIR,IAAI,iBAAiB,OACnB,MAAM;EAER,MAAM,IAAI,MAAM,gCAAgC,UAAU,IAAI,OAAO,MAAM,GAAG"}

package/dist/exports/init-output.mjs

@@ -1,2 +1,2 @@
-import { t as InitOutputSchema } from "../output-BVj6a971.mjs";
+import { t as InitOutputSchema } from "../output-B60Gw5fu.mjs";
 export { InitOutputSchema };

package/dist/{framework-components-ChqVUxR-.mjs → framework-components-xFLFpZUO.mjs}

@@ -1,4 +1,4 @@
-import { r as errorConfigValidation } from "./cli-errors-D3_sMh2K.mjs";
+import { r as errorConfigValidation } from "./cli-errors-CF60g2cG.mjs";
 import "@prisma-next/framework-components/components";
 //#region src/utils/framework-components.ts
 /**
@@ -55,4 +55,4 @@ function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId,
 //#endregion
 export { assertFrameworkComponentsCompatible as t };
 
-//# sourceMappingURL=framework-components-ChqVUxR-.mjs.map
+//# sourceMappingURL=framework-components-xFLFpZUO.mjs.map

package/dist/{framework-components-ChqVUxR-.mjs.map → framework-components-xFLFpZUO.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"framework-components-ChqVUxR-.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;CACrE,KAAK,IAAI,IAAI,GAAG,IAAI,oBAAoB,QAAQ,KAAK;EACnD,MAAM,YAAY,oBAAoB;EAGtC,IAAI,OAAO,cAAc,YAAY,cAAc,MACjD,MAAM,sBAAsB,yBAAyB,EACnD,KAAK,gCAAgC,EAAE,qBACxC,CAAC;EAGJ,MAAM,SAAS;EAGf,IAAI,CAAC,OAAO,OAAO,QAAQ,OAAO,EAChC,MAAM,sBAAsB,8BAA8B,EACxD,KAAK,gCAAgC,EAAE,6BACxC,CAAC;EAGJ,MAAM,OAAO,OAAO;EACpB,IAAI,SAAS,YAAY,SAAS,aAAa,SAAS,eAAe,SAAS,UAC9E,MAAM,sBAAsB,8BAA8B,EACxD,KAAK,gCAAgC,EAAE,qBAAqB,OAAO,KAAK,CAAC,4DAC1E,CAAC;EAIJ,IAAI,CAAC,OAAO,OAAO,QAAQ,WAAW,EACpC,MAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kCAC/D,CAAC;EAGJ,MAAM,WAAW,OAAO;EACxB,IAAI,aAAa,kBACf,MAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kBAAkB,OAAO,SAAS,CAAC,kBAAkB,iBAAiB,IACrI,CAAC;EAIJ,IAAI,CAAC,OAAO,OAAO,QAAQ,WAAW,EACpC,MAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kCAC/D,CAAC;EAGJ,MAAM,WAAW,OAAO;EACxB,IAAI,aAAa,kBACf,MAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kBAAkB,OAAO,SAAS,CAAC,kBAAkB,iBAAiB,IACrI,CAAC;;CAKN,OAAO"}
+{"version":3,"file":"framework-components-xFLFpZUO.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;CACrE,KAAK,IAAI,IAAI,GAAG,IAAI,oBAAoB,QAAQ,KAAK;EACnD,MAAM,YAAY,oBAAoB;EAGtC,IAAI,OAAO,cAAc,YAAY,cAAc,MACjD,MAAM,sBAAsB,yBAAyB,EACnD,KAAK,gCAAgC,EAAE,qBACxC,CAAC;EAGJ,MAAM,SAAS;EAGf,IAAI,CAAC,OAAO,OAAO,QAAQ,OAAO,EAChC,MAAM,sBAAsB,8BAA8B,EACxD,KAAK,gCAAgC,EAAE,6BACxC,CAAC;EAGJ,MAAM,OAAO,OAAO;EACpB,IAAI,SAAS,YAAY,SAAS,aAAa,SAAS,eAAe,SAAS,UAC9E,MAAM,sBAAsB,8BAA8B,EACxD,KAAK,gCAAgC,EAAE,qBAAqB,OAAO,KAAK,CAAC,4DAC1E,CAAC;EAIJ,IAAI,CAAC,OAAO,OAAO,QAAQ,WAAW,EACpC,MAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kCAC/D,CAAC;EAGJ,MAAM,WAAW,OAAO;EACxB,IAAI,aAAa,kBACf,MAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kBAAkB,OAAO,SAAS,CAAC,kBAAkB,iBAAiB,IACrI,CAAC;EAIJ,IAAI,CAAC,OAAO,OAAO,QAAQ,WAAW,EACpC,MAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kCAC/D,CAAC;EAGJ,MAAM,WAAW,OAAO;EACxB,IAAI,aAAa,kBACf,MAAM,sBAAsB,kCAAkC,EAC5D,KAAK,gCAAgC,EAAE,UAAU,OAAO,KAAK,CAAC,kBAAkB,OAAO,SAAS,CAAC,kBAAkB,iBAAiB,IACrI,CAAC;;CAKN,OAAO"}

package/dist/{global-flags-Icqpxk23.d.mts → global-flags-DGmw6Kqg.d.mts}

@@ -9,4 +9,4 @@ interface GlobalFlags {
 }
 //#endregion
 export { GlobalFlags as t };
-//# sourceMappingURL=global-flags-Icqpxk23.d.mts.map
+//# sourceMappingURL=global-flags-DGmw6Kqg.d.mts.map

package/dist/{global-flags-Icqpxk23.d.mts.map → global-flags-DGmw6Kqg.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"global-flags-Icqpxk23.d.mts","names":[],"sources":["../src/utils/global-flags.ts"],"mappings":";UAAiB,WAAA;EAAA,SACN,IAAA;EAAA,SACA,KAAA;EAAA,SACA,OAAA;EAAA,SACA,KAAA;EAAA,SACA,WAAA;EAAA,SACA,GAAA;AAAA"}
+{"version":3,"file":"global-flags-DGmw6Kqg.d.mts","names":[],"sources":["../src/utils/global-flags.ts"],"mappings":";UAAiB,WAAA;EAAA,SACN,IAAA;EAAA,SACA,KAAA;EAAA,SACA,OAAA;EAAA,SACA,KAAA;EAAA,SACA,WAAA;EAAA,SACA,GAAA;AAAA"}