@lotiai/composer 0.2.0 → 0.2.2

package/dist/internal/dag-sync-workflow.d.ts

@@ -0,0 +1,535 @@
+/**
+ * DAG-based Workflow Engine with Compile-time Validation
+ *
+ * This module implements a directed acyclic graph (DAG) workflow system that:
+ * - Validates step dependencies at compile-time using TypeScript
+ * - Executes steps in parallel when dependencies allow
+ * - Uses topological sorting with batching for optimal performance
+ * - Supports workflow composition for modularity and reusability
+ *
+ * ## Core Concepts
+ *
+ * **Step**: A unit of work with declared inputs (needs) and outputs (provides)
+ * **Workflow**: A collection of steps with automatic dependency resolution
+ * **Bag**: The data container that flows through the workflow
+ *
+ * ## Execution Model
+ *
+ * The engine uses **batch-based parallel execution**:
+ * 1. **Dependency Analysis**: Builds a dependency graph using topological sorting
+ * 2. **Batch Formation**: Groups steps that can run simultaneously
+ * 3. **Parallel Execution**: Runs each batch with Promise.all()
+ * 4. **Dependency Tracking**: Uses indegree counters to trigger next batch
+ *
+ * ## Example Execution Flow
+ *
+ * Given workflow: [stepA, stepB, stepC, stepD]
+ * - stepA: needs [] → provides ["x"]
+ * - stepB: needs ["x"] → provides ["y"]
+ * - stepC: needs ["x"] → provides ["z"]
+ * - stepD: needs ["y", "z"] → provides ["result"]
+ *
+ * Execution batches:
+ * - Batch 1: [stepA] (sequential)
+ * - Batch 2: [stepB, stepC] (parallel - both need "x")
+ * - Batch 3: [stepD] (sequential - needs both "y" and "z")
+ *
+ * ## Workflow Composition
+ *
+ * Workflows can be composed using the `use()` helper to create modular, reusable components:
+ *
+ * ```typescript
+ * // Define a reusable child workflow
+ * const authWorkflow = createWorkflow<Bag>("authentication")
+ *   .requires("userId")
+ *   .build([validateUser, checkPermissions]);
+ *
+ * // Compose into parent workflow
+ * const mainWorkflow = createWorkflow<Bag>("main")
+ *   .requires("userId")
+ *   .build([
+ *     fetchUserData,      // Provides userId
+ *     use(authWorkflow),  // Reuses authentication logic
+ *     processRequest,     // Uses auth results
+ *   ]);
+ * ```
+ *
+ * **Key Composition Features:**
+ * - **Step Flattening**: Child workflow steps are merged into parent's dependency graph
+ * - **Maximum Parallelization**: Steps from different workflows can execute in the same batch
+ * - **Automatic Namespacing**: Child steps are prefixed as "childName.stepName" to prevent conflicts
+ * - **Dependency Propagation**: Child initial requirements become regular dependencies in parent
+ * - **Nested Composition**: Workflows can compose other composed workflows to any depth
+ * - **Observability Preservation**: SubWorkflow spans maintain logical boundaries in traces
+ *
+ * **Composition Benefits:**
+ * - Code reusability across different workflows
+ * - Easier testing of workflow components in isolation
+ * - Better organization of complex business logic
+ * - Maintains compile-time type safety across composition boundaries
+ *
+ * ## Compile-time Safety
+ *
+ * The type system validates:
+ * - All step dependencies are satisfied by previous steps or initial data
+ * - Required initial fields are provided at runtime
+ * - Clear error messages for missing dependencies
+ *
+ * ## Data Protection & Overwrite Prevention
+ *
+ * The engine enforces strict data integrity rules:
+ * - **Step-to-Step Protection**: Each field can have only one producer step (duplicate producers are rejected)
+ * - **Initial Data Protection**: Steps cannot overwrite fields provided in initial data
+ * - **Immutable Outputs**: Once a step produces a field, it cannot be modified by other steps
+ * - **Early Detection**: All conflicts are caught at workflow execution time, not during step execution
+ *
+ * ## Performance Characteristics
+ *
+ * - **Automatic Parallelization**: Steps run concurrently when safe
+ * - **Batch Synchronization**: All steps in a batch complete before next batch starts
+ * - **Zero Polling**: Event-driven execution using dependency counters
+ * - **Optimal Scheduling**: Steps execute as soon as dependencies are satisfied
+ */
+import type { StepContextProvider } from "./context-provider";
+import type { Step } from "./dag-sync-step";
+import { WorkflowBatchError, WorkflowErrorHandlerFailure, WorkflowStepError } from "./errors";
+import type { ComposerLogger } from "./types";
+/**
+ * Default timeout for checkpoints in milliseconds.
+ *
+ * Checkpoints are designed for fast early returns within HTTP timeout windows.
+ * The default of 30 seconds provides a reasonable window for initial step(s)
+ * to complete while leaving headroom before typical HTTP timeouts (60s).
+ */
+export declare const DEFAULT_CHECKPOINT_TIMEOUT_MS = 30000;
+/**
+ * Checkpoint definition for async workflows.
+ *
+ * Checkpoints allow async (Temporal) workflows to return partial bag results early
+ * while continuing execution in the background. This enables patterns like:
+ *
+ * ```
+ * HTTP Request --> Start Workflow --> Checkpoint "created" --> HTTP Response (fast)
+ *                                           |
+ *                                           v
+ *                                     Continue: content acquisition, etc. (slow)
+ * ```
+ *
+ * ## Scope and Limitations
+ *
+ * Checkpoints are designed for **fast early returns within HTTP timeout windows**.
+ * They use Temporal's Update API which holds a connection open until the checkpoint
+ * is reached. This works for checkpoints reached in seconds, not minutes.
+ *
+ * For long-running workflows, use the callback pattern instead: fire-and-forget
+ * the workflow and have the final step send a webhook/callback when complete.
+ *
+ * ## Behavior
+ *
+ * - In **async (Temporal) mode**: Checkpoints work as designed - caller can await
+ *   a checkpoint and receive partial bag state while workflow continues.
+ * - In **sync mode**: Checkpoints are ignored - workflow always runs to completion.
+ */
+export interface Checkpoint {
+    /** Unique name for this checkpoint (used when awaiting) */
+    name: string;
+    /**
+     * Step name that triggers this checkpoint.
+     *
+     * The checkpoint fires after the **entire batch** containing this step completes.
+     * This ensures all parallel steps in the batch have finished before the checkpoint.
+     *
+     * Supports both namespaced (`workflow.stepName`) and unnamespaced (`stepName`)
+     * names - unnamespaced names are auto-resolved.
+     */
+    afterStep: string;
+    /**
+     * Optional timeout in milliseconds for this checkpoint.
+     * If not specified, uses DEFAULT_CHECKPOINT_TIMEOUT_MS (30 seconds).
+     */
+    timeout?: number;
+}
+/**
+ * Options for defining a checkpoint on a workflow.
+ *
+ * @template S - The Step type (constrained by WorkflowBuilder.checkpoint())
+ */
+export interface CheckpointOptions<S extends Step<any, any, any, any, any>> {
+    /**
+     * Step reference that triggers this checkpoint.
+     *
+     * Pass the actual step object, not a string name. This enables compile-time
+     * validation that the step exists in the workflow.
+     *
+     * @example
+     * ```typescript
+     * .checkpoint("persisted", { afterStep: persistPromptStep })
+     * ```
+     */
+    afterStep: S;
+    /**
+     * Optional timeout in milliseconds.
+     * Defaults to DEFAULT_CHECKPOINT_TIMEOUT_MS if not specified.
+     */
+    timeout?: number;
+}
+/**
+ * Error handler function type for workflows.
+ *
+ * The error handler is invoked when a workflow step or batch fails. It controls
+ * what ends up in `result.error` via its return value:
+ *
+ * - Return `undefined` → `result.error` is `undefined` (error fully handled)
+ * - Return an `Error` → `result.error` is that error (propagate or transform)
+ * - Throw → `result.error` is `WorkflowErrorHandlerFailure` (handler crashed)
+ *
+ * The handler can update the bag to provide result data for the caller.
+ *
+ * Use `extractIfPresent` to check error types through workflow wrappers:
+ *
+ * ```typescript
+ * .onError(async (ctx, bag, error) => {
+ *   const match = MyExpectedError.extractIfPresent(error);
+ *   if (match) {
+ *     // Update bag with fallback data
+ *     bag.result = getFallbackResult();
+ *     return undefined; // Handled - no error to propagate
+ *   }
+ *   return error; // Unknown error - propagate as-is
+ * })
+ * ```
+ *
+ * @param ctx - The workflow execution context
+ * @param bag - The current bag state (includes successful outputs from the failing batch)
+ * @param error - The workflow error (WorkflowStepError or WorkflowBatchError)
+ * @returns `undefined` if handled, or an `Error` to propagate
+ */
+export type ErrorHandler<Bag extends Record<string, any>, TContext> = (ctx: TContext, bag: Bag, error: WorkflowStepError<Bag> | WorkflowBatchError<Bag>) => Error | undefined | Promise<Error | undefined>;
+/**
+ * Result type for workflow execution.
+ *
+ * Workflows never throw - all errors are captured in the `error` property.
+ * This enables cleaner caller code without try/catch.
+ *
+ * @example
+ * ```typescript
+ * const result = await runWorkflow(myWorkflow, data);
+ *
+ * if (result.error) {
+ *   // Handle error case
+ *   return reply.code(500).send({ error: "Something went wrong" });
+ * }
+ *
+ * // Success - use result.bag
+ * return reply.code(200).send(result.bag.output);
+ * ```
+ */
+export type WorkflowResult<Bag> = {
+    /** The workflow bag containing all step outputs and initial data */
+    bag: Bag;
+    /**
+     * Error if workflow failed, undefined if successful.
+     * - `WorkflowBatchError`: One or more steps in a batch failed
+     * - `WorkflowStepError`: Legacy single-step error (less common with allSettled)
+     * - `WorkflowErrorHandlerFailure`: The error handler itself threw unexpectedly
+     * - Other `Error`: Unexpected error during workflow execution
+     */
+    error?: WorkflowBatchError<Bag> | WorkflowStepError<Bag> | WorkflowErrorHandlerFailure | Error;
+};
+/**
+ * A Workflow represents a collection of steps with their execution metadata.
+ *
+ * Generic Parameters:
+ * - Bag: The complete data type that flows through the workflow
+ * - RequiredInitial: Fields that must be provided when running the workflow
+ * - ConfiguredValues: Fields that are pre-configured with default values
+ * - Steps: The exact array of steps (used for precise return type inference)
+ * - CheckpointNames: Union of checkpoint names (for compile-time validation of awaitCheckpoint)
+ *
+ * The workflow doesn't validate dependencies at creation time - this happens
+ * at runtime in runSyncWorkflow() to account for initial fields that may satisfy dependencies.
+ */
+export type Workflow<Bag extends Record<string, any>, RequiredInitial extends keyof Bag = never, ConfiguredValues extends Partial<Bag> = Partial<Bag>, Steps extends readonly Step<Bag, any, any, any, any>[] = readonly Step<Bag, any, any, any, any>[], CheckpointNames extends string = never> = {
+    name: string;
+    steps: Steps;
+    requiredInitial?: RequiredInitial[];
+    configuredValues?: ConfiguredValues;
+    errorHandler?: ErrorHandler<Bag, unknown>;
+    /**
+     * Checkpoints for async (Temporal) workflows.
+     * In sync mode, checkpoints are ignored.
+     */
+    checkpoints?: Checkpoint[];
+    /**
+     * @internal Type-level tracking of checkpoint names for compile-time validation.
+     * This field is never set at runtime - it's purely for TypeScript's type system.
+     */
+    _checkpointNames?: CheckpointNames;
+};
+/**
+ * A WorkflowBuilder wraps a Workflow and provides the `.checkpoint()` and `.onError()` methods.
+ *
+ * This builder pattern allows workflows to be used directly (they satisfy the Workflow type)
+ * while also allowing checkpoints and error handlers to be attached via method chaining.
+ *
+ * @example
+ * ```typescript
+ * const workflow = createWorkflow<Bag>("my-workflow")
+ *   .requires("textInput")
+ *   .build([persistStep, processStep, finalizeStep])
+ *   .checkpoint("persisted", { afterStep: persistStep })
+ *   .checkpoint("processed", { afterStep: processStep, timeout: 60000 })
+ *   .onError(async (ctx, bag, error) => { ... });
+ * ```
+ */
+export type WorkflowBuilder<Bag extends Record<string, any>, RequiredInitial extends keyof Bag = never, ConfiguredValues extends Partial<Bag> = Partial<Bag>, Steps extends readonly Step<Bag, any, any, any, any>[] = readonly Step<Bag, any, any, any, any>[], CheckpointNames extends string = never> = Workflow<Bag, RequiredInitial, ConfiguredValues, Steps, CheckpointNames> & {
+    /**
+     * Define a checkpoint for async (Temporal) workflows.
+     *
+     * Checkpoints allow async workflows to return partial bag results early while
+     * continuing execution in the background. Checkpoints are ignored in sync mode.
+     *
+     * @param name - Unique name for this checkpoint (used when awaiting)
+     * @param options - Checkpoint options including afterStep (Step reference) and optional timeout
+     * @returns WorkflowBuilder for continued chaining
+     *
+     * @example
+     * ```typescript
+     * .checkpoint("created", { afterStep: persistPromptStep })
+     * .checkpoint("enriched", { afterStep: acquireContentStep, timeout: 60000 })
+     * ```
+     */
+    checkpoint<S extends Steps[number], Name extends string>(name: Name extends CheckpointNames ? `ERROR: Duplicate checkpoint name '${Name}'` : Name, options: CheckpointOptions<S>): WorkflowBuilder<Bag, RequiredInitial, ConfiguredValues, Steps, CheckpointNames | Name>;
+    /**
+     * Attach an error handler to the workflow.
+     *
+     * The handler is invoked when any step fails. Use `extractIfPresent` to check
+     * error types through workflow wrappers and transform errors as needed.
+     *
+     * @param handler - Function to handle workflow errors
+     * @returns The workflow with the error handler attached
+     */
+    onError<TContext = unknown>(handler: ErrorHandler<Bag, TContext>): Workflow<Bag, RequiredInitial, ConfiguredValues, Steps, CheckpointNames>;
+};
+/**
+ * Marker type for composed workflows.
+ * Used by the `use()` helper to enable workflow composition.
+ * This marker is detected during workflow building and the child workflow's steps are flattened.
+ */
+export type ComposedWorkflow<Bag extends Record<string, any>, RequiredInitial extends keyof Bag = never, ConfiguredValues extends Partial<Bag> = Partial<Bag>, Steps extends readonly Step<Bag, any, any, any, any>[] = readonly Step<Bag, any, any, any, any>[]> = {
+    __composedWorkflow: true;
+    workflow: Workflow<Bag, RequiredInitial, ConfiguredValues, Steps>;
+};
+/**
+ * Composes a child workflow into a parent workflow.
+ *
+ * When building a workflow, use `use(childWorkflow)` to include all steps from the child.
+ * The steps will be:
+ * - Flattened into the parent's dependency graph for maximum parallelization
+ * - Automatically namespaced as "childWorkflowName.stepName" to prevent conflicts
+ * - Tracked with workflow provenance metadata for proper observability
+ *
+ * Any initial requirements from the child workflow become regular dependencies that
+ * must be satisfied by the parent's steps or initial data.
+ *
+ * Example:
+ * ```typescript
+ * const childWf = createWorkflow<Bag>("child").build([stepA, stepB]);
+ * const parentWf = createWorkflow<Bag>("parent").build([
+ *   stepX,
+ *   use(childWf),  // Includes stepA and stepB with proper namespacing
+ *   stepY,
+ * ]);
+ *
+ * ## Observability
+ *
+ * Composed workflows create SubWorkflow spans in traces, making it easy to see logical
+ * boundaries even though execution is flattened:
+ * ```
+ * Workflow: main
+ *   └─ Batch 1
+ *      └─ SubWorkflow: authentication
+ *         └─ Step: authentication.validateUser
+ * ```
+ */
+export declare function use<Bag extends Record<string, any>, RequiredInitial extends keyof Bag = never, ConfiguredValues extends Partial<Bag> = Partial<Bag>, Steps extends readonly Step<Bag, any, any, any, any>[] = readonly Step<Bag, any, any, any, any>[]>(workflow: Workflow<Bag, RequiredInitial, ConfiguredValues, Steps>): ComposedWorkflow<Bag, RequiredInitial, ConfiguredValues, Steps>;
+/**
+ * Creates a workflow builder with compile-time dependency validation.
+ *
+ * This builder provides three modes:
+ * 1. build() - for workflows that don't require initial data
+ * 2. requires(fields).build() - for workflows that need the caller to provide specific fields
+ * 3. configure(configuration).requires(fields).build() - for workflows that need the bag
+ *    configured with specific values, as well as initial values provided at runtime
+ *
+ * The compile-time validation works by:
+ * - Analyzing the step dependencies using recursive conditional types
+ * - If validation fails, injecting an error property that causes a compile error
+ * - If validation passes, allowing the workflow to be created normally
+ *
+ * Usage:
+ *   // No initial data required
+ *   const wf1 = createWorkflow<Bag>("my-workflow").build([stepA, stepB]);
+ *
+ *   // Requires 'promptText' to be provided at runtime
+ *   const wf2 = createWorkflow<Bag>("prompt-workflow").requires("promptText").build([stepA, stepB]);
+ *
+ *   // Sets lotiContentType to "prompt_media" and requires 'promptText' to be
+ *   provided at runtime.
+ *   const wf3 = createWorkflow<Bag>("configured-prompt-workflow")
+ *     .configure({ lotiContentType: "prompt_media" })
+ *     .requires("promptText")
+ *     .build([stepA, stepB]);
+ */
+export declare function createWorkflow<Bag extends Record<string, any>>(name: string): {
+    build<const Steps extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[]>(steps: Steps & (ValidateWorkflowDeps<Bag, Steps> extends string ? {
+        __WORKFLOW_ERROR__: ValidateWorkflowDeps<Bag, Steps>;
+    } : unknown)): WorkflowBuilder<Bag, never, never, FlattenStepsType<Bag, Steps>, never>;
+    requires<Initial extends keyof Bag>(...fields: Initial[]): {
+        build<const Steps extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[]>(steps: Steps & (ValidateWorkflowDepsWithInitial<Bag, Steps, Initial> extends string ? {
+            __WORKFLOW_ERROR__: ValidateWorkflowDepsWithInitial<Bag, Steps, Initial>;
+        } : unknown)): WorkflowBuilder<Bag, Initial, never, FlattenStepsType<Bag, Steps>, never>;
+    };
+    configure<Configuration extends Partial<Bag>>(configuration: Configuration): {
+        build<const Steps extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[]>(steps: Steps & (ValidateWorkflowDepsWithInitial<Bag, Steps, Extract<keyof Configuration, keyof Bag>> extends string ? {
+            __WORKFLOW_ERROR__: ValidateWorkflowDepsWithInitial<Bag, Steps, Extract<keyof Configuration, keyof Bag>>;
+        } : unknown)): WorkflowBuilder<Bag, never, Configuration, FlattenStepsType<Bag, Steps>, never>;
+        requires<Initial extends Exclude<keyof Bag, Extract<keyof Configuration, keyof Bag>>>(...fields: Initial[]): {
+            build<const Steps extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[]>(steps: Steps & (ValidateWorkflowDepsWithInitial<Bag, Steps, Extract<keyof Configuration, keyof Bag> | Initial> extends string ? {
+                __WORKFLOW_ERROR__: ValidateWorkflowDepsWithInitial<Bag, Steps, Extract<keyof Configuration, keyof Bag> | Initial>;
+            } : unknown)): WorkflowBuilder<Bag, Initial, Configuration, FlattenStepsType<Bag, Steps>, never>;
+        };
+    };
+};
+/**
+ * Recursively flattens a steps array that may contain ComposedWorkflow markers.
+ * This mirrors the runtime flattenSteps() function but at the type level.
+ */
+type FlattenStepsType<Bag extends Record<string, any>, Items extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[]> = Items extends readonly [infer Head, ...infer Tail] ? Head extends ComposedWorkflow<Bag, any, any, infer ChildSteps> ? Tail extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[] ? [...ChildSteps, ...FlattenStepsType<Bag, Tail>] : ChildSteps : Head extends Step<Bag, any, any, any, any> ? Tail extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[] ? [Head, ...FlattenStepsType<Bag, Tail>] : [Head] : [] : [];
+/**
+ * Compile-time dependency validation for workflows with initial fields.
+ *
+ * This delegates to ValidateStepsInOrder with the initial fields marked as both:
+ * - Available: Can be used to satisfy step dependencies
+ * - Initial: Protected from being overwritten by steps
+ *
+ * Composed workflows are flattened, and their initial requirements must be satisfied
+ * by either the parent workflow's initial data or preceding steps.
+ */
+type ValidateWorkflowDepsWithInitial<Bag extends Record<string, any>, Steps extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[], Initial extends keyof Bag> = ValidateStepsInOrder<Bag, FlattenStepsType<Bag, Steps>, Initial, Initial>;
+/**
+ * Main compile-time dependency validation for workflows without initial fields.
+ *
+ * Special case handling:
+ * - Single step workflows: Check if the step has dependencies (if so, error)
+ * - Multi-step workflows: Use recursive ValidateStepsInOrder starting with no available fields
+ *
+ * This ensures clear error messages for the common case of single-step workflows.
+ * Composed workflows are flattened, and their initial requirements must be satisfied
+ * by preceding steps (since there are no initial fields in this workflow).
+ */
+type ValidateWorkflowDeps<Bag extends Record<string, any>, Steps extends readonly (Step<Bag, any, any, any, any> | ComposedWorkflow<Bag, any, any>)[]> = FlattenStepsType<Bag, Steps> extends readonly [infer Head] ? Head extends Step<Bag, infer Needs, any, any> ? Needs[number] extends never ? Steps : WorkflowValidationResult<Needs[number] extends string ? Needs[number] : "unknown", "none"> : Steps : ValidateStepsInOrder<Bag, FlattenStepsType<Bag, Steps>, never, never>;
+/**
+ * Template literal type that creates detailed, human-readable error messages
+ * for dependency validation failures.
+ *
+ * Example output:
+ * "❌ WORKFLOW ERROR: A step needs identities but it is not available. Available fields: [promptText]
+ *  → FIX: Add a step that provides identities before the step that needs it"
+ */
+type WorkflowValidationResult<MissingField extends string, AvailableFields extends string> = `❌ WORKFLOW ERROR: A step needs ${MissingField} but it is not available. Available fields: [${AvailableFields extends "none" ? "none" : AvailableFields}] → FIX: Add a step that provides ${MissingField} before the step that needs it`;
+type InitialOverwriteError<FieldName extends string> = `❌ WORKFLOW ERROR: A step cannot overwrite initial field ${FieldName}. Initial data is protected from modification. → FIX: Remove ${FieldName} from the step's provides array or from initial data`;
+/**
+ * Helper types for precise return type inference.
+ *
+ * These types work together to determine exactly which fields will be present
+ * in the workflow result, enabling compile-time checking when accessing results.
+ */
+/**
+ * Recursively extracts all 'provides' fields from an array of steps.
+ * This creates a union type of all fields that will be produced by the workflow.
+ *
+ * Example:
+ * - Step1 provides: ["a", "b"]
+ * - Step2 provides: ["c"]
+ * - Result: "a" | "b" | "c"
+ */
+type ExtractStepProvides<T> = T extends Step<any, any, infer Provides, any> ? Provides[number] : never;
+type ExtractAllProvides<Steps extends readonly any[]> = Steps extends readonly [
+    infer Head,
+    ...infer Tail
+] ? ExtractStepProvides<Head> | ExtractAllProvides<Tail> : never;
+/**
+ * Infers the precise return type of a workflow execution.
+ *
+ * The result includes:
+ * - All fields provided by workflow steps (ExtractAllProvides<Steps>)
+ * - All initial fields passed to the workflow (Initial)
+ *
+ * This allows TypeScript to know exactly which properties exist on the result,
+ * enabling compile-time checking when accessing workflow results.
+ *
+ * Note: Steps parameter should already be flattened when this type is used.
+ */
+export type InferWorkflowResult<Bag extends Record<string, any>, Steps extends readonly Step<Bag, any, any, any, any>[], Initial extends keyof Bag = never, Configured extends keyof Bag = never> = Pick<Bag, ExtractAllProvides<Steps> | Initial | Configured>;
+/**
+ * Safely extracts configured keys from a Config type parameter.
+ *
+ * This handles the edge case where Config is `never` (no configured values).
+ * When Config is `never`, `keyof never` returns `string | number | symbol`,
+ * which would incorrectly include all keys. This type returns `never` in that case.
+ */
+export type SafeConfiguredKeys<Config, Bag extends Record<string, any>> = [Config] extends [never] ? never : Extract<keyof Config, keyof Bag>;
+/**
+ * Extracts the ConfiguredValues type from a Workflow type.
+ * Returns never if the workflow has no configured values.
+ */
+export type ExtractWorkflowConfig<W> = W extends Workflow<any, any, infer C, any, any> ? C : never;
+/**
+ * Extracts the Bag type from a Workflow type.
+ */
+export type ExtractWorkflowBag<W> = W extends Workflow<infer B, any, any, any, any> ? B : never;
+/**
+ * Extracts the Steps type from a Workflow type.
+ */
+export type ExtractWorkflowSteps<W> = W extends Workflow<any, any, any, infer S, any> ? S : never;
+/**
+ * Extracts the RequiredInitial type from a Workflow type.
+ */
+export type ExtractWorkflowRequiredInitial<W> = W extends Workflow<any, infer R, any, any, any> ? R : never;
+/**
+ * Extracts the CheckpointNames type from a Workflow type.
+ * Returns `never` if no checkpoints are defined.
+ *
+ * Note: We use property access via _checkpointNames rather than type parameter
+ * inference because TypeScript's `infer` can return the constraint (`string`)
+ * instead of the actual value (`never`) in some cases.
+ */
+export type ExtractWorkflowCheckpointNames<W> = W extends {
+    _checkpointNames?: infer C;
+} ? C extends string ? C : never : never;
+/**
+ * Recursive type that validates step dependencies in order.
+ *
+ * This is the core validation logic that:
+ * 1. Processes steps one by one from left to right
+ * 2. Checks if each step's 'needs' are satisfied by available fields
+ * 3. Adds each step's 'provides' to the available fields for subsequent steps
+ * 4. Prevents steps from overwriting initial fields
+ * 5. Accumulates provided fields for subsequent steps
+ *
+ * Parameters:
+ * - Bag: The complete data type
+ * - Steps: Remaining steps to validate
+ * - Available: Fields currently available (from previous steps + initial)
+ * - Initial: Fields provided initially (protected from overwriting)
+ *
+ * Returns:
+ * - Steps (unchanged) if validation passes
+ * - Error message string if validation fails
+ */
+type ValidateStepsInOrder<Bag extends Record<string, any>, Steps extends readonly Step<Bag, any, any, any, any>[], Available extends keyof Bag, Initial extends keyof Bag = never> = Steps extends readonly [infer Head, ...infer Tail] ? Head extends Step<Bag, infer Needs, infer Provides, any> ? Tail extends readonly Step<Bag, any, any, any, any>[] ? Extract<Provides[number], Initial> extends never ? Needs[number] extends Available ? ValidateStepsInOrder<Bag, Tail, Available | Provides[number], Initial> : WorkflowValidationResult<Exclude<Needs[number], Available> extends string ? Exclude<Needs[number], Available> : "unknown", Available extends never ? "none" : Available extends string ? Available : "unknown"> : InitialOverwriteError<Extract<Provides[number], Initial> extends string ? Extract<Provides[number], Initial> : "unknown"> : Steps : Steps : Steps;
+export declare function runSyncWorkflow<Bag extends Record<string, any>, Config extends Partial<Bag>, Steps extends readonly Step<Bag, any, any, any, any>[]>(wf: Workflow<Bag, never, Config, Steps>, initialData?: Partial<Bag>, contextProvider?: StepContextProvider<unknown>, logger?: ComposerLogger, enableDeepFreeze?: boolean): Promise<WorkflowResult<InferWorkflowResult<Bag, Steps, never, Extract<keyof Config, keyof Bag>> & Partial<Bag>>>;
+export declare function runSyncWorkflow<Bag extends Record<string, any>, RequiredInitial extends keyof Bag, Config extends Partial<Bag>, Steps extends readonly Step<Bag, any, any, any, any>[]>(wf: Workflow<Bag, RequiredInitial, Config, Steps>, initialData: Partial<Bag> & Pick<Bag, RequiredInitial>, contextProvider?: StepContextProvider<unknown>, logger?: ComposerLogger, enableDeepFreeze?: boolean): Promise<WorkflowResult<InferWorkflowResult<Bag, Steps, RequiredInitial, Extract<keyof Config, keyof Bag>>>>;
+export {};
+//# sourceMappingURL=dag-sync-workflow.d.ts.map

package/dist/internal/dag-sync-workflow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dag-sync-workflow.d.ts","sourceRoot":"","sources":["../../src/internal/dag-sync-workflow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2FG;AAIH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAG9D,OAAO,KAAK,EAAoB,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAE9D,OAAO,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAU9F,OAAO,KAAK,EAAE,cAAc,EAAU,MAAM,SAAS,CAAC;AAOtD;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B,QAAS,CAAC;AAEpD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,UAAU;IACzB,2DAA2D;IAC3D,IAAI,EAAE,MAAM,CAAC;IAEb;;;;;;;;OAQG;IACH,SAAS,EAAE,MAAM,CAAC;IAElB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IACxE;;;;;;;;;;OAUG;IACH,SAAS,EAAE,CAAC,CAAC;IAEb;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AA0ED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,YAAY,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,IAAI,CACpE,GAAG,EAAE,QAAQ,EACb,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,KACpD,KAAK,GAAG,SAAS,GAAG,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC;AAEpD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,cAAc,CAAC,GAAG,IAAI;IAChC,oEAAoE;IACpE,GAAG,EAAE,GAAG,CAAC;IACT;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,2BAA2B,GAAG,KAAK,CAAC;CAChG,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,CAClB,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,eAAe,SAAS,MAAM,GAAG,GAAG,KAAK,EACzC,gBAAgB,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EACpD,KAAK,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EACjG,eAAe,SAAS,MAAM,GAAG,KAAK,IACpC;IACF,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,eAAe,CAAC,EAAE,eAAe,EAAE,CAAC;IACpC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,YAAY,CAAC,EAAE,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1C;;;OAGG;IACH,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IAC3B;;;OAGG;IACH,gBAAgB,CAAC,EAAE,eAAe,CAAC;CACpC,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,eAAe,CACzB,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,eAAe,SAAS,MAAM,GAAG,GAAG,KAAK,EACzC,gBAAgB,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EACpD,KAAK,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EACjG,eAAe,SAAS,MAAM,GAAG,KAAK,IACpC,QAAQ,CAAC,GAAG,EAAE,eAAe,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,CAAC,GAAG;IAC7E;;;;;;;;;;;;;;;OAeG;IACH,UAAU,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,SAAS,MAAM,EACrD,IAAI,EAAE,IAAI,SAAS,eAAe,GAAG,qCAAqC,IAAI,GAAG,GAAG,IAAI,EACxF,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAC5B,eAAe,CAAC,GAAG,EAAE,eAAe,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,GAAG,IAAI,CAAC,CAAC;IAE1F;;;;;;;;OAQG;IACH,OAAO,CAAC,QAAQ,GAAG,OAAO,EACxB,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,GACnC,QAAQ,CAAC,GAAG,EAAE,eAAe,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;CAC7E,CAAC;AAmFF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAC1B,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,eAAe,SAAS,MAAM,GAAG,GAAG,KAAK,EACzC,gBAAgB,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EACpD,KAAK,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAC/F;IACF,kBAAkB,EAAE,IAAI,CAAC;IACzB,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,eAAe,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC;CACnE,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,GAAG,CACjB,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,eAAe,SAAS,MAAM,GAAG,GAAG,KAAK,EACzC,gBAAgB,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EACpD,KAAK,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAEjG,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,eAAe,EAAE,gBAAgB,EAAE,KAAK,CAAC,GAChE,gBAAgB,CAAC,GAAG,EAAE,eAAe,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAKjE;AA6ND;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,cAAc,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM;gBAIhE,KAAK,SAAS,SAAS,CACzB,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC7B,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAClC,EAAE,SAEI,KAAK,GAEV,CAAC,oBAAoB,CAAC,GAAG,EAAE,KAAK,CAAC,SAAS,MAAM,GAC5C;QAAE,kBAAkB,EAAE,oBAAoB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;KAAE,GACxD,OAAO,CAAC,GACb,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC;aAcjE,OAAO,SAAS,MAAM,GAAG,aAAa,OAAO,EAAE;oBAI5C,KAAK,SAAS,SAAS,CACzB,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC7B,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAClC,EAAE,SAEI,KAAK,GAEV,CAAC,+BAA+B,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,MAAM,GAChE;YAAE,kBAAkB,EAAE,+BAA+B,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;SAAE,GAC5E,OAAO,CAAC,GACb,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC;;cAatE,aAAa,SAAS,OAAO,CAAC,GAAG,CAAC,iBAAiB,aAAa;oBAK9D,KAAK,SAAS,SAAS,CACzB,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC7B,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAClC,EAAE,SAEI,KAAK,GACV,CAAC,+BAA+B,CAAC,GAAG,EAAE,KAAK,0CAAa,SAAS,MAAM,GACnE;YACE,kBAAkB,EAAE,+BAA+B,CAAC,GAAG,EAAE,KAAK,0CAAa,CAAC;SAC7E,GACD,OAAO,CAAC,GACb,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC;iBAazE,OAAO,SAAS,OAAO,CAAC,MAAM,GAAG,0CAAa,aAAa,OAAO,EAAE;wBAIjE,KAAK,SAAS,SAAS,CACzB,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC7B,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAClC,EAAE,SAEI,KAAK,GACV,CAAC,+BAA+B,CAAC,GAAG,EAAE,KAAK,oDAAW,SAAS,MAAM,GACjE;gBACE,kBAAkB,EAAE,+BAA+B,CAAC,GAAG,EAAE,KAAK,oDAAW,CAAC;aAC3E,GACD,OAAO,CAAC,GACb,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC;;;EAsB/F;AAED;;;GAGG;AACH,KAAK,gBAAgB,CACnB,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,KAAK,SAAS,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IACxF,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAClD,IAAI,SAAS,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC,GAC5D,IAAI,SAAS,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GACvF,CAAC,GAAG,UAAU,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GAC/C,UAAU,GACZ,IAAI,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACxC,IAAI,SAAS,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GACvF,CAAC,IAAI,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GACtC,CAAC,IAAI,CAAC,GACR,EAAE,GACN,EAAE,CAAC;AAEP;;;;;;;;;GASG;AACH,KAAK,+BAA+B,CAClC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,KAAK,SAAS,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAC1F,OAAO,SAAS,MAAM,GAAG,IACvB,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAE9E;;;;;;;;;;GAUG;AACH,KAAK,oBAAoB,CACvB,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,KAAK,SAAS,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAE1F,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,GACtD,IAAI,SAAS,IAAI,CAAC,GAAG,EAAE,MAAM,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,GAC3C,KAAK,CAAC,MAAM,CAAC,SAAS,KAAK,GACzB,KAAK,GACL,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,SAAS,EAAE,MAAM,CAAC,GAC5F,KAAK,GACP,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAE5E;;;;;;;GAOG;AACH,KAAK,wBAAwB,CAC3B,YAAY,SAAS,MAAM,EAC3B,eAAe,SAAS,MAAM,IAC5B,kCAAkC,YAAY,gDAAgD,eAAe,SAAS,MAAM,GAAG,MAAM,GAAG,eAAe,qCAAqC,YAAY,gCAAgC,CAAC;AAG7O,KAAK,qBAAqB,CAAC,SAAS,SAAS,MAAM,IACjD,2DAA2D,SAAS,gEAAgE,SAAS,sDAAsD,CAAC;AAEtM;;;;;GAKG;AAEH;;;;;;;;GAQG;AACH,KAAK,mBAAmB,CAAC,CAAC,IACxB,CAAC,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,QAAQ,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;AAE3E,KAAK,kBAAkB,CAAC,KAAK,SAAS,SAAS,GAAG,EAAE,IAAI,KAAK,SAAS,SAAS;IAC7E,MAAM,IAAI;IACV,GAAG,MAAM,IAAI;CACd,GACG,mBAAmB,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,GACpD,KAAK,CAAC;AAEV;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,mBAAmB,CAC7B,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,KAAK,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EACtD,OAAO,SAAS,MAAM,GAAG,GAAG,KAAK,EACjC,UAAU,SAAS,MAAM,GAAG,GAAG,KAAK,IAClC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,GAAG,OAAO,GAAG,UAAU,CAAC,CAAC;AAEhE;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,CAAC,MAAM,EAAE,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9F,KAAK,GACL,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC;AAErC;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEnG;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEhG;;GAEG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAElG;;GAEG;AACH,MAAM,MAAM,8BAA8B,CAAC,CAAC,IAC1C,CAAC,SAAS,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE9D;;;;;;;GAOG;AACH,MAAM,MAAM,8BAA8B,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GACpF,CAAC,SAAS,MAAM,GACd,CAAC,GACD,KAAK,GACP,KAAK,CAAC;AAEV;;;;;;;;;;;;;;;;;;;GAmBG;AACH,KAAK,oBAAoB,CACvB,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,KAAK,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EACtD,SAAS,SAAS,MAAM,GAAG,EAC3B,OAAO,SAAS,MAAM,GAAG,GAAG,KAAK,IAC/B,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAClD,IAAI,SAAS,IAAI,CAAC,GAAG,EAAE,MAAM,KAAK,EAAE,MAAM,QAAQ,EAAE,GAAG,CAAC,GACtD,IAAI,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAGnD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,SAAS,KAAK,GAG9C,KAAK,CAAC,MAAM,CAAC,SAAS,SAAS,GAC7B,oBAAoB,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,GAEtE,wBAAwB,CACtB,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,SAAS,MAAM,GAC5C,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,GACjC,SAAS,EACb,SAAS,SAAS,KAAK,GAAG,MAAM,GAAG,SAAS,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,CACpF,GAEH,qBAAqB,CACnB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,SAAS,MAAM,GAC7C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,GAClC,SAAS,CACd,GACH,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAGV,wBAAsB,eAAe,CACnC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,MAAM,SAAS,OAAO,CAAC,GAAG,CAAC,EAC3B,KAAK,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAEtD,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EACvC,WAAW,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,EAC1B,eAAe,CAAC,EAAE,mBAAmB,CAAC,OAAO,CAAC,EAC9C,MAAM,CAAC,EAAE,cAAc,EACvB,gBAAgB,CAAC,EAAE,OAAO,GACzB,OAAO,CACR,cAAc,CACZ,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CACxF,CACF,CAAC;AAGF,wBAAsB,eAAe,CACnC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,eAAe,SAAS,MAAM,GAAG,EACjC,MAAM,SAAS,OAAO,CAAC,GAAG,CAAC,EAC3B,KAAK,SAAS,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAEtD,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,CAAC,EACjD,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,EACtD,eAAe,CAAC,EAAE,mBAAmB,CAAC,OAAO,CAAC,EAC9C,MAAM,CAAC,EAAE,cAAc,EACvB,gBAAgB,CAAC,EAAE,OAAO,GACzB,OAAO,CACR,cAAc,CAAC,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CACnG,CAAC"}