@prisma-next/family-sql 0.13.0-dev.4 → 0.13.0-dev.40

package/dist/authoring-type-constructors-CjFfO6LM.mjs

@@ -0,0 +1,342 @@
+import { enumType } from "@prisma-next/sql-contract-ts/contract-builder";
+import { blindCast } from "@prisma-next/utils/casts";
+//#region src/core/authoring-entity-types.ts
+function parseQuotedString(raw) {
+	if (raw.startsWith("\"") && raw.endsWith("\"") && raw.length >= 2) return raw.slice(1, -1);
+}
+const sqlFamilyEntityTypes = { enum: {
+	kind: "entity",
+	discriminator: "enum",
+	output: { factory: (block, ctx) => {
+		const sourceId = ctx.sourceId ?? "unknown";
+		const diagnostics = ctx.diagnostics;
+		const typeAttr = block.blockAttributes.find((a) => a.name === "type");
+		if (!typeAttr) {
+			diagnostics?.push({
+				code: "PSL_ENUM_MISSING_TYPE",
+				message: `enum "${block.name}" is missing a @@type("codecId") attribute`,
+				sourceId,
+				span: block.span
+			});
+			return;
+		}
+		const rawCodecArg = typeAttr.args[0]?.value;
+		const codecId = rawCodecArg !== void 0 ? parseQuotedString(rawCodecArg) : void 0;
+		if (!codecId) {
+			diagnostics?.push({
+				code: "PSL_ENUM_MISSING_TYPE",
+				message: `enum "${block.name}" @@type attribute must have a quoted codec id argument`,
+				sourceId,
+				span: typeAttr.span
+			});
+			return;
+		}
+		const nativeType = ctx.codecLookup?.targetTypesFor(codecId)?.[0];
+		if (nativeType === void 0) {
+			const typeArgSpan = typeAttr.args[0]?.span ?? typeAttr.span;
+			diagnostics?.push({
+				code: "PSL_EXTENSION_INVALID_VALUE",
+				message: `enum "${block.name}" @@type references unknown codec "${codecId}"`,
+				sourceId,
+				span: typeArgSpan
+			});
+			return;
+		}
+		const codec = ctx.codecLookup?.get(codecId);
+		if (codec === void 0) {
+			const typeArgSpan = typeAttr.args[0]?.span ?? typeAttr.span;
+			diagnostics?.push({
+				code: "PSL_EXTENSION_INVALID_VALUE",
+				message: `enum "${block.name}" @@type codec "${codecId}" resolves in targetTypesFor but is absent from codecLookup.get`,
+				sourceId,
+				span: typeArgSpan
+			});
+			return;
+		}
+		const seenValues = /* @__PURE__ */ new Set();
+		const members = [];
+		let memberError = false;
+		for (const [memberName, paramValue] of Object.entries(block.parameters)) {
+			let value;
+			if (paramValue.kind === "bare") try {
+				value = codec.decodeJson(memberName);
+			} catch {
+				diagnostics?.push({
+					code: "PSL_ENUM_BARE_MEMBER_NON_STRING_CODEC",
+					message: `enum "${block.name}" member "${memberName}" has no value and codec "${codecId}" does not accept a bare name as input`,
+					sourceId,
+					span: paramValue.span
+				});
+				memberError = true;
+				continue;
+			}
+			else if (paramValue.kind === "value") {
+				let jsonValue;
+				try {
+					jsonValue = JSON.parse(paramValue.raw);
+				} catch {
+					diagnostics?.push({
+						code: "PSL_EXTENSION_INVALID_VALUE",
+						message: `enum "${block.name}" member "${memberName}" value "${paramValue.raw}" is not valid JSON`,
+						sourceId,
+						span: paramValue.span
+					});
+					memberError = true;
+					continue;
+				}
+				try {
+					value = codec.decodeJson(blindCast(jsonValue));
+				} catch (err) {
+					const reason = err instanceof Error ? err.message : String(err);
+					diagnostics?.push({
+						code: "PSL_EXTENSION_INVALID_VALUE",
+						message: `enum "${block.name}" member "${memberName}" was rejected by codec "${codecId}": ${reason}`,
+						sourceId,
+						span: paramValue.span
+					});
+					memberError = true;
+					continue;
+				}
+			} else continue;
+			const valueKey = String(value);
+			if (seenValues.has(valueKey)) {
+				diagnostics?.push({
+					code: "PSL_ENUM_DUPLICATE_MEMBER_VALUE",
+					message: `enum "${block.name}": duplicate member value "${valueKey}"`,
+					sourceId,
+					span: paramValue.span
+				});
+				memberError = true;
+				continue;
+			}
+			seenValues.add(valueKey);
+			members.push({
+				name: memberName,
+				value
+			});
+		}
+		if (memberError) return void 0;
+		if (members.length === 0) {
+			diagnostics?.push({
+				code: "PSL_ENUM_MISSING_TYPE",
+				message: `enum "${block.name}" must have at least one member`,
+				sourceId,
+				span: block.span
+			});
+			return;
+		}
+		return enumType(block.name, {
+			codecId,
+			nativeType
+		}, ...members.map((m) => ({
+			name: m.name,
+			value: m.value
+		})));
+	} }
+} };
+const sqlFamilyPslBlockDescriptors = { enum: {
+	kind: "pslBlock",
+	keyword: "enum",
+	discriminator: "enum",
+	name: { required: true },
+	parameters: {},
+	variadicParameters: true
+} };
+//#endregion
+//#region src/core/authoring-field-presets.ts
+/**
+* Family-level SQL authoring field presets.
+*
+* Only presets whose codec IDs align with the ID generator metadata live here
+* (see `@prisma-next/ids`). These presets are target-agnostic because the
+* generator metadata fixes their codec/native-type to `sql/char@1`
+* (`character`) regardless of target, and the PSL interpreter lets the
+* generator override the scalar descriptor.
+*
+* The `uuidString` / `id.uuidv4String` / `id.uuidv7String` presets store UUID
+* values as `character(36)` — portable across all SQL targets. For a native
+* Postgres `uuid` column use `uuidNative` / `id.uuidv4Native` /
+* `id.uuidv7Native` from `@prisma-next/target-postgres`.
+*
+* Scalar presets that map to target-specific codecs (e.g. `text`, `int`,
+* `boolean`, `dateTime`) are contributed by the target pack (see
+* `postgresAuthoringFieldPresets` in `@prisma-next/target-postgres`) so the
+* TS callback surface and the PSL scalar surface lower to byte-identical
+* contracts for the active target.
+*/
+const CHARACTER_CODEC_ID = "sql/char@1";
+const CHARACTER_NATIVE_TYPE = "character";
+const nanoidOptionsArgument = {
+	kind: "object",
+	optional: true,
+	properties: { size: {
+		kind: "number",
+		optional: true,
+		integer: true,
+		minimum: 2,
+		maximum: 255
+	} }
+};
+const sqlFamilyAuthoringFieldPresets = {
+	uuidString: {
+		kind: "fieldPreset",
+		output: {
+			codecId: CHARACTER_CODEC_ID,
+			nativeType: CHARACTER_NATIVE_TYPE,
+			typeParams: { length: 36 }
+		}
+	},
+	ulid: {
+		kind: "fieldPreset",
+		output: {
+			codecId: CHARACTER_CODEC_ID,
+			nativeType: CHARACTER_NATIVE_TYPE,
+			typeParams: { length: 26 }
+		}
+	},
+	nanoid: {
+		kind: "fieldPreset",
+		args: [nanoidOptionsArgument],
+		output: {
+			codecId: CHARACTER_CODEC_ID,
+			nativeType: CHARACTER_NATIVE_TYPE,
+			typeParams: { length: {
+				kind: "arg",
+				index: 0,
+				path: ["size"],
+				default: 21
+			} }
+		}
+	},
+	cuid2: {
+		kind: "fieldPreset",
+		output: {
+			codecId: CHARACTER_CODEC_ID,
+			nativeType: CHARACTER_NATIVE_TYPE,
+			typeParams: { length: 24 }
+		}
+	},
+	ksuid: {
+		kind: "fieldPreset",
+		output: {
+			codecId: CHARACTER_CODEC_ID,
+			nativeType: CHARACTER_NATIVE_TYPE,
+			typeParams: { length: 27 }
+		}
+	},
+	id: {
+		uuidv4String: {
+			kind: "fieldPreset",
+			output: {
+				codecId: CHARACTER_CODEC_ID,
+				nativeType: CHARACTER_NATIVE_TYPE,
+				typeParams: { length: 36 },
+				executionDefaults: { onCreate: {
+					kind: "generator",
+					id: "uuidv4"
+				} },
+				id: true
+			}
+		},
+		uuidv7String: {
+			kind: "fieldPreset",
+			output: {
+				codecId: CHARACTER_CODEC_ID,
+				nativeType: CHARACTER_NATIVE_TYPE,
+				typeParams: { length: 36 },
+				executionDefaults: { onCreate: {
+					kind: "generator",
+					id: "uuidv7"
+				} },
+				id: true
+			}
+		},
+		ulid: {
+			kind: "fieldPreset",
+			output: {
+				codecId: CHARACTER_CODEC_ID,
+				nativeType: CHARACTER_NATIVE_TYPE,
+				typeParams: { length: 26 },
+				executionDefaults: { onCreate: {
+					kind: "generator",
+					id: "ulid"
+				} },
+				id: true
+			}
+		},
+		nanoid: {
+			kind: "fieldPreset",
+			args: [nanoidOptionsArgument],
+			output: {
+				codecId: CHARACTER_CODEC_ID,
+				nativeType: CHARACTER_NATIVE_TYPE,
+				typeParams: { length: {
+					kind: "arg",
+					index: 0,
+					path: ["size"],
+					default: 21
+				} },
+				executionDefaults: { onCreate: {
+					kind: "generator",
+					id: "nanoid",
+					params: { size: {
+						kind: "arg",
+						index: 0,
+						path: ["size"]
+					} }
+				} },
+				id: true
+			}
+		},
+		cuid2: {
+			kind: "fieldPreset",
+			output: {
+				codecId: CHARACTER_CODEC_ID,
+				nativeType: CHARACTER_NATIVE_TYPE,
+				typeParams: { length: 24 },
+				executionDefaults: { onCreate: {
+					kind: "generator",
+					id: "cuid2"
+				} },
+				id: true
+			}
+		},
+		ksuid: {
+			kind: "fieldPreset",
+			output: {
+				codecId: CHARACTER_CODEC_ID,
+				nativeType: CHARACTER_NATIVE_TYPE,
+				typeParams: { length: 27 },
+				executionDefaults: { onCreate: {
+					kind: "generator",
+					id: "ksuid"
+				} },
+				id: true
+			}
+		}
+	}
+};
+//#endregion
+//#region src/core/authoring-type-constructors.ts
+const sqlFamilyAuthoringTypes = { sql: { String: {
+	kind: "typeConstructor",
+	args: [{
+		kind: "number",
+		name: "length",
+		integer: true,
+		minimum: 1,
+		maximum: 10485760
+	}],
+	output: {
+		codecId: "sql/varchar@1",
+		nativeType: "character varying",
+		typeParams: { length: {
+			kind: "arg",
+			index: 0
+		} }
+	}
+} } };
+//#endregion
+export { sqlFamilyPslBlockDescriptors as i, sqlFamilyAuthoringFieldPresets as n, sqlFamilyEntityTypes as r, sqlFamilyAuthoringTypes as t };
+
+//# sourceMappingURL=authoring-type-constructors-CjFfO6LM.mjs.map

package/dist/authoring-type-constructors-CjFfO6LM.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring-type-constructors-CjFfO6LM.mjs","names":[],"sources":["../src/core/authoring-entity-types.ts","../src/core/authoring-field-presets.ts","../src/core/authoring-type-constructors.ts"],"sourcesContent":["import type { JsonValue } from '@prisma-next/contract/types';\nimport type {\n  AuthoringEntityContext,\n  AuthoringEntityTypeDescriptor,\n  AuthoringEntityTypeNamespace,\n  AuthoringPslBlockDescriptorNamespace,\n  PslExtensionBlock,\n} from '@prisma-next/framework-components/authoring';\nimport { type EnumTypeHandle, enumType } from '@prisma-next/sql-contract-ts/contract-builder';\nimport { blindCast } from '@prisma-next/utils/casts';\n\nfunction parseQuotedString(raw: string): string | undefined {\n  if (raw.startsWith('\"') && raw.endsWith('\"') && raw.length >= 2) {\n    return raw.slice(1, -1);\n  }\n  return undefined;\n}\n\nexport const sqlFamilyEnumEntityDescriptor = {\n  kind: 'entity' as const,\n  discriminator: 'enum',\n  output: {\n    factory: (\n      block: PslExtensionBlock,\n      ctx: AuthoringEntityContext,\n    ): EnumTypeHandle | undefined => {\n      const sourceId = ctx.sourceId ?? 'unknown';\n      const diagnostics = ctx.diagnostics;\n\n      const typeAttr = block.blockAttributes.find((a) => a.name === 'type');\n      if (!typeAttr) {\n        diagnostics?.push({\n          code: 'PSL_ENUM_MISSING_TYPE',\n          message: `enum \"${block.name}\" is missing a @@type(\"codecId\") attribute`,\n          sourceId,\n          span: block.span,\n        });\n        return undefined;\n      }\n\n      const rawCodecArg = typeAttr.args[0]?.value;\n      const codecId = rawCodecArg !== undefined ? parseQuotedString(rawCodecArg) : undefined;\n      if (!codecId) {\n        diagnostics?.push({\n          code: 'PSL_ENUM_MISSING_TYPE',\n          message: `enum \"${block.name}\" @@type attribute must have a quoted codec id argument`,\n          sourceId,\n          span: typeAttr.span,\n        });\n        return undefined;\n      }\n\n      const nativeType = ctx.codecLookup?.targetTypesFor(codecId)?.[0];\n      if (nativeType === undefined) {\n        const typeArgSpan = typeAttr.args[0]?.span ?? typeAttr.span;\n        diagnostics?.push({\n          code: 'PSL_EXTENSION_INVALID_VALUE',\n          message: `enum \"${block.name}\" @@type references unknown codec \"${codecId}\"`,\n          sourceId,\n          span: typeArgSpan,\n        });\n        return undefined;\n      }\n\n      const codec = ctx.codecLookup?.get(codecId);\n      if (codec === undefined) {\n        const typeArgSpan = typeAttr.args[0]?.span ?? typeAttr.span;\n        diagnostics?.push({\n          code: 'PSL_EXTENSION_INVALID_VALUE',\n          message: `enum \"${block.name}\" @@type codec \"${codecId}\" resolves in targetTypesFor but is absent from codecLookup.get`,\n          sourceId,\n          span: typeArgSpan,\n        });\n        return undefined;\n      }\n\n      const seenValues = new Set<string>();\n      const members: { name: string; value: unknown }[] = [];\n      let memberError = false;\n\n      for (const [memberName, paramValue] of Object.entries(block.parameters)) {\n        let value: unknown;\n        if (paramValue.kind === 'bare') {\n          try {\n            value = codec.decodeJson(memberName);\n          } catch {\n            diagnostics?.push({\n              code: 'PSL_ENUM_BARE_MEMBER_NON_STRING_CODEC',\n              message: `enum \"${block.name}\" member \"${memberName}\" has no value and codec \"${codecId}\" does not accept a bare name as input`,\n              sourceId,\n              span: paramValue.span,\n            });\n            memberError = true;\n            continue;\n          }\n        } else if (paramValue.kind === 'value') {\n          let jsonValue: unknown;\n          try {\n            jsonValue = JSON.parse(paramValue.raw);\n          } catch {\n            diagnostics?.push({\n              code: 'PSL_EXTENSION_INVALID_VALUE',\n              message: `enum \"${block.name}\" member \"${memberName}\" value \"${paramValue.raw}\" is not valid JSON`,\n              sourceId,\n              span: paramValue.span,\n            });\n            memberError = true;\n            continue;\n          }\n          try {\n            value = codec.decodeJson(\n              blindCast<JsonValue, 'JSON.parse returns a JsonValue-compatible value'>(jsonValue),\n            );\n          } catch (err) {\n            const reason = err instanceof Error ? err.message : String(err);\n            diagnostics?.push({\n              code: 'PSL_EXTENSION_INVALID_VALUE',\n              message: `enum \"${block.name}\" member \"${memberName}\" was rejected by codec \"${codecId}\": ${reason}`,\n              sourceId,\n              span: paramValue.span,\n            });\n            memberError = true;\n            continue;\n          }\n        } else {\n          continue;\n        }\n\n        const valueKey = String(value);\n        if (seenValues.has(valueKey)) {\n          diagnostics?.push({\n            code: 'PSL_ENUM_DUPLICATE_MEMBER_VALUE',\n            message: `enum \"${block.name}\": duplicate member value \"${valueKey}\"`,\n            sourceId,\n            span: paramValue.span,\n          });\n          memberError = true;\n          continue;\n        }\n        seenValues.add(valueKey);\n        members.push({ name: memberName, value });\n      }\n\n      if (memberError) return undefined;\n\n      if (members.length === 0) {\n        diagnostics?.push({\n          code: 'PSL_ENUM_MISSING_TYPE',\n          message: `enum \"${block.name}\" must have at least one member`,\n          sourceId,\n          span: block.span,\n        });\n        return undefined;\n      }\n\n      return enumType(\n        block.name,\n        { codecId, nativeType },\n        ...members.map((m) => ({ name: m.name, value: m.value })),\n      );\n    },\n  },\n} satisfies AuthoringEntityTypeDescriptor;\n\nexport const sqlFamilyEntityTypes: AuthoringEntityTypeNamespace = {\n  enum: sqlFamilyEnumEntityDescriptor,\n};\n\nexport const sqlFamilyPslBlockDescriptors = {\n  enum: {\n    kind: 'pslBlock',\n    keyword: 'enum',\n    discriminator: 'enum',\n    name: { required: true },\n    parameters: {},\n    variadicParameters: true,\n  },\n} as const satisfies AuthoringPslBlockDescriptorNamespace;\n","import type { AuthoringFieldNamespace } from '@prisma-next/framework-components/authoring';\n\n/**\n * Family-level SQL authoring field presets.\n *\n * Only presets whose codec IDs align with the ID generator metadata live here\n * (see `@prisma-next/ids`). These presets are target-agnostic because the\n * generator metadata fixes their codec/native-type to `sql/char@1`\n * (`character`) regardless of target, and the PSL interpreter lets the\n * generator override the scalar descriptor.\n *\n * The `uuidString` / `id.uuidv4String` / `id.uuidv7String` presets store UUID\n * values as `character(36)` — portable across all SQL targets. For a native\n * Postgres `uuid` column use `uuidNative` / `id.uuidv4Native` /\n * `id.uuidv7Native` from `@prisma-next/target-postgres`.\n *\n * Scalar presets that map to target-specific codecs (e.g. `text`, `int`,\n * `boolean`, `dateTime`) are contributed by the target pack (see\n * `postgresAuthoringFieldPresets` in `@prisma-next/target-postgres`) so the\n * TS callback surface and the PSL scalar surface lower to byte-identical\n * contracts for the active target.\n */\n\nconst CHARACTER_CODEC_ID = 'sql/char@1';\nconst CHARACTER_NATIVE_TYPE = 'character';\n\nconst nanoidOptionsArgument = {\n  kind: 'object',\n  optional: true,\n  properties: {\n    size: {\n      kind: 'number',\n      optional: true,\n      integer: true,\n      minimum: 2,\n      maximum: 255,\n    },\n  },\n} as const;\n\nexport const sqlFamilyAuthoringFieldPresets = {\n  uuidString: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 36,\n      },\n    },\n  },\n  ulid: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 26,\n      },\n    },\n  },\n  nanoid: {\n    kind: 'fieldPreset',\n    args: [nanoidOptionsArgument],\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: {\n          kind: 'arg',\n          index: 0,\n          path: ['size'],\n          default: 21,\n        },\n      },\n    },\n  },\n  cuid2: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 24,\n      },\n    },\n  },\n  ksuid: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 27,\n      },\n    },\n  },\n  id: {\n    uuidv4String: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 36,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'uuidv4',\n          },\n        },\n        id: true,\n      },\n    },\n    uuidv7String: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 36,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'uuidv7',\n          },\n        },\n        id: true,\n      },\n    },\n    ulid: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 26,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'ulid',\n          },\n        },\n        id: true,\n      },\n    },\n    nanoid: {\n      kind: 'fieldPreset',\n      args: [nanoidOptionsArgument],\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: {\n            kind: 'arg',\n            index: 0,\n            path: ['size'],\n            default: 21,\n          },\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'nanoid',\n            params: {\n              size: {\n                kind: 'arg',\n                index: 0,\n                path: ['size'],\n              },\n            },\n          },\n        },\n        id: true,\n      },\n    },\n    cuid2: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 24,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'cuid2',\n          },\n        },\n        id: true,\n      },\n    },\n    ksuid: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 27,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'ksuid',\n          },\n        },\n        id: true,\n      },\n    },\n  },\n} as const satisfies AuthoringFieldNamespace;\n","import type { AuthoringTypeNamespace } from '@prisma-next/framework-components/authoring';\n\nexport const sqlFamilyAuthoringTypes = {\n  sql: {\n    String: {\n      kind: 'typeConstructor',\n      args: [{ kind: 'number', name: 'length', integer: true, minimum: 1, maximum: 10485760 }],\n      output: {\n        codecId: 'sql/varchar@1',\n        nativeType: 'character varying',\n        typeParams: {\n          length: { kind: 'arg', index: 0 },\n        },\n      },\n    },\n  },\n} as const satisfies AuthoringTypeNamespace;\n"],"mappings":";;;AAWA,SAAS,kBAAkB,KAAiC;CAC1D,IAAI,IAAI,WAAW,IAAG,KAAK,IAAI,SAAS,IAAG,KAAK,IAAI,UAAU,GAC5D,OAAO,IAAI,MAAM,GAAG,EAAE;AAG1B;AAoJA,MAAa,uBAAqD,EAChE,MAAM;CAlJN,MAAM;CACN,eAAe;CACf,QAAQ,EACN,UACE,OACA,QAC+B;EAC/B,MAAM,WAAW,IAAI,YAAY;EACjC,MAAM,cAAc,IAAI;EAExB,MAAM,WAAW,MAAM,gBAAgB,MAAM,MAAM,EAAE,SAAS,MAAM;EACpE,IAAI,CAAC,UAAU;GACb,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK;IAC7B;IACA,MAAM,MAAM;GACd,CAAC;GACD;EACF;EAEA,MAAM,cAAc,SAAS,KAAK,EAAE,EAAE;EACtC,MAAM,UAAU,gBAAgB,KAAA,IAAY,kBAAkB,WAAW,IAAI,KAAA;EAC7E,IAAI,CAAC,SAAS;GACZ,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK;IAC7B;IACA,MAAM,SAAS;GACjB,CAAC;GACD;EACF;EAEA,MAAM,aAAa,IAAI,aAAa,eAAe,OAAO,CAAC,GAAG;EAC9D,IAAI,eAAe,KAAA,GAAW;GAC5B,MAAM,cAAc,SAAS,KAAK,EAAE,EAAE,QAAQ,SAAS;GACvD,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK,qCAAqC,QAAQ;IAC1E;IACA,MAAM;GACR,CAAC;GACD;EACF;EAEA,MAAM,QAAQ,IAAI,aAAa,IAAI,OAAO;EAC1C,IAAI,UAAU,KAAA,GAAW;GACvB,MAAM,cAAc,SAAS,KAAK,EAAE,EAAE,QAAQ,SAAS;GACvD,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK,kBAAkB,QAAQ;IACvD;IACA,MAAM;GACR,CAAC;GACD;EACF;EAEA,MAAM,6BAAa,IAAI,IAAY;EACnC,MAAM,UAA8C,CAAC;EACrD,IAAI,cAAc;EAElB,KAAK,MAAM,CAAC,YAAY,eAAe,OAAO,QAAQ,MAAM,UAAU,GAAG;GACvE,IAAI;GACJ,IAAI,WAAW,SAAS,QACtB,IAAI;IACF,QAAQ,MAAM,WAAW,UAAU;GACrC,QAAQ;IACN,aAAa,KAAK;KAChB,MAAM;KACN,SAAS,SAAS,MAAM,KAAK,YAAY,WAAW,4BAA4B,QAAQ;KACxF;KACA,MAAM,WAAW;IACnB,CAAC;IACD,cAAc;IACd;GACF;QACK,IAAI,WAAW,SAAS,SAAS;IACtC,IAAI;IACJ,IAAI;KACF,YAAY,KAAK,MAAM,WAAW,GAAG;IACvC,QAAQ;KACN,aAAa,KAAK;MAChB,MAAM;MACN,SAAS,SAAS,MAAM,KAAK,YAAY,WAAW,WAAW,WAAW,IAAI;MAC9E;MACA,MAAM,WAAW;KACnB,CAAC;KACD,cAAc;KACd;IACF;IACA,IAAI;KACF,QAAQ,MAAM,WACZ,UAAwE,SAAS,CACnF;IACF,SAAS,KAAK;KACZ,MAAM,SAAS,eAAe,QAAQ,IAAI,UAAU,OAAO,GAAG;KAC9D,aAAa,KAAK;MAChB,MAAM;MACN,SAAS,SAAS,MAAM,KAAK,YAAY,WAAW,2BAA2B,QAAQ,KAAK;MAC5F;MACA,MAAM,WAAW;KACnB,CAAC;KACD,cAAc;KACd;IACF;GACF,OACE;GAGF,MAAM,WAAW,OAAO,KAAK;GAC7B,IAAI,WAAW,IAAI,QAAQ,GAAG;IAC5B,aAAa,KAAK;KAChB,MAAM;KACN,SAAS,SAAS,MAAM,KAAK,6BAA6B,SAAS;KACnE;KACA,MAAM,WAAW;IACnB,CAAC;IACD,cAAc;IACd;GACF;GACA,WAAW,IAAI,QAAQ;GACvB,QAAQ,KAAK;IAAE,MAAM;IAAY;GAAM,CAAC;EAC1C;EAEA,IAAI,aAAa,OAAO,KAAA;EAExB,IAAI,QAAQ,WAAW,GAAG;GACxB,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK;IAC7B;IACA,MAAM,MAAM;GACd,CAAC;GACD;EACF;EAEA,OAAO,SACL,MAAM,MACN;GAAE;GAAS;EAAW,GACtB,GAAG,QAAQ,KAAK,OAAO;GAAE,MAAM,EAAE;GAAM,OAAO,EAAE;EAAM,EAAE,CAC1D;CACF,EACF;AAIM,EACR;AAEA,MAAa,+BAA+B,EAC1C,MAAM;CACJ,MAAM;CACN,SAAS;CACT,eAAe;CACf,MAAM,EAAE,UAAU,KAAK;CACvB,YAAY,CAAC;CACb,oBAAoB;AACtB,EACF;;;;;;;;;;;;;;;;;;;;;;;AC1JA,MAAM,qBAAqB;AAC3B,MAAM,wBAAwB;AAE9B,MAAM,wBAAwB;CAC5B,MAAM;CACN,UAAU;CACV,YAAY,EACV,MAAM;EACJ,MAAM;EACN,UAAU;EACV,SAAS;EACT,SAAS;EACT,SAAS;CACX,EACF;AACF;AAEA,MAAa,iCAAiC;CAC5C,YAAY;EACV,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,MAAM;EACJ,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,QAAQ;EACN,MAAM;EACN,MAAM,CAAC,qBAAqB;EAC5B,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ;IACN,MAAM;IACN,OAAO;IACP,MAAM,CAAC,MAAM;IACb,SAAS;GACX,EACF;EACF;CACF;CACA,OAAO;EACL,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,OAAO;EACL,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,IAAI;EACF,cAAc;GACZ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,cAAc;GACZ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,MAAM;GACJ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,QAAQ;GACN,MAAM;GACN,MAAM,CAAC,qBAAqB;GAC5B,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ;KACN,MAAM;KACN,OAAO;KACP,MAAM,CAAC,MAAM;KACb,SAAS;IACX,EACF;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACJ,QAAQ,EACN,MAAM;MACJ,MAAM;MACN,OAAO;MACP,MAAM,CAAC,MAAM;KACf,EACF;IACF,EACF;IACA,IAAI;GACN;EACF;EACA,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;CACF;AACF;;;ACpNA,MAAa,0BAA0B,EACrC,KAAK,EACH,QAAQ;CACN,MAAM;CACN,MAAM,CAAC;EAAE,MAAM;EAAU,MAAM;EAAU,SAAS;EAAM,SAAS;EAAG,SAAS;CAAS,CAAC;CACvF,QAAQ;EACN,SAAS;EACT,YAAY;EACZ,YAAY,EACV,QAAQ;GAAE,MAAM;GAAO,OAAO;EAAE,EAClC;CACF;AACF,EACF,EACF"}

package/dist/{control-adapter-CgIL9Vtx.d.mts → control-adapter-Cmw9LvEP.d.mts}

@@ -1,8 +1,8 @@
-import { n as NativeTypeNormalizer, t as DefaultNormalizer } from "./verify-sql-schema-DcMaT5Zj.mjs";
+import { n as NativeTypeNormalizer, t as DefaultNormalizer } from "./verify-sql-schema-thU-jKpf.mjs";
 import { ControlAdapterInstance, ControlStack } from "@prisma-next/framework-components/control";
-import { PostgresEnumStorageEntry, SqlControlDriverInstance, SqlStorage } from "@prisma-next/sql-contract/types";
-import { Contract, ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
-import { AnyQueryAst, DdlNode, LoweredStatement, LowererContext } from "@prisma-next/sql-relational-core/ast";
+import { SqlControlDriverInstance } from "@prisma-next/sql-contract/types";
+import { ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
+import { AnyQueryAst, DdlNode, LoweredStatement, LowererContext, SqlExecuteRequest } from "@prisma-next/sql-relational-core/ast";
 import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
 
 //#region src/core/control-adapter.d.ts
@@ -16,13 +16,22 @@ import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
 interface Lowerer {
   lower(ast: AnyQueryAst | DdlNode, context: LowererContext<unknown>): LoweredStatement;
 }
+/**
+ * Extends {@link Lowerer} with async codec-routed DDL lowering. Control
+ * adapters implement this; the planner's `CreateTableCall.toOp` and
+ * `CreateSchemaCall.toOp` accept it to produce executable DDL statements
+ * with literal defaults encoded through their codec.
+ */
+interface ExecuteRequestLowerer extends Lowerer {
+  lowerToExecuteRequest(ast: AnyQueryAst | DdlNode, context?: LowererContext<unknown>): Promise<SqlExecuteRequest>;
+}
 /**
  * SQL control adapter interface for control-plane operations.
  * Implemented by target-specific adapters (e.g., Postgres, MySQL).
  *
  * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
  */
-interface SqlControlAdapter<TTarget extends string = string> extends ControlAdapterInstance<'sql', TTarget> {
+interface SqlControlAdapter<TTarget extends string = string> extends ControlAdapterInstance<'sql', TTarget>, ExecuteRequestLowerer {
   /**
    * Reads the contract marker for `space` from the database, returning
    * `null` if no marker row exists for that space (or if the marker
@@ -125,22 +134,6 @@ interface SqlControlAdapter<TTarget extends string = string> extends ControlAdap
    * before comparison with contract native types during schema verification.
    */
   readonly normalizeNativeType?: NativeTypeNormalizer;
-  /**
-   * Optional bridging adapter for resolving the existing values of a
-   * native enum type from the introspected schema IR. Targets supply
-   * this so the family-level schema verifier can walk
-   * `PostgresEnumStorageEntry` entries natively without needing to
-   * know the target-specific `schema.annotations` shape
-   * (e.g. `schema.annotations.pg.storageTypes`).
-   */
-  readonly resolveExistingEnumValues?: (schema: SqlSchemaIR, enumType: PostgresEnumStorageEntry, namespaceId: string) => readonly string[] | null;
-  /**
-   * Optional contract-scoped factory for {@link resolveExistingEnumValues}.
-   * Targets that need the contract storage to resolve namespace → DDL schema
-   * supply this; the family control instance prefers it over the bare adapter
-   * hook when present.
-   */
-  readonly resolveExistingEnumValuesForContract?: (contract: Contract<SqlStorage>) => (schema: SqlSchemaIR, enumType: PostgresEnumStorageEntry, namespaceId: string) => readonly string[] | null;
   /**
    * Ordered DDL queries that bootstrap marker/ledger control tables for migration
    * runners. Postgres includes `CREATE SCHEMA`; SQLite does not.
@@ -151,16 +144,6 @@ interface SqlControlAdapter<TTarget extends string = string> extends ControlAdap
    * `sign` — excludes the ledger table.
    */
   bootstrapSignMarkerQueries(): readonly DdlNode[];
-  /**
-   * Lower a SQL query AST into a target-flavored `{ sql, params }` payload.
-   *
-   * Migration tooling (e.g. the `dataTransform` operation) needs to materialize
-   * SQL at emit/plan time without instantiating the runtime adapter. The control
-   * adapter's `lower` is byte-equivalent to the runtime adapter's `lower` for the
-   * same AST and contract, ensuring planned SQL matches what the runtime would
-   * emit.
-   */
-  lower(ast: AnyQueryAst | DdlNode, context: LowererContext<unknown>): LoweredStatement;
 }
 /**
  * SQL control adapter descriptor interface.
@@ -178,5 +161,5 @@ interface SqlControlAdapterDescriptor<TTarget extends string = string> {
   create(stack: ControlStack<'sql', TTarget>): SqlControlAdapter<TTarget>;
 }
 //#endregion
-export { SqlControlAdapter as n, SqlControlAdapterDescriptor as r, Lowerer as t };
-//# sourceMappingURL=control-adapter-CgIL9Vtx.d.mts.map
+export { SqlControlAdapterDescriptor as i, Lowerer as n, SqlControlAdapter as r, ExecuteRequestLowerer as t };
+//# sourceMappingURL=control-adapter-Cmw9LvEP.d.mts.map

package/dist/control-adapter-Cmw9LvEP.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-adapter-Cmw9LvEP.d.mts","names":[],"sources":["../src/core/control-adapter.ts"],"mappings":";;;;;;;;;;AAuBA;;;;;UAAiB,OAAA;EACf,KAAA,CAAM,GAAA,EAAK,WAAA,GAAc,OAAA,EAAS,OAAA,EAAS,cAAA,YAA0B,gBAAA;AAAA;;;;;;;UAStD,qBAAA,SAA8B,OAAA;EAC7C,qBAAA,CACE,GAAA,EAAK,WAAA,GAAc,OAAA,EACnB,OAAA,GAAU,cAAA,YACT,OAAA,CAAQ,iBAAA;AAAA;AAb0E;AASvF;;;;;AATuF,UAsBtE,iBAAA,0CACP,sBAAA,QAA8B,OAAA,GACpC,qBAAA;EAXS;;;;;;;;;;;;;;;EA2BX,UAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,WACC,OAAA,CAAQ,oBAAA;EArBI;;;;;;;EA8Bf,cAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,IAChC,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EADI;;;;EAOnC,UAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,YACC,OAAA,UAAiB,iBAAA;EAFe;;;;;;EAUnC,YAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EA0BO;;;;;;EAlBV,UAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EA2EsC;;;;;;;EAlEzC,YAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAxEgC;;;;;;EAgFnC,gBAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAvEgC;;;;;;;;;;;;EAqFnC,UAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,QAAA,YACA,MAAA,YACC,OAAA,CAAQ,WAAA;EA5ET;;;;;EAAA,SAmFO,gBAAA,GAAmB,iBAAA;EApE1B;;;;;EAAA,SA2EO,mBAAA,GAAsB,oBAAA;EA5D/B;;;;EAkEA,4BAAA,aAAyC,OAAA;EA/DvC;;;;EAqEF,0BAAA,aAAuC,OAAA;AAAA;;;;;;;UASxB,2BAAA;EA1DF;;;;;;EAiEb,MAAA,CAAO,KAAA,EAAO,YAAA,QAAoB,OAAA,IAAW,iBAAA,CAAkB,OAAA;AAAA"}

package/dist/control-adapter.d.mts

@@ -1,2 +1,2 @@
-import { n as SqlControlAdapter, r as SqlControlAdapterDescriptor, t as Lowerer } from "./control-adapter-CgIL9Vtx.mjs";
-export type { Lowerer, SqlControlAdapter, SqlControlAdapterDescriptor };
+import { i as SqlControlAdapterDescriptor, n as Lowerer, r as SqlControlAdapter, t as ExecuteRequestLowerer } from "./control-adapter-Cmw9LvEP.mjs";
+export type { ExecuteRequestLowerer, Lowerer, SqlControlAdapter, SqlControlAdapterDescriptor };

package/dist/control.d.mts

@@ -1,4 +1,4 @@
-import { A as SqlPlannerResult, C as SqlMigrationRunnerResult, D as SqlPlannerConflictKind, E as SqlPlannerConflict, M as StorageTypePlanResult, N as SqlControlFamilyInstance, O as SqlPlannerConflictLocation, S as SqlMigrationRunnerFailure, T as SqlPlanTargetDetails, _ as SqlMigrationPlannerPlanOptions, a as FieldEvent, b as SqlMigrationRunnerExecuteCallbacks, c as SqlControlAdapterDescriptor, d as SqlMigrationPlan, f as SqlMigrationPlanContractInfo, g as SqlMigrationPlanner, h as SqlMigrationPlanOperationTarget, i as ExpandNativeTypeInput, j as SqlPlannerSuccessResult, k as SqlPlannerFailureResult, l as SqlControlExtensionDescriptor, m as SqlMigrationPlanOperationStep, n as CodecControlHooks, o as FieldEventContext, p as SqlMigrationPlanOperation, r as CreateSqlMigrationPlanOptions, s as ResolveIdentityValueInput, t as AnyRecord, u as SqlControlTargetDescriptor, v as SqlMigrationRunner, w as SqlMigrationRunnerSuccessValue, x as SqlMigrationRunnerExecuteOptions, y as SqlMigrationRunnerErrorCode } from "./types-CbwQCzXY.mjs";
+import { A as SqlPlannerResult, C as SqlMigrationRunnerResult, D as SqlPlannerConflictKind, E as SqlPlannerConflict, M as StorageTypePlanResult, N as SqlControlFamilyInstance, O as SqlPlannerConflictLocation, S as SqlMigrationRunnerFailure, T as SqlPlanTargetDetails, _ as SqlMigrationPlannerPlanOptions, a as FieldEvent, b as SqlMigrationRunnerExecuteCallbacks, c as SqlControlAdapterDescriptor, d as SqlMigrationPlan, f as SqlMigrationPlanContractInfo, g as SqlMigrationPlanner, h as SqlMigrationPlanOperationTarget, i as ExpandNativeTypeInput, j as SqlPlannerSuccessResult, k as SqlPlannerFailureResult, l as SqlControlExtensionDescriptor, m as SqlMigrationPlanOperationStep, n as CodecControlHooks, o as FieldEventContext, p as SqlMigrationPlanOperation, r as CreateSqlMigrationPlanOptions, s as ResolveIdentityValueInput, t as AnyRecord, u as SqlControlTargetDescriptor, v as SqlMigrationRunner, w as SqlMigrationRunnerSuccessValue, x as SqlMigrationRunnerExecuteOptions, y as SqlMigrationRunnerErrorCode } from "./types-kgstZ_Zd.mjs";
 import { ControlFamilyDescriptor, ControlStack, MigrationOperationClass, MigrationOperationPolicy, MigrationOperationPolicy as MigrationOperationPolicy$1, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerConflict as MigrationPlannerConflict$1, MigrationPlannerResult, MutationDefaultGeneratorDescriptor, OpFactoryCall, TargetMigrationsCapability, assembleAuthoringContributions } from "@prisma-next/framework-components/control";
 import { SqlStorage, StorageColumn } from "@prisma-next/sql-contract/types";
 import { ColumnDefault, Contract, ControlPolicy } from "@prisma-next/contract/types";
@@ -16,7 +16,7 @@ declare class SqlFamilyDescriptor implements ControlFamilyDescriptor<'sql', SqlC
   readonly emission: EmissionSpi;
   readonly authoring: {
     readonly field: {
-      readonly uuid: {
+      readonly uuidString: {
         readonly kind: "fieldPreset";
         readonly output: {
           readonly codecId: "sql/char@1";
@@ -85,7 +85,7 @@ declare class SqlFamilyDescriptor implements ControlFamilyDescriptor<'sql', SqlC
         };
       };
       readonly id: {
-        readonly uuidv4: {
+        readonly uuidv4String: {
           readonly kind: "fieldPreset";
           readonly output: {
             readonly codecId: "sql/char@1";
@@ -102,7 +102,7 @@ declare class SqlFamilyDescriptor implements ControlFamilyDescriptor<'sql', SqlC
             readonly id: true;
           };
         };
-        readonly uuidv7: {
+        readonly uuidv7String: {
           readonly kind: "fieldPreset";
           readonly output: {
             readonly codecId: "sql/char@1";
@@ -238,6 +238,19 @@ declare class SqlFamilyDescriptor implements ControlFamilyDescriptor<'sql', SqlC
         };
       };
     };
+    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;
+      };
+    };
   };
   create<TTargetId extends string>(stack: ControlStack<'sql', TTargetId>): SqlControlFamilyInstance;
 }
@@ -272,33 +285,22 @@ type NativeTypeExpander = (input: {
  */
 type DefaultRenderer = (def: ColumnDefault, column: StorageColumn) => string;
 /**
- * Target-supplied callback that computes the schema-qualified annotation-map
- * key for a namespace-scoped enum storage type.
- *
- * Enum lookups (`readExistingEnumValues`) are namespace/schema-qualified so two
- * namespaces holding an enum with the same TypeScript name (and even the same
- * native type) resolve to distinct live-database types. The *format* of that
- * key — and the namespace → DDL-schema resolution it depends on — is a
- * target-specific concern (Postgres schemas; SQLite/MySQL differ), so the
- * target injects it here as data rather than the family layer importing a
- * concrete `ddlSchemaName`/key implementation. This keeps the family layer
- * target-agnostic (no `@prisma-next/target-*` dependency) while the projection
- * still emits keys that match the target's read side exactly.
- */
-type EnumStorageKeyResolver = (storage: SqlStorage, namespaceId: string, nativeType: string) => string;
-/**
- * Resolves a `ValueSetRef` to its permitted values from the contract storage.
+ * Target-supplied callback that resolves a contract namespace to the live
+ * database schema its enums are stored under.
  *
- * Throws when the referenced namespace or value-set is absent — this indicates
- * the contract was built incorrectly (the check and the value-set must be
- * co-emitted by the lowering step). Used by `convertCheck` (schema-IR
- * projection), `verifyCheckConstraints` (verification), and
- * `checkConstraintPlanCallStrategy` (migration planning) so all three agree on
- * the resolved values and the error behavior on a missing reference.
+ * The projected enum annotations are nested by schema
+ * (`storageTypes[schema][nativeType]`) so two namespaces holding an enum with
+ * the same native type resolve to distinct live-database types. Mapping a
+ * namespace to its DDL schema is target-specific (Postgres schemas;
+ * SQLite/MySQL differ), so the target injects it here rather than the family
+ * importing a concrete `ddlSchemaName`. This keeps the family layer
+ * target-agnostic while the projection nests under the same schema the
+ * target's read side (`readExistingEnumValues`) looks up.
  */
+type EnumNamespaceSchemaResolver = (storage: SqlStorage, namespaceId: string) => string;
 declare function resolveValueSetValues(ref: {
   readonly namespaceId: string;
-  readonly name: string;
+  readonly entityName: string;
 }, storage: SqlStorage, contextLabel: string): readonly string[];
 /**
  * Detects destructive changes between two contract storages.
@@ -315,13 +317,13 @@ interface ContractToSchemaIROptions {
   readonly expandNativeType?: NativeTypeExpander;
   readonly renderDefault?: DefaultRenderer;
   /**
-   * Target-supplied resolver for namespace/schema-qualified enum annotation
-   * keys. When provided (Postgres), every namespace-scoped enum is keyed by the
-   * resolver's output so the projected `storageTypes` map matches the target's
-   * `readExistingEnumValues` lookup. Targets without namespace-qualified enum
-   * storage (SQLite) omit it; enums are absent there.
+   * Target-supplied resolver mapping a namespace to the live database schema
+   * its enums are stored under. When provided (Postgres), namespace-scoped
+   * enums are nested by that schema in `enumTypes` so the projection matches
+   * the target's `readExistingEnumValues` lookup. Targets without
+   * schema-scoped enum storage (SQLite) omit it; enums are absent there.
    */
-  readonly resolveEnumStorageKey?: EnumStorageKeyResolver;
+  readonly resolveEnumNamespaceSchema?: EnumNamespaceSchemaResolver;
 }
 /**
  * Converts a `Contract` to `SqlSchemaIR`.
@@ -562,5 +564,5 @@ declare function temporalAuthoringPresets<const CodecId extends string, const Na
 //#region src/exports/control.d.ts
 declare const _default: SqlFamilyDescriptor;
 //#endregion
-export { type CodecControlHooks, type ContractToSchemaIROptions, type ControlPolicySubject, type CreateSqlMigrationPlanOptions, type DefaultRenderer, type EnumStorageKeyResolver, type ExpandNativeTypeInput, type FieldEvent, type FieldEventContext, INIT_ADDITIVE_POLICY, type MigrationOperationClass, type MigrationOperationPolicy, type MigrationPlan, type MigrationPlanOperation, type MigrationPlanner, type MigrationPlannerConflict, type MigrationPlannerResult, type NativeTypeExpander, type PlanFieldEventOperationsOptions, type ResolveIdentityValueInput, type SqlControlAdapterDescriptor, type SqlControlExtensionDescriptor, type SqlControlFamilyInstance, type SqlControlTargetDescriptor, type SqlMigrationPlan, type SqlMigrationPlanContractInfo, type SqlMigrationPlanOperation, type SqlMigrationPlanOperationStep, type SqlMigrationPlanOperationTarget, type SqlMigrationPlanner, type SqlMigrationPlannerPlanOptions, type SqlMigrationRunner, type SqlMigrationRunnerErrorCode, type SqlMigrationRunnerExecuteCallbacks, type SqlMigrationRunnerExecuteOptions, type SqlMigrationRunnerFailure, type SqlMigrationRunnerResult, type SqlMigrationRunnerSuccessValue, type SqlPlanTargetDetails, type SqlPlannerConflict, type SqlPlannerConflictKind, type SqlPlannerConflictLocation, type SqlPlannerFailureResult, type SqlPlannerResult, type SqlPlannerSuccessResult, type StorageTypePlanResult, type TargetMigrationsCapability, assembleAuthoringContributions, contractToSchemaIR, controlPolicyForCall, createMigrationPlan, _default as default, detectDestructiveChanges, extractCodecControlHooks, partitionCallsByControlPolicy, partitionIssuesByControlPolicy, planFieldEventOperations, plannerFailure, plannerSuccess, resolveValueSetValues, runnerFailure, runnerSuccess, temporalAuthoringPresets, timestampNowControlDescriptor };
+export { type CodecControlHooks, type ContractToSchemaIROptions, type ControlPolicySubject, type CreateSqlMigrationPlanOptions, type DefaultRenderer, type EnumNamespaceSchemaResolver, type ExpandNativeTypeInput, type FieldEvent, type FieldEventContext, INIT_ADDITIVE_POLICY, type MigrationOperationClass, type MigrationOperationPolicy, type MigrationPlan, type MigrationPlanOperation, type MigrationPlanner, type MigrationPlannerConflict, type MigrationPlannerResult, type NativeTypeExpander, type PlanFieldEventOperationsOptions, type ResolveIdentityValueInput, type SqlControlAdapterDescriptor, type SqlControlExtensionDescriptor, type SqlControlFamilyInstance, type SqlControlTargetDescriptor, type SqlMigrationPlan, type SqlMigrationPlanContractInfo, type SqlMigrationPlanOperation, type SqlMigrationPlanOperationStep, type SqlMigrationPlanOperationTarget, type SqlMigrationPlanner, type SqlMigrationPlannerPlanOptions, type SqlMigrationRunner, type SqlMigrationRunnerErrorCode, type SqlMigrationRunnerExecuteCallbacks, type SqlMigrationRunnerExecuteOptions, type SqlMigrationRunnerFailure, type SqlMigrationRunnerResult, type SqlMigrationRunnerSuccessValue, type SqlPlanTargetDetails, type SqlPlannerConflict, type SqlPlannerConflictKind, type SqlPlannerConflictLocation, type SqlPlannerFailureResult, type SqlPlannerResult, type SqlPlannerSuccessResult, type StorageTypePlanResult, type TargetMigrationsCapability, assembleAuthoringContributions, contractToSchemaIR, controlPolicyForCall, createMigrationPlan, _default as default, detectDestructiveChanges, extractCodecControlHooks, partitionCallsByControlPolicy, partitionIssuesByControlPolicy, planFieldEventOperations, plannerFailure, plannerSuccess, resolveValueSetValues, runnerFailure, runnerSuccess, temporalAuthoringPresets, timestampNowControlDescriptor };
 //# sourceMappingURL=control.d.mts.map

package/dist/control.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/control-descriptor.ts","../src/core/assembly.ts","../src/core/migrations/contract-to-schema-ir.ts","../src/core/migrations/control-policy.ts","../src/core/migrations/field-event-planner.ts","../src/core/migrations/plan-helpers.ts","../src/core/migrations/policies.ts","../src/core/timestamp-now-generator.ts","../src/exports/control.ts"],"mappings":";;;;;;;;;;cAUa,mBAAA,YACA,uBAAA,QAA+B,wBAAA;EAAA,SAEjC,IAAA;EAAA,SACA,EAAA;EAAA,SACA,QAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA,EAAU,WAAA;EAAA,SACV,SAAA;IAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKT,MAAA,2BACE,KAAA,EAAO,YAAA,QAAoB,SAAA,IAC1B,wBAAA;AAAA;;;iBCHW,wBAAA,CACd,WAAA,EAAa,aAAA,CAAc,8BAAA,mBAC1B,GAAA,SAAY,iBAAA;;;;;;;;;ADdf;;;;KE+BY,kBAAA,IAAsB,KAAA;EAAA,SACvB,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;;;;;;;;;KAYlB,eAAA,IAAmB,GAAA,EAAK,aAAA,EAAe,MAAA,EAAQ,aAAa;;;;;;;;;;;;;;;KAgB5D,sBAAA,IACV,OAAA,EAAS,UAAU,EACnB,WAAA,UACA,UAAA;;;;;;;;;;;iBA2Fc,qBAAA,CACd,GAAA;EAAA,SAAgB,WAAA;EAAA,SAA8B,IAAA;AAAA,GAC9C,OAAA,EAAS,UAAU,EACnB,YAAA;;;;;;;;;;iBAgIc,wBAAA,CACd,IAAA,EAAM,UAAA,SACN,EAAA,EAAI,UAAA,YACM,0BAAA;AAAA,UA8CK,yBAAA;EAAA,SACN,mBAAA;EAAA,SACA,gBAAA,GAAmB,kBAAA;EAAA,SACnB,aAAA,GAAgB,eAAA;;;;;;;;WAQhB,qBAAA,GAAwB,sBAAA;AAAA;;;;;;;;;;;;;;;iBAiBnB,kBAAA,CACd,QAAA,EAAU,QAAA,CAAS,UAAA,UACnB,OAAA,EAAS,yBAAA,GACR,WAAA;;;;;;;;;UC1Wc,oBAAA;EAAA,SACN,WAAA;EAAA,SACA,yBAAA,GAA4B,aAAa;EAAA,SACzC,KAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA;EHIoB;;;;;;;EAAA,SGIpB,gBAAA;AAAA;;;;;;;;iBAUK,oBAAA,CACd,OAAA,EAAS,oBAAA,cACT,oBAAA,EAAsB,aAAA,eACrB,aAAA;;;;;;;;;;;;;;iBAsGa,6BAAA,QAAqC,OAAA;EAAA,SAC1C,KAAA,WAAgB,KAAA;EAAA,SAChB,QAAA,EAAU,QAAA,CAAS,UAAA;EAAA,SACnB,2BAAA,GAA8B,IAAA,EAAM,KAAA,KAAU,oBAAA;EAAA,SAC9C,kBAAA,GAAqB,IAAA,EAAM,KAAA;EAAA,SAC3B,kBAAA,IACP,WAAA,UACA,OAAA,EAAS,oBAAA;AAAA;EAAA,SAGF,IAAA,WAAe,KAAA;EAAA,SACf,QAAA,WAAmB,kBAAA;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAqDd,8BAAA,SAAuC,OAAA;EAAA,SAC5C,MAAA,WAAiB,MAAA;EAAA,SACjB,QAAA,EAAU,QAAA,CAAS,UAAA;;;;;WAKnB,2BAAA,GAA8B,KAAA,EAAO,MAAA,KAAW,oBAAA;;;;;;;;;;;;;WAahD,0BAAA,GAA6B,KAAA,EAAO,MAAA;;;;;;;WAOpC,8BAAA,IAAkC,OAAA,EAAS,oBAAA;EAAA,SAC3C,kBAAA,IACP,WAAA,UACA,OAAA,EAAS,oBAAA;AAAA;EAAA,SAGF,SAAA,WAAoB,MAAA;EAAA,SACpB,QAAA,WAAmB,kBAAA;AAAA;;;UCpNb,+BAAA;EJZI;;;;EAAA,SIiBV,aAAA,EAAe,QAAA,CAAS,UAAA;;;;WAIxB,WAAA,EAAa,QAAA,CAAS,UAAA;;;;;;;;;;WAUtB,UAAA,EAAY,WAAA,SAAoB,iBAAA;AAAA;AAAA,iBAa3B,wBAAA,CACd,OAAA,EAAS,+BAAA,YACC,aAAa;;;iBCgCT,mBAAA,iBACd,OAAA,EAAS,6BAAA,CAA8B,cAAA,IACtC,gBAAA,CAAiB,cAAA;AAAA,iBAcJ,cAAA,iBACd,IAAA,EAAM,gBAAA,CAAiB,cAAA,GACvB,QAAA,YAAoB,kBAAA,KACnB,uBAAA,CAAwB,cAAA;AAAA,iBAsBX,cAAA,CAAe,SAAA,WAAoB,kBAAA,KAAuB,uBAAuB;;;;iBAoBjF,aAAA,CAAc,KAAA;EAC5B,iBAAA;EACA,kBAAA;AAAA,IACE,EAAE,CAAC,8BAAA;;;;iBAYS,aAAA,CACd,IAAA,EAAM,2BAAA,EACN,OAAA,UACA,OAAA;EAAY,GAAA;EAAc,IAAA,GAAO,SAAA;AAAA,IAChC,KAAA,CAAM,yBAAA;;;;;;cC1KI,oBAAA,EAAsB,0BAEjC;;;;;;;;;;;;;;iBCoBc,6BAAA,IAAiC,kCAAkC;;;;;;;;;;;iBAqBnE,wBAAA,gEAGd,KAAA;EAAA,SAAkB,OAAA,EAAS,OAAA;EAAA,SAAkB,UAAA,EAAY,UAAA;AAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cC6BlB,QAAA"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/control-descriptor.ts","../src/core/assembly.ts","../src/core/migrations/contract-to-schema-ir.ts","../src/core/migrations/control-policy.ts","../src/core/migrations/field-event-planner.ts","../src/core/migrations/plan-helpers.ts","../src/core/migrations/policies.ts","../src/core/timestamp-now-generator.ts","../src/exports/control.ts"],"mappings":";;;;;;;;;;cAWa,mBAAA,YACA,uBAAA,QAA+B,wBAAA;EAAA,SAEjC,IAAA;EAAA,SACA,EAAA;EAAA,SACA,QAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA,EAAU,WAAA;EAAA,SACV,SAAA;IAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOT,MAAA,2BACE,KAAA,EAAO,YAAA,QAAoB,SAAA,IAC1B,wBAAA;AAAA;;;iBCNW,wBAAA,CACd,WAAA,EAAa,aAAA,CAAc,8BAAA,mBAC1B,GAAA,SAAY,iBAAA;;;;;;;;;ADbf;;;;KEyBY,kBAAA,IAAsB,KAAA;EAAA,SACvB,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;;;;;;;;;KAYlB,eAAA,IAAmB,GAAA,EAAK,aAAA,EAAe,MAAA,EAAQ,aAAa;;;;;;;;;;;;;;KAe5D,2BAAA,IAA+B,OAAA,EAAS,UAAU,EAAE,WAAA;AAAA,iBA6EhD,qBAAA,CACd,GAAA;EAAA,SAAgB,WAAA;EAAA,SAA8B,UAAA;AAAA,GAC9C,OAAA,EAAS,UAAU,EACnB,YAAA;;;;;;;;;;iBAyIc,wBAAA,CACd,IAAA,EAAM,UAAA,SACN,EAAA,EAAI,UAAA,YACM,0BAAA;AAAA,UA8CK,yBAAA;EAAA,SACN,mBAAA;EAAA,SACA,gBAAA,GAAmB,kBAAA;EAAA,SACnB,aAAA,GAAgB,eAAA;;;;;;;;WAQhB,0BAAA,GAA6B,2BAAA;AAAA;;;;;;;;;;;;;;;iBAiBxB,kBAAA,CACd,QAAA,EAAU,QAAA,CAAS,UAAA,UACnB,OAAA,EAAS,yBAAA,GACR,WAAA;;;;;;;;;UC5Vc,oBAAA;EAAA,SACN,WAAA;EAAA,SACA,yBAAA,GAA4B,aAAa;EAAA,SACzC,KAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA;EHOoB;;;;;;;EAAA,SGCpB,gBAAA;AAAA;;;;;;;;iBAUK,oBAAA,CACd,OAAA,EAAS,oBAAA,cACT,oBAAA,EAAsB,aAAA,eACrB,aAAA;;;;;;;;;;;;;;iBAsGa,6BAAA,QAAqC,OAAA;EAAA,SAC1C,KAAA,WAAgB,KAAA;EAAA,SAChB,QAAA,EAAU,QAAA,CAAS,UAAA;EAAA,SACnB,2BAAA,GAA8B,IAAA,EAAM,KAAA,KAAU,oBAAA;EAAA,SAC9C,kBAAA,GAAqB,IAAA,EAAM,KAAA;EAAA,SAC3B,kBAAA,IACP,WAAA,UACA,OAAA,EAAS,oBAAA;AAAA;EAAA,SAGF,IAAA,WAAe,KAAA;EAAA,SACf,QAAA,WAAmB,kBAAA;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAqDd,8BAAA,SAAuC,OAAA;EAAA,SAC5C,MAAA,WAAiB,MAAA;EAAA,SACjB,QAAA,EAAU,QAAA,CAAS,UAAA;;;;;WAKnB,2BAAA,GAA8B,KAAA,EAAO,MAAA,KAAW,oBAAA;;;;;;;;;;;;;WAahD,0BAAA,GAA6B,KAAA,EAAO,MAAA;;;;;;;WAOpC,8BAAA,IAAkC,OAAA,EAAS,oBAAA;EAAA,SAC3C,kBAAA,IACP,WAAA,UACA,OAAA,EAAS,oBAAA;AAAA;EAAA,SAGF,SAAA,WAAoB,MAAA;EAAA,SACpB,QAAA,WAAmB,kBAAA;AAAA;;;UCpNb,+BAAA;EJXI;;;;EAAA,SIgBV,aAAA,EAAe,QAAA,CAAS,UAAA;;;;WAIxB,WAAA,EAAa,QAAA,CAAS,UAAA;;;;;;;;;;WAUtB,UAAA,EAAY,WAAA,SAAoB,iBAAA;AAAA;AAAA,iBAa3B,wBAAA,CACd,OAAA,EAAS,+BAAA,YACC,aAAa;;;iBCgCT,mBAAA,iBACd,OAAA,EAAS,6BAAA,CAA8B,cAAA,IACtC,gBAAA,CAAiB,cAAA;AAAA,iBAcJ,cAAA,iBACd,IAAA,EAAM,gBAAA,CAAiB,cAAA,GACvB,QAAA,YAAoB,kBAAA,KACnB,uBAAA,CAAwB,cAAA;AAAA,iBAsBX,cAAA,CAAe,SAAA,WAAoB,kBAAA,KAAuB,uBAAuB;;;;iBAoBjF,aAAA,CAAc,KAAA;EAC5B,iBAAA;EACA,kBAAA;AAAA,IACE,EAAE,CAAC,8BAAA;;;;iBAYS,aAAA,CACd,IAAA,EAAM,2BAAA,EACN,OAAA,UACA,OAAA;EAAY,GAAA;EAAc,IAAA,GAAO,SAAA;AAAA,IAChC,KAAA,CAAM,yBAAA;;;;;;cC1KI,oBAAA,EAAsB,0BAEjC;;;;;;;;;;;;;;iBCoBc,6BAAA,IAAiC,kCAAkC;;;;;;;;;;;iBAqBnE,wBAAA,gEAGd,KAAA;EAAA,SAAkB,OAAA,EAAS,OAAA;EAAA,SAAkB,UAAA,EAAY,UAAA;AAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cC6BlB,QAAA"}