@tea-agent/loop-agent 0.19.0 → 0.20.1-beta.0

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

@@ -5,13 +5,23 @@ 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;
 const PLACEHOLDER = /\b(?:TODO|TBD|FIXME)\b|后续补充|暂不实现|接口正常|结果正确|按实际情况处理/i;
+const CASE_SECTION_ALIASES = {
+    acceptanceCriteria: ["Acceptance Criteria", "验收标准"],
+    sourceReferences: ["Source References", "需求依据"],
+    preconditions: ["Preconditions", "前置条件"],
+    testData: ["Test Data", "测试数据"],
+    steps: ["Steps", "操作步骤"],
+    expectedResults: ["Expected Results", "预期结果"],
+    automationNotes: ["Automation Notes", "自动化映射", "自动化说明"],
+    testPurpose: ["Test Purpose", "测试目的", "测试场景"],
+};
 const REQUIRED_CASE_SECTIONS = [
-    "Acceptance Criteria",
-    "Source References",
-    "Preconditions",
-    "Steps",
-    "Expected Results",
-    "Automation Notes",
+    CASE_SECTION_ALIASES.acceptanceCriteria,
+    CASE_SECTION_ALIASES.sourceReferences,
+    CASE_SECTION_ALIASES.preconditions,
+    CASE_SECTION_ALIASES.steps,
+    CASE_SECTION_ALIASES.expectedResults,
+    CASE_SECTION_ALIASES.automationNotes,
 ];
 async function exists(filePath) {
     try {
@@ -34,7 +44,7 @@ function unique(values) {
     return [...new Set(values)].sort((left, right) => left.localeCompare(right));
 }
 export function requiredBackendMarkdownCaseAcIds(criteria) {
-    const downstreamEvidence = /(?:pytest|junit|html|stdout|stderr|traceability|追溯|一一映射|一一追溯|执行并产生|执行结果|测试报告|失败分类|证据)/i;
+    const downstreamEvidence = /(?:pytest|junit|html|stdout|stderr|traceability|markdown|readme|human-readable|skip|xfail|吞(?:断言|异常)|生产代码|生产配置|配置写入|写入边界|中文(?:用例|文档|结构|展示)?|用例(?:索引|结构|文档)|测试目的|需求依据|操作步骤|预期结果|自动化映射|追溯|一一映射|一一追溯|执行并产生|执行结果|测试报告|失败分类|证据)/i;
     return unique([...criteria]
         .filter((criterion) => !downstreamEvidence.test(criterion))
         .flatMap((criterion) => criterion.match(/\bAC-[A-Z0-9]+(?:-[A-Z0-9]+)*\b/g) ?? []));
@@ -165,8 +175,9 @@ function splitCases(markdown) {
         body: markdown.slice(match.index, headings[index + 1]?.index ?? markdown.length),
     }));
 }
-function sectionBody(body, heading) {
-    const marker = new RegExp(`^###\\s+${heading}\\s*$`, "mi");
+function sectionBody(body, headings) {
+    const headingPattern = headings.map(escapeRegExp).join("|");
+    const marker = new RegExp(`^###\\s+(?:${headingPattern})\\s*$`, "mi");
     const match = marker.exec(body);
     if (!match)
         return "";
@@ -320,14 +331,15 @@ export async function validateBackendMarkdownCases(input) {
             if (previous)
                 throw new Error(`duplicate case id ${testCase.id}: ${previous} and ${path.relative(input.workspaceRoot, file)}`);
             seen.set(testCase.id, path.relative(input.workspaceRoot, file).replaceAll(path.sep, "/"));
-            for (const section of REQUIRED_CASE_SECTIONS) {
-                if (!new RegExp(`^###\\s+${section}\\s*$`, "mi").test(testCase.body)) {
-                    throw new Error(`${testCase.id} missing section: ${section}`);
+            for (const sectionAliases of REQUIRED_CASE_SECTIONS) {
+                const sectionPattern = sectionAliases.map(escapeRegExp).join("|");
+                if (!new RegExp(`^###\\s+(?:${sectionPattern})\\s*$`, "mi").test(testCase.body)) {
+                    throw new Error(`${testCase.id} missing section: ${sectionAliases.join(" or ")}`);
                 }
             }
             const acIds = unique(testCase.body.match(AC_ID) ?? []);
             acIds.forEach((id) => coveredAc.add(id));
-            const sourceSection = sectionBody(testCase.body, "Source References");
+            const sourceSection = sectionBody(testCase.body, CASE_SECTION_ALIASES.sourceReferences);
             const sourceRefs = extractSourceReferences({
                 sourceSection,
                 sourceBinding: input.sourceBinding,
@@ -348,8 +360,8 @@ export async function validateBackendMarkdownCases(input) {
                     throw new Error(`${testCase.id} references a missing source path: ${sourceRef}`);
                 }
             }
-            const steps = sectionBody(testCase.body, "Steps");
-            const expected = sectionBody(testCase.body, "Expected Results");
+            const steps = sectionBody(testCase.body, CASE_SECTION_ALIASES.steps);
+            const expected = sectionBody(testCase.body, CASE_SECTION_ALIASES.expectedResults);
             if (!hasNumberedListItem(steps))
                 throw new Error(`${testCase.id} has no numbered executable step`);
             if (!hasAssertableExpectedResult(expected))
@@ -381,18 +393,32 @@ function collectMarkdownCaseIds(markdown) {
 }
 function testFunctionRegion(input) {
     const functionLineStart = input.source.lastIndexOf("\n", input.functionIndex - 1) + 1;
-    const prefix = input.source.slice(0, functionLineStart);
-    const previousBlankLine = Math.max(prefix.lastIndexOf("\n\n"), prefix.lastIndexOf("\r\n\r\n"));
-    const decoratorCandidateStart = previousBlankLine >= 0
-        ? previousBlankLine + (prefix.startsWith("\r\n", previousBlankLine) ? 4 : 2)
-        : 0;
-    const decoratorCandidate = input.source.slice(decoratorCandidateStart, functionLineStart);
-    const regionStart = /^\s*@/m.test(decoratorCandidate)
-        ? decoratorCandidateStart
-        : functionLineStart;
-    const nextBoundary = /^(?:(?:async\s+)?def|class)\s+[A-Za-z_][A-Za-z0-9_]*\b/gm;
-    nextBoundary.lastIndex = input.functionHeaderEnd;
-    const regionEnd = nextBoundary.exec(input.source)?.index ?? input.source.length;
+    const functionLine = input.source.slice(functionLineStart, input.functionHeaderEnd);
+    const indent = functionLine.match(/^\s*/)?.[0] ?? "";
+    let regionStart = functionLineStart;
+    let cursor = functionLineStart;
+    while (cursor > 0) {
+        const previousEnd = cursor - 1;
+        const previousStart = input.source.lastIndexOf("\n", previousEnd - 1) + 1;
+        const previousLine = input.source.slice(previousStart, previousEnd).replace(/\r$/, "");
+        if (!previousLine.trim())
+            break;
+        if (new RegExp(`^${escapeRegExp(indent)}@`).test(previousLine)) {
+            regionStart = previousStart;
+            cursor = previousStart;
+            continue;
+        }
+        break;
+    }
+    const lines = input.source.slice(input.functionHeaderEnd).split(/\r?\n/);
+    let consumed = 0;
+    for (const line of lines) {
+        const boundary = line.match(/^(\s*)(?:(?:async\s+)?def|class)\s+[A-Za-z_][A-Za-z0-9_]*\b/);
+        if (boundary && boundary[1].length <= indent.length)
+            break;
+        consumed += line.length + 1;
+    }
+    const regionEnd = Math.min(input.source.length, input.functionHeaderEnd + consumed);
     return input.source
         .slice(regionStart, regionEnd)
         .split(/\r?\n/)
@@ -436,8 +462,8 @@ export async function validateBackendMarkdownTraceability(workspaceRoot) {
         if (unsafeSwallowedException) {
             throw new Error(`swallowed exception is forbidden in generated backend pytest: ${path.relative(workspaceRoot, file)} (${unsafeSwallowedException})`);
         }
-        for (const match of content.matchAll(/^(?:async\s+)?def\s+(test_[A-Za-z0-9_]+)\s*\([^)]*\)\s*(?:->\s*[^:\r\n]+)?\s*:/gm)) {
-            const symbol = match[1];
+        for (const match of content.matchAll(/^(\s*)(?:async\s+)?def\s+(test_[A-Za-z0-9_]+)\s*\([^)]*\)\s*(?:->\s*[^:\r\n]+)?\s*:/gm)) {
+            const symbol = match[2];
             const region = testFunctionRegion({
                 source: content,
                 functionIndex: match.index,
@@ -482,6 +508,82 @@ export async function validateBackendMarkdownTraceability(workspaceRoot) {
         "- skip/xfail findings: 0",
     ].join("\n") + "\n");
 }
+function cleanCaseTitle(rawHeading, id) {
+    return rawHeading
+        .replace(/^##\s+/, "")
+        .replace(new RegExp(`^${escapeRegExp(id)}\\s*(?:[｜|—–-]\\s*)?`), "")
+        .trim() || id;
+}
+export async function collectBackendTestHumanCaseCatalog(workspaceRoot) {
+    const files = await markdownFiles(workspaceRoot);
+    const catalog = new Map();
+    for (const file of files) {
+        if (path.basename(file).toLowerCase() === "readme.md")
+            continue;
+        const markdown = await readFile(file, "utf8");
+        for (const testCase of splitCases(markdown)) {
+            const heading = testCase.body.match(/^##\s+.*$/m)?.[0] ?? testCase.id;
+            const purpose = sectionBody(testCase.body, CASE_SECTION_ALIASES.testPurpose).trim();
+            const fallbackScenario = sectionBody(testCase.body, CASE_SECTION_ALIASES.expectedResults)
+                .replace(/^\s*(?:\d+[.)]|[-*+])\s+/gm, "")
+                .replace(/\s+/g, " ")
+                .trim();
+            catalog.set(testCase.id, {
+                id: testCase.id,
+                title: cleanCaseTitle(heading, testCase.id),
+                scenario: purpose.replace(/\s+/g, " ").trim() || fallbackScenario || "详见 Markdown 用例步骤与预期结果。",
+                markdownPath: path.relative(workspaceRoot, file).replaceAll(path.sep, "/"),
+                testFunctions: [],
+            });
+        }
+    }
+    const testcaseRoot = path.join(workspaceRoot, "testcase");
+    const pythonFiles = [];
+    async function walk(directory) {
+        for (const entry of await readdir(directory, { withFileTypes: true })) {
+            const absolute = path.join(directory, entry.name);
+            if (entry.isDirectory())
+                await walk(absolute);
+            else if (/^test_.*\.py$/i.test(entry.name))
+                pythonFiles.push(absolute);
+        }
+    }
+    if (await exists(testcaseRoot))
+        await walk(testcaseRoot);
+    for (const file of pythonFiles) {
+        const content = await readFile(file, "utf8");
+        for (const match of content.matchAll(/^(\s*)(?:async\s+)?def\s+(test_[A-Za-z0-9_]+)\s*\([^)]*\)\s*(?:->\s*[^:\r\n]+)?\s*:/gm)) {
+            const symbol = match[2];
+            const region = testFunctionRegion({ source: content, functionIndex: match.index, functionHeaderEnd: match.index + match[0].length });
+            const ids = new Set(region.match(CASE_ID) ?? []);
+            const fromSymbol = symbolCaseId(symbol);
+            if (fromSymbol)
+                ids.add(fromSymbol);
+            for (const id of ids) {
+                const item = catalog.get(id);
+                if (!item)
+                    continue;
+                item.scriptPath = path.relative(workspaceRoot, file).replaceAll(path.sep, "/");
+                if (!item.testFunctions.includes(symbol))
+                    item.testFunctions.push(symbol);
+            }
+        }
+    }
+    return [...catalog.values()].sort((left, right) => left.id.localeCompare(right.id));
+}
+function junitCaseId(name) {
+    return symbolCaseId(name) ?? name.match(CASE_ID)?.[0];
+}
+function humanStatus(status) {
+    return status === "passed" ? "通过" : status === "failure" ? "失败" : status === "error" ? "错误" : "跳过";
+}
+function formatDuration(durationMs) {
+    return durationMs === undefined ? "未记录" : `${(durationMs / 1000).toFixed(3)} 秒`;
+}
+function inferredScriptPath(classname) {
+    const moduleName = classname.split(".").filter((part) => part && !/^Test/.test(part)).join("/");
+    return `${moduleName || "unknown"}.py`;
+}
 export function redactBackendTestOutput(value) {
     return value
         .replace(/((?:password|passwd|secret|token|api[_-]?key|authorization)\s*[:=]\s*)\S+/gi, "$1[REDACTED]")
@@ -496,19 +598,28 @@ function escapeHtml(value) {
 }
 export function renderBackendTestHtml(input) {
     const passRate = input.parsed.tests > 0 ? input.parsed.passed / input.parsed.tests : 0;
-    const failures = input.parsed.failures.length
-        ? input.parsed.failures
-            .map((failure) => `<tr><td>${escapeHtml(failure.name)}</td><td>${escapeHtml(failure.kind)}</td><td><pre>${escapeHtml(failure.message)}</pre></td></tr>`)
-            .join("")
-        : '<tr><td colspan="3">No failures</td></tr>';
-    return `<!doctype html><html lang="zh-CN"><head><meta charset="utf-8"><title>${escapeHtml(input.title)}</title><style>body{font-family:system-ui,"Microsoft YaHei",sans-serif;margin:2rem;color:#172033}h1,h2{color:#17365d}.cards{display:grid;grid-template-columns:repeat(3,minmax(8rem,1fr));gap:.75rem}.card{padding:1rem;border:1px solid #ccd6e0;border-radius:.5rem;background:#f7f9fc}.bad{color:#b42318}table{width:100%;border-collapse:collapse}th,td{border:1px solid #ccd6e0;padding:.55rem;text-align:left;vertical-align:top}pre{white-space:pre-wrap;max-height:18rem;overflow:auto}</style></head><body><h1>${escapeHtml(input.title)}</h1><div class="cards"><div class="card">Total<br><strong>${input.parsed.tests}</strong></div><div class="card">Passed<br><strong>${input.parsed.passed}</strong></div><div class="card bad">Failed/Error<br><strong>${input.parsed.failed + input.parsed.errors}</strong></div><div class="card">Skipped<br><strong>${input.parsed.skipped}</strong></div><div class="card">Pass rate<br><strong>${(passRate * 100).toFixed(2)}%</strong></div><div class="card">Duration<br><strong>${input.parsed.durationMs ?? "unavailable"} ms</strong></div></div><h2>Environment</h2><pre>${escapeHtml(input.environmentSummary.slice(0, 4000))}</pre><h2>Traceability</h2><pre>${escapeHtml(input.traceabilitySummary.slice(0, 4000))}</pre><h2>Failures</h2><table><thead><tr><th>Test</th><th>Kind</th><th>Summary</th></tr></thead><tbody>${failures}</tbody></table></body></html>`;
+    const catalog = new Map((input.cases ?? []).map((item) => [item.id, item]));
+    const rows = input.parsed.cases.map((result) => {
+        const caseId = junitCaseId(result.name) ?? "未关联";
+        const item = catalog.get(caseId);
+        const scriptPath = item?.scriptPath ?? inferredScriptPath(result.classname);
+        const details = result.details || result.message || "";
+        const failureCell = result.status === "passed"
+            ? "—"
+            : `<strong>${escapeHtml(result.message || humanStatus(result.status))}</strong>${details ? `<details><summary>查看完整技术详情</summary><pre>${escapeHtml(details)}</pre></details>` : ""}`;
+        return `<tr class="result-${result.status}"><td><code>${escapeHtml(caseId)}</code></td><td><strong>${escapeHtml(item?.title ?? result.name)}</strong><small>${escapeHtml(item?.scenario ?? "未从 Markdown 用例提取场景说明。")}</small></td><td><code>${escapeHtml(scriptPath)}</code><small>${escapeHtml(result.name)}</small></td><td><span class="status ${result.status}">${humanStatus(result.status)}</span></td><td>${formatDuration(result.durationMs)}</td><td>${failureCell}</td></tr>`;
+    }).join("");
+    const conclusion = input.parsed.failed + input.parsed.errors === 0
+        ? `本轮测试通过：${input.parsed.passed} 条用例执行成功。`
+        : `本轮测试未通过：${input.parsed.failed + input.parsed.errors} 条用例失败或错误，请优先查看失败原因。`;
+    return `<!doctype html><html lang="zh-CN"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>${escapeHtml(input.title)}</title><style>:root{color-scheme:light;--ink:#172033;--muted:#667085;--line:#d9e2ec;--panel:#f7f9fc;--brand:#17365d;--pass:#067647;--pass-bg:#ecfdf3;--fail:#b42318;--fail-bg:#fef3f2;--skip:#9a6700;--skip-bg:#fffaeb}*{box-sizing:border-box}body{margin:0;background:#eef2f6;color:var(--ink);font-family:system-ui,"Microsoft YaHei","PingFang SC",sans-serif;line-height:1.6}header,main{max-width:1440px;margin:auto}header{padding:2.5rem 2rem 1.25rem}main{padding:0 2rem 3rem}h1{margin:.25rem 0;color:var(--brand)}h2{margin-top:2rem;color:var(--brand)}.eyebrow{color:var(--muted);font-weight:700}.banner{padding:1rem 1.25rem;border-radius:.75rem;background:${input.parsed.failed + input.parsed.errors === 0 ? "var(--pass-bg)" : "var(--fail-bg)"};color:${input.parsed.failed + input.parsed.errors === 0 ? "var(--pass)" : "var(--fail)"};font-weight:700}.cards{display:grid;grid-template-columns:repeat(6,minmax(7rem,1fr));gap:.75rem;margin:1rem 0}.card{padding:1rem;border:1px solid var(--line);border-radius:.75rem;background:white}.card span,small{display:block;color:var(--muted)}.card strong{font-size:1.55rem}section{background:white;border:1px solid var(--line);border-radius:.9rem;padding:1.25rem;margin-top:1rem;box-shadow:0 8px 24px rgba(23,54,93,.04)}.table-wrap{overflow:auto}table{width:100%;border-collapse:collapse;min-width:1100px}th,td{border-bottom:1px solid var(--line);padding:.75rem;text-align:left;vertical-align:top}th{background:var(--panel);position:sticky;top:0}.status{display:inline-block;padding:.15rem .55rem;border-radius:999px;font-weight:700}.status.passed{color:var(--pass);background:var(--pass-bg)}.status.failure,.status.error{color:var(--fail);background:var(--fail-bg)}.status.skipped{color:var(--skip);background:var(--skip-bg)}code{white-space:nowrap}pre{white-space:pre-wrap;max-height:22rem;overflow:auto;background:#101828;color:#f2f4f7;padding:1rem;border-radius:.5rem}details{margin-top:.5rem}summary{cursor:pointer;color:var(--brand);font-weight:700}.secondary{display:grid;grid-template-columns:1fr 1fr;gap:1rem}.secondary pre{background:var(--panel);color:var(--ink)}@media(max-width:900px){.cards{grid-template-columns:repeat(2,1fr)}.secondary{grid-template-columns:1fr}header,main{padding-left:1rem;padding-right:1rem}}</style></head><body><header><div class="eyebrow">后端自动化测试报告</div><h1>${escapeHtml(input.title)}</h1><p>主要面向测试、研发和评审人员；执行事实来自同一次 pytest JUnit。</p></header><main><section><h2>测试结论</h2><div class="banner">${escapeHtml(conclusion)}</div><div class="cards"><div class="card"><span>用例总数</span><strong>${input.parsed.tests}</strong></div><div class="card"><span>通过</span><strong>${input.parsed.passed}</strong></div><div class="card"><span>失败</span><strong>${input.parsed.failed}</strong></div><div class="card"><span>错误</span><strong>${input.parsed.errors}</strong></div><div class="card"><span>跳过</span><strong>${input.parsed.skipped}</strong></div><div class="card"><span>通过率 / 总耗时</span><strong>${(passRate * 100).toFixed(2)}%</strong><small>${formatDuration(input.parsed.durationMs)}</small></div></div></section><section><h2>用例执行结果</h2><div class="table-wrap"><table><thead><tr><th>用例编号</th><th>用例名称及测试场景</th><th>自动化脚本</th><th>结果</th><th>耗时</th><th>失败原因</th></tr></thead><tbody>${rows || '<tr><td colspan="6">未发现可展示的 JUnit testcase。</td></tr>'}</tbody></table></div></section><section><h2>执行证据</h2><div class="secondary"><details><summary>环境信息</summary><pre>${escapeHtml(input.environmentSummary.slice(0, 8000))}</pre></details><details><summary>用例追溯信息</summary><pre>${escapeHtml(input.traceabilitySummary.slice(0, 8000))}</pre></details></div></section></main></body></html>`;
 }
 export function renderBackendTestFacts(input) {
     const passRate = input.parsed.tests > 0 ? input.parsed.passed / input.parsed.tests : 0;
     return ([
-        "# Backend Test Execution Facts",
+        "# 后端测试执行事实",
         "",
-        "## Execution",
+        "## 执行摘要",
         "",
         `- Status: ${input.pytestExitCode === 0 ? "passed" : "completed-with-failures"}`,
         `- Pytest exit code: ${input.pytestExitCode}`,
@@ -516,7 +627,7 @@ export function renderBackendTestFacts(input) {
         "- JUnit valid: yes",
         "- HTML valid: yes",
         "",
-        "## Counts",
+        "## 计数",
         "",
         `- Total: ${input.parsed.tests}`,
         `- Passed: ${input.parsed.passed}`,
@@ -525,20 +636,31 @@ export function renderBackendTestFacts(input) {
         `- Skipped: ${input.parsed.skipped}`,
         `- Pass rate: ${(passRate * 100).toFixed(2)}%`,
         "",
-        "## Evidence",
+        "## 逐条执行结果",
+        "",
+        "| 用例编号 | 用例名称 | 自动化脚本 | 测试函数 | 结果 | 耗时 | 失败原因 |",
+        "|---|---|---|---|---|---:|---|",
+        ...input.parsed.cases.map((result) => {
+            const caseId = junitCaseId(result.name) ?? "未关联";
+            const item = new Map((input.cases ?? []).map((entry) => [entry.id, entry])).get(caseId);
+            const script = item?.scriptPath ?? inferredScriptPath(result.classname);
+            return `| ${caseId} | ${item?.title ?? result.name} | \`${script}\` | \`${result.name}\` | ${humanStatus(result.status)} | ${formatDuration(result.durationMs)} | ${(result.message ?? "—").replaceAll("|", "\\|")} |`;
+        }),
+        "",
+        "## 证据",
         "",
         `- JUnit: ${input.junitRelativePath}`,
         `- JUnit SHA-256: ${createHash("sha256").update(input.junitContent).digest("hex")}`,
         `- HTML: ${input.htmlRelativePath}`,
         `- HTML SHA-256: ${createHash("sha256").update(input.htmlContent).digest("hex")}`,
         "",
-        "## Failed Tests",
+        "## 失败用例",
         "",
         ...(input.parsed.failures.length > 0
             ? input.parsed.failures.map((failure) => `- ${failure.name} [${failure.kind}]: ${failure.message}`)
             : ["- None"]),
         "",
-        "## Maturity Evidence",
+        "## 成熟度证据",
         "",
         "- Code coverage: unavailable unless a separate validated coverage artifact exists.",
         "- Stability: unavailable unless at least five independent runs are recorded.",

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

@@ -178,8 +178,10 @@ export function parseJunitXml(xml) {
     if (openedCases !== closedCases + selfClosingCases) {
         throw new Error("invalid junit xml: unclosed testcase element");
     }
-    // Prefer root testsuites aggregates when present.
+    // Prefer root testsuites aggregates when present, then fall back to the first
+    // testsuite aggregate. Pytest commonly emits time only on <testsuite>.
     const suitesOpen = trimmed.match(/<testsuites\b[^>]*>/i)?.[0];
+    const firstSuiteOpen = trimmed.match(/<testsuite\b[^>]*>/i)?.[0];
     let tests = 0;
     let failed = 0;
     let errors = 0;
@@ -202,9 +204,15 @@ export function parseJunitXml(xml) {
         if (time !== undefined && time !== "")
             timeSec = Number(time);
     }
+    if (timeSec === undefined && firstSuiteOpen) {
+        const time = attr(firstSuiteOpen, "time");
+        if (time !== undefined && time !== "")
+            timeSec = Number(time);
+    }
     // Self-closing first so empty cases ending with /> are not greedily paired with a later </testcase>.
     const caseRe = /<testcase\b([^>]*?)\/>|<testcase\b([^>]*)>([\s\S]*?)<\/testcase>/gi;
     const failures = [];
+    const cases = [];
     let caseCount = 0;
     let caseFailed = 0;
     let caseErrors = 0;
@@ -216,35 +224,49 @@ export function parseJunitXml(xml) {
         const body = match[3] ?? "";
         const classname = attr(openAttrs, "classname") || "unknown";
         const name = attr(openAttrs, "name") || "unknown";
+        const caseTime = attr(openAttrs, "time");
+        const caseDurationMs = caseTime !== undefined && caseTime !== "" && !Number.isNaN(Number(caseTime))
+            ? Math.round(Number(caseTime) * 1000)
+            : undefined;
         const failureTag = body.match(/<failure\b([^>]*)>([\s\S]*?)<\/failure>|<failure\b([^>]*)\/>/i);
         const errorTag = body.match(/<error\b([^>]*)>([\s\S]*?)<\/error>|<error\b([^>]*)\/>/i);
         const skippedTag = /<skipped\b/i.test(body);
         if (failureTag) {
             caseFailed += 1;
             const fAttrs = failureTag[1] ?? failureTag[3] ?? "";
-            const fBody = failureTag[2] ?? "";
-            const message = attr(fAttrs, "message") || fBody || "failure";
+            const fBody = decodeXmlEntities(failureTag[2] ?? "").trim();
+            const message = decodeXmlEntities(attr(fAttrs, "message") || fBody || "failure");
+            const summary = truncate(message);
             failures.push({
                 classname,
                 name,
-                message: truncate(message),
+                message: summary,
                 kind: "failure",
             });
+            cases.push({ classname, name, durationMs: caseDurationMs, status: "failure", message: summary, details: fBody || summary });
         }
         else if (errorTag) {
             caseErrors += 1;
             const eAttrs = errorTag[1] ?? errorTag[3] ?? "";
-            const eBody = errorTag[2] ?? "";
-            const message = attr(eAttrs, "message") || eBody || "error";
+            const eBody = decodeXmlEntities(errorTag[2] ?? "").trim();
+            const message = decodeXmlEntities(attr(eAttrs, "message") || eBody || "error");
+            const summary = truncate(message);
             failures.push({
                 classname,
                 name,
-                message: truncate(message),
+                message: summary,
                 kind: "error",
             });
+            cases.push({ classname, name, durationMs: caseDurationMs, status: "error", message: summary, details: eBody || summary });
         }
         else if (skippedTag) {
             caseSkipped += 1;
+            const skippedAttrs = body.match(/<skipped\b([^>]*)/i)?.[1] ?? "";
+            const message = attr(skippedAttrs, "message");
+            cases.push({ classname, name, durationMs: caseDurationMs, status: "skipped", ...(message ? { message } : {}) });
+        }
+        else {
+            cases.push({ classname, name, durationMs: caseDurationMs, status: "passed" });
         }
         match = caseRe.exec(trimmed);
     }
@@ -322,6 +344,7 @@ export function parseJunitXml(xml) {
         durationMs: timeSec !== undefined && !Number.isNaN(timeSec)
             ? Math.round(timeSec * 1000)
             : undefined,
+        cases,
         failures: failures.slice(0, MAX_FAILURES),
     };
 }

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

@@ -0,0 +1,172 @@
+import { readFile, stat } from "node:fs/promises";
+import path from "node:path";
+import { frontendImplementationContractSchema, materializeFrontendImplementationContract, } from "./frontend-implementation-contract.js";
+async function selectNode(runDir, primary, fallbacks) {
+    for (const nodeId of [primary, ...fallbacks.filter((id) => id !== primary)]) {
+        try {
+            await stat(path.join(runDir, `${nodeId}.json`));
+            return nodeId;
+        }
+        catch (error) {
+            if (error.code === "ENOENT")
+                continue;
+            throw error;
+        }
+    }
+    throw new Error(`frontend prewrite gate missing node output: ${[primary, ...fallbacks].join(", ")}`);
+}
+async function readNodeText(runDir, nodeId) {
+    const record = JSON.parse(await readFile(path.join(runDir, `${nodeId}.json`), "utf8"));
+    const text = record.assistantText?.trim() || record.stdout?.trim() || "";
+    if (!text)
+        throw new Error(`frontend prewrite gate empty output from ${nodeId}`);
+    return text;
+}
+function firstVerdictLine(text) {
+    for (const raw of text.split(/\r?\n/)) {
+        const line = raw.trim().replace(/^\*{1,3}\s*(VERDICT:[^*]+?)\s*\*{1,3}$/, "$1").trim();
+        if (line.startsWith("VERDICT:"))
+            return line;
+    }
+    return "";
+}
+function eventArgs(event) {
+    return event.args ?? event.toolInput ?? event.input ?? {};
+}
+function toRepoRelativePath(filePath, repoRoot) {
+    const resolved = path.resolve(repoRoot, filePath);
+    const relative = path.relative(repoRoot, resolved);
+    if (!relative || relative.startsWith("..") || path.isAbsolute(relative)) {
+        return null;
+    }
+    return relative.replaceAll(path.sep, "/");
+}
+function isFailedToolResult(event) {
+    return (event.isError === true ||
+        event.toolResult?.error != null ||
+        event.toolResult?.ok === false ||
+        event.result?.error != null ||
+        event.result?.ok === false);
+}
+async function checkOpenspecReadEvidence(input) {
+    const { runDir, candidatePaths, planNodeId, reviewNodeId, repoRoot } = input;
+    if (candidatePaths.length === 0)
+        return [];
+    const matched = new Set();
+    const normalizedCandidates = new Set(candidatePaths
+        .map((candidate) => toRepoRelativePath(candidate, repoRoot))
+        .filter((candidate) => Boolean(candidate?.startsWith("openspec/"))));
+    for (const nodeId of [planNodeId, reviewNodeId]) {
+        const eventsPath = path.join(runDir, nodeId, "session-events.jsonl");
+        try {
+            const raw = await readFile(eventsPath, "utf8");
+            const startedReads = new Map();
+            for (const line of raw.split(/\r?\n/)) {
+                const trimmed = line.trim();
+                if (!trimmed)
+                    continue;
+                let event;
+                try {
+                    event = JSON.parse(trimmed);
+                }
+                catch {
+                    continue;
+                }
+                if (event.type === "tool_execution_start" &&
+                    event.toolName === "read" &&
+                    event.toolCallId) {
+                    const readPath = eventArgs(event).path;
+                    if (typeof readPath === "string") {
+                        startedReads.set(event.toolCallId, readPath);
+                    }
+                }
+                else if (event.type === "tool_execution_end" &&
+                    event.toolName === "read" &&
+                    event.toolCallId !== undefined) {
+                    const readPath = startedReads.get(event.toolCallId);
+                    const relativePath = readPath
+                        ? toRepoRelativePath(readPath, repoRoot)
+                        : null;
+                    if (relativePath &&
+                        !isFailedToolResult(event) &&
+                        normalizedCandidates.has(relativePath)) {
+                        matched.add(relativePath);
+                    }
+                    startedReads.delete(event.toolCallId);
+                }
+            }
+        }
+        catch (error) {
+            if (error.code === "ENOENT")
+                continue;
+            throw error;
+        }
+    }
+    return [...matched];
+}
+export async function runFrontendPrewriteGate(input) {
+    const planNodeId = await selectNode(input.runDir, input.config.planFromNodeId, input.config.planFallbackFromNodeIds);
+    const reviewNodeId = await selectNode(input.runDir, input.config.reviewFromNodeId, input.config.reviewFallbackFromNodeIds);
+    const planText = await readNodeText(input.runDir, planNodeId);
+    const reviewText = await readNodeText(input.runDir, reviewNodeId);
+    const verdict = firstVerdictLine(reviewText);
+    if (verdict !== "VERDICT: pass") {
+        throw new Error(`frontend prewrite gate blocked by ${reviewNodeId}: ${verdict || "missing VERDICT"}`);
+    }
+    const missingIds = input.config.requiredRequirementIds.filter((id) => !planText.includes(id));
+    if (missingIds.length > 0) {
+        throw new Error(`frontend prewrite gate missing requirement ids: ${missingIds.join(", ")}`);
+    }
+    const artifact = await materializeFrontendImplementationContract({
+        runDir: input.runDir,
+        fromNodeId: planNodeId,
+        artifactName: input.config.artifactName,
+        outputDir: input.config.outputDir,
+        sourceBinding: input.sourceBinding,
+    });
+    const raw = JSON.parse(await readFile(artifact.path, "utf8"));
+    const contract = frontendImplementationContractSchema.parse(raw);
+    if (!input.config.allowedMockStrategies.includes(contract.mockApi.strategy)) {
+        throw new Error(`frontend prewrite gate blocked mock strategy ${contract.mockApi.strategy}; allowed=${input.config.allowedMockStrategies.join(",")}`);
+    }
+    const candidatePaths = input.config.openspecCandidatePaths ?? [];
+    const openspecReadPaths = await checkOpenspecReadEvidence({
+        runDir: input.runDir,
+        candidatePaths,
+        planNodeId,
+        reviewNodeId,
+        repoRoot: input.repoRoot ?? process.cwd(),
+    });
+    if (candidatePaths.length > 0 && openspecReadPaths.length === 0) {
+        const checkedNodes = [planNodeId, reviewNodeId].join(", ");
+        throw new Error(`openspec gate blocked: ${candidatePaths.length} candidate(s) [${candidatePaths.join(", ")}] not read by ${checkedNodes}; writer not authorized.`);
+    }
+    return {
+        ok: true,
+        planNodeId,
+        reviewNodeId,
+        verdict,
+        mockStrategy: contract.mockApi.strategy,
+        artifact,
+        openspecReadPaths,
+        openspecCandidatePaths: candidatePaths,
+    };
+}
+export function formatFrontendPrewriteGateStdout(result) {
+    const lines = [
+        "Frontend prewrite gate: pass",
+        `Plan: ${result.planNodeId}`,
+        `Review: ${result.reviewNodeId}`,
+        `Mock strategy: ${result.mockStrategy}`,
+        `Structured artifact: ${result.artifact.path}`,
+        `Schema: ${result.artifact.schemaId}`,
+        `SHA-256: ${result.artifact.sha256}`,
+    ];
+    if (result.openspecReadPaths.length > 0) {
+        lines.push(`openspec read: ${result.openspecReadPaths.join(", ")}`);
+    }
+    else if (result.openspecCandidatePaths.length === 0) {
+        lines.push("openspec: unavailable");
+    }
+    return lines.join("\n");
+}

package/dist/workflows/dag/frontend-project-capability.js

@@ -105,6 +105,7 @@ export async function discoverFrontendProjectCapability(repoRoot) {
     const pkgPath = path.join(repoRoot, "package.json");
     const pkgRaw = await readJson(pkgPath);
     if (!pkgRaw || typeof pkgRaw !== "object") {
+        const openspec = await listOpenspec(repoRoot);
         const base = {
             schemaVersion: 1,
             framework: "unknown",
@@ -115,14 +116,17 @@ export async function discoverFrontendProjectCapability(repoRoot) {
             testRunner: [],
             mock: [],
             a11y: { status: "unknown", tools: [], evidencePaths: [] },
-            evidencePaths: [],
+            evidencePaths: openspec.slice(0, 5),
             reasons: ["package.json missing or unreadable"],
             designEvidence: {
-                normativePaths: [],
+                normativePaths: openspec,
                 advisoryPaths: [],
                 conflicts: [],
             },
         };
+        if (openspec.length) {
+            base.reasons.push(`openspec/ files discovered: ${openspec.slice(0, 5).join(", ")}`);
+        }
         return { ...base, adapterGuidance: buildAdapterGuidance(base) };
     }
     evidencePaths.push("package.json");

package/dist/workflows/dag/frontend-repair.js

@@ -190,6 +190,8 @@ export async function runFrontendFailureAssessGate(input) {
         throw new Error("assess: missing or invalid contracts/frontend-implementation-contract.json");
     }
     const candidateNodeIds = [
+        "frontend-verify-assess-shell",
+        "frontend-reverify-shell",
         "frontend-static-verify-shell",
         "frontend-behavior-verify-shell",
         "frontend-verification-trace-shell",
@@ -197,8 +199,12 @@ export async function runFrontendFailureAssessGate(input) {
         "frontend-behavior-reverify-shell",
         "frontend-verification-retrace-shell",
     ];
-    const failed = [];
+    const failed = [
+        ...(input.failureFacts ?? []).filter(({ record }) => nodeHadFailure(record) || recordIndicatesCommandFailure(record)),
+    ];
     for (const nodeId of candidateNodeIds) {
+        if (failed.some((item) => item.nodeId === nodeId))
+            continue;
         const nodePath = path.join(input.runDir, `${nodeId}.json`);
         try {
             const record = JSON.parse(await readFile(nodePath, "utf8"));