@smithers-orchestrator/scheduler 0.25.1 → 0.25.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@smithers-orchestrator/scheduler",
-  "version": "0.25.1",
+  "version": "0.25.2",
   "description": "Pure decision engine: session, scheduler, and task state management for Smithers workflows",
   "type": "module",
   "sideEffects": false,
@@ -176,8 +176,8 @@
   ],
   "dependencies": {
     "effect": "^3.21.1",
-    "@smithers-orchestrator/errors": "0.25.1",
-    "@smithers-orchestrator/graph": "0.25.1"
+    "@smithers-orchestrator/errors": "0.25.2",
+    "@smithers-orchestrator/graph": "0.25.2"
   },
   "devDependencies": {
     "@types/bun": "latest",

package/src/makeWorkflowSession.js

@@ -597,14 +597,23 @@ export function makeWorkflowSession(options = {}) {
         };
     }
     /**
-   * @param {number} [depth] recursion depth; guarded at 10 to catch decision cycles
+   * @param {number} [depth] recursion depth; a safety net for a true decision
+   *   cycle (a non-monotonic transition bug)
    * @returns {EngineDecision}
    */
     function decide(depth = 0) {
-        if (depth > 10) {
+        // Each recursion below only fires when `changed` is true, i.e. at least
+        // one task moved to a terminal/in-progress/waiting state — monotonic
+        // forward progress. A legitimate chain can therefore be as long as the
+        // number of tasks: e.g. a <Sequence> of N skipIf steps yields exactly one
+        // skip per pass (#bug: 11+ such steps tripped a hard constant-10 guard and
+        // failed a perfectly valid run). Bound by the task count + slack instead;
+        // a genuine cycle keeps recursing past the point where every task settled.
+        const maxDecideDepth = state.descriptors.size + 10;
+        if (depth > maxDecideDepth) {
             return {
                 _tag: "Failed",
-                error: new SmithersError("SCHEDULER_ERROR", "Exceeded scheduler decide() depth guard.", { depth }),
+                error: new SmithersError("SCHEDULER_ERROR", "Exceeded scheduler decide() depth guard.", { depth, maxDepth: maxDecideDepth }),
             };
         }
         if (state.cancelled) {

package/src/scheduleTasks.js

@@ -398,8 +398,20 @@ export function scheduleTasks(plan, states, descriptors, ralphState, retryWait,
                     const status = inspect(child, {
                         includeContinuedFailures: true,
                     });
-                    if (!status.terminal)
+                    if (!status.terminal) {
+                        // A failure already present in this still-running action
+                        // subtree (e.g. a failed task in a <Parallel> whose sibling
+                        // is still in flight) must be recorded as recoverable now.
+                        // Otherwise decide()'s unhandled-failure check fails the run
+                        // before the action region settles and the saga's
+                        // compensation can run — an order-dependent bug that only
+                        // bites when the failing task settles before its sibling.
+                        const before = failureRecoveryKeys.size;
+                        collectFailureKeys(child, { includeContinuedFailures: true });
+                        if (failureRecoveryKeys.size > before)
+                            failureRecoveryActive = true;
                         return walk(child);
+                    }
                     if (status.failed) {
                         failed = true;
                         break;
@@ -448,8 +460,19 @@ export function scheduleTasks(plan, states, descriptors, ralphState, retryWait,
                     const status = inspect(child, {
                         includeContinuedFailures: true,
                     });
-                    if (!status.terminal)
+                    if (!status.terminal) {
+                        // A failure already present in this still-running try child
+                        // (e.g. a failed task in a <Parallel> whose sibling is still
+                        // in flight) must be recorded as recoverable now, or decide()
+                        // fails the run before the try region settles — skipping
+                        // catch AND finally. Deferring here lets the region finish so
+                        // catch/finally run regardless of which task settles first.
+                        const before = failureRecoveryKeys.size;
+                        collectFailureKeys(child, { includeContinuedFailures: true });
+                        if (failureRecoveryKeys.size > before)
+                            failureRecoveryActive = true;
                         return walk(child);
+                    }
                     if (status.failed) {
                         tryFailed = true;
                         break;