prisma-next 0.5.0-dev.8 → 0.5.0-dev.80

package/dist/exports/control-api.d.mts

@@ -1,624 +1,139 @@
-import { Result } from "@prisma-next/utils/result";
-import { ContractSourceDiagnostics, ContractSourceProvider } from "@prisma-next/config/config-types";
-import { ControlAdapterDescriptor, ControlDriverDescriptor, ControlExtensionDescriptor, ControlFamilyDescriptor, ControlStack, ControlTargetDescriptor, CoreSchemaView, MigrationPlanOperation, MigrationPlannerConflict, SignDatabaseResult, SignDatabaseResult as SignDatabaseResult$1, VerifyDatabaseResult, VerifyDatabaseResult as VerifyDatabaseResult$1, VerifyDatabaseSchemaResult, VerifyDatabaseSchemaResult as VerifyDatabaseSchemaResult$1 } from "@prisma-next/framework-components/control";
+import { A as ExecuteDbVerifyOptions, C as EmitSuccess, D as SchemaVerifyOptions, E as OnControlProgress, M as executeDbVerify, O as SignOptions, S as EmitResult, _ as DbUpdateSuccess, a as ControlClient, b as EmitFailureCode, c as DbInitFailure, d as DbInitResult, f as DbInitSuccess, g as DbUpdateResult, h as DbUpdateOptions, i as ControlActionName, j as ExecuteDbVerifyResult, k as VerifyOptions, l as DbInitFailureCode, m as DbUpdateFailureCode, n as ContractEmitOptions, o as ControlClientOptions, p as DbUpdateFailure, r as ContractEmitResult, s as ControlProgressEvent, u as DbInitOptions, v as EmitContractConfig, w as IntrospectOptions, x as EmitOptions, y as EmitFailure } from "../types-D7x-IFLO.mjs";
+import { ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyInstance, ControlStack, SignDatabaseResult, TargetMigrationsCapability, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
-import { Contract, ContractMarkerRecord } from "@prisma-next/contract/types";
-
-//#region src/control-api/types.d.ts
+import { Contract } from "@prisma-next/contract/types";
 
+//#region src/control-api/client.d.ts
 /**
- * Options for creating a control client.
+ * Creates a programmatic control client for Prisma Next operations.
  *
- * Note: This is NOT the same as CLI config. There's no `contract` field,
- * no file paths. The client is config-agnostic.
+ * The client accepts framework component descriptors at creation time,
+ * manages driver lifecycle via connect()/close(), and exposes domain
+ * operations that delegate to the existing family instance methods.
  *
- * The descriptor types use permissive `any` because family-specific descriptors
- * (e.g., SqlFamilyDescriptor) have more specific `create` method signatures that
- * are not compatible with the base ControlFamilyDescriptor type due to TypeScript
- * variance rules. The client implementation casts these internally.
+ * @see {@link ControlClient} for the client interface
+ * @see README.md "Programmatic Control API" section for usage examples
  */
-interface ControlClientOptions {
-  readonly family: ControlFamilyDescriptor<any, any>;
-  readonly target: ControlTargetDescriptor<any, any, any>;
-  readonly adapter: ControlAdapterDescriptor<any, any, any>;
-  /** Optional - control client can be created without driver for offline operations */
-  readonly driver?: ControlDriverDescriptor<any, any, any, any>;
-  readonly extensionPacks?: ReadonlyArray<ControlExtensionDescriptor<any, any, any>>;
-  /**
-   * Optional default connection for auto-connect.
-   * When provided, operations will auto-connect if not already connected.
-   * The type is driver-specific (e.g., string URL for Postgres).
-   */
-  readonly connection?: unknown;
-}
+declare function createControlClient(options: ControlClientOptions): ControlClient;
+//#endregion
+//#region src/control-api/contract-enrichment.d.ts
 /**
- * Action names for control-api operations that can emit progress events.
+ * Enriches a raw contract with framework-derived metadata: capabilities from all component descriptors and extension pack metadata from extension descriptors. Produces deterministically sorted output.
  */
-type ControlActionName = 'dbInit' | 'dbUpdate' | 'migrationApply' | 'verify' | 'schemaVerify' | 'sign' | 'introspect' | 'emit';
+declare function enrichContract(ir: Contract, components: ReadonlyArray<TargetBoundComponentDescriptor<string, string>>): Contract;
+//#endregion
+//#region src/control-api/operations/contract-emit.d.ts
 /**
- * Progress event emitted during control-api operation execution.
+ * Canonical contract emit operation.
  *
- * Events model operation progress using a span-based model:
- * - `spanStart`: Begin a timed segment (supports nesting via parentSpanId)
- * - `spanEnd`: Complete a timed segment
+ * This is the SINGLE publication path used by both the CLI command
+ * (`prisma-next contract emit`) and the Vite plugin
+ * (`@prisma-next/vite-plugin-contract-emit`). New callers must go through this
+ * function rather than re-implementing load → emit → publish.
  *
- * All operation-specific progress (e.g., per-migration-operation) is modeled
- * as nested spans rather than special event types.
+ * The whole flow (load config → resolve source → emit bytes → atomic publish)
+ * is serialized per output JSON path via `queueEmitByOutput`. Concurrent calls
+ * for the same output line up FIFO; the user-visible outcome is "last
+ * submission wins on disk" without any supersession bookkeeping. Within a
+ * single emit, `publishContractArtifactPair` stages temp files, renames
+ * `contract.d.ts` before `contract.json`, and attempts to restore the previous
+ * pair if either rename fails — so type-only consumers never observe a
+ * mismatched pair.
  *
- * Events are delivered via an optional `onProgress` callback to avoid polluting
- * return types. If the callback is absent, operations emit no events (zero overhead).
+ * @throws {CliStructuredError} on config/source/validation problems
+ * @throws {DOMException} `AbortError` if cancelled via `signal`
  */
-type ControlProgressEvent = {
-  readonly action: ControlActionName;
-  readonly kind: 'spanStart';
-  readonly spanId: string;
-  readonly parentSpanId?: string;
-  readonly label: string;
-} | {
-  readonly action: ControlActionName;
-  readonly kind: 'spanEnd';
-  readonly spanId: string;
-  readonly outcome: 'ok' | 'skipped' | 'error';
-};
+declare function executeContractEmit(options: ContractEmitOptions): Promise<ContractEmitResult>;
+//#endregion
+//#region src/control-api/operations/db-init.d.ts
 /**
- * Callback function for receiving progress events during control-api operations.
+ * Options for executing the `db init` operation.
  *
- * @param event - The progress event emitted by the operation
- */
-type OnControlProgress = (event: ControlProgressEvent) => void;
-/**
- * Options for the verify operation.
- */
-interface VerifyOptions {
-  /** Contract or unvalidated JSON - validated at runtime via familyInstance.validateContract() */
-  readonly contract: unknown;
-  /**
-   * Database connection. If provided, verify will connect before executing.
-   * If omitted, the client must already be connected.
-   * The type is driver-specific (e.g., string URL for Postgres).
-   */
-  readonly connection?: unknown;
-  /** Optional progress callback for observing operation progress */
-  readonly onProgress?: OnControlProgress;
-}
-/**
- * Options for the schemaVerify operation.
- */
-interface SchemaVerifyOptions {
-  /** Contract or unvalidated JSON - validated at runtime via familyInstance.validateContract() */
-  readonly contract: unknown;
-  /**
-   * Whether to use strict mode for schema verification.
-   * In strict mode, extra tables/columns are reported as issues.
-   * Default: false (tolerant mode - allows superset)
-   */
-  readonly strict?: boolean;
-  /**
-   * Database connection. If provided, schemaVerify will connect before executing.
-   * If omitted, the client must already be connected.
-   * The type is driver-specific (e.g., string URL for Postgres).
-   */
-  readonly connection?: unknown;
-  /** Optional progress callback for observing operation progress */
-  readonly onProgress?: OnControlProgress;
-}
-/**
- * Options for the sign operation.
- */
-interface SignOptions {
-  /** Contract or unvalidated JSON - validated at runtime via familyInstance.validateContract() */
-  readonly contract: unknown;
-  /**
-   * Path to the contract file (for metadata in the result).
-   */
-  readonly contractPath?: string;
-  /**
-   * Path to the config file (for metadata in the result).
-   */
-  readonly configPath?: string;
-  /**
-   * Database connection. If provided, sign will connect before executing.
-   * If omitted, the client must already be connected.
-   * The type is driver-specific (e.g., string URL for Postgres).
-   */
-  readonly connection?: unknown;
-  /** Optional progress callback for observing operation progress */
-  readonly onProgress?: OnControlProgress;
-}
-/**
- * Options for the dbInit operation.
- */
-interface DbInitOptions {
-  /** Contract or unvalidated JSON - validated at runtime via familyInstance.validateContract() */
-  readonly contract: unknown;
-  /**
-   * Mode for the dbInit operation.
-   * - 'plan': Returns planned operations without applying
-   * - 'apply': Applies operations and writes marker
-   */
-  readonly mode: 'plan' | 'apply';
-  /**
-   * Database connection. If provided, dbInit will connect before executing.
-   * If omitted, the client must already be connected.
-   * The type is driver-specific (e.g., string URL for Postgres).
-   */
-  readonly connection?: unknown;
-  /** Optional progress callback for observing operation progress */
-  readonly onProgress?: OnControlProgress;
-}
-/**
- * Options for the dbUpdate operation.
+ * `db init` runs the loader → planner → runner pipeline:
+ *
+ * 1. {@link executeAggregateApply} loads a `ContractSpaceAggregate` via
+ *    {@link import('@prisma-next/migration-tools/aggregate').loadContractSpaceAggregate}
+ *    from the supplied descriptor set + on-disk on-disk artefacts.
+ * 2. The aggregate planner runs with `callerPolicy.ignoreGraphFor`
+ *    locked to the app member — synth strategy for the app, graph-walk
+ *    for every extension.
+ * 3. The runner's `executeAcrossSpaces` applies the per-space plans
+ *    inside one outer transaction.
+ *
+ * `extensionPacks` mirrors `Config.extensionPacks` (descriptor list).
+ * The loader (sub-spec § Loader) is the sole descriptor-import boundary.
  */
-interface DbUpdateOptions {
-  /** Contract or unvalidated JSON - validated at runtime via familyInstance.validateContract() */
-  readonly contract: unknown;
-  /**
-   * Mode for the dbUpdate operation.
-   * - 'plan': Returns planned operations without applying
-   * - 'apply': Applies operations and writes marker/ledger
-   */
+interface ExecuteDbInitOptions<TFamilyId extends string, TTargetId extends string> {
+  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;
+  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;
+  readonly contract: Contract;
   readonly mode: 'plan' | 'apply';
+  readonly migrations: TargetMigrationsCapability<TFamilyId, TTargetId, ControlFamilyInstance<TFamilyId, unknown>>;
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;
   /**
-   * Database connection. If provided, dbUpdate will connect before executing.
-   * If omitted, the client must already be connected.
-   * The type is driver-specific (e.g., string URL for Postgres).
-   */
-  readonly connection?: unknown;
-  /**
-   * When true, allows applying plans that contain destructive operations
-   * (e.g., DROP TABLE, DROP COLUMN, ALTER TYPE).
-   * When false (default), the operation returns a failure if the plan
-   * includes destructive operations, prompting the user to confirm interactively
-   * or re-run with -y/--yes.
+   * On-disk migrations directory the aggregate loader reads on-disk
+   * artefacts from. Required.
    */
-  readonly acceptDataLoss?: boolean;
-  /** Optional progress callback for observing operation progress */
-  readonly onProgress?: OnControlProgress;
-}
-/**
- * Options for the introspect operation.
- */
-interface IntrospectOptions {
+  readonly migrationsDir: string;
   /**
-   * Optional schema name to introspect.
+   * Resolved adapter target id. Threaded through to the loader for
+   * target-consistency checks across descriptors and the app contract.
    */
-  readonly schema?: string;
+  readonly targetId: TTargetId;
   /**
-   * Database connection. If provided, introspect will connect before executing.
-   * If omitted, the client must already be connected.
-   * The type is driver-specific (e.g., string URL for Postgres).
+   * Declared extension descriptors. Defaults to an empty list, which
+   * routes through the same loader → planner → runner pipeline with no
+   * extension members in the aggregate.
    */
-  readonly connection?: unknown;
+  readonly extensionPacks?: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;
   /** Optional progress callback for observing operation progress */
   readonly onProgress?: OnControlProgress;
 }
 /**
- * Contract configuration for emit operation.
- */
-interface EmitContractConfig {
-  /**
-   * Contract source provider.
-   */
-  readonly source: ContractSourceProvider;
-  /**
-   * Output path for contract.json.
-   * The .d.ts types file will be colocated (e.g., contract.json → contract.d.ts).
-   */
-  readonly output: string;
-}
-/**
- * Options for the emit operation.
- */
-interface EmitOptions {
-  /**
-   * Contract configuration containing source, output, and types paths.
-   */
-  readonly contractConfig: EmitContractConfig;
-  /** Optional progress callback for observing operation progress */
-  readonly onProgress?: OnControlProgress;
-}
-/**
- * Successful dbInit result.
- */
-interface DbInitSuccess {
-  readonly mode: 'plan' | 'apply';
-  readonly plan: {
-    readonly operations: ReadonlyArray<{
-      readonly id: string;
-      readonly label: string;
-      readonly operationClass: string;
-    }>;
-    readonly sql?: ReadonlyArray<string>;
-  };
-  readonly destination: {
-    readonly storageHash: string;
-    readonly profileHash?: string;
-  };
-  readonly execution?: {
-    readonly operationsPlanned: number;
-    readonly operationsExecuted: number;
-  };
-  readonly marker?: {
-    readonly storageHash: string;
-    readonly profileHash?: string;
-  };
-  readonly summary: string;
-}
-/**
- * Failure codes for dbInit operation.
- */
-type DbInitFailureCode = 'PLANNING_FAILED' | 'MARKER_ORIGIN_MISMATCH' | 'RUNNER_FAILED';
-/**
- * Failure details for dbInit operation.
- */
-interface DbInitFailure {
-  readonly code: DbInitFailureCode;
-  readonly summary: string;
-  readonly why: string | undefined;
-  readonly conflicts: ReadonlyArray<MigrationPlannerConflict> | undefined;
-  readonly meta: Record<string, unknown> | undefined;
-  readonly marker?: {
-    readonly storageHash?: string;
-    readonly profileHash?: string;
-  };
-  readonly destination?: {
-    readonly storageHash: string;
-    readonly profileHash?: string | undefined;
-  };
-}
-/**
- * Result type for dbInit operation.
- * Uses Result pattern: success returns DbInitSuccess, failure returns DbInitFailure.
+ * Execute `db init` against the configured contract.
+ *
+ * Routes through the loader → planner → runner pipeline (sub-spec
+ * "Commit-by-commit § Commit 4"). Always additive-only; destructive
+ * changes belong to `db update`.
  */
-type DbInitResult = Result<DbInitSuccess, DbInitFailure>;
+declare function executeDbInit<TFamilyId extends string, TTargetId extends string>(options: ExecuteDbInitOptions<TFamilyId, TTargetId>): Promise<DbInitResult>;
+//#endregion
+//#region src/control-api/operations/db-update.d.ts
 /**
- * Successful dbUpdate result.
- */
-interface DbUpdateSuccess {
+ * Options for the `db update` operation.
+ *
+ * Same loader → planner → runner pipeline as `db init`, but with the
+ * widened operation policy (additive + widening + destructive). The
+ * destructive-change confirmation gate runs at this layer: when
+ * `mode === 'apply'` and `acceptDataLoss` is `false`, the operation
+ * pre-plans, surfaces destructive ops to the caller, and aborts.
+ */
+interface ExecuteDbUpdateOptions<TFamilyId extends string, TTargetId extends string> {
+  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;
+  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;
+  readonly contract: Contract;
   readonly mode: 'plan' | 'apply';
-  readonly plan: {
-    readonly operations: ReadonlyArray<{
-      readonly id: string;
-      readonly label: string;
-      readonly operationClass: string;
-    }>;
-    readonly sql?: ReadonlyArray<string>;
-  };
-  readonly destination: {
-    readonly storageHash: string;
-    readonly profileHash?: string;
-  };
-  readonly execution?: {
-    readonly operationsPlanned: number;
-    readonly operationsExecuted: number;
-  };
-  readonly marker?: {
-    readonly storageHash: string;
-    readonly profileHash?: string;
-  };
-  readonly summary: string;
-}
-/**
- * Failure codes for dbUpdate operation.
- */
-type DbUpdateFailureCode = 'PLANNING_FAILED' | 'RUNNER_FAILED' | 'DESTRUCTIVE_CHANGES';
-/**
- * Failure details for dbUpdate operation.
- */
-interface DbUpdateFailure {
-  readonly code: DbUpdateFailureCode;
-  readonly summary: string;
-  readonly why: string | undefined;
-  readonly conflicts: ReadonlyArray<MigrationPlannerConflict> | undefined;
-  readonly meta: Record<string, unknown> | undefined;
-}
-/**
- * Result type for dbUpdate operation.
- * Uses Result pattern: success returns DbUpdateSuccess, failure returns DbUpdateFailure.
- */
-type DbUpdateResult = Result<DbUpdateSuccess, DbUpdateFailure>;
-/**
- * Successful emit result.
- * Contains the hashes and paths of emitted files.
- */
-interface EmitSuccess {
-  /** Storage hash of the emitted contract */
-  readonly storageHash: string;
-  /** Execution hash of the emitted contract (if execution section exists) */
-  readonly executionHash?: string;
-  /** Profile hash of the emitted contract (target-specific) */
-  readonly profileHash: string;
-  /** The emitted contract as JSON string */
-  readonly contractJson: string;
-  /** The emitted contract TypeScript declarations */
-  readonly contractDts: string;
-}
-/**
- * Failure codes for emit operation.
- */
-type EmitFailureCode = 'CONTRACT_SOURCE_INVALID' | 'CONTRACT_VALIDATION_FAILED' | 'EMIT_FAILED';
-/**
- * Failure details for emit operation.
- */
-interface EmitFailure {
-  readonly code: EmitFailureCode;
-  readonly summary: string;
-  readonly why: string | undefined;
-  readonly meta: Record<string, unknown> | undefined;
-  readonly diagnostics?: ContractSourceDiagnostics;
-}
-/**
- * Result type for emit operation.
- * Uses Result pattern: success returns EmitSuccess, failure returns EmitFailure.
- */
-type EmitResult = Result<EmitSuccess, EmitFailure>;
-/**
- * A pre-planned migration step ready for execution.
- * Contains the manifest metadata and the serialized operations from ops.json.
- */
-interface MigrationApplyStep {
-  readonly dirName: string;
-  readonly from: string;
-  readonly to: string;
-  readonly toContract: Contract;
-  readonly operations: readonly MigrationPlanOperation[];
-}
-/**
- * Options for the migrationApply operation.
- */
-interface MigrationApplyOptions {
-  /**
-   * Hash of the database state this apply path starts from.
-   * This is resolved by the caller (typically the CLI orchestration layer).
-   */
-  readonly originHash: string;
-  /**
-   * Hash of the target contract this apply path must reach.
-   * This is resolved by the caller (typically the CLI orchestration layer).
-   */
-  readonly destinationHash: string;
-  /**
-   * Ordered list of migrations to execute from originHash to destinationHash.
-   * The execution layer does not choose defaults; it only executes this explicit path.
-   */
-  readonly pendingMigrations: readonly MigrationApplyStep[];
-  /**
-   * Database connection. If provided, migrationApply will connect before executing.
-   * If omitted, the client must already be connected.
-   */
-  readonly connection?: unknown;
-  /** Optional progress callback for observing operation progress */
+  readonly migrations: TargetMigrationsCapability<TFamilyId, TTargetId, ControlFamilyInstance<TFamilyId, unknown>>;
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;
+  readonly acceptDataLoss?: boolean;
+  readonly migrationsDir: string;
+  readonly targetId: TTargetId;
+  readonly extensionPacks?: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;
   readonly onProgress?: OnControlProgress;
 }
 /**
- * Record of a successfully applied migration.
- */
-interface MigrationApplyAppliedEntry {
-  readonly dirName: string;
-  readonly from: string;
-  readonly to: string;
-  readonly operationsExecuted: number;
-}
-/**
- * Successful migrationApply result.
- */
-interface MigrationApplySuccess {
-  readonly migrationsApplied: number;
-  readonly markerHash: string;
-  readonly applied: readonly MigrationApplyAppliedEntry[];
-  readonly summary: string;
-}
-/**
- * Failure codes for migrationApply operation.
- */
-type MigrationApplyFailureCode = 'RUNNER_FAILED' | 'MIGRATION_PATH_NOT_FOUND';
-/**
- * Failure details for migrationApply operation.
- */
-interface MigrationApplyFailure {
-  readonly code: MigrationApplyFailureCode;
-  readonly summary: string;
-  readonly why: string | undefined;
-  readonly meta: Record<string, unknown> | undefined;
-}
-/**
- * Result type for migrationApply operation.
- */
-type MigrationApplyResult = Result<MigrationApplySuccess, MigrationApplyFailure>;
-/**
- * Options for the standalone executeContractEmit function.
- * Used by tooling (e.g., Vite plugin) that needs to emit contracts
- * without the full ControlClient infrastructure.
- */
-interface ContractEmitOptions {
-  /** Path to the prisma-next.config.ts file */
-  readonly configPath: string;
-  /** Optional AbortSignal for cancellation support */
-  readonly signal?: AbortSignal;
-}
-/**
- * Result from the standalone executeContractEmit function.
- */
-interface ContractEmitResult {
-  /** Hash of the storage contract (schema-level) */
-  readonly storageHash: string;
-  /** Hash of the execution contract (if execution section exists) */
-  readonly executionHash?: string;
-  /** Hash of the profile (target+extensions) */
-  readonly profileHash: string;
-  /** Paths to the emitted files */
-  readonly files: {
-    /** Path to the emitted contract.json file */
-    readonly json: string;
-    /** Path to the emitted contract.d.ts file */
-    readonly dts: string;
-  };
-}
-/**
- * Programmatic control client for Prisma Next operations.
- *
- * Lifecycle: `connect(connection)` before operations, `close()` when done.
- * Both `init()` and `connect()` are auto-called by operations if needed,
- * but `connect()` requires a connection so must be called explicitly first
- * unless a default connection was provided in options.
+ * Execute `db update` against the configured contract.
  *
- * @see README.md "Programmatic Control API" section for usage examples
+ * Routes through the loader → planner → runner pipeline. Destructive
+ * operations require either `acceptDataLoss: true` or a prior
+ * `mode: 'plan'` invocation that surfaces the destructive ops; the
+ * confirmation gate is implemented here so the lower-level applier
+ * remains policy-agnostic.
  */
-interface ControlClient {
-  /**
-   * Initializes the client by creating the control plane stack,
-   * family instance, and validating framework components.
-   *
-   * Idempotent (safe to call multiple times).
-   * Called automatically by `connect()` if not already initialized.
-   */
-  init(): void;
-  /**
-   * Establishes a database connection.
-   * Auto-calls `init()` if not already initialized.
-   * Must be called before any database operations unless a default connection
-   * was provided in options.
-   *
-   * @param connection - Driver-specific connection input (e.g., URL string for Postgres).
-   *   If omitted, uses the default connection from options (if provided).
-   * @throws If connection fails, already connected, driver is not configured,
-   *   or no connection provided and no default connection in options.
-   */
-  connect(connection?: unknown): Promise<void>;
-  /**
-   * Closes the database connection.
-   * Idempotent (safe to call multiple times).
-   * After close(), can call `connect()` again with same or different URL.
-   */
-  close(): Promise<void>;
-  /**
-   * Verifies database marker matches the contract.
-   * Compares storageHash and profileHash.
-   *
-   * @returns Structured result (ok: false for mismatch, not throwing)
-   * @throws If not connected or infrastructure failure
-   */
-  verify(options: VerifyOptions): Promise<VerifyDatabaseResult$1>;
-  /**
-   * Verifies database schema satisfies the contract requirements.
-   *
-   * @param options.strict - If true, extra tables/columns are issues. Default: false
-   * @returns Structured result with schema issues
-   * @throws If not connected or infrastructure failure
-   */
-  schemaVerify(options: SchemaVerifyOptions): Promise<VerifyDatabaseSchemaResult$1>;
-  /**
-   * Signs the database with a contract signature.
-   * Writes or updates the signature if schema verification passes.
-   * Idempotent (no-op if signature already matches).
-   *
-   * @returns Structured result
-   * @throws If not connected or infrastructure failure
-   */
-  sign(options: SignOptions): Promise<SignDatabaseResult$1>;
-  /**
-   * Initializes database schema from contract.
-   * Uses additive-only policy (no destructive changes).
-   *
-   * @param options.mode - 'plan' to preview, 'apply' to execute
-   * @returns Result pattern: Ok with planned/executed operations, NotOk with failure details
-   * @throws If not connected, target doesn't support migrations, or infrastructure failure
-   */
-  dbInit(options: DbInitOptions): Promise<DbInitResult>;
-  /**
-   * Updates a database schema to match the current contract.
-   * Creates the signature table if it does not exist. No preconditions required.
-   * Allows additive, widening, and destructive operation classes.
-   *
-   * @param options.mode - 'plan' to preview, 'apply' to execute
-   * @returns Result pattern: Ok with planned/executed operations, NotOk with failure details
-   * @throws If not connected, target doesn't support migrations, or infrastructure failure
-   */
-  dbUpdate(options: DbUpdateOptions): Promise<DbUpdateResult>;
-  /**
-   * Reads the contract marker from the database.
-   * Returns null if no marker exists (fresh database).
-   *
-   * @throws If not connected or infrastructure failure
-   */
-  readMarker(): Promise<ContractMarkerRecord | null>;
-  /**
-   * Applies pre-planned on-disk migrations to the database.
-   * Each migration runs in its own transaction with full execution checks.
-   * Resume-safe: re-running after failure picks up from the last applied migration.
-   *
-   * @param options.originHash - Explicit source hash for the apply path
-   * @param options.destinationHash - Explicit destination hash for the apply path
-   * @param options.pendingMigrations - Ordered migrations to execute
-   * @returns Result pattern: Ok with applied details, NotOk with failure details
-   * @throws If not connected, target doesn't support migrations, or infrastructure failure
-   */
-  migrationApply(options: MigrationApplyOptions): Promise<MigrationApplyResult>;
-  /**
-   * Introspects the database schema.
-   *
-   * @returns Raw schema IR
-   * @throws If not connected or infrastructure failure
-   */
-  introspect(options?: IntrospectOptions): Promise<unknown>;
-  /**
-   * Converts a schema IR to a schema view for CLI tree rendering.
-   * Delegates to the family instance's toSchemaView method.
-   *
-   * @param schemaIR - The schema IR from introspect()
-   * @returns CoreSchemaView if the family supports it, undefined otherwise
-   */
-  toSchemaView(schemaIR: unknown): CoreSchemaView | undefined;
-  /**
-   * Emits the contract to JSON and TypeScript declarations.
-   * This is an offline operation that does NOT require a database connection.
-   * Uses `init()` to create the stack but does NOT call `connect()`.
-   *
-   * @returns Result pattern: Ok with emit details, NotOk with failure details
-   */
-  emit(options: EmitOptions): Promise<EmitResult>;
-}
+declare function executeDbUpdate<TFamilyId extends string, TTargetId extends string>(options: ExecuteDbUpdateOptions<TFamilyId, TTargetId>): Promise<DbUpdateResult>;
 //#endregion
-//#region src/control-api/client.d.ts
-/**
- * Creates a programmatic control client for Prisma Next operations.
- *
- * The client accepts framework component descriptors at creation time,
- * manages driver lifecycle via connect()/close(), and exposes domain
- * operations that delegate to the existing family instance methods.
- *
- * @see {@link ControlClient} for the client interface
- * @see README.md "Programmatic Control API" section for usage examples
- */
-declare function createControlClient(options: ControlClientOptions): ControlClient;
-//#endregion
-//#region src/control-api/contract-enrichment.d.ts
-/**
- * Enriches a raw contract with framework-derived metadata:
- * capabilities from all component descriptors and extension pack metadata
- * from extension descriptors. Produces deterministically sorted output.
- */
-declare function enrichContract(ir: Contract, components: ReadonlyArray<TargetBoundComponentDescriptor<string, string>>): Contract;
-//#endregion
-//#region src/control-api/operations/contract-emit.d.ts
-/**
- * Executes the contract emit operation.
- *
- * This is an offline operation that:
- * 1. Loads the Prisma Next config from the specified path
- * 2. Resolves the contract source from config
- * 3. Creates a control plane stack and family instance
- * 4. Emits contract artifacts (JSON and DTS)
- * 5. Writes files to the paths specified in config
- *
- * Supports AbortSignal for cancellation, enabling "last change wins" behavior.
- *
- * @param options - Options including configPath and optional signal
- * @returns File paths and hashes of emitted artifacts
- * @throws If config loading fails, contract is invalid, or file I/O fails
- * @throws signal.reason if cancelled via AbortSignal (typically DOMException with name 'AbortError')
- */
-declare function executeContractEmit(options: ContractEmitOptions): Promise<ContractEmitResult>;
+//#region src/utils/emit-queue.d.ts
+declare function disposeEmitQueue(outputJsonPath: string): void;
 //#endregion
-export { type ContractEmitOptions, type ContractEmitResult, type ControlActionName, type ControlClient, type ControlClientOptions, type ControlProgressEvent, type ControlStack, type DbInitFailure, type DbInitFailureCode, type DbInitOptions, type DbInitResult, type DbInitSuccess, type DbUpdateFailure, type DbUpdateFailureCode, type DbUpdateOptions, type DbUpdateResult, type DbUpdateSuccess, type EmitContractConfig, type EmitFailure, type EmitFailureCode, type EmitOptions, type EmitResult, type EmitSuccess, type IntrospectOptions, type OnControlProgress, type SchemaVerifyOptions, type SignDatabaseResult, type SignOptions, type VerifyDatabaseResult, type VerifyDatabaseSchemaResult, type VerifyOptions, createControlClient, enrichContract, executeContractEmit };
+export { type ContractEmitOptions, type ContractEmitResult, type ControlActionName, type ControlClient, type ControlClientOptions, type ControlProgressEvent, type ControlStack, type DbInitFailure, type DbInitFailureCode, type DbInitOptions, type DbInitResult, type DbInitSuccess, type DbUpdateFailure, type DbUpdateFailureCode, type DbUpdateOptions, type DbUpdateResult, type DbUpdateSuccess, type EmitContractConfig, type EmitFailure, type EmitFailureCode, type EmitOptions, type EmitResult, type EmitSuccess, type ExecuteDbInitOptions, type ExecuteDbUpdateOptions, type ExecuteDbVerifyOptions, type ExecuteDbVerifyResult, type IntrospectOptions, type OnControlProgress, type SchemaVerifyOptions, type SignDatabaseResult, type SignOptions, type VerifyDatabaseResult, type VerifyDatabaseSchemaResult, type VerifyOptions, createControlClient, disposeEmitQueue, enrichContract, executeContractEmit, executeDbInit, executeDbUpdate, executeDbVerify };
 //# sourceMappingURL=control-api.d.mts.map