@tangle-network/agent-runtime 0.271.0 → 0.273.3

package/dist/{substrate-CbC03Vzo.d.ts → substrate-VKjmrksz.d.ts}

@@ -1,4 +1,4 @@
-import { Ii as Driver, Pi as AgentRunSpec, ca as Validator, ra as OutputAdapter } from "./types-Bo7z5aG5.js";
+import { Ca as OutputAdapter, Oa as Validator, ea as AgentRunSpec, na as Driver } from "./types-DMRc3jru.js";
 import { AgentProfile } from "@tangle-network/agent-interface";
 //#region src/profiles/coder.d.ts
 /**
@@ -281,4 +281,4 @@ interface UiFinding {
 }
 //#endregion
 export { CoderTask as _, UiFindingSeverity as a, KnowledgeUpdate as c, ResearchSource as d, ResearchTask as f, researcherProfile as g, multiHarnessResearcherFanout as h, UiFindingScreenshot as i, MultiHarnessResearcherFanoutOptions as l, createResearcherValidator as m, UI_LENSES as n, UiLens as o, ResearcherProfileOptions as p, UiFinding as r, KnowledgeItem as s, UI_FINDING_SEVERITIES as t, ResearchOutput as u, coderTaskToPrompt as v };
-//# sourceMappingURL=substrate-CbC03Vzo.d.ts.map
+//# sourceMappingURL=substrate-VKjmrksz.d.ts.map

package/dist/{supervise-DJ_1i9vj.js → supervise-Dej5aSDa.js}

@@ -1,9 +1,9 @@
-import { $r as controlProfileMaterialization, A as restoreScopeOwnerAcceptedExecution, Ai as runtimeOwnedExecutorMaterialization, B as bindScopeRetainedOwnerEnvironmentId, C as beginScopeOwnerAttempt, Ca as teardownExecutor, D as meterRuntimeOwnedProviderAttempt, Di as recordRuntimeOwnedDriveHarnessProviderEvidence, E as meterRuntimeOwnedAccounting, Ei as providerAttemptEvidence, G as scopeRetainedOwnerContext, Gt as newUsageTotals, H as consumeScopeRetainedOwnerResult, Hn as resolveAgentEnvironmentProvider, Ht as assertValidBudget, J as scopeRetainedOwnerResult, Jt as WORKER_TRACE_PROPAGATION, K as scopeRetainedOwnerPriorSpend, Mi as runtimeOwnedPendingExecutorMaterialization, Mr as toOtelAttributes, Ni as runtimeOwnedScopeOwnerRuntime, Nn as routerBrain, O as recordScopeOwnerMaterialization, Oi as runtimeOwnedDriveHarnessProviderEvidence, Or as generateSpanId, Qr as assertProfileMaterialization, S as assertRecursiveReservationPolicy, Si as inheritRuntimeOwnedExecutorAttestation, Sn as bridgeStopSignalKey, T as deriveNodeExecutionIdentity, Tr as createOtelExporter, U as prepareScopeRetainedOwnerTask, V as bindScopeRetainedOwnerProvider, W as reconcileScopeRetainedOwnerEnvironment, Wt as meterUsageEvent, Xn as retainedExecutorSeamKey, Yn as registerRetainedExecutorPreparation, Zn as errMessage, _ as driverChild, _a as withBudgetResources, ar as RunCancellationReason, c as runTree, ca as sleep, ci as renderUnsupported, cr as runAbortable, d as HarnessTurnFailedError, ea as addSpend, ei as defineProfileMaterializationContract, fa as unmeteredSpend, fi as worktreeCliProfileMaterialization, ft as bindReusableExecutorExecutionId, ga as resourceTelemetry, gi as readCommittedJsonLines, gn as bridgeModelRouteRefusal, gt as createExecutor, h as summarizeDriverAttempts, ha as addResourceSpend, hi as prepareJsonlAppend, hn as bridgeAdmissionRefusal, hr as contentAddress, i as bestDelivered, ii as promptModelProfileMaterialization, j as scopeOwnerExecutorNodeContext, ji as runtimeOwnedExecutorProviderEvidence, k as recordScopeOwnerPause, ki as runtimeOwnedExecutorExecutionBinding, m as runDriverWithRetry, ma as zeroSpend, mn as executorFailure, n as createRootHandle, ni as profileMaterializationAxes$1, p as defaultUnmetContractSteer, pa as withTimeout, pi as isNoEntError, pt as captureReusableExecutorConfig, q as scopeRetainedOwnerResourceReader, qt as spendFromUsageTotals, r as createSupervisor, ri as promptControlProfileMaterialization, rn as createInbox, s as runFinalizer, sr as linkAbort, ti as fullProfileMaterialization, ui as unsupportedProfileDimensions, v as driverExecutorFactory, vt as snapshotExecutorConfig, wa as teardownSurfaces, xa as DEFAULT_SUCCESSFUL_SHUTDOWN_MS, xn as bridgeRuntimeAttachmentsKey, y as isDriverSpec, yi as attestRuntimeOwnedScopeOwner, zi as detachedSnapshot } from "./supervisor-Cvd5mf7x.js";
+import { $ as bindScopeRetainedOwnerProvider, $i as detachedSnapshot, A as driverExecutorFactory, Aa as resourceTelemetry, Ai as readCommittedJsonLines, At as snapshotExecutorConfig, B as recordScopeOwnerMaterialization, Bi as providerAttemptEvidence, C as createContinuationKeeper, Da as withTimeout, Di as isNoEntError, Dn as executorFailure, Dr as persistHarnessTranscript, Ea as unmeteredSpend, Ei as worktreeCliProfileMaterialization, F as beginScopeOwnerAttempt, Fa as DEFAULT_SUCCESSFUL_SHUTDOWN_MS, Fn as bridgeStopSignalKey, Gi as runtimeOwnedExecutorProviderEvidence, H as restoreScopeOwnerAcceptedExecution, Hi as runtimeOwnedDriveHarnessProviderEvidence, Hr as generateSpanId, Ii as inheritRuntimeOwnedExecutorAttestation, Ki as runtimeOwnedPendingExecutorMaterialization, Kn as routerBrain, Kr as toOtelAttributes, L as deriveNodeExecutionIdentity, La as teardownExecutor, Ni as attestRuntimeOwnedScopeOwner, Oa as zeroSpend, On as bridgeAdmissionRefusal, Or as readHarnessTranscript, Ot as createExecutor, P as assertRecursiveReservationPolicy, Pn as bridgeRuntimeAttachmentsKey, Pt as createRouterTranscript, Q as bindScopeRetainedOwnerEnvironmentId, R as meterRuntimeOwnedAccounting, Ra as teardownSurfaces, Sa as sleep, Si as renderUnsupported, Tt as captureReusableExecutorConfig, U as scopeOwnerExecutorNodeContext, Ui as runtimeOwnedExecutorExecutionBinding, V as recordScopeOwnerPause, Vi as recordRuntimeOwnedDriveHarnessProviderEvidence, Wi as runtimeOwnedExecutorMaterialization, _ as CheckUnavailableError, _i as promptControlProfileMaterialization, at as scopeRetainedOwnerResourceReader, b as bestComposite, br as linkAbort, c as runTree, cr as registerRetainedExecutorPreparation, et as consumeScopeRetainedOwnerResult, f as runDriverWithRetry, fi as assertProfileMaterialization, gi as profileMaterializationAxes$1, gn as createInbox, h as CONTINUATIONS_DIR, hi as fullProfileMaterialization, i as bestDelivered, in as newUsageTotals, it as scopeRetainedOwnerPriorSpend, j as isDriverSpec, ja as withBudgetResources, k as driverChild, ka as addResourceSpend, ki as prepareJsonlAppend, kn as bridgeModelRouteRefusal, kr as contentAddress, lr as retainedExecutorSeamKey, ma as addSpend, mi as defineProfileMaterializationContract, n as createRootHandle, nt as reconcileScopeRetainedOwnerEnvironment, on as spendFromUsageTotals, ot as scopeRetainedOwnerResult, p as summarizeDriverAttempts, pi as controlProfileMaterialization, qi as runtimeOwnedScopeOwnerRuntime, r as createSupervisor, rn as meterUsageEvent, rt as scopeRetainedOwnerContext, s as runFinalizer, sn as WORKER_TRACE_PROPAGATION, tn as assertValidBudget, tr as resolveAgentEnvironmentProvider, tt as prepareScopeRetainedOwnerTask, u as HarnessTurnFailedError, ur as errMessage, v as admitContinuationPolicy, vi as promptModelProfileMaterialization, vr as RunCancellationReason, wi as unsupportedProfileDimensions, wt as bindReusableExecutorExecutionId, x as checkVerdictOf, xr as runAbortable, z as meterRuntimeOwnedProviderAttempt, zr as createOtelExporter } from "./supervisor-DdKPGluv.js";
 import { f as RuntimeRunStateError, i as ConfigError, m as ValidationError } from "./errors-DodWX-cb.js";
 import { a as concreteProfileModel, c as profileModelExecutionSettings, d as agentHarness, f as harnessRunsAgent, n as assertModelAllowed, o as enforceTokenLimits, r as assertProfileModelsAllowed, s as profileBridgeWireModel, t as assertExecutableAgentProfile } from "./model-policy-BbSCSak0.js";
 import { t as composeRuntimeHooks } from "./runtime-hooks-tXpAarhW.js";
 import { n as assertNoSymlinkDescendant } from "./durable-file-DWQA4ooo.js";
-import { D as coordinationVerbNames, S as watchRunCancellation, c as createProgressTracker, d as progressStop, k as createCoordinationToolsForManager, n as createSteerAcknowledger, r as driverAgent, t as createCancelAcknowledger, v as createFileRunContext, w as DEFAULT_AWAIT_EVENT_TIMEOUT_MS, x as applyRunCancellation, y as createInMemoryRunContext } from "./coordination-driver-iBGMKDvB.js";
+import { C as applyRunCancellation, E as DEFAULT_AWAIT_EVENT_TIMEOUT_MS, b as withRunContext, c as createProgressTracker, d as progressStop, j as createCoordinationToolsForManager, k as coordinationVerbNames, n as createSteerAcknowledger, r as driverAgent, t as createCancelAcknowledger, u as plateau, v as createFileRunContext, w as watchRunCancellation, y as createInMemoryRunContext } from "./coordination-driver-CkcW4dxU.js";
 import { r as createStdioToolServer, t as PROTOCOL_VERSION } from "./tool-server-Dqer2M4_.js";
 import { k as writeRunCancellation, o as readRunCancelRequest, s as readRunCancellation } from "./run-layout-vwd4SwX_.js";
 import { agentProfileSchema, canonicalAgentProfileDigest, canonicalCandidateDigest, canonicalCandidateJson, validateAgentProfileSecurity } from "@tangle-network/agent-interface";
@@ -12,6 +12,7 @@ import { closeSync, constants, fsyncSync, openSync, writeSync } from "node:fs";
 import { resolve } from "node:path";
 import { mkdir } from "node:fs/promises";
 import { isMaterializerHarness } from "@tangle-network/agent-profile-materialize";
+import { ATTR } from "@tangle-network/agent-trace-contract";
 import { createServer } from "node:http";
 import { withProfileKb } from "@tangle-network/agent-interface/profile-kb";
 //#region src/runtime/supervise/completion-gate.ts
@@ -48,7 +49,7 @@ function gateOnDeliverable(inner, deliverable) {
 	const check = async (out, baseScore) => {
 		let delivered;
 		try {
-			delivered = await deliverable.check(out) === true;
+			delivered = checkVerdictOf(await deliverable.check(out)).pass;
 		} catch {
 			delivered = false;
 		}
@@ -689,6 +690,7 @@ async function serveCoordinationMcpForManager(opts, lifetime) {
 		...opts.authorizeDownMessage ? { authorizeDownMessage: opts.authorizeDownMessage } : {},
 		perWorker: opts.perWorker,
 		...opts.deliverable ? { deliverable: opts.deliverable } : {},
+		...opts.readContinuation ? { readContinuation: opts.readContinuation } : {},
 		...opts.onStop ? { onStop: opts.onStop } : {},
 		awaitTimeoutMs: opts.awaitTimeoutMs ?? responseFenceMs,
 		...opts.analysts ? { analysts: opts.analysts } : {},
@@ -977,6 +979,21 @@ function createSupervisorSpanRecorder(opts) {
 	const open = /* @__PURE__ */ new Map();
 	const spanIdOf = /* @__PURE__ */ new Map([[opts.runId, rootSpanId]]);
 	let finished = false;
+	/**
+	* The span a node's event hangs under. A parent node whose span this recorder never opened (it
+	* ran in an earlier process) leaves the child on the root span, which is a placeholder, not a
+	* recorded parent.
+	*/
+	const parentSpan = (parentId) => {
+		const spanId = parentId === void 0 ? void 0 : spanIdOf.get(parentId);
+		return spanId ? {
+			spanId,
+			confidence: "explicit"
+		} : {
+			spanId: rootSpanId,
+			confidence: "unknown"
+		};
+	};
 	/** Every export is best-effort: a throwing exporter must never reach the run. */
 	const emit = (span) => {
 		try {
@@ -1006,7 +1023,7 @@ function createSupervisorSpanRecorder(opts) {
 		const isWait = runtime === "wait";
 		const attrs = {
 			...base,
-			"openinference.span.kind": isWait ? "CHAIN" : "AGENT",
+			[ATTR.spanKind]: isWait ? "CHAIN" : "AGENT",
 			"agent.name": label,
 			"tangle.supervise.node.id": childId,
 			"tangle.supervise.node.label": label,
@@ -1016,14 +1033,22 @@ function createSupervisorSpanRecorder(opts) {
 		if (event.parentId) attrs["tangle.supervise.node.parent_id"] = event.parentId;
 		if (runtime) attrs["tangle.supervise.node.runtime"] = runtime;
 		if (typeof p.depth === "number") attrs["tangle.supervise.node.depth"] = p.depth;
+		const key = str(p.key);
+		const operation = str(p.assignmentId) ?? key;
+		if (operation) attrs[ATTR.operationId] = operation;
+		const attempt = str(p.attemptId);
+		if (attempt) attrs[ATTR.attemptId] = attempt;
+		if (key) attrs[ATTR.idempotencyKey] = key;
 		if (typeof event.stepIndex === "number") attrs["tangle.supervise.node.ordinal"] = event.stepIndex;
 		if (p.resumed === true) attrs["tangle.supervise.node.resumed"] = true;
 		assignBudget(attrs, p.budget);
+		const parent = parentSpan(event.parentId);
+		attrs[ATTR.parentConfidence] = parent.confidence;
 		const spanId = generateSpanId();
 		spanIdOf.set(childId, spanId);
 		open.set(childId, {
 			spanId,
-			parentSpanId: event.parentId && spanIdOf.get(event.parentId) || rootSpanId,
+			parentSpanId: parent.spanId,
 			name: label,
 			startMs: event.timestamp,
 			attrs
@@ -1060,10 +1085,15 @@ function createSupervisorSpanRecorder(opts) {
 	function onTurn(event) {
 		const p = record(event.payload);
 		const parentId = event.parentId;
-		const parentSpanId = parentId && spanIdOf.get(parentId) || rootSpanId;
+		const parent = parentId ? parentSpan(parentId) : {
+			spanId: rootSpanId,
+			confidence: "explicit"
+		};
+		const parentSpanId = parent.spanId;
 		const attrs = {
 			...base,
-			"openinference.span.kind": "LLM",
+			[ATTR.parentConfidence]: parent.confidence,
+			[ATTR.spanKind]: "LLM",
 			"inference.observation_kind": "LLM",
 			"tangle.supervise.node.kind": "inference"
 		};
@@ -1121,17 +1151,27 @@ function createSupervisorSpanRecorder(opts) {
 					"tangle.supervise.node.id": nodeId
 				}, STATUS_UNSET));
 				open.clear();
-				emit(span(rootSpanId, opts.parentSpanId, "supervisor.run", rootStartMs, endMs, rootAttrs(base, opts.agentName ?? "supervisor", outcome), rootStatus(outcome), rootMessage(outcome)));
+				emit(span(rootSpanId, opts.parentSpanId, "supervisor.run", rootStartMs, endMs, {
+					...rootAttrs(base, opts.agentName ?? "supervisor", outcome),
+					...opts.parentSpanId ? { [ATTR.parentConfidence]: "explicit" } : {}
+				}, rootStatus(outcome), rootMessage(outcome)));
+			} catch {}
+			try {
 				await exporter.flush();
+			} catch (error) {
+				const s = exporter.stats();
+				console.warn(`[agent-runtime] supervisor span export dropped ${s.dropped} span(s): ${s.lastError ?? String(error)}`);
+			} finally {
 				if (ownsExporter) await exporter.shutdown();
-			} catch {}
-		}
+			}
+		},
+		stats: () => exporter.stats()
 	};
 }
 function rootAttrs(base, agentName, outcome) {
 	const attrs = {
 		...base,
-		"openinference.span.kind": "AGENT",
+		[ATTR.spanKind]: "AGENT",
 		"inference.observation_kind": "AGENT",
 		"agent.name": agentName,
 		"inference.agent_name": agentName,
@@ -1283,7 +1323,7 @@ function composeReentryTask(input) {
 * only what to continue, spent all forty-five on the research.
 */
 function whyLine(reentry) {
-	if (reentry.reason === "unmet-contract") return `Your previous turn ended with the completion check unmet (re-prompt ${reentry.reprompt}).`;
+	if (reentry.reason === "unmet-contract") return `Your previous turn ended with the completion check unmet (continuation ${reentry.continuation}).`;
 	return reentry.reason === "upstream-unavailable" ? "Your previous turn was interrupted before it finished; the run itself is intact." : `Your previous turn ended before it finished (retry ${reentry.retry}); the run itself is intact.`;
 }
 function environmentLine(continuity) {
@@ -1755,18 +1795,20 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 	if (harness === null && coordination !== void 0) throw new ConfigError("supervisorAgent: coordination binding is only meaningful for a harness-brained supervisor (profile.harness set). A router-brained supervisor calls the coordination verbs in process and serves no MCP, so this binding would be silently ignored.");
 	if (harness === null && deps.peerMail) throw new ValidationError("supervisorAgent: peerMail is only served by a harness-brained supervisor (profile.harness set). A router-brained supervisor serves no coordination MCP listener, so there is no peer-mail post office to mint worker capabilities from.");
 	if (harness !== null && deps.compaction) throw new ValidationError("supervisorAgent: compaction is only supported for router-brained supervisors (profile.harness omitted or cli-base)");
-	if (harness === null && (deps.repromptOnUnmet !== void 0 || deps.onUnmetContract !== void 0)) throw new ValidationError("supervisorAgent: repromptOnUnmet/onUnmetContract apply to an EXTERNAL-harness supervisor only (profile.harness set). A router-brained supervisor runs its own turn loop in process, so this option would be silently ignored.");
-	if (deps.repromptOnUnmet !== void 0 && deps.repromptOnUnmet !== "until-complete" && (!Number.isInteger(deps.repromptOnUnmet) || deps.repromptOnUnmet < 0)) throw new ValidationError("supervisorAgent: repromptOnUnmet must be a non-negative integer or 'until-complete' (0 = never re-prompt)");
-	const repromptEnabled = deps.repromptOnUnmet === "until-complete" || (deps.repromptOnUnmet ?? 0) > 0;
-	if (deps.onUnmetContract !== void 0 && !repromptEnabled) throw new ValidationError("supervisorAgent: onUnmetContract needs repromptOnUnmet >= 1 or 'until-complete'");
-	if (repromptEnabled && deps.deliverable === void 0) throw new ValidationError("supervisorAgent: repromptOnUnmet needs a `deliverable` completion check — with no check there is no contract that can be unmet, and every run would re-prompt");
+	if (harness === null && deps.continuation !== void 0) throw new ValidationError("supervisorAgent: continuation applies to an EXTERNAL-harness supervisor only (profile.harness set). A router-brained supervisor runs its own turn loop in process, so the policy would be silently ignored.");
+	if (deps.continuation !== void 0 && deps.deliverable === void 0) throw new ValidationError("supervisorAgent: continuation needs a `deliverable` completion check — with no check there is no contract that can be unmet");
+	if (harness !== null && deps.deliverable !== void 0 && deps.continuation === void 0) throw new ValidationError("supervisorAgent: a manager with a completion check needs a continuation policy (deadline, maxBarren, the note profile and switches). Runtime supplies no default: how long to send a director back, and what to tell it, is the record's decision");
+	if (deps.deliverable !== void 0 && runtimeToolNames.includes("stop")) throw new ValidationError(`supervisorAgent: the profile grants ${coordinationProfileToolPrefix}stop to a manager with a completion check. Such a manager ends only through submit_result (the check passes) or report_blocked (a failed probe); remove stop from its tools`);
+	const continuationDeadlineMs = deps.continuation === void 0 ? void 0 : admitContinuationPolicy(deps.continuation, "supervisorAgent");
 	if (harness === null) {
 		assertRouterArmResourcePolicy(stableProfile);
 		const brain = testBrain ?? routerBrainFromProfile(stableProfile, stableRouter);
 		const inbox = createInbox();
+		const transcript = createRouterTranscript();
 		const build = (priorCoordination, nodeTools, onEvent, slot) => driverAgent({
 			name,
 			brain,
+			transcript,
 			...testBrain === void 0 ? { expectedModel: resolveSupervisorModelId(stableProfile) } : {},
 			...deps.onProviderModel ? { onProviderModel: deps.onProviderModel } : {},
 			blobs: deps.blobs,
@@ -1815,6 +1857,7 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 			deliver(message) {
 				return inbox.deliver(message);
 			},
+			harnessTranscript: () => transcript.capture(),
 			async act(task, scope) {
 				const context = nodeContextSeed ? supervisorNodeContext(nodeContextSeed, stableProfile, task, scope) : void 0;
 				const priorCoordination = await deps.loadPriorCoordination?.();
@@ -1862,6 +1905,7 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 				deps.onProgressStop?.(decision.reason);
 				if (!stopController.signal.aborted) stopController.abort(decision.reason);
 			} : nodeObserver;
+			let keeper;
 			const { handle: mcp, controls } = await serveCoordinationMcpForManager({
 				scope,
 				blobs: deps.blobs,
@@ -1874,6 +1918,10 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 					actorId: context.ownerId
 				} } : {},
 				...deps.deliverable ? { deliverable: deps.deliverable } : {},
+				...deps.continuation ? { readContinuation: (n) => keeper?.read(n) ?? {
+					found: false,
+					reason: "no continuation has been sent"
+				} } : {},
 				onStop: (reason) => {
 					if (!stopController.signal.aborted) stopController.abort(reason ?? "coordination stop");
 				},
@@ -1935,27 +1983,93 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 				}
 				const baseTokensLeft = scope.budget.tokensLeft;
 				const contractDeclared = deps.deliverable !== void 0;
-				const maxReprompts = deps.repromptOnUnmet ?? 0;
+				const continuation = deps.continuation;
+				if (continuation !== void 0 && deps.deliverable !== void 0) keeper = createContinuationKeeper({
+					policy: continuation,
+					task,
+					...deps.deliverable.describe === void 0 ? {} : { owed: deps.deliverable.describe },
+					...deps.deliverable.feedback === void 0 ? {} : { feedback: deps.deliverable.feedback },
+					...deps.deliverable.sealed === true ? { sealed: true } : {},
+					reads: () => controls.checkReads(),
+					workers: () => {
+						const labels = new Map((scope.view?.nodes ?? []).map((node) => [node.id, node.label]));
+						return mcp.settled().map((worker) => ({
+							id: worker.id,
+							label: labels.get(worker.id) ?? worker.id
+						}));
+					},
+					...deps.continuationDir === void 0 ? {} : { dir: deps.continuationDir },
+					...deps.rootStreamPath === void 0 ? {} : { rootStreamPath: deps.rootStreamPath },
+					canReadMore: runtimeToolNames.includes("read_continuation")
+				});
 				let candidate;
+				const finalizerDeliverable = deps.deliverable === void 0 ? void 0 : {
+					...deps.deliverable,
+					check: async (out) => {
+						let verdict;
+						try {
+							verdict = checkVerdictOf(await deps.deliverable?.check(out));
+						} catch (error) {
+							controls.recordCheckRead({
+								source: "turn-end",
+								unavailable: error instanceof Error ? error.message : String(error)
+							});
+							throw error;
+						}
+						controls.recordCheckRead({
+							source: "turn-end",
+							verdict
+						});
+						return verdict;
+					}
+				};
 				const finalize = () => runFinalizer(deps.finalizer ?? bestDelivered, {
 					settled: mcp.settled(),
 					blobs: deps.blobs,
 					tree: runTree(scope),
 					budget: scope.budget,
-					...deps.deliverable ? { deliverable: deps.deliverable } : {}
+					...finalizerDeliverable ? { deliverable: finalizerDeliverable } : {}
 				});
 				const readProgress = () => {
 					const settled = mcp.settled();
 					const deliveredCount = settled.filter((w) => w.status === "done" && w.valid === true).length;
 					const submitted = Boolean(mcp.submittedResult());
+					const composite = bestComposite(controls.checkReads());
 					return {
 						poolTokensSpent: baseTokensLeft - scope.budget.tokensLeft,
 						settledCount: settled.length,
 						submitted,
 						deliveredCount,
-						contract: !contractDeclared ? "none" : submitted || candidate !== void 0 ? "met" : "unmet"
+						contract: !contractDeclared ? "none" : submitted || candidate !== void 0 ? "met" : "unmet",
+						...composite === void 0 ? {} : { composite }
 					};
 				};
+				/**
+				* The check runs when a turn ends without an accepted result. A read already taken in this
+				* turn stands (the manager just heard it); otherwise a check that judges state reads the
+				* run now. A check that could not run is not a verdict: the loop pauses.
+				*/
+				const readCheckAtTurnEnd = async (attempt) => {
+					const deliverable = deps.deliverable;
+					if (deliverable === void 0) return;
+					const last = controls.checkReads().filter((read) => read.attempt === attempt).at(-1);
+					if (last === void 0 && deliverable.checkState !== void 0) try {
+						const verdict = checkVerdictOf(await deliverable.checkState());
+						controls.recordCheckRead({
+							source: "turn-end",
+							verdict
+						});
+						return;
+					} catch (error) {
+						const message = error instanceof Error ? error.message : String(error);
+						controls.recordCheckRead({
+							source: "turn-end",
+							unavailable: message
+						});
+						throw new CheckUnavailableError(`the completion check could not run: ${message}`, { cause: error });
+					}
+					if (last?.unavailable !== void 0) throw new CheckUnavailableError(`the completion check could not run: ${last.unavailable}`);
+				};
 				const loopRecords = [];
 				let environmentReplacements = 0;
 				const describe = deps.deliverable?.describe;
@@ -1966,7 +2080,8 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 						...summarizeDriverAttempts(loopRecords),
 						environmentReplacements,
 						...closedBy === void 0 ? {} : { closedBy },
-						...stopReason === void 0 ? {} : { stopReason }
+						...stopReason === void 0 ? {} : { stopReason },
+						continuations: keeper?.entries() ?? []
 					});
 				};
 				try {
@@ -2017,19 +2132,18 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 							if (contractDeclared && !mcp.submittedResult()) {
 								await mcp.drainResolved();
 								candidate = await finalize();
+								if (candidate === void 0 && !mcp.isStopped()) await readCheckAtTurnEnd(attempt);
 							}
 						},
 						progress: readProgress,
 						budget: () => scope.budget,
 						signal: scope.signal,
 						...deps.driverRetry ? { policy: deps.driverRetry } : {},
-						...repromptEnabled ? { reprompt: {
-							maxReprompts,
-							...deps.deliverable?.describe === void 0 ? {} : { describe: deps.deliverable.describe },
-							onUnmetContract: async (context) => {
-								if (mcp.isStopped() || progressStopReason !== void 0) return "stop";
-								return await deps.onUnmetContract?.(context) ?? { steer: defaultUnmetContractSteer(context) };
-							}
+						...continuation !== void 0 && keeper !== void 0 && continuationDeadlineMs ? { continuation: {
+							maxBarren: continuation.maxBarren,
+							deadlineMs: continuationDeadlineMs,
+							compose: (context) => keeper.compose(context),
+							closed: () => mcp.isStopped() || progressStopReason !== void 0
 						} } : {},
 						onAttempt: async (record) => {
 							loopRecords.push(record);
@@ -3338,6 +3452,7 @@ const superviseOptionKeySet = /* @__PURE__ */ new Set([
 	"router",
 	"runDir",
 	"resume",
+	"runContext",
 	"runId",
 	"signal",
 	"stallAfterMs",
@@ -3345,8 +3460,7 @@ const superviseOptionKeySet = /* @__PURE__ */ new Set([
 	"steerDir",
 	"stopRule",
 	"watchWorkers",
-	"repromptOnUnmet",
-	"onUnmetContract",
+	"continuation",
 	"workerRetry",
 	"onWorkerRetry",
 	"workerSlots",
@@ -3368,11 +3482,16 @@ function assertSuperviseOptionKeys(opts, context) {
 function captureDeliverable(deliverable, context) {
 	if (typeof deliverable !== "object" || deliverable === null || Array.isArray(deliverable)) throw new ValidationError(`${context}: deliverable must be an object`);
 	if (typeof deliverable.check !== "function") throw new ValidationError(`${context}: deliverable.check must be a function`);
-	if (deliverable.explainFailure !== void 0 && typeof deliverable.explainFailure !== "function") throw new ValidationError(`${context}: deliverable.explainFailure must be a function`);
+	if (deliverable.checkState !== void 0 && typeof deliverable.checkState !== "function") throw new ValidationError(`${context}: deliverable.checkState must be a function`);
+	if (deliverable.feedback !== void 0 && deliverable.feedback !== "verbatim" && deliverable.feedback !== "pass-only") throw new ValidationError(`${context}: deliverable.feedback must be 'verbatim' or 'pass-only'`);
 	return Object.freeze({
-		...detachedSnapshot({ describe: deliverable.describe }, `${context} configuration`),
+		...detachedSnapshot({
+			describe: deliverable.describe,
+			...deliverable.feedback === void 0 ? {} : { feedback: deliverable.feedback },
+			...deliverable.sealed === void 0 ? {} : { sealed: deliverable.sealed === true }
+		}, `${context} configuration`),
 		check: deliverable.check,
-		...deliverable.explainFailure === void 0 ? {} : { explainFailure: deliverable.explainFailure }
+		...deliverable.checkState === void 0 ? {} : { checkState: deliverable.checkState }
 	});
 }
 Object.freeze([...[
@@ -3388,7 +3507,6 @@ Object.freeze([...[
 	"onCoordinationEvent",
 	"onDriverAttempt",
 	"onProgressStop",
-	"onUnmetContract",
 	"onWorkerRetry",
 	"recoverExecutor",
 	"resolveDeliverable",
@@ -3428,7 +3546,7 @@ function rootSpawnResourceRoot(backend) {
 }
 function captureSuperviseOptions(opts) {
 	assertSuperviseOptionKeys(opts, "supervise");
-	const { backend, coordination, driverBackend, deliverable, resolveDeliverable, router, compaction, watchWorkers, analysts, makeWorkerAgent, makeLeafAgent, recoverExecutor, resume, resolveSpawnProfile, blobs, journal, probes, registry, hooks, otel, authorizeSpawn, authorizeMessage, driveHarness, resolveDriveHarness, resolveSupervisorTools, escalateQuestion, onCoordinationEvent, executeExtraTool, stopRule, onProgressStop, onDriverAttempt, onUnmetContract, workerRetry, onWorkerRetry, finalizer, now, signal, rootHandle, workerSlots, ...decisionData } = opts;
+	const { backend, coordination, driverBackend, deliverable, resolveDeliverable, router, compaction, watchWorkers, analysts, makeWorkerAgent, makeLeafAgent, recoverExecutor, resume, resolveSpawnProfile, blobs, journal, runContext, probes, registry, hooks, otel, authorizeSpawn, authorizeMessage, driveHarness, resolveDriveHarness, resolveSupervisorTools, escalateQuestion, onCoordinationEvent, executeExtraTool, stopRule, onProgressStop, onDriverAttempt, continuation, workerRetry, onWorkerRetry, finalizer, now, signal, rootHandle, workerSlots, ...decisionData } = opts;
 	assertNoUncapturedExecutableOption(decisionData);
 	const capturedData = detachedSnapshot(decisionData, "supervise options");
 	const capturedCoordination = coordination === void 0 ? void 0 : (() => {
@@ -3476,6 +3594,14 @@ function captureSuperviseOptions(opts) {
 		run: analysts.run,
 		...typeof analysts.register === "function" ? { register: analysts.register } : {}
 	});
+	const capturedContinuation = continuation === void 0 ? void 0 : (() => {
+		const { runPanel, append, ...policy } = continuation;
+		return Object.freeze({
+			...detachedSnapshot(policy, "supervise continuation"),
+			...runPanel === void 0 ? {} : { runPanel },
+			...append === void 0 ? {} : { append }
+		});
+	})();
 	return Object.freeze({
 		...capturedData,
 		...capturedCoordination === void 0 ? {} : { coordination: capturedCoordination },
@@ -3494,6 +3620,7 @@ function captureSuperviseOptions(opts) {
 		...blobs === void 0 ? {} : { blobs },
 		...journal === void 0 ? {} : { journal },
 		...resume === void 0 ? {} : { resume },
+		...runContext === void 0 ? {} : { runContext },
 		...workerSlots === void 0 ? {} : { workerSlots },
 		...probes === void 0 ? {} : { probes },
 		...authorizeSpawn === void 0 ? {} : { authorizeSpawn },
@@ -3507,7 +3634,7 @@ function captureSuperviseOptions(opts) {
 		...stopRule === void 0 ? {} : { stopRule },
 		...onProgressStop === void 0 ? {} : { onProgressStop },
 		...onDriverAttempt === void 0 ? {} : { onDriverAttempt },
-		...onUnmetContract === void 0 ? {} : { onUnmetContract },
+		...capturedContinuation === void 0 ? {} : { continuation: capturedContinuation },
 		...capturedWorkerRetry === void 0 ? {} : { workerRetry: capturedWorkerRetry },
 		...onWorkerRetry === void 0 ? {} : { onWorkerRetry },
 		...finalizer === void 0 ? {} : { finalizer },
@@ -3693,12 +3820,18 @@ function coordinationEventId(context, event) {
 /** One-call supervisor: build + run a supervisor from its exact profile. @stable */
 function supervise(profile, task, opts) {
 	if ("brain" in opts) throw new ValidationError("supervise: direct brain injection is test-only; production execution derives the model call from AgentProfile");
-	return superviseInternal(profile, task, opts);
+	return superviseWithContext(profile, task, opts);
+}
+/** A stop rule as a function, or the declared plateau form a record carries as data. */
+function stopRuleOf(rule) {
+	if (typeof rule === "function") return rule;
+	if (typeof rule === "object" && rule !== null && "plateau" in rule) return plateau(rule.plateau);
+	throw new ValidationError("supervise: stopRule must be a StopRule or { plateau: { window, minDelta } }");
 }
 /** Deterministic scripted-brain path for tests. Not exported from Runtime's main entry. */
 function superviseWithTestBrain(profile, task, opts) {
 	const { brain, ...runtimeOptions } = opts;
-	return superviseInternal(profile, task, runtimeOptions, brain);
+	return superviseWithContext(profile, task, runtimeOptions, brain);
 }
 /**
 * The composer `profileGuidance` selects, or `undefined` when no guidance is selected. The result
@@ -3726,8 +3859,23 @@ function superviseRootProfile(profile, profileGuidance) {
 	const compose = profileGuidanceComposer(profileGuidance);
 	return freezeDetachedProfile(compose ? compose(parsedProfile.data) : parsedProfile.data);
 }
+function superviseWithContext(profile, task, opts, brain) {
+	if (opts.runContext?.acquire === void 0) return superviseInternal(profile, task, opts, brain);
+	const options = captureSuperviseOptions(opts);
+	const capturedProfile = freezeDetached(profile);
+	const capturedTask = freezeDetached(task);
+	return withRunContext(opts.runContext, options.signal, (runContext, signal) => superviseInternal(capturedProfile, capturedTask, {
+		...options,
+		runContext,
+		...signal === void 0 ? {} : { signal }
+	}, brain));
+}
 function superviseInternal(profile, task, opts, testBrain) {
 	const options = captureSuperviseOptions(opts);
+	if (options.runContext?.durability === "sql") {
+		if (options.runDir !== void 0 || options.journal !== void 0 && options.journal !== options.runContext.journal || options.blobs !== void 0 && options.blobs !== options.runContext.blobs || options.runId !== void 0 && options.runId !== options.runContext.runId) throw new ValidationError("supervise: SQL runContext cannot be mixed with another run identity or persistence path");
+		if (options.backend?.backend !== "provider" || options.makeWorkerAgent || options.makeLeafAgent) throw new ValidationError("supervise: SQL runContext requires backend-derived retained provider workers");
+	}
 	assertValidBudget(options.budget, "supervise budget");
 	const composeSpawnProfile = profileGuidanceComposer(options.profileGuidance);
 	const canonicalProfile = superviseRootProfile(profile, options.profileGuidance);
@@ -3764,7 +3912,7 @@ function superviseInternal(profile, task, opts, testBrain) {
 		if (options.backend !== void 0 && options.makeLeafAgent === void 0 && declaredRuntimeToolNames(entry).length === 0) assertBackendProfileMaterialization(entry, options.backend, context);
 	} : void 0);
 	assertCoordinationBinding(options.coordination);
-	const ctx = options.runDir !== void 0 ? createFileRunContext(options.runDir, { withDriver: true }) : createInMemoryRunContext({ withDriver: true });
+	const ctx = options.runContext ?? (options.runDir !== void 0 ? createFileRunContext(options.runDir, { withDriver: true }) : createInMemoryRunContext({ withDriver: true }));
 	const blobs = options.blobs ?? ctx.blobs;
 	assertRecursiveReservationPolicy(options.reservationPolicy);
 	const ownerShare = options.reservationPolicy?.ownerShare ?? 0;
@@ -3772,8 +3920,8 @@ function superviseInternal(profile, task, opts, testBrain) {
 	assertValidBudget(perWorker, "supervise perWorker");
 	assertPerWorkerWithinPool(perWorker, options.budget);
 	const journal = options.journal ?? ctx.journal;
-	const runId = options.runId ?? "supervise";
-	const runNamespace = supervisionRunNamespace(options.runDir, runId);
+	const runId = options.runId ?? ctx.runId ?? "supervise";
+	const runNamespace = ctx.namespace ?? supervisionRunNamespace(options.runDir, runId);
 	const log = ctx.coordinationLog;
 	const rootOwnerId = rootCoordinationOwner(rootExecution.identity);
 	const rootProviderModels = [];
@@ -3954,7 +4102,7 @@ function superviseInternal(profile, task, opts, testBrain) {
 					...composeSpawnProfileFor(authorized) ? { composeSpawnProfile: composeSpawnProfileFor(authorized) } : {},
 					...profileTable ? { profiles: profileTable } : {},
 					...options.peerMail ? { peerMail: options.peerMail } : {},
-					...options.stopRule ? { stopRule: options.stopRule } : {},
+					...options.stopRule ? { stopRule: stopRuleOf(options.stopRule) } : {},
 					...options.onProgressStop ? { onProgressStop: options.onProgressStop } : {},
 					...options.maxTurns !== void 0 ? { maxTurns: options.maxTurns } : {},
 					...options.compaction ? { compaction: options.compaction } : {},
@@ -3964,8 +4112,10 @@ function superviseInternal(profile, task, opts, testBrain) {
 					...childDeliverable ? { onAcceptedSubmission: () => {
 						acceptedSubmission = true;
 					} } : {},
-					...options.repromptOnUnmet !== void 0 ? { repromptOnUnmet: options.repromptOnUnmet } : {},
-					...options.onUnmetContract ? { onUnmetContract: options.onUnmetContract } : {},
+					...childDeliverable && options.continuation && isExternalSupervisor(authorized) ? {
+						continuation: options.continuation,
+						...options.runDir === void 0 ? {} : { continuationDir: resolve(options.runDir, CONTINUATIONS_DIR, "managers", encodeURIComponent(ownerId)) }
+					} : {},
 					...log ? {
 						onEvent: (_event, record) => log.append(runId, record, ownerId),
 						loadPriorCoordination: () => log.load(runId, ownerId)
@@ -4015,6 +4165,12 @@ function superviseInternal(profile, task, opts, testBrain) {
 	const workerFactory = makeWorkerAgent;
 	let rootContinuation;
 	const start = async () => {
+		if (ctx.durability === "sql") {
+			if (options.backend?.backend !== "provider" || options.backend.steering || options.driveHarness || options.resolveDriveHarness || options.driverBackend) throw new ValidationError("supervise: SQL runContext requires a local coordinator and non-steering retained provider workers");
+			const provider = resolveAgentEnvironmentProvider(options.backend.provider, options.backend.registry);
+			const capabilities = await provider.capabilities();
+			if (!capabilities.retainedControl || !capabilities.streaming.turnIdempotency || !capabilities.streaming.replay || !provider.get) throw new ValidationError("supervise: SQL runContext requires retainedControl, replay, turn idempotency, and provider.get");
+		}
 		await verifyProfilePromotions(profileTable);
 		const priorCoordination = log ? await log.load(runId, rootOwnerId) : void 0;
 		const authorizeRootMessage = authorizeDownFor(canonicalProfile, 1);
@@ -4064,14 +4220,19 @@ function superviseInternal(profile, task, opts, testBrain) {
 			...options.stallAfterMs !== void 0 ? { stallAfterMs: options.stallAfterMs } : {},
 			...options.awaitTimeoutMs !== void 0 ? { awaitTimeoutMs: options.awaitTimeoutMs } : {},
 			...options.continuityByProfile ? { continuityByProfile: options.continuityByProfile } : {},
-			...options.stopRule ? { stopRule: options.stopRule } : {},
+			...options.stopRule ? { stopRule: stopRuleOf(options.stopRule) } : {},
 			...options.onProgressStop ? { onProgressStop: options.onProgressStop } : {},
 			...options.maxTurns !== void 0 ? { maxTurns: options.maxTurns } : {},
 			...options.compaction ? { compaction: options.compaction } : {},
 			...options.driverRetry ? { driverRetry: options.driverRetry } : {},
 			...options.onDriverAttempt ? { onDriverAttempt: options.onDriverAttempt } : {},
-			...options.repromptOnUnmet !== void 0 ? { repromptOnUnmet: options.repromptOnUnmet } : {},
-			...options.onUnmetContract ? { onUnmetContract: options.onUnmetContract } : {},
+			...deliverable && options.continuation && isExternalSupervisor(canonicalProfile) ? {
+				continuation: options.continuation,
+				...options.runDir === void 0 ? {} : {
+					continuationDir: resolve(options.runDir, CONTINUATIONS_DIR),
+					rootStreamPath: resolve(options.runDir, ROOT_STREAM_FILE)
+				}
+			} : {},
 			...options.runDir === void 0 || runControl === void 0 ? {} : {
 				controlDir: resolve(options.runDir),
 				abortRun: cancelDurableRun
@@ -4141,11 +4302,13 @@ function superviseInternal(profile, task, opts, testBrain) {
 				}
 			}
 			recordRunCancellationOutcome(options.runDir, result, now);
+			const rootHarnessTranscript = rootDriveHarness === void 0 ? void 0 : await persistHarnessTranscript(readHarnessTranscript(rootDriveHarness), blobs);
 			const rootProviderModel = ctx.resume === true ? rootProviderModelEvidence([]) : rootProviderModels.length > 0 ? rootProviderModelEvidence(rootProviderModels) : rootDriveHarness === void 0 ? rootProviderModelEvidence([]) : rootProviderModelEvidenceFromExecution(runtimeOwnedDriveHarnessProviderEvidence(rootDriveHarness));
 			return {
 				...result,
 				rootProviderModel,
 				...rootStream === void 0 ? {} : { rootStream },
+				...rootHarnessTranscript === void 0 ? {} : { rootHarnessTranscript },
 				...rootContinuation === void 0 ? {} : { continuation: rootContinuation }
 			};
 		};
@@ -4195,4 +4358,4 @@ function rootProviderModelEvidenceFromExecution(evidence) {
 //#endregion
 export { gateOnDeliverable as C, serveCoordinationMcp as S, readRootStream as _, superviseWithTestBrain as a, composeReentryTask as b, resolveWorkerSpawnRetry as c, assertCoordinationBinding as d, coordinationProfileToolPrefix as f, ROOT_STREAM_FILE as g, supervisorAgentWithTestBrain as h, superviseRootProfile as i, retryPreSpawnRefusals as l, supervisorAgent as m, profileGuidanceComposer as n, workerFromBackend as o, resolveSupervisorProfile as p, supervise as r, isPreSpawnExecutorFailure as s, DEFAULT_AUTHORED_PROFILE_SECURITY_POLICY as t, withWorkerSpawnRetry as u, readRootStreamReceipt as v, mapExecutorResult as w, createSupervisorSpanRecorder as x, UNPROVEN_CONTINUITY as y };
 
-//# sourceMappingURL=supervise-DJ_1i9vj.js.map
+//# sourceMappingURL=supervise-Dej5aSDa.js.map