@martinloop/mcp 0.8.8 → 0.8.10

package/dist/vendor/core/index.js

@@ -14,6 +14,7 @@ import { runContextIntegrityPrecheck } from "./context-integrity.js";
 import { decideCircuitBreak } from "./trajectory.js";
 import { verifyContextHandoff, decideContextCircuitBreak } from "./context-handoff.js";
 import { verifierActuallyPassed, } from "./verified-handoff.js";
+import { acquireRunExecutionLease, evaluateRunResumability, loadResumeCandidateBoundary, loadResumeVerifierFailure } from "./resume.js";
 export { DEFAULT_AGENT_EXECUTION_INTENT, DEFAULT_PROVIDER_EXECUTION_TIMEOUT_MS, GOVERNED_AUTONOMOUS_BOUNDARY, normalizeProviderExecutionTimeoutMs } from "../contracts/index.js";
 export { classifyFailure, computeEvidenceVector, evaluatePatchDecision, evaluateCostGovernor, evaluateBudgetPreflight, inferExit, nextPolicyPhase, policyPhaseToLifecycleState, scorePatchDecision, selectRecoveryRecipe, evaluateVerificationLeash, evaluateFilesystemLeash, evaluateChangeApprovalLeash, evaluateSecretLeash, resolveExecutionProfile, redactSecretsFromText, buildRepoGroundingIndex, loadOrBuildRepoGroundingIndex, queryRepoGroundingIndex, scanPatchForGroundingViolations, captureRollbackBoundary, listAttemptChangedFilesSinceBoundary, listIgnoredFileChangesSinceBoundary, restoreRollbackBoundary };
 export { describeMalformedVerifier } from "./verifier-input.js";
@@ -23,6 +24,7 @@ export { createLocalIdentityAuthority, hasIdentityScope, issueIdentityToken, ver
 export { compileExecutionPolicy } from "./policy-compiler.js";
 export { assessTrajectory, decideCircuitBreak } from "./trajectory.js";
 export { calculateAvoidedUsd, calculateLoopAvoidedUsd } from "./savings.js";
+export { acquireRunExecutionLease, evaluateRunResumability, loadResumeCandidateBoundary, loadResumeVerifierFailure };
 // ─── Routing economics ─────────────────────────────────────────────────────
 export { classifyRoute, evaluatePreworkBurnPolicy } from "./routing.js";
 // ─── Test Integrity Validation ──────────────────────────────────────────────
@@ -164,746 +166,920 @@ export function distillContext(loop, options = {}) {
 export async function runMartin(input) {
     const now = input.now ?? (() => new Date().toISOString());
     const idFactory = input.idFactory;
-    const providerExecutionTimeoutMs = normalizeProviderExecutionTimeoutMs(input.task.providerExecutionTimeoutMs);
-    const agentExecutionIntent = input.task.agentExecutionIntent ?? DEFAULT_AGENT_EXECUTION_INTENT;
-    // D1: apply task-class-aware iteration defaults when the caller did not set an
-    // explicit maxIterations. reversible_edit → 3, verification_only/irreversible → 1.
-    const effectiveMaxIterations = resolveEffectiveMaxIterations(input.task, input.budget.maxIterations);
-    const effectiveBudget = { ...input.budget, maxIterations: effectiveMaxIterations };
-    let loop = createLoopRecord({
-        workspaceId: input.workspaceId,
-        projectId: input.projectId,
-        task: { ...input.task, agentExecutionIntent, providerExecutionTimeoutMs },
-        budget: effectiveBudget,
-        ...(input.savingsBaseline ? { cost: { savingsBaseline: input.savingsBaseline } } : {}),
-        ...(input.receiptScope
-            ? { receiptScope: { ...input.receiptScope, agentExecutionIntent, providerExecutionTimeoutMs } }
-            : {}),
-        ...(input.teamId ? { teamId: input.teamId } : {}),
-        ...(input.metadata ? { metadata: input.metadata } : {})
-    }, { now: now(), idFactory });
-    loop = appendLoopEvent(loop, {
-        type: "run.started",
-        lifecycleState: "running",
-        payload: {
-            adapterId: input.adapter.adapterId,
-            providerId: input.adapter.metadata.providerId,
-            model: input.adapter.metadata.model,
-            transport: getAdapterTransport(input.adapter)
-        }
-    }, { now: now(), idFactory });
-    const adapterChain = [input.adapter, ...(input.fallbackAdapters ?? [])];
-    const runsRoot = input.store?.runsRoot ?? resolveRunsRoot();
-    const observesWorkspaceMutations = input.task.repoRoot !== undefined &&
-        adapterChain.some((adapter) => adapter.metadata.capabilities?.workspaceMutations !== false);
-    const touchedDuringExecution = new Set();
-    let completionBoundary;
-    let completionBoundaryReason;
-    if (observesWorkspaceMutations) {
-        try {
-            completionBoundary = await captureRollbackBoundary({
-                repoRoot: input.task.repoRoot,
-                capturedAt: loop.createdAt
-            });
-            if (!completionBoundary) {
-                completionBoundaryReason = "A run-wide file-effect observation boundary was not available.";
-            }
+    const resumeLoop = input.resume?.loop;
+    if (resumeLoop) {
+        const resumability = evaluateRunResumability(resumeLoop);
+        if (!resumability.allowed) {
+            throw new Error(`Run ${resumeLoop.loopId} cannot be continued: ${resumability.reason}`);
         }
-        catch (error) {
-            completionBoundaryReason = `Run-wide file-effect observation was unavailable: ${fileEffectErrorMessage(error)}`;
+        if (resumeLoop.workspaceId !== input.workspaceId ||
+            resumeLoop.projectId !== input.projectId) {
+            throw new Error("Resume authority does not match the persisted workspace/project identity.");
         }
     }
-    else {
-        completionBoundaryReason =
-            "A mutation-capable run-wide file-effect observation boundary was not available.";
-    }
-    async function finalizeCurrentLoop(decision, timestamp, routingEconomicsInput) {
-        const fileEffects = observeRunFileEffects({
-            repoRoot: input.task.repoRoot,
-            boundary: completionBoundary,
-            touchedDuringExecution,
-            unavailableReason: completionBoundaryReason
-        });
-        return finalizeLoop(loop, decision, timestamp, idFactory, routingEconomicsInput, fileEffects);
-    }
-    async function persistGuardStop(decision) {
-        const envelope = {
-            schemaVersion: "termination/1",
-            class: "guard_stop",
-            guard: {
-                reasonCode: decision.reasonCode ?? "guard_stop",
-                reason: decision.reason,
-                ...(decision.failureClass ? { failureClass: decision.failureClass } : {}),
-                ...(decision.safetySurface ? { safetySurface: decision.safetySurface } : {})
+    const task = resumeLoop?.task ?? input.task;
+    const providerExecutionTimeoutMs = normalizeProviderExecutionTimeoutMs(task.providerExecutionTimeoutMs);
+    const agentExecutionIntent = task.agentExecutionIntent ?? DEFAULT_AGENT_EXECUTION_INTENT;
+    // D1: apply task-class-aware iteration defaults only for a new run. A resumed
+    // run inherits the exact persisted budget authority.
+    const effectiveMaxIterations = resumeLoop
+        ? resumeLoop.budget.maxIterations
+        : resolveEffectiveMaxIterations(task, input.budget.maxIterations);
+    const effectiveBudget = resumeLoop
+        ? { ...resumeLoop.budget }
+        : { ...input.budget, maxIterations: effectiveMaxIterations };
+    let loop = resumeLoop
+        ? {
+            ...resumeLoop,
+            status: "running",
+            lifecycleState: "running",
+            updatedAt: now(),
+            metadata: {
+                ...resumeLoop.metadata,
+                ...(input.metadata ?? {}),
+                resumedFromPersistence: "true"
             }
-        };
-        if (input.store) {
-            await persistTerminationEnvelope(runDir(runsRoot, loop.loopId), envelope);
-            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                kind: "run.terminated",
-                runId: loop.loopId,
-                payload: {
-                    terminationClass: envelope.class,
-                    reasonCode: envelope.guard.reasonCode,
-                    reason: envelope.guard.reason,
-                    ...(envelope.guard.failureClass ? { failureClass: envelope.guard.failureClass } : {}),
-                    ...(envelope.guard.safetySurface ? { safetySurface: envelope.guard.safetySurface } : {})
-                }
-            }));
         }
-        return envelope;
-    }
-    if (input.store) {
-        await input.store.initRun({
-            runId: loop.loopId,
+        : createLoopRecord({
             workspaceId: input.workspaceId,
             projectId: input.projectId,
-            task: input.task,
-            budget: input.budget,
-            createdAt: loop.createdAt,
+            task: { ...task, agentExecutionIntent, providerExecutionTimeoutMs },
+            budget: effectiveBudget,
+            ...(input.savingsBaseline ? { cost: { savingsBaseline: input.savingsBaseline } } : {}),
+            ...(input.receiptScope
+                ? { receiptScope: { ...input.receiptScope, agentExecutionIntent, providerExecutionTimeoutMs } }
+                : {}),
+            ...(input.teamId ? { teamId: input.teamId } : {}),
             ...(input.metadata ? { metadata: input.metadata } : {})
-        });
-        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-            kind: "contract.created",
+        }, { now: now(), idFactory });
+    const executionLease = input.store?.runsRoot
+        ? await acquireRunExecutionLease({
+            runsRoot: input.store.runsRoot,
             runId: loop.loopId,
-            payload: { workspaceId: input.workspaceId, projectId: input.projectId }
-        }));
-        await persistLoopRecordIfSupported(input.store, loop);
-    }
-    // ── A-CTX-2 context handoff gate ─────────────────────────────────────────
-    // The gate runs before ANY adapter call. A blocked handoff hard-stops the run
-    // and emits ledger evidence — the adapter is never invoked.
-    if (input.contextHandoff !== undefined) {
-        const handoffVerification = verifyContextHandoff({
-            handoff: input.contextHandoff,
-            producerReceiptVerified: input.producerReceiptVerified ?? false,
-            availableArtifacts: input.availableArtifacts ?? new Map()
-        });
-        if (input.store) {
-            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                kind: "context.handoff.received",
-                runId: loop.loopId,
-                payload: {
-                    handoffId: input.contextHandoff.handoffId,
-                    chainId: input.contextHandoff.chainId,
-                    producerRunId: input.contextHandoff.producerRunId,
-                    upstreamIntegrity: input.contextHandoff.upstreamIntegrity
-                }
-            }));
-        }
-        const handoffGate = decideContextCircuitBreak(handoffVerification);
-        if (handoffGate.shouldStop) {
-            if (input.store) {
-                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                    kind: "context.handoff.blocked",
-                    runId: loop.loopId,
-                    payload: {
-                        reasonCode: handoffGate.reasonCode,
-                        message: handoffGate.message,
-                        integrity: handoffVerification.integrity,
-                        reasons: handoffVerification.reasons
-                    }
-                }));
-                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                    kind: "run.exited",
-                    runId: loop.loopId,
-                    payload: {
-                        status: "exited",
-                        lifecycleState: "human_escalation",
-                        reason: handoffGate.message ?? "Context handoff verification failed.",
-                        reasonCode: handoffGate.reasonCode ?? "handoff_verification_failed"
-                    }
-                }));
+            owner: resumeLoop ? "runMartin:resume" : "runMartin",
+            now: () => loop.updatedAt
+        })
+        : undefined;
+    try {
+        loop = appendLoopEvent(loop, {
+            type: "run.started",
+            lifecycleState: "running",
+            payload: {
+                adapterId: input.adapter.adapterId,
+                providerId: input.adapter.metadata.providerId,
+                model: input.adapter.metadata.model,
+                transport: getAdapterTransport(input.adapter),
+                ...(resumeLoop
+                    ? { resumed: true, priorAttemptCount: resumeLoop.attempts.length }
+                    : {})
             }
-            const handoffExitDecision = {
-                shouldExit: true,
-                lifecycleState: "human_escalation",
-                status: "exited",
-                reason: handoffGate.message ?? "Context handoff verification failed.",
-                reasonCode: handoffGate.reasonCode ?? "handoff_verification_failed"
-            };
-            const finalizedLoop = await finalizeCurrentLoop(handoffExitDecision, now());
-            await persistLoopRecordIfSupported(input.store, finalizedLoop);
-            return { loop: finalizedLoop, decision: handoffExitDecision };
-        }
-        if (input.store) {
-            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                kind: "context.handoff.verified",
-                runId: loop.loopId,
-                payload: {
-                    handoffId: input.contextHandoff.handoffId,
-                    chainId: input.contextHandoff.chainId,
-                    producerRunId: input.contextHandoff.producerRunId,
-                    integrity: handoffVerification.integrity
-                }
-            }));
-        }
-    }
-    let currentAdapterIndex = 0;
-    let currentAdapter = adapterChain[currentAdapterIndex] ?? input.adapter;
-    let useCompressedContext = false;
-    const executionProfile = resolveExecutionProfile({
-        executionProfile: input.task.executionProfile,
-        allowedNetworkDomains: input.task.allowedNetworkDomains
-    });
-    // Safety leash: block destructive verifier commands before any attempt
-    const leashDecision = evaluateVerificationLeash({
-        verificationPlan: input.task.verificationPlan,
-        verificationStack: input.task.verificationStack,
-        executionProfile: input.task.executionProfile,
-        allowedNetworkDomains: input.task.allowedNetworkDomains
-    });
-    if (!leashDecision.allowed) {
-        const reason = `${leashDecision.reason ?? "Safety leash blocked verifier commands."} Blocked: ${leashDecision.blockedCommands.join(", ")}`;
-        const leashExitDecision = {
-            shouldExit: true,
-            lifecycleState: "human_escalation",
-            status: "exited",
-            reason,
-            ...classifySafetyLeashExit(leashDecision, "verifier")
-        };
-        if (input.store) {
-            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                kind: "safety.violations_found",
-                runId: loop.loopId,
-                payload: {
-                    surface: leashDecision.surface,
-                    blocked: true,
-                    profile: leashDecision.profile ?? executionProfile.name,
-                    violations: serializeSafetyViolations(leashDecision)
-                }
-            }));
-            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                kind: "run.exited",
-                runId: loop.loopId,
-                payload: createRunExitPayload(leashExitDecision)
-            }));
-        }
-        const terminationEnvelope = await persistGuardStop(leashExitDecision);
-        const finalizedLoop = await finalizeCurrentLoop(leashExitDecision, now());
-        const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
-        await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
-        return {
-            loop: finalizedWithEnvelope,
-            decision: leashExitDecision
-        };
-    }
-    const secretDecision = evaluateSecretLeash({
-        values: [
-            input.task.title,
-            input.task.objective,
-            ...(input.task.acceptanceCriteria ?? [])
-        ]
-    });
-    if (!secretDecision.allowed) {
-        const secretExitDecision = {
-            shouldExit: true,
-            lifecycleState: "human_escalation",
-            status: "exited",
-            reason: secretDecision.reason ?? "Safety leash blocked secret-like values in the runtime context.",
-            ...classifySafetyLeashExit(secretDecision, "secret")
-        };
-        if (input.store) {
-            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                kind: "safety.violations_found",
-                runId: loop.loopId,
-                payload: {
-                    surface: "secret",
-                    blocked: true,
-                    violations: secretDecision.violations.map((violation) => violation.match ?? violation.message)
+        }, { now: now(), idFactory });
+        const adapterChain = [input.adapter, ...(input.fallbackAdapters ?? [])];
+        const runsRoot = input.store?.runsRoot ?? resolveRunsRoot();
+        const observesWorkspaceMutations = task.repoRoot !== undefined &&
+            adapterChain.some((adapter) => adapter.metadata.capabilities?.workspaceMutations !== false);
+        const touchedDuringExecution = new Set();
+        // A retained candidate is already present when resuming; its first rollback
+        // boundary is also the original run-wide completion boundary.
+        let completionBoundary = input.resume?.preCandidateBoundary;
+        let completionBoundaryReason;
+        if (observesWorkspaceMutations && !completionBoundary) {
+            try {
+                completionBoundary = await captureRollbackBoundary({
+                    repoRoot: task.repoRoot,
+                    capturedAt: loop.createdAt
+                });
+                if (!completionBoundary) {
+                    completionBoundaryReason = "A run-wide file-effect observation boundary was not available.";
                 }
-            }));
-            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                kind: "run.exited",
-                runId: loop.loopId,
-                payload: createRunExitPayload(secretExitDecision)
-            }));
-        }
-        const terminationEnvelope = await persistGuardStop(secretExitDecision);
-        const finalizedLoop = await finalizeCurrentLoop(secretExitDecision, now());
-        const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
-        await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
-        return {
-            loop: finalizedWithEnvelope,
-            decision: secretExitDecision
-        };
-    }
-    // Explicit PolicyPhase state machine — starts at GATHER, advances per attempt
-    let currentPhase = "GATHER";
-    let phaseRetryCount = 0;
-    let lastVerifierFailure;
-    // C1 terminal cleanup: boundary captured immediately before the first retained candidate.
-    // Used to restore the workspace if the run terminates without VERIFIED.
-    // The invariant is: if this is set, the current workspace contains unverified candidate code.
-    let preCandidateBoundary;
-    // Routing economics: track first meaningful workspace delta
-    const runStartMs = Date.now();
-    let firstDeltaDetected = false;
-    let firstDeltaTimestampMs;
-    let firstDeltaFilePath;
-    let firstDeltaChangeType;
-    let preDeltaCostUsd = 0;
-    // ── Eight-exit runtime control state ─────────────────────────────────────
-    const nowMs = input.nowMs ?? (() => Date.now());
-    const exitPolicy = createDefaultExitPolicy(input.budget, input.exitPolicy);
-    let activeAttemptController;
-    let observedHumanInterrupt;
-    let observedExternalEvent;
-    let terminationPromise;
-    const recentStateHashes = [];
-    let consecutiveErrors = 0;
-    // governedTurnsUsed starts from the already-completed attempt count so
-    // resumed runs count correctly; incremented once per governed attempt.
-    let governedTurnsUsed = loop.attempts.length;
-    const exitSignalSource = input.exitSignalSource ?? createFileExitSignalSource(runsRoot);
-    // Diagnostic writes fire from sync callbacks — track them so the finally
-    // block can await completion before the run tears down.
-    const pendingControlWrites = [];
-    // Non-null when the signal monitor itself fails — rethrown at the next
-    // evaluateCheckpoint so the run surfaces the error rather than silently
-    // losing cancellation.
-    let signalMonitorError;
-    function observeSignals(signals) {
-        for (const s of signals) {
-            if (s.kind === "human_interrupt")
-                observedHumanInterrupt = s;
-            else if (s.kind === "external_event" && s.externalEvent !== undefined) {
-                if (observedExternalEvent !== undefined &&
-                    observedExternalEvent.disposition !== "satisfied" &&
-                    s.externalEvent.disposition === "satisfied")
-                    continue;
-                observedExternalEvent = s.externalEvent;
             }
-        }
-    }
-    let parentAbortObserved = false;
-    function observeParentAbort() {
-        if (parentAbortObserved || input.signal === undefined)
-            return;
-        parentAbortObserved = true;
-        const reason = input.signal.reason instanceof Error
-            ? input.signal.reason.message
-            : typeof input.signal.reason === "string"
-                ? input.signal.reason
-                : "parent cancelled governed child run";
-        const parentSignal = {
-            kind: "human_interrupt",
-            schemaVersion: "exit-signal/1",
-            runId: loop.loopId,
-            reason: `Parent cancellation: ${reason}`,
-            requestedAt: now(),
-            requestedBy: "parent_swarm"
-        };
-        observeSignals([parentSignal]);
-        activeAttemptController?.abort(input.signal.reason ?? parentSignal);
-    }
-    if (input.signal?.aborted)
-        observeParentAbort();
-    else if (input.signal) {
-        input.signal.addEventListener("abort", observeParentAbort, { once: true });
-        if (input.signal.aborted)
-            observeParentAbort();
-    }
-    function queueControlDiagnostic(code, details) {
-        if (!input.store)
-            return;
-        pendingControlWrites.push(input.store.appendLedger(loop.loopId, makeLedgerEvent({
-            kind: "run.diagnostic",
-            runId: loop.loopId,
-            payload: { code, details }
-        })));
-    }
-    const runController = new AbortController();
-    const wallTimer = exitPolicy.wallClock.maxElapsedMs > 0
-        ? setTimeout(() => {
-            activeAttemptController?.abort(new Error("MartinLoop wall-clock exit reached"));
-        }, exitPolicy.wallClock.maxElapsedMs)
-        : undefined;
-    wallTimer?.unref?.();
-    const disposeSignalMonitor = startExitSignalMonitor({
-        source: exitSignalSource,
-        runId: loop.loopId,
-        controller: runController,
-        pollIntervalMs: input.exitSignalPollIntervalMs,
-        onSignal: (signals) => {
-            observeSignals(signals);
-            // Only abort the active attempt for terminal signals.
-            // A satisfied external event is recorded but must not abort the provider.
-            if (signals.some(isTerminalExitSignal)) {
-                activeAttemptController?.abort(signals);
+            catch (error) {
+                completionBoundaryReason = `Run-wide file-effect observation was unavailable: ${fileEffectErrorMessage(error)}`;
             }
-        },
-        onDiagnostic: (diagnostics) => {
-            queueControlDiagnostic("exit_signal_invalid", diagnostics.map(({ kind, error }) => ({ kind, error })));
-        },
-        onError: (err) => {
-            signalMonitorError = err instanceof Error ? err : new Error(String(err));
-            activeAttemptController?.abort(err);
         }
-    });
-    async function stopSignalMonitorAndDrainDiagnostics() {
-        // Fence future polls and in-flight callbacks before taking the final ledger
-        // snapshot. Draining alone leaves a window for new writes during signing.
-        disposeSignalMonitor();
-        runController.abort();
-        input.signal?.removeEventListener("abort", observeParentAbort);
-        await Promise.all(pendingControlWrites.splice(0));
-    }
-    // Snapshot of the current run state for eight-exit evaluation
-    function currentExitSnapshot(phase, result) {
-        return {
-            phase,
-            evaluatedAt: now(),
-            runStartedAtMs: runStartMs,
-            nowMs: nowMs(),
-            turnsUsed: governedTurnsUsed,
-            actualUsd: loop.cost.actualUsd,
-            tokensUsed: loop.cost.tokensIn + loop.cost.tokensOut,
-            recentStateHashes: [...recentStateHashes],
-            consecutiveErrors,
-            ...(result !== undefined
-                ? {
-                    result: {
-                        status: result.status,
-                        verificationPassed: result.verificationPassed,
-                        verifierScore: result.verificationPassed ? 1 : 0
-                    }
+        else {
+            completionBoundaryReason =
+                "A mutation-capable run-wide file-effect observation boundary was not available.";
+        }
+        async function finalizeCurrentLoop(decision, timestamp, routingEconomicsInput) {
+            const fileEffects = observeRunFileEffects({
+                repoRoot: task.repoRoot,
+                boundary: completionBoundary,
+                touchedDuringExecution,
+                unavailableReason: completionBoundaryReason
+            });
+            return finalizeLoop(loop, decision, timestamp, idFactory, routingEconomicsInput, fileEffects);
+        }
+        async function persistGuardStop(decision) {
+            const envelope = {
+                schemaVersion: "termination/1",
+                class: "guard_stop",
+                guard: {
+                    reasonCode: decision.reasonCode ?? "guard_stop",
+                    reason: decision.reason,
+                    ...(decision.failureClass ? { failureClass: decision.failureClass } : {}),
+                    ...(decision.safetySurface ? { safetySurface: decision.safetySurface } : {})
                 }
-                : {}),
-            ...(observedHumanInterrupt !== undefined ? { humanInterrupt: observedHumanInterrupt } : {}),
-            ...(observedExternalEvent !== undefined ? { externalEvent: observedExternalEvent } : {})
-        };
-    }
-    // Termination selection with deferred disk write.
-    //
-    // The "run.terminated" ledger event is written at the original timing (here, before
-    // terminateRun runs) to preserve ledger ordering. The DISK write of termination.json
-    // is deferred to terminateRun() so that it reflects the true final terminal state
-    // AFTER retained-candidate cleanup — not a potentially stale pre-cleanup state.
-    //
-    // First-write-wins semantics on disk are preserved: persistTerminationEnvelope is
-    // called exactly once per run, from terminateRun(), after cleanup resolves.
-    function selectTerminalEvaluation(evaluation) {
-        if (terminationPromise !== undefined)
-            return terminationPromise;
-        const envelope = {
-            schemaVersion: "termination/1",
-            class: "operational_exit",
-            exit: evaluation
-        };
-        terminationPromise = (async () => {
+            };
             if (input.store) {
-                // Write the "run.terminated" ledger entry at the original timing — this
-                // preserves ledger ordering and receipt integrity hashes.
-                // The DISK termination.json is deliberately deferred to terminateRun().
+                await persistTerminationEnvelope(runDir(runsRoot, loop.loopId), envelope);
                 await input.store.appendLedger(loop.loopId, makeLedgerEvent({
                     kind: "run.terminated",
                     runId: loop.loopId,
                     payload: {
-                        selectedExit: evaluation.primary,
-                        matchedExits: evaluation.matched,
-                        policyVersion: evaluation.policyVersion,
-                        evaluationVersion: evaluation.schemaVersion,
-                        terminationPhase: evaluation.phase
+                        terminationClass: envelope.class,
+                        reasonCode: envelope.guard.reasonCode,
+                        reason: envelope.guard.reason,
+                        ...(envelope.guard.failureClass ? { failureClass: envelope.guard.failureClass } : {}),
+                        ...(envelope.guard.safetySurface ? { safetySurface: envelope.guard.safetySurface } : {})
                     }
                 }));
             }
             return envelope;
-        })();
-        return terminationPromise;
-    }
-    async function evaluateCheckpoint(phase, result) {
-        // Surface signal-monitor failures immediately rather than silently losing cancellation
-        if (signalMonitorError !== undefined)
-            throw signalMonitorError;
-        const evaluation = evaluateExitPolicy(exitPolicy, currentExitSnapshot(phase, result));
-        if (!evaluation.shouldExit)
-            return undefined;
-        return await selectTerminalEvaluation(evaluation);
-    }
-    /**
-     * Blocker 1 / Blocker 2 — Authoritative retained-candidate terminal restoration.
-     *
-     * Must be called at EVERY terminal exit that does not produce lifecycleState="completed".
-     * If preCandidateBoundary is set, the workspace contains unverified candidate code.
-     * This helper:
-     *   1. Detects whether retained unverified candidate state exists.
-     *   2. Restores the exact pre-candidate boundary (not the per-attempt boundary).
-     *   3. Independently inspects the resulting workspace via the rollback outcome.
-     *   4. Persists rollback outcome/evidence to the ledger.
-     *   5. Clears preCandidateBoundary ONLY after proven restoration.
-     *   6. On failure: surfaces workspace_restore_failed and escalates the exit decision.
-     *
-     * NEVER silently swallows restore errors. NEVER returns a clean-looking exit
-     * while residual unverified code may remain in the repository.
-     */
-    async function restoreRetainedCandidateForTerminalExit(exitDecision) {
-        // Step 1: determine whether retained unverified candidate state exists.
-        if (!preCandidateBoundary || exitDecision.lifecycleState === "completed") {
-            return exitDecision;
         }
-        const capturedBoundary = preCandidateBoundary;
-        const restoredAt = now();
-        try {
-            // Step 2: restore the exact pre-candidate boundary.
-            const rollbackOutcome = await restoreRollbackBoundary({
-                repoRoot: input.task.repoRoot,
-                boundary: capturedBoundary,
-                restoredAt,
-                decision: "DISCARD"
-            });
-            // Step 3: independently inspect the resulting workspace.
-            if (!rollbackOutcome) {
-                throw new Error("Workspace restore returned no outcome — repoRoot may be unavailable or boundary invalid.");
-            }
-            // Step 4: prove the restoration — only success/partial are acceptable outcomes.
-            if (rollbackOutcome.status === "failed" || rollbackOutcome.status === "unavailable") {
-                throw new Error(rollbackOutcome.error ??
-                    `Workspace restore returned status "${rollbackOutcome.status}" — pre-candidate state not confirmed.`);
+        if (input.store) {
+            if (!resumeLoop) {
+                await input.store.initRun({
+                    runId: loop.loopId,
+                    workspaceId: loop.workspaceId,
+                    projectId: loop.projectId,
+                    task,
+                    budget: effectiveBudget,
+                    createdAt: loop.createdAt,
+                    ...(input.metadata ? { metadata: input.metadata } : {})
+                });
+                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                    kind: "contract.created",
+                    runId: loop.loopId,
+                    payload: { workspaceId: loop.workspaceId, projectId: loop.projectId }
+                }));
             }
-            // Persist rollback outcome evidence.
+            await persistLoopRecordIfSupported(input.store, loop);
+        }
+        // ── A-CTX-2 context handoff gate ─────────────────────────────────────────
+        // The gate runs before ANY adapter call. A blocked handoff hard-stops the run
+        // and emits ledger evidence — the adapter is never invoked.
+        if (input.contextHandoff !== undefined) {
+            const handoffVerification = verifyContextHandoff({
+                handoff: input.contextHandoff,
+                producerReceiptVerified: input.producerReceiptVerified ?? false,
+                availableArtifacts: input.availableArtifacts ?? new Map()
+            });
             if (input.store) {
                 await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                    kind: "run.diagnostic",
+                    kind: "context.handoff.received",
                     runId: loop.loopId,
                     payload: {
-                        code: "terminal_candidate_restore",
-                        details: {
-                            status: rollbackOutcome.status,
-                            restoredFiles: rollbackOutcome.restoredFiles?.length ?? 0,
-                            deletedFiles: rollbackOutcome.deletedFiles?.length ?? 0,
-                            capturedAt: capturedBoundary.capturedAt
-                        }
+                        handoffId: input.contextHandoff.handoffId,
+                        chainId: input.contextHandoff.chainId,
+                        producerRunId: input.contextHandoff.producerRunId,
+                        upstreamIntegrity: input.contextHandoff.upstreamIntegrity
                     }
                 }));
             }
-            // Step 5/6: clear retained-candidate authority only after proven restoration.
-            preCandidateBoundary = undefined;
-            return exitDecision;
-        }
-        catch (restoreError) {
-            // Persist the failure evidence.
-            if (input.store) {
-                try {
+            const handoffGate = decideContextCircuitBreak(handoffVerification);
+            if (handoffGate.shouldStop) {
+                if (input.store) {
                     await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "run.diagnostic",
+                        kind: "context.handoff.blocked",
                         runId: loop.loopId,
                         payload: {
-                            code: "terminal_candidate_restore_failed",
-                            details: {
-                                error: restoreError instanceof Error ? restoreError.message : String(restoreError),
-                                capturedAt: capturedBoundary.capturedAt
-                            }
+                            reasonCode: handoffGate.reasonCode,
+                            message: handoffGate.message,
+                            integrity: handoffVerification.integrity,
+                            reasons: handoffVerification.reasons
+                        }
+                    }));
+                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                        kind: "run.exited",
+                        runId: loop.loopId,
+                        payload: {
+                            status: "exited",
+                            lifecycleState: "human_escalation",
+                            reason: handoffGate.message ?? "Context handoff verification failed.",
+                            reasonCode: handoffGate.reasonCode ?? "handoff_verification_failed"
                         }
                     }));
                 }
-                catch {
-                    // Ledger write failure is secondary — the restore error is what matters.
-                }
+                const handoffExitDecision = {
+                    shouldExit: true,
+                    lifecycleState: "human_escalation",
+                    status: "exited",
+                    reason: handoffGate.message ?? "Context handoff verification failed.",
+                    reasonCode: handoffGate.reasonCode ?? "handoff_verification_failed"
+                };
+                const finalizedLoop = await finalizeCurrentLoop(handoffExitDecision, now());
+                await persistLoopRecordIfSupported(input.store, finalizedLoop);
+                return { loop: finalizedLoop, decision: handoffExitDecision };
             }
-            // DO NOT clear preCandidateBoundary — workspace state is unknown.
-            // Surface explicit unsafe status; never return a clean-looking exit.
-            return {
-                ...exitDecision,
+            if (input.store) {
+                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                    kind: "context.handoff.verified",
+                    runId: loop.loopId,
+                    payload: {
+                        handoffId: input.contextHandoff.handoffId,
+                        chainId: input.contextHandoff.chainId,
+                        producerRunId: input.contextHandoff.producerRunId,
+                        integrity: handoffVerification.integrity
+                    }
+                }));
+            }
+        }
+        const previousAdapterId = resumeLoop?.attempts.at(-1)?.adapterId;
+        const resumedAdapterIndex = previousAdapterId
+            ? adapterChain.findIndex((adapter) => adapter.adapterId === previousAdapterId)
+            : -1;
+        let currentAdapterIndex = resumedAdapterIndex >= 0 ? resumedAdapterIndex : 0;
+        let currentAdapter = adapterChain[currentAdapterIndex] ?? input.adapter;
+        let useCompressedContext = false;
+        const executionProfile = resolveExecutionProfile({
+            executionProfile: task.executionProfile,
+            allowedNetworkDomains: task.allowedNetworkDomains
+        });
+        // Safety leash: block destructive verifier commands before any attempt
+        const leashDecision = evaluateVerificationLeash({
+            verificationPlan: task.verificationPlan,
+            verificationStack: task.verificationStack,
+            executionProfile: task.executionProfile,
+            allowedNetworkDomains: task.allowedNetworkDomains
+        });
+        if (!leashDecision.allowed) {
+            const reason = `${leashDecision.reason ?? "Safety leash blocked verifier commands."} Blocked: ${leashDecision.blockedCommands.join(", ")}`;
+            const leashExitDecision = {
+                shouldExit: true,
                 lifecycleState: "human_escalation",
                 status: "exited",
-                reasonCode: "workspace_restore_failed",
-                reason: `MartinLoop retained an unverified candidate but could not restore the pre-candidate workspace: ${restoreError instanceof Error ? restoreError.message : String(restoreError)}. Manual workspace inspection required.`
+                reason,
+                ...classifySafetyLeashExit(leashDecision, "verifier")
             };
-        }
-    }
-    async function terminateRun(envelope) {
-        if (envelope.class !== "operational_exit") {
-            throw new Error("terminateRun: unexpected non-operational envelope");
-        }
-        const legacyDecision = toLegacyExitDecision(envelope.exit, observedExternalEvent?.disposition);
-        let exitDecision = {
-            shouldExit: legacyDecision.shouldExit,
-            lifecycleState: legacyDecision.lifecycleState,
-            status: legacyDecision.status,
-            reason: legacyDecision.reason,
-            ...(legacyDecision.reasonCode ? { reasonCode: legacyDecision.reasonCode } : {}),
-            ...(legacyDecision.failureClass
-                ? { failureClass: legacyDecision.failureClass }
-                : {})
-        };
-        if (input.store) {
-            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                kind: "run.exited",
-                runId: loop.loopId,
-                payload: createRunExitPayload(exitDecision)
-            }));
-        }
-        const routingInput = {
-            runStartMs,
-            firstDeltaDetected,
-            firstDeltaTimestampMs,
-            firstDeltaFilePath,
-            firstDeltaChangeType,
-            preDeltaCostUsd
-        };
-        // Drain all pending diagnostic ledger writes BEFORE the cleanup helper may add more.
-        await stopSignalMonitorAndDrainDiagnostics();
-        // Retained-candidate cleanup runs BEFORE any durable termination envelope is
-        // written to disk. This guarantees that termination.json reflects the TRUE
-        // final state (original exit OR workspace_restore_failed) in a single atomic
-        // first-write-wins write. selectTerminalEvaluation() already memoized the winner
-        // in memory; disk persistence happens only here, after cleanup resolves.
-        exitDecision = await restoreRetainedCandidateForTerminalExit(exitDecision);
-        // Persist the authoritative termination envelope exactly once, after cleanup.
-        let finalEnvelope;
-        if (exitDecision.reasonCode === "workspace_restore_failed") {
-            // Cleanup failed: write guard_stop(workspace_restore_failed) as the sole record.
             if (input.store) {
+                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                    kind: "safety.violations_found",
+                    runId: loop.loopId,
+                    payload: {
+                        surface: leashDecision.surface,
+                        blocked: true,
+                        profile: leashDecision.profile ?? executionProfile.name,
+                        violations: serializeSafetyViolations(leashDecision)
+                    }
+                }));
                 await input.store.appendLedger(loop.loopId, makeLedgerEvent({
                     kind: "run.exited",
                     runId: loop.loopId,
-                    payload: createRunExitPayload(exitDecision)
+                    payload: createRunExitPayload(leashExitDecision)
                 }));
             }
-            finalEnvelope = await persistGuardStop(exitDecision);
+            const terminationEnvelope = await persistGuardStop(leashExitDecision);
+            const finalizedLoop = await finalizeCurrentLoop(leashExitDecision, now());
+            const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
+            await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
+            return {
+                loop: finalizedWithEnvelope,
+                decision: leashExitDecision
+            };
         }
-        else {
-            // Cleanup succeeded (or was not needed): persist the original operational_exit.
-            // "run.terminated" was already written by selectTerminalEvaluation() at the
-            // original timing (before terminateRun runs) to preserve ledger ordering.
-            finalEnvelope = envelope;
+        const secretDecision = evaluateSecretLeash({
+            values: [
+                task.title,
+                task.objective,
+                ...(task.acceptanceCriteria ?? [])
+            ]
+        });
+        if (!secretDecision.allowed) {
+            const secretExitDecision = {
+                shouldExit: true,
+                lifecycleState: "human_escalation",
+                status: "exited",
+                reason: secretDecision.reason ?? "Safety leash blocked secret-like values in the runtime context.",
+                ...classifySafetyLeashExit(secretDecision, "secret")
+            };
             if (input.store) {
-                await persistTerminationEnvelope(runDir(runsRoot, loop.loopId), finalEnvelope);
+                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                    kind: "safety.violations_found",
+                    runId: loop.loopId,
+                    payload: {
+                        surface: "secret",
+                        blocked: true,
+                        violations: secretDecision.violations.map((violation) => violation.match ?? violation.message)
+                    }
+                }));
+                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                    kind: "run.exited",
+                    runId: loop.loopId,
+                    payload: createRunExitPayload(secretExitDecision)
+                }));
             }
+            const terminationEnvelope = await persistGuardStop(secretExitDecision);
+            const finalizedLoop = await finalizeCurrentLoop(secretExitDecision, now());
+            const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
+            await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
+            return {
+                loop: finalizedWithEnvelope,
+                decision: secretExitDecision
+            };
         }
-        const finalizedLoop = await finalizeCurrentLoop(exitDecision, now(), routingInput);
-        const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope: finalEnvelope };
-        await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
-        return { loop: finalizedWithEnvelope, decision: exitDecision };
-    }
-    try {
-        // Poll once synchronously before the first attempt so any signal written
-        // before the run started is observed immediately (not after the first poll interval).
-        const initial = await exitSignalSource.poll(loop.loopId);
-        observeSignals(initial.signals);
-        if (initial.diagnostics.length > 0) {
-            queueControlDiagnostic("exit_signal_invalid", initial.diagnostics);
+        // Explicit PolicyPhase state machine — starts at GATHER, advances per attempt
+        let currentPhase = "GATHER";
+        let phaseRetryCount = 0;
+        let lastVerifierFailure = input.resume?.lastVerifierFailure;
+        // C1 terminal cleanup: boundary captured immediately before the first retained candidate.
+        // Used to restore the workspace if the run terminates without VERIFIED.
+        // The invariant is: if this is set, the current workspace contains unverified candidate code.
+        let preCandidateBoundary = input.resume?.preCandidateBoundary;
+        // Routing economics + hard wall-clock authority. A resumed run inherits the
+        // original createdAt boundary rather than receiving a fresh time budget.
+        const nowMs = input.nowMs ?? (() => Date.now());
+        const persistedRunStartMs = Date.parse(loop.createdAt);
+        const runStartMs = resumeLoop && Number.isFinite(persistedRunStartMs)
+            ? persistedRunStartMs
+            : nowMs();
+        let firstDeltaDetected = false;
+        let firstDeltaTimestampMs;
+        let firstDeltaFilePath;
+        let firstDeltaChangeType;
+        let preDeltaCostUsd = 0;
+        // ── Eight-exit runtime control state ─────────────────────────────────────
+        const exitPolicy = createDefaultExitPolicy(loop.budget, input.exitPolicy);
+        let activeAttemptController;
+        let observedHumanInterrupt;
+        let observedExternalEvent;
+        let terminationPromise;
+        const recentStateHashes = [];
+        let consecutiveErrors = 0;
+        // governedTurnsUsed starts from the already-completed attempt count so
+        // resumed runs count correctly; incremented once per governed attempt.
+        let governedTurnsUsed = loop.attempts.length;
+        const exitSignalSource = input.exitSignalSource ?? createFileExitSignalSource(runsRoot);
+        // Diagnostic writes fire from sync callbacks — track them so the finally
+        // block can await completion before the run tears down.
+        const pendingControlWrites = [];
+        // Non-null when the signal monitor itself fails — rethrown at the next
+        // evaluateCheckpoint so the run surfaces the error rather than silently
+        // losing cancellation.
+        let signalMonitorError;
+        function observeSignals(signals) {
+            for (const s of signals) {
+                if (s.kind === "human_interrupt")
+                    observedHumanInterrupt = s;
+                else if (s.kind === "external_event" && s.externalEvent !== undefined) {
+                    if (observedExternalEvent !== undefined &&
+                        observedExternalEvent.disposition !== "satisfied" &&
+                        s.externalEvent.disposition === "satisfied")
+                        continue;
+                    observedExternalEvent = s.externalEvent;
+                }
+            }
         }
-        // Pre-run check — catches signals written before the first attempt starts
-        const preRunTerminal = await evaluateCheckpoint("pre_run");
-        if (preRunTerminal !== undefined)
-            return await terminateRun(preRunTerminal);
-        while (loop.attempts.length < loop.budget.maxIterations) {
-            const distilled = distillContext(loop, {
-                maxRecentAttempts: useCompressedContext ? 1 : (input.maxRecentAttempts ?? 3)
-            });
-            useCompressedContext = false;
-            const attemptStartedAt = now();
-            const attemptId = makeId("att", idFactory);
-            const executingAdapter = currentAdapter;
-            const budgetPreflight = evaluateBudgetPreflight({
-                promptCharCount: distilled.focus.length + loop.task.objective.length * 3,
-                attemptCount: loop.attempts.length,
-                remainingBudgetUsd: distilled.constraints.remainingBudgetUsd,
-                remainingTokens: distilled.constraints.remainingTokens,
-                minimumViableTokens: executingAdapter.metadata.budgetPreflight?.minimumViableTokens,
-                // D2: pass remaining iterations so the preflight can compute a budget-aware cap
-                // rather than using the old rigid maxUsd * 0.25 that blocked viable attempts.
-                remainingIterations: distilled.constraints.remainingIterations
-            });
-            if (!budgetPreflight.allowed) {
-                const preflightExitDecision = {
-                    shouldExit: true,
-                    lifecycleState: "budget_exit",
-                    status: "exited",
-                    reason: budgetPreflight.reason
-                };
-                if (input.store) {
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "attempt.rejected",
-                        runId: loop.loopId,
-                        attemptIndex: loop.attempts.length + 1,
-                        payload: { reason: budgetPreflight.reason, source: "budget_preflight" }
-                    }));
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "run.exited",
-                        runId: loop.loopId,
-                        payload: createRunExitPayload(preflightExitDecision)
-                    }));
+        let parentAbortObserved = false;
+        function observeParentAbort() {
+            if (parentAbortObserved || input.signal === undefined)
+                return;
+            parentAbortObserved = true;
+            const reason = input.signal.reason instanceof Error
+                ? input.signal.reason.message
+                : typeof input.signal.reason === "string"
+                    ? input.signal.reason
+                    : "parent cancelled governed child run";
+            const parentSignal = {
+                kind: "human_interrupt",
+                schemaVersion: "exit-signal/1",
+                runId: loop.loopId,
+                reason: `Parent cancellation: ${reason}`,
+                requestedAt: now(),
+                requestedBy: "parent_swarm"
+            };
+            observeSignals([parentSignal]);
+            activeAttemptController?.abort(input.signal.reason ?? parentSignal);
+        }
+        if (input.signal?.aborted)
+            observeParentAbort();
+        else if (input.signal) {
+            input.signal.addEventListener("abort", observeParentAbort, { once: true });
+            if (input.signal.aborted)
+                observeParentAbort();
+        }
+        function queueControlDiagnostic(code, details) {
+            if (!input.store)
+                return;
+            pendingControlWrites.push(input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                kind: "run.diagnostic",
+                runId: loop.loopId,
+                payload: { code, details }
+            })));
+        }
+        const runController = new AbortController();
+        const elapsedBeforeProcessStartMs = Math.max(0, nowMs() - runStartMs);
+        const remainingWallClockMs = Math.max(0, exitPolicy.wallClock.maxElapsedMs - elapsedBeforeProcessStartMs);
+        const wallTimer = exitPolicy.wallClock.maxElapsedMs > 0
+            ? setTimeout(() => {
+                activeAttemptController?.abort(new Error("MartinLoop wall-clock exit reached"));
+            }, remainingWallClockMs)
+            : undefined;
+        wallTimer?.unref?.();
+        const disposeSignalMonitor = startExitSignalMonitor({
+            source: exitSignalSource,
+            runId: loop.loopId,
+            controller: runController,
+            pollIntervalMs: input.exitSignalPollIntervalMs,
+            onSignal: (signals) => {
+                observeSignals(signals);
+                // Only abort the active attempt for terminal signals.
+                // A satisfied external event is recorded but must not abort the provider.
+                if (signals.some(isTerminalExitSignal)) {
+                    activeAttemptController?.abort(signals);
                 }
-                await stopSignalMonitorAndDrainDiagnostics();
-                // Blocker 2: budget preflight may fire when a prior-attempt candidate is retained.
-                const finalPreflightDecision = await restoreRetainedCandidateForTerminalExit(preflightExitDecision);
-                const finalizedLoop = await finalizeCurrentLoop(finalPreflightDecision, now());
-                await persistLoopRecordIfSupported(input.store, finalizedLoop);
-                return {
-                    loop: finalizedLoop,
-                    decision: finalPreflightDecision
-                };
+            },
+            onDiagnostic: (diagnostics) => {
+                queueControlDiagnostic("exit_signal_invalid", diagnostics.map(({ kind, error }) => ({ kind, error })));
+            },
+            onError: (err) => {
+                signalMonitorError = err instanceof Error ? err : new Error(String(err));
+                activeAttemptController?.abort(err);
             }
-            // GATHER → ADMIT: run admission control before executing
-            currentPhase = "ADMIT";
-            // T05: Context Integrity Pre-gate — blocks authority inversion / injection before reasoning
-            //
-            // Untrusted "tool output" re-entering the loop is verifier command output from prior
-            // attempts (e.g. test runners echoing attacker-controlled strings). Pull that text from
-            // already-persisted verification.completed events so the gate scans what actually
-            // re-enters subsequent prompts, matching the documented "tool output / test output" scope.
-            const priorVerifierOutput = loop.events
-                .filter((event) => event.type === "verification.completed")
-                .flatMap((event) => event.payload?.steps ?? [])
-                .map((step) => step.detail)
-                .filter((detail) => Boolean(detail))
-                .join("\n---\n");
-            const contextPrecheck = await runContextIntegrityPrecheck(loop.loopId, loop.attempts.length + 1, runDir(resolveActiveRunsRoot(input.store), loop.loopId), {
-                userPrompt: distilled.focus,
-                toolOutput: priorVerifierOutput || undefined,
-                history: loop.attempts.map(a => a.summary).join("\n")
-            });
-            if (contextPrecheck.verdict === "context_poisoning_block") {
-                currentPhase = "ABORT";
-                const poisoningExitDecision = {
-                    shouldExit: true,
-                    lifecycleState: "human_escalation",
-                    status: "exited",
-                    reason: "Context Integrity Pre-gate: context poisoning attempt detected.",
-                    failureClass: "safety_leash_blocked",
-                    safetySurface: "context_integrity",
-                    reasonCode: "context_poisoning_blocked"
-                };
+        });
+        async function stopSignalMonitorAndDrainDiagnostics() {
+            // Fence future polls and in-flight callbacks before taking the final ledger
+            // snapshot. Draining alone leaves a window for new writes during signing.
+            disposeSignalMonitor();
+            runController.abort();
+            input.signal?.removeEventListener("abort", observeParentAbort);
+            await Promise.all(pendingControlWrites.splice(0));
+        }
+        // Snapshot of the current run state for eight-exit evaluation
+        function currentExitSnapshot(phase, result) {
+            return {
+                phase,
+                evaluatedAt: now(),
+                runStartedAtMs: runStartMs,
+                nowMs: nowMs(),
+                turnsUsed: governedTurnsUsed,
+                actualUsd: loop.cost.actualUsd,
+                tokensUsed: loop.cost.tokensIn + loop.cost.tokensOut,
+                recentStateHashes: [...recentStateHashes],
+                consecutiveErrors,
+                ...(result !== undefined
+                    ? {
+                        result: {
+                            status: result.status,
+                            verificationPassed: result.verificationPassed,
+                            verifierScore: result.verificationPassed ? 1 : 0
+                        }
+                    }
+                    : {}),
+                ...(observedHumanInterrupt !== undefined ? { humanInterrupt: observedHumanInterrupt } : {}),
+                ...(observedExternalEvent !== undefined ? { externalEvent: observedExternalEvent } : {})
+            };
+        }
+        // Termination selection with deferred disk write.
+        //
+        // The "run.terminated" ledger event is written at the original timing (here, before
+        // terminateRun runs) to preserve ledger ordering. The DISK write of termination.json
+        // is deferred to terminateRun() so that it reflects the true final terminal state
+        // AFTER retained-candidate cleanup — not a potentially stale pre-cleanup state.
+        //
+        // First-write-wins semantics on disk are preserved: persistTerminationEnvelope is
+        // called exactly once per run, from terminateRun(), after cleanup resolves.
+        function selectTerminalEvaluation(evaluation) {
+            if (terminationPromise !== undefined)
+                return terminationPromise;
+            const envelope = {
+                schemaVersion: "termination/1",
+                class: "operational_exit",
+                exit: evaluation
+            };
+            terminationPromise = (async () => {
                 if (input.store) {
+                    // Write the "run.terminated" ledger entry at the original timing — this
+                    // preserves ledger ordering and receipt integrity hashes.
+                    // The DISK termination.json is deliberately deferred to terminateRun().
                     await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "safety.violations_found",
+                        kind: "run.terminated",
                         runId: loop.loopId,
                         payload: {
-                            verdict: contextPrecheck.verdict,
-                            signals: contextPrecheck.detectedSignals,
-                            source: "context_integrity_pregate"
+                            selectedExit: evaluation.primary,
+                            matchedExits: evaluation.matched,
+                            policyVersion: evaluation.policyVersion,
+                            evaluationVersion: evaluation.schemaVersion,
+                            terminationPhase: evaluation.phase
                         }
                     }));
                 }
-                await stopSignalMonitorAndDrainDiagnostics();
-                // Blocker 2: poisoning check may fire between attempts while a candidate is retained.
-                const finalPoisoningDecision = await restoreRetainedCandidateForTerminalExit(poisoningExitDecision);
-                const terminationEnvelope = await persistGuardStop(finalPoisoningDecision);
-                const finalizedLoop = await finalizeCurrentLoop(finalPoisoningDecision, now());
-                const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
-                await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
-                return {
-                    loop: finalizedWithEnvelope,
-                    decision: finalPoisoningDecision
-                };
+                return envelope;
+            })();
+            return terminationPromise;
+        }
+        async function evaluateCheckpoint(phase, result) {
+            // Surface signal-monitor failures immediately rather than silently losing cancellation
+            if (signalMonitorError !== undefined)
+                throw signalMonitorError;
+            const evaluation = evaluateExitPolicy(exitPolicy, currentExitSnapshot(phase, result));
+            if (!evaluation.shouldExit)
+                return undefined;
+            return await selectTerminalEvaluation(evaluation);
+        }
+        /**
+         * Blocker 1 / Blocker 2 — Authoritative retained-candidate terminal restoration.
+         *
+         * Must be called at EVERY terminal exit that does not produce lifecycleState="completed".
+         * If preCandidateBoundary is set, the workspace contains unverified candidate code.
+         * This helper:
+         *   1. Detects whether retained unverified candidate state exists.
+         *   2. Restores the exact pre-candidate boundary (not the per-attempt boundary).
+         *   3. Independently inspects the resulting workspace via the rollback outcome.
+         *   4. Persists rollback outcome/evidence to the ledger.
+         *   5. Clears preCandidateBoundary ONLY after proven restoration.
+         *   6. On failure: surfaces workspace_restore_failed and escalates the exit decision.
+         *
+         * NEVER silently swallows restore errors. NEVER returns a clean-looking exit
+         * while residual unverified code may remain in the repository.
+         */
+        async function restoreRetainedCandidateForTerminalExit(exitDecision) {
+            // Step 1: determine whether retained unverified candidate state exists.
+            if (!preCandidateBoundary) {
+                return exitDecision;
             }
-            const admissionDecision = evaluateAttemptPolicy({
-                request: {
-                    loopId: loop.loopId,
-                    workspaceId: loop.workspaceId,
-                    attemptId,
+            // A verified completed exit accepts the retained candidate. Clear rollback
+            // authority so the outer finally block cannot discard the successful repair.
+            if (exitDecision.lifecycleState === "completed") {
+                preCandidateBoundary = undefined;
+                return exitDecision;
+            }
+            const capturedBoundary = preCandidateBoundary;
+            const restoredAt = now();
+            try {
+                // Step 2: restore the exact pre-candidate boundary.
+                const rollbackOutcome = await restoreRollbackBoundary({
+                    repoRoot: task.repoRoot,
+                    boundary: capturedBoundary,
+                    restoredAt,
+                    decision: "DISCARD"
+                });
+                // Step 3: independently inspect the resulting workspace.
+                if (!rollbackOutcome) {
+                    throw new Error("Workspace restore returned no outcome — repoRoot may be unavailable or boundary invalid.");
+                }
+                // Step 4: prove the restoration — only success/partial are acceptable outcomes.
+                if (rollbackOutcome.status === "failed" || rollbackOutcome.status === "unavailable") {
+                    throw new Error(rollbackOutcome.error ??
+                        `Workspace restore returned status "${rollbackOutcome.status}" — pre-candidate state not confirmed.`);
+                }
+                // Persist rollback outcome evidence.
+                if (input.store) {
+                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                        kind: "run.diagnostic",
+                        runId: loop.loopId,
+                        payload: {
+                            code: "terminal_candidate_restore",
+                            details: {
+                                status: rollbackOutcome.status,
+                                restoredFiles: rollbackOutcome.restoredFiles?.length ?? 0,
+                                deletedFiles: rollbackOutcome.deletedFiles?.length ?? 0,
+                                capturedAt: capturedBoundary.capturedAt
+                            }
+                        }
+                    }));
+                }
+                // Step 5/6: clear retained-candidate authority only after proven restoration.
+                preCandidateBoundary = undefined;
+                return exitDecision;
+            }
+            catch (restoreError) {
+                // Persist the failure evidence.
+                if (input.store) {
+                    try {
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "run.diagnostic",
+                            runId: loop.loopId,
+                            payload: {
+                                code: "terminal_candidate_restore_failed",
+                                details: {
+                                    error: restoreError instanceof Error ? restoreError.message : String(restoreError),
+                                    capturedAt: capturedBoundary.capturedAt
+                                }
+                            }
+                        }));
+                    }
+                    catch {
+                        // Ledger write failure is secondary — the restore error is what matters.
+                    }
+                }
+                // DO NOT clear preCandidateBoundary — workspace state is unknown.
+                // Surface explicit unsafe status; never return a clean-looking exit.
+                return {
+                    ...exitDecision,
+                    lifecycleState: "human_escalation",
+                    status: "exited",
+                    reasonCode: "workspace_restore_failed",
+                    reason: `MartinLoop retained an unverified candidate but could not restore the pre-candidate workspace: ${restoreError instanceof Error ? restoreError.message : String(restoreError)}. Manual workspace inspection required.`
+                };
+            }
+        }
+        async function terminateRun(envelope) {
+            if (envelope.class !== "operational_exit") {
+                throw new Error("terminateRun: unexpected non-operational envelope");
+            }
+            const legacyDecision = toLegacyExitDecision(envelope.exit, observedExternalEvent?.disposition);
+            let exitDecision = {
+                shouldExit: legacyDecision.shouldExit,
+                lifecycleState: legacyDecision.lifecycleState,
+                status: legacyDecision.status,
+                reason: legacyDecision.reason,
+                ...(legacyDecision.reasonCode ? { reasonCode: legacyDecision.reasonCode } : {}),
+                ...(legacyDecision.failureClass
+                    ? { failureClass: legacyDecision.failureClass }
+                    : {})
+            };
+            if (input.store) {
+                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                    kind: "run.exited",
+                    runId: loop.loopId,
+                    payload: createRunExitPayload(exitDecision)
+                }));
+            }
+            const routingInput = {
+                runStartMs,
+                firstDeltaDetected,
+                firstDeltaTimestampMs,
+                firstDeltaFilePath,
+                firstDeltaChangeType,
+                preDeltaCostUsd
+            };
+            // Drain all pending diagnostic ledger writes BEFORE the cleanup helper may add more.
+            await stopSignalMonitorAndDrainDiagnostics();
+            // Retained-candidate cleanup runs BEFORE any durable termination envelope is
+            // written to disk. This guarantees that termination.json reflects the TRUE
+            // final state (original exit OR workspace_restore_failed) in a single atomic
+            // first-write-wins write. selectTerminalEvaluation() already memoized the winner
+            // in memory; disk persistence happens only here, after cleanup resolves.
+            exitDecision = await restoreRetainedCandidateForTerminalExit(exitDecision);
+            // Persist the authoritative termination envelope exactly once, after cleanup.
+            let finalEnvelope;
+            if (exitDecision.reasonCode === "workspace_restore_failed") {
+                // Cleanup failed: write guard_stop(workspace_restore_failed) as the sole record.
+                if (input.store) {
+                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                        kind: "run.exited",
+                        runId: loop.loopId,
+                        payload: createRunExitPayload(exitDecision)
+                    }));
+                }
+                finalEnvelope = await persistGuardStop(exitDecision);
+            }
+            else {
+                // Cleanup succeeded (or was not needed): persist the original operational_exit.
+                // "run.terminated" was already written by selectTerminalEvaluation() at the
+                // original timing (before terminateRun runs) to preserve ledger ordering.
+                finalEnvelope = envelope;
+                if (input.store) {
+                    await persistTerminationEnvelope(runDir(runsRoot, loop.loopId), finalEnvelope);
+                }
+            }
+            const finalizedLoop = await finalizeCurrentLoop(exitDecision, now(), routingInput);
+            const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope: finalEnvelope };
+            await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
+            return { loop: finalizedWithEnvelope, decision: exitDecision };
+        }
+        if (resumeLoop && input.store) {
+            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                kind: "run.diagnostic",
+                runId: loop.loopId,
+                payload: {
+                    code: "run_resumed",
+                    details: {
+                        priorAttemptCount: resumeLoop.attempts.length,
+                        remainingIterations: Math.max(resumeLoop.budget.maxIterations - resumeLoop.attempts.length, 0),
+                        leaseOwner: executionLease?.lease.owner
+                    }
+                }
+            }));
+            await persistLoopRecordIfSupported(input.store, loop);
+        }
+        try {
+            // Poll once synchronously before the first attempt so any signal written
+            // before the run started is observed immediately (not after the first poll interval).
+            const initial = await exitSignalSource.poll(loop.loopId);
+            observeSignals(initial.signals);
+            if (initial.diagnostics.length > 0) {
+                queueControlDiagnostic("exit_signal_invalid", initial.diagnostics);
+            }
+            // Pre-run check — catches signals written before the first attempt starts
+            const preRunTerminal = await evaluateCheckpoint("pre_run");
+            if (preRunTerminal !== undefined)
+                return await terminateRun(preRunTerminal);
+            while (loop.attempts.length < loop.budget.maxIterations) {
+                const distilled = distillContext(loop, {
+                    maxRecentAttempts: useCompressedContext ? 1 : (input.maxRecentAttempts ?? 3)
+                });
+                useCompressedContext = false;
+                const attemptStartedAt = now();
+                const attemptId = makeId("att", idFactory);
+                const executingAdapter = currentAdapter;
+                const budgetPreflight = evaluateBudgetPreflight({
+                    promptCharCount: distilled.focus.length + loop.task.objective.length * 3,
+                    attemptCount: loop.attempts.length,
+                    remainingBudgetUsd: distilled.constraints.remainingBudgetUsd,
+                    remainingTokens: distilled.constraints.remainingTokens,
+                    minimumViableTokens: executingAdapter.metadata.budgetPreflight?.minimumViableTokens,
+                    pricePerMTokenUsd: executingAdapter.metadata.budgetPreflight?.pricePerMTokenUsd,
+                    // D2: pass remaining iterations so the preflight can compute a budget-aware cap
+                    // rather than using the old rigid maxUsd * 0.25 that blocked viable attempts.
+                    remainingIterations: distilled.constraints.remainingIterations
+                });
+                if (!budgetPreflight.allowed) {
+                    const preflightExitDecision = {
+                        shouldExit: true,
+                        lifecycleState: "budget_exit",
+                        status: "exited",
+                        reason: budgetPreflight.reason
+                    };
+                    if (input.store) {
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "attempt.rejected",
+                            runId: loop.loopId,
+                            attemptIndex: loop.attempts.length + 1,
+                            payload: { reason: budgetPreflight.reason, source: "budget_preflight" }
+                        }));
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "run.exited",
+                            runId: loop.loopId,
+                            payload: createRunExitPayload(preflightExitDecision)
+                        }));
+                    }
+                    await stopSignalMonitorAndDrainDiagnostics();
+                    // Blocker 2: budget preflight may fire when a prior-attempt candidate is retained.
+                    const finalPreflightDecision = await restoreRetainedCandidateForTerminalExit(preflightExitDecision);
+                    const finalizedLoop = await finalizeCurrentLoop(finalPreflightDecision, now());
+                    await persistLoopRecordIfSupported(input.store, finalizedLoop);
+                    return {
+                        loop: finalizedLoop,
+                        decision: finalPreflightDecision
+                    };
+                }
+                // GATHER → ADMIT: run admission control before executing
+                currentPhase = "ADMIT";
+                // T05: Context Integrity Pre-gate — blocks authority inversion / injection before reasoning
+                //
+                // Untrusted "tool output" re-entering the loop is verifier command output from prior
+                // attempts (e.g. test runners echoing attacker-controlled strings). Pull that text from
+                // already-persisted verification.completed events so the gate scans what actually
+                // re-enters subsequent prompts, matching the documented "tool output / test output" scope.
+                const priorVerifierOutput = loop.events
+                    .filter((event) => event.type === "verification.completed")
+                    .flatMap((event) => event.payload?.steps ?? [])
+                    .map((step) => step.detail)
+                    .filter((detail) => Boolean(detail))
+                    .join("\n---\n");
+                const contextPrecheck = await runContextIntegrityPrecheck(loop.loopId, loop.attempts.length + 1, runDir(resolveActiveRunsRoot(input.store), loop.loopId), {
+                    userPrompt: distilled.focus,
+                    toolOutput: priorVerifierOutput || undefined,
+                    history: loop.attempts.map(a => a.summary).join("\n")
+                });
+                if (contextPrecheck.verdict === "context_poisoning_block") {
+                    currentPhase = "ABORT";
+                    const poisoningExitDecision = {
+                        shouldExit: true,
+                        lifecycleState: "human_escalation",
+                        status: "exited",
+                        reason: "Context Integrity Pre-gate: context poisoning attempt detected.",
+                        failureClass: "safety_leash_blocked",
+                        safetySurface: "context_integrity",
+                        reasonCode: "context_poisoning_blocked"
+                    };
+                    if (input.store) {
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "safety.violations_found",
+                            runId: loop.loopId,
+                            payload: {
+                                verdict: contextPrecheck.verdict,
+                                signals: contextPrecheck.detectedSignals,
+                                source: "context_integrity_pregate"
+                            }
+                        }));
+                    }
+                    await stopSignalMonitorAndDrainDiagnostics();
+                    // Blocker 2: poisoning check may fire between attempts while a candidate is retained.
+                    const finalPoisoningDecision = await restoreRetainedCandidateForTerminalExit(poisoningExitDecision);
+                    const terminationEnvelope = await persistGuardStop(finalPoisoningDecision);
+                    const finalizedLoop = await finalizeCurrentLoop(finalPoisoningDecision, now());
+                    const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
+                    await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
+                    return {
+                        loop: finalizedWithEnvelope,
+                        decision: finalPoisoningDecision
+                    };
+                }
+                const admissionDecision = evaluateAttemptPolicy({
+                    request: {
+                        loopId: loop.loopId,
+                        workspaceId: loop.workspaceId,
+                        attemptId,
+                        context: {
+                            taskTitle: loop.task.title,
+                            objective: loop.task.objective,
+                            verificationPlan: loop.task.verificationPlan,
+                            ...(loop.task.verificationStack ? { verificationStack: loop.task.verificationStack } : {}),
+                            ...(loop.task.definitionOfDonePreSatisfied !== undefined
+                                ? { definitionOfDonePreSatisfied: loop.task.definitionOfDonePreSatisfied }
+                                : {}),
+                            ...(loop.task.repoRoot ? { repoRoot: loop.task.repoRoot } : {}),
+                            ...(loop.task.allowedPaths ? { allowedPaths: loop.task.allowedPaths } : {}),
+                            ...(loop.task.deniedPaths ? { deniedPaths: loop.task.deniedPaths } : {}),
+                            ...(loop.task.acceptanceCriteria ? { acceptanceCriteria: loop.task.acceptanceCriteria } : {}),
+                            ...(loop.task.executionProfile ? { executionProfile: loop.task.executionProfile } : {}),
+                            ...(loop.task.allowedNetworkDomains
+                                ? { allowedNetworkDomains: loop.task.allowedNetworkDomains }
+                                : {}),
+                            ...(loop.task.approvalPolicy ? { approvalPolicy: loop.task.approvalPolicy } : {}),
+                            agentExecutionIntent: loop.task.agentExecutionIntent ?? DEFAULT_AGENT_EXECUTION_INTENT,
+                            providerExecutionTimeoutMs: normalizeProviderExecutionTimeoutMs(loop.task.providerExecutionTimeoutMs),
+                            focus: distilled.focus,
+                            remainingBudgetUsd: distilled.constraints.remainingBudgetUsd,
+                            remainingIterations: distilled.constraints.remainingIterations,
+                            remainingTokens: distilled.constraints.remainingTokens
+                        },
+                        previousAttempts: loop.attempts
+                    },
+                    projectedUsd: budgetPreflight.estimate.estimatedAttemptCostUsd
+                });
+                if (!admissionDecision.allowed) {
+                    const exitReason = admissionDecision.reason;
+                    // Fix false budget_exit: trajectory circuit-break is diminishing_returns, not budget_exit.
+                    // A trajectory/no-progress stop is not a resource exhaustion.
+                    const admissionLifecycleState = admissionDecision.recommendedIntervention === "escalate_human"
+                        ? "human_escalation"
+                        : admissionDecision.circuitBreakDecision?.shouldStop
+                            ? "diminishing_returns"
+                            : "budget_exit";
+                    const admissionExitDecision = {
+                        shouldExit: true,
+                        lifecycleState: admissionLifecycleState,
+                        status: "exited",
+                        reason: exitReason
+                    };
+                    if (input.store) {
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "attempt.rejected",
+                            runId: loop.loopId,
+                            attemptIndex: loop.attempts.length + 1,
+                            payload: { reason: admissionDecision.reason }
+                        }));
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "run.exited",
+                            runId: loop.loopId,
+                            payload: createRunExitPayload(admissionExitDecision)
+                        }));
+                    }
+                    await stopSignalMonitorAndDrainDiagnostics();
+                    // Blocker 2: admission may be denied between attempts while a candidate is retained.
+                    const finalAdmissionDecision = await restoreRetainedCandidateForTerminalExit(admissionExitDecision);
+                    const finalizedLoop = await finalizeCurrentLoop(finalAdmissionDecision, now());
+                    await persistLoopRecordIfSupported(input.store, finalizedLoop);
+                    return {
+                        loop: finalizedLoop,
+                        decision: finalAdmissionDecision
+                    };
+                }
+                if (input.store) {
+                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                        kind: "attempt.admitted",
+                        runId: loop.loopId,
+                        attemptIndex: loop.attempts.length + 1,
+                        payload: {
+                            attemptId,
+                            adapterId: executingAdapter.adapterId,
+                            providerId: executingAdapter.metadata.providerId,
+                            model: executingAdapter.metadata.model,
+                            transport: getAdapterTransport(executingAdapter)
+                        }
+                    }));
+                }
+                // ADMIT → PATCH
+                currentPhase = "PATCH";
+                loop = appendLoopEvent(loop, {
+                    type: "attempt.started",
+                    lifecycleState: "running",
+                    payload: {
+                        attemptId,
+                        adapterId: executingAdapter.adapterId,
+                        model: executingAdapter.metadata.model,
+                        policyPhase: currentPhase
+                    }
+                }, { now: attemptStartedAt, idFactory });
+                const request = {
+                    loopId: loop.loopId,
+                    workspaceId: loop.workspaceId,
+                    attemptId,
                     context: {
                         taskTitle: loop.task.title,
                         objective: loop.task.objective,
                         verificationPlan: loop.task.verificationPlan,
                         ...(loop.task.verificationStack ? { verificationStack: loop.task.verificationStack } : {}),
+                        ...(loop.task.mutationMode ? { mutationMode: loop.task.mutationMode } : {}),
                         ...(loop.task.definitionOfDonePreSatisfied !== undefined
                             ? { definitionOfDonePreSatisfied: loop.task.definitionOfDonePreSatisfied }
                             : {}),
                         ...(loop.task.repoRoot ? { repoRoot: loop.task.repoRoot } : {}),
+                        ...(input.store?.runsRoot ? { runsRoot: input.store.runsRoot } : {}),
                         ...(loop.task.allowedPaths ? { allowedPaths: loop.task.allowedPaths } : {}),
                         ...(loop.task.deniedPaths ? { deniedPaths: loop.task.deniedPaths } : {}),
                         ...(loop.task.acceptanceCriteria ? { acceptanceCriteria: loop.task.acceptanceCriteria } : {}),
@@ -917,918 +1093,805 @@ export async function runMartin(input) {
                         focus: distilled.focus,
                         remainingBudgetUsd: distilled.constraints.remainingBudgetUsd,
                         remainingIterations: distilled.constraints.remainingIterations,
-                        remainingTokens: distilled.constraints.remainingTokens
+                        remainingTokens: distilled.constraints.remainingTokens,
+                        ...(input.verificationExecutionOwner
+                            ? { verificationExecutionOwner: input.verificationExecutionOwner }
+                            : {}),
+                        ...(lastVerifierFailure ? { lastVerifierFailure } : {}),
+                        // C1: tell the adapter whether the previous candidate was retained so it can
+                        // repair rather than rebuild.
+                        ...(loop.attempts.at(-1)?.candidateRetained
+                            ? { previousCandidateRetained: true }
+                            : {})
                     },
-                    previousAttempts: loop.attempts
-                },
-                projectedUsd: budgetPreflight.estimate.estimatedAttemptCostUsd
-            });
-            if (!admissionDecision.allowed) {
-                const exitReason = admissionDecision.reason;
-                // Fix false budget_exit: trajectory circuit-break is diminishing_returns, not budget_exit.
-                // A trajectory/no-progress stop is not a resource exhaustion.
-                const admissionLifecycleState = admissionDecision.recommendedIntervention === "escalate_human"
-                    ? "human_escalation"
-                    : admissionDecision.circuitBreakDecision?.shouldStop
-                        ? "diminishing_returns"
-                        : "budget_exit";
-                const admissionExitDecision = {
-                    shouldExit: true,
-                    lifecycleState: admissionLifecycleState,
-                    status: "exited",
-                    reason: exitReason
-                };
-                if (input.store) {
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "attempt.rejected",
-                        runId: loop.loopId,
-                        attemptIndex: loop.attempts.length + 1,
-                        payload: { reason: admissionDecision.reason }
-                    }));
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "run.exited",
-                        runId: loop.loopId,
-                        payload: createRunExitPayload(admissionExitDecision)
-                    }));
-                }
-                await stopSignalMonitorAndDrainDiagnostics();
-                // Blocker 2: admission may be denied between attempts while a candidate is retained.
-                const finalAdmissionDecision = await restoreRetainedCandidateForTerminalExit(admissionExitDecision);
-                const finalizedLoop = await finalizeCurrentLoop(finalAdmissionDecision, now());
-                await persistLoopRecordIfSupported(input.store, finalizedLoop);
-                return {
-                    loop: finalizedLoop,
-                    decision: finalAdmissionDecision
-                };
-            }
-            if (input.store) {
-                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                    kind: "attempt.admitted",
-                    runId: loop.loopId,
-                    attemptIndex: loop.attempts.length + 1,
-                    payload: {
-                        attemptId,
-                        adapterId: executingAdapter.adapterId,
-                        providerId: executingAdapter.metadata.providerId,
-                        model: executingAdapter.metadata.model,
-                        transport: getAdapterTransport(executingAdapter)
-                    }
-                }));
-            }
-            // ADMIT → PATCH
-            currentPhase = "PATCH";
-            loop = appendLoopEvent(loop, {
-                type: "attempt.started",
-                lifecycleState: "running",
-                payload: {
-                    attemptId,
-                    adapterId: executingAdapter.adapterId,
-                    model: executingAdapter.metadata.model,
-                    policyPhase: currentPhase
-                }
-            }, { now: attemptStartedAt, idFactory });
-            const request = {
-                loopId: loop.loopId,
-                workspaceId: loop.workspaceId,
-                attemptId,
-                context: {
-                    taskTitle: loop.task.title,
-                    objective: loop.task.objective,
-                    verificationPlan: loop.task.verificationPlan,
-                    ...(loop.task.verificationStack ? { verificationStack: loop.task.verificationStack } : {}),
-                    ...(loop.task.mutationMode ? { mutationMode: loop.task.mutationMode } : {}),
-                    ...(loop.task.definitionOfDonePreSatisfied !== undefined
-                        ? { definitionOfDonePreSatisfied: loop.task.definitionOfDonePreSatisfied }
-                        : {}),
-                    ...(loop.task.repoRoot ? { repoRoot: loop.task.repoRoot } : {}),
-                    ...(input.store?.runsRoot ? { runsRoot: input.store.runsRoot } : {}),
-                    ...(loop.task.allowedPaths ? { allowedPaths: loop.task.allowedPaths } : {}),
-                    ...(loop.task.deniedPaths ? { deniedPaths: loop.task.deniedPaths } : {}),
-                    ...(loop.task.acceptanceCriteria ? { acceptanceCriteria: loop.task.acceptanceCriteria } : {}),
-                    ...(loop.task.executionProfile ? { executionProfile: loop.task.executionProfile } : {}),
-                    ...(loop.task.allowedNetworkDomains
-                        ? { allowedNetworkDomains: loop.task.allowedNetworkDomains }
-                        : {}),
-                    ...(loop.task.approvalPolicy ? { approvalPolicy: loop.task.approvalPolicy } : {}),
-                    agentExecutionIntent: loop.task.agentExecutionIntent ?? DEFAULT_AGENT_EXECUTION_INTENT,
-                    providerExecutionTimeoutMs: normalizeProviderExecutionTimeoutMs(loop.task.providerExecutionTimeoutMs),
-                    focus: distilled.focus,
-                    remainingBudgetUsd: distilled.constraints.remainingBudgetUsd,
-                    remainingIterations: distilled.constraints.remainingIterations,
-                    remainingTokens: distilled.constraints.remainingTokens,
-                    ...(input.verificationExecutionOwner
-                        ? { verificationExecutionOwner: input.verificationExecutionOwner }
-                        : {}),
-                    ...(lastVerifierFailure ? { lastVerifierFailure } : {}),
-                    // C1: tell the adapter whether the previous candidate was retained so it can
-                    // repair rather than rebuild.
-                    ...(loop.attempts.at(-1)?.candidateRetained
-                        ? { previousCandidateRetained: true }
-                        : {})
-                },
-                previousAttempts: loop.attempts,
-                ...(input.observedUsageGovernor ? { observedUsageGovernor: input.observedUsageGovernor } : {})
-            };
-            const tracksWorkspaceMutations = request.context.repoRoot !== undefined &&
-                executingAdapter.metadata.capabilities?.workspaceMutations !== false;
-            // Pre-attempt: check signals that arrived during guard evaluation
-            const preAttemptTerminal = await evaluateCheckpoint("pre_attempt");
-            if (preAttemptTerminal !== undefined)
-                return await terminateRun(preAttemptTerminal);
-            activeAttemptController = new AbortController();
-            governedTurnsUsed += 1;
-            const rollbackBoundary = tracksWorkspaceMutations
-                ? await captureRollbackBoundary({
-                    repoRoot: request.context.repoRoot,
-                    capturedAt: attemptStartedAt
-                })
-                : undefined;
-            // Persist attempt.started state before blocking on provider execution.
-            // If the MCP client transport times out (default 300 s), a status query against
-            // the stable run ID must see this attempt as active rather than observing
-            // attempts=0 with no in-progress state — which falsely implies nothing happened
-            // and causes callers to start a concurrent recovery run before the backend finishes.
-            await persistLoopRecordIfSupported(input.store, loop);
-            let result;
-            try {
-                result = await executingAdapter.execute({
-                    ...request,
-                    signal: activeAttemptController.signal
-                });
-            }
-            catch (execError) {
-                // Convert an abort (wall-clock or signal-driven) into the correct exit
-                // rather than letting it propagate as an unhandled exception.
-                const abortTerminal = await evaluateCheckpoint("post_attempt");
-                if (abortTerminal !== undefined)
-                    return await terminateRun(abortTerminal);
-                // Blocker 2 (exception path): provider threw a genuine non-abort exception.
-                // Restore any retained candidate BEFORE re-throwing so the workspace is
-                // never left with unverified code after an exception escape.
-                const exceptionBaseDecision = {
-                    shouldExit: true,
-                    lifecycleState: "human_escalation",
-                    status: "exited",
-                    reason: "Provider threw an unexpected exception.",
-                    reasonCode: "provider_exception"
+                    previousAttempts: loop.attempts,
+                    ...(input.observedUsageGovernor ? { observedUsageGovernor: input.observedUsageGovernor } : {})
                 };
-                let cleanedExceptionDecision = exceptionBaseDecision;
+                const tracksWorkspaceMutations = request.context.repoRoot !== undefined &&
+                    executingAdapter.metadata.capabilities?.workspaceMutations !== false;
+                // Pre-attempt: check signals that arrived during guard evaluation
+                const preAttemptTerminal = await evaluateCheckpoint("pre_attempt");
+                if (preAttemptTerminal !== undefined)
+                    return await terminateRun(preAttemptTerminal);
+                activeAttemptController = new AbortController();
+                governedTurnsUsed += 1;
+                const rollbackBoundary = tracksWorkspaceMutations
+                    ? await captureRollbackBoundary({
+                        repoRoot: request.context.repoRoot,
+                        capturedAt: attemptStartedAt
+                    })
+                    : undefined;
+                // Persist attempt.started state before blocking on provider execution.
+                // If the MCP client transport times out (default 300 s), a status query against
+                // the stable run ID must see this attempt as active rather than observing
+                // attempts=0 with no in-progress state — which falsely implies nothing happened
+                // and causes callers to start a concurrent recovery run before the backend finishes.
+                await persistLoopRecordIfSupported(input.store, loop);
+                let result;
                 try {
-                    cleanedExceptionDecision = await restoreRetainedCandidateForTerminalExit(exceptionBaseDecision);
-                }
-                catch (cleanupError) {
-                    queueControlDiagnostic("terminal_restore_on_provider_exception_failed", {
-                        error: cleanupError instanceof Error ? cleanupError.message : String(cleanupError)
+                    result = await executingAdapter.execute({
+                        ...request,
+                        signal: activeAttemptController.signal
                     });
                 }
-                if (cleanedExceptionDecision.reasonCode === "workspace_restore_failed") {
-                    // Cleanup failed: persist workspace_restore_failed as the terminal authority
-                    // so the operator knows the workspace state is unsafe. Then surface both errors.
+                catch (execError) {
+                    // Convert an abort (wall-clock or signal-driven) into the correct exit
+                    // rather than letting it propagate as an unhandled exception.
+                    const abortTerminal = await evaluateCheckpoint("post_attempt");
+                    if (abortTerminal !== undefined)
+                        return await terminateRun(abortTerminal);
+                    // Blocker 2 (exception path): provider threw a genuine non-abort exception.
+                    // Restore any retained candidate BEFORE re-throwing so the workspace is
+                    // never left with unverified code after an exception escape.
+                    const exceptionBaseDecision = {
+                        shouldExit: true,
+                        lifecycleState: "human_escalation",
+                        status: "exited",
+                        reason: "Provider threw an unexpected exception.",
+                        reasonCode: "provider_exception"
+                    };
+                    let cleanedExceptionDecision = exceptionBaseDecision;
                     try {
-                        await persistGuardStop(cleanedExceptionDecision);
+                        cleanedExceptionDecision = await restoreRetainedCandidateForTerminalExit(exceptionBaseDecision);
                     }
-                    catch { /* persist best-effort */ }
-                    const wsError = new Error(cleanedExceptionDecision.reason, { cause: execError instanceof Error ? execError : new Error(String(execError)) });
-                    throw wsError;
-                }
-                // Cleanup succeeded — rethrow the original provider error.
-                throw execError;
-            }
-            finally {
-                activeAttemptController = undefined;
-            }
-            const attemptCompletedAt = now();
-            const compiledContext = compilePromptPacket(request);
-            const expectedVerifierBinding = resolveExpectedVerifierBinding(request);
-            const verifierConfigured = expectedVerifierBinding.commands.length > 0;
-            const verification = normalizeVerificationOutcome(result, expectedVerifierBinding);
-            // PATCH → VERIFY
-            currentPhase = "VERIFY";
-            let failure = result.status === "failed"
-                ? classifyFailure({ attempts: loop.attempts, result })
-                : undefined;
-            const currentAttemptIndex = loop.attempts.length + 1;
-            // Progress evidence is computed below from effectiveVerification (which includes
-            // host-run results). Initialize from the normalized (not raw) verification so
-            // that initial values are already binding-checked. Back-patched with the final
-            // authoritative values after effectiveVerification is available (Blocker 4).
-            let currentVerifierScore = verification.passed ? 1 : 0;
-            let currentFailingVerifierStepCount;
-            const attempt = {
-                attemptId,
-                index: currentAttemptIndex,
-                adapterId: executingAdapter.adapterId,
-                ...(executingAdapter.metadata.model ? { model: executingAdapter.metadata.model } : {}),
-                startedAt: attemptStartedAt,
-                completedAt: attemptCompletedAt,
-                summary: result.summary,
-                ...(failure?.failureClass ? { failureClass: failure.failureClass } : {}),
-                ...(failure?.recommendedIntervention
-                    ? { intervention: failure.recommendedIntervention }
-                    : {}),
-                ...(failure?.diagnosticHint ? { diagnosticHint: failure.diagnosticHint } : {}),
-                // C2: real progress signals — back-patched from effectiveVerification below
-                verifierScore: currentVerifierScore
-                // C1: candidateRetained is set below after rollback decision is made
-            };
-            loop = {
-                ...loop,
-                attempts: [...loop.attempts, attempt],
-                cost: {
-                    actualUsd: roundUsd(loop.cost.actualUsd + getUsageUsd(result.usage)),
-                    avoidedUsd: loop.cost.avoidedUsd,
-                    tokensIn: loop.cost.tokensIn + result.usage.tokensIn,
-                    tokensOut: loop.cost.tokensOut + result.usage.tokensOut,
-                    ...(result.usage.estimatedUsd !== undefined
-                        ? {
-                            estimatedUsd: roundUsd((loop.cost.estimatedUsd ?? loop.cost.actualUsd) + result.usage.estimatedUsd)
+                    catch (cleanupError) {
+                        queueControlDiagnostic("terminal_restore_on_provider_exception_failed", {
+                            error: cleanupError instanceof Error ? cleanupError.message : String(cleanupError)
+                        });
+                    }
+                    if (cleanedExceptionDecision.reasonCode === "workspace_restore_failed") {
+                        // Cleanup failed: persist workspace_restore_failed as the terminal authority
+                        // so the operator knows the workspace state is unsafe. Then surface both errors.
+                        try {
+                            await persistGuardStop(cleanedExceptionDecision);
                         }
-                        : {}),
-                    provenance: mergeCostProvenance(loop.cost.provenance, getUsageProvenance(result.usage)),
-                    ...(result.usage.providerSettlement
-                        ? { providerSettlement: result.usage.providerSettlement }
-                        : {}),
-                    ...(loop.cost.savingsBaseline
-                        ? { savingsBaseline: loop.cost.savingsBaseline }
-                        : {})
-                },
-                updatedAt: attemptCompletedAt
-            };
-            // ── Eight-exit state tracking ─────────────────────────────────────────
-            consecutiveErrors = result.status === "failed" ? consecutiveErrors + 1 : 0;
-            const stateHash = hashProgressState({
-                summary: result.summary,
-                verificationPassed: verification.passed,
-                status: result.status
-            });
-            if (recentStateHashes.length >= exitPolicy.progress.windowSize)
-                recentStateHashes.shift();
-            recentStateHashes.push(stateHash);
-            loop = appendLoopEvent(loop, {
-                type: "attempt.completed",
-                lifecycleState: "running",
-                payload: { attemptId, status: result.status, summary: result.summary }
-            }, { now: attemptCompletedAt, idFactory });
-            // post_attempt check is deferred until after verification.completed and all
-            // per-attempt ledger writes — see the check just before before_retry below.
-            const previousVerifierScore = getLastVerifierScore(loop);
-            if (failure) {
-                if (failure.recommendedIntervention === "compress_context") {
-                    useCompressedContext = true;
-                }
-                let adapterSwitched = false;
-                if (failure.recommendedIntervention === "switch_adapter") {
-                    const nextAdapter = adapterChain[currentAdapterIndex + 1];
-                    if (nextAdapter) {
-                        currentAdapterIndex += 1;
-                        currentAdapter = nextAdapter;
-                        adapterSwitched = true;
+                        catch { /* persist best-effort */ }
+                        const wsError = new Error(cleanedExceptionDecision.reason, { cause: execError instanceof Error ? execError : new Error(String(execError)) });
+                        throw wsError;
                     }
+                    // Cleanup succeeded — rethrow the original provider error.
+                    throw execError;
                 }
+                finally {
+                    activeAttemptController = undefined;
+                }
+                const attemptCompletedAt = now();
+                const compiledContext = compilePromptPacket(request);
+                const expectedVerifierBinding = resolveExpectedVerifierBinding(request);
+                const verifierConfigured = expectedVerifierBinding.commands.length > 0;
+                const verification = normalizeVerificationOutcome(result, expectedVerifierBinding);
+                // PATCH → VERIFY
+                currentPhase = "VERIFY";
+                let failure = result.status === "failed"
+                    ? classifyFailure({ attempts: loop.attempts, result })
+                    : undefined;
+                const currentAttemptIndex = loop.attempts.length + 1;
+                // Progress evidence is computed below from effectiveVerification (which includes
+                // host-run results). Initialize from the normalized (not raw) verification so
+                // that initial values are already binding-checked. Back-patched with the final
+                // authoritative values after effectiveVerification is available (Blocker 4).
+                let currentVerifierScore = verification.passed ? 1 : 0;
+                let currentFailingVerifierStepCount;
+                const attempt = {
+                    attemptId,
+                    index: currentAttemptIndex,
+                    adapterId: executingAdapter.adapterId,
+                    ...(executingAdapter.metadata.model ? { model: executingAdapter.metadata.model } : {}),
+                    startedAt: attemptStartedAt,
+                    completedAt: attemptCompletedAt,
+                    summary: result.summary,
+                    ...(failure?.failureClass ? { failureClass: failure.failureClass } : {}),
+                    ...(failure?.recommendedIntervention
+                        ? { intervention: failure.recommendedIntervention }
+                        : {}),
+                    ...(failure?.diagnosticHint ? { diagnosticHint: failure.diagnosticHint } : {}),
+                    // C2: real progress signals — back-patched from effectiveVerification below
+                    verifierScore: currentVerifierScore
+                    // C1: candidateRetained is set below after rollback decision is made
+                };
+                loop = {
+                    ...loop,
+                    attempts: [...loop.attempts, attempt],
+                    cost: {
+                        actualUsd: roundUsd(loop.cost.actualUsd + getUsageUsd(result.usage)),
+                        avoidedUsd: loop.cost.avoidedUsd,
+                        tokensIn: loop.cost.tokensIn + result.usage.tokensIn,
+                        tokensOut: loop.cost.tokensOut + result.usage.tokensOut,
+                        ...(result.usage.estimatedUsd !== undefined
+                            ? {
+                                estimatedUsd: roundUsd((loop.cost.estimatedUsd ?? loop.cost.actualUsd) + result.usage.estimatedUsd)
+                            }
+                            : {}),
+                        provenance: mergeCostProvenance(loop.cost.provenance, getUsageProvenance(result.usage)),
+                        ...(result.usage.providerSettlement
+                            ? { providerSettlement: result.usage.providerSettlement }
+                            : {}),
+                        ...(loop.cost.savingsBaseline
+                            ? { savingsBaseline: loop.cost.savingsBaseline }
+                            : {})
+                    },
+                    updatedAt: attemptCompletedAt
+                };
+                // ── Eight-exit state tracking ─────────────────────────────────────────
+                consecutiveErrors = result.status === "failed" ? consecutiveErrors + 1 : 0;
+                const stateHash = hashProgressState({
+                    summary: result.summary,
+                    verificationPassed: verification.passed,
+                    status: result.status
+                });
+                if (recentStateHashes.length >= exitPolicy.progress.windowSize)
+                    recentStateHashes.shift();
+                recentStateHashes.push(stateHash);
                 loop = appendLoopEvent(loop, {
-                    type: "failure.classified",
-                    lifecycleState: "running",
-                    payload: {
-                        attemptId,
-                        failureClass: failure.failureClass,
-                        rationale: failure.rationale
-                    }
-                }, { now: attemptCompletedAt, idFactory });
-                loop = appendLoopEvent(loop, {
-                    type: "intervention.selected",
+                    type: "attempt.completed",
                     lifecycleState: "running",
-                    payload: { attemptId, intervention: failure.recommendedIntervention }
+                    payload: { attemptId, status: result.status, summary: result.summary }
                 }, { now: attemptCompletedAt, idFactory });
-                if (adapterSwitched) {
+                // post_attempt check is deferred until after verification.completed and all
+                // per-attempt ledger writes — see the check just before before_retry below.
+                const previousVerifierScore = getLastVerifierScore(loop);
+                if (failure) {
+                    if (failure.recommendedIntervention === "compress_context") {
+                        useCompressedContext = true;
+                    }
+                    let adapterSwitched = false;
+                    if (failure.recommendedIntervention === "switch_adapter") {
+                        const nextAdapter = adapterChain[currentAdapterIndex + 1];
+                        if (nextAdapter) {
+                            currentAdapterIndex += 1;
+                            currentAdapter = nextAdapter;
+                            adapterSwitched = true;
+                        }
+                    }
                     loop = appendLoopEvent(loop, {
-                        type: "intervention.selected",
+                        type: "failure.classified",
                         lifecycleState: "running",
                         payload: {
                             attemptId,
-                            intervention: "switch_adapter",
-                            nextAdapterId: currentAdapter.adapterId,
-                            transport: getAdapterTransport(currentAdapter)
+                            failureClass: failure.failureClass,
+                            rationale: failure.rationale
                         }
                     }, { now: attemptCompletedAt, idFactory });
+                    loop = appendLoopEvent(loop, {
+                        type: "intervention.selected",
+                        lifecycleState: "running",
+                        payload: { attemptId, intervention: failure.recommendedIntervention }
+                    }, { now: attemptCompletedAt, idFactory });
+                    if (adapterSwitched) {
+                        loop = appendLoopEvent(loop, {
+                            type: "intervention.selected",
+                            lifecycleState: "running",
+                            payload: {
+                                attemptId,
+                                intervention: "switch_adapter",
+                                nextAdapterId: currentAdapter.adapterId,
+                                transport: getAdapterTransport(currentAdapter)
+                            }
+                        }, { now: attemptCompletedAt, idFactory });
+                    }
                 }
-            }
-            const costState = evaluateCostGovernor({
-                budget: loop.budget,
-                cost: loop.cost,
-                attemptsUsed: loop.attempts.length
-            });
-            loop = appendLoopEvent(loop, {
-                type: "budget.updated",
-                lifecycleState: costState.shouldStop ? "budget_exit" : "running",
-                payload: {
-                    actualUsd: loop.cost.actualUsd,
-                    remainingBudgetUsd: costState.remainingBudgetUsd,
-                    pressure: costState.pressure,
-                    provenance: loop.cost.provenance
-                }
-            }, { now: now(), idFactory });
-            if (input.store) {
-                const settlement = createBudgetSettlement({
-                    runId: loop.loopId,
-                    attemptIndex: currentAttemptIndex,
-                    usage: result.usage,
-                    estimate: budgetPreflight.estimate,
-                    settledAt: attemptCompletedAt
+                const costState = evaluateCostGovernor({
+                    budget: loop.budget,
+                    cost: loop.cost,
+                    attemptsUsed: loop.attempts.length
                 });
-                await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
-                    compiledContext,
-                    verification,
-                    ...(rollbackBoundary ? { rollbackBoundary } : {})
-                });
-                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                    kind: "patch.generated",
-                    runId: loop.loopId,
-                    attemptIndex: currentAttemptIndex,
-                    payload: { status: result.status, summary: result.summary }
-                }));
-                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                    kind: "budget.settled",
-                    runId: loop.loopId,
-                    attemptIndex: currentAttemptIndex,
+                loop = appendLoopEvent(loop, {
+                    type: "budget.updated",
+                    lifecycleState: costState.shouldStop ? "budget_exit" : "running",
                     payload: {
-                        actualUsd: settlement.totalActualUsd,
-                        estimatedUsd: result.usage.estimatedUsd,
-                        tokensIn: result.usage.tokensIn,
-                        tokensOut: result.usage.tokensOut,
-                        cachedInputTokens: result.usage.cachedInputTokens,
-                        reasoningTokensOut: result.usage.reasoningTokensOut,
-                        provenance: getUsageProvenance(result.usage),
-                        transport: getAdapterTransport(executingAdapter),
-                        providerId: executingAdapter.metadata.providerId,
-                        model: executingAdapter.metadata.model,
-                        providerSettlement: result.usage.providerSettlement,
-                        patchCost: settlement.patchCost,
-                        verificationCost: settlement.verificationCost,
-                        varianceUsd: settlement.varianceUsd,
-                        preflightEstimateUsd: settlement.preflightEstimateUsd
+                        actualUsd: loop.cost.actualUsd,
+                        remainingBudgetUsd: costState.remainingBudgetUsd,
+                        pressure: costState.pressure,
+                        provenance: loop.cost.provenance
                     }
-                }));
-            }
-            let changedFiles = [];
-            let ignoredChanges = { created: [], modified: [], deleted: [] };
-            let escapingLinks = [];
-            let weakenedTestFiles = [];
-            try {
-                changedFiles = tracksWorkspaceMutations
-                    ? resolveChangedFiles(result, request.context.repoRoot, rollbackBoundary)
-                    : [];
-                ignoredChanges = tracksWorkspaceMutations
-                    ? listIgnoredFileChangesSinceBoundary({ repoRoot: request.context.repoRoot, boundary: rollbackBoundary })
-                    : ignoredChanges;
-                escapingLinks =
-                    tracksWorkspaceMutations && request.context.repoRoot
-                        ? findEscapingLinks(request.context.repoRoot, [...changedFiles, ...ignoredChanges.created])
+                }, { now: now(), idFactory });
+                if (input.store) {
+                    const settlement = createBudgetSettlement({
+                        runId: loop.loopId,
+                        attemptIndex: currentAttemptIndex,
+                        usage: result.usage,
+                        estimate: budgetPreflight.estimate,
+                        settledAt: attemptCompletedAt
+                    });
+                    await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
+                        compiledContext,
+                        verification,
+                        ...(rollbackBoundary ? { rollbackBoundary } : {})
+                    });
+                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                        kind: "patch.generated",
+                        runId: loop.loopId,
+                        attemptIndex: currentAttemptIndex,
+                        payload: { status: result.status, summary: result.summary }
+                    }));
+                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                        kind: "budget.settled",
+                        runId: loop.loopId,
+                        attemptIndex: currentAttemptIndex,
+                        payload: {
+                            actualUsd: settlement.totalActualUsd,
+                            estimatedUsd: result.usage.estimatedUsd,
+                            tokensIn: result.usage.tokensIn,
+                            tokensOut: result.usage.tokensOut,
+                            cachedInputTokens: result.usage.cachedInputTokens,
+                            reasoningTokensOut: result.usage.reasoningTokensOut,
+                            provenance: getUsageProvenance(result.usage),
+                            transport: getAdapterTransport(executingAdapter),
+                            providerId: executingAdapter.metadata.providerId,
+                            model: executingAdapter.metadata.model,
+                            providerSettlement: result.usage.providerSettlement,
+                            patchCost: settlement.patchCost,
+                            verificationCost: settlement.verificationCost,
+                            varianceUsd: settlement.varianceUsd,
+                            preflightEstimateUsd: settlement.preflightEstimateUsd
+                        }
+                    }));
+                }
+                let changedFiles = [];
+                let ignoredChanges = { created: [], modified: [], deleted: [] };
+                let escapingLinks = [];
+                let weakenedTestFiles = [];
+                try {
+                    changedFiles = tracksWorkspaceMutations
+                        ? resolveChangedFiles(result, request.context.repoRoot, rollbackBoundary)
                         : [];
-                weakenedTestFiles =
-                    tracksWorkspaceMutations && request.context.repoRoot && rollbackBoundary?.headRef
-                        ? findWeakenedTestFiles({
+                    ignoredChanges = tracksWorkspaceMutations
+                        ? listIgnoredFileChangesSinceBoundary({ repoRoot: request.context.repoRoot, boundary: rollbackBoundary })
+                        : ignoredChanges;
+                    escapingLinks =
+                        tracksWorkspaceMutations && request.context.repoRoot
+                            ? findEscapingLinks(request.context.repoRoot, [...changedFiles, ...ignoredChanges.created])
+                            : [];
+                    weakenedTestFiles =
+                        tracksWorkspaceMutations && request.context.repoRoot && rollbackBoundary?.headRef
+                            ? findWeakenedTestFiles({
+                                repoRoot: request.context.repoRoot,
+                                baseRef: rollbackBoundary.headRef,
+                                changedFiles
+                            })
+                            : [];
+                }
+                catch (error) {
+                    for (const filePath of normalizeFileEffectPaths(result.execution?.changedFiles ?? [])) {
+                        touchedDuringExecution.add(filePath);
+                    }
+                    for (const filePath of normalizeFileEffectPaths(changedFiles)) {
+                        touchedDuringExecution.add(filePath);
+                    }
+                    let rollbackOutcome;
+                    try {
+                        rollbackOutcome = (await restoreRollbackBoundary({
                             repoRoot: request.context.repoRoot,
-                            baseRef: rollbackBoundary.headRef,
-                            changedFiles
-                        })
-                        : [];
-            }
-            catch (error) {
-                for (const filePath of normalizeFileEffectPaths(result.execution?.changedFiles ?? [])) {
-                    touchedDuringExecution.add(filePath);
+                            boundary: rollbackBoundary,
+                            restoredAt: attemptCompletedAt,
+                            decision: "DISCARD",
+                            removePaths: ignoredChanges.created,
+                            restoreIgnoredPaths: [...ignoredChanges.modified, ...ignoredChanges.deleted]
+                        })) ?? {
+                            attempted: false,
+                            status: "unavailable",
+                            restoredAt: attemptCompletedAt,
+                            decision: "DISCARD",
+                            before: { trackedDirtyFiles: [], untrackedFiles: [] },
+                            after: { trackedDirtyFiles: [], untrackedFiles: [] },
+                            restoredFiles: [],
+                            deletedFiles: [],
+                            error: "Rollback could not run because no repository root was available."
+                        };
+                    }
+                    catch (rollbackError) {
+                        rollbackOutcome = {
+                            attempted: true,
+                            status: "failed",
+                            restoredAt: attemptCompletedAt,
+                            decision: "DISCARD",
+                            before: { trackedDirtyFiles: [], untrackedFiles: [] },
+                            after: { trackedDirtyFiles: [], untrackedFiles: [] },
+                            restoredFiles: [],
+                            deletedFiles: [],
+                            error: `Rollback failed after workspace observation became unavailable: ${fileEffectErrorMessage(rollbackError)}`
+                        };
+                    }
+                    const observationExitDecision = {
+                        shouldExit: true,
+                        lifecycleState: "human_escalation",
+                        status: "exited",
+                        reason: `Workspace change observation became unavailable: ${fileEffectErrorMessage(error)}`,
+                        reasonCode: "workspace_observation_unavailable"
+                    };
+                    if (input.store) {
+                        await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
+                            compiledContext,
+                            ...(rollbackBoundary ? { rollbackBoundary } : {}),
+                            rollbackOutcome
+                        });
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "run.exited",
+                            runId: loop.loopId,
+                            payload: createRunExitPayload(observationExitDecision)
+                        }));
+                    }
+                    await stopSignalMonitorAndDrainDiagnostics();
+                    // Blocker 2: observation failure is terminal; restore pre-candidate boundary if set.
+                    const finalObservationDecision = await restoreRetainedCandidateForTerminalExit(observationExitDecision);
+                    const terminationEnvelope = await persistGuardStop(finalObservationDecision);
+                    const finalizedLoop = await finalizeCurrentLoop(finalObservationDecision, now());
+                    const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
+                    await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
+                    return { loop: finalizedWithEnvelope, decision: finalObservationDecision };
                 }
                 for (const filePath of normalizeFileEffectPaths(changedFiles)) {
                     touchedDuringExecution.add(filePath);
                 }
-                let rollbackOutcome;
-                try {
-                    rollbackOutcome = (await restoreRollbackBoundary({
-                        repoRoot: request.context.repoRoot,
-                        boundary: rollbackBoundary,
-                        restoredAt: attemptCompletedAt,
-                        decision: "DISCARD",
-                        removePaths: ignoredChanges.created,
-                        restoreIgnoredPaths: [...ignoredChanges.modified, ...ignoredChanges.deleted]
-                    })) ?? {
-                        attempted: false,
-                        status: "unavailable",
-                        restoredAt: attemptCompletedAt,
-                        decision: "DISCARD",
-                        before: { trackedDirtyFiles: [], untrackedFiles: [] },
-                        after: { trackedDirtyFiles: [], untrackedFiles: [] },
-                        restoredFiles: [],
-                        deletedFiles: [],
-                        error: "Rollback could not run because no repository root was available."
+                // Routing economics: detect first meaningful workspace delta
+                if (!firstDeltaDetected && changedFiles.length > 0) {
+                    const meaningfulFile = changedFiles.find((f) => !isMartinLoopMetadata(f));
+                    if (meaningfulFile) {
+                        firstDeltaDetected = true;
+                        firstDeltaTimestampMs = Date.now();
+                        firstDeltaFilePath = meaningfulFile;
+                        firstDeltaChangeType = "modify";
+                        preDeltaCostUsd = roundUsd(loop.cost.actualUsd - getUsageUsd(result.usage));
+                    }
+                }
+                if (!firstDeltaDetected) {
+                    preDeltaCostUsd = loop.cost.actualUsd;
+                }
+                // Evidence is only reliable when the adapter explicitly reported files OR git actually
+                // returned a non-empty list. A repoRoot alone is insufficient — git may fail (e.g. not
+                // a git repo) and silently return [], which would falsely trigger no_code_change.
+                const changedFileEvidenceAvailable = result.execution?.changedFiles !== undefined || changedFiles.length > 0;
+                const filesystemDecision = evaluateFilesystemLeash({
+                    repoRoot: request.context.repoRoot,
+                    changedFiles,
+                    ignoredFiles: [...ignoredChanges.created, ...ignoredChanges.modified, ...ignoredChanges.deleted],
+                    escapingLinks,
+                    allowedPaths: request.context.allowedPaths,
+                    deniedPaths: request.context.deniedPaths,
+                    mutationMode: request.context.mutationMode
+                });
+                if (!filesystemDecision.allowed) {
+                    const patchDecision = evaluatePatchDecision({
+                        verificationPassed: result.verification.passed,
+                        previousVerifierScore,
+                        verifierScore: result.verification.passed ? 1 : 0,
+                        scopeViolationCount: filesystemDecision.violations.length,
+                        changedFileCount: changedFiles.length,
+                        diffNovelty: changedFiles.length > 0 ? 1 : 0,
+                        diffStats: result.execution?.diffStats,
+                        costUsd: getUsageUsd(result.usage),
+                        summary: result.summary
+                    });
+                    const filesystemExitDecision = {
+                        shouldExit: true,
+                        lifecycleState: "human_escalation",
+                        status: "exited",
+                        reason: filesystemDecision.reason ?? "Safety leash blocked filesystem changes.",
+                        ...classifySafetyLeashExit(filesystemDecision, "filesystem")
+                    };
+                    // Wrap per-attempt rollback so that if it throws, preCandidateBoundary
+                    // restoration still runs via the cleanup helper below.
+                    let rollbackOutcome;
+                    try {
+                        rollbackOutcome = await restoreRollbackBoundary({
+                            repoRoot: request.context.repoRoot,
+                            boundary: rollbackBoundary,
+                            restoredAt: attemptCompletedAt,
+                            decision: patchDecision.decision,
+                            removePaths: violatingIgnoredPaths(filesystemDecision.violations, ignoredChanges.created),
+                            restoreIgnoredPaths: violatingIgnoredPaths(filesystemDecision.violations, [
+                                ...ignoredChanges.modified,
+                                ...ignoredChanges.deleted
+                            ])
+                        }) ?? undefined;
+                    }
+                    catch (rollbackError) {
+                        queueControlDiagnostic("attempt_rollback_failed_on_filesystem_exit", {
+                            error: rollbackError instanceof Error ? rollbackError.message : String(rollbackError)
+                        });
+                    }
+                    if (input.store) {
+                        await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
+                            compiledContext,
+                            leash: createLeashArtifact(filesystemDecision, currentAttemptIndex),
+                            patchScore: patchDecision.score,
+                            patchDecision: toPatchDecisionArtifact(patchDecision),
+                            ...(rollbackBoundary ? { rollbackBoundary } : {}),
+                            ...(rollbackOutcome ? { rollbackOutcome } : {})
+                        });
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "safety.violations_found",
+                            runId: loop.loopId,
+                            attemptIndex: currentAttemptIndex,
+                            payload: {
+                                surface: "filesystem",
+                                blocked: true,
+                                attemptIndex: currentAttemptIndex,
+                                violations: filesystemDecision.violations
+                            }
+                        }));
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "attempt.discarded",
+                            runId: loop.loopId,
+                            attemptIndex: currentAttemptIndex,
+                            payload: {
+                                decision: patchDecision.decision,
+                                reason: patchDecision.summary,
+                                reasonCodes: patchDecision.reasonCodes,
+                                score: patchDecision.score.score
+                            }
+                        }));
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "run.exited",
+                            runId: loop.loopId,
+                            payload: createRunExitPayload(filesystemExitDecision)
+                        }));
+                    }
+                    await stopSignalMonitorAndDrainDiagnostics();
+                    // Blocker 2: attempt-2 rollback restores to state-with-attempt-1-candidate.
+                    // We must also restore preCandidateBoundary to fully remove retained unverified code.
+                    const finalFilesystemDecision = await restoreRetainedCandidateForTerminalExit(filesystemExitDecision);
+                    const terminationEnvelope = await persistGuardStop(finalFilesystemDecision);
+                    const finalizedLoop = await finalizeCurrentLoop(finalFilesystemDecision, now());
+                    const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
+                    await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
+                    return {
+                        loop: finalizedWithEnvelope,
+                        decision: finalFilesystemDecision
+                    };
+                }
+                const changeApprovalDecision = evaluateChangeApprovalLeash({
+                    changedFiles,
+                    weakenedTestFiles,
+                    executionProfile: request.context.executionProfile,
+                    approvalPolicy: request.context.approvalPolicy
+                });
+                if (!changeApprovalDecision.allowed) {
+                    const patchDecision = evaluatePatchDecision({
+                        verificationPassed: result.verification.passed,
+                        previousVerifierScore,
+                        verifierScore: result.verification.passed ? 1 : 0,
+                        safetyViolationCount: changeApprovalDecision.violations.length,
+                        changedFileCount: changedFiles.length,
+                        diffNovelty: changedFiles.length > 0 ? 1 : 0,
+                        diffStats: result.execution?.diffStats,
+                        costUsd: getUsageUsd(result.usage),
+                        humanApprovalRequired: true,
+                        summary: result.summary
+                    });
+                    const approvalExitDecision = {
+                        shouldExit: true,
+                        lifecycleState: "human_escalation",
+                        status: "exited",
+                        reason: changeApprovalDecision.reason ??
+                            "Safety leash blocked dependency or migration changes that require approval.",
+                        ...classifySafetyLeashExit(changeApprovalDecision, "dependency")
+                    };
+                    // Wrap per-attempt rollback so that preCandidateBoundary restore still runs below.
+                    let rollbackOutcome;
+                    try {
+                        rollbackOutcome = await restoreRollbackBoundary({
+                            repoRoot: request.context.repoRoot,
+                            boundary: rollbackBoundary,
+                            restoredAt: attemptCompletedAt,
+                            decision: patchDecision.decision
+                        }) ?? undefined;
+                    }
+                    catch (rollbackError) {
+                        queueControlDiagnostic("attempt_rollback_failed_on_approval_exit", {
+                            error: rollbackError instanceof Error ? rollbackError.message : String(rollbackError)
+                        });
+                    }
+                    if (input.store) {
+                        await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
+                            compiledContext,
+                            leash: createLeashArtifact(changeApprovalDecision, currentAttemptIndex),
+                            patchScore: patchDecision.score,
+                            patchDecision: toPatchDecisionArtifact(patchDecision),
+                            ...(rollbackBoundary ? { rollbackBoundary } : {}),
+                            ...(rollbackOutcome ? { rollbackOutcome } : {})
+                        });
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "safety.violations_found",
+                            runId: loop.loopId,
+                            attemptIndex: currentAttemptIndex,
+                            payload: {
+                                surface: "dependency",
+                                blocked: true,
+                                profile: changeApprovalDecision.profile ?? executionProfile.name,
+                                attemptIndex: currentAttemptIndex,
+                                violations: changeApprovalDecision.violations
+                            }
+                        }));
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "attempt.discarded",
+                            runId: loop.loopId,
+                            attemptIndex: currentAttemptIndex,
+                            payload: {
+                                decision: patchDecision.decision,
+                                reason: patchDecision.summary,
+                                reasonCodes: patchDecision.reasonCodes,
+                                score: patchDecision.score.score
+                            }
+                        }));
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "run.exited",
+                            runId: loop.loopId,
+                            payload: createRunExitPayload(approvalExitDecision)
+                        }));
+                    }
+                    await stopSignalMonitorAndDrainDiagnostics();
+                    // Blocker 2: per-attempt rollback above only restores to state-with-retained-candidate.
+                    const finalApprovalDecision = await restoreRetainedCandidateForTerminalExit(approvalExitDecision);
+                    const terminationEnvelope = await persistGuardStop(finalApprovalDecision);
+                    const finalizedLoop = await finalizeCurrentLoop(finalApprovalDecision, now());
+                    const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
+                    await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
+                    return {
+                        loop: finalizedWithEnvelope,
+                        decision: finalApprovalDecision
                     };
                 }
-                catch (rollbackError) {
-                    rollbackOutcome = {
-                        attempted: true,
-                        status: "failed",
-                        restoredAt: attemptCompletedAt,
-                        decision: "DISCARD",
-                        before: { trackedDirtyFiles: [], untrackedFiles: [] },
-                        after: { trackedDirtyFiles: [], untrackedFiles: [] },
-                        restoredFiles: [],
-                        deletedFiles: [],
-                        error: `Rollback failed after workspace observation became unavailable: ${fileEffectErrorMessage(rollbackError)}`
-                    };
+                // VERIFY: Run grounding scan on patch diff if available
+                // Uses the task's repoRoot to build/load the grounding index, then scans any diff
+                let groundingScanResult;
+                const patchDiff = buildPatchDiff(result, changedFiles);
+                if (patchDiff && task.repoRoot) {
+                    try {
+                        const groundingIndex = await loadOrBuildRepoGroundingIndex(task.repoRoot);
+                        groundingScanResult = scanPatchForGroundingViolations(patchDiff, groundingIndex, {
+                            allowedPaths: task.allowedPaths
+                        });
+                        if (input.store && groundingScanResult.violations.length > 0) {
+                            await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                                kind: "grounding.violations_found",
+                                runId: loop.loopId,
+                                attemptIndex: currentAttemptIndex,
+                                payload: {
+                                    violationCount: groundingScanResult.violations.length,
+                                    resolvedFiles: groundingScanResult.resolvedFiles,
+                                    contentOnly: groundingScanResult.contentOnly,
+                                    violations: groundingScanResult.violations.slice(0, 10)
+                                }
+                            }));
+                        }
+                    }
+                    catch {
+                        // Grounding scan is best-effort — never fail the loop because of a scan error
+                    }
                 }
-                const observationExitDecision = {
-                    shouldExit: true,
-                    lifecycleState: "human_escalation",
-                    status: "exited",
-                    reason: `Workspace change observation became unavailable: ${fileEffectErrorMessage(error)}`,
-                    reasonCode: "workspace_observation_unavailable"
-                };
-                if (input.store) {
-                    await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
-                        compiledContext,
-                        ...(rollbackBoundary ? { rollbackBoundary } : {}),
-                        rollbackOutcome
+                const shouldEvaluatePatchTruth = result.status === "completed" && tracksWorkspaceMutations && verifierConfigured;
+                let patchDecision;
+                if (shouldEvaluatePatchTruth) {
+                    patchDecision = evaluatePatchDecision({
+                        verificationPassed: verification.passed,
+                        previousVerifierScore,
+                        verifierScore: verification.passed ? 1 : 0,
+                        groundingViolationCount: groundingScanResult?.violations.length ?? 0,
+                        changedFileCount: changedFileEvidenceAvailable ? changedFiles.length : undefined,
+                        mutationRequired: request.context.mutationMode === "edit",
+                        definitionOfDonePreSatisfied: request.context.definitionOfDonePreSatisfied,
+                        diffNovelty: changedFileEvidenceAvailable ? (changedFiles.length > 0 ? 1 : 0) : undefined,
+                        diffStats: result.execution?.diffStats,
+                        costUsd: getUsageUsd(result.usage),
+                        summary: result.summary
                     });
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "run.exited",
-                        runId: loop.loopId,
-                        payload: createRunExitPayload(observationExitDecision)
-                    }));
-                }
-                await stopSignalMonitorAndDrainDiagnostics();
-                // Blocker 2: observation failure is terminal; restore pre-candidate boundary if set.
-                const finalObservationDecision = await restoreRetainedCandidateForTerminalExit(observationExitDecision);
-                const terminationEnvelope = await persistGuardStop(finalObservationDecision);
-                const finalizedLoop = await finalizeCurrentLoop(finalObservationDecision, now());
-                const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
-                await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
-                return { loop: finalizedWithEnvelope, decision: finalObservationDecision };
-            }
-            for (const filePath of normalizeFileEffectPaths(changedFiles)) {
-                touchedDuringExecution.add(filePath);
-            }
-            // Routing economics: detect first meaningful workspace delta
-            if (!firstDeltaDetected && changedFiles.length > 0) {
-                const meaningfulFile = changedFiles.find((f) => !isMartinLoopMetadata(f));
-                if (meaningfulFile) {
-                    firstDeltaDetected = true;
-                    firstDeltaTimestampMs = Date.now();
-                    firstDeltaFilePath = meaningfulFile;
-                    firstDeltaChangeType = "modify";
-                    preDeltaCostUsd = roundUsd(loop.cost.actualUsd - getUsageUsd(result.usage));
                 }
-            }
-            if (!firstDeltaDetected) {
-                preDeltaCostUsd = loop.cost.actualUsd;
-            }
-            // Evidence is only reliable when the adapter explicitly reported files OR git actually
-            // returned a non-empty list. A repoRoot alone is insufficient — git may fail (e.g. not
-            // a git repo) and silently return [], which would falsely trigger no_code_change.
-            const changedFileEvidenceAvailable = result.execution?.changedFiles !== undefined || changedFiles.length > 0;
-            const filesystemDecision = evaluateFilesystemLeash({
-                repoRoot: request.context.repoRoot,
-                changedFiles,
-                ignoredFiles: [...ignoredChanges.created, ...ignoredChanges.modified, ...ignoredChanges.deleted],
-                escapingLinks,
-                allowedPaths: request.context.allowedPaths,
-                deniedPaths: request.context.deniedPaths,
-                mutationMode: request.context.mutationMode
-            });
-            if (!filesystemDecision.allowed) {
-                const patchDecision = evaluatePatchDecision({
-                    verificationPassed: result.verification.passed,
-                    previousVerifierScore,
-                    verifierScore: result.verification.passed ? 1 : 0,
-                    scopeViolationCount: filesystemDecision.violations.length,
-                    changedFileCount: changedFiles.length,
-                    diffNovelty: changedFiles.length > 0 ? 1 : 0,
-                    diffStats: result.execution?.diffStats,
-                    costUsd: getUsageUsd(result.usage),
-                    summary: result.summary
-                });
-                const filesystemExitDecision = {
-                    shouldExit: true,
-                    lifecycleState: "human_escalation",
-                    status: "exited",
-                    reason: filesystemDecision.reason ?? "Safety leash blocked filesystem changes.",
-                    ...classifySafetyLeashExit(filesystemDecision, "filesystem")
-                };
-                // Wrap per-attempt rollback so that if it throws, preCandidateBoundary
-                // restoration still runs via the cleanup helper below.
+                // C1 — Safe candidate retention.
+                // Distinguish UNSAFE discards (must roll back) from SAFE_UNVERIFIED discards
+                // (retain candidate for the next repair attempt).
+                //
+                // UNSAFE: scope/safety violations — rollback immediately; hard boundaries.
+                // SAFE_UNVERIFIED: only soft heuristics (grounding, low novelty, verifier
+                //   not yet improved) — leave the workspace in the candidate state so the
+                //   next agent can repair rather than rebuild from scratch.
+                // provider failure (result.status === "failed"): rollback — the workspace
+                //   state is unknown and may be partially corrupt.
+                // When patchDecision is undefined (no patch truth evaluation, e.g. verifierConfigured=false),
+                // preserve original behavior: only rollback on provider failure.  Do not treat the absence
+                // of a patch decision as "unsafe" — it simply means patch evaluation was not applicable.
+                const candidateIsUnsafe = patchDecision !== undefined && (patchDecision.decision === "ESCALATE" ||
+                    (patchDecision.decision === "DISCARD" &&
+                        !isSafeUnverifiedDiscard(patchDecision.reasonCodes)));
+                // Blocker 3: candidate may only be retained if an authoritative rollback boundary
+                // exists to enable exact restoration. Without a boundary, we cannot prove we can
+                // undo the retention — fail closed and discard instead.
+                const candidateRetainedThisAttempt = patchDecision?.decision === "DISCARD" &&
+                    isSafeUnverifiedDiscard(patchDecision.reasonCodes) &&
+                    result.status !== "failed" &&
+                    rollbackBoundary !== undefined;
                 let rollbackOutcome;
-                try {
+                if (candidateIsUnsafe && result.status !== "failed") {
                     rollbackOutcome = await restoreRollbackBoundary({
                         repoRoot: request.context.repoRoot,
                         boundary: rollbackBoundary,
                         restoredAt: attemptCompletedAt,
-                        decision: patchDecision.decision,
-                        removePaths: violatingIgnoredPaths(filesystemDecision.violations, ignoredChanges.created),
-                        restoreIgnoredPaths: violatingIgnoredPaths(filesystemDecision.violations, [
-                            ...ignoredChanges.modified,
-                            ...ignoredChanges.deleted
-                        ])
-                    }) ?? undefined;
-                }
-                catch (rollbackError) {
-                    queueControlDiagnostic("attempt_rollback_failed_on_filesystem_exit", {
-                        error: rollbackError instanceof Error ? rollbackError.message : String(rollbackError)
-                    });
-                }
-                if (input.store) {
-                    await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
-                        compiledContext,
-                        leash: createLeashArtifact(filesystemDecision, currentAttemptIndex),
-                        patchScore: patchDecision.score,
-                        patchDecision: toPatchDecisionArtifact(patchDecision),
-                        ...(rollbackBoundary ? { rollbackBoundary } : {}),
-                        ...(rollbackOutcome ? { rollbackOutcome } : {})
+                        decision: patchDecision?.decision ?? "DISCARD"
                     });
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "safety.violations_found",
-                        runId: loop.loopId,
-                        attemptIndex: currentAttemptIndex,
-                        payload: {
-                            surface: "filesystem",
-                            blocked: true,
-                            attemptIndex: currentAttemptIndex,
-                            violations: filesystemDecision.violations
-                        }
-                    }));
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "attempt.discarded",
-                        runId: loop.loopId,
-                        attemptIndex: currentAttemptIndex,
-                        payload: {
-                            decision: patchDecision.decision,
-                            reason: patchDecision.summary,
-                            reasonCodes: patchDecision.reasonCodes,
-                            score: patchDecision.score.score
-                        }
-                    }));
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "run.exited",
-                        runId: loop.loopId,
-                        payload: createRunExitPayload(filesystemExitDecision)
-                    }));
                 }
-                await stopSignalMonitorAndDrainDiagnostics();
-                // Blocker 2: attempt-2 rollback restores to state-with-attempt-1-candidate.
-                // We must also restore preCandidateBoundary to fully remove retained unverified code.
-                const finalFilesystemDecision = await restoreRetainedCandidateForTerminalExit(filesystemExitDecision);
-                const terminationEnvelope = await persistGuardStop(finalFilesystemDecision);
-                const finalizedLoop = await finalizeCurrentLoop(finalFilesystemDecision, now());
-                const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
-                await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
-                return {
-                    loop: finalizedWithEnvelope,
-                    decision: finalFilesystemDecision
-                };
-            }
-            const changeApprovalDecision = evaluateChangeApprovalLeash({
-                changedFiles,
-                weakenedTestFiles,
-                executionProfile: request.context.executionProfile,
-                approvalPolicy: request.context.approvalPolicy
-            });
-            if (!changeApprovalDecision.allowed) {
-                const patchDecision = evaluatePatchDecision({
-                    verificationPassed: result.verification.passed,
-                    previousVerifierScore,
-                    verifierScore: result.verification.passed ? 1 : 0,
-                    safetyViolationCount: changeApprovalDecision.violations.length,
-                    changedFileCount: changedFiles.length,
-                    diffNovelty: changedFiles.length > 0 ? 1 : 0,
-                    diffStats: result.execution?.diffStats,
-                    costUsd: getUsageUsd(result.usage),
-                    humanApprovalRequired: true,
-                    summary: result.summary
-                });
-                const approvalExitDecision = {
-                    shouldExit: true,
-                    lifecycleState: "human_escalation",
-                    status: "exited",
-                    reason: changeApprovalDecision.reason ??
-                        "Safety leash blocked dependency or migration changes that require approval.",
-                    ...classifySafetyLeashExit(changeApprovalDecision, "dependency")
-                };
-                // Wrap per-attempt rollback so that preCandidateBoundary restore still runs below.
-                let rollbackOutcome;
-                try {
+                else if (result.status === "failed") {
+                    // Provider failure: workspace state unknown — always rollback.
                     rollbackOutcome = await restoreRollbackBoundary({
                         repoRoot: request.context.repoRoot,
                         boundary: rollbackBoundary,
                         restoredAt: attemptCompletedAt,
-                        decision: patchDecision.decision
-                    }) ?? undefined;
-                }
-                catch (rollbackError) {
-                    queueControlDiagnostic("attempt_rollback_failed_on_approval_exit", {
-                        error: rollbackError instanceof Error ? rollbackError.message : String(rollbackError)
+                        decision: "DISCARD"
                     });
                 }
+                // else: candidateRetainedThisAttempt or KEEP — leave workspace as-is.
+                // C1: back-patch candidateRetained onto the attempt that was already appended.
+                if (candidateRetainedThisAttempt) {
+                    // First retention: record the boundary BEFORE this candidate was applied,
+                    // so terminal cleanup can restore the workspace if the run never reaches VERIFIED.
+                    if (!preCandidateBoundary && rollbackBoundary) {
+                        preCandidateBoundary = rollbackBoundary;
+                    }
+                    loop = {
+                        ...loop,
+                        attempts: loop.attempts.map((a) => a.attemptId === attemptId ? { ...a, candidateRetained: true } : a)
+                    };
+                }
                 if (input.store) {
                     await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
                         compiledContext,
-                        leash: createLeashArtifact(changeApprovalDecision, currentAttemptIndex),
-                        patchScore: patchDecision.score,
-                        patchDecision: toPatchDecisionArtifact(patchDecision),
+                        ...(patchDiff ? { diff: patchDiff } : {}),
+                        ...(groundingScanResult ? { groundingScan: groundingScanResult } : {}),
+                        ...(patchDecision ? { patchScore: patchDecision.score } : {}),
+                        ...(patchDecision ? { patchDecision: toPatchDecisionArtifact(patchDecision) } : {}),
                         ...(rollbackBoundary ? { rollbackBoundary } : {}),
                         ...(rollbackOutcome ? { rollbackOutcome } : {})
                     });
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "safety.violations_found",
-                        runId: loop.loopId,
-                        attemptIndex: currentAttemptIndex,
-                        payload: {
-                            surface: "dependency",
-                            blocked: true,
-                            profile: changeApprovalDecision.profile ?? executionProfile.name,
-                            attemptIndex: currentAttemptIndex,
-                            violations: changeApprovalDecision.violations
-                        }
-                    }));
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "attempt.discarded",
-                        runId: loop.loopId,
-                        attemptIndex: currentAttemptIndex,
-                        payload: {
-                            decision: patchDecision.decision,
-                            reason: patchDecision.summary,
-                            reasonCodes: patchDecision.reasonCodes,
-                            score: patchDecision.score.score
-                        }
-                    }));
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "run.exited",
-                        runId: loop.loopId,
-                        payload: createRunExitPayload(approvalExitDecision)
-                    }));
                 }
-                await stopSignalMonitorAndDrainDiagnostics();
-                // Blocker 2: per-attempt rollback above only restores to state-with-retained-candidate.
-                const finalApprovalDecision = await restoreRetainedCandidateForTerminalExit(approvalExitDecision);
-                const terminationEnvelope = await persistGuardStop(finalApprovalDecision);
-                const finalizedLoop = await finalizeCurrentLoop(finalApprovalDecision, now());
-                const finalizedWithEnvelope = { ...finalizedLoop, terminationEnvelope };
-                await persistLoopRecordIfSupported(input.store, finalizedWithEnvelope);
-                return {
-                    loop: finalizedWithEnvelope,
-                    decision: finalApprovalDecision
-                };
-            }
-            // VERIFY: Run grounding scan on patch diff if available
-            // Uses the task's repoRoot to build/load the grounding index, then scans any diff
-            let groundingScanResult;
-            const patchDiff = buildPatchDiff(result, changedFiles);
-            if (patchDiff && input.task.repoRoot) {
-                try {
-                    const groundingIndex = await loadOrBuildRepoGroundingIndex(input.task.repoRoot);
-                    groundingScanResult = scanPatchForGroundingViolations(patchDiff, groundingIndex, {
-                        allowedPaths: input.task.allowedPaths
-                    });
-                    if (input.store && groundingScanResult.violations.length > 0) {
+                if (input.store) {
+                    if (patchDecision) {
                         await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                            kind: "grounding.violations_found",
+                            kind: patchDecision.decision === "KEEP" ? "attempt.kept" : "attempt.discarded",
                             runId: loop.loopId,
                             attemptIndex: currentAttemptIndex,
                             payload: {
-                                violationCount: groundingScanResult.violations.length,
-                                resolvedFiles: groundingScanResult.resolvedFiles,
-                                contentOnly: groundingScanResult.contentOnly,
-                                violations: groundingScanResult.violations.slice(0, 10)
+                                decision: patchDecision.decision,
+                                reason: patchDecision.summary,
+                                reasonCodes: patchDecision.reasonCodes,
+                                score: patchDecision.score.score
                             }
                         }));
                     }
+                    else {
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: verification.passed || !verifierConfigured ? "attempt.kept" : "attempt.discarded",
+                            runId: loop.loopId,
+                            attemptIndex: currentAttemptIndex,
+                            payload: { reason: verification.summary }
+                        }));
+                    }
                 }
-                catch {
-                    // Grounding scan is best-effort — never fail the loop because of a scan error
-                }
-            }
-            const shouldEvaluatePatchTruth = result.status === "completed" && tracksWorkspaceMutations && verifierConfigured;
-            let patchDecision;
-            if (shouldEvaluatePatchTruth) {
-                patchDecision = evaluatePatchDecision({
-                    verificationPassed: verification.passed,
-                    previousVerifierScore,
-                    verifierScore: verification.passed ? 1 : 0,
-                    groundingViolationCount: groundingScanResult?.violations.length ?? 0,
-                    changedFileCount: changedFileEvidenceAvailable ? changedFiles.length : undefined,
-                    mutationRequired: request.context.mutationMode === "edit",
-                    definitionOfDonePreSatisfied: request.context.definitionOfDonePreSatisfied,
-                    diffNovelty: changedFileEvidenceAvailable ? (changedFiles.length > 0 ? 1 : 0) : undefined,
-                    diffStats: result.execution?.diffStats,
-                    costUsd: getUsageUsd(result.usage),
-                    summary: result.summary
-                });
-            }
-            // C1 — Safe candidate retention.
-            // Distinguish UNSAFE discards (must roll back) from SAFE_UNVERIFIED discards
-            // (retain candidate for the next repair attempt).
-            //
-            // UNSAFE: scope/safety violations — rollback immediately; hard boundaries.
-            // SAFE_UNVERIFIED: only soft heuristics (grounding, low novelty, verifier
-            //   not yet improved) — leave the workspace in the candidate state so the
-            //   next agent can repair rather than rebuild from scratch.
-            // provider failure (result.status === "failed"): rollback — the workspace
-            //   state is unknown and may be partially corrupt.
-            // When patchDecision is undefined (no patch truth evaluation, e.g. verifierConfigured=false),
-            // preserve original behavior: only rollback on provider failure.  Do not treat the absence
-            // of a patch decision as "unsafe" — it simply means patch evaluation was not applicable.
-            const candidateIsUnsafe = patchDecision !== undefined && (patchDecision.decision === "ESCALATE" ||
-                (patchDecision.decision === "DISCARD" &&
-                    !isSafeUnverifiedDiscard(patchDecision.reasonCodes)));
-            // Blocker 3: candidate may only be retained if an authoritative rollback boundary
-            // exists to enable exact restoration. Without a boundary, we cannot prove we can
-            // undo the retention — fail closed and discard instead.
-            const candidateRetainedThisAttempt = patchDecision?.decision === "DISCARD" &&
-                isSafeUnverifiedDiscard(patchDecision.reasonCodes) &&
-                result.status !== "failed" &&
-                rollbackBoundary !== undefined;
-            let rollbackOutcome;
-            if (candidateIsUnsafe && result.status !== "failed") {
-                rollbackOutcome = await restoreRollbackBoundary({
-                    repoRoot: request.context.repoRoot,
-                    boundary: rollbackBoundary,
-                    restoredAt: attemptCompletedAt,
-                    decision: patchDecision?.decision ?? "DISCARD"
-                });
-            }
-            else if (result.status === "failed") {
-                // Provider failure: workspace state unknown — always rollback.
-                rollbackOutcome = await restoreRollbackBoundary({
-                    repoRoot: request.context.repoRoot,
-                    boundary: rollbackBoundary,
-                    restoredAt: attemptCompletedAt,
-                    decision: "DISCARD"
-                });
-            }
-            // else: candidateRetainedThisAttempt or KEEP — leave workspace as-is.
-            // C1: back-patch candidateRetained onto the attempt that was already appended.
-            if (candidateRetainedThisAttempt) {
-                // First retention: record the boundary BEFORE this candidate was applied,
-                // so terminal cleanup can restore the workspace if the run never reaches VERIFIED.
-                if (!preCandidateBoundary && rollbackBoundary) {
-                    preCandidateBoundary = rollbackBoundary;
-                }
-                loop = {
-                    ...loop,
-                    attempts: loop.attempts.map((a) => a.attemptId === attemptId ? { ...a, candidateRetained: true } : a)
-                };
-            }
-            if (input.store) {
-                await input.store.writeAttemptArtifacts(loop.loopId, currentAttemptIndex, {
-                    compiledContext,
-                    ...(patchDiff ? { diff: patchDiff } : {}),
-                    ...(groundingScanResult ? { groundingScan: groundingScanResult } : {}),
-                    ...(patchDecision ? { patchScore: patchDecision.score } : {}),
-                    ...(patchDecision ? { patchDecision: toPatchDecisionArtifact(patchDecision) } : {}),
-                    ...(rollbackBoundary ? { rollbackBoundary } : {}),
-                    ...(rollbackOutcome ? { rollbackOutcome } : {})
-                });
-            }
-            if (input.store) {
-                if (patchDecision) {
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: patchDecision.decision === "KEEP" ? "attempt.kept" : "attempt.discarded",
-                        runId: loop.loopId,
-                        attemptIndex: currentAttemptIndex,
+                if (patchDecision && patchDecision.decision !== "KEEP" && !failure) {
+                    failure = classifyPatchDecisionFailure(patchDecision, result);
+                    loop = applyPatchFailureToLoop(loop, {
+                        attemptId,
+                        summary: patchDecision.summary,
+                        failure
+                    });
+                    if (failure.recommendedIntervention === "compress_context") {
+                        useCompressedContext = true;
+                    }
+                    loop = appendLoopEvent(loop, {
+                        type: "failure.classified",
+                        lifecycleState: "running",
                         payload: {
-                            decision: patchDecision.decision,
-                            reason: patchDecision.summary,
-                            reasonCodes: patchDecision.reasonCodes,
-                            score: patchDecision.score.score
+                            attemptId,
+                            failureClass: failure.failureClass,
+                            rationale: failure.rationale
                         }
-                    }));
-                }
-                else {
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: verification.passed || !verifierConfigured ? "attempt.kept" : "attempt.discarded",
-                        runId: loop.loopId,
-                        attemptIndex: currentAttemptIndex,
-                        payload: { reason: verification.summary }
-                    }));
-                }
-            }
-            if (patchDecision && patchDecision.decision !== "KEEP" && !failure) {
-                failure = classifyPatchDecisionFailure(patchDecision, result);
-                loop = applyPatchFailureToLoop(loop, {
-                    attemptId,
-                    summary: patchDecision.summary,
-                    failure
-                });
-                if (failure.recommendedIntervention === "compress_context") {
-                    useCompressedContext = true;
+                    }, { now: attemptCompletedAt, idFactory });
+                    loop = appendLoopEvent(loop, {
+                        type: "intervention.selected",
+                        lifecycleState: "running",
+                        payload: { attemptId, intervention: failure.recommendedIntervention }
+                    }, { now: attemptCompletedAt, idFactory });
                 }
-                loop = appendLoopEvent(loop, {
-                    type: "failure.classified",
-                    lifecycleState: "running",
-                    payload: {
-                        attemptId,
-                        failureClass: failure.failureClass,
-                        rationale: failure.rationale
+                if (patchDecision?.decision === "ESCALATE" || patchDecision?.decision === "HANDOFF") {
+                    const patchExitDecision = {
+                        shouldExit: true,
+                        lifecycleState: "human_escalation",
+                        status: "exited",
+                        reason: patchDecision.summary
+                    };
+                    if (input.store) {
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "run.exited",
+                            runId: loop.loopId,
+                            payload: createRunExitPayload(patchExitDecision)
+                        }));
                     }
-                }, { now: attemptCompletedAt, idFactory });
-                loop = appendLoopEvent(loop, {
-                    type: "intervention.selected",
-                    lifecycleState: "running",
-                    payload: { attemptId, intervention: failure.recommendedIntervention }
-                }, { now: attemptCompletedAt, idFactory });
-            }
-            if (patchDecision?.decision === "ESCALATE" || patchDecision?.decision === "HANDOFF") {
-                const patchExitDecision = {
-                    shouldExit: true,
-                    lifecycleState: "human_escalation",
-                    status: "exited",
-                    reason: patchDecision.summary
-                };
-                if (input.store) {
-                    await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "run.exited",
-                        runId: loop.loopId,
-                        payload: createRunExitPayload(patchExitDecision)
-                    }));
+                    await stopSignalMonitorAndDrainDiagnostics();
+                    // Blocker 2: ESCALATE/HANDOFF exits can occur after a candidate is retained.
+                    const finalPatchExitDecision = await restoreRetainedCandidateForTerminalExit(patchExitDecision);
+                    const finalizedLoop = await finalizeCurrentLoop(finalPatchExitDecision, now());
+                    await persistLoopRecordIfSupported(input.store, finalizedLoop);
+                    return {
+                        loop: finalizedLoop,
+                        decision: finalPatchExitDecision
+                    };
                 }
-                await stopSignalMonitorAndDrainDiagnostics();
-                // Blocker 2: ESCALATE/HANDOFF exits can occur after a candidate is retained.
-                const finalPatchExitDecision = await restoreRetainedCandidateForTerminalExit(patchExitDecision);
-                const finalizedLoop = await finalizeCurrentLoop(finalPatchExitDecision, now());
-                await persistLoopRecordIfSupported(input.store, finalizedLoop);
-                return {
-                    loop: finalizedLoop,
-                    decision: finalPatchExitDecision
-                };
-            }
-            const effectiveResult = patchDecision && patchDecision.decision !== "KEEP"
-                ? {
-                    ...result,
-                    status: "failed",
-                    summary: patchDecision.summary,
-                    verification: {
-                        ...result.verification,
-                        passed: false,
-                        summary: patchDecision.summary
-                    },
-                    failure: {
-                        message: patchDecision.summary,
-                        ...(failure?.failureClass ? { classHint: failure.failureClass } : {})
+                const effectiveResult = patchDecision && patchDecision.decision !== "KEEP"
+                    ? {
+                        ...result,
+                        status: "failed",
+                        summary: patchDecision.summary,
+                        verification: {
+                            ...result.verification,
+                            passed: false,
+                            summary: patchDecision.summary
+                        },
+                        failure: {
+                            message: patchDecision.summary,
+                            ...(failure?.failureClass ? { classHint: failure.failureClass } : {})
+                        }
                     }
+                    : result;
+                // Authoritative verification evidence from effectiveResult (grounding/patch-truth applied).
+                // Back-patch verifierScore/failingVerifierStepCount BEFORE inferExit so that progress
+                // decisions use normalized, binding-checked evidence — never raw adapter-reported values.
+                const effectiveVerification = normalizeVerificationOutcome(effectiveResult, expectedVerifierBinding);
+                {
+                    const steps = effectiveVerification.steps ?? [];
+                    const launched = steps.filter(s => s.launched);
+                    const passing = launched.filter(s => s.exitCode === 0 && !s.timedOut && !s.crashed);
+                    const failing = launched.filter(s => s.exitCode !== 0 || s.timedOut || s.crashed);
+                    currentVerifierScore = effectiveVerification.passed
+                        ? 1 : launched.length > 0 ? passing.length / launched.length : 0;
+                    currentFailingVerifierStepCount = failing.length > 0 ? failing.length : undefined;
+                    loop = {
+                        ...loop,
+                        attempts: loop.attempts.map(a => a.attemptId === attemptId
+                            ? { ...a, verifierScore: currentVerifierScore, ...(currentFailingVerifierStepCount !== undefined ? { failingVerifierStepCount: currentFailingVerifierStepCount } : {}) }
+                            : a)
+                    };
                 }
-                : result;
-            // Authoritative verification evidence from effectiveResult (grounding/patch-truth applied).
-            // Back-patch verifierScore/failingVerifierStepCount BEFORE inferExit so that progress
-            // decisions use normalized, binding-checked evidence — never raw adapter-reported values.
-            const effectiveVerification = normalizeVerificationOutcome(effectiveResult, expectedVerifierBinding);
-            {
-                const steps = effectiveVerification.steps ?? [];
-                const launched = steps.filter(s => s.launched);
-                const passing = launched.filter(s => s.exitCode === 0 && !s.timedOut && !s.crashed);
-                const failing = launched.filter(s => s.exitCode !== 0 || s.timedOut || s.crashed);
-                currentVerifierScore = effectiveVerification.passed
-                    ? 1 : launched.length > 0 ? passing.length / launched.length : 0;
-                currentFailingVerifierStepCount = failing.length > 0 ? failing.length : undefined;
-                loop = {
-                    ...loop,
-                    attempts: loop.attempts.map(a => a.attemptId === attemptId
-                        ? { ...a, verifierScore: currentVerifierScore, ...(currentFailingVerifierStepCount !== undefined ? { failingVerifierStepCount: currentFailingVerifierStepCount } : {}) }
-                        : a)
-                };
-            }
-            const decision = inferExit({
-                loop,
-                lastResult: effectiveResult,
-                lastFailure: failure,
-                costState,
-                verificationRequired: verifierConfigured,
-                canSwitchAdapter: failure?.recommendedIntervention === "switch_adapter" &&
-                    adapterChain[currentAdapterIndex] !== undefined &&
-                    currentAdapter.adapterId !== executingAdapter.adapterId
-            });
-            // Advance phase based on result
-            currentPhase = nextPolicyPhase(currentPhase, effectiveResult, costState, phaseRetryCount);
-            if (failure)
-                phaseRetryCount++;
-            else
-                phaseRetryCount = 0;
-            // Post-attempt: verification.completed event uses the same authoritative effectiveVerification.
-            loop = appendLoopEvent(loop, {
-                type: "verification.completed",
-                lifecycleState: effectiveVerification.passed ? "completed" : "verifying",
-                payload: {
-                    attemptId,
-                    attemptIndex: currentAttemptIndex,
-                    passed: effectiveVerification.passed,
-                    summary: effectiveVerification.summary,
-                    ...(effectiveVerification.steps?.length ? { steps: effectiveVerification.steps } : {}),
-                    ...(effectiveVerification.warnings?.length ? { warnings: effectiveVerification.warnings } : {}),
-                    ...(effectiveVerification.binding ? { binding: effectiveVerification.binding } : {}),
-                    changedFiles,
-                }
-            }, { now: attemptCompletedAt, idFactory });
-            if (input.store) {
-                await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                    kind: "verification.completed",
-                    runId: loop.loopId,
-                    attemptIndex: currentAttemptIndex,
+                const decision = inferExit({
+                    loop,
+                    lastResult: effectiveResult,
+                    lastFailure: failure,
+                    costState,
+                    verificationRequired: verifierConfigured,
+                    canSwitchAdapter: failure?.recommendedIntervention === "switch_adapter" &&
+                        adapterChain[currentAdapterIndex] !== undefined &&
+                        currentAdapter.adapterId !== executingAdapter.adapterId
+                });
+                // Advance phase based on result
+                currentPhase = nextPolicyPhase(currentPhase, effectiveResult, costState, phaseRetryCount);
+                if (failure)
+                    phaseRetryCount++;
+                else
+                    phaseRetryCount = 0;
+                // Post-attempt: verification.completed event uses the same authoritative effectiveVerification.
+                loop = appendLoopEvent(loop, {
+                    type: "verification.completed",
+                    lifecycleState: effectiveVerification.passed ? "completed" : "verifying",
                     payload: {
                         attemptId,
+                        attemptIndex: currentAttemptIndex,
                         passed: effectiveVerification.passed,
                         summary: effectiveVerification.summary,
                         ...(effectiveVerification.steps?.length ? { steps: effectiveVerification.steps } : {}),
@@ -1836,103 +1899,124 @@ export async function runMartin(input) {
                         ...(effectiveVerification.binding ? { binding: effectiveVerification.binding } : {}),
                         changedFiles,
                     }
-                }));
-            }
-            if (!effectiveVerification.passed) {
-                // Find the best failure evidence: prefer a step with a nonzero exit, then a
-                // crashed/timed-out step, then fall back to the verification summary/warnings.
-                const steps = effectiveVerification.steps ?? [];
-                const failedStep = steps.find(s => !s.timedOut && !s.crashed && s.exitCode !== undefined && s.exitCode !== 0) ??
-                    steps.find(s => s.timedOut || s.crashed);
-                // Build the failure excerpt: prefer step detail, fall back to verification
-                // summary and warnings so attempt 2 never receives an empty failure block.
-                const rawExcerpt = failedStep?.detail?.trim()
-                    ? failedStep.detail
-                    : [
-                        effectiveVerification.summary,
-                        ...(effectiveVerification.warnings ?? [])
-                    ].filter(Boolean).join("\n");
-                lastVerifierFailure = {
-                    command: failedStep?.command ?? effectiveVerification.binding?.commands?.[0] ?? "unknown",
-                    // Only include exitCode for normal (non-crash, non-timeout) exits.
-                    // Crash/timeout sentinels like -1 are not meaningful native exit codes.
-                    ...(!failedStep?.crashed && !failedStep?.timedOut && failedStep?.exitCode !== undefined
-                        ? { exitCode: failedStep.exitCode }
-                        : {}),
-                    ...(failedStep?.crashed ? { crashed: true } : {}),
-                    ...(failedStep?.timedOut ? { timedOut: true } : {}),
-                    failureExcerpt: sanitizeVerifierExcerpt(rawExcerpt ?? ""),
-                    attemptId,
-                    attemptIndex: currentAttemptIndex,
-                };
-            }
-            else {
-                lastVerifierFailure = undefined;
-            }
-            const postAttemptTerminal = await evaluateCheckpoint("post_attempt", {
-                status: effectiveResult.status === "completed" ? "completed" : "failed",
-                verificationPassed: effectiveVerification.passed
-            });
-            if (postAttemptTerminal !== undefined)
-                return await terminateRun(postAttemptTerminal);
-            // Before-retry: check signals before scheduling the next attempt
-            const preRetryTerminal = await evaluateCheckpoint("before_retry");
-            if (preRetryTerminal !== undefined)
-                return await terminateRun(preRetryTerminal);
-            if (decision.shouldExit) {
+                }, { now: attemptCompletedAt, idFactory });
                 if (input.store) {
                     await input.store.appendLedger(loop.loopId, makeLedgerEvent({
-                        kind: "run.exited",
+                        kind: "verification.completed",
                         runId: loop.loopId,
-                        payload: createRunExitPayload(decision)
+                        attemptIndex: currentAttemptIndex,
+                        payload: {
+                            attemptId,
+                            passed: effectiveVerification.passed,
+                            summary: effectiveVerification.summary,
+                            ...(effectiveVerification.steps?.length ? { steps: effectiveVerification.steps } : {}),
+                            ...(effectiveVerification.warnings?.length ? { warnings: effectiveVerification.warnings } : {}),
+                            ...(effectiveVerification.binding ? { binding: effectiveVerification.binding } : {}),
+                            changedFiles,
+                        }
                     }));
                 }
-                // Drain pending diagnostic ledger writes before receipt signing.
-                await stopSignalMonitorAndDrainDiagnostics();
-                // Blocker 2: inferExit can return shouldExit=true (e.g. diminishing_returns) while
-                // a prior-attempt candidate is retained. No-op when lifecycleState="completed".
-                const finalInferDecision = await restoreRetainedCandidateForTerminalExit(decision);
-                const routingInput = { runStartMs, firstDeltaDetected, firstDeltaTimestampMs, firstDeltaFilePath, firstDeltaChangeType, preDeltaCostUsd };
-                const finalizedLoop = await finalizeCurrentLoop(finalInferDecision, now(), routingInput);
-                await persistLoopRecordIfSupported(input.store, finalizedLoop);
-                return {
-                    loop: finalizedLoop,
-                    decision: finalInferDecision
-                };
+                if (!effectiveVerification.passed) {
+                    // Find the best failure evidence: prefer a step with a nonzero exit, then a
+                    // crashed/timed-out step, then fall back to the verification summary/warnings.
+                    const steps = effectiveVerification.steps ?? [];
+                    const failedStep = steps.find(s => !s.timedOut && !s.crashed && s.exitCode !== undefined && s.exitCode !== 0) ??
+                        steps.find(s => s.timedOut || s.crashed);
+                    // Build the failure excerpt: prefer step detail, fall back to verification
+                    // summary and warnings so attempt 2 never receives an empty failure block.
+                    const rawExcerpt = failedStep?.detail?.trim()
+                        ? failedStep.detail
+                        : [
+                            effectiveVerification.summary,
+                            ...(effectiveVerification.warnings ?? [])
+                        ].filter(Boolean).join("\n");
+                    lastVerifierFailure = {
+                        command: failedStep?.command ?? effectiveVerification.binding?.commands?.[0] ?? "unknown",
+                        // Only include exitCode for normal (non-crash, non-timeout) exits.
+                        // Crash/timeout sentinels like -1 are not meaningful native exit codes.
+                        ...(!failedStep?.crashed && !failedStep?.timedOut && failedStep?.exitCode !== undefined
+                            ? { exitCode: failedStep.exitCode }
+                            : {}),
+                        ...(failedStep?.crashed ? { crashed: true } : {}),
+                        ...(failedStep?.timedOut ? { timedOut: true } : {}),
+                        failureExcerpt: sanitizeVerifierExcerpt(rawExcerpt ?? ""),
+                        attemptId,
+                        attemptIndex: currentAttemptIndex,
+                    };
+                }
+                else {
+                    lastVerifierFailure = undefined;
+                }
+                const postAttemptTerminal = await evaluateCheckpoint("post_attempt", {
+                    status: effectiveResult.status === "completed" ? "completed" : "failed",
+                    verificationPassed: effectiveVerification.passed
+                });
+                if (postAttemptTerminal !== undefined)
+                    return await terminateRun(postAttemptTerminal);
+                // Before-retry: check signals before scheduling the next attempt
+                const preRetryTerminal = await evaluateCheckpoint("before_retry");
+                if (preRetryTerminal !== undefined)
+                    return await terminateRun(preRetryTerminal);
+                if (decision.shouldExit) {
+                    if (input.store) {
+                        await input.store.appendLedger(loop.loopId, makeLedgerEvent({
+                            kind: "run.exited",
+                            runId: loop.loopId,
+                            payload: createRunExitPayload(decision)
+                        }));
+                    }
+                    // Drain pending diagnostic ledger writes before receipt signing.
+                    await stopSignalMonitorAndDrainDiagnostics();
+                    // Blocker 2: inferExit can return shouldExit=true (e.g. diminishing_returns) while
+                    // a prior-attempt candidate is retained. No-op when lifecycleState="completed".
+                    const finalInferDecision = await restoreRetainedCandidateForTerminalExit(decision);
+                    const routingInput = { runStartMs, firstDeltaDetected, firstDeltaTimestampMs, firstDeltaFilePath, firstDeltaChangeType, preDeltaCostUsd };
+                    const finalizedLoop = await finalizeCurrentLoop(finalInferDecision, now(), routingInput);
+                    await persistLoopRecordIfSupported(input.store, finalizedLoop);
+                    return {
+                        loop: finalizedLoop,
+                        decision: finalInferDecision
+                    };
+                }
+            }
+            const exhaustedTerminal = await evaluateCheckpoint("before_retry");
+            if (!exhaustedTerminal) {
+                throw new Error("Loop exhausted its configured iterations without an exit-policy decision.");
             }
+            return await terminateRun(exhaustedTerminal);
         }
-        const exhaustedTerminal = await evaluateCheckpoint("before_retry");
-        if (!exhaustedTerminal) {
-            throw new Error("Loop exhausted its configured iterations without an exit-policy decision.");
+        finally {
+            if (wallTimer !== undefined)
+                clearTimeout(wallTimer);
+            disposeSignalMonitor();
+            runController.abort();
+            input.signal?.removeEventListener("abort", observeParentAbort);
+            activeAttemptController?.abort();
+            // Flush any diagnostic ledger writes queued from signal callbacks
+            await Promise.all(pendingControlWrites);
+            // Last-resort: if an unhandled exception escaped the main loop and preCandidateBoundary
+            // is still set, attempt to restore the workspace so unverified code is not left behind.
+            // This path is reached only when none of the normal terminal paths ran successfully.
+            if (preCandidateBoundary) {
+                try {
+                    await restoreRollbackBoundary({
+                        repoRoot: task.repoRoot,
+                        boundary: preCandidateBoundary,
+                        restoredAt: now(),
+                        decision: "DISCARD"
+                    });
+                    preCandidateBoundary = undefined;
+                }
+                catch {
+                    // Cannot safely write to ledger here. The workspace state is unknown.
+                    // The exception that caused this path will propagate to the caller.
+                }
+            }
         }
-        return await terminateRun(exhaustedTerminal);
     }
     finally {
-        if (wallTimer !== undefined)
-            clearTimeout(wallTimer);
-        disposeSignalMonitor();
-        runController.abort();
-        input.signal?.removeEventListener("abort", observeParentAbort);
-        activeAttemptController?.abort();
-        // Flush any diagnostic ledger writes queued from signal callbacks
-        await Promise.all(pendingControlWrites);
-        // Last-resort: if an unhandled exception escaped the main loop and preCandidateBoundary
-        // is still set, attempt to restore the workspace so unverified code is not left behind.
-        // This path is reached only when none of the normal terminal paths ran successfully.
-        if (preCandidateBoundary) {
-            try {
-                await restoreRollbackBoundary({
-                    repoRoot: input.task.repoRoot,
-                    boundary: preCandidateBoundary,
-                    restoredAt: now(),
-                    decision: "DISCARD"
-                });
-                preCandidateBoundary = undefined;
-            }
-            catch {
-                // Cannot safely write to ledger here. The workspace state is unknown.
-                // The exception that caused this path will propagate to the caller.
-            }
+        if (executionLease) {
+            await executionLease.release().catch(() => undefined);
         }
     }
 }