@pgflow/dsl 0.0.0-array-map-steps-cd94242a-20251008042921 → 0.0.0-condition-4354fcb6-20260108134756

package/dist/dsl.d.ts

@@ -1,9 +1,21 @@
 export type Json = string | number | boolean | null | Json[] | {
-    [key: string]: Json | undefined;
+    [key: string]: Json;
 };
 export type Simplify<T> = {
     [KeyType in keyof T]: T[KeyType];
 } & {};
+/**
+ * ContainmentPattern<T> - Type for JSON containment (@>) patterns
+ *
+ * Matches PostgreSQL's @> containment semantics where a pattern is a
+ * recursive partial structure that the target must contain:
+ * - Primitives: exact value match
+ * - Objects: all keys optional, recursively applied
+ * - Arrays: elements expected to be present in target array
+ */
+export type ContainmentPattern<T> = T extends readonly (infer U)[] ? ContainmentPattern<U>[] : T extends object ? {
+    [K in keyof T]?: ContainmentPattern<T[K]>;
+} : T;
 type AwaitedReturn<T> = T extends (...args: any[]) => Promise<infer R> ? R : T extends (...args: any[]) => infer R ? R : never;
 export interface Env {
     [key: string]: string | undefined;
@@ -13,8 +25,12 @@ export interface UserEnv extends Env {
 }
 export type AnyInput = Json;
 export type AnyOutput = Json;
+export interface StepMeta<TOutput = AnyOutput, TSkippable extends boolean = boolean> {
+    output: TOutput;
+    skippable: TSkippable;
+}
 export type EmptySteps = Record<never, never>;
-export type AnySteps = Record<string, AnyOutput>;
+export type AnySteps = Record<string, StepMeta>;
 export type EmptyDeps = Record<never, never[]>;
 export type DefaultDeps = Record<string, string[]>;
 export type AnyDeps = Record<string, string[]>;
@@ -48,10 +64,17 @@ export type ExtractFlowOutput<TFlow extends AnyFlow> = TFlow extends Flow<infer
     [K in keyof ExtractFlowLeafSteps<TFlow> as K extends string ? K : never]: StepOutput<TFlow, K & string>;
 } : never;
 /**
- * Extracts the steps type from a Flow
+ * Extracts the steps type from a Flow (unwraps StepMeta to just output types)
+ * @template TFlow - The Flow type to extract from
+ */
+export type ExtractFlowSteps<TFlow extends AnyFlow> = TFlow extends Flow<infer _TI, infer _TC, infer TS, infer _TD, infer _TEnv> ? {
+    [K in keyof TS]: TS[K]['output'];
+} : never;
+/**
+ * Extracts the raw steps type from a Flow (includes StepMeta structure with skippable info)
  * @template TFlow - The Flow type to extract from
  */
-export type ExtractFlowSteps<TFlow extends AnyFlow> = TFlow extends Flow<infer _TI, infer _TC, infer TS, infer _TD, infer _TEnv> ? TS : never;
+export type ExtractFlowStepsRaw<TFlow extends AnyFlow> = TFlow extends Flow<infer _TI, infer _TC, infer TS, infer _TD, infer _TEnv> ? TS : never;
 /**
  * Extracts the dependencies type from a Flow
  * @template TFlow - The Flow type to extract from
@@ -91,7 +114,7 @@ export type ExtractFlowContext<TFlow extends AnyFlow> = TFlow extends Flow<infer
  * }
  * ```
  */
-export type CompatibleFlow<F extends AnyFlow, PlatformResources extends Record<string, unknown>, UserResources extends Record<string, unknown> = Record<string, never>> = (FlowContext<ExtractFlowEnv<F>> & PlatformResources & UserResources) extends ExtractFlowContext<F> ? F : never;
+export type CompatibleFlow<F extends AnyFlow, PlatformResources extends Record<string, unknown>, UserResources extends Record<string, unknown> = Record<string, never>> = FlowContext<ExtractFlowEnv<F>> & PlatformResources & UserResources extends ExtractFlowContext<F> ? F : never;
 /**
  * Extracts the dependencies type from a Flow
  * @template TFlow - The Flow type to extract from
@@ -99,6 +122,7 @@ export type CompatibleFlow<F extends AnyFlow, PlatformResources extends Record<s
 type StepDepsOf<TFlow extends AnyFlow, TStepSlug extends string> = TStepSlug extends keyof ExtractFlowDeps<TFlow> ? ExtractFlowDeps<TFlow>[TStepSlug][number] : never;
 /**
  * Extracts only the leaf steps from a Flow (steps that are not dependencies of any other steps)
+ * Returns the output types, not the full StepMeta structure
  * @template TFlow - The Flow type to extract from
  */
 export type ExtractFlowLeafSteps<TFlow extends AnyFlow> = {
@@ -106,17 +130,28 @@ export type ExtractFlowLeafSteps<TFlow extends AnyFlow> = {
 };
 export type StepOutput<TFlow extends AnyFlow, TStepSlug extends string> = TStepSlug extends keyof ExtractFlowSteps<TFlow> ? ExtractFlowSteps<TFlow>[TStepSlug] : never;
 /**
- * This ensures that:
- * 1. The run input is always included
- * 2. Only declared dependencies are included
- * 3. No extra properties are allowed
- * Utility type to extract the input type for a specific step in a flow
+ * Checks if a step is skippable (has whenUnmet: 'skip' | 'skip-cascade' or retriesExhausted: 'skip' | 'skip-cascade')
+ * @template TFlow - The Flow type
+ * @template TStepSlug - The step slug to check
  */
-export type StepInput<TFlow extends AnyFlow, TStepSlug extends string> = {
-    run: ExtractFlowInput<TFlow>;
-} & {
-    [K in Extract<keyof ExtractFlowSteps<TFlow>, StepDepsOf<TFlow, TStepSlug>>]: ExtractFlowSteps<TFlow>[K];
+export type IsStepSkippable<TFlow extends AnyFlow, TStepSlug extends string> = TStepSlug extends keyof ExtractFlowStepsRaw<TFlow> ? ExtractFlowStepsRaw<TFlow>[TStepSlug]['skippable'] : false;
+type RequiredDeps<TFlow extends AnyFlow, TStepSlug extends string> = {
+    [K in Extract<keyof ExtractFlowSteps<TFlow>, StepDepsOf<TFlow, TStepSlug>> as IsStepSkippable<TFlow, K & string> extends true ? never : K]: ExtractFlowSteps<TFlow>[K];
 };
+type OptionalDeps<TFlow extends AnyFlow, TStepSlug extends string> = {
+    [K in Extract<keyof ExtractFlowSteps<TFlow>, StepDepsOf<TFlow, TStepSlug>> as IsStepSkippable<TFlow, K & string> extends true ? K : never]?: ExtractFlowSteps<TFlow>[K];
+};
+/**
+ * Asymmetric step input type:
+ * - Root steps (no dependencies): receive flow input directly
+ * - Dependent steps: receive only their dependencies (flow input available via context)
+ *   - Skippable deps (whenUnmet/retriesExhausted: 'skip' | 'skip-cascade') are optional
+ *   - Required deps are required
+ *
+ * This enables functional composition where subflows can receive typed inputs
+ * without the 'run' wrapper that previously blocked type matching.
+ */
+export type StepInput<TFlow extends AnyFlow, TStepSlug extends string> = StepDepsOf<TFlow, TStepSlug> extends never ? ExtractFlowInput<TFlow> : Simplify<RequiredDeps<TFlow, TStepSlug> & OptionalDeps<TFlow, TStepSlug>>;
 export interface RuntimeOptions {
     maxAttempts?: number;
     baseDelay?: number;
@@ -149,13 +184,183 @@ export interface BaseContext<TEnv extends Env = Env> {
     rawMessage: MessageRecord;
     workerConfig: Readonly<WorkerConfig>;
 }
-export interface FlowContext<TEnv extends Env = Env> extends BaseContext<TEnv> {
+/**
+ * Flow context extends base with stepTask and flowInput.
+ *
+ * Note: flowInput is a Promise to support lazy loading. Only root non-map steps
+ * receive flow_input from SQL; other step types lazy-load it on demand.
+ * Use `await ctx.flowInput` to access the original flow input.
+ */
+export interface FlowContext<TEnv extends Env = Env, TFlowInput extends AnyInput = AnyInput> extends BaseContext<TEnv> {
     stepTask: StepTaskRecord<AnyFlow>;
+    flowInput: Promise<TFlowInput>;
 }
 export type Context<T extends Record<string, unknown> = Record<string, never>, TEnv extends Env = Env> = FlowContext<TEnv> & T;
+/**
+ * Options for handling unmet conditions (when 'if' pattern doesn't match input)
+ *
+ * @example
+ * // Fail the step (and run) when pattern doesn't match
+ * { if: { enabled: true }, whenUnmet: 'fail' }
+ *
+ * @example
+ * // Skip this step only when pattern doesn't match
+ * { if: { enabled: true }, whenUnmet: 'skip' }
+ *
+ * @example
+ * // Skip this step and all dependents when pattern doesn't match
+ * { if: { enabled: true }, whenUnmet: 'skip-cascade' }
+ *
+ * @remarks
+ * - `'fail'`: When pattern doesn't match, step fails -> run fails (default)
+ * - `'skip'`: When pattern doesn't match, skip step and continue (step key omitted from dependent inputs)
+ * - `'skip-cascade'`: When pattern doesn't match, skip step + mark all dependents as skipped
+ */
+export type WhenUnmetMode = 'fail' | 'skip' | 'skip-cascade';
+/**
+ * Options for handling errors after all retries are exhausted
+ *
+ * @example
+ * // Fail the run after retries exhausted (default)
+ * { retriesExhausted: 'fail' }
+ *
+ * @example
+ * // Skip this step after retries exhausted, continue run
+ * { retriesExhausted: 'skip' }
+ *
+ * @example
+ * // Skip this step and all dependents after retries exhausted
+ * { retriesExhausted: 'skip-cascade' }
+ *
+ * @remarks
+ * - `'fail'`: Step fails -> run fails (default behavior)
+ * - `'skip'`: Mark step as skipped, continue run (step key omitted from dependent inputs)
+ * - `'skip-cascade'`: Skip step + mark all dependents as skipped too
+ *
+ * @note
+ * TYPE_VIOLATION errors (e.g., single step returns non-array for map dependent)
+ * are NOT subject to retriesExhausted - these always hard fail as they indicate
+ * programming errors, not runtime conditions.
+ */
+export type RetriesExhaustedMode = 'fail' | 'skip' | 'skip-cascade';
+/**
+ * Helper type for dependent step handlers - creates deps object with correct optionality.
+ * Skippable deps (steps with whenUnmet/retriesExhausted: 'skip' | 'skip-cascade') are optional.
+ * Required deps are required.
+ */
+type DepsWithOptionalSkippable<TSteps extends AnySteps, TDeps extends string> = {
+    [K in TDeps as K extends keyof TSteps ? TSteps[K]['skippable'] extends true ? never : K : K]: K extends keyof TSteps ? TSteps[K]['output'] : never;
+} & {
+    [K in TDeps as K extends keyof TSteps ? TSteps[K]['skippable'] extends true ? K : never : never]?: K extends keyof TSteps ? TSteps[K]['output'] : never;
+};
 export interface StepRuntimeOptions extends RuntimeOptions {
     startDelay?: number;
+    /**
+     * Pattern to match using PostgreSQL's @> (contains) operator
+     *
+     * @example
+     * // Root step: match against flow input
+     * { if: { role: 'admin', active: true } }
+     *
+     * @example
+     * // Dependent step: match against dependency outputs
+     * { if: { prevStep: { status: 'success' } } }
+     *
+     * @remarks
+     * - Primitives: exact value match
+     * - Objects: all keys optional, recursively applied
+     * - Arrays: elements expected to be present in target array
+     *
+     * @see WhenUnmetMode for controlling what happens when pattern doesn't match
+     */
+    if?: Json;
+    /**
+     * Negative pattern - step executes when input does NOT match this pattern
+     *
+     * @example
+     * // Root step: execute when NOT an admin
+     * { ifNot: { role: 'admin' } }
+     *
+     * @example
+     * // Combined with 'if' for AND semantics: "active admin who is NOT suspended"
+     * { if: { role: 'admin', active: true }, ifNot: { suspended: true } }
+     *
+     * @remarks
+     * - Uses PostgreSQL's @> containment check, negated
+     * - When combined with 'if', BOTH must pass (AND semantics)
+     * - For mutual exclusion: use same pattern with if on one step, ifNot on another
+     *
+     * @see WhenUnmetMode for controlling what happens when condition not met
+     */
+    ifNot?: Json;
+    /**
+     * What to do when the 'if' pattern doesn't match the input
+     *
+     * @default 'skip'
+     *
+     * @example
+     * { whenUnmet: 'fail' }        // Pattern doesn't match -> step fails -> run fails
+     * { whenUnmet: 'skip' }        // Pattern doesn't match -> skip step, continue run
+     * { whenUnmet: 'skip-cascade' } // Pattern doesn't match -> skip step + all dependents
+     *
+     * @see WhenUnmetMode for detailed documentation of each mode
+     */
+    whenUnmet?: WhenUnmetMode;
+    /**
+     * What to do when handler throws an error after all retries are exhausted
+     *
+     * @default 'fail'
+     *
+     * @example
+     * { retriesExhausted: 'fail' }        // Step fails -> run fails
+     * { retriesExhausted: 'skip' }        // Skip step, continue run
+     * { retriesExhausted: 'skip-cascade' } // Skip step + all dependents
+     *
+     * @remarks
+     * Only applies after maxAttempts retries are exhausted.
+     * TYPE_VIOLATION errors always fail regardless of this setting.
+     *
+     * @see RetriesExhaustedMode for detailed documentation of each mode
+     */
+    retriesExhausted?: RetriesExhaustedMode;
 }
+interface BaseStepRuntimeOptions extends RuntimeOptions {
+    startDelay?: number;
+    retriesExhausted?: RetriesExhaustedMode;
+}
+/**
+ * Condition with 'if' required (ifNot optional) - allows whenUnmet.
+ * whenUnmet only makes sense when there's a condition to be "unmet".
+ */
+type WithIfCondition<T> = {
+    if: ContainmentPattern<T>;
+    ifNot?: ContainmentPattern<T>;
+    whenUnmet?: WhenUnmetMode;
+};
+/**
+ * Condition with 'ifNot' required (if optional) - allows whenUnmet.
+ */
+type WithIfNotCondition<T> = {
+    if?: ContainmentPattern<T>;
+    ifNot: ContainmentPattern<T>;
+    whenUnmet?: WhenUnmetMode;
+};
+/**
+ * No condition - if, ifNot, and whenUnmet are all forbidden.
+ * This ensures whenUnmet can only be used with a condition.
+ */
+type WithoutCondition = {
+    if?: never;
+    ifNot?: never;
+    whenUnmet?: never;
+};
+/**
+ * Discriminated union for condition options.
+ * whenUnmet is only allowed when if or ifNot is provided.
+ */
+type ConditionOpts<T> = WithIfCondition<T> | WithIfNotCondition<T> | WithoutCondition;
+export type RootStepOptions<TFlowInput> = BaseStepRuntimeOptions & ConditionOpts<TFlowInput>;
+export type DependentStepOptions<TDeps> = BaseStepRuntimeOptions & ConditionOpts<TDeps>;
 export interface StepDefinition<TInput extends AnyInput, TOutput extends AnyOutput, TContext = FlowContext> {
     slug: string;
     handler: (input: TInput, context: TContext) => TOutput | Promise<TOutput>;
@@ -181,22 +386,43 @@ Steps extends AnySteps = EmptySteps, StepDependencies extends AnyDeps = EmptyDep
     } & RuntimeOptions>, stepDefinitions?: Record<string, StepDefinition<AnyInput, AnyOutput>>, stepOrder?: string[]);
     /**
      * Get a specific step definition by slug with proper typing
+     *
+     * Returns the step definition with asymmetric input typing:
+     * - Root steps (no dependencies): input is flowInput directly
+     * - Dependent steps: input is deps object only (flowInput available via context)
+     *   - Skippable deps are optional, required deps are required
+     *
      * @throws Error if the step with the given slug doesn't exist
      */
-    getStepDefinition<SlugType extends keyof Steps & keyof StepDependencies>(slug: SlugType): StepDefinition<Simplify<{
-        run: TFlowInput;
-    } & {
-        [K in StepDependencies[SlugType][number]]: K extends keyof Steps ? Steps[K] : never;
-    }>, Steps[SlugType]>;
-    step<Slug extends string, THandler extends (input: Simplify<{
-        run: TFlowInput;
+    getStepDefinition<SlugType extends keyof Steps & keyof StepDependencies>(slug: SlugType): StepDefinition<StepDependencies[SlugType] extends [] | readonly [] ? TFlowInput : Simplify<{
+        [K in StepDependencies[SlugType][number] as K extends keyof Steps ? Steps[K]['skippable'] extends true ? never : K : never]: K extends keyof Steps ? Steps[K]['output'] : never;
     } & {
-        [K in Deps]: K extends keyof Steps ? Steps[K] : never;
-    }>, context: FlowContext<TEnv> & TContext) => any, Deps extends Extract<keyof Steps, string> = never>(opts: Simplify<{
+        [K in StepDependencies[SlugType][number] as K extends keyof Steps ? Steps[K]['skippable'] extends true ? K : never : never]?: K extends keyof Steps ? Steps[K]['output'] : never;
+    }>, // Dependent step: only deps (skippable deps optional)
+    Steps[SlugType]['output'], FlowContext<TEnv, TFlowInput> & TContext>;
+    step<Slug extends string, TOutput, TWhenUnmet extends WhenUnmetMode | undefined = undefined, TRetries extends RetriesExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
-        dependsOn?: Deps[];
-    } & StepRuntimeOptions>, handler: THandler): Flow<TFlowInput, TContext, Steps & {
-        [K in Slug]: AwaitedReturn<THandler>;
+        dependsOn?: never;
+        retriesExhausted?: TRetries;
+    } & ((WithIfCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'retriesExhausted'>>, handler: (flowInput: TFlowInput, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<Awaited<TOutput>, TWhenUnmet extends 'skip' | 'skip-cascade' ? true : TRetries extends 'skip' | 'skip-cascade' ? true : false>;
+    }, StepDependencies & {
+        [K in Slug]: [];
+    }, TEnv>;
+    step<Slug extends string, Deps extends Extract<keyof Steps, string>, TOutput, TWhenUnmet extends WhenUnmetMode | undefined = undefined, TRetries extends RetriesExhaustedMode | undefined = undefined>(opts: Simplify<{
+        slug: Slug extends keyof Steps ? never : Slug;
+        dependsOn: [Deps, ...Deps[]];
+        retriesExhausted?: TRetries;
+    } & ((WithIfCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'retriesExhausted'>>, handler: (deps: Simplify<DepsWithOptionalSkippable<Steps, Deps>>, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<Awaited<TOutput>, TWhenUnmet extends 'skip' | 'skip-cascade' ? true : TRetries extends 'skip' | 'skip-cascade' ? true : false>;
     }, StepDependencies & {
         [K in Slug]: Deps[];
     }, TEnv>;
@@ -210,18 +436,32 @@ Steps extends AnySteps = EmptySteps, StepDependencies extends AnyDeps = EmptyDep
      * @template THandler - The handler function that must return an array or Promise<array>
      * @template Deps - The step dependencies (must be existing step slugs)
      * @param opts - Step configuration including slug, dependencies, and runtime options
-     * @param handler - Function that processes input and returns an array
+     * @param handler - Function that processes input and returns an array (null/undefined rejected)
      * @returns A new Flow instance with the array step added
      */
-    array<Slug extends string, THandler extends (input: Simplify<{
-        run: TFlowInput;
-    } & {
-        [K in Deps]: K extends keyof Steps ? Steps[K] : never;
-    }>, context: BaseContext & TContext) => Array<Json> | Promise<Array<Json>>, Deps extends Extract<keyof Steps, string> = never>(opts: Simplify<{
+    array<Slug extends string, TOutput extends readonly any[], TWhenUnmet extends WhenUnmetMode | undefined = undefined, TRetries extends RetriesExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
-        dependsOn?: Deps[];
-    } & StepRuntimeOptions>, handler: THandler): Flow<TFlowInput, TContext, Steps & {
-        [K in Slug]: AwaitedReturn<THandler>;
+        dependsOn?: never;
+        retriesExhausted?: TRetries;
+    } & ((WithIfCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'retriesExhausted'>>, handler: (flowInput: TFlowInput, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<Awaited<TOutput>, TWhenUnmet extends 'skip' | 'skip-cascade' ? true : TRetries extends 'skip' | 'skip-cascade' ? true : false>;
+    }, StepDependencies & {
+        [K in Slug]: [];
+    }, TEnv>;
+    array<Slug extends string, Deps extends Extract<keyof Steps, string>, TOutput extends readonly any[], TWhenUnmet extends WhenUnmetMode | undefined = undefined, TRetries extends RetriesExhaustedMode | undefined = undefined>(opts: Simplify<{
+        slug: Slug extends keyof Steps ? never : Slug;
+        dependsOn: [Deps, ...Deps[]];
+        retriesExhausted?: TRetries;
+    } & ((WithIfCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'retriesExhausted'>>, handler: (deps: Simplify<DepsWithOptionalSkippable<Steps, Deps>>, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<Awaited<TOutput>, TWhenUnmet extends 'skip' | 'skip-cascade' ? true : TRetries extends 'skip' | 'skip-cascade' ? true : false>;
     }, StepDependencies & {
         [K in Slug]: Deps[];
     }, TEnv>;
@@ -236,21 +476,35 @@ Steps extends AnySteps = EmptySteps, StepDependencies extends AnyDeps = EmptyDep
      * @param handler - Function that processes individual array elements
      * @returns A new Flow instance with the map step added
      */
-    map<Slug extends string, THandler>(opts: Simplify<{
+    map<Slug extends string, THandler extends TFlowInput extends readonly (infer Item)[] ? (item: Item, context: FlowContext<TEnv, TFlowInput> & TContext) => Json | Promise<Json> : never, TWhenUnmet extends WhenUnmetMode | undefined = undefined, TRetries extends RetriesExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
-    } & StepRuntimeOptions>, handler: TFlowInput extends readonly (infer Item)[] ? THandler & ((item: Item, context: BaseContext & TContext) => Json | Promise<Json>) : never): Flow<TFlowInput, TContext & BaseContext, Steps & {
-        [K in Slug]: AwaitedReturn<THandler>[];
+        retriesExhausted?: TRetries;
+    } & ((WithIfCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'retriesExhausted'>>, handler: THandler): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<AwaitedReturn<THandler>[], TWhenUnmet extends 'skip' | 'skip-cascade' ? true : TRetries extends 'skip' | 'skip-cascade' ? true : false>;
     }, StepDependencies & {
         [K in Slug]: [];
-    }>;
-    map<Slug extends string, TArrayDep extends Extract<keyof Steps, string>, THandler>(opts: Simplify<{
+    }, TEnv>;
+    map<Slug extends string, TArrayDep extends Extract<keyof Steps, string>, THandler extends Steps[TArrayDep]['output'] extends readonly (infer Item)[] ? (item: Item, context: FlowContext<TEnv, TFlowInput> & TContext) => Json | Promise<Json> : never, TWhenUnmet extends WhenUnmetMode | undefined = undefined, TRetries extends RetriesExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
         array: TArrayDep;
-    } & StepRuntimeOptions>, handler: Steps[TArrayDep] extends readonly (infer Item)[] ? THandler & ((item: Item, context: BaseContext & TContext) => Json | Promise<Json>) : never): Flow<TFlowInput, TContext & BaseContext, Steps & {
-        [K in Slug]: AwaitedReturn<THandler>[];
+        retriesExhausted?: TRetries;
+    } & ((WithIfCondition<{
+        [K in TArrayDep]: Steps[K]['output'];
+    }> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<{
+        [K in TArrayDep]: Steps[K]['output'];
+    }> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'retriesExhausted'>>, handler: THandler): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<AwaitedReturn<THandler>[], TWhenUnmet extends 'skip' | 'skip-cascade' ? true : TRetries extends 'skip' | 'skip-cascade' ? true : false>;
     }, StepDependencies & {
         [K in Slug]: [TArrayDep];
-    }>;
+    }, TEnv>;
 }
 export {};
 //# sourceMappingURL=dsl.d.ts.map

package/dist/dsl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dsl.d.ts","sourceRoot":"","sources":["../src/dsl.ts"],"names":[],"mappings":"AAOA,MAAM,MAAM,IAAI,GACZ,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,IAAI,EAAE,GACN;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;CAAE,CAAC;AAGxC,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KAAG,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;CAAE,GAAG,EAAE,CAAC;AAKpE,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,GAClE,CAAC,GACD,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,GACnC,CAAC,GACD,KAAK,CAAC;AAOZ,MAAM,WAAW,GAAG;IAClB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CACnC;AAGD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC;AAKpD,MAAM,WAAW,OAAQ,SAAQ,GAAG;CAAG;AAOvC,MAAM,MAAM,QAAQ,GAAG,IAAI,CAAC;AAC5B,MAAM,MAAM,SAAS,GAAG,IAAI,CAAC;AAG7B,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC9C,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AAGjD,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/C,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;AACnD,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;AAM/C;;GAEG;AAEH,MAAM,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAMpD;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACtE,MAAM,EAAE,EACR,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,KAAK,CACZ,GACG,EAAE,GACF,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,OAAO,IAAI;KAChD,CAAC,IAAI,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;CACnE,CAAC,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC;AAE1C;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACvE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,KAAK,CACZ,GACG;KACG,CAAC,IAAI,MAAM,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,GACvD,CAAC,GACD,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC;CAC1C,GACD,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACtE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,EAAE,EACR,MAAM,GAAG,EACT,MAAM,KAAK,CACZ,GACG,EAAE,GACF,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,eAAe,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACrE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,EAAE,EACR,MAAM,KAAK,CACZ,GACG,EAAE,GACF,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACpE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,IAAI,CACX,GACG,IAAI,GACJ,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACxE,MAAM,GAAG,EACT,MAAM,EAAE,EACR,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,IAAI,CACX,GACG,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,GACtB,KAAK,CAAC;AAEV;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,OAAO,EACjB,iBAAiB,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjD,aAAa,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAErE,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,iBAAiB,GAAG,aAAa,CAAC,SAAS,kBAAkB,CAAC,CAAC,CAAC,GAC9F,CAAC,GACD,KAAK,CAAC;AAEZ;;;GAGG;AACH,KAAK,UAAU,CACb,KAAK,SAAS,OAAO,EACrB,SAAS,SAAS,MAAM,IACtB,SAAS,SAAS,MAAM,eAAe,CAAC,KAAK,CAAC,GAC9C,eAAe,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GACzC,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAAC,KAAK,SAAS,OAAO,IAAI;KACvD,CAAC,IAAI,MAAM,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,GACnD,CAAC,SAAS,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GACpE,KAAK,GACL,CAAC,GACH,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACvC,CAAC;AAKF,MAAM,MAAM,UAAU,CACpB,KAAK,SAAS,OAAO,EACrB,SAAS,SAAS,MAAM,IACtB,SAAS,SAAS,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAC/C,gBAAgB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,GAClC,KAAK,CAAC;AAEV;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,CAAC,KAAK,SAAS,OAAO,EAAE,SAAS,SAAS,MAAM,IAAI;IACvE,GAAG,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;CAC9B,GAAG;KACD,CAAC,IAAI,OAAO,CACX,MAAM,gBAAgB,CAAC,KAAK,CAAC,EAC7B,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAC7B,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAC/B,CAAC;AAGF,MAAM,WAAW,cAAc;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAGD,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAGD,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,IAAI,CAAC;CACf;AAGD,MAAM,WAAW,cAAc,CAAC,KAAK,SAAS,OAAO;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,IAAI,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;CAChB;AAGD,MAAM,WAAW,WAAW,CAAC,IAAI,SAAS,GAAG,GAAG,GAAG;IACjD,GAAG,EAAE,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9B,cAAc,EAAE,WAAW,CAAC;IAC5B,UAAU,EAAE,aAAa,CAAC;IAC1B,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;CACtC;AAGD,MAAM,WAAW,WAAW,CAAC,IAAI,SAAS,GAAG,GAAG,GAAG,CAAE,SAAQ,WAAW,CAAC,IAAI,CAAC;IAC5E,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;CACnC;AAGD,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,IAAI,SAAS,GAAG,GAAG,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAG/H,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAGD,MAAM,WAAW,cAAc,CAC7B,MAAM,SAAS,QAAQ,EACvB,OAAO,SAAS,SAAS,EACzB,QAAQ,GAAG,WAAW;IAEtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1E,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,EAAE,kBAAkB,CAAC;IAC5B,QAAQ,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC;CAC7B;AAMD,qBAAa,IAAI,CACf,UAAU,SAAS,QAAQ,GAAG,QAAQ,EAEtC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,8DAA8D;AAC7G,KAAK,SAAS,QAAQ,GAAG,UAAU,EACnC,gBAAgB,SAAS,OAAO,GAAG,SAAS,EAC5C,IAAI,SAAS,GAAG,GAAG,GAAG;IAEtB;;;;;;OAMG;IACH,OAAO,CAAC,eAAe,CAAsD;IAC7E,SAAgB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpC,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAgB,OAAO,EAAE,cAAc,CAAC;gBAGtC,MAAM,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,cAAc,CAAC,EACnD,eAAe,GAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAM,EACzE,SAAS,GAAE,MAAM,EAAO;IAkB1B;;;OAGG;IACH,iBAAiB,CAAC,QAAQ,SAAS,MAAM,KAAK,GAAG,MAAM,gBAAgB,EACrE,IAAI,EAAE,QAAQ,GACb,cAAc,CACf,QAAQ,CACN;QACE,GAAG,EAAE,UAAU,CAAC;KACjB,GAAG;SACD,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,KAAK,GAC5D,KAAK,CAAC,CAAC,CAAC,GACR,KAAK;KACV,CACF,EACD,KAAK,CAAC,QAAQ,CAAC,CAChB;IAeD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,QAAQ,SAAS,CACf,KAAK,EAAE,QAAQ,CACb;QACE,GAAG,EAAE,UAAU,CAAC;KACjB,GAAG;SACD,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK;KACtD,CACF,EACD,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,KAClC,GAAG,EACR,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,GAAG,KAAK,EAEjD,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAA;KAAE,GAAG,kBAAkB,CAAC,EAC1G,OAAO,EAAE,QAAQ,GAChB,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC;KAAE,EAChD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE;KAAE,EAC1C,IAAI,CACL;IA0ED;;;;;;;;;;;;OAYG;IACH,KAAK,CACH,IAAI,SAAS,MAAM,EACnB,QAAQ,SAAS,CACf,KAAK,EAAE,QAAQ,CACb;QACE,GAAG,EAAE,UAAU,CAAC;KACjB,GAAG;SACD,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK;KACtD,CACF,EACD,OAAO,EAAE,WAAW,GAAG,QAAQ,KAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EACvC,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,GAAG,KAAK,EAEjD,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAA;KAAE,GAAG,kBAAkB,CAAC,EAC1G,OAAO,EAAE,QAAQ,GAChB,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC;KAAE,EAChD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE;KAAE,EAC1C,IAAI,CACL;IAKD;;;;;;;;;;OAUG;IAEH,GAAG,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,EAC/B,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAA;KAAE,GAAG,kBAAkB,CAAC,EACtF,OAAO,EAAE,UAAU,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GAC/C,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,GAAG,QAAQ,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAClF,KAAK,GACR,IAAI,CACL,UAAU,EACV,QAAQ,GAAG,WAAW,EACtB,KAAK,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,EAAE;KAAE,EAClD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,CACvC;IAGD,GAAG,CAAC,IAAI,SAAS,MAAM,EAAE,SAAS,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EAAE,QAAQ,EAC/E,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAAC,KAAK,EAAE,SAAS,CAAA;KAAE,GAAG,kBAAkB,CAAC,EACxG,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GACrD,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,GAAG,QAAQ,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAClF,KAAK,GACR,IAAI,CACL,UAAU,EACV,QAAQ,GAAG,WAAW,EACtB,KAAK,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,EAAE;KAAE,EAClD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC;KAAE,CAChD;CA8DF"}
+{"version":3,"file":"dsl.d.ts","sourceRoot":"","sources":["../src/dsl.ts"],"names":[],"mappings":"AAOA,MAAM,MAAM,IAAI,GACZ,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,IAAI,EAAE,GACN;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAG5B,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KAAG,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;CAAE,GAAG,EAAE,CAAC;AAEpE;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC9D,kBAAkB,CAAC,CAAC,CAAC,EAAE,GACvB,CAAC,SAAS,MAAM,GAChB;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC7C,CAAC,CAAC;AAKN,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,GAClE,CAAC,GACD,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,GACrC,CAAC,GACD,KAAK,CAAC;AAOV,MAAM,WAAW,GAAG;IAClB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CACnC;AAGD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC;AAKpD,MAAM,WAAW,OAAQ,SAAQ,GAAG;CAAG;AAOvC,MAAM,MAAM,QAAQ,GAAG,IAAI,CAAC;AAC5B,MAAM,MAAM,SAAS,GAAG,IAAI,CAAC;AAI7B,MAAM,WAAW,QAAQ,CACvB,OAAO,GAAG,SAAS,EACnB,UAAU,SAAS,OAAO,GAAG,OAAO;IAEpC,MAAM,EAAE,OAAO,CAAC;IAChB,SAAS,EAAE,UAAU,CAAC;CACvB;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAE9C,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAGhD,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/C,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;AACnD,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;AAM/C;;GAEG;AAEH,MAAM,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAMpD;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACtE,MAAM,EAAE,EACR,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,KAAK,CACZ,GACG,EAAE,GACF,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,OAAO,IAAI;KAChD,CAAC,IAAI,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;CACnE,CAAC,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC;AAE1C;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACvE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,KAAK,CACZ,GACG;KACG,CAAC,IAAI,MAAM,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,GACvD,CAAC,GACD,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC;CAC1C,GACD,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACtE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,EAAE,EACR,MAAM,GAAG,EACT,MAAM,KAAK,CACZ,GACG;KAAG,CAAC,IAAI,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;CAAE,GACpC,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,mBAAmB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACzE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,EAAE,EACR,MAAM,GAAG,EACT,MAAM,KAAK,CACZ,GACG,EAAE,GACF,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,eAAe,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACrE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,EAAE,EACR,MAAM,KAAK,CACZ,GACG,EAAE,GACF,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACpE,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,IAAI,CACX,GACG,IAAI,GACJ,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,CAAC,KAAK,SAAS,OAAO,IAAI,KAAK,SAAS,IAAI,CACxE,MAAM,GAAG,EACT,MAAM,EAAE,EACR,MAAM,GAAG,EACT,MAAM,GAAG,EACT,MAAM,IAAI,CACX,GACG,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,GACtB,KAAK,CAAC;AAEV;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,OAAO,EACjB,iBAAiB,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjD,aAAa,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IACnE,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAChC,iBAAiB,GACjB,aAAa,SAAS,kBAAkB,CAAC,CAAC,CAAC,GACzC,CAAC,GACD,KAAK,CAAC;AAEV;;;GAGG;AACH,KAAK,UAAU,CACb,KAAK,SAAS,OAAO,EACrB,SAAS,SAAS,MAAM,IACtB,SAAS,SAAS,MAAM,eAAe,CAAC,KAAK,CAAC,GAC9C,eAAe,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GACzC,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,CAAC,KAAK,SAAS,OAAO,IAAI;KACvD,CAAC,IAAI,MAAM,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,GACnD,CAAC,SAAS,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GACpE,KAAK,GACL,CAAC,GACH,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACvC,CAAC;AAMF,MAAM,MAAM,UAAU,CACpB,KAAK,SAAS,OAAO,EACrB,SAAS,SAAS,MAAM,IACtB,SAAS,SAAS,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAC/C,gBAAgB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,GAClC,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,eAAe,CACzB,KAAK,SAAS,OAAO,EACrB,SAAS,SAAS,MAAM,IACtB,SAAS,SAAS,MAAM,mBAAmB,CAAC,KAAK,CAAC,GAClD,mBAAmB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,GAClD,KAAK,CAAC;AAGV,KAAK,YAAY,CAAC,KAAK,SAAS,OAAO,EAAE,SAAS,SAAS,MAAM,IAAI;KAClE,CAAC,IAAI,OAAO,CACX,MAAM,gBAAgB,CAAC,KAAK,CAAC,EAC7B,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAC7B,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,IAAI,GAChD,KAAK,GACL,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACnC,CAAC;AAEF,KAAK,YAAY,CAAC,KAAK,SAAS,OAAO,EAAE,SAAS,SAAS,MAAM,IAAI;KAClE,CAAC,IAAI,OAAO,CACX,MAAM,gBAAgB,CAAC,KAAK,CAAC,EAC7B,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAC7B,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,IAAI,GAChD,CAAC,GACD,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACxC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,OAAO,EACrB,SAAS,SAAS,MAAM,IACtB,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,KAAK,GAC1C,gBAAgB,CAAC,KAAK,CAAC,GACvB,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AAG9E,MAAM,WAAW,cAAc;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAGD,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAGD,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,IAAI,CAAC;CACf;AAGD,MAAM,WAAW,cAAc,CAAC,KAAK,SAAS,OAAO;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,IAAI,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;CAChB;AAGD,MAAM,WAAW,WAAW,CAAC,IAAI,SAAS,GAAG,GAAG,GAAG;IACjD,GAAG,EAAE,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9B,cAAc,EAAE,WAAW,CAAC;IAC5B,UAAU,EAAE,aAAa,CAAC;IAC1B,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;CACtC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW,CAC1B,IAAI,SAAS,GAAG,GAAG,GAAG,EACtB,UAAU,SAAS,QAAQ,GAAG,QAAQ,CACtC,SAAQ,WAAW,CAAC,IAAI,CAAC;IACzB,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IAClC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;CAChC;AAGD,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACzD,IAAI,SAAS,GAAG,GAAG,GAAG,IACpB,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE1B;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;AAEpE;;;;GAIG;AACH,KAAK,yBAAyB,CAC5B,MAAM,SAAS,QAAQ,EACvB,KAAK,SAAS,MAAM,IAClB;KACD,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,MAAM,MAAM,GACjC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,IAAI,GACjC,KAAK,GACL,CAAC,GACH,CAAC,GAAG,CAAC,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK;CAC7D,GAAG;KACD,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,MAAM,MAAM,GACjC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,IAAI,GACjC,CAAC,GACD,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK;CAClE,CAAC;AAIF,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB;;;;;;;;;;;;;;;;;OAiBG;IACH,EAAE,CAAC,EAAE,IAAI,CAAC;IAEV;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAK,CAAC,EAAE,IAAI,CAAC;IAEb;;;;;;;;;;;OAWG;IACH,SAAS,CAAC,EAAE,aAAa,CAAC;IAE1B;;;;;;;;;;;;;;;OAeG;IACH,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;CACzC;AAGD,UAAU,sBAAuB,SAAQ,cAAc;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;CACzC;AAED;;;GAGG;AACH,KAAK,eAAe,CAAC,CAAC,IAAI;IACxB,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC1B,KAAK,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC9B,SAAS,CAAC,EAAE,aAAa,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,KAAK,kBAAkB,CAAC,CAAC,IAAI;IAC3B,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC3B,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC7B,SAAS,CAAC,EAAE,aAAa,CAAC;CAC3B,CAAC;AAEF;;;GAGG;AACH,KAAK,gBAAgB,GAAG;IACtB,EAAE,CAAC,EAAE,KAAK,CAAC;IACX,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,SAAS,CAAC,EAAE,KAAK,CAAC;CACnB,CAAC;AAEF;;;GAGG;AACH,KAAK,aAAa,CAAC,CAAC,IAChB,eAAe,CAAC,CAAC,CAAC,GAClB,kBAAkB,CAAC,CAAC,CAAC,GACrB,gBAAgB,CAAC;AAGrB,MAAM,MAAM,eAAe,CAAC,UAAU,IAAI,sBAAsB,GAC9D,aAAa,CAAC,UAAU,CAAC,CAAC;AAG5B,MAAM,MAAM,oBAAoB,CAAC,KAAK,IAAI,sBAAsB,GAC9D,aAAa,CAAC,KAAK,CAAC,CAAC;AAGvB,MAAM,WAAW,cAAc,CAC7B,MAAM,SAAS,QAAQ,EACvB,OAAO,SAAS,SAAS,EACzB,QAAQ,GAAG,WAAW;IAEtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1E,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,EAAE,kBAAkB,CAAC;IAC5B,QAAQ,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC;CAC7B;AAGD,qBAAa,IAAI,CACf,UAAU,SAAS,QAAQ,GAAG,QAAQ,EAEtC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,8DAA8D;AAC7G,KAAK,SAAS,QAAQ,GAAG,UAAU,EACnC,gBAAgB,SAAS,OAAO,GAAG,SAAS,EAC5C,IAAI,SAAS,GAAG,GAAG,GAAG;IAEtB;;;;;;OAMG;IACH,OAAO,CAAC,eAAe,CAAsD;IAC7E,SAAgB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpC,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAgB,OAAO,EAAE,cAAc,CAAC;gBAGtC,MAAM,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,cAAc,CAAC,EACnD,eAAe,GAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAM,EACzE,SAAS,GAAE,MAAM,EAAO;IAkB1B;;;;;;;;;OASG;IACH,iBAAiB,CAAC,QAAQ,SAAS,MAAM,KAAK,GAAG,MAAM,gBAAgB,EACrE,IAAI,EAAE,QAAQ,GACb,cAAc,CACf,gBAAgB,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,GAC/C,UAAU,GACV,QAAQ,CACN;SACG,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,GAC7D,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,IAAI,GAChC,KAAK,GACL,CAAC,GACH,KAAK,GAAG,CAAC,SAAS,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK;KAC/D,GAAG;SACD,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,GAC7D,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,IAAI,GAChC,CAAC,GACD,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK;KAChE,CACF,EAAE,sDAAsD;IAC7D,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EACzB,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,CACzC;IAcD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,OAAO,EACP,UAAU,SAAS,aAAa,GAAG,SAAS,GAAG,SAAS,EACxD,QAAQ,SAAS,oBAAoB,GAAG,SAAS,GAAG,SAAS,EAE7D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,SAAS,CAAC,EAAE,KAAK,CAAC;QAClB,gBAAgB,CAAC,EAAE,QAAQ,CAAC;KAC7B,GAAG,CACA,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,GAC1D,CAAC,kBAAkB,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,GAC7D,gBAAgB,CACnB,GACC,IAAI,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CACnD,EACD,OAAO,EAAE,CACP,SAAS,EAAE,UAAU,EACrB,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,KAC9C,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAC9B,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SACL,CAAC,IAAI,IAAI,GAAG,QAAQ,CACnB,OAAO,CAAC,OAAO,CAAC,EAChB,UAAU,SAAS,MAAM,GAAG,cAAc,GACtC,IAAI,GACJ,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,IAAI,GACJ,KAAK,CACV;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAOD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EACzC,OAAO,EACP,UAAU,SAAS,aAAa,GAAG,SAAS,GAAG,SAAS,EACxD,QAAQ,SAAS,oBAAoB,GAAG,SAAS,GAAG,SAAS,EAE7D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QAC7B,gBAAgB,CAAC,EAAE,QAAQ,CAAC;KAC7B,GAAG,CACA,CAAC,eAAe,CAAC,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG;QACnE,SAAS,CAAC,EAAE,UAAU,CAAC;KACxB,CAAC,GACF,CAAC,kBAAkB,CACjB,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CACjD,GAAG;QAAE,SAAS,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,GAC/B,gBAAgB,CACnB,GACC,IAAI,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CACnD,EACD,OAAO,EAAE,CACP,IAAI,EAAE,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EACtD,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,KAC9C,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAC9B,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SACL,CAAC,IAAI,IAAI,GAAG,QAAQ,CACnB,OAAO,CAAC,OAAO,CAAC,EAChB,UAAU,SAAS,MAAM,GAAG,cAAc,GACtC,IAAI,GACJ,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,IAAI,GACJ,KAAK,CACV;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE;KAAE,EAC1C,IAAI,CACL;IA+DD;;;;;;;;;;;;OAYG;IAIH,KAAK,CACH,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,SAAS,GAAG,EAAE,EAC9B,UAAU,SAAS,aAAa,GAAG,SAAS,GAAG,SAAS,EACxD,QAAQ,SAAS,oBAAoB,GAAG,SAAS,GAAG,SAAS,EAE7D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,SAAS,CAAC,EAAE,KAAK,CAAC;QAClB,gBAAgB,CAAC,EAAE,QAAQ,CAAC;KAC7B,GAAG,CACA,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,GAC1D,CAAC,kBAAkB,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,GAC7D,gBAAgB,CACnB,GACC,IAAI,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CACnD,EACD,OAAO,EAAE,CACP,SAAS,EAAE,UAAU,EACrB,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,KAC9C,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAC9B,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SACL,CAAC,IAAI,IAAI,GAAG,QAAQ,CACnB,OAAO,CAAC,OAAO,CAAC,EAChB,UAAU,SAAS,MAAM,GAAG,cAAc,GACtC,IAAI,GACJ,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,IAAI,GACJ,KAAK,CACV;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAMD,KAAK,CACH,IAAI,SAAS,MAAM,EACnB,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EACzC,OAAO,SAAS,SAAS,GAAG,EAAE,EAC9B,UAAU,SAAS,aAAa,GAAG,SAAS,GAAG,SAAS,EACxD,QAAQ,SAAS,oBAAoB,GAAG,SAAS,GAAG,SAAS,EAE7D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QAC7B,gBAAgB,CAAC,EAAE,QAAQ,CAAC;KAC7B,GAAG,CACA,CAAC,eAAe,CAAC,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG;QACnE,SAAS,CAAC,EAAE,UAAU,CAAC;KACxB,CAAC,GACF,CAAC,kBAAkB,CACjB,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CACjD,GAAG;QAAE,SAAS,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,GAC/B,gBAAgB,CACnB,GACC,IAAI,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CACnD,EACD,OAAO,EAAE,CACP,IAAI,EAAE,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EACtD,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,KAC9C,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAC9B,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SACL,CAAC,IAAI,IAAI,GAAG,QAAQ,CACnB,OAAO,CAAC,OAAO,CAAC,EAChB,UAAU,SAAS,MAAM,GAAG,cAAc,GACtC,IAAI,GACJ,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,IAAI,GACJ,KAAK,CACV;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE;KAAE,EAC1C,IAAI,CACL;IAQD;;;;;;;;;;OAUG;IAIH,GAAG,CACD,IAAI,SAAS,MAAM,EACnB,QAAQ,SAAS,UAAU,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GACvD,CACE,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,KAC9C,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GACzB,KAAK,EACT,UAAU,SAAS,aAAa,GAAG,SAAS,GAAG,SAAS,EACxD,QAAQ,SAAS,oBAAoB,GAAG,SAAS,GAAG,SAAS,EAE7D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,gBAAgB,CAAC,EAAE,QAAQ,CAAC;KAC7B,GAAG,CACA,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,GAC1D,CAAC,kBAAkB,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,GAC7D,gBAAgB,CACnB,GACC,IAAI,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CACnD,EACD,OAAO,EAAE,QAAQ,GAChB,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SACL,CAAC,IAAI,IAAI,GAAG,QAAQ,CACnB,aAAa,CAAC,QAAQ,CAAC,EAAE,EACzB,UAAU,SAAS,MAAM,GAAG,cAAc,GACtC,IAAI,GACJ,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,IAAI,GACJ,KAAK,CACV;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAKD,GAAG,CACD,IAAI,SAAS,MAAM,EACnB,SAAS,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EAC9C,QAAQ,SAAS,KAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GACvE,CACE,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,KAC9C,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GACzB,KAAK,EACT,UAAU,SAAS,aAAa,GAAG,SAAS,GAAG,SAAS,EACxD,QAAQ,SAAS,oBAAoB,GAAG,SAAS,GAAG,SAAS,EAE7D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,KAAK,EAAE,SAAS,CAAC;QACjB,gBAAgB,CAAC,EAAE,QAAQ,CAAC;KAC7B,GAAG,CACA,CAAC,eAAe,CAAC;SAAG,CAAC,IAAI,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;KAAE,CAAC,GAAG;QAC3D,SAAS,CAAC,EAAE,UAAU,CAAC;KACxB,CAAC,GACF,CAAC,kBAAkB,CAAC;SAAG,CAAC,IAAI,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;KAAE,CAAC,GAAG;QAC9D,SAAS,CAAC,EAAE,UAAU,CAAC;KACxB,CAAC,GACF,gBAAgB,CACnB,GACC,IAAI,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CACnD,EACD,OAAO,EAAE,QAAQ,GAChB,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SACL,CAAC,IAAI,IAAI,GAAG,QAAQ,CACnB,aAAa,CAAC,QAAQ,CAAC,EAAE,EACzB,UAAU,SAAS,MAAM,GAAG,cAAc,GACtC,IAAI,GACJ,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,IAAI,GACJ,KAAK,CACV;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC;KAAE,EAC/C,IAAI,CACL;CAyEF"}

package/dist/dsl.js

@@ -27,6 +27,12 @@ export class Flow {
     }
     /**
      * Get a specific step definition by slug with proper typing
+     *
+     * Returns the step definition with asymmetric input typing:
+     * - Root steps (no dependencies): input is flowInput directly
+     * - Dependent steps: input is deps object only (flowInput available via context)
+     *   - Skippable deps are optional, required deps are required
+     *
      * @throws Error if the step with the given slug doesn't exist
      */
     getStepDefinition(slug) {
@@ -34,12 +40,9 @@ export class Flow {
         if (!(slug in this.stepDefinitions)) {
             throw new Error(`Step "${String(slug)}" does not exist in flow "${this.slug}"`);
         }
-        // Use a type assertion directive to tell TypeScript that this is safe
-        // @ts-expect-error The type system cannot track that this.stepDefinitions[slug] has the correct type
-        // but we know it's safe because we only add steps through the strongly-typed `step` method
         return this.stepDefinitions[slug];
     }
-    // SlugType extends keyof Steps & keyof StepDependencies
+    // Implementation (type safety enforced by overloads above)
     step(opts, handler) {
         const slug = opts.slug;
         // Validate the step slug
@@ -66,12 +69,20 @@ export class Flow {
             options.timeout = opts.timeout;
         if (opts.startDelay !== undefined)
             options.startDelay = opts.startDelay;
+        if (opts.if !== undefined)
+            options.if = opts.if;
+        if (opts.ifNot !== undefined)
+            options.ifNot = opts.ifNot;
+        if (opts.whenUnmet !== undefined)
+            options.whenUnmet = opts.whenUnmet;
+        if (opts.retriesExhausted !== undefined)
+            options.retriesExhausted = opts.retriesExhausted;
         // Validate runtime options (optional for step level)
         validateRuntimeOptions(options, { optional: true });
-        // Preserve the exact type of the handler
+        // Create step definition (type assertions needed due to complex generic constraints)
         const newStepDefinition = {
             slug,
-            handler: handler, // Type assertion needed due to complex generic constraints
+            handler,
             dependencies: dependencies,
             options,
         };
@@ -82,24 +93,10 @@ export class Flow {
         // Create a new stepOrder array with the new slug appended
         const newStepOrder = [...this.stepOrder, slug];
         // Create a new flow with the same slug and options but with updated type parameters
-        // We need to use type assertions here because TypeScript cannot track the exact relationship
-        // between the specific step definition types and the generic Flow type parameters
-        // This is safe because we're constructing the newStepDefinitions in a type-safe way above
+        // Type safety is enforced by the overload signatures above
         return new Flow({ slug: this.slug, ...this.options }, newStepDefinitions, newStepOrder);
     }
-    /**
-     * Add an array-returning step to the flow with compile-time type safety
-     *
-     * This method provides semantic clarity and type enforcement for steps that return arrays,
-     * while maintaining full compatibility with the existing step system by delegating to `.step()`.
-     *
-     * @template Slug - The unique identifier for this step
-     * @template THandler - The handler function that must return an array or Promise<array>
-     * @template Deps - The step dependencies (must be existing step slugs)
-     * @param opts - Step configuration including slug, dependencies, and runtime options
-     * @param handler - Function that processes input and returns an array
-     * @returns A new Flow instance with the array step added
-     */
+    // Implementation
     array(opts, handler) {
         // Delegate to existing .step() method for maximum code reuse
         return this.step(opts, handler);
@@ -136,6 +133,14 @@ export class Flow {
             options.timeout = opts.timeout;
         if (opts.startDelay !== undefined)
             options.startDelay = opts.startDelay;
+        if (opts.if !== undefined)
+            options.if = opts.if;
+        if (opts.ifNot !== undefined)
+            options.ifNot = opts.ifNot;
+        if (opts.whenUnmet !== undefined)
+            options.whenUnmet = opts.whenUnmet;
+        if (opts.retriesExhausted !== undefined)
+            options.retriesExhausted = opts.retriesExhausted;
         // Validate runtime options
         validateRuntimeOptions(options, { optional: true });
         // Create the map step definition with stepType

package/dist/example-flow.d.ts

@@ -3,21 +3,21 @@ type Input = {
     url: string;
 };
 export declare const AnalyzeWebsite: Flow<Input, {}, import("./dsl.js").EmptySteps & {
-    website: {
+    website: import("./dsl.js").StepMeta<{
         content: string;
-    };
+    }, false>;
 } & {
-    sentiment: {
+    sentiment: import("./dsl.js").StepMeta<{
         score: number;
-    };
+    }, false>;
 } & {
-    summary: {
+    summary: import("./dsl.js").StepMeta<{
         aiSummary: string;
-    };
+    }, false>;
 } & {
-    saveToDb: string;
+    saveToDb: import("./dsl.js").StepMeta<string, false>;
 }, import("./dsl.js").EmptyDeps & {
-    website: never[];
+    website: [];
 } & {
     sentiment: "website"[];
 } & {

package/dist/example-flow.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"example-flow.d.ts","sourceRoot":"","sources":["../src/example-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAGhC,KAAK,KAAK,GAAG;IACX,GAAG,EAAE,MAAM,CAAC;CACb,CAAC;AAEF,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;0BA4BxB,CAAC"}
+{"version":3,"file":"example-flow.d.ts","sourceRoot":"","sources":["../src/example-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAGhC,KAAK,KAAK,GAAG;IACX,GAAG,EAAE,MAAM,CAAC;CACb,CAAC;AAEF,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;0BAiCxB,CAAC"}