@pgflow/dsl 0.13.2 → 0.14.0

package/dist/CHANGELOG.md

@@ -1,5 +1,32 @@
 # @pgflow/dsl
 
+## 0.14.0
+
+### Minor Changes
+
+- 320a106: Add conditional step execution with skip infrastructure
+
+  **New DSL Options:**
+
+  - `if` - Run step only when input contains specified pattern
+  - `ifNot` - Run step only when input does NOT contain pattern
+  - `whenUnmet` - Control behavior when condition not met (fail/skip/skip-cascade)
+  - `retriesExhausted` - Control behavior after all retries fail (fail/skip/skip-cascade)
+
+  **New Types:**
+
+  - `ContainmentPattern<T>` - Type-safe JSON containment patterns for conditions
+  - `StepMeta` - Track skippable dependencies for proper type inference
+
+  **Schema Changes:**
+
+  - New columns: required_input_pattern, forbidden_input_pattern, when_unmet, when_exhausted, skip_reason, skipped_at
+  - New step status: 'skipped'
+  - New function: cascade_skip_steps() for skip propagation
+  - FlowShape condition fields for auto-compilation drift detection
+
+## 0.13.3
+
 ## 0.13.2
 
 ## 0.13.1

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

@@ -1 +1 @@
-{"version":3,"file":"compile-flow.d.ts","sourceRoot":"","sources":["../src/compile-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAsC,MAAM,UAAU,CAAC;AAEvE;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,EAAE,CA+BnD"}
+{"version":3,"file":"compile-flow.d.ts","sourceRoot":"","sources":["../src/compile-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAsC,MAAM,UAAU,CAAC;AAEvE;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,EAAE,CAsCnD"}

package/dist/compile-flow.js

@@ -7,9 +7,10 @@
  */
 export function compileFlow(flow) {
     const statements = [];
+    const escapedFlowSlug = escapeSqlLiteral(flow.slug);
     // Create the flow
     const flowOptions = formatRuntimeOptions(flow.options);
-    statements.push(`SELECT pgflow.create_flow('${flow.slug}'${flowOptions});`);
+    statements.push(`SELECT pgflow.create_flow('${escapedFlowSlug}'${flowOptions});`);
     // Add steps in the order they were defined
     for (const stepSlug of flow.stepOrder) {
         const step = flow.getStepDefinition(stepSlug);
@@ -17,7 +18,9 @@ export function compileFlow(flow) {
         // Format dependencies array if it exists
         let depsClause = '';
         if (step.dependencies.length > 0) {
-            const depsArray = step.dependencies.map((dep) => `'${dep}'`).join(', ');
+            const depsArray = step.dependencies
+                .map((dep) => `'${escapeSqlLiteral(dep)}'`)
+                .join(', ');
             depsClause = `, ARRAY[${depsArray}]`;
         }
         // Add step_type parameter for map steps
@@ -25,7 +28,7 @@ export function compileFlow(flow) {
         if (step.stepType === 'map') {
             stepTypeClause = `, step_type => 'map'`;
         }
-        statements.push(`SELECT pgflow.add_step('${flow.slug}', '${step.slug}'${depsClause}${stepOptions}${stepTypeClause});`);
+        statements.push(`SELECT pgflow.add_step('${escapedFlowSlug}', '${escapeSqlLiteral(step.slug)}'${depsClause}${stepOptions}${stepTypeClause});`);
     }
     return statements;
 }
@@ -46,5 +49,22 @@ function formatRuntimeOptions(options) {
     if ('startDelay' in options && options.startDelay !== undefined) {
         parts.push(`start_delay => ${options.startDelay}`);
     }
+    if ('if' in options && options.if !== undefined) {
+        const jsonStr = JSON.stringify(options.if);
+        parts.push(`required_input_pattern => '${escapeSqlLiteral(jsonStr)}'`);
+    }
+    if ('ifNot' in options && options.ifNot !== undefined) {
+        const jsonStr = JSON.stringify(options.ifNot);
+        parts.push(`forbidden_input_pattern => '${escapeSqlLiteral(jsonStr)}'`);
+    }
+    if ('whenUnmet' in options && options.whenUnmet !== undefined) {
+        parts.push(`when_unmet => '${escapeSqlLiteral(options.whenUnmet)}'`);
+    }
+    if ('whenExhausted' in options && options.whenExhausted !== undefined) {
+        parts.push(`when_exhausted => '${escapeSqlLiteral(options.whenExhausted)}'`);
+    }
     return parts.length > 0 ? `, ${parts.join(', ')}` : '';
 }
+function escapeSqlLiteral(value) {
+    return value.replace(/'/g, "''");
+}

package/dist/dsl.d.ts

@@ -4,6 +4,18 @@ export type Json = string | number | boolean | null | 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,13 @@ export interface UserEnv extends Env {
 }
 export type AnyInput = Json;
 export type AnyOutput = Json;
+export type SkippableMode = 'skip' | 'skip-cascade' | false;
+export interface StepMeta<TOutput = AnyOutput, TSkippable extends SkippableMode = SkippableMode> {
+    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 +65,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 +115,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,23 +123,43 @@ 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> = {
     [K in keyof ExtractFlowSteps<TFlow> as K extends string ? K extends ExtractFlowDeps<TFlow>[keyof ExtractFlowDeps<TFlow>][number] ? never : K : never]: ExtractFlowSteps<TFlow>[K];
 };
 export type StepOutput<TFlow extends AnyFlow, TStepSlug extends string> = TStepSlug extends keyof ExtractFlowSteps<TFlow> ? ExtractFlowSteps<TFlow>[TStepSlug] : never;
+/**
+ * Gets the skippable mode for a step ('skip' | 'skip-cascade' | false)
+ * @template TFlow - The Flow type
+ * @template TStepSlug - The step slug to check
+ */
+export type GetSkippableMode<TFlow extends AnyFlow, TStepSlug extends string> = TStepSlug extends keyof ExtractFlowStepsRaw<TFlow> ? ExtractFlowStepsRaw<TFlow>[TStepSlug]['skippable'] : false;
+/**
+ * Checks if a step makes its dependents' deps optional (only 'skip' mode, not 'skip-cascade')
+ * With 'skip-cascade', dependents are also skipped at runtime, so if handler runs, dep succeeded.
+ */
+export type IsStepSkippable<TFlow extends AnyFlow, TStepSlug extends string> = GetSkippableMode<TFlow, TStepSlug> extends 'skip' ? true : false;
+type RequiredDeps<TFlow extends AnyFlow, TStepSlug extends string> = {
+    [K in Extract<keyof ExtractFlowSteps<TFlow>, StepDepsOf<TFlow, TStepSlug>> as GetSkippableMode<TFlow, K & string> extends 'skip' ? never : K]: ExtractFlowSteps<TFlow>[K];
+};
+type OptionalDeps<TFlow extends AnyFlow, TStepSlug extends string> = {
+    [K in Extract<keyof ExtractFlowSteps<TFlow>, StepDepsOf<TFlow, TStepSlug>> as GetSkippableMode<TFlow, K & string> extends 'skip' ? 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/whenExhausted: 'skip') are optional
+ *   - Cascade deps (whenUnmet/whenExhausted: 'skip-cascade') are required
+ *     (because if handler runs, the dependency must have succeeded)
+ *   - All other 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> : {
-    [K in Extract<keyof ExtractFlowSteps<TFlow>, StepDepsOf<TFlow, TStepSlug>>]: ExtractFlowSteps<TFlow>[K];
-};
+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;
@@ -160,9 +204,171 @@ export interface FlowContext<TEnv extends Env = Env, TFlowInput extends AnyInput
     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)
+ * { whenExhausted: 'fail' }
+ *
+ * @example
+ * // Skip this step after retries exhausted, continue run
+ * { whenExhausted: 'skip' }
+ *
+ * @example
+ * // Skip this step and all dependents after retries exhausted
+ * { whenExhausted: '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 whenExhausted - these always hard fail as they indicate
+ * programming errors, not runtime conditions.
+ */
+export type WhenExhaustedMode = 'fail' | 'skip' | 'skip-cascade';
+/**
+ * Helper type for dependent step handlers - creates deps object with correct optionality.
+ * Only steps with 'skip' mode (not 'skip-cascade') make deps optional.
+ * With 'skip-cascade', dependents are also skipped at runtime, so if handler runs, dep succeeded.
+ */
+type DepsWithOptionalSkippable<TSteps extends AnySteps, TDeps extends string> = {
+    [K in TDeps as K extends keyof TSteps ? TSteps[K]['skippable'] extends 'skip' ? never : K : K]: K extends keyof TSteps ? TSteps[K]['output'] : never;
+} & {
+    [K in TDeps as K extends keyof TSteps ? TSteps[K]['skippable'] extends 'skip' ? 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
+     * { whenExhausted: 'fail' }        // Step fails -> run fails
+     * { whenExhausted: 'skip' }        // Skip step, continue run
+     * { whenExhausted: 'skip-cascade' } // Skip step + all dependents
+     *
+     * @remarks
+     * Only applies after maxAttempts retries are exhausted.
+     * TYPE_VIOLATION errors always fail regardless of this setting.
+     *
+     * @see WhenExhaustedMode for detailed documentation of each mode
+     */
+    whenExhausted?: WhenExhaustedMode;
+}
+interface BaseStepRuntimeOptions extends RuntimeOptions {
+    startDelay?: number;
+    whenExhausted?: WhenExhaustedMode;
 }
+/**
+ * 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>;
@@ -192,28 +398,83 @@ Steps extends AnySteps = EmptySteps, StepDependencies extends AnyDeps = EmptyDep
      * 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<StepDependencies[SlugType] extends [] | readonly [] ? TFlowInput : Simplify<{
-        [K in StepDependencies[SlugType][number]]: K extends keyof Steps ? Steps[K] : never;
-    }>, // Dependent step: only deps
-    Steps[SlugType], FlowContext<TEnv, TFlowInput> & TContext>;
-    step<Slug extends string, TOutput>(opts: Simplify<{
+        [K in StepDependencies[SlugType][number] as K extends keyof Steps ? Steps[K]['skippable'] extends 'skip' ? never : K : never]: K extends keyof Steps ? Steps[K]['output'] : never;
+    } & {
+        [K in StepDependencies[SlugType][number] as K extends keyof Steps ? Steps[K]['skippable'] extends 'skip' ? 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, TRetries extends WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
+        slug: Slug extends keyof Steps ? never : Slug;
+        dependsOn?: never;
+        whenExhausted?: TRetries;
+    } & WithoutCondition & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, handler: (flowInput: TFlowInput, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<Awaited<TOutput>, TRetries extends 'skip' | 'skip-cascade' ? TRetries : false>;
+    }, StepDependencies & {
+        [K in Slug]: [];
+    }, TEnv>;
+    step<Slug extends string, TOutput, TRetries extends WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
         dependsOn?: never;
-    } & StepRuntimeOptions>, handler: (flowInput: TFlowInput, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
-        [K in Slug]: Awaited<TOutput>;
+        whenExhausted?: TRetries;
+    } & ((WithIfCondition<TFlowInput> & {
+        whenUnmet?: undefined;
+    }) | (WithIfNotCondition<TFlowInput> & {
+        whenUnmet?: undefined;
+    })) & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, handler: (flowInput: TFlowInput, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<Awaited<TOutput>, 'skip'>;
     }, StepDependencies & {
         [K in Slug]: [];
     }, TEnv>;
-    step<Slug extends string, Deps extends Extract<keyof Steps, string>, TOutput>(opts: Simplify<{
+    step<Slug extends string, TOutput, TWhenUnmet extends WhenUnmetMode, TRetries extends WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
+        slug: Slug extends keyof Steps ? never : Slug;
+        dependsOn?: never;
+        whenExhausted?: TRetries;
+    } & ((WithIfCondition<TFlowInput> & {
+        whenUnmet: TWhenUnmet;
+    }) | (WithIfNotCondition<TFlowInput> & {
+        whenUnmet: TWhenUnmet;
+    })) & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, 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' ? TWhenUnmet : TRetries extends 'skip' | 'skip-cascade' ? TRetries : false>;
+    }, StepDependencies & {
+        [K in Slug]: [];
+    }, TEnv>;
+    step<Slug extends string, Deps extends Extract<keyof Steps, string>, TOutput, TRetries extends WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
+        slug: Slug extends keyof Steps ? never : Slug;
+        dependsOn: [Deps, ...Deps[]];
+        whenExhausted?: TRetries;
+    } & WithoutCondition & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, handler: (deps: Simplify<DepsWithOptionalSkippable<Steps, Deps>>, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<Awaited<TOutput>, TRetries extends 'skip' | 'skip-cascade' ? TRetries : false>;
+    }, StepDependencies & {
+        [K in Slug]: Deps[];
+    }, TEnv>;
+    step<Slug extends string, Deps extends Extract<keyof Steps, string>, TOutput, TRetries extends WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
+        slug: Slug extends keyof Steps ? never : Slug;
+        dependsOn: [Deps, ...Deps[]];
+        whenExhausted?: TRetries;
+    } & ((WithIfCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet?: undefined;
+    }) | (WithIfNotCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet?: undefined;
+    })) & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, handler: (deps: Simplify<DepsWithOptionalSkippable<Steps, Deps>>, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<Awaited<TOutput>, 'skip'>;
+    }, StepDependencies & {
+        [K in Slug]: Deps[];
+    }, TEnv>;
+    step<Slug extends string, Deps extends Extract<keyof Steps, string>, TOutput, TWhenUnmet extends WhenUnmetMode, TRetries extends WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
         dependsOn: [Deps, ...Deps[]];
-    } & StepRuntimeOptions>, handler: (deps: {
-        [K in Deps]: K extends keyof Steps ? Steps[K] : never;
-    }, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
-        [K in Slug]: Awaited<TOutput>;
+        whenExhausted?: TRetries;
+    } & ((WithIfCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet: TWhenUnmet;
+    }) | (WithIfNotCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet: TWhenUnmet;
+    })) & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, 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' ? TWhenUnmet : TRetries extends 'skip' | 'skip-cascade' ? TRetries : false>;
     }, StepDependencies & {
         [K in Slug]: Deps[];
     }, TEnv>;
@@ -230,21 +491,29 @@ Steps extends AnySteps = EmptySteps, StepDependencies extends AnyDeps = EmptyDep
      * @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, TOutput extends readonly any[]>(opts: Simplify<{
+    array<Slug extends string, TOutput extends readonly any[], TWhenUnmet extends WhenUnmetMode | undefined = undefined, TRetries extends WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
         dependsOn?: never;
-    } & StepRuntimeOptions>, handler: (flowInput: TFlowInput, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
-        [K in Slug]: Awaited<TOutput>;
+        whenExhausted?: TRetries;
+    } & ((WithIfCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, 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' ? TWhenUnmet : TRetries extends 'skip' | 'skip-cascade' ? TRetries : false>;
     }, StepDependencies & {
         [K in Slug]: [];
     }, TEnv>;
-    array<Slug extends string, Deps extends Extract<keyof Steps, string>, TOutput extends readonly any[]>(opts: Simplify<{
+    array<Slug extends string, Deps extends Extract<keyof Steps, string>, TOutput extends readonly any[], TWhenUnmet extends WhenUnmetMode | undefined = undefined, TRetries extends WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
         dependsOn: [Deps, ...Deps[]];
-    } & StepRuntimeOptions>, handler: (deps: {
-        [K in Deps]: K extends keyof Steps ? Steps[K] : never;
-    }, context: FlowContext<TEnv, TFlowInput> & TContext) => TOutput | Promise<TOutput>): Flow<TFlowInput, TContext, Steps & {
-        [K in Slug]: Awaited<TOutput>;
+        whenExhausted?: TRetries;
+    } & ((WithIfCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<Simplify<DepsWithOptionalSkippable<Steps, Deps>>> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, 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' ? TWhenUnmet : TRetries extends 'skip' | 'skip-cascade' ? TRetries : false>;
     }, StepDependencies & {
         [K in Slug]: Deps[];
     }, TEnv>;
@@ -259,18 +528,32 @@ 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 extends TFlowInput extends readonly (infer Item)[] ? (item: Item, context: FlowContext<TEnv, TFlowInput> & TContext) => Json | Promise<Json> : never>(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 WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
-    } & StepRuntimeOptions>, handler: THandler): Flow<TFlowInput, TContext, Steps & {
-        [K in Slug]: AwaitedReturn<THandler>[];
+        whenExhausted?: TRetries;
+    } & ((WithIfCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<TFlowInput> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, handler: THandler): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<AwaitedReturn<THandler>[], TWhenUnmet extends 'skip' | 'skip-cascade' ? TWhenUnmet : TRetries extends 'skip' | 'skip-cascade' ? TRetries : false>;
     }, StepDependencies & {
         [K in Slug]: [];
     }, TEnv>;
-    map<Slug extends string, TArrayDep extends Extract<keyof Steps, string>, THandler extends Steps[TArrayDep] extends readonly (infer Item)[] ? (item: Item, context: FlowContext<TEnv, TFlowInput> & TContext) => Json | Promise<Json> : never>(opts: Simplify<{
+    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 WhenExhaustedMode | undefined = undefined>(opts: Simplify<{
         slug: Slug extends keyof Steps ? never : Slug;
         array: TArrayDep;
-    } & StepRuntimeOptions>, handler: THandler): Flow<TFlowInput, TContext, Steps & {
-        [K in Slug]: AwaitedReturn<THandler>[];
+        whenExhausted?: TRetries;
+    } & ((WithIfCondition<{
+        [K in TArrayDep]: Steps[K]['output'];
+    }> & {
+        whenUnmet?: TWhenUnmet;
+    }) | (WithIfNotCondition<{
+        [K in TArrayDep]: Steps[K]['output'];
+    }> & {
+        whenUnmet?: TWhenUnmet;
+    }) | WithoutCondition) & Omit<BaseStepRuntimeOptions, 'whenExhausted'>>, handler: THandler): Flow<TFlowInput, TContext, Steps & {
+        [K in Slug]: StepMeta<AwaitedReturn<THandler>[], TWhenUnmet extends 'skip' | 'skip-cascade' ? TWhenUnmet : TRetries extends 'skip' | 'skip-cascade' ? TRetries : false>;
     }, StepDependencies & {
         [K in Slug]: [TArrayDep];
     }, TEnv>;

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,CAAA;CAAE,CAAC;AAG5B,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;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CAAC,KAAK,SAAS,OAAO,EAAE,SAAS,SAAS,MAAM,IACnE,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,KAAK,GACtC,gBAAgB,CAAC,KAAK,CAAC,GACvB;KACG,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;AAGR,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,CAAC,IAAI,SAAS,GAAG,GAAG,GAAG,EAAE,UAAU,SAAS,QAAQ,GAAG,QAAQ,CAAE,SAAQ,WAAW,CAAC,IAAI,CAAC;IACpH,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IAClC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;CAChC;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;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;;;;;;;;OAQG;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,CAAC;SACN,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,KAAK,GAC5D,KAAK,CAAC,CAAC,CAAC,GACR,KAAK;KACV,CAAC,EAAE,4BAA4B;IACpC,KAAK,CAAC,QAAQ,CAAC,EACf,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,CACzC;IAeD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,OAAO,EAEP,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAAC,SAAS,CAAC,EAAE,KAAK,CAAA;KAAE,GAAG,kBAAkB,CAAC,EACzG,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;SAAG,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;KAAE,EACzC,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAID,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EACzC,OAAO,EAEP,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;KAAE,GAAG,kBAAkB,CAAC,EACpH,OAAO,EAAE,CACP,IAAI,EAAE;SAAG,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK;KAAE,EAC/D,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;SAAG,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;KAAE,EACzC,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE;KAAE,EAC1C,IAAI,CACL;IA0DD;;;;;;;;;;;;OAYG;IAEH,KAAK,CACH,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,SAAS,GAAG,EAAE,EAE9B,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAAC,SAAS,CAAC,EAAE,KAAK,CAAA;KAAE,GAAG,kBAAkB,CAAC,EACzG,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;SAAG,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;KAAE,EACzC,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAID,KAAK,CACH,IAAI,SAAS,MAAM,EACnB,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EACzC,OAAO,SAAS,SAAS,GAAG,EAAE,EAE9B,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;KAAE,GAAG,kBAAkB,CAAC,EACpH,OAAO,EAAE,CACP,IAAI,EAAE;SAAG,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK;KAAE,EAC/D,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;SAAG,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;KAAE,EACzC,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE;KAAE,EAC1C,IAAI,CACL;IAQD;;;;;;;;;;OAUG;IAEH,GAAG,CACD,IAAI,SAAS,MAAM,EACnB,QAAQ,SAAS,UAAU,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GACvD,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GACvF,KAAK,EAET,IAAI,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAA;KAAE,GAAG,kBAAkB,CAAC,EACtF,OAAO,EAAE,QAAQ,GAChB,IAAI,CACL,UAAU,EACV,QAAQ,EACR,KAAK,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,EAAE;KAAE,EAClD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAGD,GAAG,CACD,IAAI,SAAS,MAAM,EACnB,SAAS,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EAC9C,QAAQ,SAAS,KAAK,CAAC,SAAS,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GAC7D,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,QAAQ,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GACvF,KAAK,EAET,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,QAAQ,GAChB,IAAI,CACL,UAAU,EACV,QAAQ,EACR,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,EAC/C,IAAI,CACL;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;AAK7B,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,cAAc,GAAG,KAAK,CAAC;AAG5D,MAAM,WAAW,QAAQ,CACvB,OAAO,GAAG,SAAS,EACnB,UAAU,SAAS,aAAa,GAAG,aAAa;IAEhD,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,gBAAgB,CAC1B,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;AAEV;;;GAGG;AACH,MAAM,MAAM,eAAe,CACzB,KAAK,SAAS,OAAO,EACrB,SAAS,SAAS,MAAM,IACtB,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;AAKrE,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,gBAAgB,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,MAAM,GACnD,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,gBAAgB,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,MAAM,GACnD,CAAC,GACD,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACxC,CAAC;AAEF;;;;;;;;;;;GAWG;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,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;AAEjE;;;;GAIG;AACH,KAAK,yBAAyB,CAC5B,MAAM,SAAS,QAAQ,EACvB,KAAK,SAAS,MAAM,IAClB;KAED,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,MAAM,MAAM,GACjC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,MAAM,GACnC,KAAK,GACL,CAAC,GACH,CAAC,GAAG,CAAC,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK;CAC7D,GAAG;KAED,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,MAAM,MAAM,GACjC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,MAAM,GACnC,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,aAAa,CAAC,EAAE,iBAAiB,CAAC;CACnC;AAGD,UAAU,sBAAuB,SAAQ,cAAc;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,iBAAiB,CAAC;CACnC;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,MAAM,GAClC,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,MAAM,GAClC,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;IAYD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,OAAO,EACP,QAAQ,SAAS,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,SAAS,CAAC,EAAE,KAAK,CAAC;QAClB,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,GAAG,gBAAgB,GAClB,IAAI,CAAC,sBAAsB,EAAE,eAAe,CAAC,CAChD,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,QAAQ,SAAS,MAAM,GAAG,cAAc,GAAG,QAAQ,GAAG,KAAK,CAC5D;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAGD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,OAAO,EACP,QAAQ,SAAS,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,SAAS,CAAC,EAAE,KAAK,CAAC;QAClB,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,GAAG,CACA,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,CAAC,EAAE,SAAS,CAAA;KAAE,CAAC,GACzD,CAAC,kBAAkB,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,CAAC,EAAE,SAAS,CAAA;KAAE,CAAC,CAC/D,GACC,IAAI,CAAC,sBAAsB,EAAE,eAAe,CAAC,CAChD,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,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;KAChD,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAGD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,OAAO,EACP,UAAU,SAAS,aAAa,EAChC,QAAQ,SAAS,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,SAAS,CAAC,EAAE,KAAK,CAAC;QAClB,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,GAAG,CACA,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,EAAE,UAAU,CAAA;KAAE,CAAC,GACzD,CAAC,kBAAkB,CAAC,UAAU,CAAC,GAAG;QAAE,SAAS,EAAE,UAAU,CAAA;KAAE,CAAC,CAC/D,GACC,IAAI,CAAC,sBAAsB,EAAE,eAAe,CAAC,CAChD,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,UAAU,GACV,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,QAAQ,GACR,KAAK,CACV;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,EAAE;KAAE,EACtC,IAAI,CACL;IAGD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EACzC,OAAO,EACP,QAAQ,SAAS,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,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,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,GAAG,gBAAgB,GAClB,IAAI,CAAC,sBAAsB,EAAE,eAAe,CAAC,CAChD,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,QAAQ,SAAS,MAAM,GAAG,cAAc,GAAG,QAAQ,GAAG,KAAK,CAC5D;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE;KAAE,EAC1C,IAAI,CACL;IAGD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EACzC,OAAO,EACP,QAAQ,SAAS,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,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,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,GAAG,CACA,CAAC,eAAe,CAAC,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG;QACnE,SAAS,CAAC,EAAE,SAAS,CAAC;KACvB,CAAC,GACF,CAAC,kBAAkB,CACjB,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CACjD,GAAG;QACF,SAAS,CAAC,EAAE,SAAS,CAAC;KACvB,CAAC,CACL,GACC,IAAI,CAAC,sBAAsB,EAAE,eAAe,CAAC,CAChD,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,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;KAChD,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE;KAAE,EAC1C,IAAI,CACL;IAGD,IAAI,CACF,IAAI,SAAS,MAAM,EACnB,IAAI,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,EACzC,OAAO,EACP,UAAU,SAAS,aAAa,EAChC,QAAQ,SAAS,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,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,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,GAAG,CACA,CAAC,eAAe,CAAC,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG;QACnE,SAAS,EAAE,UAAU,CAAC;KACvB,CAAC,GACF,CAAC,kBAAkB,CACjB,QAAQ,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CACjD,GAAG;QAAE,SAAS,EAAE,UAAU,CAAA;KAAE,CAAC,CACjC,GACC,IAAI,CAAC,sBAAsB,EAAE,eAAe,CAAC,CAChD,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,UAAU,GACV,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,QAAQ,GACR,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,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,SAAS,CAAC,EAAE,KAAK,CAAC;QAClB,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,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,eAAe,CAAC,CAChD,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,UAAU,GACV,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,QAAQ,GACR,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,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,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,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,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,eAAe,CAAC,CAChD,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,UAAU,GACV,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,QAAQ,GACR,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,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,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,eAAe,CAAC,CAChD,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,UAAU,GACV,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,QAAQ,GACR,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,iBAAiB,GAAG,SAAS,GAAG,SAAS,EAE1D,IAAI,EAAE,QAAQ,CACZ;QACE,IAAI,EAAE,IAAI,SAAS,MAAM,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;QAC9C,KAAK,EAAE,SAAS,CAAC;QACjB,aAAa,CAAC,EAAE,QAAQ,CAAC;KAC1B,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,eAAe,CAAC,CAChD,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,UAAU,GACV,QAAQ,SAAS,MAAM,GAAG,cAAc,GACxC,QAAQ,GACR,KAAK,CACV;KACF,EACD,gBAAgB,GAAG;SAAG,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC;KAAE,EAC/C,IAAI,CACL;CAyEF"}

package/dist/dsl.js

@@ -31,6 +31,7 @@ export class Flow {
      * 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
      */
@@ -39,9 +40,6 @@ 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];
     }
     // Implementation (type safety enforced by overloads above)
@@ -71,6 +69,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.whenExhausted !== undefined)
+            options.whenExhausted = opts.whenExhausted;
         // Validate runtime options (optional for step level)
         validateRuntimeOptions(options, { optional: true });
         // Create step definition (type assertions needed due to complex generic constraints)
@@ -127,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.whenExhausted !== undefined)
+            options.whenExhausted = opts.whenExhausted;
         // Validate runtime options
         validateRuntimeOptions(options, { optional: true });
         // Create the map step definition with stepType

package/dist/example-flow.d.ts

@@ -3,19 +3,19 @@ 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: [];
 } & {

package/dist/flow-shape.d.ts

@@ -1,4 +1,15 @@
-import { AnyFlow } from './dsl.js';
+import { AnyFlow, WhenUnmetMode, WhenExhaustedMode, Json } from './dsl.js';
+/**
+ * Input pattern wrapper - explicit representation to avoid null vs JSON-null ambiguity.
+ * - { defined: false } means no pattern (don't check)
+ * - { defined: true, value: Json } means pattern is set (check against value)
+ */
+export type InputPattern = {
+    defined: false;
+} | {
+    defined: true;
+    value: Json;
+};
 /**
  * Step-level options that can be included in the shape for creation,
  * but are NOT compared during shape comparison (runtime tunable).
@@ -24,11 +35,18 @@ export interface FlowShapeOptions {
  * The `options` field is included for flow creation but NOT compared during
  * shape comparison. Options can be tuned at runtime via SQL without
  * requiring recompilation. See: /deploy/tune-flow-config/
+ *
+ * `whenUnmet`, `whenExhausted`, and pattern fields ARE structural - they affect
+ * DAG execution semantics and must match between worker and database.
  */
 export interface StepShape {
     slug: string;
     stepType: 'single' | 'map';
     dependencies: string[];
+    whenUnmet: WhenUnmetMode;
+    whenExhausted: WhenExhaustedMode;
+    requiredInputPattern: InputPattern;
+    forbiddenInputPattern: InputPattern;
     options?: StepShapeOptions;
 }
 /**

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

@@ -1 +1 @@
-{"version":3,"file":"flow-shape.d.ts","sourceRoot":"","sources":["../src/flow-shape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAMnC;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,GAAG,KAAK,CAAC;IAC3B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAyBD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAwCzD;AAMD;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,SAAS,EACZ,CAAC,EAAE,SAAS,GACX,qBAAqB,CA6BvB"}
+{"version":3,"file":"flow-shape.d.ts","sourceRoot":"","sources":["../src/flow-shape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAM3E;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG;IAAE,OAAO,EAAE,KAAK,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC;AAE/E;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,GAAG,KAAK,CAAC;IAC3B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,aAAa,CAAC;IACzB,aAAa,EAAE,iBAAiB,CAAC;IACjC,oBAAoB,EAAE,YAAY,CAAC;IACnC,qBAAqB,EAAE,YAAY,CAAC;IACpC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAyBD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAoDzD;AAMD;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,SAAS,EACZ,CAAC,EAAE,SAAS,GACX,qBAAqB,CAiCvB"}

package/dist/flow-shape.js

@@ -33,6 +33,16 @@ export function extractFlowShape(flow) {
             stepType: stepDef.stepType ?? 'single',
             // Sort dependencies alphabetically for deterministic comparison
             dependencies: [...stepDef.dependencies].sort(),
+            // Condition modes are structural - they affect DAG execution semantics
+            whenUnmet: stepDef.options.whenUnmet ?? 'skip',
+            whenExhausted: stepDef.options.whenExhausted ?? 'fail',
+            // Input patterns use explicit wrapper to avoid null vs JSON-null ambiguity
+            requiredInputPattern: stepDef.options.if !== undefined
+                ? { defined: true, value: stepDef.options.if }
+                : { defined: false },
+            forbiddenInputPattern: stepDef.options.ifNot !== undefined
+                ? { defined: true, value: stepDef.options.ifNot }
+                : { defined: false },
         };
         // Only include options if at least one is defined
         const stepOptions = {
@@ -116,4 +126,23 @@ function compareSteps(a, b, index, differences) {
     if (aDeps !== bDeps) {
         differences.push(`Step at index ${index}: dependencies differ [${a.dependencies.join(', ')}] vs [${b.dependencies.join(', ')}]`);
     }
+    // Compare condition modes (structural - affects DAG execution semantics)
+    if (a.whenUnmet !== b.whenUnmet) {
+        differences.push(`Step at index ${index}: whenUnmet differs '${a.whenUnmet}' vs '${b.whenUnmet}'`);
+    }
+    if (a.whenExhausted !== b.whenExhausted) {
+        differences.push(`Step at index ${index}: whenExhausted differs '${a.whenExhausted}' vs '${b.whenExhausted}'`);
+    }
+    // Compare pattern fields (structural - affects DAG execution semantics)
+    // Uses wrapper objects: { defined: false } or { defined: true, value: Json }
+    const aReqPattern = JSON.stringify(a.requiredInputPattern);
+    const bReqPattern = JSON.stringify(b.requiredInputPattern);
+    if (aReqPattern !== bReqPattern) {
+        differences.push(`Step at index ${index}: requiredInputPattern differs '${aReqPattern}' vs '${bReqPattern}'`);
+    }
+    const aForbPattern = JSON.stringify(a.forbiddenInputPattern);
+    const bForbPattern = JSON.stringify(b.forbiddenInputPattern);
+    if (aForbPattern !== bForbPattern) {
+        differences.push(`Step at index ${index}: forbiddenInputPattern differs '${aForbPattern}' vs '${bForbPattern}'`);
+    }
 }

package/dist/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pgflow/dsl",
-  "version": "0.13.2",
+  "version": "0.14.0",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",

package/dist/utils.d.ts

@@ -1,9 +1,9 @@
 /**
  * Validates a slug string according to the following rules:
  * - Cannot start with a number
- * - Cannot start with an underscore
- * - Cannot contain spaces
- * - Cannot contain special characters like /, :, ?, #
+ * - Cannot be empty
+ * - Cannot use reserved words
+ * - Must contain only letters, numbers, and underscores
  * - Cannot be longer than 128 characters
  *
  * @param slug The slug string to validate

package/dist/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAsB/C;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,EAC5F,IAAI,GAAE,0BAAgD,GACrD,IAAI,CAiCN"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAsB/C;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE;IACP,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,EACD,IAAI,GAAE,0BAAgD,GACrD,IAAI,CAiCN"}

package/dist/utils.js

@@ -1,29 +1,29 @@
 /**
  * Validates a slug string according to the following rules:
  * - Cannot start with a number
- * - Cannot start with an underscore
- * - Cannot contain spaces
- * - Cannot contain special characters like /, :, ?, #
+ * - Cannot be empty
+ * - Cannot use reserved words
+ * - Must contain only letters, numbers, and underscores
  * - Cannot be longer than 128 characters
  *
  * @param slug The slug string to validate
  * @throws Error if the slug is invalid
  */
 export function validateSlug(slug) {
+    if (slug.length === 0) {
+        throw new Error('Slug cannot be empty');
+    }
     if (slug.length > 128) {
         throw new Error(`Slug '${slug}' cannot be longer than 128 characters`);
     }
+    if (slug === 'run') {
+        throw new Error(`Slug 'run' is reserved and cannot be used`);
+    }
     if (/^\d/.test(slug)) {
         throw new Error(`Slug '${slug}' cannot start with a number`);
     }
-    if (/^_/.test(slug)) {
-        throw new Error(`Slug '${slug}' cannot start with an underscore`);
-    }
-    if (/\s/.test(slug)) {
-        throw new Error(`Slug '${slug}' cannot contain spaces`);
-    }
-    if (/[/:#\-?]/.test(slug)) {
-        throw new Error(`Slug '${slug}' cannot contain special characters like /, :, ?, #, -`);
+    if (!/^[a-zA-Z_][a-zA-Z0-9_]*$/.test(slug)) {
+        throw new Error(`Slug '${slug}' can only contain letters, numbers, and underscores`);
     }
 }
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pgflow/dsl",
-  "version": "0.13.2",
+  "version": "0.14.0",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",