@prisma-next/contract 0.3.0-dev.26 → 0.3.0-dev.28

package/dist/framework-components.d.ts

@@ -1,516 +0,0 @@
-import type { OperationManifest, TypesImportSpec } from './types';
-/**
- * Context passed to type renderers during contract.d.ts generation.
- */
-export interface RenderTypeContext {
-    /** The name of the CodecTypes type alias (typically 'CodecTypes') */
-    readonly codecTypesName: string;
-}
-/**
- * A template-based type renderer (structured form).
- * Uses mustache-style placeholders (e.g., `Vector<{{length}}>`) that are
- * replaced with typeParams values during rendering.
- *
- * @example
- * ```ts
- * { kind: 'template', template: 'Vector<{{length}}>' }
- * // With typeParams { length: 1536 }, renders: 'Vector<1536>'
- * ```
- */
-export interface TypeRendererTemplate {
-    readonly kind: 'template';
-    /** Template string with `{{key}}` placeholders for typeParams values */
-    readonly template: string;
-}
-/**
- * A function-based type renderer for full control over type expression generation.
- *
- * @example
- * ```ts
- * {
- *   kind: 'function',
- *   render: (params, ctx) => `Vector<${params.length}>`
- * }
- * ```
- */
-export interface TypeRendererFunction {
-    readonly kind: 'function';
-    /** Render function that produces a TypeScript type expression */
-    readonly render: (params: Record<string, unknown>, ctx: RenderTypeContext) => string;
-}
-/**
- * A raw template string type renderer (convenience form).
- * Shorthand for TypeRendererTemplate - just the template string without wrapper.
- *
- * @example
- * ```ts
- * 'Vector<{{length}}>'
- * // Equivalent to: { kind: 'template', template: 'Vector<{{length}}>' }
- * ```
- */
-export type TypeRendererString = string;
-/**
- * A raw function type renderer (convenience form).
- * Shorthand for TypeRendererFunction - just the function without wrapper.
- *
- * @example
- * ```ts
- * (params, ctx) => `Vector<${params.length}>`
- * // Equivalent to: { kind: 'function', render: ... }
- * ```
- */
-export type TypeRendererRawFunction = (params: Record<string, unknown>, ctx: RenderTypeContext) => string;
-/**
- * Union of type renderer formats.
- *
- * Supports both structured forms (with `kind` discriminator) and convenience forms:
- * - `string` - Template string with `{{key}}` placeholders (manifest-safe, JSON-serializable)
- * - `function` - Render function for full control (requires runtime execution)
- * - `{ kind: 'template', template: string }` - Structured template form
- * - `{ kind: 'function', render: fn }` - Structured function form
- *
- * Templates are normalized to functions during pack assembly.
- * **Prefer template strings** for most cases - they are JSON-serializable.
- */
-export type TypeRenderer = TypeRendererString | TypeRendererRawFunction | TypeRendererTemplate | TypeRendererFunction;
-/**
- * Normalized type renderer - always a function after assembly.
- * This is the form received by the emitter.
- */
-export interface NormalizedTypeRenderer {
-    readonly codecId: string;
-    readonly render: (params: Record<string, unknown>, ctx: RenderTypeContext) => string;
-}
-/**
- * Interpolates a template string with params values.
- * Used internally by normalizeRenderer to compile templates to functions.
- *
- * @throws Error if a placeholder key is not found in params (except 'CodecTypes')
- */
-export declare function interpolateTypeTemplate(template: string, params: Record<string, unknown>, ctx: RenderTypeContext): string;
-/**
- * Normalizes a TypeRenderer to function form.
- * Called during pack assembly, not at emission time.
- *
- * Handles all TypeRenderer forms:
- * - Raw string template: `'Vector<{{length}}>'`
- * - Raw function: `(params, ctx) => ...`
- * - Structured template: `{ kind: 'template', template: '...' }`
- * - Structured function: `{ kind: 'function', render: fn }`
- */
-export declare function normalizeRenderer(codecId: string, renderer: TypeRenderer): NormalizedTypeRenderer;
-/**
- * Declarative fields that describe component metadata.
- * These fields are owned directly by descriptors (not nested under a manifest).
- */
-export interface ComponentMetadata {
-    /** Component version (semver) */
-    readonly version: string;
-    /**
-     * Capabilities this component provides.
-     *
-     * For adapters, capabilities must be declared on the adapter descriptor (so they are emitted into
-     * the contract) and also exposed in runtime adapter code (e.g. `adapter.profile.capabilities`);
-     * keep these declarations in sync. Targets are identifiers/descriptors and typically do not
-     * declare capabilities.
-     */
-    readonly capabilities?: Record<string, unknown>;
-    /** Type imports for contract.d.ts generation */
-    readonly types?: {
-        readonly codecTypes?: {
-            readonly import: TypesImportSpec;
-            /**
-             * Optional renderers for parameterized codecs owned by this component.
-             * Key is codecId (e.g., 'pg/vector@1'), value is the type renderer.
-             *
-             * Templates are normalized to functions during pack assembly.
-             * Duplicate codecId across descriptors is a hard error.
-             */
-            readonly parameterized?: Record<string, TypeRenderer>;
-        };
-        readonly operationTypes?: {
-            readonly import: TypesImportSpec;
-        };
-        readonly storage?: ReadonlyArray<{
-            readonly typeId: string;
-            readonly familyId: string;
-            readonly targetId: string;
-            readonly nativeType?: string;
-        }>;
-    };
-    /** Operation manifests for building operation registries */
-    readonly operations?: ReadonlyArray<OperationManifest>;
-}
-/**
- * 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.version  // Component version (semver)
- * ```
- */
-export interface ComponentDescriptor<Kind extends string> extends ComponentMetadata {
-    /** Discriminator identifying the component type */
-    readonly kind: Kind;
-    /** Unique identifier for this component (e.g., 'sql', 'postgres', 'pgvector') */
-    readonly id: string;
-}
-export interface ContractComponentRequirementsCheckInput {
-    readonly contract: {
-        readonly target: string;
-        readonly targetFamily?: string | undefined;
-        readonly extensionPacks?: Record<string, unknown> | undefined;
-    };
-    readonly expectedTargetFamily?: string | undefined;
-    readonly expectedTargetId?: string | undefined;
-    readonly providedComponentIds: Iterable<string>;
-}
-export interface ContractComponentRequirementsCheckResult {
-    readonly familyMismatch?: {
-        readonly expected: string;
-        readonly actual: string;
-    } | undefined;
-    readonly targetMismatch?: {
-        readonly expected: string;
-        readonly actual: string;
-    } | undefined;
-    readonly missingExtensionPackIds: readonly string[];
-}
-export declare function checkContractComponentRequirements(input: ContractComponentRequirementsCheckInput): ContractComponentRequirementsCheckResult;
-/**
- * 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'
- * ```
- */
-export 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)
- *
- * 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'
- * ```
- */
-export 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;
-}
-/**
- * Base shape for any pack reference.
- * Pack refs are pure JSON-friendly objects safe to import in authoring flows.
- */
-export interface PackRefBase<Kind extends string, TFamilyId extends string> extends ComponentMetadata {
-    readonly kind: Kind;
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId?: string;
-}
-export type TargetPackRef<TFamilyId extends string = string, TTargetId extends string = string> = PackRefBase<'target', TFamilyId> & {
-    readonly targetId: TTargetId;
-};
-export type AdapterPackRef<TFamilyId extends string = string, TTargetId extends string = string> = PackRefBase<'adapter', TFamilyId> & {
-    readonly targetId: TTargetId;
-};
-export type ExtensionPackRef<TFamilyId extends string = string, TTargetId extends string = string> = PackRefBase<'extension', TFamilyId> & {
-    readonly targetId: TTargetId;
-};
-export type DriverPackRef<TFamilyId extends string = string, TTargetId extends string = string> = PackRefBase<'driver', TFamilyId> & {
-    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'
- * ```
- */
-export 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'
- * ```
- */
-export 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'
- * ```
- */
-export 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;
-}
-/**
- * Union type for target-bound component descriptors.
- *
- * Target-bound components are those that must be compatible with a specific
- * family+target combination. This includes targets, adapters, drivers, and
- * extensions. Families are not target-bound.
- *
- * This type is used in migration and verification interfaces to enforce
- * type-level compatibility between components.
- *
- * @template TFamilyId - Literal type for the family identifier
- * @template TTargetId - Literal type for the target identifier
- *
- * @example
- * ```ts
- * // All these components must have matching familyId and targetId
- * const components: TargetBoundComponentDescriptor<'sql', 'postgres'>[] = [
- *   postgresTarget,
- *   postgresAdapter,
- *   postgresDriver,
- *   pgvectorExtension,
- * ];
- * ```
- */
-export type TargetBoundComponentDescriptor<TFamilyId extends string, TTargetId extends string> = TargetDescriptor<TFamilyId, TTargetId> | AdapterDescriptor<TFamilyId, TTargetId> | DriverDescriptor<TFamilyId, TTargetId> | ExtensionDescriptor<TFamilyId, 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'
- * ```
- */
-export 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'
- * ```
- */
-export 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'
- * ```
- */
-export 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'
- * ```
- */
-export 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'
- * ```
- */
-export 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;
-}
-//# sourceMappingURL=framework-components.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"framework-components.d.ts","sourceRoot":"","sources":["../src/framework-components.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAiBlE;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,iBAAiB,KAAK,MAAM,CAAC;CACtF;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAExC;;;;;;;;;GASG;AACH,MAAM,MAAM,uBAAuB,GAAG,CACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,GAAG,EAAE,iBAAiB,KACnB,MAAM,CAAC;AAEZ;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,YAAY,GACpB,kBAAkB,GAClB,uBAAuB,GACvB,oBAAoB,GACpB,oBAAoB,CAAC;AAEzB;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,iBAAiB,KAAK,MAAM,CAAC;CACtF;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,GAAG,EAAE,iBAAiB,GACrB,MAAM,CAYR;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,GAAG,sBAAsB,CAyBjG;AA+BD;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB;;;;;;;OAOG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEhD,gDAAgD;IAChD,QAAQ,CAAC,KAAK,CAAC,EAAE;QACf,QAAQ,CAAC,UAAU,CAAC,EAAE;YACpB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;YACjC;;;;;;eAMG;YACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;SACvD,CAAC;QACF,QAAQ,CAAC,cAAc,CAAC,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;SAAE,CAAC;QAC/D,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;YAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;YACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;SAC9B,CAAC,CAAC;KACJ,CAAC;IAEF,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACxD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,mBAAmB,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,iBAAiB;IACjF,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAEpB,iFAAiF;IACjF,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uCAAuC;IACtD,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAC3C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;KAC/D,CAAC;IACF,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACjD;AAED,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,cAAc,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAC7F,QAAQ,CAAC,cAAc,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAC7F,QAAQ,CAAC,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAC;CACrD;AAED,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,uCAAuC,GAC7C,wCAAwC,CAgC1C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,WAAW,gBAAgB,CAAC,SAAS,SAAS,MAAM,CAAE,SAAQ,mBAAmB,CAAC,QAAQ,CAAC;IAC/F,sDAAsD;IACtD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,WAAW,gBAAgB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CAClF,SAAQ,mBAAmB,CAAC,QAAQ,CAAC;IACrC,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE7B,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW,CAAC,IAAI,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CACxE,SAAQ,iBAAiB;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,MAAM,aAAa,CACvB,SAAS,SAAS,MAAM,GAAG,MAAM,EACjC,SAAS,SAAS,MAAM,GAAG,MAAM,IAC/B,WAAW,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG;IACrC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,cAAc,CACxB,SAAS,SAAS,MAAM,GAAG,MAAM,EACjC,SAAS,SAAS,MAAM,GAAG,MAAM,IAC/B,WAAW,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAC1B,SAAS,SAAS,MAAM,GAAG,MAAM,EACjC,SAAS,SAAS,MAAM,GAAG,MAAM,IAC/B,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,aAAa,CACvB,SAAS,SAAS,MAAM,GAAG,MAAM,EACjC,SAAS,SAAS,MAAM,GAAG,MAAM,IAC/B,WAAW,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG;IACrC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,iBAAiB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CACnF,SAAQ,mBAAmB,CAAC,SAAS,CAAC;IACtC,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE7B,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,WAAW,gBAAgB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CAClF,SAAQ,mBAAmB,CAAC,QAAQ,CAAC;IACrC,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE7B,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,WAAW,mBAAmB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CACrF,SAAQ,mBAAmB,CAAC,WAAW,CAAC;IACxC,2CAA2C;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE7B,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,8BAA8B,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,IACzF,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,GACtC,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC,GACvC,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,GACtC,mBAAmB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AAa9C;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,cAAc,CAAC,SAAS,SAAS,MAAM;IACtD,sDAAsD;IACtD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,cAAc,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM;IAChF,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE7B,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,eAAe,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM;IACjF,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE7B,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,cAAc,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM;IAChF,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE7B,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,iBAAiB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM;IACnF,2CAA2C;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE7B,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B"}

package/dist/ir.d.ts

@@ -1,76 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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"}