@prisma-next/cli 0.3.0-dev.2 → 0.3.0-dev.20

package/dist/control-api/types.d.ts

@@ -0,0 +1,387 @@
+import type { CoreSchemaView } from '@prisma-next/core-control-plane/schema-view';
+import type { ControlAdapterDescriptor, ControlDriverDescriptor, ControlExtensionDescriptor, ControlFamilyDescriptor, ControlTargetDescriptor, MigrationPlannerConflict, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from '@prisma-next/core-control-plane/types';
+import type { Result } from '@prisma-next/utils/result';
+/**
+ * Options for creating a control client.
+ *
+ * Note: This is NOT the same as CLI config. There's no `contract` field,
+ * no file paths. The client is config-agnostic.
+ *
+ * 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.
+ */
+export interface ControlClientOptions {
+    readonly family: ControlFamilyDescriptor<any, any>;
+    readonly target: ControlTargetDescriptor<any, 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;
+}
+/**
+ * Action names for control-api operations that can emit progress events.
+ */
+export type ControlActionName = 'dbInit' | 'verify' | 'schemaVerify' | 'sign' | 'introspect' | 'emit';
+/**
+ * Progress event emitted during control-api operation execution.
+ *
+ * Events model operation progress using a span-based model:
+ * - `spanStart`: Begin a timed segment (supports nesting via parentSpanId)
+ * - `spanEnd`: Complete a timed segment
+ *
+ * All operation-specific progress (e.g., per-migration-operation) is modeled
+ * as nested spans rather than special event types.
+ *
+ * Events are delivered via an optional `onProgress` callback to avoid polluting
+ * return types. If the callback is absent, operations emit no events (zero overhead).
+ */
+export 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';
+};
+/**
+ * Callback function for receiving progress events during control-api operations.
+ *
+ * @param event - The progress event emitted by the operation
+ */
+export type OnControlProgress = (event: ControlProgressEvent) => void;
+/**
+ * Options for the verify operation.
+ */
+export interface VerifyOptions {
+    /** Contract IR or unvalidated JSON - validated at runtime via familyInstance.validateContractIR() */
+    readonly contractIR: 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.
+ */
+export interface SchemaVerifyOptions {
+    /** Contract IR or unvalidated JSON - validated at runtime via familyInstance.validateContractIR() */
+    readonly contractIR: 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.
+ */
+export interface SignOptions {
+    /** Contract IR or unvalidated JSON - validated at runtime via familyInstance.validateContractIR() */
+    readonly contractIR: 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.
+ */
+export interface DbInitOptions {
+    /** Contract IR or unvalidated JSON - validated at runtime via familyInstance.validateContractIR() */
+    readonly contractIR: 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 introspect operation.
+ */
+export interface IntrospectOptions {
+    /**
+     * Optional schema name to introspect.
+     */
+    readonly schema?: string;
+    /**
+     * 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).
+     */
+    readonly connection?: unknown;
+    /** Optional progress callback for observing operation progress */
+    readonly onProgress?: OnControlProgress;
+}
+/**
+ * Contract source as a raw value (any JSON-serializable value).
+ */
+export interface ContractSourceValue {
+    readonly kind: 'value';
+    readonly value: unknown;
+}
+/**
+ * Contract source as a lazy loader function.
+ */
+export interface ContractSourceLoader {
+    readonly kind: 'loader';
+    readonly load: () => unknown | Promise<unknown>;
+}
+/**
+ * Discriminated union for contract source.
+ * Use `kind` to determine how to resolve the contract.
+ */
+export type EmitContractSource = ContractSourceValue | ContractSourceLoader;
+/**
+ * Contract configuration for emit operation.
+ */
+export interface EmitContractConfig {
+    /**
+     * Contract source - either a raw value or a loader function.
+     * Switch on `source.kind` to determine how to resolve.
+     */
+    readonly source: EmitContractSource;
+    /**
+     * Output path for contract.json.
+     * Should be an absolute or relative path.
+     */
+    readonly output: string;
+    /**
+     * Output path for contract.d.ts.
+     * Should be an absolute or relative path.
+     */
+    readonly types: string;
+}
+/**
+ * Options for the emit operation.
+ */
+export 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.
+ */
+export interface DbInitSuccess {
+    readonly mode: 'plan' | 'apply';
+    readonly plan: {
+        readonly operations: ReadonlyArray<{
+            readonly id: string;
+            readonly label: string;
+            readonly operationClass: string;
+        }>;
+    };
+    readonly execution?: {
+        readonly operationsPlanned: number;
+        readonly operationsExecuted: number;
+    };
+    readonly marker?: {
+        readonly coreHash: string;
+        readonly profileHash?: string;
+    };
+    readonly summary: string;
+}
+/**
+ * Failure codes for dbInit operation.
+ */
+export type DbInitFailureCode = 'PLANNING_FAILED' | 'MARKER_ORIGIN_MISMATCH' | 'RUNNER_FAILED';
+/**
+ * Failure details for dbInit operation.
+ */
+export 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 coreHash?: string;
+        readonly profileHash?: string;
+    };
+    readonly destination?: {
+        readonly coreHash: string;
+        readonly profileHash?: string | undefined;
+    };
+}
+/**
+ * Result type for dbInit operation.
+ * Uses Result pattern: success returns DbInitSuccess, failure returns DbInitFailure.
+ */
+export type DbInitResult = Result<DbInitSuccess, DbInitFailure>;
+/**
+ * Successful emit result.
+ * Contains the hashes and paths of emitted files.
+ */
+export interface EmitSuccess {
+    /** Core hash of the emitted contract */
+    readonly coreHash: 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.
+ */
+export type EmitFailureCode = 'CONTRACT_SOURCE_INVALID' | 'EMIT_FAILED';
+/**
+ * Failure details for emit operation.
+ */
+export interface EmitFailure {
+    readonly code: EmitFailureCode;
+    readonly summary: string;
+    readonly why: string | undefined;
+    readonly meta: Record<string, unknown> | undefined;
+}
+/**
+ * Result type for emit operation.
+ * Uses Result pattern: success returns EmitSuccess, failure returns EmitFailure.
+ */
+export type EmitResult = Result<EmitSuccess, EmitFailure>;
+/**
+ * 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.
+ *
+ * @see README.md "Programmatic Control API" section for usage examples
+ */
+export 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 coreHash and profileHash.
+     *
+     * @returns Structured result (ok: false for mismatch, not throwing)
+     * @throws If not connected or infrastructure failure
+     */
+    verify(options: VerifyOptions): Promise<VerifyDatabaseResult>;
+    /**
+     * 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>;
+    /**
+     * Signs the database with a contract marker.
+     * Writes or updates the contract marker if schema verification passes.
+     * Idempotent (no-op if marker already matches).
+     *
+     * @returns Structured result
+     * @throws If not connected or infrastructure failure
+     */
+    sign(options: SignOptions): Promise<SignDatabaseResult>;
+    /**
+     * 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>;
+    /**
+     * 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>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/control-api/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/control-api/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACvB,uBAAuB,EACvB,wBAAwB,EACxB,kBAAkB,EAClB,oBAAoB,EACpB,0BAA0B,EAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAMxD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,oBAAoB;IAEnC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAEnD,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE7D,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1D,qFAAqF;IAErF,QAAQ,CAAC,MAAM,CAAC,EAAE,uBAAuB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE9D,QAAQ,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC,0BAA0B,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACnF;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B;AAMD;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB,QAAQ,GACR,QAAQ,GACR,cAAc,GACd,MAAM,GACN,YAAY,GACZ,MAAM,CAAC;AAEX;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,SAAS,GAAG,OAAO,CAAC;CAC9C,CAAC;AAEN;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,oBAAoB,KAAK,IAAI,CAAC;AAMtE;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,qGAAqG;IACrG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,kEAAkE;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,qGAAqG;IACrG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,kEAAkE;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,qGAAqG;IACrG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;OAEG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,kEAAkE;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,qGAAqG;IACrG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,kEAAkE;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,kEAAkE;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACjD;AAED;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,mBAAmB,GAAG,oBAAoB,CAAC;AAE5E;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B;;OAEG;IACH,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;IAC5C,kEAAkE;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAMD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;YACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;YACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;YACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;SACjC,CAAC,CAAC;KACJ,CAAC;IACF,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;QACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;KACrC,CAAC;IACF,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,iBAAiB,GAAG,wBAAwB,GAAG,eAAe,CAAC;AAE/F;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,wBAAwB,CAAC,GAAG,SAAS,CAAC;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IACnD,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,WAAW,CAAC,EAAE;QACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC3C,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;AAEhE;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,0CAA0C;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,mDAAmD;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,yBAAyB,GAAG,aAAa,CAAC;AAExE;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;CACpD;AAED;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;AAM1D;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;OAMG;IACH,IAAI,IAAI,IAAI,CAAC;IAEb;;;;;;;;;;OAUG;IACH,OAAO,CAAC,UAAU,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE7C;;;;OAIG;IACH,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvB;;;;;;OAMG;IACH,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAE9D;;;;;;OAMG;IACH,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAEhF;;;;;;;OAOG;IACH,IAAI,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAExD;;;;;;;OAOG;IACH,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAEtD;;;;;OAKG;IACH,UAAU,CAAC,OAAO,CAAC,EAAE,iBAAiB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAE1D;;;;;;OAMG;IACH,YAAY,CAAC,QAAQ,EAAE,OAAO,GAAG,cAAc,GAAG,SAAS,CAAC;IAE5D;;;;;;OAMG;IACH,IAAI,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;CACjD"}

package/dist/exports/config-types.d.ts

@@ -0,0 +1,3 @@
+export type { ContractConfig, PrismaNextConfig, } from '@prisma-next/core-control-plane/config-types';
+export { defineConfig } from '@prisma-next/core-control-plane/config-types';
+//# sourceMappingURL=config-types.d.ts.map

package/dist/exports/config-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-types.d.ts","sourceRoot":"","sources":["../../src/exports/config-types.ts"],"names":[],"mappings":"AACA,YAAY,EACV,cAAc,EACd,gBAAgB,GACjB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC"}

package/dist/exports/config-types.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/exports/config-types.ts"],"sourcesContent":["// Re-export core-control-plane config types for convenience\nexport type {\n  ContractConfig,\n  PrismaNextConfig,\n} from '@prisma-next/core-control-plane/config-types';\nexport { defineConfig } from '@prisma-next/core-control-plane/config-types';\n"],"mappings":";AAKA,SAAS,oBAAoB;","names":[]}

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

@@ -0,0 +1,13 @@
+/**
+ * Programmatic Control API for Prisma Next.
+ *
+ * This module exports the control client factory and types for programmatic
+ * access to control-plane operations without using the CLI.
+ *
+ * @see README.md "Programmatic Control API" section for usage examples
+ * @module
+ */
+export type { ControlPlaneStack, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult, } from '@prisma-next/core-control-plane/types';
+export { createControlClient } from '../control-api/client';
+export type { ContractSourceLoader, ContractSourceValue, ControlActionName, ControlClient, ControlClientOptions, ControlProgressEvent, DbInitFailure, DbInitFailureCode, DbInitOptions, DbInitResult, DbInitSuccess, EmitContractConfig, EmitContractSource, EmitFailure, EmitFailureCode, EmitOptions, EmitResult, EmitSuccess, IntrospectOptions, OnControlProgress, SchemaVerifyOptions, SignOptions, VerifyOptions, } from '../control-api/types';
+//# sourceMappingURL=control-api.d.ts.map

package/dist/exports/control-api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-api.d.ts","sourceRoot":"","sources":["../../src/exports/control-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,YAAY,EACV,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAG5D,YAAY,EACV,oBAAoB,EACpB,mBAAmB,EACnB,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,oBAAoB,EACpB,aAAa,EACb,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,WAAW,EACX,eAAe,EACf,WAAW,EACX,UAAU,EACV,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,EACnB,WAAW,EACX,aAAa,GACd,MAAM,sBAAsB,CAAC"}

package/dist/exports/control-api.js

@@ -0,0 +1,7 @@
+import {
+  createControlClient
+} from "../chunk-VG2R7DGF.js";
+export {
+  createControlClient
+};
+//# sourceMappingURL=control-api.js.map

package/dist/exports/control-api.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/exports/index.d.ts

@@ -0,0 +1,4 @@
+export { createContractEmitCommand } from '../commands/contract-emit';
+export type { LoadTsContractOptions } from '../load-ts-contract';
+export { loadContractFromTs } from '../load-ts-contract';
+//# sourceMappingURL=index.d.ts.map

package/dist/exports/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/exports/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACtE,YAAY,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/{index.js → exports/index.js}

@@ -1,8 +1,9 @@
 import {
   createContractEmitCommand
-} from "./chunk-464LNZCE.js";
-import "./chunk-BZMBKEEQ.js";
-import "./chunk-HWYQOCAJ.js";
+} from "../chunk-HLLI4YL7.js";
+import "../chunk-AGOTG4L3.js";
+import "../chunk-HWYQOCAJ.js";
+import "../chunk-VG2R7DGF.js";
 
 // src/load-ts-contract.ts
 import { existsSync, unlinkSync, writeFileSync } from "fs";

package/dist/exports/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/load-ts-contract.ts"],"sourcesContent":["import { existsSync, unlinkSync, writeFileSync } from 'node:fs';\nimport { tmpdir } from 'node:os';\nimport { join } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type { Plugin } from 'esbuild';\nimport { build } from 'esbuild';\n\nexport interface LoadTsContractOptions {\n  readonly allowlist?: ReadonlyArray<string>;\n}\n\nconst DEFAULT_ALLOWLIST = ['@prisma-next/*'];\n\nfunction isAllowedImport(importPath: string, allowlist: ReadonlyArray<string>): boolean {\n  for (const pattern of allowlist) {\n    if (pattern.endsWith('/*')) {\n      const prefix = pattern.slice(0, -2);\n      if (importPath === prefix || importPath.startsWith(`${prefix}/`)) {\n        return true;\n      }\n    } else if (importPath === pattern) {\n      return true;\n    }\n  }\n  return false;\n}\n\nfunction validatePurity(value: unknown): void {\n  if (typeof value !== 'object' || value === null) {\n    return;\n  }\n\n  const seen = new WeakSet();\n  function check(value: unknown): void {\n    if (value === null || typeof value !== 'object') {\n      return;\n    }\n\n    if (seen.has(value)) {\n      throw new Error('Contract export contains circular references');\n    }\n    seen.add(value);\n\n    for (const key in value) {\n      const descriptor = Object.getOwnPropertyDescriptor(value, key);\n      if (descriptor && (descriptor.get || descriptor.set)) {\n        throw new Error(`Contract export contains getter/setter at key \"${key}\"`);\n      }\n      if (descriptor && typeof descriptor.value === 'function') {\n        throw new Error(`Contract export contains function at key \"${key}\"`);\n      }\n      check((value as Record<string, unknown>)[key]);\n    }\n  }\n\n  try {\n    check(value);\n    JSON.stringify(value);\n  } catch (error) {\n    if (error instanceof Error) {\n      if (error.message.includes('getter') || error.message.includes('circular')) {\n        throw error;\n      }\n      throw new Error(`Contract export is not JSON-serializable: ${error.message}`);\n    }\n    throw new Error('Contract export is not JSON-serializable');\n  }\n}\n\nfunction createImportAllowlistPlugin(allowlist: ReadonlyArray<string>, entryPath: string): Plugin {\n  return {\n    name: 'import-allowlist',\n    setup(build) {\n      build.onResolve({ filter: /.*/ }, (args) => {\n        if (args.kind === 'entry-point') {\n          return undefined;\n        }\n        if (args.path.startsWith('.') || args.path.startsWith('/')) {\n          return undefined;\n        }\n        const isFromEntryPoint = args.importer === entryPath || args.importer === '<stdin>';\n        if (isFromEntryPoint && !isAllowedImport(args.path, allowlist)) {\n          return {\n            path: args.path,\n            external: true,\n          };\n        }\n        return undefined;\n      });\n    },\n  };\n}\n\n/**\n * Loads a contract from a TypeScript file and returns it as ContractIR.\n *\n * **Responsibility: Parsing Only**\n * This function loads and parses a TypeScript contract file. It does NOT normalize the contract.\n * The contract should already be normalized if it was built using the contract builder.\n *\n * Normalization must happen in the contract builder when the contract is created.\n * This function only validates that the contract is JSON-serializable and returns it as-is.\n *\n * @param entryPath - Path to the TypeScript contract file\n * @param options - Optional configuration (import allowlist)\n * @returns The contract as ContractIR (should already be normalized)\n * @throws Error if the contract cannot be loaded or is not JSON-serializable\n */\nexport async function loadContractFromTs(\n  entryPath: string,\n  options?: LoadTsContractOptions,\n): Promise<ContractIR> {\n  const allowlist = options?.allowlist ?? DEFAULT_ALLOWLIST;\n\n  if (!existsSync(entryPath)) {\n    throw new Error(`Contract file not found: ${entryPath}`);\n  }\n\n  const tempFile = join(\n    tmpdir(),\n    `prisma-next-contract-${Date.now()}-${Math.random().toString(36).slice(2)}.mjs`,\n  );\n\n  try {\n    const result = await build({\n      entryPoints: [entryPath],\n      bundle: true,\n      format: 'esm',\n      platform: 'node',\n      target: 'es2022',\n      outfile: tempFile,\n      write: false,\n      metafile: true,\n      plugins: [createImportAllowlistPlugin(allowlist, entryPath)],\n      logLevel: 'error',\n    });\n\n    if (result.errors.length > 0) {\n      const errorMessages = result.errors.map((e: { text: string }) => e.text).join('\\n');\n      throw new Error(`Failed to bundle contract file: ${errorMessages}`);\n    }\n\n    if (!result.outputFiles || result.outputFiles.length === 0) {\n      throw new Error('No output files generated from bundling');\n    }\n\n    const disallowedImports: string[] = [];\n    if (result.metafile) {\n      const inputs = result.metafile.inputs;\n      for (const [, inputData] of Object.entries(inputs)) {\n        const imports =\n          (inputData as { imports?: Array<{ path: string; external?: boolean }> }).imports || [];\n        for (const imp of imports) {\n          if (\n            imp.external &&\n            !imp.path.startsWith('.') &&\n            !imp.path.startsWith('/') &&\n            !isAllowedImport(imp.path, allowlist)\n          ) {\n            disallowedImports.push(imp.path);\n          }\n        }\n      }\n    }\n\n    if (disallowedImports.length > 0) {\n      throw new Error(\n        `Disallowed imports detected. Only imports matching the allowlist are permitted:\\n  Allowlist: ${allowlist.join(', ')}\\n  Disallowed imports: ${disallowedImports.join(', ')}\\n\\nOnly @prisma-next/* packages are allowed in contract files.`,\n      );\n    }\n\n    const bundleContent = result.outputFiles[0]?.text;\n    if (bundleContent === undefined) {\n      throw new Error('Bundle content is undefined');\n    }\n    writeFileSync(tempFile, bundleContent, 'utf-8');\n\n    const module = (await import(`file://${tempFile}`)) as {\n      default?: unknown;\n      contract?: unknown;\n    };\n    unlinkSync(tempFile);\n\n    let contract: unknown;\n\n    if (module.default !== undefined) {\n      contract = module.default;\n    } else if (module.contract !== undefined) {\n      contract = module.contract;\n    } else {\n      throw new Error(\n        `Contract file must export a contract as default export or named export 'contract'. Found exports: ${Object.keys(module as Record<string, unknown>).join(', ') || 'none'}`,\n      );\n    }\n\n    if (typeof contract !== 'object' || contract === null) {\n      throw new Error(`Contract export must be an object, got ${typeof contract}`);\n    }\n\n    validatePurity(contract);\n\n    return contract as ContractIR;\n  } catch (error) {\n    try {\n      if (tempFile) {\n        unlinkSync(tempFile);\n      }\n    } catch {\n      // Ignore cleanup errors\n    }\n\n    if (error instanceof Error) {\n      throw error;\n    }\n    throw new Error(`Failed to load contract from ${entryPath}: ${String(error)}`);\n  }\n}\n"],"mappings":";;;;;;;;AAAA,SAAS,YAAY,YAAY,qBAAqB;AACtD,SAAS,cAAc;AACvB,SAAS,YAAY;AAGrB,SAAS,aAAa;AAMtB,IAAM,oBAAoB,CAAC,gBAAgB;AAE3C,SAAS,gBAAgB,YAAoB,WAA2C;AACtF,aAAW,WAAW,WAAW;AAC/B,QAAI,QAAQ,SAAS,IAAI,GAAG;AAC1B,YAAM,SAAS,QAAQ,MAAM,GAAG,EAAE;AAClC,UAAI,eAAe,UAAU,WAAW,WAAW,GAAG,MAAM,GAAG,GAAG;AAChE,eAAO;AAAA,MACT;AAAA,IACF,WAAW,eAAe,SAAS;AACjC,aAAO;AAAA,IACT;AAAA,EACF;AACA,SAAO;AACT;AAEA,SAAS,eAAe,OAAsB;AAC5C,MAAI,OAAO,UAAU,YAAY,UAAU,MAAM;AAC/C;AAAA,EACF;AAEA,QAAM,OAAO,oBAAI,QAAQ;AACzB,WAAS,MAAMA,QAAsB;AACnC,QAAIA,WAAU,QAAQ,OAAOA,WAAU,UAAU;AAC/C;AAAA,IACF;AAEA,QAAI,KAAK,IAAIA,MAAK,GAAG;AACnB,YAAM,IAAI,MAAM,8CAA8C;AAAA,IAChE;AACA,SAAK,IAAIA,MAAK;AAEd,eAAW,OAAOA,QAAO;AACvB,YAAM,aAAa,OAAO,yBAAyBA,QAAO,GAAG;AAC7D,UAAI,eAAe,WAAW,OAAO,WAAW,MAAM;AACpD,cAAM,IAAI,MAAM,kDAAkD,GAAG,GAAG;AAAA,MAC1E;AACA,UAAI,cAAc,OAAO,WAAW,UAAU,YAAY;AACxD,cAAM,IAAI,MAAM,6CAA6C,GAAG,GAAG;AAAA,MACrE;AACA,YAAOA,OAAkC,GAAG,CAAC;AAAA,IAC/C;AAAA,EACF;AAEA,MAAI;AACF,UAAM,KAAK;AACX,SAAK,UAAU,KAAK;AAAA,EACtB,SAAS,OAAO;AACd,QAAI,iBAAiB,OAAO;AAC1B,UAAI,MAAM,QAAQ,SAAS,QAAQ,KAAK,MAAM,QAAQ,SAAS,UAAU,GAAG;AAC1E,cAAM;AAAA,MACR;AACA,YAAM,IAAI,MAAM,6CAA6C,MAAM,OAAO,EAAE;AAAA,IAC9E;AACA,UAAM,IAAI,MAAM,0CAA0C;AAAA,EAC5D;AACF;AAEA,SAAS,4BAA4B,WAAkC,WAA2B;AAChG,SAAO;AAAA,IACL,MAAM;AAAA,IACN,MAAMC,QAAO;AACX,MAAAA,OAAM,UAAU,EAAE,QAAQ,KAAK,GAAG,CAAC,SAAS;AAC1C,YAAI,KAAK,SAAS,eAAe;AAC/B,iBAAO;AAAA,QACT;AACA,YAAI,KAAK,KAAK,WAAW,GAAG,KAAK,KAAK,KAAK,WAAW,GAAG,GAAG;AAC1D,iBAAO;AAAA,QACT;AACA,cAAM,mBAAmB,KAAK,aAAa,aAAa,KAAK,aAAa;AAC1E,YAAI,oBAAoB,CAAC,gBAAgB,KAAK,MAAM,SAAS,GAAG;AAC9D,iBAAO;AAAA,YACL,MAAM,KAAK;AAAA,YACX,UAAU;AAAA,UACZ;AAAA,QACF;AACA,eAAO;AAAA,MACT,CAAC;AAAA,IACH;AAAA,EACF;AACF;AAiBA,eAAsB,mBACpB,WACA,SACqB;AACrB,QAAM,YAAY,SAAS,aAAa;AAExC,MAAI,CAAC,WAAW,SAAS,GAAG;AAC1B,UAAM,IAAI,MAAM,4BAA4B,SAAS,EAAE;AAAA,EACzD;AAEA,QAAM,WAAW;AAAA,IACf,OAAO;AAAA,IACP,wBAAwB,KAAK,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,CAAC;AAAA,EAC3E;AAEA,MAAI;AACF,UAAM,SAAS,MAAM,MAAM;AAAA,MACzB,aAAa,CAAC,SAAS;AAAA,MACvB,QAAQ;AAAA,MACR,QAAQ;AAAA,MACR,UAAU;AAAA,MACV,QAAQ;AAAA,MACR,SAAS;AAAA,MACT,OAAO;AAAA,MACP,UAAU;AAAA,MACV,SAAS,CAAC,4BAA4B,WAAW,SAAS,CAAC;AAAA,MAC3D,UAAU;AAAA,IACZ,CAAC;AAED,QAAI,OAAO,OAAO,SAAS,GAAG;AAC5B,YAAM,gBAAgB,OAAO,OAAO,IAAI,CAAC,MAAwB,EAAE,IAAI,EAAE,KAAK,IAAI;AAClF,YAAM,IAAI,MAAM,mCAAmC,aAAa,EAAE;AAAA,IACpE;AAEA,QAAI,CAAC,OAAO,eAAe,OAAO,YAAY,WAAW,GAAG;AAC1D,YAAM,IAAI,MAAM,yCAAyC;AAAA,IAC3D;AAEA,UAAM,oBAA8B,CAAC;AACrC,QAAI,OAAO,UAAU;AACnB,YAAM,SAAS,OAAO,SAAS;AAC/B,iBAAW,CAAC,EAAE,SAAS,KAAK,OAAO,QAAQ,MAAM,GAAG;AAClD,cAAM,UACH,UAAwE,WAAW,CAAC;AACvF,mBAAW,OAAO,SAAS;AACzB,cACE,IAAI,YACJ,CAAC,IAAI,KAAK,WAAW,GAAG,KACxB,CAAC,IAAI,KAAK,WAAW,GAAG,KACxB,CAAC,gBAAgB,IAAI,MAAM,SAAS,GACpC;AACA,8BAAkB,KAAK,IAAI,IAAI;AAAA,UACjC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,QAAI,kBAAkB,SAAS,GAAG;AAChC,YAAM,IAAI;AAAA,QACR;AAAA,eAAiG,UAAU,KAAK,IAAI,CAAC;AAAA,wBAA2B,kBAAkB,KAAK,IAAI,CAAC;AAAA;AAAA;AAAA,MAC9K;AAAA,IACF;AAEA,UAAM,gBAAgB,OAAO,YAAY,CAAC,GAAG;AAC7C,QAAI,kBAAkB,QAAW;AAC/B,YAAM,IAAI,MAAM,6BAA6B;AAAA,IAC/C;AACA,kBAAc,UAAU,eAAe,OAAO;AAE9C,UAAM,SAAU,MAAM,OAAO,UAAU,QAAQ;AAI/C,eAAW,QAAQ;AAEnB,QAAI;AAEJ,QAAI,OAAO,YAAY,QAAW;AAChC,iBAAW,OAAO;AAAA,IACpB,WAAW,OAAO,aAAa,QAAW;AACxC,iBAAW,OAAO;AAAA,IACpB,OAAO;AACL,YAAM,IAAI;AAAA,QACR,qGAAqG,OAAO,KAAK,MAAiC,EAAE,KAAK,IAAI,KAAK,MAAM;AAAA,MAC1K;AAAA,IACF;AAEA,QAAI,OAAO,aAAa,YAAY,aAAa,MAAM;AACrD,YAAM,IAAI,MAAM,0CAA0C,OAAO,QAAQ,EAAE;AAAA,IAC7E;AAEA,mBAAe,QAAQ;AAEvB,WAAO;AAAA,EACT,SAAS,OAAO;AACd,QAAI;AACF,UAAI,UAAU;AACZ,mBAAW,QAAQ;AAAA,MACrB;AAAA,IACF,QAAQ;AAAA,IAER;AAEA,QAAI,iBAAiB,OAAO;AAC1B,YAAM;AAAA,IACR;AACA,UAAM,IAAI,MAAM,gCAAgC,SAAS,KAAK,OAAO,KAAK,CAAC,EAAE;AAAA,EAC/E;AACF;","names":["value","build"]}

package/dist/{index.d.ts → load-ts-contract.d.ts}

@@ -1,8 +1,5 @@
-export { createContractEmitCommand } from './commands/contract-emit.js';
-import { ContractIR } from '@prisma-next/contract/ir';
-import 'commander';
-
-interface LoadTsContractOptions {
+import type { ContractIR } from '@prisma-next/contract/ir';
+export interface LoadTsContractOptions {
     readonly allowlist?: ReadonlyArray<string>;
 }
 /**
@@ -20,6 +17,5 @@ interface LoadTsContractOptions {
  * @returns The contract as ContractIR (should already be normalized)
  * @throws Error if the contract cannot be loaded or is not JSON-serializable
  */
-declare function loadContractFromTs(entryPath: string, options?: LoadTsContractOptions): Promise<ContractIR>;
-
-export { type LoadTsContractOptions, loadContractFromTs };
+export declare function loadContractFromTs(entryPath: string, options?: LoadTsContractOptions): Promise<ContractIR>;
+//# sourceMappingURL=load-ts-contract.d.ts.map

package/dist/load-ts-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"load-ts-contract.d.ts","sourceRoot":"","sources":["../src/load-ts-contract.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAI3D,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC5C;AAoFD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,kBAAkB,CACtC,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,qBAAqB,GAC9B,OAAO,CAAC,UAAU,CAAC,CAyGrB"}

package/dist/utils/cli-errors.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Re-export all domain error factories from core-control-plane for convenience.
+ * CLI-specific errors (e.g., Commander.js argument validation) can be added here if needed.
+ */
+export type { CliErrorConflict, CliErrorEnvelope } from '@prisma-next/core-control-plane/errors';
+export { CliStructuredError, errorConfigFileNotFound, errorConfigValidation, errorContractConfigMissing, errorContractMissingExtensionPacks, errorContractValidationFailed, errorDatabaseConnectionRequired, errorDriverRequired, errorFamilyReadMarkerSqlRequired, errorFileNotFound, errorHashMismatch, errorJsonFormatNotSupported, errorMarkerMissing, errorMigrationPlanningFailed, errorQueryRunnerFactoryRequired, errorRuntime, errorTargetMigrationNotSupported, errorTargetMismatch, errorUnexpected, } from '@prisma-next/core-control-plane/errors';
+//# sourceMappingURL=cli-errors.d.ts.map

package/dist/utils/cli-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli-errors.d.ts","sourceRoot":"","sources":["../../src/utils/cli-errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,0BAA0B,EAC1B,kCAAkC,EAClC,6BAA6B,EAC7B,+BAA+B,EAC/B,mBAAmB,EACnB,gCAAgC,EAChC,iBAAiB,EACjB,iBAAiB,EACjB,2BAA2B,EAC3B,kBAAkB,EAClB,4BAA4B,EAC5B,+BAA+B,EAC/B,YAAY,EACZ,gCAAgC,EAChC,mBAAmB,EACnB,eAAe,GAChB,MAAM,wCAAwC,CAAC"}

package/dist/utils/command-helpers.d.ts

@@ -0,0 +1,12 @@
+import type { Command } from 'commander';
+/**
+ * Sets both short and long descriptions for a command.
+ * The short description is used in command trees and headers.
+ * The long description is shown at the bottom of help output.
+ */
+export declare function setCommandDescriptions(command: Command, shortDescription: string, longDescription?: string): Command;
+/**
+ * Gets the long description from a command if it was set via setCommandDescriptions.
+ */
+export declare function getLongDescription(command: Command): string | undefined;
+//# sourceMappingURL=command-helpers.d.ts.map

package/dist/utils/command-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-helpers.d.ts","sourceRoot":"","sources":["../../src/utils/command-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEzC;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,OAAO,EAChB,gBAAgB,EAAE,MAAM,EACxB,eAAe,CAAC,EAAE,MAAM,GACvB,OAAO,CAOT;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAEvE"}

package/dist/utils/framework-components.d.ts

@@ -0,0 +1,70 @@
+import { type TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';
+import type { ContractIR } from '@prisma-next/contract/ir';
+import type { ControlPlaneStack } from '@prisma-next/core-control-plane/types';
+/**
+ * Asserts that all framework components are compatible with the expected family and target.
+ *
+ * This function validates that each component in the framework components array:
+ * - Has kind 'target', 'adapter', 'extension', or 'driver'
+ * - Has familyId matching expectedFamilyId
+ * - Has targetId matching expectedTargetId
+ *
+ * This validation happens at the CLI composition boundary, before passing components
+ * to typed planner/runner instances. It fills the gap between runtime validation
+ * (via `validateConfig()`) and compile-time type enforcement.
+ *
+ * @param expectedFamilyId - The expected family ID (e.g., 'sql')
+ * @param expectedTargetId - The expected target ID (e.g., 'postgres')
+ * @param frameworkComponents - Array of framework components to validate
+ * @returns The same array typed as TargetBoundComponentDescriptor
+ * @throws CliStructuredError if any component is incompatible
+ *
+ * @example
+ * ```ts
+ * const config = await loadConfig();
+ * const frameworkComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];
+ *
+ * // Validate and type-narrow components before passing to planner
+ * const typedComponents = assertFrameworkComponentsCompatible(
+ *   config.family.familyId,
+ *   config.target.targetId,
+ *   frameworkComponents
+ * );
+ *
+ * const planner = target.migrations.createPlanner(familyInstance);
+ * planner.plan({ contract, schema, policy, frameworkComponents: typedComponents });
+ * ```
+ */
+export declare function assertFrameworkComponentsCompatible<TFamilyId extends string, TTargetId extends string>(expectedFamilyId: TFamilyId, expectedTargetId: TTargetId, frameworkComponents: ReadonlyArray<unknown>): ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;
+/**
+ * Validates that a contract is compatible with the configured target, adapter,
+ * and extension packs. Throws on family/target mismatches or missing extension packs.
+ *
+ * This check ensures the emitted contract matches the CLI config before running
+ * commands that depend on the contract (e.g., db verify, db sign).
+ *
+ * @param contract - The contract IR to validate (must include targetFamily, target, extensionPacks).
+ * @param stack - The control plane stack (target, adapter, driver, extensionPacks).
+ *
+ * @throws {CliStructuredError} errorConfigValidation when contract.targetFamily or contract.target
+ *   doesn't match the configured family/target.
+ * @throws {CliStructuredError} errorContractMissingExtensionPacks when the contract requires
+ *   extension packs that are not provided in the config (includes all missing packs in error.meta).
+ *
+ * @example
+ * ```ts
+ * import { assertContractRequirementsSatisfied } from './framework-components';
+ *
+ * const config = await loadConfig();
+ * const contractIR = await loadContractJson(config.contract.output);
+ * const stack = createControlPlaneStack({ target: config.target, adapter: config.adapter, ... });
+ *
+ * // Throws if contract is incompatible with config
+ * assertContractRequirementsSatisfied({ contract: contractIR, stack });
+ * ```
+ */
+export declare function assertContractRequirementsSatisfied<TFamilyId extends string, TTargetId extends string>({ contract, stack, }: {
+    readonly contract: Pick<ContractIR, 'targetFamily' | 'target' | 'extensionPacks'>;
+    readonly stack: ControlPlaneStack<TFamilyId, TTargetId>;
+}): void;
+//# sourceMappingURL=framework-components.d.ts.map

package/dist/utils/framework-components.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"framework-components.d.ts","sourceRoot":"","sources":["../../src/utils/framework-components.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,8BAA8B,EACpC,MAAM,4CAA4C,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAG/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,mCAAmC,CACjD,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EAExB,gBAAgB,EAAE,SAAS,EAC3B,gBAAgB,EAAE,SAAS,EAC3B,mBAAmB,EAAE,aAAa,CAAC,OAAO,CAAC,GAC1C,aAAa,CAAC,8BAA8B,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CA0DrE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,mCAAmC,CACjD,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EACxB,EACA,QAAQ,EACR,KAAK,GACN,EAAE;IACD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,cAAc,GAAG,QAAQ,GAAG,gBAAgB,CAAC,CAAC;IAClF,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;CACzD,GAAG,IAAI,CA+BP"}

package/dist/utils/global-flags.d.ts

@@ -0,0 +1,25 @@
+export interface GlobalFlags {
+    readonly json?: 'object' | 'ndjson';
+    readonly quiet?: boolean;
+    readonly verbose?: number;
+    readonly timestamps?: boolean;
+    readonly color?: boolean;
+}
+export interface CliOptions {
+    readonly json?: string | boolean;
+    readonly quiet?: boolean;
+    readonly q?: boolean;
+    readonly verbose?: boolean;
+    readonly v?: boolean;
+    readonly vv?: boolean;
+    readonly trace?: boolean;
+    readonly timestamps?: boolean;
+    readonly color?: boolean;
+    readonly 'no-color'?: boolean;
+}
+/**
+ * Parses global flags from CLI options.
+ * Handles verbosity flags (-v, -vv, --trace), JSON output, quiet mode, timestamps, and color.
+ */
+export declare function parseGlobalFlags(options: CliOptions): GlobalFlags;
+//# sourceMappingURL=global-flags.d.ts.map

package/dist/utils/global-flags.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"global-flags.d.ts","sourceRoot":"","sources":["../../src/utils/global-flags.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,UAAU,GAAG,WAAW,CAiDjE"}