@tea-agent/loop-agent 0.39.0-next.8 → 0.39.0

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

@@ -5,7 +5,28 @@ import { z } from "zod";
 import { writeDagRunJsonArtifact } from "../../infrastructure/harness/artifact-store.js";
 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("\\") &&
@@ -56,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)),
@@ -102,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"]);
@@ -119,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" ||
@@ -163,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))) {
@@ -194,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())
@@ -206,48 +246,123 @@ 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 summarizePlaywrightCliReceipts([]);
+        return { receipts: [], summary: summarizePlaywrightCliReceipts([]) };
     }
 }
-function sha256(content) {
-    return createHash("sha256").update(content).digest("hex");
+/**
+ * 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 markdownSection(body, names) {
-    const escaped = names.map((name) => name.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")).join("|");
-    const marker = new RegExp(`^###\\s+(?:${escaped})\\s*$`, "mi");
-    const hit = marker.exec(body);
-    if (!hit)
+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 "";
-    const rest = body.slice(hit.index + hit[0].length);
-    const next = /^###\s+/m.exec(rest);
-    return rest.slice(0, next?.index ?? rest.length).trim();
+    }
+}
+/**
+ * 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 markdownList(value) {
-    const items = value.split(/\r?\n/).map((line) => line.replace(/^\s*(?:\d+[.)]|[-*+])\s+/, "").trim()).filter(Boolean);
-    return items;
+function sha256(content) {
+    return createHash("sha256").update(content).digest("hex");
 }
 /**
  * Read planned case facts from the case Markdown. Recognizes both English and
- * Chinese headings, including `测试点` (test points) and `测试步骤` (planned
- * test steps), alongside the legacy `操作步骤`/`Steps` headings.
+ * Chinese headings at `##` or `###`, including `测试点` (test points) and
+ * `测试步骤` (planned test steps), alongside the legacy `操作步骤`/`Steps`
+ * 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");
+    const purpose = markdownSection(body, ["Test Purpose", "测试目的", "测试场景"]) ||
+        markdownH1Title(body).replace(/^FE-[^\s：:]+[：:]\s*/, "").trim() ||
+        "未提供测试目的";
     return {
         caseContent: {
-            purpose: markdownSection(body, ["Test Purpose", "测试目的", "测试场景"]) || "未提供测试目的",
-            preconditions: markdownList(markdownSection(body, ["Preconditions", "前置条件"])),
+            purpose,
+            preconditions: markdownList(markdownSection(body, ["Preconditions", "前置条件", "前置条件与重置"])),
             steps: markdownList(markdownSection(body, ["Test Steps", "测试步骤", "Steps", "操作步骤"])),
             expectedResults: markdownList(markdownSection(body, ["Expected Results", "预期结果"])),
         },
@@ -290,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}`);
     }
@@ -302,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)
@@ -330,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");
     }
@@ -340,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 ?? []);
@@ -351,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}`);
         }
@@ -382,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);
@@ -395,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,
             });
@@ -409,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 = "";
@@ -459,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

@@ -0,0 +1,70 @@
+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 = {
+    schemaVersion: 1,
+    id: "frontend-test-standard-scenarios-v1",
+    scenarios: [
+        {
+            id: "STD-FE-SMOKE-ENTRY",
+            title: "入口可打开",
+            category: "smoke",
+            priority: "must",
+            testPoints: ["open"],
+            minCases: 1,
+        },
+    ],
+};
+function isSafeRelativeDir(value) {
+    if (!value || path.isAbsolute(value) || path.win32.isAbsolute(value)) {
+        return false;
+    }
+    return value.split(/[\\/]/).every((part) => part.length > 0 && part !== "." && part !== "..");
+}
+export function listFrontendTestStandardScenarioCandidates(input) {
+    const seen = new Set();
+    const add = (relative) => {
+        const normalized = relative.replaceAll("\\", "/");
+        if (!seen.has(normalized))
+            seen.add(normalized);
+    };
+    add(`docs/templates/${FRONTEND_TEST_STANDARD_SCENARIOS_FILENAME}`);
+    const governanceRoot = input.governanceRoot?.trim().replaceAll("\\", "/").replace(/\/+$/, "");
+    if (governanceRoot && isSafeRelativeDir(governanceRoot)) {
+        add(`${governanceRoot}/templates/${FRONTEND_TEST_STANDARD_SCENARIOS_FILENAME}`);
+    }
+    add(`ai_workspace/loop-agent/templates/${FRONTEND_TEST_STANDARD_SCENARIOS_FILENAME}`);
+    return [...seen];
+}
+async function readGovernanceRoot(workspaceRoot) {
+    try {
+        const raw = JSON.parse(await readFile(path.join(workspaceRoot, "harness.json"), "utf8"));
+        return typeof raw.governanceRoot === "string" ? raw.governanceRoot : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+export async function copyFrontendTestStandardScenarios(input) {
+    const layout = input.layout ?? defaultFrontendTestLayout();
+    const destRel = frontendTestStandardScenariosRel(layout);
+    const destAbs = path.join(input.workspaceRoot, destRel);
+    const candidates = listFrontendTestStandardScenarioCandidates({
+        governanceRoot: await readGovernanceRoot(input.workspaceRoot),
+    });
+    await mkdir(path.dirname(destAbs), { recursive: true });
+    for (const relative of candidates) {
+        const sourceAbs = path.join(input.workspaceRoot, relative);
+        try {
+            await copyFile(sourceAbs, destAbs);
+            return { status: "copied", from: relative, to: destRel };
+        }
+        catch {
+            // try the next candidate
+        }
+    }
+    await writeFile(destAbs, `${JSON.stringify(MINIMAL_STANDARD_SCENARIOS, null, 2)}\n`, "utf8");
+    return { status: "fallback", to: destRel };
+}

package/dist/workflows/dag/frontend-verification-trace.js

@@ -2,6 +2,18 @@ import { readFile, stat, writeFile, mkdir } from "node:fs/promises";
 import path from "node:path";
 import { FRONTEND_IMPLEMENTATION_CONTRACT_SCHEMA_ID, frontendImplementationContractSchema, } from "./frontend-implementation-contract.js";
 export const FRONTEND_VERIFICATION_TRACE_SCHEMA_ID = "frontend-verification-trace-v1";
+/**
+ * Shared marker for a project that exposes no usable verification command at
+ * generation time. The marker command runs (and logs not-run honestly), but it
+ * must never count as successful verification evidence: labels carrying this
+ * text are excluded from successful evidence and targets bound to it fail the
+ * trace gate instead of passing it.
+ */
+export const FRONTEND_NO_VERIFICATION_MARKER_TEXT = "No frontend verification command configured";
+export function isFrontendNoVerificationMarkerLabel(label) {
+    return label.includes(FRONTEND_NO_VERIFICATION_MARKER_TEXT);
+}
+export const FRONTEND_VERIFICATION_UNAVAILABLE_MESSAGE = `frontend verification unavailable: the only frozen static command is the no-op not-run marker (${FRONTEND_NO_VERIFICATION_MARKER_TEXT}); declare verification commands via task.json --verify or 执行约束.md and regenerate the DAG`;
 async function readJsonFile(filePath) {
     return JSON.parse(await readFile(filePath, "utf8"));
 }
@@ -52,7 +64,14 @@ export async function evaluateVerificationTargets(input) {
     const hardIssues = [];
     for (const target of input.contract.verificationTargets) {
         const issues = [];
-        const owners = input.labelOwners.get(target.commandLabel);
+        if (isFrontendNoVerificationMarkerLabel(target.commandLabel)) {
+            // A target bound to the not-run marker has no verification behind it;
+            // passing it would let the run finish green without any check.
+            issues.push(`${target.id}: ${FRONTEND_VERIFICATION_UNAVAILABLE_MESSAGE}`);
+        }
+        const owners = isFrontendNoVerificationMarkerLabel(target.commandLabel)
+            ? []
+            : (input.labelOwners.get(target.commandLabel) ?? []);
         if (!owners?.length) {
             issues.push(`commandLabel not executed in current-run frozen evidence: ${target.commandLabel}`);
         }
@@ -189,11 +208,17 @@ export async function runFrontendVerificationTraceGate(input) {
         throw new Error("trace: selected Mock strategy requires successful Mock verification commands");
     }
     if (input.evidence) {
-        if (input.evidence.static.commandLabels.length === 0) {
-            throw new Error("trace: no successful static verification commands in current run");
+        // The no-op not-run marker never counts as successful verification
+        // evidence, even if it executed with exit code 0.
+        const effectiveStaticLabels = input.evidence.static.commandLabels.filter((label) => !isFrontendNoVerificationMarkerLabel(label));
+        const effectiveBehaviorLabels = input.evidence.behavior.commandLabels.filter((label) => !isFrontendNoVerificationMarkerLabel(label));
+        if (effectiveStaticLabels.length === 0) {
+            throw new Error(input.evidence.static.commandLabels.length > 0
+                ? `trace: ${FRONTEND_VERIFICATION_UNAVAILABLE_MESSAGE}`
+                : "trace: no successful static verification commands in current run");
         }
         if (requiresBehaviorVerification &&
-            input.evidence.behavior.commandLabels.length === 0) {
+            effectiveBehaviorLabels.length === 0) {
             throw new Error("trace: no successful behavior verification commands in current run");
         }
     }