@prisma-next/contract 0.3.0-dev.4 → 0.3.0-dev.5

package/dist/ir.d.ts

@@ -0,0 +1,76 @@
+/**
+ * ContractIR types and factories for building contract intermediate representation.
+ * ContractIR is family-agnostic and used by authoring, emitter, and no-emit runtime.
+ */
+/**
+ * ContractIR represents the intermediate representation of a contract.
+ * It is family-agnostic and contains generic storage, models, and relations.
+ * Note: coreHash and profileHash are computed by the emitter, not part of the IR.
+ */
+export interface ContractIR<TStorage extends Record<string, unknown> = Record<string, unknown>, TModels extends Record<string, unknown> = Record<string, unknown>, TRelations extends Record<string, unknown> = Record<string, unknown>> {
+    readonly schemaVersion: string;
+    readonly targetFamily: string;
+    readonly target: string;
+    readonly models: TModels;
+    readonly relations: TRelations;
+    readonly storage: TStorage;
+    readonly extensionPacks: Record<string, unknown>;
+    readonly capabilities: Record<string, Record<string, boolean>>;
+    readonly meta: Record<string, unknown>;
+    readonly sources: Record<string, unknown>;
+}
+/**
+ * Creates the header portion of a ContractIR.
+ * Contains schema version, target, target family, core hash, and optional profile hash.
+ */
+export declare function irHeader(opts: {
+    target: string;
+    targetFamily: string;
+    coreHash: string;
+    profileHash?: string;
+}): {
+    readonly schemaVersion: string;
+    readonly target: string;
+    readonly targetFamily: string;
+    readonly coreHash: string;
+    readonly profileHash?: string;
+};
+/**
+ * Creates the meta portion of a ContractIR.
+ * Contains capabilities, extensionPacks, meta, and sources with empty object defaults.
+ * If a field is explicitly `undefined`, it will be omitted (for testing validation).
+ */
+export declare function irMeta(opts?: {
+    capabilities?: Record<string, Record<string, boolean>> | undefined;
+    extensionPacks?: Record<string, unknown> | undefined;
+    meta?: Record<string, unknown> | undefined;
+    sources?: Record<string, unknown> | undefined;
+}): {
+    readonly capabilities: Record<string, Record<string, boolean>>;
+    readonly extensionPacks: Record<string, unknown>;
+    readonly meta: Record<string, unknown>;
+    readonly sources: Record<string, unknown>;
+};
+/**
+ * Creates a complete ContractIR by combining header, meta, and family-specific sections.
+ * This is a family-agnostic factory that accepts generic storage, models, and relations.
+ */
+export declare function contractIR<TStorage extends Record<string, unknown>, TModels extends Record<string, unknown>, TRelations extends Record<string, unknown>>(opts: {
+    header: {
+        readonly schemaVersion: string;
+        readonly target: string;
+        readonly targetFamily: string;
+        readonly coreHash: string;
+        readonly profileHash?: string;
+    };
+    meta: {
+        readonly capabilities: Record<string, Record<string, boolean>>;
+        readonly extensionPacks: Record<string, unknown>;
+        readonly meta: Record<string, unknown>;
+        readonly sources: Record<string, unknown>;
+    };
+    storage: TStorage;
+    models: TModels;
+    relations: TRelations;
+}): ContractIR<TStorage, TModels, TRelations>;
+//# sourceMappingURL=ir.d.ts.map

package/dist/ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AACH,MAAM,WAAW,UAAU,CACzB,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAClE,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjE,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAEpE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC3C;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,GAAG;IACF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAQA;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,IAAI,CAAC,EAAE;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;IACnE,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IACrD,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IAC3C,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;CAC/C,GAAG;IACF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC3C,CAOA;AAED;;;GAGG;AACH,wBAAgB,UAAU,CACxB,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACxC,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC1C,IAAI,EAAE;IACN,MAAM,EAAE;QACN,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,IAAI,EAAE;QACJ,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/D,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KAC3C,CAAC;IACF,OAAO,EAAE,QAAQ,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;IAChB,SAAS,EAAE,UAAU,CAAC;CACvB,GAAG,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAW5C"}

package/dist/types.d.ts

@@ -0,0 +1,222 @@
+import type { OperationRegistry } from '@prisma-next/operations';
+import type { ContractIR } from './ir';
+export 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 extensionPacks?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly sources?: Record<string, Source>;
+}
+export interface FieldType {
+    readonly type: string;
+    readonly nullable: boolean;
+    readonly items?: FieldType;
+    readonly properties?: Record<string, FieldType>;
+}
+export interface Source {
+    readonly readOnly: boolean;
+    readonly projection: Record<string, FieldType>;
+    readonly origin?: Record<string, unknown>;
+    readonly capabilities?: Record<string, boolean>;
+}
+export interface DocIndex {
+    readonly name: string;
+    readonly keys: Record<string, 'asc' | 'desc'>;
+    readonly unique?: boolean;
+    readonly where?: Expr;
+}
+export type Expr = {
+    readonly kind: 'eq';
+    readonly path: ReadonlyArray<string>;
+    readonly value: unknown;
+} | {
+    readonly kind: 'exists';
+    readonly path: ReadonlyArray<string>;
+};
+export 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;
+}
+export interface DocumentStorage {
+    readonly document: {
+        readonly collections: Record<string, DocCollection>;
+    };
+}
+export interface DocumentContract extends ContractBase {
+    readonly targetFamily: string;
+    readonly storage: DocumentStorage;
+}
+export 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;
+    };
+}
+export 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;
+    }>;
+}
+export 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.
+ */
+export 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.
+ */
+export 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
+ */
+export declare function isDocumentContract(contract: unknown): contract is DocumentContract;
+/**
+ * Contract marker record stored in the database.
+ * Represents the current contract identity for a database.
+ */
+export 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.
+ */
+export 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.
+ */
+export 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).
+ */
+export interface TargetFamilyHook {
+    readonly id: string;
+    /**
+     * Validates that all type IDs in the contract come from referenced extension packs.
+     * @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;
+}
+export type ArgSpecManifest = {
+    readonly kind: 'typeId';
+    readonly type: string;
+} | {
+    readonly kind: 'param';
+} | {
+    readonly kind: 'literal';
+};
+export type ReturnSpecManifest = {
+    readonly kind: 'typeId';
+    readonly type: string;
+} | {
+    readonly kind: 'builtin';
+    readonly type: 'number' | 'boolean' | 'string';
+};
+export interface LoweringSpecManifest {
+    readonly targetFamily: 'sql';
+    readonly strategy: 'infix' | 'function';
+    readonly template: string;
+}
+export interface OperationManifest {
+    readonly for: string;
+    readonly method: string;
+    readonly args: ReadonlyArray<ArgSpecManifest>;
+    readonly returns: ReturnSpecManifest;
+    readonly lowering: LoweringSpecManifest;
+    readonly capabilities?: ReadonlyArray<string>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,MAAM,CAAC;AAEvC,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CACjD;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjD;AAGD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;CACvB;AAED,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACtF;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;AAEtE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,CAAC,EAAE;QACZ,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC;KACrE,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC3C,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;KACrD,CAAC;CACH;AAED,MAAM,WAAW,gBAAiB,SAAQ,YAAY;IAEpD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CACnC;AAGD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,KAAK,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACnD;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;QAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC,CAAC;CACJ;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE;QACrB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;KACxB,CAAC;IACF,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACrE;;;OAGG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnD;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa,CAAC,GAAG,GAAG,OAAO,EAAE,GAAG,GAAG,OAAO;IACzD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;IACpC,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,GACjE,CAAC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GACnC,CAAC,GACD,KAAK,CAAC;AAEZ;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,OAAO,GAAG,QAAQ,IAAI,gBAAgB,CAOlF;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,OAAO,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACxC;AAGD;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC3D,QAAQ,CAAC,oBAAoB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC/D,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC/C;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAEpB;;;;OAIG;IACH,aAAa,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAE5D;;;OAGG;IACH,iBAAiB,CAAC,EAAE,EAAE,UAAU,GAAG,IAAI,CAAC;IAExC;;;;;;OAMG;IACH,qBAAqB,CACnB,EAAE,EAAE,UAAU,EACd,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,EAChD,oBAAoB,EAAE,aAAa,CAAC,eAAe,CAAC,GACnD,MAAM,CAAC;CACX;AAGD,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEjC,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAA;CAAE,CAAC;AAEjF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,UAAU,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC/C"}

package/package.json

@@ -1,11 +1,11 @@
 {
   "name": "@prisma-next/contract",
-  "version": "0.3.0-dev.4",
+  "version": "0.3.0-dev.5",
   "type": "module",
   "sideEffects": false,
   "description": "Data contract type definitions and JSON schema for Prisma Next",
   "dependencies": {
-    "@prisma-next/operations": "0.3.0-dev.4"
+    "@prisma-next/operations": "0.3.0-dev.5"
   },
   "devDependencies": {
     "@vitest/coverage-v8": "4.0.16",
@@ -16,6 +16,7 @@
   },
   "files": [
     "dist",
+    "src",
     "schemas"
   ],
   "exports": {
@@ -38,7 +39,7 @@
     "./schema-document": "./schemas/data-contract-document-v1.json"
   },
   "scripts": {
-    "build": "tsup --config tsup.config.ts",
+    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
     "test": "vitest run --passWithNoTests",
     "test:coverage": "vitest run --coverage --passWithNoTests",
     "typecheck": "tsc --project tsconfig.json --noEmit",

package/src/exports/framework-components.ts

@@ -0,0 +1,26 @@
+export type {
+  // Descriptors
+  AdapterDescriptor,
+  // Instances
+  AdapterInstance,
+  AdapterPackRef,
+  ComponentDescriptor,
+  ComponentMetadata,
+  ContractComponentRequirementsCheckInput,
+  ContractComponentRequirementsCheckResult,
+  DriverDescriptor,
+  DriverInstance,
+  DriverPackRef,
+  ExtensionDescriptor,
+  ExtensionInstance,
+  ExtensionPackRef,
+  FamilyDescriptor,
+  FamilyInstance,
+  PackRefBase,
+  TargetBoundComponentDescriptor,
+  TargetDescriptor,
+  TargetInstance,
+  TargetPackRef,
+} from '../framework-components';
+
+export { checkContractComponentRequirements } from '../framework-components';

package/src/exports/ir.ts

@@ -0,0 +1 @@
+export * from '../ir';

package/src/exports/pack-manifest-types.ts

@@ -0,0 +1,6 @@
+export type {
+  ArgSpecManifest,
+  LoweringSpecManifest,
+  OperationManifest,
+  ReturnSpecManifest,
+} from '../types';

package/src/exports/types.ts

@@ -0,0 +1,26 @@
+// Shared types
+// Document family types
+// Plan types - target-family agnostic execution types
+// Emitter types (moved from @prisma-next/emitter)
+export type {
+  ContractBase,
+  ContractMarkerRecord,
+  DocCollection,
+  DocIndex,
+  DocumentContract,
+  DocumentStorage,
+  ExecutionPlan,
+  Expr,
+  FieldType,
+  OperationManifest,
+  ParamDescriptor,
+  PlanMeta,
+  PlanRefs,
+  ResultType,
+  Source,
+  TargetFamilyHook,
+  TypesImportSpec,
+  ValidationContext,
+} from '../types';
+// Type guards
+export { isDocumentContract } from '../types';