@tea-agent/loop-agent 0.40.0-next.1 → 0.40.0-next.10

package/dist/worker/observe/static/views/dag.d.ts

@@ -0,0 +1,13 @@
+export interface DagNodeRemark {
+	failed: boolean;
+	text: string;
+	isErrorSummary: boolean;
+}
+
+export function resolveNodeRemark(node: {
+	status?: string | null;
+	errorPreview?: string | null;
+	label?: string | null;
+	nodeId: string;
+	rank?: string | number | null;
+} | null | undefined): DagNodeRemark;

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

@@ -70,6 +70,7 @@ import {
 	dashboardVisibleFeatures,
 	findDagForRun,
 } from "../dag-model.js";
+import { describeDagNodePurpose } from "../dag-node-purpose.js";
 import { layoutDag } from "../dag-layout.js";
 import {
 	showView,
@@ -136,7 +137,7 @@ export function extractFirstErrorSummary(errorPreview) {
 	return effective ?? "";
 }
 
-/** Resolve 备注 cell content for a DAG node (failed → summary; else label). */
+/** Resolve 备注 cell content for a DAG node (failed → summary; else purpose). */
 export function resolveNodeRemark(node) {
 	const failed = isNodeFailed(node?.status);
 	if (failed) {
@@ -147,10 +148,10 @@ export function resolveNodeRemark(node) {
 			isErrorSummary: Boolean(summary),
 		};
 	}
-	const label = typeof node?.label === "string" ? node.label.trim() : "";
+	const purpose = describeDagNodePurpose(node?.nodeId, node);
 	return {
 		failed: false,
-		text: label || "—",
+		text: purpose || "—",
 		isErrorSummary: false,
 	};
 }
@@ -363,7 +364,7 @@ export async function renderDagDetail(dagRunId, initial = true) {
 			"page-action-btn",
 			"在操作台中止此运行 →",
 		);
-		interruptLink.href = `/#/recovery?dagRunId=${encodeURIComponent(dag.dagRunId)}&intent=interrupt`;
+		interruptLink.href = `/#/operate/recovery?dagRunId=${encodeURIComponent(dag.dagRunId)}&intent=interrupt`;
 		interruptLink.setAttribute("data-testid", "inspect-dag-interrupt-link");
 		interruptLink.title = "只跳转到操作台 Recovery，不会在观测页执行中止";
 		primaryEntries.push(["协作中止", interruptLink]);
@@ -481,6 +482,7 @@ export function startDagPolling(dagRunId, initial = true) {
 		const active = await renderDagDetail(dagRunId, isInitial);
 		if (generation !== uiState.pollingGeneration || !active) return;
 		const delay = detailPollDelay("running", isPageVisible());
+		if (delay == null) return;
 		uiState.dagPollTimer = setTimeout(() => {
 			uiState.dagPollTimer = null;
 			void poll(false);

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

@@ -84,7 +84,7 @@ let dashboardLoadingNode = null;
 
 /**
  * 「昨夜班次」条带：夜间结果在观测侧的唯一一级呈现（替代旧「夜间任务」tab）。
- * 管理动作（晨审处置）始终落在操作侧 /#/night，保持 Inspect 只读不变式。
+ * 管理动作（晨审处置）始终落在操作侧 /#/operate/night，保持 Inspect 只读不变式。
  */
 async function renderNightStrip() {
 	const strip = document.getElementById("dashboard-night");
@@ -118,14 +118,14 @@ async function renderNightStrip() {
 
 	const actions = el("div", "night-strip-actions");
 	const detail = el("a", "page-action-btn", "夜间详情");
-	detail.href = "#/night";
+	detail.href = "/#/inspect/night";
 	detail.addEventListener("click", (e) => {
 		e.preventDefault();
 		navigate("/night");
 	});
 	actions.appendChild(detail);
 	const manage = el("a", "page-action-btn night-strip-manage", "晨审处置 →");
-	manage.href = "/#/night";
+	manage.href = "/#/operate/night";
 	manage.title = "夜间计划的管理与晨审处置在操作台完成（Inspect 保持只读）";
 	actions.appendChild(manage);
 	strip.appendChild(actions);
@@ -738,10 +738,12 @@ export function startDashboardPolling(scrollTo) {
 	const poll = async (initialScrollTo) => {
 		await renderDashboard(initialScrollTo);
 		if (generation !== uiState.pollingGeneration) return;
+		const delay = dashboardPollDelay();
+		if (delay == null) return;
 		uiState.dashboardTimer = setTimeout(() => {
 			uiState.dashboardTimer = null;
 			void poll();
-		}, dashboardPollDelay());
+		}, delay);
 	};
 	void poll(scrollTo);
 }

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

@@ -46,8 +46,8 @@ export async function renderNightJobs(scheduleId) {
 	showView("night");
 	bindNightToolbar();
 	const crumbs = [
-		{ label: UI_TEXT.dashboard, href: "#/" },
-		{ label: UI_TEXT.nightJobs, href: "#/night" },
+		{ label: UI_TEXT.dashboard, href: "/#/inspect" },
+		{ label: UI_TEXT.nightJobs, href: "/#/inspect/night" },
 	];
 	if (scheduleId) crumbs.push({ label: scheduleId });
 	setBreadcrumb(crumbs);

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

@@ -93,6 +93,7 @@ function startPoolAutoPolling() {
 		if (generation !== uiState.pollingGeneration) return;
 		if (!poolAutoRefreshEnabled()) return;
 		const delay = isPageVisible() ? POOL_POLL_MS : dashboardPollDelay();
+		if (delay == null) return;
 		uiState.poolTimer = setTimeout(() => {
 			uiState.poolTimer = null;
 			void poll();

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

@@ -50,6 +50,7 @@ import {
 } from "../relations.js";
 import { copyText, renderRecommendedCommand } from "../copy.js";
 import {
+	fetchWithWorkspaceScope,
 	isPageVisible,
 	detailPollDelay,
 	dashboardPollDelay,
@@ -126,7 +127,7 @@ export function renderInlineArtifactList(container, artifacts) {
 		list.appendChild(li);
 		void (async () => {
 			try {
-				const res = await fetch(artifactUrl(artifactPath));
+				const res = await fetchWithWorkspaceScope(artifactUrl(artifactPath));
 				const text = await res.text();
 				if (!res.ok) {
 					let message = text;
@@ -444,6 +445,7 @@ export function startRunPolling(workerRunId, initial = true) {
 		const active = await renderRun(workerRunId, isInitial);
 		if (generation !== uiState.pollingGeneration || !active) return;
 		const delay = detailPollDelay("running", isPageVisible());
+		if (delay == null) return;
 		uiState.runPollTimer = setTimeout(() => {
 			uiState.runPollTimer = null;
 			void poll(false);

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 {
@@ -85,7 +86,7 @@ export async function renderTaskDetail(featureId, taskId) {
 	showView("task");
 	setBreadcrumb([
 		{ label: UI_TEXT.dashboard, href: "#/" },
-		{ label: "资源池", href: "#/pool" },
+		{ label: "资源池", href: "/#/inspect/pool" },
 		{ label: displayLabel },
 	]);
 
@@ -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}`,

package/dist/workflows/dag/backend-test-markdown-workflow.js

@@ -200,14 +200,170 @@ export async function inspectBackendTestEnvironment(input) {
         serverEntries,
     };
 }
+/**
+ * Filenames declared by the canonical `## Module Index` section of the backend
+ * README. Only a unique exact `## Module Index` heading is authoritative; a
+ * missing/duplicate section yields an empty declaration set (callers then fall
+ * back to the whole directory so legacy workspaces without a manifest keep
+ * their prior behaviour). Reads `[x](./x.md)`, `` `testcase/md/<x>.md` `` and
+ * inline `x.md` tokens inside the section; README.md itself is never a module.
+ */
+export function extractDeclaredModuleIndexFilenames(readme) {
+    const lines = readme
+        .replaceAll("\r\n", "\n")
+        .replaceAll("\r", "\n")
+        .split("\n");
+    const headings = lines.flatMap((line, index) => line.trim() === "## Module Index" ? [index] : []);
+    if (headings.length !== 1)
+        return [];
+    const start = headings[0] + 1;
+    const relativeEnd = lines
+        .slice(start)
+        .findIndex((line) => /^##\s+\S/.test(line.trim()));
+    const end = relativeEnd < 0 ? lines.length : start + relativeEnd;
+    const section = lines.slice(start, end).join("\n");
+    return unique([...section.matchAll(/`?[A-Za-z0-9_.-]+\.md`?/g)]
+        .map((match) => match[0].replaceAll("`", ""))
+        .filter((name) => name.toLowerCase() !== "readme.md"));
+}
+/**
+ * Count exact `## Module Index` headings in the backend README.
+ */
+function moduleIndexHeadingCountIn(readme) {
+    return readme
+        .replaceAll("\r\n", "\n")
+        .replaceAll("\r", "\n")
+        .split("\n")
+        .filter((line) => line.trim() === "## Module Index").length;
+}
+/**
+ * Machine-readable fail-closed finding for an invalid backend-test Module Index.
+ * These are distinct states (missing/unreadable/duplicate/empty-unparsable) so a
+ * stripped Module Index can never silently fall back to a whole-directory scan.
+ */
+export function backendManifestStatusFinding(manifestStatus, moduleIndexHeadingCount = 0) {
+    switch (manifestStatus) {
+        case "missing":
+            return "README is missing; backend-test current round fails closed without a declarative Module Index";
+        case "unreadable":
+            return "README is unreadable; backend-test current round fails closed without a usable Module Index";
+        case "duplicate":
+            return moduleIndexHeadingCount === 0
+                ? "README Module Index heading is missing; backend-test current round fails closed without a declarative Module Index"
+                : `duplicate ## Module Index heading (${moduleIndexHeadingCount} occurrences); backend-test current round fails closed without a unique Module Index`;
+        case "empty-unparsable":
+            return "README Module Index is empty/unparsable; backend-test current round fails closed with no declared module";
+        case "valid":
+            return "";
+    }
+}
+/**
+ * Resolve the current-round Markdown module manifest. The README `## Module
+ * Index` is the authoritative source for which module files belong to this
+ * round. Fail closed on every non-`valid` state (missing/unreadable/duplicate/
+ * empty-unparsable): the backend-test current round must NEVER re-scan the whole
+ * directory, or historical `.md` files could leak back into Case/coverage/
+ * partition facts.
+ *
+ * - `manifestStatus==="valid"`   — unique heading with >= 1 declared `.md` file.
+ * - `missing`                     — README file does not exist.
+ * - `unreadable`                  — README exists but could not be read.
+ * - `duplicate`                   — README has 0 or duplicate `## Module Index`.
+ * - `empty-unparsable`            — unique heading but no `.md` filename parsed.
+ * - `declaredMdFiles`  — declared filenames that exist on disk (relative paths).
+ * - `declaredMissing`  — declared filenames with no file on disk (fail-closed
+ *   evidence, never silently dropped).
+ * - `unmanifested`     — existing `.md` files that the Module Index does not
+ *   declare (non-silent advisory; they must not enter Case/coverage/partition).
+ */
+export async function resolveBackendTestManifestModules(workspaceRoot, layout) {
+    const resolved = layout ?? resolveBackendTestLayout(undefined);
+    const readmePath = path.join(workspaceRoot, ...resolved.readmePath.split("/"));
+    const invalid = (manifestStatus, moduleIndexHeadingCount) => ({
+        hasManifest: false,
+        manifestStatus,
+        moduleIndexHeadingCount,
+        declaredStems: [],
+        declaredMdFiles: [],
+        declaredMissing: [],
+        unmanifested: [],
+    });
+    let readme = "";
+    if (await exists(readmePath)) {
+        try {
+            readme = await readFile(readmePath, "utf8");
+        }
+        catch {
+            // Unreadable README is fail-closed (not silently treated as no manifest).
+            return invalid("unreadable", 0);
+        }
+    }
+    else {
+        return invalid("missing", 0);
+    }
+    const moduleIndexHeadingCount = moduleIndexHeadingCountIn(readme);
+    if (moduleIndexHeadingCount !== 1) {
+        return invalid("duplicate", moduleIndexHeadingCount);
+    }
+    const declaredStems = extractDeclaredModuleIndexFilenames(readme);
+    if (declaredStems.length === 0) {
+        return invalid("empty-unparsable", moduleIndexHeadingCount);
+    }
+    const hasManifest = true;
+    const directory = path.join(workspaceRoot, ...resolved.markdownDir.split("/"));
+    let existingNames = [];
+    try {
+        existingNames = (await readdir(directory, { withFileTypes: true }))
+            .filter((entry) => entry.isFile() &&
+            entry.name.toLowerCase().endsWith(".md") &&
+            entry.name.toLowerCase() !== "readme.md")
+            .map((entry) => entry.name);
+    }
+    catch {
+        // missing markdown directory -> no existing modules
+    }
+    const declaredByLower = new Map();
+    for (const name of declaredStems) {
+        const base = path.posix.basename(name);
+        declaredByLower.set(base.toLowerCase(), base);
+    }
+    const declaredMdFiles = [];
+    const declaredMissing = [];
+    for (const base of declaredByLower.values()) {
+        const disk = existingNames.find((name) => name.toLowerCase() === base.toLowerCase());
+        if (disk)
+            declaredMdFiles.push(`${resolved.markdownDir}/${disk}`);
+        else
+            declaredMissing.push(`${resolved.markdownDir}/${base}`);
+    }
+    const unmanifested = existingNames
+        .filter((name) => !declaredByLower.has(name.toLowerCase()))
+        .map((name) => `${resolved.markdownDir}/${name}`);
+    return {
+        hasManifest,
+        manifestStatus: "valid",
+        moduleIndexHeadingCount,
+        declaredStems,
+        declaredMdFiles: declaredMdFiles.sort(),
+        declaredMissing: declaredMissing.sort(),
+        unmanifested: unmanifested.sort(),
+    };
+}
 export async function markdownFiles(root, layout) {
     const resolved = layout ?? resolveBackendTestLayout(undefined);
     const directory = path.join(root, ...resolved.markdownDir.split("/"));
     const entries = await readdir(directory, { withFileTypes: true });
-    return entries
+    const all = entries
         .filter((entry) => entry.isFile() && entry.name.toLowerCase().endsWith(".md"))
         .map((entry) => path.join(directory, entry.name))
         .sort();
+    const manifest = await resolveBackendTestManifestModules(root, resolved);
+    if (manifest.manifestStatus !== "valid")
+        return [];
+    const declaredAbs = new Set(manifest.declaredMdFiles.map((rel) => path.join(root, ...rel.split("/")).toLowerCase()));
+    return all
+        .filter((file) => declaredAbs.has(file.toLowerCase()))
+        .sort();
 }
 function canonicalBackendCaseId(value) {
     const upper = value.toUpperCase();
@@ -453,6 +609,17 @@ export async function validateBackendMarkdownCases(input) {
     const readme = path.join(input.workspaceRoot, ...layout.readmePath.split("/"));
     if (!(await exists(readme)))
         findings.push(`missing ${layout.readmePath}`);
+    const manifest = await resolveBackendTestManifestModules(input.workspaceRoot, layout);
+    // Fail closed on README Module Index entries that were declared but never
+    // materialized — never let a declared module silently vanish from the round.
+    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 moduleFiles = files.filter((file) => path.basename(file).toLowerCase() !== "readme.md");
     if (moduleFiles.length === 0)
         findings.push(`no ${layout.markdownDir} module case file found`);
@@ -562,6 +729,7 @@ export async function validateBackendMarkdownCases(input) {
         `- Cases: ${caseCount}`,
         `- Covered AC IDs: ${[...coveredAc].sort().join(", ") || "none"}`,
         `- Environment evidence present: ${input.environmentMarkdown.trim() ? "yes" : "no"}`,
+        `- 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})`,
         `- Findings: ${findings.length}`,
         "- Required sections: Preconditions/前置条件, Steps/操作步骤, Expected Results/预期结果",
         "- Source-reference validity check: not applied",
@@ -583,6 +751,13 @@ export async function validateBackendMarkdownCases(input) {
             ? safetyFindings.map((finding) => `- ${finding}`)
             : ["- No secret-shaped values detected."]),
         "",
+        "## Unmanifested Markdown Modules",
+        "",
+        "- Advisory: existing .md files not declared by the README Module Index are excluded from this round's Case/coverage/partition scope.",
+        ...(manifest.unmanifested.length > 0
+            ? manifest.unmanifested.map((item) => `- ${item}`)
+            : ["- None"]),
+        "",
         "## Findings",
         "",
         ...(findings.length > 0 ? findings.map((finding) => `- ${finding}`) : ["- None"]),