@tangle-network/agent-runtime 0.266.0 → 0.273.3

package/dist/{coordination-driver-DdZ-nh_4.js → coordination-driver-CkcW4dxU.js}

@@ -1,4 +1,4 @@
-import { Ci as providerAttemptEvidence, Ct as FileResultBlobStore, D as meterRuntimeOwnedProviderAttempt, Et as InMemorySpawnJournal, Fi as detachedFrozen, Ft as parseWorkerToolTraceArtifact, It as workerTraceAnalysisStore, Jn as errMessage, Q as resolveSpawnResourcePaths, Qi as chargedTokens, Tt as InMemoryResultBlobStore, _t as createExecutorRegistry, an as createPeerMailbox, b as withDriverExecutor, c as runTree, cr as resolveRedactor, en as createInbox, fa as addResourceSpend, fi as prepareJsonlAppend, i as bestDelivered, jn as runBrainLoop, la as unmeteredSpend, ln as isLiveNodeStatus, ma as withBudgetResources, mi as writeAllBytes, o as pickBestDelivered, pi as readCommittedJsonLines, q as scopeRetainedOwnerResourceReader, ra as promptCacheTokenClasses, s as runFinalizer, un as isTerminalNodeStatus, wt as FileSpawnJournal, zt as assertValidBudget } from "./supervisor-B8UMAXya.js";
+import { Ai as readCommittedJsonLines, Bi as providerAttemptEvidence, E as failedItems, Ea as unmeteredSpend, En as isTerminalNodeStatus, It as FileResultBlobStore, Lt as FileSpawnJournal, M as withDriverExecutor, Pt as createRouterTranscript, Qi as detachedFrozen, Qt as workerTraceAnalysisStore, Rt as InMemoryResultBlobStore, Tn as isLiveNodeStatus, Zt as parseWorkerToolTraceArtifact, _ as CheckUnavailableError, at as scopeRetainedOwnerResourceReader, ba as promptCacheTokenClasses, c as runTree, gn as createInbox, ha as chargedTokens, i as bestDelivered, ja as withBudgetResources, ji as writeAllBytes, ka as addResourceSpend, ki as prepareJsonlAppend, kt as createExecutorRegistry, o as pickBestDelivered, qn as runBrainLoop, s as runFinalizer, tn as assertValidBudget, ur as errMessage, ut as resolveSpawnResourcePaths, wr as resolveRedactor, x as checkVerdictOf, xn as createPeerMailbox, z as meterRuntimeOwnedProviderAttempt, zt as InMemorySpawnJournal } from "./supervisor-DdKPGluv.js";
 import { f as RuntimeRunStateError, m as ValidationError } from "./errors-DodWX-cb.js";
 import { A as writeWorkerCancellation, M as writeWorkerSteerAcknowledgement, b as workerCancellationsDir, c as readWorkerCancelRequests, d as readWorkerSteerRequests, k as writeRunCancellation, l as readWorkerCancellation, o as readRunCancelRequest, r as claimWorkerSteerDelivery, s as readRunCancellation, u as readWorkerSteerAcknowledgement } from "./run-layout-vwd4SwX_.js";
 import { agentProfileSchema, canonicalCandidateDigest } from "@tangle-network/agent-interface";
@@ -532,6 +532,7 @@ const coordinationVerbNames = [
 	"submit_result",
 	"stop",
 	"report_blocked",
+	"read_continuation",
 	"read_journal",
 	"list_analysts",
 	"run_analyst",
@@ -901,6 +902,19 @@ function createCoordinationToolsForManager(opts, lifetime) {
 	let driverAttempt;
 	let journalReadTo = 0;
 	let lastRejection;
+	const checkReads = [];
+	const recordCheckRead = (read) => {
+		const entry = detachedFrozen({
+			read: checkReads.length + 1,
+			attempt: driverAttempt ?? 1,
+			at: Date.now(),
+			source: read.source,
+			...read.verdict === void 0 ? {} : { verdict: read.verdict },
+			...read.unavailable === void 0 ? {} : { unavailable: read.unavailable }
+		});
+		checkReads.push(entry);
+		return entry;
+	};
 	const flushedAnalystRuns = /* @__PURE__ */ new Set();
 	const eventWorker = (event) => event.type === "settled" ? event.worker.id : event.type === "finding" ? event.finding.fromWorker : event.type === "question" ? event.question.from : void 0;
 	const acknowledge = async (targets, by) => {
@@ -1848,7 +1862,7 @@ function createCoordinationToolsForManager(opts, lifetime) {
 	const tools = [
 		{
 			name: "spawn_worker",
-			description: "Start a worker the driver will drive. `profile` is the worker or another driver; `task` is what it should do. Reserves budget from the conserved pool and fails closed. Pass an optional `budget` (per-field) to give a hard sub-task more than the default — it merges over the per-worker default; the conserved pool is still the hard fence. When every worker slot is busy, or the pool cannot cover the budget until your running workers return what they hold, the worker is admitted with `status: \"queued\"` and starts on its own when a slot and its budget free — it is never refused for concurrency, so spawn all the work you want done and await_event for the results. A queued worker whose budget never frees settles down as budget-exhausted. Pass a `key` naming the assignment to make it run-once ACROSS restarts: a key that already completed returns the finished result (`resumed: \"completed\"` — no work re-runs, nothing is spent), a key whose prior attempt failed (`down`) spawns fresh and says so (`resumed: \"retried\"`), and a key with no terminal receipt is refused (`error: \"in-doubt\"`) until its exact prior execution is recovered. A key still running is refused (`error: \"duplicate-key\"`). Returns `freeSlots`: how many MORE workers start at once (`null` = no slot bound), and `queued`: how many of your workers wait for a slot. Parallel workers finish the run sooner than one at a time." + (profileTable === void 0 ? "" : " This run has a profiles table: pass `profile` as one of the table's names to run that exact profile, or write a new profile under a name the table does not hold."),
+			description: "Start a worker the driver will drive. `profile` is the worker or another driver; `task` is what it should do. Reserves budget from the conserved pool and fails closed. Pass an optional `budget` (per-field) to give a hard sub-task more than the default — it merges over the per-worker default; the conserved pool is still the hard fence. When every worker slot is busy, or the pool cannot cover the budget until your running workers return what they hold, the worker is admitted with `status: \"queued\"` and starts on its own when a slot and its budget free — it is never refused for concurrency, so spawn all the work you want done and await_event for the results. A queued worker whose budget never frees settles down as budget-exhausted. Pass a `key` naming the assignment to make it run-once ACROSS restarts: a key that already completed returns the finished result (`resumed: \"completed\"` — no work re-runs, nothing is spent), a key whose prior attempt failed (`down`) spawns fresh and says so (`resumed: \"retried\"`), and a key the process died with IN FLIGHT retries under the same key when the executor provably died with the process (an inline worker — the same `resumed: \"retried\"`, naming the interruption). A key with no terminal receipt whose execution may still exist elsewhere (sandbox, CLI bridge, router) is refused (`error: \"in-doubt\"`) until its exact prior execution is recovered. A key still running is refused (`error: \"duplicate-key\"`). Returns `freeSlots`: how many MORE workers start at once (`null` = no slot bound), and `queued`: how many of your workers wait for a slot. Parallel workers finish the run sooner than one at a time." + (profileTable === void 0 ? "" : " This run has a profiles table: pass `profile` as one of the table's names to run that exact profile, or write a new profile under a name the table does not hold."),
 			inputSchema: {
 				type: "object",
 				properties: {
@@ -2463,24 +2477,23 @@ function createCoordinationToolsForManager(opts, lifetime) {
 					};
 				}
 				const result = structuredClone(a.result);
-				let accepted = false;
-				let thrown;
+				let verdict;
+				let fault;
 				try {
-					accepted = await deliverable.check(result) === true;
+					verdict = checkVerdictOf(await deliverable.check(result));
 				} catch (error) {
-					accepted = false;
-					thrown = error instanceof Error ? error.message : String(error);
+					fault = {
+						unavailable: error instanceof CheckUnavailableError,
+						message: error instanceof Error ? error.message : String(error)
+					};
 				}
-				if (!accepted) {
-					let explanation;
-					let diagnosticError;
-					if (thrown === void 0 && deliverable.explainFailure) try {
-						const detail = await deliverable.explainFailure(result);
-						if (typeof detail === "string" && detail.trim()) explanation = detail.trim();
-					} catch (error) {
-						diagnosticError = error instanceof Error ? error.message : String(error);
-					}
-					const refusal = thrown === void 0 ? `the independent check did not pass on this result${explanation ? `. ${explanation}` : deliverable.describe ? `. Expected: ${deliverable.describe}` : ""}` : `the independent check THREW, so nothing was accepted: ${thrown}. This is a fault in the check, not necessarily in your result — report it rather than resubmitting unchanged`;
+				const read = recordCheckRead({
+					source: "submit",
+					...verdict === void 0 ? {} : { verdict },
+					...fault === void 0 ? {} : { unavailable: fault.message }
+				});
+				if (verdict === void 0 || !verdict.pass) {
+					const refusal = verdict !== void 0 ? refusalText(verdict, deliverable, read.read) : fault?.unavailable === true ? `the check could not run, so this result was not judged (check read ${read.read}): ${fault.message}` : `the independent check THREW, so nothing was accepted (check read ${read.read}): ${fault?.message}. This is a fault in the check, not necessarily in your result — report it rather than resubmitting unchanged`;
 					lastRejection = {
 						at: Date.now(),
 						reason: refusal
@@ -2489,7 +2502,7 @@ function createCoordinationToolsForManager(opts, lifetime) {
 						accepted: false,
 						stop: false,
 						reason: refusal,
-						...diagnosticError === void 0 ? {} : { diagnosticError }
+						checkRead: read.read
 					};
 				}
 				if (submitted) return {
@@ -2529,7 +2542,7 @@ function createCoordinationToolsForManager(opts, lifetime) {
 				};
 			}
 		}] : [],
-		{
+		...deliverable ? [] : [{
 			name: "stop",
 			description: "Declare the run complete.",
 			inputSchema: {
@@ -2562,7 +2575,25 @@ function createCoordinationToolsForManager(opts, lifetime) {
 				notifyStop();
 				return Promise.resolve({ stopped: true });
 			}
-		},
+		}],
+		...opts.readContinuation ? [{
+			name: "read_continuation",
+			description: ["Read a continuation note in full: the note, every line of the check's verdict, and", "the question panel's answers. Omit continuation for the latest."].join(" "),
+			inputSchema: {
+				type: "object",
+				properties: { continuation: {
+					type: "integer",
+					minimum: 1,
+					description: "Which continuation, 1-based. Omit for the latest."
+				} },
+				additionalProperties: false
+			},
+			handler: async (raw) => {
+				const value = obj(raw).continuation;
+				if (value !== void 0 && (!Number.isInteger(value) || value < 1)) throw new Error("read_continuation: \"continuation\" must be an integer >= 1");
+				return opts.readContinuation?.(value);
+			}
+		}] : [],
 		{
 			name: "report_blocked",
 			description: [
@@ -2919,9 +2950,31 @@ function createCoordinationToolsForManager(opts, lifetime) {
 			});
 		},
 		blocked: () => blockedEvidence,
+		checkReads: () => checkReads,
+		recordCheckRead,
 		...peerMail ? { peerMail } : {}
 	};
 }
+/**
+* The refusal a failed check reading returns to `submit_result`: the verdict as a located fact,
+* the FAIL lines unless the check's tests must stay hidden, and how many times the manager has
+* read the check.
+*/
+function refusalText(verdict, deliverable, read) {
+	const total = Object.keys(verdict.items ?? {}).length;
+	const failed = failedItems(verdict).length;
+	const score = verdict.composite === void 0 ? "" : ` (composite ${verdict.composite}${verdict.threshold === void 0 ? "" : `, passes at ${verdict.threshold}`})`;
+	const head = total > 0 ? `The outside check failed: ${failed} of ${total} items fail${score}. Check read ${read}.` : `The outside check failed${score}. Check read ${read}.`;
+	if (deliverable.feedback === "pass-only") return head;
+	const lines = verdict.failures ?? [];
+	if (lines.length === 0) return deliverable.describe ? `${head} Expected: ${deliverable.describe}` : head;
+	const shown = lines.slice(0, 40);
+	return [
+		head,
+		...shown,
+		...lines.length > shown.length ? [`${lines.length - shown.length} more failure lines.`] : []
+	].join("\n");
+}
 /** The verbs `report_blocked` never calls on a manager's behalf: each one changes the run. */
 const unprobeableVerbs = /* @__PURE__ */ new Set([
 	"submit_result",
@@ -2995,7 +3048,7 @@ function applyRunCancellation(dir, abortRun, now, path = "turn-boundary") {
 	return record;
 }
 /** External drivers may remain silent indefinitely, so turn boundaries cannot observe control. */
-function watchRunCancellation(dir, abortRun) {
+function watchRunCancellation(dir, abortRun, createWatch = watch) {
 	mkdirSync(workerCancellationsDir(dir), { recursive: true });
 	let active = true;
 	let failure;
@@ -3008,15 +3061,21 @@ function watchRunCancellation(dir, abortRun) {
 		failure = error;
 		abortRun(`durable run cancellation observer failed: ${String(error)}`);
 	};
-	const watcher = watch(workerCancellationsDir(dir), (_event, filename) => {
-		if (!active || filename !== null && filename !== "run.request.json") return;
-		try {
-			check();
-		} catch (error) {
-			fail(error);
-		}
-	});
-	watcher.on("error", fail);
+	let watcher;
+	try {
+		watcher = createWatch(workerCancellationsDir(dir), (_event, filename) => {
+			if (!active || filename !== null && filename !== "run.request.json") return;
+			try {
+				check();
+			} catch (error) {
+				fail(error);
+			}
+		});
+	} catch (error) {
+		const code = error.code;
+		if (code !== "EMFILE" && code !== "ENOSPC") throw error;
+	}
+	watcher?.on("error", fail);
 	const fallback = setInterval(() => {
 		try {
 			check("fallback");
@@ -3029,7 +3088,7 @@ function watchRunCancellation(dir, abortRun) {
 		check,
 		close() {
 			active = false;
-			watcher.close();
+			watcher?.close();
 			clearInterval(fallback);
 		}
 	};
@@ -3090,63 +3149,67 @@ var FileCoordinationLog = class {
 		}
 	}
 	async load(runId, ownerId) {
-		const byId = /* @__PURE__ */ new Map();
-		const findings = [];
-		const escalations = [];
-		const analystDefinitions = [];
-		const continuations = [];
-		const deliveryEvidence = [];
-		const mail = [];
-		const records = [];
-		let legacySeq = 0;
-		for await (const stored of readCommittedJsonLines(this.path, { allowMissing: true })) {
-			if (stored.runId !== runId) continue;
-			if (ownerId !== void 0 && stored.ownerId !== ownerId) continue;
-			const record = "seq" in stored ? {
-				seq: stored.seq,
-				at: stored.at,
-				priority: stored.priority,
-				event: stored.event
-			} : {
-				seq: legacySeq++,
-				at: Date.parse(stored.at),
-				priority: 0,
-				event: stored.event
-			};
-			records.push(record);
-			const ev = record.event;
-			if (ev.type === "delivery-attempt" || ev.type === "steer" || ev.type === "answer") deliveryEvidence.push(ev);
-			if (ev.type === "question") byId.set(ev.question.id, ev.question);
-			else if (ev.type === "finding") findings.push(ev.finding);
-			else if (ev.type === "answer") {
-				const prior = byId.get(ev.questionId);
-				if (prior && ev.down.delivered) byId.set(ev.questionId, {
-					...prior,
-					status: "answered",
-					decision: {
-						kind: "answer",
-						answer: ev.down.instruction,
-						by: "prior-run"
-					}
-				});
-			} else if (ev.type === "instruction") continuations.push(ev.instruction);
-			else if (ev.type === "mail") mail.push(ev.mail);
-			else if (ev.type === "escalation") escalations.push(ev.escalation);
-			else if (ev.type === "analyst-defined") analystDefinitions.push(ev.analyst);
-		}
-		return {
-			...ownerId !== void 0 ? { ownerId } : {},
-			questions: [...byId.values()],
-			findings,
-			escalations,
-			analystDefinitions,
-			continuations,
-			deliveryEvidence,
-			mail,
-			records
-		};
+		return foldCoordinationRecords(readCommittedJsonLines(this.path, { allowMissing: true }), runId, ownerId);
 	}
 };
+/** @internal Shared replay semantics for file and SQL coordination evidence. */
+async function foldCoordinationRecords(source, runId, ownerId) {
+	const byId = /* @__PURE__ */ new Map();
+	const findings = [];
+	const escalations = [];
+	const analystDefinitions = [];
+	const continuations = [];
+	const deliveryEvidence = [];
+	const mail = [];
+	const records = [];
+	let legacySeq = 0;
+	for await (const stored of source) {
+		if (stored.runId !== runId) continue;
+		if (ownerId !== void 0 && stored.ownerId !== ownerId) continue;
+		const record = "seq" in stored ? {
+			seq: stored.seq,
+			at: stored.at,
+			priority: stored.priority,
+			event: stored.event
+		} : {
+			seq: legacySeq++,
+			at: Date.parse(stored.at),
+			priority: 0,
+			event: stored.event
+		};
+		records.push(record);
+		const ev = record.event;
+		if (ev.type === "delivery-attempt" || ev.type === "steer" || ev.type === "answer") deliveryEvidence.push(ev);
+		if (ev.type === "question") byId.set(ev.question.id, ev.question);
+		else if (ev.type === "finding") findings.push(ev.finding);
+		else if (ev.type === "answer") {
+			const prior = byId.get(ev.questionId);
+			if (prior && ev.down.delivered) byId.set(ev.questionId, {
+				...prior,
+				status: "answered",
+				decision: {
+					kind: "answer",
+					answer: ev.down.instruction,
+					by: "prior-run"
+				}
+			});
+		} else if (ev.type === "instruction") continuations.push(ev.instruction);
+		else if (ev.type === "mail") mail.push(ev.mail);
+		else if (ev.type === "escalation") escalations.push(ev.escalation);
+		else if (ev.type === "analyst-defined") analystDefinitions.push(ev.analyst);
+	}
+	return {
+		...ownerId !== void 0 ? { ownerId } : {},
+		questions: [...byId.values()],
+		findings,
+		escalations,
+		analystDefinitions,
+		continuations,
+		deliveryEvidence,
+		mail,
+		records
+	};
+}
 //#endregion
 //#region src/runtime/supervise/run-context.ts
 /**
@@ -3174,6 +3237,18 @@ var FileCoordinationLog = class {
 *
 * @experimental
 */
+/** Hold a run context's ownership (when it has any) across the whole run, releasing after. */
+async function withRunContext(context, signal, run) {
+	if (context.acquire === void 0) return run(context, signal);
+	const lease = await context.acquire(signal);
+	try {
+		const result = await run(lease.context, signal === void 0 ? lease.signal : AbortSignal.any([signal, lease.signal]));
+		lease.signal.throwIfAborted();
+		return result;
+	} finally {
+		await lease.release();
+	}
+}
 /**
 * Build a fresh in-memory run context. Every call returns NEW stores (no shared global
 * state between runs), so two runs never cross-contaminate their journals/blobs.
@@ -4049,11 +4124,13 @@ function driverAgent(opts) {
 	const maxTurns = opts.maxTurns ?? 16;
 	const now = opts.now ?? Date.now;
 	const inbox = opts.inbox ?? createInbox();
+	const transcript = opts.transcript ?? createRouterTranscript();
 	return {
 		name: opts.name,
 		deliver(message) {
 			return inbox.deliver(message);
 		},
+		harnessTranscript: () => transcript.capture(),
 		async act(task, scope) {
 			const ownerReader = opts.spawnResourceReader ?? (opts.spawnResourceRoot === void 0 ? scopeRetainedOwnerResourceReader(scope) : void 0);
 			let probeableByName;
@@ -4148,7 +4225,7 @@ function driverAgent(opts) {
 			let progressStopReason;
 			let driverTurn = 0;
 			let driverCall = 0;
-			const meteredBrain = async (messages, tools, detail) => {
+			const meteredBrain = async (messages, tools, detail, conversationTurn) => {
 				let res;
 				const call = driverCall;
 				driverCall += 1;
@@ -4209,16 +4286,19 @@ function driverAgent(opts) {
 					...res.promptCache !== void 0 ? { promptCache: res.promptCache } : {},
 					...res.usageUnknown === true ? { streamUsageMissing: true } : {},
 					...res.costProvenance === "catalog-estimate" ? { estimatedCostUsd: res.costUsd } : {},
-					...detail
+					...detail,
+					...conversationTurn ? { conversation: conversationTurn(res) } : {}
 				});
 				if (evidenceError !== void 0) throw evidenceError;
 				return res;
 			};
 			const chat = async (messages, tools) => {
+				const turn = driverTurn;
+				transcript.observe(messages);
 				const res = await meteredBrain(messages, tools, {
 					kind: "driver-inference",
-					turn: driverTurn
-				});
+					turn
+				}, (reply) => transcript.reply(reply));
 				driverTurn += 1;
 				return res;
 			};
@@ -4282,6 +4362,7 @@ function driverAgent(opts) {
 							role: "user",
 							content: inbox.fold(pending)
 						});
+						transcript.observe(messages);
 					},
 					stopBefore: () => {
 						if (coord.isStopped() || scope.signal.aborted || poolStarved(scope, opts.perWorker, opts.preserveOwnerTurns) || deadlinePassed(scope, now)) return true;
@@ -4413,6 +4494,6 @@ function safeJson(v) {
 	}
 }
 //#endregion
-export { downMessageRefusalReasons as A, ANALYST_DEFINITION_BOUNDS as C, coordinationVerbNames as D, canonicalFindingEvent as E, defaultToolDetectors as F, watchTrace as I, parseAuthoredAnalystDefinition as M, questionEscalationTargets as N, createCoordinationTools as O, createEventBus as P, watchRunCancellation as S, analystToolGroupNames as T, renderAnytimeTable as _, allOf as a, FileCoordinationLog as b, createProgressTracker as c, progressStop as d, sampleFromSettled as f, plateauLength as g, bestSoFar as h, finalizeBestDelivered as i, normalizeAnalyzeOnSettle as j, createCoordinationToolsForManager as k, noProgressFor as l, areaUnderCurve as m, createSteerAcknowledger as n, allWorkersStalled as o, anytimeReport as p, driverAgent as r, anyOf as s, createCancelAcknowledger as t, plateau as u, createFileRunContext as v, DEFAULT_AWAIT_EVENT_TIMEOUT_MS as w, applyRunCancellation as x, createInMemoryRunContext as y };
+export { createCoordinationTools as A, applyRunCancellation as C, analystToolGroupNames as D, DEFAULT_AWAIT_EVENT_TIMEOUT_MS as E, questionEscalationTargets as F, createEventBus as I, defaultToolDetectors as L, downMessageRefusalReasons as M, normalizeAnalyzeOnSettle as N, canonicalFindingEvent as O, parseAuthoredAnalystDefinition as P, watchTrace as R, foldCoordinationRecords as S, ANALYST_DEFINITION_BOUNDS as T, renderAnytimeTable as _, allOf as a, withRunContext as b, createProgressTracker as c, progressStop as d, sampleFromSettled as f, plateauLength as g, bestSoFar as h, finalizeBestDelivered as i, createCoordinationToolsForManager as j, coordinationVerbNames as k, noProgressFor as l, areaUnderCurve as m, createSteerAcknowledger as n, allWorkersStalled as o, anytimeReport as p, driverAgent as r, anyOf as s, createCancelAcknowledger as t, plateau as u, createFileRunContext as v, watchRunCancellation as w, FileCoordinationLog as x, createInMemoryRunContext as y };
 
-//# sourceMappingURL=coordination-driver-DdZ-nh_4.js.map
+//# sourceMappingURL=coordination-driver-CkcW4dxU.js.map