@prisma-next/family-sql 0.13.0-dev.3 → 0.13.0-dev.31

package/dist/ir.d.mts

@@ -32,9 +32,9 @@ type SqlEntityHydrationFactory = (entry: unknown) => unknown;
  * `serializeContract` directly.
  */
 declare abstract class SqlContractSerializerBase<TContract extends Contract<SqlStorage>> implements ContractSerializer<TContract> {
-  protected readonly entityTypeRegistry: ReadonlyMap<string, SqlEntityHydrationFactory>;
+  protected readonly entityHydrationRegistry: ReadonlyMap<string, SqlEntityHydrationFactory>;
   private readonly contractSchema;
-  constructor(entityTypeRegistry?: ReadonlyMap<string, SqlEntityHydrationFactory>, validatorFragments?: ReadonlyMap<string, Type<unknown>>);
+  constructor(entityHydrationRegistry?: ReadonlyMap<string, SqlEntityHydrationFactory>, validatorRegistry?: ReadonlyMap<string, Type<unknown>>);
   deserializeContract<T extends TContract = TContract>(json: unknown): T;
   serializeContract(contract: TContract): JsonObject;
   shouldPreserveEmpty: import("@prisma-next/contract/hashing").PreserveEmptyPredicate;
@@ -43,6 +43,7 @@ declare abstract class SqlContractSerializerBase<TContract extends Contract<SqlS
   protected hydrateSqlStorage(validated: Contract<SqlStorage>): Contract<SqlStorage>;
   protected hydrateSqlNamespaceMap(namespaces: Readonly<Record<string, Namespace | Record<string, unknown>>>): Readonly<Record<string, Namespace>>;
   protected hydrateSqlNamespaceEntry(nsId: string, raw: Namespace | Record<string, unknown>): Namespace | SqlNamespaceTablesInput;
+  protected hydrateEntriesKind(key: string, innerMap: unknown): Record<string, unknown> | undefined;
   protected hydrateStorageTypeEntry(entry: SqlStorageTypeEntry): SqlStorageTypeEntry;
   protected constructTargetContract(hydrated: Contract<SqlStorage>): TContract;
 }

package/dist/ir.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"ir.d.mts","names":[],"sources":["../src/core/ir/sql-contract-serializer-base.ts","../src/core/ir/sql-contract-serializer.ts","../src/core/ir/sql-schema-verifier-base.ts"],"mappings":";;;;;;;;KA0CY,yBAAA,IAA6B,KAAc;;AAAvD;;;;AAAuD;AA0BvD;;;;;;;;;;;;;;;;;;uBAAsB,yBAAA,mBAA4C,QAAA,CAAS,UAAA,cAC9D,kBAAA,CAAmB,SAAA;EAAA,mBAKT,kBAAA,EAAoB,WAAA,SAErC,yBAAA;EAAA,iBALa,cAAA;cAGI,kBAAA,GAAoB,WAAA,SAErC,yBAAA,GAEF,kBAAA,GAAqB,WAAA,SAAoB,IAAA;EAW3C,mBAAA,WAA8B,SAAA,GAAY,SAAA,EAAW,IAAA,YAAgB,CAAA;EAMrE,iBAAA,CAAkB,QAAA,EAAU,SAAA,GAAY,UAAA;EAIxC,mBAAA,0CAAmB,sBAAA;EAEnB,WAAA,0CAAW,WAAA;EAAA,UAED,yBAAA,CAA0B,IAAA,YAAgB,QAAA,CAAS,UAAA;EAAA,UAOnD,iBAAA,CAAkB,SAAA,EAAW,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA;EAAA,UA6C7D,sBAAA,CACR,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,SAAA,GAAY,MAAA,sBAC/C,QAAA,CAAS,MAAA,SAAe,SAAA;EAAA,UAmBjB,wBAAA,CACR,IAAA,UACA,GAAA,EAAK,SAAA,GAAY,MAAA,oBAChB,SAAA,GAAY,uBAAA;EAAA,UAyEL,uBAAA,CAAwB,KAAA,EAAO,mBAAA,GAAsB,mBAAA;EAAA,UAkBrD,uBAAA,CAAwB,QAAA,EAAU,QAAA,CAAS,UAAA,IAAc,SAAA;AAAA;;;;;;;;AApOrE;;;;cC7Ba,qBAAA,SAA8B,yBAAA,CAA0B,QAAA,CAAS,UAAA;;;;;;;;;;;;AD6B9E;;;;AAAuD;AA0BvD;;;;;;;;uBEzCsB,qBAAA,gCACT,cAAA,CAAe,SAAA,EAAW,OAAA;EAErC,YAAA,CAAa,OAAA,EAAS,mBAAA,CAAoB,SAAA,EAAW,OAAA,IAAW,kBAAA;EFgDrB;;;;;;EAAA,mBEnCxB,qBAAA,CACjB,OAAA,EAAS,mBAAA,CAAoB,SAAA,EAAW,OAAA,aAC9B,WAAA;EF0DiD;;;;;EAAA,mBEnD1C,sBAAA,CACjB,OAAA,EAAS,mBAAA,CAAoB,SAAA,EAAW,OAAA,aAC9B,WAAA;AAAA"}
+{"version":3,"file":"ir.d.mts","names":[],"sources":["../src/core/ir/sql-contract-serializer-base.ts","../src/core/ir/sql-contract-serializer.ts","../src/core/ir/sql-schema-verifier-base.ts"],"mappings":";;;;;;;;KA2CY,yBAAA,IAA6B,KAAc;;AAAvD;;;;AAAuD;AA0BvD;;;;;;;;;;;;;;;;;;uBAAsB,yBAAA,mBAA4C,QAAA,CAAS,UAAA,cAC9D,kBAAA,CAAmB,SAAA;EAAA,mBAKT,uBAAA,EAAyB,WAAA,SAE1C,yBAAA;EAAA,iBALa,cAAA;cAGI,uBAAA,GAAyB,WAAA,SAE1C,yBAAA,GAEF,iBAAA,GAAmB,WAAA,SAAoB,IAAA;EAazC,mBAAA,WAA8B,SAAA,GAAY,SAAA,EAAW,IAAA,YAAgB,CAAA;EAMrE,iBAAA,CAAkB,QAAA,EAAU,SAAA,GAAY,UAAA;EAIxC,mBAAA,0CAAmB,sBAAA;EAEnB,WAAA,0CAAW,WAAA;EAAA,UAED,yBAAA,CAA0B,IAAA,YAAgB,QAAA,CAAS,UAAA;EAAA,UAOnD,iBAAA,CAAkB,SAAA,EAAW,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA;EAAA,UA6C7D,sBAAA,CACR,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,SAAA,GAAY,MAAA,sBAC/C,QAAA,CAAS,MAAA,SAAe,SAAA;EAAA,UAmBjB,wBAAA,CACR,IAAA,UACA,GAAA,EAAK,SAAA,GAAY,MAAA,oBAChB,SAAA,GAAY,uBAAA;EAAA,UAqCL,kBAAA,CACR,GAAA,UACA,QAAA,YACC,MAAA;EAAA,UA8CO,uBAAA,CAAwB,KAAA,EAAO,mBAAA,GAAsB,mBAAA;EAAA,UAkBrD,uBAAA,CAAwB,QAAA,EAAU,QAAA,CAAS,UAAA,IAAc,SAAA;AAAA;;;;;;;;AAnPrE;;;;cC9Ba,qBAAA,SAA8B,yBAAA,CAA0B,QAAA,CAAS,UAAA;;;;;;;;;;;;AD8B9E;;;;AAAuD;AA0BvD;;;;;;;;uBE1CsB,qBAAA,gCACT,cAAA,CAAe,SAAA,EAAW,OAAA;EAErC,YAAA,CAAa,OAAA,EAAS,mBAAA,CAAoB,SAAA,EAAW,OAAA,IAAW,kBAAA;EFiDvB;;;;;;EAAA,mBEpCtB,qBAAA,CACjB,OAAA,EAAS,mBAAA,CAAoB,SAAA,EAAW,OAAA,aAC9B,WAAA;EF6DiD;;;;;EAAA,mBEtD1C,sBAAA,CACjB,OAAA,EAAS,mBAAA,CAAoB,SAAA,EAAW,OAAA,aAC9B,WAAA;AAAA"}

package/dist/ir.mjs

@@ -1,4 +1,4 @@
-import { n as SqlContractSerializerBase, t as SqlContractSerializer } from "./sql-contract-serializer-CY7qnms7.mjs";
+import { n as SqlContractSerializerBase, t as SqlContractSerializer } from "./sql-contract-serializer-D6-28zKd.mjs";
 //#region src/core/ir/sql-schema-verifier-base.ts
 /**
 * SQL family `SchemaVerifier` abstract base. Centralises the SQL-shared

package/dist/migration.d.mts

@@ -1,4 +1,4 @@
-import { T as SqlPlanTargetDetails, p as SqlMigrationPlanOperation } from "./types-CbwQCzXY.mjs";
+import { T as SqlPlanTargetDetails, p as SqlMigrationPlanOperation } from "./types-kgstZ_Zd.mjs";
 import { Migration } from "@prisma-next/migration-tools/migration";
 
 //#region src/core/sql-migration.d.ts

package/dist/migration.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"migration.d.mts","names":[],"sources":["../src/core/sql-migration.ts"],"mappings":";;;;;;AAkBA;;;;;;;;;;;;uBAAsB,YAAA,kBACH,oBAAA,6CAET,SAAA,CAAU,yBAAA,CAA0B,QAAA,UAAkB,SAAA;EAAtD;;;;;;AAWc;;;;EAXd,IAWJ,kBAAA;AAAA"}
+{"version":3,"file":"migration.d.mts","names":[],"sources":["../src/core/sql-migration.ts"],"mappings":";;;;;;AAmBA;;;;;;;;;;;;uBAAsB,YAAA,kBACH,oBAAA,6CAET,SAAA,CAAU,yBAAA,CAA0B,QAAA,UAAkB,SAAA;EAAtD;;;;;;AAWc;;;;EAXd,IAWJ,kBAAA;AAAA"}

package/dist/migration.mjs

@@ -1,5 +1,6 @@
 import { deriveProvidedInvariants } from "@prisma-next/migration-tools/invariants";
 import { Migration } from "@prisma-next/migration-tools/migration";
+import { isThenable } from "@prisma-next/utils/promise";
 //#region src/core/sql-migration.ts
 /**
 * Family-owned base class for SQL migrations.
@@ -27,7 +28,7 @@ var SqlMigration = class extends Migration {
 	* `MigrationPlan.providedInvariants?` stays optional.
 	*/
 	get providedInvariants() {
-		return deriveProvidedInvariants(this.operations);
+		return deriveProvidedInvariants(this.operations.filter((op) => !isThenable(op)));
 	}
 };
 //#endregion

package/dist/migration.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"migration.mjs","names":[],"sources":["../src/core/sql-migration.ts"],"sourcesContent":["import { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';\nimport { Migration } from '@prisma-next/migration-tools/migration';\nimport type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migrations/types';\n\n/**\n * Family-owned base class for SQL migrations.\n *\n * Generic in `TDetails` (family plan target details, e.g. Postgres vs SQLite)\n * and in `TTargetId` (the literal target identifier, e.g. `'postgres'`).\n *\n * Adapters (Postgres, SQLite, …) extend this with a concrete `TDetails` and\n * a fixed `TTargetId` literal, so the public `Migration<TOp>` base sees the\n * fully concrete operation shape. Target-free code in SQL family / tooling\n * parameterises over `TDetails` (and usually `TTargetId = string`).\n *\n * Keeps target-free contract/runtime features in the family layer while\n * letting adapters own target shape.\n */\nexport abstract class SqlMigration<\n  TDetails extends SqlPlanTargetDetails,\n  TTargetId extends string = string,\n> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId> {\n  /**\n   * Sorted, deduplicated invariant ids declared by this migration's\n   * data-transform ops. Derived from `this.operations` so the field remains\n   * consistent with the operation list — planner-built plans (`db init`,\n   * `db update`) yield `[]` because they emit no data-transform ops.\n   *\n   * Required by `SqlMigrationPlan.providedInvariants` (tightened from\n   * optional at the SQL-family layer); the framework-level\n   * `MigrationPlan.providedInvariants?` stays optional.\n   */\n  get providedInvariants(): readonly string[] {\n    return deriveProvidedInvariants(this.operations);\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAkBA,IAAsB,eAAtB,cAGU,UAAiE;;;;;;;;;;;CAWzE,IAAI,qBAAwC;EAC1C,OAAO,yBAAyB,KAAK,UAAU;CACjD;AACF"}
+{"version":3,"file":"migration.mjs","names":[],"sources":["../src/core/sql-migration.ts"],"sourcesContent":["import { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';\nimport { Migration } from '@prisma-next/migration-tools/migration';\nimport { isThenable } from '@prisma-next/utils/promise';\nimport type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migrations/types';\n\n/**\n * Family-owned base class for SQL migrations.\n *\n * Generic in `TDetails` (family plan target details, e.g. Postgres vs SQLite)\n * and in `TTargetId` (the literal target identifier, e.g. `'postgres'`).\n *\n * Adapters (Postgres, SQLite, …) extend this with a concrete `TDetails` and\n * a fixed `TTargetId` literal, so the public `Migration<TOp>` base sees the\n * fully concrete operation shape. Target-free code in SQL family / tooling\n * parameterises over `TDetails` (and usually `TTargetId = string`).\n *\n * Keeps target-free contract/runtime features in the family layer while\n * letting adapters own target shape.\n */\nexport abstract class SqlMigration<\n  TDetails extends SqlPlanTargetDetails,\n  TTargetId extends string = string,\n> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId> {\n  /**\n   * Sorted, deduplicated invariant ids declared by this migration's\n   * data-transform ops. Derived from `this.operations` so the field remains\n   * consistent with the operation list — planner-built plans (`db init`,\n   * `db update`) yield `[]` because they emit no data-transform ops.\n   *\n   * Required by `SqlMigrationPlan.providedInvariants` (tightened from\n   * optional at the SQL-family layer); the framework-level\n   * `MigrationPlan.providedInvariants?` stays optional.\n   */\n  get providedInvariants(): readonly string[] {\n    const ops = this.operations.filter(\n      (op): op is SqlMigrationPlanOperation<TDetails> => !isThenable(op),\n    );\n    return deriveProvidedInvariants(ops);\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;AAmBA,IAAsB,eAAtB,cAGU,UAAiE;;;;;;;;;;;CAWzE,IAAI,qBAAwC;EAI1C,OAAO,yBAHK,KAAK,WAAW,QACzB,OAAkD,CAAC,WAAW,EAAE,CAEjC,CAAC;CACrC;AACF"}

package/dist/pack.d.mts

@@ -6,7 +6,7 @@ declare const sqlFamilyPack: {
   readonly version: "0.0.1";
   readonly authoring: {
     readonly field: {
-      readonly uuid: {
+      readonly uuidString: {
         readonly kind: "fieldPreset";
         readonly output: {
           readonly codecId: "sql/char@1";
@@ -75,7 +75,7 @@ declare const sqlFamilyPack: {
         };
       };
       readonly id: {
-        readonly uuidv4: {
+        readonly uuidv4String: {
           readonly kind: "fieldPreset";
           readonly output: {
             readonly codecId: "sql/char@1";
@@ -92,7 +92,7 @@ declare const sqlFamilyPack: {
             readonly id: true;
           };
         };
-        readonly uuidv7: {
+        readonly uuidv7String: {
           readonly kind: "fieldPreset";
           readonly output: {
             readonly codecId: "sql/char@1";
@@ -228,6 +228,19 @@ declare const sqlFamilyPack: {
         };
       };
     };
+    readonly entityTypes: import("@prisma-next/framework-components/authoring").AuthoringEntityTypeNamespace;
+    readonly pslBlockDescriptors: {
+      readonly enum: {
+        readonly kind: "pslBlock";
+        readonly keyword: "enum";
+        readonly discriminator: "enum";
+        readonly name: {
+          readonly required: true;
+        };
+        readonly parameters: {};
+        readonly variadicParameters: true;
+      };
+    };
   };
 };
 //#endregion

package/dist/pack.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"pack.d.mts","names":[],"sources":["../src/exports/pack.ts"],"mappings":";cAIM,aAAA;EAAA"}
+{"version":3,"file":"pack.d.mts","names":[],"sources":["../src/exports/pack.ts"],"mappings":";cAKM,aAAA;EAAA"}

package/dist/pack.mjs

@@ -1,4 +1,4 @@
-import { n as sqlFamilyAuthoringFieldPresets, t as sqlFamilyAuthoringTypes } from "./authoring-type-constructors-D4lQ-qpj.mjs";
+import { i as sqlFamilyPslBlockDescriptors, n as sqlFamilyAuthoringFieldPresets, r as sqlFamilyEntityTypes, t as sqlFamilyAuthoringTypes } from "./authoring-type-constructors-CjFfO6LM.mjs";
 //#region src/exports/pack.ts
 const sqlFamilyPack = {
 	kind: "family",
@@ -7,7 +7,9 @@ const sqlFamilyPack = {
 	version: "0.0.1",
 	authoring: {
 		field: sqlFamilyAuthoringFieldPresets,
-		type: sqlFamilyAuthoringTypes
+		type: sqlFamilyAuthoringTypes,
+		entityTypes: sqlFamilyEntityTypes,
+		pslBlockDescriptors: sqlFamilyPslBlockDescriptors
 	}
 };
 //#endregion

package/dist/pack.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"pack.mjs","names":[],"sources":["../src/exports/pack.ts"],"sourcesContent":["import type { FamilyPackRef } from '@prisma-next/framework-components/components';\nimport { sqlFamilyAuthoringFieldPresets } from '../core/authoring-field-presets';\nimport { sqlFamilyAuthoringTypes } from '../core/authoring-type-constructors';\n\nconst sqlFamilyPack = {\n  kind: 'family',\n  id: 'sql',\n  familyId: 'sql',\n  version: '0.0.1',\n  authoring: {\n    field: sqlFamilyAuthoringFieldPresets,\n    type: sqlFamilyAuthoringTypes,\n  },\n} as const satisfies FamilyPackRef<'sql'>;\n\nexport default sqlFamilyPack;\n"],"mappings":";;AAIA,MAAM,gBAAgB;CACpB,MAAM;CACN,IAAI;CACJ,UAAU;CACV,SAAS;CACT,WAAW;EACT,OAAO;EACP,MAAM;CACR;AACF"}
+{"version":3,"file":"pack.mjs","names":[],"sources":["../src/exports/pack.ts"],"sourcesContent":["import type { FamilyPackRef } from '@prisma-next/framework-components/components';\nimport { sqlFamilyEntityTypes, sqlFamilyPslBlockDescriptors } from '../core/authoring-entity-types';\nimport { sqlFamilyAuthoringFieldPresets } from '../core/authoring-field-presets';\nimport { sqlFamilyAuthoringTypes } from '../core/authoring-type-constructors';\n\nconst sqlFamilyPack = {\n  kind: 'family',\n  id: 'sql',\n  familyId: 'sql',\n  version: '0.0.1',\n  authoring: {\n    field: sqlFamilyAuthoringFieldPresets,\n    type: sqlFamilyAuthoringTypes,\n    entityTypes: sqlFamilyEntityTypes,\n    pslBlockDescriptors: sqlFamilyPslBlockDescriptors,\n  },\n} as const satisfies FamilyPackRef<'sql'>;\n\nexport default sqlFamilyPack;\n"],"mappings":";;AAKA,MAAM,gBAAgB;CACpB,MAAM;CACN,IAAI;CACJ,UAAU;CACV,SAAS;CACT,WAAW;EACT,OAAO;EACP,MAAM;EACN,aAAa;EACb,qBAAqB;CACvB;AACF"}

package/dist/schema-verify.d.mts

@@ -1,4 +1,4 @@
-import { i as verifySqlSchema, n as NativeTypeNormalizer, r as VerifySqlSchemaOptions } from "./verify-sql-schema-DcMaT5Zj.mjs";
+import { i as verifySqlSchema, n as NativeTypeNormalizer, r as VerifySqlSchemaOptions } from "./verify-sql-schema-thU-jKpf.mjs";
 import { SchemaIssue } from "@prisma-next/framework-components/control";
 import { ControlPolicy } from "@prisma-next/contract/types";
 import { SqlIndexIR, SqlUniqueIR } from "@prisma-next/sql-schema-ir/types";

package/dist/schema-verify.mjs

@@ -1,2 +1,2 @@
-import { i as isUniqueConstraintSatisfied, n as arraysEqual, r as isIndexSatisfied, t as verifySqlSchema } from "./verify-sql-schema-DlAgBiT_.mjs";
+import { i as isUniqueConstraintSatisfied, n as arraysEqual, r as isIndexSatisfied, t as verifySqlSchema } from "./verify-sql-schema-xT4udQLQ.mjs";
 export { arraysEqual, isIndexSatisfied, isUniqueConstraintSatisfied, verifySqlSchema };

package/dist/{sql-contract-serializer-CY7qnms7.mjs → sql-contract-serializer-D6-28zKd.mjs}

@@ -1,10 +1,10 @@
+import { blindCast } from "@prisma-next/utils/casts";
 import { sqlContractCanonicalizationHooks } from "@prisma-next/sql-contract/canonicalization-hooks";
 import { ifDefined } from "@prisma-next/utils/defined";
 import { ContractValidationError } from "@prisma-next/contract/contract-validation-error";
 import { NamespaceBase, UNBOUND_NAMESPACE_ID } from "@prisma-next/framework-components/ir";
 import { SqlStorage, SqlUnboundNamespace, StorageTable, StorageValueSet, buildSqlNamespace } from "@prisma-next/sql-contract/types";
-import { createSqlContractSchema, validateSqlContractFully } from "@prisma-next/sql-contract/validators";
-import { blindCast } from "@prisma-next/utils/casts";
+import { createSqlContractSchema, createSqlEntrySchemaRegistry, validateSqlContractFully } from "@prisma-next/sql-contract/validators";
 import { type } from "arktype";
 //#region src/core/ir/sql-contract-serializer-base.ts
 const NamespaceRawSchema = type({
@@ -40,11 +40,11 @@ function isPlainRecord(value) {
 * `serializeContract` directly.
 */
 var SqlContractSerializerBase = class {
-	entityTypeRegistry;
+	entityHydrationRegistry;
 	contractSchema;
-	constructor(entityTypeRegistry = /* @__PURE__ */ new Map(), validatorFragments) {
-		this.entityTypeRegistry = entityTypeRegistry;
-		this.contractSchema = validatorFragments !== void 0 && validatorFragments.size > 0 ? createSqlContractSchema(validatorFragments) : void 0;
+	constructor(entityHydrationRegistry = /* @__PURE__ */ new Map(), validatorRegistry = /* @__PURE__ */ new Map()) {
+		this.entityHydrationRegistry = entityHydrationRegistry;
+		this.contractSchema = validatorRegistry.size > 0 ? createSqlContractSchema(createSqlEntrySchemaRegistry(validatorRegistry)) : void 0;
 	}
 	deserializeContract(json) {
 		const validated = this.parseSqlContractStructure(json);
@@ -87,32 +87,43 @@ var SqlContractSerializerBase = class {
 	hydrateSqlNamespaceEntry(nsId, raw) {
 		if (raw instanceof NamespaceBase) return raw;
 		const rawRecord = isPlainRecord(raw) ? raw : {};
-		if (Object.hasOwn(rawRecord, "tables") || Object.hasOwn(rawRecord, "enum") || Object.hasOwn(rawRecord, "collections")) throw new ContractValidationError("Namespace envelope uses deprecated flat slot keys; expected `entries: { table? }`", "structural");
 		const id = typeof rawRecord["id"] === "string" ? rawRecord["id"] : nsId;
 		const parsed = NamespaceRawSchema({
 			...rawRecord,
 			id
 		});
 		if (parsed instanceof type.errors) throw new ContractValidationError(`Namespace hydration failed: ${parsed.map((p) => p.message).join("; ")}`, "structural");
-		const entriesInput = { table: {} };
+		const entriesOutput = {};
 		const entriesRaw = parsed.entries;
 		if (entriesRaw !== void 0 && typeof entriesRaw === "object" && entriesRaw !== null) {
 			const rawEntries = entriesRaw;
-			const tableSlot = rawEntries["table"];
-			if (tableSlot !== null && typeof tableSlot === "object" && !Array.isArray(tableSlot)) entriesInput.table = Object.fromEntries(Object.entries(tableSlot).map(([tableName, table]) => [tableName, table instanceof StorageTable ? table : new StorageTable(table)]));
-			const valueSetSlot = rawEntries["valueSet"];
-			if (valueSetSlot !== null && typeof valueSetSlot === "object" && !Array.isArray(valueSetSlot)) entriesInput.valueSet = Object.fromEntries(Object.entries(blindCast(valueSetSlot)).map(([vsName, vs]) => [vsName, vs instanceof StorageValueSet ? vs : new StorageValueSet(blindCast(vs))]));
+			for (const [key, innerMap] of Object.entries(rawEntries)) {
+				const hydrated = this.hydrateEntriesKind(key, innerMap);
+				if (hydrated === void 0) throw new ContractValidationError(`Unknown entries key "${key}" in namespace "${id}"; no hydration factory registered for this entity kind`, "structural");
+				entriesOutput[key] = hydrated;
+			}
 		}
+		if (!Object.hasOwn(entriesOutput, "table")) entriesOutput["table"] = {};
 		return blindCast({
 			id,
-			entries: entriesInput
+			entries: entriesOutput
 		});
 	}
+	hydrateEntriesKind(key, innerMap) {
+		if (key === "table") {
+			if (innerMap === null || typeof innerMap !== "object" || Array.isArray(innerMap)) return {};
+			return Object.fromEntries(Object.entries(blindCast(innerMap)).map(([tableName, table]) => [tableName, new StorageTable(blindCast(table))]));
+		}
+		if (key === "valueSet") {
+			if (innerMap === null || typeof innerMap !== "object" || Array.isArray(innerMap)) return {};
+			return Object.fromEntries(Object.entries(blindCast(innerMap)).map(([vsName, vs]) => [vsName, new StorageValueSet(blindCast(vs))]));
+		}
+	}
 	hydrateStorageTypeEntry(entry) {
 		if (typeof entry !== "object" || entry === null) return entry;
 		const kind = entry.kind;
 		if (typeof kind !== "string") return entry;
-		const factory = this.entityTypeRegistry.get(kind);
+		const factory = this.entityHydrationRegistry.get(kind);
 		if (factory === void 0) return entry;
 		return blindCast(factory(entry));
 	}
@@ -139,4 +150,4 @@ var SqlContractSerializer = class extends SqlContractSerializerBase {
 //#endregion
 export { SqlContractSerializerBase as n, SqlContractSerializer as t };
 
-//# sourceMappingURL=sql-contract-serializer-CY7qnms7.mjs.map
+//# sourceMappingURL=sql-contract-serializer-D6-28zKd.mjs.map

package/dist/sql-contract-serializer-D6-28zKd.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql-contract-serializer-D6-28zKd.mjs","names":[],"sources":["../src/core/ir/sql-contract-serializer-base.ts","../src/core/ir/sql-contract-serializer.ts"],"sourcesContent":["import { ContractValidationError } from '@prisma-next/contract/contract-validation-error';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { ContractSerializer } from '@prisma-next/framework-components/control';\nimport {\n  type Namespace,\n  NamespaceBase,\n  UNBOUND_NAMESPACE_ID,\n} from '@prisma-next/framework-components/ir';\nimport { sqlContractCanonicalizationHooks } from '@prisma-next/sql-contract/canonicalization-hooks';\nimport {\n  buildSqlNamespace,\n  type SqlNamespaceTablesInput,\n  SqlStorage,\n  type SqlStorageInput,\n  type SqlStorageTypeEntry,\n  SqlUnboundNamespace,\n  StorageTable,\n  type StorageTableInput,\n  StorageValueSet,\n  type StorageValueSetInput,\n} from '@prisma-next/sql-contract/types';\nimport {\n  createSqlContractSchema,\n  createSqlEntrySchemaRegistry,\n  validateSqlContractFully,\n} from '@prisma-next/sql-contract/validators';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject } from '@prisma-next/utils/json';\nimport { type Type, type } from 'arktype';\n\nconst NamespaceRawSchema = type({\n  id: 'string',\n  'kind?': 'string',\n  entries: type({\n    '+': 'ignore',\n  }),\n});\n\nfunction isPlainRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nexport type SqlEntityHydrationFactory = (entry: unknown) => unknown;\n\n/**\n * SQL family `ContractSerializer` abstract base. Carries the SQL-shared\n * deserialization pipeline:\n *\n * 1. `parseSqlContractStructure` validates the on-disk JSON envelope\n *    against the SQL contract arktype schema (`validateSqlContractFully`)\n *    and returns the validated flat-data shape.\n * 2. `hydrateSqlStorage` walks the validated `storage` subtree and\n *    constructs the family-shared SQL Contract IR class hierarchy\n *    (`SqlStorage` -> `StorageTable` -> `StorageColumn` / `PrimaryKey`\n *    / …). The rest of the contract envelope is JSON-clean primitive\n *    data and passes through unchanged.\n * 3. `constructTargetContract` is the target-specific extension hook;\n *    defaults to identity. Targets that need to attach target-only\n *    fields (e.g. target-specific derived storage fields) override it.\n *\n * Default `serializeContract` is identity over the contract — concrete\n * SQL targets ship JSON-clean class instances, so the contract value\n * can be stringified directly. The non-enumerable family-level `kind`\n * discriminator on `SqlNode` instances stays out of the persisted\n * envelope automatically. Targets that need to canonicalize on the way\n * out (key ordering, dropping computed-only fields) override\n * `serializeContract` directly.\n */\nexport abstract class SqlContractSerializerBase<TContract extends Contract<SqlStorage>>\n  implements ContractSerializer<TContract>\n{\n  private readonly contractSchema: Type<unknown> | undefined;\n\n  constructor(\n    protected readonly entityHydrationRegistry: ReadonlyMap<\n      string,\n      SqlEntityHydrationFactory\n    > = new Map(),\n    validatorRegistry: ReadonlyMap<string, Type<unknown>> = new Map(),\n  ) {\n    // One uniform registry: SQL core's kinds and pack contributions are\n    // composed into the same map. Only build a per-instance contract\n    // schema when pack contributions exist — the cached module-level\n    // default in `validators.ts` is the same composition with no pack\n    // entries and avoids per-instance schema compilation.\n    this.contractSchema =\n      validatorRegistry.size > 0\n        ? createSqlContractSchema(createSqlEntrySchemaRegistry(validatorRegistry))\n        : undefined;\n  }\n\n  deserializeContract<T extends TContract = TContract>(json: unknown): T {\n    const validated = this.parseSqlContractStructure(json);\n    const hydrated = this.hydrateSqlStorage(validated);\n    return this.constructTargetContract(hydrated) as T;\n  }\n\n  serializeContract(contract: TContract): JsonObject {\n    return contract as unknown as JsonObject;\n  }\n\n  shouldPreserveEmpty = sqlContractCanonicalizationHooks.shouldPreserveEmpty;\n\n  sortStorage = sqlContractCanonicalizationHooks.sortStorage;\n\n  protected parseSqlContractStructure(json: unknown): Contract<SqlStorage> {\n    return validateSqlContractFully<Contract<SqlStorage>>(\n      json,\n      this.contractSchema !== undefined ? { contractSchema: this.contractSchema } : undefined,\n    );\n  }\n\n  protected hydrateSqlStorage(validated: Contract<SqlStorage>): Contract<SqlStorage> {\n    const types = validated.storage.types;\n    const hydratedTypes =\n      types !== undefined\n        ? Object.fromEntries(\n            Object.entries(types).map(([name, entry]) => [\n              name,\n              this.hydrateStorageTypeEntry(entry),\n            ]),\n          )\n        : undefined;\n\n    const rawNamespaces = validated.storage.namespaces;\n    if (rawNamespaces === undefined) {\n      throw new ContractValidationError(\n        'Contract storage.namespaces is required after structural validation',\n        'structural',\n      );\n    }\n    const hydratedNamespaces = this.hydrateSqlNamespaceMap(rawNamespaces);\n    // Compatibility shim: production code that addresses `__unbound__` for table\n    // metadata lookups (collection-contract, query-plan-mutations, model-accessor,\n    // query-plan-meta, where-binding) uses optional chaining and tolerates absence,\n    // but runtime-qualification (TML-2605) has not yet landed cross-namespace table\n    // routing. Injecting the empty singleton here keeps helpers that augment the\n    // deserialized JSON (e.g. buildMixedPolyContract) working by providing a slot to\n    // write into. Once runtime-qualification routes table lookups by namespace, this\n    // shim should be removed.\n    const unbound = hydratedNamespaces[UNBOUND_NAMESPACE_ID] ?? SqlUnboundNamespace.instance;\n\n    return {\n      ...validated,\n      storage: new SqlStorage({\n        storageHash: validated.storage.storageHash,\n        ...ifDefined('types', hydratedTypes),\n        // Cast narrows the result of hydrateSqlNamespaceMap from the wider\n        // framework `Namespace` to the SQL-family `SqlNamespace`.\n        namespaces: blindCast<\n          SqlStorageInput['namespaces'],\n          'hydrated SQL namespaces are SqlNamespace instances (family hydration guarantees this)'\n        >({ ...hydratedNamespaces, [UNBOUND_NAMESPACE_ID]: unbound }),\n      }),\n    };\n  }\n\n  protected hydrateSqlNamespaceMap(\n    namespaces: Readonly<Record<string, Namespace | Record<string, unknown>>>,\n  ): Readonly<Record<string, Namespace>> {\n    return Object.fromEntries(\n      Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {\n        // Raw entries passed structural validation; hydrate materialises family IR class instances.\n        const namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);\n        const namespaceMaterialised =\n          namespaceHydrated instanceof NamespaceBase\n            ? namespaceHydrated\n            : buildSqlNamespace(\n                blindCast<\n                  SqlNamespaceTablesInput,\n                  'hydrateSqlNamespaceEntry returns SqlNamespaceTablesInput when raw is not a NamespaceBase'\n                >(namespaceHydrated),\n              );\n        return [nsId, namespaceMaterialised];\n      }),\n    );\n  }\n\n  protected hydrateSqlNamespaceEntry(\n    nsId: string,\n    raw: Namespace | Record<string, unknown>,\n  ): Namespace | SqlNamespaceTablesInput {\n    if (raw instanceof NamespaceBase) {\n      return raw;\n    }\n    const rawRecord = isPlainRecord(raw) ? raw : {};\n    const id = typeof rawRecord['id'] === 'string' ? rawRecord['id'] : nsId;\n    const parsed = NamespaceRawSchema({ ...rawRecord, id });\n    if (parsed instanceof type.errors) {\n      const messages = parsed.map((p: { message: string }) => p.message).join('; ');\n      throw new ContractValidationError(`Namespace hydration failed: ${messages}`, 'structural');\n    }\n    const entriesOutput: Record<string, Record<string, unknown>> = {};\n    const entriesRaw = parsed.entries;\n    if (entriesRaw !== undefined && typeof entriesRaw === 'object' && entriesRaw !== null) {\n      const rawEntries = entriesRaw as Record<string, unknown>;\n      for (const [key, innerMap] of Object.entries(rawEntries)) {\n        const hydrated = this.hydrateEntriesKind(key, innerMap);\n        if (hydrated === undefined) {\n          throw new ContractValidationError(\n            `Unknown entries key \"${key}\" in namespace \"${id}\"; no hydration factory registered for this entity kind`,\n            'structural',\n          );\n        }\n        entriesOutput[key] = hydrated;\n      }\n    }\n    // Always ensure a 'table' key is present (may be empty).\n    if (!Object.hasOwn(entriesOutput, 'table')) {\n      entriesOutput['table'] = {};\n    }\n\n    return blindCast<SqlNamespaceTablesInput, 'hydrated namespace entries input'>({\n      id,\n      entries: entriesOutput,\n    });\n  }\n\n  protected hydrateEntriesKind(\n    key: string,\n    innerMap: unknown,\n  ): Record<string, unknown> | undefined {\n    if (key === 'table') {\n      if (innerMap === null || typeof innerMap !== 'object' || Array.isArray(innerMap)) {\n        return {};\n      }\n      return Object.fromEntries(\n        Object.entries(\n          blindCast<\n            Record<string, unknown>,\n            'table inner map is a plain record after object check'\n          >(innerMap),\n        ).map(([tableName, table]) => [\n          tableName,\n          new StorageTable(\n            blindCast<\n              StorageTableInput,\n              'each table value is StorageTableInput by contract schema'\n            >(table),\n          ),\n        ]),\n      );\n    }\n    if (key === 'valueSet') {\n      if (innerMap === null || typeof innerMap !== 'object' || Array.isArray(innerMap)) {\n        return {};\n      }\n      return Object.fromEntries(\n        Object.entries(\n          blindCast<\n            Record<string, unknown>,\n            'valueSet inner map is a plain record after object check'\n          >(innerMap),\n        ).map(([vsName, vs]) => [\n          vsName,\n          new StorageValueSet(\n            blindCast<StorageValueSetInput, 'valueSet entry is StorageValueSetInput after parse'>(\n              vs,\n            ),\n          ),\n        ]),\n      );\n    }\n    // Delegate unknown keys to subclass — return undefined to fail closed.\n    return undefined;\n  }\n\n  protected hydrateStorageTypeEntry(entry: SqlStorageTypeEntry): SqlStorageTypeEntry {\n    if (typeof entry !== 'object' || entry === null) {\n      return entry;\n    }\n    const kind = (entry as { kind?: unknown }).kind;\n    if (typeof kind !== 'string') {\n      return entry;\n    }\n    const factory = this.entityHydrationRegistry.get(kind);\n    if (factory === undefined) {\n      return entry;\n    }\n    return blindCast<\n      SqlStorageTypeEntry,\n      'entity registry factory returns SqlStorageTypeEntry for storage.types entries'\n    >(factory(entry));\n  }\n\n  protected constructTargetContract(hydrated: Contract<SqlStorage>): TContract {\n    return hydrated as TContract;\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SqlContractSerializerBase } from './sql-contract-serializer-base';\n\n/**\n * Default SQL family `ContractSerializer` concretion. Inherits the\n * full SQL-shared deserialization pipeline (structural validation +\n * IR-class hydration) without pack-registered `storage.types`\n * hydration factories — targets that emit polymorphic JSON outside the\n * codec-typed envelope wire a target-specific subclass with a populated\n * registry (see Postgres). Family-level call sites instantiate this\n * default directly when no target serializer is supplied.\n */\nexport class SqlContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n  constructor() {\n    super(new Map());\n  }\n}\n"],"mappings":";;;;;;;;;AA+BA,MAAM,qBAAqB,KAAK;CAC9B,IAAI;CACJ,SAAS;CACT,SAAS,KAAK,EACZ,KAAK,SACP,CAAC;AACH,CAAC;AAED,SAAS,cAAc,OAAkD;CACvE,OAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAC5E;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,IAAsB,4BAAtB,MAEA;CAIuB;CAHrB;CAEA,YACE,0CAGI,IAAI,IAAI,GACZ,oCAAwD,IAAI,IAAI,GAChE;EALmB,KAAA,0BAAA;EAWnB,KAAK,iBACH,kBAAkB,OAAO,IACrB,wBAAwB,6BAA6B,iBAAiB,CAAC,IACvE,KAAA;CACR;CAEA,oBAAqD,MAAkB;EACrE,MAAM,YAAY,KAAK,0BAA0B,IAAI;EACrD,MAAM,WAAW,KAAK,kBAAkB,SAAS;EACjD,OAAO,KAAK,wBAAwB,QAAQ;CAC9C;CAEA,kBAAkB,UAAiC;EACjD,OAAO;CACT;CAEA,sBAAsB,iCAAiC;CAEvD,cAAc,iCAAiC;CAE/C,0BAAoC,MAAqC;EACvE,OAAO,yBACL,MACA,KAAK,mBAAmB,KAAA,IAAY,EAAE,gBAAgB,KAAK,eAAe,IAAI,KAAA,CAChF;CACF;CAEA,kBAA4B,WAAuD;EACjF,MAAM,QAAQ,UAAU,QAAQ;EAChC,MAAM,gBACJ,UAAU,KAAA,IACN,OAAO,YACL,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,CAC3C,MACA,KAAK,wBAAwB,KAAK,CACpC,CAAC,CACH,IACA,KAAA;EAEN,MAAM,gBAAgB,UAAU,QAAQ;EACxC,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,wBACR,uEACA,YACF;EAEF,MAAM,qBAAqB,KAAK,uBAAuB,aAAa;EASpE,MAAM,UAAU,mBAAmB,yBAAyB,oBAAoB;EAEhF,OAAO;GACL,GAAG;GACH,SAAS,IAAI,WAAW;IACtB,aAAa,UAAU,QAAQ;IAC/B,GAAG,UAAU,SAAS,aAAa;IAGnC,YAAY,UAGV;KAAE,GAAG;MAAqB,uBAAuB;IAAQ,CAAC;GAC9D,CAAC;EACH;CACF;CAEA,uBACE,YACqC;EACrC,OAAO,OAAO,YACZ,OAAO,QAAQ,UAAU,CAAC,CAAC,KAAK,CAAC,MAAM,uBAAuB;GAE5D,MAAM,oBAAoB,KAAK,yBAAyB,MAAM,iBAAiB;GAU/E,OAAO,CAAC,MARN,6BAA6B,gBACzB,oBACA,kBACE,UAGE,iBAAiB,CACrB,CAC6B;EACrC,CAAC,CACH;CACF;CAEA,yBACE,MACA,KACqC;EACrC,IAAI,eAAe,eACjB,OAAO;EAET,MAAM,YAAY,cAAc,GAAG,IAAI,MAAM,CAAC;EAC9C,MAAM,KAAK,OAAO,UAAU,UAAU,WAAW,UAAU,QAAQ;EACnE,MAAM,SAAS,mBAAmB;GAAE,GAAG;GAAW;EAAG,CAAC;EACtD,IAAI,kBAAkB,KAAK,QAEzB,MAAM,IAAI,wBAAwB,+BADjB,OAAO,KAAK,MAA2B,EAAE,OAAO,CAAC,CAAC,KAAK,IACA,KAAK,YAAY;EAE3F,MAAM,gBAAyD,CAAC;EAChE,MAAM,aAAa,OAAO;EAC1B,IAAI,eAAe,KAAA,KAAa,OAAO,eAAe,YAAY,eAAe,MAAM;GACrF,MAAM,aAAa;GACnB,KAAK,MAAM,CAAC,KAAK,aAAa,OAAO,QAAQ,UAAU,GAAG;IACxD,MAAM,WAAW,KAAK,mBAAmB,KAAK,QAAQ;IACtD,IAAI,aAAa,KAAA,GACf,MAAM,IAAI,wBACR,wBAAwB,IAAI,kBAAkB,GAAG,0DACjD,YACF;IAEF,cAAc,OAAO;GACvB;EACF;EAEA,IAAI,CAAC,OAAO,OAAO,eAAe,OAAO,GACvC,cAAc,WAAW,CAAC;EAG5B,OAAO,UAAuE;GAC5E;GACA,SAAS;EACX,CAAC;CACH;CAEA,mBACE,KACA,UACqC;EACrC,IAAI,QAAQ,SAAS;GACnB,IAAI,aAAa,QAAQ,OAAO,aAAa,YAAY,MAAM,QAAQ,QAAQ,GAC7E,OAAO,CAAC;GAEV,OAAO,OAAO,YACZ,OAAO,QACL,UAGE,QAAQ,CACZ,CAAC,CAAC,KAAK,CAAC,WAAW,WAAW,CAC5B,WACA,IAAI,aACF,UAGE,KAAK,CACT,CACF,CAAC,CACH;EACF;EACA,IAAI,QAAQ,YAAY;GACtB,IAAI,aAAa,QAAQ,OAAO,aAAa,YAAY,MAAM,QAAQ,QAAQ,GAC7E,OAAO,CAAC;GAEV,OAAO,OAAO,YACZ,OAAO,QACL,UAGE,QAAQ,CACZ,CAAC,CAAC,KAAK,CAAC,QAAQ,QAAQ,CACtB,QACA,IAAI,gBACF,UACE,EACF,CACF,CACF,CAAC,CACH;EACF;CAGF;CAEA,wBAAkC,OAAiD;EACjF,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC,OAAO;EAET,MAAM,OAAQ,MAA6B;EAC3C,IAAI,OAAO,SAAS,UAClB,OAAO;EAET,MAAM,UAAU,KAAK,wBAAwB,IAAI,IAAI;EACrD,IAAI,YAAY,KAAA,GACd,OAAO;EAET,OAAO,UAGL,QAAQ,KAAK,CAAC;CAClB;CAEA,wBAAkC,UAA2C;EAC3E,OAAO;CACT;AACF;;;;;;;;;;;;ACpRA,IAAa,wBAAb,cAA2C,0BAAgD;CACzF,cAAc;EACZ,sBAAM,IAAI,IAAI,CAAC;CACjB;AACF"}

package/dist/{types-CbwQCzXY.d.mts → types-kgstZ_Zd.d.mts}

@@ -1,10 +1,10 @@
-import { n as SqlControlAdapter } from "./control-adapter-CgIL9Vtx.mjs";
+import { r as SqlControlAdapter } from "./control-adapter-Cmw9LvEP.mjs";
 import { ContractSerializer, ContractSpace, ControlAdapterDescriptor, ControlExtensionDescriptor, ControlFamilyInstance, ControlStack, MigratableTargetDescriptor, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerSuccessResult, MigrationRunnerExecutionChecks, MigrationRunnerFailure, MigrationRunnerPerSpaceSuccessValue, MigrationRunnerResult, OpFactoryCall, OperationContext, OperationPreview, OperationPreviewCapable, PslContractInferCapable, SchemaIssue, SchemaVerifier, SchemaViewCapable, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
 import { SqlControlDriverInstance, SqlStorage, StorageColumn, StorageTable, StorageTypeInstance } from "@prisma-next/sql-contract/types";
 import { PslDocumentAst } from "@prisma-next/framework-components/psl-ast";
 import { Contract } from "@prisma-next/contract/types";
 import { Result } from "@prisma-next/utils/result";
-import { AnyQueryAst, DdlNode, LoweredStatement, LowererContext } from "@prisma-next/sql-relational-core/ast";
+import { AnyQueryAst, DdlNode, LowererContext, SqlExecuteRequest } from "@prisma-next/sql-relational-core/ast";
 import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
 import { TypesImportSpec } from "@prisma-next/framework-components/emission";
@@ -68,7 +68,7 @@ interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql', SqlSchem
     readonly contract?: unknown;
   }): Promise<SqlSchemaIR>;
   inferPslContract(schemaIR: SqlSchemaIR): PslDocumentAst;
-  lowerAst(ast: AnyQueryAst | DdlNode, context: LowererContext<unknown>): LoweredStatement;
+  lowerAst(ast: AnyQueryAst | DdlNode, context: LowererContext<unknown>): Promise<SqlExecuteRequest>;
   /**
    * Inserts the initial marker row for `space` (upsert on `space`).
    * Delegates to the target control adapter's write SPI; see
@@ -319,7 +319,7 @@ interface SqlMigrationPlan<TTargetDetails> extends MigrationPlan {
    * Destination contract identity that the plan intends to reach.
    */
   readonly destination: SqlMigrationPlanContractInfo;
-  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+  readonly operations: readonly (SqlMigrationPlanOperation<TTargetDetails> | Promise<SqlMigrationPlanOperation<TTargetDetails>>)[];
   /**
    * Sorted, deduplicated invariant ids declared by this plan's data-transform
    * ops. Required at the SQL-family layer (the SQL runners consume this as
@@ -517,4 +517,4 @@ interface CreateSqlMigrationPlanOptions<TTargetDetails> {
 }
 //#endregion
 export { SqlPlannerResult as A, SqlMigrationRunnerResult as C, SqlPlannerConflictKind as D, SqlPlannerConflict as E, StorageTypePlanResult as M, SqlControlFamilyInstance as N, SqlPlannerConflictLocation as O, SqlMigrationRunnerFailure as S, SqlPlanTargetDetails as T, SqlMigrationPlannerPlanOptions as _, FieldEvent as a, SqlMigrationRunnerExecuteCallbacks as b, SqlControlAdapterDescriptor as c, SqlMigrationPlan as d, SqlMigrationPlanContractInfo as f, SqlMigrationPlanner as g, SqlMigrationPlanOperationTarget as h, ExpandNativeTypeInput as i, SqlPlannerSuccessResult as j, SqlPlannerFailureResult as k, SqlControlExtensionDescriptor as l, SqlMigrationPlanOperationStep as m, CodecControlHooks as n, FieldEventContext as o, SqlMigrationPlanOperation as p, CreateSqlMigrationPlanOptions as r, ResolveIdentityValueInput as s, AnyRecord as t, SqlControlTargetDescriptor as u, SqlMigrationRunner as v, SqlMigrationRunnerSuccessValue as w, SqlMigrationRunnerExecuteOptions as x, SqlMigrationRunnerErrorCode as y };
-//# sourceMappingURL=types-CbwQCzXY.d.mts.map
+//# sourceMappingURL=types-kgstZ_Zd.d.mts.map

package/dist/types-kgstZ_Zd.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-kgstZ_Zd.d.mts","names":[],"sources":["../src/core/control-instance.ts","../src/core/migrations/types.ts"],"mappings":";;;;;;;;;;;;;;UA4KU,eAAA;EAAA,SACC,MAAA;EAAA,SACA,QAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA;AAAA;AAAA,KAGN,uBAAA,GAA0B,GAAG,SAAS,eAAA;AAAA,UAEjC,sBAAA;EAAA,SACC,gBAAA,EAAkB,aAAA,CAAc,eAAA;EAAA,SAChC,YAAA,EAAc,aAAA;EAAA,SACd,oBAAA,EAAsB,uBAAA;AAAA;AAAA,UAGhB,wBAAA,SACP,qBAAA,QAA6B,WAAA,GACnC,iBAAA,CAAkB,WAAA,GAClB,uBAAA,CAAwB,WAAA,GACxB,uBAAA,EACA,sBAAA;EAhBO;;AAAU;AAAA;;;;AAGqC;EAsBxD,mBAAA,CAAoB,YAAA,YAAwB,QAAA;EAE5C,MAAA,CAAO,OAAA;IAAA,SACI,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;IAAA,SACA,gBAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,oBAAA;EAzB0C;;;;;;;;;AAAA;EAqCtD,YAAA,CAAa,OAAA;IAAA,SACF,QAAA;IAAA,SACA,MAAA,EAAQ,WAAA;IAAA,SACR,MAAA;IAAA,SACA,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,IAC1C,0BAAA;EAEJ,IAAA,CAAK,OAAA;IAAA,SACM,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,kBAAA;EAEZ,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;EAAA,IACP,OAAA,CAAQ,WAAA;EAEZ,gBAAA,CAAiB,QAAA,EAAU,WAAA,GAAc,cAAA;EAEzC,QAAA,CACE,GAAA,EAAK,WAAA,GAAc,OAAA,EACnB,OAAA,EAAS,cAAA,YACR,OAAA,CAAQ,iBAAA;EAPC;;;;;EAcZ,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,WAAA;MAAA,SACE,WAAA;MAAA,SACA,WAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EAgCA;;;;EA1BJ,YAAA,CAAa,OAAA;IAAA,SACF,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,YAAA;IAAA,SACA,WAAA;MAAA,SACE,WAAA;MAAA,SACA,WAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EAtFF;;;;EA4FF,gBAAA,CAAiB,OAAA;IAAA,SACN,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,KAAA;MAAA,SACE,MAAA;MAAA,SACA,IAAA;MAAA,SACA,EAAA;MAAA,SACA,aAAA;MAAA,SACA,aAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EAEJ,4BAAA,aAAyC,OAAA;EAEzC,0BAAA,aAAuC,OAAA;EAEvC,kBAAA,CAAmB,UAAA,WAAqB,sBAAA,KAA2B,gBAAA;AAAA;;;KCrQzD,SAAA,GAAY,QAAQ,CAAC,MAAA;AAAA,UAEhB,qBAAA;EAAA,SACN,UAAA,WAAqB,yBAAyB,CAAC,cAAA;AAAA;ADCsB;;;AAAA,UCK/D,qBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;AD+HT;AAAA;;;;AAGqC;UCxHzC,yBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;;;;;;;;;;;;AD0H0B;AAGxD;KC5GY,UAAA;;;;;;;;;;;;;UAcK,iBAAA;EAAA,SACN,WAAA;EAAA,SACA,SAAA;EAAA,SACA,SAAA;EAAA,SACA,UAAA,GAAa,YAAA;EAAA,SACb,QAAA,GAAW,YAAA;EAAA,SACX,UAAA,GAAa,aAAA;EAAA,SACb,QAAA,GAAW,aAAA;AAAA;AAAA,UAGL,iBAAA;EACf,kBAAA,IAAsB,OAAA;IAAA,SACX,QAAA;IAAA,SACA,YAAA,EAAc,mBAAA;IAAA,SACd,QAAA,EAAU,QAAA,CAAS,UAAA;IAAA,SACnB,MAAA,EAAQ,WAAA;IAAA,SACR,UAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;EAAA,MACb,qBAAA,CAAsB,cAAA;EAC5B,UAAA,IAAc,OAAA;IAAA,SACH,QAAA;IAAA,SACA,YAAA,EAAc,mBAAA;IAAA,SACd,MAAA,EAAQ,WAAA;IAAA,SACR,UAAA;EAAA,eACI,WAAA;EACf,eAAA,IAAmB,OAAA;IAAA,SACR,MAAA,EAAQ,wBAAA;IAAA,SACR,UAAA;EAAA,MACL,OAAA,CAAQ,MAAA,SAAe,mBAAA;EDuEL;;;;;;;;;;EC5DxB,gBAAA,IAAoB,KAAA,EAAO,qBAAA;EDqEP;;;;;;;;;EC3DpB,oBAAA,IAAwB,KAAA,EAAO,yBAAA;EDmE3B;;;;;;;;;;;;;;ECpDJ,YAAA,IAAgB,KAAA,EAAO,UAAA,EAAY,GAAA,EAAK,iBAAA,cAA+B,aAAA;AAAA;AAAA,UAGxD,6BAAA,mCACP,0BAAA,QAAkC,SAAA;EAAA,SACjC,eAAA,SAAwB,uBAAA;EDkE5B;;;;;;;;;;;EAAA,SCtDI,aAAA,GAAgB,aAAA,CAAc,QAAA,CAAS,UAAA;AAAA;AAAA,UAGjC,2BAAA,mCACP,wBAAA,QAAgC,SAAA,EAAW,iBAAA,CAAkB,SAAA;EAAA,SAC5D,eAAA,SAAwB,uBAAA;AAAA;AAAA,UAGlB,6BAAA;EAAA,SACN,WAAA;EAAA,SACA,GAAA;ED4DP;;;;;;;;EAAA,SCnDO,MAAA;EAAA,SACA,IAAA,GAAO,SAAS;AAAA;;;;;;;;UAUV,oBAAA;EAAA,SACN,MAAA;EAAA,SACA,IAAI;AAAA;AAAA,UAGE,+BAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA,GAAU,cAAc;AAAA;AAAA,UAGlB,yBAAA,yBAAkD,sBAAA;EAAA,SACxD,OAAA;EAAA,SACA,MAAA,EAAQ,+BAAA,CAAgC,cAAA;EAAA,SACxC,QAAA,WAAmB,6BAAA;EAAA,SACnB,OAAA,WAAkB,6BAAA;EAAA,SAClB,SAAA,WAAoB,6BAAA;EAAA,SACpB,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,4BAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAW;AAAA;AAAA,UAGL,gBAAA,yBAAyC,aAAA;EDoExD;;;;;;;AAEmF;;;;ACrQrF;;;EDmQE,SCrDS,OAAA;EA9M4B;AAEvC;;;EAFuC,SAmN5B,MAAA,GAAS,4BAAA;EAjNmB;;;EAAA,SAqN5B,WAAA,EAAa,4BAAA;EAAA,SACb,UAAA,YACL,yBAAA,CAA0B,cAAA,IAC1B,OAAA,CAAQ,yBAAA,CAA0B,cAAA;EAvNgC;AAMxE;;;;;;;EANwE,SAiO7D,kBAAA;EAAA,SACA,IAAA,GAAO,SAAA;AAAA;AAAA,KAGN,sBAAA;AAAA,UASK,0BAAA;EAAA,SACN,SAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,KAAA;EAAA,SACA,UAAA;EAAA,SACA,IAAA;AAAA;AAAA,UAGM,kBAAA,SAA2B,wBAAA;EAAA,SACjC,IAAA,EAAM,sBAAA;EAAA,SACN,QAAA,GAAW,0BAAA;EAAA,SACX,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,uBAAA,yBACP,IAAA,CAAK,6BAAA;EAAA,SACJ,IAAA;EAAA,SACA,IAAA,EAAM,gBAAA,CAAiB,cAAA;AAAA;AAAA,UAGjB,uBAAA,SAAgC,IAAA,CAAK,6BAAA;EAAA,SAC3C,IAAA;EAAA,SACA,SAAA,WAAoB,kBAAA;AAAA;AAAA,KAGnB,gBAAA,mBACR,uBAAA,CAAwB,cAAA,IACxB,uBAAA;AAAA,UAEa,8BAAA;EAAA,SACN,QAAA,EAAU,QAAA,CAAS,UAAA;EAAA,SACnB,MAAA,EAAQ,WAAA;EAAA,SACR,MAAA,EAAQ,wBAAA;EAAA,SACR,UAAA;EAvNa;;;;;;;EAAA,SA+Nb,OAAA;EA5NwB;AAGnC;;;;;;;;;;;;;;;EAHmC,SA6OxB,YAAA,EAAc,QAAA,CAAS,UAAA;EAxN1B;;;;;;EAAA,SA+NG,mBAAA,EAAqB,aAAA,CAAc,8BAAA;AAAA;AAAA,UAG7B,mBAAA;EACf,IAAA,CAAK,OAAA,EAAS,8BAAA,GAAiC,gBAAA,CAAiB,cAAA;AAAA;AAAA,UAGjD,kCAAA;EACf,gBAAA,EAAkB,SAAA,EAAW,yBAAA,CAA0B,cAAA;EACvD,mBAAA,EAAqB,SAAA,EAAW,yBAAA,CAA0B,cAAA;AAAA;AAAA,UAG3C,gCAAA;EAAA,SACN,IAAA,EAAM,gBAAA,CAAiB,cAAA;EAAA,SACvB,MAAA,EAAQ,wBAAA;EAzPN;;;;;;;EAAA,SAiQF,KAAA;EA5PE;;;;EAAA,SAiQF,mBAAA,EAAqB,QAAA,CAAS,UAAA;EAnQzB;;;;EAAA,SAwQL,MAAA,EAAQ,wBAAA;EAAA,SACR,UAAA;EAAA,SACA,kBAAA;EAAA,SACA,SAAA,GAAY,kCAAA,CAAmC,cAAA;EAAA,SAC/C,OAAA,GAAU,gBAAA;EAnQU;;;;EAAA,SAwQpB,eAAA,GAAkB,8BAAA;EAnPI;;;;;;EAAA,SA0PtB,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EA3O2B;;AAAa;AAGtF;EAHyE,SAgP9D,cAAA,WAAyB,yBAAA;AAAA;AAAA,KAGxB,2BAAA;AAAA,UAYK,yBAAA,SAAkC,sBAAA;EAAA,SACxC,IAAA,EAAM,2BAAA;EAAA,SACN,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,8BAAA,SAAuC,mCAAmC;AAAA,KAE/E,wBAAA,GAA2B,MAAA,CACrC,8BAAA,EACA,yBAAA;AAAA,UAGe,kBAAA;EAvQP;;;;;;;;;AAakD;AAG5D;;;EAqQE,OAAA,CAAQ,OAAA;IAAA,SACG,MAAA,EAAQ,wBAAA;IAAA,SACR,eAAA,EAAiB,aAAA,CAAc,gCAAA,CAAiC,cAAA;EAAA,IACvE,OAAA,CAAQ,qBAAA;EAvQJ;;;;;;;;;;EAmRR,mBAAA,CACE,OAAA,EAAS,gCAAA,CAAiC,cAAA,IACzC,OAAA,CAAQ,wBAAA;AAAA;AAAA,UAGI,0BAAA,6DAGG,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA,WAC1C,0BAAA,QAAkC,SAAA,EAAW,wBAAA;EAAA,SAC5C,eAAA,SAAwB,uBAAA;;;;;;;WAOxB,kBAAA,EAAoB,kBAAA,CAAmB,SAAA;EApRvB;AAAA;AAU3B;;;;EAV2B,SA2RhB,cAAA,EAAgB,cAAA,CAAe,SAAA,EAAW,WAAA;EACnD,aAAA,CAAc,OAAA,EAAS,iBAAA,CAAkB,SAAA,IAAa,mBAAA,CAAoB,cAAA;EAC1E,YAAA,CAAa,MAAA,EAAQ,wBAAA,GAA2B,kBAAA,CAAmB,cAAA;AAAA;AAAA,UAGpD,6BAAA;EAAA,SACN,QAAA;EAjRA;;;EAAA,SAqRA,OAAA;EAAA,SACA,MAAA,GAAS,4BAAA;EAAA,SACT,WAAA,EAAa,4BAAA;EAAA,SACb,UAAA,WAAqB,yBAAA,CAA0B,cAAA;EApRhB;;;;;EAAA,SA0R/B,kBAAA;EAAA,SACA,IAAA,GAAO,SAAA;AAAA"}

package/dist/{verify-sql-schema-DcMaT5Zj.d.mts → verify-sql-schema-thU-jKpf.d.mts}

@@ -1,5 +1,5 @@
 import { OperationContext, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
-import { PostgresEnumStorageEntry, SqlStorage } from "@prisma-next/sql-contract/types";
+import { SqlStorage } from "@prisma-next/sql-contract/types";
 import { ColumnDefault, Contract } from "@prisma-next/contract/types";
 import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
@@ -49,18 +49,6 @@ interface VerifySqlSchemaOptions {
    * with contract native types (e.g., Postgres 'varchar' → 'character varying').
    */
   readonly normalizeNativeType?: NativeTypeNormalizer;
-  /**
-   * Bridging adapter that resolves the existing values for a `PostgresEnumStorageEntry`
-   * (looked up by its native type) from the introspected schema IR. Targets
-   * supply this so the family-level verifier can walk `PostgresEnumStorageEntry` instances
-   * natively without reaching into target-specific `schema.annotations`
-   * shapes itself.
-   *
-   * Returning `null` indicates the type is missing from the database; the
-   * verifier emits a `type_missing` issue. A non-null array triggers a
-   * value-set comparison against the contract's `PostgresEnumStorageEntry.values`.
-   */
-  readonly resolveExistingEnumValues?: (schema: SqlSchemaIR, enumType: PostgresEnumStorageEntry, namespaceId: string) => readonly string[] | null;
 }
 /**
  * Verifies that a SqlSchemaIR matches a Contract.
@@ -75,4 +63,4 @@ interface VerifySqlSchemaOptions {
 declare function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabaseSchemaResult;
 //#endregion
 export { verifySqlSchema as i, NativeTypeNormalizer as n, VerifySqlSchemaOptions as r, DefaultNormalizer as t };
-//# sourceMappingURL=verify-sql-schema-DcMaT5Zj.d.mts.map
+//# sourceMappingURL=verify-sql-schema-thU-jKpf.d.mts.map

package/dist/verify-sql-schema-thU-jKpf.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-sql-schema-thU-jKpf.d.mts","names":[],"sources":["../src/core/schema-verify/verify-sql-schema.ts"],"mappings":";;;;;;;;;;AAmDkB;KAHN,iBAAA,IACV,UAAA,UACA,UAAA,aACG,aAAa;;;;AAOoC;AAKtD;KALY,oBAAA,IAAwB,UAAkB;;;;UAKrC,sBAAA;EAQI;EAAA,SANV,QAAA,EAAU,QAAA,CAAS,UAAA;EAagB;EAAA,SAXnC,MAAA,EAAQ,WAAA;EAiBW;EAAA,SAfnB,MAAA;EAqB0C;EAAA,SAnB1C,OAAA,GAAU,gBAAA;EANV;EAAA,SAQA,oBAAA,EAAsB,WAAA;IAAsB,UAAA;EAAA;EANpC;;;;EAAA,SAWR,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EALb;;;;;EAAA,SAWtB,gBAAA,GAAmB,iBAAA;EAAA;;;;AAMuB;EANvB,SAMnB,mBAAA,GAAsB,oBAAA;AAAA;;;;;;;AAa2D;;;;iBAA5E,eAAA,CAAgB,OAAA,EAAS,sBAAA,GAAyB,0BAA0B"}