@prisma-next/contract 0.1.0-dev.17 → 0.1.0-dev.18

package/README.md

@@ -1,14 +1,18 @@
 # @prisma-next/contract
 
-Data contract type definitions and JSON schema for Prisma Next.
+Core contract types, framework component descriptors, and JSON schemas for Prisma Next.
 
 ## Overview
 
-This package provides TypeScript type definitions and JSON Schemas for Prisma Next data contracts. The data contract is the canonical description of an application's data model and storage layout, independent of any specific query language or database target.
+This package provides the foundational type definitions for Prisma Next, including:
+- **Data contracts**: The canonical description of an application's data model and storage layout
+- **Framework component descriptors**: Base interfaces for the modular component system (families, targets, adapters, drivers, extensions)
+- **JSON Schemas**: Validation schemas for contract files
 
 ## Responsibilities
 
-- **Core Contract Types**: Defines framework-level contract types (`ContractBase`, `Source`) that are shared across all target families
+- **Core Contract Types**: Defines framework-level contract types (`ContractBase`, `Source`, `FamilyInstance`) that are shared across all target families
+- **Framework Component Model**: Provides base descriptor interfaces (`FamilyDescriptor`, `TargetDescriptor`, `AdapterDescriptor`, `DriverDescriptor`, `ExtensionDescriptor`) and identity instance bases (`FamilyInstance`, `TargetInstance`, `AdapterInstance`, `DriverInstance`, `ExtensionInstance`) that plane-specific types extend
 - **Document Family Types**: Provides TypeScript types for document target family contracts (`DocumentContract`)
 - **JSON Schema Validation**: Provides JSON Schemas for validating contract structure in IDEs and tooling
 - **Type Guards**: Provides runtime type guards for narrowing contract types (`isDocumentContract`)
@@ -69,6 +73,67 @@ const myFamilyHook: TargetFamilyHook = {
 };
 ```
 
+### Framework Component Model
+
+Import base descriptor and instance interfaces to define or type-check framework components:
+
+```typescript
+import type {
+  // Descriptors
+  ComponentDescriptor,
+  FamilyDescriptor,
+  TargetDescriptor,
+  AdapterDescriptor,
+  DriverDescriptor,
+  ExtensionDescriptor,
+  // Instances
+  FamilyInstance,
+  TargetInstance,
+  AdapterInstance,
+  DriverInstance,
+  ExtensionInstance,
+} from '@prisma-next/contract/framework-components';
+
+// Component descriptors share common properties
+interface MyDescriptor extends ComponentDescriptor<'custom'> {
+  readonly customField: string;
+}
+
+// Use FamilyDescriptor for family components
+const sqlFamily: FamilyDescriptor<'sql'> = {
+  kind: 'family',
+  id: 'sql',
+  familyId: 'sql',
+  manifest: { /* ... */ },
+};
+
+// Use TargetDescriptor for target components
+const postgresTarget: TargetDescriptor<'sql', 'postgres'> = {
+  kind: 'target',
+  id: 'postgres',
+  familyId: 'sql',
+  targetId: 'postgres',
+  manifest: { /* ... */ },
+};
+
+// Identity instance bases are extended by plane-specific instances
+interface MySqlInstance extends FamilyInstance<'sql'> {
+  // Plane-specific methods...
+}
+```
+
+The component hierarchy is:
+
+```
+Family (e.g., 'sql', 'document')
+  └── Target (e.g., 'postgres', 'mysql', 'mongodb')
+        ├── Adapter (protocol/dialect implementation)
+        ├── Driver (connection/execution layer)
+        └── Extension (optional capabilities like pgvector)
+```
+
+Plane-specific descriptors (`ControlFamilyDescriptor`, `RuntimeTargetDescriptor`, etc.) extend these bases with plane-specific factory methods and capabilities.
+
 ### JSON Schema Validation
 
 Reference the appropriate JSON schema in your `contract.json` files to enable IDE validation and autocomplete.
@@ -175,7 +240,10 @@ if (isDocumentContract(contract)) {
 
 ## Exports
 
-- `./types`: TypeScript type definitions and type guards
+- `./types`: Core contract type definitions, type guards, and emitter SPI types
+- `./framework-components`: Framework component model (descriptors + identity instance bases)
+- `./pack-manifest-types`: Extension pack manifest types
+- `./ir`: Contract IR types
 - `./schema-document`: Document family JSON Schema (`schemas/data-contract-document-v1.json`)
 
 ## Architecture

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

@@ -0,0 +1,312 @@
+import { E as ExtensionPackManifest } from './pack-manifest-types-BYh8H2fb.js';
+import '@prisma-next/operations';
+import './ir.js';
+
+/**
+ * Base descriptor for any framework component.
+ *
+ * All component descriptors share these fundamental properties that identify
+ * the component and provide its metadata. This interface is extended by
+ * specific descriptor types (FamilyDescriptor, TargetDescriptor, etc.).
+ *
+ * @template Kind - Discriminator literal identifying the component type.
+ *   Built-in kinds are 'family', 'target', 'adapter', 'driver', 'extension',
+ *   but the type accepts any string to allow ecosystem extensions.
+ *
+ * @example
+ * ```ts
+ * // All descriptors have these properties
+ * descriptor.kind     // The Kind type parameter (e.g., 'family', 'target', or custom kinds)
+ * descriptor.id       // Unique string identifier (e.g., 'sql', 'postgres')
+ * descriptor.manifest // Package metadata (version, capabilities, types, etc.)
+ * ```
+ */
+interface ComponentDescriptor<Kind extends string> {
+    /** Discriminator identifying the component type */
+    readonly kind: Kind;
+    /** Unique identifier for this component (e.g., 'sql', 'postgres', 'pgvector') */
+    readonly id: string;
+    /** Package manifest containing version, capabilities, type imports, and operations */
+    readonly manifest: ExtensionPackManifest;
+}
+/**
+ * Descriptor for a family component.
+ *
+ * A "family" represents a category of data sources with shared semantics
+ * (e.g., SQL databases, document stores). Families define:
+ * - Query semantics and operations (SELECT, INSERT, find, aggregate, etc.)
+ * - Contract structure (tables vs collections, columns vs fields)
+ * - Type system and codecs
+ *
+ * Families are the top-level grouping. Each family contains multiple targets
+ * (e.g., SQL family contains Postgres, MySQL, SQLite targets).
+ *
+ * Extended by plane-specific descriptors:
+ * - `ControlFamilyDescriptor` - adds `hook` for CLI/tooling operations
+ * - `RuntimeFamilyDescriptor` - adds runtime-specific factory methods
+ *
+ * @template TFamilyId - Literal type for the family identifier (e.g., 'sql', 'document')
+ *
+ * @example
+ * ```ts
+ * import sql from '@prisma-next/family-sql/control';
+ *
+ * sql.kind     // 'family'
+ * sql.familyId // 'sql'
+ * sql.id       // 'sql'
+ * ```
+ */
+interface FamilyDescriptor<TFamilyId extends string> extends ComponentDescriptor<'family'> {
+    /** The family identifier (e.g., 'sql', 'document') */
+    readonly familyId: TFamilyId;
+}
+/**
+ * Descriptor for a target component.
+ *
+ * A "target" represents a specific database or data store within a family
+ * (e.g., Postgres, MySQL, MongoDB). Targets define:
+ * - Native type mappings (e.g., Postgres int4 → TypeScript number)
+ * - Target-specific capabilities (e.g., RETURNING, LATERAL joins)
+ * - Version constraints and compatibility
+ *
+ * Targets are bound to a family and provide the target-specific implementation
+ * details that adapters and drivers use.
+ *
+ * Extended by plane-specific descriptors:
+ * - `ControlTargetDescriptor` - adds optional `migrations` capability
+ * - `RuntimeTargetDescriptor` - adds runtime factory method
+ *
+ * @template TFamilyId - Literal type for the family identifier
+ * @template TTargetId - Literal type for the target identifier (e.g., 'postgres', 'mysql')
+ *
+ * @example
+ * ```ts
+ * import postgres from '@prisma-next/target-postgres/control';
+ *
+ * postgres.kind     // 'target'
+ * postgres.familyId // 'sql'
+ * postgres.targetId // 'postgres'
+ * ```
+ */
+interface TargetDescriptor<TFamilyId extends string, TTargetId extends string> extends ComponentDescriptor<'target'> {
+    /** The family this target belongs to */
+    readonly familyId: TFamilyId;
+    /** The target identifier (e.g., 'postgres', 'mysql', 'mongodb') */
+    readonly targetId: TTargetId;
+}
+/**
+ * Descriptor for an adapter component.
+ *
+ * An "adapter" provides the protocol and dialect implementation for a target.
+ * Adapters handle:
+ * - SQL/query generation (lowering AST to target-specific syntax)
+ * - Codec registration (encoding/decoding between JS and wire types)
+ * - Type mappings and coercions
+ *
+ * Adapters are bound to a specific family+target combination and work with
+ * any compatible driver for that target.
+ *
+ * Extended by plane-specific descriptors:
+ * - `ControlAdapterDescriptor` - control-plane factory
+ * - `RuntimeAdapterDescriptor` - runtime factory
+ *
+ * @template TFamilyId - Literal type for the family identifier
+ * @template TTargetId - Literal type for the target identifier
+ *
+ * @example
+ * ```ts
+ * import postgresAdapter from '@prisma-next/adapter-postgres/control';
+ *
+ * postgresAdapter.kind     // 'adapter'
+ * postgresAdapter.familyId // 'sql'
+ * postgresAdapter.targetId // 'postgres'
+ * ```
+ */
+interface AdapterDescriptor<TFamilyId extends string, TTargetId extends string> extends ComponentDescriptor<'adapter'> {
+    /** The family this adapter belongs to */
+    readonly familyId: TFamilyId;
+    /** The target this adapter is designed for */
+    readonly targetId: TTargetId;
+}
+/**
+ * Descriptor for a driver component.
+ *
+ * A "driver" provides the connection and execution layer for a target.
+ * Drivers handle:
+ * - Connection management (pooling, timeouts, retries)
+ * - Query execution (sending SQL/commands, receiving results)
+ * - Transaction management
+ * - Wire protocol communication
+ *
+ * Drivers are bound to a specific family+target and work with any compatible
+ * adapter. Multiple drivers can exist for the same target (e.g., node-postgres
+ * vs postgres.js for Postgres).
+ *
+ * Extended by plane-specific descriptors:
+ * - `ControlDriverDescriptor` - creates driver from connection URL
+ * - `RuntimeDriverDescriptor` - creates driver with runtime options
+ *
+ * @template TFamilyId - Literal type for the family identifier
+ * @template TTargetId - Literal type for the target identifier
+ *
+ * @example
+ * ```ts
+ * import postgresDriver from '@prisma-next/driver-postgres/control';
+ *
+ * postgresDriver.kind     // 'driver'
+ * postgresDriver.familyId // 'sql'
+ * postgresDriver.targetId // 'postgres'
+ * ```
+ */
+interface DriverDescriptor<TFamilyId extends string, TTargetId extends string> extends ComponentDescriptor<'driver'> {
+    /** The family this driver belongs to */
+    readonly familyId: TFamilyId;
+    /** The target this driver connects to */
+    readonly targetId: TTargetId;
+}
+/**
+ * Descriptor for an extension component.
+ *
+ * An "extension" adds optional capabilities to a target. Extensions can provide:
+ * - Additional operations (e.g., vector similarity search with pgvector)
+ * - Custom types and codecs (e.g., vector type)
+ * - Extended query capabilities
+ *
+ * Extensions are bound to a specific family+target and are registered in the
+ * config alongside the core components. Multiple extensions can be used together.
+ *
+ * Extended by plane-specific descriptors:
+ * - `ControlExtensionDescriptor` - control-plane extension factory
+ * - `RuntimeExtensionDescriptor` - runtime extension factory
+ *
+ * @template TFamilyId - Literal type for the family identifier
+ * @template TTargetId - Literal type for the target identifier
+ *
+ * @example
+ * ```ts
+ * import pgvector from '@prisma-next/extension-pgvector/control';
+ *
+ * pgvector.kind     // 'extension'
+ * pgvector.familyId // 'sql'
+ * pgvector.targetId // 'postgres'
+ * ```
+ */
+interface ExtensionDescriptor<TFamilyId extends string, TTargetId extends string> extends ComponentDescriptor<'extension'> {
+    /** The family this extension belongs to */
+    readonly familyId: TFamilyId;
+    /** The target this extension is designed for */
+    readonly targetId: TTargetId;
+}
+/**
+ * Base interface for family instances.
+ *
+ * A family instance is created by a family descriptor's `create()` method.
+ * This base interface carries only the identity; plane-specific interfaces
+ * add domain actions (e.g., `emitContract`, `verify` on ControlFamilyInstance).
+ *
+ * @template TFamilyId - Literal type for the family identifier (e.g., 'sql', 'document')
+ *
+ * @example
+ * ```ts
+ * const instance = sql.create({ target, adapter, driver, extensions });
+ * instance.familyId // 'sql'
+ * ```
+ */
+interface FamilyInstance<TFamilyId extends string> {
+    /** The family identifier (e.g., 'sql', 'document') */
+    readonly familyId: TFamilyId;
+}
+/**
+ * Base interface for target instances.
+ *
+ * A target instance is created by a target descriptor's `create()` method.
+ * This base interface carries only the identity; plane-specific interfaces
+ * add target-specific behavior.
+ *
+ * @template TFamilyId - Literal type for the family identifier
+ * @template TTargetId - Literal type for the target identifier (e.g., 'postgres', 'mysql')
+ *
+ * @example
+ * ```ts
+ * const instance = postgres.create();
+ * instance.familyId // 'sql'
+ * instance.targetId // 'postgres'
+ * ```
+ */
+interface TargetInstance<TFamilyId extends string, TTargetId extends string> {
+    /** The family this target belongs to */
+    readonly familyId: TFamilyId;
+    /** The target identifier (e.g., 'postgres', 'mysql', 'mongodb') */
+    readonly targetId: TTargetId;
+}
+/**
+ * Base interface for adapter instances.
+ *
+ * An adapter instance is created by an adapter descriptor's `create()` method.
+ * This base interface carries only the identity; plane-specific interfaces
+ * add adapter-specific behavior (e.g., codec registration, query lowering).
+ *
+ * @template TFamilyId - Literal type for the family identifier
+ * @template TTargetId - Literal type for the target identifier
+ *
+ * @example
+ * ```ts
+ * const instance = postgresAdapter.create();
+ * instance.familyId // 'sql'
+ * instance.targetId // 'postgres'
+ * ```
+ */
+interface AdapterInstance<TFamilyId extends string, TTargetId extends string> {
+    /** The family this adapter belongs to */
+    readonly familyId: TFamilyId;
+    /** The target this adapter is designed for */
+    readonly targetId: TTargetId;
+}
+/**
+ * Base interface for driver instances.
+ *
+ * A driver instance is created by a driver descriptor's `create()` method.
+ * This base interface carries only the identity; plane-specific interfaces
+ * add driver-specific behavior (e.g., `query`, `close` on ControlDriverInstance).
+ *
+ * @template TFamilyId - Literal type for the family identifier
+ * @template TTargetId - Literal type for the target identifier
+ *
+ * @example
+ * ```ts
+ * const instance = postgresDriver.create({ databaseUrl });
+ * instance.familyId // 'sql'
+ * instance.targetId // 'postgres'
+ * ```
+ */
+interface DriverInstance<TFamilyId extends string, TTargetId extends string> {
+    /** The family this driver belongs to */
+    readonly familyId: TFamilyId;
+    /** The target this driver connects to */
+    readonly targetId: TTargetId;
+}
+/**
+ * Base interface for extension instances.
+ *
+ * An extension instance is created by an extension descriptor's `create()` method.
+ * This base interface carries only the identity; plane-specific interfaces
+ * add extension-specific behavior.
+ *
+ * @template TFamilyId - Literal type for the family identifier
+ * @template TTargetId - Literal type for the target identifier
+ *
+ * @example
+ * ```ts
+ * const instance = pgvector.create();
+ * instance.familyId // 'sql'
+ * instance.targetId // 'postgres'
+ * ```
+ */
+interface ExtensionInstance<TFamilyId extends string, TTargetId extends string> {
+    /** The family this extension belongs to */
+    readonly familyId: TFamilyId;
+    /** The target this extension is designed for */
+    readonly targetId: TTargetId;
+}
+
+export type { AdapterDescriptor, AdapterInstance, ComponentDescriptor, DriverDescriptor, DriverInstance, ExtensionDescriptor, ExtensionInstance, FamilyDescriptor, FamilyInstance, TargetDescriptor, TargetInstance };

package/dist/exports/framework-components.js

@@ -0,0 +1 @@
+//# sourceMappingURL=framework-components.js.map

package/dist/exports/framework-components.js.map

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

package/dist/exports/pack-manifest-types-BYh8H2fb.d.ts

@@ -0,0 +1,251 @@
+import { OperationRegistry } from '@prisma-next/operations';
+import { ContractIR } from './ir.js';
+
+interface ContractBase {
+    readonly schemaVersion: string;
+    readonly target: string;
+    readonly targetFamily: string;
+    readonly coreHash: string;
+    readonly profileHash?: string;
+    readonly capabilities?: Record<string, Record<string, boolean>>;
+    readonly extensions?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly sources?: Record<string, Source>;
+}
+interface FieldType {
+    readonly type: string;
+    readonly nullable: boolean;
+    readonly items?: FieldType;
+    readonly properties?: Record<string, FieldType>;
+}
+interface Source {
+    readonly readOnly: boolean;
+    readonly projection: Record<string, FieldType>;
+    readonly origin?: Record<string, unknown>;
+    readonly capabilities?: Record<string, boolean>;
+}
+interface DocIndex {
+    readonly name: string;
+    readonly keys: Record<string, 'asc' | 'desc'>;
+    readonly unique?: boolean;
+    readonly where?: Expr;
+}
+type Expr = {
+    readonly kind: 'eq';
+    readonly path: ReadonlyArray<string>;
+    readonly value: unknown;
+} | {
+    readonly kind: 'exists';
+    readonly path: ReadonlyArray<string>;
+};
+interface DocCollection {
+    readonly name: string;
+    readonly id?: {
+        readonly strategy: 'auto' | 'client' | 'uuid' | 'cuid' | 'objectId';
+    };
+    readonly fields: Record<string, FieldType>;
+    readonly indexes?: ReadonlyArray<DocIndex>;
+    readonly readOnly?: boolean;
+}
+interface DocumentStorage {
+    readonly document: {
+        readonly collections: Record<string, DocCollection>;
+    };
+}
+interface DocumentContract extends ContractBase {
+    readonly targetFamily: string;
+    readonly storage: DocumentStorage;
+}
+interface ParamDescriptor {
+    readonly index?: number;
+    readonly name?: string;
+    readonly codecId?: string;
+    readonly nativeType?: string;
+    readonly nullable?: boolean;
+    readonly source: 'dsl' | 'raw';
+    readonly refs?: {
+        table: string;
+        column: string;
+    };
+}
+interface PlanRefs {
+    readonly tables?: readonly string[];
+    readonly columns?: ReadonlyArray<{
+        table: string;
+        column: string;
+    }>;
+    readonly indexes?: ReadonlyArray<{
+        readonly table: string;
+        readonly columns: ReadonlyArray<string>;
+        readonly name?: string;
+    }>;
+}
+interface PlanMeta {
+    readonly target: string;
+    readonly targetFamily?: string;
+    readonly coreHash: string;
+    readonly profileHash?: string;
+    readonly lane: string;
+    readonly annotations?: {
+        codecs?: Record<string, string>;
+        [key: string]: unknown;
+    };
+    readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;
+    readonly refs?: PlanRefs;
+    readonly projection?: Record<string, string> | ReadonlyArray<string>;
+    /**
+     * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).
+     * Used for codec resolution when AST+refs don't provide enough type info.
+     */
+    readonly projectionTypes?: Record<string, string>;
+}
+/**
+ * Canonical execution plan shape used by runtimes.
+ *
+ * - Row is the inferred result row type (TypeScript-only).
+ * - Ast is the optional, family-specific AST type (e.g. SQL QueryAst).
+ *
+ * The payload executed by the runtime is represented by the sql + params pair
+ * for now; future families can specialize this via Ast or additional metadata.
+ */
+interface ExecutionPlan<Row = unknown, Ast = unknown> {
+    readonly sql: string;
+    readonly params: readonly unknown[];
+    readonly ast?: Ast;
+    readonly meta: PlanMeta;
+    /**
+     * Phantom property to carry the Row generic for type-level utilities.
+     * Not set at runtime; used only for ResultType extraction.
+     */
+    readonly _row?: Row;
+}
+/**
+ * Utility type to extract the Row type from an ExecutionPlan.
+ * Example: `type Row = ResultType<typeof plan>`
+ *
+ * Works with both ExecutionPlan and SqlQueryPlan (SQL query plans before lowering).
+ * SqlQueryPlan includes a phantom `_Row` property to preserve the generic parameter
+ * for type extraction.
+ */
+type ResultType<P> = P extends ExecutionPlan<infer R, unknown> ? R : P extends {
+    readonly _Row?: infer R;
+} ? R : never;
+/**
+ * Type guard to check if a contract is a Document contract
+ */
+declare function isDocumentContract(contract: unknown): contract is DocumentContract;
+/**
+ * Contract marker record stored in the database.
+ * Represents the current contract identity for a database.
+ */
+interface ContractMarkerRecord {
+    readonly coreHash: string;
+    readonly profileHash: string;
+    readonly contractJson: unknown | null;
+    readonly canonicalVersion: number | null;
+    readonly updatedAt: Date;
+    readonly appTag: string | null;
+    readonly meta: Record<string, unknown>;
+}
+/**
+ * Specifies how to import TypeScript types from a package.
+ * Used in extension pack manifests to declare codec and operation type imports.
+ */
+interface TypesImportSpec {
+    readonly package: string;
+    readonly named: string;
+    readonly alias: string;
+}
+/**
+ * Validation context passed to TargetFamilyHook.validateTypes().
+ * Contains pre-assembled operation registry, type imports, and extension IDs.
+ */
+interface ValidationContext {
+    readonly operationRegistry?: OperationRegistry;
+    readonly codecTypeImports?: ReadonlyArray<TypesImportSpec>;
+    readonly operationTypeImports?: ReadonlyArray<TypesImportSpec>;
+    readonly extensionIds?: ReadonlyArray<string>;
+}
+/**
+ * SPI interface for target family hooks that extend emission behavior.
+ * Implemented by family-specific emitter hooks (e.g., SQL family).
+ */
+interface TargetFamilyHook {
+    readonly id: string;
+    /**
+     * Validates that all type IDs in the contract come from referenced extensions.
+     * @param ir - Contract IR to validate
+     * @param ctx - Validation context with operation registry and extension IDs
+     */
+    validateTypes(ir: ContractIR, ctx: ValidationContext): void;
+    /**
+     * Validates family-specific contract structure.
+     * @param ir - Contract IR to validate
+     */
+    validateStructure(ir: ContractIR): void;
+    /**
+     * Generates contract.d.ts file content.
+     * @param ir - Contract IR
+     * @param codecTypeImports - Array of codec type import specs
+     * @param operationTypeImports - Array of operation type import specs
+     * @returns Generated TypeScript type definitions as string
+     */
+    generateContractTypes(ir: ContractIR, codecTypeImports: ReadonlyArray<TypesImportSpec>, operationTypeImports: ReadonlyArray<TypesImportSpec>): string;
+}
+type ArgSpecManifest = {
+    readonly kind: 'typeId';
+    readonly type: string;
+} | {
+    readonly kind: 'param';
+} | {
+    readonly kind: 'literal';
+};
+type ReturnSpecManifest = {
+    readonly kind: 'typeId';
+    readonly type: string;
+} | {
+    readonly kind: 'builtin';
+    readonly type: 'number' | 'boolean' | 'string';
+};
+interface LoweringSpecManifest {
+    readonly targetFamily: 'sql';
+    readonly strategy: 'infix' | 'function';
+    readonly template: string;
+}
+interface OperationManifest {
+    readonly for: string;
+    readonly method: string;
+    readonly args: ReadonlyArray<ArgSpecManifest>;
+    readonly returns: ReturnSpecManifest;
+    readonly lowering: LoweringSpecManifest;
+    readonly capabilities?: ReadonlyArray<string>;
+}
+interface ExtensionPackManifest {
+    readonly id: string;
+    readonly version: string;
+    readonly targets?: Record<string, {
+        readonly minVersion?: string;
+    }>;
+    readonly capabilities?: Record<string, unknown>;
+    readonly types?: {
+        readonly codecTypes?: {
+            readonly import: TypesImportSpec;
+        };
+        readonly operationTypes?: {
+            readonly import: TypesImportSpec;
+        };
+        readonly storage?: readonly {
+            readonly typeId: string;
+            readonly familyId: string;
+            readonly targetId: string;
+            readonly nativeType?: string;
+        }[];
+    };
+    readonly operations?: ReadonlyArray<OperationManifest>;
+}
+interface ExtensionPack {
+    readonly manifest: ExtensionPackManifest;
+    readonly path: string;
+}
+
+export { type ArgSpecManifest as A, type ContractBase as C, type DocCollection as D, type ExtensionPackManifest as E, type FieldType as F, type LoweringSpecManifest as L, type OperationManifest as O, type ParamDescriptor as P, type ResultType as R, type Source as S, type TargetFamilyHook as T, type ValidationContext as V, type ContractMarkerRecord as a, type DocIndex as b, type DocumentContract as c, type DocumentStorage as d, type ExecutionPlan as e, type Expr as f, type PlanMeta as g, type PlanRefs as h, type TypesImportSpec as i, isDocumentContract as j, type ExtensionPack as k, type ReturnSpecManifest as l };

package/dist/exports/pack-manifest-types.d.ts

@@ -1,3 +1,3 @@
-export { A as ArgSpecManifest, E as ExtensionPack, a as ExtensionPackManifest, L as LoweringSpecManifest, O as OperationManifest, R as ReturnSpecManifest } from './types.js';
+export { A as ArgSpecManifest, k as ExtensionPack, E as ExtensionPackManifest, L as LoweringSpecManifest, O as OperationManifest, l as ReturnSpecManifest } from './pack-manifest-types-BYh8H2fb.js';
 import '@prisma-next/operations';
 import './ir.js';

package/dist/exports/types.d.ts

@@ -1,251 +1,3 @@
-import { OperationRegistry } from '@prisma-next/operations';
-import { ContractIR } from './ir.js';
-
-interface ContractBase {
-    readonly schemaVersion: string;
-    readonly target: string;
-    readonly targetFamily: string;
-    readonly coreHash: string;
-    readonly profileHash?: string;
-    readonly capabilities?: Record<string, Record<string, boolean>>;
-    readonly extensions?: Record<string, unknown>;
-    readonly meta?: Record<string, unknown>;
-    readonly sources?: Record<string, Source>;
-}
-interface FieldType {
-    readonly type: string;
-    readonly nullable: boolean;
-    readonly items?: FieldType;
-    readonly properties?: Record<string, FieldType>;
-}
-interface Source {
-    readonly readOnly: boolean;
-    readonly projection: Record<string, FieldType>;
-    readonly origin?: Record<string, unknown>;
-    readonly capabilities?: Record<string, boolean>;
-}
-interface DocIndex {
-    readonly name: string;
-    readonly keys: Record<string, 'asc' | 'desc'>;
-    readonly unique?: boolean;
-    readonly where?: Expr;
-}
-type Expr = {
-    readonly kind: 'eq';
-    readonly path: ReadonlyArray<string>;
-    readonly value: unknown;
-} | {
-    readonly kind: 'exists';
-    readonly path: ReadonlyArray<string>;
-};
-interface DocCollection {
-    readonly name: string;
-    readonly id?: {
-        readonly strategy: 'auto' | 'client' | 'uuid' | 'cuid' | 'objectId';
-    };
-    readonly fields: Record<string, FieldType>;
-    readonly indexes?: ReadonlyArray<DocIndex>;
-    readonly readOnly?: boolean;
-}
-interface DocumentStorage {
-    readonly document: {
-        readonly collections: Record<string, DocCollection>;
-    };
-}
-interface DocumentContract extends ContractBase {
-    readonly targetFamily: string;
-    readonly storage: DocumentStorage;
-}
-interface ParamDescriptor {
-    readonly index?: number;
-    readonly name?: string;
-    readonly codecId?: string;
-    readonly nativeType?: string;
-    readonly nullable?: boolean;
-    readonly source: 'dsl' | 'raw';
-    readonly refs?: {
-        table: string;
-        column: string;
-    };
-}
-interface PlanRefs {
-    readonly tables?: readonly string[];
-    readonly columns?: ReadonlyArray<{
-        table: string;
-        column: string;
-    }>;
-    readonly indexes?: ReadonlyArray<{
-        readonly table: string;
-        readonly columns: ReadonlyArray<string>;
-        readonly name?: string;
-    }>;
-}
-interface PlanMeta {
-    readonly target: string;
-    readonly targetFamily?: string;
-    readonly coreHash: string;
-    readonly profileHash?: string;
-    readonly lane: string;
-    readonly annotations?: {
-        codecs?: Record<string, string>;
-        [key: string]: unknown;
-    };
-    readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;
-    readonly refs?: PlanRefs;
-    readonly projection?: Record<string, string> | ReadonlyArray<string>;
-    /**
-     * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).
-     * Used for codec resolution when AST+refs don't provide enough type info.
-     */
-    readonly projectionTypes?: Record<string, string>;
-}
-/**
- * Canonical execution plan shape used by runtimes.
- *
- * - Row is the inferred result row type (TypeScript-only).
- * - Ast is the optional, family-specific AST type (e.g. SQL QueryAst).
- *
- * The payload executed by the runtime is represented by the sql + params pair
- * for now; future families can specialize this via Ast or additional metadata.
- */
-interface ExecutionPlan<Row = unknown, Ast = unknown> {
-    readonly sql: string;
-    readonly params: readonly unknown[];
-    readonly ast?: Ast;
-    readonly meta: PlanMeta;
-    /**
-     * Phantom property to carry the Row generic for type-level utilities.
-     * Not set at runtime; used only for ResultType extraction.
-     */
-    readonly _row?: Row;
-}
-/**
- * Utility type to extract the Row type from an ExecutionPlan.
- * Example: `type Row = ResultType<typeof plan>`
- *
- * Works with both ExecutionPlan and SqlQueryPlan (SQL query plans before lowering).
- * SqlQueryPlan includes a phantom `_Row` property to preserve the generic parameter
- * for type extraction.
- */
-type ResultType<P> = P extends ExecutionPlan<infer R, unknown> ? R : P extends {
-    readonly _Row?: infer R;
-} ? R : never;
-/**
- * Type guard to check if a contract is a Document contract
- */
-declare function isDocumentContract(contract: unknown): contract is DocumentContract;
-/**
- * Contract marker record stored in the database.
- * Represents the current contract identity for a database.
- */
-interface ContractMarkerRecord {
-    readonly coreHash: string;
-    readonly profileHash: string;
-    readonly contractJson: unknown | null;
-    readonly canonicalVersion: number | null;
-    readonly updatedAt: Date;
-    readonly appTag: string | null;
-    readonly meta: Record<string, unknown>;
-}
-/**
- * Specifies how to import TypeScript types from a package.
- * Used in extension pack manifests to declare codec and operation type imports.
- */
-interface TypesImportSpec {
-    readonly package: string;
-    readonly named: string;
-    readonly alias: string;
-}
-/**
- * Validation context passed to TargetFamilyHook.validateTypes().
- * Contains pre-assembled operation registry, type imports, and extension IDs.
- */
-interface ValidationContext {
-    readonly operationRegistry?: OperationRegistry;
-    readonly codecTypeImports?: ReadonlyArray<TypesImportSpec>;
-    readonly operationTypeImports?: ReadonlyArray<TypesImportSpec>;
-    readonly extensionIds?: ReadonlyArray<string>;
-}
-/**
- * SPI interface for target family hooks that extend emission behavior.
- * Implemented by family-specific emitter hooks (e.g., SQL family).
- */
-interface TargetFamilyHook {
-    readonly id: string;
-    /**
-     * Validates that all type IDs in the contract come from referenced extensions.
-     * @param ir - Contract IR to validate
-     * @param ctx - Validation context with operation registry and extension IDs
-     */
-    validateTypes(ir: ContractIR, ctx: ValidationContext): void;
-    /**
-     * Validates family-specific contract structure.
-     * @param ir - Contract IR to validate
-     */
-    validateStructure(ir: ContractIR): void;
-    /**
-     * Generates contract.d.ts file content.
-     * @param ir - Contract IR
-     * @param codecTypeImports - Array of codec type import specs
-     * @param operationTypeImports - Array of operation type import specs
-     * @returns Generated TypeScript type definitions as string
-     */
-    generateContractTypes(ir: ContractIR, codecTypeImports: ReadonlyArray<TypesImportSpec>, operationTypeImports: ReadonlyArray<TypesImportSpec>): string;
-}
-type ArgSpecManifest = {
-    readonly kind: 'typeId';
-    readonly type: string;
-} | {
-    readonly kind: 'param';
-} | {
-    readonly kind: 'literal';
-};
-type ReturnSpecManifest = {
-    readonly kind: 'typeId';
-    readonly type: string;
-} | {
-    readonly kind: 'builtin';
-    readonly type: 'number' | 'boolean' | 'string';
-};
-interface LoweringSpecManifest {
-    readonly targetFamily: 'sql';
-    readonly strategy: 'infix' | 'function';
-    readonly template: string;
-}
-interface OperationManifest {
-    readonly for: string;
-    readonly method: string;
-    readonly args: ReadonlyArray<ArgSpecManifest>;
-    readonly returns: ReturnSpecManifest;
-    readonly lowering: LoweringSpecManifest;
-    readonly capabilities?: ReadonlyArray<string>;
-}
-interface ExtensionPackManifest {
-    readonly id: string;
-    readonly version: string;
-    readonly targets?: Record<string, {
-        readonly minVersion?: string;
-    }>;
-    readonly capabilities?: Record<string, unknown>;
-    readonly types?: {
-        readonly codecTypes?: {
-            readonly import: TypesImportSpec;
-        };
-        readonly operationTypes?: {
-            readonly import: TypesImportSpec;
-        };
-        readonly storage?: readonly {
-            readonly typeId: string;
-            readonly familyId: string;
-            readonly targetId: string;
-            readonly nativeType?: string;
-        }[];
-    };
-    readonly operations?: ReadonlyArray<OperationManifest>;
-}
-interface ExtensionPack {
-    readonly manifest: ExtensionPackManifest;
-    readonly path: string;
-}
-
-export { type ArgSpecManifest as A, type ContractBase, type ContractMarkerRecord, type DocCollection, type DocIndex, type DocumentContract, type DocumentStorage, type ExtensionPack as E, type ExecutionPlan, type Expr, type FieldType, type LoweringSpecManifest as L, type OperationManifest as O, type ParamDescriptor, type PlanMeta, type PlanRefs, type ReturnSpecManifest as R, type ResultType, type Source, type TargetFamilyHook, type TypesImportSpec, type ValidationContext, type ExtensionPackManifest as a, isDocumentContract };
+export { C as ContractBase, a as ContractMarkerRecord, D as DocCollection, b as DocIndex, c as DocumentContract, d as DocumentStorage, e as ExecutionPlan, f as Expr, F as FieldType, P as ParamDescriptor, g as PlanMeta, h as PlanRefs, R as ResultType, S as Source, T as TargetFamilyHook, i as TypesImportSpec, V as ValidationContext, j as isDocumentContract } from './pack-manifest-types-BYh8H2fb.js';
+import '@prisma-next/operations';
+import './ir.js';

package/dist/exports/types.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/types.ts"],"sourcesContent":["import type { OperationRegistry } from '@prisma-next/operations';\nimport type { ContractIR } from './ir';\n\n// Shared header and neutral types\n// Note: Fields like targetFamily accept string to work with JSON imports,\n// which don't preserve literal types. Runtime validation ensures correct values\nexport interface ContractBase {\n  readonly schemaVersion: string;\n  readonly target: string;\n  readonly targetFamily: string;\n  readonly coreHash: string;\n  readonly profileHash?: string;\n  readonly capabilities?: Record<string, Record<string, boolean>>;\n  readonly extensions?: Record<string, unknown>;\n  readonly meta?: Record<string, unknown>;\n  readonly sources?: Record<string, Source>;\n}\n\nexport interface FieldType {\n  readonly type: string;\n  readonly nullable: boolean;\n  readonly items?: FieldType;\n  readonly properties?: Record<string, FieldType>;\n}\n\nexport interface Source {\n  readonly readOnly: boolean;\n  readonly projection: Record<string, FieldType>;\n  readonly origin?: Record<string, unknown>;\n  readonly capabilities?: Record<string, boolean>;\n}\n\n// Document family types\nexport interface DocIndex {\n  readonly name: string;\n  readonly keys: Record<string, 'asc' | 'desc'>;\n  readonly unique?: boolean;\n  readonly where?: Expr;\n}\n\nexport type Expr =\n  | { readonly kind: 'eq'; readonly path: ReadonlyArray<string>; readonly value: unknown }\n  | { readonly kind: 'exists'; readonly path: ReadonlyArray<string> };\n\nexport interface DocCollection {\n  readonly name: string;\n  readonly id?: {\n    readonly strategy: 'auto' | 'client' | 'uuid' | 'cuid' | 'objectId';\n  };\n  readonly fields: Record<string, FieldType>;\n  readonly indexes?: ReadonlyArray<DocIndex>;\n  readonly readOnly?: boolean;\n}\n\nexport interface DocumentStorage {\n  readonly document: {\n    readonly collections: Record<string, DocCollection>;\n  };\n}\n\nexport interface DocumentContract extends ContractBase {\n  // Accept string to work with JSON imports; runtime validation ensures 'document'\n  readonly targetFamily: string;\n  readonly storage: DocumentStorage;\n}\n\n// Plan types - target-family agnostic execution types\nexport interface ParamDescriptor {\n  readonly index?: number;\n  readonly name?: string;\n  readonly codecId?: string;\n  readonly nativeType?: string;\n  readonly nullable?: boolean;\n  readonly source: 'dsl' | 'raw';\n  readonly refs?: { table: string; column: string };\n}\n\nexport interface PlanRefs {\n  readonly tables?: readonly string[];\n  readonly columns?: ReadonlyArray<{ table: string; column: string }>;\n  readonly indexes?: ReadonlyArray<{\n    readonly table: string;\n    readonly columns: ReadonlyArray<string>;\n    readonly name?: string;\n  }>;\n}\n\nexport interface PlanMeta {\n  readonly target: string;\n  readonly targetFamily?: string;\n  readonly coreHash: string;\n  readonly profileHash?: string;\n  readonly lane: string;\n  readonly annotations?: {\n    codecs?: Record<string, string>; // alias/param → codec id ('ns/name@v')\n    [key: string]: unknown;\n  };\n  readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;\n  readonly refs?: PlanRefs;\n  readonly projection?: Record<string, string> | ReadonlyArray<string>;\n  /**\n   * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).\n   * Used for codec resolution when AST+refs don't provide enough type info.\n   */\n  readonly projectionTypes?: Record<string, string>;\n}\n\n/**\n * Canonical execution plan shape used by runtimes.\n *\n * - Row is the inferred result row type (TypeScript-only).\n * - Ast is the optional, family-specific AST type (e.g. SQL QueryAst).\n *\n * The payload executed by the runtime is represented by the sql + params pair\n * for now; future families can specialize this via Ast or additional metadata.\n */\nexport interface ExecutionPlan<Row = unknown, Ast = unknown> {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n  readonly ast?: Ast;\n  readonly meta: PlanMeta;\n  /**\n   * Phantom property to carry the Row generic for type-level utilities.\n   * Not set at runtime; used only for ResultType extraction.\n   */\n  readonly _row?: Row;\n}\n\n/**\n * Utility type to extract the Row type from an ExecutionPlan.\n * Example: `type Row = ResultType<typeof plan>`\n *\n * Works with both ExecutionPlan and SqlQueryPlan (SQL query plans before lowering).\n * SqlQueryPlan includes a phantom `_Row` property to preserve the generic parameter\n * for type extraction.\n */\nexport type ResultType<P> = P extends ExecutionPlan<infer R, unknown>\n  ? R\n  : P extends { readonly _Row?: infer R }\n    ? R\n    : never;\n\n/**\n * Type guard to check if a contract is a Document contract\n */\nexport function isDocumentContract(contract: unknown): contract is DocumentContract {\n  return (\n    typeof contract === 'object' &&\n    contract !== null &&\n    'targetFamily' in contract &&\n    contract.targetFamily === 'document'\n  );\n}\n\n/**\n * Contract marker record stored in the database.\n * Represents the current contract identity for a database.\n */\nexport interface ContractMarkerRecord {\n  readonly coreHash: string;\n  readonly profileHash: string;\n  readonly contractJson: unknown | null;\n  readonly canonicalVersion: number | null;\n  readonly updatedAt: Date;\n  readonly appTag: string | null;\n  readonly meta: Record<string, unknown>;\n}\n\n// Emitter types - moved from @prisma-next/emitter to shared location\n/**\n * Specifies how to import TypeScript types from a package.\n * Used in extension pack manifests to declare codec and operation type imports.\n */\nexport interface TypesImportSpec {\n  readonly package: string;\n  readonly named: string;\n  readonly alias: string;\n}\n\n/**\n * Validation context passed to TargetFamilyHook.validateTypes().\n * Contains pre-assembled operation registry, type imports, and extension IDs.\n */\nexport interface ValidationContext {\n  readonly operationRegistry?: OperationRegistry;\n  readonly codecTypeImports?: ReadonlyArray<TypesImportSpec>;\n  readonly operationTypeImports?: ReadonlyArray<TypesImportSpec>;\n  readonly extensionIds?: ReadonlyArray<string>;\n}\n\n/**\n * SPI interface for target family hooks that extend emission behavior.\n * Implemented by family-specific emitter hooks (e.g., SQL family).\n */\nexport interface TargetFamilyHook {\n  readonly id: string;\n\n  /**\n   * Validates that all type IDs in the contract come from referenced extensions.\n   * @param ir - Contract IR to validate\n   * @param ctx - Validation context with operation registry and extension IDs\n   */\n  validateTypes(ir: ContractIR, ctx: ValidationContext): void;\n\n  /**\n   * Validates family-specific contract structure.\n   * @param ir - Contract IR to validate\n   */\n  validateStructure(ir: ContractIR): void;\n\n  /**\n   * Generates contract.d.ts file content.\n   * @param ir - Contract IR\n   * @param codecTypeImports - Array of codec type import specs\n   * @param operationTypeImports - Array of operation type import specs\n   * @returns Generated TypeScript type definitions as string\n   */\n  generateContractTypes(\n    ir: ContractIR,\n    codecTypeImports: ReadonlyArray<TypesImportSpec>,\n    operationTypeImports: ReadonlyArray<TypesImportSpec>,\n  ): string;\n}\n\n// Extension pack manifest types - moved from @prisma-next/core-control-plane to shared location\nexport type ArgSpecManifest =\n  | { readonly kind: 'typeId'; readonly type: string }\n  | { readonly kind: 'param' }\n  | { readonly kind: 'literal' };\n\nexport type ReturnSpecManifest =\n  | { readonly kind: 'typeId'; readonly type: string }\n  | { readonly kind: 'builtin'; readonly type: 'number' | 'boolean' | 'string' };\n\nexport interface LoweringSpecManifest {\n  readonly targetFamily: 'sql';\n  readonly strategy: 'infix' | 'function';\n  readonly template: string;\n}\n\nexport interface OperationManifest {\n  readonly for: string;\n  readonly method: string;\n  readonly args: ReadonlyArray<ArgSpecManifest>;\n  readonly returns: ReturnSpecManifest;\n  readonly lowering: LoweringSpecManifest;\n  readonly capabilities?: ReadonlyArray<string>;\n}\n\nexport interface ExtensionPackManifest {\n  readonly id: string;\n  readonly version: string;\n  readonly targets?: Record<string, { readonly minVersion?: string }>;\n  readonly capabilities?: Record<string, unknown>;\n  readonly types?: {\n    readonly codecTypes?: {\n      readonly import: TypesImportSpec;\n    };\n    readonly operationTypes?: {\n      readonly import: TypesImportSpec;\n    };\n    readonly storage?: readonly {\n      readonly typeId: string;\n      readonly familyId: string;\n      readonly targetId: string;\n      readonly nativeType?: string;\n    }[];\n  };\n  readonly operations?: ReadonlyArray<OperationManifest>;\n}\n\nexport interface ExtensionPack {\n  readonly manifest: ExtensionPackManifest;\n  readonly path: string;\n}\n"],"mappings":";AAiJO,SAAS,mBAAmB,UAAiD;AAClF,SACE,OAAO,aAAa,YACpB,aAAa,QACb,kBAAkB,YAClB,SAAS,iBAAiB;AAE9B;","names":[]}
+{"version":3,"sources":["../../src/types.ts"],"sourcesContent":["import type { OperationRegistry } from '@prisma-next/operations';\nimport type { ContractIR } from './ir';\n\nexport interface ContractBase {\n  readonly schemaVersion: string;\n  readonly target: string;\n  readonly targetFamily: string;\n  readonly coreHash: string;\n  readonly profileHash?: string;\n  readonly capabilities?: Record<string, Record<string, boolean>>;\n  readonly extensions?: Record<string, unknown>;\n  readonly meta?: Record<string, unknown>;\n  readonly sources?: Record<string, Source>;\n}\n\nexport interface FieldType {\n  readonly type: string;\n  readonly nullable: boolean;\n  readonly items?: FieldType;\n  readonly properties?: Record<string, FieldType>;\n}\n\nexport interface Source {\n  readonly readOnly: boolean;\n  readonly projection: Record<string, FieldType>;\n  readonly origin?: Record<string, unknown>;\n  readonly capabilities?: Record<string, boolean>;\n}\n\n// Document family types\nexport interface DocIndex {\n  readonly name: string;\n  readonly keys: Record<string, 'asc' | 'desc'>;\n  readonly unique?: boolean;\n  readonly where?: Expr;\n}\n\nexport type Expr =\n  | { readonly kind: 'eq'; readonly path: ReadonlyArray<string>; readonly value: unknown }\n  | { readonly kind: 'exists'; readonly path: ReadonlyArray<string> };\n\nexport interface DocCollection {\n  readonly name: string;\n  readonly id?: {\n    readonly strategy: 'auto' | 'client' | 'uuid' | 'cuid' | 'objectId';\n  };\n  readonly fields: Record<string, FieldType>;\n  readonly indexes?: ReadonlyArray<DocIndex>;\n  readonly readOnly?: boolean;\n}\n\nexport interface DocumentStorage {\n  readonly document: {\n    readonly collections: Record<string, DocCollection>;\n  };\n}\n\nexport interface DocumentContract extends ContractBase {\n  // Accept string to work with JSON imports; runtime validation ensures 'document'\n  readonly targetFamily: string;\n  readonly storage: DocumentStorage;\n}\n\n// Plan types - target-family agnostic execution types\nexport interface ParamDescriptor {\n  readonly index?: number;\n  readonly name?: string;\n  readonly codecId?: string;\n  readonly nativeType?: string;\n  readonly nullable?: boolean;\n  readonly source: 'dsl' | 'raw';\n  readonly refs?: { table: string; column: string };\n}\n\nexport interface PlanRefs {\n  readonly tables?: readonly string[];\n  readonly columns?: ReadonlyArray<{ table: string; column: string }>;\n  readonly indexes?: ReadonlyArray<{\n    readonly table: string;\n    readonly columns: ReadonlyArray<string>;\n    readonly name?: string;\n  }>;\n}\n\nexport interface PlanMeta {\n  readonly target: string;\n  readonly targetFamily?: string;\n  readonly coreHash: string;\n  readonly profileHash?: string;\n  readonly lane: string;\n  readonly annotations?: {\n    codecs?: Record<string, string>; // alias/param → codec id ('ns/name@v')\n    [key: string]: unknown;\n  };\n  readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;\n  readonly refs?: PlanRefs;\n  readonly projection?: Record<string, string> | ReadonlyArray<string>;\n  /**\n   * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).\n   * Used for codec resolution when AST+refs don't provide enough type info.\n   */\n  readonly projectionTypes?: Record<string, string>;\n}\n\n/**\n * Canonical execution plan shape used by runtimes.\n *\n * - Row is the inferred result row type (TypeScript-only).\n * - Ast is the optional, family-specific AST type (e.g. SQL QueryAst).\n *\n * The payload executed by the runtime is represented by the sql + params pair\n * for now; future families can specialize this via Ast or additional metadata.\n */\nexport interface ExecutionPlan<Row = unknown, Ast = unknown> {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n  readonly ast?: Ast;\n  readonly meta: PlanMeta;\n  /**\n   * Phantom property to carry the Row generic for type-level utilities.\n   * Not set at runtime; used only for ResultType extraction.\n   */\n  readonly _row?: Row;\n}\n\n/**\n * Utility type to extract the Row type from an ExecutionPlan.\n * Example: `type Row = ResultType<typeof plan>`\n *\n * Works with both ExecutionPlan and SqlQueryPlan (SQL query plans before lowering).\n * SqlQueryPlan includes a phantom `_Row` property to preserve the generic parameter\n * for type extraction.\n */\nexport type ResultType<P> = P extends ExecutionPlan<infer R, unknown>\n  ? R\n  : P extends { readonly _Row?: infer R }\n    ? R\n    : never;\n\n/**\n * Type guard to check if a contract is a Document contract\n */\nexport function isDocumentContract(contract: unknown): contract is DocumentContract {\n  return (\n    typeof contract === 'object' &&\n    contract !== null &&\n    'targetFamily' in contract &&\n    contract.targetFamily === 'document'\n  );\n}\n\n/**\n * Contract marker record stored in the database.\n * Represents the current contract identity for a database.\n */\nexport interface ContractMarkerRecord {\n  readonly coreHash: string;\n  readonly profileHash: string;\n  readonly contractJson: unknown | null;\n  readonly canonicalVersion: number | null;\n  readonly updatedAt: Date;\n  readonly appTag: string | null;\n  readonly meta: Record<string, unknown>;\n}\n\n// Emitter types - moved from @prisma-next/emitter to shared location\n/**\n * Specifies how to import TypeScript types from a package.\n * Used in extension pack manifests to declare codec and operation type imports.\n */\nexport interface TypesImportSpec {\n  readonly package: string;\n  readonly named: string;\n  readonly alias: string;\n}\n\n/**\n * Validation context passed to TargetFamilyHook.validateTypes().\n * Contains pre-assembled operation registry, type imports, and extension IDs.\n */\nexport interface ValidationContext {\n  readonly operationRegistry?: OperationRegistry;\n  readonly codecTypeImports?: ReadonlyArray<TypesImportSpec>;\n  readonly operationTypeImports?: ReadonlyArray<TypesImportSpec>;\n  readonly extensionIds?: ReadonlyArray<string>;\n}\n\n/**\n * SPI interface for target family hooks that extend emission behavior.\n * Implemented by family-specific emitter hooks (e.g., SQL family).\n */\nexport interface TargetFamilyHook {\n  readonly id: string;\n\n  /**\n   * Validates that all type IDs in the contract come from referenced extensions.\n   * @param ir - Contract IR to validate\n   * @param ctx - Validation context with operation registry and extension IDs\n   */\n  validateTypes(ir: ContractIR, ctx: ValidationContext): void;\n\n  /**\n   * Validates family-specific contract structure.\n   * @param ir - Contract IR to validate\n   */\n  validateStructure(ir: ContractIR): void;\n\n  /**\n   * Generates contract.d.ts file content.\n   * @param ir - Contract IR\n   * @param codecTypeImports - Array of codec type import specs\n   * @param operationTypeImports - Array of operation type import specs\n   * @returns Generated TypeScript type definitions as string\n   */\n  generateContractTypes(\n    ir: ContractIR,\n    codecTypeImports: ReadonlyArray<TypesImportSpec>,\n    operationTypeImports: ReadonlyArray<TypesImportSpec>,\n  ): string;\n}\n\n// Extension pack manifest types - moved from @prisma-next/core-control-plane to shared location\nexport type ArgSpecManifest =\n  | { readonly kind: 'typeId'; readonly type: string }\n  | { readonly kind: 'param' }\n  | { readonly kind: 'literal' };\n\nexport type ReturnSpecManifest =\n  | { readonly kind: 'typeId'; readonly type: string }\n  | { readonly kind: 'builtin'; readonly type: 'number' | 'boolean' | 'string' };\n\nexport interface LoweringSpecManifest {\n  readonly targetFamily: 'sql';\n  readonly strategy: 'infix' | 'function';\n  readonly template: string;\n}\n\nexport interface OperationManifest {\n  readonly for: string;\n  readonly method: string;\n  readonly args: ReadonlyArray<ArgSpecManifest>;\n  readonly returns: ReturnSpecManifest;\n  readonly lowering: LoweringSpecManifest;\n  readonly capabilities?: ReadonlyArray<string>;\n}\n\nexport interface ExtensionPackManifest {\n  readonly id: string;\n  readonly version: string;\n  readonly targets?: Record<string, { readonly minVersion?: string }>;\n  readonly capabilities?: Record<string, unknown>;\n  readonly types?: {\n    readonly codecTypes?: {\n      readonly import: TypesImportSpec;\n    };\n    readonly operationTypes?: {\n      readonly import: TypesImportSpec;\n    };\n    readonly storage?: readonly {\n      readonly typeId: string;\n      readonly familyId: string;\n      readonly targetId: string;\n      readonly nativeType?: string;\n    }[];\n  };\n  readonly operations?: ReadonlyArray<OperationManifest>;\n}\n\nexport interface ExtensionPack {\n  readonly manifest: ExtensionPackManifest;\n  readonly path: string;\n}\n"],"mappings":";AA8IO,SAAS,mBAAmB,UAAiD;AAClF,SACE,OAAO,aAAa,YACpB,aAAa,QACb,kBAAkB,YAClB,SAAS,iBAAiB;AAE9B;","names":[]}

package/package.json

@@ -1,11 +1,11 @@
 {
   "name": "@prisma-next/contract",
-  "version": "0.1.0-dev.17",
+  "version": "0.1.0-dev.18",
   "type": "module",
   "sideEffects": false,
   "description": "Data contract type definitions and JSON schema for Prisma Next",
   "dependencies": {
-    "@prisma-next/operations": "0.1.0-dev.17"
+    "@prisma-next/operations": "0.1.0-dev.18"
   },
   "devDependencies": {
     "@vitest/coverage-v8": "^2.1.1",
@@ -31,6 +31,10 @@
       "types": "./dist/exports/ir.d.ts",
       "import": "./dist/exports/ir.js"
     },
+    "./framework-components": {
+      "types": "./dist/exports/framework-components.d.ts",
+      "import": "./dist/exports/framework-components.js"
+    },
     "./schema-document": "./schemas/data-contract-document-v1.json"
   },
   "scripts": {