@prisma-next/core-control-plane 0.1.0-dev.2 → 0.1.0-dev.21

package/README.md

@@ -14,9 +14,10 @@ This package provides the core domain logic for control plane operations (contra
 - **Domain Actions**:
   - `verifyDatabase()`: Verifies database contract markers (accepts config object and ContractIR)
 
-Note: Contract emission is implemented on family instances (e.g., `familyInstance.emitContract()`), not as a core domain action.
+Note: Contract emission is implemented on the SQL family instance (e.g., `familyInstance.emitContract()`), not as a core domain action.
 - **Error Factories**: Domain error factories (`CliStructuredError`, config errors, runtime errors)
 - **Pack Manifest Types**: Type definitions for extension pack manifests
+- **Migration SPI**: Generic migration planner/runner interfaces (`MigrationPlanner<TFamilyId, TTargetId>`, `MigrationRunner<TFamilyId, TTargetId>`, `TargetMigrationsCapability<TFamilyId, TTargetId, TFamilyInstance>`) that thread family/target IDs for compile-time component compatibility enforcement
 
 ## Dependencies
 
@@ -102,13 +103,37 @@ throw errorConfigFileNotFound('prisma-next.config.ts', {
 });
 ```
 
+## Migration SPI Design
+
+The migration planner/runner interfaces are generic over `TFamilyId` and `TTargetId` to enable compile-time enforcement of component compatibility:
+
+- **`MigrationPlanner<TFamilyId, TTargetId>`**: Generic planner interface that accepts `TargetBoundComponentDescriptor<TFamilyId, TTargetId>[]`
+- **`MigrationRunner<TFamilyId, TTargetId>`**: Generic runner interface that accepts `TargetBoundComponentDescriptor<TFamilyId, TTargetId>[]`
+- **`TargetMigrationsCapability<TFamilyId, TTargetId, TFamilyInstance>`**: Generic capability interface for targets that support migrations
+
+The CLI performs runtime validation at the composition boundary using `assertFrameworkComponentsCompatible()` before calling typed planner/runner instances. This validates that all components have matching `familyId` and `targetId`, then returns a typed `TargetBoundComponentDescriptor` array that satisfies the planner/runner interface requirements.
+
+```typescript
+// CLI composition boundary - runtime assertion + type narrowing
+const rawComponents = [config.target, config.adapter, ...(config.extensions ?? [])];
+const frameworkComponents = assertFrameworkComponentsCompatible(
+  config.family.familyId,
+  config.target.targetId,
+  rawComponents,
+);
+
+// Now frameworkComponents is typed as TargetBoundComponentDescriptor<TFamilyId, TTargetId>[]
+const planner = target.migrations.createPlanner(sqlFamilyInstance);
+planner.plan({ contract, schema, policy, frameworkComponents });
+```
+
 ## Package Location
 
 This package is part of the **framework domain**, **core layer**, **migration plane**:
 - **Domain**: framework (target-agnostic)
 - **Layer**: core
 - **Plane**: migration (control plane operations)
-- **Path**: `packages/framework/core-control-plane`
+- **Path**: `packages/1-framework/1-core/migration/control-plane`
 
 ## Related Documentation
 

package/dist/{chunk-DZPZSLCM.js → chunk-R7MOUJNP.js}

@@ -106,6 +106,27 @@ function errorDriverRequired(options) {
     docsUrl: "https://prisma-next.dev/docs/cli/db-verify"
   });
 }
+function errorMigrationPlanningFailed(options) {
+  const conflictSummaries = options.conflicts.map((c) => c.summary);
+  const computedWhy = options.why ?? conflictSummaries.join("\n");
+  const conflictFixes = options.conflicts.map((c) => c.why).filter((why) => typeof why === "string");
+  const computedFix = conflictFixes.length > 0 ? conflictFixes.join("\n") : "Use `db schema-verify` to inspect conflicts, or ensure the database is empty";
+  return new CliStructuredError("4020", "Migration planning failed", {
+    domain: "CLI",
+    why: computedWhy,
+    fix: computedFix,
+    meta: { conflicts: options.conflicts },
+    docsUrl: "https://prisma-next.dev/docs/cli/db-init"
+  });
+}
+function errorTargetMigrationNotSupported(options) {
+  return new CliStructuredError("4021", "Target does not support migrations", {
+    domain: "CLI",
+    why: options?.why ?? "The configured target does not provide migration planner/runner",
+    fix: "Ensure you are using a target that supports migrations",
+    docsUrl: "https://prisma-next.dev/docs/cli/db-init"
+  });
+}
 function errorConfigValidation(field, options) {
   return new CliStructuredError("4001", "Config file not found", {
     domain: "CLI",
@@ -168,6 +189,8 @@ export {
   errorQueryRunnerFactoryRequired,
   errorFamilyReadMarkerSqlRequired,
   errorDriverRequired,
+  errorMigrationPlanningFailed,
+  errorTargetMigrationNotSupported,
   errorConfigValidation,
   errorMarkerMissing,
   errorHashMismatch,
@@ -175,4 +198,4 @@ export {
   errorRuntime,
   errorUnexpected
 };
-//# sourceMappingURL=chunk-DZPZSLCM.js.map
+//# sourceMappingURL=chunk-R7MOUJNP.js.map

package/dist/chunk-R7MOUJNP.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/errors.ts"],"sourcesContent":["/**\n * CLI error envelope for output formatting.\n * This is the serialized form of a CliStructuredError.\n */\nexport interface CliErrorEnvelope {\n  readonly code: string;\n  readonly domain: string;\n  readonly severity: 'error' | 'warn' | 'info';\n  readonly summary: string;\n  readonly why: string | undefined;\n  readonly fix: string | undefined;\n  readonly where:\n    | {\n        readonly path: string | undefined;\n        readonly line: number | undefined;\n      }\n    | undefined;\n  readonly meta: Record<string, unknown> | undefined;\n  readonly docsUrl: string | undefined;\n}\n\n/**\n * Structured CLI error that contains all information needed for error envelopes.\n * Call sites throw these errors with full context.\n */\nexport class CliStructuredError extends Error {\n  readonly code: string;\n  readonly domain: 'CLI' | 'RTM';\n  readonly severity: 'error' | 'warn' | 'info';\n  readonly why: string | undefined;\n  readonly fix: string | undefined;\n  readonly where:\n    | {\n        readonly path: string | undefined;\n        readonly line: number | undefined;\n      }\n    | undefined;\n  readonly meta: Record<string, unknown> | undefined;\n  readonly docsUrl: string | undefined;\n\n  constructor(\n    code: string,\n    summary: string,\n    options?: {\n      readonly domain?: 'CLI' | 'RTM';\n      readonly severity?: 'error' | 'warn' | 'info';\n      readonly why?: string;\n      readonly fix?: string;\n      readonly where?: { readonly path?: string; readonly line?: number };\n      readonly meta?: Record<string, unknown>;\n      readonly docsUrl?: string;\n    },\n  ) {\n    super(summary);\n    this.name = 'CliStructuredError';\n    this.code = code;\n    this.domain = options?.domain ?? 'CLI';\n    this.severity = options?.severity ?? 'error';\n    this.why = options?.why;\n    this.fix = options?.fix;\n    this.where = options?.where\n      ? {\n          path: options.where.path,\n          line: options.where.line,\n        }\n      : undefined;\n    this.meta = options?.meta;\n    this.docsUrl = options?.docsUrl;\n  }\n\n  /**\n   * Converts this error to a CLI error envelope for output formatting.\n   */\n  toEnvelope(): CliErrorEnvelope {\n    const codePrefix = this.domain === 'CLI' ? 'PN-CLI-' : 'PN-RTM-';\n    return {\n      code: `${codePrefix}${this.code}`,\n      domain: this.domain,\n      severity: this.severity,\n      summary: this.message,\n      why: this.why,\n      fix: this.fix,\n      where: this.where,\n      meta: this.meta,\n      docsUrl: this.docsUrl,\n    };\n  }\n}\n\n// ============================================================================\n// Config Errors (PN-CLI-4001-4007)\n// ============================================================================\n\n/**\n * Config file not found or missing.\n */\nexport function errorConfigFileNotFound(\n  configPath?: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4001', 'Config file not found', {\n    domain: 'CLI',\n    ...(options?.why ? { why: options.why } : { why: 'Config file not found' }),\n    fix: \"Run 'prisma-next init' to create a config file\",\n    docsUrl: 'https://prisma-next.dev/docs/cli/config',\n    ...(configPath ? { where: { path: configPath } } : {}),\n  });\n}\n\n/**\n * Contract configuration missing from config.\n */\nexport function errorContractConfigMissing(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4002', 'Contract configuration missing', {\n    domain: 'CLI',\n    why: options?.why ?? 'The contract configuration is required for emit',\n    fix: 'Add contract configuration to your prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/contract-emit',\n  });\n}\n\n/**\n * Contract validation failed.\n */\nexport function errorContractValidationFailed(\n  reason: string,\n  options?: {\n    readonly where?: { readonly path?: string; readonly line?: number };\n  },\n): CliStructuredError {\n  return new CliStructuredError('4003', 'Contract validation failed', {\n    domain: 'CLI',\n    why: reason,\n    fix: 'Check your contract file for errors',\n    docsUrl: 'https://prisma-next.dev/docs/contracts',\n    ...(options?.where ? { where: options.where } : {}),\n  });\n}\n\n/**\n * File not found.\n */\nexport function errorFileNotFound(\n  filePath: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4004', 'File not found', {\n    domain: 'CLI',\n    why: options?.why ?? `File not found: ${filePath}`,\n    fix: 'Check that the file path is correct',\n    where: { path: filePath },\n  });\n}\n\n/**\n * Database URL is required but not provided.\n */\nexport function errorDatabaseUrlRequired(options?: { readonly why?: string }): CliStructuredError {\n  return new CliStructuredError('4005', 'Database URL is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Database URL is required for db verify',\n    fix: 'Provide --db flag or config.db.url in prisma-next.config.ts',\n  });\n}\n\n/**\n * Query runner factory is required but not provided in config.\n */\nexport function errorQueryRunnerFactoryRequired(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4006', 'Query runner factory is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Config.db.queryRunnerFactory is required for db verify',\n    fix: 'Add db.queryRunnerFactory to prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Family verify.readMarker is required but not provided.\n */\nexport function errorFamilyReadMarkerSqlRequired(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4007', 'Family readMarker() is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Family verify.readMarker is required for db verify',\n    fix: 'Ensure family.verify.readMarker() is exported by your family package',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Driver is required for DB-connected commands but not provided.\n */\nexport function errorDriverRequired(options?: { readonly why?: string }): CliStructuredError {\n  return new CliStructuredError('4010', 'Driver is required for DB-connected commands', {\n    domain: 'CLI',\n    why: options?.why ?? 'Config.driver is required for db verify',\n    fix: 'Add driver to prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Migration planning failed due to conflicts.\n */\nexport function errorMigrationPlanningFailed(options: {\n  readonly conflicts: readonly {\n    readonly kind: string;\n    readonly summary: string;\n    readonly why?: string;\n  }[];\n  readonly why?: string;\n}): CliStructuredError {\n  // Build \"why\" from conflict summaries - these contain the actual problem description\n  const conflictSummaries = options.conflicts.map((c) => c.summary);\n  const computedWhy = options.why ?? conflictSummaries.join('\\n');\n\n  // Build \"fix\" from conflict \"why\" fields - these contain actionable advice\n  const conflictFixes = options.conflicts\n    .map((c) => c.why)\n    .filter((why): why is string => typeof why === 'string');\n  const computedFix =\n    conflictFixes.length > 0\n      ? conflictFixes.join('\\n')\n      : 'Use `db schema-verify` to inspect conflicts, or ensure the database is empty';\n\n  return new CliStructuredError('4020', 'Migration planning failed', {\n    domain: 'CLI',\n    why: computedWhy,\n    fix: computedFix,\n    meta: { conflicts: options.conflicts },\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-init',\n  });\n}\n\n/**\n * Target does not support migrations (missing createPlanner/createRunner).\n */\nexport function errorTargetMigrationNotSupported(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4021', 'Target does not support migrations', {\n    domain: 'CLI',\n    why: options?.why ?? 'The configured target does not provide migration planner/runner',\n    fix: 'Ensure you are using a target that supports migrations',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-init',\n  });\n}\n\n/**\n * Config validation error (missing required fields).\n */\nexport function errorConfigValidation(\n  field: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4001', 'Config file not found', {\n    domain: 'CLI',\n    why: options?.why ?? `Config must have a \"${field}\" field`,\n    fix: \"Run 'prisma-next init' to create a config file\",\n    docsUrl: 'https://prisma-next.dev/docs/cli/config',\n  });\n}\n\n// ============================================================================\n// Runtime Errors (PN-RTM-3000-3003)\n// ============================================================================\n\n/**\n * Contract marker not found in database.\n */\nexport function errorMarkerMissing(options?: {\n  readonly why?: string;\n  readonly dbUrl?: string;\n}): CliStructuredError {\n  return new CliStructuredError('3001', 'Marker missing', {\n    domain: 'RTM',\n    why: options?.why ?? 'Contract marker not found in database',\n    fix: 'Run `prisma-next db sign --db <url>` to create marker',\n  });\n}\n\n/**\n * Contract hash does not match database marker.\n */\nexport function errorHashMismatch(options?: {\n  readonly why?: string;\n  readonly expected?: string;\n  readonly actual?: string;\n}): CliStructuredError {\n  return new CliStructuredError('3002', 'Hash mismatch', {\n    domain: 'RTM',\n    why: options?.why ?? 'Contract hash does not match database marker',\n    fix: 'Migrate database or re-sign if intentional',\n    ...(options?.expected || options?.actual\n      ? {\n          meta: {\n            ...(options.expected ? { expected: options.expected } : {}),\n            ...(options.actual ? { actual: options.actual } : {}),\n          },\n        }\n      : {}),\n  });\n}\n\n/**\n * Contract target does not match config target.\n */\nexport function errorTargetMismatch(\n  expected: string,\n  actual: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('3003', 'Target mismatch', {\n    domain: 'RTM',\n    why:\n      options?.why ??\n      `Contract target does not match config target (expected: ${expected}, actual: ${actual})`,\n    fix: 'Align contract target and config target',\n    meta: { expected, actual },\n  });\n}\n\n/**\n * Generic runtime error.\n */\nexport function errorRuntime(\n  summary: string,\n  options?: {\n    readonly why?: string;\n    readonly fix?: string;\n    readonly meta?: Record<string, unknown>;\n  },\n): CliStructuredError {\n  return new CliStructuredError('3000', summary, {\n    domain: 'RTM',\n    ...(options?.why ? { why: options.why } : { why: 'Verification failed' }),\n    ...(options?.fix ? { fix: options.fix } : { fix: 'Check contract and database state' }),\n    ...(options?.meta ? { meta: options.meta } : {}),\n  });\n}\n\n// ============================================================================\n// Generic Error\n// ============================================================================\n\n/**\n * Generic unexpected error.\n */\nexport function errorUnexpected(\n  message: string,\n  options?: {\n    readonly why?: string;\n    readonly fix?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4999', 'Unexpected error', {\n    domain: 'CLI',\n    why: options?.why ?? message,\n    fix: options?.fix ?? 'Check the error message and try again',\n  });\n}\n"],"mappings":";AAyBO,IAAM,qBAAN,cAAiC,MAAM;AAAA,EACnC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EAMA;AAAA,EACA;AAAA,EAET,YACE,MACA,SACA,SASA;AACA,UAAM,OAAO;AACb,SAAK,OAAO;AACZ,SAAK,OAAO;AACZ,SAAK,SAAS,SAAS,UAAU;AACjC,SAAK,WAAW,SAAS,YAAY;AACrC,SAAK,MAAM,SAAS;AACpB,SAAK,MAAM,SAAS;AACpB,SAAK,QAAQ,SAAS,QAClB;AAAA,MACE,MAAM,QAAQ,MAAM;AAAA,MACpB,MAAM,QAAQ,MAAM;AAAA,IACtB,IACA;AACJ,SAAK,OAAO,SAAS;AACrB,SAAK,UAAU,SAAS;AAAA,EAC1B;AAAA;AAAA;AAAA;AAAA,EAKA,aAA+B;AAC7B,UAAM,aAAa,KAAK,WAAW,QAAQ,YAAY;AACvD,WAAO;AAAA,MACL,MAAM,GAAG,UAAU,GAAG,KAAK,IAAI;AAAA,MAC/B,QAAQ,KAAK;AAAA,MACb,UAAU,KAAK;AAAA,MACf,SAAS,KAAK;AAAA,MACd,KAAK,KAAK;AAAA,MACV,KAAK,KAAK;AAAA,MACV,OAAO,KAAK;AAAA,MACZ,MAAM,KAAK;AAAA,MACX,SAAS,KAAK;AAAA,IAChB;AAAA,EACF;AACF;AASO,SAAS,wBACd,YACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,yBAAyB;AAAA,IAC7D,QAAQ;AAAA,IACR,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,wBAAwB;AAAA,IACzE,KAAK;AAAA,IACL,SAAS;AAAA,IACT,GAAI,aAAa,EAAE,OAAO,EAAE,MAAM,WAAW,EAAE,IAAI,CAAC;AAAA,EACtD,CAAC;AACH;AAKO,SAAS,2BAA2B,SAEpB;AACrB,SAAO,IAAI,mBAAmB,QAAQ,kCAAkC;AAAA,IACtE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,8BACd,QACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,8BAA8B;AAAA,IAClE,QAAQ;AAAA,IACR,KAAK;AAAA,IACL,KAAK;AAAA,IACL,SAAS;AAAA,IACT,GAAI,SAAS,QAAQ,EAAE,OAAO,QAAQ,MAAM,IAAI,CAAC;AAAA,EACnD,CAAC;AACH;AAKO,SAAS,kBACd,UACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,kBAAkB;AAAA,IACtD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO,mBAAmB,QAAQ;AAAA,IAChD,KAAK;AAAA,IACL,OAAO,EAAE,MAAM,SAAS;AAAA,EAC1B,CAAC;AACH;AAKO,SAAS,yBAAyB,SAAyD;AAChG,SAAO,IAAI,mBAAmB,QAAQ,4BAA4B;AAAA,IAChE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,EACP,CAAC;AACH;AAKO,SAAS,gCAAgC,SAEzB;AACrB,SAAO,IAAI,mBAAmB,QAAQ,oCAAoC;AAAA,IACxE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,iCAAiC,SAE1B;AACrB,SAAO,IAAI,mBAAmB,QAAQ,mCAAmC;AAAA,IACvE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,oBAAoB,SAAyD;AAC3F,SAAO,IAAI,mBAAmB,QAAQ,gDAAgD;AAAA,IACpF,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,6BAA6B,SAOtB;AAErB,QAAM,oBAAoB,QAAQ,UAAU,IAAI,CAAC,MAAM,EAAE,OAAO;AAChE,QAAM,cAAc,QAAQ,OAAO,kBAAkB,KAAK,IAAI;AAG9D,QAAM,gBAAgB,QAAQ,UAC3B,IAAI,CAAC,MAAM,EAAE,GAAG,EAChB,OAAO,CAAC,QAAuB,OAAO,QAAQ,QAAQ;AACzD,QAAM,cACJ,cAAc,SAAS,IACnB,cAAc,KAAK,IAAI,IACvB;AAEN,SAAO,IAAI,mBAAmB,QAAQ,6BAA6B;AAAA,IACjE,QAAQ;AAAA,IACR,KAAK;AAAA,IACL,KAAK;AAAA,IACL,MAAM,EAAE,WAAW,QAAQ,UAAU;AAAA,IACrC,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,iCAAiC,SAE1B;AACrB,SAAO,IAAI,mBAAmB,QAAQ,sCAAsC;AAAA,IAC1E,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,sBACd,OACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,yBAAyB;AAAA,IAC7D,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO,uBAAuB,KAAK;AAAA,IACjD,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AASO,SAAS,mBAAmB,SAGZ;AACrB,SAAO,IAAI,mBAAmB,QAAQ,kBAAkB;AAAA,IACtD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,EACP,CAAC;AACH;AAKO,SAAS,kBAAkB,SAIX;AACrB,SAAO,IAAI,mBAAmB,QAAQ,iBAAiB;AAAA,IACrD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,GAAI,SAAS,YAAY,SAAS,SAC9B;AAAA,MACE,MAAM;AAAA,QACJ,GAAI,QAAQ,WAAW,EAAE,UAAU,QAAQ,SAAS,IAAI,CAAC;AAAA,QACzD,GAAI,QAAQ,SAAS,EAAE,QAAQ,QAAQ,OAAO,IAAI,CAAC;AAAA,MACrD;AAAA,IACF,IACA,CAAC;AAAA,EACP,CAAC;AACH;AAKO,SAAS,oBACd,UACA,QACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,mBAAmB;AAAA,IACvD,QAAQ;AAAA,IACR,KACE,SAAS,OACT,2DAA2D,QAAQ,aAAa,MAAM;AAAA,IACxF,KAAK;AAAA,IACL,MAAM,EAAE,UAAU,OAAO;AAAA,EAC3B,CAAC;AACH;AAKO,SAAS,aACd,SACA,SAKoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,SAAS;AAAA,IAC7C,QAAQ;AAAA,IACR,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,sBAAsB;AAAA,IACvE,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,oCAAoC;AAAA,IACrF,GAAI,SAAS,OAAO,EAAE,MAAM,QAAQ,KAAK,IAAI,CAAC;AAAA,EAChD,CAAC;AACH;AASO,SAAS,gBACd,SACA,SAIoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,oBAAoB;AAAA,IACxD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK,SAAS,OAAO;AAAA,EACvB,CAAC;AACH;","names":[]}

package/dist/exports/config-types.d.ts

@@ -1,7 +1,8 @@
 import { ControlFamilyDescriptor, ControlTargetDescriptor, ControlAdapterDescriptor, ControlExtensionDescriptor, ControlDriverDescriptor } from './types.js';
+import '@prisma-next/contract/framework-components';
 import '@prisma-next/contract/ir';
-import '@prisma-next/contract/pack-manifest-types';
 import '@prisma-next/contract/types';
+import '@prisma-next/utils/result';
 import './schema-view.js';
 
 /**

package/dist/exports/config-types.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/config-types.ts"],"sourcesContent":["import { dirname, join } from 'node:path';\nimport { type } from 'arktype';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n  ControlTargetDescriptor,\n} from './types';\n\n/**\n * Type alias for CLI driver instances.\n */\nexport type CliDriver = ControlDriverInstance;\n\n/**\n * Contract configuration specifying source and artifact locations.\n */\nexport interface ContractConfig {\n  /**\n   * Contract source. Can be a value or a function that returns a value (sync or async).\n   * If a function, it will be called to resolve the contract.\n   */\n  readonly source: unknown | (() => unknown | Promise<unknown>);\n  /**\n   * Path to contract.json artifact. Defaults to 'src/prisma/contract.json'.\n   * This is the canonical location where other CLI commands can find the contract JSON.\n   */\n  readonly output?: string;\n  /**\n   * Path to contract.d.ts artifact. Defaults to output with .d.ts extension.\n   * If output ends with .json, replaces .json with .d.ts.\n   * Otherwise, appends .d.ts to the directory containing output.\n   */\n  readonly types?: string;\n}\n\n/**\n * Configuration for Prisma Next CLI.\n * Uses Control*Descriptor types for type-safe wiring with compile-time compatibility checks.\n *\n * @template TFamilyId - The family ID (e.g., 'sql', 'document')\n * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')\n */\nexport interface PrismaNextConfig<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> {\n  readonly family: ControlFamilyDescriptor<TFamilyId>;\n  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;\n  readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;\n  readonly extensions?: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];\n  /**\n   * Driver descriptor for DB-connected CLI commands.\n   * Required for DB-connected commands (e.g., db verify).\n   * Optional for commands that don't need database access (e.g., emit).\n   */\n  readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId>;\n  readonly db?: {\n    readonly url?: string;\n  };\n  /**\n   * Contract configuration. Specifies source and artifact locations.\n   * Required for emit command; optional for other commands that only read artifacts.\n   */\n  readonly contract?: ContractConfig;\n}\n\n/**\n * Arktype schema for ContractConfig validation.\n * Validates that source is present and output/types are strings when provided.\n */\nconst ContractConfigSchema = type({\n  source: 'unknown', // Can be value or function - runtime check needed\n  'output?': 'string',\n  'types?': 'string',\n});\n\n/**\n * Arktype schema for PrismaNextConfig validation.\n * Note: This validates structure only. Descriptor objects (family, target, adapter) are validated separately.\n */\nconst PrismaNextConfigSchema = type({\n  family: 'unknown', // ControlFamilyDescriptor - validated separately\n  target: 'unknown', // ControlTargetDescriptor - validated separately\n  adapter: 'unknown', // ControlAdapterDescriptor - validated separately\n  'extensions?': 'unknown[]',\n  'driver?': 'unknown', // ControlDriverDescriptor - validated separately (optional)\n  'db?': 'unknown',\n  'contract?': ContractConfigSchema,\n});\n\n/**\n * Helper function to define a Prisma Next config.\n * Validates and normalizes the config using Arktype, then returns the normalized IR.\n *\n * Normalization:\n * - contract.output defaults to 'src/prisma/contract.json' if missing\n * - contract.types defaults to output with .d.ts extension if missing\n *\n * @param config - Raw config input from user\n * @returns Normalized config IR with defaults applied\n * @throws Error if config structure is invalid\n */\nexport function defineConfig<TFamilyId extends string = string, TTargetId extends string = string>(\n  config: PrismaNextConfig<TFamilyId, TTargetId>,\n): PrismaNextConfig<TFamilyId, TTargetId> {\n  // Validate structure using Arktype\n  const validated = PrismaNextConfigSchema(config);\n  if (validated instanceof type.errors) {\n    const messages = validated.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Config validation failed: ${messages}`);\n  }\n\n  // Normalize contract config if present\n  if (config.contract) {\n    // Validate contract.source is a value or function (runtime check)\n    const source = config.contract.source;\n    if (\n      source !== null &&\n      typeof source !== 'object' &&\n      typeof source !== 'function' &&\n      typeof source !== 'string' &&\n      typeof source !== 'number' &&\n      typeof source !== 'boolean'\n    ) {\n      throw new Error(\n        'Config.contract.source must be a value (object, string, number, boolean, null) or a function',\n      );\n    }\n\n    // Apply defaults\n    const output = config.contract.output ?? 'src/prisma/contract.json';\n    const types =\n      config.contract.types ??\n      (output.endsWith('.json')\n        ? `${output.slice(0, -5)}.d.ts`\n        : join(dirname(output), 'contract.d.ts'));\n\n    const normalizedContract: ContractConfig = {\n      source: config.contract.source,\n      output,\n      types,\n    };\n\n    // Return normalized config\n    return {\n      ...config,\n      contract: normalizedContract,\n    };\n  }\n\n  // Return config as-is if no contract (preserve literal types)\n  return config;\n}\n"],"mappings":";AAAA,SAAS,SAAS,YAAY;AAC9B,SAAS,YAAY;AAwErB,IAAM,uBAAuB,KAAK;AAAA,EAChC,QAAQ;AAAA;AAAA,EACR,WAAW;AAAA,EACX,UAAU;AACZ,CAAC;AAMD,IAAM,yBAAyB,KAAK;AAAA,EAClC,QAAQ;AAAA;AAAA,EACR,QAAQ;AAAA;AAAA,EACR,SAAS;AAAA;AAAA,EACT,eAAe;AAAA,EACf,WAAW;AAAA;AAAA,EACX,OAAO;AAAA,EACP,aAAa;AACf,CAAC;AAcM,SAAS,aACd,QACwC;AAExC,QAAM,YAAY,uBAAuB,MAAM;AAC/C,MAAI,qBAAqB,KAAK,QAAQ;AACpC,UAAM,WAAW,UAAU,IAAI,CAAC,MAA2B,EAAE,OAAO,EAAE,KAAK,IAAI;AAC/E,UAAM,IAAI,MAAM,6BAA6B,QAAQ,EAAE;AAAA,EACzD;AAGA,MAAI,OAAO,UAAU;AAEnB,UAAM,SAAS,OAAO,SAAS;AAC/B,QACE,WAAW,QACX,OAAO,WAAW,YAClB,OAAO,WAAW,cAClB,OAAO,WAAW,YAClB,OAAO,WAAW,YAClB,OAAO,WAAW,WAClB;AACA,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAGA,UAAM,SAAS,OAAO,SAAS,UAAU;AACzC,UAAM,QACJ,OAAO,SAAS,UACf,OAAO,SAAS,OAAO,IACpB,GAAG,OAAO,MAAM,GAAG,EAAE,CAAC,UACtB,KAAK,QAAQ,MAAM,GAAG,eAAe;AAE3C,UAAM,qBAAqC;AAAA,MACzC,QAAQ,OAAO,SAAS;AAAA,MACxB;AAAA,MACA;AAAA,IACF;AAGA,WAAO;AAAA,MACL,GAAG;AAAA,MACH,UAAU;AAAA,IACZ;AAAA,EACF;AAGA,SAAO;AACT;","names":[]}
+{"version":3,"sources":["../../src/config-types.ts"],"sourcesContent":["import { dirname, join } from 'node:path';\nimport { type } from 'arktype';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n  ControlTargetDescriptor,\n} from './types';\n\n/**\n * Type alias for CLI driver instances.\n * Uses string for both family and target IDs for maximum flexibility.\n */\nexport type CliDriver = ControlDriverInstance<string, string>;\n\n/**\n * Contract configuration specifying source and artifact locations.\n */\nexport interface ContractConfig {\n  /**\n   * Contract source. Can be a value or a function that returns a value (sync or async).\n   * If a function, it will be called to resolve the contract.\n   */\n  readonly source: unknown | (() => unknown | Promise<unknown>);\n  /**\n   * Path to contract.json artifact. Defaults to 'src/prisma/contract.json'.\n   * This is the canonical location where other CLI commands can find the contract JSON.\n   */\n  readonly output?: string;\n  /**\n   * Path to contract.d.ts artifact. Defaults to output with .d.ts extension.\n   * If output ends with .json, replaces .json with .d.ts.\n   * Otherwise, appends .d.ts to the directory containing output.\n   */\n  readonly types?: string;\n}\n\n/**\n * Configuration for Prisma Next CLI.\n * Uses Control*Descriptor types for type-safe wiring with compile-time compatibility checks.\n *\n * @template TFamilyId - The family ID (e.g., 'sql', 'document')\n * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')\n */\nexport interface PrismaNextConfig<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> {\n  readonly family: ControlFamilyDescriptor<TFamilyId>;\n  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;\n  readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;\n  readonly extensions?: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];\n  /**\n   * Driver descriptor for DB-connected CLI commands.\n   * Required for DB-connected commands (e.g., db verify).\n   * Optional for commands that don't need database access (e.g., emit).\n   */\n  readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId>;\n  readonly db?: {\n    readonly url?: string;\n  };\n  /**\n   * Contract configuration. Specifies source and artifact locations.\n   * Required for emit command; optional for other commands that only read artifacts.\n   */\n  readonly contract?: ContractConfig;\n}\n\n/**\n * Arktype schema for ContractConfig validation.\n * Validates that source is present and output/types are strings when provided.\n */\nconst ContractConfigSchema = type({\n  source: 'unknown', // Can be value or function - runtime check needed\n  'output?': 'string',\n  'types?': 'string',\n});\n\n/**\n * Arktype schema for PrismaNextConfig validation.\n * Note: This validates structure only. Descriptor objects (family, target, adapter) are validated separately.\n */\nconst PrismaNextConfigSchema = type({\n  family: 'unknown', // ControlFamilyDescriptor - validated separately\n  target: 'unknown', // ControlTargetDescriptor - validated separately\n  adapter: 'unknown', // ControlAdapterDescriptor - validated separately\n  'extensions?': 'unknown[]',\n  'driver?': 'unknown', // ControlDriverDescriptor - validated separately (optional)\n  'db?': 'unknown',\n  'contract?': ContractConfigSchema,\n});\n\n/**\n * Helper function to define a Prisma Next config.\n * Validates and normalizes the config using Arktype, then returns the normalized IR.\n *\n * Normalization:\n * - contract.output defaults to 'src/prisma/contract.json' if missing\n * - contract.types defaults to output with .d.ts extension if missing\n *\n * @param config - Raw config input from user\n * @returns Normalized config IR with defaults applied\n * @throws Error if config structure is invalid\n */\nexport function defineConfig<TFamilyId extends string = string, TTargetId extends string = string>(\n  config: PrismaNextConfig<TFamilyId, TTargetId>,\n): PrismaNextConfig<TFamilyId, TTargetId> {\n  // Validate structure using Arktype\n  const validated = PrismaNextConfigSchema(config);\n  if (validated instanceof type.errors) {\n    const messages = validated.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Config validation failed: ${messages}`);\n  }\n\n  // Normalize contract config if present\n  if (config.contract) {\n    // Validate contract.source is a value or function (runtime check)\n    const source = config.contract.source;\n    if (\n      source !== null &&\n      typeof source !== 'object' &&\n      typeof source !== 'function' &&\n      typeof source !== 'string' &&\n      typeof source !== 'number' &&\n      typeof source !== 'boolean'\n    ) {\n      throw new Error(\n        'Config.contract.source must be a value (object, string, number, boolean, null) or a function',\n      );\n    }\n\n    // Apply defaults\n    const output = config.contract.output ?? 'src/prisma/contract.json';\n    const types =\n      config.contract.types ??\n      (output.endsWith('.json')\n        ? `${output.slice(0, -5)}.d.ts`\n        : join(dirname(output), 'contract.d.ts'));\n\n    const normalizedContract: ContractConfig = {\n      source: config.contract.source,\n      output,\n      types,\n    };\n\n    // Return normalized config\n    return {\n      ...config,\n      contract: normalizedContract,\n    };\n  }\n\n  // Return config as-is if no contract (preserve literal types)\n  return config;\n}\n"],"mappings":";AAAA,SAAS,SAAS,YAAY;AAC9B,SAAS,YAAY;AAyErB,IAAM,uBAAuB,KAAK;AAAA,EAChC,QAAQ;AAAA;AAAA,EACR,WAAW;AAAA,EACX,UAAU;AACZ,CAAC;AAMD,IAAM,yBAAyB,KAAK;AAAA,EAClC,QAAQ;AAAA;AAAA,EACR,QAAQ;AAAA;AAAA,EACR,SAAS;AAAA;AAAA,EACT,eAAe;AAAA,EACf,WAAW;AAAA;AAAA,EACX,OAAO;AAAA,EACP,aAAa;AACf,CAAC;AAcM,SAAS,aACd,QACwC;AAExC,QAAM,YAAY,uBAAuB,MAAM;AAC/C,MAAI,qBAAqB,KAAK,QAAQ;AACpC,UAAM,WAAW,UAAU,IAAI,CAAC,MAA2B,EAAE,OAAO,EAAE,KAAK,IAAI;AAC/E,UAAM,IAAI,MAAM,6BAA6B,QAAQ,EAAE;AAAA,EACzD;AAGA,MAAI,OAAO,UAAU;AAEnB,UAAM,SAAS,OAAO,SAAS;AAC/B,QACE,WAAW,QACX,OAAO,WAAW,YAClB,OAAO,WAAW,cAClB,OAAO,WAAW,YAClB,OAAO,WAAW,YAClB,OAAO,WAAW,WAClB;AACA,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAGA,UAAM,SAAS,OAAO,SAAS,UAAU;AACzC,UAAM,QACJ,OAAO,SAAS,UACf,OAAO,SAAS,OAAO,IACpB,GAAG,OAAO,MAAM,GAAG,EAAE,CAAC,UACtB,KAAK,QAAQ,MAAM,GAAG,eAAe;AAE3C,UAAM,qBAAqC;AAAA,MACzC,QAAQ,OAAO,SAAS;AAAA,MACxB;AAAA,MACA;AAAA,IACF;AAGA,WAAO;AAAA,MACL,GAAG;AAAA,MACH,UAAU;AAAA,IACZ;AAAA,EACF;AAGA,SAAO;AACT;","names":[]}

package/dist/exports/config-validation.d.ts

@@ -1,8 +1,9 @@
 import { PrismaNextConfig } from './config-types.js';
 import './types.js';
+import '@prisma-next/contract/framework-components';
 import '@prisma-next/contract/ir';
-import '@prisma-next/contract/pack-manifest-types';
 import '@prisma-next/contract/types';
+import '@prisma-next/utils/result';
 import './schema-view.js';
 
 /**

package/dist/exports/config-validation.js

@@ -1,6 +1,6 @@
 import {
   errorConfigValidation
-} from "../chunk-DZPZSLCM.js";
+} from "../chunk-R7MOUJNP.js";
 
 // src/config-validation.ts
 function validateConfig(config) {

package/dist/exports/emission.js

@@ -232,16 +232,6 @@ function validateCoreStructure(ir) {
     throw new Error("ContractIR must have sources");
   }
 }
-function validateExtensions(ir, extensionIds) {
-  const extensions = ir.extensions;
-  for (const extensionId of extensionIds) {
-    if (!extensions[extensionId]) {
-      throw new Error(
-        `Extension "${extensionId}" must appear in contract.extensions.${extensionId}`
-      );
-    }
-  }
-}
 async function emit(ir, options, targetFamily) {
   const { operationRegistry, codecTypeImports, operationTypeImports, extensionIds } = options;
   validateCoreStructure(ir);
@@ -253,9 +243,6 @@ async function emit(ir, options, targetFamily) {
   };
   targetFamily.validateTypes(ir, ctx);
   targetFamily.validateStructure(ir);
-  if (extensionIds) {
-    validateExtensions(ir, extensionIds);
-  }
   const contractJson = {
     schemaVersion: ir.schemaVersion,
     targetFamily: ir.targetFamily,

package/dist/exports/emission.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/emission/canonicalization.ts","../../src/emission/emit.ts","../../src/emission/hashing.ts"],"sourcesContent":["import type { ContractIR } from '@prisma-next/contract/ir';\n\ntype NormalizedContract = {\n  schemaVersion: string;\n  targetFamily: string;\n  target: string;\n  coreHash?: string;\n  profileHash?: string;\n  models: Record<string, unknown>;\n  relations: Record<string, unknown>;\n  storage: Record<string, unknown>;\n  extensions: Record<string, unknown>;\n  capabilities: Record<string, Record<string, boolean>>;\n  meta: Record<string, unknown>;\n  sources: Record<string, unknown>;\n};\n\nconst TOP_LEVEL_ORDER = [\n  'schemaVersion',\n  'canonicalVersion',\n  'targetFamily',\n  'target',\n  'coreHash',\n  'profileHash',\n  'models',\n  'storage',\n  'capabilities',\n  'extensions',\n  'meta',\n  'sources',\n] as const;\n\nfunction isDefaultValue(value: unknown): boolean {\n  if (value === false) return true;\n  if (value === null) return false;\n  if (Array.isArray(value) && value.length === 0) return true;\n  if (typeof value === 'object' && value !== null) {\n    const keys = Object.keys(value);\n    return keys.length === 0;\n  }\n  return false;\n}\n\nfunction omitDefaults(obj: unknown, path: readonly string[]): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => omitDefaults(item, path));\n  }\n\n  const result: Record<string, unknown> = {};\n\n  for (const [key, value] of Object.entries(obj)) {\n    const currentPath = [...path, key];\n\n    // Exclude metadata fields from canonicalization\n    if (key === '_generated') {\n      continue;\n    }\n\n    if (key === 'nullable' && value === false) {\n      continue;\n    }\n\n    if (key === 'generated' && value === false) {\n      continue;\n    }\n\n    if (isDefaultValue(value)) {\n      const isRequiredModels = currentPath.length === 1 && currentPath[0] === 'models';\n      const isRequiredTables =\n        currentPath.length === 2 && currentPath[0] === 'storage' && currentPath[1] === 'tables';\n      const isRequiredRelations = currentPath.length === 1 && currentPath[0] === 'relations';\n      const isRequiredExtensions = currentPath.length === 1 && currentPath[0] === 'extensions';\n      const isRequiredCapabilities = currentPath.length === 1 && currentPath[0] === 'capabilities';\n      const isRequiredMeta = currentPath.length === 1 && currentPath[0] === 'meta';\n      const isRequiredSources = currentPath.length === 1 && currentPath[0] === 'sources';\n      const isExtensionNamespace = currentPath.length === 2 && currentPath[0] === 'extensions';\n      const isModelRelations =\n        currentPath.length === 3 && currentPath[0] === 'models' && currentPath[2] === 'relations';\n      const isTableUniques =\n        currentPath.length === 4 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'uniques';\n      const isTableIndexes =\n        currentPath.length === 4 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'indexes';\n      const isTableForeignKeys =\n        currentPath.length === 4 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'foreignKeys';\n\n      if (\n        !isRequiredModels &&\n        !isRequiredTables &&\n        !isRequiredRelations &&\n        !isRequiredExtensions &&\n        !isRequiredCapabilities &&\n        !isRequiredMeta &&\n        !isRequiredSources &&\n        !isExtensionNamespace &&\n        !isModelRelations &&\n        !isTableUniques &&\n        !isTableIndexes &&\n        !isTableForeignKeys\n      ) {\n        continue;\n      }\n    }\n\n    result[key] = omitDefaults(value, currentPath);\n  }\n\n  return result;\n}\n\nfunction sortObjectKeys(obj: unknown): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => sortObjectKeys(item));\n  }\n\n  const sorted: Record<string, unknown> = {};\n  const keys = Object.keys(obj).sort();\n  for (const key of keys) {\n    sorted[key] = sortObjectKeys((obj as Record<string, unknown>)[key]);\n  }\n\n  return sorted;\n}\n\ntype StorageObject = {\n  tables?: Record<string, unknown>;\n  [key: string]: unknown;\n};\n\ntype TableObject = {\n  indexes?: unknown[];\n  uniques?: unknown[];\n  [key: string]: unknown;\n};\n\nfunction sortIndexesAndUniques(storage: unknown): unknown {\n  if (!storage || typeof storage !== 'object') {\n    return storage;\n  }\n\n  const storageObj = storage as StorageObject;\n  if (!storageObj.tables || typeof storageObj.tables !== 'object') {\n    return storage;\n  }\n\n  const tables = storageObj.tables;\n  const result: StorageObject = { ...storageObj };\n\n  result.tables = {};\n  // Sort table names to ensure deterministic ordering\n  const sortedTableNames = Object.keys(tables).sort();\n  for (const tableName of sortedTableNames) {\n    const table = tables[tableName];\n    if (!table || typeof table !== 'object') {\n      result.tables[tableName] = table;\n      continue;\n    }\n\n    const tableObj = table as TableObject;\n    const sortedTable: TableObject = { ...tableObj };\n\n    if (Array.isArray(tableObj.indexes)) {\n      sortedTable.indexes = [...tableObj.indexes].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    if (Array.isArray(tableObj.uniques)) {\n      sortedTable.uniques = [...tableObj.uniques].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    result.tables[tableName] = sortedTable;\n  }\n\n  return result;\n}\n\nfunction orderTopLevel(obj: Record<string, unknown>): Record<string, unknown> {\n  const ordered: Record<string, unknown> = {};\n  const remaining = new Set(Object.keys(obj));\n\n  for (const key of TOP_LEVEL_ORDER) {\n    if (remaining.has(key)) {\n      ordered[key] = obj[key];\n      remaining.delete(key);\n    }\n  }\n\n  for (const key of Array.from(remaining).sort()) {\n    ordered[key] = obj[key];\n  }\n\n  return ordered;\n}\n\nexport function canonicalizeContract(\n  ir: ContractIR & { coreHash?: string; profileHash?: string },\n): string {\n  const normalized: NormalizedContract = {\n    schemaVersion: ir.schemaVersion,\n    targetFamily: ir.targetFamily,\n    target: ir.target,\n    models: ir.models,\n    relations: ir.relations,\n    storage: ir.storage,\n    extensions: ir.extensions,\n    capabilities: ir.capabilities,\n    meta: ir.meta,\n    sources: ir.sources,\n  };\n\n  if (ir.coreHash !== undefined) {\n    normalized.coreHash = ir.coreHash;\n  }\n\n  if (ir.profileHash !== undefined) {\n    normalized.profileHash = ir.profileHash;\n  }\n\n  const withDefaultsOmitted = omitDefaults(normalized, []) as NormalizedContract;\n  const withSortedIndexes = sortIndexesAndUniques(withDefaultsOmitted.storage);\n  const withSortedStorage = { ...withDefaultsOmitted, storage: withSortedIndexes };\n  const withSortedKeys = sortObjectKeys(withSortedStorage) as Record<string, unknown>;\n  const withOrderedTopLevel = orderTopLevel(withSortedKeys);\n\n  return JSON.stringify(withOrderedTopLevel, null, 2);\n}\n","import type { ContractIR } from '@prisma-next/contract/ir';\nimport type { TargetFamilyHook, ValidationContext } from '@prisma-next/contract/types';\nimport { format } from 'prettier';\nimport { canonicalizeContract } from './canonicalization';\nimport { computeCoreHash, computeProfileHash } from './hashing';\nimport type { EmitOptions, EmitResult } from './types';\n\nfunction validateCoreStructure(ir: ContractIR): void {\n  if (!ir.targetFamily) {\n    throw new Error('ContractIR must have targetFamily');\n  }\n  if (!ir.target) {\n    throw new Error('ContractIR must have target');\n  }\n  if (!ir.schemaVersion) {\n    throw new Error('ContractIR must have schemaVersion');\n  }\n  if (!ir.models || typeof ir.models !== 'object') {\n    throw new Error('ContractIR must have models');\n  }\n  if (!ir.storage || typeof ir.storage !== 'object') {\n    throw new Error('ContractIR must have storage');\n  }\n  if (!ir.relations || typeof ir.relations !== 'object') {\n    throw new Error('ContractIR must have relations');\n  }\n  if (!ir.extensions || typeof ir.extensions !== 'object') {\n    throw new Error('ContractIR must have extensions');\n  }\n  if (!ir.capabilities || typeof ir.capabilities !== 'object') {\n    throw new Error('ContractIR must have capabilities');\n  }\n  if (!ir.meta || typeof ir.meta !== 'object') {\n    throw new Error('ContractIR must have meta');\n  }\n  if (!ir.sources || typeof ir.sources !== 'object') {\n    throw new Error('ContractIR must have sources');\n  }\n}\n\nfunction validateExtensions(ir: ContractIR, extensionIds: ReadonlyArray<string>): void {\n  const extensions = ir.extensions as Record<string, unknown>;\n  for (const extensionId of extensionIds) {\n    if (!extensions[extensionId]) {\n      throw new Error(\n        `Extension \"${extensionId}\" must appear in contract.extensions.${extensionId}`,\n      );\n    }\n  }\n}\n\nexport async function emit(\n  ir: ContractIR,\n  options: EmitOptions,\n  targetFamily: TargetFamilyHook,\n): Promise<EmitResult> {\n  const { operationRegistry, codecTypeImports, operationTypeImports, extensionIds } = options;\n\n  validateCoreStructure(ir);\n\n  const ctx: ValidationContext = {\n    ...(operationRegistry ? { operationRegistry } : {}),\n    ...(codecTypeImports ? { codecTypeImports } : {}),\n    ...(operationTypeImports ? { operationTypeImports } : {}),\n    ...(extensionIds ? { extensionIds } : {}),\n  };\n  targetFamily.validateTypes(ir, ctx);\n\n  targetFamily.validateStructure(ir);\n\n  if (extensionIds) {\n    validateExtensions(ir, extensionIds);\n  }\n\n  const contractJson = {\n    schemaVersion: ir.schemaVersion,\n    targetFamily: ir.targetFamily,\n    target: ir.target,\n    models: ir.models,\n    relations: ir.relations,\n    storage: ir.storage,\n    extensions: ir.extensions,\n    capabilities: ir.capabilities,\n    meta: ir.meta,\n    sources: ir.sources,\n  } as const;\n\n  const coreHash = computeCoreHash(contractJson);\n  const profileHash = computeProfileHash(contractJson);\n\n  const contractWithHashes: ContractIR & { coreHash?: string; profileHash?: string } = {\n    ...ir,\n    schemaVersion: contractJson.schemaVersion,\n    coreHash,\n    profileHash,\n  };\n\n  // Add _generated metadata to indicate this is a generated artifact\n  // This ensures consistency between CLI emit and programmatic emit\n  // Always add/update _generated with standard content for consistency\n  const contractJsonObj = JSON.parse(canonicalizeContract(contractWithHashes)) as Record<\n    string,\n    unknown\n  >;\n  const contractJsonWithMeta = {\n    ...contractJsonObj,\n    _generated: {\n      warning: '⚠️  GENERATED FILE - DO NOT EDIT',\n      message: 'This file is automatically generated by \"prisma-next emit\".',\n      regenerate: 'To regenerate, run: prisma-next emit',\n    },\n  };\n  const contractJsonString = JSON.stringify(contractJsonWithMeta, null, 2);\n\n  const contractDtsRaw = targetFamily.generateContractTypes(\n    ir,\n    codecTypeImports ?? [],\n    operationTypeImports ?? [],\n  );\n  const contractDts = await format(contractDtsRaw, {\n    parser: 'typescript',\n    singleQuote: true,\n    semi: true,\n    printWidth: 100,\n  });\n\n  return {\n    contractJson: contractJsonString,\n    contractDts,\n    coreHash,\n    profileHash,\n  };\n}\n","import { createHash } from 'node:crypto';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport { canonicalizeContract } from './canonicalization';\n\ntype ContractInput = {\n  schemaVersion: string;\n  targetFamily: string;\n  target: string;\n  models: Record<string, unknown>;\n  relations: Record<string, unknown>;\n  storage: Record<string, unknown>;\n  extensions: Record<string, unknown>;\n  sources: Record<string, unknown>;\n  capabilities: Record<string, Record<string, boolean>>;\n  meta: Record<string, unknown>;\n  [key: string]: unknown;\n};\n\nfunction computeHash(content: string): string {\n  const hash = createHash('sha256');\n  hash.update(content);\n  return `sha256:${hash.digest('hex')}`;\n}\n\nexport function computeCoreHash(contract: ContractInput): string {\n  const coreContract: ContractIR = {\n    schemaVersion: contract.schemaVersion,\n    targetFamily: contract.targetFamily,\n    target: contract.target,\n    models: contract.models,\n    relations: contract.relations,\n    storage: contract.storage,\n    extensions: contract.extensions,\n    sources: contract.sources,\n    capabilities: contract.capabilities,\n    meta: contract.meta,\n  };\n  const canonical = canonicalizeContract(coreContract);\n  return computeHash(canonical);\n}\n\nexport function computeProfileHash(contract: ContractInput): string {\n  const profileContract: ContractIR = {\n    schemaVersion: contract.schemaVersion,\n    targetFamily: contract.targetFamily,\n    target: contract.target,\n    models: {},\n    relations: {},\n    storage: {},\n    extensions: {},\n    capabilities: contract.capabilities,\n    meta: {},\n    sources: {},\n  };\n  const canonical = canonicalizeContract(profileContract);\n  return computeHash(canonical);\n}\n"],"mappings":";AAiBA,IAAM,kBAAkB;AAAA,EACtB;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAEA,SAAS,eAAe,OAAyB;AAC/C,MAAI,UAAU,MAAO,QAAO;AAC5B,MAAI,UAAU,KAAM,QAAO;AAC3B,MAAI,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,EAAG,QAAO;AACvD,MAAI,OAAO,UAAU,YAAY,UAAU,MAAM;AAC/C,UAAM,OAAO,OAAO,KAAK,KAAK;AAC9B,WAAO,KAAK,WAAW;AAAA,EACzB;AACA,SAAO;AACT;AAEA,SAAS,aAAa,KAAc,MAAkC;AACpE,MAAI,QAAQ,QAAQ,OAAO,QAAQ,UAAU;AAC3C,WAAO;AAAA,EACT;AAEA,MAAI,MAAM,QAAQ,GAAG,GAAG;AACtB,WAAO,IAAI,IAAI,CAAC,SAAS,aAAa,MAAM,IAAI,CAAC;AAAA,EACnD;AAEA,QAAM,SAAkC,CAAC;AAEzC,aAAW,CAAC,KAAK,KAAK,KAAK,OAAO,QAAQ,GAAG,GAAG;AAC9C,UAAM,cAAc,CAAC,GAAG,MAAM,GAAG;AAGjC,QAAI,QAAQ,cAAc;AACxB;AAAA,IACF;AAEA,QAAI,QAAQ,cAAc,UAAU,OAAO;AACzC;AAAA,IACF;AAEA,QAAI,QAAQ,eAAe,UAAU,OAAO;AAC1C;AAAA,IACF;AAEA,QAAI,eAAe,KAAK,GAAG;AACzB,YAAM,mBAAmB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AACxE,YAAM,mBACJ,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM,aAAa,YAAY,CAAC,MAAM;AACjF,YAAM,sBAAsB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AAC3E,YAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AAC5E,YAAM,yBAAyB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AAC9E,YAAM,iBAAiB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AACtE,YAAM,oBAAoB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AACzE,YAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AAC5E,YAAM,mBACJ,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM,YAAY,YAAY,CAAC,MAAM;AAChF,YAAM,iBACJ,YAAY,WAAW,KACvB,YAAY,CAAC,MAAM,aACnB,YAAY,CAAC,MAAM,YACnB,YAAY,CAAC,MAAM;AACrB,YAAM,iBACJ,YAAY,WAAW,KACvB,YAAY,CAAC,MAAM,aACnB,YAAY,CAAC,MAAM,YACnB,YAAY,CAAC,MAAM;AACrB,YAAM,qBACJ,YAAY,WAAW,KACvB,YAAY,CAAC,MAAM,aACnB,YAAY,CAAC,MAAM,YACnB,YAAY,CAAC,MAAM;AAErB,UACE,CAAC,oBACD,CAAC,oBACD,CAAC,uBACD,CAAC,wBACD,CAAC,0BACD,CAAC,kBACD,CAAC,qBACD,CAAC,wBACD,CAAC,oBACD,CAAC,kBACD,CAAC,kBACD,CAAC,oBACD;AACA;AAAA,MACF;AAAA,IACF;AAEA,WAAO,GAAG,IAAI,aAAa,OAAO,WAAW;AAAA,EAC/C;AAEA,SAAO;AACT;AAEA,SAAS,eAAe,KAAuB;AAC7C,MAAI,QAAQ,QAAQ,OAAO,QAAQ,UAAU;AAC3C,WAAO;AAAA,EACT;AAEA,MAAI,MAAM,QAAQ,GAAG,GAAG;AACtB,WAAO,IAAI,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC;AAAA,EAC/C;AAEA,QAAM,SAAkC,CAAC;AACzC,QAAM,OAAO,OAAO,KAAK,GAAG,EAAE,KAAK;AACnC,aAAW,OAAO,MAAM;AACtB,WAAO,GAAG,IAAI,eAAgB,IAAgC,GAAG,CAAC;AAAA,EACpE;AAEA,SAAO;AACT;AAaA,SAAS,sBAAsB,SAA2B;AACxD,MAAI,CAAC,WAAW,OAAO,YAAY,UAAU;AAC3C,WAAO;AAAA,EACT;AAEA,QAAM,aAAa;AACnB,MAAI,CAAC,WAAW,UAAU,OAAO,WAAW,WAAW,UAAU;AAC/D,WAAO;AAAA,EACT;AAEA,QAAM,SAAS,WAAW;AAC1B,QAAM,SAAwB,EAAE,GAAG,WAAW;AAE9C,SAAO,SAAS,CAAC;AAEjB,QAAM,mBAAmB,OAAO,KAAK,MAAM,EAAE,KAAK;AAClD,aAAW,aAAa,kBAAkB;AACxC,UAAM,QAAQ,OAAO,SAAS;AAC9B,QAAI,CAAC,SAAS,OAAO,UAAU,UAAU;AACvC,aAAO,OAAO,SAAS,IAAI;AAC3B;AAAA,IACF;AAEA,UAAM,WAAW;AACjB,UAAM,cAA2B,EAAE,GAAG,SAAS;AAE/C,QAAI,MAAM,QAAQ,SAAS,OAAO,GAAG;AACnC,kBAAY,UAAU,CAAC,GAAG,SAAS,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM;AACzD,cAAM,QAAS,GAAyB,QAAQ;AAChD,cAAM,QAAS,GAAyB,QAAQ;AAChD,eAAO,MAAM,cAAc,KAAK;AAAA,MAClC,CAAC;AAAA,IACH;AAEA,QAAI,MAAM,QAAQ,SAAS,OAAO,GAAG;AACnC,kBAAY,UAAU,CAAC,GAAG,SAAS,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM;AACzD,cAAM,QAAS,GAAyB,QAAQ;AAChD,cAAM,QAAS,GAAyB,QAAQ;AAChD,eAAO,MAAM,cAAc,KAAK;AAAA,MAClC,CAAC;AAAA,IACH;AAEA,WAAO,OAAO,SAAS,IAAI;AAAA,EAC7B;AAEA,SAAO;AACT;AAEA,SAAS,cAAc,KAAuD;AAC5E,QAAM,UAAmC,CAAC;AAC1C,QAAM,YAAY,IAAI,IAAI,OAAO,KAAK,GAAG,CAAC;AAE1C,aAAW,OAAO,iBAAiB;AACjC,QAAI,UAAU,IAAI,GAAG,GAAG;AACtB,cAAQ,GAAG,IAAI,IAAI,GAAG;AACtB,gBAAU,OAAO,GAAG;AAAA,IACtB;AAAA,EACF;AAEA,aAAW,OAAO,MAAM,KAAK,SAAS,EAAE,KAAK,GAAG;AAC9C,YAAQ,GAAG,IAAI,IAAI,GAAG;AAAA,EACxB;AAEA,SAAO;AACT;AAEO,SAAS,qBACd,IACQ;AACR,QAAM,aAAiC;AAAA,IACrC,eAAe,GAAG;AAAA,IAClB,cAAc,GAAG;AAAA,IACjB,QAAQ,GAAG;AAAA,IACX,QAAQ,GAAG;AAAA,IACX,WAAW,GAAG;AAAA,IACd,SAAS,GAAG;AAAA,IACZ,YAAY,GAAG;AAAA,IACf,cAAc,GAAG;AAAA,IACjB,MAAM,GAAG;AAAA,IACT,SAAS,GAAG;AAAA,EACd;AAEA,MAAI,GAAG,aAAa,QAAW;AAC7B,eAAW,WAAW,GAAG;AAAA,EAC3B;AAEA,MAAI,GAAG,gBAAgB,QAAW;AAChC,eAAW,cAAc,GAAG;AAAA,EAC9B;AAEA,QAAM,sBAAsB,aAAa,YAAY,CAAC,CAAC;AACvD,QAAM,oBAAoB,sBAAsB,oBAAoB,OAAO;AAC3E,QAAM,oBAAoB,EAAE,GAAG,qBAAqB,SAAS,kBAAkB;AAC/E,QAAM,iBAAiB,eAAe,iBAAiB;AACvD,QAAM,sBAAsB,cAAc,cAAc;AAExD,SAAO,KAAK,UAAU,qBAAqB,MAAM,CAAC;AACpD;;;ACtPA,SAAS,cAAc;;;ACFvB,SAAS,kBAAkB;AAkB3B,SAAS,YAAY,SAAyB;AAC5C,QAAM,OAAO,WAAW,QAAQ;AAChC,OAAK,OAAO,OAAO;AACnB,SAAO,UAAU,KAAK,OAAO,KAAK,CAAC;AACrC;AAEO,SAAS,gBAAgB,UAAiC;AAC/D,QAAM,eAA2B;AAAA,IAC/B,eAAe,SAAS;AAAA,IACxB,cAAc,SAAS;AAAA,IACvB,QAAQ,SAAS;AAAA,IACjB,QAAQ,SAAS;AAAA,IACjB,WAAW,SAAS;AAAA,IACpB,SAAS,SAAS;AAAA,IAClB,YAAY,SAAS;AAAA,IACrB,SAAS,SAAS;AAAA,IAClB,cAAc,SAAS;AAAA,IACvB,MAAM,SAAS;AAAA,EACjB;AACA,QAAM,YAAY,qBAAqB,YAAY;AACnD,SAAO,YAAY,SAAS;AAC9B;AAEO,SAAS,mBAAmB,UAAiC;AAClE,QAAM,kBAA8B;AAAA,IAClC,eAAe,SAAS;AAAA,IACxB,cAAc,SAAS;AAAA,IACvB,QAAQ,SAAS;AAAA,IACjB,QAAQ,CAAC;AAAA,IACT,WAAW,CAAC;AAAA,IACZ,SAAS,CAAC;AAAA,IACV,YAAY,CAAC;AAAA,IACb,cAAc,SAAS;AAAA,IACvB,MAAM,CAAC;AAAA,IACP,SAAS,CAAC;AAAA,EACZ;AACA,QAAM,YAAY,qBAAqB,eAAe;AACtD,SAAO,YAAY,SAAS;AAC9B;;;ADjDA,SAAS,sBAAsB,IAAsB;AACnD,MAAI,CAAC,GAAG,cAAc;AACpB,UAAM,IAAI,MAAM,mCAAmC;AAAA,EACrD;AACA,MAAI,CAAC,GAAG,QAAQ;AACd,UAAM,IAAI,MAAM,6BAA6B;AAAA,EAC/C;AACA,MAAI,CAAC,GAAG,eAAe;AACrB,UAAM,IAAI,MAAM,oCAAoC;AAAA,EACtD;AACA,MAAI,CAAC,GAAG,UAAU,OAAO,GAAG,WAAW,UAAU;AAC/C,UAAM,IAAI,MAAM,6BAA6B;AAAA,EAC/C;AACA,MAAI,CAAC,GAAG,WAAW,OAAO,GAAG,YAAY,UAAU;AACjD,UAAM,IAAI,MAAM,8BAA8B;AAAA,EAChD;AACA,MAAI,CAAC,GAAG,aAAa,OAAO,GAAG,cAAc,UAAU;AACrD,UAAM,IAAI,MAAM,gCAAgC;AAAA,EAClD;AACA,MAAI,CAAC,GAAG,cAAc,OAAO,GAAG,eAAe,UAAU;AACvD,UAAM,IAAI,MAAM,iCAAiC;AAAA,EACnD;AACA,MAAI,CAAC,GAAG,gBAAgB,OAAO,GAAG,iBAAiB,UAAU;AAC3D,UAAM,IAAI,MAAM,mCAAmC;AAAA,EACrD;AACA,MAAI,CAAC,GAAG,QAAQ,OAAO,GAAG,SAAS,UAAU;AAC3C,UAAM,IAAI,MAAM,2BAA2B;AAAA,EAC7C;AACA,MAAI,CAAC,GAAG,WAAW,OAAO,GAAG,YAAY,UAAU;AACjD,UAAM,IAAI,MAAM,8BAA8B;AAAA,EAChD;AACF;AAEA,SAAS,mBAAmB,IAAgB,cAA2C;AACrF,QAAM,aAAa,GAAG;AACtB,aAAW,eAAe,cAAc;AACtC,QAAI,CAAC,WAAW,WAAW,GAAG;AAC5B,YAAM,IAAI;AAAA,QACR,cAAc,WAAW,wCAAwC,WAAW;AAAA,MAC9E;AAAA,IACF;AAAA,EACF;AACF;AAEA,eAAsB,KACpB,IACA,SACA,cACqB;AACrB,QAAM,EAAE,mBAAmB,kBAAkB,sBAAsB,aAAa,IAAI;AAEpF,wBAAsB,EAAE;AAExB,QAAM,MAAyB;AAAA,IAC7B,GAAI,oBAAoB,EAAE,kBAAkB,IAAI,CAAC;AAAA,IACjD,GAAI,mBAAmB,EAAE,iBAAiB,IAAI,CAAC;AAAA,IAC/C,GAAI,uBAAuB,EAAE,qBAAqB,IAAI,CAAC;AAAA,IACvD,GAAI,eAAe,EAAE,aAAa,IAAI,CAAC;AAAA,EACzC;AACA,eAAa,cAAc,IAAI,GAAG;AAElC,eAAa,kBAAkB,EAAE;AAEjC,MAAI,cAAc;AAChB,uBAAmB,IAAI,YAAY;AAAA,EACrC;AAEA,QAAM,eAAe;AAAA,IACnB,eAAe,GAAG;AAAA,IAClB,cAAc,GAAG;AAAA,IACjB,QAAQ,GAAG;AAAA,IACX,QAAQ,GAAG;AAAA,IACX,WAAW,GAAG;AAAA,IACd,SAAS,GAAG;AAAA,IACZ,YAAY,GAAG;AAAA,IACf,cAAc,GAAG;AAAA,IACjB,MAAM,GAAG;AAAA,IACT,SAAS,GAAG;AAAA,EACd;AAEA,QAAM,WAAW,gBAAgB,YAAY;AAC7C,QAAM,cAAc,mBAAmB,YAAY;AAEnD,QAAM,qBAA+E;AAAA,IACnF,GAAG;AAAA,IACH,eAAe,aAAa;AAAA,IAC5B;AAAA,IACA;AAAA,EACF;AAKA,QAAM,kBAAkB,KAAK,MAAM,qBAAqB,kBAAkB,CAAC;AAI3E,QAAM,uBAAuB;AAAA,IAC3B,GAAG;AAAA,IACH,YAAY;AAAA,MACV,SAAS;AAAA,MACT,SAAS;AAAA,MACT,YAAY;AAAA,IACd;AAAA,EACF;AACA,QAAM,qBAAqB,KAAK,UAAU,sBAAsB,MAAM,CAAC;AAEvE,QAAM,iBAAiB,aAAa;AAAA,IAClC;AAAA,IACA,oBAAoB,CAAC;AAAA,IACrB,wBAAwB,CAAC;AAAA,EAC3B;AACA,QAAM,cAAc,MAAM,OAAO,gBAAgB;AAAA,IAC/C,QAAQ;AAAA,IACR,aAAa;AAAA,IACb,MAAM;AAAA,IACN,YAAY;AAAA,EACd,CAAC;AAED,SAAO;AAAA,IACL,cAAc;AAAA,IACd;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;","names":[]}
+{"version":3,"sources":["../../src/emission/canonicalization.ts","../../src/emission/emit.ts","../../src/emission/hashing.ts"],"sourcesContent":["import type { ContractIR } from '@prisma-next/contract/ir';\n\ntype NormalizedContract = {\n  schemaVersion: string;\n  targetFamily: string;\n  target: string;\n  coreHash?: string;\n  profileHash?: string;\n  models: Record<string, unknown>;\n  relations: Record<string, unknown>;\n  storage: Record<string, unknown>;\n  extensions: Record<string, unknown>;\n  capabilities: Record<string, Record<string, boolean>>;\n  meta: Record<string, unknown>;\n  sources: Record<string, unknown>;\n};\n\nconst TOP_LEVEL_ORDER = [\n  'schemaVersion',\n  'canonicalVersion',\n  'targetFamily',\n  'target',\n  'coreHash',\n  'profileHash',\n  'models',\n  'storage',\n  'capabilities',\n  'extensions',\n  'meta',\n  'sources',\n] as const;\n\nfunction isDefaultValue(value: unknown): boolean {\n  if (value === false) return true;\n  if (value === null) return false;\n  if (Array.isArray(value) && value.length === 0) return true;\n  if (typeof value === 'object' && value !== null) {\n    const keys = Object.keys(value);\n    return keys.length === 0;\n  }\n  return false;\n}\n\nfunction omitDefaults(obj: unknown, path: readonly string[]): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => omitDefaults(item, path));\n  }\n\n  const result: Record<string, unknown> = {};\n\n  for (const [key, value] of Object.entries(obj)) {\n    const currentPath = [...path, key];\n\n    // Exclude metadata fields from canonicalization\n    if (key === '_generated') {\n      continue;\n    }\n\n    if (key === 'nullable' && value === false) {\n      continue;\n    }\n\n    if (key === 'generated' && value === false) {\n      continue;\n    }\n\n    if (isDefaultValue(value)) {\n      const isRequiredModels = currentPath.length === 1 && currentPath[0] === 'models';\n      const isRequiredTables =\n        currentPath.length === 2 && currentPath[0] === 'storage' && currentPath[1] === 'tables';\n      const isRequiredRelations = currentPath.length === 1 && currentPath[0] === 'relations';\n      const isRequiredExtensions = currentPath.length === 1 && currentPath[0] === 'extensions';\n      const isRequiredCapabilities = currentPath.length === 1 && currentPath[0] === 'capabilities';\n      const isRequiredMeta = currentPath.length === 1 && currentPath[0] === 'meta';\n      const isRequiredSources = currentPath.length === 1 && currentPath[0] === 'sources';\n      const isExtensionNamespace = currentPath.length === 2 && currentPath[0] === 'extensions';\n      const isModelRelations =\n        currentPath.length === 3 && currentPath[0] === 'models' && currentPath[2] === 'relations';\n      const isTableUniques =\n        currentPath.length === 4 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'uniques';\n      const isTableIndexes =\n        currentPath.length === 4 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'indexes';\n      const isTableForeignKeys =\n        currentPath.length === 4 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'foreignKeys';\n\n      if (\n        !isRequiredModels &&\n        !isRequiredTables &&\n        !isRequiredRelations &&\n        !isRequiredExtensions &&\n        !isRequiredCapabilities &&\n        !isRequiredMeta &&\n        !isRequiredSources &&\n        !isExtensionNamespace &&\n        !isModelRelations &&\n        !isTableUniques &&\n        !isTableIndexes &&\n        !isTableForeignKeys\n      ) {\n        continue;\n      }\n    }\n\n    result[key] = omitDefaults(value, currentPath);\n  }\n\n  return result;\n}\n\nfunction sortObjectKeys(obj: unknown): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => sortObjectKeys(item));\n  }\n\n  const sorted: Record<string, unknown> = {};\n  const keys = Object.keys(obj).sort();\n  for (const key of keys) {\n    sorted[key] = sortObjectKeys((obj as Record<string, unknown>)[key]);\n  }\n\n  return sorted;\n}\n\ntype StorageObject = {\n  tables?: Record<string, unknown>;\n  [key: string]: unknown;\n};\n\ntype TableObject = {\n  indexes?: unknown[];\n  uniques?: unknown[];\n  [key: string]: unknown;\n};\n\nfunction sortIndexesAndUniques(storage: unknown): unknown {\n  if (!storage || typeof storage !== 'object') {\n    return storage;\n  }\n\n  const storageObj = storage as StorageObject;\n  if (!storageObj.tables || typeof storageObj.tables !== 'object') {\n    return storage;\n  }\n\n  const tables = storageObj.tables;\n  const result: StorageObject = { ...storageObj };\n\n  result.tables = {};\n  // Sort table names to ensure deterministic ordering\n  const sortedTableNames = Object.keys(tables).sort();\n  for (const tableName of sortedTableNames) {\n    const table = tables[tableName];\n    if (!table || typeof table !== 'object') {\n      result.tables[tableName] = table;\n      continue;\n    }\n\n    const tableObj = table as TableObject;\n    const sortedTable: TableObject = { ...tableObj };\n\n    if (Array.isArray(tableObj.indexes)) {\n      sortedTable.indexes = [...tableObj.indexes].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    if (Array.isArray(tableObj.uniques)) {\n      sortedTable.uniques = [...tableObj.uniques].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    result.tables[tableName] = sortedTable;\n  }\n\n  return result;\n}\n\nfunction orderTopLevel(obj: Record<string, unknown>): Record<string, unknown> {\n  const ordered: Record<string, unknown> = {};\n  const remaining = new Set(Object.keys(obj));\n\n  for (const key of TOP_LEVEL_ORDER) {\n    if (remaining.has(key)) {\n      ordered[key] = obj[key];\n      remaining.delete(key);\n    }\n  }\n\n  for (const key of Array.from(remaining).sort()) {\n    ordered[key] = obj[key];\n  }\n\n  return ordered;\n}\n\nexport function canonicalizeContract(\n  ir: ContractIR & { coreHash?: string; profileHash?: string },\n): string {\n  const normalized: NormalizedContract = {\n    schemaVersion: ir.schemaVersion,\n    targetFamily: ir.targetFamily,\n    target: ir.target,\n    models: ir.models,\n    relations: ir.relations,\n    storage: ir.storage,\n    extensions: ir.extensions,\n    capabilities: ir.capabilities,\n    meta: ir.meta,\n    sources: ir.sources,\n  };\n\n  if (ir.coreHash !== undefined) {\n    normalized.coreHash = ir.coreHash;\n  }\n\n  if (ir.profileHash !== undefined) {\n    normalized.profileHash = ir.profileHash;\n  }\n\n  const withDefaultsOmitted = omitDefaults(normalized, []) as NormalizedContract;\n  const withSortedIndexes = sortIndexesAndUniques(withDefaultsOmitted.storage);\n  const withSortedStorage = { ...withDefaultsOmitted, storage: withSortedIndexes };\n  const withSortedKeys = sortObjectKeys(withSortedStorage) as Record<string, unknown>;\n  const withOrderedTopLevel = orderTopLevel(withSortedKeys);\n\n  return JSON.stringify(withOrderedTopLevel, null, 2);\n}\n","import type { ContractIR } from '@prisma-next/contract/ir';\nimport type { TargetFamilyHook, ValidationContext } from '@prisma-next/contract/types';\nimport { format } from 'prettier';\nimport { canonicalizeContract } from './canonicalization';\nimport { computeCoreHash, computeProfileHash } from './hashing';\nimport type { EmitOptions, EmitResult } from './types';\n\nfunction validateCoreStructure(ir: ContractIR): void {\n  if (!ir.targetFamily) {\n    throw new Error('ContractIR must have targetFamily');\n  }\n  if (!ir.target) {\n    throw new Error('ContractIR must have target');\n  }\n  if (!ir.schemaVersion) {\n    throw new Error('ContractIR must have schemaVersion');\n  }\n  if (!ir.models || typeof ir.models !== 'object') {\n    throw new Error('ContractIR must have models');\n  }\n  if (!ir.storage || typeof ir.storage !== 'object') {\n    throw new Error('ContractIR must have storage');\n  }\n  if (!ir.relations || typeof ir.relations !== 'object') {\n    throw new Error('ContractIR must have relations');\n  }\n  if (!ir.extensions || typeof ir.extensions !== 'object') {\n    throw new Error('ContractIR must have extensions');\n  }\n  if (!ir.capabilities || typeof ir.capabilities !== 'object') {\n    throw new Error('ContractIR must have capabilities');\n  }\n  if (!ir.meta || typeof ir.meta !== 'object') {\n    throw new Error('ContractIR must have meta');\n  }\n  if (!ir.sources || typeof ir.sources !== 'object') {\n    throw new Error('ContractIR must have sources');\n  }\n}\n\nexport async function emit(\n  ir: ContractIR,\n  options: EmitOptions,\n  targetFamily: TargetFamilyHook,\n): Promise<EmitResult> {\n  const { operationRegistry, codecTypeImports, operationTypeImports, extensionIds } = options;\n\n  validateCoreStructure(ir);\n\n  const ctx: ValidationContext = {\n    ...(operationRegistry ? { operationRegistry } : {}),\n    ...(codecTypeImports ? { codecTypeImports } : {}),\n    ...(operationTypeImports ? { operationTypeImports } : {}),\n    ...(extensionIds ? { extensionIds } : {}),\n  };\n  targetFamily.validateTypes(ir, ctx);\n\n  targetFamily.validateStructure(ir);\n\n  const contractJson = {\n    schemaVersion: ir.schemaVersion,\n    targetFamily: ir.targetFamily,\n    target: ir.target,\n    models: ir.models,\n    relations: ir.relations,\n    storage: ir.storage,\n    extensions: ir.extensions,\n    capabilities: ir.capabilities,\n    meta: ir.meta,\n    sources: ir.sources,\n  } as const;\n\n  const coreHash = computeCoreHash(contractJson);\n  const profileHash = computeProfileHash(contractJson);\n\n  const contractWithHashes: ContractIR & { coreHash?: string; profileHash?: string } = {\n    ...ir,\n    schemaVersion: contractJson.schemaVersion,\n    coreHash,\n    profileHash,\n  };\n\n  // Add _generated metadata to indicate this is a generated artifact\n  // This ensures consistency between CLI emit and programmatic emit\n  // Always add/update _generated with standard content for consistency\n  const contractJsonObj = JSON.parse(canonicalizeContract(contractWithHashes)) as Record<\n    string,\n    unknown\n  >;\n  const contractJsonWithMeta = {\n    ...contractJsonObj,\n    _generated: {\n      warning: '⚠️  GENERATED FILE - DO NOT EDIT',\n      message: 'This file is automatically generated by \"prisma-next emit\".',\n      regenerate: 'To regenerate, run: prisma-next emit',\n    },\n  };\n  const contractJsonString = JSON.stringify(contractJsonWithMeta, null, 2);\n\n  const contractDtsRaw = targetFamily.generateContractTypes(\n    ir,\n    codecTypeImports ?? [],\n    operationTypeImports ?? [],\n  );\n  const contractDts = await format(contractDtsRaw, {\n    parser: 'typescript',\n    singleQuote: true,\n    semi: true,\n    printWidth: 100,\n  });\n\n  return {\n    contractJson: contractJsonString,\n    contractDts,\n    coreHash,\n    profileHash,\n  };\n}\n","import { createHash } from 'node:crypto';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport { canonicalizeContract } from './canonicalization';\n\ntype ContractInput = {\n  schemaVersion: string;\n  targetFamily: string;\n  target: string;\n  models: Record<string, unknown>;\n  relations: Record<string, unknown>;\n  storage: Record<string, unknown>;\n  extensions: Record<string, unknown>;\n  sources: Record<string, unknown>;\n  capabilities: Record<string, Record<string, boolean>>;\n  meta: Record<string, unknown>;\n  [key: string]: unknown;\n};\n\nfunction computeHash(content: string): string {\n  const hash = createHash('sha256');\n  hash.update(content);\n  return `sha256:${hash.digest('hex')}`;\n}\n\nexport function computeCoreHash(contract: ContractInput): string {\n  const coreContract: ContractIR = {\n    schemaVersion: contract.schemaVersion,\n    targetFamily: contract.targetFamily,\n    target: contract.target,\n    models: contract.models,\n    relations: contract.relations,\n    storage: contract.storage,\n    extensions: contract.extensions,\n    sources: contract.sources,\n    capabilities: contract.capabilities,\n    meta: contract.meta,\n  };\n  const canonical = canonicalizeContract(coreContract);\n  return computeHash(canonical);\n}\n\nexport function computeProfileHash(contract: ContractInput): string {\n  const profileContract: ContractIR = {\n    schemaVersion: contract.schemaVersion,\n    targetFamily: contract.targetFamily,\n    target: contract.target,\n    models: {},\n    relations: {},\n    storage: {},\n    extensions: {},\n    capabilities: contract.capabilities,\n    meta: {},\n    sources: {},\n  };\n  const canonical = canonicalizeContract(profileContract);\n  return computeHash(canonical);\n}\n"],"mappings":";AAiBA,IAAM,kBAAkB;AAAA,EACtB;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAEA,SAAS,eAAe,OAAyB;AAC/C,MAAI,UAAU,MAAO,QAAO;AAC5B,MAAI,UAAU,KAAM,QAAO;AAC3B,MAAI,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,EAAG,QAAO;AACvD,MAAI,OAAO,UAAU,YAAY,UAAU,MAAM;AAC/C,UAAM,OAAO,OAAO,KAAK,KAAK;AAC9B,WAAO,KAAK,WAAW;AAAA,EACzB;AACA,SAAO;AACT;AAEA,SAAS,aAAa,KAAc,MAAkC;AACpE,MAAI,QAAQ,QAAQ,OAAO,QAAQ,UAAU;AAC3C,WAAO;AAAA,EACT;AAEA,MAAI,MAAM,QAAQ,GAAG,GAAG;AACtB,WAAO,IAAI,IAAI,CAAC,SAAS,aAAa,MAAM,IAAI,CAAC;AAAA,EACnD;AAEA,QAAM,SAAkC,CAAC;AAEzC,aAAW,CAAC,KAAK,KAAK,KAAK,OAAO,QAAQ,GAAG,GAAG;AAC9C,UAAM,cAAc,CAAC,GAAG,MAAM,GAAG;AAGjC,QAAI,QAAQ,cAAc;AACxB;AAAA,IACF;AAEA,QAAI,QAAQ,cAAc,UAAU,OAAO;AACzC;AAAA,IACF;AAEA,QAAI,QAAQ,eAAe,UAAU,OAAO;AAC1C;AAAA,IACF;AAEA,QAAI,eAAe,KAAK,GAAG;AACzB,YAAM,mBAAmB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AACxE,YAAM,mBACJ,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM,aAAa,YAAY,CAAC,MAAM;AACjF,YAAM,sBAAsB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AAC3E,YAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AAC5E,YAAM,yBAAyB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AAC9E,YAAM,iBAAiB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AACtE,YAAM,oBAAoB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AACzE,YAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM;AAC5E,YAAM,mBACJ,YAAY,WAAW,KAAK,YAAY,CAAC,MAAM,YAAY,YAAY,CAAC,MAAM;AAChF,YAAM,iBACJ,YAAY,WAAW,KACvB,YAAY,CAAC,MAAM,aACnB,YAAY,CAAC,MAAM,YACnB,YAAY,CAAC,MAAM;AACrB,YAAM,iBACJ,YAAY,WAAW,KACvB,YAAY,CAAC,MAAM,aACnB,YAAY,CAAC,MAAM,YACnB,YAAY,CAAC,MAAM;AACrB,YAAM,qBACJ,YAAY,WAAW,KACvB,YAAY,CAAC,MAAM,aACnB,YAAY,CAAC,MAAM,YACnB,YAAY,CAAC,MAAM;AAErB,UACE,CAAC,oBACD,CAAC,oBACD,CAAC,uBACD,CAAC,wBACD,CAAC,0BACD,CAAC,kBACD,CAAC,qBACD,CAAC,wBACD,CAAC,oBACD,CAAC,kBACD,CAAC,kBACD,CAAC,oBACD;AACA;AAAA,MACF;AAAA,IACF;AAEA,WAAO,GAAG,IAAI,aAAa,OAAO,WAAW;AAAA,EAC/C;AAEA,SAAO;AACT;AAEA,SAAS,eAAe,KAAuB;AAC7C,MAAI,QAAQ,QAAQ,OAAO,QAAQ,UAAU;AAC3C,WAAO;AAAA,EACT;AAEA,MAAI,MAAM,QAAQ,GAAG,GAAG;AACtB,WAAO,IAAI,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC;AAAA,EAC/C;AAEA,QAAM,SAAkC,CAAC;AACzC,QAAM,OAAO,OAAO,KAAK,GAAG,EAAE,KAAK;AACnC,aAAW,OAAO,MAAM;AACtB,WAAO,GAAG,IAAI,eAAgB,IAAgC,GAAG,CAAC;AAAA,EACpE;AAEA,SAAO;AACT;AAaA,SAAS,sBAAsB,SAA2B;AACxD,MAAI,CAAC,WAAW,OAAO,YAAY,UAAU;AAC3C,WAAO;AAAA,EACT;AAEA,QAAM,aAAa;AACnB,MAAI,CAAC,WAAW,UAAU,OAAO,WAAW,WAAW,UAAU;AAC/D,WAAO;AAAA,EACT;AAEA,QAAM,SAAS,WAAW;AAC1B,QAAM,SAAwB,EAAE,GAAG,WAAW;AAE9C,SAAO,SAAS,CAAC;AAEjB,QAAM,mBAAmB,OAAO,KAAK,MAAM,EAAE,KAAK;AAClD,aAAW,aAAa,kBAAkB;AACxC,UAAM,QAAQ,OAAO,SAAS;AAC9B,QAAI,CAAC,SAAS,OAAO,UAAU,UAAU;AACvC,aAAO,OAAO,SAAS,IAAI;AAC3B;AAAA,IACF;AAEA,UAAM,WAAW;AACjB,UAAM,cAA2B,EAAE,GAAG,SAAS;AAE/C,QAAI,MAAM,QAAQ,SAAS,OAAO,GAAG;AACnC,kBAAY,UAAU,CAAC,GAAG,SAAS,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM;AACzD,cAAM,QAAS,GAAyB,QAAQ;AAChD,cAAM,QAAS,GAAyB,QAAQ;AAChD,eAAO,MAAM,cAAc,KAAK;AAAA,MAClC,CAAC;AAAA,IACH;AAEA,QAAI,MAAM,QAAQ,SAAS,OAAO,GAAG;AACnC,kBAAY,UAAU,CAAC,GAAG,SAAS,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM;AACzD,cAAM,QAAS,GAAyB,QAAQ;AAChD,cAAM,QAAS,GAAyB,QAAQ;AAChD,eAAO,MAAM,cAAc,KAAK;AAAA,MAClC,CAAC;AAAA,IACH;AAEA,WAAO,OAAO,SAAS,IAAI;AAAA,EAC7B;AAEA,SAAO;AACT;AAEA,SAAS,cAAc,KAAuD;AAC5E,QAAM,UAAmC,CAAC;AAC1C,QAAM,YAAY,IAAI,IAAI,OAAO,KAAK,GAAG,CAAC;AAE1C,aAAW,OAAO,iBAAiB;AACjC,QAAI,UAAU,IAAI,GAAG,GAAG;AACtB,cAAQ,GAAG,IAAI,IAAI,GAAG;AACtB,gBAAU,OAAO,GAAG;AAAA,IACtB;AAAA,EACF;AAEA,aAAW,OAAO,MAAM,KAAK,SAAS,EAAE,KAAK,GAAG;AAC9C,YAAQ,GAAG,IAAI,IAAI,GAAG;AAAA,EACxB;AAEA,SAAO;AACT;AAEO,SAAS,qBACd,IACQ;AACR,QAAM,aAAiC;AAAA,IACrC,eAAe,GAAG;AAAA,IAClB,cAAc,GAAG;AAAA,IACjB,QAAQ,GAAG;AAAA,IACX,QAAQ,GAAG;AAAA,IACX,WAAW,GAAG;AAAA,IACd,SAAS,GAAG;AAAA,IACZ,YAAY,GAAG;AAAA,IACf,cAAc,GAAG;AAAA,IACjB,MAAM,GAAG;AAAA,IACT,SAAS,GAAG;AAAA,EACd;AAEA,MAAI,GAAG,aAAa,QAAW;AAC7B,eAAW,WAAW,GAAG;AAAA,EAC3B;AAEA,MAAI,GAAG,gBAAgB,QAAW;AAChC,eAAW,cAAc,GAAG;AAAA,EAC9B;AAEA,QAAM,sBAAsB,aAAa,YAAY,CAAC,CAAC;AACvD,QAAM,oBAAoB,sBAAsB,oBAAoB,OAAO;AAC3E,QAAM,oBAAoB,EAAE,GAAG,qBAAqB,SAAS,kBAAkB;AAC/E,QAAM,iBAAiB,eAAe,iBAAiB;AACvD,QAAM,sBAAsB,cAAc,cAAc;AAExD,SAAO,KAAK,UAAU,qBAAqB,MAAM,CAAC;AACpD;;;ACtPA,SAAS,cAAc;;;ACFvB,SAAS,kBAAkB;AAkB3B,SAAS,YAAY,SAAyB;AAC5C,QAAM,OAAO,WAAW,QAAQ;AAChC,OAAK,OAAO,OAAO;AACnB,SAAO,UAAU,KAAK,OAAO,KAAK,CAAC;AACrC;AAEO,SAAS,gBAAgB,UAAiC;AAC/D,QAAM,eAA2B;AAAA,IAC/B,eAAe,SAAS;AAAA,IACxB,cAAc,SAAS;AAAA,IACvB,QAAQ,SAAS;AAAA,IACjB,QAAQ,SAAS;AAAA,IACjB,WAAW,SAAS;AAAA,IACpB,SAAS,SAAS;AAAA,IAClB,YAAY,SAAS;AAAA,IACrB,SAAS,SAAS;AAAA,IAClB,cAAc,SAAS;AAAA,IACvB,MAAM,SAAS;AAAA,EACjB;AACA,QAAM,YAAY,qBAAqB,YAAY;AACnD,SAAO,YAAY,SAAS;AAC9B;AAEO,SAAS,mBAAmB,UAAiC;AAClE,QAAM,kBAA8B;AAAA,IAClC,eAAe,SAAS;AAAA,IACxB,cAAc,SAAS;AAAA,IACvB,QAAQ,SAAS;AAAA,IACjB,QAAQ,CAAC;AAAA,IACT,WAAW,CAAC;AAAA,IACZ,SAAS,CAAC;AAAA,IACV,YAAY,CAAC;AAAA,IACb,cAAc,SAAS;AAAA,IACvB,MAAM,CAAC;AAAA,IACP,SAAS,CAAC;AAAA,EACZ;AACA,QAAM,YAAY,qBAAqB,eAAe;AACtD,SAAO,YAAY,SAAS;AAC9B;;;ADjDA,SAAS,sBAAsB,IAAsB;AACnD,MAAI,CAAC,GAAG,cAAc;AACpB,UAAM,IAAI,MAAM,mCAAmC;AAAA,EACrD;AACA,MAAI,CAAC,GAAG,QAAQ;AACd,UAAM,IAAI,MAAM,6BAA6B;AAAA,EAC/C;AACA,MAAI,CAAC,GAAG,eAAe;AACrB,UAAM,IAAI,MAAM,oCAAoC;AAAA,EACtD;AACA,MAAI,CAAC,GAAG,UAAU,OAAO,GAAG,WAAW,UAAU;AAC/C,UAAM,IAAI,MAAM,6BAA6B;AAAA,EAC/C;AACA,MAAI,CAAC,GAAG,WAAW,OAAO,GAAG,YAAY,UAAU;AACjD,UAAM,IAAI,MAAM,8BAA8B;AAAA,EAChD;AACA,MAAI,CAAC,GAAG,aAAa,OAAO,GAAG,cAAc,UAAU;AACrD,UAAM,IAAI,MAAM,gCAAgC;AAAA,EAClD;AACA,MAAI,CAAC,GAAG,cAAc,OAAO,GAAG,eAAe,UAAU;AACvD,UAAM,IAAI,MAAM,iCAAiC;AAAA,EACnD;AACA,MAAI,CAAC,GAAG,gBAAgB,OAAO,GAAG,iBAAiB,UAAU;AAC3D,UAAM,IAAI,MAAM,mCAAmC;AAAA,EACrD;AACA,MAAI,CAAC,GAAG,QAAQ,OAAO,GAAG,SAAS,UAAU;AAC3C,UAAM,IAAI,MAAM,2BAA2B;AAAA,EAC7C;AACA,MAAI,CAAC,GAAG,WAAW,OAAO,GAAG,YAAY,UAAU;AACjD,UAAM,IAAI,MAAM,8BAA8B;AAAA,EAChD;AACF;AAEA,eAAsB,KACpB,IACA,SACA,cACqB;AACrB,QAAM,EAAE,mBAAmB,kBAAkB,sBAAsB,aAAa,IAAI;AAEpF,wBAAsB,EAAE;AAExB,QAAM,MAAyB;AAAA,IAC7B,GAAI,oBAAoB,EAAE,kBAAkB,IAAI,CAAC;AAAA,IACjD,GAAI,mBAAmB,EAAE,iBAAiB,IAAI,CAAC;AAAA,IAC/C,GAAI,uBAAuB,EAAE,qBAAqB,IAAI,CAAC;AAAA,IACvD,GAAI,eAAe,EAAE,aAAa,IAAI,CAAC;AAAA,EACzC;AACA,eAAa,cAAc,IAAI,GAAG;AAElC,eAAa,kBAAkB,EAAE;AAEjC,QAAM,eAAe;AAAA,IACnB,eAAe,GAAG;AAAA,IAClB,cAAc,GAAG;AAAA,IACjB,QAAQ,GAAG;AAAA,IACX,QAAQ,GAAG;AAAA,IACX,WAAW,GAAG;AAAA,IACd,SAAS,GAAG;AAAA,IACZ,YAAY,GAAG;AAAA,IACf,cAAc,GAAG;AAAA,IACjB,MAAM,GAAG;AAAA,IACT,SAAS,GAAG;AAAA,EACd;AAEA,QAAM,WAAW,gBAAgB,YAAY;AAC7C,QAAM,cAAc,mBAAmB,YAAY;AAEnD,QAAM,qBAA+E;AAAA,IACnF,GAAG;AAAA,IACH,eAAe,aAAa;AAAA,IAC5B;AAAA,IACA;AAAA,EACF;AAKA,QAAM,kBAAkB,KAAK,MAAM,qBAAqB,kBAAkB,CAAC;AAI3E,QAAM,uBAAuB;AAAA,IAC3B,GAAG;AAAA,IACH,YAAY;AAAA,MACV,SAAS;AAAA,MACT,SAAS;AAAA,MACT,YAAY;AAAA,IACd;AAAA,EACF;AACA,QAAM,qBAAqB,KAAK,UAAU,sBAAsB,MAAM,CAAC;AAEvE,QAAM,iBAAiB,aAAa;AAAA,IAClC;AAAA,IACA,oBAAoB,CAAC;AAAA,IACrB,wBAAwB,CAAC;AAAA,EAC3B;AACA,QAAM,cAAc,MAAM,OAAO,gBAAgB;AAAA,IAC/C,QAAQ;AAAA,IACR,aAAa;AAAA,IACb,MAAM;AAAA,IACN,YAAY;AAAA,EACd,CAAC;AAED,SAAO;AAAA,IACL,cAAc;AAAA,IACd;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;","names":[]}

package/dist/exports/errors.d.ts

@@ -100,6 +100,23 @@ declare function errorFamilyReadMarkerSqlRequired(options?: {
 declare function errorDriverRequired(options?: {
     readonly why?: string;
 }): CliStructuredError;
+/**
+ * Migration planning failed due to conflicts.
+ */
+declare function errorMigrationPlanningFailed(options: {
+    readonly conflicts: readonly {
+        readonly kind: string;
+        readonly summary: string;
+        readonly why?: string;
+    }[];
+    readonly why?: string;
+}): CliStructuredError;
+/**
+ * Target does not support migrations (missing createPlanner/createRunner).
+ */
+declare function errorTargetMigrationNotSupported(options?: {
+    readonly why?: string;
+}): CliStructuredError;
 /**
  * Config validation error (missing required fields).
  */
@@ -143,4 +160,4 @@ declare function errorUnexpected(message: string, options?: {
     readonly fix?: string;
 }): CliStructuredError;
 
-export { type CliErrorEnvelope, CliStructuredError, errorConfigFileNotFound, errorConfigValidation, errorContractConfigMissing, errorContractValidationFailed, errorDatabaseUrlRequired, errorDriverRequired, errorFamilyReadMarkerSqlRequired, errorFileNotFound, errorHashMismatch, errorMarkerMissing, errorQueryRunnerFactoryRequired, errorRuntime, errorTargetMismatch, errorUnexpected };
+export { type CliErrorEnvelope, CliStructuredError, errorConfigFileNotFound, errorConfigValidation, errorContractConfigMissing, errorContractValidationFailed, errorDatabaseUrlRequired, errorDriverRequired, errorFamilyReadMarkerSqlRequired, errorFileNotFound, errorHashMismatch, errorMarkerMissing, errorMigrationPlanningFailed, errorQueryRunnerFactoryRequired, errorRuntime, errorTargetMigrationNotSupported, errorTargetMismatch, errorUnexpected };

package/dist/exports/errors.js

@@ -10,11 +10,13 @@ import {
   errorFileNotFound,
   errorHashMismatch,
   errorMarkerMissing,
+  errorMigrationPlanningFailed,
   errorQueryRunnerFactoryRequired,
   errorRuntime,
+  errorTargetMigrationNotSupported,
   errorTargetMismatch,
   errorUnexpected
-} from "../chunk-DZPZSLCM.js";
+} from "../chunk-R7MOUJNP.js";
 export {
   CliStructuredError,
   errorConfigFileNotFound,
@@ -27,8 +29,10 @@ export {
   errorFileNotFound,
   errorHashMismatch,
   errorMarkerMissing,
+  errorMigrationPlanningFailed,
   errorQueryRunnerFactoryRequired,
   errorRuntime,
+  errorTargetMigrationNotSupported,
   errorTargetMismatch,
   errorUnexpected
 };

package/dist/exports/types.d.ts

@@ -1,185 +1,235 @@
+import { TargetBoundComponentDescriptor, FamilyInstance, DriverInstance, FamilyDescriptor, TargetInstance, TargetDescriptor, AdapterInstance, AdapterDescriptor, DriverDescriptor, ExtensionInstance, ExtensionDescriptor } from '@prisma-next/contract/framework-components';
 import { ContractIR } from '@prisma-next/contract/ir';
-import { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';
-import { TargetFamilyHook } from '@prisma-next/contract/types';
+import { ContractMarkerRecord, TargetFamilyHook } from '@prisma-next/contract/types';
+import { Result } from '@prisma-next/utils/result';
 import { CoreSchemaView } from './schema-view.js';
 
 /**
- * Base interface for control-plane family instances.
- * Families extend this with domain-specific methods.
+ * Core migration types for the framework control plane.
  *
- * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * These are family-agnostic, display-oriented types that provide a stable
+ * vocabulary for CLI commands to work with migration planners and runners
+ * without importing family-specific types.
+ *
+ * Family-specific types (e.g., SqlMigrationPlan) extend these base types
+ * with additional fields for execution (precheck SQL, execute SQL, etc.).
+ */
+
+/**
+ * Migration operation classes define the safety level of an operation.
+ * - 'additive': Adds new structures without modifying existing ones (safe)
+ * - 'widening': Relaxes constraints or expands types (generally safe)
+ * - 'destructive': Removes or alters existing structures (potentially unsafe)
  */
-interface ControlFamilyInstance<TFamilyId extends string = string> {
-    readonly familyId: TFamilyId;
+type MigrationOperationClass = 'additive' | 'widening' | 'destructive';
+/**
+ * Policy defining which operation classes are allowed during a migration.
+ */
+interface MigrationOperationPolicy {
+    readonly allowedOperationClasses: readonly MigrationOperationClass[];
 }
 /**
- * Base interface for control-plane target instances.
- *
- * @template TFamilyId - The family ID (e.g., 'sql', 'document')
- * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * A single migration operation for display purposes.
+ * Contains only the fields needed for CLI output (tree view, JSON envelope).
  */
-interface ControlTargetInstance<TFamilyId extends string = string, TTargetId extends string = string> {
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
+interface MigrationPlanOperation {
+    /** Unique identifier for this operation (e.g., "table.users.create"). */
+    readonly id: string;
+    /** Human-readable label for display in UI/CLI (e.g., "Create table users"). */
+    readonly label: string;
+    /** The class of operation (additive, widening, destructive). */
+    readonly operationClass: MigrationOperationClass;
 }
 /**
- * Base interface for control-plane adapter instances.
- * Families extend this with family-specific adapter interfaces.
- *
- * @template TFamilyId - The family ID (e.g., 'sql', 'document')
- * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * A migration plan for display purposes.
+ * Contains only the fields needed for CLI output (summary, JSON envelope).
  */
-interface ControlAdapterInstance<TFamilyId extends string = string, TTargetId extends string = string> {
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
+interface MigrationPlan {
+    /** The target ID this plan is for (e.g., 'postgres'). */
+    readonly targetId: string;
+    /** Destination contract identity that the plan intends to reach. */
+    readonly destination: {
+        readonly coreHash: string;
+        readonly profileHash?: string;
+    };
+    /** Ordered list of operations to execute. */
+    readonly operations: readonly MigrationPlanOperation[];
 }
 /**
- * Base interface for control-plane driver instances.
- * Replaces ControlPlaneDriver with plane-first naming.
- *
- * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * A conflict detected during migration planning.
  */
-interface ControlDriverInstance<TTargetId extends string = string> {
-    readonly targetId?: TTargetId;
-    query<Row = Record<string, unknown>>(sql: string, params?: readonly unknown[]): Promise<{
-        readonly rows: Row[];
-    }>;
-    close(): Promise<void>;
+interface MigrationPlannerConflict {
+    /** Kind of conflict (e.g., 'typeMismatch', 'nullabilityConflict'). */
+    readonly kind: string;
+    /** Human-readable summary of the conflict. */
+    readonly summary: string;
+    /** Optional explanation of why this conflict occurred. */
+    readonly why?: string;
 }
 /**
- * Base interface for control-plane extension instances.
- *
- * @template TFamilyId - The family ID (e.g., 'sql', 'document')
- * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * Successful planner result with the migration plan.
  */
-interface ControlExtensionInstance<TFamilyId extends string = string, TTargetId extends string = string> {
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
+interface MigrationPlannerSuccessResult {
+    readonly kind: 'success';
+    readonly plan: MigrationPlan;
 }
 /**
- * Descriptor for a control-plane family (e.g., SQL).
- * Provides the family hook and factory method.
- *
- * @template TFamilyId - The family ID (e.g., 'sql', 'document')
- * @template TFamilyInstance - The family instance type
+ * Failed planner result with the list of conflicts.
  */
-interface ControlFamilyDescriptor<TFamilyId extends string, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> {
-    readonly kind: 'family';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly manifest: ExtensionPackManifest;
-    readonly hook: TargetFamilyHook;
-    create<TTargetId extends string>(options: {
-        readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;
-        readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;
-        readonly driver: ControlDriverDescriptor<TFamilyId, TTargetId>;
-        readonly extensions: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];
-    }): TFamilyInstance;
+interface MigrationPlannerFailureResult {
+    readonly kind: 'failure';
+    readonly conflicts: readonly MigrationPlannerConflict[];
 }
 /**
- * Descriptor for a control-plane target pack (e.g., Postgres target).
- *
- * @template TFamilyId - The family ID (e.g., 'sql', 'document')
- * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
- * @template TTargetInstance - The target instance type
+ * Union type for planner results.
  */
-interface ControlTargetDescriptor<TFamilyId extends string, TTargetId extends string, TTargetInstance extends ControlTargetInstance<TFamilyId, TTargetId> = ControlTargetInstance<TFamilyId, TTargetId>> {
-    readonly kind: 'target';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
-    readonly manifest: ExtensionPackManifest;
-    create(): TTargetInstance;
+type MigrationPlannerResult = MigrationPlannerSuccessResult | MigrationPlannerFailureResult;
+/**
+ * Success value for migration runner execution.
+ */
+interface MigrationRunnerSuccessValue {
+    readonly operationsPlanned: number;
+    readonly operationsExecuted: number;
 }
 /**
- * Descriptor for a control-plane adapter pack (e.g., Postgres adapter).
+ * Failure details for migration runner execution.
+ */
+interface MigrationRunnerFailure {
+    /** Error code for the failure. */
+    readonly code: string;
+    /** Human-readable summary of the failure. */
+    readonly summary: string;
+    /** Optional explanation of why the failure occurred. */
+    readonly why?: string;
+}
+/**
+ * Result type for migration runner execution.
+ */
+type MigrationRunnerResult = Result<MigrationRunnerSuccessValue, MigrationRunnerFailure>;
+/**
+ * Migration planner interface for planning schema changes.
+ * This is the minimal interface that CLI commands use.
  *
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
  * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
- * @template TAdapterInstance - The adapter instance type
  */
-interface ControlAdapterDescriptor<TFamilyId extends string, TTargetId extends string, TAdapterInstance extends ControlAdapterInstance<TFamilyId, TTargetId> = ControlAdapterInstance<TFamilyId, TTargetId>> {
-    readonly kind: 'adapter';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
-    readonly manifest: ExtensionPackManifest;
-    create(): TAdapterInstance;
+interface MigrationPlanner<TFamilyId extends string = string, TTargetId extends string = string> {
+    plan(options: {
+        readonly contract: unknown;
+        readonly schema: unknown;
+        readonly policy: MigrationOperationPolicy;
+        /**
+         * Active framework components participating in this composition.
+         * Families/targets can interpret this list to derive family-specific metadata.
+         * All components must have matching familyId and targetId.
+         */
+        readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;
+    }): MigrationPlannerResult;
 }
 /**
- * Descriptor for a control-plane driver pack (e.g., Postgres driver).
+ * Migration runner interface for executing migration plans.
+ * This is the minimal interface that CLI commands use.
  *
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
  * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
- * @template TDriverInstance - The driver instance type
  */
-interface ControlDriverDescriptor<TFamilyId extends string, TTargetId extends string, TDriverInstance extends ControlDriverInstance<TTargetId> = ControlDriverInstance<TTargetId>> {
-    readonly kind: 'driver';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
-    readonly manifest: ExtensionPackManifest;
-    create(url: string): Promise<TDriverInstance>;
+interface MigrationRunner<TFamilyId extends string = string, TTargetId extends string = string> {
+    execute(options: {
+        readonly plan: MigrationPlan;
+        readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;
+        readonly destinationContract: unknown;
+        readonly policy: MigrationOperationPolicy;
+        readonly callbacks?: {
+            onOperationStart?(op: MigrationPlanOperation): void;
+            onOperationComplete?(op: MigrationPlanOperation): void;
+        };
+        /**
+         * Active framework components participating in this composition.
+         * Families/targets can interpret this list to derive family-specific metadata.
+         * All components must have matching familyId and targetId.
+         */
+        readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;
+    }): Promise<MigrationRunnerResult>;
 }
 /**
- * Descriptor for a control-plane extension pack (e.g., pgvector).
+ * Optional capability interface for targets that support migrations.
+ * Targets that implement migrations expose this via their descriptor.
  *
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
  * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
- * @template TExtensionInstance - The extension instance type
+ * @template TFamilyInstance - The family instance type (e.g., SqlControlFamilyInstance)
  */
-interface ControlExtensionDescriptor<TFamilyId extends string, TTargetId extends string, TExtensionInstance extends ControlExtensionInstance<TFamilyId, TTargetId> = ControlExtensionInstance<TFamilyId, TTargetId>> {
-    readonly kind: 'extension';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
-    readonly manifest: ExtensionPackManifest;
-    create(): TExtensionInstance;
+interface TargetMigrationsCapability<TFamilyId extends string = string, TTargetId extends string = string, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> {
+    createPlanner(family: TFamilyInstance): MigrationPlanner<TFamilyId, TTargetId>;
+    createRunner(family: TFamilyInstance): MigrationRunner<TFamilyId, TTargetId>;
 }
+
 /**
- * Family instance interface for control-plane domain actions.
- * Each family implements this interface with family-specific types.
+ * Control-plane family instance interface.
+ * Extends the base FamilyInstance with control-plane domain actions.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TSchemaIR - The schema IR type returned by introspect() (family-specific)
  */
-interface FamilyInstance<TFamilyId extends string, TSchemaIR = unknown, TVerifyResult = unknown, TSchemaVerifyResult = unknown, TSignResult = unknown> {
-    readonly familyId: TFamilyId;
+interface ControlFamilyInstance<TFamilyId extends string, TSchemaIR = unknown> extends FamilyInstance<TFamilyId> {
     /**
      * Validates a contract JSON and returns a validated ContractIR (without mappings).
      * Mappings are runtime-only and should not be part of ContractIR.
+     *
+     * Note: The returned ContractIR may include additional fields from the emitted contract
+     * (like coreHash, profileHash) that are not part of the ContractIR type but are preserved
+     * for use by verify/sign operations.
      */
-    validateContractIR(contractJson: unknown): unknown;
+    validateContractIR(contractJson: unknown): ContractIR;
     /**
      * Verifies the database marker against the contract.
      * Compares target, coreHash, and profileHash.
+     *
+     * @param options.contractIR - The validated contract (from validateContractIR). Must have
+     *   coreHash and target fields for verification. These fields are present in emitted
+     *   contracts but not in the ContractIR type definition.
      */
     verify(options: {
-        readonly driver: ControlDriverInstance;
+        readonly driver: ControlDriverInstance<TFamilyId, string>;
         readonly contractIR: unknown;
         readonly expectedTargetId: string;
         readonly contractPath: string;
         readonly configPath?: string;
-    }): Promise<TVerifyResult>;
+    }): Promise<VerifyDatabaseResult>;
     /**
      * Verifies the database schema against the contract.
      * Compares contract requirements against live database schema.
      */
     schemaVerify(options: {
-        readonly driver: ControlDriverInstance;
+        readonly driver: ControlDriverInstance<TFamilyId, string>;
         readonly contractIR: unknown;
         readonly strict: boolean;
         readonly contractPath: string;
         readonly configPath?: string;
-    }): Promise<TSchemaVerifyResult>;
+        /**
+         * Active framework components participating in this composition.
+         * All components must have matching familyId and targetId.
+         */
+        readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, string>>;
+    }): Promise<VerifyDatabaseSchemaResult>;
     /**
      * Signs the database with the contract marker.
      * Writes or updates the contract marker if schema verification passes.
      * This operation is idempotent - if the marker already matches, no changes are made.
      */
     sign(options: {
-        readonly driver: ControlDriverInstance;
+        readonly driver: ControlDriverInstance<TFamilyId, string>;
         readonly contractIR: unknown;
         readonly contractPath: string;
         readonly configPath?: string;
-    }): Promise<TSignResult>;
+    }): Promise<SignDatabaseResult>;
+    /**
+     * Reads the contract marker from the database.
+     * Returns null if no marker exists.
+     */
+    readMarker(options: {
+        readonly driver: ControlDriverInstance<TFamilyId, string>;
+    }): Promise<ContractMarkerRecord | null>;
     /**
      * Introspects the database schema and returns a family-specific schema IR.
      *
@@ -189,15 +239,15 @@ interface FamilyInstance<TFamilyId extends string, TSchemaIR = unknown, TVerifyR
      *
      * @param options - Introspection options
      * @param options.driver - Control plane driver for database connection
-     * @param options.contractIR - Optional contract IR for contract-guided introspection.
+     * @param options.contractIR - Optional contract for contract-guided introspection.
      *   When provided, families may use it for filtering, optimization, or validation
-     *   during introspection. The contract IR does not change the meaning of "what exists"
+     *   during introspection. The contract does not change the meaning of "what exists"
      *   in the database - it only guides how introspection is performed.
      * @returns Promise resolving to the family-specific Schema IR (e.g., `SqlSchemaIR` for SQL).
      *   The IR represents the complete schema snapshot at the time of introspection.
      */
     introspect(options: {
-        readonly driver: ControlDriverInstance;
+        readonly driver: ControlDriverInstance<TFamilyId, string>;
         readonly contractIR?: unknown;
     }): Promise<TSchemaIR>;
     /**
@@ -215,6 +265,146 @@ interface FamilyInstance<TFamilyId extends string, TSchemaIR = unknown, TVerifyR
         readonly contractIR: ContractIR | unknown;
     }): Promise<EmitContractResult>;
 }
+/**
+ * Control-plane target instance interface.
+ * Extends the base TargetInstance with control-plane specific behavior.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+interface ControlTargetInstance<TFamilyId extends string, TTargetId extends string> extends TargetInstance<TFamilyId, TTargetId> {
+}
+/**
+ * Control-plane adapter instance interface.
+ * Extends the base AdapterInstance with control-plane specific behavior.
+ * Families extend this with family-specific adapter interfaces.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+interface ControlAdapterInstance<TFamilyId extends string, TTargetId extends string> extends AdapterInstance<TFamilyId, TTargetId> {
+}
+/**
+ * Control-plane driver instance interface.
+ * Extends the base DriverInstance with control-plane specific behavior.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+interface ControlDriverInstance<TFamilyId extends string, TTargetId extends string> extends DriverInstance<TFamilyId, TTargetId> {
+    query<Row = Record<string, unknown>>(sql: string, params?: readonly unknown[]): Promise<{
+        readonly rows: Row[];
+    }>;
+    close(): Promise<void>;
+}
+/**
+ * Control-plane extension instance interface.
+ * Extends the base ExtensionInstance with control-plane specific behavior.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+interface ControlExtensionInstance<TFamilyId extends string, TTargetId extends string> extends ExtensionInstance<TFamilyId, TTargetId> {
+}
+/**
+ * Operation context for propagating metadata through control-plane operation call chains.
+ * Inspired by OpenTelemetry's Context and Sentry's Scope patterns.
+ *
+ * This context carries informational metadata (like file paths) that can be used for
+ * error reporting, logging, and debugging, but is not required for structural correctness.
+ * It allows subsystems to propagate context without coupling to file I/O concerns.
+ *
+ * @example
+ * ```typescript
+ * const context: OperationContext = {
+ *   contractPath: './contract.json',
+ *   configPath: './prisma-next.config.ts',
+ * };
+ *
+ * await runner.execute({ plan, driver, destinationContract: contract, context });
+ * ```
+ */
+interface OperationContext {
+    /**
+     * Path to the contract file (if applicable).
+     * Used for error reporting and metadata, not for file I/O.
+     */
+    readonly contractPath?: string;
+    /**
+     * Path to the configuration file (if applicable).
+     * Used for error reporting and metadata, not for file I/O.
+     */
+    readonly configPath?: string;
+    /**
+     * Additional metadata that can be propagated through the call chain.
+     * Extensible for future needs without breaking changes.
+     */
+    readonly meta?: Readonly<Record<string, unknown>>;
+}
+/**
+ * Descriptor for a control-plane family (e.g., SQL).
+ * Provides the family hook and factory method.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TFamilyInstance - The family instance type
+ */
+interface ControlFamilyDescriptor<TFamilyId extends string, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> extends FamilyDescriptor<TFamilyId> {
+    readonly hook: TargetFamilyHook;
+    create<TTargetId extends string>(options: {
+        readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;
+        readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;
+        readonly driver: ControlDriverDescriptor<TFamilyId, TTargetId>;
+        readonly extensions: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];
+    }): TFamilyInstance;
+}
+/**
+ * Descriptor for a control-plane target component (e.g., Postgres target).
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * @template TTargetInstance - The target instance type
+ * @template TFamilyInstance - The family instance type for migrations (optional)
+ */
+interface ControlTargetDescriptor<TFamilyId extends string, TTargetId extends string, TTargetInstance extends ControlTargetInstance<TFamilyId, TTargetId> = ControlTargetInstance<TFamilyId, TTargetId>, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> extends TargetDescriptor<TFamilyId, TTargetId> {
+    /**
+     * Optional migrations capability.
+     * Targets that support migrations expose this property.
+     * The capability is parameterized by family and target IDs to ensure type-level
+     * compatibility of framework components.
+     */
+    readonly migrations?: TargetMigrationsCapability<TFamilyId, TTargetId, TFamilyInstance>;
+    create(): TTargetInstance;
+}
+/**
+ * Descriptor for a control-plane adapter component (e.g., Postgres adapter).
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * @template TAdapterInstance - The adapter instance type
+ */
+interface ControlAdapterDescriptor<TFamilyId extends string, TTargetId extends string, TAdapterInstance extends ControlAdapterInstance<TFamilyId, TTargetId> = ControlAdapterInstance<TFamilyId, TTargetId>> extends AdapterDescriptor<TFamilyId, TTargetId> {
+    create(): TAdapterInstance;
+}
+/**
+ * Descriptor for a control-plane driver component (e.g., Postgres driver).
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * @template TDriverInstance - The driver instance type
+ */
+interface ControlDriverDescriptor<TFamilyId extends string, TTargetId extends string, TDriverInstance extends ControlDriverInstance<TFamilyId, TTargetId> = ControlDriverInstance<TFamilyId, TTargetId>> extends DriverDescriptor<TFamilyId, TTargetId> {
+    create(url: string): Promise<TDriverInstance>;
+}
+/**
+ * Descriptor for a control-plane extension component (e.g., pgvector).
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * @template TExtensionInstance - The extension instance type
+ */
+interface ControlExtensionDescriptor<TFamilyId extends string, TTargetId extends string, TExtensionInstance extends ControlExtensionInstance<TFamilyId, TTargetId> = ControlExtensionInstance<TFamilyId, TTargetId>> extends ExtensionDescriptor<TFamilyId, TTargetId> {
+    create(): TExtensionInstance;
+}
 /**
  * Result type for database marker verification operations.
  */
@@ -248,7 +438,7 @@ interface VerifyDatabaseResult {
  * Schema issue type for schema verification results.
  */
 interface SchemaIssue {
-    readonly kind: 'missing_table' | 'missing_column' | 'type_mismatch' | 'nullability_mismatch' | 'primary_key_mismatch' | 'foreign_key_mismatch' | 'unique_constraint_mismatch' | 'index_mismatch' | 'extension_missing';
+    readonly kind: 'missing_table' | 'missing_column' | 'extra_table' | 'extra_column' | 'extra_primary_key' | 'extra_foreign_key' | 'extra_unique_constraint' | 'extra_index' | 'type_mismatch' | 'nullability_mismatch' | 'primary_key_mismatch' | 'foreign_key_mismatch' | 'unique_constraint_mismatch' | 'index_mismatch' | 'extension_missing';
     readonly table: string;
     readonly column?: string;
     readonly indexOrConstraint?: string;
@@ -298,7 +488,7 @@ interface VerifyDatabaseSchemaResult {
     };
     readonly meta?: {
         readonly configPath?: string;
-        readonly contractPath: string;
+        readonly contractPath?: string;
         readonly strict: boolean;
     };
     readonly timings: {
@@ -320,7 +510,7 @@ interface EmitContractResult {
  *
  * @template TSchemaIR - The family-specific Schema IR type (e.g., `SqlSchemaIR` for SQL)
  */
-interface IntrospectSchemaResult<TSchemaIR = unknown> {
+interface IntrospectSchemaResult<TSchemaIR> {
     readonly ok: true;
     readonly summary: string;
     readonly target: {
@@ -368,4 +558,4 @@ interface SignDatabaseResult {
     };
 }
 
-export type { ControlAdapterDescriptor, ControlAdapterInstance, ControlDriverDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlExtensionInstance, ControlFamilyDescriptor, ControlFamilyInstance, ControlTargetDescriptor, ControlTargetInstance, EmitContractResult, FamilyInstance, IntrospectSchemaResult, SchemaIssue, SchemaVerificationNode, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult };
+export type { ControlAdapterDescriptor, ControlAdapterInstance, ControlDriverDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlExtensionInstance, ControlFamilyDescriptor, ControlFamilyInstance, ControlTargetDescriptor, ControlTargetInstance, EmitContractResult, IntrospectSchemaResult, MigrationOperationClass, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerResult, MigrationPlannerSuccessResult, MigrationRunner, MigrationRunnerFailure, MigrationRunnerResult, MigrationRunnerSuccessValue, OperationContext, SchemaIssue, SchemaVerificationNode, SignDatabaseResult, TargetMigrationsCapability, VerifyDatabaseResult, VerifyDatabaseSchemaResult };

package/package.json

@@ -1,19 +1,20 @@
 {
   "name": "@prisma-next/core-control-plane",
-  "version": "0.1.0-dev.2",
+  "version": "0.1.0-dev.21",
   "type": "module",
   "sideEffects": false,
   "description": "Control plane domain actions, config types, validation, and error factories for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.26",
     "prettier": "^3.3.3",
-    "@prisma-next/operations": "0.1.0-dev.2",
-    "@prisma-next/contract": "0.1.0-dev.2"
+    "@prisma-next/contract": "0.1.0-dev.21",
+    "@prisma-next/operations": "0.1.0-dev.21",
+    "@prisma-next/utils": "0.1.0-dev.21"
   },
   "devDependencies": {
     "tsup": "^8.3.0",
     "typescript": "^5.9.3",
-    "vitest": "^2.1.1",
+    "vitest": "^4.0.16",
     "@prisma-next/test-utils": "0.0.1"
   },
   "files": [
@@ -50,7 +51,9 @@
     "test": "vitest run --passWithNoTests",
     "test:coverage": "vitest run --coverage --passWithNoTests",
     "typecheck": "tsc --project tsconfig.json --noEmit",
-    "lint": "biome check . --config-path ../../../biome.json --error-on-warnings",
-    "clean": "node ../../../scripts/clean.mjs"
+    "lint": "biome check . --config-path ../../../../../biome.json --error-on-warnings",
+    "lint:fix": "biome check --write . --config-path ../../../biome.json",
+    "lint:fix:unsafe": "biome check --write --unsafe . --config-path ../../../biome.json",
+    "clean": "node ../../../../../scripts/clean.mjs"
   }
 }

package/dist/chunk-DZPZSLCM.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/errors.ts"],"sourcesContent":["/**\n * CLI error envelope for output formatting.\n * This is the serialized form of a CliStructuredError.\n */\nexport interface CliErrorEnvelope {\n  readonly code: string;\n  readonly domain: string;\n  readonly severity: 'error' | 'warn' | 'info';\n  readonly summary: string;\n  readonly why: string | undefined;\n  readonly fix: string | undefined;\n  readonly where:\n    | {\n        readonly path: string | undefined;\n        readonly line: number | undefined;\n      }\n    | undefined;\n  readonly meta: Record<string, unknown> | undefined;\n  readonly docsUrl: string | undefined;\n}\n\n/**\n * Structured CLI error that contains all information needed for error envelopes.\n * Call sites throw these errors with full context.\n */\nexport class CliStructuredError extends Error {\n  readonly code: string;\n  readonly domain: 'CLI' | 'RTM';\n  readonly severity: 'error' | 'warn' | 'info';\n  readonly why: string | undefined;\n  readonly fix: string | undefined;\n  readonly where:\n    | {\n        readonly path: string | undefined;\n        readonly line: number | undefined;\n      }\n    | undefined;\n  readonly meta: Record<string, unknown> | undefined;\n  readonly docsUrl: string | undefined;\n\n  constructor(\n    code: string,\n    summary: string,\n    options?: {\n      readonly domain?: 'CLI' | 'RTM';\n      readonly severity?: 'error' | 'warn' | 'info';\n      readonly why?: string;\n      readonly fix?: string;\n      readonly where?: { readonly path?: string; readonly line?: number };\n      readonly meta?: Record<string, unknown>;\n      readonly docsUrl?: string;\n    },\n  ) {\n    super(summary);\n    this.name = 'CliStructuredError';\n    this.code = code;\n    this.domain = options?.domain ?? 'CLI';\n    this.severity = options?.severity ?? 'error';\n    this.why = options?.why;\n    this.fix = options?.fix;\n    this.where = options?.where\n      ? {\n          path: options.where.path,\n          line: options.where.line,\n        }\n      : undefined;\n    this.meta = options?.meta;\n    this.docsUrl = options?.docsUrl;\n  }\n\n  /**\n   * Converts this error to a CLI error envelope for output formatting.\n   */\n  toEnvelope(): CliErrorEnvelope {\n    const codePrefix = this.domain === 'CLI' ? 'PN-CLI-' : 'PN-RTM-';\n    return {\n      code: `${codePrefix}${this.code}`,\n      domain: this.domain,\n      severity: this.severity,\n      summary: this.message,\n      why: this.why,\n      fix: this.fix,\n      where: this.where,\n      meta: this.meta,\n      docsUrl: this.docsUrl,\n    };\n  }\n}\n\n// ============================================================================\n// Config Errors (PN-CLI-4001-4007)\n// ============================================================================\n\n/**\n * Config file not found or missing.\n */\nexport function errorConfigFileNotFound(\n  configPath?: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4001', 'Config file not found', {\n    domain: 'CLI',\n    ...(options?.why ? { why: options.why } : { why: 'Config file not found' }),\n    fix: \"Run 'prisma-next init' to create a config file\",\n    docsUrl: 'https://prisma-next.dev/docs/cli/config',\n    ...(configPath ? { where: { path: configPath } } : {}),\n  });\n}\n\n/**\n * Contract configuration missing from config.\n */\nexport function errorContractConfigMissing(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4002', 'Contract configuration missing', {\n    domain: 'CLI',\n    why: options?.why ?? 'The contract configuration is required for emit',\n    fix: 'Add contract configuration to your prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/contract-emit',\n  });\n}\n\n/**\n * Contract validation failed.\n */\nexport function errorContractValidationFailed(\n  reason: string,\n  options?: {\n    readonly where?: { readonly path?: string; readonly line?: number };\n  },\n): CliStructuredError {\n  return new CliStructuredError('4003', 'Contract validation failed', {\n    domain: 'CLI',\n    why: reason,\n    fix: 'Check your contract file for errors',\n    docsUrl: 'https://prisma-next.dev/docs/contracts',\n    ...(options?.where ? { where: options.where } : {}),\n  });\n}\n\n/**\n * File not found.\n */\nexport function errorFileNotFound(\n  filePath: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4004', 'File not found', {\n    domain: 'CLI',\n    why: options?.why ?? `File not found: ${filePath}`,\n    fix: 'Check that the file path is correct',\n    where: { path: filePath },\n  });\n}\n\n/**\n * Database URL is required but not provided.\n */\nexport function errorDatabaseUrlRequired(options?: { readonly why?: string }): CliStructuredError {\n  return new CliStructuredError('4005', 'Database URL is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Database URL is required for db verify',\n    fix: 'Provide --db flag or config.db.url in prisma-next.config.ts',\n  });\n}\n\n/**\n * Query runner factory is required but not provided in config.\n */\nexport function errorQueryRunnerFactoryRequired(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4006', 'Query runner factory is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Config.db.queryRunnerFactory is required for db verify',\n    fix: 'Add db.queryRunnerFactory to prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Family verify.readMarker is required but not provided.\n */\nexport function errorFamilyReadMarkerSqlRequired(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4007', 'Family readMarker() is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Family verify.readMarker is required for db verify',\n    fix: 'Ensure family.verify.readMarker() is exported by your family package',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Driver is required for DB-connected commands but not provided.\n */\nexport function errorDriverRequired(options?: { readonly why?: string }): CliStructuredError {\n  return new CliStructuredError('4010', 'Driver is required for DB-connected commands', {\n    domain: 'CLI',\n    why: options?.why ?? 'Config.driver is required for db verify',\n    fix: 'Add driver to prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Config validation error (missing required fields).\n */\nexport function errorConfigValidation(\n  field: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4001', 'Config file not found', {\n    domain: 'CLI',\n    why: options?.why ?? `Config must have a \"${field}\" field`,\n    fix: \"Run 'prisma-next init' to create a config file\",\n    docsUrl: 'https://prisma-next.dev/docs/cli/config',\n  });\n}\n\n// ============================================================================\n// Runtime Errors (PN-RTM-3000-3003)\n// ============================================================================\n\n/**\n * Contract marker not found in database.\n */\nexport function errorMarkerMissing(options?: {\n  readonly why?: string;\n  readonly dbUrl?: string;\n}): CliStructuredError {\n  return new CliStructuredError('3001', 'Marker missing', {\n    domain: 'RTM',\n    why: options?.why ?? 'Contract marker not found in database',\n    fix: 'Run `prisma-next db sign --db <url>` to create marker',\n  });\n}\n\n/**\n * Contract hash does not match database marker.\n */\nexport function errorHashMismatch(options?: {\n  readonly why?: string;\n  readonly expected?: string;\n  readonly actual?: string;\n}): CliStructuredError {\n  return new CliStructuredError('3002', 'Hash mismatch', {\n    domain: 'RTM',\n    why: options?.why ?? 'Contract hash does not match database marker',\n    fix: 'Migrate database or re-sign if intentional',\n    ...(options?.expected || options?.actual\n      ? {\n          meta: {\n            ...(options.expected ? { expected: options.expected } : {}),\n            ...(options.actual ? { actual: options.actual } : {}),\n          },\n        }\n      : {}),\n  });\n}\n\n/**\n * Contract target does not match config target.\n */\nexport function errorTargetMismatch(\n  expected: string,\n  actual: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('3003', 'Target mismatch', {\n    domain: 'RTM',\n    why:\n      options?.why ??\n      `Contract target does not match config target (expected: ${expected}, actual: ${actual})`,\n    fix: 'Align contract target and config target',\n    meta: { expected, actual },\n  });\n}\n\n/**\n * Generic runtime error.\n */\nexport function errorRuntime(\n  summary: string,\n  options?: {\n    readonly why?: string;\n    readonly fix?: string;\n    readonly meta?: Record<string, unknown>;\n  },\n): CliStructuredError {\n  return new CliStructuredError('3000', summary, {\n    domain: 'RTM',\n    ...(options?.why ? { why: options.why } : { why: 'Verification failed' }),\n    ...(options?.fix ? { fix: options.fix } : { fix: 'Check contract and database state' }),\n    ...(options?.meta ? { meta: options.meta } : {}),\n  });\n}\n\n// ============================================================================\n// Generic Error\n// ============================================================================\n\n/**\n * Generic unexpected error.\n */\nexport function errorUnexpected(\n  message: string,\n  options?: {\n    readonly why?: string;\n    readonly fix?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4999', 'Unexpected error', {\n    domain: 'CLI',\n    why: options?.why ?? message,\n    fix: options?.fix ?? 'Check the error message and try again',\n  });\n}\n"],"mappings":";AAyBO,IAAM,qBAAN,cAAiC,MAAM;AAAA,EACnC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EAMA;AAAA,EACA;AAAA,EAET,YACE,MACA,SACA,SASA;AACA,UAAM,OAAO;AACb,SAAK,OAAO;AACZ,SAAK,OAAO;AACZ,SAAK,SAAS,SAAS,UAAU;AACjC,SAAK,WAAW,SAAS,YAAY;AACrC,SAAK,MAAM,SAAS;AACpB,SAAK,MAAM,SAAS;AACpB,SAAK,QAAQ,SAAS,QAClB;AAAA,MACE,MAAM,QAAQ,MAAM;AAAA,MACpB,MAAM,QAAQ,MAAM;AAAA,IACtB,IACA;AACJ,SAAK,OAAO,SAAS;AACrB,SAAK,UAAU,SAAS;AAAA,EAC1B;AAAA;AAAA;AAAA;AAAA,EAKA,aAA+B;AAC7B,UAAM,aAAa,KAAK,WAAW,QAAQ,YAAY;AACvD,WAAO;AAAA,MACL,MAAM,GAAG,UAAU,GAAG,KAAK,IAAI;AAAA,MAC/B,QAAQ,KAAK;AAAA,MACb,UAAU,KAAK;AAAA,MACf,SAAS,KAAK;AAAA,MACd,KAAK,KAAK;AAAA,MACV,KAAK,KAAK;AAAA,MACV,OAAO,KAAK;AAAA,MACZ,MAAM,KAAK;AAAA,MACX,SAAS,KAAK;AAAA,IAChB;AAAA,EACF;AACF;AASO,SAAS,wBACd,YACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,yBAAyB;AAAA,IAC7D,QAAQ;AAAA,IACR,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,wBAAwB;AAAA,IACzE,KAAK;AAAA,IACL,SAAS;AAAA,IACT,GAAI,aAAa,EAAE,OAAO,EAAE,MAAM,WAAW,EAAE,IAAI,CAAC;AAAA,EACtD,CAAC;AACH;AAKO,SAAS,2BAA2B,SAEpB;AACrB,SAAO,IAAI,mBAAmB,QAAQ,kCAAkC;AAAA,IACtE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,8BACd,QACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,8BAA8B;AAAA,IAClE,QAAQ;AAAA,IACR,KAAK;AAAA,IACL,KAAK;AAAA,IACL,SAAS;AAAA,IACT,GAAI,SAAS,QAAQ,EAAE,OAAO,QAAQ,MAAM,IAAI,CAAC;AAAA,EACnD,CAAC;AACH;AAKO,SAAS,kBACd,UACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,kBAAkB;AAAA,IACtD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO,mBAAmB,QAAQ;AAAA,IAChD,KAAK;AAAA,IACL,OAAO,EAAE,MAAM,SAAS;AAAA,EAC1B,CAAC;AACH;AAKO,SAAS,yBAAyB,SAAyD;AAChG,SAAO,IAAI,mBAAmB,QAAQ,4BAA4B;AAAA,IAChE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,EACP,CAAC;AACH;AAKO,SAAS,gCAAgC,SAEzB;AACrB,SAAO,IAAI,mBAAmB,QAAQ,oCAAoC;AAAA,IACxE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,iCAAiC,SAE1B;AACrB,SAAO,IAAI,mBAAmB,QAAQ,mCAAmC;AAAA,IACvE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,oBAAoB,SAAyD;AAC3F,SAAO,IAAI,mBAAmB,QAAQ,gDAAgD;AAAA,IACpF,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,sBACd,OACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,yBAAyB;AAAA,IAC7D,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO,uBAAuB,KAAK;AAAA,IACjD,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AASO,SAAS,mBAAmB,SAGZ;AACrB,SAAO,IAAI,mBAAmB,QAAQ,kBAAkB;AAAA,IACtD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,EACP,CAAC;AACH;AAKO,SAAS,kBAAkB,SAIX;AACrB,SAAO,IAAI,mBAAmB,QAAQ,iBAAiB;AAAA,IACrD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,GAAI,SAAS,YAAY,SAAS,SAC9B;AAAA,MACE,MAAM;AAAA,QACJ,GAAI,QAAQ,WAAW,EAAE,UAAU,QAAQ,SAAS,IAAI,CAAC;AAAA,QACzD,GAAI,QAAQ,SAAS,EAAE,QAAQ,QAAQ,OAAO,IAAI,CAAC;AAAA,MACrD;AAAA,IACF,IACA,CAAC;AAAA,EACP,CAAC;AACH;AAKO,SAAS,oBACd,UACA,QACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,mBAAmB;AAAA,IACvD,QAAQ;AAAA,IACR,KACE,SAAS,OACT,2DAA2D,QAAQ,aAAa,MAAM;AAAA,IACxF,KAAK;AAAA,IACL,MAAM,EAAE,UAAU,OAAO;AAAA,EAC3B,CAAC;AACH;AAKO,SAAS,aACd,SACA,SAKoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,SAAS;AAAA,IAC7C,QAAQ;AAAA,IACR,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,sBAAsB;AAAA,IACvE,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,oCAAoC;AAAA,IACrF,GAAI,SAAS,OAAO,EAAE,MAAM,QAAQ,KAAK,IAAI,CAAC;AAAA,EAChD,CAAC;AACH;AASO,SAAS,gBACd,SACA,SAIoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,oBAAoB;AAAA,IACxD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK,SAAS,OAAO;AAAA,EACvB,CAAC;AACH;","names":[]}