@sensigo/realm 0.1.0

package/dist/adapters/token-bucket.js

@@ -0,0 +1,109 @@
+// Token-bucket rate limiter implementation.
+import { WorkflowError } from '../types/workflow-error.js';
+/**
+ * Token-bucket rate limiter.
+ *
+ * Starts full (burst tokens). Refills at one token per intervalMs.
+ * `pause()` stops refill and drains tokens; on resume, exactly 1 token is
+ * issued immediately and the refill timer restarts.
+ */
+export class TokenBucketRateLimiter {
+    tokens;
+    capacity;
+    intervalMs;
+    refillTimer = null;
+    resumeTimer = null;
+    resumeAt = 0;
+    waiters = [];
+    now;
+    constructor(config, now) {
+        this.capacity = config.burst;
+        this.tokens = config.burst;
+        this.intervalMs = 1000 / config.requests_per_second;
+        this.now = now ?? (() => Date.now());
+        this.startRefill();
+    }
+    acquire(signal) {
+        if (this.tokens > 0) {
+            this.tokens--;
+            return Promise.resolve();
+        }
+        return new Promise((resolve, reject) => {
+            if (signal !== undefined && signal.aborted) {
+                reject(makeAbortError());
+                return;
+            }
+            let settled = false;
+            const waiter = {
+                resolve: () => {
+                    if (settled)
+                        return;
+                    settled = true;
+                    const idx = this.waiters.indexOf(waiter);
+                    if (idx !== -1)
+                        this.waiters.splice(idx, 1);
+                    resolve();
+                },
+                cancel: () => {
+                    if (settled)
+                        return;
+                    settled = true;
+                    const idx = this.waiters.indexOf(waiter);
+                    if (idx !== -1)
+                        this.waiters.splice(idx, 1);
+                },
+            };
+            this.waiters.push(waiter);
+            if (signal !== undefined) {
+                signal.addEventListener('abort', () => {
+                    waiter.cancel();
+                    reject(makeAbortError());
+                }, { once: true });
+            }
+        });
+    }
+    pause(seconds) {
+        const newResumeAt = this.now() + seconds * 1000;
+        if (newResumeAt <= this.resumeAt)
+            return;
+        this.resumeAt = newResumeAt;
+        if (this.refillTimer !== null) {
+            clearInterval(this.refillTimer);
+            this.refillTimer = null;
+        }
+        this.tokens = 0;
+        if (this.resumeTimer !== null) {
+            clearTimeout(this.resumeTimer);
+        }
+        this.resumeTimer = setTimeout(() => {
+            this.resumeTimer = null;
+            this.resumeAt = 0;
+            this.tokens = 1;
+            this.serveOneWaiter();
+            this.startRefill();
+        }, seconds * 1000);
+    }
+    startRefill() {
+        this.refillTimer = setInterval(() => {
+            this.tokens = Math.min(this.tokens + 1, this.capacity);
+            if (this.waiters.length > 0) {
+                this.serveOneWaiter();
+            }
+        }, this.intervalMs);
+    }
+    serveOneWaiter() {
+        if (this.tokens > 0 && this.waiters.length > 0) {
+            this.tokens--;
+            this.waiters[0].resolve();
+        }
+    }
+}
+function makeAbortError() {
+    return new WorkflowError('Token bucket acquire cancelled', {
+        code: 'STEP_ABORTED',
+        category: 'ENGINE',
+        agentAction: 'report_to_user',
+        retryable: false,
+    });
+}
+//# sourceMappingURL=token-bucket.js.map

package/dist/adapters/token-bucket.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-bucket.js","sourceRoot":"","sources":["../../src/adapters/token-bucket.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAQ3D;;;;;;GAMG;AACH,MAAM,OAAO,sBAAsB;IACzB,MAAM,CAAS;IACN,QAAQ,CAAS;IACjB,UAAU,CAAS;IAC5B,WAAW,GAA0C,IAAI,CAAC;IAC1D,WAAW,GAAyC,IAAI,CAAC;IACzD,QAAQ,GAAG,CAAC,CAAC;IACJ,OAAO,GAAa,EAAE,CAAC;IACvB,GAAG,CAAe;IAEnC,YAAY,MAAsD,EAAE,GAAkB;QACpF,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;QAC3B,IAAI,CAAC,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC,mBAAmB,CAAC;QACpD,IAAI,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,WAAW,EAAE,CAAC;IACrB,CAAC;IAED,OAAO,CAAC,MAAoB;QAC1B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3B,CAAC;QAED,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YAC3C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC3C,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;gBACzB,OAAO;YACT,CAAC;YAED,IAAI,OAAO,GAAG,KAAK,CAAC;YAEpB,MAAM,MAAM,GAAW;gBACrB,OAAO,EAAE,GAAG,EAAE;oBACZ,IAAI,OAAO;wBAAE,OAAO;oBACpB,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBACzC,IAAI,GAAG,KAAK,CAAC,CAAC;wBAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;oBAC5C,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,MAAM,EAAE,GAAG,EAAE;oBACX,IAAI,OAAO;wBAAE,OAAO;oBACpB,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBACzC,IAAI,GAAG,KAAK,CAAC,CAAC;wBAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC9C,CAAC;aACF,CAAC;YAEF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAE1B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,CAAC,gBAAgB,CACrB,OAAO,EACP,GAAG,EAAE;oBACH,MAAM,CAAC,MAAM,EAAE,CAAC;oBAChB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;gBAC3B,CAAC,EACD,EAAE,IAAI,EAAE,IAAI,EAAE,CACf,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,OAAe;QACnB,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,IAAI,CAAC;QAChD,IAAI,WAAW,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QACzC,IAAI,CAAC,QAAQ,GAAG,WAAW,CAAC;QAE5B,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YAC9B,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAChC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAEhB,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YAC9B,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,GAAG,EAAE;YACjC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;YACxB,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;YAClB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;YAChB,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC,CAAC;IACrB,CAAC;IAEO,WAAW;QACjB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC,GAAG,EAAE;YAClC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,CAAC;QACH,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACtB,CAAC;IAEO,cAAc;QACpB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;IACH,CAAC;CACF;AAED,SAAS,cAAc;IACrB,OAAO,IAAI,aAAa,CAAC,gCAAgC,EAAE;QACzD,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,gBAAgB;QAC7B,SAAS,EAAE,KAAK;KACjB,CAAC,CAAC;AACL,CAAC"}

package/dist/config/secrets.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Loads key=value pairs from a .env file.
+ * Returns empty object if the file does not exist — not an error.
+ */
+export declare function loadSecrets(envPath?: string): Record<string, string>;
+/**
+ * Resolves a 'secrets.KEY_NAME' reference to its value.
+ * Strings that do not start with 'secrets.' are returned unchanged.
+ *
+ * @example
+ *   resolveSecret('secrets.API_KEY', { API_KEY: 'tok_123' }) // → 'tok_123'
+ *   resolveSecret('literal-value', {})                        // → 'literal-value'
+ */
+export declare function resolveSecret(value: string, secrets: Record<string, string>): string;
+//# sourceMappingURL=secrets.d.ts.map

package/dist/config/secrets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"secrets.d.ts","sourceRoot":"","sources":["../../src/config/secrets.ts"],"names":[],"mappings":"AAKA;;;GAGG;AACH,wBAAgB,WAAW,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAQpE;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAIpF"}

package/dist/config/secrets.js

@@ -0,0 +1,33 @@
+// Secrets loader — reads .env files without modifying process.env.
+import { readFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { parse } from 'dotenv';
+/**
+ * Loads key=value pairs from a .env file.
+ * Returns empty object if the file does not exist — not an error.
+ */
+export function loadSecrets(envPath) {
+    const filePath = resolve(envPath ?? '.env');
+    try {
+        const content = readFileSync(filePath, 'utf8');
+        return parse(content);
+    }
+    catch {
+        return {};
+    }
+}
+/**
+ * Resolves a 'secrets.KEY_NAME' reference to its value.
+ * Strings that do not start with 'secrets.' are returned unchanged.
+ *
+ * @example
+ *   resolveSecret('secrets.API_KEY', { API_KEY: 'tok_123' }) // → 'tok_123'
+ *   resolveSecret('literal-value', {})                        // → 'literal-value'
+ */
+export function resolveSecret(value, secrets) {
+    if (!value.startsWith('secrets.'))
+        return value;
+    const key = value.slice('secrets.'.length);
+    return secrets[key] ?? '';
+}
+//# sourceMappingURL=secrets.js.map

package/dist/config/secrets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"secrets.js","sourceRoot":"","sources":["../../src/config/secrets.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAE/B;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,OAA+B;IAC1E,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC"}

package/dist/engine/eligibility.d.ts

@@ -0,0 +1,50 @@
+import type { WorkflowDefinition, StepDefinition } from '../types/workflow-definition.js';
+import type { RunRecord } from '../types/run-record.js';
+import type { RunPhase } from '../types/run-record.js';
+/**
+ * Derives the run_phase from the run record fields.
+ * Called after every store write to keep run_phase consistent.
+ */
+export declare function deriveRunPhase(run: Pick<RunRecord, 'pending_gate' | 'terminal_state' | 'failed_steps' | 'terminal_reason'>): RunPhase;
+/**
+ * Evaluates whether a step's trigger_rule is satisfied given the current run state.
+ * Empty or omitted depends_on means the step has no dependencies and is always eligible
+ * at the trigger-rule level.
+ */
+export declare function triggerRuleSatisfied(step: StepDefinition, run: RunRecord): boolean;
+/**
+ * Evaluates a when-condition expression against prior step evidence.
+ * Supports: path == 'value', path != 'value', path > n, path < n, path >= n, path <= n.
+ * Returns false on parse error or missing value.
+ */
+export declare function evaluateWhenCondition(expr: string, evidenceByStep: Record<string, Record<string, unknown>>): boolean;
+/**
+ * Builds the evidenceByStep map from a run record's evidence array.
+ * Merges gate_response snapshots on top of execution snapshots so that
+ * the human's choice is accessible via context.resources.<step>.choice in when expressions.
+ */
+export declare function buildEvidenceByStep(run: RunRecord): Record<string, Record<string, unknown>>;
+/**
+ * Returns the names of all steps currently eligible for execution.
+ * Gate serialization: if any gate is open, no steps are eligible.
+ * A step is eligible if:
+ *   - not already completed, in-progress, failed, or skipped
+ *   - trigger_rule is satisfied
+ *   - when-condition (if present) is truthy
+ */
+export declare function findEligibleSteps(definition: WorkflowDefinition, run: RunRecord): string[];
+/**
+ * Returns true when every step in the workflow has been completed, failed, or skipped,
+ * and no steps are in-progress. Used to detect run completion after each step write.
+ */
+export declare function isWorkflowComplete(run: RunRecord, definition: WorkflowDefinition): boolean;
+/**
+ * After a step settles (completes, fails, or is already skipped), some downstream steps
+ * may have trigger_rules that can never be satisfied. This function marks those steps
+ * as skipped and iterates until no new skips can be derived (fixed-point).
+ *
+ * Returns the updated skipped_steps array, which may be larger than run.skipped_steps.
+ * Does not mutate the run record — callers apply the result before writing.
+ */
+export declare function propagateSkips(run: RunRecord, definition: WorkflowDefinition): string[];
+//# sourceMappingURL=eligibility.d.ts.map

package/dist/engine/eligibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eligibility.d.ts","sourceRoot":"","sources":["../../src/engine/eligibility.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,kBAAkB,EAClB,cAAc,EAEf,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAGvD;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,cAAc,GAAG,gBAAgB,GAAG,cAAc,GAAG,iBAAiB,CAAC,GAC3F,QAAQ,CAUV;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO,CA0ClF;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtD,OAAO,CAwDT;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAe3F;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,EAAE,CA8B1F;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,GAAG,OAAO,CAU1F;AAqDD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,GAAG,MAAM,EAAE,CA4CvF"}

package/dist/engine/eligibility.js

@@ -0,0 +1,267 @@
+import { resolvePath } from './render-template.js';
+/**
+ * Derives the run_phase from the run record fields.
+ * Called after every store write to keep run_phase consistent.
+ */
+export function deriveRunPhase(run) {
+    if (run.pending_gate !== undefined)
+        return 'gate_waiting';
+    if (!run.terminal_state)
+        return 'running';
+    // A terminal run that completed successfully sets terminal_reason to 'Workflow completed.'.
+    // Recovery workflows end with failed_steps non-empty but are still considered completed
+    // when the final recovery step succeeds, so terminal_reason takes precedence.
+    if (run.terminal_reason === 'Workflow completed.')
+        return 'completed';
+    if (run.failed_steps.length > 0)
+        return 'failed';
+    // terminal_state is true but the run neither completed normally nor failed — it was abandoned.
+    return 'abandoned';
+}
+/**
+ * Evaluates whether a step's trigger_rule is satisfied given the current run state.
+ * Empty or omitted depends_on means the step has no dependencies and is always eligible
+ * at the trigger-rule level.
+ */
+export function triggerRuleSatisfied(step, run) {
+    const deps = step.depends_on ?? [];
+    if (deps.length === 0)
+        return true;
+    const rule = step.trigger_rule ?? 'all_success';
+    switch (rule) {
+        case 'all_success':
+            // All deps in completed_steps, none in failed_steps.
+            return (deps.every((d) => run.completed_steps.includes(d)) &&
+                deps.every((d) => !run.failed_steps.includes(d)));
+        case 'all_failed':
+            // All deps in failed_steps.
+            return deps.every((d) => run.failed_steps.includes(d));
+        case 'all_done':
+            // All deps settled: completed, failed, or skipped (skipped deps are permanently settled).
+            return deps.every((d) => run.completed_steps.includes(d) ||
+                run.failed_steps.includes(d) ||
+                run.skipped_steps.includes(d));
+        case 'one_failed':
+            // At least one dep in failed_steps.
+            return deps.some((d) => run.failed_steps.includes(d));
+        case 'one_success':
+            // At least one dep in completed_steps.
+            return deps.some((d) => run.completed_steps.includes(d));
+        case 'none_failed':
+            // All deps in completed_steps or skipped_steps — none in failed_steps.
+            return (deps.every((d) => run.completed_steps.includes(d) || run.skipped_steps.includes(d)) &&
+                deps.every((d) => !run.failed_steps.includes(d)));
+    }
+}
+/**
+ * Evaluates a when-condition expression against prior step evidence.
+ * Supports: path == 'value', path != 'value', path > n, path < n, path >= n, path <= n.
+ * Returns false on parse error or missing value.
+ */
+export function evaluateWhenCondition(expr, evidenceByStep) {
+    // when-condition paths are relative to step outputs: "step_id.field" resolves
+    // directly against evidenceByStep (e.g. step_a.confidence == high).
+    const root = evidenceByStep;
+    const operators = [
+        [' >= ', (a, b) => a >= b],
+        [' <= ', (a, b) => a <= b],
+        [' != ', (a, b) => a !== b],
+        [' == ', (a, b) => a === b],
+        [' > ', (a, b) => a > b],
+        [' < ', (a, b) => a < b],
+    ];
+    for (const [op, compare] of operators) {
+        const idx = expr.indexOf(op);
+        if (idx === -1)
+            continue;
+        const lhsPath = expr.slice(0, idx).trim();
+        const rhs = expr.slice(idx + op.length).trim();
+        let leftVal;
+        try {
+            leftVal = resolvePath(lhsPath, root);
+        }
+        catch {
+            return false;
+        }
+        let rightVal;
+        if ((rhs.startsWith("'") && rhs.endsWith("'")) || (rhs.startsWith('"') && rhs.endsWith('"'))) {
+            rightVal = rhs.slice(1, -1);
+        }
+        else if (rhs === 'true') {
+            rightVal = true;
+        }
+        else if (rhs === 'false') {
+            rightVal = false;
+        }
+        else if (rhs === 'null') {
+            rightVal = null;
+        }
+        else {
+            const n = Number(rhs);
+            rightVal = Number.isNaN(n) ? rhs : n;
+        }
+        try {
+            return compare(leftVal, rightVal);
+        }
+        catch {
+            return false;
+        }
+    }
+    // No operator: treat the path value as a truthy/falsy boolean.
+    try {
+        const val = resolvePath(expr.trim(), root);
+        return Boolean(val);
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Builds the evidenceByStep map from a run record's evidence array.
+ * Merges gate_response snapshots on top of execution snapshots so that
+ * the human's choice is accessible via context.resources.<step>.choice in when expressions.
+ */
+export function buildEvidenceByStep(run) {
+    const evidenceByStep = {};
+    for (const snap of run.evidence) {
+        if (snap.kind === 'gate_response') {
+            // Merge gate response (including choice) into step evidence so downstream
+            // when-conditions can reference context.resources.<step>.choice.
+            evidenceByStep[snap.step_id] = {
+                ...(evidenceByStep[snap.step_id] ?? {}),
+                ...snap.output_summary,
+            };
+        }
+        else {
+            evidenceByStep[snap.step_id] = snap.output_summary;
+        }
+    }
+    return evidenceByStep;
+}
+/**
+ * Returns the names of all steps currently eligible for execution.
+ * Gate serialization: if any gate is open, no steps are eligible.
+ * A step is eligible if:
+ *   - not already completed, in-progress, failed, or skipped
+ *   - trigger_rule is satisfied
+ *   - when-condition (if present) is truthy
+ */
+export function findEligibleSteps(definition, run) {
+    // Gate serialization: if a gate is open, no new steps are eligible.
+    if (run.pending_gate !== undefined)
+        return [];
+    const evidenceByStep = buildEvidenceByStep(run);
+    const eligible = [];
+    for (const [stepName, step] of Object.entries(definition.steps)) {
+        // Already done or in-flight.
+        if (run.completed_steps.includes(stepName) ||
+            run.in_progress_steps.includes(stepName) ||
+            run.failed_steps.includes(stepName) ||
+            run.skipped_steps.includes(stepName)) {
+            continue;
+        }
+        // Trigger rule evaluation.
+        if (!triggerRuleSatisfied(step, run))
+            continue;
+        // when-condition evaluation.
+        if (step.when !== undefined) {
+            if (!evaluateWhenCondition(step.when, evidenceByStep))
+                continue;
+        }
+        eligible.push(stepName);
+    }
+    return eligible;
+}
+/**
+ * Returns true when every step in the workflow has been completed, failed, or skipped,
+ * and no steps are in-progress. Used to detect run completion after each step write.
+ */
+export function isWorkflowComplete(run, definition) {
+    const allSteps = Object.keys(definition.steps);
+    return (allSteps.every((name) => run.completed_steps.includes(name) ||
+        run.failed_steps.includes(name) ||
+        run.skipped_steps.includes(name)) && run.in_progress_steps.length === 0);
+}
+/**
+ * Returns false if a step's trigger_rule can provably never be satisfied given the
+ * current settled state. Called by propagateSkips to determine which steps to skip.
+ *
+ * "Settled" means the step is in completed_steps, failed_steps, or skipped_steps.
+ * In-progress and unsettled steps are treated as potentially resolving either way.
+ */
+function canTriggerRuleEverBeSatisfied(step, run) {
+    const deps = step.depends_on ?? [];
+    if (deps.length === 0)
+        return true;
+    const rule = step.trigger_rule ?? 'all_success';
+    switch (rule) {
+        case 'all_success':
+            // Needs every dep to succeed — impossible if any dep already failed or is skipped.
+            return deps.every((d) => !run.failed_steps.includes(d) && !run.skipped_steps.includes(d));
+        case 'all_failed':
+            // Needs every dep to fail — impossible if any dep already completed or is skipped.
+            return deps.every((d) => !run.completed_steps.includes(d) && !run.skipped_steps.includes(d));
+        case 'all_done':
+            // Always eventually satisfiable — all deps will settle (complete, fail, or be skipped)
+            // and all_done treats skipped as settled, so this can always fire.
+            return true;
+        case 'one_failed':
+            // Needs at least one dep to fail — impossible if all deps are completed or skipped
+            // (none can ever fail). A dep that is still unsettled might yet fail.
+            return deps.some((d) => run.failed_steps.includes(d) || // already satisfied
+                (!run.completed_steps.includes(d) && !run.skipped_steps.includes(d)));
+        case 'one_success':
+            // Needs at least one dep to succeed — impossible if all deps are failed or skipped
+            // (none can ever succeed). A dep that is still unsettled might yet succeed.
+            return deps.some((d) => run.completed_steps.includes(d) || // already satisfied
+                (!run.failed_steps.includes(d) && !run.skipped_steps.includes(d)));
+        case 'none_failed':
+            // Needs no dep to fail — impossible if any dep already failed.
+            return deps.every((d) => !run.failed_steps.includes(d));
+    }
+}
+/**
+ * After a step settles (completes, fails, or is already skipped), some downstream steps
+ * may have trigger_rules that can never be satisfied. This function marks those steps
+ * as skipped and iterates until no new skips can be derived (fixed-point).
+ *
+ * Returns the updated skipped_steps array, which may be larger than run.skipped_steps.
+ * Does not mutate the run record — callers apply the result before writing.
+ */
+export function propagateSkips(run, definition) {
+    const skipped = [...run.skipped_steps];
+    let changed = true;
+    while (changed) {
+        changed = false;
+        for (const [stepName, step] of Object.entries(definition.steps)) {
+            // Only evaluate steps that are not yet settled.
+            if (run.completed_steps.includes(stepName) ||
+                run.in_progress_steps.includes(stepName) ||
+                run.failed_steps.includes(stepName) ||
+                skipped.includes(stepName)) {
+                continue;
+            }
+            // Use the growing skipped set so cascading skips are detected in one pass.
+            const tempRun = { ...run, skipped_steps: skipped };
+            if (!canTriggerRuleEverBeSatisfied(step, tempRun)) {
+                skipped.push(stepName);
+                changed = true;
+                continue;
+            }
+            // A step whose when-condition evaluates to false once all its deps are settled
+            // can never become eligible — mark it skipped so isWorkflowComplete can fire.
+            if (step.when !== undefined) {
+                const deps = step.depends_on ?? [];
+                const allDepsSettled = deps.every((d) => tempRun.completed_steps.includes(d) ||
+                    tempRun.failed_steps.includes(d) ||
+                    skipped.includes(d));
+                if (allDepsSettled && !evaluateWhenCondition(step.when, buildEvidenceByStep(run))) {
+                    skipped.push(stepName);
+                    changed = true;
+                }
+            }
+        }
+    }
+    return skipped;
+}
+//# sourceMappingURL=eligibility.js.map

package/dist/engine/eligibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eligibility.js","sourceRoot":"","sources":["../../src/engine/eligibility.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,GAA4F;IAE5F,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC;IAC1D,IAAI,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAC1C,4FAA4F;IAC5F,wFAAwF;IACxF,8EAA8E;IAC9E,IAAI,GAAG,CAAC,eAAe,KAAK,qBAAqB;QAAE,OAAO,WAAW,CAAC;IACtE,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACjD,+FAA+F;IAC/F,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAoB,EAAE,GAAc;IACvE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,IAAI,GAAgB,IAAI,CAAC,YAAY,IAAI,aAAa,CAAC;IAE7D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,aAAa;YAChB,qDAAqD;YACrD,OAAO,CACL,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAClD,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CACjD,CAAC;QAEJ,KAAK,YAAY;YACf,4BAA4B;YAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAEzD,KAAK,UAAU;YACb,0FAA0F;YAC1F,OAAO,IAAI,CAAC,KAAK,CACf,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC/B,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC5B,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAChC,CAAC;QAEJ,KAAK,YAAY;YACf,oCAAoC;YACpC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAExD,KAAK,aAAa;YAChB,uCAAuC;YACvC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAE3D,KAAK,aAAa;YAChB,uEAAuE;YACvE,OAAO,CACL,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBACnF,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CACjD,CAAC;IACN,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,cAAuD;IAEvD,8EAA8E;IAC9E,oEAAoE;IACpE,MAAM,IAAI,GAAG,cAAyC,CAAC;IAEvD,MAAM,SAAS,GAAyD;QACtE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAE,CAAY,IAAK,CAAY,CAAC;QAClD,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAE,CAAY,IAAK,CAAY,CAAC;QAClD,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAE,CAAY,GAAI,CAAY,CAAC;QAChD,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAE,CAAY,GAAI,CAAY,CAAC;KACjD,CAAC;IAEF,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,SAAS;QAEzB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAE/C,IAAI,OAAgB,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,IAA+B,CAAC,CAAC;QAClE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,QAAiB,CAAC;QACtB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7F,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YAC1B,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YAC3B,QAAQ,GAAG,KAAK,CAAC;QACnB,CAAC;aAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YAC1B,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YACtB,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QAED,IAAI,CAAC;YACH,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAA+B,CAAC,CAAC;QACtE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAc;IAChD,MAAM,cAAc,GAA4C,EAAE,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,0EAA0E;YAC1E,iEAAiE;YACjE,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG;gBAC7B,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;gBACvC,GAAG,IAAI,CAAC,cAAc;aACvB,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAA8B,EAAE,GAAc;IAC9E,oEAAoE;IACpE,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAE9C,MAAM,cAAc,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,6BAA6B;QAC7B,IACE,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACtC,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACnC,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,SAAS;QACX,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC;YAAE,SAAS;QAE/C,6BAA6B;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC;gBAAE,SAAS;QAClE,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAc,EAAE,UAA8B;IAC/E,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,CACL,QAAQ,CAAC,KAAK,CACZ,CAAC,IAAI,EAAE,EAAE,CACP,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC;QAClC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC/B,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CACnC,IAAI,GAAG,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,CACxC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,6BAA6B,CAAC,IAAoB,EAAE,GAAc;IACzE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,IAAI,GAAgB,IAAI,CAAC,YAAY,IAAI,aAAa,CAAC;IAE7D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,aAAa;YAChB,mFAAmF;YACnF,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5F,KAAK,YAAY;YACf,mFAAmF;YACnF,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/F,KAAK,UAAU;YACb,uFAAuF;YACvF,mEAAmE;YACnE,OAAO,IAAI,CAAC;QAEd,KAAK,YAAY;YACf,mFAAmF;YACnF,sEAAsE;YACtE,OAAO,IAAI,CAAC,IAAI,CACd,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,oBAAoB;gBACpD,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CACvE,CAAC;QAEJ,KAAK,aAAa;YAChB,mFAAmF;YACnF,4EAA4E;YAC5E,OAAO,IAAI,CAAC,IAAI,CACd,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,oBAAoB;gBACvD,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CACpE,CAAC;QAEJ,KAAK,aAAa;YAChB,+DAA+D;YAC/D,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,GAAc,EAAE,UAA8B;IAC3E,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC;IACvC,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,gDAAgD;YAChD,IACE,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACtC,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACxC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACnC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAC1B,CAAC;gBACD,SAAS;YACX,CAAC;YAED,2EAA2E;YAC3E,MAAM,OAAO,GAAc,EAAE,GAAG,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC;YAC9D,IAAI,CAAC,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvB,OAAO,GAAG,IAAI,CAAC;gBACf,SAAS;YACX,CAAC;YAED,+EAA+E;YAC/E,8EAA8E;YAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;gBACnC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAC/B,CAAC,CAAC,EAAE,EAAE,CACJ,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;oBACnC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAChC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CACtB,CAAC;gBACF,IAAI,cAAc,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAClF,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACvB,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/engine/error-resolution.d.ts

@@ -0,0 +1,20 @@
+import type { WorkflowError, AgentAction } from '../types/workflow-error.js';
+/**
+ * Resolves the agent action for errors that occur before claimStep runs —
+ * outer MCP catch blocks, store pre-flight failures, and makeErrorEnvelope(run=null)
+ * paths inside the execution loop.
+ *
+ * `provide_input` and `resolve_precondition` cannot apply at this stage: the
+ * failure came from infrastructure, never from the agent's submitted arguments.
+ */
+export declare function resolvePreExecutionAgentAction(err: WorkflowError): AgentAction;
+/**
+ * Resolves the agent action for errors that occur after claimStep has completed
+ * successfully and the step is in `in_progress_steps`. Call this only in that
+ * context. `isTerminalRun` must be `run.terminal_state` from the persisted or
+ * failed run record after dispatch — do not pass a derived or assumed value.
+ *
+ * 'wait_and_proceed' passes through unchanged in all non-terminal cases.
+ */
+export declare function resolvePostDispatchAgentAction(err: WorkflowError, isTerminalRun: boolean): AgentAction;
+//# sourceMappingURL=error-resolution.d.ts.map

package/dist/engine/error-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-resolution.d.ts","sourceRoot":"","sources":["../../src/engine/error-resolution.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAE7E;;;;;;;GAOG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,aAAa,GAAG,WAAW,CAK9E;AAED;;;;;;;GAOG;AACH,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,aAAa,EAClB,aAAa,EAAE,OAAO,GACrB,WAAW,CAOb"}

package/dist/engine/error-resolution.js

@@ -0,0 +1,32 @@
+/**
+ * Resolves the agent action for errors that occur before claimStep runs —
+ * outer MCP catch blocks, store pre-flight failures, and makeErrorEnvelope(run=null)
+ * paths inside the execution loop.
+ *
+ * `provide_input` and `resolve_precondition` cannot apply at this stage: the
+ * failure came from infrastructure, never from the agent's submitted arguments.
+ */
+export function resolvePreExecutionAgentAction(err) {
+    if (err.agentAction === 'provide_input' || err.agentAction === 'resolve_precondition') {
+        return 'report_to_user';
+    }
+    return err.agentAction;
+}
+/**
+ * Resolves the agent action for errors that occur after claimStep has completed
+ * successfully and the step is in `in_progress_steps`. Call this only in that
+ * context. `isTerminalRun` must be `run.terminal_state` from the persisted or
+ * failed run record after dispatch — do not pass a derived or assumed value.
+ *
+ * 'wait_and_proceed' passes through unchanged in all non-terminal cases.
+ */
+export function resolvePostDispatchAgentAction(err, isTerminalRun) {
+    if (isTerminalRun)
+        return 'stop';
+    const raw = err.agentAction;
+    if (raw === 'stop' || raw === 'provide_input' || raw === 'resolve_precondition') {
+        return 'report_to_user';
+    }
+    return raw;
+}
+//# sourceMappingURL=error-resolution.js.map

package/dist/engine/error-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-resolution.js","sourceRoot":"","sources":["../../src/engine/error-resolution.ts"],"names":[],"mappings":"AAGA;;;;;;;GAOG;AACH,MAAM,UAAU,8BAA8B,CAAC,GAAkB;IAC/D,IAAI,GAAG,CAAC,WAAW,KAAK,eAAe,IAAI,GAAG,CAAC,WAAW,KAAK,sBAAsB,EAAE,CAAC;QACtF,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,OAAO,GAAG,CAAC,WAAW,CAAC;AACzB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAAkB,EAClB,aAAsB;IAEtB,IAAI,aAAa;QAAE,OAAO,MAAM,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC;IAC5B,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,eAAe,IAAI,GAAG,KAAK,sBAAsB,EAAE,CAAC;QAChF,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}