@tea-agent/loop-agent 0.41.1-beta.0 → 0.42.0-next.2

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

@@ -51,6 +51,27 @@ function downloadTextFile(filename, text) {
 	URL.revokeObjectURL(url);
 }
 
+/** 抓取页面真实加载的样式表原文（导出内联用）。
+ *  不猜路径：直接取当前文档 <link rel="stylesheet"> 的 href（相对当前页面解析），
+ *  反代/子路径部署下也和页面渲染用的是同一份 CSS；fetch 失败时返回 ""，
+ *  调用方回退 EXPORT_FALLBACK_CSS。 */
+export async function fetchPageStylesheetText() {
+	try {
+		const links = [...document.querySelectorAll('link[rel="stylesheet"]')];
+		const texts = [];
+		for (const link of links) {
+			const href = link.getAttribute("href");
+			if (!href) continue;
+			const url = new URL(href, document.baseURI).href;
+			const res = await fetch(url, { cache: "no-cache" });
+			if (res.ok) texts.push(await res.text());
+		}
+		return texts.join("\n");
+	} catch {
+		return "";
+	}
+}
+
 /** 兜底样式：仅在无法抓取页面 /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}
@@ -103,19 +124,31 @@ body{margin:0;font-family:-apple-system,"Segoe UI",Roboto,"PingFang SC","Microso
 .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}
+.btn{display:inline-flex;align-items:center;gap:6px;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:12px;font-weight:600;cursor:pointer;user-select:none}
+.btn-secondary{background:var(--surface-muted)}
+.btn:hover{border-color:var(--orange);color:var(--orange-active)}
 `;
 
 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}
+/* 导出文档变量基础：页面样式把这些变量定义在 body[data-shell]/.inspect-workspace-root
+ * 下，独立导出的 HTML 既无该属性也无该包裹，变量会整体失效——深色系统的画布
+ * 兜底为黑底，叠加黑字后正文不可读。导出文档自带变量定义并强制 light 配色。 */
+:root{color-scheme:light}
+body{margin:0;font-family:-apple-system,"Segoe UI",Roboto,"PingFang SC","Microsoft YaHei",sans-serif;background:var(--canvas,#f7f7f4)}
+.export-shell{max-width:1000px;margin:0 auto;padding:24px 28px;background:var(--surface,#ffffff);min-height:100vh;box-shadow:0 0 0 1px var(--hairline,#e6e5e0)}
+.export-head h1{font-size:15px;color:var(--ink,#26251e);margin:0;font-weight:700}
+.export-sub{color:var(--muted,#807d72);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}
+.export-toggle{min-height:28px;padding:0 12px;border:1px solid var(--hairline-strong,#cfcdc4);border-radius:var(--radius-sm,6px);background:var(--surface,#ffffff);color:var(--body,#5a5852);font-size:11px;font-weight:600;cursor:pointer;user-select:none}
+.export-toggle:hover,.export-toggle:focus-visible{border-color:var(--orange,#f54e00);color:var(--orange-active,#d04200);outline:none}
 body.hide-protocol .process-timeline-item.process-timeline-protocol{display:none}
 `;
 
+/** 导出文档自带的变量基础：与页面 styles.css 的 light 主题保持一致。
+ *  即使 fetch 到了页面 CSS，其变量也挂在 body[data-shell=…]/.inspect-workspace-root
+ *  选择器下而不生效，必须在导出文档内重新定义。 */
+const EXPORT_ROOT_VARS_CSS = `:root{--canvas:#f7f7f4;--surface:#ffffff;--canvas-soft:#fafaf7;--surface-muted:#f0efe9;--surface-ink:#26251e;--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;--mint:#d8ead5;--peach:#f1d8cb;--gold:#d8b166;--radius-sm:6px;--radius-md:8px;--radius-lg:12px;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:20px;--space-6:24px;--space-8:32px;--space-10:40px;--space-12:48px}`;
+
 /**
  * 把页面渲染出的时间线 innerHTML 封装成自包含 HTML。
  * @param {string} bodyHTML 页面渲染的 .process-timeline 等真实 DOM 序列化结果
@@ -126,14 +159,18 @@ 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_ROOT_VARS_CSS}\n${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>`;
+	// body 带 data-shell="observe-console"：内联的页面 styles.css 把全部设计令牌
+	// (--canvas/--surface/--hairline-strong …) 与部分规则 (body[data-shell] …) 定义在
+	// 该作用域下，导出文档带上属性后令牌与前缀规则原生命中，与页面渲染一致。
+	// EXPORT_ROOT_VARS_CSS 仍保留：fetch 页面 CSS 失败的兜底路径令牌不缺。
+	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 data-shell="observe-console"><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) {
@@ -586,6 +623,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();
@@ -829,7 +895,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";
@@ -839,25 +924,13 @@ 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 cssText = await fetchPageStylesheetText();
 		// 复用页面真实渲染（含原始协议事件），保证导出的排版与页面一致。
 		const prevShow = uiState.sessionTimelineShowProtocol;
 		uiState.sessionTimelineShowProtocol = true;
@@ -879,9 +952,10 @@ export function renderSessionTimeline(content, nodeId, options = {}) {
 	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)),
 	);
@@ -895,6 +969,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];
@@ -973,3 +1054,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 } : {}),

package/dist/worker/task-spec/workflow-routing.js

@@ -11,6 +11,7 @@ export const workflowSchema = z.enum([
     "agent-dag",
     "frontend-implementation",
     "backend-test",
+    "backend-test-analysis",
     "frontend-test",
 ]);
 /**
@@ -23,6 +24,7 @@ export const WORKFLOW_TASK_KIND = {
     "agent-dag": "standard",
     "frontend-implementation": "frontend-implementation",
     "backend-test": "backend-test",
+    "backend-test-analysis": "backend-test-analysis",
     "frontend-test": "frontend-test",
 };
 /**
@@ -48,7 +50,7 @@ export function legacyDefaultWorkflow(type) {
 }
 /** Migration guidance surfaced whenever a legacy QA type lacks an explicit workflow. */
 export const LEGACY_QA_MIGRATION_GUIDANCE = "Legacy qa-casegen/qa-testcode/qa-execute tasks no longer auto-select a backend or frontend workflow. " +
-    "Add `execution.workflow` with one of: agent-dag, frontend-implementation, backend-test, frontend-test. " +
+    "Add `execution.workflow` with one of: agent-dag, frontend-implementation, backend-test-analysis, backend-test, frontend-test. " +
     "Use backend-test for backend-only test generation/execution, frontend-test for browser/UI tests, " +
     "or agent-dag when the QA task is a generic agent study.";
 export class WorkflowRoutingError extends Error {
@@ -120,10 +122,13 @@ export function validateWorkflowCompatibility(taskSpec) {
     }
     const issues = [];
     const type = taskSpec.type;
-    if (type === "backend-feature" && explicit !== "agent-dag" && explicit !== "backend-test") {
+    if (type === "backend-feature" &&
+        explicit !== "agent-dag" &&
+        explicit !== "backend-test-analysis" &&
+        explicit !== "backend-test") {
         issues.push({
             code: "workflow-type-incompatible",
-            message: `backend-feature is incompatible with workflow "${explicit}" (expected agent-dag or backend-test)`,
+            message: `backend-feature is incompatible with workflow "${explicit}" (expected agent-dag, backend-test-analysis, or backend-test)`,
             path: "execution.workflow",
         });
     }