@tea-agent/loop-agent 0.25.3 → 0.25.5

package/dist/workflows/dag/backend-test-case-manifest.js

@@ -44,7 +44,7 @@ const gapSchema = z
 const caseSchema = z
     .object({
     caseId: z.string().regex(BACKEND_TEST_CASE_ID_PATTERN),
-    acIds: z.array(z.string().regex(BACKEND_TEST_AC_ID_PATTERN)).min(1),
+    acIds: z.array(z.string().regex(BACKEND_TEST_AC_ID_PATTERN)),
     title: z.string().min(1),
     category: backendTestCaseCategorySchema,
     automationStatus: backendTestCaseAutomationStatusSchema,
@@ -96,6 +96,44 @@ export const backendTestCaseManifestSchema = z
         requirementIds: z.array(z.string().regex(/^(?:REQ|BR|AC)-[A-Z0-9]+(?:-[A-Z0-9]+)*$/)),
     })
         .strict(),
+    materializationStatus: z.enum(["available", "partial", "unavailable"]).optional(),
+    sourceFactsIssues: z.array(z.string().min(1)).optional(),
+    ruleCoverageSummary: z.object({
+        explicitAcCount: z.number().int().min(0),
+        coveredAcCount: z.number().int().min(0),
+        ruleCount: z.number().int().min(0),
+        coveredRuleCount: z.number().int().min(0),
+        testPointCount: z.number().int().min(0),
+        coveredTestPointCount: z.number().int().min(0),
+        enumValueCount: z.number().int().min(0),
+        coveredEnumValueCount: z.number().int().min(0),
+        invalidEquivalenceClassCount: z.number().int().min(0),
+        coveredInvalidEquivalenceClassCount: z.number().int().min(0),
+        boundaryPointCount: z.number().int().min(0),
+        coveredBoundaryPointCount: z.number().int().min(0),
+        formatClassCount: z.number().int().min(0),
+        coveredFormatClassCount: z.number().int().min(0),
+        businessStateCount: z.number().int().min(0),
+        coveredBusinessStateCount: z.number().int().min(0),
+        gapCount: z.number().int().min(0),
+        conflictCount: z.number().int().min(0),
+    }).strict().optional(),
+    correspondenceSummary: z.object({
+        markdownModuleCount: z.number().int().min(0),
+        exactModuleCount: z.number().int().min(0),
+        markdownCaseCount: z.number().int().min(0),
+        exactCorrespondenceCount: z.number().int().min(0),
+        missingPytestCount: z.number().int().min(0),
+        multiplePytestCount: z.number().int().min(0),
+        extraPytestCount: z.number().int().min(0),
+        scriptMismatchCount: z.number().int().min(0),
+        testPointCount: z.number().int().min(0),
+        mappedTestPointCount: z.number().int().min(0),
+    }).strict().optional(),
+    artifactRefs: z.object({
+        caseCoverageFacts: z.object({ path: z.string().min(1), sha256: z.string().regex(/^[a-f0-9]{64}$/).optional() }).strict(),
+        correspondenceFacts: z.object({ path: z.string().min(1), sha256: z.string().regex(/^[a-f0-9]{64}$/).optional() }).strict(),
+    }).strict().optional(),
     cases: z.array(caseSchema),
     evidenceGaps: z.array(gapSchema).default([]),
     coverageSummary: z

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

@@ -6,8 +6,13 @@ import { createWriteStream } from "node:fs";
 import path from "node:path";
 import { promisify } from "node:util";
 import { parseJacocoXml, } from "./backend-test-coverage-contract.js";
+import { backendTestCaseManifestSchema, computeCaseManifestCoverageSummary, } from "./backend-test-case-manifest.js";
 const execFileAsync = promisify(execFile);
-const CASE_ID = /\bBE-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3}\b/g;
+// Canonical contract is three digits (BE-MODULE-001). Readers accept legacy/
+// model-drift two-digit suffixes and canonicalize them in memory so one bad
+// heading width cannot collapse the whole manifest/report to zero cases.
+const CASE_ID = /\bBE-[A-Z0-9_-]+-\d{2,3}\b/g;
+const CANONICAL_CASE_ID = /\bBE-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3}\b/;
 const AC_ID = /\bAC-[A-Z0-9]+(?:-[A-Z0-9]+)*\b/g;
 const SECRET = /(?:password|passwd|secret|token|api[_-]?key|private[_-]?key|authorization)\s*[:=]\s*\S+/i;
 const SECRET_ASSIGNMENT = /\b(password|passwd|secret|token|api[_-]?key|private[_-]?key|authorization|cookie|set-cookie|credential)\b\s*[:=]\s*([^\r\n,;]+)/gi;
@@ -178,12 +183,27 @@ async function markdownFiles(root) {
         .map((entry) => path.join(directory, entry.name))
         .sort();
 }
+function canonicalBackendCaseId(value) {
+    const upper = value.toUpperCase();
+    const match = upper.match(/^(BE-[A-Z0-9_-]+)-(\d{2,3})$/);
+    if (!match)
+        return upper;
+    const modulePart = match[1]
+        .replaceAll("_", "-")
+        .replace(/-+/g, "-")
+        .replace(/-$/, "");
+    return `${modulePart}-${match[2].padStart(3, "0")}`;
+}
+function caseIdsInText(value) {
+    return unique((value.match(CASE_ID) ?? []).map(canonicalBackendCaseId));
+}
 function splitCases(markdown) {
     const headings = [
-        ...markdown.matchAll(/^##\s+(BE-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3})\b.*$/gm),
+        ...markdown.matchAll(/^##\s+(BE-[A-Z0-9_-]+-\d{2,3})\b.*$/gm),
     ];
     return headings.map((match, index) => ({
-        id: match[1],
+        id: canonicalBackendCaseId(match[1]),
+        rawId: match[1],
         body: markdown.slice(match.index, headings[index + 1]?.index ?? markdown.length),
     }));
 }
@@ -228,12 +248,20 @@ function extractSourceReferences(input) {
     // rejects them instead of silently accepting a nearby bound prefix.
     return unique([...boundMatches, ...citedPaths]);
 }
+function hasStructuredMarkdownTable(value, headerPattern) {
+    const rows = value.split(/\r?\n/).filter((line) => /^\s*\|.*\|\s*$/.test(line));
+    if (rows.length < 3 || !headerPattern.test(rows[0]))
+        return false;
+    return /^\s*\|(?:\s*:?-{3,}:?\s*\|)+\s*$/i.test(rows[1]) && rows.slice(2).some((row) => row.split("|").some((cell) => cell.trim().length > 0));
+}
 function hasNumberedListItem(value) {
     return (/^\s*\d+[.)]\s+\S+/m.test(value) ||
-        /^\s*\|\s*\d+\s*\|\s*\S+/m.test(value));
+        /^\s*\|\s*\d+\s*\|\s*\S+/m.test(value) ||
+        hasStructuredMarkdownTable(value, /(?:步骤|操作|测试点|参数|step|action|operation|test point|parameter)/i));
 }
 function hasAssertableExpectedResult(value) {
-    return /^\s*(?:\d+[.)]|[-*+])\s+\S+/m.test(value);
+    return (/^\s*(?:\d+[.)]|[-*+])\s+\S+/m.test(value) ||
+        hasStructuredMarkdownTable(value, /(?:预期|期望|断言|状态|结果|expected|assert|status|result)/i));
 }
 function resolveBoundSourceReference(input) {
     if (!input.sourceBinding) {
@@ -396,6 +424,9 @@ export async function validateBackendMarkdownCases(input) {
         }
         for (const testCase of cases) {
             caseCount += 1;
+            if (!CANONICAL_CASE_ID.test(testCase.rawId)) {
+                findings.push(`${testCase.rawId} uses a non-canonical Case ID; use ${testCase.id} (hyphen-separated module, three-digit sequence)`);
+            }
             const previous = seen.get(testCase.id);
             if (previous) {
                 findings.push(`duplicate case id ${testCase.id}: ${previous} and ${relativeFile}`);
@@ -545,8 +576,10 @@ function testFunctionRegion(input) {
         .join("\n");
 }
 function symbolCaseId(symbol) {
-    const match = symbol.match(/^test_(BE(?:_[A-Z0-9]+)+?_\d{3})(?:_|$)/i);
-    return match ? match[1].replaceAll("_", "-").toUpperCase() : undefined;
+    const match = symbol.match(/^test_(BE(?:_[A-Z0-9]+)+?_\d{2,3})(?:_|$)/i);
+    return match
+        ? canonicalBackendCaseId(match[1].replaceAll("_", "-"))
+        : undefined;
 }
 export async function validateBackendMarkdownTraceability(workspaceRoot) {
     const files = await markdownFiles(workspaceRoot);
@@ -606,7 +639,7 @@ export async function validateBackendMarkdownTraceability(workspaceRoot) {
                 functionIndex: match.index,
                 functionHeaderEnd: match.index + match[0].length,
             });
-            const associatedIds = new Set(region.match(CASE_ID) ?? []);
+            const associatedIds = new Set(caseIdsInText(region));
             const fromSymbol = symbolCaseId(symbol);
             if (fromSymbol)
                 associatedIds.add(fromSymbol);
@@ -711,7 +744,8 @@ export async function collectBackendTestMappedPytestScripts(workspaceRoot) {
 function cleanCaseTitle(rawHeading, id) {
     return rawHeading
         .replace(/^##\s+/, "")
-        .replace(new RegExp(`^${escapeRegExp(id)}\\s*(?:[｜|—–-]\\s*)?`), "")
+        // Strip either canonical or compatible two-digit heading ID.
+        .replace(/^BE-[A-Z0-9_-]+-\d{2,3}\s*(?:[｜|—–-]\s*)?/i, "")
         .trim() || id;
 }
 export async function collectBackendTestHumanCaseCatalog(workspaceRoot) {
@@ -755,7 +789,7 @@ export async function collectBackendTestHumanCaseCatalog(workspaceRoot) {
         for (const match of content.matchAll(/^(\s*)(?:async\s+)?def\s+(test_[A-Za-z0-9_]+)\s*\([^)]*\)\s*(?:->\s*[^:\r\n]+)?\s*:/gm)) {
             const symbol = match[2];
             const region = testFunctionRegion({ source: content, functionIndex: match.index, functionHeaderEnd: match.index + match[0].length });
-            const ids = new Set(region.match(CASE_ID) ?? []);
+            const ids = new Set(caseIdsInText(region));
             const fromSymbol = symbolCaseId(symbol);
             if (fromSymbol)
                 ids.add(fromSymbol);
@@ -772,13 +806,13 @@ export async function collectBackendTestHumanCaseCatalog(workspaceRoot) {
     return [...catalog.values()].sort((left, right) => left.id.localeCompare(right.id));
 }
 function junitCaseId(name) {
-    return symbolCaseId(name) ?? name.match(CASE_ID)?.[0];
+    return symbolCaseId(name) ?? caseIdsInText(name)[0];
 }
 /** Prefer function-name Case ID; fall back to first BE-* in free text (docstring/log). */
 function extractCaseIdFromText(value) {
     if (!value?.trim())
         return undefined;
-    return junitCaseId(value) ?? value.match(CASE_ID)?.[0];
+    return junitCaseId(value) ?? caseIdsInText(value)[0];
 }
 function resolveReportCaseId(result, catalog) {
     const fromName = extractCaseIdFromText(result.name);
@@ -854,7 +888,10 @@ function reportOutputLines(value, prefix) {
         const trimmed = line.startsWith(underscorePrefix)
             ? line.slice(underscorePrefix.length)
             : line.slice(spacePrefix.length);
-        return redactBackendTestOutput(trimmed.trim()).slice(0, 4000);
+        // Preserve a complete single-line JSON payload through parsing. Bounding
+        // happens after structural extraction; slicing here can corrupt valid JSON
+        // and make a large passed response appear as an empty body.
+        return redactBackendTestOutput(trimmed.trim());
     });
 }
 /**
@@ -871,9 +908,16 @@ export function normalizeBackendTestHttpLogText(value) {
     while (i < lines.length) {
         const raw = lines[i];
         const line = raw.trim();
-        // Already-contract lines: pass through.
-        if (/^(HTTP_REQUEST|HTTP REQUEST|HTTP_RESPONSE|HTTP RESPONSE)\b/i.test(line)) {
-            out.push(raw);
+        // Canonical and compatible single-line forms. Normalize case, separator,
+        // and an optional colon so downstream parsing only consumes the canonical
+        // HTTP_REQUEST / HTTP_RESPONSE protocol. Examples accepted here include
+        // `HTTP_REQUEST {...}`, `HTTP REQUEST method=...`, and the generated-helper
+        // dialect `HTTP request: {...}`.
+        const protocolLine = line.match(/^HTTP(?:_|\s+)(REQUEST|RESPONSE)\b\s*:?\s*(.*)$/i);
+        if (protocolLine) {
+            const canonicalPrefix = `HTTP_${protocolLine[1].toUpperCase()}`;
+            const payload = protocolLine[2]?.trim() ?? "";
+            out.push(payload ? `${canonicalPrefix} ${payload}` : canonicalPrefix);
             i += 1;
             continue;
         }
@@ -975,12 +1019,13 @@ function parseHttpLogPayload(line, kind) {
     const trimmed = line.trim();
     if (!trimmed)
         return {};
+    let parsedJson;
     let kv = {};
     // Try JSON first (legacy HTTP_REQUEST {"method":...} shape).
     if (trimmed.startsWith("{")) {
         try {
-            const parsed = JSON.parse(trimmed);
-            for (const [key, value] of Object.entries(parsed)) {
+            parsedJson = JSON.parse(trimmed);
+            for (const [key, value] of Object.entries(parsedJson)) {
                 kv[key.toLowerCase()] = typeof value === "string" ? value : safeStringify(value);
             }
         }
@@ -992,21 +1037,68 @@ function parseHttpLogPayload(line, kind) {
         kv = extractKvPairs(trimmed);
     }
     if (kind === "request") {
+        const queryEnvelope = asHttpLogRecord(parsedJson?.query);
+        const method = kv.method ?? httpLogScalar(queryEnvelope?.method);
+        const url = kv.url ?? kv.path ?? httpLogScalar(queryEnvelope?.url) ?? httpLogScalar(queryEnvelope?.path);
+        let body = kv.parameters ?? kv.payload ?? kv.data;
+        if (!body && parsedJson) {
+            const parameters = {};
+            if (queryEnvelope) {
+                const businessQuery = Object.fromEntries(Object.entries(queryEnvelope).filter(([key]) => !["method", "url", "path"].includes(key)));
+                parameters.query = businessQuery;
+            }
+            else if (Object.hasOwn(parsedJson, "query")) {
+                parameters.query = parsedJson.query;
+            }
+            for (const key of ["body", "json"]) {
+                if (Object.hasOwn(parsedJson, key))
+                    parameters[key] = parsedJson[key];
+            }
+            if (Object.keys(parameters).length > 0)
+                body = boundedHttpLogBody(parameters);
+        }
         return {
-            method: kv.method,
-            url: kv.url,
-            body: kv.parameters ?? kv.body ?? kv.json ?? kv.data ?? kv.query ?? kv.payload,
+            method,
+            url,
+            body: boundedHttpLogBody(body ?? kv.body ?? kv.json ?? kv.query),
         };
     }
-    const status = kv.status_code ?? kv.status;
+    const nestedJson = asHttpLogRecord(parsedJson?.json);
+    const nestedTransport = !kv.status_code && !kv.status
+        && Boolean(nestedJson && (Object.hasOwn(nestedJson, "status_code") || Object.hasOwn(nestedJson, "body")));
+    const status = kv.status_code ?? kv.status
+        ?? (nestedTransport ? httpLogScalar(nestedJson?.status_code ?? nestedJson?.status) : undefined);
+    const body = kv.result
+        ?? (nestedTransport ? boundedHttpLogBody(nestedJson?.body ?? nestedJson) : kv.json)
+        ?? kv.body
+        ?? kv.text;
     return {
         method: kv.method,
-        url: kv.url,
+        url: kv.url ?? kv.path,
         status,
         statusText: kv.status_text ?? (status ? HTTP_STATUS_TEXT[status] : undefined),
-        body: kv.result ?? kv.body ?? kv.text,
+        body: boundedHttpLogBody(body),
     };
 }
+function asHttpLogRecord(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : undefined;
+}
+function httpLogScalar(value) {
+    return typeof value === "string" || typeof value === "number"
+        ? String(value)
+        : undefined;
+}
+function boundedHttpLogBody(value) {
+    if (value === undefined)
+        return undefined;
+    const text = typeof value === "string" ? value : safeStringify(value);
+    const maxChars = 4000;
+    return text.length <= maxChars
+        ? text
+        : `${text.slice(0, maxChars)}\n… [truncated ${text.length - maxChars} chars]`;
+}
 function extractKvPairs(value) {
     const result = {};
     // Split on top-level spaces but keep {...}/[...] payloads intact.
@@ -1175,15 +1267,62 @@ function renderHttpCallCard(call) {
         : "";
     return `<div style="border:1px solid #eef0f3;border-radius:10px;padding:12px 14px;margin-top:10px;background:#fcfdff">${header}${requestBlock}${responseBlock}</div>`;
 }
+function analyzeBackendTestFailure(result) {
+    const evidence = [result.message, result.details].filter(Boolean).join("\n");
+    const statusPatterns = [
+        { pattern: /实际(?:\s*HTTP)?\s*状态码\s*[:：]?\s*(\d{3})[\s\S]{0,80}?预期(?:\s*HTTP)?\s*状态码?\s*[:：]?\s*(\d{3})/i, actualGroup: 1, expectedGroup: 2 },
+        { pattern: /预期(?:\s*HTTP)?\s*状态码\s*[:：]?\s*(\d{3})[\s\S]{0,80}?实际(?:\s*HTTP)?\s*状态码?\s*[:：]?\s*(\d{3})/i, actualGroup: 2, expectedGroup: 1 },
+        { pattern: /assert\s+(\d{3})\s*==\s*(\d{3})/i, actualGroup: 1, expectedGroup: 2 },
+        { pattern: /expected\s*[:=]?\s*(\d{3})[\s\S]{0,80}?(?:actual|received|got)\s*[:=]?\s*(\d{3})/i, actualGroup: 2, expectedGroup: 1 },
+    ];
+    for (const candidate of statusPatterns) {
+        const match = evidence.match(candidate.pattern);
+        if (match) {
+            const actual = match[candidate.actualGroup];
+            const expected = match[candidate.expectedGroup];
+            if (actual && expected) {
+                return `HTTP 状态码不符合预期：期望 ${expected}，实际 ${actual}。建议核对接口错误码契约、异常映射与测试前置数据。`;
+            }
+        }
+    }
+    const contentTypeMatch = evidence.match(/assert\s+(['"])(.*?)\1\.startswith\(\s*(['"])application\/json\3\s*\)/i);
+    if (contentTypeMatch) {
+        const actual = contentTypeMatch[2];
+        const actualLabel = actual ? `为 ${actual}` : "为空值";
+        return `响应 Content-Type 不符合预期：期望以 application/json 开头，实际${actualLabel}。建议核对接口响应头设置。`;
+    }
+    const assertionEvidence = (result.details ?? "")
+        .split(/\r?\n/)
+        .map((line) => line.trim().replace(/^E\s+/, ""))
+        .find((line) => /^assert\b/i.test(line));
+    const rawMessage = /^\d+:\s*AssertionError\s*$/i.test(result.message?.trim() ?? "") && assertionEvidence
+        ? assertionEvidence
+        : result.message || assertionEvidence || humanStatus(result.status);
+    const message = rawMessage.replace(/\s+/g, " ").trim().slice(0, 240);
+    if (result.status === "error") {
+        return `测试执行发生错误：${message}。建议优先检查 fixture、依赖导入、环境连接与运行时异常。`;
+    }
+    return `断言未满足：${message}。建议结合失败详情及请求/响应证据核对接口行为与用例预期。`;
+}
 export function renderBackendTestHtml(input) {
     const failed = input.parsed.failed + input.parsed.errors > 0;
     const passRate = input.parsed.tests > 0 ? input.parsed.passed / input.parsed.tests : 0;
     const catalog = new Map((input.cases ?? []).map((item) => [item.id, item]));
     const caseValidation = parseAdvisorySummary(input.caseValidationSummary);
+    const caseCoverage = parseAdvisorySummary(input.caseCoverageSummary);
     const traceability = parseAdvisorySummary(input.traceabilitySummary);
+    const correspondence = parseAdvisorySummary(input.correspondenceSummary);
     const failures = input.parsed.cases.filter((result) => result.status !== "passed");
     const headColor = failed ? { fg: "#b42318", bg: "linear-gradient(135deg,#fef3f2 0,#fee4e2 100%)", border: "#fda29b", icon: "✗" } : { fg: "#067647", bg: "linear-gradient(135deg,#ecfdf3 0,#d1fadf 100%)", border: "#abefc6", icon: "✓" };
-    const caseCards = input.parsed.cases.map((result) => {
+    const orderedCases = input.parsed.cases
+        .map((result, index) => ({ result, index }))
+        .sort((left, right) => {
+        const leftFailed = left.result.status === "failure" || left.result.status === "error" ? 0 : 1;
+        const rightFailed = right.result.status === "failure" || right.result.status === "error" ? 0 : 1;
+        return leftFailed - rightFailed || left.index - right.index;
+    })
+        .map(({ result }) => result);
+    const caseCards = orderedCases.map((result) => {
         const caseId = resolveReportCaseId(result, catalog);
         const item = caseId === "未关联" ? undefined : catalog.get(caseId);
         const io = requestResponseSummary(result);
@@ -1201,20 +1340,23 @@ export function renderBackendTestHtml(input) {
     const metricCard = (label, value, valueColor = "#172033") => `<div style="padding:14px 16px;border:1px solid #e3e8ef;border-radius:12px;background:#fbfcfe"><span style="color:#667085;font-size:0.78rem">${escapeHtml(label)}</span><div style="font-size:22px;font-weight:700;color:${valueColor}">${value}</div></div>`;
     const metrics = `<div style="display:grid;grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:12px;margin-top:14px">${metricCard("用例总数", input.parsed.tests)}${metricCard("通过", input.parsed.passed, "#067647")}${metricCard("失败", input.parsed.failed)}${metricCard("错误", input.parsed.errors)}${metricCard("跳过", input.parsed.skipped)}<div style="padding:14px 16px;border:1px solid #e3e8ef;border-radius:12px;background:#fbfcfe"><span style="color:#667085;font-size:0.78rem">通过率</span><div style="font-size:22px;font-weight:700;color:#067647">${(passRate * 100).toFixed(2)}%</div><span style="color:#667085;font-size:0.78rem">耗时 ${formatDuration(input.parsed.durationMs)}</span></div></div>`;
     const summaryBanner = `<div style="display:flex;align-items:center;gap:16px;padding:16px 18px;border-radius:14px;background:${headColor.bg};border:1px solid ${headColor.border}"><div style="flex:0 0 auto;width:44px;height:44px;border-radius:999px;background:${headColor.fg};display:flex;align-items:center;justify-content:center;color:#fff;font-size:24px;font-weight:900;box-shadow:0 4px 12px ${headColor.fg}4d">${headColor.icon}</div><div><div style="color:${headColor.fg};font-size:1.05rem;font-weight:800;line-height:1.3">${failed ? "本轮测试未通过" : "本轮测试通过"}</div><div style="color:${headColor.fg};font-size:0.88rem;margin-top:2px">${failed ? `${input.parsed.failed + input.parsed.errors} 条用例失败或错误` : `${input.parsed.passed} 条用例全部执行成功`}</div></div></div>`;
-    const qualityBlock = `<div style="margin-top:18px"><div style="color:#17365d;font-size:16px;font-weight:700;margin:0 4px 6px">质量校验</div><div style="display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:12px;margin-top:8px">${renderQualityCard("Markdown 用例校验", caseValidation)}${renderQualityCard("Markdown → pytest 追溯", traceability)}</div></div>`;
+    const qualityBlock = `<div style="margin-top:18px"><div style="color:#17365d;font-size:16px;font-weight:700;margin:0 4px 6px">质量校验</div><div style="display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:12px;margin-top:8px">${renderQualityCard("Markdown 用例校验", caseValidation, input.caseValidationSummary)}${renderQualityCard("用例场景覆盖分析", caseCoverage, input.caseCoverageSummary)}${renderQualityCard("Markdown → pytest 追溯", traceability, input.traceabilitySummary)}${renderQualityCard("Markdown → pytest 一一对应", correspondence, input.correspondenceSummary)}</div></div>`;
     const failureOverview = failures.length > 0
         ? `<div style="margin-top:18px"><div style="color:#17365d;font-size:16px;font-weight:700;margin:0 4px 6px">失败概览</div><div style="display:grid;gap:10px;margin-top:8px">${failures.map((result) => {
             const caseId = resolveReportCaseId(result, catalog);
             const c = statusColor(result.status);
-            return `<div style="border-left:4px solid ${c.fg};background:${c.bg};padding:10px 12px;border-radius:8px"><div style="font-weight:600;color:#172033;font-size:0.88rem">${escapeHtml(caseId)} · ${escapeHtml(catalog.get(caseId)?.title ?? result.name)}</div><div style="color:${c.fg};font-size:0.82rem;margin-top:2px">${escapeHtml(result.message || humanStatus(result.status))}</div></div>`;
+            return `<div style="border-left:4px solid ${c.fg};background:${c.bg};padding:10px 12px;border-radius:8px"><div style="font-weight:600;color:#172033;font-size:0.88rem">${escapeHtml(caseId)} · ${escapeHtml(catalog.get(caseId)?.title ?? result.name)}</div><div style="color:${c.fg};font-size:0.82rem;margin-top:4px"><strong>原始失败：</strong>${escapeHtml(result.message || humanStatus(result.status))}</div><div style="color:#475467;font-size:0.82rem;margin-top:5px"><strong style="color:#17365d">原因分析：</strong>${escapeHtml(analyzeBackendTestFailure(result))}</div></div>`;
         }).join("")}</div></div>`
         : "";
     return `<!doctype html><html lang="zh-CN"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>${escapeHtml(input.title)}</title></head><body style="margin:0;background:linear-gradient(180deg,#eef2f7 0,#f7f9fc 40rem);color:#172033;font-family:system-ui,'Microsoft YaHei','PingFang SC',sans-serif;line-height:1.6"><div style="max-width:1000px;margin:0 auto;padding:32px 22px 56px"><div style="padding:8px 0 4px"><div style="color:#315f93;font-weight:700;letter-spacing:0.06em;font-size:0.76rem">后端自动化测试报告</div><h1 style="margin:6px 0 0;color:#17365d;font-size:24px;line-height:1.35">${escapeHtml(input.title)}</h1><p style="color:#667085;margin:8px 0 0;font-size:0.9rem">执行事实来自同一次 pytest 执行；用例默认折叠，点击任意用例可展开执行日志（接口、请求参数、响应结果）与检查点。</p></div><div style="background:#fff;border:1px solid #e3e8ef;border-radius:16px;padding:18px 20px;margin-top:16px;box-shadow:0 1px 2px rgba(16,24,40,0.04)">${summaryBanner}${metrics}</div><div style="background:#fff;border:1px solid #e3e8ef;border-radius:16px;padding:18px 20px;margin-top:16px;box-shadow:0 1px 2px rgba(16,24,40,0.04)">${qualityBlock}<div style="margin-top:12px;padding:10px 12px;background:#f6f8fa;border-radius:8px;font-size:0.82rem;color:#475467"><strong style="color:#667085">执行环境</strong>：${escapeHtml((input.environmentSummary || "不可用").split("\n").slice(0, 3).join(" ").slice(0, 200))}</div></div>${failureOverview}<div style="margin-top:18px"><div style="display:flex;align-items:baseline;justify-content:space-between;margin:0 4px 6px"><span style="color:#17365d;font-size:16px;font-weight:700">用例执行明细</span><span style="color:#98a2b3;font-size:0.8rem">共 ${input.parsed.cases.length} 条 · 点击展开</span></div>${caseCards || '<div style="padding:16px;border:1px dashed #e3e8ef;border-radius:12px;color:#667085;background:#fbfcfe;text-align:center">未发现可展示的用例。</div>'}</div></div></body></html>`;
 }
-function renderQualityCard(title, summary) {
+function renderQualityCard(title, summary, rawSummary) {
     const colors = summary.status === "PASS" ? { fg: "#067647", bg: "#ecfdf3" } : summary.status === "FAIL" ? { fg: "#b42318", bg: "#fef3f2" } : { fg: "#9a6700", bg: "#fffaeb" };
     const label = summary.status === "Unavailable" ? "不可用" : summary.status;
-    return `<div style="padding:12px 14px;border:1px solid #e3e8ef;border-radius:10px;background:#fbfcfe"><div style="display:flex;align-items:center;justify-content:space-between;margin-bottom:6px"><strong style="color:#17365d;font-size:0.88rem">${escapeHtml(title)}</strong><span style="display:inline-block;padding:2px 9px;border-radius:999px;font-weight:700;font-size:0.72rem;color:${colors.fg};background:${colors.bg}">${label}</span></div><div style="color:#667085;font-size:0.78rem">Findings：${summary.findings ?? "不可用"}</div><div style="color:#475467;font-size:0.8rem;margin-top:2px">${escapeHtml(summary.firstFinding)}</div></div>`;
+    const details = rawSummary?.trim()
+        ? `<details style="margin-top:9px;padding-top:8px;border-top:1px solid #e3e8ef"><summary style="cursor:pointer;color:#315f93;font-size:0.78rem;font-weight:700">查看详情 · ${escapeHtml(title)}详情</summary><pre style="white-space:pre-wrap;overflow-wrap:anywhere;background:#f6f8fa;color:#1f2937;padding:10px 12px;border-radius:8px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:0.74rem;margin:7px 0 0;border:1px solid #eceef2;line-height:1.55">${escapeHtml(rawSummary.trim())}</pre></details>`
+        : "";
+    return `<div style="padding:12px 14px;border:1px solid #e3e8ef;border-radius:10px;background:#fbfcfe"><div style="display:flex;align-items:center;justify-content:space-between;margin-bottom:6px"><strong style="color:#17365d;font-size:0.88rem">${escapeHtml(title)}</strong><span style="display:inline-block;padding:2px 9px;border-radius:999px;font-weight:700;font-size:0.72rem;color:${colors.fg};background:${colors.bg}">${label}</span></div><div style="color:#667085;font-size:0.78rem">Findings：${summary.findings ?? "不可用"}</div><div style="color:#475467;font-size:0.8rem;margin-top:2px">${escapeHtml(summary.firstFinding)}</div>${details}</div>`;
 }
 /**
  * Dump JaCoCo execution data over TCP from a JaCoCo tcpserver agent, convert
@@ -1308,6 +1450,118 @@ function dumpJacocoExec(host, port, destPath, connectTimeoutMs) {
         socket.pipe(writeStream);
     });
 }
+/**
+ * Deterministically derive a Backend Test Case Manifest v1 from final
+ * Markdown cases (testcase/md/**) and generated pytest scripts
+ * (testcase/test_*.py). No model involvement: AC IDs come from the case
+ * 验收标准/Acceptance Criteria section, automation status comes from whether
+ * a pytest test function references the Case ID. The output feeds
+ * computeCaseManifestCoverageSummary so the L-5 dashboard shows real
+ * AC/automation coverage instead of unavailable.
+ */
+export async function deriveBackendTestCaseManifest(input) {
+    const files = await markdownFiles(input.workspaceRoot);
+    const manifestCases = [];
+    for (const file of files) {
+        if (path.basename(file).toLowerCase() === "readme.md")
+            continue;
+        const content = await readFile(file, "utf8");
+        for (const testCase of splitCases(content)) {
+            const acIds = unique(testCase.body.match(AC_ID) ?? []);
+            if (acIds.length === 0)
+                continue; // skip cases without AC binding
+            const mappedScripts = extractMappedPytestScripts(testCase.body);
+            const category = inferCaseCategory(testCase.body);
+            let generated = false;
+            let symbol;
+            let scriptFile;
+            for (const script of mappedScripts) {
+                if (!isSafeBackendPytestScript(script, input.workspaceRoot))
+                    continue;
+                const absolute = path.resolve(input.workspaceRoot, script);
+                if (!(await exists(absolute)))
+                    continue;
+                const source = await readFile(absolute, "utf8");
+                const match = findCaseIdInPytest(source, testCase.id);
+                if (match) {
+                    generated = true;
+                    symbol = match;
+                    scriptFile = script;
+                    break;
+                }
+            }
+            manifestCases.push({
+                caseId: testCase.id,
+                acIds,
+                title: inferCaseTitle(testCase.body, testCase.id),
+                category,
+                automationStatus: generated ? "generated" : "planned",
+                ...(scriptFile ? { file: scriptFile } : {}),
+                ...(symbol ? { symbol } : {}),
+                ...(generated ? {} : { gapReason: "pytest symbol not yet generated or not associated" }),
+            });
+        }
+    }
+    const manifest = backendTestCaseManifestSchema.parse({
+        schemaVersion: 1,
+        sourceBinding: {
+            taskId: input.sourceBinding.taskId,
+            requirementPath: input.sourceBinding.requirementPath,
+            requirementSha256: input.sourceBinding.requirementSha256,
+            referencePaths: input.sourceBinding.referencePaths,
+            requirementIds: input.sourceBinding.requirementIds,
+        },
+        cases: manifestCases,
+        evidenceGaps: [],
+        coverageSummary: computeCaseManifestCoverageSummary({
+            cases: manifestCases,
+            evidenceGaps: [],
+            sourceBinding: input.sourceBinding,
+        }),
+    });
+    return manifest;
+}
+function inferCaseCategory(body) {
+    const text = body.toLowerCase();
+    if (/非法|无效|错误|不存在|越权|negative|invalid|unauthorized|forbidden|40[0-9]/.test(text))
+        return "negative";
+    if (/边界|boundary|edge|limit|max|min/.test(text))
+        return "boundary";
+    if (/鉴权|权限|登录|token|auth|permission|role/.test(text))
+        return "auth";
+    if (/状态|流转|state|transition|workflow/.test(text))
+        return "state-transition";
+    if (/超时|timeout/.test(text))
+        return "timeout";
+    if (/并发|concurren/.test(text))
+        return "concurrency";
+    return "positive";
+}
+function inferCaseTitle(body, caseId) {
+    // ## BE-XXX-001｜中文标题 → extract title after the delimiter
+    const heading = body.split(/\r?\n/, 1)[0] ?? "";
+    const delimiterMatch = heading.match(/[｜|]\s*(.+)$/);
+    if (delimiterMatch)
+        return delimiterMatch[1].trim();
+    return caseId;
+}
+function findCaseIdInPytest(source, caseId) {
+    for (const match of source.matchAll(/^(\s*)(?:async\s+)?def\s+(test_[A-Za-z0-9_]+)\s*\([^)]*\)\s*(?:->\s*[^:\r\n]+)?\s*:/gm)) {
+        const symbol = match[2];
+        const region = testFunctionRegion({
+            source,
+            functionIndex: match.index,
+            functionHeaderEnd: match.index + match[0].length,
+        });
+        const ids = new Set(caseIdsInText(region));
+        const fromSymbol = symbolCaseId(symbol);
+        if (fromSymbol)
+            ids.add(fromSymbol);
+        if (ids.has(caseId))
+            return symbol;
+    }
+    return undefined;
+}
 function inferModuleScript(classname) {
     // classname like "test_process_definition_list.py::TestX::test_a" → take the file stem.
     const first = classname.split("::")[0] ?? classname;
@@ -1371,7 +1625,9 @@ export function renderBackendTestL5Dashboard(input) {
         return `<div style="padding:13px 14px;border:1px solid #e4e9f1;border-radius:11px;background:#fbfcfe"><div style="display:flex;justify-content:space-between;align-items:center;gap:8px"><span style="color:#2a3c5a;font-size:12px;font-weight:700;font-family:ui-monospace,SFMono-Regular,Menlo,monospace">${escapeHtml(stat.script)}</span><span style="display:inline-flex;padding:2px 8px;border-radius:999px;font-size:11px;font-weight:800;color:${badge.fg};background:${badge.bg}">${badge.t}</span></div><div style="height:6px;margin:9px 0 6px;background:#edf1f6;border-radius:99px;overflow:hidden;display:flex"><i style="display:block;height:100%;width:${passPct}%;background:#15815c"></i><i style="display:block;height:100%;width:${failPct}%;background:#d34661"></i></div></div>`;
     }).join("");
     const caseValidation = parseAdvisorySummary(input.caseValidationSummary);
+    const caseCoverage = parseAdvisorySummary(input.caseCoverageSummary);
     const traceability = parseAdvisorySummary(input.traceabilitySummary);
+    const correspondence = parseAdvisorySummary(input.correspondenceSummary);
     const qRow = (name, status, extra = "") => {
         const c = status === "PASS" ? { fg: "#15815c", bg: "#e7f7f0" } : status === "FAIL" ? { fg: "#d34661", bg: "#fff0f3" } : { fg: "#718097", bg: "#eef2f7" };
         return `<div style="display:flex;align-items:center;justify-content:space-between;padding:11px 13px;border:1px solid #e4e9f1;border-radius:10px;background:#fbfcfe"><span style="color:#2a3c5a;font-size:13px;font-weight:650">${escapeHtml(name)}</span><span style="font-size:11px;font-weight:800;color:${c.fg};background:${c.bg};padding:2px 8px;border-radius:999px">${status === "Unavailable" ? "UNAVAILABLE" : status}${extra}</span></div>`;
@@ -1423,7 +1679,9 @@ export function renderBackendTestL5Dashboard(input) {
       <div style="display:grid;grid-template-columns:1fr 1fr;gap:8px">
         ${qRow("环境硬门（Shell）", "PASS")}
         ${qRow("Markdown 用例校验（节点4）", caseValidation.status, caseValidation.findings !== undefined ? ` · ${caseValidation.findings}` : "")}
+        ${qRow("用例场景覆盖分析（节点4）", caseCoverage.status, caseCoverage.findings !== undefined ? ` · ${caseCoverage.findings}` : "")}
         ${qRow("Markdown → pytest 追溯（节点6）", traceability.status, traceability.findings !== undefined ? ` · ${traceability.findings}` : "")}
+        ${qRow("Markdown → pytest 一一对应（节点6）", correspondence.status, correspondence.findings !== undefined ? ` · ${correspondence.findings}` : "")}
         ${qRow("HTTP 请求/响应日志（节点6 advisory）", traceability.status)}
         ${qRow("Markdown 敏感信息", "PASS")}
         ${qRow("代码覆盖率", m.lineCoverage.status === "unavailable" && m.lineCoverage.reason !== null ? "Unavailable" : "PASS")}
@@ -1431,14 +1689,16 @@ export function renderBackendTestL5Dashboard(input) {
     </section>
     ${failures ? `<section style="background:#fff;border:1px solid #e0e7f0;border-radius:15px;box-shadow:0 7px 20px rgba(25,53,92,.04);padding:22px;margin-top:20px"><div style="display:flex;align-items:center;justify-content:space-between;gap:14px;margin-bottom:12px"><h2 style="margin:0;color:#17365d;font-size:19px">缺陷记录</h2><span style="color:#718097;font-size:13px">${input.failures?.length ?? 0} 条 · 已关联用例与证据</span></div>${failures}</section>` : ""}
     <section style="background:#fff;border:1px solid #e0e7f0;border-radius:15px;box-shadow:0 7px 20px rgba(25,53,92,.04);padding:22px;margin-top:20px">
-      <p style="margin:0;color:#718097;font-size:12px">报告由 backend-test DAG 节点 7（execute-backend-pytest-and-html-report-shell）基于本轮真实执行产物确定性渲染。L-5 指标由 <code style="color:#17365d;font:11px ui-monospace,SFMono-Regular,Menlo,monospace">computeL5ReportMetrics</code> 机器计算。判定依据：pass=100%、AC=100%、automation≥90%、line≥80%、branch≥70%、skipped=0、无阻断级 Critical 风险。</p>
+      <p style="margin:0;color:#718097;font-size:12px">报告由 backend-test DAG 节点 8（execute-backend-pytest-and-html-report-shell）基于本轮真实执行产物确定性渲染。L-5 指标由 <code style="color:#17365d;font:11px ui-monospace,SFMono-Regular,Menlo,monospace">computeL5ReportMetrics</code> 机器计算。判定依据：pass=100%、AC=100%、automation≥90%、line≥80%、branch≥70%、skipped=0、无阻断级 Critical 风险。</p>
     </section>
   </div></body></html>`;
 }
 export function renderBackendTestFacts(input) {
     const passRate = input.parsed.tests > 0 ? input.parsed.passed / input.parsed.tests : 0;
     const caseValidation = parseAdvisorySummary(input.caseValidationSummary);
+    const caseCoverage = parseAdvisorySummary(input.caseCoverageSummary);
     const traceability = parseAdvisorySummary(input.traceabilitySummary);
+    const correspondence = parseAdvisorySummary(input.correspondenceSummary);
     const catalog = new Map((input.cases ?? []).map((entry) => [entry.id, entry]));
     return ([
         "# 后端自动化测试执行报告",
@@ -1460,7 +1720,9 @@ export function renderBackendTestFacts(input) {
         "| 校验项 | 状态 | Findings | 首要发现 |",
         "|---|---|---:|---|",
         `| Markdown 用例校验 | ${caseValidation.status} | ${caseValidation.findings ?? "不可用"} | ${caseValidation.firstFinding.replaceAll("|", "\\|")} |`,
+        `| 用例场景覆盖分析 | ${caseCoverage.status} | ${caseCoverage.findings ?? "不可用"} | ${caseCoverage.firstFinding.replaceAll("|", "\\|")} |`,
         `| Markdown → pytest 追溯 | ${traceability.status} | ${traceability.findings ?? "不可用"} | ${traceability.firstFinding.replaceAll("|", "\\|")} |`,
+        `| Markdown → pytest 一一对应 | ${correspondence.status} | ${correspondence.findings ?? "不可用"} | ${correspondence.firstFinding.replaceAll("|", "\\|")} |`,
         "",
         "## 失败概览",
         "",
@@ -1492,12 +1754,26 @@ export function renderBackendTestFacts(input) {
         "</details>",
         "",
         "<details>",
+        "<summary>用例场景覆盖分析原文</summary>",
+        "",
+        input.caseCoverageSummary?.trim() ?? "Unavailable",
+        "",
+        "</details>",
+        "",
+        "<details>",
         "<summary>Markdown → pytest 追溯原文</summary>",
         "",
         input.traceabilitySummary?.trim() ?? "Unavailable",
         "",
         "</details>",
         "",
+        "<details>",
+        "<summary>Markdown → pytest 一一对应原文</summary>",
+        "",
+        input.correspondenceSummary?.trim() ?? "Unavailable",
+        "",
+        "</details>",
+        "",
         "## 覆盖率证据",
         "",
         "- Code coverage: unavailable unless a separate validated coverage artifact exists.",