@tangle-network/agent-runtime 0.185.1 → 0.187.1

package/dist/{substrate-RrmNZoL3.d.ts → substrate-qLePHqvH.d.ts}

@@ -1,4 +1,4 @@
-import { k as Validator, r as Driver, t as AgentRunSpec, w as OutputAdapter } from "./types-CrTTgig6.js";
+import { k as Validator, r as Driver, t as AgentRunSpec, w as OutputAdapter } from "./types-BdolQ6Zi.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-RrmNZoL3.d.ts.map
+//# sourceMappingURL=substrate-qLePHqvH.d.ts.map

package/dist/{supervise-rbZ-ppOC.js → supervise-BUy1cr2L.js}

@@ -1,12 +1,12 @@
 import { C as runtimeOwnedScopeOwnerRuntime, S as runtimeOwnedPendingExecutorMaterialization, b as runtimeOwnedExecutorMaterialization, d as providerAttemptEvidence, f as recordRuntimeOwnedDriveHarnessProviderEvidence, i as attestRuntimeOwnedScopeOwner, s as inheritRuntimeOwnedExecutorAttestation, v as runtimeOwnedDriveHarnessProviderEvidence, x as runtimeOwnedExecutorProviderEvidence, y as runtimeOwnedExecutorExecutionBinding } from "./materialization-CekWK6OO.js";
 import { f as RuntimeRunStateError, i as ConfigError, m as ValidationError, o as NotFoundError, r as BackendTransportError, t as AgentEvalError } from "./errors-CDZ8XsVj.js";
 import { n as detachedSnapshot } from "./snapshot-CTAf4uuA.js";
-import { x as contentAddress } from "./spawn-journal--N8Ten1q.js";
-import { _ as unmeteredSpend } from "./util-D6ZEuBMi.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-Sw4ywhtL.js";
-import { $ as bridgeModelRouteRefusal, An as controlProfileMaterialization, Fn as promptModelProfileMaterialization, Gt as routerBrain, J as assertValidBudget, K as DEFAULT_SUCCESSFUL_SHUTDOWN_MS, Mn as fullProfileMaterialization, Nn as profileMaterializationAxes$1, Pn as promptControlProfileMaterialization, Q as bridgeAdmissionRead, St as createInbox, Un as worktreeCliProfileMaterialization, Vn as unsupportedProfileDimensions, X as spendFromUsageEvents, Z as bindReusableExecutorExecutionId, _ as recordScopeOwnerMaterialization, at as createExecutor, d as driverChild, dn as toOtelAttributes, et as bridgeRuntimeAttachmentsKey, g as meterRuntimeOwnedProviderAttempt, h as meterRuntimeOwnedAccounting, in as createOtelExporter, jn as defineProfileMaterializationContract, kn as assertProfileMaterialization, l as runFinalizer, lt as WORKER_TRACE_PROPAGATION, m as deriveNodeExecutionIdentity, n as createSupervisor, nt as captureReusableExecutorConfig, o as bestDelivered, q as teardownExecutor, sn as generateSpanId, st as snapshotExecutorConfig, t as createRootHandle, tn as buildLoopSpanNodes, tt as bridgeStopSignalKey, u as runTree, v as scopeOwnerExecutorNodeContext, zn as renderUnsupported } from "./supervisor-DBUmrQsF.js";
+import { x as contentAddress } from "./spawn-journal-CxRa-NJ2.js";
+import { v as unmeteredSpend } from "./util-BfoW6RU7.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-Wf2MxXJ9.js";
+import { $ as bridgeModelRouteRefusal, An as controlProfileMaterialization, Fn as promptModelProfileMaterialization, Gt as routerBrain, J as assertValidBudget, K as DEFAULT_SUCCESSFUL_SHUTDOWN_MS, Mn as fullProfileMaterialization, Nn as profileMaterializationAxes$1, Pn as promptControlProfileMaterialization, Q as bridgeAdmissionRead, St as createInbox, Un as worktreeCliProfileMaterialization, Vn as unsupportedProfileDimensions, X as spendFromUsageEvents, Z as bindReusableExecutorExecutionId, _ as recordScopeOwnerMaterialization, at as createExecutor, d as driverChild, dn as toOtelAttributes, et as bridgeRuntimeAttachmentsKey, g as meterRuntimeOwnedProviderAttempt, h as meterRuntimeOwnedAccounting, in as createOtelExporter, jn as defineProfileMaterializationContract, kn as assertProfileMaterialization, l as runFinalizer, lt as WORKER_TRACE_PROPAGATION, m as deriveNodeExecutionIdentity, n as createSupervisor, nt as captureReusableExecutorConfig, o as bestDelivered, q as teardownExecutor, sn as generateSpanId, st as snapshotExecutorConfig, t as createRootHandle, tn as buildLoopSpanNodes, tt as bridgeStopSignalKey, u as runTree, v as scopeOwnerExecutorNodeContext, zn as renderUnsupported } from "./supervisor-BSNkaM2a.js";
 import { t as composeRuntimeHooks } from "./runtime-hooks-tXpAarhW.js";
-import { C as coordinationVerbNames, c as createProgressTracker, d as progressStop, r as driverAgent, v as createFileRunContext, w as createCoordinationTools, y as createInMemoryRunContext } from "./coordination-driver-Dh_0SvXr.js";
+import { C as coordinationVerbNames, c as createProgressTracker, d as progressStop, r as driverAgent, v as createFileRunContext, w as createCoordinationTools, y as createInMemoryRunContext } from "./coordination-driver-CtbyZv5d.js";
 import { k as writeRunCancellation, o as readRunCancelRequest, s as readRunCancellation } from "./run-layout-Cd_l2XWV.js";
 import { t as createStdioToolServer } from "./tool-server-DEmLr9YY.js";
 import { n as UI_LENSES } from "./substrate-B0TYNrXn.js";
@@ -435,6 +435,11 @@ function assignSpend(attrs, value) {
 	}
 	if (typeof spend.iterations === "number") attrs["tangle.supervise.iterations"] = spend.iterations;
 	if (typeof spend.ms === "number" && spend.ms > 0) attrs["tangle.supervise.duration_ms"] = spend.ms;
+	if (typeof spend.boxMinutes === "number" && Number.isFinite(spend.boxMinutes)) attrs["tangle.platform.box_minutes"] = spend.boxMinutes;
+	if (spend.boxMinutesProvenance !== void 0) {
+		attrs["tangle.platform.box_minutes_provenance"] = spend.boxMinutesProvenance;
+		attrs["tangle.platform.box_minutes_known"] = spend.boxMinutesKnown === true;
+	}
 	return spend;
 }
 function assignBudget(attrs, value) {
@@ -2393,11 +2398,46 @@ async function servePeerMail(mailbox, host) {
 *
 * The one loop the budget alone cannot bound is a driver that dies INSTANTLY and repeatedly — a
 * dead-on-arrival credential, a harness that refuses to start. Spending nothing, it would retry
-* until the deadline hours later. So progress is measured between attempts (metered driver spend,
-* settled children, an accepted submission), and a run of attempts that changes none of them stops
-* at `maxConsecutiveFailures`. A failure that made progress resets that counter: a long run may be
-* rescued many times, a hopeless one gives up in seconds.
+* until the deadline hours later. So progress is measured between attempts, and a run of attempts
+* that changes nothing stops at `maxConsecutiveFailures`. A failure that made progress resets that
+* counter: a long run may be rescued many times, a hopeless one gives up in seconds.
+*
+* WHAT COUNTS AS PROGRESS is the part this module got wrong first, and the correction is measured.
+* The original mark read metered spend, settled children, and an accepted submission — the
+* filesystem and the meter, never the goal. Across 1,422 settled discovery-lab runs (2026-09-01)
+* that reading retried the runs that had produced NOTHING 629 of 827 times (76.1%) while retrying
+* the runs that HAD left an artifact 21 of 399 times (5.3%): the loop spent its second chances on
+* the hopeless runs and measured persistence by burn rate. So when the caller declares a completion
+* check, spend and settlements alone are NOT progress while that check is unmet; only a delivery —
+* an accepted submission, a child that passed the check, or the contract turning met — resets the
+* barren counter. A caller that declares no check reports `contract: 'none'` and keeps the exact
+* historical reading.
+*
+* THE SECOND HALF of the same defect: `budgetStop` used to be consulted only after a failure, and a
+* driver that RETURNED with the contract unmet ended the run silently — 376 of 376 winning lab runs
+* ended on this loop's own `stop: 'completed'`, with the completion gate left to label the result
+* rather than to change it. A completed drive whose contract is unmet is now a first-class moment:
+* `reprompt.maxReprompts` re-enters the SAME live session with the unmet items, and every re-entry
+* crosses the same budget, deadline, abort, and attempt bounds a retry crosses.
 */
+/**
+* The instruction a completed-but-undelivered drive is re-entered with when the caller supplies no
+* `onUnmetContract`. It states the verdict, names what is owed, reports the ledger, and gives the
+* three steps — the same shape `depthStrategy` re-prompts a resumed session with, said in the
+* driver's own terms.
+*/
+function defaultUnmetContractSteer(context) {
+	const owed = context.describe?.trim();
+	return [
+		"The completion check has not passed. This run has delivered nothing yet.",
+		owed === void 0 || owed.length === 0 ? "The deliverable this run owes is still missing." : `The deliverable this run owes: ${owed}`,
+		`Workers settled: ${context.progress.settledCount}. Workers that passed the check: ${context.progress.deliveredCount ?? 0}.`,
+		"Do the unfinished work with the tools.",
+		"Verify that the check passes.",
+		"Then submit the result.",
+		"Do not restate work you already did."
+	].join("\n");
+}
 const DEFAULT_MAX_CONSECUTIVE_FAILURES = 3;
 const DEFAULT_MAX_ATTEMPTS = 8;
 const DEFAULT_INITIAL_BACKOFF_MS = 2e3;
@@ -2428,8 +2468,22 @@ function budgetStop(budget, atMs) {
 	if (budget.usdCapped && budget.usdLeft <= 0) return "budget-exhausted";
 	if (budget.usdCapped && budget.usdKnown === false) return "budget-exhausted";
 }
+function contractOf(mark) {
+	return mark.contract ?? "none";
+}
+/**
+* Did this attempt move the run toward its DELIVERABLE?
+*
+* A delivery always counts: an accepted submission, one more child that passed the check, or the
+* contract turning met. Spend and settlements count only while no declared check is outstanding —
+* with a check unmet they are the burn-rate reading this module's header measures and rejects.
+*/
 function madeProgress(before, after) {
-	return after.poolTokensSpent > before.poolTokensSpent || after.settledCount > before.settledCount || after.submitted && !before.submitted;
+	if (after.submitted && !before.submitted) return true;
+	if ((after.deliveredCount ?? 0) > (before.deliveredCount ?? 0)) return true;
+	if (contractOf(before) !== "met" && contractOf(after) === "met") return true;
+	if (contractOf(after) === "unmet") return false;
+	return after.poolTokensSpent > before.poolTokensSpent || after.settledCount > before.settledCount;
 }
 /** The error a give-up throws: the original cause, re-described with the attempt history so
 *  `driver-failed` carries a diagnosable message instead of one backend's last words. */
@@ -2466,9 +2520,12 @@ async function defaultSleep(ms, signal) {
 	});
 }
 /**
-* Run the driver, retrying transient failures until the budget, the deadline, an abort, a terminal
-* error, or the no-progress ceiling stops it. Returns when an attempt completes; throws
-* `DriverAttemptsExhaustedError` (cause = the last real failure) when it does not.
+* Run the driver until it completes WITH ITS CONTRACT MET, or until the budget, the deadline, an
+* abort, a terminal error, or a ceiling stops it. Transient failures are retried. A drive that
+* returns with its completion check unmet is re-entered on the same live session with the unmet
+* items, up to `reprompt.maxReprompts`. Throws `DriverAttemptsExhaustedError` (cause = the last
+* real failure) when a FAILURE ends the loop; a completed drive returns, met contract or not,
+* because deciding what an undelivered run is worth belongs to the finalizer, not to this loop.
 */
 async function runDriverWithRetry(run) {
 	const now = run.now ?? Date.now;
@@ -2479,24 +2536,45 @@ async function runDriverWithRetry(run) {
 	const maxAttempts = Math.max(1, policy.maxAttempts ?? DEFAULT_MAX_ATTEMPTS);
 	const initialBackoff = Math.max(0, policy.initialBackoffMs ?? DEFAULT_INITIAL_BACKOFF_MS);
 	const maxBackoff = Math.max(initialBackoff, policy.maxBackoffMs ?? DEFAULT_MAX_BACKOFF_MS);
+	const maxReprompts = Math.max(0, run.reprompt?.maxReprompts ?? 0);
 	const attempts = [];
 	let consecutiveBarren = 0;
+	let reprompts = 0;
+	let reentry;
 	const emit = async (record) => {
 		attempts.push(record);
 		await run.onAttempt?.(record);
 	};
+	/**
+	* Decide what a completed-but-undelivered drive does next. Every bound the FAILURE path applies
+	* is applied here too — that is the fix for `budgetStop` having lived only in the catch arm — and
+	* the caller's hook is consulted last, so no hook can talk the loop past a deadline.
+	*/
+	const decideReprompt = async (attempt, after) => {
+		if (reprompts >= maxReprompts) return { refusedBy: "reprompts-exhausted" };
+		if (run.signal.aborted) return { refusedBy: "aborted" };
+		const byBudget = budgetStop(run.budget(), now());
+		if (byBudget === "deadline" || byBudget === "budget-exhausted") return { refusedBy: byBudget };
+		if (attempt >= maxAttempts) return { refusedBy: "max-attempts" };
+		const context = {
+			attempt,
+			reprompts,
+			maxReprompts,
+			progress: after,
+			budget: run.budget(),
+			...run.reprompt?.describe === void 0 ? {} : { describe: run.reprompt.describe }
+		};
+		const decision = await run.reprompt?.onUnmetContract?.(context) ?? { steer: defaultUnmetContractSteer(context) };
+		if (decision === "stop") return { refusedBy: "caller-stop" };
+		const steer = typeof decision.steer === "string" ? decision.steer.trim() : "";
+		if (steer.length === 0) throw new ValidationError("runDriverWithRetry: onUnmetContract returned an empty steer — return a non-empty instruction or 'stop'");
+		return { steer };
+	};
 	for (let attempt = 1;; attempt += 1) {
 		const before = run.progress();
 		const startedAt = now();
 		try {
-			await run.drive(attempt);
-			await emit({
-				attempt,
-				durationMs: now() - startedAt,
-				madeProgress: madeProgress(before, run.progress()),
-				stop: "completed"
-			});
-			return;
+			await run.drive(attempt, reentry);
 		} catch (error) {
 			const durationMs = now() - startedAt;
 			const classification = classifyDriverFailure(error, run.signal);
@@ -2523,6 +2601,7 @@ async function runDriverWithRetry(run) {
 				throw new DriverAttemptsExhaustedError(error, attempts, stop);
 			}
 			consecutiveBarren = progressed ? 0 : consecutiveBarren + 1;
+			reentry = void 0;
 			const backoff = Math.min(maxBackoff, initialBackoff * 2 ** Math.max(0, consecutiveBarren - 1));
 			await emit({
 				attempt,
@@ -2536,7 +2615,50 @@ async function runDriverWithRetry(run) {
 			if (run.signal.aborted) throw new DriverAttemptsExhaustedError(error, attempts, "aborted");
 			const afterWait = budgetStop(run.budget(), now());
 			if (afterWait) throw new DriverAttemptsExhaustedError(error, attempts, afterWait);
+			continue;
 		}
+		const durationMs = now() - startedAt;
+		const after = run.progress();
+		const progressed = madeProgress(before, after);
+		const contract = contractOf(after);
+		const contractField = contract === "none" ? {} : { contract };
+		if (contract === "unmet" && maxReprompts > 0) {
+			const decision = await decideReprompt(attempt, after);
+			if ("steer" in decision) {
+				reprompts += 1;
+				reentry = {
+					reason: "unmet-contract",
+					steer: decision.steer,
+					reprompt: reprompts
+				};
+				await emit({
+					attempt,
+					durationMs,
+					madeProgress: progressed,
+					...contractField,
+					reprompted: true,
+					retryInMs: 0
+				});
+				continue;
+			}
+			await emit({
+				attempt,
+				durationMs,
+				madeProgress: progressed,
+				...contractField,
+				repromptRefusedBy: decision.refusedBy,
+				stop: "completed"
+			});
+			return;
+		}
+		await emit({
+			attempt,
+			durationMs,
+			madeProgress: progressed,
+			...contractField,
+			stop: "completed"
+		});
+		return;
 	}
 }
 //#endregion
@@ -2890,6 +3012,10 @@ 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 && (!Number.isInteger(deps.repromptOnUnmet) || deps.repromptOnUnmet < 0)) throw new ValidationError("supervisorAgent: repromptOnUnmet must be a non-negative integer (0 = never re-prompt)");
+	if (deps.onUnmetContract !== void 0 && (deps.repromptOnUnmet ?? 0) <= 0) throw new ValidationError("supervisorAgent: onUnmetContract needs repromptOnUnmet >= 1 — without a cap the hook is never consulted");
+	if ((deps.repromptOnUnmet ?? 0) > 0 && 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) {
 		assertRouterArmResourcePolicy(stableProfile);
 		const brain = testBrain ?? routerBrainFromProfile(stableProfile, stableRouter);
@@ -3006,13 +3132,27 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 			ledger = mcp;
 			try {
 				const baseTokensLeft = scope.budget.tokensLeft;
+				const contractDeclared = deps.deliverable !== void 0;
+				const maxReprompts = deps.repromptOnUnmet ?? 0;
+				const readProgress = () => {
+					const settled = mcp.settled();
+					const deliveredCount = settled.filter((w) => w.status === "done" && w.valid === true).length;
+					const submitted = Boolean(mcp.submittedResult());
+					return {
+						poolTokensSpent: baseTokensLeft - scope.budget.tokensLeft,
+						settledCount: settled.length,
+						submitted,
+						deliveredCount,
+						contract: !contractDeclared ? "none" : submitted || deliveredCount > 0 ? "met" : "unmet"
+					};
+				};
 				await runDriverWithRetry({
-					drive: async () => {
+					drive: async (_attempt, reentry) => {
 						try {
 							await driveHarness({
 								profile: stableProfile,
 								...profilePrompt !== void 0 ? { systemPrompt: profilePrompt } : {},
-								task,
+								task: reentry === void 0 ? task : reentry.steer,
 								scope,
 								coordinationMcpUrl: mcp.url,
 								stopSignal: stopController.signal,
@@ -3026,14 +3166,18 @@ function buildSupervisorAgent(profile, deps, testBrain) {
 							if (!mcp.submittedResult() && !mcp.isStopped()) throw error;
 						}
 					},
-					progress: () => ({
-						poolTokensSpent: baseTokensLeft - scope.budget.tokensLeft,
-						settledCount: mcp.settled().length,
-						submitted: Boolean(mcp.submittedResult())
-					}),
+					progress: readProgress,
 					budget: () => scope.budget,
 					signal: scope.signal,
 					...deps.driverRetry ? { policy: deps.driverRetry } : {},
+					...maxReprompts > 0 ? { reprompt: {
+						maxReprompts,
+						...deps.deliverable?.describe === void 0 ? {} : { describe: deps.deliverable.describe },
+						onUnmetContract: async (context) => {
+							if (mcp.isStopped()) return "stop";
+							return await deps.onUnmetContract?.(context) ?? { steer: defaultUnmetContractSteer(context) };
+						}
+					} } : {},
 					...deps.onDriverAttempt ? { onAttempt: deps.onDriverAttempt } : {}
 				});
 				await mcp.drainResolved();
@@ -3656,6 +3800,75 @@ function resolveNamed(option, table, value, registry) {
 	if (entry === void 0) throw new ConfigError(`supervise: opts.${option} = ${JSON.stringify(value)} is not in opts.registry.${table} — the table resolved no entry under that name`);
 	return entry;
 }
+const superviseOptionKeySet = /* @__PURE__ */ new Set([
+	"allowedModels",
+	"analysts",
+	"analyzeOnSettle",
+	"authorizeMessage",
+	"authorizeSpawn",
+	"backend",
+	"blobs",
+	"budget",
+	"childSettleGraceMs",
+	"compaction",
+	"continuityByProfile",
+	"coordination",
+	"deliverable",
+	"driveHarness",
+	"driveHarnessMaterialization",
+	"driverBackend",
+	"driverRetry",
+	"executeExtraTool",
+	"execution",
+	"extraTools",
+	"finalizer",
+	"hooks",
+	"isDriverProfile",
+	"journal",
+	"makeLeafAgent",
+	"makeWorkerAgent",
+	"maxDepth",
+	"maxLiveWorkers",
+	"maxTurns",
+	"now",
+	"onCoordinationEvent",
+	"onDriverAttempt",
+	"onProgressStop",
+	"otel",
+	"peerMail",
+	"perWorker",
+	"probes",
+	"profileSecurity",
+	"registry",
+	"resolveDeliverable",
+	"resolveDriveHarness",
+	"resolveSpawnProfile",
+	"resolveSupervisorTools",
+	"rootDriverFromBackend",
+	"rootHandle",
+	"router",
+	"runDir",
+	"runId",
+	"signal",
+	"stallAfterMs",
+	"stopRule",
+	"watchWorkers",
+	"repromptOnUnmet",
+	"onUnmetContract"
+]);
+/**
+* Refuse a top-level option key `supervise()` reads nowhere, naming it.
+*
+* The shape is `assertExactConfigKeys`, which does the same for one executor configuration: an
+* unknown field is a caller asking for behavior that will not happen, and intake is the only
+* moment it is observable. The error class is not the same, on purpose. A bad `SuperviseOptions`
+* key is a configuration fault, and `ConfigError` is already what `supervise()` throws for one —
+* see `resolveNamed`, for an option that names a registry entry the registry does not hold.
+*/
+function assertSuperviseOptionKeys(opts, context) {
+	const unknown = Object.keys(opts).filter((key) => !superviseOptionKeySet.has(key));
+	if (unknown.length > 0) throw new ConfigError(`${context}: unknown option ${unknown.sort().join(", ")} — no reader consults that name, so the value would be discarded and the capability it asks for would silently be absent`);
+}
 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`);
@@ -3669,6 +3882,7 @@ function captureDeliverable(deliverable, context) {
 * Service internals intentionally remain live, while replacing a callback/service on the caller's
 * mutable options object can no longer change an in-flight run. */
 function captureSuperviseOptions(opts) {
+	assertSuperviseOptionKeys(opts, "supervise");
 	const { backend, driverBackend, deliverable, resolveDeliverable, router, compaction, watchWorkers, analysts, makeWorkerAgent, makeLeafAgent, resolveSpawnProfile, blobs, journal, probes, registry, hooks, otel, authorizeSpawn, authorizeMessage, isDriverProfile, driveHarness, resolveDriveHarness, resolveSupervisorTools, onCoordinationEvent, executeExtraTool, stopRule, onProgressStop, onDriverAttempt, finalizer, now, signal, rootHandle, ...decisionData } = opts;
 	const capturedData = detachedSnapshot(decisionData, "supervise options");
 	const capturedBackend = backend === void 0 ? void 0 : snapshotExecutorConfig(backend);
@@ -4161,6 +4375,8 @@ function superviseInternal(profile, task, opts, testBrain) {
 			...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 } : {},
 			...options.runDir === void 0 || runControl === void 0 ? {} : {
 				controlDir: resolve(options.runDir),
 				abortRun: (reason) => runControl.abort(reason)
@@ -4243,6 +4459,6 @@ function rootProviderModelEvidenceFromExecution(evidence) {
 	return evidence ?? rootProviderModelEvidence([]);
 }
 //#endregion
-export { hashIdempotencyInput as $, DELEGATION_HISTORY_INPUT_SCHEMA as A, DELEGATE_FEEDBACK_DESCRIPTION as B, createMcpServer as C, createDelegationStatusHandler as D, DELEGATION_STATUS_TOOL_NAME as E, DELEGATE_UI_AUDIT_DESCRIPTION as F, DELEGATE_DESCRIPTION as G, DELEGATE_FEEDBACK_TOOL_NAME as H, DELEGATE_UI_AUDIT_INPUT_SCHEMA as I, createDelegateHandler as J, DELEGATE_INPUT_SCHEMA as K, DELEGATE_UI_AUDIT_TOOL_NAME as L, createDelegationHistoryHandler as M, validateDelegationHistoryArgs as N, validateDelegationStatusArgs as O, delegationProfiles as P, DelegationTaskQueue as Q, createDelegateUiAuditHandler as R, createInProcessTransport as S, DELEGATION_STATUS_INPUT_SCHEMA as T, createDelegateFeedbackHandler as U, DELEGATE_FEEDBACK_INPUT_SCHEMA as V, validateDelegateFeedbackArgs as W, defaultDelegateBudget as X, validateDelegateArgs as Y, delegate as Z, promptHandle as _, assertCoordinationBinding as a, createDelegationTraceCollector as at, classifyDriverFailure as b, supervisorAgentWithTestBrain as c, FileDelegationStore as ct, delegatesWorkerBriefPrompt as d, eventToSnapshot as dt, DELEGATION_TRACE_MAX_BYTES as et, dumbContinuationFailPrompt as f, createSupervisorSpanRecorder as ft, naiveContinuationPrompt as g, kernelPromptRegistry as h, workerFromBackend as i, composeLoopTraceEmitters as it, DELEGATION_HISTORY_TOOL_NAME as j, DELEGATION_HISTORY_DESCRIPTION as k, analyzesFindingsReportPrompt as l, InMemoryDelegationStore as lt, formatPromptHandle as m, mapExecutorResult as mt, supervise as n, buildDelegationTraceSpans as nt, resolveSupervisorProfile as o, DelegationPersistenceError as ot, dumbContinuationPassPrompt as p, gateOnDeliverable as pt, DELEGATE_TOOL_NAME as q, superviseWithTestBrain as r, capDelegationTrace as rt, supervisorAgent as s, DelegationStateCorruptError as st, DEFAULT_AUTHORED_PROFILE_SECURITY_POLICY as t, DELEGATION_TRACE_MAX_SPANS as tt, createPromptRegistry as u, InMemoryFeedbackStore as ut, supervisorPolicyPrompt as v, DELEGATION_STATUS_DESCRIPTION as w, serveCoordinationMcp as x, DriverAttemptsExhaustedError as y, validateDelegateUiAuditArgs as z };
+export { DelegationTaskQueue as $, DELEGATION_HISTORY_DESCRIPTION as A, validateDelegateUiAuditArgs as B, createInProcessTransport as C, DELEGATION_STATUS_TOOL_NAME as D, DELEGATION_STATUS_INPUT_SCHEMA as E, delegationProfiles as F, validateDelegateFeedbackArgs as G, DELEGATE_FEEDBACK_INPUT_SCHEMA as H, DELEGATE_UI_AUDIT_DESCRIPTION as I, DELEGATE_TOOL_NAME as J, DELEGATE_DESCRIPTION as K, DELEGATE_UI_AUDIT_INPUT_SCHEMA as L, DELEGATION_HISTORY_TOOL_NAME as M, createDelegationHistoryHandler as N, createDelegationStatusHandler as O, validateDelegationHistoryArgs as P, delegate as Q, DELEGATE_UI_AUDIT_TOOL_NAME as R, serveCoordinationMcp as S, DELEGATION_STATUS_DESCRIPTION as T, DELEGATE_FEEDBACK_TOOL_NAME as U, DELEGATE_FEEDBACK_DESCRIPTION as V, createDelegateFeedbackHandler as W, validateDelegateArgs as X, createDelegateHandler as Y, defaultDelegateBudget as Z, promptHandle as _, assertCoordinationBinding as a, composeLoopTraceEmitters as at, classifyDriverFailure as b, supervisorAgentWithTestBrain as c, DelegationStateCorruptError as ct, delegatesWorkerBriefPrompt as d, InMemoryFeedbackStore as dt, hashIdempotencyInput as et, dumbContinuationFailPrompt as f, eventToSnapshot as ft, naiveContinuationPrompt as g, kernelPromptRegistry as h, mapExecutorResult as ht, workerFromBackend as i, capDelegationTrace as it, DELEGATION_HISTORY_INPUT_SCHEMA as j, validateDelegationStatusArgs as k, analyzesFindingsReportPrompt as l, FileDelegationStore as lt, formatPromptHandle as m, gateOnDeliverable as mt, supervise as n, DELEGATION_TRACE_MAX_SPANS as nt, resolveSupervisorProfile as o, createDelegationTraceCollector as ot, dumbContinuationPassPrompt as p, createSupervisorSpanRecorder as pt, DELEGATE_INPUT_SCHEMA as q, superviseWithTestBrain as r, buildDelegationTraceSpans as rt, supervisorAgent as s, DelegationPersistenceError as st, DEFAULT_AUTHORED_PROFILE_SECURITY_POLICY as t, DELEGATION_TRACE_MAX_BYTES as tt, createPromptRegistry as u, InMemoryDelegationStore as ut, supervisorPolicyPrompt as v, createMcpServer as w, defaultUnmetContractSteer as x, DriverAttemptsExhaustedError as y, createDelegateUiAuditHandler as z };
 
-//# sourceMappingURL=supervise-rbZ-ppOC.js.map
+//# sourceMappingURL=supervise-BUy1cr2L.js.map