@tea-agent/loop-agent 0.39.0 → 0.39.1

package/dist/worker/observe/static/views/dag-inspector.js

@@ -19,8 +19,10 @@ import {
 	postOperatorAction,
 	fetchOperatorOperation,
 } from "../api.js";
-import { badge, formatMs, prettyJsonBlock } from "../format.js";
+import { badge, formatLedgerSummary, formatMs, prettyJsonBlock } from "../format.js";
 import { renderMarkdown, renderInspectorDocument } from "../markdown-render.js";
+import { buildPromptRestartCandidateOptions } from "../prompt-restart-candidates.js";
+import { copyText } from "../copy.js";
 import {
 	uiState,
 	makeSessionEventIdentity,
@@ -52,6 +54,85 @@ import { createCustomSelect } from "../custom-select.js";
 // reference, always resolving the currently selected node identity.
 const inspectorSelection = { dagRunId: null, node: null };
 
+function createPromptRestartCopyButton(readCandidate) {
+	const buildIcon = (kind) => {
+		const svg = document.createElementNS("http://www.w3.org/2000/svg", "svg");
+		svg.setAttribute(
+			"class",
+			`dags-copy-icon dags-copy-icon-${kind === "check" ? "check" : "rects"}`,
+		);
+		svg.setAttribute("viewBox", "0 0 16 16");
+		svg.setAttribute("width", "16");
+		svg.setAttribute("height", "16");
+		svg.setAttribute("aria-hidden", "true");
+		svg.setAttribute("focusable", "false");
+		if (kind === "check") {
+			const check = document.createElementNS(
+				"http://www.w3.org/2000/svg",
+				"path",
+			);
+			check.setAttribute("d", "M3.5 8.5 6.5 11.5 12.5 4.5");
+			check.setAttribute("fill", "none");
+			check.setAttribute("stroke", "currentColor");
+			check.setAttribute("stroke-width", "1.8");
+			check.setAttribute("stroke-linecap", "round");
+			check.setAttribute("stroke-linejoin", "round");
+			svg.appendChild(check);
+			return svg;
+		}
+		for (const [x, y] of [
+			[2, 2],
+			[5, 5],
+		]) {
+			const rect = document.createElementNS(
+				"http://www.w3.org/2000/svg",
+				"rect",
+			);
+			rect.setAttribute("x", String(x));
+			rect.setAttribute("y", String(y));
+			rect.setAttribute("width", "9");
+			rect.setAttribute("height", "9");
+			rect.setAttribute("rx", "1.5");
+			rect.setAttribute("fill", "none");
+			rect.setAttribute("stroke", "currentColor");
+			rect.setAttribute("stroke-width", "1.5");
+			svg.appendChild(rect);
+		}
+		return svg;
+	};
+	const button = el(
+		"button",
+		"dags-copy-btn dags-copy-btn-icon prompt-restart-copy-icon",
+	);
+	button.type = "button";
+	button.setAttribute("data-testid", "prompt-restart-copy");
+	button.setAttribute("aria-label", "复制当前提示词候选");
+	button.setAttribute("title", "复制当前提示词候选");
+	button.appendChild(buildIcon("copy"));
+	button.appendChild(buildIcon("check"));
+	button.addEventListener("click", (event) => {
+		event.preventDefault();
+		event.stopPropagation();
+		const candidate = readCandidate();
+		void copyText(candidate?.prompt ?? "").then((ok) => {
+			const feedback = ok
+				? candidate?.truncated
+					? "已复制截断预览"
+					: "已复制"
+				: "复制失败";
+			button.classList.toggle("is-copied", ok);
+			button.setAttribute("aria-label", feedback);
+			button.setAttribute("title", feedback);
+			setTimeout(() => {
+				button.classList.remove("is-copied");
+				button.setAttribute("aria-label", "复制当前提示词候选");
+				button.setAttribute("title", "复制当前提示词候选");
+			}, 1500);
+		});
+	});
+	return button;
+}
+
 function renderDagInspectorForCurrent() {
 	if (!inspectorSelection.dagRunId || !inspectorSelection.node) return;
 	renderDagInspector(
@@ -983,6 +1064,121 @@ async function renderDagNodeInput(content, dagRunId, node) {
 
 	renderDagNodeInputDetail(content, data);
 	finishInputRender();
+	// Frontend prewrite 门禁 / source fidelity ledger 展示（AC-009）：只读安全摘要，
+	// 从 run 产物（frontend-prewrite-result.json）与 /api/tasks/:id/ledger 拉取；
+	// 接口失败进入安全降级，不泄漏敏感内容。
+	if (/prewrite/.test(nodeId)) {
+		void renderFrontendGateLedger(content, dagRunId);
+	}
+}
+
+/**
+ * Frontend prewrite 门禁 + ledger 摘要行（AC-BLOCK-005）：纯函数，测试直接断言。
+ * prewriteResult = {ok:true, body}|{ok:false, status}|null（网络失败）；ledgerBody 为
+ * /api/tasks/:id/ledger 响应或 null。绝不把 envelope/预览原文塞入 <pre>（删除
+ * 旧 lines.push(previewText) 路径），缺失/拒绝显示明确 fail-closed 文案。
+ */
+export function frontendGateLedgerLines(input) {
+	const { prewriteResult, ledgerBody, taskId } = input;
+	const lines = [];
+	if (prewriteResult?.ok && prewriteResult.body) {
+		const parsed = prewriteResult.body;
+		if (parsed?.classification) {
+			lines.push(`classification: ${String(parsed.classification)}`);
+			if (parsed.failureCode) {
+				lines.push(`failureCode: ${String(parsed.failureCode)}`);
+			}
+			if (parsed.failureReason) {
+				lines.push(`failureReason: ${String(parsed.failureReason)}`);
+			}
+		} else {
+			lines.push("frontend-prewrite-result.json 内容无法解析为结构化结果。");
+		}
+	} else if (prewriteResult && prewriteResult.status === 404) {
+		lines.push("frontend-prewrite-result.json 尚未生成（门禁未执行或缺失）。");
+	} else if (prewriteResult) {
+		lines.push(
+			"frontend-prewrite-result.json 读取失败（只读接口拒绝/服务异常，安全降级）。",
+		);
+	} else {
+		lines.push("frontend-prewrite-result.json 尚未生成（门禁未执行或缺失）。");
+	}
+	if (ledgerBody && ledgerBody.present === true) {
+		lines.push(formatLedgerSummary(ledgerBody));
+	} else if (ledgerBody) {
+		lines.push("ledger: 无（任务无引用或 ledger 缺失，不伪造计数）");
+	} else if (taskId) {
+		lines.push("ledger: 暂不可查（只读接口失败，安全降级）");
+	}
+	return lines;
+}
+
+/** DAG run 专属 prewrite-result 只读拉取（内联 fetch，不新增 api.js 依赖）。 */
+async function fetchPrewriteResultJson(dagRunId) {
+	try {
+		const res = await fetch(
+			`/api/dag-runs/${encodeURIComponent(dagRunId)}/prewrite-result`,
+			{ credentials: "same-origin" },
+		);
+		if (!res.ok) return { ok: false, status: res.status };
+		return { ok: true, body: await res.json() };
+	} catch {
+		return null; // 网络失败
+	}
+}
+
+/**
+ * Resolve the DAG-owned task identity, prewrite result, and safe ledger summary.
+ * Exported so the real browser request sequence can be regression-tested without
+ * relying on source-string assertions.
+ */
+export async function fetchFrontendGateLedgerData(dagRunId) {
+	const run = await fetchJson(
+		`/api/dag-runs/${encodeURIComponent(dagRunId)}`,
+	);
+	const taskId = typeof run?.taskId === "string" ? run.taskId : "";
+	const prewriteResult = await fetchPrewriteResultJson(dagRunId);
+	let ledgerBody = null;
+	if (taskId) {
+		ledgerBody = await fetchJson(
+			`/api/tasks/${encodeURIComponent(taskId)}/ledger`,
+		);
+	}
+	return { taskId, prewriteResult, ledgerBody };
+}
+
+/**
+ * Inspect 节点面板：frontend prewrite 门禁分类/稳定 failure code + ledger 安全摘要。
+ * 数据全部来自只读接口与确定性产物（AC-BLOCK-005）：task identity 从 DAG run
+ * GET /api/dag-runs/:dagRunId 读取，prewrite 门禁调 DAG run 专属
+ * GET /api/dag-runs/:dagRunId/prewrite-result；任何失败仅显示安全降级文案，
+ * 绝不 push envelope。
+ */
+async function renderFrontendGateLedger(content, dagRunId) {
+	const section = el("section", "node-input-section");
+	section.appendChild(
+		el("h4", null, "Frontend prewrite 门禁 / source fidelity ledger"),
+	);
+	const status = el("p", "muted", "加载中…");
+	status.setAttribute("role", "status");
+	section.appendChild(status);
+	content.appendChild(section);
+	try {
+		const { taskId, prewriteResult, ledgerBody } =
+			await fetchFrontendGateLedgerData(dagRunId);
+		const lines = frontendGateLedgerLines({
+			prewriteResult,
+			ledgerBody,
+			taskId,
+		});
+		const pre = el("pre", "cmd", lines.join("\n"));
+		pre.dataset.testid = "frontend-prewrite-ledger-summary";
+		status.replaceWith(pre);
+	} catch (error) {
+		status.textContent = `加载失败：${
+			error instanceof Error ? error.message : String(error)
+		}（安全降级，不展示敏感内容）`;
+	}
 }
 
 /**
@@ -1017,29 +1213,78 @@ async function renderPromptRestart(content, dagRunId, node) {
 		content.appendChild(error);
 		return;
 	}
-	const basePrompt =
+	const frozenBasePrompt =
 		typeof input.body.prompt?.text === "string" ? input.body.prompt.text : "";
-	if (!basePrompt) {
+	if (!frozenBasePrompt) {
 		const error = el("p", "node-input-error", "该节点没有冻结提示词。");
 		error.setAttribute("role", "alert");
 		content.appendChild(error);
 		return;
 	}
+	const promptCandidateOptions = buildPromptRestartCandidateOptions(
+		frozenBasePrompt,
+		input.body.promptCandidates,
+	);
+	let selectedCandidate = promptCandidateOptions[0];
+	const historicalCandidatesMissing = Array.isArray(input.body.warnings)
+		? input.body.warnings.some((warning) =>
+				String(warning).startsWith("Failed prompt candidate missing for attempt "),
+			)
+		: false;
 
 	if (node.status !== "ERROR") {
 		// Non-failed nodes still show their frozen prompt — read-only.
 		const hint = el(
 			"p",
 			"muted",
-			`当前节点状态为 ${node.status ?? "unknown"}；仅失败（ERROR）节点支持编辑提示词并重启，以下为该节点冻结提示词（只读）。`,
+			`当前节点状态为 ${node.status ?? "unknown"}；仅失败（ERROR）节点支持编辑提示词并重启。以下可只读查看冻结提示词与历史失败候选。`,
 		);
 		hint.setAttribute("role", "status");
 		content.appendChild(hint);
+		const picker = el("label", "prompt-restart-field");
+		picker.appendChild(el("span", "muted", "提示词版本（只读）"));
+		const select = document.createElement("select");
+		select.className = "prompt-restart-mode-select";
+		select.setAttribute("data-testid", "prompt-restart-candidate");
+		for (const option of promptCandidateOptions) {
+			const element = document.createElement("option");
+			element.value = option.key;
+			element.textContent = option.label;
+			select.appendChild(element);
+		}
+		picker.appendChild(select);
+		if (promptCandidateOptions.length === 1) {
+			picker.appendChild(
+				el(
+					"span",
+					"muted",
+					historicalCandidatesMissing
+						? "该历史运行未保存失败 attempt 的实际提示词；新运行会在此列出。"
+						: "该节点没有已保存的失败 attempt。",
+				),
+			);
+		}
+		content.appendChild(picker);
+
+		const promptCard = el("div", "prompt-restart-prompt-card");
+		const promptHead = el("div", "prompt-restart-prompt-head");
+		promptHead.appendChild(el("span", "muted", "当前提示词"));
+		promptHead.appendChild(
+			createPromptRestartCopyButton(() => selectedCandidate),
+		);
+		promptCard.appendChild(promptHead);
 		const pre = document.createElement("pre");
 		pre.className = "prompt-restart-readonly";
 		pre.setAttribute("data-testid", "prompt-restart-readonly");
-		pre.textContent = basePrompt;
-		content.appendChild(pre);
+		pre.textContent = selectedCandidate.prompt;
+		promptCard.appendChild(pre);
+		content.appendChild(promptCard);
+		select.addEventListener("change", () => {
+			selectedCandidate =
+				promptCandidateOptions.find((option) => option.key === select.value) ??
+				promptCandidateOptions[0];
+			pre.textContent = selectedCandidate.prompt;
+		});
 		return;
 	}
 
@@ -1062,6 +1307,29 @@ async function renderPromptRestart(content, dagRunId, node) {
 			"编辑该失败节点的提示词并从它重启：父 run spec 保持冻结，将创建带修改提示词的续跑 run（实验能力，仅 ERROR 节点）。",
 		),
 	);
+	const candidateRow = el("label", "prompt-restart-field");
+	candidateRow.appendChild(el("span", "muted", "提示词版本"));
+	const candidateSelect = document.createElement("select");
+	candidateSelect.className = "prompt-restart-mode-select";
+	candidateSelect.setAttribute("data-testid", "prompt-restart-candidate");
+	for (const option of promptCandidateOptions) {
+		const element = document.createElement("option");
+		element.value = option.key;
+		element.textContent = option.label;
+		candidateSelect.appendChild(element);
+	}
+	candidateRow.appendChild(candidateSelect);
+	const candidateHint = el(
+		"span",
+		"muted",
+		promptCandidateOptions.length > 1
+			? "选择失败候选会载入全文替换；冻结原始提示词仍可使用追加模式。"
+			: historicalCandidatesMissing
+				? "该历史运行未保存失败 attempt 的实际提示词；新运行会在此列出。"
+				: "该节点没有已保存的失败 attempt；当前仅有冻结原始提示词。",
+	);
+	candidateRow.appendChild(candidateHint);
+	box.appendChild(candidateRow);
 
 	const modeRow = el("div", "prompt-restart-mode");
 	modeRow.appendChild(el("span", "muted", "编辑模式"));
@@ -1081,14 +1349,20 @@ async function renderPromptRestart(content, dagRunId, node) {
 	modeRow.appendChild(modeSelect);
 	box.appendChild(modeRow);
 
-	const baseLabel = el("label", "prompt-restart-field");
-	baseLabel.appendChild(
+	const baseLabel = el(
+		"div",
+		"prompt-restart-field prompt-restart-prompt-card",
+	);
+	const baseHead = el("div", "prompt-restart-prompt-head");
+	baseHead.appendChild(
 		el("span", "muted", `冻结提示词（只读底稿 · ${nodeId}）`),
 	);
+	baseHead.appendChild(createPromptRestartCopyButton(() => selectedCandidate));
+	baseLabel.appendChild(baseHead);
 	const baseBlock = document.createElement("pre");
 	baseBlock.className = "prompt-restart-readonly";
 	baseBlock.setAttribute("data-testid", "prompt-restart-base");
-	baseBlock.textContent = basePrompt;
+	baseBlock.textContent = selectedCandidate.prompt;
 	baseLabel.appendChild(baseBlock);
 	box.appendChild(baseLabel);
 
@@ -1113,7 +1387,7 @@ async function renderPromptRestart(content, dagRunId, node) {
 	const replaceArea = document.createElement("textarea");
 	replaceArea.className = "prompt-restart-textarea";
 	replaceArea.rows = 16;
-	replaceArea.value = basePrompt;
+	replaceArea.value = selectedCandidate.prompt;
 	replaceArea.setAttribute("data-testid", "prompt-restart-textarea");
 	replaceLabel.appendChild(replaceArea);
 	box.appendChild(replaceLabel);
@@ -1125,6 +1399,25 @@ async function renderPromptRestart(content, dagRunId, node) {
 		replaceLabel.style.display = append ? "none" : "";
 	};
 	modeSelect.addEventListener("change", applyModeVisibility);
+	candidateSelect.addEventListener("change", () => {
+		selectedCandidate =
+			promptCandidateOptions.find(
+				(option) => option.key === candidateSelect.value,
+			) ?? promptCandidateOptions[0];
+		baseBlock.textContent = selectedCandidate.prompt;
+		replaceArea.value = selectedCandidate.prompt;
+		if (selectedCandidate.key !== "frozen") {
+			modeSelect.value = "replace";
+		}
+		if (candidateHint) {
+			candidateHint.textContent = selectedCandidate.truncated
+				? "该候选已截断，仅供查看，不能直接提交重启。"
+				: selectedCandidate.key === "frozen"
+					? "冻结原始提示词可使用追加或全文替换。"
+					: "已载入该失败候选；可在全文替换编辑器中修订后重启。";
+		}
+		applyModeVisibility();
+	});
 	applyModeVisibility();
 
 	const reasonLabel = el("label", "prompt-restart-field");
@@ -1160,6 +1453,10 @@ async function renderPromptRestart(content, dagRunId, node) {
 
 	submit.addEventListener("click", () => {
 		void (async () => {
+			if (selectedCandidate.truncated) {
+				setStatus("所选失败提示词已截断，不能作为完整提示词重启。", true);
+				return;
+			}
 			const mode = modeSelect.value === "replace" ? "replace" : "append";
 			const prompt =
 				mode === "append" ? addendumArea.value : replaceArea.value;
@@ -1171,7 +1468,11 @@ async function renderPromptRestart(content, dagRunId, node) {
 				);
 				return;
 			}
-			if (mode === "replace" && prompt === basePrompt) {
+			if (
+				mode === "replace" &&
+				selectedCandidate.key === "frozen" &&
+				prompt === frozenBasePrompt
+			) {
 				setStatus("提示词未修改；如需按原提示词重跑请使用恢复工作台。", true);
 				return;
 			}
@@ -2106,11 +2407,10 @@ function buildDagInspectorHeader(dagRunId, node) {
 		["timeline", "执行过程", "ri-route-line"],
 		["spec-evidence", "规范证据", "ri-book-open-line"],
 	];
-	// Experimental prompt-override rerun: the server injects the SCOPED
-	// inspect mutation token into /inspect HTML only while
-	// HARNESS_DAG_RERUN_PROMPT_OVERRIDE is enabled (and it only authorizes
-	// dagRerunPlan/dagRerun). No token → no tab → the inspector stays
-	// strictly read-only.
+	// Prompt-override rerun: the server injects the SCOPED inspect mutation
+	// token into /inspect HTML by default (it only authorizes
+	// dagRerunPlan/dagRerun). The emergency kill switch suppresses the token;
+	// no token → no tab → the inspector stays strictly read-only.
 	if (globalThis.__INSPECT_MUTATION_TOKEN__) {
 		tabDefs.push(["prompt-restart", "提示词重启", "ri-restart-line"]);
 	}

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

@@ -34,6 +34,7 @@ import {
 	repoBaseName,
 	parseMarkdownBlocks,
 	markdownLinkHref,
+	formatLedgerSummary,
 } from "../format.js";
 import { parseRoute, navigate, buildHashPath } from "../router.js";
 import {
@@ -94,6 +95,7 @@ export async function renderTaskDetail(featureId, taskId) {
 	const linksEl = document.getElementById("task-links");
 	const evidenceEl = document.getElementById("task-evidence");
 	const runsEl = document.getElementById("task-runs");
+	const ledgerEl = document.getElementById("task-ledger");
 	if (!metaEl || !linksEl || !evidenceEl || !runsEl) return false;
 	if (titleEl) titleEl.textContent = displayLabel;
 	mountViewState(metaEl, "loading", "加载 Task…");
@@ -252,9 +254,62 @@ export async function renderTaskDetail(featureId, taskId) {
 	const active = ["running", "pending", "blocked", "stale"].includes(
 		(task.status ?? "").toLowerCase(),
 	);
+	if (ledgerEl) {
+		void renderTaskLedger(ledgerEl, taskId);
+	}
 	return active;
 }
 
+/**
+ * Task 详情页 ledger 安全摘要（AC-009）：从只读 GET /api/tasks/:id/ledger 拉取，
+ * 计数/状态/failure code + 有界排除理由；无 ledger 显示空态，失败安全降级。
+ */
+async function renderTaskLedger(ledgerEl, taskId) {
+	clearNode(ledgerEl);
+	ledgerEl.appendChild(el("h3", "section-heading", "Source fidelity ledger"));
+	mountViewState(ledgerEl, "loading", "加载 ledger…");
+	let body = null;
+	try {
+		body = await fetchJson(`/api/tasks/${encodeURIComponent(taskId)}/ledger`);
+	} catch {
+		body = null;
+	}
+	if (!body) {
+		mountViewState(ledgerEl, "error", "ledger 只读接口失败（安全降级）。");
+		return;
+	}
+	if (body.present !== true) {
+		mountViewState(
+			ledgerEl,
+			body.error ? "error" : "empty",
+			body.error
+				? `ledger 不可用（${body.error}）。`
+				: "无 source fidelity ledger（任务无引用或 ledger 缺失，不伪造计数）。",
+		);
+		return;
+	}
+	const pre = el(
+		"pre",
+		"cmd",
+		formatLedgerSummary({
+			present: true,
+			fragmentCount: body.fragmentCount,
+			canonicalRequirementCount: body.canonicalRequirementCount,
+			contextOnlyCount: body.contextOnlyCount,
+			duplicateCount: body.duplicateCount,
+			unresolvedCount: body.unresolvedCount,
+			conflictCount: body.conflictCount,
+			gateStatus: body.gateStatus,
+			failureCode: body.failureCode,
+			exclusions: body.exclusions ?? [],
+		}),
+	);
+	pre.dataset.testid = "task-ledger-summary";
+	clearNode(ledgerEl);
+	ledgerEl.appendChild(el("h3", "section-heading", "Source fidelity ledger"));
+	ledgerEl.appendChild(pre);
+}
+
 export async function loadOlderTaskRuns(featureId, taskId, before, runsEl) {
 	if (runsEl === undefined) {
 		runsEl = before;

package/dist/workflows/dag/backend-test-case-coverage-analysis.js

@@ -5,6 +5,7 @@ import path from "node:path";
 import { z } from "zod";
 import YAML from "yaml";
 import { resolveBackendTestLayout, } from "./backend-test-layout.js";
+import { resolveBackendTestManifestModules, backendManifestStatusFinding } from "./backend-test-markdown-workflow.js";
 import { applyOpenApiPartitionDomainPolicy, assessScenarioPartitionCoverage, parseScenarioPartitions, } from "./backend-test-scenario-partitions.js";
 import { backendTestCaseManifestSchema, computeCaseManifestCoverageSummary, } from "./backend-test-case-manifest.js";
 const CASE_HEADING = /^##\s+(BE-[A-Z0-9_-]+-\d{3})\b.*$/gm;
@@ -659,10 +660,18 @@ async function markdownModuleFiles(workspaceRoot, layout) {
     const resolved = layout ?? resolveBackendTestLayout(undefined);
     const dir = path.join(workspaceRoot, ...resolved.markdownDir.split("/"));
     const entries = await readdir(dir, { withFileTypes: true });
-    return entries
+    const all = entries
         .filter((entry) => entry.isFile() && entry.name.toLowerCase().endsWith(".md") && entry.name.toLowerCase() !== "readme.md")
         .map((entry) => path.join(dir, entry.name))
         .sort();
+    // Current-round Markdown scope is the README Module Index manifest: unmanifested
+    // legacy .md files must not enter Case/coverage/partition statistics. Workspaces
+    // without a Module Index fall back to the whole directory (prior behaviour).
+    const manifest = await resolveBackendTestManifestModules(workspaceRoot, resolved);
+    if (manifest.manifestStatus !== "valid")
+        return [];
+    const declaredAbs = new Set(manifest.declaredMdFiles.map((rel) => path.join(workspaceRoot, ...rel.split("/")).toLowerCase()));
+    return all.filter((file) => declaredAbs.has(file.toLowerCase())).sort();
 }
 async function parseMarkdownCases(workspaceRoot, layout) {
     const result = [];
@@ -874,6 +883,16 @@ export async function analyzeBackendTestCaseCoverage(input) {
     findings.push(...coverageScope.findings);
     const matrix = parseCoverageMatrix(readme);
     findings.push(...matrix.findings);
+    const manifest = await resolveBackendTestManifestModules(input.workspaceRoot, layout);
+    // Fail closed on README Module Index entries declared but never materialized.
+    if (manifest.declaredMissing.length > 0) {
+        findings.push(`declared Markdown module is missing (Module Index): ${manifest.declaredMissing.join(", ")}`);
+    }
+    // Fail closed on every non-valid Module Index state: without a valid unique
+    // Module Index the current round must not re-scan historical `.md` files.
+    if (manifest.manifestStatus !== "valid") {
+        findings.push(backendManifestStatusFinding(manifest.manifestStatus, manifest.moduleIndexHeadingCount));
+    }
     const cases = await parseMarkdownCases(input.workspaceRoot, layout);
     for (const file of await markdownModuleFiles(input.workspaceRoot, layout)) {
         const markdown = await readFile(file, "utf8");
@@ -1109,6 +1128,15 @@ export async function analyzeBackendTestCaseCoverage(input) {
         "",
         facts.status,
         "",
+        `- Manifest scope: ${manifest.manifestStatus === "valid" ? "declared-modules" : `fails-closed:${manifest.manifestStatus}`} (declared-missing=${manifest.declaredMissing.length}, unmanifested-advisory=${manifest.unmanifested.length}, module-index-heading-count=${manifest.moduleIndexHeadingCount})`,
+        "",
+        "## Unmanifested Markdown Modules",
+        "",
+        "- Advisory: existing .md files not declared by the README Module Index are excluded from Case/coverage/partition statistics for this round.",
+        ...(manifest.unmanifested.length > 0
+            ? manifest.unmanifested.map((item) => `- ${item}`)
+            : ["- None"]),
+        "",
         "## Coverage Scope",
         "",
         `- Change Classification: ${facts.coverageScope.changeClassification}`,