@tea-agent/loop-agent 0.40.0-next.9 → 0.41.0-beta.1

package/dist/worker/observe/static/views/dags.js

@@ -15,6 +15,7 @@ import {
 	DAG_HISTORY_DEFAULT_PAGE_SIZE,
 	navigate,
 	parseRoute,
+	inspectPathToCanonicalHref,
 } from "../router.js";
 import { fetchDagRunHistory, summarizeFetchError } from "../api.js";
 import { copyText } from "../copy.js";
@@ -57,7 +58,8 @@ function currentHistoryQuery() {
 }
 
 function syncHash(page, pageSize, { replace = false } = {}) {
-	const next = buildDagHistoryHash(page, pageSize);
+	const path = buildDagHistoryHash(page, pageSize);
+	const next = inspectPathToCanonicalHref(path).replace(/^\/#/, "") || "/inspect";
 	const current = (location.hash || "").replace(/^#/, "") || "/";
 	const currentPath = current.split("?")[0];
 	const nextPath = next.split("?")[0];
@@ -72,15 +74,15 @@ function syncHash(page, pageSize, { replace = false } = {}) {
 				location.hash = next;
 			}
 		}
-		return next;
+		return path;
 	}
 	if (replace && typeof history !== "undefined" && history.replaceState) {
 		const base = `${location.pathname}${location.search}`;
 		history.replaceState(null, "", `${base}#${next}`);
-		return next;
+		return path;
 	}
-	navigate(next);
-	return next;
+	navigate(path);
+	return path;
 }
 
 function setControlsDisabled(disabled) {

package/dist/worker/observe/static/views/session-timeline.js

@@ -30,6 +30,112 @@ export function sessionEventArgs(event) {
 	return args && typeof args === "object" && !Array.isArray(args) ? args : {};
 }
 
+function escapeHtml(text) {
+	return String(text ?? "")
+		.replaceAll("&", "&")
+		.replaceAll("<", "&lt;")
+		.replaceAll(">", "&gt;")
+		.replaceAll('"', "&quot;")
+		.replaceAll("'", "&#39;");
+}
+
+function downloadTextFile(filename, text) {
+	const blob = new Blob([text], { type: "text/html;charset=utf-8" });
+	const url = URL.createObjectURL(blob);
+	const a = document.createElement("a");
+	a.href = url;
+	a.download = filename;
+	document.body.appendChild(a);
+	a.click();
+	a.remove();
+	URL.revokeObjectURL(url);
+}
+
+/** 兜底样式：仅在无法抓取页面 /inspect/styles.css 时使用（与页面 process-timeline 排版对齐）。 */
+const EXPORT_FALLBACK_CSS = `
+:root{--canvas:#f7f7f4;--surface:#ffffff;--canvas-soft:#fafaf7;--surface-muted:#f0efe9;--ink:#26251e;--body:#5a5852;--muted:#807d72;--muted-soft:#a09c92;--hairline:#e6e5e0;--hairline-strong:#cfcdc4;--orange:#f54e00;--orange-active:#d04200;--blue:#3f6ea4;--green:#1f8a65;--amber:#a66a00;--red:#c72d53;--lavender:#e4daf1;--radius-sm:6px;--space-2:8px;--space-3:12px;--space-5:20px}
+body{margin:0;font-family:-apple-system,"Segoe UI",Roboto,"PingFang SC","Microsoft YaHei",sans-serif;background:var(--canvas);color:var(--body);font-size:13px}
+.process-timeline{display:grid;gap:0;margin:0;padding:var(--space-2) 0;list-style:none}
+.process-timeline-item{display:grid;grid-template-columns:20px minmax(0,1fr);align-items:stretch;min-height:34px}
+.process-timeline-item.has-time{grid-template-columns:20px 92px minmax(0,1fr)}
+.process-timeline-rail{position:relative;display:grid;place-items:center;min-height:34px}
+.process-timeline-rail::before{position:absolute;top:0;bottom:0;width:1px;background:var(--hairline-strong);content:""}
+.process-timeline-item.is-first .process-timeline-rail::before{top:50%}
+.process-timeline-item.is-last .process-timeline-rail::before{bottom:50%}
+.process-timeline-dot{position:relative;z-index:1;width:8px;height:8px;border:2px solid var(--surface);border-radius:50%;background:var(--muted-soft)}
+.process-timeline-lifecycle .process-timeline-dot{background:var(--lavender)}
+.process-timeline-tool-start .process-timeline-dot{background:var(--orange)}
+.process-timeline-tool-end .process-timeline-dot{background:var(--green)}
+.process-timeline-assistant .process-timeline-dot{background:var(--blue)}
+.process-timeline-protocol .process-timeline-dot{background:var(--muted-soft)}
+.process-timeline-item.is-error .process-timeline-dot{background:var(--red)}
+.process-timeline-time{padding:9px 0;color:var(--muted);font-size:10px;font-variant-numeric:tabular-nums}
+.process-timeline-label{min-width:0;padding:8px 0 8px var(--space-2);color:var(--body);font-size:12px;line-height:1.5;overflow-wrap:anywhere}
+.process-timeline-protocol .process-timeline-label{color:var(--muted);font-size:11px}
+.process-timeline-body{min-width:0;padding:4px 0 8px var(--space-2)}
+.process-timeline-card{display:grid;gap:6px;min-width:0}
+.process-timeline-details{min-width:0;border:1px solid var(--hairline);border-radius:var(--radius-sm);background:var(--surface)}
+.process-timeline-summary{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:8px;padding:8px 10px;cursor:pointer;list-style:none;color:var(--ink);font-size:12px;font-weight:650}
+.process-timeline-summary::-webkit-details-marker{display:none}
+.process-timeline-summary-title{min-width:0;overflow-wrap:anywhere}
+.process-timeline-summary-status{flex-shrink:0;color:var(--muted);font-size:11px;font-weight:700}
+.process-timeline-summary-status.status-succeeded{color:var(--green)}
+.process-timeline-summary-status.status-failed{color:var(--red)}
+.process-timeline-summary-status.status-pending{color:var(--orange)}
+.process-timeline-tool-card.is-error .process-timeline-details{border-color:var(--red);background:var(--canvas-soft)}
+.process-timeline-card-body{display:grid;gap:6px;padding:0 10px 10px}
+.process-timeline-section-label{color:var(--muted);font-size:11px;font-weight:700}
+.process-timeline-code,.process-timeline-thinking-body{margin:0;padding:8px 10px;overflow:auto;border-radius:var(--radius-sm);background:var(--canvas-soft);color:var(--body);font-family:"JetBrains Mono","SFMono-Regular",Consolas,monospace;font-size:11px;line-height:1.45;white-space:pre-wrap;overflow-wrap:anywhere}
+.process-timeline-more{margin-top:2px}
+.process-timeline-more>summary{cursor:pointer;color:var(--blue);font-size:11px;font-weight:650}
+.process-timeline-thinking>summary{background:var(--lavender)}
+.process-timeline-turn-text{display:grid;gap:6px;padding:8px 10px;border:1px solid var(--hairline);border-radius:var(--radius-sm);background:var(--surface)}
+.process-timeline-turn-text .markdown-output{font-size:12px}
+.process-timeline-tool-only-note{margin:0;font-size:12px}
+.process-timeline-turn-tools{display:grid;gap:4px;margin:0;padding:0 0 0 1.1em;color:var(--body);font-size:12px;font-family:"JetBrains Mono","SFMono-Regular",Consolas,monospace;overflow-wrap:anywhere}
+.process-timeline-turn-tools li{padding:2px 0}
+.process-timeline-agent-end-note{margin:0;font-size:11px}
+.markdown-output{display:grid;gap:var(--space-3);color:var(--body);font-size:13px;line-height:1.65}
+.markdown-output>:first-child{margin-top:0}
+.markdown-output>:last-child{margin-bottom:0}
+.markdown-output h1,.markdown-output h2,.markdown-output h3,.markdown-output h4{margin:var(--space-5) 0 var(--space-2);color:var(--ink);line-height:1.3}
+.markdown-output h1{font-size:21px}.markdown-output h2{font-size:18px}.markdown-output h3{font-size:16px}.markdown-output h4{font-size:14px}
+.markdown-output p,.markdown-output blockquote,.markdown-output ul,.markdown-output ol{margin:0;overflow-wrap:anywhere}
+.markdown-output ul,.markdown-output ol{padding-left:22px}
+.markdown-output blockquote{padding-left:12px}
+`;
+
+const EXPORT_SHELL_CSS = `
+body{margin:0;font-family:-apple-system,"Segoe UI",Roboto,"PingFang SC","Microsoft YaHei",sans-serif;background:var(--canvas)}
+.export-shell{max-width:1000px;margin:0 auto;padding:24px 28px;background:var(--surface);min-height:100vh;box-shadow:0 0 0 1px var(--hairline)}
+.export-head h1{font-size:15px;color:var(--ink);margin:0;font-weight:700}
+.export-sub{color:var(--muted);font-size:12px;margin:4px 0 16px}
+.export-controls{display:flex;justify-content:flex-start;margin:0 0 12px}
+.export-toggle{min-height:28px;padding:0 12px;border:1px solid var(--hairline-strong);border-radius:var(--radius-sm);background:var(--surface);color:var(--body);font-size:11px;font-weight:600;cursor:pointer;user-select:none}
+.export-toggle:hover,.export-toggle:focus-visible{border-color:var(--orange);color:var(--orange-active);outline:none}
+body.hide-protocol .process-timeline-item.process-timeline-protocol{display:none}
+`;
+
+/**
+ * 把页面渲染出的时间线 innerHTML 封装成自包含 HTML。
+ * @param {string} bodyHTML 页面渲染的 .process-timeline 等真实 DOM 序列化结果
+ * @param {{nodeId?:string,dagRunId?:string}} meta
+ * @param {string} [cssText] 页面 /inspect/styles.css 原文；缺失时用兜底样式
+ */
+export function buildPageStyledDoc(bodyHTML, meta = {}, cssText = "") {
+	const now = new Date().toLocaleString();
+	const title = meta.nodeId ? `节点执行过程 · ${meta.nodeId}` : "节点执行过程";
+	const style = cssText.trim()
+		? `${cssText}\n\n/* 导出外壳 */\n${EXPORT_SHELL_CSS}`
+		: `${EXPORT_FALLBACK_CSS}\n${EXPORT_SHELL_CSS}`;
+	// 有协议行时，在左上角提供一个「展开/隐藏原始协议事件」按钮（与页面一致），默认隐藏。
+	const hasProtocol = bodyHTML.includes("process-timeline-protocol");
+	const controls = hasProtocol
+		? `<div class="export-controls"><button type="button" id="exportToggleProtocol" class="export-toggle">展开原始协议事件</button></div><script>(function(){var b=document.body,t=document.getElementById('exportToggleProtocol'),on=false;function apply(){b.classList.toggle('hide-protocol',!on);t.textContent=on?'隐藏原始协议事件':'展开原始协议事件';}if(t){t.addEventListener('click',function(){on=!on;apply();});apply();}})();</script>`
+		: "";
+	return `<!doctype html><html lang="zh-CN"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>${escapeHtml(title)}</title><style>${style}</style></head><body><div class="export-shell"><div class="export-head"><h1>${escapeHtml(title)}</h1></div><p class="export-sub">DAG ${escapeHtml(meta.dagRunId ?? "")} · 导出于 ${escapeHtml(now)}</p>${controls}<div class="export-timeline">${bodyHTML}</div></div></body></html>`;
+}
+
 export function sessionEventResult(event) {
 	return normalizeSessionEventFields(event).result;
 }
@@ -480,6 +586,35 @@ export function buildRichTimelineItems(events, options = {}) {
 	return items;
 }
 
+const EXECUTION_RECORD_FILTERS = Object.freeze([
+	["all", "全部"],
+	["model", "模型消息"],
+	["tools", "工具与进程"],
+]);
+
+function normalizeExecutionRecordFilter(value) {
+	return value === "model" || value === "tools" ? value : "all";
+}
+
+export function filterExecutionRecordItems(items, filter) {
+	const normalized = normalizeExecutionRecordFilter(filter);
+	if (normalized === "all") return items;
+	return items.filter((item) => {
+		const protocolEvents = Array.isArray(item.protocolEvents)
+			? item.protocolEvents
+			: [item.event];
+		const toolProtocol =
+			item.kind === "protocol" &&
+			protocolEvents.some((event) => {
+				const role = event?.message?.role ?? event?.role;
+				return role === "tool" || role === "toolResult";
+			});
+		const modelFact =
+			item.kind === "turn" || (item.kind === "protocol" && !toolProtocol);
+		return normalized === "model" ? modelFact : !modelFact;
+	});
+}
+
 function ensureOpenDetailsSet() {
 	if (!(uiState.sessionTimelineOpenDetails instanceof Set)) {
 		uiState.sessionTimelineOpenDetails = new Set();
@@ -723,7 +858,26 @@ export function renderSessionTimeline(content, nodeId, options = {}) {
 	}
 
 	const showProtocol = Boolean(uiState.sessionTimelineShowProtocol);
+	const activeFilter = normalizeExecutionRecordFilter(
+		uiState.executionRecordFilter,
+	);
 	const toolbar = el("div", "process-timeline-toolbar");
+	const filterGroup = el("div", "process-timeline-filter-group");
+	filterGroup.setAttribute("role", "group");
+	filterGroup.setAttribute("aria-label", "筛选执行记录");
+	for (const [filter, label] of EXECUTION_RECORD_FILTERS) {
+		const button = document.createElement("button");
+		button.type = "button";
+		button.className = "process-timeline-toggle process-timeline-filter";
+		button.setAttribute("aria-pressed", String(activeFilter === filter));
+		button.textContent = label;
+		button.addEventListener("click", () => {
+			uiState.executionRecordFilter = filter;
+			rerenderSessionTimeline(content, nodeId, options);
+		});
+		filterGroup.appendChild(button);
+	}
+	toolbar.appendChild(filterGroup);
 	const protocolToggle = document.createElement("button");
 	protocolToggle.type = "button";
 	protocolToggle.className = "process-timeline-toggle";
@@ -733,20 +887,44 @@ export function renderSessionTimeline(content, nodeId, options = {}) {
 		: "展开原始协议事件";
 	protocolToggle.addEventListener("click", () => {
 		uiState.sessionTimelineShowProtocol = !showProtocol;
-		const parent = content;
-		const scrollTop = parent.scrollTop;
-		const scrollLeft = parent.scrollLeft;
-		while (parent.firstChild) parent.removeChild(parent.firstChild);
-		renderSessionTimeline(parent, nodeId, options);
-		parent.scrollTop = scrollTop;
-		parent.scrollLeft = scrollLeft;
+		rerenderSessionTimeline(content, nodeId, options);
 	});
 	toolbar.appendChild(protocolToggle);
+	const exportBtn = el("button", "btn btn-secondary", "导出 HTML");
+	exportBtn.type = "button";
+	exportBtn.addEventListener("click", async () => {
+		let cssText = "";
+		try {
+			const res = await fetch("/inspect/styles.css", { cache: "no-cache" });
+			if (res.ok) cssText = await res.text();
+		} catch {
+			/* 忽略：导出仍会用内联兜底样式 */
+		}
+		// 复用页面真实渲染（含原始协议事件），保证导出的排版与页面一致。
+		const prevShow = uiState.sessionTimelineShowProtocol;
+		uiState.sessionTimelineShowProtocol = true;
+		const tmp = document.createElement("div");
+		tmp.className = "process-timeline-scroll";
+		renderSessionTimeline(tmp, nodeId, options);
+		const toolbar = tmp.querySelector(".process-timeline-toolbar");
+		if (toolbar) toolbar.remove();
+		const innerHTML = tmp.innerHTML;
+		uiState.sessionTimelineShowProtocol = prevShow;
+		downloadTextFile(
+			`node-process-${nodeId || "node"}-${Date.now()}.html`,
+			buildPageStyledDoc(innerHTML, {
+				nodeId,
+				dagRunId: uiState.currentDagRunId ?? "",
+			}, cssText),
+		);
+	});
+	toolbar.appendChild(exportBtn);
 	content.appendChild(toolbar);
 
-	const timelineItems = buildRichTimelineItems(visible.events, {
-		showProtocol,
-	});
+	const timelineItems = filterExecutionRecordItems(
+		buildRichTimelineItems(visible.events, { showProtocol }),
+		activeFilter,
+	);
 	const hasEventTimes = visible.events.some((event) =>
 		Boolean(sessionEventTimestamp(event)),
 	);
@@ -760,6 +938,13 @@ export function renderSessionTimeline(content, nodeId, options = {}) {
 		);
 	}
 
+	if (timelineItems.length === 0) {
+		content.appendChild(
+			el("p", "empty", "当前筛选下没有可显示的执行记录。"),
+		);
+		return;
+	}
+
 	const ul = el("ul", "process-timeline process-timeline-rich");
 	for (let index = 0; index < timelineItems.length; index += 1) {
 		const item = timelineItems[index];
@@ -838,3 +1023,18 @@ export function renderSessionTimeline(content, nodeId, options = {}) {
 		content.scrollTop = timelineState.scrollTop;
 	}
 }
+
+function rerenderSessionTimeline(content, nodeId, options) {
+	const scrollTop = content.scrollTop;
+	const scrollLeft = content.scrollLeft;
+	const preserved = [...content.children].filter((child) =>
+		String(child.className ?? "")
+			.split(/\s+/)
+			.includes("dag-inspector-attempt-bar"),
+	);
+	while (content.firstChild) content.removeChild(content.firstChild);
+	for (const child of preserved) content.appendChild(child);
+	renderSessionTimeline(content, nodeId, options);
+	content.scrollTop = scrollTop;
+	content.scrollLeft = scrollLeft;
+}

package/dist/worker/outcomes/adapters.js

@@ -98,6 +98,24 @@ class FrontendImplementationAdapter {
         };
     }
 }
+/**
+ * `backend-test-analysis` — read-only requirements/API analysis. It produces
+ * the strict Backend Test Analysis v2 contract without claiming that tests or
+ * a real integration ran.
+ */
+class BackendTestAnalysisAdapter {
+    workflow = "backend-test-analysis";
+    project(input) {
+        return {
+            artifacts: [
+                ...canonicalArtifacts(input),
+                ...structuredArtifactsFromReport(input.dagReportRun),
+            ],
+            acceptanceCoverage: [...input.acceptanceRefs],
+            integrationStatus: { mock: false, real: false },
+        };
+    }
+}
 /**
  * `backend-test` — generates + executes backend tests. Integration status is
  * `real: true` only when the report completed (a real test execution); mock is
@@ -139,6 +157,7 @@ class FrontendTestAdapter {
 const ADAPTERS = new Map([
     ["agent-dag", new AgentDagAdapter()],
     ["frontend-implementation", new FrontendImplementationAdapter()],
+    ["backend-test-analysis", new BackendTestAnalysisAdapter()],
     ["backend-test", new BackendTestAdapter()],
     ["frontend-test", new FrontendTestAdapter()],
 ]);

package/dist/worker/outcomes/types.js

@@ -24,6 +24,7 @@ export const outcomeFailureCategorySchema = z.enum([
 export const OUTCOME_WORKFLOWS = [
     "agent-dag",
     "frontend-implementation",
+    "backend-test-analysis",
     "backend-test",
     "frontend-test",
 ];

package/dist/worker/pool/attempt-lease.js

@@ -1,6 +1,7 @@
 import { randomBytes } from "node:crypto";
 import { mkdir, readFile, readdir, unlink } from "node:fs/promises";
 import path from "node:path";
+import { acquireDirLock } from "../../infrastructure/console/dir-lock.js";
 import { writeJsonAtomic } from "../../infrastructure/harness/atomic-write.js";
 import { assertSafeTaskPoolId, getTaskPoolRoot, } from "./run-store.js";
 import { TASK_POOL_STATE_ERROR_CODES, TaskPoolStateError } from "./types.js";
@@ -19,6 +20,20 @@ export function getAttemptLeasePath(repoRoot, featureId, taskId) {
     }
     return leasePath;
 }
+function getAttemptLeaseMutationLockPath(repoRoot, featureId, taskId) {
+    assertSafeTaskPoolId(featureId, "featureId");
+    assertSafeTaskPoolId(taskId, "taskId");
+    return path.join(getAttemptLeasesRoot(repoRoot), "_locks", `${featureId}__${taskId}.lock`);
+}
+async function withAttemptLeaseMutationLock(repoRoot, featureId, taskId, operation) {
+    const lock = await acquireDirLock(getAttemptLeaseMutationLockPath(repoRoot, featureId, taskId));
+    try {
+        return await operation();
+    }
+    finally {
+        await lock.release();
+    }
+}
 function isLeaseRecord(value) {
     if (!value || typeof value !== "object" || Array.isArray(value))
         return false;
@@ -30,7 +45,11 @@ function isLeaseRecord(value) {
         typeof record.batchRunId === "string" &&
         typeof record.token === "string" &&
         typeof record.acquiredAt === "string" &&
-        typeof record.renewedAt === "string");
+        typeof record.renewedAt === "string" &&
+        (record.revisionId === undefined || typeof record.revisionId === "string") &&
+        (record.controllerAnchor === undefined ||
+            typeof record.controllerAnchor === "string") &&
+        (record.claimId === undefined || typeof record.claimId === "string"));
 }
 export async function readAttemptLease(repoRoot, featureId, taskId) {
     const leasePath = getAttemptLeasePath(repoRoot, featureId, taskId);
@@ -47,82 +66,94 @@ export async function readAttemptLease(repoRoot, featureId, taskId) {
 }
 /**
  * Acquire Task-scoped attempt lease before beginWorkerAttempt.
- * Same identity+token reuse is idempotent; different active identity → conflict.
+ * Same identity+claim reuse is idempotent; a competing admission or active
+ * identity conflicts. The Task-scoped mutation lock closes cross-process
+ * read-before-rename and release-vs-successor races.
  */
 export async function acquireAttemptLease(input) {
-    const now = input.now ?? new Date();
-    const existing = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
-    if (existing) {
-        if (existing.workerRunId === input.workerRunId &&
-            existing.batchRunId === input.batchRunId &&
-            existing.featureId === input.featureId &&
-            existing.taskId === input.taskId) {
-            return { status: "idempotent-reuse", lease: existing };
+    return withAttemptLeaseMutationLock(input.repoRoot, input.featureId, input.taskId, async () => {
+        const now = input.now ?? new Date();
+        const existing = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
+        if (existing) {
+            if (existing.workerRunId === input.workerRunId &&
+                existing.batchRunId === input.batchRunId &&
+                existing.featureId === input.featureId &&
+                existing.taskId === input.taskId &&
+                existing.revisionId === input.revisionId &&
+                existing.controllerAnchor === input.controllerAnchor &&
+                existing.claimId === input.claimId) {
+                return { status: "idempotent-reuse", lease: existing };
+            }
+            throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `attempt-lease-conflict for ${input.featureId}/${input.taskId}: held by ${existing.workerRunId}`);
         }
-        throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `attempt-lease-conflict for ${input.featureId}/${input.taskId}: held by ${existing.workerRunId}`);
-    }
-    const lease = {
-        schemaVersion: 1,
-        featureId: input.featureId,
-        taskId: input.taskId,
-        workerRunId: input.workerRunId,
-        batchRunId: input.batchRunId,
-        acquiredAt: now.toISOString(),
-        renewedAt: now.toISOString(),
-        token: `atk-${randomBytes(8).toString("hex")}`,
-        ownerProcess: { pid: process.pid },
-        ...(input.revisionId ? { revisionId: input.revisionId } : {}),
-        ...(input.controllerAnchor
-            ? { controllerAnchor: input.controllerAnchor }
-            : {}),
-    };
-    await mkdir(path.dirname(getAttemptLeasePath(input.repoRoot, input.featureId, input.taskId)), {
-        recursive: true,
+        const lease = {
+            schemaVersion: 1,
+            featureId: input.featureId,
+            taskId: input.taskId,
+            workerRunId: input.workerRunId,
+            batchRunId: input.batchRunId,
+            acquiredAt: now.toISOString(),
+            renewedAt: now.toISOString(),
+            token: `atk-${randomBytes(8).toString("hex")}`,
+            ownerProcess: { pid: process.pid },
+            ...(input.revisionId ? { revisionId: input.revisionId } : {}),
+            ...(input.controllerAnchor
+                ? { controllerAnchor: input.controllerAnchor }
+                : {}),
+            ...(input.claimId ? { claimId: input.claimId } : {}),
+        };
+        await mkdir(path.dirname(getAttemptLeasePath(input.repoRoot, input.featureId, input.taskId)), {
+            recursive: true,
+        });
+        await writeJsonAtomic(getAttemptLeasePath(input.repoRoot, input.featureId, input.taskId), lease, { repoRoot: input.repoRoot });
+        const confirmed = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
+        if (!confirmed) {
+            throw new Error(`failed to persist attempt lease for ${input.featureId}/${input.taskId}`);
+        }
+        if (confirmed.token !== lease.token) {
+            throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `attempt-lease-conflict race for ${input.featureId}/${input.taskId}`);
+        }
+        return { status: "acquired", lease: confirmed };
     });
-    await writeJsonAtomic(getAttemptLeasePath(input.repoRoot, input.featureId, input.taskId), lease, { repoRoot: input.repoRoot });
-    const confirmed = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
-    if (!confirmed) {
-        throw new Error(`failed to persist attempt lease for ${input.featureId}/${input.taskId}`);
-    }
-    if (confirmed.workerRunId !== input.workerRunId) {
-        throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `attempt-lease-conflict race for ${input.featureId}/${input.taskId}`);
-    }
-    return { status: "acquired", lease: confirmed };
 }
 export async function renewAttemptLease(input) {
-    const existing = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
-    if (!existing) {
-        throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `cannot renew missing lease for ${input.featureId}/${input.taskId}`);
-    }
-    if (existing.token !== input.token || existing.workerRunId !== input.workerRunId) {
-        throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `cannot renew lease: CAS token/identity mismatch for ${input.featureId}/${input.taskId}`);
-    }
-    const renewed = {
-        ...existing,
-        renewedAt: (input.now ?? new Date()).toISOString(),
-    };
-    await writeJsonAtomic(getAttemptLeasePath(input.repoRoot, input.featureId, input.taskId), renewed, { repoRoot: input.repoRoot });
-    return renewed;
+    return withAttemptLeaseMutationLock(input.repoRoot, input.featureId, input.taskId, async () => {
+        const existing = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
+        if (!existing) {
+            throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `cannot renew missing lease for ${input.featureId}/${input.taskId}`);
+        }
+        if (existing.token !== input.token || existing.workerRunId !== input.workerRunId) {
+            throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `cannot renew lease: CAS token/identity mismatch for ${input.featureId}/${input.taskId}`);
+        }
+        const renewed = {
+            ...existing,
+            renewedAt: (input.now ?? new Date()).toISOString(),
+        };
+        await writeJsonAtomic(getAttemptLeasePath(input.repoRoot, input.featureId, input.taskId), renewed, { repoRoot: input.repoRoot });
+        return renewed;
+    });
 }
 /**
  * Release active lease after terminal/recovery evidence. Moves to lease-history then deletes active locator.
  */
 export async function releaseAttemptLease(input) {
-    const existing = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
-    if (!existing)
-        return;
-    if (existing.token !== input.token || existing.workerRunId !== input.workerRunId) {
-        throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `cannot release lease: CAS token/identity mismatch for ${input.featureId}/${input.taskId}`);
-    }
-    const historyRoot = path.join(getAttemptLeasesRoot(input.repoRoot), "_history");
-    await mkdir(historyRoot, { recursive: true });
-    const historyPath = path.join(historyRoot, `${input.featureId}__${input.taskId}__${existing.workerRunId}.json`);
-    const activePath = getAttemptLeasePath(input.repoRoot, input.featureId, input.taskId);
-    await writeJsonAtomic(historyPath, {
-        ...existing,
-        releasedAt: (input.now ?? new Date()).toISOString(),
-    }, { repoRoot: input.repoRoot });
-    await unlink(activePath).catch(() => { });
+    await withAttemptLeaseMutationLock(input.repoRoot, input.featureId, input.taskId, async () => {
+        const existing = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
+        if (!existing)
+            return;
+        if (existing.token !== input.token || existing.workerRunId !== input.workerRunId) {
+            throw new TaskPoolStateError(TASK_POOL_STATE_ERROR_CODES.CONFLICT, `cannot release lease: CAS token/identity mismatch for ${input.featureId}/${input.taskId}`);
+        }
+        const historyRoot = path.join(getAttemptLeasesRoot(input.repoRoot), "_history");
+        await mkdir(historyRoot, { recursive: true });
+        const historyPath = path.join(historyRoot, `${input.featureId}__${input.taskId}__${existing.workerRunId}.json`);
+        const activePath = getAttemptLeasePath(input.repoRoot, input.featureId, input.taskId);
+        await writeJsonAtomic(historyPath, {
+            ...existing,
+            releasedAt: (input.now ?? new Date()).toISOString(),
+        }, { repoRoot: input.repoRoot });
+        await unlink(activePath).catch(() => { });
+    });
 }
 export function decideAttemptLeaseReclaim(input) {
     if (input.hasTerminalEvidence) {

package/dist/worker/pool/begin-attempt-with-lease.js

@@ -19,6 +19,7 @@ export async function beginWorkerAttemptWithLease(input) {
         ...(input.controllerAnchor
             ? { controllerAnchor: input.controllerAnchor }
             : {}),
+        ...(input.leaseClaimId ? { claimId: input.leaseClaimId } : {}),
         ...(input.now ? { now: input.now } : {}),
     });
     const begun = await beginWorkerAttempt(input);

package/dist/worker/pool/reconcile.js

@@ -3,6 +3,8 @@ import path from "node:path";
 import { executeDagReconcileRun } from "../../workflows/dag/reconcile-run.js";
 import { assessDagRunLiveness, assessDagRunRecoveryEligibility, locateDagRun, readDagRunState, } from "../../workflows/dag/lifecycle.js";
 import { appendTaskPoolEvent, findRunByWorkerRunId, getTaskPoolRoot, readTaskPoolState, writeTaskPoolState, } from "./run-store.js";
+import { readRunOwner } from "./run-owner-store.js";
+import { readAttemptLease, releaseAttemptLease } from "./attempt-lease.js";
 const RECOVERABLE_LIVENESS = new Set([
     "active",
     "node-quiet",
@@ -110,6 +112,17 @@ export async function reconcileTaskPoolAbandon(input) {
         idempotent: false,
         evidencePath: operatorRecovery.evidencePath,
     });
+    const lease = await readAttemptLease(input.repoRoot, input.featureId, input.taskId);
+    if (lease?.workerRunId === input.workerRunId) {
+        await releaseAttemptLease({
+            repoRoot: input.repoRoot,
+            featureId: input.featureId,
+            taskId: input.taskId,
+            token: lease.token,
+            workerRunId: input.workerRunId,
+            now: input.now,
+        });
+    }
     return {
         schemaVersion: 1,
         status: "Failed",
@@ -201,7 +214,6 @@ export async function markTaskPoolFailed(input) {
     };
 }
 async function validateWorkerDagAssociation(input) {
-    const run = await validateWorkerRunOwnership(input);
     const dagLocated = await locateDagRun(input.repoRoot, input.dagRunId);
     if (!dagLocated) {
         throw new Error(`dag run not found: ${input.dagRunId}`);
@@ -210,6 +222,39 @@ async function validateWorkerDagAssociation(input) {
     if (dagState.runId !== input.dagRunId) {
         throw new Error(`dag run identity mismatch: expected ${input.dagRunId}, found ${dagState.runId}`);
     }
+    let run = await findRunByWorkerRunId(input.repoRoot, input.workerRunId);
+    if (!run) {
+        const owner = await readRunOwner(input.repoRoot, input.workerRunId);
+        const association = dagState.workerAssociation;
+        const authority = dagState.continuation?.workerContinuationAuthority;
+        if (!owner ||
+            owner.featureId !== input.featureId ||
+            owner.taskId !== input.taskId ||
+            owner.workerRunId !== input.workerRunId ||
+            owner.revisionId === undefined ||
+            input.dagRunId !== input.workerRunId ||
+            association?.workerRunId !== input.workerRunId ||
+            association.featureId !== input.featureId ||
+            association.taskId !== input.taskId ||
+            authority?.childWorkerRunId !== input.workerRunId ||
+            authority.parentWorkerRunId === input.workerRunId ||
+            authority.revisionId !== owner.revisionId) {
+            throw new Error(`worker run not found: ${input.workerRunId}`);
+        }
+        run = {
+            schemaVersion: 1,
+            batchRunId: owner.batchRunId,
+            workerRunId: owner.workerRunId,
+            featureId: owner.featureId,
+            taskId: owner.taskId,
+            status: "run-error",
+            attemptKind: "artifact-continuation",
+            recordedAt: owner.registeredAt,
+        };
+    }
+    else if (run.featureId !== input.featureId || run.taskId !== input.taskId) {
+        throw new Error(`worker run ownership mismatch: expected ${input.featureId}/${input.taskId}, found ${run.featureId}/${run.taskId}`);
+    }
     const linked = await proveWorkerDagLink(input.repoRoot, run, input.workerRunId, input.dagRunId);
     if (!linked) {
         throw new Error(`worker run ${input.workerRunId} is not associated with dag run ${input.dagRunId}`);

package/dist/worker/pool/run-store.js

@@ -350,6 +350,8 @@ function eventFromRun(run) {
         taskId: run.taskId,
         featureId: run.featureId,
         status: run.status,
+        ...(run.attemptKind ? { attemptKind: run.attemptKind } : {}),
+        ...(run.continuation ? { continuation: run.continuation } : {}),
     };
 }
 function isNotFound(error) {

package/dist/worker/pool/state-projection.js

@@ -47,6 +47,8 @@ export function stateFromRun(run) {
         status: projectTaskPoolStatusFromRun(run),
         updatedAt: run.recordedAt,
         workerRunId: run.workerRunId,
+        ...(run.attemptKind ? { attemptKind: run.attemptKind } : {}),
+        ...(run.continuation ? { continuation: run.continuation } : {}),
         ...(run.runRecordPath ? { lastRunRecordPath: run.runRecordPath } : {}),
         ...(run.failure ? { failure: run.failure } : {}),
         ...(run.failureV2 ? { failureV2: run.failureV2 } : {}),