@prisma-next/config 0.0.1

package/README.md

@@ -0,0 +1,42 @@
+# @prisma-next/config
+
+Config authoring types and validation for `prisma-next.config.ts`.
+
+## Overview
+
+This package owns the shared config contract used by tooling and authoring packages:
+
+- `PrismaNextConfig` and `ContractConfig` types
+- contract source provider + diagnostics protocol
+- `defineConfig()` normalization/defaulting
+- `validateConfig()` structural/runtime-shape validation
+
+## Responsibilities
+
+- Type-safe config composition for `family`, `target`, `adapter`, optional `driver`, and optional `extensionPacks` (`extensions` is rejected at runtime)
+- Contract source provider protocol (`contract.source`) and diagnostics shape
+- Pure config validation and normalization with no file system access
+
+## Non-responsibilities
+
+- Config file discovery/loading (`c12`, file I/O) - handled by `@prisma-next/cli`
+- CLI error envelope formatting and rendering - handled by CLI/core-control-plane error utilities
+- Control-plane migration operations and runtime actions
+
+## Usage
+
+```ts
+import { defineConfig } from '@prisma-next/config/config-types';
+import { validateConfig } from '@prisma-next/config/config-validation';
+
+const config = defineConfig({
+  family: sqlFamilyDescriptor,
+  target: postgresTargetDescriptor,
+  adapter: postgresAdapterDescriptor,
+  contract: {
+    source: async () => /* Result<ContractIR, ContractSourceDiagnostics> */ null as never,
+  },
+});
+
+validateConfig(config);
+```

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

@@ -0,0 +1,103 @@
+import { a as ControlExtensionDescriptor, i as ControlDriverInstance, r as ControlDriverDescriptor, s as ControlFamilyDescriptor, t as ControlAdapterDescriptor, u as ControlTargetDescriptor } from "./types-BRFw7URn.mjs";
+import { ContractIR } from "@prisma-next/contract/ir";
+import { Result } from "@prisma-next/utils/result";
+
+//#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;
+}
+interface ContractSourceDiagnostics {
+  readonly summary: string;
+  readonly diagnostics: readonly ContractSourceDiagnostic[];
+  readonly meta?: Record<string, unknown>;
+}
+type ContractSourceProvider = () => Promise<Result<ContractIR, ContractSourceDiagnostics>>;
+//#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 ContractIR or structured diagnostics.
+   */
+  readonly source: ContractSourceProvider;
+  /**
+   * Path to contract.json artifact. Defaults to 'src/prisma/contract.json'.
+   * The .d.ts types file will be colocated (e.g., contract.json -> contract.d.ts).
+   */
+  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 extensionPacks?: 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;
+  };
+}
+/**
+ * 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 'src/prisma/contract.json' if missing
+ *
+ * @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 { ContractSourceDiagnosticPosition as a, ContractSourceProvider as c, ContractSourceDiagnostic as i, PrismaNextConfig as n, ContractSourceDiagnosticSpan as o, defineConfig as r, ContractSourceDiagnostics as s, ContractConfig as t };
+//# sourceMappingURL=config-types-RUOChRJ2.d.mts.map

package/dist/config-types-RUOChRJ2.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-types-RUOChRJ2.d.mts","names":[],"sources":["../src/contract-source-types.ts","../src/config-types.ts"],"sourcesContent":[],"mappings":";;;;;UAGiB,gCAAA;;;EAAA,SAAA,MAAA,EAAA,MAAA;AAMjB;AAKiB,UALA,4BAAA,CASC;EAGD,SAAA,KAAA,EAXC,gCAae;EAIrB,SAAA,GAAA,EAhBI,gCAgBkB;;AAAoC,UAbrD,wBAAA,CAaqD;EAAnB,SAAA,IAAA,EAAA,MAAA;EAAR,SAAA,OAAA,EAAA,MAAA;EAAO,SAAA,QAAA,CAAA,EAAA,MAAA;kBAThC;;UAGD,yBAAA;ECDA,SAAA,OAAA,EAAc,MAAA;EAqBd,SAAA,WAAgB,EAAA,SDlBA,wBCkBA,EAAA;EAKU,SAAA,IAAA,CAAA,EDtBzB,MCsByB,CAAA,MAAA,EAAA,OAAA,CAAA;;AACA,KDpB/B,sBAAA,GCoB+B,GAAA,GDpBA,OCoBA,CDpBQ,MCoBR,CDpBe,UCoBf,EDpB2B,yBCoB3B,CAAA,CAAA;;;ADjC3C;AAOA;AAMA;AAA0D,UCPzC,cAAA,CDOyC;EAAY;;;;mBCFnD;;;AALnB;AAqBA;EAK2C,SAAA,MAAA,CAAA,EAAA,MAAA;;;;;;;;;;AAGN,UARpB,gBAQoB,CAAA,kBAAA,MAAA,GAAA,MAAA,EAAA,kBAAA,MAAA,GAAA,MAAA,EAAA,cAAA,OAAA,CAAA,CAAA;EAQjC,SAAA,MAAA,EAXe,uBAWf,CAXuC,SAWvC,CAAA;EACA,SAAA,MAAA,EAXe,uBAWf,CAXuC,SAWvC,EAXkD,SAWlD,CAAA;EACsB,SAAA,OAAA,EAXN,wBAWM,CAXmB,SAWnB,EAX8B,SAW9B,CAAA;EAAW,SAAA,cAAA,CAAA,EAAA,SAVA,0BAUA,CAV2B,SAU3B,EAVsC,SAUtC,CAAA,EAAA;EAAjC;;;;;;EAqEY,SAAA,MAAY,CAAA,EAxER,uBAwEQ,CAvExB,SAuEwB,EAtExB,SAsEwB,EArExB,qBAqEwB,CArEF,SAqEE,EArES,SAqET,CAAA,EApExB,WAoEwB,CAAA;EACD;;;;EACI,SAAA,EAAA,CAAA,EAAA;IAA5B;;;;;0BA1DuB;;;;;;sBAMJ;;;;;;;;;;;;;;;;;;;;iBAkDN,2FACN,iBAAiB,WAAW,aACnC,iBAAiB,WAAW"}

package/dist/config-types.d.mts

@@ -0,0 +1,2 @@
+import { a as ContractSourceDiagnosticPosition, c as ContractSourceProvider, i as ContractSourceDiagnostic, n as PrismaNextConfig, o as ContractSourceDiagnosticSpan, r as defineConfig, s as ContractSourceDiagnostics, t as ContractConfig } from "./config-types-RUOChRJ2.mjs";
+export { type ContractConfig, type ContractSourceDiagnostic, type ContractSourceDiagnosticPosition, type ContractSourceDiagnosticSpan, type ContractSourceDiagnostics, type ContractSourceProvider, type PrismaNextConfig, defineConfig };

package/dist/config-types.mjs

@@ -0,0 +1,62 @@
+import { type } from "arktype";
+
+//#region src/config-types.ts
+/**
+* Arktype schema for ContractConfig validation.
+* Validates presence/shape only.
+* contract.source is validated as a provider function at runtime in defineConfig().
+*/
+const ContractConfigSchema = type({
+	source: "unknown",
+	"output?": "string"
+});
+/**
+* Arktype schema for PrismaNextConfig validation.
+* Note: This validates structure only. Descriptor objects (family, target, adapter) are validated separately.
+*/
+const MigrationsConfigSchema = type({ "dir?": "string" });
+const PrismaNextConfigSchema = type({
+	family: "unknown",
+	target: "unknown",
+	adapter: "unknown",
+	"extensionPacks?": "unknown[]",
+	"driver?": "unknown",
+	"db?": "unknown",
+	"contract?": ContractConfigSchema,
+	"migrations?": MigrationsConfigSchema
+});
+/**
+* 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 'src/prisma/contract.json' if missing
+*
+* @param config - Raw config input from user
+* @returns Normalized config IR with defaults applied
+* @throws Error if config structure is invalid
+*/
+function defineConfig(config) {
+	const validated = PrismaNextConfigSchema(config);
+	if (validated instanceof type.errors) {
+		const messages = validated.map((p) => p.message).join("; ");
+		throw new Error(`Config validation failed: ${messages}`);
+	}
+	if (config.contract) {
+		if (typeof config.contract.source !== "function") throw new Error("Config.contract.source must be a provider function");
+		const output = config.contract.output ?? "src/prisma/contract.json";
+		const normalizedContract = {
+			source: config.contract.source,
+			output
+		};
+		return {
+			...config,
+			contract: normalizedContract
+		};
+	}
+	return config;
+}
+
+//#endregion
+export { defineConfig };
+//# sourceMappingURL=config-types.mjs.map

package/dist/config-types.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-types.mjs","names":["normalizedContract: ContractConfig"],"sources":["../src/config-types.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type { ContractSourceProvider } from './contract-source-types';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n  ControlTargetDescriptor,\n} from './types';\n\n/**\n * Type alias for CLI driver instances.\n * Uses string for both family and target IDs for maximum flexibility.\n */\nexport type CliDriver = ControlDriverInstance<string, string>;\n\n/**\n * Contract configuration specifying source and artifact locations.\n */\nexport interface ContractConfig {\n  /**\n   * Contract source provider. The provider is always async and must return\n   * a Result containing either ContractIR or structured diagnostics.\n   */\n  readonly source: ContractSourceProvider;\n  /**\n   * Path to contract.json artifact. Defaults to 'src/prisma/contract.json'.\n   * The .d.ts types file will be colocated (e.g., contract.json -> contract.d.ts).\n   */\n  readonly output?: string;\n}\n\n/**\n * Configuration for Prisma Next CLI.\n * Uses Control*Descriptor types for type-safe wiring with compile-time compatibility checks.\n *\n * @template TFamilyId - The family ID (e.g., 'sql', 'document')\n * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')\n * @template TConnection - The driver connection input type (defaults to `unknown` for config flexibility)\n */\nexport interface PrismaNextConfig<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n  TConnection = unknown,\n> {\n  readonly family: ControlFamilyDescriptor<TFamilyId>;\n  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;\n  readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;\n  readonly extensionPacks?: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];\n  /**\n   * Driver descriptor for DB-connected CLI commands.\n   * Required for DB-connected commands (e.g., db verify).\n   * Optional for commands that don't need database access (e.g., emit).\n   * The driver's connection type matches the TConnection config parameter.\n   */\n  readonly driver?: ControlDriverDescriptor<\n    TFamilyId,\n    TTargetId,\n    ControlDriverInstance<TFamilyId, TTargetId>,\n    TConnection\n  >;\n  /**\n   * Database connection configuration.\n   * The connection type is driver-specific (e.g., URL string for Postgres).\n   */\n  readonly db?: {\n    /**\n     * Driver-specific connection input.\n     * For Postgres: a connection string (URL).\n     * For other drivers: may be a structured object.\n     */\n    readonly connection?: TConnection;\n  };\n  /**\n   * Contract configuration. Specifies source and artifact locations.\n   * Required for emit command; optional for other commands that only read artifacts.\n   */\n  readonly contract?: ContractConfig;\n  /**\n   * Migration configuration. Controls where on-disk migration packages are stored.\n   */\n  readonly migrations?: {\n    /** Directory for migration packages, relative to config file. Defaults to 'migrations'. */\n    readonly dir?: string;\n  };\n}\n\n/**\n * Arktype schema for ContractConfig validation.\n * Validates presence/shape only.\n * contract.source is validated as a provider function at runtime in defineConfig().\n */\nconst ContractConfigSchema = type({\n  source: 'unknown', // Runtime check enforces provider function shape\n  'output?': 'string',\n});\n\n/**\n * Arktype schema for PrismaNextConfig validation.\n * Note: This validates structure only. Descriptor objects (family, target, adapter) are validated separately.\n */\nconst MigrationsConfigSchema = type({\n  'dir?': 'string',\n});\n\nconst PrismaNextConfigSchema = type({\n  family: 'unknown', // ControlFamilyDescriptor - validated separately\n  target: 'unknown', // ControlTargetDescriptor - validated separately\n  adapter: 'unknown', // ControlAdapterDescriptor - validated separately\n  'extensionPacks?': 'unknown[]',\n  'driver?': 'unknown', // ControlDriverDescriptor - validated separately (optional)\n  'db?': 'unknown',\n  'contract?': ContractConfigSchema,\n  'migrations?': MigrationsConfigSchema,\n});\n\n/**\n * Helper function to define a Prisma Next config.\n * Validates and normalizes the config using Arktype, then returns the normalized IR.\n *\n * Normalization:\n * - contract.output defaults to 'src/prisma/contract.json' if missing\n *\n * @param config - Raw config input from user\n * @returns Normalized config IR with defaults applied\n * @throws Error if config structure is invalid\n */\nexport function defineConfig<TFamilyId extends string = string, TTargetId extends string = string>(\n  config: PrismaNextConfig<TFamilyId, TTargetId>,\n): PrismaNextConfig<TFamilyId, TTargetId> {\n  // Validate structure using Arktype\n  const validated = PrismaNextConfigSchema(config);\n  if (validated instanceof type.errors) {\n    const messages = validated.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Config validation failed: ${messages}`);\n  }\n\n  // Normalize contract config if present\n  if (config.contract) {\n    // Validate contract.source provider function shape at runtime.\n    const source = config.contract.source;\n    if (typeof source !== 'function') {\n      throw new Error('Config.contract.source must be a provider function');\n    }\n\n    // Apply defaults\n    const output = config.contract.output ?? 'src/prisma/contract.json';\n\n    const normalizedContract: ContractConfig = {\n      source: config.contract.source,\n      output,\n    };\n\n    // Return normalized config\n    return {\n      ...config,\n      contract: normalizedContract,\n    };\n  }\n\n  // Return config as-is if no contract (preserve literal types)\n  return config;\n}\n"],"mappings":";;;;;;;;AA6FA,MAAM,uBAAuB,KAAK;CAChC,QAAQ;CACR,WAAW;CACZ,CAAC;;;;;AAMF,MAAM,yBAAyB,KAAK,EAClC,QAAQ,UACT,CAAC;AAEF,MAAM,yBAAyB,KAAK;CAClC,QAAQ;CACR,QAAQ;CACR,SAAS;CACT,mBAAmB;CACnB,WAAW;CACX,OAAO;CACP,aAAa;CACb,eAAe;CAChB,CAAC;;;;;;;;;;;;AAaF,SAAgB,aACd,QACwC;CAExC,MAAM,YAAY,uBAAuB,OAAO;AAChD,KAAI,qBAAqB,KAAK,QAAQ;EACpC,MAAM,WAAW,UAAU,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAChF,QAAM,IAAI,MAAM,6BAA6B,WAAW;;AAI1D,KAAI,OAAO,UAAU;AAGnB,MAAI,OADW,OAAO,SAAS,WACT,WACpB,OAAM,IAAI,MAAM,qDAAqD;EAIvE,MAAM,SAAS,OAAO,SAAS,UAAU;EAEzC,MAAMA,qBAAqC;GACzC,QAAQ,OAAO,SAAS;GACxB;GACD;AAGD,SAAO;GACL,GAAG;GACH,UAAU;GACX;;AAIH,QAAO"}

package/dist/config-validation.d.mts

@@ -0,0 +1,22 @@
+import { n as PrismaNextConfig } from "./config-types-RUOChRJ2.mjs";
+
+//#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 ConfigValidationError if config structure is invalid
+ */
+declare function validateConfig(config: unknown): asserts config is PrismaNextConfig;
+//#endregion
+//#region src/errors.d.ts
+declare class ConfigValidationError extends Error {
+  readonly field: string;
+  readonly why: string;
+  constructor(field: string, why?: string);
+}
+//#endregion
+export { ConfigValidationError, validateConfig };
+//# sourceMappingURL=config-validation.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"config-validation.d.mts","names":[],"sources":["../src/config-validation.ts","../src/errors.ts"],"sourcesContent":[],"mappings":";;;;;;AAcA;;;;ACdA;iBDcgB,cAAA,qCAAmD;;;cCdtD,qBAAA,SAA8B,KAAA;;;EDc3B,WAAA,CAAA,KAAc,EAAA,MAAA,EAAA,GAAqC,CAAA,EAAA,MAAA"}

package/dist/config-validation.mjs

@@ -0,0 +1,95 @@
+//#region src/errors.ts
+var ConfigValidationError = class extends Error {
+	field;
+	why;
+	constructor(field, why) {
+		super(why ?? `Config must have a "${field}" field`);
+		this.name = "ConfigValidationError";
+		this.field = field;
+		this.why = why ?? `Config must have a "${field}" field`;
+	}
+};
+
+//#endregion
+//#region src/config-validation.ts
+function throwValidation(field, why) {
+	throw new ConfigValidationError(field, why);
+}
+/**
+* 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 ConfigValidationError 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["hook"] || typeof family["hook"] !== "object") throwValidation("family.hook", "Config.family must have hook: TargetFamilyHook");
+	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["extensions"] !== void 0) throwValidation("extensions", "Config.extensions is not supported; use Config.extensionPacks");
+	if (configObj["extensionPacks"] !== void 0) {
+		if (!Array.isArray(configObj["extensionPacks"])) throwValidation("extensionPacks", "Config.extensionPacks must be an array");
+		for (const ext of configObj["extensionPacks"]) {
+			if (!ext || typeof ext !== "object") throwValidation("extensionPacks[]", "Config.extensionPacks must contain ControlExtensionDescriptor objects");
+			const extObj = ext;
+			if (extObj["kind"] !== "extension") throwValidation("extensionPacks[].kind", "Config.extensionPacks items must have kind: \"extension\"");
+			if (typeof extObj["id"] !== "string") throwValidation("extensionPacks[].id", "Config.extensionPacks items must have id: string");
+			if (typeof extObj["familyId"] !== "string") throwValidation("extensionPacks[].familyId", "Config.extensionPacks items must have familyId: string");
+			if (typeof extObj["version"] !== "string") throwValidation("extensionPacks[].version", "Config.extensionPacks items must have version: string");
+			if (extObj["familyId"] !== familyId) throwValidation("extensionPacks[].familyId", `Config.extensionPacks[].familyId must match Config.family.familyId (expected: ${familyId}, got: ${extObj["familyId"]})`);
+			if (typeof extObj["targetId"] !== "string") throwValidation("extensionPacks[].targetId", "Config.extensionPacks items must have targetId: string");
+			if (extObj["targetId"] !== expectedTargetId) throwValidation("extensionPacks[].targetId", `Config.extensionPacks[].targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${extObj["targetId"]})`);
+			if (typeof extObj["create"] !== "function") throwValidation("extensionPacks[].create", "Config.extensionPacks 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");
+		if (!Object.hasOwn(contract, "source")) throwValidation("contract.source", "Config.contract.source is required when contract is provided");
+		if (typeof contract["source"] !== "function") throwValidation("contract.source", "Config.contract.source must be a provider function");
+		if (contract["output"] !== void 0 && typeof contract["output"] !== "string") throwValidation("contract.output", "Config.contract.output must be a string when provided");
+	}
+}
+
+//#endregion
+export { ConfigValidationError, validateConfig };
+//# sourceMappingURL=config-validation.mjs.map

package/dist/config-validation.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-validation.mjs","names":[],"sources":["../src/errors.ts","../src/config-validation.ts"],"sourcesContent":["export class ConfigValidationError extends Error {\n  readonly field: string;\n  readonly why: string;\n\n  constructor(field: string, why?: string) {\n    super(why ?? `Config must have a \"${field}\" field`);\n    this.name = 'ConfigValidationError';\n    this.field = field;\n    this.why = why ?? `Config must have a \"${field}\" field`;\n  }\n}\n","import type { PrismaNextConfig } from './config-types';\nimport { ConfigValidationError } from './errors';\n\nfunction throwValidation(field: string, why?: string): never {\n  throw new ConfigValidationError(field, why);\n}\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 ConfigValidationError if config structure is invalid\n */\nexport function validateConfig(config: unknown): asserts config is PrismaNextConfig {\n  if (!config || typeof config !== 'object') {\n    throwValidation('object', 'Config must be an object');\n  }\n\n  const configObj = config as Record<string, unknown>;\n\n  if (!configObj['family']) {\n    throwValidation('family');\n  }\n\n  if (!configObj['target']) {\n    throwValidation('target');\n  }\n\n  if (!configObj['adapter']) {\n    throwValidation('adapter');\n  }\n\n  // Validate family descriptor\n  const family = configObj['family'] as Record<string, unknown>;\n  if (family['kind'] !== 'family') {\n    throwValidation('family.kind', 'Config.family must have kind: \"family\"');\n  }\n  if (typeof family['id'] !== 'string') {\n    throwValidation('family.id', 'Config.family must have id: string');\n  }\n  if (typeof family['familyId'] !== 'string') {\n    throwValidation('family.familyId', 'Config.family must have familyId: string');\n  }\n  if (typeof family['version'] !== 'string') {\n    throwValidation('family.version', 'Config.family must have version: string');\n  }\n  if (!family['hook'] || typeof family['hook'] !== 'object') {\n    throwValidation('family.hook', 'Config.family must have hook: TargetFamilyHook');\n  }\n  if (typeof family['create'] !== 'function') {\n    throwValidation('family.create', 'Config.family must have create: function');\n  }\n\n  const familyId = family['familyId'] as string;\n\n  // Validate target descriptor\n  const target = configObj['target'] as Record<string, unknown>;\n  if (target['kind'] !== 'target') {\n    throwValidation('target.kind', 'Config.target must have kind: \"target\"');\n  }\n  if (typeof target['id'] !== 'string') {\n    throwValidation('target.id', 'Config.target must have id: string');\n  }\n  if (typeof target['familyId'] !== 'string') {\n    throwValidation('target.familyId', 'Config.target must have familyId: string');\n  }\n  if (typeof target['version'] !== 'string') {\n    throwValidation('target.version', 'Config.target must have version: string');\n  }\n  if (target['familyId'] !== familyId) {\n    throwValidation(\n      'target.familyId',\n      `Config.target.familyId must match Config.family.familyId (expected: ${familyId}, got: ${target['familyId']})`,\n    );\n  }\n  if (typeof target['targetId'] !== 'string') {\n    throwValidation('target.targetId', 'Config.target must have targetId: string');\n  }\n  if (typeof target['create'] !== 'function') {\n    throwValidation('target.create', 'Config.target must have create: function');\n  }\n  const expectedTargetId = target['targetId'] as string;\n\n  // Validate adapter descriptor\n  const adapter = configObj['adapter'] as Record<string, unknown>;\n  if (adapter['kind'] !== 'adapter') {\n    throwValidation('adapter.kind', 'Config.adapter must have kind: \"adapter\"');\n  }\n  if (typeof adapter['id'] !== 'string') {\n    throwValidation('adapter.id', 'Config.adapter must have id: string');\n  }\n  if (typeof adapter['familyId'] !== 'string') {\n    throwValidation('adapter.familyId', 'Config.adapter must have familyId: string');\n  }\n  if (typeof adapter['version'] !== 'string') {\n    throwValidation('adapter.version', 'Config.adapter must have version: string');\n  }\n  if (adapter['familyId'] !== familyId) {\n    throwValidation(\n      'adapter.familyId',\n      `Config.adapter.familyId must match Config.family.familyId (expected: ${familyId}, got: ${adapter['familyId']})`,\n    );\n  }\n  if (typeof adapter['targetId'] !== 'string') {\n    throwValidation('adapter.targetId', 'Config.adapter must have targetId: string');\n  }\n  if (adapter['targetId'] !== expectedTargetId) {\n    throwValidation(\n      'adapter.targetId',\n      `Config.adapter.targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${adapter['targetId']})`,\n    );\n  }\n  if (typeof adapter['create'] !== 'function') {\n    throwValidation('adapter.create', 'Config.adapter must have create: function');\n  }\n\n  if (configObj['extensions'] !== undefined) {\n    throwValidation('extensions', 'Config.extensions is not supported; use Config.extensionPacks');\n  }\n\n  // Validate extensionPacks array if present\n  if (configObj['extensionPacks'] !== undefined) {\n    if (!Array.isArray(configObj['extensionPacks'])) {\n      throwValidation('extensionPacks', 'Config.extensionPacks must be an array');\n    }\n    for (const ext of configObj['extensionPacks']) {\n      if (!ext || typeof ext !== 'object') {\n        throwValidation(\n          'extensionPacks[]',\n          'Config.extensionPacks must contain ControlExtensionDescriptor objects',\n        );\n      }\n      const extObj = ext as Record<string, unknown>;\n      if (extObj['kind'] !== 'extension') {\n        throwValidation(\n          'extensionPacks[].kind',\n          'Config.extensionPacks items must have kind: \"extension\"',\n        );\n      }\n      if (typeof extObj['id'] !== 'string') {\n        throwValidation('extensionPacks[].id', 'Config.extensionPacks items must have id: string');\n      }\n      if (typeof extObj['familyId'] !== 'string') {\n        throwValidation(\n          'extensionPacks[].familyId',\n          'Config.extensionPacks items must have familyId: string',\n        );\n      }\n      if (typeof extObj['version'] !== 'string') {\n        throwValidation(\n          'extensionPacks[].version',\n          'Config.extensionPacks items must have version: string',\n        );\n      }\n      if (extObj['familyId'] !== familyId) {\n        throwValidation(\n          'extensionPacks[].familyId',\n          `Config.extensionPacks[].familyId must match Config.family.familyId (expected: ${familyId}, got: ${extObj['familyId']})`,\n        );\n      }\n      if (typeof extObj['targetId'] !== 'string') {\n        throwValidation(\n          'extensionPacks[].targetId',\n          'Config.extensionPacks items must have targetId: string',\n        );\n      }\n      if (extObj['targetId'] !== expectedTargetId) {\n        throwValidation(\n          'extensionPacks[].targetId',\n          `Config.extensionPacks[].targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${extObj['targetId']})`,\n        );\n      }\n      if (typeof extObj['create'] !== 'function') {\n        throwValidation(\n          'extensionPacks[].create',\n          'Config.extensionPacks items must have create: function',\n        );\n      }\n    }\n  }\n\n  // Validate driver descriptor if present\n  if (configObj['driver'] !== undefined) {\n    const driver = configObj['driver'] as Record<string, unknown>;\n    if (driver['kind'] !== 'driver') {\n      throwValidation('driver.kind', 'Config.driver must have kind: \"driver\"');\n    }\n    if (typeof driver['id'] !== 'string') {\n      throwValidation('driver.id', 'Config.driver must have id: string');\n    }\n    if (typeof driver['version'] !== 'string') {\n      throwValidation('driver.version', 'Config.driver must have version: string');\n    }\n    if (typeof driver['familyId'] !== 'string') {\n      throwValidation('driver.familyId', 'Config.driver must have familyId: string');\n    }\n    if (driver['familyId'] !== familyId) {\n      throwValidation(\n        'driver.familyId',\n        `Config.driver.familyId must match Config.family.familyId (expected: ${familyId}, got: ${driver['familyId']})`,\n      );\n    }\n    if (typeof driver['targetId'] !== 'string') {\n      throwValidation('driver.targetId', 'Config.driver must have targetId: string');\n    }\n    if (driver['targetId'] !== expectedTargetId) {\n      throwValidation(\n        'driver.targetId',\n        `Config.driver.targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${driver['targetId']})`,\n      );\n    }\n    if (typeof driver['create'] !== 'function') {\n      throwValidation('driver.create', 'Config.driver must have create: function');\n    }\n  }\n\n  // Validate contract config if present (structure validation - defineConfig() handles normalization)\n  if (configObj['contract'] !== undefined) {\n    const contract = configObj['contract'] as Record<string, unknown>;\n    if (!contract || typeof contract !== 'object') {\n      throwValidation('contract', 'Config.contract must be an object');\n    }\n    if (!Object.hasOwn(contract, 'source')) {\n      throwValidation(\n        'contract.source',\n        'Config.contract.source is required when contract is provided',\n      );\n    }\n\n    if (typeof contract['source'] !== 'function') {\n      throwValidation('contract.source', 'Config.contract.source must be a provider function');\n    }\n\n    if (contract['output'] !== undefined && typeof contract['output'] !== 'string') {\n      throwValidation('contract.output', 'Config.contract.output must be a string when provided');\n    }\n  }\n}\n"],"mappings":";AAAA,IAAa,wBAAb,cAA2C,MAAM;CAC/C,AAAS;CACT,AAAS;CAET,YAAY,OAAe,KAAc;AACvC,QAAM,OAAO,uBAAuB,MAAM,SAAS;AACnD,OAAK,OAAO;AACZ,OAAK,QAAQ;AACb,OAAK,MAAM,OAAO,uBAAuB,MAAM;;;;;;ACLnD,SAAS,gBAAgB,OAAe,KAAqB;AAC3D,OAAM,IAAI,sBAAsB,OAAO,IAAI;;;;;;;;;AAU7C,SAAgB,eAAe,QAAqD;AAClF,KAAI,CAAC,UAAU,OAAO,WAAW,SAC/B,iBAAgB,UAAU,2BAA2B;CAGvD,MAAM,YAAY;AAElB,KAAI,CAAC,UAAU,UACb,iBAAgB,SAAS;AAG3B,KAAI,CAAC,UAAU,UACb,iBAAgB,SAAS;AAG3B,KAAI,CAAC,UAAU,WACb,iBAAgB,UAAU;CAI5B,MAAM,SAAS,UAAU;AACzB,KAAI,OAAO,YAAY,SACrB,iBAAgB,eAAe,2CAAyC;AAE1E,KAAI,OAAO,OAAO,UAAU,SAC1B,iBAAgB,aAAa,qCAAqC;AAEpE,KAAI,OAAO,OAAO,gBAAgB,SAChC,iBAAgB,mBAAmB,2CAA2C;AAEhF,KAAI,OAAO,OAAO,eAAe,SAC/B,iBAAgB,kBAAkB,0CAA0C;AAE9E,KAAI,CAAC,OAAO,WAAW,OAAO,OAAO,YAAY,SAC/C,iBAAgB,eAAe,iDAAiD;AAElF,KAAI,OAAO,OAAO,cAAc,WAC9B,iBAAgB,iBAAiB,2CAA2C;CAG9E,MAAM,WAAW,OAAO;CAGxB,MAAM,SAAS,UAAU;AACzB,KAAI,OAAO,YAAY,SACrB,iBAAgB,eAAe,2CAAyC;AAE1E,KAAI,OAAO,OAAO,UAAU,SAC1B,iBAAgB,aAAa,qCAAqC;AAEpE,KAAI,OAAO,OAAO,gBAAgB,SAChC,iBAAgB,mBAAmB,2CAA2C;AAEhF,KAAI,OAAO,OAAO,eAAe,SAC/B,iBAAgB,kBAAkB,0CAA0C;AAE9E,KAAI,OAAO,gBAAgB,SACzB,iBACE,mBACA,uEAAuE,SAAS,SAAS,OAAO,YAAY,GAC7G;AAEH,KAAI,OAAO,OAAO,gBAAgB,SAChC,iBAAgB,mBAAmB,2CAA2C;AAEhF,KAAI,OAAO,OAAO,cAAc,WAC9B,iBAAgB,iBAAiB,2CAA2C;CAE9E,MAAM,mBAAmB,OAAO;CAGhC,MAAM,UAAU,UAAU;AAC1B,KAAI,QAAQ,YAAY,UACtB,iBAAgB,gBAAgB,6CAA2C;AAE7E,KAAI,OAAO,QAAQ,UAAU,SAC3B,iBAAgB,cAAc,sCAAsC;AAEtE,KAAI,OAAO,QAAQ,gBAAgB,SACjC,iBAAgB,oBAAoB,4CAA4C;AAElF,KAAI,OAAO,QAAQ,eAAe,SAChC,iBAAgB,mBAAmB,2CAA2C;AAEhF,KAAI,QAAQ,gBAAgB,SAC1B,iBACE,oBACA,wEAAwE,SAAS,SAAS,QAAQ,YAAY,GAC/G;AAEH,KAAI,OAAO,QAAQ,gBAAgB,SACjC,iBAAgB,oBAAoB,4CAA4C;AAElF,KAAI,QAAQ,gBAAgB,iBAC1B,iBACE,oBACA,wEAAwE,iBAAiB,SAAS,QAAQ,YAAY,GACvH;AAEH,KAAI,OAAO,QAAQ,cAAc,WAC/B,iBAAgB,kBAAkB,4CAA4C;AAGhF,KAAI,UAAU,kBAAkB,OAC9B,iBAAgB,cAAc,gEAAgE;AAIhG,KAAI,UAAU,sBAAsB,QAAW;AAC7C,MAAI,CAAC,MAAM,QAAQ,UAAU,kBAAkB,CAC7C,iBAAgB,kBAAkB,yCAAyC;AAE7E,OAAK,MAAM,OAAO,UAAU,mBAAmB;AAC7C,OAAI,CAAC,OAAO,OAAO,QAAQ,SACzB,iBACE,oBACA,wEACD;GAEH,MAAM,SAAS;AACf,OAAI,OAAO,YAAY,YACrB,iBACE,yBACA,4DACD;AAEH,OAAI,OAAO,OAAO,UAAU,SAC1B,iBAAgB,uBAAuB,mDAAmD;AAE5F,OAAI,OAAO,OAAO,gBAAgB,SAChC,iBACE,6BACA,yDACD;AAEH,OAAI,OAAO,OAAO,eAAe,SAC/B,iBACE,4BACA,wDACD;AAEH,OAAI,OAAO,gBAAgB,SACzB,iBACE,6BACA,iFAAiF,SAAS,SAAS,OAAO,YAAY,GACvH;AAEH,OAAI,OAAO,OAAO,gBAAgB,SAChC,iBACE,6BACA,yDACD;AAEH,OAAI,OAAO,gBAAgB,iBACzB,iBACE,6BACA,iFAAiF,iBAAiB,SAAS,OAAO,YAAY,GAC/H;AAEH,OAAI,OAAO,OAAO,cAAc,WAC9B,iBACE,2BACA,yDACD;;;AAMP,KAAI,UAAU,cAAc,QAAW;EACrC,MAAM,SAAS,UAAU;AACzB,MAAI,OAAO,YAAY,SACrB,iBAAgB,eAAe,2CAAyC;AAE1E,MAAI,OAAO,OAAO,UAAU,SAC1B,iBAAgB,aAAa,qCAAqC;AAEpE,MAAI,OAAO,OAAO,eAAe,SAC/B,iBAAgB,kBAAkB,0CAA0C;AAE9E,MAAI,OAAO,OAAO,gBAAgB,SAChC,iBAAgB,mBAAmB,2CAA2C;AAEhF,MAAI,OAAO,gBAAgB,SACzB,iBACE,mBACA,uEAAuE,SAAS,SAAS,OAAO,YAAY,GAC7G;AAEH,MAAI,OAAO,OAAO,gBAAgB,SAChC,iBAAgB,mBAAmB,2CAA2C;AAEhF,MAAI,OAAO,gBAAgB,iBACzB,iBACE,mBACA,uEAAuE,iBAAiB,SAAS,OAAO,YAAY,GACrH;AAEH,MAAI,OAAO,OAAO,cAAc,WAC9B,iBAAgB,iBAAiB,2CAA2C;;AAKhF,KAAI,UAAU,gBAAgB,QAAW;EACvC,MAAM,WAAW,UAAU;AAC3B,MAAI,CAAC,YAAY,OAAO,aAAa,SACnC,iBAAgB,YAAY,oCAAoC;AAElE,MAAI,CAAC,OAAO,OAAO,UAAU,SAAS,CACpC,iBACE,mBACA,+DACD;AAGH,MAAI,OAAO,SAAS,cAAc,WAChC,iBAAgB,mBAAmB,qDAAqD;AAG1F,MAAI,SAAS,cAAc,UAAa,OAAO,SAAS,cAAc,SACpE,iBAAgB,mBAAmB,wDAAwD"}

package/dist/types-BRFw7URn.d.mts

@@ -0,0 +1,197 @@
+import { ContractIR } from "@prisma-next/contract/ir";
+import { AdapterDescriptor, AdapterInstance, DriverDescriptor, DriverInstance, ExtensionDescriptor, ExtensionInstance, FamilyDescriptor, FamilyInstance, TargetBoundComponentDescriptor, TargetDescriptor, TargetInstance } from "@prisma-next/contract/framework-components";
+import { ContractMarkerRecord, TargetFamilyHook } from "@prisma-next/contract/types";
+
+//#region src/types.d.ts
+type SchemaNodeKind = 'root' | 'namespace' | 'collection' | 'entity' | 'field' | 'index' | 'extension';
+interface SchemaTreeNode {
+  readonly kind: SchemaNodeKind;
+  readonly id: string;
+  readonly label: string;
+  readonly meta?: Record<string, unknown>;
+  readonly children?: readonly SchemaTreeNode[];
+}
+interface CoreSchemaView {
+  readonly root: SchemaTreeNode;
+}
+interface ControlFamilyInstance<TFamilyId extends string, TSchemaIR = unknown> extends FamilyInstance<TFamilyId> {
+  validateContractIR(contractJson: unknown): ContractIR;
+  verify(options: {
+    readonly driver: ControlDriverInstance<TFamilyId, string>;
+    readonly contractIR: unknown;
+    readonly expectedTargetId: string;
+    readonly contractPath: string;
+    readonly configPath?: string;
+  }): Promise<VerifyDatabaseResult>;
+  schemaVerify(options: {
+    readonly driver: ControlDriverInstance<TFamilyId, string>;
+    readonly contractIR: unknown;
+    readonly strict: boolean;
+    readonly contractPath: string;
+    readonly configPath?: string;
+    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, string>>;
+  }): Promise<VerifyDatabaseSchemaResult>;
+  sign(options: {
+    readonly driver: ControlDriverInstance<TFamilyId, string>;
+    readonly contractIR: unknown;
+    readonly contractPath: string;
+    readonly configPath?: string;
+  }): Promise<SignDatabaseResult>;
+  readMarker(options: {
+    readonly driver: ControlDriverInstance<TFamilyId, string>;
+  }): Promise<ContractMarkerRecord | null>;
+  introspect(options: {
+    readonly driver: ControlDriverInstance<TFamilyId, string>;
+    readonly contractIR?: unknown;
+  }): Promise<TSchemaIR>;
+  toSchemaView?(schema: TSchemaIR): CoreSchemaView;
+  emitContract(options: {
+    readonly contractIR: unknown;
+  }): Promise<EmitContractResult>;
+}
+interface ControlTargetInstance<TFamilyId extends string, TTargetId extends string> extends TargetInstance<TFamilyId, TTargetId> {}
+interface ControlAdapterInstance<TFamilyId extends string, TTargetId extends string> extends AdapterInstance<TFamilyId, TTargetId> {}
+interface ControlDriverInstance<TFamilyId extends string, TTargetId extends string> extends DriverInstance<TFamilyId, TTargetId> {
+  query<Row = Record<string, unknown>>(sql: string, params?: readonly unknown[]): Promise<{
+    readonly rows: Row[];
+  }>;
+  close(): Promise<void>;
+}
+interface ControlExtensionInstance<TFamilyId extends string, TTargetId extends string> extends ExtensionInstance<TFamilyId, TTargetId> {}
+interface ControlPlaneStack<TFamilyId extends string, TTargetId extends string> {
+  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;
+  readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;
+  readonly driver: ControlDriverDescriptor<TFamilyId, TTargetId> | undefined;
+  readonly extensionPacks: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];
+}
+interface ControlFamilyDescriptor<TFamilyId extends string, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> extends FamilyDescriptor<TFamilyId> {
+  readonly hook: TargetFamilyHook;
+  create<TTargetId extends string>(stack: ControlPlaneStack<TFamilyId, TTargetId>): TFamilyInstance;
+}
+interface ControlTargetDescriptor<TFamilyId extends string, TTargetId extends string, TTargetInstance extends ControlTargetInstance<TFamilyId, TTargetId> = ControlTargetInstance<TFamilyId, TTargetId>> extends TargetDescriptor<TFamilyId, TTargetId> {
+  create(): TTargetInstance;
+}
+interface ControlAdapterDescriptor<TFamilyId extends string, TTargetId extends string, TAdapterInstance extends ControlAdapterInstance<TFamilyId, TTargetId> = ControlAdapterInstance<TFamilyId, TTargetId>> extends AdapterDescriptor<TFamilyId, TTargetId> {
+  create(): TAdapterInstance;
+}
+interface ControlDriverDescriptor<TFamilyId extends string, TTargetId extends string, TDriverInstance extends ControlDriverInstance<TFamilyId, TTargetId> = ControlDriverInstance<TFamilyId, TTargetId>, TConnection = string> extends DriverDescriptor<TFamilyId, TTargetId> {
+  create(connection: TConnection): Promise<TDriverInstance>;
+}
+interface ControlExtensionDescriptor<TFamilyId extends string, TTargetId extends string, TExtensionInstance extends ControlExtensionInstance<TFamilyId, TTargetId> = ControlExtensionInstance<TFamilyId, TTargetId>> extends ExtensionDescriptor<TFamilyId, TTargetId> {
+  create(): TExtensionInstance;
+}
+interface VerifyDatabaseResult {
+  readonly ok: boolean;
+  readonly code?: string;
+  readonly summary: string;
+  readonly contract: {
+    readonly storageHash: string;
+    readonly profileHash?: string;
+  };
+  readonly marker?: {
+    readonly storageHash?: string;
+    readonly profileHash?: string;
+  };
+  readonly target: {
+    readonly expected: string;
+    readonly actual?: string;
+  };
+  readonly missingCodecs?: readonly string[];
+  readonly codecCoverageSkipped?: boolean;
+  readonly meta?: {
+    readonly configPath?: string;
+    readonly contractPath: string;
+  };
+  readonly timings: {
+    readonly total: number;
+  };
+}
+interface SchemaIssue {
+  readonly kind: 'missing_table' | 'missing_column' | 'extra_table' | 'extra_column' | 'extra_primary_key' | 'extra_foreign_key' | 'extra_unique_constraint' | 'extra_index' | 'type_mismatch' | 'type_missing' | 'type_values_mismatch' | 'nullability_mismatch' | 'primary_key_mismatch' | 'foreign_key_mismatch' | 'unique_constraint_mismatch' | 'index_mismatch' | 'extension_missing' | 'default_missing' | 'default_mismatch';
+  readonly table: string;
+  readonly column?: string;
+  readonly indexOrConstraint?: string;
+  readonly typeName?: string;
+  readonly expected?: string;
+  readonly actual?: string;
+  readonly message: string;
+}
+interface SchemaVerificationNode {
+  readonly status: 'pass' | 'warn' | 'fail';
+  readonly kind: string;
+  readonly name: string;
+  readonly contractPath: string;
+  readonly code: string;
+  readonly message: string;
+  readonly expected: unknown;
+  readonly actual: unknown;
+  readonly children: readonly SchemaVerificationNode[];
+}
+interface VerifyDatabaseSchemaResult {
+  readonly ok: boolean;
+  readonly code?: string;
+  readonly summary: string;
+  readonly contract: {
+    readonly storageHash: string;
+    readonly profileHash?: string;
+  };
+  readonly target: {
+    readonly expected: string;
+    readonly actual?: string;
+  };
+  readonly schema: {
+    readonly issues: readonly SchemaIssue[];
+    readonly root: SchemaVerificationNode;
+    readonly counts: {
+      readonly pass: number;
+      readonly warn: number;
+      readonly fail: number;
+      readonly totalNodes: number;
+    };
+  };
+  readonly meta?: {
+    readonly configPath?: string;
+    readonly contractPath?: string;
+    readonly strict: boolean;
+  };
+  readonly timings: {
+    readonly total: number;
+  };
+}
+interface EmitContractResult {
+  readonly contractJson: string;
+  readonly contractDts: string;
+  readonly storageHash: string;
+  readonly executionHash?: string;
+  readonly profileHash: string;
+}
+interface SignDatabaseResult {
+  readonly ok: boolean;
+  readonly summary: string;
+  readonly contract: {
+    readonly storageHash: string;
+    readonly profileHash?: string;
+  };
+  readonly target: {
+    readonly expected: string;
+    readonly actual?: string;
+  };
+  readonly marker: {
+    readonly created: boolean;
+    readonly updated: boolean;
+    readonly previous?: {
+      readonly storageHash?: string;
+      readonly profileHash?: string;
+    };
+  };
+  readonly meta?: {
+    readonly configPath?: string;
+    readonly contractPath: string;
+  };
+  readonly timings: {
+    readonly total: number;
+  };
+}
+//#endregion
+export { ControlExtensionDescriptor as a, ControlFamilyInstance as c, ControlTargetInstance as d, ControlDriverInstance as i, ControlPlaneStack as l, ControlAdapterInstance as n, ControlExtensionInstance as o, ControlDriverDescriptor as r, ControlFamilyDescriptor as s, ControlAdapterDescriptor as t, ControlTargetDescriptor as u };
+//# sourceMappingURL=types-BRFw7URn.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-BRFw7URn.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;KAgBY,cAAA;UASK,cAAA;EATL,SAAA,IAAA,EAUK,cAVS;EAST,SAAA,EAAA,EAAA,MAAc;EACd,SAAA,KAAA,EAAA,MAAA;EAGC,SAAA,IAAA,CAAA,EAAA,MAAA,CAAA,MAAA,EAAA,OAAA,CAAA;EACa,SAAA,QAAA,CAAA,EAAA,SAAA,cAAA,EAAA;;AAGd,UAAA,cAAA,CAAc;EAId,SAAA,IAAA,EAHA,cAGqB;;AAEO,UAF5B,qBAE4B,CAAA,kBAAA,MAAA,EAAA,YAAA,OAAA,CAAA,SADnC,cACmC,CADpB,SACoB,CAAA,CAAA;EAGF,kBAAA,CAAA,YAAA,EAAA,OAAA,CAAA,EAHE,UAGF;EAAtB,MAAA,CAAA,OAAA,EAAA;IAKP,SAAA,MAAA,EALO,qBAKP,CAL6B,SAK7B,EAAA,MAAA,CAAA;IAAR,SAAA,UAAA,EAAA,OAAA;IAGqC,SAAA,gBAAA,EAAA,MAAA;IAAtB,SAAA,YAAA,EAAA,MAAA;IAK0D,SAAA,UAAA,CAAA,EAAA,MAAA;EAA/B,CAAA,CAAA,EAR1C,OAQ0C,CARlC,oBAQkC,CAAA;EAAd,YAAA,CAAA,OAAA,EAAA;IACpB,SAAA,MAAA,EANO,qBAMP,CAN6B,SAM7B,EAAA,MAAA,CAAA;IAAR,SAAA,UAAA,EAAA,OAAA;IAGqC,SAAA,MAAA,EAAA,OAAA;IAAtB,SAAA,YAAA,EAAA,MAAA;IAIP,SAAA,UAAA,CAAA,EAAA,MAAA;IAAR,SAAA,mBAAA,EAR4B,aAQ5B,CAR0C,8BAQ1C,CARyE,SAQzE,EAAA,MAAA,CAAA,CAAA;EAGqC,CAAA,CAAA,EAVrC,OAUqC,CAV7B,0BAU6B,CAAA;EAAtB,IAAA,CAAA,OAAA,EAAA;IACP,SAAA,MAAA,EARO,qBAQP,CAR6B,SAQ7B,EAAA,MAAA,CAAA;IAAR,SAAA,UAAA,EAAA,OAAA;IAGqC,SAAA,YAAA,EAAA,MAAA;IAAtB,SAAA,UAAA,CAAA,EAAA,MAAA;EAEP,CAAA,CAAA,EATR,OASQ,CATA,kBASA,CAAA;EAAR,UAAA,CAAA,OAAA,EAAA;IAEkB,SAAA,MAAA,EARH,qBAQG,CARmB,SAQnB,EAAA,MAAA,CAAA;EAAY,CAAA,CAAA,EAP9B,OAO8B,CAPtB,oBAOsB,GAAA,IAAA,CAAA;EAE+B,UAAA,CAAA,OAAA,EAAA;IAAR,SAAA,MAAA,EANtC,qBAMsC,CANhB,SAMgB,EAAA,MAAA,CAAA;IAtCjD,SAAA,UAAA,CAAA,EAAA,OAAA;EAAc,CAAA,CAAA,EAkClB,OAlCkB,CAkCV,SAlCU,CAAA;EAyCP,YAAA,EAAA,MAAA,EALO,SAKc,CAAA,EALF,cAKE;EACb,YAAA,CAAA,OAAA,EAAA;IAAW,SAAA,UAAA,EAAA,OAAA;EAA1B,CAAA,CAAA,EAJiD,OAIjD,CAJyD,kBAIzD,CAAA;;AAEO,UAHA,qBAGsB,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,CAAA,SAF7B,cAE6B,CAFd,SAEc,EAFH,SAEG,CAAA,CAAA;AACF,UADpB,sBACoB,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,CAAA,SAA3B,eAA2B,CAAX,SAAW,EAAA,SAAA,CAAA,CAAA;AAAZ,UAER,qBAFQ,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,CAAA,SAGf,cAHe,CAGA,SAHA,EAGW,SAHX,CAAA,CAAA;EAER,KAAA,CAAA,MAEH,MAFG,CAAA,MAAqB,EAAA,OAAA,CAAA,CAAA,CAAA,GAAA,EAAA,MAAA,EAAA,MAAA,CAAA,EAAA,SAAA,OAAA,EAAA,CAAA,EAKjC,OALiC,CAAA;IACb,SAAA,IAAA,EAIK,GAJL,EAAA;EAAW,CAAA,CAAA;EACtB,KAAA,EAAA,EAIH,OAJG,CAAA,IAAA,CAAA;;AAGT,UAIY,wBAJZ,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,CAAA,SAKK,iBALL,CAKuB,SALvB,EAKkC,SALlC,CAAA,CAAA;AAJK,UAWO,iBAXP,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,CAAA,CAAA;EAAc,SAAA,MAAA,EAYL,uBAZK,CAYmB,SAZnB,EAY8B,SAZ9B,CAAA;EAQP,SAAA,OAAA,EAKG,wBALqB,CAKI,SALJ,EAKe,SALf,CAAA;EACb,SAAA,MAAA,EAKT,uBALS,CAKe,SALf,EAK0B,SAL1B,CAAA,GAAA,SAAA;EAAW,SAAA,cAAA,EAAA,SAMH,0BANG,CAMwB,SANxB,EAMmC,SANnC,CAAA,EAAA;;AAAZ,UASV,uBATU,CAAA,kBAAA,MAAA,EAAA,wBAWD,qBAXC,CAWqB,SAXrB,CAAA,GAWkC,qBAXlC,CAWwD,SAXxD,CAAA,CAAA,SAYjB,gBAZiB,CAYA,SAZA,CAAA,CAAA;EAEV,SAAA,IAAA,EAWA,gBAXiB;EACS,MAAA,CAAA,kBAAA,MAAA,CAAA,CAAA,KAAA,EAWD,iBAXC,CAWiB,SAXjB,EAW4B,SAX5B,CAAA,CAAA,EAWyC,eAXzC;;AAAxB,UAcF,uBAdE,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,EAAA,wBAiBO,qBAjBP,CAiB6B,SAjB7B,EAiBwC,SAjBxC,CAAA,GAiBqD,qBAjBrD,CAkBf,SAlBe,EAmBf,SAnBe,CAAA,CAAA,SAqBT,gBArBS,CAqBQ,SArBR,EAqBmB,SArBnB,CAAA,CAAA;EAC0B,MAAA,EAAA,EAqBjC,eArBiC;;AAAzB,UAwBH,wBAxBG,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,EAAA,yBA2BO,sBA3BP,CA2B8B,SA3B9B,EA2ByC,SA3BzC,CAAA,GA2BsD,sBA3BtD,CA4BhB,SA5BgB,EA6BhB,SA7BgB,CAAA,CAAA,SA+BV,iBA/BU,CA+BQ,SA/BR,EA+BmB,SA/BnB,CAAA,CAAA;EACuB,MAAA,EAAA,EA+B/B,gBA/B+B;;AAAxB,UAkCF,uBAlCE,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,EAAA,wBAqCO,qBArCP,CAqC6B,SArC7B,EAqCwC,SArCxC,CAAA,GAqCqD,qBArCrD,CAsCf,SAtCe,EAuCf,SAvCe,CAAA,EAAA,cAAA,MAAA,CAAA,SA0CT,gBA1CS,CA0CQ,SA1CR,EA0CmB,SA1CnB,CAAA,CAAA;EAC4C,MAAA,CAAA,UAAA,EA0C1C,WA1C0C,CAAA,EA0C5B,OA1C4B,CA0CpB,eA1CoB,CAAA;;AAA3B,UA6CnB,0BA7CmB,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,EAAA,2BAgDP,wBAhDO,CAiDhC,SAjDgC,EAkDhC,SAlDgC,CAAA,GAmD9B,wBAnD8B,CAmDL,SAnDK,EAmDM,SAnDN,CAAA,CAAA,SAoD1B,mBApD0B,CAoDN,SApDM,EAoDK,SApDL,CAAA,CAAA;EAA0B,MAAA,EAAA,EAqDlD,kBArDkD;AAG9D;AAIiB,UAuDA,oBAAA,CAvDA;EAC2C,SAAA,EAAA,EAAA,OAAA;EAAW,SAAA,IAAA,CAAA,EAAA,MAAA;EAA7B,SAAA,OAAA,EAAA,MAAA;EAA0C,SAAA,QAAA,EAAA;IAF1E,SAAA,WAAA,EAAA,MAAA;IAAgB,SAAA,WAAA,CAAA,EAAA,MAAA;EAKT,CAAA;EAG+B,SAAA,MAAA,CAAA,EAAA;IAAW,SAAA,WAAA,CAAA,EAAA,MAAA;IAAjC,SAAA,WAAA,CAAA,EAAA,MAAA;EACtB,CAAA;EACA,SAAA,MAAA,EAAA;IAFoE,SAAA,QAAA,EAAA,MAAA;IAI7C,SAAA,MAAA,CAAA,EAAA,MAAA;EAAW,CAAA;EAC1B,SAAA,aAAA,CAAA,EAAA,SAAA,MAAA,EAAA;EADF,SAAA,oBAAA,CAAA,EAAA,OAAA;EAAgB,SAAA,IAAA,CAAA,EAAA;IAIT,SAAA,UAAA,CAAA,EAAA,MAAwB;IAGS,SAAA,YAAA,EAAA,MAAA;EAAW,CAAA;EAAlC,SAAA,OAAA,EAAA;IACvB,SAAA,KAAA,EAAA,MAAA;EACA,CAAA;;AAEwB,UA4DX,WAAA,CA5DW;EAAW,SAAA,IAAA,EAAA,eAAA,GAAA,gBAAA,GAAA,aAAA,GAAA,cAAA,GAAA,mBAAA,GAAA,mBAAA,GAAA,yBAAA,GAAA,aAAA,GAAA,eAAA,GAAA,cAAA,GAAA,sBAAA,GAAA,sBAAA,GAAA,sBAAA,GAAA,sBAAA,GAAA,4BAAA,GAAA,gBAAA,GAAA,mBAAA,GAAA,iBAAA,GAAA,kBAAA;EAC3B,SAAA,KAAA,EAAA,MAAA;EADF,SAAA,MAAA,CAAA,EAAA,MAAA;EAAiB,SAAA,iBAAA,CAAA,EAAA,MAAA;EAIV,SAAA,QAAA,CAAA,EAAA,MAAuB;EAGQ,SAAA,QAAA,CAAA,EAAA,MAAA;EAAW,SAAA,MAAA,CAAA,EAAA,MAAA;EAAjC,SAAA,OAAA,EAAA,MAAA;;AAEtB,UAiFa,sBAAA,CAjFb;EAFoE,SAAA,MAAA,EAAA,MAAA,GAAA,MAAA,GAAA,MAAA;EAK7C,SAAA,IAAA,EAAA,MAAA;EAAW,SAAA,IAAA,EAAA,MAAA;EACjB,SAAA,YAAA,EAAA,MAAA;EAAsB,SAAA,IAAA,EAAA,MAAA;EAAR,SAAA,OAAA,EAAA,MAAA;EADzB,SAAA,QAAA,EAAA,OAAA;EAAgB,SAAA,MAAA,EAAA,OAAA;EAIT,SAAA,QAAA,EAAA,SAmFa,sBAnFa,EAAA;;AAKvC,UAiFa,0BAAA,CAjFb;EAFyB,SAAA,EAAA,EAAA,OAAA;EAGE,SAAA,IAAA,CAAA,EAAA,MAAA;EAAW,SAAA,OAAA,EAAA,MAAA;EAApC,SAAA,QAAA,EAAA;IACwB,SAAA,WAAA,EAAA,MAAA;IAAW,SAAA,WAAA,CAAA,EAAA,MAAA;EAC7B,CAAA;EADF,SAAA,MAAA,EAAA;IAAmB,SAAA,QAAA,EAAA,MAAA;IAUZ,SAAA,MAAA,CAAA,EAAA,MAAoB;EA2BpB,CAAA;EA8BA,SAAA,MAAA,EAAA;IAYA,SAAA,MAAA,EAAA,SAaa,WAAA,EAAA;IAmBb,SAAA,IAAA,EAlBE,sBAkBgB;IAyBlB,SAAA,MAAA,EAAkB;;;;;;;;;;;;;;;;UAzBlB,kBAAA;;;;;;;UAyBA,kBAAA"}

package/dist/types.d.mts

@@ -0,0 +1,2 @@
+import { a as ControlExtensionDescriptor, c as ControlFamilyInstance, d as ControlTargetInstance, i as ControlDriverInstance, l as ControlPlaneStack, n as ControlAdapterInstance, o as ControlExtensionInstance, r as ControlDriverDescriptor, s as ControlFamilyDescriptor, t as ControlAdapterDescriptor, u as ControlTargetDescriptor } from "./types-BRFw7URn.mjs";
+export { type ControlAdapterDescriptor, type ControlAdapterInstance, type ControlDriverDescriptor, type ControlDriverInstance, type ControlExtensionDescriptor, type ControlExtensionInstance, type ControlFamilyDescriptor, type ControlFamilyInstance, type ControlPlaneStack, type ControlTargetDescriptor, type ControlTargetInstance };

package/dist/types.mjs

@@ -0,0 +1 @@
+export {  };