@tangle-network/agent-runtime 0.174.1 → 0.177.0

package/dist/graph.js

@@ -1,10 +1,10 @@
 import { m as ValidationError } from "./errors-CDZ8XsVj.js";
-import { d as replaySpawnTree, i as InMemorySpawnJournal, l as materializeTreeView, o as closesCursorSlot, r as InMemoryResultBlobStore, u as pendingWaits, x as contentAddress } from "./spawn-journal-Tgvp5VS5.js";
+import { d as replaySpawnTree, i as InMemorySpawnJournal, l as materializeTreeView, o as closesCursorSlot, r as InMemoryResultBlobStore, u as pendingWaits, x as contentAddress } from "./spawn-journal--N8Ten1q.js";
 import { t as addSpend } from "./util-D6ZEuBMi.js";
-import { N as createBudgetPool, W as createExecutorRegistry, a as uncertainSpawnBudgets, i as sumMeasuredSpendFromEvents, l as runFinalizer, o as bestDelivered, p as createScope, r as maxSeqOf, s as collectDelivered } from "./supervisor-Bt1XLCVq.js";
-import { i as workerFromBackend, s as supervisorAgent } from "./supervise-Ci0RfWQF.js";
+import { J as createBudgetPool, a as uncertainSpawnBudgets, at as createExecutorRegistry, i as sumMeasuredSpendFromEvents, l as runFinalizer, o as bestDelivered, p as createScope, r as maxSeqOf, s as collectDelivered } from "./supervisor-ChLgoYhG.js";
+import { i as workerFromBackend, s as supervisorAgent } from "./supervise-HsRKOlKY.js";
 import { t as assertAuthoredCode } from "./authored-code-DzYtiflw.js";
-import { t as GraphEdgeCapError } from "./graph-BbeHgLXH.js";
+import { t as GraphEdgeCapError } from "./graph-DwJXa1Ph.js";
 //#region src/runtime/graph/condition.ts
 /**
 * The ONE predicate tree: every guard in a graph — an edge `guard`, a filter projection's
@@ -725,6 +725,8 @@ function applyGraphFoldEvent(state, ev, compiled) {
 			return;
 		}
 		case "join-state": {
+			const released = instanceOf(state, ev.instance);
+			if (released) released.waveConsumed = true;
 			for (const edgeId of ev.satisfiedBy) {
 				const folded = state.edges.get(edgeId);
 				if (!folded) continue;
@@ -1750,6 +1752,34 @@ async function runGraphLoop(engine, compiled, task, options, wakes, onWakeSignal
 		});
 		await spawnInstance(label);
 	};
+	/**
+	* Journal the `join-state` a crashed release never wrote. The consuming set
+	* is re-derived from the SAME decision the crashed process made: its gating
+	* edges are still folded exactly as they were when it released (their
+	* verdicts were journaled first), so `decideJoin` answers identically.
+	*/
+	const consumeWaveAfterCrash = async (instance) => {
+		const node = compiled.nodes.get(instance.node);
+		if (!node) return;
+		const gating = node.inbound.map((edge) => ({
+			edge,
+			folded: state.edges.get(edge.id)
+		}));
+		const decision = decideJoin(node.join, gating);
+		if (!decision.release) return;
+		const consumedPending = gating.filter((entry) => entry.folded?.state === "pending").map((entry) => entry.edge.id);
+		await emit({
+			kind: "join-state",
+			id: instance.instance,
+			node: instance.node,
+			rule: node.join,
+			satisfiedBy: decision.consuming.map(({ edge }) => edge.id),
+			consumedPending,
+			instance: instance.instance,
+			seq: engineSeq++,
+			at: stamp()
+		});
+	};
 	const tryRelease = async (nodeId) => {
 		const node = compiled.nodes.get(nodeId);
 		const folded = state.nodes.get(nodeId);
@@ -1963,6 +1993,7 @@ async function runGraphLoop(engine, compiled, task, options, wakes, onWakeSignal
 	async function reenterAfterCrash() {
 		for (const instance of [...state.instances.values()]) {
 			if (instance.status === "released") {
+				if (instance.waveConsumed !== true) await consumeWaveAfterCrash(instance);
 				await spawnInstance(instance.instance);
 				continue;
 			}