@fastpaca/cria 1.4.0 → 1.6.0

package/dist/types.d.ts

@@ -1,231 +1,237 @@
-import { z } from "zod";
 /**
- * Message role used by semantic `kind: "message"` regions.
+ * Prompt pipeline mental model (authoritative + opinionated):
  *
- * This is intentionally compatible with common LLM SDKs (system/user/assistant/tool),
- * while still allowing custom roles for bespoke targets.
+ * Fluent DSL
+ *    |
+ *    v
+ * PromptTree  (scopes + message leaves)
+ *    |
+ *    v
+ * PromptLayout (flat, role-shaped messages)
+ *    |
+ *    v
+ * RenderOut (provider payloads)
+ *
+ * Why this shape?
+ * - Scopes exist for compaction/strategy. They are structural only.
+ * - Messages are semantic boundaries. They are leaf nodes and only hold parts.
+ * - Parts are the smallest typed units (text/reasoning/tool-call/tool-result).
+ *
+ * PromptLayout intentionally normalizes message shapes so codecs do NOT
+ * re-interpret parts or re-check invariants. Some providers (AI SDK, Anthropic)
+ * require a parts array, so codecs re-expand assistant/tool data back into
+ * parts. That is a translation step for provider compatibility, not a loop in
+ * the core model.
+ */
+import type { ModelProvider } from "./provider";
+/**
+ * Message role used by semantic `kind: "message"` nodes.
+ *
+ * This is intentionally compatible with common LLM SDKs
+ * (system/developer/user/assistant/tool).
  */
-export declare const PromptRoleSchema: z.ZodString;
-export type PromptRole = z.infer<typeof PromptRoleSchema>;
+export type PromptRole = "system" | "developer" | "user" | "assistant" | "tool";
 /**
- * A model provider that can generate completions.
+ * Provider-specific tool IO contract.
  *
- * This abstraction allows Cria components to call AI models without
- * being coupled to a specific SDK. Each provider specifies its own
- * rendered message type (e.g., AI SDK's ModelMessage[], OpenAI's
- * ChatCompletionMessageParam[]).
+ * Each provider pins the concrete types used for tool-call inputs and
+ * tool-result outputs. Those types flow through the prompt tree and layout so
+ * codecs can translate without defensive serialization later.
  */
-export interface ModelProvider<TRendered> {
-    /** Provider identifier for debugging */
-    name: string;
-    /**
-     * Tokenizer for this provider's model.
-     *
-     * Used for budget fitting when the caller doesn't pass a tokenizer directly.
-     * Providers should supply an estimate that matches the chosen model; callers
-     * can still override via render options.
-     */
-    tokenizer?: Tokenizer;
-    /** Renderer that produces provider-specific prompt input. */
-    renderer: PromptRenderer<TRendered>;
-    /** Generate a text completion from rendered prompt input. */
-    completion(rendered: TRendered): MaybePromise<string>;
-    /**
-     * Generate a structured object validated against the schema.
-     *
-     * Implementations should use native structured output when available
-     * (e.g., AI SDK's generateObject, OpenAI's json_schema response_format),
-     * falling back to completion + JSON.parse + schema.parse internally.
-     */
-    object<T>(rendered: TRendered, schema: z.ZodType<T>): MaybePromise<T>;
+export interface ProviderToolIO {
+    callInput: unknown;
+    resultOutput: unknown;
 }
+/**
+ * Tool IO for an unbound prompt.
+ *
+ * If a prompt has no provider, tool IO is "never" so tool parts cannot be
+ * constructed until a provider supplies the IO contract. This avoids runtime
+ * checks by pushing the constraint into the type system.
+ */
+interface UnboundToolIO {
+    callInput: never;
+    resultOutput: never;
+}
+/**
+ * Resolve the tool IO contract for a given provider type.
+ *
+ * This is the bridge between a provider binding and the rest of the DSL:
+ * it extracts the provider's tool IO types so parts/messages/layouts carry
+ * the correct shapes end-to-end.
+ */
+export type ToolIOForProvider<P> = P extends ModelProvider<unknown, infer TToolIO> ? TToolIO : UnboundToolIO;
+type ToolCallInput<TToolIO extends ProviderToolIO> = TToolIO["callInput"];
+type ToolResultOutput<TToolIO extends ProviderToolIO> = TToolIO["resultOutput"];
 /**
  * Context that can be provided through the component tree.
  *
- * Provider scopes inject context that child components can access during
- * rendering and strategy execution.
+ * Provider scopes inject context so children inherit the same provider binding
+ * and tool IO contract during rendering and strategy execution.
  */
 export interface CriaContext {
     /** Model provider for AI-powered operations */
-    provider?: ModelProvider<unknown> | undefined;
+    provider?: ModelProvider<unknown, ProviderToolIO> | undefined;
 }
 export type MaybePromise<T> = T | Promise<T>;
 /**
- * A function that counts tokens in a string.
- * Cria doesn't bundle a tokenizer. You provide one.
+ * Content parts that appear as leaf nodes in message nodes.
  *
- * @example
- * ```typescript
- * import { encoding_for_model } from "tiktoken";
- *
- * const enc = encoding_for_model("gpt-4");
- * const tokenizer: Tokenizer = (text) => enc.encode(text).length;
- * ```
+ * Tool parts directly embed provider-native input/output shapes, so a bound
+ * provider determines their types without runtime validation.
  */
-export type Tokenizer = (text: string) => number;
-export declare const PromptKindSchema: z.ZodUnion<[z.ZodObject<{
-    kind: z.ZodOptional<z.ZodUndefined>;
-}, "strip", z.ZodTypeAny, {
-    kind?: undefined;
-}, {
-    kind?: undefined;
-}>, z.ZodObject<{
-    kind: z.ZodLiteral<"message">;
-    role: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    kind: "message";
-    role: string;
-}, {
-    kind: "message";
-    role: string;
-}>, z.ZodObject<{
-    kind: z.ZodLiteral<"tool-call">;
-    toolCallId: z.ZodString;
-    toolName: z.ZodString;
-    input: z.ZodUnknown;
-}, "strip", z.ZodTypeAny, {
-    kind: "tool-call";
+export interface ToolCallPart<TToolIO extends ProviderToolIO = ProviderToolIO> {
+    type: "tool-call";
     toolCallId: string;
     toolName: string;
-    input?: unknown;
-}, {
-    kind: "tool-call";
-    toolCallId: string;
-    toolName: string;
-    input?: unknown;
-}>, z.ZodObject<{
-    kind: z.ZodLiteral<"tool-result">;
-    toolCallId: z.ZodString;
-    toolName: z.ZodString;
-    output: z.ZodUnknown;
-}, "strip", z.ZodTypeAny, {
-    kind: "tool-result";
-    toolCallId: string;
-    toolName: string;
-    output?: unknown;
-}, {
-    kind: "tool-result";
+    input: ToolCallInput<TToolIO>;
+}
+export interface ToolResultPart<TToolIO extends ProviderToolIO = ProviderToolIO> {
+    type: "tool-result";
     toolCallId: string;
     toolName: string;
-    output?: unknown;
-}>, z.ZodObject<{
-    kind: z.ZodLiteral<"reasoning">;
-    text: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    kind: "reasoning";
+    output: ToolResultOutput<TToolIO>;
+}
+/**
+ * The smallest typed units used inside messages.
+ *
+ * Keeping tool IO typed at the part level forces every higher-level structure
+ * (messages/layout/tree) to stay provider-consistent.
+ */
+export type PromptPart<TToolIO extends ProviderToolIO = ProviderToolIO> = {
+    type: "text";
     text: string;
-}, {
-    kind: "reasoning";
+} | {
+    type: "reasoning";
     text: string;
-}>]>;
-export type PromptKind = z.infer<typeof PromptKindSchema>;
-export type PromptNodeKind = PromptKind["kind"];
-export interface PromptElementBase {
+} | ToolCallPart<TToolIO> | ToolResultPart<TToolIO>;
+/** Convenience type for reasoning parts in a typed prompt. */
+export type ReasoningPart<TToolIO extends ProviderToolIO = ProviderToolIO> = Extract<PromptPart<TToolIO>, {
+    type: "reasoning";
+}>;
+/** Convenience type for text parts in a typed prompt. */
+export type TextPart<TToolIO extends ProviderToolIO = ProviderToolIO> = Extract<PromptPart<TToolIO>, {
+    type: "text";
+}>;
+/**
+ * Structural scope node in the prompt tree.
+ *
+ * Scopes group messages for composition and compaction while keeping the tool
+ * IO types consistent across all descendants.
+ */
+export interface PromptScope<TToolIO extends ProviderToolIO = ProviderToolIO> {
+    kind: "scope";
     priority: number;
     strategy?: Strategy | undefined;
     id?: string | undefined;
     context?: CriaContext | undefined;
-    children: PromptChildren;
+    children: readonly PromptNode<TToolIO>[];
 }
-export type PromptElement = (PromptElementBase & {
-    kind?: undefined;
-}) | (PromptElementBase & {
+/**
+ * Message boundary node in the prompt tree.
+ *
+ * A message node is role-shaped and contains parts that already carry the
+ * provider-bound tool IO types.
+ */
+export interface PromptMessageNode<TToolIO extends ProviderToolIO = ProviderToolIO> {
     kind: "message";
     role: PromptRole;
-}) | (PromptElementBase & {
-    kind: "tool-call";
-    toolCallId: string;
-    toolName: string;
-    input: unknown;
-}) | (PromptElementBase & {
-    kind: "tool-result";
-    toolCallId: string;
-    toolName: string;
-    output: unknown;
-}) | (PromptElementBase & {
-    kind: "reasoning";
-    text: string;
-});
-export type PromptChild = string | PromptElement;
-export type PromptChildren = PromptChild[];
-export declare const PromptElementSchema: z.ZodType<PromptElement>;
-export declare const PromptChildSchema: z.ZodType<PromptChild>;
-export declare const PromptChildrenSchema: z.ZodType<PromptChildren>;
+    id?: string | undefined;
+    children: readonly PromptPart<TToolIO>[];
+}
 /**
- * A renderer that converts a fitted prompt tree into an output format.
+ * Nodes in the prompt tree.
  *
- * Renderers are used for two things:
- * - **Token accounting / fitting** via `tokenString` (a stable string projection)
- * - **Final output** via `render` (can be async, and can produce any type)
+ * Scopes provide structure and strategy boundaries. Message nodes are the
+ * semantic leaves that carry typed parts. The generic parameter ensures tool
+ * IO types stay consistent across the entire tree.
+ */
+export type PromptNode<TToolIO extends ProviderToolIO = ProviderToolIO> = PromptScope<TToolIO> | PromptMessageNode<TToolIO>;
+/**
+ * Root prompt tree type.
  *
- * @template TOutput - The produced output type (e.g. `string`, `ModelMessage[]`, etc.).
+ * The root is always a scope so strategies can operate at the top level while
+ * preserving the provider-bound tool IO types for all descendants.
  */
-export interface PromptRenderer<TOutput> {
-    /** A short identifier for debugging/observability. */
-    name: string;
-    /**
-     * A deterministic string projection of the prompt tree used for token counting.
-     *
-     * Important properties:
-     * - **Pure / deterministic**: same tree => same string
-     * - **Cheap**: called frequently during fitting
-     * - **Representative**: should correlate with what `render()` produces (especially for string targets)
-     *
-     * For structured targets (e.g. AI SDK messages), this can be a markdown-ish projection
-     * that approximates the effective prompt content for token budgeting.
-     */
-    tokenString: (element: PromptElement) => string;
-    /**
-     * Render the fitted prompt tree to the target output.
-     *
-     * May be async (e.g. when a renderer needs to fetch/resolve attachments, or when
-     * strategies summarized content during fitting).
-     */
-    render: (element: PromptElement) => MaybePromise<TOutput>;
-    /**
-     * The “empty” value for this renderer.
-     *
-     * Used when the budget is <= 0, or when strategies remove the entire tree.
-     */
-    empty: () => TOutput;
+export type PromptTree<TToolIO extends ProviderToolIO = ProviderToolIO> = PromptScope<TToolIO>;
+/** Shorthand for scope children with a shared tool IO contract. */
+export type ScopeChildren<TToolIO extends ProviderToolIO = ProviderToolIO> = readonly PromptNode<TToolIO>[];
+/** Shorthand for message children with a shared tool IO contract. */
+export type MessageChildren<TToolIO extends ProviderToolIO = ProviderToolIO> = readonly PromptPart<TToolIO>[];
+/** System messages are plain text and carry no tool information. */
+export interface SystemMessage {
+    role: "system";
+    text: string;
+}
+/** Developer messages are plain text and carry no tool information. */
+export interface DeveloperMessage {
+    role: "developer";
+    text: string;
+}
+/** User messages are plain text and carry no tool information. */
+export interface UserMessage {
+    role: "user";
+    text: string;
 }
 /**
- * Canonical normalized child node type stored in the IR.
+ * Assistant messages can include reasoning and tool calls in addition to text.
+ * Tool call inputs are typed by the provider binding.
+ */
+export interface AssistantMessage<TToolIO extends ProviderToolIO = ProviderToolIO> {
+    role: "assistant";
+    text: string;
+    reasoning?: string | undefined;
+    toolCalls?: readonly ToolCallPart<TToolIO>[] | undefined;
+}
+/**
+ * Tool messages represent a single tool result with provider-typed output.
+ */
+export interface ToolMessage<TToolIO extends ProviderToolIO = ProviderToolIO> {
+    role: "tool";
+    toolCallId: string;
+    toolName: string;
+    output: ToolResultOutput<TToolIO>;
+}
+/**
+ * PromptLayout is a list of fully-shaped messages. The union is deliberate:
+ * - Assistant messages can include reasoning/toolCalls.
+ * - Tool messages are singular tool results with call metadata.
+ * - System/User messages are text-only.
+ * This keeps invalid combinations out of the layout by construction.
+ *
+ * The layout is the normalized form that codecs consume. It is produced by
+ * flattening the prompt tree and should not require further validation.
+ */
+export type PromptMessage<TToolIO extends ProviderToolIO = ProviderToolIO> = SystemMessage | DeveloperMessage | UserMessage | AssistantMessage<TToolIO> | ToolMessage<TToolIO>;
+/** Flat, role-shaped message list used by codecs and token counting. */
+export type PromptLayout<TToolIO extends ProviderToolIO = ProviderToolIO> = readonly PromptMessage<TToolIO>[];
+/**
+ * Result of applying a strategy to a scope.
  *
- * This is the only type you’ll find inside `PromptElement.children` after child normalization.
+ * Returning null means "drop this scope entirely".
  */
-export type JsonValue = null | string | number | boolean | JsonValue[] | {
-    [key: string]: JsonValue;
-};
-export declare const JsonValueSchema: z.ZodType<JsonValue>;
-export type StrategyResult = PromptElement | null;
+export type StrategyResult<TToolIO extends ProviderToolIO = ProviderToolIO> = PromptScope<TToolIO> | null;
 /**
  * Context passed to strategy functions during the fit loop.
  *
- * @property target - The specific region to reduce
- * @property budget - The total token budget we're trying to fit within
- * @property tokenizer - Function to count tokens in a string
- * @property tokenString - Renderer-provided projection used for token counting
+ * @property target - The specific scope to reduce
  * @property totalTokens - Current total token count for the prompt
  * @property iteration - Which iteration of the fit loop (for debugging)
  * @property context - Inherited context from ancestor provider components
  */
-export interface StrategyInput {
-    target: PromptElement;
-    budget: number;
-    tokenizer: Tokenizer;
-    tokenString: (element: PromptElement) => string;
+export interface StrategyInput<TToolIO extends ProviderToolIO = ProviderToolIO> {
+    target: PromptScope<TToolIO>;
     totalTokens: number;
     iteration: number;
     /** Context inherited from ancestor provider components */
     context: CriaContext;
 }
 /**
- * A Strategy function that rewrites a region subtree when the prompt is over budget.
+ * A Strategy function that rewrites a scope subtree when the prompt is over budget.
  *
  * Strategies are applied during fitting, starting from the least important
  * priority (highest number). Strategies run **bottom-up** (post-order) so nested
- * regions get a chance to shrink before their parents.
+ * scopes get a chance to shrink before their parents.
  *
  * Strategies must be:
  * - **Pure**: don't mutate the input element
@@ -234,11 +240,16 @@ export interface StrategyInput {
  *
  * Strategies have full ownership of their subtree: they can replace the element
  * and/or rewrite any children.
+ *
+ * The generic parameter ensures strategies preserve the tool IO contract
+ * instead of re-shaping it.
  */
-export type Strategy = (input: StrategyInput) => MaybePromise<StrategyResult>;
+export type Strategy = <TToolIO extends ProviderToolIO>(input: StrategyInput<TToolIO>) => MaybePromise<StrategyResult<TToolIO>>;
 /**
  * Error thrown when the prompt cannot be fit within the budget.
  *
+ * This is a standard error that should be caught and handled by the caller.
+ *
  * This happens when:
  * - No strategies remain but still over budget
  * - Strategies made no progress (possible infinite loop)
@@ -261,4 +272,5 @@ export declare class FitError extends Error {
         totalTokens: number;
     });
 }
+export {};
 //# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,aAI1B,CAAC;AACJ,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa,CAAC,SAAS;IACtC,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IAEb;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,SAAS,CAAC;IAEtB,6DAA6D;IAC7D,QAAQ,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IAEpC,6DAA6D;IAC7D,UAAU,CAAC,QAAQ,EAAE,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAEtD;;;;;;OAMG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;CACvE;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;CAC/C;AAGD,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE7C;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;AA+BjD,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM3B,CAAC;AAEH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAC1D,MAAM,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAiBhD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;IAChC,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxB,OAAO,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,MAAM,aAAa,GACrB,CAAC,iBAAiB,GAAG;IAAE,IAAI,CAAC,EAAE,SAAS,CAAA;CAAE,CAAC,GAC1C,CAAC,iBAAiB,GAAG;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,GAC3D,CAAC,iBAAiB,GAAG;IACnB,IAAI,EAAE,WAAW,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC,GACF,CAAC,iBAAiB,GAAG;IACnB,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACjB,CAAC,GACF,CAAC,iBAAiB,GAAG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE9D,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,aAAa,CAAC;AACjD,MAAM,MAAM,cAAc,GAAG,WAAW,EAAE,CAAC;AAW3C,eAAO,MAAM,mBAAmB,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAyC5B,CAAC;AAE9B,eAAO,MAAM,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAGzB,CAAC;AAE7B,eAAO,MAAM,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAE7B,CAAC;AAE/B;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc,CAAC,OAAO;IACrC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IAEb;;;;;;;;;;OAUG;IACH,WAAW,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,MAAM,CAAC;IAEhD;;;;;OAKG;IACH,MAAM,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC;IAE1D;;;;OAIG;IACH,KAAK,EAAE,MAAM,OAAO,CAAC;CACtB;AAED;;;;GAIG;AACH,MAAM,MAAM,SAAS,GACjB,IAAI,GACJ,MAAM,GACN,MAAM,GACN,OAAO,GACP,SAAS,EAAE,GACX;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEjC,eAAO,MAAM,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAShD,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,aAAa,GAAG,IAAI,CAAC;AAElD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,SAAS,CAAC;IACrB,WAAW,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,MAAM,CAAC;IAChD,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,0DAA0D;IAC1D,OAAO,EAAE,WAAW,CAAC;CACtB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,aAAa,KAAK,YAAY,CAAC,cAAc,CAAC,CAAC;AAE9E;;;;;;;;;;GAUG;AACH,qBAAa,QAAS,SAAQ,KAAK;IACjC,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;gBAER,MAAM,EAAE;QAClB,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,CAAC;KACrB;CAYF"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAAC;AAEhF;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;GAMG;AACH,UAAU,aAAa;IACrB,SAAS,EAAE,KAAK,CAAC;IACjB,YAAY,EAAE,KAAK,CAAC;CACrB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAC7B,CAAC,SAAS,aAAa,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,GAAG,OAAO,GAAG,aAAa,CAAC;AAG5E,KAAK,aAAa,CAAC,OAAO,SAAS,cAAc,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC;AAC1E,KAAK,gBAAgB,CAAC,OAAO,SAAS,cAAc,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC;AAEhF;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,cAAc,CAAC,GAAG,SAAS,CAAC;CAC/D;AAGD,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,WAAW,YAAY,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc;IAC3E,IAAI,EAAE,WAAW,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc,CAC7B,OAAO,SAAS,cAAc,GAAG,cAAc;IAE/C,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC;CACnC;AAED;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IAClE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnC,YAAY,CAAC,OAAO,CAAC,GACrB,cAAc,CAAC,OAAO,CAAC,CAAC;AAE5B,8DAA8D;AAC9D,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IACvE,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC;AACtD,yDAAyD;AACzD,MAAM,MAAM,QAAQ,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IAAI,OAAO,CAC7E,UAAU,CAAC,OAAO,CAAC,EACnB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CACjB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,WAAW,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc;IAC1E,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;IAChC,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxB,OAAO,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,QAAQ,EAAE,SAAS,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;CAC1C;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAChC,OAAO,SAAS,cAAc,GAAG,cAAc;IAE/C,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,UAAU,CAAC;IACjB,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxB,QAAQ,EAAE,SAAS,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;CAC1C;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IAClE,WAAW,CAAC,OAAO,CAAC,GACpB,iBAAiB,CAAC,OAAO,CAAC,CAAC;AAE/B;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IACpE,WAAW,CAAC,OAAO,CAAC,CAAC;AAEvB,mEAAmE;AACnE,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IACvE,SAAS,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;AACjC,qEAAqE;AACrE,MAAM,MAAM,eAAe,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IACzE,SAAS,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;AAEjC,oEAAoE;AACpE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,uEAAuE;AACvE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,kEAAkE;AAClE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB,CAC/B,OAAO,SAAS,cAAc,GAAG,cAAc;IAE/C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,SAAS,CAAC,EAAE,SAAS,YAAY,CAAC,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;CAC1D;AAED;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC;CACnC;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IACrE,aAAa,GACb,gBAAgB,GAChB,WAAW,GACX,gBAAgB,CAAC,OAAO,CAAC,GACzB,WAAW,CAAC,OAAO,CAAC,CAAC;AAEzB,wEAAwE;AACxE,MAAM,MAAM,YAAY,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IACtE,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;AAEpC;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,OAAO,SAAS,cAAc,GAAG,cAAc,IACxE,WAAW,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;AAE9B;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa,CAC5B,OAAO,SAAS,cAAc,GAAG,cAAc;IAE/C,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,0DAA0D;IAC1D,OAAO,EAAE,WAAW,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,SAAS,cAAc,EACpD,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,KAC1B,YAAY,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAE3C;;;;;;;;;;;;GAYG;AACH,qBAAa,QAAS,SAAQ,KAAK;IACjC,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;gBAER,MAAM,EAAE;QAClB,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,CAAC;KACrB;CAYF"}

package/dist/types.js

@@ -1,115 +1,33 @@
-import { z } from "zod";
 /**
- * Message role used by semantic `kind: "message"` regions.
+ * Prompt pipeline mental model (authoritative + opinionated):
  *
- * This is intentionally compatible with common LLM SDKs (system/user/assistant/tool),
- * while still allowing custom roles for bespoke targets.
- */
-export const PromptRoleSchema = z
-    .string()
-    .describe('Message role used by semantic `kind: "message"` regions (system/user/assistant/tool/custom).');
-/**
- * Semantic variants for a region node.
+ * Fluent DSL
+ *    |
+ *    v
+ * PromptTree  (scopes + message leaves)
+ *    |
+ *    v
+ * PromptLayout (flat, role-shaped messages)
+ *    |
+ *    v
+ * RenderOut (provider payloads)
  *
- * Cria’s IR is “Regions all the way down” (like a DOM tree). `PromptKindSchema`
- * defines how we recognize prompt parts so renderers can emit structured targets
- * without parsing strings.
- */
-const PromptKindNoneSchema = z.object({ kind: z.undefined().optional() });
-const PromptKindMessageSchema = z.object({
-    kind: z.literal("message"),
-    role: PromptRoleSchema,
-});
-const PromptKindToolCallSchema = z.object({
-    kind: z.literal("tool-call"),
-    toolCallId: z.string(),
-    toolName: z.string(),
-    input: z.unknown(),
-});
-const PromptKindToolResultSchema = z.object({
-    kind: z.literal("tool-result"),
-    toolCallId: z.string(),
-    toolName: z.string(),
-    output: z.unknown(),
-});
-const PromptKindReasoningSchema = z.object({
-    kind: z.literal("reasoning"),
-    text: z.string(),
-});
-export const PromptKindSchema = z.union([
-    PromptKindNoneSchema,
-    PromptKindMessageSchema,
-    PromptKindToolCallSchema,
-    PromptKindToolResultSchema,
-    PromptKindReasoningSchema,
-]);
-/**
- * The core IR node type. All Cria components return a `PromptElement`.
+ * Why this shape?
+ * - Scopes exist for compaction/strategy. They are structural only.
+ * - Messages are semantic boundaries. They are leaf nodes and only hold parts.
+ * - Parts are the smallest typed units (text/reasoning/tool-call/tool-result).
  *
- * **Everything is a Region** (think: a DOM `<div>`): `priority`, `strategy`, and
- * `children` make up the structural prompt tree.
- *
- * If you attach a semantic `kind` (via `PromptKind`), the node becomes a recognized
- * prompt part (message/tool-call/tool-result/reasoning) and renderers can emit
- * structured targets without parsing strings.
- *
- * `PromptElementSchema` is the single source of truth for validation and type inference.
+ * PromptLayout intentionally normalizes message shapes so codecs do NOT
+ * re-interpret parts or re-check invariants. Some providers (AI SDK, Anthropic)
+ * require a parts array, so codecs re-expand assistant/tool data back into
+ * parts. That is a translation step for provider compatibility, not a loop in
+ * the core model.
  */
-const strategyValidator = (value) => typeof value === "function";
-const PromptBaseSchema = z
-    .object({
-    priority: z.number(),
-    strategy: z.custom(strategyValidator).optional(),
-    id: z.string().optional(),
-    context: z.custom().optional(),
-})
-    .strict();
-export const PromptElementSchema = z.lazy(() => z.union([
-    PromptBaseSchema.extend({
-        kind: z.undefined().optional(),
-        children: z.array(z.union([z.string(), z.lazy(() => PromptElementSchema)])),
-    }),
-    PromptBaseSchema.extend({
-        kind: z.literal("message"),
-        role: PromptRoleSchema,
-        children: z.array(z.union([z.string(), z.lazy(() => PromptElementSchema)])),
-    }),
-    PromptBaseSchema.extend({
-        kind: z.literal("tool-call"),
-        toolCallId: z.string(),
-        toolName: z.string(),
-        input: z.unknown(),
-        children: z.array(z.union([z.string(), z.lazy(() => PromptElementSchema)])),
-    }),
-    PromptBaseSchema.extend({
-        kind: z.literal("tool-result"),
-        toolCallId: z.string(),
-        toolName: z.string(),
-        output: z.unknown(),
-        children: z.array(z.union([z.string(), z.lazy(() => PromptElementSchema)])),
-    }),
-    PromptBaseSchema.extend({
-        kind: z.literal("reasoning"),
-        text: z.string(),
-        children: z.array(z.union([z.string(), z.lazy(() => PromptElementSchema)])),
-    }),
-]));
-export const PromptChildSchema = z.union([
-    z.string(),
-    z.lazy(() => PromptElementSchema),
-]);
-export const PromptChildrenSchema = z.array(PromptChildSchema);
-export const JsonValueSchema = z.lazy(() => z.union([
-    z.null(),
-    z.string(),
-    z.number(),
-    z.boolean(),
-    z.array(JsonValueSchema),
-    z.record(JsonValueSchema),
-]));
 /**
  * Error thrown when the prompt cannot be fit within the budget.
  *
+ * This is a standard error that should be caught and handled by the caller.
+ *
  * This happens when:
  * - No strategies remain but still over budget
  * - Strategies made no progress (possible infinite loop)

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,MAAM,EAAE;KACR,QAAQ,CACP,8FAA8F,CAC/F,CAAC;AAoEJ;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAC1E,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,IAAI,EAAE,gBAAgB;CACvB,CAAC,CAAC;AACH,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC5B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;CACnB,CAAC,CAAC;AACH,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;CACpB,CAAC,CAAC;AACH,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC;IACtC,oBAAoB;IACpB,uBAAuB;IACvB,wBAAwB;IACxB,0BAA0B;IAC1B,yBAAyB;CAC1B,CAAC,CAAC;AAKH;;;;;;;;;;;GAWG;AACH,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAqB,EAAE,CAC9D,OAAO,KAAK,KAAK,UAAU,CAAC;AA8B9B,MAAM,gBAAgB,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAW,iBAAiB,CAAC,CAAC,QAAQ,EAAE;IAC1D,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAe,CAAC,QAAQ,EAAE;CAC5C,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,mBAAmB,GAA6B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CACvE,CAAC,CAAC,KAAK,CAAC;IACN,gBAAgB,CAAC,MAAM,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE;QAC9B,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CACzD;KACF,CAAC;IACF,gBAAgB,CAAC,MAAM,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC1B,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CACzD;KACF,CAAC;IACF,gBAAgB,CAAC,MAAM,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QAC5B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;QACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;QAClB,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CACzD;KACF,CAAC;IACF,gBAAgB,CAAC,MAAM,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;QAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;QACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;QACnB,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CACzD;KACF,CAAC;IACF,gBAAgB,CAAC,MAAM,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CACzD;KACF,CAAC;CACH,CAAC,CACyB,CAAC;AAE9B,MAAM,CAAC,MAAM,iBAAiB,GAA2B,CAAC,CAAC,KAAK,CAAC;IAC/D,CAAC,CAAC,MAAM,EAAE;IACV,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC;CAClC,CAA2B,CAAC;AAE7B,MAAM,CAAC,MAAM,oBAAoB,GAA8B,CAAC,CAAC,KAAK,CACpE,iBAAiB,CACW,CAAC;AAyD/B,MAAM,CAAC,MAAM,eAAe,GAAyB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAC/D,CAAC,CAAC,KAAK,CAAC;IACN,CAAC,CAAC,IAAI,EAAE;IACR,CAAC,CAAC,MAAM,EAAE;IACV,CAAC,CAAC,MAAM,EAAE;IACV,CAAC,CAAC,OAAO,EAAE;IACX,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IACxB,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;CAC1B,CAAC,CACH,CAAC;AA2CF;;;;;;;;;;GAUG;AACH,MAAM,OAAO,QAAS,SAAQ,KAAK;IACjC,YAAY,CAAS;IACrB,QAAQ,CAAS;IACjB,SAAS,CAAS;IAClB,MAAM,CAAS;IACf,WAAW,CAAS;IAEpB,YAAY,MAMX;QACC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;QAC1E,KAAK,CACH,sBAAsB,WAAW,0BAA0B,MAAM,OAAO,YAAY,gBAAgB,QAAQ,eAAe,SAAS,GAAG,CACxI,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;IACjC,CAAC;CACF"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAkRH;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,QAAS,SAAQ,KAAK;IACjC,YAAY,CAAS;IACrB,QAAQ,CAAS;IACjB,SAAS,CAAS;IAClB,MAAM,CAAS;IACf,WAAW,CAAS;IAEpB,YAAY,MAMX;QACC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;QAC1E,KAAK,CACH,sBAAsB,WAAW,0BAA0B,MAAM,OAAO,YAAY,gBAAgB,QAAQ,eAAe,SAAS,GAAG,CACxI,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;IACjC,CAAC;CACF"}