@prisma/orm-framework 0.16.0

package/dist/config-types-W-87vhZ4-BgYaH8YO.d.mts

@@ -0,0 +1,162 @@
+import { t as Contract } from "./contract-types-CkdMH7F7-9EHXSwbH.mjs";
+import { c as CodecLookup } from "./codec-types-XJO6eC9U-B_K2q0zm.mjs";
+import "./codec-D3GVAkR_.mjs";
+import { t as CapabilityMatrix } from "./capabilities-Cupq4-1--C71ORI3N.mjs";
+import { u as ControlMutationDefaults } from "./framework-components-MFoo0sYx-G_6k9jt4.mjs";
+import "./components-CawuxTia.mjs";
+import { r as Result } from "./result-Bpupv5vO.mjs";
+import { d as ControlExtensionDescriptor, g as ControlTargetDescriptor, l as ControlDriverDescriptor, n as AssembledAuthoringContributions, p as ControlFamilyDescriptor, s as ControlAdapterDescriptor, u as ControlDriverInstance } from "./control-CBvTj7Ia.mjs";
+//#region ../../../1-framework/1-core/config/dist/config-types-W-87vhZ4.d.mts
+//#region src/contract-source-types.d.ts
+interface ContractSourceDiagnosticPosition {
+  readonly offset: number;
+  readonly line: number;
+  readonly column: number;
+}
+interface ContractSourceDiagnosticSpan {
+  readonly start: ContractSourceDiagnosticPosition;
+  readonly end: ContractSourceDiagnosticPosition;
+}
+interface ContractSourceDiagnostic {
+  readonly code: string;
+  readonly message: string;
+  readonly sourceId?: string;
+  readonly span?: ContractSourceDiagnosticSpan;
+  /**
+   * Optional structured payload for machine-readable consumers (agents,
+   * IDE extensions, CLI auto-fix). Human-readable prose lives in `message`;
+   * `data` carries the extracted facts (e.g. `{ namespace: 'pgvector' }`).
+   */
+  readonly data?: Readonly<Record<string, unknown>>;
+}
+interface ContractSourceDiagnostics {
+  readonly summary: string;
+  readonly diagnostics: readonly ContractSourceDiagnostic[];
+  readonly meta?: Record<string, unknown>;
+}
+interface ContractSourceContext {
+  readonly composedExtensions: readonly string[];
+  /** Extension contracts keyed by space ID, required for cross-space FK resolution. */
+  readonly composedExtensionContracts: ReadonlyMap<string, Contract>;
+  readonly authoringContributions: AssembledAuthoringContributions;
+  readonly codecLookup: CodecLookup;
+  readonly controlMutationDefaults: ControlMutationDefaults;
+  readonly resolvedInputs: readonly string[];
+  readonly capabilities: CapabilityMatrix;
+}
+/** Lets format-aware tooling avoid file-extension sniffing and opaque loader introspection. */
+type ContractSourceFormat = 'psl' | 'typescript';
+interface ContractSourceProviderBase {
+  readonly inputs?: readonly string[];
+  readonly load: (context: ContractSourceContext) => Promise<Result<Contract, ContractSourceDiagnostics>>;
+}
+interface PslContractSourceProvider extends ContractSourceProviderBase {
+  readonly format: 'psl';
+}
+interface TypeScriptContractSourceProvider extends ContractSourceProviderBase {
+  readonly format: 'typescript';
+}
+/**
+ * Third-party or unspecified source formats. Absent (or unrecognized)
+ * `format` means format-aware tooling must leave the source untouched.
+ * Narrowing to a known format flows only through capability guards owned by
+ * the authoring layer.
+ */
+interface OpaqueContractSourceProvider extends ContractSourceProviderBase {
+  readonly format?: string;
+}
+type ContractSourceProvider = PslContractSourceProvider | TypeScriptContractSourceProvider | OpaqueContractSourceProvider;
+//#endregion
+//#region src/config-types.d.ts
+/**
+ * Contract configuration specifying source and artifact locations.
+ */
+interface ContractConfig {
+  /**
+   * Contract source provider. The provider is always async and must return
+   * a Result containing either a Contract or structured diagnostics.
+   */
+  readonly source: ContractSourceProvider;
+  /**
+   * Path to contract.json artifact. Providers that know an input path (PSL,
+   * `typescriptContractFromPath`) derive an output colocated with that input
+   * so this rarely needs to be set explicitly. The `.d.ts` types file is
+   * always emitted next to the JSON (e.g., `contract.json` → `contract.d.ts`).
+   */
+  readonly output?: string;
+}
+interface FormatterConfig {
+  readonly indent?: number | 'tab';
+  readonly newline?: 'LF' | 'CRLF';
+}
+/**
+ * Default *source* directory for the contract file the user authors at `init`
+ * time. Output artefacts colocate with source per the same rule path-bearing
+ * providers apply.
+ */
+declare const DEFAULT_CONTRACT_SOURCE_DIR = "src/prisma";
+declare function normalizeContractConfig(contract: ContractConfig): ContractConfig & {
+  readonly output: string;
+};
+/**
+ * Configuration for Prisma Next CLI.
+ * Uses Control*Descriptor types for type-safe wiring with compile-time compatibility checks.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * @template TConnection - The driver connection input type (defaults to `unknown` for config flexibility)
+ */
+interface PrismaNextConfig<TFamilyId extends string = string, TTargetId extends string = string, TConnection = unknown> {
+  readonly family: ControlFamilyDescriptor<TFamilyId>;
+  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;
+  readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;
+  readonly extensions?: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];
+  /**
+   * Driver descriptor for DB-connected CLI commands.
+   * Required for DB-connected commands (e.g., db verify).
+   * Optional for commands that don't need database access (e.g., emit).
+   * The driver's connection type matches the TConnection config parameter.
+   */
+  readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId, ControlDriverInstance<TFamilyId, TTargetId>, TConnection>;
+  /**
+   * Database connection configuration.
+   * The connection type is driver-specific (e.g., URL string for Postgres).
+   */
+  readonly db?: {
+    /**
+     * Driver-specific connection input.
+     * For Postgres: a connection string (URL).
+     * For other drivers: may be a structured object.
+     */
+    readonly connection?: TConnection;
+  };
+  /**
+   * Contract configuration. Specifies source and artifact locations.
+   * Required for emit command; optional for other commands that only read artifacts.
+   */
+  readonly contract?: ContractConfig;
+  /**
+   * Migration configuration. Controls where on-disk migration packages are stored.
+   */
+  readonly migrations?: {
+    /** Directory for migration packages, relative to config file. Defaults to 'migrations'. */
+    readonly dir?: string;
+  };
+  readonly formatter?: FormatterConfig;
+}
+/**
+ * Helper function to define a Prisma Next config.
+ * Validates and normalizes the config using Arktype, then returns the normalized IR.
+ *
+ * Normalization:
+ * - contract.output defaults to a path colocated with DEFAULT_CONTRACT_SOURCE_DIR
+ *   when missing (in-memory-only providers)
+ *
+ * @param config - Raw config input from user
+ * @returns Normalized config IR with defaults applied
+ * @throws Error if config structure is invalid
+ */
+declare function defineConfig<TFamilyId extends string = string, TTargetId extends string = string>(config: PrismaNextConfig<TFamilyId, TTargetId>): PrismaNextConfig<TFamilyId, TTargetId>;
+//#endregion
+export { normalizeContractConfig as _, ContractSourceDiagnosticSpan as a, ContractSourceProvider as c, FormatterConfig as d, OpaqueContractSourceProvider as f, defineConfig as g, TypeScriptContractSourceProvider as h, ContractSourceDiagnosticPosition as i, ContractSourceProviderBase as l, PslContractSourceProvider as m, ContractSourceContext as n, ContractSourceDiagnostics as o, PrismaNextConfig as p, ContractSourceDiagnostic as r, ContractSourceFormat as s, ContractConfig as t, DEFAULT_CONTRACT_SOURCE_DIR as u };
+//# sourceMappingURL=config-types-W-87vhZ4-BgYaH8YO.d.mts.map

package/dist/config-types-W-87vhZ4-BgYaH8YO.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-types-W-87vhZ4-BgYaH8YO.d.mts","names":[],"sources":["../../../../1-framework/1-core/config/dist/config-types-W-87vhZ4.d.mts"],"mappings":";;;;;;;;;;UAMU;WACC;WACA;WACA;;UAED;WACC,OAAO;WACP,KAAK;;UAEN;WACC;WACA;WACA;WACA,OAAO;;;;;;WAMP,OAAO,SAAS;;UAEjB;WACC;WACA,sBAAsB;WACtB,OAAO;;UAER;WACC;;WAEA,4BAA4B,oBAAoB;WAChD,wBAAwB;WACxB,aAAa;WACb,yBAAyB;WACzB;WACA,cAAc;;;KAGpB;UACK;WACC;WACA,OAAO,SAAS,0BAA0B,QAAQ,OAAO,UAAU;;UAEpE,kCAAkC;WACjC;;UAED,yCAAyC;WACxC;;;;;;;;UAQD,qCAAqC;WACpC;;KAEN,yBAAyB,4BAA4B,mCAAmC;;;;;;UAMnF;;;;;WAKC,QAAQ;;;;;;;WAOR;;UAED;WACC;WACA;;;;;;;cAOG;iBACG,wBAAwB,UAAU,iBAAiB;WACzD;;;;;;;;;;UAUD,iBAAiB,mCAAmC,mCAAmC;WACtF,QAAQ,wBAAwB;WAChC,QAAQ,wBAAwB,WAAW;WAC3C,SAAS,yBAAyB,WAAW;WAC7C,sBAAsB,2BAA2B,WAAW;;;;;;;WAO5D,SAAS,wBAAwB,WAAW,WAAW,sBAAsB,WAAW,YAAY;;;;;WAKpG;;;;;;aAME,aAAa;;;;;;WAMf,WAAW;;;;WAIX;;aAEE;;WAEF,YAAY;;;;;;;;;;;;;;iBAcN,aAAa,mCAAmC,mCAAmC,QAAQ,iBAAiB,WAAW,aAAa,iBAAiB,WAAW"}

package/dist/config-types-zrHI32Om.d.mts

@@ -0,0 +1 @@
+import "./config-types-W-87vhZ4-BgYaH8YO.mjs";

package/dist/config-validation-ByGTw6zQ.mjs

@@ -0,0 +1,99 @@
+import { t as configError } from "./config-errors-CBdiX587-DwIyJIX9.mjs";
+//#region ../../../1-framework/1-core/config/dist/config-validation.mjs
+function throwValidation(field, why) {
+	const message = why ?? `Config must have a "${field}" field`;
+	throw configError("CONFIG.VALIDATION_FAILED", message, {
+		why: message,
+		meta: { field }
+	});
+}
+function validateContractConfig(contract) {
+	if (!Object.hasOwn(contract, "source")) throwValidation("contract.source", "Config.contract.source is required when contract is provided");
+	const source = contract["source"];
+	if (!source || typeof source !== "object") throwValidation("contract.source", "Config.contract.source must be a provider object");
+	const sourceConfig = source;
+	const inputs = Object.hasOwn(sourceConfig, "inputs") ? sourceConfig["inputs"] : void 0;
+	if (inputs !== void 0) {
+		if (!Array.isArray(inputs)) throwValidation("contract.source.inputs", "Config.contract.source.inputs must be an array of strings when provided");
+		for (const input of inputs) if (typeof input !== "string") throwValidation("contract.source.inputs[]", "Config.contract.source.inputs must contain only strings");
+	}
+	if (!Object.hasOwn(sourceConfig, "load") || typeof sourceConfig["load"] !== "function") throwValidation("contract.source.load", "Config.contract.source.load must be a function");
+	const output = Object.hasOwn(contract, "output") ? contract["output"] : void 0;
+	if (output !== void 0 && typeof output !== "string") throwValidation("contract.output", "Config.contract.output must be a string when provided");
+}
+/**
+* Validates that the config has the required structure.
+* This is pure validation logic with no file I/O or CLI awareness.
+*
+* @param config - Config object to validate
+* @throws a `CONFIG.VALIDATION_FAILED` structured error if config structure is invalid
+*/
+function validateConfig(config) {
+	if (!config || typeof config !== "object") throwValidation("object", "Config must be an object");
+	const configObj = config;
+	if (!configObj["family"]) throwValidation("family");
+	if (!configObj["target"]) throwValidation("target");
+	if (!configObj["adapter"]) throwValidation("adapter");
+	const family = configObj["family"];
+	if (family["kind"] !== "family") throwValidation("family.kind", "Config.family must have kind: \"family\"");
+	if (typeof family["id"] !== "string") throwValidation("family.id", "Config.family must have id: string");
+	if (typeof family["familyId"] !== "string") throwValidation("family.familyId", "Config.family must have familyId: string");
+	if (typeof family["version"] !== "string") throwValidation("family.version", "Config.family must have version: string");
+	if (!family["emission"] || typeof family["emission"] !== "object") throwValidation("family.emission", "Config.family must have emission: EmissionSpi");
+	if (typeof family["create"] !== "function") throwValidation("family.create", "Config.family must have create: function");
+	const familyId = family["familyId"];
+	const target = configObj["target"];
+	if (target["kind"] !== "target") throwValidation("target.kind", "Config.target must have kind: \"target\"");
+	if (typeof target["id"] !== "string") throwValidation("target.id", "Config.target must have id: string");
+	if (typeof target["familyId"] !== "string") throwValidation("target.familyId", "Config.target must have familyId: string");
+	if (typeof target["version"] !== "string") throwValidation("target.version", "Config.target must have version: string");
+	if (target["familyId"] !== familyId) throwValidation("target.familyId", `Config.target.familyId must match Config.family.familyId (expected: ${familyId}, got: ${target["familyId"]})`);
+	if (typeof target["targetId"] !== "string") throwValidation("target.targetId", "Config.target must have targetId: string");
+	if (typeof target["create"] !== "function") throwValidation("target.create", "Config.target must have create: function");
+	const expectedTargetId = target["targetId"];
+	const adapter = configObj["adapter"];
+	if (adapter["kind"] !== "adapter") throwValidation("adapter.kind", "Config.adapter must have kind: \"adapter\"");
+	if (typeof adapter["id"] !== "string") throwValidation("adapter.id", "Config.adapter must have id: string");
+	if (typeof adapter["familyId"] !== "string") throwValidation("adapter.familyId", "Config.adapter must have familyId: string");
+	if (typeof adapter["version"] !== "string") throwValidation("adapter.version", "Config.adapter must have version: string");
+	if (adapter["familyId"] !== familyId) throwValidation("adapter.familyId", `Config.adapter.familyId must match Config.family.familyId (expected: ${familyId}, got: ${adapter["familyId"]})`);
+	if (typeof adapter["targetId"] !== "string") throwValidation("adapter.targetId", "Config.adapter must have targetId: string");
+	if (adapter["targetId"] !== expectedTargetId) throwValidation("adapter.targetId", `Config.adapter.targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${adapter["targetId"]})`);
+	if (typeof adapter["create"] !== "function") throwValidation("adapter.create", "Config.adapter must have create: function");
+	if (configObj["extensionPacks"] !== void 0) throwValidation("extensionPacks", "Config.extensionPacks is no longer supported; rename it to Config.extensions");
+	if (configObj["extensions"] !== void 0) {
+		if (!Array.isArray(configObj["extensions"])) throwValidation("extensions", "Config.extensions must be an array");
+		for (const ext of configObj["extensions"]) {
+			if (!ext || typeof ext !== "object") throwValidation("extensions[]", "Config.extensions must contain ControlExtensionDescriptor objects");
+			const extObj = ext;
+			if (extObj["kind"] !== "extension") throwValidation("extensions[].kind", "Config.extensions items must have kind: \"extension\"");
+			if (typeof extObj["id"] !== "string") throwValidation("extensions[].id", "Config.extensions items must have id: string");
+			if (typeof extObj["familyId"] !== "string") throwValidation("extensions[].familyId", "Config.extensions items must have familyId: string");
+			if (typeof extObj["version"] !== "string") throwValidation("extensions[].version", "Config.extensions items must have version: string");
+			if (extObj["familyId"] !== familyId) throwValidation("extensions[].familyId", `Config.extensions[].familyId must match Config.family.familyId (expected: ${familyId}, got: ${extObj["familyId"]})`);
+			if (typeof extObj["targetId"] !== "string") throwValidation("extensions[].targetId", "Config.extensions items must have targetId: string");
+			if (extObj["targetId"] !== expectedTargetId) throwValidation("extensions[].targetId", `Config.extensions[].targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${extObj["targetId"]})`);
+			if (typeof extObj["create"] !== "function") throwValidation("extensions[].create", "Config.extensions items must have create: function");
+		}
+	}
+	if (configObj["driver"] !== void 0) {
+		const driver = configObj["driver"];
+		if (driver["kind"] !== "driver") throwValidation("driver.kind", "Config.driver must have kind: \"driver\"");
+		if (typeof driver["id"] !== "string") throwValidation("driver.id", "Config.driver must have id: string");
+		if (typeof driver["version"] !== "string") throwValidation("driver.version", "Config.driver must have version: string");
+		if (typeof driver["familyId"] !== "string") throwValidation("driver.familyId", "Config.driver must have familyId: string");
+		if (driver["familyId"] !== familyId) throwValidation("driver.familyId", `Config.driver.familyId must match Config.family.familyId (expected: ${familyId}, got: ${driver["familyId"]})`);
+		if (typeof driver["targetId"] !== "string") throwValidation("driver.targetId", "Config.driver must have targetId: string");
+		if (driver["targetId"] !== expectedTargetId) throwValidation("driver.targetId", `Config.driver.targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${driver["targetId"]})`);
+		if (typeof driver["create"] !== "function") throwValidation("driver.create", "Config.driver must have create: function");
+	}
+	if (configObj["contract"] !== void 0) {
+		const contract = configObj["contract"];
+		if (!contract || typeof contract !== "object") throwValidation("contract", "Config.contract must be an object");
+		validateContractConfig(contract);
+	}
+}
+//#endregion
+export { validateConfig as t };
+
+//# sourceMappingURL=config-validation-ByGTw6zQ.mjs.map

package/dist/config-validation-ByGTw6zQ.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-validation-ByGTw6zQ.mjs","names":[],"sources":["../../../../1-framework/1-core/config/dist/config-validation.mjs"],"sourcesContent":["import { t as configError } from \"./config-errors-CBdiX587.mjs\";\n//#region src/config-validation.ts\nfunction throwValidation(field, why) {\n\tconst message = why ?? `Config must have a \"${field}\" field`;\n\tthrow configError(\"CONFIG.VALIDATION_FAILED\", message, {\n\t\twhy: message,\n\t\tmeta: { field }\n\t});\n}\nfunction validateContractConfig(contract) {\n\tif (!Object.hasOwn(contract, \"source\")) throwValidation(\"contract.source\", \"Config.contract.source is required when contract is provided\");\n\tconst source = contract[\"source\"];\n\tif (!source || typeof source !== \"object\") throwValidation(\"contract.source\", \"Config.contract.source must be a provider object\");\n\tconst sourceConfig = source;\n\tconst inputs = Object.hasOwn(sourceConfig, \"inputs\") ? sourceConfig[\"inputs\"] : void 0;\n\tif (inputs !== void 0) {\n\t\tif (!Array.isArray(inputs)) throwValidation(\"contract.source.inputs\", \"Config.contract.source.inputs must be an array of strings when provided\");\n\t\tfor (const input of inputs) if (typeof input !== \"string\") throwValidation(\"contract.source.inputs[]\", \"Config.contract.source.inputs must contain only strings\");\n\t}\n\tif (!Object.hasOwn(sourceConfig, \"load\") || typeof sourceConfig[\"load\"] !== \"function\") throwValidation(\"contract.source.load\", \"Config.contract.source.load must be a function\");\n\tconst output = Object.hasOwn(contract, \"output\") ? contract[\"output\"] : void 0;\n\tif (output !== void 0 && typeof output !== \"string\") throwValidation(\"contract.output\", \"Config.contract.output must be a string when provided\");\n}\n/**\n* Validates that the config has the required structure.\n* This is pure validation logic with no file I/O or CLI awareness.\n*\n* @param config - Config object to validate\n* @throws a `CONFIG.VALIDATION_FAILED` structured error if config structure is invalid\n*/\nfunction validateConfig(config) {\n\tif (!config || typeof config !== \"object\") throwValidation(\"object\", \"Config must be an object\");\n\tconst configObj = config;\n\tif (!configObj[\"family\"]) throwValidation(\"family\");\n\tif (!configObj[\"target\"]) throwValidation(\"target\");\n\tif (!configObj[\"adapter\"]) throwValidation(\"adapter\");\n\tconst family = configObj[\"family\"];\n\tif (family[\"kind\"] !== \"family\") throwValidation(\"family.kind\", \"Config.family must have kind: \\\"family\\\"\");\n\tif (typeof family[\"id\"] !== \"string\") throwValidation(\"family.id\", \"Config.family must have id: string\");\n\tif (typeof family[\"familyId\"] !== \"string\") throwValidation(\"family.familyId\", \"Config.family must have familyId: string\");\n\tif (typeof family[\"version\"] !== \"string\") throwValidation(\"family.version\", \"Config.family must have version: string\");\n\tif (!family[\"emission\"] || typeof family[\"emission\"] !== \"object\") throwValidation(\"family.emission\", \"Config.family must have emission: EmissionSpi\");\n\tif (typeof family[\"create\"] !== \"function\") throwValidation(\"family.create\", \"Config.family must have create: function\");\n\tconst familyId = family[\"familyId\"];\n\tconst target = configObj[\"target\"];\n\tif (target[\"kind\"] !== \"target\") throwValidation(\"target.kind\", \"Config.target must have kind: \\\"target\\\"\");\n\tif (typeof target[\"id\"] !== \"string\") throwValidation(\"target.id\", \"Config.target must have id: string\");\n\tif (typeof target[\"familyId\"] !== \"string\") throwValidation(\"target.familyId\", \"Config.target must have familyId: string\");\n\tif (typeof target[\"version\"] !== \"string\") throwValidation(\"target.version\", \"Config.target must have version: string\");\n\tif (target[\"familyId\"] !== familyId) throwValidation(\"target.familyId\", `Config.target.familyId must match Config.family.familyId (expected: ${familyId}, got: ${target[\"familyId\"]})`);\n\tif (typeof target[\"targetId\"] !== \"string\") throwValidation(\"target.targetId\", \"Config.target must have targetId: string\");\n\tif (typeof target[\"create\"] !== \"function\") throwValidation(\"target.create\", \"Config.target must have create: function\");\n\tconst expectedTargetId = target[\"targetId\"];\n\tconst adapter = configObj[\"adapter\"];\n\tif (adapter[\"kind\"] !== \"adapter\") throwValidation(\"adapter.kind\", \"Config.adapter must have kind: \\\"adapter\\\"\");\n\tif (typeof adapter[\"id\"] !== \"string\") throwValidation(\"adapter.id\", \"Config.adapter must have id: string\");\n\tif (typeof adapter[\"familyId\"] !== \"string\") throwValidation(\"adapter.familyId\", \"Config.adapter must have familyId: string\");\n\tif (typeof adapter[\"version\"] !== \"string\") throwValidation(\"adapter.version\", \"Config.adapter must have version: string\");\n\tif (adapter[\"familyId\"] !== familyId) throwValidation(\"adapter.familyId\", `Config.adapter.familyId must match Config.family.familyId (expected: ${familyId}, got: ${adapter[\"familyId\"]})`);\n\tif (typeof adapter[\"targetId\"] !== \"string\") throwValidation(\"adapter.targetId\", \"Config.adapter must have targetId: string\");\n\tif (adapter[\"targetId\"] !== expectedTargetId) throwValidation(\"adapter.targetId\", `Config.adapter.targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${adapter[\"targetId\"]})`);\n\tif (typeof adapter[\"create\"] !== \"function\") throwValidation(\"adapter.create\", \"Config.adapter must have create: function\");\n\tif (configObj[\"extensionPacks\"] !== void 0) throwValidation(\"extensionPacks\", \"Config.extensionPacks is no longer supported; rename it to Config.extensions\");\n\tif (configObj[\"extensions\"] !== void 0) {\n\t\tif (!Array.isArray(configObj[\"extensions\"])) throwValidation(\"extensions\", \"Config.extensions must be an array\");\n\t\tfor (const ext of configObj[\"extensions\"]) {\n\t\t\tif (!ext || typeof ext !== \"object\") throwValidation(\"extensions[]\", \"Config.extensions must contain ControlExtensionDescriptor objects\");\n\t\t\tconst extObj = ext;\n\t\t\tif (extObj[\"kind\"] !== \"extension\") throwValidation(\"extensions[].kind\", \"Config.extensions items must have kind: \\\"extension\\\"\");\n\t\t\tif (typeof extObj[\"id\"] !== \"string\") throwValidation(\"extensions[].id\", \"Config.extensions items must have id: string\");\n\t\t\tif (typeof extObj[\"familyId\"] !== \"string\") throwValidation(\"extensions[].familyId\", \"Config.extensions items must have familyId: string\");\n\t\t\tif (typeof extObj[\"version\"] !== \"string\") throwValidation(\"extensions[].version\", \"Config.extensions items must have version: string\");\n\t\t\tif (extObj[\"familyId\"] !== familyId) throwValidation(\"extensions[].familyId\", `Config.extensions[].familyId must match Config.family.familyId (expected: ${familyId}, got: ${extObj[\"familyId\"]})`);\n\t\t\tif (typeof extObj[\"targetId\"] !== \"string\") throwValidation(\"extensions[].targetId\", \"Config.extensions items must have targetId: string\");\n\t\t\tif (extObj[\"targetId\"] !== expectedTargetId) throwValidation(\"extensions[].targetId\", `Config.extensions[].targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${extObj[\"targetId\"]})`);\n\t\t\tif (typeof extObj[\"create\"] !== \"function\") throwValidation(\"extensions[].create\", \"Config.extensions items must have create: function\");\n\t\t}\n\t}\n\tif (configObj[\"driver\"] !== void 0) {\n\t\tconst driver = configObj[\"driver\"];\n\t\tif (driver[\"kind\"] !== \"driver\") throwValidation(\"driver.kind\", \"Config.driver must have kind: \\\"driver\\\"\");\n\t\tif (typeof driver[\"id\"] !== \"string\") throwValidation(\"driver.id\", \"Config.driver must have id: string\");\n\t\tif (typeof driver[\"version\"] !== \"string\") throwValidation(\"driver.version\", \"Config.driver must have version: string\");\n\t\tif (typeof driver[\"familyId\"] !== \"string\") throwValidation(\"driver.familyId\", \"Config.driver must have familyId: string\");\n\t\tif (driver[\"familyId\"] !== familyId) throwValidation(\"driver.familyId\", `Config.driver.familyId must match Config.family.familyId (expected: ${familyId}, got: ${driver[\"familyId\"]})`);\n\t\tif (typeof driver[\"targetId\"] !== \"string\") throwValidation(\"driver.targetId\", \"Config.driver must have targetId: string\");\n\t\tif (driver[\"targetId\"] !== expectedTargetId) throwValidation(\"driver.targetId\", `Config.driver.targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${driver[\"targetId\"]})`);\n\t\tif (typeof driver[\"create\"] !== \"function\") throwValidation(\"driver.create\", \"Config.driver must have create: function\");\n\t}\n\tif (configObj[\"contract\"] !== void 0) {\n\t\tconst contract = configObj[\"contract\"];\n\t\tif (!contract || typeof contract !== \"object\") throwValidation(\"contract\", \"Config.contract must be an object\");\n\t\tvalidateContractConfig(contract);\n\t}\n}\n//#endregion\nexport { validateConfig };\n\n//# sourceMappingURL=config-validation.mjs.map"],"mappings":";;AAEA,SAAS,gBAAgB,OAAO,KAAK;CACpC,MAAM,UAAU,OAAO,uBAAuB,MAAM;CACpD,MAAM,YAAY,4BAA4B,SAAS;EACtD,KAAK;EACL,MAAM,EAAE,MAAM;CACf,CAAC;AACF;AACA,SAAS,uBAAuB,UAAU;CACzC,IAAI,CAAC,OAAO,OAAO,UAAU,QAAQ,GAAG,gBAAgB,mBAAmB,8DAA8D;CACzI,MAAM,SAAS,SAAS;CACxB,IAAI,CAAC,UAAU,OAAO,WAAW,UAAU,gBAAgB,mBAAmB,kDAAkD;CAChI,MAAM,eAAe;CACrB,MAAM,SAAS,OAAO,OAAO,cAAc,QAAQ,IAAI,aAAa,YAAY,KAAK;CACrF,IAAI,WAAW,KAAK,GAAG;EACtB,IAAI,CAAC,MAAM,QAAQ,MAAM,GAAG,gBAAgB,0BAA0B,yEAAyE;EAC/I,KAAK,MAAM,SAAS,QAAQ,IAAI,OAAO,UAAU,UAAU,gBAAgB,4BAA4B,yDAAyD;CACjK;CACA,IAAI,CAAC,OAAO,OAAO,cAAc,MAAM,KAAK,OAAO,aAAa,YAAY,YAAY,gBAAgB,wBAAwB,gDAAgD;CAChL,MAAM,SAAS,OAAO,OAAO,UAAU,QAAQ,IAAI,SAAS,YAAY,KAAK;CAC7E,IAAI,WAAW,KAAK,KAAK,OAAO,WAAW,UAAU,gBAAgB,mBAAmB,uDAAuD;AAChJ;;;;;;;;AAQA,SAAS,eAAe,QAAQ;CAC/B,IAAI,CAAC,UAAU,OAAO,WAAW,UAAU,gBAAgB,UAAU,0BAA0B;CAC/F,MAAM,YAAY;CAClB,IAAI,CAAC,UAAU,WAAW,gBAAgB,QAAQ;CAClD,IAAI,CAAC,UAAU,WAAW,gBAAgB,QAAQ;CAClD,IAAI,CAAC,UAAU,YAAY,gBAAgB,SAAS;CACpD,MAAM,SAAS,UAAU;CACzB,IAAI,OAAO,YAAY,UAAU,gBAAgB,eAAe,0CAA0C;CAC1G,IAAI,OAAO,OAAO,UAAU,UAAU,gBAAgB,aAAa,oCAAoC;CACvG,IAAI,OAAO,OAAO,gBAAgB,UAAU,gBAAgB,mBAAmB,0CAA0C;CACzH,IAAI,OAAO,OAAO,eAAe,UAAU,gBAAgB,kBAAkB,yCAAyC;CACtH,IAAI,CAAC,OAAO,eAAe,OAAO,OAAO,gBAAgB,UAAU,gBAAgB,mBAAmB,+CAA+C;CACrJ,IAAI,OAAO,OAAO,cAAc,YAAY,gBAAgB,iBAAiB,0CAA0C;CACvH,MAAM,WAAW,OAAO;CACxB,MAAM,SAAS,UAAU;CACzB,IAAI,OAAO,YAAY,UAAU,gBAAgB,eAAe,0CAA0C;CAC1G,IAAI,OAAO,OAAO,UAAU,UAAU,gBAAgB,aAAa,oCAAoC;CACvG,IAAI,OAAO,OAAO,gBAAgB,UAAU,gBAAgB,mBAAmB,0CAA0C;CACzH,IAAI,OAAO,OAAO,eAAe,UAAU,gBAAgB,kBAAkB,yCAAyC;CACtH,IAAI,OAAO,gBAAgB,UAAU,gBAAgB,mBAAmB,uEAAuE,SAAS,SAAS,OAAO,YAAY,EAAE;CACtL,IAAI,OAAO,OAAO,gBAAgB,UAAU,gBAAgB,mBAAmB,0CAA0C;CACzH,IAAI,OAAO,OAAO,cAAc,YAAY,gBAAgB,iBAAiB,0CAA0C;CACvH,MAAM,mBAAmB,OAAO;CAChC,MAAM,UAAU,UAAU;CAC1B,IAAI,QAAQ,YAAY,WAAW,gBAAgB,gBAAgB,4CAA4C;CAC/G,IAAI,OAAO,QAAQ,UAAU,UAAU,gBAAgB,cAAc,qCAAqC;CAC1G,IAAI,OAAO,QAAQ,gBAAgB,UAAU,gBAAgB,oBAAoB,2CAA2C;CAC5H,IAAI,OAAO,QAAQ,eAAe,UAAU,gBAAgB,mBAAmB,0CAA0C;CACzH,IAAI,QAAQ,gBAAgB,UAAU,gBAAgB,oBAAoB,wEAAwE,SAAS,SAAS,QAAQ,YAAY,EAAE;CAC1L,IAAI,OAAO,QAAQ,gBAAgB,UAAU,gBAAgB,oBAAoB,2CAA2C;CAC5H,IAAI,QAAQ,gBAAgB,kBAAkB,gBAAgB,oBAAoB,wEAAwE,iBAAiB,SAAS,QAAQ,YAAY,EAAE;CAC1M,IAAI,OAAO,QAAQ,cAAc,YAAY,gBAAgB,kBAAkB,2CAA2C;CAC1H,IAAI,UAAU,sBAAsB,KAAK,GAAG,gBAAgB,kBAAkB,8EAA8E;CAC5J,IAAI,UAAU,kBAAkB,KAAK,GAAG;EACvC,IAAI,CAAC,MAAM,QAAQ,UAAU,aAAa,GAAG,gBAAgB,cAAc,oCAAoC;EAC/G,KAAK,MAAM,OAAO,UAAU,eAAe;GAC1C,IAAI,CAAC,OAAO,OAAO,QAAQ,UAAU,gBAAgB,gBAAgB,mEAAmE;GACxI,MAAM,SAAS;GACf,IAAI,OAAO,YAAY,aAAa,gBAAgB,qBAAqB,uDAAuD;GAChI,IAAI,OAAO,OAAO,UAAU,UAAU,gBAAgB,mBAAmB,8CAA8C;GACvH,IAAI,OAAO,OAAO,gBAAgB,UAAU,gBAAgB,yBAAyB,oDAAoD;GACzI,IAAI,OAAO,OAAO,eAAe,UAAU,gBAAgB,wBAAwB,mDAAmD;GACtI,IAAI,OAAO,gBAAgB,UAAU,gBAAgB,yBAAyB,6EAA6E,SAAS,SAAS,OAAO,YAAY,EAAE;GAClM,IAAI,OAAO,OAAO,gBAAgB,UAAU,gBAAgB,yBAAyB,oDAAoD;GACzI,IAAI,OAAO,gBAAgB,kBAAkB,gBAAgB,yBAAyB,6EAA6E,iBAAiB,SAAS,OAAO,YAAY,EAAE;GAClN,IAAI,OAAO,OAAO,cAAc,YAAY,gBAAgB,uBAAuB,oDAAoD;EACxI;CACD;CACA,IAAI,UAAU,cAAc,KAAK,GAAG;EACnC,MAAM,SAAS,UAAU;EACzB,IAAI,OAAO,YAAY,UAAU,gBAAgB,eAAe,0CAA0C;EAC1G,IAAI,OAAO,OAAO,UAAU,UAAU,gBAAgB,aAAa,oCAAoC;EACvG,IAAI,OAAO,OAAO,eAAe,UAAU,gBAAgB,kBAAkB,yCAAyC;EACtH,IAAI,OAAO,OAAO,gBAAgB,UAAU,gBAAgB,mBAAmB,0CAA0C;EACzH,IAAI,OAAO,gBAAgB,UAAU,gBAAgB,mBAAmB,uEAAuE,SAAS,SAAS,OAAO,YAAY,EAAE;EACtL,IAAI,OAAO,OAAO,gBAAgB,UAAU,gBAAgB,mBAAmB,0CAA0C;EACzH,IAAI,OAAO,gBAAgB,kBAAkB,gBAAgB,mBAAmB,uEAAuE,iBAAiB,SAAS,OAAO,YAAY,EAAE;EACtM,IAAI,OAAO,OAAO,cAAc,YAAY,gBAAgB,iBAAiB,0CAA0C;CACxH;CACA,IAAI,UAAU,gBAAgB,KAAK,GAAG;EACrC,MAAM,WAAW,UAAU;EAC3B,IAAI,CAAC,YAAY,OAAO,aAAa,UAAU,gBAAgB,YAAY,mCAAmC;EAC9G,uBAAuB,QAAQ;CAChC;AACD"}

package/dist/config-validation-DXggMTZf.d.mts

@@ -0,0 +1,14 @@
+import { p as PrismaNextConfig } from "./config-types-W-87vhZ4-BgYaH8YO.mjs";
+//#region ../../../1-framework/1-core/config/dist/config-validation.d.mts
+//#region src/config-validation.d.ts
+/**
+ * Validates that the config has the required structure.
+ * This is pure validation logic with no file I/O or CLI awareness.
+ *
+ * @param config - Config object to validate
+ * @throws a `CONFIG.VALIDATION_FAILED` structured error if config structure is invalid
+ */
+declare function validateConfig(config: unknown): asserts config is PrismaNextConfig;
+//#endregion
+export { validateConfig as t };
+//# sourceMappingURL=config-validation-DXggMTZf.d.mts.map

package/dist/config-validation-DXggMTZf.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-validation-DXggMTZf.d.mts","names":[],"sources":["../../../../1-framework/1-core/config/dist/config-validation.d.mts"],"mappings":";;;;;;;;;;iBASiB,eAAe,0BAA0B,UAAU"}

package/dist/config.d.mts

@@ -0,0 +1,4 @@
+import { _ as normalizeContractConfig, a as ContractSourceDiagnosticSpan, c as ContractSourceProvider, d as FormatterConfig, f as OpaqueContractSourceProvider, g as defineConfig, h as TypeScriptContractSourceProvider, i as ContractSourceDiagnosticPosition, l as ContractSourceProviderBase, m as PslContractSourceProvider, n as ContractSourceContext, o as ContractSourceDiagnostics, p as PrismaNextConfig, r as ContractSourceDiagnostic, s as ContractSourceFormat, t as ContractConfig, u as DEFAULT_CONTRACT_SOURCE_DIR } from "./config-types-W-87vhZ4-BgYaH8YO.mjs";
+import "./config-types-zrHI32Om.mjs";
+import { t as validateConfig } from "./config-validation-DXggMTZf.mjs";
+export { type ContractConfig, type ContractSourceContext, type ContractSourceDiagnostic, type ContractSourceDiagnosticPosition, type ContractSourceDiagnosticSpan, type ContractSourceDiagnostics, type ContractSourceFormat, type ContractSourceProvider, type ContractSourceProviderBase, DEFAULT_CONTRACT_SOURCE_DIR, type FormatterConfig, type OpaqueContractSourceProvider, type PrismaNextConfig, type PslContractSourceProvider, type TypeScriptContractSourceProvider, defineConfig, normalizeContractConfig, validateConfig };

package/dist/config.mjs

@@ -0,0 +1,3 @@
+import { n as defineConfig, r as normalizeContractConfig, t as DEFAULT_CONTRACT_SOURCE_DIR } from "./config-types-Cf9lVsHR.mjs";
+import { t as validateConfig } from "./config-validation-ByGTw6zQ.mjs";
+export { DEFAULT_CONTRACT_SOURCE_DIR, defineConfig, normalizeContractConfig, validateConfig };

package/dist/config__config-types.d.mts

@@ -0,0 +1,3 @@
+import { _ as normalizeContractConfig, a as ContractSourceDiagnosticSpan, c as ContractSourceProvider, d as FormatterConfig, f as OpaqueContractSourceProvider, g as defineConfig, h as TypeScriptContractSourceProvider, i as ContractSourceDiagnosticPosition, l as ContractSourceProviderBase, m as PslContractSourceProvider, n as ContractSourceContext, o as ContractSourceDiagnostics, p as PrismaNextConfig, r as ContractSourceDiagnostic, s as ContractSourceFormat, t as ContractConfig, u as DEFAULT_CONTRACT_SOURCE_DIR } from "./config-types-W-87vhZ4-BgYaH8YO.mjs";
+import "./config-types-zrHI32Om.mjs";
+export { type ContractConfig, type ContractSourceContext, type ContractSourceDiagnostic, type ContractSourceDiagnosticPosition, type ContractSourceDiagnosticSpan, type ContractSourceDiagnostics, type ContractSourceFormat, type ContractSourceProvider, type ContractSourceProviderBase, DEFAULT_CONTRACT_SOURCE_DIR, type FormatterConfig, type OpaqueContractSourceProvider, type PrismaNextConfig, type PslContractSourceProvider, type TypeScriptContractSourceProvider, defineConfig, normalizeContractConfig };

package/dist/config__config-types.mjs

@@ -0,0 +1,2 @@
+import { n as defineConfig, r as normalizeContractConfig, t as DEFAULT_CONTRACT_SOURCE_DIR } from "./config-types-Cf9lVsHR.mjs";
+export { DEFAULT_CONTRACT_SOURCE_DIR, defineConfig, normalizeContractConfig };

package/dist/config__config-validation.d.mts

@@ -0,0 +1,2 @@
+import { t as validateConfig } from "./config-validation-DXggMTZf.mjs";
+export { validateConfig };

package/dist/config__config-validation.mjs

@@ -0,0 +1,2 @@
+import { t as validateConfig } from "./config-validation-ByGTw6zQ.mjs";
+export { validateConfig };

package/dist/contract-authoring.d.mts

@@ -0,0 +1,213 @@
+import { l as AuthoringEntityTypeNamespace, o as AuthoringEntityContext, s as AuthoringEntityTypeDescriptor } from "./framework-authoring-7YMP9TwM-C9P-N6_a.mjs";
+import "./authoring-Dd7p6pTS.mjs";
+import { a as ColumnTypeDescriptor } from "./codec-D3GVAkR_.mjs";
+//#region ../../../1-framework/2-authoring/contract/dist/index.d.mts
+//#region src/capability-registry.d.ts
+type CapabilityMatrix = Readonly<Record<string, Readonly<Record<string, boolean>>>>;
+/**
+ * Deep-merges any number of capability matrices into a single matrix.
+ *
+ * Merge is purely structural — namespaces and capability flags from later
+ * sources overlay earlier ones. Undefined entries are skipped so callers
+ * can pass optional sources without pre-filtering.
+ *
+ * The helper is target-agnostic: it contains no SQL or family-specific
+ * knowledge. Higher layers contribute their own capability matrices (for
+ * example, a target pack, an extension pack, or the contract author's
+ * own `capabilities` block) and call this helper to fold them together.
+ */
+declare function mergeCapabilityMatrices(...sources: ReadonlyArray<CapabilityMatrix | undefined>): Record<string, Record<string, boolean>>;
+//#endregion
+//#region src/composed-helpers-scaffolding.d.ts
+/**
+ * Family-agnostic merge / instantiation scaffolding for pack-bag-driven
+ * authoring contributions. The per-namespace shape (`field`, `type`,
+ * `entityTypes`) is parameterized by the discriminator key so each
+ * namespace can reuse the same extractor + cross-pack merger without
+ * re-deriving the template per family. Call sites flatten merged
+ * `entityTypes` onto the user-facing top-level helpers surface
+ * alongside the built-in `model` / `rel` (e.g. `helpers.enum(...)`).
+ * The contribution data structure stays as
+ * `authoring.entityTypes.<name>` — pack authors keep contributing
+ * through the namespace; the composed-helpers template performs the
+ * rename in the type system.
+ *
+ * SQL-specific composition (the `field` / `model` / `rel` / `type` core
+ * helpers, the SQL index-types merge) lives in the SQL contract-ts
+ * package and imports from here.
+ */
+type UnionToIntersection<U> = (U extends unknown ? (value: U) => void : never) extends ((value: infer I) => void) ? I : never;
+type AuthoringNamespaceKey = 'field' | 'type' | 'entityTypes';
+type ExtractAuthoringNamespaceFromPack<Pack, Key extends AuthoringNamespaceKey, EmptyNamespace> = Pack extends {
+  readonly authoring?: { readonly [P in Key]?: infer Namespace; };
+} ? Namespace extends Record<string, unknown> ? Namespace : EmptyNamespace : EmptyNamespace;
+type MergeExtensionAuthoringNamespaces<Extensions, Key extends AuthoringNamespaceKey, EmptyNamespace = Record<never, never>> = Extensions extends Record<string, unknown> ? keyof Extensions extends never ? EmptyNamespace : UnionToIntersection<{ [K in keyof Extensions]: ExtractAuthoringNamespaceFromPack<Extensions[K], Key, EmptyNamespace>; }[keyof Extensions]> : EmptyNamespace;
+/**
+ * Entity-helper shape derivation. Mirrors `FieldHelpersFromNamespace` /
+ * `TypeHelpersFromNamespace` in the SQL package: leaf descriptors become
+ * callable helpers; nested namespaces recurse.
+ */
+type ExtractFactoryInputAndOutput<Descriptor extends AuthoringEntityTypeDescriptor> = Descriptor['output'] extends {
+  readonly factory: (input: infer Input, ctx: AuthoringEntityContext) => infer Output;
+} ? {
+  input: Input;
+  output: Output;
+} : {
+  input: unknown;
+  output: unknown;
+};
+type EntityHelperFunction<Descriptor extends AuthoringEntityTypeDescriptor> = ExtractFactoryInputAndOutput<Descriptor> extends {
+  input: infer Input;
+  output: infer Output;
+} ? (input: Input) => Output : never;
+type EntityHelpersFromNamespace<Namespace> = { readonly [K in keyof Namespace]: Namespace[K] extends AuthoringEntityTypeDescriptor ? EntityHelperFunction<Namespace[K]> : Namespace[K] extends Record<string, unknown> ? EntityHelpersFromNamespace<Namespace[K]> : never; };
+interface EntityHelperFactoryOptions {
+  readonly ctx: AuthoringEntityContext;
+}
+/**
+ * Walks an entity-type namespace (after cross-pack merge) and produces the
+ * runtime callable surface mirroring its tree shape. Each leaf
+ * descriptor becomes a function `(input) => factory(input, ctx)`;
+ * nested namespace objects recurse.
+ */
+declare function createEntityHelpersFromNamespace(namespace: AuthoringEntityTypeNamespace, options: EntityHelperFactoryOptions, path?: readonly string[]): Record<string, unknown>;
+//#endregion
+//#region src/descriptors.d.ts
+interface IndexDef {
+  readonly columns: readonly string[];
+  readonly name?: string;
+  readonly type?: string;
+  readonly options?: Record<string, unknown>;
+}
+interface ForeignKeyDefaultsState {
+  readonly constraint: boolean;
+  readonly index: boolean;
+}
+//#endregion
+//#region src/enum-type.d.ts
+/**
+ * A single enum member produced by `member()`. The `Name` and `Value` generics
+ * are preserved as literal types so `enumType()` can carry the ordered value
+ * tuple in its return type. `Value` is whatever the codec dictates — its type
+ * is constrained at `enumType` against the codec's input type, not here.
+ */
+interface EnumMember<Name extends string, Value> {
+  readonly name: Name;
+  readonly value: Value;
+}
+/**
+ * Declare an enum member. The `value` defaults to `name` when omitted. The
+ * value is an unconstrained literal here; `enumType` constrains it against the
+ * codec's input type. Both generics are preserved as literals so downstream
+ * `enumType` carries the value union in its type; the value is serialized to its
+ * codec string form only at lowering.
+ */
+declare function member<const Name extends string>(name: Name): EnumMember<Name, Name>;
+declare function member<const Name extends string, const Value>(name: Name, value: Value): EnumMember<Name, Value>;
+type MembersToValues<Members extends readonly EnumMember<string, unknown>[]> = { readonly [K in keyof Members]: Members[K] extends EnumMember<string, infer V> ? V : never; };
+type MembersToNames<Members extends readonly EnumMember<string, unknown>[]> = { readonly [K in keyof Members]: Members[K] extends EnumMember<infer N, unknown> ? N : never; };
+type MembersAccessorMap<Members extends readonly EnumMember<string, unknown>[]> = { readonly [M in Members[number] as M['name']]: M['value']; };
+declare const ENUM_TYPE_HANDLE_BRAND = "__prismaNextEnumTypeHandle__";
+/** Authoring handle returned by `enumType()`. Generic over the ordered value tuple so `const Role = enumType(...)` retains literal types. */
+interface EnumTypeHandle<Name extends string = string, Values extends readonly unknown[] = readonly unknown[], Names extends readonly string[] = readonly string[], MembersMap extends Record<string, unknown> = Record<string, unknown>> {
+  /** Internal brand for lowering-pipeline detection. */
+  readonly [ENUM_TYPE_HANDLE_BRAND]: true;
+  /** The enum's declared name (used as the key in domain `enum` / storage `valueSet`). */
+  readonly enumName: Name;
+  /** codecId from the codec passed to `enumType`. */
+  readonly codecId: string;
+  /** nativeType from the codec passed to `enumType`. */
+  readonly nativeType: string;
+  /** Ordered member list for lowering (name + value pairs). */
+  readonly enumMembers: readonly {
+    readonly name: string;
+    readonly value: Values[number];
+  }[];
+  /** Ordered literal value tuple. Declaration order is preserved. */
+  readonly values: Values;
+  /** Ordered literal name tuple. Declaration order is preserved. */
+  readonly names: Names;
+  /**
+   * Namespaced accessor map: `Role.members.User === 'user'`.
+   * Namespaced under `.members` to avoid collisions with `.values` / `.has`.
+   */
+  readonly members: MembersMap;
+  /** Returns `true` if `v` is a declared member value. */
+  has(v: Values[number]): boolean;
+  /** Returns the member name for a value, or `undefined` if not found. */
+  nameOf(v: Values[number]): string | undefined;
+  /** Returns the zero-based declaration index of a value, or `-1` if not found. */
+  ordinalOf(v: Values[number]): number;
+}
+/**
+ * A codec typemap: codecId → `{ input, output }`, the same shape the query
+ * lanes consume. The bound `enumType` wrappers supply the target pack's
+ * typemap; the core defaults to an empty map (no codec is known), so member
+ * values stay unconstrained.
+ */
+type CodecTypeMap = Record<string, {
+  readonly input?: unknown;
+}>;
+/**
+ * The application input type the codec dictates for an enum's member values:
+ * looks `Codec['codecId']` up in the supplied codec typemap. When the codecId
+ * isn't in the map the input is unconstrained, so any member-value literal is
+ * accepted and inferred verbatim.
+ */
+type CodecInput<CodecTypes extends CodecTypeMap, Codec extends {
+  readonly codecId: string;
+}> = Codec['codecId'] extends keyof CodecTypes ? CodecTypes[Codec['codecId']] extends {
+  readonly input: infer In;
+} ? In : unknown : unknown;
+/**
+ * Declare a domain enum for use in TS-authoring contracts.
+ *
+ * - The codec is an explicit required argument — the `codecId` and
+ *   `nativeType` are taken from the passed `ColumnTypeDescriptor` (e.g.
+ *   `{ codecId: 'pg/text@1', nativeType: 'text' }` from a field preset
+ *   output or a direct inline object).
+ * - `const` generics on the members spread preserve the ordered literal
+ *   value tuple so `Role.values` is `readonly ['user','admin']`, not
+ *   `string[]`.
+ * - Well-formedness assertions at construction: non-empty member list;
+ *   unique names; unique values.
+ *
+ * The returned handle wires into `field.namedType(handle)` to set
+ * `valueSet` refs on both the domain field and the storage column.
+ *
+ * @example
+ * ```ts
+ * const Role = enumType('Role', { codecId: 'pg/text@1', nativeType: 'text' },
+ *   member('User', 'user'),
+ *   member('Admin', 'admin'),
+ * );
+ * // Role.values → readonly ['user', 'admin']
+ * // Role.members.User → 'user'
+ * ```
+ */
+declare function enumType<CodecTypes extends CodecTypeMap = Record<string, never>, const Name extends string = string, const Codec extends Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'> = Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>, const Members extends readonly [EnumMember<string, CodecInput<CodecTypes, Codec>>, ...EnumMember<string, CodecInput<CodecTypes, Codec>>[]] = readonly [EnumMember<string, CodecInput<CodecTypes, Codec>>]>(name: Name, codec: Codec, ...members: Members): EnumTypeHandle<Name, MembersToValues<[...Members]>, MembersToNames<[...Members]>, MembersAccessorMap<[...Members]>>;
+declare function enumType(name: string, codec: Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>, ...members: EnumMember<string, unknown>[]): EnumTypeHandle;
+/**
+ * The signature of an `enumType` whose codec typemap is already bound — the
+ * shape a target-bound wrapper (e.g. `@internal/postgres/contract-builder`)
+ * exposes. The member values are constrained to the codec's input type drawn
+ * from `CodecTypes`, while `Name`, `Codec`, and the member tuple still infer
+ * from the call.
+ */
+type BoundEnumType<CodecTypes extends CodecTypeMap> = <const Name extends string, const Codec extends Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>, const Members extends readonly [EnumMember<string, CodecInput<CodecTypes, Codec>>, ...EnumMember<string, CodecInput<CodecTypes, Codec>>[]]>(name: Name, codec: Codec, ...members: Members) => EnumTypeHandle<Name, MembersToValues<[...Members]>, MembersToNames<[...Members]>, MembersAccessorMap<[...Members]>>;
+/**
+ * Bind `enumType` to a target's codec typemap. The returned function is the
+ * same runtime `enumType`, retyped so member values are constrained to the
+ * codec's input type. Target packages call this with their pack's
+ * `ExtractCodecTypesFromPack<Pack>` to expose a codec-aware `enumType`.
+ */
+declare function bindEnumType<CodecTypes extends CodecTypeMap>(): BoundEnumType<CodecTypes>;
+/**
+ * Returns true when the value is an `EnumTypeHandle` produced by
+ * `enumType()`. Used in the lowering pipeline to detect enum handles
+ * in field state without importing the brand key at every call site.
+ */
+declare function isEnumTypeHandle(value: unknown): value is EnumTypeHandle;
+//#endregion
+export { type AuthoringNamespaceKey, type BoundEnumType, type CapabilityMatrix, type CodecInput, type CodecTypeMap, ENUM_TYPE_HANDLE_BRAND, type EntityHelperFactoryOptions, type EntityHelperFunction, type EntityHelpersFromNamespace, type EnumMember, type EnumTypeHandle, type ExtractAuthoringNamespaceFromPack, type ForeignKeyDefaultsState, type IndexDef, type MergeExtensionAuthoringNamespaces, type UnionToIntersection, bindEnumType, createEntityHelpersFromNamespace, enumType, isEnumTypeHandle, member, mergeCapabilityMatrices };
+//# sourceMappingURL=contract-authoring.d.mts.map

package/dist/contract-authoring.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-authoring.d.mts","names":[],"sources":["../../../../1-framework/2-authoring/contract/dist/index.d.mts"],"mappings":";;;;;KAGK,mBAAmB,SAAS,eAAe,SAAS;;;;;;;;;;;;;iBAaxC,2BAA2B,SAAS,cAAc,gCAAgC,eAAe;;;;;;;;;;;;;;;;;;;;KAoB7G,oBAAoB,MAAM,qBAAqB,OAAO,8BAA8B,aAAa,cAAc;KAC/G;KACA,kCAAkC,MAAM,YAAY,uBAAuB,kBAAkB;WACvF,wBAAwB,KAAK,aAAa;IACjD,kBAAkB,0BAA0B,YAAY,iBAAiB;KACxE,kCAAkC,YAAY,YAAY,uBAAuB,iBAAiB,wBAAwB,mBAAmB,gCAAgC,2BAA2B,iBAAiB,uBAAuB,WAAW,aAAa,kCAAkC,WAAW,IAAI,KAAK,yBAAyB,eAAe;;;;;;KAMtW,6BAA6B,mBAAmB,iCAAiC;WAC3E,UAAU,aAAa,OAAO,KAAK,iCAAiC;;EAE7E,OAAO;EACP,QAAQ;;EAER;EACA;;KAEG,qBAAqB,mBAAmB,iCAAiC,6BAA6B;EACzG,aAAa;EACb,cAAc;KACX,OAAO,UAAU;KACjB,2BAA2B,yBAAyB,WAAW,YAAY,UAAU,WAAW,gCAAgC,qBAAqB,UAAU,MAAM,UAAU,WAAW,0BAA0B,2BAA2B,UAAU;UACpP;WACC,KAAK;;;;;;;;iBAQC,iCAAiC,WAAW,8BAA8B,SAAS,4BAA4B,2BAA2B;;;UAGjJ;WACC;WACA;WACA;WACA,UAAU;;UAEX;WACC;WACA;;;;;;;;;;UAUD,WAAW,qBAAqB;WAC/B,MAAM;WACN,OAAO;;;;;;;;;iBASD,aAAa,qBAAqB,MAAM,OAAO,WAAW,MAAM;iBAChE,aAAa,2BAA2B,OAAO,MAAM,MAAM,OAAO,QAAQ,WAAW,MAAM;KACvG,gBAAgB,yBAAyB,6CAA6C,WAAW,UAAU,QAAQ,WAAW,yBAAyB,KAAK;KAC5J,eAAe,yBAAyB,6CAA6C,WAAW,UAAU,QAAQ,WAAW,iBAAiB,cAAc;KAC5J,mBAAmB,yBAAyB,6CAA6C,KAAK,mBAAmB,YAAY;cACpH;;UAEJ,eAAe,8BAA8B,wDAAwD,qDAAqD,mBAAmB,0BAA0B;;YAErM;;WAED,UAAU;;WAEV;;WAEA;;WAEA;aACE;aACA,OAAO;;;WAGT,QAAQ;;WAER,OAAO;;;;;WAKP,SAAS;;EAElB,IAAI,GAAG;;EAEP,OAAO,GAAG;;EAEV,UAAU,GAAG;;;;;;;;KAQV,eAAe;WACT;;;;;;;;KAQN,WAAW,mBAAmB,cAAc;WACtC;KACN,+BAA+B,aAAa,WAAW;WACjD,aAAa;IACpB;;;;;;;;;;;;;;;;;;;;;;;;;;;iBA2Ba,SAAS,mBAAmB,eAAe,6BAA6B,oCAAoC,cAAc,KAAK,kDAAkD,KAAK,uDAAuD,0BAA0B,mBAAmB,WAAW,YAAY,YAAY,mBAAmB,WAAW,YAAY,uBAAuB,mBAAmB,WAAW,YAAY,UAAU,MAAM,MAAM,OAAO,UAAU,SAAS,UAAU,eAAe,MAAM,oBAAoB,WAAW,mBAAmB,WAAW,uBAAuB;iBAC3kB,SAAS,cAAc,OAAO,KAAK,oDAAoD,SAAS,gCAAgC;;;;;;;;KAQ5I,cAAc,mBAAmB,uBAAuB,2BAA2B,cAAc,KAAK,uDAAuD,0BAA0B,mBAAmB,WAAW,YAAY,YAAY,mBAAmB,WAAW,YAAY,YAAY,MAAM,MAAM,OAAO,UAAU,SAAS,YAAY,eAAe,MAAM,oBAAoB,WAAW,mBAAmB,WAAW,uBAAuB;;;;;;;iBAOlb,aAAa,mBAAmB,iBAAiB,cAAc;;;;;;iBAM/D,iBAAiB,iBAAiB,SAAS"}