@tea-agent/loop-agent 0.39.0-next.30 → 0.39.0-next.32

package/dist/workflows/dag/frontend-test-case-quality.js

@@ -1,6 +1,7 @@
 import { readFile, writeFile, mkdir } from "node:fs/promises";
 import path from "node:path";
 import { markdownSection } from "./frontend-test-markdown.js";
+import { defaultFrontendTestLayout, frontendTestCasePath, } from "./frontend-test-layout.js";
 const CASE_ID = /^FE-[A-Za-z0-9]+-\d{3}-(?:core|boundary|flow|backend)$/i;
 const AC_ID = /^AC(?:-[A-Z0-9]+)+$/i;
 const PLACEHOLDER = /\b(?:TODO|TBD|FIXME)\b|结果正确|页面正常|按实际情况处理|验证成功/i;
@@ -15,7 +16,8 @@ const SECTION_ALIASES = {
 function hasList(value) { return /^\s*(?:\d+[.)]|[-*+])\s+\S+/m.test(value); }
 function hasAssertion(value) { return /(?:status|状态|包含|显示|等于|为|可见|不可见|跳转|错误|成功|失败|should|expect|assert|must)/i.test(value); }
 export async function validateFrontendCaseContent(input) {
-    const root = path.join(input.workspaceRoot, "testcase/frontend/cases");
+    const layout = input.layout ?? defaultFrontendTestLayout();
+    const root = path.join(input.workspaceRoot, layout.casesDir);
     const manifestPath = path.join(root, "manifest.json");
     const findings = [];
     let manifest;
@@ -49,7 +51,7 @@ export async function validateFrontendCaseContent(input) {
                     findings.push({ ruleId: "unknown-ac", caseId: id, detail: `${ac} is not declared by the task` });
             }
         }
-        const file = path.join(input.workspaceRoot, item?.casePath || `testcase/frontend/cases/${id}.md`);
+        const file = path.join(input.workspaceRoot, item?.casePath || frontendTestCasePath(layout, id));
         let body = "";
         try {
             body = await readFile(file, "utf8");
@@ -89,7 +91,8 @@ function render(findings) {
 }
 export async function writeFrontendCaseQualityReports(input) {
     const result = await validateFrontendCaseContent(input);
-    const dir = path.join(input.workspaceRoot, input.outputDir ?? "testcase/frontend/reports");
+    const layout = input.layout ?? defaultFrontendTestLayout();
+    const dir = path.join(input.workspaceRoot, input.outputDir ?? layout.reportsDir);
     await mkdir(dir, { recursive: true });
     await writeFile(path.join(dir, "frontend-test-case-quality-advisory.md"), result.markdown, "utf8");
     await writeFile(path.join(dir, "frontend-test-case-quality-advisory.html"), result.html, "utf8");

package/dist/workflows/dag/frontend-test-environment-probe.js

@@ -1,6 +1,7 @@
 import { spawnSync } from "node:child_process";
 import { mkdir, readFile, writeFile } from "node:fs/promises";
 import path from "node:path";
+import { defaultFrontendTestLayout, frontendTestContextRel, frontendTestProbeRel, } from "./frontend-test-layout.js";
 export const FRONTEND_TEST_CONTEXT_REL = "testcase/frontend/rag/context.md";
 export const FRONTEND_TEST_PROBE_REL = "testcase/frontend/rag/environment-probe.json";
 const CONNECTION_REFUSED_HINT = "被测服务未在 baseUrl 监听（connection refused）。请先启动本地前端（例如 scripts/serve.sh 或项目约定的 npm start），确认可访问后再从 materialize-frontend-test-execution-shell 续跑。";
@@ -65,9 +66,9 @@ function resolveBaseUrl(context) {
     }
     return null;
 }
-async function writeProbe(workspaceRoot, probe) {
-    const probePath = path.join(workspaceRoot, FRONTEND_TEST_PROBE_REL);
-    const contextPath = path.join(workspaceRoot, FRONTEND_TEST_CONTEXT_REL);
+async function writeProbe(workspaceRoot, probe, layout) {
+    const probePath = path.join(workspaceRoot, frontendTestProbeRel(layout));
+    const contextPath = path.join(workspaceRoot, frontendTestContextRel(layout));
     await mkdir(path.dirname(probePath), { recursive: true });
     await writeFile(probePath, `${JSON.stringify(probe, null, 2)}\n`, "utf8");
     let context = "";
@@ -84,14 +85,16 @@ async function writeProbe(workspaceRoot, probe) {
     await writeFile(contextPath, next, "utf8");
 }
 export async function probeFrontendTestEnvironment(input) {
+    const layout = input.layout ?? defaultFrontendTestLayout();
     const curl = input.curl ?? defaultCurlRunner;
-    const contextPath = path.join(input.workspaceRoot, FRONTEND_TEST_CONTEXT_REL);
+    const contextRel = frontendTestContextRel(layout);
+    const contextPath = path.join(input.workspaceRoot, contextRel);
     let context;
     try {
         context = await readFile(contextPath, "utf8");
     }
     catch {
-        return { ok: false, stderr: `missing ${FRONTEND_TEST_CONTEXT_REL}` };
+        return { ok: false, stderr: `missing ${contextRel}` };
     }
     const rawUrl = resolveBaseUrl(context);
     if (!rawUrl) {
@@ -139,7 +142,7 @@ export async function probeFrontendTestEnvironment(input) {
             ...(extra.hint ? { hint: extra.hint } : {}),
             ...(extra.baseUrlSource ? { baseUrlSource: extra.baseUrlSource } : {}),
         };
-        await writeProbe(input.workspaceRoot, probe);
+        await writeProbe(input.workspaceRoot, probe, layout);
         const payload = {
             blockedReason: reason,
             baseUrl: probe.baseUrlRedacted,
@@ -218,7 +221,7 @@ export async function probeFrontendTestEnvironment(input) {
         curlExit: result.status,
         errorClass: null,
     };
-    await writeProbe(input.workspaceRoot, probe);
+    await writeProbe(input.workspaceRoot, probe, layout);
     return {
         ok: true,
         stdout: `frontend-test-execution-v1 validated contextBaseUrl=${safe} source=${baseUrlSource} probe=reachable method=${used} httpStatus=${statusNum}`,

package/dist/workflows/dag/frontend-test-html-report.js

@@ -1,6 +1,7 @@
 import { mkdir, readFile, rename, rm, writeFile } from "node:fs/promises";
 import path from "node:path";
 import { frontendTestResultContractSchema } from "./frontend-test-result-contract.js";
+import { defaultFrontendTestLayout, } from "./frontend-test-layout.js";
 function escapeHtml(value) {
     return String(value ?? "").replaceAll("&", "&amp;").replaceAll("<", "&lt;").replaceAll(">", "&gt;").replaceAll('"', "&quot;").replaceAll("'", "&#39;");
 }
@@ -80,7 +81,8 @@ async function writePairAtomic(markdownPath, markdown, htmlPath, html) {
 export async function renderFrontendTestHtmlReport(input) {
     const resultPath = path.join(input.runDir, "contracts", "frontend-test-result.json");
     const result = frontendTestResultContractSchema.parse(JSON.parse(await readFile(resultPath, "utf8")));
-    const outputDir = path.join(input.workspaceRoot, "testcase", "frontend", "reports");
+    const layout = input.layout ?? defaultFrontendTestLayout();
+    const outputDir = path.join(input.workspaceRoot, layout.reportsDir);
     const markdownPath = path.join(outputDir, "frontend-test-report.md");
     const htmlPath = path.join(outputDir, "frontend-test-report.html");
     const outcomeLabel = result.outcome === "passed" ? "测试通过" : result.outcome === "failed" ? "测试失败" : "测试未完成";

package/dist/workflows/dag/frontend-test-l5-report.js

@@ -1,6 +1,7 @@
 import { mkdir, readFile, rename, rm, writeFile } from "node:fs/promises";
 import path from "node:path";
 import { frontendTestResultContractSchema, } from "./frontend-test-result-contract.js";
+import { defaultFrontendTestLayout, } from "./frontend-test-layout.js";
 function ratioMetric(numerator, denominator, threshold, label) {
     if (denominator === 0) {
         return { numerator, denominator, ratio: null, threshold, status: "unavailable", reason: `${label}-denominator-is-zero` };
@@ -169,7 +170,8 @@ export async function renderFrontendTestL5Report(input) {
     const resultPath = path.join(input.runDir, "contracts", "frontend-test-result.json");
     const result = frontendTestResultContractSchema.parse(JSON.parse(await readFile(resultPath, "utf8")));
     const metrics = computeFrontendL5ReportMetrics(result);
-    const outputDir = path.join(input.workspaceRoot, "testcase", "frontend", "reports");
+    const layout = input.layout ?? defaultFrontendTestLayout();
+    const outputDir = path.join(input.workspaceRoot, layout.reportsDir);
     const markdownPath = path.join(outputDir, "frontend-test-l5-dashboard.md");
     const htmlPath = path.join(outputDir, "frontend-test-l5-dashboard.html");
     await writePairAtomic(markdownPath, renderMarkdown(result, metrics), htmlPath, renderHtml(result, metrics));

package/dist/workflows/dag/frontend-test-layout.js

@@ -0,0 +1,159 @@
+import path from "node:path";
+/**
+ * Frontend-test artifact layout (configurable testRoot).
+ *
+ * Resolved once from `task.frontendTest.testRoot` at DAG compile time and
+ * frozen on the spec for the whole run. Writers, gates, Playwright fences
+ * and TaskSpec allowedPaths all derive from this single object.
+ *
+ * Default layout keeps the historical frozen contract:
+ *   testcase/frontend/rag/**
+ *   testcase/frontend/cases/**
+ *   testcase/frontend/evidence/**
+ *   testcase/frontend/reports/**
+ *   testcase/frontend/fixtures/**
+ */
+export const FRONTEND_TEST_DEFAULT_TEST_ROOT = "testcase/frontend";
+const FORBIDDEN_TEST_ROOT_PREFIXES = [
+    "src",
+    "app",
+    "lib",
+    "apps",
+    "packages",
+    ".harness",
+    ".git",
+    "node_modules",
+    "dist",
+    "build",
+    "docs",
+    "website",
+    "scripts",
+    "test",
+    "smoke",
+    "knowledge",
+    "features",
+    "dogfood",
+    "examples",
+    "bin",
+];
+function normalizeRelPosix(value, label) {
+    const trimmed = value.trim();
+    if (!trimmed)
+        throw new Error(`frontendTest.${label} must not be empty`);
+    if (trimmed.includes("\\")) {
+        throw new Error(`frontendTest.${label} must use forward slashes: ${value}`);
+    }
+    if (path.isAbsolute(trimmed) || /^[A-Za-z]:/.test(trimmed)) {
+        throw new Error(`frontendTest.${label} must be a repository-relative path: ${value}`);
+    }
+    const segments = trimmed.split("/").filter((segment) => segment.length > 0);
+    if (segments.some((segment) => segment === ".." || segment === ".")) {
+        throw new Error(`frontendTest.${label} must not contain "." or ".." segments: ${value}`);
+    }
+    if (segments.some((segment) => segment.startsWith("."))) {
+        throw new Error(`frontendTest.${label} must not target hidden directories: ${value}`);
+    }
+    if (segments.some((segment) => !/^[A-Za-z0-9][A-Za-z0-9_.-]*$/.test(segment))) {
+        throw new Error(`frontendTest.${label} contains unsafe path segments: ${value}`);
+    }
+    return segments.join("/");
+}
+function assertTestRootAllowed(testRoot) {
+    const topSegment = testRoot.split("/")[0];
+    if (FORBIDDEN_TEST_ROOT_PREFIXES.some((forbidden) => topSegment === forbidden || topSegment.startsWith(`${forbidden}.`))) {
+        throw new Error(`frontendTest.testRoot must not target production/governance trees: ${testRoot}`);
+    }
+    if (topSegment.startsWith(".")) {
+        throw new Error(`frontendTest.testRoot must not target hidden directories: ${testRoot}`);
+    }
+}
+/**
+ * Resolve the frozen frontend-test artifact layout from task config.
+ * Throws on unsafe or ambiguous configuration (fail-closed).
+ */
+export function resolveFrontendTestLayout(config) {
+    const testRoot = config?.testRoot === undefined || config?.testRoot === null
+        ? FRONTEND_TEST_DEFAULT_TEST_ROOT
+        : normalizeRelPosix(config.testRoot, "testRoot");
+    assertTestRootAllowed(testRoot);
+    const isDefault = testRoot === FRONTEND_TEST_DEFAULT_TEST_ROOT;
+    return {
+        testRoot,
+        ragDir: `${testRoot}/rag`,
+        casesDir: `${testRoot}/cases`,
+        evidenceDir: `${testRoot}/evidence`,
+        reportsDir: `${testRoot}/reports`,
+        fixturesDir: `${testRoot}/fixtures`,
+        isDefault,
+    };
+}
+/** Historical default layout. Old DAGs without frontendTestLayout use this. */
+export function defaultFrontendTestLayout() {
+    return resolveFrontendTestLayout(undefined);
+}
+export function frontendTestLayoutFromSpec(spec) {
+    const frozen = spec?.frontendTestLayout;
+    if (!frozen)
+        return defaultFrontendTestLayout();
+    return resolveFrontendTestLayout({ testRoot: frozen.testRoot });
+}
+const DEFAULT_PREFIX = `${FRONTEND_TEST_DEFAULT_TEST_ROOT}/`;
+/**
+ * Longest-prefix rewrite of historical `testcase/frontend/` paths.
+ * No-op when layout.isDefault so default DAGs stay byte-identical.
+ * Never replaces the short token `testcase/` (would collide with backend-test).
+ */
+export function applyFrontendTestLayoutToText(text, layout) {
+    if (layout.isDefault)
+        return text;
+    const replacement = `${layout.testRoot}/`;
+    let output = "";
+    for (let i = 0; i < text.length;) {
+        if (text.startsWith(replacement, i)) {
+            output += replacement;
+            i += replacement.length;
+            continue;
+        }
+        if (text.startsWith(DEFAULT_PREFIX, i)) {
+            output += replacement;
+            i += DEFAULT_PREFIX.length;
+            continue;
+        }
+        output += text[i];
+        i += 1;
+    }
+    return output;
+}
+export function frontendTestCasePath(layout, caseId) {
+    return `${layout.casesDir}/${caseId}.md`;
+}
+export function frontendTestEvidenceDir(layout, caseId) {
+    return `${layout.evidenceDir}/${caseId}/`;
+}
+export function frontendTestEvidencePrefix(layout, caseId) {
+    return `${layout.evidenceDir}/${caseId}`;
+}
+export function frontendTestManifestPath(layout) {
+    return `${layout.casesDir}/manifest.json`;
+}
+export function frontendTestManifestDraftPath(layout) {
+    return `${layout.casesDir}/manifest.draft.json`;
+}
+export function frontendTestContextRel(layout) {
+    return `${layout.ragDir}/context.md`;
+}
+export function frontendTestCoverageMapRel(layout) {
+    return `${layout.ragDir}/coverage-map.md`;
+}
+export function frontendTestProbeRel(layout) {
+    return `${layout.ragDir}/environment-probe.json`;
+}
+export function frontendTestStandardScenariosRel(layout) {
+    return `${layout.ragDir}/standard-scenarios.v1.json`;
+}
+export function frontendTestUiAnchorsRel(layout) {
+    return `${layout.ragDir}/ui-anchors.md`;
+}
+export function escapeRegexLiteral(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}

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

@@ -6,7 +6,27 @@ import { writeDagRunJsonArtifact } from "../../infrastructure/harness/artifact-s
 import { readPlaywrightCliReceipts, summarizePlaywrightCliReceipts, } from "../../executors/pi-playwright-cli-tool.js";
 import { validateFrontendCaseContent } from "./frontend-test-case-quality.js";
 import { markdownH1Title, markdownList, markdownSection, } from "./frontend-test-markdown.js";
+import { defaultFrontendTestLayout, frontendTestEvidencePrefix, frontendTestManifestPath, } from "./frontend-test-layout.js";
 export const FRONTEND_TEST_RESULT_SCHEMA_ID = "frontend-test-result-v1";
+/**
+ * Truncated acceptance-id shapes observed in generator output: a bare
+ * numeric segment ("AC-002" dropped its AC-FE-<FEATURE> prefix) or an
+ * AC-FE-<FEATURE> literal without the trailing -NNN sequence number
+ * ("AC-FE-CHAT"). Generic short ids like "AC-1"/"AC-FE-001" stay valid;
+ * declared-source cross-checks (unknown-ac) remain the primary guard when a
+ * sourceBinding exists.
+ */
+export function isTruncatedFrontendAcId(acId) {
+    return /^AC-FE-[A-Z]+$/i.test(acId.trim());
+}
+/**
+ * Bare numeric ids ("AC-002") only indicate truncation when no declared AC
+ * list exists to adjudicate them: with a sourceBinding they are ordinary
+ * unknown-ac findings ("AC-999" may be a legitimately declared id style).
+ */
+export function isTruncatedWhenUndeclaredFrontendAcId(acId) {
+    return /^AC-\d{3}$/i.test(acId.trim()) || isTruncatedFrontendAcId(acId);
+}
 const safeRelativePathSchema = z.string().min(1).refine((value) => !path.posix.isAbsolute(value) &&
     !path.win32.isAbsolute(value) &&
     !value.includes("\\") &&
@@ -57,6 +77,8 @@ export const frontendTestResultContractSchema = z.object({
         passed: z.number().int().min(0),
         failed: z.number().int().min(0),
         blocked: z.number().int().min(0),
+        /** Stability metric: passed on attempt 0 (no rerun/self-heal retry). */
+        firstTryPassed: z.number().int().min(0).optional(),
     }).strict(),
     acceptanceCoverage: z.object({
         covered: z.array(z.string().min(1)),
@@ -103,14 +125,22 @@ function isSafeEvidenceShellPath(value) {
  * 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");
+    const layout = input.layout ?? defaultFrontendTestLayout();
+    const manifestRel = frontendTestManifestPath(layout);
+    const manifestPath = path.join(input.workspaceRoot, manifestRel);
     try {
         await stat(manifestPath);
     }
     catch {
-        throw new Error("missing testcase/frontend/cases/manifest.json");
+        throw new Error(`missing ${manifestRel}`);
+    }
+    let manifest;
+    try {
+        manifest = JSON.parse(await readFile(manifestPath, "utf8"));
+    }
+    catch {
+        throw new Error("invalid frontend case manifest: malformed 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"]);
@@ -120,7 +150,7 @@ export async function validateFrontendCaseEvidence(input) {
         const item = rawCase;
         const id = typeof item?.caseId === "string" ? item.caseId : "?";
         const dir = item?.evidenceDir;
-        const prefix = `testcase/frontend/evidence/${id}`;
+        const prefix = frontendTestEvidencePrefix(layout, id);
         if (!item ||
             typeof item.caseId !== "string" ||
             typeof dir !== "string" ||
@@ -164,12 +194,15 @@ export async function validateFrontendCaseEvidence(input) {
                     continue;
                 }
                 const currentPrefix = `${prefix}/`;
-                if (evidencePath.startsWith("testcase/frontend/evidence/") && !evidencePath.startsWith(currentPrefix)) {
+                if ((evidencePath.startsWith(`${layout.evidenceDir}/`) ||
+                    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/")
+                const target = evidencePath.startsWith(`${layout.testRoot}/`) ||
+                    evidencePath.startsWith("testcase/")
                     ? path.join(input.workspaceRoot, evidencePath)
                     : path.join(input.workspaceRoot, dir, evidencePath);
                 if (!(await isNonEmptyFile(target))) {
@@ -195,11 +228,17 @@ export function evaluatePassedCaseBrowserReceipts(summary, caseId) {
     }
     return { ok: true };
 }
-async function loadCaseBrowserReceiptSummary(input) {
+async function loadCaseBrowserReceiptsWithSummary(input) {
     try {
         const entries = await readdir(input.runDir, { withFileTypes: true });
         // A passed chain must belong to exactly one browser child stream. Never
-        // stitch receipts across DAG nodes or accept ambiguous duplicate authority.
+        // stitch receipts across DAG nodes or accept ambiguous duplicate
+        // authority — with one exception: bounded rerun creates a second,
+        // later stream for the same case (the rerun overwrites the disk
+        // case-result, so the final attempt is the authoritative one). When
+        // multiple streams authorize, prefer the highest rerun round
+        // (rerun-frontend-case-rN-<idx> directories); ties within the same
+        // round remain ambiguous and fail closed.
         const authorizingStreams = [];
         for (const entry of entries) {
             if (!entry.isDirectory())
@@ -207,17 +246,99 @@ async function loadCaseBrowserReceiptSummary(input) {
             const nodeReceipts = (await readPlaywrightCliReceipts(input.runDir, entry.name))
                 .filter((item) => item.caseId === input.caseId);
             const summary = summarizePlaywrightCliReceipts(nodeReceipts);
-            if (summary.hasOrderedPassedReceiptChain)
-                authorizingStreams.push(summary);
+            if (summary.hasOrderedPassedReceiptChain) {
+                const roundMatch = /rerun-frontend-case-r(\d+)-/i.exec(entry.name);
+                authorizingStreams.push({
+                    receipts: nodeReceipts,
+                    summary,
+                    round: roundMatch ? Number(roundMatch[1]) : 0,
+                });
+            }
+        }
+        if (authorizingStreams.length === 0) {
+            return { receipts: [], summary: summarizePlaywrightCliReceipts([]) };
         }
-        return authorizingStreams.length === 1
-            ? authorizingStreams[0]
-            : summarizePlaywrightCliReceipts([]);
+        const maxRound = Math.max(...authorizingStreams.map((s) => s.round));
+        const finalists = authorizingStreams.filter((s) => s.round === maxRound);
+        return finalists.length === 1
+            ? finalists[0]
+            : { receipts: [], summary: summarizePlaywrightCliReceipts([]) };
+    }
+    catch {
+        return { receipts: [], summary: summarizePlaywrightCliReceipts([]) };
+    }
+}
+/**
+ * Extract `find "literal" >=N` / `find "literal"` declarations from a case
+ * document. Only quoted literals are binding assertions — the count suffix
+ * (`>=N`, `==N`) is the expected minimum/exact match count from the ledger.
+ * Placeholder literals ("...", "…", "<字面>", "eX") appear in prose discussing
+ * the syntax itself; they are documentation, never declarations.
+ */
+export function extractDeclaredFindAssertions(caseMarkdown) {
+    const source = stripFencedCodeBlocks(caseMarkdown);
+    const out = [];
+    const seen = new Set();
+    const pattern = /find\s+"((?:[^"\\]|\\.)+)"\s*(>=|==)\s*(\d+)/g;
+    const isPlaceholder = (literal) => /^(?:\.{2,}|…+|<[^>]*>|e\d+)$/.test(literal.trim());
+    let match;
+    while ((match = pattern.exec(source)) !== null) {
+        const literal = match[1].replace(/\\(.)/g, "$1");
+        if (isPlaceholder(literal))
+            continue;
+        const operator = match[2];
+        const expected = Number(match[3]);
+        const key = `${operator}:${literal}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push({ literal, expected, operator });
+    }
+    return out;
+}
+function stripFencedCodeBlocks(markdown) {
+    return markdown.replace(/```[\s\S]*?```/g, "");
+}
+async function readCaseMarkdownForAudit(workspaceRoot, casePath) {
+    try {
+        return await readFile(path.join(workspaceRoot, casePath), "utf8");
     }
     catch {
-        return summarizePlaywrightCliReceipts([]);
+        return "";
     }
 }
+/**
+ * Controller-side assertion audit: every find-family declaration in the case
+ * document must be backed by a successful find receipt whose parsed match
+ * count satisfies the declared operator. This moves pass authority from
+ * "the model says it asserted" to "receipts prove it asserted".
+ */
+export function auditDeclaredFindAssertions(declared, receipts) {
+    if (declared.length === 0)
+        return { ok: true };
+    const successfulFinds = receipts.filter((receipt) => (receipt.command === "find" || receipt.command === "find-unique") &&
+        receipt.exitCode === 0 &&
+        !receipt.timedOut);
+    const missing = [];
+    for (const decl of declared) {
+        const backing = successfulFinds.some((receipt) => receipt.argsRedacted.some((arg) => arg === decl.literal || arg === `"${decl.literal}"`) &&
+            typeof receipt.matchCount === "number" &&
+            (decl.operator === ">="
+                ? receipt.matchCount >= decl.expected
+                : receipt.matchCount === decl.expected));
+        if (!backing) {
+            missing.push(`${decl.operator}${decl.expected} "${decl.literal.slice(0, 40)}"`);
+        }
+    }
+    if (missing.length > 0) {
+        return {
+            ok: false,
+            reason: "assertion-not-receipt-backed",
+            missing,
+        };
+    }
+    return { ok: true };
+}
 function sha256(content) {
     return createHash("sha256").update(content).digest("hex");
 }
@@ -228,8 +349,10 @@ function sha256(content) {
  * headings. Numbered and bulleted lists are extracted; a missing 测试目的
  * falls back to the case H1 title.
  */
-async function readFrontendCaseContent(workspaceRoot, casePath) {
-    if (!safeRelativePathSchema.safeParse(casePath).success || !casePath.startsWith("testcase/frontend/cases/")) {
+async function readFrontendCaseContent(workspaceRoot, casePath, layout) {
+    if (!safeRelativePathSchema.safeParse(casePath).success ||
+        !(casePath.startsWith(`${layout.casesDir}/`) ||
+            casePath.startsWith("testcase/frontend/cases/"))) {
         throw new Error(`unsafe frontend case path: ${casePath}`);
     }
     const body = await readFile(path.resolve(workspaceRoot, casePath), "utf8");
@@ -282,7 +405,7 @@ function assertInside(root, candidate, label) {
         throw new Error(`${label} escapes its allowed root`);
     }
 }
-async function readEvidenceFile(repoRoot, evidenceRoot, relative) {
+async function readEvidenceFile(repoRoot, evidenceRoot, relative, layout) {
     if (!safeRelativePathSchema.safeParse(relative).success) {
         throw new Error(`unsafe evidence path: ${relative}`);
     }
@@ -294,12 +417,16 @@ async function readEvidenceFile(repoRoot, evidenceRoot, relative) {
     const normalized = relative;
     const evidenceRootRel = path.relative(repoRootResolved, evidenceRootResolved).replaceAll("\\", "/");
     const isCurrentCaseRepoPath = normalized === evidenceRootRel || normalized.startsWith(`${evidenceRootRel}/`);
-    const isRepoRelative = normalized.startsWith("testcase/") && !isCurrentCaseRepoPath;
+    const isRepoRelative = (normalized.startsWith(`${layout.testRoot}/`) ||
+        normalized.startsWith("testcase/")) &&
+        !isCurrentCaseRepoPath;
     const absolute = isRepoRelative
         ? path.resolve(repoRootResolved, normalized)
         : path.resolve(evidenceRootResolved, normalized);
     assertInside(repoRootResolved, absolute, "evidence path");
-    if (isRepoRelative && normalized.startsWith("testcase/frontend/evidence/")) {
+    if (isRepoRelative &&
+        (normalized.startsWith(`${layout.evidenceDir}/`) ||
+            normalized.startsWith("testcase/frontend/evidence/"))) {
         throw new Error(`evidence path escapes evidence root: ${relative}`);
     }
     if (!isRepoRelative)
@@ -322,9 +449,16 @@ export async function materializeFrontendTestResult(input) {
     if (!sourceBinding?.taskId || !sourceBinding.sources?.length) {
         throw new Error("frontend-test result requires frozen sourceBinding");
     }
-    const manifestPath = "testcase/frontend/cases/manifest.json";
+    const layout = input.layout ?? defaultFrontendTestLayout();
+    const manifestPath = frontendTestManifestPath(layout);
     const manifestAbsolute = path.resolve(input.workspaceRoot, manifestPath);
-    const manifest = JSON.parse(await readFile(manifestAbsolute, "utf-8"));
+    let manifest;
+    try {
+        manifest = JSON.parse(await readFile(manifestAbsolute, "utf-8"));
+    }
+    catch {
+        throw new Error("invalid or empty frontend case manifest: malformed JSON");
+    }
     if (manifest.schemaVersion !== 1 || !Array.isArray(manifest.cases) || manifest.cases.length === 0) {
         throw new Error("invalid or empty frontend case manifest");
     }
@@ -332,6 +466,7 @@ export async function materializeFrontendTestResult(input) {
     const contentQuality = await validateFrontendCaseContent({
         workspaceRoot: input.workspaceRoot,
         requiredAcIds: sourceBinding.requirementIds ?? [],
+        layout,
     });
     advisoryFindings.push(...contentQuality.findings);
     const requiredIds = new Set(sourceBinding.requirementIds ?? []);
@@ -343,7 +478,7 @@ export async function materializeFrontendTestResult(input) {
             advisoryFindings.push({ ruleId: "invalid-manifest-case", detail: "manifest case is missing caseId, acIds, or evidenceDir" });
             continue;
         }
-        const evidencePrefix = `testcase/frontend/evidence/${item.caseId}`;
+        const evidencePrefix = frontendTestEvidencePrefix(layout, item.caseId);
         if (!(item.evidenceDir === evidencePrefix || item.evidenceDir.startsWith(`${evidencePrefix}/`))) {
             throw new Error(`unsafe evidenceDir for ${item.caseId}`);
         }
@@ -374,7 +509,7 @@ export async function materializeFrontendTestResult(input) {
             if (typeof evidencePath !== "string" || evidencePath === "execution.md" && evidence.some((entry) => entry.path.endsWith("/execution.md")))
                 continue;
             try {
-                evidence.push(await readEvidenceFile(input.workspaceRoot, evidenceRoot, evidencePath));
+                evidence.push(await readEvidenceFile(input.workspaceRoot, evidenceRoot, evidencePath, layout));
             }
             catch (error) {
                 const message = error instanceof Error ? error.message : String(error);
@@ -387,7 +522,7 @@ export async function materializeFrontendTestResult(input) {
             advisoryFindings.push({ ruleId: "passed-without-browser-evidence", caseId: item.caseId, detail: "passed case has no browser evidence" });
         let blockedReason = status === "blocked" && typeof resultRaw.blockedReason === "string" && resultRaw.blockedReason.trim() ? resultRaw.blockedReason.trim() : undefined;
         if (status === "passed") {
-            const receiptSummary = await loadCaseBrowserReceiptSummary({
+            const { receipts: caseReceipts, summary: receiptSummary } = await loadCaseBrowserReceiptsWithSummary({
                 runDir: input.runDir,
                 caseId: item.caseId,
             });
@@ -401,8 +536,26 @@ export async function materializeFrontendTestResult(input) {
                     detail: "passed case lacks controller-owned open + interaction/assertion + cleanup receipts",
                 });
             }
+            else {
+                // Controller-side assertion audit: every `find "literal" >=N` declared
+                // in the case document must be backed by a successful find receipt
+                // whose parsed matchCount satisfies the operator. Pass authority moves
+                // from model prose to receipt evidence.
+                const caseMarkdown = await readCaseMarkdownForAudit(input.workspaceRoot, item.casePath);
+                const declared = extractDeclaredFindAssertions(caseMarkdown);
+                const audit = auditDeclaredFindAssertions(declared, caseReceipts);
+                if (!audit.ok) {
+                    status = "blocked";
+                    blockedReason = audit.reason;
+                    advisoryFindings.push({
+                        ruleId: "assertion-not-receipt-backed",
+                        caseId: item.caseId,
+                        detail: `declared find assertions without receipt backing: ${audit.missing.join("; ")}`,
+                    });
+                }
+            }
         }
-        const { caseContent, testPoints } = await readFrontendCaseContent(input.workspaceRoot, item.casePath);
+        const { caseContent, testPoints } = await readFrontendCaseContent(input.workspaceRoot, item.casePath, layout);
         // Parse bounded fixed sections from execution.md. Missing optional
         // summary/steps are advisory only and never downgrade a passed status.
         let executionSummary = "";
@@ -451,6 +604,7 @@ export async function materializeFrontendTestResult(input) {
         passed: cases.filter((item) => item.status === "passed").length,
         failed: cases.filter((item) => item.status === "failed").length,
         blocked: cases.filter((item) => item.status === "blocked").length,
+        firstTryPassed: cases.filter((item) => item.status === "passed" && !item.rerunAttempt).length,
     };
     const outcome = totals.failed > 0 ? "failed" : totals.blocked > 0 || missing.length > 0 ? "incomplete" : "passed";
     const result = frontendTestResultContractSchema.parse({

package/dist/workflows/dag/frontend-test-standard-scenarios.js

@@ -1,5 +1,6 @@
 import { copyFile, mkdir, readFile, writeFile } from "node:fs/promises";
 import path from "node:path";
+import { defaultFrontendTestLayout, frontendTestStandardScenariosRel, } from "./frontend-test-layout.js";
 export const FRONTEND_TEST_STANDARD_SCENARIOS_FILENAME = "frontend-test-standard-scenarios.v1.json";
 export const FRONTEND_TEST_STANDARD_SCENARIOS_DEST = "testcase/frontend/rag/standard-scenarios.v1.json";
 const MINIMAL_STANDARD_SCENARIOS = {
@@ -47,7 +48,8 @@ async function readGovernanceRoot(workspaceRoot) {
     }
 }
 export async function copyFrontendTestStandardScenarios(input) {
-    const destRel = FRONTEND_TEST_STANDARD_SCENARIOS_DEST;
+    const layout = input.layout ?? defaultFrontendTestLayout();
+    const destRel = frontendTestStandardScenariosRel(layout);
     const destAbs = path.join(input.workspaceRoot, destRel);
     const candidates = listFrontendTestStandardScenarioCandidates({
         governanceRoot: await readGovernanceRoot(input.workspaceRoot),