@tea-agent/loop-agent 0.24.11-beta.0 → 0.25.1

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

@@ -1,6 +1,12 @@
 import { createHash } from "node:crypto";
+import { execFile } from "node:child_process";
+import { connect } from "node:net";
 import { access, mkdir, readFile, readdir, writeFile } from "node:fs/promises";
+import { createWriteStream } from "node:fs";
 import path from "node:path";
+import { promisify } from "node:util";
+import { parseJacocoXml, } from "./backend-test-coverage-contract.js";
+const execFileAsync = promisify(execFile);
 const CASE_ID = /\bBE-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3}\b/g;
 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;
@@ -413,6 +419,18 @@ export async function validateBackendMarkdownCases(input) {
             if (!hasAssertableExpectedResult(expected)) {
                 findings.push(`${testCase.id} has no structured expected result`);
             }
+            const expectedScript = expectedBackendTestPytestScriptForMarkdownModule(relativeFile);
+            const mappedScripts = extractMappedPytestScripts(testCase.body);
+            if (mappedScripts.length === 0) {
+                findings.push(`${testCase.id} has no mapped pytest script in Automation Notes/自动化映射 (expected ${expectedScript} from module ${path.basename(relativeFile)})`);
+            }
+            else {
+                for (const script of mappedScripts) {
+                    if (script !== expectedScript) {
+                        findings.push(`${testCase.id} automation mapping ${script} must equal module one-to-one path ${expectedScript} (from ${path.basename(relativeFile)})`);
+                    }
+                }
+            }
         }
     }
     const missing = input.requiredRequirementIds.filter((id) => !coveredAc.has(id));
@@ -454,6 +472,27 @@ export async function validateBackendMarkdownCases(input) {
 function collectMarkdownCaseIds(markdown) {
     return splitCases(markdown).map((testCase) => testCase.id);
 }
+/**
+ * Derive the stable module stem used for Markdown ↔ pytest one-to-one mapping.
+ * `testcase/md/<module>.md` → stem → `testcase/test_<stem>.py`.
+ * Example: `BE-HEALTH.md` / `be-health.md` / `order-api.md` → `be_health` / `order_api`.
+ */
+export function normalizeBackendTestModuleStem(moduleFileName) {
+    const base = path.basename(moduleFileName).replace(/\.md$/i, "");
+    const stem = base
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, "_")
+        .replace(/^_+|_+$/g, "")
+        .replace(/_+/g, "_");
+    if (!stem) {
+        throw new Error(`cannot derive backend-test module stem from: ${moduleFileName}`);
+    }
+    return stem;
+}
+/** Expected pytest script path for a Markdown module file (basename or relative path). */
+export function expectedBackendTestPytestScriptForMarkdownModule(moduleFileName) {
+    return `testcase/test_${normalizeBackendTestModuleStem(moduleFileName)}.py`;
+}
 function extractMappedPytestScripts(testCaseBody) {
     const automation = sectionBody(testCaseBody, CASE_SECTION_ALIASES.automationNotes);
     if (!automation.trim())
@@ -462,6 +501,15 @@ function extractMappedPytestScripts(testCaseBody) {
         .map((match) => match[1].replaceAll("\\", "/"))
         .filter((value) => !value.includes("..")));
 }
+function isSafeBackendPytestScript(script, workspaceRoot) {
+    const absolute = path.resolve(workspaceRoot, script);
+    const relative = path.relative(workspaceRoot, absolute).replaceAll(path.sep, "/");
+    return (!relative.startsWith("..") &&
+        !path.isAbsolute(relative) &&
+        script.startsWith("testcase/") &&
+        !script.includes("..") &&
+        /^test_.*\.py$/i.test(path.basename(script)));
+}
 function testFunctionRegion(input) {
     const functionLineStart = input.source.lastIndexOf("\n", input.functionIndex - 1) + 1;
     const functionLine = input.source.slice(functionLineStart, input.functionHeaderEnd);
@@ -610,26 +658,50 @@ export async function collectBackendTestMappedPytestScripts(workspaceRoot) {
     for (const file of files) {
         if (path.basename(file).toLowerCase() === "readme.md")
             continue;
+        const relativeFile = path.relative(workspaceRoot, file).replaceAll(path.sep, "/");
+        const expectedScript = expectedBackendTestPytestScriptForMarkdownModule(relativeFile);
         const markdown = await readFile(file, "utf8");
+        const mappedFromModule = new Set();
         for (const testCase of splitCases(markdown)) {
-            for (const script of extractMappedPytestScripts(testCase.body))
+            for (const script of extractMappedPytestScripts(testCase.body)) {
+                mappedFromModule.add(script);
+            }
+        }
+        // Prefer explicit mappings, but recover to the deterministic module stem path
+        // when the model wrote the correct one-to-one file while Markdown still names
+        // a drifted script (common: health.md maps test_health.py but writer emitted
+        // test_be_health.py for BE-HEALTH.md, or the reverse).
+        if (mappedFromModule.size === 0) {
+            if (await exists(path.resolve(workspaceRoot, expectedScript))) {
+                scripts.add(expectedScript);
+            }
+            continue;
+        }
+        for (const script of mappedFromModule) {
+            if (!isSafeBackendPytestScript(script, workspaceRoot)) {
+                throw new Error(`unsafe mapped pytest script: ${script}`);
+            }
+            if (await exists(path.resolve(workspaceRoot, script))) {
                 scripts.add(script);
+                continue;
+            }
+            if (isSafeBackendPytestScript(expectedScript, workspaceRoot) &&
+                (await exists(path.resolve(workspaceRoot, expectedScript)))) {
+                scripts.add(expectedScript);
+                continue;
+            }
+            throw new Error(`mapped pytest script is missing: ${script} (module one-to-one path ${expectedScript} also missing)`);
         }
     }
     if (scripts.size === 0) {
         throw new Error("no pytest scripts are mapped by final Markdown cases");
     }
     const safeScripts = [];
-    for (const script of unique(scripts)) {
-        const absolute = path.resolve(workspaceRoot, script);
-        const relative = path.relative(workspaceRoot, absolute);
-        if (relative.startsWith("..") ||
-            path.isAbsolute(relative) ||
-            !script.startsWith("testcase/") ||
-            !/^test_.*\.py$/i.test(path.basename(script))) {
+    for (const script of unique([...scripts]).sort()) {
+        if (!isSafeBackendPytestScript(script, workspaceRoot)) {
             throw new Error(`unsafe mapped pytest script: ${script}`);
         }
-        if (!(await exists(absolute))) {
+        if (!(await exists(path.resolve(workspaceRoot, script)))) {
             throw new Error(`mapped pytest script is missing: ${script}`);
         }
         safeScripts.push(script);
@@ -1013,6 +1085,225 @@ function renderQualityCard(title, summary) {
     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>`;
 }
+/**
+ * Dump JaCoCo execution data over TCP from a JaCoCo tcpserver agent, convert
+ * .exec → jacoco.xml via jacococli.jar, then parse into a code-coverage-v1
+ * contract. Designed for Java services started with
+ * `-javaagent:jacocoagent.jar=output=tcpserver,port=6300,append=false`.
+ *
+ * Failure-safe: any transport/conversion/parse error returns null so the L-5
+ * dashboard degrades coverage to unavailable instead of blocking the run.
+ */
+export async function collectJacocoCoverage(input) {
+    const [host, portStr] = input.endpoint.split(":");
+    const port = Number(portStr);
+    if (!host || !Number.isInteger(port) || port <= 0 || port > 65535) {
+        return null;
+    }
+    const execPath = path.join(input.workDir, "jacoco.exec");
+    const xmlPath = path.join(input.workDir, "jacoco.xml");
+    // Step 1: TCP dump of JaCoCo execution data. The protocol is JaCoCo's
+    // binary "dump" command: a magic header + command byte. We send the dump
+    // request and stream the response into jacoco.exec.
+    try {
+        await dumpJacocoExec(host, port, execPath, input.connectTimeoutMs);
+    }
+    catch {
+        return null;
+    }
+    // Step 2: jacococli.jar report .exec → jacoco.xml
+    try {
+        await execFileAsync("java", [
+            "-jar", input.cliJarPath,
+            "report", execPath,
+            "--xml", xmlPath,
+            "--includes", input.includes,
+        ], { timeout: 60000, windowsHide: true });
+    }
+    catch {
+        return null;
+    }
+    // Step 3: parse jacoco.xml into a code-coverage-v1 contract.
+    try {
+        const xml = await readFile(xmlPath, "utf8");
+        const artifactSha256 = createHash("sha256").update(xml).digest("hex");
+        return parseJacocoXml(xml, {
+            sourceScope: input.sourceScope,
+            commitSha: input.commitSha,
+            artifactPath: "reports/jacoco.xml",
+            artifactSha256,
+        });
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Send a JaCoCo TCP dump command and stream the response into destPath.
+ * JaCoCo tcpserver protocol: connect, send dump command header, read until close.
+ */
+function dumpJacocoExec(host, port, destPath, connectTimeoutMs) {
+    return new Promise((resolve, reject) => {
+        const socket = connect({ host, port });
+        const writeStream = createWriteStream(destPath);
+        const timer = setTimeout(() => {
+            socket.destroy();
+            reject(new Error("jacoco-tcp-connect-timeout"));
+        }, connectTimeoutMs);
+        socket.on("connect", () => {
+            // JaCoCo TCP "dump" command: magic 0xC0FFEE + cmd=0x40 (dump)
+            // Format: <magic 3 bytes><cmd id 1 byte>
+            // The server responds with the exec data and closes.
+            const magic = Buffer.from([0xC0, 0xFF, 0xEE]);
+            const dumpCmd = Buffer.from([0x40]);
+            socket.end(Buffer.concat([magic, dumpCmd]));
+        });
+        socket.on("error", (error) => {
+            clearTimeout(timer);
+            reject(error);
+        });
+        socket.on("close", () => {
+            clearTimeout(timer);
+            writeStream.end(() => {
+                // Verify we got non-empty exec data.
+                readFile(destPath).then((buf) => {
+                    if (buf.length === 0)
+                        reject(new Error("jacoco-dump-empty"));
+                    else
+                        resolve();
+                }).catch(reject);
+            });
+        });
+        socket.pipe(writeStream);
+    });
+}
+function inferModuleScript(classname) {
+    // classname like "test_process_definition_list.py::TestX::test_a" → take the file stem.
+    const first = classname.split("::")[0] ?? classname;
+    return first.endsWith(".py") ? first : `${first}.py`;
+}
+function collectModuleStats(parsed) {
+    const map = new Map();
+    for (const c of parsed.cases) {
+        const script = inferModuleScript(c.classname || c.name);
+        const stat = map.get(script) ?? { script, total: 0, passed: 0, failed: 0, errors: 0 };
+        stat.total += 1;
+        if (c.status === "passed")
+            stat.passed += 1;
+        else if (c.status === "failure")
+            stat.failed += 1;
+        else if (c.status === "error")
+            stat.errors += 1;
+        map.set(script, stat);
+    }
+    return [...map.values()].sort((a, b) => a.script.localeCompare(b.script));
+}
+function l5StatusBadge(status) {
+    if (status === "pass")
+        return { label: "达标", fg: "#15815c", bg: "#e7f7f0" };
+    if (status === "fail")
+        return { label: "未达标", fg: "#d34661", bg: "#fff0f3" };
+    return { label: "不可用", fg: "#718097", bg: "#eef2f7" };
+}
+function l5GateRow(name, metric, valueLabel, footLabel, evidence) {
+    const badge = l5StatusBadge(metric.status);
+    const pct = metric.ratio !== null ? Math.round(metric.ratio * 100) : null;
+    const meterWidth = metric.status === "unavailable" ? 0 : pct ?? 0;
+    const meterClass = metric.status === "pass" ? "#15815c" : metric.status === "fail" ? "#d34661" : "#e9a040";
+    const meter = `<div style="height:6px;margin:10px 0 7px;background:#e7edf5;border-radius:99px;overflow:hidden"><i style="display:block;height:100%;width:${meterWidth}%;border-radius:inherit;background:${meterClass}"></i></div>`;
+    const evidenceBlock = evidence
+        ? `<details style="margin-top:10px;padding-top:9px;border-top:1px solid #e5ebf3"><summary style="color:#4775ef;font-size:12px;font-weight:750;cursor:pointer;list-style:none;display:flex;align-items:center;gap:6px">查看依据</summary><div style="margin-top:7px;color:#718097;font-size:12px">${evidence}</div></details>`
+        : "";
+    return `<div style="padding:14px 15px;border:1px solid #e5ebf3;border-radius:11px;background:#fcfdff;margin-top:8px"><div style="display:flex;align-items:center;gap:10px"><span style="flex:1;color:#263c5e;font-size:13px;font-weight:750">${escapeHtml(name)}</span><strong style="font-size:15px;font-weight:800;color:${badge.fg}">${escapeHtml(valueLabel)}</strong><span style="display:inline-flex;align-items:center;padding:3px 9px;border-radius:999px;font-size:11px;font-weight:800;color:${badge.fg};background:${badge.bg}">${badge.label}</span></div>${meter}<div style="display:flex;justify-content:space-between;color:#718097;font-size:12px"><span>${escapeHtml(footLabel)}</span></div>${evidenceBlock}</div>`;
+}
+export function renderBackendTestL5Dashboard(input) {
+    const m = input.metrics.metrics;
+    const decision = input.metrics.status === "ready" ? { text: "READY", color: "#15815c", bg: "rgba(21,129,92,.12)", border: "rgba(120,200,170,.4)", small: "所有 L-5 门禁达标" }
+        : { text: "NOT READY", color: "#d34661", bg: "rgba(211,70,97,.12)", border: "rgba(255,177,192,.4)", small: `${input.metrics.blockingItems.length} 个阻断项需要处理` };
+    const passRatePct = m.passRate.ratio !== null ? (m.passRate.ratio * 100).toFixed(2) : "—";
+    const acPct = m.acCoverage.ratio !== null ? (m.acCoverage.ratio * 100).toFixed(2) : null;
+    const autoPct = m.automationCoverage.ratio !== null ? (m.automationCoverage.ratio * 100).toFixed(2) : null;
+    // Donut SVG: pass arc + fail arc on a r=46 circle (circumference ≈ 289.03).
+    const circ = 2 * Math.PI * 46;
+    const executed = input.parsed.passed + input.parsed.failed + input.parsed.errors;
+    const passLen = executed > 0 ? (input.parsed.passed / executed) * circ : 0;
+    const failLen = executed > 0 ? ((input.parsed.failed + input.parsed.errors) / executed) * circ : 0;
+    const signal = (label, strong, width, markerLeft, trackClass, small) => `<div style="margin-top:14px"><div style="display:flex;justify-content:space-between;align-items:baseline;color:#2b405f;font-size:12px"><span>${escapeHtml(label)}</span><strong style="color:#17365d;font-size:14px">${escapeHtml(strong)}</strong></div><div style="position:relative;height:8px;margin:7px 0 4px;background:#edf1f6;border-radius:99px"><i style="display:block;height:100%;width:${width}%;border-radius:inherit;background:${trackClass}"></i><b style="position:absolute;top:-3px;left:${markerLeft}%;width:2px;height:14px;background:#273b59;border-radius:2px"></b></div><small style="color:#718097;font-size:10px">${escapeHtml(small)}</small></div>`;
+    const acStrong = acPct !== null ? `${acPct}%` : "—";
+    const acWidth = acPct !== null ? Number(acPct) : 0;
+    const autoStrong = autoPct !== null ? `${autoPct}%` : "—";
+    const autoWidth = autoPct !== null ? Number(autoPct) : 0;
+    const moduleBars = collectModuleStats(input.parsed).map((stat) => {
+        const passPct = stat.total > 0 ? Math.round((stat.passed / stat.total) * 100) : 0;
+        const failPct = stat.total > 0 ? 100 - passPct : 0;
+        const badge = stat.failed + stat.errors === 0 ? { fg: "#15815c", bg: "#e7f7f0", t: `${stat.passed}/${stat.total}` } : { fg: "#d34661", bg: "#fff0f3", t: `${stat.passed}/${stat.total}` };
+        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 traceability = parseAdvisorySummary(input.traceabilitySummary);
+    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>`;
+    };
+    const failures = input.failures && input.failures.length > 0
+        ? input.failures.map((f) => `<details style="border:1px solid #ecd4d9;border-radius:13px;background:linear-gradient(135deg,#fffdfd,#fff8f9);overflow:hidden;margin-top:10px" open><summary style="display:flex;align-items:center;gap:10px;padding:15px;cursor:pointer;list-style:none"><span style="color:#c43b58;font:700 12px ui-monospace,SFMono-Regular,Menlo,monospace">${escapeHtml(f.caseId)}</span><span style="flex:1;color:#17365d;font-size:14px;font-weight:750">${escapeHtml(f.title)}</span><span style="display:inline-flex;align-items:center;padding:3px 9px;border-radius:999px;font-size:11px;font-weight:800;color:#d34661;background:#fff0f3">未修复</span></summary><div style="padding:0 15px 15px;border-top:1px solid #f3dce1"><div style="display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:9px;margin-top:14px">${f.script ? `<div style="padding:9px 10px;border-radius:8px;background:#fff"><label style="display:block;color:#718097;font-size:11px">自动化脚本</label><span style="display:block;margin-top:2px;color:#172033;font-size:12px;font-weight:650;font-family:ui-monospace,SFMono-Regular,Menlo,monospace">${escapeHtml(f.script)}</span></div>` : ""}<div style="padding:9px 10px;border-radius:8px;background:#fff"><label style="display:block;color:#718097;font-size:11px">失败原因</label><span style="display:block;margin-top:2px;color:#172033;font-size:12px;font-weight:650">${escapeHtml(f.message)}</span></div></div>${f.request ? `<div style="margin-top:10px"><div style="color:#667085;font-size:11px;font-weight:600;margin-bottom:3px">请求参数</div><pre style="margin:0;white-space:pre-wrap;color:#344054;font:12px/1.6 ui-monospace,SFMono-Regular,Menlo,monospace;background:#f6f8fa;padding:10px 12px;border-radius:8px;border:1px solid #eceef2">${escapeHtml(f.request)}</pre></div>` : ""}${f.response ? `<div style="margin-top:10px"><div style="color:#667085;font-size:11px;font-weight:600;margin-bottom:3px">响应结果</div><pre style="margin:0;white-space:pre-wrap;color:#344054;font:12px/1.6 ui-monospace,SFMono-Regular,Menlo,monospace;background:#f6f8fa;padding:10px 12px;border-radius:8px;border:1px solid #eceef2">${escapeHtml(f.response)}</pre></div>` : ""}</div></details>`).join("")
+        : "";
+    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)} · L-5</title></head><body style="margin:0;background:radial-gradient(circle at 8% 0,#edf4ff 0,transparent 36rem),#f5f7fb;color:#17243b;font:15px/1.6 Inter,system-ui,-apple-system,BlinkMacSystemFont,'Segoe UI','Microsoft YaHei',sans-serif"><div style="max-width:1180px;margin:0 auto;padding:42px 28px 72px">
+    <header style="position:relative;overflow:hidden;padding:34px 38px;border:1px solid #294b78;border-radius:26px;background:linear-gradient(125deg,#102849 0%,#173d6d 57%,#245b91 100%);box-shadow:0 18px 40px rgba(16,40,73,.18);display:flex;align-items:flex-start;justify-content:space-between;gap:28px"><div style="position:relative;z-index:1"><div style="color:#9fc6ee;font-size:11px;font-weight:800;letter-spacing:.2em">BACKEND TEST · L-5 QUALITY VIEW</div><h1 style="margin:12px 0 10px;color:#f7fbff;font-size:clamp(30px,3.8vw,46px);font-weight:800;letter-spacing:-.055em;line-height:1.1">${escapeHtml(input.title)}</h1><p style="color:#bdd2e9;font-size:13px;margin:0">${escapeHtml(input.objective ?? "后端自动化测试成熟度报告")}</p></div><div style="position:relative;z-index:1;min-width:220px;padding:16px 18px;border:1px solid ${decision.border};border-radius:18px;background:${decision.bg};box-shadow:0 8px 24px rgba(0,0,0,.08)"><div style="display:flex;align-items:center;gap:9px;color:${decision.color};font-size:17px;font-weight:800"><i style="width:11px;height:11px;border-radius:50%;background:${decision.color};box-shadow:0 0 0 5px ${decision.color}1a;display:inline-block"></i>L-5 ${escapeHtml(decision.text)}</div><small style="display:block;margin:7px 0 0 20px;color:${decision.color};opacity:.85;font-size:12px">${escapeHtml(decision.small)}</small></div></header>
+    <section style="display:grid;grid-template-columns:repeat(4,1fr);gap:14px;margin-top:18px">
+      <div style="position:relative;min-height:132px;padding:21px 22px;overflow:hidden;background:#fff;border:1px solid #e1e8f2;border-radius:15px;box-shadow:0 6px 18px rgba(25,53,92,.045)"><i style="position:absolute;top:0;left:0;right:0;height:3px;background:#4775ef;display:block"></i><div style="color:#748198;font-size:13px;font-weight:650">测试通过率</div><div style="margin-top:19px;color:#13213a;font-size:35px;font-weight:800;letter-spacing:-.06em;line-height:1">${passRatePct}%</div><div style="margin-top:9px;color:${m.passRate.status === "pass" ? "#15815c" : "#c87918"};font-size:12px">${input.parsed.passed} / ${executed} · 目标 100%${m.passRate.status === "pass" ? "（达标）" : "（未达标）"}</div></div>
+      <div style="position:relative;min-height:132px;padding:21px 22px;overflow:hidden;background:#fff;border:1px solid #e1e8f2;border-radius:15px;box-shadow:0 6px 18px rgba(25,53,92,.045)"><i style="position:absolute;top:0;left:0;right:0;height:3px;background:#c87918;display:block"></i><div style="color:#748198;font-size:13px;font-weight:650">AC 验收覆盖</div><div style="margin-top:19px;color:#13213a;font-size:35px;font-weight:800;letter-spacing:-.06em;line-height:1">${acStrong}</div><div style="margin-top:9px;color:${m.acCoverage.status === "pass" ? "#15815c" : m.acCoverage.status === "unavailable" ? "#718097" : "#d34661"};font-size:12px">${m.acCoverage.numerator ?? "—"} / ${m.acCoverage.denominator ?? "—"} · 目标 100%</div></div>
+      <div style="position:relative;min-height:132px;padding:21px 22px;overflow:hidden;background:#fff;border:1px solid #e1e8f2;border-radius:15px;box-shadow:0 6px 18px rgba(25,53,92,.045)"><i style="position:absolute;top:0;left:0;right:0;height:3px;background:#7589d9;display:block"></i><div style="color:#748198;font-size:13px;font-weight:650">自动化覆盖率</div><div style="margin-top:19px;color:#13213a;font-size:35px;font-weight:800;letter-spacing:-.06em;line-height:1">${autoStrong}</div><div style="margin-top:9px;color:${m.automationCoverage.status === "pass" ? "#15815c" : "#c87918"};font-size:12px">${m.automationCoverage.numerator ?? "—"} / ${m.automationCoverage.denominator ?? "—"} · 目标 ≥90%</div></div>
+      <div style="position:relative;min-height:132px;padding:21px 22px;overflow:hidden;background:#fff;border:1px solid #e1e8f2;border-radius:15px;box-shadow:0 6px 18px rgba(25,53,92,.045)"><i style="position:absolute;top:0;left:0;right:0;height:3px;background:${m.criticalRisks.status === "pass" ? "#15815c" : "#d34661"};display:block"></i><div style="color:#748198;font-size:13px;font-weight:650">Critical 风险</div><div style="margin-top:19px;color:#13213a;font-size:35px;font-weight:800;letter-spacing:-.06em;line-height:1">${m.criticalRisks.numerator ?? 0}</div><div style="margin-top:9px;color:${m.criticalRisks.status === "pass" ? "#15815c" : "#d34661"};font-size:12px">${m.criticalRisks.status === "pass" ? "无阻断项" : "阻断级风险"}</div></div>
+    </section>
+    <section style="display:grid;grid-template-columns:1fr 1.35fr;gap:12px;margin-top:18px">
+      <div style="padding:20px 22px;border:1px solid #dfe7f1;border-radius:15px;background:rgba(255,255,255,.82);box-shadow:0 7px 20px rgba(25,53,92,.04)">
+        <div style="display:flex;align-items:flex-start;justify-content:space-between;gap:16px"><div><span style="color:#8796aa;font-size:10px;font-weight:800;letter-spacing:.16em">RUN OUTCOME</span><h2 style="margin:3px 0 0;color:#17365d;font-size:17px">本轮执行结果</h2></div><span style="color:#718097;font-size:11px;white-space:nowrap">${executed} 个用例 · ${formatDuration(input.parsed.durationMs)}</span></div>
+        <div style="position:relative;display:flex;align-items:center;gap:20px;margin-top:15px">
+          <svg viewBox="0 0 120 120" style="width:116px;height:116px;flex:0 0 116px;transform:rotate(-90deg)" role="img" aria-label="${input.parsed.passed} 通过，${input.parsed.failed} 失败"><circle cx="60" cy="60" r="46" fill="none" stroke="#edf1f6" stroke-width="12"></circle><circle cx="60" cy="60" r="46" fill="none" stroke="#15815c" stroke-width="12" stroke-dasharray="${passLen.toFixed(2)} ${circ.toFixed(2)}" stroke-linecap="round"></circle><circle cx="60" cy="60" r="46" fill="none" stroke="#d34661" stroke-width="12" stroke-dasharray="${failLen.toFixed(2)} ${circ.toFixed(2)}" stroke-dashoffset="${(-passLen).toFixed(2)}"></circle></svg>
+          <div style="position:absolute;display:flex;width:116px;height:116px;flex-direction:column;align-items:center;justify-content:center;pointer-events:none"><strong style="color:#17365d;font-size:20px;letter-spacing:-.05em">${passRatePct}%</strong><span style="color:#718097;font-size:10px">通过率</span></div>
+          <div style="display:grid;gap:6px;flex:1"><div style="display:grid;grid-template-columns:10px 1fr auto;align-items:center;gap:7px;color:#718097;font-size:12px"><i style="width:8px;height:8px;border-radius:50%;background:#15815c;display:block"></i><span>通过</span><strong style="color:#17243b;font-size:14px">${input.parsed.passed}</strong></div><div style="display:grid;grid-template-columns:10px 1fr auto;align-items:center;gap:7px;color:#718097;font-size:12px"><i style="width:8px;height:8px;border-radius:50%;background:#d34661;display:block"></i><span>失败</span><strong style="color:#17243b;font-size:14px">${input.parsed.failed}</strong></div><div style="display:grid;grid-template-columns:10px 1fr auto;align-items:center;gap:7px;color:#718097;font-size:12px"><i style="width:8px;height:8px;border-radius:50%;background:#aab5c4;display:block"></i><span>错误 / 跳过</span><strong style="color:#17243b;font-size:14px">${input.parsed.errors + input.parsed.skipped}</strong></div></div>
+        </div>
+      </div>
+      <div style="padding:20px 22px;border:1px solid #dfe7f1;border-radius:15px;background:rgba(255,255,255,.82);box-shadow:0 7px 20px rgba(25,53,92,.04);display:flex;flex-direction:column">
+        <div style="display:flex;align-items:flex-start;justify-content:space-between;gap:16px"><div><span style="color:#8796aa;font-size:10px;font-weight:800;letter-spacing:.16em">QUALITY SIGNALS</span><h2 style="margin:3px 0 0;color:#17365d;font-size:17px">质量信号</h2></div><span style="color:#718097;font-size:11px;white-space:nowrap">按 L-5 门槛判定</span></div>
+        ${signal("需求 / AC 覆盖", acStrong, acWidth, 100, acPct !== null && Number(acPct) >= 100 ? "linear-gradient(90deg,#52b88b,#15815c)" : "linear-gradient(90deg,#e9a040,#f0b85a)", `${m.acCoverage.numerator ?? 0} / ${m.acCoverage.denominator ?? 0} · 目标 100%`)}
+        ${signal("自动化覆盖率", autoStrong, autoWidth, 90, autoPct !== null && Number(autoPct) >= 90 ? "linear-gradient(90deg,#52b88b,#15815c)" : "linear-gradient(90deg,#7d9bf5,#4775ef)", `${m.automationCoverage.numerator ?? 0} / ${m.automationCoverage.denominator ?? 0} · 目标 ≥90%`)}
+        ${signal("用例跳过数", String(input.parsed.skipped), input.parsed.skipped === 0 ? 100 : 0, 100, "linear-gradient(90deg,#52b88b,#15815c)", `${input.parsed.skipped} / ${executed} · 目标 0`)}
+        ${signal("Line 代码覆盖", m.lineCoverage.ratio !== null ? `${(m.lineCoverage.ratio * 100).toFixed(1)}%` : "—", m.lineCoverage.ratio !== null ? Math.round(m.lineCoverage.ratio * 100) : 0, 80, m.lineCoverage.status === "pass" ? "linear-gradient(90deg,#52b88b,#15815c)" : "linear-gradient(90deg,#7d9bf5,#4775ef)", m.lineCoverage.status === "unavailable" ? (m.lineCoverage.reason ?? "unavailable") : `${m.lineCoverage.numerator} / ${m.lineCoverage.denominator} · 目标 ≥80%`)}
+      </div>
+    </section>
+    <section style="display:grid;grid-template-columns:1.28fr .86fr;gap:20px;margin-top:20px">
+      <div style="background:#fff;border:1px solid #e0e7f0;border-radius:15px;box-shadow:0 7px 20px rgba(25,53,92,.04);padding:22px">
+        <div style="display:flex;align-items:center;justify-content:space-between;gap:14px;margin-bottom:18px"><h2 style="margin:0;color:#17365d;font-size:19px">L-5 门禁摘要</h2><span style="color:#718097;font-size:13px">阻断项与执行门槛</span></div>
+        ${l5GateRow("测试通过率", m.passRate, passRatePct + "%", `${input.parsed.passed} / ${executed} 个用例 · 目标 100%`, `失败 ${input.parsed.failed}，错误 ${input.parsed.errors}。<code style="color:#17365d;font:11px ui-monospace,SFMono-Regular,Menlo,monospace">reports/backend-test-facts.md · pytest-exit=${input.parsed.failed + input.parsed.errors > 0 ? 1 : 0}</code>`)}
+        ${l5GateRow("AC 验收覆盖", m.acCoverage, acStrong, `${m.acCoverage.numerator ?? 0} / ${m.acCoverage.denominator ?? 0} · 目标 100%`, m.acCoverage.status === "unavailable" ? "case-manifest coverage 缺失" : "来自 backend-test-case-manifest coverageSummary")}
+        ${l5GateRow("自动化覆盖率", m.automationCoverage, autoStrong, `${m.automationCoverage.numerator ?? 0} / ${m.automationCoverage.denominator ?? 0} · 目标 ≥90%`, m.automationCoverage.status === "unavailable" ? "case-manifest coverage 缺失" : "来自 backend-test-case-manifest coverageSummary")}
+        ${l5GateRow("Critical 风险", m.criticalRisks, String(m.criticalRisks.numerator ?? 0), m.criticalRisks.status === "pass" ? "无阻断项 · 目标 0" : `${m.criticalRisks.numerator ?? 0} 个阻断项 · 目标 0`, m.criticalRisks.status === "pass" ? "无阻断级风险" : "存在阻断级接口契约偏差")}
+        ${l5GateRow("Line 代码覆盖", m.lineCoverage, m.lineCoverage.ratio !== null ? `${(m.lineCoverage.ratio * 100).toFixed(1)}%` : "unavailable", m.lineCoverage.status === "unavailable" ? "未产出 coverage artifact · 目标 ≥80%" : `${m.lineCoverage.numerator} / ${m.lineCoverage.denominator} · 目标 ≥80%`, m.lineCoverage.status === "unavailable" ? (m.lineCoverage.reason ?? "coverage missing") : "来自 validated coverage artifact")}
+      </div>
+      <div style="background:#fff;border:1px solid #e0e7f0;border-radius:15px;box-shadow:0 7px 20px rgba(25,53,92,.04);padding:22px">
+        <div style="display:flex;align-items:center;justify-content:space-between;gap:14px;margin-bottom:18px"><h2 style="margin:0;color:#17365d;font-size:19px">模块通过情况</h2><span style="color:#718097;font-size:13px">${collectModuleStats(input.parsed).length} 个脚本</span></div>
+        <div style="display:grid;grid-template-columns:repeat(2,1fr);gap:10px">${moduleBars || '<div style="color:#718097;font-size:13px">无模块数据</div>'}</div>
+      </div>
+    </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">
+      <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">来自节点 4 / 6</span></div>
+      <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("Markdown → pytest 追溯（节点6）", traceability.status, traceability.findings !== undefined ? ` · ${traceability.findings}` : "")}
+        ${qRow("HTTP 请求/响应日志（节点6 advisory）", traceability.status)}
+        ${qRow("Markdown 敏感信息", "PASS")}
+        ${qRow("代码覆盖率", m.lineCoverage.status === "unavailable" && m.lineCoverage.reason !== null ? "Unavailable" : "PASS")}
+      </div>
+    </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>
+    </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);

package/dist/workflows/dag/backend-test-result-contract.js

@@ -773,6 +773,109 @@ async function readPytestExitCode(runDir, fromNodeId, exitRelativePath = "report
     }
     throw new Error("missing valid pytest exit evidence");
 }
+/**
+ * Materialize Result v1 from a pytest-html 4.x self-contained report (Markdown-first
+ * 8-node pipeline). `junit.relativePath` records the HTML path for integrity hashing
+ * (same field used historically for JUnit XML path).
+ */
+export async function materializeBackendTestResultFromPytestHtml(input) {
+    const htmlRelativePath = input.htmlRelativePath ?? "reports/backend-test.html";
+    const artifactName = input.artifactName ?? "backend-test-result.json";
+    const outputDir = input.outputDir ?? "contracts";
+    if (!/^[a-z0-9][a-z0-9._-]*\.json$/.test(artifactName) ||
+        !/^[a-z0-9][a-z0-9._-]*$/.test(outputDir)) {
+        throw new Error("unsafe structured artifact path");
+    }
+    let html = input.htmlContent;
+    if (html === undefined) {
+        const htmlAbs = path.join(input.runDir, ...htmlRelativePath.split("/"));
+        try {
+            html = await readFile(htmlAbs, "utf8");
+        }
+        catch {
+            throw new Error(`missing pytest-html report at ${htmlRelativePath} (fail-closed for Result v1)`);
+        }
+    }
+    if (!html.trim()) {
+        throw new Error("invalid pytest-html report: empty report");
+    }
+    let parsed;
+    try {
+        parsed = parsePytestHtmlReport(html);
+    }
+    catch (error) {
+        throw new Error(`invalid pytest-html report: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    const sha256 = createHash("sha256").update(html).digest("hex");
+    const exit = input.pytestExitCode;
+    let executionStatus = "completed";
+    let collectionStatus = "ok";
+    let outcome = "passed";
+    const looksLikeCollection = exit === 2 ||
+        (parsed.errors > 0 && parsed.passed + parsed.failed === 0) ||
+        parsed.failures.some((f) => f.kind === "error" &&
+            /collect|import|syntax/i.test(`${f.name} ${f.message}`));
+    if (looksLikeCollection && (parsed.errors > 0 || exit >= 2)) {
+        executionStatus = "collection-error";
+        collectionStatus = "error";
+        outcome = "collection-error";
+    }
+    else if (exit >= 2 && parsed.failed === 0 && parsed.errors === 0) {
+        executionStatus = "command-error";
+        collectionStatus = "unknown";
+        outcome = "command-error";
+    }
+    else if (parsed.failed > 0 || parsed.errors > 0 || exit === 1) {
+        executionStatus = "completed";
+        collectionStatus = "ok";
+        outcome = "completed-with-failures";
+    }
+    else if (exit === 0 && parsed.failed === 0 && parsed.errors === 0) {
+        executionStatus = "completed";
+        collectionStatus = "ok";
+        outcome = "passed";
+    }
+    else {
+        executionStatus = "command-error";
+        collectionStatus = "unknown";
+        outcome = "command-error";
+    }
+    const commandSummary = input.commandSummary ??
+        `PYTHONUTF8=1 PYTHONIOENCODING=utf-8 PYTHONDONTWRITEBYTECODE=1 python -m pytest -v -p no:cacheprovider --html=${htmlRelativePath} --self-contained-html`;
+    assertNoSecrets("commandSummary", commandSummary);
+    const result = backendTestResultContractSchema.parse({
+        schemaVersion: 1,
+        executionStatus,
+        pytestExitCode: exit,
+        collectionStatus,
+        tests: parsed.tests,
+        passed: parsed.passed,
+        failed: parsed.failed,
+        error: parsed.errors,
+        skipped: parsed.skipped,
+        durationMs: parsed.durationMs,
+        junit: {
+            relativePath: htmlRelativePath,
+            sha256,
+        },
+        commandSummary,
+        failures: parsed.failures.map((f) => ({
+            classname: f.classname || "unknown",
+            name: f.name || "unknown",
+            message: truncate(f.message || "failure"),
+            kind: f.kind,
+        })),
+        outcome,
+    });
+    const relativePath = path.posix.join(outputDir, artifactName);
+    const artifactPath = await writeDagRunJsonArtifact(input.runDir, relativePath, result);
+    const serialized = `${JSON.stringify(result, null, 2)}\n`;
+    return {
+        path: artifactPath,
+        sha256: createHash("sha256").update(serialized).digest("hex"),
+        schemaId: BACKEND_TEST_RESULT_SCHEMA_ID,
+    };
+}
 export async function materializeBackendTestResultFromRunDir(input) {
     if (!/^[a-z0-9][a-z0-9._-]*\.json$/.test(input.artifactName) ||
         !/^[a-z0-9][a-z0-9._-]*$/.test(input.outputDir)) {

package/dist/workflows/dag/failure-category.js

@@ -32,6 +32,7 @@ const RAW_TO_NORMALIZED = {
     "empty-output": "validation",
     "verify-failure": "validation",
     "test-failure": "validation",
+    "verification-plan-stale": "validation",
     network: "executor",
     quota: "executor",
     "rate-limit": "executor",
@@ -59,7 +60,10 @@ function mapRawCategory(raw) {
     const lower = raw.toLowerCase();
     if (lower.includes("timeout"))
         return "timeout";
-    if (lower.includes("validation") || lower.includes("invalid"))
+    if (lower.includes("validation") ||
+        lower.includes("invalid") ||
+        lower.includes("verification-plan-stale") ||
+        lower.includes("plan-stale"))
         return "validation";
     if (lower.includes("auth") || lower.includes("api-key"))
         return "auth";

package/dist/workflows/dag/frontend-implementation-contract.js

@@ -120,6 +120,7 @@ export const frontendImplementationContractSchema = z
     requirements: z.array(z
         .object({
         id,
+        expectedOutcome: z.string().min(1),
         implementationTargets: z.array(safePath),
         verificationTargetIds: z.array(z.string().min(1)),
         evidenceGap: gap.optional(),
@@ -138,6 +139,8 @@ export const frontendImplementationContractSchema = z
     interactions: z.array(z
         .object({
         name: z.string().min(1),
+        trigger: z.string().min(1),
+        expectedBehavior: z.string().min(1),
         implementationTargets: z.array(safePath),
         verificationTargetIds: z.array(z.string().min(1)),
     })
@@ -536,6 +539,7 @@ export function coerceFrontendImplementationContractInput(value, canonicalBindin
             asString(req.realIntegrationGap);
         const out = {
             id,
+            expectedOutcome: asString(req.expectedOutcome),
             implementationTargets: implementationTargets.length > 0 ? implementationTargets : targetFiles,
             verificationTargetIds: verificationTargetIds.length > 0
                 ? verificationTargetIds

package/dist/workflows/dag/frontend-prewrite-gate.js

@@ -175,23 +175,6 @@ export async function runFrontendPrewriteGate(input) {
             throw new Error(`frontend prewrite gate contract target is outside implementation writeSet: ${uncoveredTargets.join(", ")}`);
         }
     }
-    if (contract.mockApi.strategy !== "not-needed") {
-        for (const endpoint of contract.mockApi.endpoints) {
-            for (const relative of [endpoint.fixture, endpoint.consumer]) {
-                if (!relative)
-                    continue;
-                const absolute = path.resolve(workspaceRoot ?? ".", relative);
-                try {
-                    const info = await stat(absolute);
-                    if (!info.isFile())
-                        throw new Error("not a regular file");
-                }
-                catch (error) {
-                    throw new Error(`frontend prewrite gate missing Mock file ${relative}: ${error instanceof Error ? error.message : String(error)}`);
-                }
-            }
-        }
-    }
     const candidatePaths = input.config.openspecCandidatePaths ?? [];
     const openspecReadPaths = await checkOpenspecReadEvidence({
         runDir: input.runDir,