@n8n/engine 0.16.1 → 0.17.0

package/dist/execution/loop-ledger.d.ts

@@ -0,0 +1,7 @@
+import type { WorkflowGraph, WorkflowLoop } from '../graph';
+import { type StepStatus } from './execution.types';
+import type { StepStore, StepSummary } from './step-store';
+export declare function endsLoop(status: StepStatus, loopSlotFilled: boolean): boolean;
+export declare function isTerminalStep(step: StepSummary): boolean;
+export declare function exitSourcesInto(graph: WorkflowGraph, loops: WorkflowLoop[], targetNodeIds: string[]): string[];
+export declare function loadTerminalIterations(stepStore: StepStore, executionId: string, batchNodeIds: string[]): Promise<Map<string, number>>;

package/dist/execution/loop-ledger.js

@@ -0,0 +1,38 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.endsLoop = endsLoop;
+exports.isTerminalStep = isTerminalStep;
+exports.exitSourcesInto = exitSourcesInto;
+exports.loadTerminalIterations = loadTerminalIterations;
+const execution_types_1 = require("./execution.types");
+const iteration_mapping_1 = require("./iteration-mapping");
+const LOOP_SLOT = 1;
+function endsLoop(status, loopSlotFilled) {
+    return (0, execution_types_1.isSettledStatus)(status) && !loopSlotFilled;
+}
+function isTerminalStep(step) {
+    return endsLoop(step.status, Boolean(step.filledOutputSlots[LOOP_SLOT]));
+}
+function exitSourcesInto(graph, loops, targetNodeIds) {
+    if (loops.length === 0)
+        return [];
+    const targets = new Set(targetNodeIds);
+    const sources = new Set();
+    for (const edge of graph.edges) {
+        if (targets.has(edge.to) && (0, iteration_mapping_1.classifyEdge)(edge, loops) === 'exit')
+            sources.add(edge.from);
+    }
+    return [...sources];
+}
+async function loadTerminalIterations(stepStore, executionId, batchNodeIds) {
+    if (batchNodeIds.length === 0)
+        return new Map();
+    const latest = await stepStore.loadLatestStepSummaries(executionId, batchNodeIds);
+    const terminalIterations = new Map();
+    for (const [batchNodeId, step] of Object.entries(latest)) {
+        if (isTerminalStep(step))
+            terminalIterations.set(batchNodeId, step.iteration);
+    }
+    return terminalIterations;
+}
+//# sourceMappingURL=loop-ledger.js.map

package/dist/execution/loop-ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop-ledger.js","sourceRoot":"","sources":["../../src/execution/loop-ledger.ts"],"names":[],"mappings":";;;;;;AACA,uDAAqE;AACrE,2DAAmD;AAInD,MAAM,SAAS,GAAG,CAAC,CAAC;AAYpB,kBAAyB,MAAkB,EAAE,cAAuB;IACnE,OAAO,IAAA,iCAAe,EAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;AACnD,CAAC;AAGD,wBAA+B,IAAiB;IAC/C,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAQD,yBACC,KAAoB,EACpB,KAAqB,EACrB,aAAuB;IAEvB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAElC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAA,gCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,KAAK,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;AACrB,CAAC;AAWM,KAAK,iCACX,SAAoB,EACpB,WAAmB,EACnB,YAAsB;IAEtB,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAEhD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,uBAAuB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IAElF,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrD,KAAK,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,IAAI,cAAc,CAAC,IAAI,CAAC;YAAE,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,kBAAkB,CAAC;AAC3B,CAAC"}

package/dist/execution/settlement.d.ts

@@ -1,7 +1,9 @@
-import { type WorkflowGraph } from '../graph';
+import type { WorkflowGraph, WorkflowLoop } from '../graph';
+import { type StepKey, type StepKeyId } from './execution.types';
 import type { StepSummary } from './step-store';
 export interface SuccessorDecisions {
-    toQueue: string[];
-    toSkip: string[];
+    toQueue: StepKey[];
+    toSkip: StepKey[];
 }
-export declare function decideSuccessors(graph: WorkflowGraph, settledNodeId: string, steps: Record<string, StepSummary>): SuccessorDecisions;
+export declare function decideSuccessors(graph: WorkflowGraph, loops: WorkflowLoop[], settled: StepKey, steps: Record<StepKeyId, StepSummary>, terminalIterations: Map<string, number>): SuccessorDecisions;
+export declare function decisionKeys(graph: WorkflowGraph, loops: WorkflowLoop[], settled: StepKey, terminalIterations: Map<string, number>): StepKey[];

package/dist/execution/settlement.js

@@ -1,31 +1,87 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.decideSuccessors = decideSuccessors;
-const graph_1 = require("../graph");
+exports.decisionKeys = decisionKeys;
 const execution_types_1 = require("./execution.types");
-function decideSuccessors(graph, settledNodeId, steps) {
+const iteration_mapping_1 = require("./iteration-mapping");
+const loop_ledger_1 = require("./loop-ledger");
+function decideSuccessors(graph, loops, settled, steps, terminalIterations) {
     const decisions = { toQueue: [], toSkip: [] };
-    for (const successor of (0, graph_1.getSuccessorNodeIds)(graph, settledNodeId)) {
-        if (steps[successor])
+    const batchStep = loops.some((loop) => loop.batchNodeId === settled.nodeId)
+        ? steps[(0, execution_types_1.stepKeyId)(settled)]
+        : undefined;
+    const decided = new Set();
+    const outgoingEdges = graph.edges.filter((edge) => edge.from === settled.nodeId);
+    for (const edge of outgoingEdges) {
+        const edgeClass = (0, iteration_mapping_1.classifyEdge)(edge, loops);
+        if (batchStep && !batchStepDecides(edgeClass, batchStep))
             continue;
-        const fate = decideNodeFate(graph, successor, steps);
+        const target = (0, iteration_mapping_1.targetKey)(edge, edgeClass, settled);
+        const targetId = (0, execution_types_1.stepKeyId)(target);
+        if (steps[targetId] || decided.has(targetId))
+            continue;
+        decided.add(targetId);
+        const fate = decideNodeFate(graph, loops, target, steps, terminalIterations);
         if (fate === 'queued')
-            decisions.toQueue.push(successor);
+            decisions.toQueue.push(target);
         else if (fate === 'skipped')
-            decisions.toSkip.push(successor);
+            decisions.toSkip.push(target);
     }
     return decisions;
 }
-function decideNodeFate(graph, nodeId, steps) {
-    const incoming = graph.edges.filter((edge) => edge.to === nodeId && !edge.isBackEdge);
-    const predecessors = [...new Set(incoming.map((edge) => edge.from))];
-    const settled = predecessors.every((id) => steps[id] !== undefined && (0, execution_types_1.isSettledStatus)(steps[id].status));
-    if (!settled)
-        return 'undecidable';
-    return incoming.some((edge) => isLiveEdge(edge, steps)) ? 'queued' : 'skipped';
+function batchStepDecides(edgeClass, batchStep) {
+    return (0, loop_ledger_1.isTerminalStep)(batchStep) ? edgeClass === 'exit' : edgeClass !== 'exit';
+}
+function decideNodeFate(graph, loops, candidate, steps, terminalIterations) {
+    if (isPastLoopEnd(loops, candidate, steps))
+        return 'outside';
+    let applicable = 0;
+    let live = false;
+    const incomingEdges = graph.edges.filter((edge) => edge.to === candidate.nodeId);
+    for (const edge of incomingEdges) {
+        const source = (0, iteration_mapping_1.sourceRow)(edge, (0, iteration_mapping_1.classifyEdge)(edge, loops), candidate, terminalIterations.get(edge.from));
+        if (source.kind === 'none')
+            continue;
+        if (source.kind === 'pending')
+            return 'undecidable';
+        applicable += 1;
+        const sourceStep = steps[(0, execution_types_1.stepKeyId)(source.key)];
+        if (!sourceStep || !(0, execution_types_1.isSettledStatus)(sourceStep.status))
+            return 'undecidable';
+        if (isLive(sourceStep, edge))
+            live = true;
+    }
+    if (applicable === 0)
+        return 'outside';
+    return live ? 'queued' : 'skipped';
 }
-function isLiveEdge(edge, steps) {
-    const source = steps[edge.from];
-    return source?.status === 'completed' && Boolean(source.filledOutputSlots[edge.outputIndex]);
+function isPastLoopEnd(loops, candidate, steps) {
+    const loop = loops.find((l) => l.memberIds.has(candidate.nodeId));
+    if (!loop || candidate.nodeId === loop.batchNodeId)
+        return false;
+    const batchStep = steps[(0, execution_types_1.stepKeyId)({ nodeId: loop.batchNodeId, iteration: candidate.iteration })];
+    return batchStep !== undefined && (0, loop_ledger_1.isTerminalStep)(batchStep);
+}
+function isLive(source, edge) {
+    return source.status === 'completed' && Boolean(source.filledOutputSlots[edge.outputIndex]);
+}
+function decisionKeys(graph, loops, settled, terminalIterations) {
+    const keys = new Map([[(0, execution_types_1.stepKeyId)(settled), settled]]);
+    const add = (key) => keys.set((0, execution_types_1.stepKeyId)(key), key);
+    const outgoingEdges = graph.edges.filter((edge) => edge.from === settled.nodeId);
+    for (const edge of outgoingEdges) {
+        const target = (0, iteration_mapping_1.targetKey)(edge, (0, iteration_mapping_1.classifyEdge)(edge, loops), settled);
+        add(target);
+        const incomingEdges = graph.edges.filter((inEdge) => inEdge.to === target.nodeId);
+        for (const inEdge of incomingEdges) {
+            const source = (0, iteration_mapping_1.sourceRow)(inEdge, (0, iteration_mapping_1.classifyEdge)(inEdge, loops), target, terminalIterations.get(inEdge.from));
+            if (source.kind === 'row')
+                add(source.key);
+        }
+        const loop = loops.find((l) => l.memberIds.has(target.nodeId));
+        if (loop)
+            add({ nodeId: loop.batchNodeId, iteration: target.iteration });
+    }
+    return [...keys.values()];
 }
 //# sourceMappingURL=settlement.js.map

package/dist/execution/settlement.js.map

@@ -1 +1 @@
-{"version":3,"file":"settlement.js","sourceRoot":"","sources":["../../src/execution/settlement.ts"],"names":[],"mappings":";;;AAAA,oCAAmF;AACnF,uDAAoD;AAwCpD,0BACC,KAAoB,EACpB,aAAqB,EACrB,KAAkC;IAElC,MAAM,SAAS,GAAuB,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClE,KAAK,MAAM,SAAS,IAAI,IAAA,2BAAmB,EAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;QAEnE,IAAI,KAAK,CAAC,SAAS,CAAC;YAAE,SAAS;QAC/B,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACrD,IAAI,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;aACpD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAGD,SAAS,cAAc,CACtB,KAAoB,EACpB,MAAc,EACd,KAAkC;IAGlC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CACjC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,SAAS,IAAI,IAAA,iCAAe,EAAC,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CACpE,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,aAAa,CAAC;IACnC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAChF,CAAC;AAGD,SAAS,UAAU,CAAC,IAAe,EAAE,KAAkC;IACtE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,MAAM,EAAE,MAAM,KAAK,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;AAC9F,CAAC"}
+{"version":3,"file":"settlement.js","sourceRoot":"","sources":["../../src/execution/settlement.ts"],"names":[],"mappings":";;;;AACA,uDAA6F;AAC7F,2DAAyF;AACzF,+CAA+C;AA+D/C,0BACC,KAAoB,EACpB,KAAqB,EACrB,OAAgB,EAChB,KAAqC,EACrC,kBAAuC;IAEvC,MAAM,SAAS,GAAuB,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,OAAO,CAAC,MAAM,CAAC;QAC1E,CAAC,CAAC,KAAK,CAAC,IAAA,2BAAS,EAAC,OAAO,CAAC,CAAC;QAC3B,CAAC,CAAC,SAAS,CAAC;IACb,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;IACrC,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAEjF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,IAAA,gCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAI,SAAS,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC;YAAE,SAAS;QAEnE,MAAM,MAAM,GAAG,IAAA,6BAAS,EAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAA,2BAAS,EAAC,MAAM,CAAC,CAAC;QAGnC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QACvD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtB,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC;QAC7E,IAAI,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;aACjD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO,SAAS,CAAC;AAClB,CAAC;AAGD,SAAS,gBAAgB,CAAC,SAAoB,EAAE,SAAsB;IACrE,OAAO,IAAA,4BAAc,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC;AAChF,CAAC;AAWD,SAAS,cAAc,CACtB,KAAoB,EACpB,KAAqB,EACrB,SAAkB,EAClB,KAAqC,EACrC,kBAAuC;IAEvC,IAAI,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7D,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC;IAEjF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,IAAA,6BAAS,EACvB,IAAI,EACJ,IAAA,gCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,EACzB,SAAS,EACT,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CACjC,CAAC;QACF,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACrC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC;QAEpD,UAAU,IAAI,CAAC,CAAC;QAChB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAA,2BAAS,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,IAAI,CAAC,IAAA,iCAAe,EAAC,UAAU,CAAC,MAAM,CAAC;YAAE,OAAO,aAAa,CAAC;QAC7E,IAAI,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC;IAC3C,CAAC;IAGD,IAAI,UAAU,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvC,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACpC,CAAC;AAOD,SAAS,aAAa,CACrB,KAAqB,EACrB,SAAkB,EAClB,KAAqC;IAErC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAEjE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAA,2BAAS,EAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACjG,OAAO,SAAS,KAAK,SAAS,IAAI,IAAA,4BAAc,EAAC,SAAS,CAAC,CAAC;AAC7D,CAAC;AAGD,SAAS,MAAM,CAAC,MAAmB,EAAE,IAAe;IACnD,OAAO,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;AAC7F,CAAC;AAaD,sBACC,KAAoB,EACpB,KAAqB,EACrB,OAAgB,EAChB,kBAAuC;IAEvC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAqB,CAAC,CAAC,IAAA,2BAAS,EAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAG,CAAC,GAAY,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAA,2BAAS,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAE5D,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAEjF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,IAAA,6BAAS,EAAC,IAAI,EAAE,IAAA,gCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;QACnE,GAAG,CAAC,MAAM,CAAC,CAAC;QAEZ,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;QAElF,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,IAAA,6BAAS,EACvB,MAAM,EACN,IAAA,gCAAY,EAAC,MAAM,EAAE,KAAK,CAAC,EAC3B,MAAM,EACN,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CAAC;YACF,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;gBAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,IAAI,IAAI;YAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3B,CAAC"}

package/dist/execution/start-execution.service.d.ts

@@ -1,13 +1,12 @@
 import { type AdmittanceService } from '../admittance';
-import type { JsonObject } from '../common';
 import { type WorkflowGraph } from '../graph';
 import type { OrchestrationMessage, WorkQueue } from '../queue';
 import type { ExecutionStore } from './execution-store';
-import type { ExecutionMode } from './execution.types';
+import type { ExecutionMode, TriggerOutputs } from './execution.types';
 export interface StartExecutionRequest {
     workflowId: string;
     graph: WorkflowGraph;
-    triggerPayload?: JsonObject | null;
+    triggerOutputs?: TriggerOutputs | null;
     mode?: ExecutionMode;
 }
 export interface StartExecutionResult {

package/dist/execution/start-execution.service.js

@@ -25,7 +25,7 @@ class StartExecutionService {
             status: 'queued',
             mode: request.mode ?? 'production',
             graph: request.graph,
-            triggerPayload: request.triggerPayload ?? null,
+            triggerOutputs: request.triggerOutputs ?? null,
         });
         await this.workQueue.publish({
             type: 'execution:enqueued',

package/dist/execution/start-execution.service.js.map

@@ -1 +1 @@
-{"version":3,"file":"start-execution.service.js","sourceRoot":"","sources":["../../src/execution/start-execution.service.ts"],"names":[],"mappings":";;;AAAA,8CAAgF;AAEhF,oCAAuE;AAgBvE;IAEmB,UAAU;IACV,cAAc;IACd,SAAS;IACT,aAAa;IAJ/B,YACkB,UAA6B,EAC7B,cAA8B,EAC9B,SAA0C,EAC1C,aAAa,GAAmC,+BAAuB;0BAHvE,UAAU;8BACV,cAAc;yBACd,SAAS;6BACT,aAAa;IAC5B,CAAC;IAEJ,KAAK,CAAC,KAAK,CAAC,OAA8B;QAGzC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAElC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YACtB,MAAM,IAAI,oCAAuB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpD,CAAC;QAED,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC;YACxD,UAAU,EAAE,OAAO,CAAC,UAAU;YAE9B,MAAM,EAAE,QAAQ;YAChB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,YAAY;YAClC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,IAAI;SAC9C,CAAC,CAAC;QAKH,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YAC5B,IAAI,EAAE,oBAAoB;YAC1B,WAAW,EAAE,EAAE;SACf,CAAC,CAAC;QAEH,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC5B,CAAC;CACD"}
+{"version":3,"file":"start-execution.service.js","sourceRoot":"","sources":["../../src/execution/start-execution.service.ts"],"names":[],"mappings":";;;AAAA,8CAAgF;AAChF,oCAAuE;AAiBvE;IAEmB,UAAU;IACV,cAAc;IACd,SAAS;IACT,aAAa;IAJ/B,YACkB,UAA6B,EAC7B,cAA8B,EAC9B,SAA0C,EAC1C,aAAa,GAAmC,+BAAuB;0BAHvE,UAAU;8BACV,cAAc;yBACd,SAAS;6BACT,aAAa;IAC5B,CAAC;IAEJ,KAAK,CAAC,KAAK,CAAC,OAA8B;QAGzC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAElC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YACtB,MAAM,IAAI,oCAAuB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpD,CAAC;QAED,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC;YACxD,UAAU,EAAE,OAAO,CAAC,UAAU;YAE9B,MAAM,EAAE,QAAQ;YAChB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,YAAY;YAClC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,IAAI;SAC9C,CAAC,CAAC;QAKH,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YAC5B,IAAI,EAAE,oBAAoB;YAC1B,WAAW,EAAE,EAAE;SACf,CAAC,CAAC;QAEH,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC5B,CAAC;CACD"}

package/dist/execution/step-ready-handler.d.ts

@@ -1,7 +1,9 @@
 import type { ExternalDependencies } from '../dependencies';
+import { type GraphEdge, type WorkflowLoop } from '../graph';
 import type { OrchestrationMessage, StepReadyEvent, WorkQueue } from '../queue';
 import type { ExecutionStore } from './execution-store';
-import type { StepStore } from './step-store';
+import { type StepKey } from './execution.types';
+import type { StepRecord, StepStore } from './step-store';
 export declare class StepReadyHandler {
     private readonly executionStore;
     private readonly stepStore;
@@ -13,3 +15,7 @@ export declare class StepReadyHandler {
     private gatherInputs;
     private executorFor;
 }
+export declare function resolveInputReads(incomingEdges: GraphEdge[], loops: WorkflowLoop[], step: Pick<StepRecord, 'id' | 'nodeId' | 'iteration'>, terminalIterations: Map<string, number>): Array<{
+    edge: GraphEdge;
+    key: StepKey;
+}>;

package/dist/execution/step-ready-handler.js

@@ -1,8 +1,12 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.StepReadyHandler = void 0;
+exports.resolveInputReads = resolveInputReads;
 const common_1 = require("../common");
+const graph_1 = require("../graph");
 const execution_types_1 = require("./execution.types");
+const iteration_mapping_1 = require("./iteration-mapping");
+const loop_ledger_1 = require("./loop-ledger");
 const validate_step_context_1 = require("./validate-step-context");
 class StepReadyHandler {
     executionStore;
@@ -65,12 +69,15 @@ class StepReadyHandler {
         if (incomingEdges.length === 0) {
             throw new common_1.UnexpectedError(`step ${step.id} runs node ${step.nodeId}, which has no predecessor in the execution graph`);
         }
-        validateIncomingEdges(incomingEdges, step);
-        const predecessorNodeIds = [...new Set(incomingEdges.map((edge) => edge.from))];
-        const predecessorSteps = await this.stepStore.loadStepsByNodeIds(execution.id, predecessorNodeIds);
-        const inputs = Array.from({ length: Math.max(...incomingEdges.map((edge) => edge.inputIndex)) + 1 }, () => null);
-        for (const edge of incomingEdges) {
-            inputs[edge.inputIndex] = readEdgeValue(edge, predecessorSteps, step);
+        const loops = (0, graph_1.deriveLoops)(execution.graph);
+        const terminalIterations = await (0, loop_ledger_1.loadTerminalIterations)(this.stepStore, execution.id, (0, loop_ledger_1.exitSourcesInto)(execution.graph, loops, [step.nodeId]));
+        const reads = resolveInputReads(incomingEdges, loops, step, terminalIterations);
+        const rows = await this.stepStore.loadStepsByKeys(execution.id, [
+            ...new Map(reads.map(({ key }) => [(0, execution_types_1.stepKeyId)(key), key])).values(),
+        ]);
+        const inputs = Array.from({ length: Math.max(...reads.map(({ edge }) => edge.inputIndex)) + 1 }, () => null);
+        for (const { edge, key } of reads) {
+            inputs[edge.inputIndex] = readEdgeValue(edge, key, step, rows);
         }
         return inputs;
     }
@@ -86,17 +93,29 @@ class StepReadyHandler {
     }
 }
 exports.StepReadyHandler = StepReadyHandler;
-function validateIncomingEdges(incomingEdges, step) {
+function resolveInputReads(incomingEdges, loops, step, terminalIterations) {
+    const reads = incomingEdges.flatMap((edge) => {
+        const source = (0, iteration_mapping_1.sourceRow)(edge, (0, iteration_mapping_1.classifyEdge)(edge, loops), step, terminalIterations.get(edge.from));
+        if (source.kind === 'row')
+            return [{ edge, key: source.key }];
+        if (source.kind === 'none')
+            return [];
+        throw new common_1.UnexpectedError(`step ${step.id} reads node ${edge.from} across a loop that has not ended`);
+    });
+    if (reads.length === 0) {
+        throw new common_1.UnexpectedError(`step ${step.id} runs node ${step.nodeId}, which no edge reaches at iteration ${step.iteration}`);
+    }
     const filledSlots = new Set();
-    for (const edge of incomingEdges) {
+    for (const { edge } of reads) {
         if (filledSlots.has(edge.inputIndex)) {
             throw new common_1.UnexpectedError(`step ${step.id} runs node ${step.nodeId}, which has more than one edge into input slot ${edge.inputIndex}; validated graphs have at most one edge per input slot`);
         }
         filledSlots.add(edge.inputIndex);
     }
+    return reads;
 }
-function readEdgeValue(edge, predecessorSteps, step) {
-    const row = predecessorSteps[edge.from];
+function readEdgeValue(edge, source, step, rows) {
+    const row = rows[(0, execution_types_1.stepKeyId)(source)];
     if (!row || !(0, execution_types_1.isSettledStatus)(row.status)) {
         throw new common_1.UnexpectedError(`step ${step.id} reads node ${edge.from}, whose step has not settled`);
     }

package/dist/execution/step-ready-handler.js.map

@@ -1 +1 @@
-{"version":3,"file":"step-ready-handler.js","sourceRoot":"","sources":["../../src/execution/step-ready-handler.ts"],"names":[],"mappings":";;;AAAA,sCAAgF;AAKhF,uDAAoE;AAEpE,mEAA8D;AAW9D;IAEmB,cAAc;IACd,SAAS;IACT,kBAAkB;IAClB,YAAY;IAJ9B,YACkB,cAA8B,EAC9B,SAAoB,EACpB,kBAAmD,EACnD,YAAkC;8BAHlC,cAAc;yBACd,SAAS;kCACT,kBAAkB;4BAClB,YAAY;IAC3B,CAAC;IAEJ,KAAK,CAAC,MAAM,CAAC,KAAqB;QAEjC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI;YAAE,OAAO;QAOlB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,IAAA,2CAAmB,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE9C,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAIpC,OAAO;QACR,CAAC;QAMD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAIxD,IAAI,GAAqE,CAAC;QAC1E,IAAI,CAAC;YACJ,GAAG,GAAG;gBACL,EAAE,EAAE,IAAI;gBACR,OAAO,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC;aACpE,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,GAAG,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC5B,CAAC;QAED,MAAM,QAAQ,GAAG,GAAG,CAAC,EAAE;YACtB,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC;YAC9D,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAMvE,IAAI,CAAC,QAAQ;YAAE,OAAO;QAEtB,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC;YACrC,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;SACpB,CAAC,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,OAAO,CACpB,IAAgB,EAChB,SAA0B,EAC1B,IAAe,EACf,MAAiB,EACjB,QAAuB;QAIvB,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC;YAC1C,IAAI;YACJ,MAAM;YACN,OAAO,EAAE;gBACR,WAAW,EAAE,SAAS,CAAC,EAAE;gBACzB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,IAAI,EAAE,SAAS,CAAC,IAAI;aACpB;SACD,CAAC,CAAC;QACH,OAAO,OAAO,CAAC;IAChB,CAAC;IAGO,KAAK,CAAC,YAAY,CAAC,SAA0B,EAAE,IAAgB;QAEtE,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC;QACtF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAGhC,MAAM,IAAI,wBAAe,CACxB,QAAQ,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,MAAM,mDAAmD,CAC3F,CAAC;QACH,CAAC;QAED,qBAAqB,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QAE3C,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAC/D,SAAS,CAAC,EAAE,EACZ,kBAAkB,CAClB,CAAC;QAIF,MAAM,MAAM,GAAc,KAAK,CAAC,IAAI,CACnC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,EACzE,GAAG,EAAE,CAAC,IAAI,CACV,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;QACvE,CAAC;QAED,OAAO,MAAM,CAAC;IACf,CAAC;IAMO,WAAW,CAAC,IAAgB,EAAE,IAAe;QACpD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC;YAClD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACf,MAAM,IAAI,2BAAkB,CAC3B,QAAQ,IAAI,CAAC,EAAE,yFAAyF,CACxG,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAC;QACjB,CAAC;QAED,MAAM,IAAI,2BAAkB,CAAC,QAAQ,IAAI,CAAC,EAAE,+BAA+B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzF,CAAC;CACD;;AAID,SAAS,qBAAqB,CAAC,aAA0B,EAAE,IAAgB;IAC1E,MAAM,WAAW,GAAgB,IAAI,GAAG,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAClC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAGtC,MAAM,IAAI,wBAAe,CACxB,QAAQ,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,MAAM,kDAAkD,IAAI,CAAC,UAAU,yDAAyD,CAClK,CAAC;QACH,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC;AACF,CAAC;AAOD,SAAS,aAAa,CACrB,IAAe,EACf,gBAA4C,EAC5C,IAAgB;IAEhB,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAA,iCAAe,EAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAG1C,MAAM,IAAI,wBAAe,CACxB,QAAQ,IAAI,CAAC,EAAE,eAAe,IAAI,CAAC,IAAI,8BAA8B,CACrE,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC;AAChD,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IAClC,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAClD,CAAC"}
+{"version":3,"file":"step-ready-handler.js","sourceRoot":"","sources":["../../src/execution/step-ready-handler.ts"],"names":[],"mappings":";;;;AAAA,sCAAgF;AAEhF,oCAA0F;AAG1F,uDAM2B;AAC3B,2DAA8D;AAC9D,+CAAwE;AAExE,mEAA8D;AAW9D;IAEmB,cAAc;IACd,SAAS;IACT,kBAAkB;IAClB,YAAY;IAJ9B,YACkB,cAA8B,EAC9B,SAAoB,EACpB,kBAAmD,EACnD,YAAkC;8BAHlC,cAAc;yBACd,SAAS;kCACT,kBAAkB;4BAClB,YAAY;IAC3B,CAAC;IAEJ,KAAK,CAAC,MAAM,CAAC,KAAqB;QAEjC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI;YAAE,OAAO;QAOlB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,IAAA,2CAAmB,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE9C,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAIpC,OAAO;QACR,CAAC;QAMD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAIxD,IAAI,GAAqE,CAAC;QAC1E,IAAI,CAAC;YACJ,GAAG,GAAG;gBACL,EAAE,EAAE,IAAI;gBACR,OAAO,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC;aACpE,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,GAAG,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC5B,CAAC;QAED,MAAM,QAAQ,GAAG,GAAG,CAAC,EAAE;YACtB,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC;YAC9D,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAMvE,IAAI,CAAC,QAAQ;YAAE,OAAO;QAEtB,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC;YACrC,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;SACpB,CAAC,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,OAAO,CACpB,IAAgB,EAChB,SAA0B,EAC1B,IAAe,EACf,MAAiB,EACjB,QAAuB;QAIvB,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC;YAC1C,IAAI;YACJ,MAAM;YACN,OAAO,EAAE;gBACR,WAAW,EAAE,SAAS,CAAC,EAAE;gBACzB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,IAAI,EAAE,SAAS,CAAC,IAAI;aACpB;SACD,CAAC,CAAC;QACH,OAAO,OAAO,CAAC;IAChB,CAAC;IAGO,KAAK,CAAC,YAAY,CAAC,SAA0B,EAAE,IAAgB;QAEtE,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC;QACtF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAGhC,MAAM,IAAI,wBAAe,CACxB,QAAQ,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,MAAM,mDAAmD,CAC3F,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAA,mBAAW,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAG3C,MAAM,kBAAkB,GAAG,MAAM,IAAA,oCAAsB,EACtD,IAAI,CAAC,SAAS,EACd,SAAS,CAAC,EAAE,EACZ,IAAA,6BAAe,EAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CACtD,CAAC;QACF,MAAM,KAAK,GAAG,iBAAiB,CAAC,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAIhF,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,EAAE;YAC/D,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,IAAA,2BAAS,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE;SAClE,CAAC,CAAC;QAIH,MAAM,MAAM,GAAc,KAAK,CAAC,IAAI,CACnC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,EACrE,GAAG,EAAE,CAAC,IAAI,CACV,CAAC;QAEF,KAAK,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChE,CAAC;QAED,OAAO,MAAM,CAAC;IACf,CAAC;IAMO,WAAW,CAAC,IAAgB,EAAE,IAAe;QACpD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC;YAClD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACf,MAAM,IAAI,2BAAkB,CAC3B,QAAQ,IAAI,CAAC,EAAE,yFAAyF,CACxG,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAC;QACjB,CAAC;QAED,MAAM,IAAI,2BAAkB,CAAC,QAAQ,IAAI,CAAC,EAAE,+BAA+B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzF,CAAC;CACD;;AAUD,2BACC,aAA0B,EAC1B,KAAqB,EACrB,IAAqD,EACrD,kBAAuC;IAEvC,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5C,MAAM,MAAM,GAAG,IAAA,6BAAS,EACvB,IAAI,EACJ,IAAA,gCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,EACzB,IAAI,EACJ,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CACjC,CAAC;QACF,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,CAAC;QAGtC,MAAM,IAAI,wBAAe,CACxB,QAAQ,IAAI,CAAC,EAAE,eAAe,IAAI,CAAC,IAAI,mCAAmC,CAC1E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,wBAAe,CACxB,QAAQ,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,MAAM,wCAAwC,IAAI,CAAC,SAAS,EAAE,CAChG,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAgB,IAAI,GAAG,EAAE,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;QAC9B,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAGtC,MAAM,IAAI,wBAAe,CACxB,QAAQ,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,MAAM,kDAAkD,IAAI,CAAC,UAAU,yDAAyD,CAClK,CAAC;QACH,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC;IAED,OAAO,KAAK,CAAC;AACd,CAAC;AAOD,SAAS,aAAa,CACrB,IAAe,EACf,MAAe,EACf,IAAgB,EAChB,IAAmC;IAEnC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAA,2BAAS,EAAC,MAAM,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAA,iCAAe,EAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAG1C,MAAM,IAAI,wBAAe,CACxB,QAAQ,IAAI,CAAC,EAAE,eAAe,IAAI,CAAC,IAAI,8BAA8B,CACrE,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC;AAChD,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IAClC,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAClD,CAAC"}

package/dist/execution/step-settled-handler.d.ts

@@ -10,8 +10,7 @@ export declare class StepSettledHandler {
     handle(event: StepSettledEvent): Promise<void>;
     private failExecution;
     private planSuccessors;
-    private loadDecisionSteps;
     private announceCreatedSteps;
     private finishExecutionIfDone;
-    private reachableNodeCount;
+    private reachableNodeIds;
 }

package/dist/execution/step-settled-handler.js

@@ -3,6 +3,9 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.StepSettledHandler = void 0;
 const common_1 = require("../common");
 const graph_1 = require("../graph");
+const completion_1 = require("./completion");
+const execution_types_1 = require("./execution.types");
+const loop_ledger_1 = require("./loop-ledger");
 const settlement_1 = require("./settlement");
 const validate_step_context_1 = require("./validate-step-context");
 class StepSettledHandler {
@@ -34,8 +37,7 @@ class StepSettledHandler {
                 await this.failExecution(execution.id);
                 return;
             }
-            const steps = await this.loadDecisionSteps(execution, step.nodeId);
-            queued = await this.planSuccessors(execution, step.nodeId, steps);
+            queued = await this.planSuccessors(execution, step);
         }
         if (queued > 0)
             return;
@@ -45,30 +47,24 @@ class StepSettledHandler {
         await this.executionStore.finishExecution(executionId, 'failed');
         await this.stepStore.cancelQueuedSteps(executionId);
     }
-    async planSuccessors(execution, nodeId, steps) {
-        const { toQueue, toSkip } = (0, settlement_1.decideSuccessors)(execution.graph, nodeId, steps);
+    async planSuccessors(execution, step) {
+        const loops = (0, graph_1.deriveLoops)(execution.graph);
+        const candidates = (0, graph_1.getSuccessorNodeIds)(execution.graph, step.nodeId);
+        const terminalIterations = await (0, loop_ledger_1.loadTerminalIterations)(this.stepStore, execution.id, (0, loop_ledger_1.exitSourcesInto)(execution.graph, loops, candidates));
+        const steps = await this.stepStore.loadStepSummariesByKeys(execution.id, (0, settlement_1.decisionKeys)(execution.graph, loops, step, terminalIterations));
+        const { toQueue, toSkip } = (0, settlement_1.decideSuccessors)(execution.graph, loops, step, steps, terminalIterations);
         if (toQueue.length === 0 && toSkip.length === 0)
             return 0;
         const created = await this.stepStore.createSteps(execution.id, [
-            ...toQueue.map((id) => ({ nodeId: id, status: 'queued' })),
-            ...toSkip.map((id) => ({ nodeId: id, status: 'skipped' })),
+            ...toQueue.map((key) => ({ ...key, status: 'queued' })),
+            ...toSkip.map((key) => ({ ...key, status: 'skipped' })),
         ]);
-        return await this.announceCreatedSteps(execution.id, created, new Set(toQueue));
+        return await this.announceCreatedSteps(execution.id, created, new Set(toQueue.map(execution_types_1.stepKeyId)));
     }
-    async loadDecisionSteps(execution, nodeId) {
-        const successors = (0, graph_1.getSuccessorNodeIds)(execution.graph, nodeId);
-        const nodeIds = [
-            ...new Set([
-                ...successors,
-                ...successors.flatMap((id) => (0, graph_1.getPredecessorNodeIds)(execution.graph, id)),
-            ]),
-        ];
-        return await this.stepStore.loadStepSummaries(execution.id, nodeIds);
-    }
-    async announceCreatedSteps(executionId, created, queuedNodeIds) {
+    async announceCreatedSteps(executionId, created, queuedKeys) {
         let queued = 0;
-        for (const { id: stepId, nodeId } of created) {
-            if (queuedNodeIds.has(nodeId)) {
+        for (const { id: stepId, ...key } of created) {
+            if (queuedKeys.has((0, execution_types_1.stepKeyId)(key))) {
                 queued += 1;
                 await this.stepQueue.publish({ type: 'step:ready', executionId, stepId });
             }
@@ -79,18 +75,26 @@ class StepSettledHandler {
         return queued;
     }
     async finishExecutionIfDone(execution) {
+        const reachable = this.reachableNodeIds(execution);
+        const loops = (0, graph_1.deriveLoops)(execution.graph);
+        const terminalIterations = await (0, loop_ledger_1.loadTerminalIterations)(this.stepStore, execution.id, loops
+            .filter((loop) => reachable.has(loop.batchNodeId))
+            .map((loop) => loop.batchNodeId));
+        const expected = (0, completion_1.countExpectedSettledSteps)(loops, reachable, terminalIterations);
+        if (expected === undefined)
+            return;
         const settled = await this.stepStore.countSettledSteps(execution.id);
-        if (settled < this.reachableNodeCount(execution))
+        if (settled < expected)
             return;
         const failed = await this.stepStore.hasFailedSteps(execution.id);
         await this.executionStore.finishExecution(execution.id, failed ? 'failed' : 'completed');
     }
-    reachableNodeCount(execution) {
+    reachableNodeIds(execution) {
         const trigger = (0, graph_1.findTriggerNode)(execution.graph);
         if (!trigger) {
             throw new common_1.UnexpectedError(`Execution ${execution.id} has no trigger node in its graph`);
         }
-        return 1 + (0, graph_1.getDescendantNodeIds)(execution.graph, trigger.id).length;
+        return new Set([trigger.id, ...(0, graph_1.getDescendantNodeIds)(execution.graph, trigger.id)]);
     }
 }
 exports.StepSettledHandler = StepSettledHandler;

package/dist/execution/step-settled-handler.js.map

@@ -1 +1 @@
-{"version":3,"file":"step-settled-handler.js","sourceRoot":"","sources":["../../src/execution/step-settled-handler.ts"],"names":[],"mappings":";;;AAAA,sCAA4C;AAC5C,oCAKkB;AAGlB,6CAAgD;AAEhD,mEAA8D;AAc9D;IAEmB,cAAc;IACd,SAAS;IACT,SAAS;IACT,kBAAkB;IAJpC,YACkB,cAA8B,EAC9B,SAAoB,EACpB,SAAiC,EACjC,kBAAmD;8BAHnD,cAAc;yBACd,SAAS;yBACT,SAAS;kCACT,kBAAkB;IACjC,CAAC;IAEJ,KAAK,CAAC,MAAM,CAAC,KAAuB;QACnC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC3C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YACrC,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC;SACpD,CAAC,CAAC;QACH,IAAA,2CAAmB,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAIrC,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,OAAO;QACR,CAAC;QAED,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO;QAE3C,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAG9D,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvD,MAAM,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBACvC,OAAO;YACR,CAAC;YAED,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACnE,MAAM,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACnE,CAAC;QAID,IAAI,MAAM,GAAG,CAAC;YAAE,OAAO;QAEvB,MAAM,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC;IAEO,KAAK,CAAC,aAAa,CAAC,WAAmB;QAC9C,MAAM,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACrD,CAAC;IAGO,KAAK,CAAC,cAAc,CAC3B,SAA0B,EAC1B,MAAc,EACd,KAAkC;QAElC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAA,6BAAgB,EAAC,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QAQ1D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE;YAC9D,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,QAAiB,EAAE,CAAC,CAAC;YACnE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,SAAkB,EAAE,CAAC,CAAC;SACnE,CAAC,CAAC;QAEH,OAAO,MAAM,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACjF,CAAC;IAOO,KAAK,CAAC,iBAAiB,CAC9B,SAA0B,EAC1B,MAAc;QAEd,MAAM,UAAU,GAAG,IAAA,2BAAmB,EAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG;YACf,GAAG,IAAI,GAAG,CAAC;gBACV,GAAG,UAAU;gBACb,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAA,6BAAqB,EAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;aACzE,CAAC;SACF,CAAC;QACF,OAAO,MAAM,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAOO,KAAK,CAAC,oBAAoB,CACjC,WAAmB,EACnB,OAA8C,EAC9C,aAA0B;QAE1B,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;YAC9C,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,CAAC,CAAC;gBACZ,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3E,CAAC;iBAAM,CAAC;gBACP,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;QACF,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IASO,KAAK,CAAC,qBAAqB,CAAC,SAA0B;QAC7D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACrE,IAAI,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC;YAAE,OAAO;QAEzD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACjE,MAAM,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC1F,CAAC;IAEO,kBAAkB,CAAC,SAA0B;QACpD,MAAM,OAAO,GAAG,IAAA,uBAAe,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,EAAE,CAAC;YAGd,MAAM,IAAI,wBAAe,CAAC,aAAa,SAAS,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,CAAC,GAAG,IAAA,4BAAoB,EAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;IACrE,CAAC;CACD"}
+{"version":3,"file":"step-settled-handler.js","sourceRoot":"","sources":["../../src/execution/step-settled-handler.ts"],"names":[],"mappings":";;;AAAA,sCAA4C;AAC5C,oCAAmG;AAEnG,6CAAyD;AAEzD,uDAA4E;AAC5E,+CAAwE;AACxE,6CAA8D;AAE9D,mEAA8D;AAc9D;IAEmB,cAAc;IACd,SAAS;IACT,SAAS;IACT,kBAAkB;IAJpC,YACkB,cAA8B,EAC9B,SAAoB,EACpB,SAAiC,EACjC,kBAAmD;8BAHnD,cAAc;yBACd,SAAS;yBACT,SAAS;kCACT,kBAAkB;IACjC,CAAC;IAEJ,KAAK,CAAC,MAAM,CAAC,KAAuB;QACnC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC3C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YACrC,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC;SACpD,CAAC,CAAC;QACH,IAAA,2CAAmB,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAIrC,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,OAAO;QACR,CAAC;QAED,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO;QAE3C,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAG9D,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvD,MAAM,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBACvC,OAAO;YACR,CAAC;YAED,MAAM,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC;QAID,IAAI,MAAM,GAAG,CAAC;YAAE,OAAO;QAEvB,MAAM,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC;IAEO,KAAK,CAAC,aAAa,CAAC,WAAmB;QAC9C,MAAM,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACrD,CAAC;IAGO,KAAK,CAAC,cAAc,CAAC,SAA0B,EAAE,IAAgB;QACxE,MAAM,KAAK,GAAG,IAAA,mBAAW,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAG3C,MAAM,UAAU,GAAG,IAAA,2BAAmB,EAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACrE,MAAM,kBAAkB,GAAG,MAAM,IAAA,oCAAsB,EACtD,IAAI,CAAC,SAAS,EACd,SAAS,CAAC,EAAE,EACZ,IAAA,6BAAe,EAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,CACnD,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,uBAAuB,CACzD,SAAS,CAAC,EAAE,EACZ,IAAA,yBAAY,EAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAC9D,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAA,6BAAgB,EAC3C,SAAS,CAAC,KAAK,EACf,KAAK,EACL,IAAI,EACJ,KAAK,EACL,kBAAkB,CAClB,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QAQ1D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE;YAC9D,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,QAAiB,EAAE,CAAC,CAAC;YAChE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,SAAkB,EAAE,CAAC,CAAC;SAChE,CAAC,CAAC;QAEH,OAAO,MAAM,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,2BAAS,CAAC,CAAC,CAAC,CAAC;IAChG,CAAC;IAOO,KAAK,CAAC,oBAAoB,CACjC,WAAmB,EACnB,OAAwC,EACxC,UAA0B;QAE1B,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC;YAC9C,IAAI,UAAU,CAAC,GAAG,CAAC,IAAA,2BAAS,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,CAAC,CAAC;gBACZ,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3E,CAAC;iBAAM,CAAC;gBACP,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;QACF,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IASO,KAAK,CAAC,qBAAqB,CAAC,SAA0B;QAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,IAAA,mBAAW,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,kBAAkB,GAAG,MAAM,IAAA,oCAAsB,EACtD,IAAI,CAAC,SAAS,EACd,SAAS,CAAC,EAAE,EAGZ,KAAK;aACH,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;aACjD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CACjC,CAAC;QACF,MAAM,QAAQ,GAAG,IAAA,sCAAyB,EAAC,KAAK,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC;QAGjF,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO;QAEnC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACrE,IAAI,OAAO,GAAG,QAAQ;YAAE,OAAO;QAE/B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACjE,MAAM,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC1F,CAAC;IAEO,gBAAgB,CAAC,SAA0B;QAClD,MAAM,OAAO,GAAG,IAAA,uBAAe,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,EAAE,CAAC;YAGd,MAAM,IAAI,wBAAe,CAAC,aAAa,SAAS,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,IAAA,4BAAoB,EAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC;CACD"}

package/dist/execution/step-store.d.ts

@@ -1,7 +1,8 @@
 import type { JsonValue } from '../common';
-import type { StepSlots, StepStatus } from './execution.types';
+import type { StepKey, StepKeyId, StepSlots, StepStatus } from './execution.types';
 export type NewStepRecord = {
     nodeId: string;
+    iteration: number;
 } & ({
     status: Extract<StepStatus, 'queued' | 'skipped'>;
     outputs?: never;
@@ -19,6 +20,7 @@ export interface StepRecord {
     id: string;
     executionId: string;
     nodeId: string;
+    iteration: number;
     status: StepStatus;
     outputs: StepSlots | null;
     error: StepError | null;
@@ -26,6 +28,7 @@ export interface StepRecord {
 export interface StepSummary {
     id: string;
     nodeId: string;
+    iteration: number;
     status: StepStatus;
     filledOutputSlots: boolean[];
 }
@@ -36,15 +39,15 @@ export declare class StepNotFoundError extends Error {
 export interface StepStore {
     createSteps(executionId: string, records: NewStepRecord[]): Promise<Array<{
         id: string;
-        nodeId: string;
-    }>>;
+    } & StepKey>>;
     loadStep(id: string): Promise<StepRecord>;
     claimStep(id: string): Promise<StepRecord | null>;
     completeStep(id: string, outputs: StepSlots): Promise<boolean>;
     failStep(id: string, error: StepError): Promise<boolean>;
     cancelQueuedSteps(executionId: string): Promise<void>;
-    loadStepsByNodeIds(executionId: string, nodeIds: string[]): Promise<Record<string, StepRecord>>;
-    loadStepSummaries(executionId: string, nodeIds: string[]): Promise<Record<string, StepSummary>>;
+    loadStepsByKeys(executionId: string, keys: StepKey[]): Promise<Record<StepKeyId, StepRecord>>;
+    loadStepSummariesByKeys(executionId: string, keys: StepKey[]): Promise<Record<StepKeyId, StepSummary>>;
+    loadLatestStepSummaries(executionId: string, nodeIds: string[]): Promise<Record<string, StepSummary>>;
     countSettledSteps(executionId: string): Promise<number>;
     hasFailedSteps(executionId: string): Promise<boolean>;
 }

package/dist/execution/step-store.js.map

@@ -1 +1 @@
-{"version":3,"file":"step-store.js","sourceRoot":"","sources":["../../src/execution/step-store.ts"],"names":[],"mappings":";;;AA0DA,uBAA+B,SAAQ,KAAK;IACtB,MAAM;IAA3B,YAAqB,MAAc;QAClC,KAAK,CAAC,mBAAmB,MAAM,EAAE,CAAC,CAAC;sBADf,MAAM;QAE1B,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IACjC,CAAC;CACD"}
+{"version":3,"file":"step-store.js","sourceRoot":"","sources":["../../src/execution/step-store.ts"],"names":[],"mappings":";;;AA4DA,uBAA+B,SAAQ,KAAK;IACtB,MAAM;IAA3B,YAAqB,MAAc;QAClC,KAAK,CAAC,mBAAmB,MAAM,EAAE,CAAC,CAAC;sBADf,MAAM;QAE1B,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IACjC,CAAC;CACD"}

package/dist/graph/graph-validation.error.d.ts

@@ -0,0 +1,3 @@
+export declare class GraphValidationError extends Error {
+    constructor(message: string);
+}

package/dist/graph/graph-validation.error.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.GraphValidationError = void 0;
+class GraphValidationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'GraphValidationError';
+    }
+}
+exports.GraphValidationError = GraphValidationError;
+//# sourceMappingURL=graph-validation.error.js.map

package/dist/graph/graph-validation.error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-validation.error.js","sourceRoot":"","sources":["../../src/graph/graph-validation.error.ts"],"names":[],"mappings":";;;AACA,0BAAkC,SAAQ,KAAK;IAC9C,YAAY,OAAe;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACpC,CAAC;CACD"}

package/dist/graph/index.d.ts

@@ -1,3 +1,6 @@
 export type { GraphEdge, GraphNode, StepConfig, StepType, WorkflowGraph, } from './workflow-graph';
 export { findTriggerNode, getDescendantNodeIds, getPredecessorNodeIds, getSuccessorNodeIds, } from './workflow-graph-queries';
-export { GraphValidationError, validateExecutableGraph } from './validate-executable-graph';
+export { GraphValidationError } from './graph-validation.error';
+export { MAX_SLOT_INDEX, validateExecutableGraph } from './validate-executable-graph';
+export { deriveLoops, validateLoops } from './loops';
+export type { WorkflowLoop } from './loops';

package/dist/graph/index.js

@@ -1,12 +1,17 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.validateExecutableGraph = exports.GraphValidationError = exports.getSuccessorNodeIds = exports.getPredecessorNodeIds = exports.getDescendantNodeIds = exports.findTriggerNode = void 0;
+exports.validateLoops = exports.deriveLoops = exports.validateExecutableGraph = exports.MAX_SLOT_INDEX = exports.GraphValidationError = exports.getSuccessorNodeIds = exports.getPredecessorNodeIds = exports.getDescendantNodeIds = exports.findTriggerNode = void 0;
 var workflow_graph_queries_1 = require("./workflow-graph-queries");
 Object.defineProperty(exports, "findTriggerNode", { enumerable: true, get: function () { return workflow_graph_queries_1.findTriggerNode; } });
 Object.defineProperty(exports, "getDescendantNodeIds", { enumerable: true, get: function () { return workflow_graph_queries_1.getDescendantNodeIds; } });
 Object.defineProperty(exports, "getPredecessorNodeIds", { enumerable: true, get: function () { return workflow_graph_queries_1.getPredecessorNodeIds; } });
 Object.defineProperty(exports, "getSuccessorNodeIds", { enumerable: true, get: function () { return workflow_graph_queries_1.getSuccessorNodeIds; } });
+var graph_validation_error_1 = require("./graph-validation.error");
+Object.defineProperty(exports, "GraphValidationError", { enumerable: true, get: function () { return graph_validation_error_1.GraphValidationError; } });
 var validate_executable_graph_1 = require("./validate-executable-graph");
-Object.defineProperty(exports, "GraphValidationError", { enumerable: true, get: function () { return validate_executable_graph_1.GraphValidationError; } });
+Object.defineProperty(exports, "MAX_SLOT_INDEX", { enumerable: true, get: function () { return validate_executable_graph_1.MAX_SLOT_INDEX; } });
 Object.defineProperty(exports, "validateExecutableGraph", { enumerable: true, get: function () { return validate_executable_graph_1.validateExecutableGraph; } });
+var loops_1 = require("./loops");
+Object.defineProperty(exports, "deriveLoops", { enumerable: true, get: function () { return loops_1.deriveLoops; } });
+Object.defineProperty(exports, "validateLoops", { enumerable: true, get: function () { return loops_1.validateLoops; } });
 //# sourceMappingURL=index.js.map

package/dist/graph/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":";;;AAOA,mEAKkC;AAJjC,yHAAA,eAAe,OAAA;AACf,8HAAA,oBAAoB,OAAA;AACpB,+HAAA,qBAAqB,OAAA;AACrB,6HAAA,mBAAmB,OAAA;AAEpB,yEAA4F;AAAnF,iIAAA,oBAAoB,OAAA;AAAE,oIAAA,uBAAuB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":";;;AAOA,mEAKkC;AAJjC,yHAAA,eAAe,OAAA;AACf,8HAAA,oBAAoB,OAAA;AACpB,+HAAA,qBAAqB,OAAA;AACrB,6HAAA,mBAAmB,OAAA;AAEpB,mEAAgE;AAAvD,8HAAA,oBAAoB,OAAA;AAC7B,yEAAsF;AAA7E,2HAAA,cAAc,OAAA;AAAE,oIAAA,uBAAuB,OAAA;AAChD,iCAAqD;AAA5C,oGAAA,WAAW,OAAA;AAAE,sGAAA,aAAa,OAAA"}

package/dist/graph/loops.d.ts

@@ -0,0 +1,10 @@
+import type { GraphEdge, WorkflowGraph } from './workflow-graph';
+export interface WorkflowLoop {
+    batchNodeId: string;
+    memberIds: Set<string>;
+    backEdges: GraphEdge[];
+    entryEdges: GraphEdge[];
+    exitEdges: GraphEdge[];
+}
+export declare function deriveLoops(graph: WorkflowGraph): WorkflowLoop[];
+export declare function validateLoops(graph: WorkflowGraph): void;