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

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

@@ -413,6 +413,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 +466,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 +495,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 +652,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 +1079,133 @@ 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>`;
 }
+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,

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

@@ -1,5 +1,5 @@
 import { createHash } from "node:crypto";
-import { lstat, readFile, realpath } from "node:fs/promises";
+import { lstat, readFile, realpath, stat } from "node:fs/promises";
 import path from "node:path";
 import { z } from "zod";
 import { writeDagRunJsonArtifact } from "../../infrastructure/harness/artifact-store.js";
@@ -68,6 +68,111 @@ export const frontendTestResultContractSchema = z.object({
         ctx.addIssue({ code: z.ZodIssueCode.custom, path: ["integrationMode"], message: "real integration requires passed outcome" });
     }
 });
+async function isNonEmptyFile(filePath) {
+    try {
+        const info = await stat(filePath);
+        return info.isFile() && info.size > 0;
+    }
+    catch {
+        return false;
+    }
+}
+function isSafeEvidenceShellPath(value) {
+    return (typeof value === "string" &&
+        value.length > 0 &&
+        !path.isAbsolute(value) &&
+        !path.win32.isAbsolute(value) &&
+        !value.includes(".."));
+}
+/**
+ * Validate frontend browser evidence without going through a shell command.
+ * Keeping this in the Node executor avoids CMD/Git Bash/PowerShell quoting and
+ * backslash interpretation for the former long `node -e` command.
+ */
+export async function validateFrontendCaseEvidence(input) {
+    const manifestPath = path.join(input.workspaceRoot, "testcase/frontend/cases/manifest.json");
+    try {
+        await stat(manifestPath);
+    }
+    catch {
+        throw new Error("missing testcase/frontend/cases/manifest.json");
+    }
+    const manifest = JSON.parse(await readFile(manifestPath, "utf8"));
+    if (!Array.isArray(manifest.cases))
+        throw new Error("invalid frontend case manifest");
+    const statuses = new Set(["passed", "failed", "blocked"]);
+    const issues = [];
+    let hardFail = false;
+    for (const rawCase of manifest.cases) {
+        const item = rawCase;
+        const id = typeof item?.caseId === "string" ? item.caseId : "?";
+        const dir = item?.evidenceDir;
+        const prefix = `testcase/frontend/evidence/${id}`;
+        if (!item ||
+            typeof item.caseId !== "string" ||
+            typeof dir !== "string" ||
+            !isSafeEvidenceShellPath(dir) ||
+            !(dir === prefix || dir.startsWith(`${prefix}/`))) {
+            hardFail = true;
+            issues.push({ ruleId: "unsafe-evidence-dir", caseId: id, detail: String(dir) });
+            continue;
+        }
+        const execution = path.join(input.workspaceRoot, dir, "execution.md");
+        const resultPath = path.join(input.workspaceRoot, dir, "case-result.json");
+        if (!(await isNonEmptyFile(execution))) {
+            issues.push({ ruleId: "missing-execution", caseId: id, detail: "execution.md is missing or empty" });
+        }
+        let result = null;
+        if (!(await isNonEmptyFile(resultPath))) {
+            issues.push({ ruleId: "missing-case-result", caseId: id, detail: "case-result.json is missing" });
+            continue;
+        }
+        try {
+            result = JSON.parse(await readFile(resultPath, "utf8"));
+        }
+        catch {
+            issues.push({ ruleId: "invalid-case-result", caseId: id, detail: "case-result.json is malformed" });
+            continue;
+        }
+        if (!result || result.caseId !== id) {
+            issues.push({ ruleId: "case-result-identity", caseId: id, detail: "case-result caseId does not match manifest" });
+        }
+        if (!statuses.has(String(result?.status))) {
+            issues.push({ ruleId: "invalid-case-status", caseId: id, detail: "status must be passed, failed, or blocked" });
+        }
+        if (!Array.isArray(result?.evidencePaths)) {
+            issues.push({ ruleId: "invalid-evidence-paths", caseId: id, detail: "evidencePaths must be an array" });
+        }
+        else {
+            for (const evidencePath of result.evidencePaths) {
+                if (!isSafeEvidenceShellPath(evidencePath)) {
+                    hardFail = true;
+                    issues.push({ ruleId: "unsafe-evidence-path", caseId: id, detail: String(evidencePath) });
+                    continue;
+                }
+                const currentPrefix = `${prefix}/`;
+                if (evidencePath.startsWith("testcase/frontend/evidence/") && !evidencePath.startsWith(currentPrefix)) {
+                    hardFail = true;
+                    issues.push({ ruleId: "cross-case-evidence-path", caseId: id, detail: evidencePath });
+                    continue;
+                }
+                const target = evidencePath.startsWith("testcase/")
+                    ? path.join(input.workspaceRoot, evidencePath)
+                    : path.join(input.workspaceRoot, dir, evidencePath);
+                if (!(await isNonEmptyFile(target))) {
+                    issues.push({ ruleId: "missing-evidence", caseId: id, detail: `${evidencePath} is missing or empty` });
+                }
+            }
+        }
+        if (result?.status === "passed" && (!Array.isArray(result.evidencePaths) || !result.evidencePaths.some((entry) => /\.(png|jpg|jpeg|webp|zip|har|webm|mp4)$/i.test(String(entry))))) {
+            issues.push({ ruleId: "passed-without-browser-evidence", caseId: id, detail: "passed case has no screenshot, HAR, video, or equivalent browser artifact" });
+        }
+        if (result?.status === "blocked" && (typeof result.blockedReason !== "string" || !result.blockedReason.trim())) {
+            issues.push({ ruleId: "blocked-reason", caseId: id, detail: "blocked result has no usable reason" });
+        }
+    }
+    return { cases: manifest.cases.length, issues, hardFail };
+}
 function sha256(content) {
     return createHash("sha256").update(content).digest("hex");
 }
@@ -214,43 +319,3 @@ export function buildFrontendTestOutcomeGateShellSnippet(options) {
         `node -e 'const fs=require("fs");const r=JSON.parse(fs.readFileSync(process.argv[1],"utf8"));const ok=r.outcome==="passed"&&r.integrationMode==="real"&&Number(r.totals?.failed||0)===0&&Number(r.totals?.blocked||0)===0&&Array.isArray(r.acceptanceCoverage?.missing)&&r.acceptanceCoverage.missing.length===0;console.log("frontend-test outcome="+r.outcome+" integrationMode="+r.integrationMode);if(!ok)process.exit(1);' "\${RESULT}"`,
     ].join("; ");
 }
-/**
- * Shared frontend-test evidence advisory check for map children + node 7.
- * Hard-fails only for unsafe evidence directories or evidence paths. Missing,
- * malformed, or empty evidence is reported without mutating case outputs.
- */
-export function buildFrontendCaseEvidenceValidateShellSnippet() {
-    const body = [
-        "const fs=require('fs'),path=require('path');",
-        "const manifestPath='testcase/frontend/cases/manifest.json';",
-        "if(!fs.existsSync(manifestPath))throw new Error('missing '+manifestPath);",
-        "const manifest=JSON.parse(fs.readFileSync(manifestPath,'utf8'));",
-        "if(!Array.isArray(manifest.cases))throw new Error('invalid frontend case manifest');",
-        "const statuses=new Set(['passed','failed','blocked']);",
-        "const issues=[];",
-        "let hardFail=false;",
-        "function isSafeRel(p){return typeof p==='string'&&p.length>0&&!path.isAbsolute(p)&&!path.win32.isAbsolute(p)&&!p.includes('..');}",
-        "for(const c of manifest.cases){",
-        " const id=c&&typeof c.caseId==='string'?c.caseId:'?';",
-        " const dir=c&&c.evidenceDir;",
-        " const prefix='testcase/frontend/evidence/'+id;",
-        " if(!c||typeof c.caseId!=='string'||typeof dir!=='string'||!isSafeRel(dir)||!(dir===prefix||dir.startsWith(prefix+'/'))){",
-        "  hardFail=true; issues.push({ruleId:'unsafe-evidence-dir',caseId:id,detail:String(dir)}); continue;",
-        " }",
-        " const execution=path.join(dir,'execution.md');",
-        " const resultPath=path.join(dir,'case-result.json');",
-        " if(!fs.existsSync(execution)||!fs.statSync(execution).isFile()||fs.statSync(execution).size===0)issues.push({ruleId:'missing-execution',caseId:id,detail:'execution.md is missing or empty'});",
-        " let result=null;",
-        " if(!fs.existsSync(resultPath)){issues.push({ruleId:'missing-case-result',caseId:id,detail:'case-result.json is missing'});continue;}",
-        " try{result=JSON.parse(fs.readFileSync(resultPath,'utf8'));}catch(e){issues.push({ruleId:'invalid-case-result',caseId:id,detail:'case-result.json is malformed'});continue;}",
-        " if(!result||result.caseId!==id)issues.push({ruleId:'case-result-identity',caseId:id,detail:'case-result caseId does not match manifest'});",
-        " if(!statuses.has(result&&result.status))issues.push({ruleId:'invalid-case-status',caseId:id,detail:'status must be passed, failed, or blocked'});",
-        " if(!Array.isArray(result&&result.evidencePaths)){issues.push({ruleId:'invalid-evidence-paths',caseId:id,detail:'evidencePaths must be an array'});}else{for(const p of result.evidencePaths){if(!isSafeRel(p)){hardFail=true;issues.push({ruleId:'unsafe-evidence-path',caseId:id,detail:String(p)});continue;}const currentPrefix=prefix+'/';if(p.startsWith('testcase/frontend/evidence/')&&!p.startsWith(currentPrefix)){hardFail=true;issues.push({ruleId:'cross-case-evidence-path',caseId:id,detail:p});continue;}const target=p.startsWith('testcase/')?p:path.join(dir,p);if(!fs.existsSync(target)||!fs.statSync(target).isFile()||fs.statSync(target).size===0)issues.push({ruleId:'missing-evidence',caseId:id,detail:p+' is missing or empty'});}}",
-        " if(result&&result.status==='passed'&&(!Array.isArray(result.evidencePaths)||!result.evidencePaths.some(p=>/\\.(png|jpg|jpeg|webp|zip|har|webm|mp4)$/i.test(p))))issues.push({ruleId:'passed-without-browser-evidence',caseId:id,detail:'passed case has no screenshot, HAR, video, or equivalent browser artifact'});",
-        " if(result&&result.status==='blocked'&&(typeof result.blockedReason!=='string'||!result.blockedReason.trim()))issues.push({ruleId:'blocked-reason',caseId:id,detail:'blocked result has no usable reason'});",
-        "}",
-        "if(hardFail){console.error('frontend-test evidence hard-fail: '+JSON.stringify(issues)); process.exit(1);}",
-        "console.log('frontend case evidence advisory validation ok cases='+manifest.cases.length+' findings='+issues.length+(issues.length?(' issues='+JSON.stringify(issues)):''));",
-    ].join("");
-    return ["node -e", JSON.stringify(body)].join(" ");
-}