@prisma-next/family-sql 0.1.0-pr.71.1 → 0.1.0-pr.72.2

package/dist/exports/runtime.js

@@ -1,35 +1,32 @@
 // src/core/runtime-instance.ts
+import { assertRuntimeContractRequirementsSatisfied } from "@prisma-next/core-execution-plane/framework-components";
 import { createRuntime, createRuntimeContext } from "@prisma-next/sql-runtime";
 function createSqlRuntimeFamilyInstance(options) {
   const {
+    family: familyDescriptor,
+    target: targetDescriptor,
     adapter: adapterDescriptor,
     driver: driverDescriptor,
-    extensions: extensionDescriptors
+    extensionPacks: extensionDescriptors = []
   } = options;
   return {
     familyId: "sql",
     createRuntime(runtimeOptions) {
-      const adapterInstance = adapterDescriptor.create();
-      const driverInstance = driverDescriptor.create(runtimeOptions.driverOptions);
-      const extensionInstances = extensionDescriptors.map((ext) => ext.create());
-      const descriptorExtensions = extensionInstances.map((ext) => {
-        const extension = {};
-        if ("codecs" in ext && typeof ext.codecs === "function") {
-          extension.codecs = ext.codecs;
-        }
-        if ("operations" in ext && typeof ext.operations === "function") {
-          extension.operations = ext.operations;
-        }
-        return extension;
+      assertRuntimeContractRequirementsSatisfied({
+        contract: runtimeOptions.contract,
+        family: familyDescriptor,
+        target: targetDescriptor,
+        adapter: adapterDescriptor,
+        extensionPacks: extensionDescriptors
       });
-      const extensions = [...descriptorExtensions, ...runtimeOptions.extensions ?? []];
+      const driverInstance = driverDescriptor.create(runtimeOptions.driverOptions);
       const context = createRuntimeContext({
         contract: runtimeOptions.contract,
-        adapter: adapterInstance,
-        extensions
+        target: targetDescriptor,
+        adapter: adapterDescriptor,
+        extensionPacks: extensionDescriptors
       });
       const runtimeOptions_ = {
-        adapter: adapterInstance,
         driver: driverInstance,
         verify: runtimeOptions.verify,
         context,
@@ -43,21 +40,18 @@ function createSqlRuntimeFamilyInstance(options) {
 }
 
 // src/core/runtime-descriptor.ts
-var sqlFamilyManifest = {
-  id: "sql",
-  version: "0.0.1"
-};
 var SqlRuntimeFamilyDescriptor = class {
   kind = "family";
   id = "sql";
   familyId = "sql";
-  manifest = sqlFamilyManifest;
+  version = "0.0.1";
   create(options) {
     return createSqlRuntimeFamilyInstance({
+      family: this,
       target: options.target,
       adapter: options.adapter,
       driver: options.driver,
-      extensions: options.extensions
+      extensionPacks: options.extensionPacks
     });
   }
 };

package/dist/exports/runtime.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/core/runtime-instance.ts","../../src/core/runtime-descriptor.ts","../../src/exports/runtime.ts"],"sourcesContent":["import type {\n  RuntimeAdapterDescriptor,\n  RuntimeAdapterInstance,\n  RuntimeDriverDescriptor,\n  RuntimeDriverInstance,\n  RuntimeExtensionDescriptor,\n  RuntimeFamilyInstance,\n  RuntimeTargetDescriptor,\n} from '@prisma-next/core-execution-plane/types';\nimport type { Log, Plugin, RuntimeVerifyOptions } from '@prisma-next/runtime-executor';\nimport type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\nimport type {\n  Adapter,\n  LoweredStatement,\n  SelectAst,\n  SqlDriver,\n} from '@prisma-next/sql-relational-core/ast';\nimport type { Runtime, RuntimeContext, RuntimeOptions } from '@prisma-next/sql-runtime';\nimport { createRuntime, createRuntimeContext, type Extension } from '@prisma-next/sql-runtime';\n\n/**\n * SQL runtime driver instance type.\n * Combines identity properties with SQL-specific behavior methods.\n */\nexport type SqlRuntimeDriverInstance<TTargetId extends string = string> = RuntimeDriverInstance<\n  'sql',\n  TTargetId\n> &\n  SqlDriver;\n\n/**\n * SQL runtime adapter instance type.\n * Combines identity properties with SQL-specific adapter behavior.\n */\nexport type SqlRuntimeAdapterInstance<TTargetId extends string = string> = RuntimeAdapterInstance<\n  'sql',\n  TTargetId\n> &\n  Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>;\n\n/**\n * SQL runtime family instance interface.\n * Extends base RuntimeFamilyInstance with SQL-specific runtime creation method.\n */\nexport interface SqlRuntimeFamilyInstance extends RuntimeFamilyInstance<'sql'> {\n  /**\n   * Creates a SQL runtime from contract, adapter, driver, and extensions.\n   *\n   * @param options - Runtime creation options\n   * @param options.contract - SQL contract\n   * @param options.driverOptions - Driver options (e.g., PostgresDriverOptions)\n   * @param options.verify - Runtime verification options\n   * @param options.extensions - Optional extensions (Extension objects, not descriptors)\n   * @param options.plugins - Optional plugins\n   * @param options.mode - Optional runtime mode\n   * @param options.log - Optional log instance\n   * @returns Runtime instance\n   */\n  createRuntime<TContract extends SqlContract<SqlStorage>>(options: {\n    readonly contract: TContract;\n    readonly driverOptions: unknown;\n    readonly verify: RuntimeVerifyOptions;\n    readonly extensions?: readonly Extension[];\n    readonly plugins?: readonly Plugin<\n      TContract,\n      Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>,\n      SqlDriver\n    >[];\n    readonly mode?: 'strict' | 'permissive';\n    readonly log?: Log;\n  }): Runtime;\n}\n\n/**\n * Creates a SQL runtime family instance from runtime descriptors.\n */\nexport function createSqlRuntimeFamilyInstance(options: {\n  readonly target: RuntimeTargetDescriptor<'sql', string>;\n  readonly adapter: RuntimeAdapterDescriptor<'sql', string, SqlRuntimeAdapterInstance>;\n  readonly driver: RuntimeDriverDescriptor<'sql', string, SqlRuntimeDriverInstance>;\n  readonly extensions: readonly RuntimeExtensionDescriptor<'sql', string>[];\n}): SqlRuntimeFamilyInstance {\n  const {\n    adapter: adapterDescriptor,\n    driver: driverDescriptor,\n    extensions: extensionDescriptors,\n  } = options;\n\n  return {\n    familyId: 'sql' as const,\n    createRuntime<TContract extends SqlContract<SqlStorage>>(runtimeOptions: {\n      readonly contract: TContract;\n      readonly driverOptions: unknown;\n      readonly verify: RuntimeVerifyOptions;\n      readonly extensions?: readonly Extension[];\n      readonly plugins?: readonly Plugin<\n        TContract,\n        Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>,\n        SqlDriver\n      >[];\n      readonly mode?: 'strict' | 'permissive';\n      readonly log?: Log;\n    }): Runtime {\n      const adapterInstance = adapterDescriptor.create();\n      const driverInstance = driverDescriptor.create(runtimeOptions.driverOptions);\n\n      const extensionInstances = extensionDescriptors.map((ext) => ext.create());\n\n      const descriptorExtensions: Extension[] = extensionInstances.map((ext) => {\n        const extension: Extension = {};\n        if ('codecs' in ext && typeof ext.codecs === 'function') {\n          extension.codecs =\n            ext.codecs as () => import('@prisma-next/sql-relational-core/ast').CodecRegistry;\n        }\n        if ('operations' in ext && typeof ext.operations === 'function') {\n          extension.operations =\n            ext.operations as () => readonly import('@prisma-next/sql-operations').SqlOperationSignature[];\n        }\n        return extension;\n      });\n\n      const extensions = [...descriptorExtensions, ...(runtimeOptions.extensions ?? [])];\n\n      const context = createRuntimeContext({\n        contract: runtimeOptions.contract,\n        adapter: adapterInstance,\n        extensions,\n      }) as RuntimeContext<TContract>;\n\n      const runtimeOptions_: RuntimeOptions<TContract> = {\n        adapter: adapterInstance,\n        driver: driverInstance,\n        verify: runtimeOptions.verify,\n        context,\n        ...(runtimeOptions.plugins ? { plugins: runtimeOptions.plugins } : {}),\n        ...(runtimeOptions.mode ? { mode: runtimeOptions.mode } : {}),\n        ...(runtimeOptions.log ? { log: runtimeOptions.log } : {}),\n      };\n\n      return createRuntime(runtimeOptions_);\n    },\n  };\n}\n","import type { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';\nimport type {\n  RuntimeAdapterDescriptor,\n  RuntimeDriverDescriptor,\n  RuntimeExtensionDescriptor,\n  RuntimeFamilyDescriptor,\n  RuntimeTargetDescriptor,\n} from '@prisma-next/core-execution-plane/types';\nimport {\n  createSqlRuntimeFamilyInstance,\n  type SqlRuntimeAdapterInstance,\n  type SqlRuntimeDriverInstance,\n  type SqlRuntimeFamilyInstance,\n} from './runtime-instance';\n\n/**\n * SQL family manifest for runtime plane.\n */\nconst sqlFamilyManifest: ExtensionPackManifest = {\n  id: 'sql',\n  version: '0.0.1',\n};\n\n/**\n * SQL runtime family descriptor implementation.\n * Provides factory method to create SQL runtime family instance.\n */\nexport class SqlRuntimeFamilyDescriptor\n  implements RuntimeFamilyDescriptor<'sql', SqlRuntimeFamilyInstance>\n{\n  readonly kind = 'family' as const;\n  readonly id = 'sql';\n  readonly familyId = 'sql' as const;\n  readonly manifest = sqlFamilyManifest;\n\n  create<TTargetId extends string>(options: {\n    readonly target: RuntimeTargetDescriptor<'sql', TTargetId>;\n    readonly adapter: RuntimeAdapterDescriptor<\n      'sql',\n      TTargetId,\n      SqlRuntimeAdapterInstance<TTargetId>\n    >;\n    readonly driver: RuntimeDriverDescriptor<'sql', TTargetId, SqlRuntimeDriverInstance<TTargetId>>;\n    readonly extensions: readonly RuntimeExtensionDescriptor<'sql', TTargetId>[];\n  }): SqlRuntimeFamilyInstance {\n    return createSqlRuntimeFamilyInstance({\n      target: options.target,\n      adapter: options.adapter,\n      driver: options.driver,\n      extensions: options.extensions,\n    });\n  }\n}\n","import { SqlRuntimeFamilyDescriptor } from '../core/runtime-descriptor';\n\n/**\n * SQL runtime family descriptor for execution/runtime plane.\n * Provides factory method to create SQL runtime family instance.\n */\nexport default new SqlRuntimeFamilyDescriptor();\n"],"mappings":";AAkBA,SAAS,eAAe,4BAA4C;AA0D7D,SAAS,+BAA+B,SAKlB;AAC3B,QAAM;AAAA,IACJ,SAAS;AAAA,IACT,QAAQ;AAAA,IACR,YAAY;AAAA,EACd,IAAI;AAEJ,SAAO;AAAA,IACL,UAAU;AAAA,IACV,cAAyD,gBAY7C;AACV,YAAM,kBAAkB,kBAAkB,OAAO;AACjD,YAAM,iBAAiB,iBAAiB,OAAO,eAAe,aAAa;AAE3E,YAAM,qBAAqB,qBAAqB,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC;AAEzE,YAAM,uBAAoC,mBAAmB,IAAI,CAAC,QAAQ;AACxE,cAAM,YAAuB,CAAC;AAC9B,YAAI,YAAY,OAAO,OAAO,IAAI,WAAW,YAAY;AACvD,oBAAU,SACR,IAAI;AAAA,QACR;AACA,YAAI,gBAAgB,OAAO,OAAO,IAAI,eAAe,YAAY;AAC/D,oBAAU,aACR,IAAI;AAAA,QACR;AACA,eAAO;AAAA,MACT,CAAC;AAED,YAAM,aAAa,CAAC,GAAG,sBAAsB,GAAI,eAAe,cAAc,CAAC,CAAE;AAEjF,YAAM,UAAU,qBAAqB;AAAA,QACnC,UAAU,eAAe;AAAA,QACzB,SAAS;AAAA,QACT;AAAA,MACF,CAAC;AAED,YAAM,kBAA6C;AAAA,QACjD,SAAS;AAAA,QACT,QAAQ;AAAA,QACR,QAAQ,eAAe;AAAA,QACvB;AAAA,QACA,GAAI,eAAe,UAAU,EAAE,SAAS,eAAe,QAAQ,IAAI,CAAC;AAAA,QACpE,GAAI,eAAe,OAAO,EAAE,MAAM,eAAe,KAAK,IAAI,CAAC;AAAA,QAC3D,GAAI,eAAe,MAAM,EAAE,KAAK,eAAe,IAAI,IAAI,CAAC;AAAA,MAC1D;AAEA,aAAO,cAAc,eAAe;AAAA,IACtC;AAAA,EACF;AACF;;;AC5HA,IAAM,oBAA2C;AAAA,EAC/C,IAAI;AAAA,EACJ,SAAS;AACX;AAMO,IAAM,6BAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,WAAW;AAAA,EAEpB,OAAiC,SASJ;AAC3B,WAAO,+BAA+B;AAAA,MACpC,QAAQ,QAAQ;AAAA,MAChB,SAAS,QAAQ;AAAA,MACjB,QAAQ,QAAQ;AAAA,MAChB,YAAY,QAAQ;AAAA,IACtB,CAAC;AAAA,EACH;AACF;;;AC9CA,IAAO,kBAAQ,IAAI,2BAA2B;","names":[]}
+{"version":3,"sources":["../../src/core/runtime-instance.ts","../../src/core/runtime-descriptor.ts","../../src/exports/runtime.ts"],"sourcesContent":["import { assertRuntimeContractRequirementsSatisfied } from '@prisma-next/core-execution-plane/framework-components';\nimport type {\n  RuntimeAdapterDescriptor,\n  RuntimeDriverDescriptor,\n  RuntimeDriverInstance,\n  RuntimeFamilyDescriptor,\n  RuntimeFamilyInstance,\n  RuntimeTargetDescriptor,\n} from '@prisma-next/core-execution-plane/types';\nimport type { Log, Plugin, RuntimeVerifyOptions } from '@prisma-next/runtime-executor';\nimport type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\nimport type {\n  Adapter,\n  LoweredStatement,\n  SelectAst,\n  SqlDriver,\n} from '@prisma-next/sql-relational-core/ast';\nimport type {\n  Runtime,\n  RuntimeOptions,\n  SqlRuntimeAdapterInstance,\n  SqlRuntimeExtensionDescriptor,\n} from '@prisma-next/sql-runtime';\nimport { createRuntime, createRuntimeContext } from '@prisma-next/sql-runtime';\n\n/**\n * SQL runtime driver instance type.\n * Combines identity properties with SQL-specific behavior methods.\n */\nexport type SqlRuntimeDriverInstance<TTargetId extends string = string> = RuntimeDriverInstance<\n  'sql',\n  TTargetId\n> &\n  SqlDriver;\n\n// Re-export SqlRuntimeAdapterInstance from sql-runtime for consumers\nexport type { SqlRuntimeAdapterInstance } from '@prisma-next/sql-runtime';\n\n/**\n * SQL runtime family instance interface.\n * Extends base RuntimeFamilyInstance with SQL-specific runtime creation method.\n */\nexport interface SqlRuntimeFamilyInstance extends RuntimeFamilyInstance<'sql'> {\n  /**\n   * Creates a SQL runtime from contract, driver options, and verification settings.\n   *\n   * Extension packs are routed through composition (at instance creation time),\n   * not through this method. This aligns with control-plane composition patterns.\n   *\n   * @param options - Runtime creation options\n   * @param options.contract - SQL contract\n   * @param options.driverOptions - Driver options (e.g., PostgresDriverOptions)\n   * @param options.verify - Runtime verification options\n   * @param options.plugins - Optional plugins\n   * @param options.mode - Optional runtime mode\n   * @param options.log - Optional log instance\n   * @returns Runtime instance\n   */\n  createRuntime<TContract extends SqlContract<SqlStorage>>(options: {\n    readonly contract: TContract;\n    readonly driverOptions: unknown;\n    readonly verify: RuntimeVerifyOptions;\n    readonly plugins?: readonly Plugin<\n      TContract,\n      Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>,\n      SqlDriver\n    >[];\n    readonly mode?: 'strict' | 'permissive';\n    readonly log?: Log;\n  }): Runtime;\n}\n\n/**\n * Creates a SQL runtime family instance from runtime descriptors.\n *\n * Routes the same framework composition as control-plane:\n * family, target, adapter, driver, extensionPacks (all as descriptors with IDs).\n */\nexport function createSqlRuntimeFamilyInstance<TTargetId extends string>(options: {\n  readonly family: RuntimeFamilyDescriptor<'sql'>;\n  readonly target: RuntimeTargetDescriptor<'sql', TTargetId>;\n  readonly adapter: RuntimeAdapterDescriptor<\n    'sql',\n    TTargetId,\n    SqlRuntimeAdapterInstance<TTargetId>\n  >;\n  readonly driver: RuntimeDriverDescriptor<'sql', TTargetId, SqlRuntimeDriverInstance<TTargetId>>;\n  readonly extensionPacks?: readonly SqlRuntimeExtensionDescriptor<TTargetId>[];\n}): SqlRuntimeFamilyInstance {\n  const {\n    family: familyDescriptor,\n    target: targetDescriptor,\n    adapter: adapterDescriptor,\n    driver: driverDescriptor,\n    extensionPacks: extensionDescriptors = [],\n  } = options;\n\n  return {\n    familyId: 'sql' as const,\n    createRuntime<TContract extends SqlContract<SqlStorage>>(runtimeOptions: {\n      readonly contract: TContract;\n      readonly driverOptions: unknown;\n      readonly verify: RuntimeVerifyOptions;\n      readonly plugins?: readonly Plugin<\n        TContract,\n        Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>,\n        SqlDriver\n      >[];\n      readonly mode?: 'strict' | 'permissive';\n      readonly log?: Log;\n    }): Runtime {\n      // Validate contract requirements against provided descriptors\n      assertRuntimeContractRequirementsSatisfied({\n        contract: runtimeOptions.contract,\n        family: familyDescriptor,\n        target: targetDescriptor,\n        adapter: adapterDescriptor,\n        extensionPacks: extensionDescriptors,\n      });\n\n      // Create driver instance\n      const driverInstance = driverDescriptor.create(runtimeOptions.driverOptions);\n\n      // Create context via descriptor-first API\n      const context = createRuntimeContext<TContract, TTargetId>({\n        contract: runtimeOptions.contract,\n        target: targetDescriptor,\n        adapter: adapterDescriptor,\n        extensionPacks: extensionDescriptors,\n      });\n\n      const runtimeOptions_: RuntimeOptions<TContract> = {\n        driver: driverInstance,\n        verify: runtimeOptions.verify,\n        context,\n        ...(runtimeOptions.plugins ? { plugins: runtimeOptions.plugins } : {}),\n        ...(runtimeOptions.mode ? { mode: runtimeOptions.mode } : {}),\n        ...(runtimeOptions.log ? { log: runtimeOptions.log } : {}),\n      };\n\n      return createRuntime(runtimeOptions_);\n    },\n  };\n}\n","import type {\n  RuntimeAdapterDescriptor,\n  RuntimeDriverDescriptor,\n  RuntimeExtensionDescriptor,\n  RuntimeFamilyDescriptor,\n  RuntimeTargetDescriptor,\n} from '@prisma-next/core-execution-plane/types';\nimport {\n  createSqlRuntimeFamilyInstance,\n  type SqlRuntimeAdapterInstance,\n  type SqlRuntimeDriverInstance,\n  type SqlRuntimeFamilyInstance,\n} from './runtime-instance';\n\n/**\n * SQL runtime family descriptor implementation.\n * Provides factory method to create SQL runtime family instance.\n */\nexport class SqlRuntimeFamilyDescriptor\n  implements RuntimeFamilyDescriptor<'sql', SqlRuntimeFamilyInstance>\n{\n  readonly kind = 'family' as const;\n  readonly id = 'sql';\n  readonly familyId = 'sql' as const;\n  readonly version = '0.0.1';\n\n  create<TTargetId extends string>(options: {\n    readonly target: RuntimeTargetDescriptor<'sql', TTargetId>;\n    readonly adapter: RuntimeAdapterDescriptor<\n      'sql',\n      TTargetId,\n      SqlRuntimeAdapterInstance<TTargetId>\n    >;\n    readonly driver: RuntimeDriverDescriptor<'sql', TTargetId, SqlRuntimeDriverInstance<TTargetId>>;\n    readonly extensionPacks: readonly RuntimeExtensionDescriptor<'sql', TTargetId>[];\n  }): SqlRuntimeFamilyInstance {\n    return createSqlRuntimeFamilyInstance({\n      family: this,\n      target: options.target,\n      adapter: options.adapter,\n      driver: options.driver,\n      extensionPacks: options.extensionPacks,\n    });\n  }\n}\n","import { SqlRuntimeFamilyDescriptor } from '../core/runtime-descriptor';\n\n/**\n * SQL runtime family descriptor for execution/runtime plane.\n * Provides factory method to create SQL runtime family instance.\n */\nexport default new SqlRuntimeFamilyDescriptor();\n"],"mappings":";AAAA,SAAS,kDAAkD;AAuB3D,SAAS,eAAe,4BAA4B;AAuD7C,SAAS,+BAAyD,SAU5C;AAC3B,QAAM;AAAA,IACJ,QAAQ;AAAA,IACR,QAAQ;AAAA,IACR,SAAS;AAAA,IACT,QAAQ;AAAA,IACR,gBAAgB,uBAAuB,CAAC;AAAA,EAC1C,IAAI;AAEJ,SAAO;AAAA,IACL,UAAU;AAAA,IACV,cAAyD,gBAW7C;AAEV,iDAA2C;AAAA,QACzC,UAAU,eAAe;AAAA,QACzB,QAAQ;AAAA,QACR,QAAQ;AAAA,QACR,SAAS;AAAA,QACT,gBAAgB;AAAA,MAClB,CAAC;AAGD,YAAM,iBAAiB,iBAAiB,OAAO,eAAe,aAAa;AAG3E,YAAM,UAAU,qBAA2C;AAAA,QACzD,UAAU,eAAe;AAAA,QACzB,QAAQ;AAAA,QACR,SAAS;AAAA,QACT,gBAAgB;AAAA,MAClB,CAAC;AAED,YAAM,kBAA6C;AAAA,QACjD,QAAQ;AAAA,QACR,QAAQ,eAAe;AAAA,QACvB;AAAA,QACA,GAAI,eAAe,UAAU,EAAE,SAAS,eAAe,QAAQ,IAAI,CAAC;AAAA,QACpE,GAAI,eAAe,OAAO,EAAE,MAAM,eAAe,KAAK,IAAI,CAAC;AAAA,QAC3D,GAAI,eAAe,MAAM,EAAE,KAAK,eAAe,IAAI,IAAI,CAAC;AAAA,MAC1D;AAEA,aAAO,cAAc,eAAe;AAAA,IACtC;AAAA,EACF;AACF;;;AC7HO,IAAM,6BAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,UAAU;AAAA,EAEnB,OAAiC,SASJ;AAC3B,WAAO,+BAA+B;AAAA,MACpC,QAAQ;AAAA,MACR,QAAQ,QAAQ;AAAA,MAChB,SAAS,QAAQ;AAAA,MACjB,QAAQ,QAAQ;AAAA,MAChB,gBAAgB,QAAQ;AAAA,IAC1B,CAAC;AAAA,EACH;AACF;;;ACtCA,IAAO,kBAAQ,IAAI,2BAA2B;","names":[]}

package/dist/exports/schema-verify.d.ts

@@ -1,13 +1,16 @@
 import { SchemaIssue, SchemaVerificationNode, OperationContext, VerifyDatabaseSchemaResult } from '@prisma-next/core-control-plane/types';
 import { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
-import { k as ComponentDatabaseDependency } from './instance-Bhq2g51v.js';
+import { i as ComponentDatabaseDependency } from './types-Bh7ftf0Q.js';
 import { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';
 import { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
 import '@prisma-next/utils/result';
+import './instance-DiZi2k_2.js';
 import '@prisma-next/contract/ir';
+import '@prisma-next/contract/pack-manifest-types';
 import '@prisma-next/contract/types';
 import '@prisma-next/core-control-plane/schema-view';
 import '@prisma-next/operations';
+import '@prisma-next/sql-operations';
 
 /**
  * Pure verification helper functions for SQL schema verification.

package/dist/exports/schema-verify.js

@@ -2,7 +2,7 @@ import {
   arraysEqual,
   verifyDatabaseDependencies,
   verifySqlSchema
-} from "./chunk-UKUAX2QM.js";
+} from "./chunk-F252JMEU.js";
 export {
   arraysEqual,
   verifyDatabaseDependencies,

package/dist/exports/test-utils.d.ts

@@ -1,34 +1,33 @@
-import { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';
+import { OperationManifest } from '@prisma-next/contract/pack-manifest-types';
 import { TypesImportSpec } from '@prisma-next/contract/types';
-import { OperationRegistry } from '@prisma-next/operations';
+import { ControlTargetDescriptor, ControlAdapterDescriptor, ControlExtensionDescriptor } from '@prisma-next/core-control-plane/types';
+import { OperationSignature, OperationRegistry } from '@prisma-next/operations';
+export { c as convertOperationManifest } from './instance-DiZi2k_2.js';
+import '@prisma-next/contract/framework-components';
+import '@prisma-next/contract/ir';
+import '@prisma-next/core-control-plane/schema-view';
+import '@prisma-next/sql-operations';
+import '@prisma-next/sql-schema-ir/types';
 
 /**
- * Extracts codec type imports from extension packs for contract.d.ts generation.
- * Pack-based version for use in tests.
+ * Assembles an operation registry from descriptors (adapter, target, extensions).
+ * Loops over descriptors, extracts operations, converts them using the provided
+ * conversion function, and registers them in a new registry.
  */
-declare function extractCodecTypeImportsFromPacks(packs: ReadonlyArray<{
-    readonly manifest: ExtensionPackManifest;
-}>): ReadonlyArray<TypesImportSpec>;
+declare function assembleOperationRegistry(descriptors: ReadonlyArray<ControlTargetDescriptor<'sql', string> | ControlAdapterDescriptor<'sql', string> | ControlExtensionDescriptor<'sql', string>>, convertOperationManifest: (manifest: OperationManifest) => OperationSignature): OperationRegistry;
 /**
- * Extracts operation type imports from extension packs for contract.d.ts generation.
- * Pack-based version for use in tests.
+ * Extracts codec type imports from descriptors for contract.d.ts generation.
  */
-declare function extractOperationTypeImportsFromPacks(packs: ReadonlyArray<{
-    readonly manifest: ExtensionPackManifest;
-}>): ReadonlyArray<TypesImportSpec>;
+declare function extractCodecTypeImports(descriptors: ReadonlyArray<ControlTargetDescriptor<'sql', string> | ControlAdapterDescriptor<'sql', string> | ControlExtensionDescriptor<'sql', string>>): ReadonlyArray<TypesImportSpec>;
 /**
- * Assembles an operation registry from extension packs.
- * Pack-based version for use in tests.
+ * Extracts operation type imports from descriptors for contract.d.ts generation.
  */
-declare function assembleOperationRegistryFromPacks(packs: ReadonlyArray<{
-    readonly manifest: ExtensionPackManifest;
-}>): OperationRegistry;
+declare function extractOperationTypeImports(descriptors: ReadonlyArray<ControlTargetDescriptor<'sql', string> | ControlAdapterDescriptor<'sql', string> | ControlExtensionDescriptor<'sql', string>>): ReadonlyArray<TypesImportSpec>;
 /**
- * Extracts extension IDs from packs.
- * Pack-based version for use in tests.
+ * Extracts extension IDs from descriptors in deterministic order:
+ * [adapter.id, target.id, ...extensions.map(e => e.id)]
+ * Deduplicates while preserving stable order.
  */
-declare function extractExtensionIdsFromPacks(packs: ReadonlyArray<{
-    readonly manifest: ExtensionPackManifest;
-}>): ReadonlyArray<string>;
+declare function extractExtensionIds(adapter: ControlAdapterDescriptor<'sql', string>, target: ControlTargetDescriptor<'sql', string>, extensions: ReadonlyArray<ControlExtensionDescriptor<'sql', string>>): ReadonlyArray<string>;
 
-export { assembleOperationRegistryFromPacks, extractCodecTypeImportsFromPacks, extractExtensionIdsFromPacks, extractOperationTypeImportsFromPacks };
+export { assembleOperationRegistry, extractCodecTypeImports, extractExtensionIds, extractOperationTypeImports };

package/dist/exports/test-utils.js

@@ -1,15 +1,17 @@
 import {
-  assembleOperationRegistryFromPacks,
-  extractCodecTypeImportsFromPacks,
-  extractExtensionIdsFromPacks,
-  extractOperationTypeImportsFromPacks
-} from "./chunk-RVUPZUZP.js";
+  assembleOperationRegistry,
+  convertOperationManifest,
+  extractCodecTypeImports,
+  extractExtensionIds,
+  extractOperationTypeImports
+} from "./chunk-6P44BVZ4.js";
 import "./chunk-C3GKWCKA.js";
-import "./chunk-UKUAX2QM.js";
+import "./chunk-F252JMEU.js";
 export {
-  assembleOperationRegistryFromPacks,
-  extractCodecTypeImportsFromPacks,
-  extractExtensionIdsFromPacks,
-  extractOperationTypeImportsFromPacks
+  assembleOperationRegistry,
+  convertOperationManifest,
+  extractCodecTypeImports,
+  extractExtensionIds,
+  extractOperationTypeImports
 };
 //# sourceMappingURL=test-utils.js.map

package/dist/exports/{instance-Bhq2g51v.d.ts → types-Bh7ftf0Q.d.ts}

@@ -1,12 +1,9 @@
 import { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';
-import { ControlTargetDescriptor, ControlTargetInstance, MigrationOperationPolicy, MigrationPlannerSuccessResult, MigrationPlan, MigrationPlanOperation, MigrationPlannerFailureResult, MigrationPlannerConflict, ControlDriverInstance, OperationContext, MigrationRunnerExecutionChecks, MigrationRunnerSuccessValue, MigrationRunnerFailure, SchemaIssue, ControlExtensionDescriptor, ControlFamilyInstance, VerifyDatabaseResult, VerifyDatabaseSchemaResult, SignDatabaseResult, EmitContractResult } from '@prisma-next/core-control-plane/types';
+import { ControlTargetDescriptor, ControlTargetInstance, MigrationOperationPolicy, MigrationPlannerSuccessResult, MigrationPlan, MigrationPlanOperation, MigrationPlannerFailureResult, MigrationPlannerConflict, ControlDriverInstance, OperationContext, MigrationRunnerExecutionChecks, MigrationRunnerSuccessValue, MigrationRunnerFailure, SchemaIssue, ControlExtensionDescriptor } from '@prisma-next/core-control-plane/types';
 import { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
 import { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
 import { Result } from '@prisma-next/utils/result';
-import { ContractIR } from '@prisma-next/contract/ir';
-import { TypesImportSpec } from '@prisma-next/contract/types';
-import { CoreSchemaView } from '@prisma-next/core-control-plane/schema-view';
-import { OperationRegistry } from '@prisma-next/operations';
+import { S as SqlControlFamilyInstance } from './instance-DiZi2k_2.js';
 
 /**
  * SQL-specific migration types.
@@ -25,7 +22,7 @@ type AnyRecord = Readonly<Record<string, unknown>>;
  * The planner emits these as migration operations, and the verifier uses the pure verification
  * hook to check satisfaction against the schema IR.
  */
-interface ComponentDatabaseDependency<TTargetDetails = Record<string, never>> {
+interface ComponentDatabaseDependency<TTargetDetails> {
     /** Stable identifier for the dependency (e.g. 'postgres.extension.vector') */
     readonly id: string;
     /** Human label for output (e.g. 'Enable vector extension') */
@@ -46,7 +43,7 @@ interface ComponentDatabaseDependency<TTargetDetails = Record<string, never>> {
 /**
  * Database dependencies declared by a framework component.
  */
-interface ComponentDatabaseDependencies<TTargetDetails = Record<string, never>> {
+interface ComponentDatabaseDependencies<TTargetDetails> {
     /**
      * Dependencies required for db init.
      * Future: update dependencies can be added later (e.g. widening/destructive).
@@ -83,7 +80,7 @@ interface SqlMigrationPlanOperationTarget<TTargetDetails> {
  * A single SQL migration operation with SQL-specific fields.
  * Extends the core MigrationPlanOperation with SQL execution details.
  */
-interface SqlMigrationPlanOperation<TTargetDetails = Record<string, never>> extends MigrationPlanOperation {
+interface SqlMigrationPlanOperation<TTargetDetails> extends MigrationPlanOperation {
     /** Optional detailed explanation of what this operation does and why. */
     readonly summary?: string;
     readonly target: SqlMigrationPlanOperationTarget<TTargetDetails>;
@@ -103,7 +100,7 @@ interface SqlMigrationPlanContractInfo {
  * A SQL migration plan with SQL-specific fields.
  * Extends the core MigrationPlan with origin tracking and metadata.
  */
-interface SqlMigrationPlan<TTargetDetails = Record<string, never>> extends MigrationPlan {
+interface SqlMigrationPlan<TTargetDetails> extends MigrationPlan {
     /**
      * Origin contract identity that the plan expects the database to currently be at.
      * If omitted, the runner treats the origin as "no marker present" (empty database),
@@ -157,7 +154,7 @@ interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'c
 /**
  * Union type for SQL planner results.
  */
-type SqlPlannerResult<TTargetDetails = Record<string, never>> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
+type SqlPlannerResult<TTargetDetails> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
 /**
  * Options for SQL migration planner.
  */
@@ -177,20 +174,20 @@ interface SqlMigrationPlannerPlanOptions {
  * SQL migration planner interface.
  * Extends the core MigrationPlanner with SQL-specific types.
  */
-interface SqlMigrationPlanner<TTargetDetails = Record<string, never>> {
+interface SqlMigrationPlanner<TTargetDetails> {
     plan(options: SqlMigrationPlannerPlanOptions): SqlPlannerResult<TTargetDetails>;
 }
 /**
  * Callbacks for SQL migration runner execution.
  */
-interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails = Record<string, never>> {
+interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails> {
     onOperationStart?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
     onOperationComplete?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
 }
 /**
  * Options for SQL migration runner execution.
  */
-interface SqlMigrationRunnerExecuteOptions<TTargetDetails = Record<string, never>> {
+interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
     readonly plan: SqlMigrationPlan<TTargetDetails>;
     readonly driver: ControlDriverInstance<'sql', string>;
     /**
@@ -245,14 +242,14 @@ type SqlMigrationRunnerResult = Result<SqlMigrationRunnerSuccessValue, SqlMigrat
  * SQL migration runner interface.
  * Extends the core MigrationRunner with SQL-specific types.
  */
-interface SqlMigrationRunner<TTargetDetails = Record<string, never>> {
+interface SqlMigrationRunner<TTargetDetails> {
     execute(options: SqlMigrationRunnerExecuteOptions<TTargetDetails>): Promise<SqlMigrationRunnerResult>;
 }
 /**
  * SQL control target descriptor with migration support.
  * Extends the core ControlTargetDescriptor with SQL-specific migration methods.
  */
-interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails = Record<string, never>> extends ControlTargetDescriptor<'sql', TTargetId, ControlTargetInstance<'sql', TTargetId>, SqlControlFamilyInstance> {
+interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails> extends ControlTargetDescriptor<'sql', TTargetId, ControlTargetInstance<'sql', TTargetId>, SqlControlFamilyInstance> {
     /**
      * Creates a SQL migration planner for this target.
      * Direct method for SQL-specific usage.
@@ -275,115 +272,4 @@ interface CreateSqlMigrationPlanOptions<TTargetDetails> {
     readonly meta?: AnyRecord;
 }
 
-/**
- * Type metadata for SQL storage types.
- * Maps contract storage type IDs to native database types.
- */
-interface SqlTypeMetadata {
-    readonly typeId: string;
-    readonly familyId: 'sql';
-    readonly targetId: string;
-    readonly nativeType?: string;
-}
-/**
- * Registry mapping type IDs to their metadata.
- * Keyed by contract storage type ID (e.g., 'pg/int4@1').
- */
-type SqlTypeMetadataRegistry = Map<string, SqlTypeMetadata>;
-/**
- * State fields for SQL family instance that hold assembly data.
- */
-interface SqlFamilyInstanceState {
-    readonly operationRegistry: OperationRegistry;
-    readonly codecTypeImports: ReadonlyArray<TypesImportSpec>;
-    readonly operationTypeImports: ReadonlyArray<TypesImportSpec>;
-    readonly extensionIds: ReadonlyArray<string>;
-    readonly typeMetadataRegistry: SqlTypeMetadataRegistry;
-}
-/**
- * Options for schema verification.
- */
-interface SchemaVerifyOptions {
-    readonly driver: ControlDriverInstance<'sql', string>;
-    readonly contractIR: unknown;
-    readonly strict: boolean;
-    readonly context?: OperationContext;
-    /**
-     * Active framework components participating in this composition.
-     * All components must have matching familyId ('sql') and targetId.
-     */
-    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
-}
-/**
- * SQL control family instance interface.
- * Extends ControlFamilyInstance with SQL-specific domain actions.
- */
-interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql'>, SqlFamilyInstanceState {
-    /**
-     * Validates a contract JSON and returns a validated ContractIR (without mappings).
-     * Mappings are runtime-only and should not be part of ContractIR.
-     */
-    validateContractIR(contractJson: unknown): ContractIR;
-    /**
-     * Verifies the database marker against the contract.
-     * Compares target, coreHash, and profileHash.
-     */
-    verify(options: {
-        readonly driver: ControlDriverInstance<'sql', string>;
-        readonly contractIR: unknown;
-        readonly expectedTargetId: string;
-        readonly contractPath: string;
-        readonly configPath?: string;
-    }): Promise<VerifyDatabaseResult>;
-    /**
-     * Verifies the database schema against the contract.
-     * Compares contract requirements against live database schema.
-     */
-    schemaVerify(options: SchemaVerifyOptions): 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<'sql', string>;
-        readonly contractIR: unknown;
-        readonly contractPath: string;
-        readonly configPath?: string;
-    }): Promise<SignDatabaseResult>;
-    /**
-     * Introspects the database schema and returns a family-specific schema IR.
-     *
-     * This is a read-only operation that returns a snapshot of the live database schema.
-     * The method is family-owned and delegates to target/adapter-specific introspectors
-     * to perform the actual schema introspection.
-     *
-     * @param options - Introspection options
-     * @param options.driver - Control plane driver for database connection
-     * @param options.contractIR - Optional contract IR 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"
-     *   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<'sql', string>;
-        readonly contractIR?: unknown;
-    }): Promise<SqlSchemaIR>;
-    /**
-     * Projects a SQL Schema IR into a core schema view for CLI visualization.
-     * Converts SqlSchemaIR (tables, columns, indexes, extensions) into a tree structure.
-     */
-    toSchemaView(schema: SqlSchemaIR): CoreSchemaView;
-    /**
-     * Emits contract JSON and DTS as strings.
-     * Uses the instance's preassembled state (operation registry, type imports, extension IDs).
-     * Handles stripping mappings and validation internally.
-     */
-    emitContract(options: {
-        readonly contractIR: ContractIR | unknown;
-    }): Promise<EmitContractResult>;
-}
-
-export type { AnyRecord as A, CreateSqlMigrationPlanOptions as C, SqlControlFamilyInstance as S, SqlControlTargetDescriptor as a, SqlMigrationPlan as b, SqlPlannerConflict as c, SqlPlannerFailureResult as d, SqlPlannerSuccessResult as e, SqlMigrationRunnerErrorCode as f, SqlMigrationRunnerFailure as g, SqlMigrationRunnerSuccessValue as h, SchemaVerifyOptions as i, ComponentDatabaseDependencies as j, ComponentDatabaseDependency as k, SqlControlExtensionDescriptor as l, SqlMigrationPlanContractInfo as m, SqlMigrationPlanner as n, SqlMigrationPlannerPlanOptions as o, SqlMigrationPlanOperation as p, SqlMigrationPlanOperationStep as q, SqlMigrationPlanOperationTarget as r, SqlMigrationRunner as s, SqlMigrationRunnerExecuteCallbacks as t, SqlMigrationRunnerExecuteOptions as u, SqlMigrationRunnerResult as v, SqlPlannerConflictKind as w, SqlPlannerConflictLocation as x, SqlPlannerResult as y };
+export type { AnyRecord as A, CreateSqlMigrationPlanOptions as C, SqlControlTargetDescriptor as S, SqlMigrationPlan as a, SqlPlannerConflict as b, SqlPlannerFailureResult as c, SqlPlannerSuccessResult as d, SqlMigrationRunnerErrorCode as e, SqlMigrationRunnerFailure as f, SqlMigrationRunnerSuccessValue as g, ComponentDatabaseDependencies as h, ComponentDatabaseDependency as i, SqlControlExtensionDescriptor as j, SqlMigrationPlanContractInfo as k, SqlMigrationPlanner as l, SqlMigrationPlannerPlanOptions as m, SqlMigrationPlanOperation as n, SqlMigrationPlanOperationStep as o, SqlMigrationPlanOperationTarget as p, SqlMigrationRunner as q, SqlMigrationRunnerExecuteCallbacks as r, SqlMigrationRunnerExecuteOptions as s, SqlMigrationRunnerResult as t, SqlPlannerConflictKind as u, SqlPlannerConflictLocation as v, SqlPlannerResult as w };

package/package.json

@@ -1,25 +1,25 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.1.0-pr.71.1",
+  "version": "0.1.0-pr.72.2",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/cli": "0.1.0-pr.71.1",
-    "@prisma-next/contract": "0.1.0-pr.71.1",
-    "@prisma-next/core-control-plane": "0.1.0-pr.71.1",
-    "@prisma-next/core-execution-plane": "0.1.0-pr.71.1",
-    "@prisma-next/runtime-executor": "0.1.0-pr.71.1",
-    "@prisma-next/sql-contract-emitter": "0.1.0-pr.71.1",
-    "@prisma-next/sql-contract-ts": "0.1.0-pr.71.1",
-    "@prisma-next/sql-contract": "0.1.0-pr.71.1",
-    "@prisma-next/sql-operations": "0.1.0-pr.71.1",
-    "@prisma-next/operations": "0.1.0-pr.71.1",
-    "@prisma-next/sql-relational-core": "0.1.0-pr.71.1",
-    "@prisma-next/sql-runtime": "0.1.0-pr.71.1",
-    "@prisma-next/sql-schema-ir": "0.1.0-pr.71.1",
-    "@prisma-next/utils": "0.1.0-pr.71.1"
+    "@prisma-next/contract": "0.1.0-pr.72.2",
+    "@prisma-next/core-control-plane": "0.1.0-pr.72.2",
+    "@prisma-next/cli": "0.1.0-pr.72.2",
+    "@prisma-next/core-execution-plane": "0.1.0-pr.72.2",
+    "@prisma-next/operations": "0.1.0-pr.72.2",
+    "@prisma-next/runtime-executor": "0.1.0-pr.72.2",
+    "@prisma-next/sql-contract-emitter": "0.1.0-pr.72.2",
+    "@prisma-next/sql-contract": "0.1.0-pr.72.2",
+    "@prisma-next/sql-contract-ts": "0.1.0-pr.72.2",
+    "@prisma-next/sql-operations": "0.1.0-pr.72.2",
+    "@prisma-next/sql-relational-core": "0.1.0-pr.72.2",
+    "@prisma-next/sql-runtime": "0.1.0-pr.72.2",
+    "@prisma-next/sql-schema-ir": "0.1.0-pr.72.2",
+    "@prisma-next/utils": "0.1.0-pr.72.2"
   },
   "devDependencies": {
     "@vitest/coverage-v8": "^4.0.0",
@@ -27,7 +27,7 @@
     "typescript": "^5.9.3",
     "vite-tsconfig-paths": "^5.1.4",
     "vitest": "^4.0.16",
-    "@prisma-next/driver-postgres": "0.1.0-pr.71.1",
+    "@prisma-next/driver-postgres": "0.1.0-pr.72.2",
     "@prisma-next/test-utils": "0.0.1"
   },
   "files": [
@@ -64,7 +64,7 @@
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",
-    "lint": "biome check . --error-on-warnings",
+    "lint": "biome check . --config-path ../../../../biome.json --error-on-warnings",
     "clean": "node ../../../../scripts/clean.mjs"
   }
 }