@tea-agent/loop-agent 0.27.0 → 0.27.1-beta.0

package/CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## [Unreleased]
 
+### 修复
+
+- 修复 backend-test collection assess 在 Markdown 已声明安全 mapped `test_*.py`、但 pytest writer 漏生成文件时直接以 `invalid-output` 阻断 repair 的问题：initial facts 升级为 `backend-test-pytest-collection-v2`，可记录 expected/existing/missing scripts、`collectionAttempted=false` 与 `missing-mapped-pytest-script`，复用既有单次 bounded repair 创建精确缺失脚本，并由 final collection、scope、安全和 hash freshness 门禁重新授权业务执行
+
 ## [0.27.0] - 2026-08-03
 
 ### 重点更新

package/dist/executors/dag-pi-executor.js

@@ -576,32 +576,19 @@ export async function executeDagPiNode(input, meta, piStepFn = executePiStep, wr
 export function validateWriterImplementationOutcome(text, changedFiles) {
     const parsed = parseWriterImplementationOutcome(text);
     const diagnostics = writerOutcomeDiagnostics(text, parsed, changedFiles.length);
-    if (parsed.kind !== "valid") {
+    // The workspace diff is authoritative. The model outcome is advisory and
+    // may be missing, malformed, or inconsistent without blocking a completed
+    // writer. An explicit blocked signal remains a hard failure.
+    if (parsed.candidates.some((candidate) => candidate.outcome === "blocked")) {
         return {
             ok: false,
-            reason: `writer outcome validation failed: ${parsed.kind} outcome; ${diagnostics}; expected IMPLEMENTATION_OUTCOME: changed, IMPLEMENTATION_OUTCOME: already-satisfied, or IMPLEMENTATION_OUTCOME: blocked`,
+            reason: `writer outcome validation failed: explicit blocked outcome; ${diagnostics}`,
         };
     }
-    const outcome = parsed.outcome;
-    if (outcome === "blocked") {
-        return {
-            ok: false,
-            reason: `writer outcome validation failed: IMPLEMENTATION_OUTCOME: blocked cannot complete successfully; ${diagnostics}`,
-        };
-    }
-    if (outcome === "changed" && changedFiles.length === 0) {
-        return {
-            ok: false,
-            reason: `writer outcome validation failed: changed outcome has an empty diff; ${diagnostics}`,
-        };
-    }
-    if (outcome === "already-satisfied" && changedFiles.length > 0) {
-        return {
-            ok: false,
-            reason: `writer outcome validation failed: already-satisfied outcome has a non-empty diff; ${diagnostics}`,
-        };
-    }
-    return { ok: true, outcome };
+    return {
+        ok: true,
+        outcome: changedFiles.length > 0 ? "changed" : "already-satisfied",
+    };
 }
 function parseWriterImplementationOutcome(text) {
     const lines = text.split(/\r?\n/);
@@ -732,6 +719,15 @@ function normalizeProtocolLine(line, firstProtocolLine, nextLine) {
         const value = normalizedProtocolValue(direct[1] ?? "");
         return value ? `${firstProtocolLine} ${value}` : undefined;
     }
+    // Writers sometimes place a short delivery sentence before the protocol
+    // line. Accept the protocol token when it appears inline, while preserving
+    // the candidate value so template repetitions still fail as unknown or
+    // conflicting outcomes.
+    const inline = normalizedLine.match(new RegExp(`${labelPattern}\\s*[:：]\\s*(.+)$`, "i"));
+    if (inline) {
+        const value = normalizedProtocolValue(inline[1] ?? "");
+        return value ? `${firstProtocolLine} ${value}` : undefined;
+    }
     const splitValue = normalizedLine.match(new RegExp(`^${labelPattern}\\s*[:：]?\\s*$`, "i"));
     if (splitValue && nextLine !== undefined) {
         const value = normalizedProtocolValue(nextLine);

package/dist/executors/shell-executor.js

@@ -24,8 +24,8 @@ import { formatTraceabilityGateStdout, materializeBackendTestCaseManifest, runBa
 import { materializeBackendTestExecutionContract } from "../workflows/dag/backend-test-execution-contract.js";
 import { analyzeBackendTestCaseCoverage, analyzeBackendTestMarkdownPytestCorrespondence, materializeBackendTestCaseManifestFromFacts, } from "../workflows/dag/backend-test-case-coverage-analysis.js";
 import { materializeBackendTestResultFromPytestHtml, materializeBackendTestResultFromRunDir, parsePytestHtmlReport, } from "../workflows/dag/backend-test-result-contract.js";
-import { collectBackendTestHumanCaseCatalog, collectBackendTestMappedPytestScripts, collectJacocoCoverage, hasBlockingBackendMarkdownSafetyFindings, inspectBackendTestEnvironment, requiredBackendMarkdownCaseAcIds, renderBackendTestFacts, renderBackendTestHtml, renderBackendTestL5Dashboard, redactBackendTestOutput, validateBackendMarkdownCases, validateBackendMarkdownTraceability, writeRunReport, } from "../workflows/dag/backend-test-markdown-workflow.js";
-import { assessBackendPytestCollection, assertBackendPytestCollectionFresh, buildBackendPytestAssetInventory, materializeEffectiveBackendPytestCollection, readBackendPytestCollectionFacts, writeBackendPytestCollectionArtifacts, } from "../workflows/dag/backend-test-pytest-collection.js";
+import { collectBackendTestHumanCaseCatalog, collectBackendTestMappedPytestScripts, resolveBackendTestMappedPytestScripts, collectJacocoCoverage, hasBlockingBackendMarkdownSafetyFindings, inspectBackendTestEnvironment, requiredBackendMarkdownCaseAcIds, renderBackendTestFacts, renderBackendTestHtml, renderBackendTestL5Dashboard, redactBackendTestOutput, validateBackendMarkdownCases, validateBackendMarkdownTraceability, writeRunReport, } from "../workflows/dag/backend-test-markdown-workflow.js";
+import { assessBackendPytestCollection, assessMissingBackendPytestScripts, assertBackendPytestCollectionFresh, buildBackendPytestAssetInventory, materializeEffectiveBackendPytestCollection, readBackendPytestCollectionFacts, writeBackendPytestCollectionArtifacts, } from "../workflows/dag/backend-test-pytest-collection.js";
 import { computeL5ReportMetrics } from "../workflows/dag/l5-report-metrics.js";
 import { buildBackendTestCanonicalResultFromInitialShellSnippet, materializeBackendTestClassification, } from "../workflows/dag/backend-test-classification-contract.js";
 import { backendTestSemanticReviewSchema, materializeBackendTestSemanticReview, } from "../workflows/dag/backend-test-semantic-review-contract.js";
@@ -515,31 +515,45 @@ async function executeBackendTestPipeline(input, meta) {
             }
         }
         else if (pipeline === "markdown-collection-assess") {
-            const mappedScripts = await collectBackendTestMappedPytestScripts(input.cwd);
-            const inventory = await buildBackendPytestAssetInventory(input.cwd, mappedScripts);
-            const shellQuote = (value) => `'${value.replaceAll("'", `'"'"'`)}'`;
-            const targets = mappedScripts.map(shellQuote).join(" ");
-            const command = `PYTHONDONTWRITEBYTECODE=1 python -m pytest --collect-only -q -p no:cacheprovider ${targets}`;
-            const [result] = await executePipelineCommands(input, meta, [command]);
-            if (!result)
-                throw new Error("backend pytest collection command did not produce a result");
-            if (["spawn-error", "timeout", "termination-unconfirmed"].includes(result.failureCategory ?? "")) {
-                return {
-                    ok: false,
+            const resolution = await resolveBackendTestMappedPytestScripts(input.cwd);
+            let facts;
+            if (resolution.missingScripts.length > 0) {
+                const inventory = await buildBackendPytestAssetInventory(input.cwd, resolution.existingScripts, { requireMappedScripts: false });
+                facts = assessMissingBackendPytestScripts({
+                    mappedScripts: resolution.expectedScripts,
+                    existingMappedScripts: resolution.existingScripts,
+                    missingMappedScripts: resolution.missingScripts,
+                    assetFiles: inventory.assetFiles,
+                    inputHashes: inventory.inputHashes,
+                });
+            }
+            else {
+                const mappedScripts = resolution.existingScripts;
+                const inventory = await buildBackendPytestAssetInventory(input.cwd, mappedScripts);
+                const shellQuote = (value) => `'${value.replaceAll("'", `'"'"'`)}'`;
+                const targets = mappedScripts.map(shellQuote).join(" ");
+                const command = `PYTHONDONTWRITEBYTECODE=1 python -m pytest --collect-only -q -p no:cacheprovider ${targets}`;
+                const [result] = await executePipelineCommands(input, meta, [command]);
+                if (!result)
+                    throw new Error("backend pytest collection command did not produce a result");
+                if (["spawn-error", "timeout", "termination-unconfirmed"].includes(result.failureCategory ?? "")) {
+                    return {
+                        ok: false,
+                        stdout: result.stdout,
+                        stderr: result.stderr || "backend pytest collection could not start",
+                        failureCategory: result.failureCategory,
+                        durationMs: Date.now() - started,
+                    };
+                }
+                facts = assessBackendPytestCollection({
+                    phase: "initial",
+                    mappedScripts,
+                    inventory,
+                    exitCode: result.exitCode ?? 2,
                     stdout: result.stdout,
-                    stderr: result.stderr || "backend pytest collection could not start",
-                    failureCategory: result.failureCategory,
-                    durationMs: Date.now() - started,
-                };
+                    stderr: result.stderr,
+                });
             }
-            const facts = assessBackendPytestCollection({
-                phase: "initial",
-                mappedScripts,
-                inventory,
-                exitCode: result.exitCode ?? 2,
-                stdout: result.stdout,
-                stderr: result.stderr,
-            });
             const artifacts = await writeBackendPytestCollectionArtifacts({
                 runDir: meta.runDir,
                 stem: "initial",
@@ -551,8 +565,10 @@ async function executeBackendTestPipeline(input, meta) {
                 stdout: JSON.stringify({
                     status: facts.status,
                     repairEligible: facts.repairEligible,
+                    collectionAttempted: facts.collectionAttempted,
                     pytestExitCode: facts.pytestExitCode,
                     collectedItemCount: facts.collectedItemCount,
+                    missingMappedScripts: facts.missingMappedScripts,
                     factsPath: "contracts/backend-test-pytest-collection-initial.json",
                 }),
                 stderr: "",

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

@@ -43,6 +43,17 @@ async function exists(filePath) {
         return false;
     }
 }
+async function mappedScriptExists(filePath) {
+    try {
+        await access(filePath);
+        return true;
+    }
+    catch (error) {
+        if (error.code === "ENOENT")
+            return false;
+        throw error;
+    }
+}
 async function existingPaths(root, candidates) {
     const found = [];
     for (const candidate of candidates) {
@@ -685,9 +696,24 @@ export async function validateBackendMarkdownTraceability(workspaceRoot) {
         ...(findings.length > 0 ? findings.map((finding) => `- ${finding}`) : ["- None"]),
     ].join("\n") + "\n");
 }
-export async function collectBackendTestMappedPytestScripts(workspaceRoot) {
+export async function resolveBackendTestMappedPytestScripts(workspaceRoot) {
     const files = await markdownFiles(workspaceRoot);
-    const scripts = new Set();
+    const expectedScripts = new Set();
+    const existingScripts = new Set();
+    const missingScripts = new Set();
+    const scriptOwners = new Map();
+    const recordScript = (script, owner, present) => {
+        const previousOwner = scriptOwners.get(script);
+        if (previousOwner && previousOwner !== owner) {
+            throw new Error(`conflicting Markdown pytest mapping: ${previousOwner} and ${owner} both map ${script}`);
+        }
+        scriptOwners.set(script, owner);
+        expectedScripts.add(script);
+        if (present)
+            existingScripts.add(script);
+        else
+            missingScripts.add(script);
+    };
     for (const file of files) {
         if (path.basename(file).toLowerCase() === "readme.md")
             continue;
@@ -703,10 +729,11 @@ export async function collectBackendTestMappedPytestScripts(workspaceRoot) {
         // Prefer explicit mappings, but recover to the deterministic module stem path
         // when the model wrote the correct one-to-one file while Markdown still names
         // a drifted script (common: health.md maps test_health.py but writer emitted
-        // test_be_health.py for BE-HEALTH.md, or the reverse).
+        // test_be_health.py for BE-HEALTH.md, or the reverse). If neither exists, the
+        // deterministic module path is the only path a bounded repair may create.
         if (mappedFromModule.size === 0) {
-            if (await exists(path.resolve(workspaceRoot, expectedScript))) {
-                scripts.add(expectedScript);
+            if (await mappedScriptExists(path.resolve(workspaceRoot, expectedScript))) {
+                recordScript(expectedScript, relativeFile, true);
             }
             continue;
         }
@@ -714,32 +741,31 @@ export async function collectBackendTestMappedPytestScripts(workspaceRoot) {
             if (!isSafeBackendPytestScript(script, workspaceRoot)) {
                 throw new Error(`unsafe mapped pytest script: ${script}`);
             }
-            if (await exists(path.resolve(workspaceRoot, script))) {
-                scripts.add(script);
+            if (await mappedScriptExists(path.resolve(workspaceRoot, script))) {
+                recordScript(script, relativeFile, true);
                 continue;
             }
-            if (isSafeBackendPytestScript(expectedScript, workspaceRoot) &&
-                (await exists(path.resolve(workspaceRoot, expectedScript)))) {
-                scripts.add(expectedScript);
-                continue;
+            if (!isSafeBackendPytestScript(expectedScript, workspaceRoot)) {
+                throw new Error(`unsafe mapped pytest script: ${expectedScript}`);
             }
-            throw new Error(`mapped pytest script is missing: ${script} (module one-to-one path ${expectedScript} also missing)`);
+            recordScript(expectedScript, relativeFile, await mappedScriptExists(path.resolve(workspaceRoot, expectedScript)));
         }
     }
-    if (scripts.size === 0) {
+    if (expectedScripts.size === 0) {
         throw new Error("no pytest scripts are mapped by final Markdown cases");
     }
-    const safeScripts = [];
-    for (const script of unique([...scripts]).sort()) {
-        if (!isSafeBackendPytestScript(script, workspaceRoot)) {
-            throw new Error(`unsafe mapped pytest script: ${script}`);
-        }
-        if (!(await exists(path.resolve(workspaceRoot, script)))) {
-            throw new Error(`mapped pytest script is missing: ${script}`);
-        }
-        safeScripts.push(script);
+    return {
+        expectedScripts: unique(expectedScripts),
+        existingScripts: unique(existingScripts),
+        missingScripts: unique(missingScripts),
+    };
+}
+export async function collectBackendTestMappedPytestScripts(workspaceRoot) {
+    const resolution = await resolveBackendTestMappedPytestScripts(workspaceRoot);
+    if (resolution.missingScripts.length > 0) {
+        throw new Error(`mapped pytest script is missing: ${resolution.missingScripts[0]}`);
     }
-    return safeScripts;
+    return resolution.existingScripts;
 }
 function cleanCaseTitle(rawHeading, id) {
     return rawHeading

package/dist/workflows/dag/backend-test-pytest-collection.js

@@ -11,22 +11,34 @@ export const backendPytestCollectionFindingSchema = z.object({
     detail: z.string().min(1),
 }).strict();
 export const backendPytestCollectionFactsSchema = z.object({
-    schemaId: z.literal("backend-test-pytest-collection-v1"),
+    schemaId: z.literal("backend-test-pytest-collection-v2"),
     phase: z.enum(["initial", "final", "effective"]),
     status: z.enum(["PASS", "REPAIRABLE", "BLOCKED"]),
     repairEligible: z.boolean(),
     repairAttempt: z.number().int().min(0).max(1),
+    collectionAttempted: z.boolean(),
     mappedScripts: z.array(z.string()).min(1),
-    assetFiles: z.array(z.string()).min(1),
+    existingMappedScripts: z.array(z.string()),
+    missingMappedScripts: z.array(z.string()),
+    assetFiles: z.array(z.string()),
     inputHashes: z.record(z.string(), z.string().regex(SHA256)),
-    pytestExitCode: z.number().int(),
+    pytestExitCode: z.number().int().nullable(),
     collectedItemCount: z.number().int().min(0),
     collectedItemIds: z.array(z.string()),
     findings: z.array(backendPytestCollectionFindingSchema),
     stdoutExcerpt: z.string(),
     stderrExcerpt: z.string(),
     collectionSource: z.enum(["initial", "final"]).optional(),
-}).strict();
+}).strict().superRefine((facts, context) => {
+    if (facts.status === "PASS") {
+        if (!facts.collectionAttempted || facts.pytestExitCode !== 0 || facts.missingMappedScripts.length > 0 || facts.assetFiles.length === 0) {
+            context.addIssue({ code: z.ZodIssueCode.custom, message: "backend pytest collection PASS requires attempted collection, exit 0, complete mapped scripts and bound assets" });
+        }
+    }
+    if (!facts.collectionAttempted && facts.pytestExitCode !== null) {
+        context.addIssue({ code: z.ZodIssueCode.custom, message: "backend pytest collection without an attempt cannot have an exit code" });
+    }
+});
 function repoRef(workspaceRoot, absolutePath) {
     return path.relative(workspaceRoot, absolutePath).replaceAll(path.sep, "/");
 }
@@ -56,10 +68,11 @@ async function walkPythonFiles(root) {
     await visit(root);
     return results;
 }
-export async function buildBackendPytestAssetInventory(workspaceRoot, mappedScripts) {
+export async function buildBackendPytestAssetInventory(workspaceRoot, mappedScripts, options = {}) {
     const normalizedScripts = [...new Set(mappedScripts.map((value) => value.replaceAll("\\", "/")))].sort();
-    if (normalizedScripts.length === 0)
+    if ((options.requireMappedScripts ?? true) && normalizedScripts.length === 0) {
         throw new Error("backend pytest collection requires mapped scripts");
+    }
     for (const script of normalizedScripts) {
         if (!/^testcase(?:\/[A-Za-z0-9_.-]+)*\/test_[A-Za-z0-9_.-]+\.py$/.test(script) && !/^testcase\/test_[A-Za-z0-9_.-]+\.py$/.test(script)) {
             throw new Error(`unsafe backend pytest mapped script: ${script}`);
@@ -123,12 +136,15 @@ export function assessBackendPytestCollection(input) {
     const items = collectionItems(input.stdout);
     if (input.exitCode === 0) {
         return backendPytestCollectionFactsSchema.parse({
-            schemaId: "backend-test-pytest-collection-v1",
+            schemaId: "backend-test-pytest-collection-v2",
             phase: input.phase,
             status: "PASS",
             repairEligible: false,
             repairAttempt: input.phase === "final" ? 1 : 0,
+            collectionAttempted: true,
             mappedScripts: input.inventory.mappedScripts,
+            existingMappedScripts: input.inventory.mappedScripts,
+            missingMappedScripts: [],
             assetFiles: input.inventory.assetFiles,
             inputHashes: input.inventory.inputHashes,
             pytestExitCode: input.exitCode,
@@ -141,12 +157,15 @@ export function assessBackendPytestCollection(input) {
     }
     const classification = classifyCollectionFailure(`${input.stdout}\n${input.stderr}`);
     return backendPytestCollectionFactsSchema.parse({
-        schemaId: "backend-test-pytest-collection-v1",
+        schemaId: "backend-test-pytest-collection-v2",
         phase: input.phase,
         status: classification.status,
         repairEligible: input.phase === "initial" && classification.status === "REPAIRABLE",
         repairAttempt: input.phase === "final" ? 1 : 0,
+        collectionAttempted: true,
         mappedScripts: input.inventory.mappedScripts,
+        existingMappedScripts: input.inventory.mappedScripts,
+        missingMappedScripts: [],
         assetFiles: input.inventory.assetFiles,
         inputHashes: input.inventory.inputHashes,
         pytestExitCode: input.exitCode,
@@ -162,6 +181,32 @@ export function assessBackendPytestCollection(input) {
         stderrExcerpt: bounded(input.stderr),
     });
 }
+export function assessMissingBackendPytestScripts(input) {
+    return backendPytestCollectionFactsSchema.parse({
+        schemaId: "backend-test-pytest-collection-v2",
+        phase: "initial",
+        status: "REPAIRABLE",
+        repairEligible: true,
+        repairAttempt: 0,
+        collectionAttempted: false,
+        mappedScripts: [...input.mappedScripts],
+        existingMappedScripts: [...input.existingMappedScripts],
+        missingMappedScripts: [...input.missingMappedScripts],
+        assetFiles: [...input.assetFiles],
+        inputHashes: input.inputHashes,
+        pytestExitCode: null,
+        collectedItemCount: 0,
+        collectedItemIds: [],
+        findings: input.missingMappedScripts.map((script) => ({
+            kind: "missing-mapped-pytest-script",
+            classification: "test-asset-defect",
+            repairability: "repairable",
+            detail: `Markdown-mapped generated pytest script is missing: ${script}`,
+        })),
+        stdoutExcerpt: "",
+        stderrExcerpt: "",
+    });
+}
 export function renderBackendPytestCollectionReport(facts) {
     return [
         `# Backend pytest Collection ${facts.phase}`,
@@ -172,8 +217,11 @@ export function renderBackendPytestCollectionReport(facts) {
         "",
         `- Repair eligible: ${facts.repairEligible}`,
         `- Repair attempt: ${facts.repairAttempt}`,
-        `- Pytest exit code: ${facts.pytestExitCode}`,
+        `- Collection attempted: ${facts.collectionAttempted}`,
+        `- Pytest exit code: ${facts.pytestExitCode ?? "not-run"}`,
         `- Mapped scripts: ${facts.mappedScripts.length}`,
+        `- Existing mapped scripts: ${facts.existingMappedScripts.length}`,
+        `- Missing mapped scripts: ${facts.missingMappedScripts.length}`,
         `- Bound Python assets: ${facts.assetFiles.length}`,
         `- Collected items: ${facts.collectedItemCount}`,
         "",

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

@@ -155,7 +155,7 @@ export const frontendImplementationContractSchema = z
             "not-needed",
         ]),
         productionDefaultOff: z.literal(true),
-        activation: z.string().min(1),
+        activation: z.preprocess((value) => (value === "" || value === null ? "explicit activation boundary" : value), z.string().min(1)),
         endpoints: z.array(z
             .object({
             method: z.enum([
@@ -168,7 +168,10 @@ export const frontendImplementationContractSchema = z
                 "OPTIONS",
             ]),
             path: z.string().startsWith("/"),
-            fixture: safePath.optional(),
+            // Models occasionally emit an empty fixture when Mock is
+            // intentionally not needed. Treat it like an omitted optional
+            // field; active Mock strategies still fail the refinement below.
+            fixture: z.preprocess((value) => (value === "" || value === null ? undefined : value), safePath.optional()),
             consumer: safePath.optional(),
         })
             .strict()),
@@ -187,7 +190,7 @@ export const frontendImplementationContractSchema = z
         type: z.enum(["static", "unit", "component", "integration", "mock"]),
         commandLabel: z.string().min(1),
         file: safePath,
-        symbol: z.string().min(1).optional(),
+        symbol: z.preprocess((value) => (value === "" || value === null ? undefined : value), z.string().min(1).optional()),
         requirementIds: z.array(id),
         uiStates: z.array(z.string().min(1)),
     })
@@ -343,12 +346,75 @@ function secretIssues(value, at = "$", issues = []) {
 }
 export function extractFrontendImplementationJson(text) {
     const trimmed = text.trim();
+    const parse = (source) => {
+        try {
+            return JSON.parse(source);
+        }
+        catch (error) {
+            // Models sometimes put ordinary ASCII quotes inside a JSON string
+            // (for example: `reason: "支持..."`). Repair only quotes that are
+            // clearly not structural: a closing quote is followed by JSON
+            // punctuation, while an embedded quote is followed by content.
+            let repaired = "";
+            let inString = false;
+            let escaped = false;
+            for (let index = 0; index < source.length; index += 1) {
+                const character = source[index];
+                if (character !== '"') {
+                    repaired += character;
+                    if (inString && character === "\\" && !escaped)
+                        escaped = true;
+                    else
+                        escaped = false;
+                    continue;
+                }
+                if (escaped) {
+                    repaired += character;
+                    escaped = false;
+                    continue;
+                }
+                if (!inString) {
+                    inString = true;
+                    repaired += character;
+                    continue;
+                }
+                const next = source.slice(index + 1).trimStart()[0];
+                if ([",", "}", "]", ":"].includes(next ?? "") || source.slice(index + 1).trim() === "") {
+                    inString = false;
+                    repaired += character;
+                }
+                else {
+                    repaired += "\\\"";
+                }
+            }
+            try {
+                return JSON.parse(repaired);
+            }
+            catch {
+                throw error;
+            }
+        }
+    };
     if (trimmed.startsWith("{") && trimmed.endsWith("}"))
-        return JSON.parse(trimmed);
+        return parse(trimmed);
     const blocks = [...trimmed.matchAll(/```json\s*\n([\s\S]*?)\n```/gi)];
-    if (blocks.length !== 1)
+    if (blocks.length === 0)
         throw new Error("output must contain exactly one fenced json object");
-    return JSON.parse(blocks[0][1]);
+    const candidates = [];
+    for (const block of blocks) {
+        try {
+            const candidate = parse(block[1]);
+            if (candidate && typeof candidate === "object" && !Array.isArray(candidate))
+                candidates.push(candidate);
+        }
+        catch {
+            // Ignore incomplete model scratch blocks. A later complete contract
+            // block may still be deterministically recoverable.
+        }
+    }
+    if (candidates.length !== 1)
+        throw new Error(`output must contain exactly one valid fenced json object (found ${candidates.length})`);
+    return candidates[0];
 }
 /**
  * Build the authoritative frontend-implementation-contract sourceBinding from

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

@@ -1,7 +1,8 @@
 import { readFile, stat } from "node:fs/promises";
+import { createHash } from "node:crypto";
 import path from "node:path";
 import { isOpenspecSpecFilePath } from "../../shared/openspec-spec.js";
-import { frontendImplementationContractSchema, materializeFrontendImplementationContract, assertFrontendSourceBindingFresh, } from "./frontend-implementation-contract.js";
+import { frontendImplementationContractSchema, FRONTEND_IMPLEMENTATION_CONTRACT_SCHEMA_ID, materializeFrontendImplementationContract, assertFrontendSourceBindingFresh, } from "./frontend-implementation-contract.js";
 import { captureFrontendWorktreeBaseline } from "./frontend-worktree-diff.js";
 import { pathMatchesPattern } from "../../shared/git-progress.js";
 async function selectNode(runDir, primary, fallbacks) {
@@ -46,7 +47,12 @@ function firstNonEmptyVerdictLine(text) {
     // The prompt requires VERDICT to be the first non-empty line, but model
     // output can still prepend a summary. Keep the protocol strict in the
     // prompt while making the deterministic gate resilient to that drift.
-    return normalizedLines.find((line) => /^VERDICT:/.test(line)) ?? first;
+    const verdictLine = normalizedLines.find((line) => /^VERDICT:/.test(line)) ?? first;
+    if (/^VERDICT:\s*pass(?:\s*[.!?。！？]|\s+|$)/i.test(verdictLine))
+        return "VERDICT: pass";
+    if (/^VERDICT:\s*request-revision(?:\s*[.!?。！？]|\s+|$)/i.test(verdictLine))
+        return "VERDICT: request-revision";
+    return verdictLine;
 }
 function eventArgs(event) {
     return event.args ?? event.toolInput ?? event.input ?? {};
@@ -122,6 +128,23 @@ async function checkOpenspecReadEvidence(input) {
     }
     return [...matched];
 }
+async function existingOpenspecCandidates(candidates, repoRoot) {
+    const existing = [];
+    for (const candidate of candidates) {
+        if (!isOpenspecSpecFilePath(candidate))
+            continue;
+        try {
+            const info = await stat(path.resolve(repoRoot, candidate));
+            if (info.isFile())
+                existing.push(candidate);
+        }
+        catch {
+            // Model-generated typos and stale capability paths are not readable
+            // evidence candidates and must not create a false prewrite block.
+        }
+    }
+    return existing;
+}
 export async function runFrontendPrewriteGate(input) {
     const workspaceRoot = input.workspaceRoot ?? input.repoRoot;
     if (workspaceRoot) {
@@ -155,13 +178,20 @@ export async function runFrontendPrewriteGate(input) {
     if (missingIds.length > 0) {
         throw new Error(`frontend prewrite gate missing requirement ids: ${missingIds.join(", ")}`);
     }
-    const artifact = await materializeFrontendImplementationContract({
+    const artifactPath = path.join(input.runDir, input.config.outputDir, input.config.artifactName);
+    const artifact = await stat(artifactPath)
+        .then(async () => ({
+        path: artifactPath,
+        schemaId: FRONTEND_IMPLEMENTATION_CONTRACT_SCHEMA_ID,
+        sha256: createHash("sha256").update(await readFile(artifactPath)).digest("hex"),
+    }))
+        .catch(() => 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)) {
@@ -175,7 +205,7 @@ export async function runFrontendPrewriteGate(input) {
             throw new Error(`frontend prewrite gate contract target is outside implementation writeSet: ${uncoveredTargets.join(", ")}`);
         }
     }
-    const candidatePaths = input.config.openspecCandidatePaths ?? [];
+    const candidatePaths = await existingOpenspecCandidates(input.config.openspecCandidatePaths ?? [], workspaceRoot ?? process.cwd());
     const openspecReadPaths = await checkOpenspecReadEvidence({
         runDir: input.runDir,
         candidatePaths,

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

@@ -102,13 +102,52 @@ function renderMarkdown(result, metrics) {
     ].join("\n");
 }
 function renderHtml(result, metrics) {
-    const rows = Object.entries(metrics.metrics)
-        .map(([name, metric]) => `<tr><td>${escapeHtml(name)}</td><td>${metric.numerator ?? "-"} / ${metric.denominator ?? "-"}</td><td>${escapeHtml(metricValue(metric))}</td><td class="${metric.status}">${escapeHtml(metric.status.toUpperCase())}</td><td>${escapeHtml(metric.reason ?? "-")}</td></tr>`)
-        .join("");
-    const blocking = metrics.blockingItems.length
-        ? metrics.blockingItems.map((item) => `<li>${escapeHtml(item)}</li>`).join("")
-        : "<li>无</li>";
-    return `<!doctype html><html lang="zh-CN"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><meta http-equiv="Content-Security-Policy" content="default-src 'none';style-src 'unsafe-inline'"><title>前端测试 L-5 报告</title><style>body{font:15px system-ui,"Microsoft YaHei",sans-serif;background:#f5f7fb;color:#172033;margin:0}main{max-width:1100px;margin:auto;padding:32px}.card{background:#fff;border-radius:14px;padding:24px;margin:16px 0;box-shadow:0 6px 24px #10182812}.decision{font-size:28px;font-weight:800;color:${metrics.status === "ready" ? "#067647" : "#b42318"}}table{width:100%;border-collapse:collapse}th,td{text-align:left;padding:12px;border-bottom:1px solid #e4e7ec}.pass{color:#067647}.fail{color:#b42318}.unavailable{color:#946200}code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace}</style></head><body><main><section class="card"><h1>前端测试 L-5 报告</h1><div class="decision">${metrics.status === "ready" ? "READY" : "NOT READY"}</div><p>Result v1 outcome：<code>${escapeHtml(result.outcome)}</code></p></section><section class="card"><h2>指标</h2><table><thead><tr><th>指标</th><th>分子 / 分母</th><th>比例</th><th>状态</th><th>原因</th></tr></thead><tbody>${rows}</tbody></table></section><section class="card"><h2>阻塞项</h2><ul>${blocking}</ul><p>前端 DAG 当前没有可信的 line/branch 代码覆盖产物，因此这两项为 unavailable，不得推断。</p></section></main></body></html>`;
+    const m = metrics.metrics;
+    const decision = metrics.status === "ready"
+        ? { text: "READY", color: "#15815c", bg: "rgba(21,129,92,.12)", border: "rgba(120,200,170,.4)", small: "所有 L-5 门禁达标" }
+        : { text: "NOT READY", color: "#d34661", bg: "rgba(211,70,97,.12)", border: "rgba(255,177,192,.4)", small: `${metrics.blockingItems.length} 个阻断项需要处理` };
+    const executed = result.totals.passed + result.totals.failed;
+    const passRate = m.passRate.ratio === null ? "—" : `${(m.passRate.ratio * 100).toFixed(2)}%`;
+    const acRate = m.acCoverage.ratio === null ? "—" : `${(m.acCoverage.ratio * 100).toFixed(2)}%`;
+    const automationRate = m.automationCoverage.ratio === null ? "—" : `${(m.automationCoverage.ratio * 100).toFixed(2)}%`;
+    const circ = 2 * Math.PI * 46;
+    const passLen = executed > 0 ? (result.totals.passed / executed) * circ : 0;
+    const failLen = executed > 0 ? (result.totals.failed / executed) * circ : 0;
+    const statusColor = (status) => status === "pass" ? "#15815c" : status === "fail" ? "#d34661" : "#c87918";
+    const statusBg = (status) => status === "pass" ? "#e7f7f0" : status === "fail" ? "#fff0f3" : "#fff7e8";
+    const gate = (label, metric, value, target, detail, evidence = "") => {
+        const color = statusColor(metric.status);
+        const width = metric.ratio === null ? 0 : Math.min(100, metric.ratio * 100);
+        const statusLabel = metric.status === "unavailable" ? "不可用" : metric.status === "pass" ? "达标" : "未达标";
+        const evidenceBlock = evidence
+            ? `<details style="margin-top:10px;padding-top:9px;border-top:1px solid #e5ebf3"><summary style="color:#4775ef;font-size:12px;font-weight:750;cursor:pointer;list-style:none">查看依据</summary><div style="margin-top:7px;color:#718097;font-size:12px">${evidence}</div></details>`
+            : "";
+        return `<div style="padding:14px 15px;border:1px solid #e5ebf3;border-radius:11px;background:#fcfdff;margin-top:8px"><div style="display:flex;align-items:center;gap:10px"><span style="flex:1;color:#263c5e;font-size:13px;font-weight:750">${escapeHtml(label)}</span><strong style="color:${color};font-size:15px">${escapeHtml(value)}</strong><span style="padding:3px 9px;border-radius:999px;color:${color};background:${statusBg(metric.status)};font-size:11px;font-weight:800">${statusLabel}</span></div><div style="height:6px;margin:10px 0 7px;background:#e7edf5;border-radius:99px;overflow:hidden"><i style="display:block;height:100%;width:${width}%;border-radius:inherit;background:${color}"></i></div><div style="display:flex;justify-content:space-between;color:#718097;font-size:12px"><span>${escapeHtml(detail)}</span><span>${escapeHtml(target)}</span></div>${evidenceBlock}</div>`;
+    };
+    const cases = result.cases.length > 0
+        ? result.cases.map((item) => {
+            const passed = item.status === "passed";
+            const color = passed ? "#15815c" : item.status === "blocked" ? "#c87918" : "#d34661";
+            const bg = passed ? "#e7f7f0" : item.status === "blocked" ? "#fff7e8" : "#fff0f3";
+            return `<details style="border:1px solid ${passed ? "#d7ece2" : "#ecd4d9"};border-radius:13px;background:${passed ? "#fbfffd" : "#fffdfd"};overflow:hidden;margin-top:10px"${passed ? "" : " open"}><summary style="display:flex;align-items:center;gap:10px;padding:15px;cursor:pointer;list-style:none"><span style="color:#17365d;font:700 12px ui-monospace,SFMono-Regular,Menlo,monospace">${escapeHtml(item.caseId)}</span><span style="flex:1;color:#17365d;font-size:14px;font-weight:750">${escapeHtml(item.caseContent.purpose)}</span><span style="padding:3px 9px;border-radius:999px;color:${color};background:${bg};font-size:11px;font-weight:800">${escapeHtml(item.status.toUpperCase())}</span></summary><div style="padding:0 15px 15px;border-top:1px solid #edf1f6"><div style="display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:9px;margin-top:14px"><div style="padding:9px 10px;border-radius:8px;background:#f6f8fa"><label style="display:block;color:#718097;font-size:11px">AC 映射</label><span style="display:block;margin-top:2px;color:#172033;font-size:12px;font-weight:650">${escapeHtml(item.acIds.join(", ") || "未关联")}</span></div><div style="padding:9px 10px;border-radius:8px;background:#f6f8fa"><label style="display:block;color:#718097;font-size:11px">浏览器证据</label><span style="display:block;margin-top:2px;color:#172033;font-size:12px;font-weight:650">${item.evidence.length} 条</span></div></div></div></details>`;
+        }).join("")
+        : `<div style="color:#718097;font-size:13px">无用例执行数据</div>`;
+    const blocking = metrics.blockingItems.length > 0
+        ? metrics.blockingItems.map((item) => `<li style="margin:6px 0">${escapeHtml(item)}</li>`).join("")
+        : "<li>无阻断项</li>";
+    return `<!doctype html><html lang="zh-CN"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><meta http-equiv="Content-Security-Policy" content="default-src 'none';style-src 'unsafe-inline'"><title>前端测试 · L-5</title><style>summary::-webkit-details-marker{display:none}@media(max-width:760px){.hero,.split,.gates{grid-template-columns:1fr!important}.kpis{grid-template-columns:repeat(2,1fr)!important}}@media(max-width:480px){.page{padding:24px 14px!important}.kpis{grid-template-columns:1fr!important}.hero-header{flex-direction:column!important}.case-meta{grid-template-columns:1fr!important}}</style></head><body style="margin:0;background:radial-gradient(circle at 8% 0,#edf4ff 0,transparent 36rem),#f5f7fb;color:#17243b;font:15px/1.6 Inter,system-ui,-apple-system,BlinkMacSystemFont,'Segoe UI','Microsoft YaHei',sans-serif"><div class="page" style="max-width:1180px;margin:0 auto;padding:42px 28px 72px">
+    <header class="hero-header" style="position:relative;overflow:hidden;padding:34px 38px;border:1px solid #294b78;border-radius:26px;background:linear-gradient(125deg,#102849 0%,#173d6d 57%,#245b91 100%);box-shadow:0 18px 40px rgba(16,40,73,.18);display:flex;align-items:flex-start;justify-content:space-between;gap:28px"><div><div style="color:#9fc6ee;font-size:11px;font-weight:800;letter-spacing:.2em">FRONTEND TEST · L-5 QUALITY VIEW</div><h1 style="margin:12px 0 10px;color:#f7fbff;font-size:clamp(30px,3.8vw,46px);font-weight:800;letter-spacing:-.055em;line-height:1.1">前端测试 L-5 报告</h1><p style="color:#bdd2e9;font-size:13px;margin:0">${escapeHtml(result.sourceBinding.taskId)} · ${result.totals.cases} 个用例</p></div><div style="min-width:220px;padding:16px 18px;border:1px solid ${decision.border};border-radius:18px;background:${decision.bg};box-shadow:0 8px 24px rgba(0,0,0,.08)"><div style="display:flex;align-items:center;gap:9px;color:${decision.color};font-size:17px;font-weight:800"><i style="width:11px;height:11px;border-radius:50%;background:${decision.color};box-shadow:0 0 0 5px ${decision.color}1a;display:inline-block"></i>L-5 ${decision.text}</div><small style="display:block;margin:7px 0 0 20px;color:${decision.color};opacity:.85;font-size:12px">${decision.small}</small></div></header>
+    <section class="kpis" style="display:grid;grid-template-columns:repeat(4,1fr);gap:14px;margin-top:18px">
+      ${[["测试通过率", passRate, `${result.totals.passed} / ${executed} · 目标 100%`, "#4775ef"], ["AC 验收覆盖", acRate, `${m.acCoverage.numerator ?? "—"} / ${m.acCoverage.denominator ?? "—"} · 目标 100%`, "#c87918"], ["自动化覆盖率", automationRate, `${m.automationCoverage.numerator ?? "—"} / ${m.automationCoverage.denominator ?? "—"} · 目标 ≥90%`, "#7589d9"], ["Critical 风险", String(m.criticalRisks.numerator ?? 0), m.criticalRisks.status === "pass" ? "无阻断项" : "阻断级风险", m.criticalRisks.status === "pass" ? "#15815c" : "#d34661"]].map(([label, value, foot, color]) => `<div style="position:relative;min-height:132px;padding:21px 22px;overflow:hidden;background:#fff;border:1px solid #e1e8f2;border-radius:15px;box-shadow:0 6px 18px rgba(25,53,92,.045)"><i style="position:absolute;top:0;left:0;right:0;height:3px;background:${color};display:block"></i><div style="color:#748198;font-size:13px;font-weight:650">${label}</div><div style="margin-top:19px;color:#13213a;font-size:35px;font-weight:800;letter-spacing:-.06em;line-height:1">${value}</div><div style="margin-top:9px;color:${color};font-size:12px">${foot}</div></div>`).join("")}
+    </section>
+    <section class="split" style="display:grid;grid-template-columns:1fr 1.35fr;gap:12px;margin-top:18px">
+      <div style="padding:20px 22px;border:1px solid #dfe7f1;border-radius:15px;background:rgba(255,255,255,.82);box-shadow:0 7px 20px rgba(25,53,92,.04)"><div><span style="color:#8796aa;font-size:10px;font-weight:800;letter-spacing:.16em">RUN OUTCOME</span><h2 style="margin:3px 0 0;color:#17365d;font-size:17px">本轮执行结果</h2></div><div style="position:relative;display:flex;align-items:center;gap:20px;margin-top:15px"><svg viewBox="0 0 120 120" style="width:116px;height:116px;flex:0 0 116px;transform:rotate(-90deg)" aria-label="${result.totals.passed} 通过，${result.totals.failed} 失败"><circle cx="60" cy="60" r="46" fill="none" stroke="#edf1f6" stroke-width="12"></circle><circle cx="60" cy="60" r="46" fill="none" stroke="#15815c" stroke-width="12" stroke-dasharray="${passLen.toFixed(2)} ${circ.toFixed(2)}" stroke-linecap="round"></circle><circle cx="60" cy="60" r="46" fill="none" stroke="#d34661" stroke-width="12" stroke-dasharray="${failLen.toFixed(2)} ${circ.toFixed(2)}" stroke-dashoffset="${(-passLen).toFixed(2)}"></circle></svg><div style="position:absolute;display:flex;width:116px;height:116px;flex-direction:column;align-items:center;justify-content:center;pointer-events:none"><strong style="color:#17365d;font-size:20px">${passRate}</strong><span style="color:#718097;font-size:10px">通过率</span></div><div style="display:grid;gap:6px;flex:1"><div style="color:#718097;font-size:12px">通过 <strong style="float:right;color:#17243b">${result.totals.passed}</strong></div><div style="color:#718097;font-size:12px">失败 <strong style="float:right;color:#17243b">${result.totals.failed}</strong></div><div style="color:#718097;font-size:12px">阻塞 <strong style="float:right;color:#17243b">${result.totals.blocked}</strong></div></div></div></div>
+      <div style="padding:20px 22px;border:1px solid #dfe7f1;border-radius:15px;background:rgba(255,255,255,.82);box-shadow:0 7px 20px rgba(25,53,92,.04)"><div style="display:flex;align-items:flex-start;justify-content:space-between;gap:16px"><div><span style="color:#8796aa;font-size:10px;font-weight:800;letter-spacing:.16em">QUALITY SIGNALS</span><h2 style="margin:3px 0 0;color:#17365d;font-size:17px">质量信号</h2></div><span style="color:#718097;font-size:11px">按 L-5 门槛判定</span></div>${gate("测试通过率", m.passRate, passRate, "目标 100%", `${result.totals.passed} / ${executed} 个已执行用例`, `失败 ${result.totals.failed}，阻塞 ${result.totals.blocked}。<code style="color:#17365d;font:11px ui-monospace,SFMono-Regular,Menlo,monospace">frontend-test-result-v1</code>`)}${gate("AC 验收覆盖", m.acCoverage, acRate, "目标 100%", `${m.acCoverage.numerator ?? "—"} / ${m.acCoverage.denominator ?? "—"}`, "来自 frontend-test-result-v1 acceptanceCoverage")}${gate("自动化覆盖率", m.automationCoverage, automationRate, "目标 ≥90%", `${m.automationCoverage.numerator ?? "—"} / ${m.automationCoverage.denominator ?? "—"}`, "由已执行 Case 与总 Case 确定性计算")}${gate("用例跳过数", m.skipped, String(result.totals.blocked), "目标 0", `${result.totals.blocked} / ${result.totals.cases}`, m.skipped.reason ?? "无阻塞用例")}${gate("Line 代码覆盖", m.lineCoverage, m.lineCoverage.ratio === null ? "—" : metricValue(m.lineCoverage), "目标 ≥80%", m.lineCoverage.reason ?? "validated coverage artifact", "前端测试当前未提供可信代码覆盖产物")}${gate("Branch 代码覆盖", m.branchCoverage, m.branchCoverage.ratio === null ? "—" : metricValue(m.branchCoverage), "目标 ≥70%", m.branchCoverage.reason ?? "validated coverage artifact", "前端测试当前未提供可信代码覆盖产物")}</div>
+    </section>
+    <section class="gates" style="display:grid;grid-template-columns:1.28fr .86fr;gap:20px;margin-top:20px"><div style="background:#fff;border:1px solid #e0e7f0;border-radius:15px;box-shadow:0 7px 20px rgba(25,53,92,.04);padding:22px"><div style="display:flex;align-items:center;justify-content:space-between;gap:14px;margin-bottom:18px"><h2 style="margin:0;color:#17365d;font-size:19px">L-5 门禁摘要</h2><span style="color:#718097;font-size:13px">阻断项与执行门槛</span></div>${gate("测试通过率", m.passRate, passRate, "目标 100%", `${result.totals.passed} / ${executed}`, `失败 ${result.totals.failed}，阻塞 ${result.totals.blocked}。<code style="color:#17365d;font:11px ui-monospace,SFMono-Regular,Menlo,monospace">frontend-test-result-v1</code>`)}${gate("AC 验收覆盖", m.acCoverage, acRate, "目标 100%", `${m.acCoverage.numerator ?? "—"} / ${m.acCoverage.denominator ?? "—"}`, "来自 frontend-test-result-v1 acceptanceCoverage")}${gate("自动化覆盖率", m.automationCoverage, automationRate, "目标 ≥90%", `${m.automationCoverage.numerator ?? "—"} / ${m.automationCoverage.denominator ?? "—"}`, "由已执行 Case 与总 Case 确定性计算")}${gate("阻塞/跳过用例", m.skipped, String(result.totals.blocked), "目标 0", `${result.totals.blocked} / ${result.totals.cases}`, m.skipped.reason ?? "无阻塞用例")}${gate("Line 代码覆盖", m.lineCoverage, m.lineCoverage.ratio === null ? "—" : metricValue(m.lineCoverage), "目标 ≥80%", m.lineCoverage.reason ?? "validated coverage artifact", "前端测试当前未提供可信代码覆盖产物")}${gate("Branch 代码覆盖", m.branchCoverage, m.branchCoverage.ratio === null ? "—" : metricValue(m.branchCoverage), "目标 ≥70%", m.branchCoverage.reason ?? "validated coverage artifact", "前端测试当前未提供可信代码覆盖产物")}</div><div style="background:#fff;border:1px solid #e0e7f0;border-radius:15px;box-shadow:0 7px 20px rgba(25,53,92,.04);padding:22px"><div style="display:flex;align-items:center;justify-content:space-between;gap:14px;margin-bottom:18px"><h2 style="margin:0;color:#17365d;font-size:19px">阻断项</h2><span style="color:#718097;font-size:13px">${metrics.blockingItems.length} 条</span></div><ul style="margin:0;padding-left:20px;color:#718097;font-size:12px">${blocking}</ul><div style="margin-top:16px;padding:12px;border-radius:10px;background:#fff7e8;color:#8b641f;font-size:12px">前端 DAG 当前没有可信的 line/branch coverage artifact，必须保持 unavailable，不得推断。</div></div></section>
+    <section style="background:#fff;border:1px solid #e0e7f0;border-radius:15px;box-shadow:0 7px 20px rgba(25,53,92,.04);padding:22px;margin-top:20px"><div style="display:flex;align-items:center;justify-content:space-between;gap:14px;margin-bottom:12px"><h2 style="margin:0;color:#17365d;font-size:19px">用例执行明细</h2><span style="color:#718097;font-size:13px">${result.cases.length} 条 · Result v1</span></div>${cases}</section>
+    <section style="background:#fff;border:1px solid #e0e7f0;border-radius:15px;box-shadow:0 7px 20px rgba(25,53,92,.04);padding:22px;margin-top:20px"><p style="margin:0;color:#718097;font-size:12px">报告由 frontend-test L-5 shell 节点基于 <code style="color:#17365d;font:11px ui-monospace,SFMono-Regular,Menlo,monospace">frontend-test-result-v1</code> 确定性渲染。L-5 判定依据：pass=100%、AC=100%、automation≥90%、line≥80%、branch≥70%、blocked=0 且无阻断级 Critical 风险。</p></section>
+  </div></body></html>`;
 }
 async function writePairAtomic(markdownPath, markdown, htmlPath, html) {
     await mkdir(path.dirname(markdownPath), { recursive: true });

package/dist/workflows/dag/init-hybrid.js

@@ -1,6 +1,5 @@
 import { createHash } from "node:crypto";
 import { access, readdir, readFile, realpath } from "node:fs/promises";
-import { existsSync, readFileSync } from "node:fs";
 import path from "node:path";
 import { writeJsonAtomic } from "../../infrastructure/harness/atomic-write.js";
 import { assertValidDagSpec } from "./validate.js";
@@ -1079,37 +1078,10 @@ function isFrontendLintVerifyCommand(command) {
     const text = `${command.label}\n${command.args.join(" ")}`;
     return /\b(?:lint|eslint)\b/i.test(text);
 }
-function isManagedCiWrapperVerifyCommand(command) {
-    const text = `${command.label}\n${command.args.join(" ")}`.replaceAll("\\", "/");
-    return /\bscripts\/ci(?:-tests)?\.sh\b/.test(text);
-}
-function repoHasNpmScript(repoRoot, scriptName) {
-    if (!repoRoot)
-        return false;
-    const packagePath = path.join(repoRoot, "package.json");
-    if (!existsSync(packagePath))
-        return false;
-    try {
-        const decoded = JSON.parse(readFileSync(packagePath, "utf8"));
-        return typeof decoded.scripts?.[scriptName] === "string";
-    }
-    catch {
-        return false;
-    }
-}
 function partitionFrontendStaticVerifyCommands(input) {
     const commands = input.commands ?? [];
     const lintCommands = commands.filter(isFrontendLintVerifyCommand);
     const staticCommands = commands.filter((command) => !isFrontendLintVerifyCommand(command));
-    if (lintCommands.length === 0 &&
-        commands.some(isManagedCiWrapperVerifyCommand) &&
-        repoHasNpmScript(input.repoRoot, "lint")) {
-        lintCommands.push({
-            args: ["npm", "run", "lint"],
-            cwd: input.repoRoot,
-            label: "npm run lint",
-        });
-    }
     return {
         lint: {
             ...(lintCommands.length > 0 ? { commands: lintCommands } : {}),
@@ -1211,7 +1183,6 @@ async function discoverFrontendFallbackVerifyCommands(repoRoot) {
     const staticCommands = firstExisting([
         "typecheck",
         "check-types",
-        "lint",
         "check",
         "build",
     ]);
@@ -2455,9 +2426,62 @@ async function buildFrontendHybridDagFromTask(sources) {
                     sourceContext,
                 ].join("\n\n"),
             },
+            {
+                id: "frontend-contract-json-pi",
+                depends_on: [
+                    "frontend-plan-revision-pi",
+                    "frontend-plan-pi",
+                    "frontend-final-design-review-pi",
+                    "frontend-design-review-pi",
+                ],
+                dependsPolicy: "all-or-condition-skip",
+                role: "planner",
+                executor: "pi",
+                complexity: "MED",
+                writePolicy: "read-only",
+                outputMode: "structured-required",
+                retryPolicy: STRUCTURED_REQUIRED_PI_RETRY_POLICY,
+                allowedPaths: readOnlyPaths,
+                forbiddenPaths,
+                skills: FRONTEND_IMPLEMENTATION_SKILLS,
+                outputContract: "Return exactly one JSON object conforming to frontend-implementation-contract-v1. No Markdown, prose, comments, or code fences.",
+                subtask_prompt: [
+                    "Convert the effective reviewed frontend plan into the canonical frontend-implementation-contract-v1 JSON.",
+                    "Use frontend-plan-revision-pi when it is FINISHED; otherwise use frontend-plan-pi. Confirm the effective design review passed before producing the contract.",
+                    "Return only the JSON object. Do not wrap it in Markdown or a code fence. Do not add explanatory text.",
+                    "Preserve all requirement expectedOutcome, interaction trigger/expectedBehavior, target files, verification targets, Mock/API decisions, and Real Integration Gap from the effective plan.",
+                    frontendContractSchemaBlock,
+                    sourceContext,
+                ].join("\n\n"),
+            },
+            {
+                id: "frontend-contract-json-validate-shell",
+                depends_on: ["frontend-contract-json-pi"],
+                role: "verifier",
+                executor: "shell",
+                complexity: "LOW",
+                writePolicy: "read-only",
+                allowedPaths: readOnlyPaths,
+                forbiddenPaths,
+                outputContract: "Validated frontend implementation contract artifact with schema ID and SHA-256.",
+                subtask_prompt: "Materialize and validate the structured frontend contract before prewrite authorization.",
+                shell: {
+                    commands: [],
+                    jsonArtifactGate: {
+                        fromNodeId: "frontend-contract-json-pi",
+                        schemaId: "frontend-implementation-contract-v1",
+                        artifactName: "frontend-implementation-contract.json",
+                        outputDir: "contracts",
+                    },
+                    cwd: ".",
+                    timeoutMs: 60000,
+                },
+            },
             {
                 id: "frontend-prewrite-gate-shell",
                 depends_on: [
+                    "frontend-contract-json-pi",
+                    "frontend-contract-json-validate-shell",
                     "frontend-final-design-review-pi",
                     "frontend-design-review-pi",
                     "frontend-plan-revision-pi",
@@ -2476,8 +2500,8 @@ async function buildFrontendHybridDagFromTask(sources) {
                     commands: [],
                     frontendPrewriteGate: {
                         schemaVersion: 1,
-                        planFromNodeId: "frontend-plan-revision-pi",
-                        planFallbackFromNodeIds: ["frontend-plan-pi"],
+                        planFromNodeId: "frontend-contract-json-pi",
+                        planFallbackFromNodeIds: ["frontend-plan-revision-pi", "frontend-plan-pi"],
                         reviewFromNodeId: "frontend-final-design-review-pi",
                         reviewFallbackFromNodeIds: ["frontend-design-review-pi"],
                         requiredRequirementIds: requirementIds,
@@ -3635,7 +3659,7 @@ async function buildBackendTestHybridDag(sources) {
             "Do not read source/**, add cases, reassign ACs, modify conftest/config/production code, use skip/xfail, swallow assertions, execute pytest, or emit JSON. For best-effort cleanup, catch only the narrow transport exception actually raised by the selected HTTP client (for example `requests.RequestException` or `urllib.error.URLError`); never use bare `except`, `Exception`, or `BaseException` with `pass`.",
         ].join("\n\n"),
     };
-    const collectionAssess = shellNode("assess-backend-pytest-collection-shell", [generatePytest.id], "markdown-collection-assess", "Run pytest collection only over final Markdown-mapped scripts before any business test body execution. Materialize hash-bound PASS/REPAIRABLE/BLOCKED facts. Only generated testcase-local syntax/import inconsistencies are repairable; dependency, plugin, production-module, environment, safety and unknown failures remain blocked.", "Run-owned reports/backend-test-pytest-collection-initial.md and contracts/backend-test-pytest-collection-initial.json with bounded diagnostics, asset hashes, collected item IDs and deterministic repair eligibility.", [], 120000);
+    const collectionAssess = shellNode("assess-backend-pytest-collection-shell", [generatePytest.id], "markdown-collection-assess", "Resolve final Markdown-mapped scripts before any business test body execution. A safe deterministic mapped script that the pytest writer omitted is REPAIRABLE without starting pytest; otherwise run pytest collection only over existing mapped scripts. Materialize hash-bound PASS/REPAIRABLE/BLOCKED facts. Only missing mapped generated scripts and generated testcase-local syntax/import inconsistencies are repairable; dependency, plugin, production-module, environment, safety and unknown failures remain blocked.", "Run-owned reports/backend-test-pytest-collection-initial.md and contracts/backend-test-pytest-collection-initial.json with bounded diagnostics, asset hashes, collected item IDs and deterministic repair eligibility.", [], 120000);
     const repairPytest = {
         id: "repair-backend-pytest-collection-pi",
         depends_on: [collectionAssess.id],
@@ -3663,7 +3687,7 @@ async function buildBackendTestHybridDag(sources) {
         outputContract: "First non-empty line is IMPLEMENTATION_OUTCOME: changed|already-satisfied|blocked, followed by a concise repair summary. Modify only generated pytest scripts/helpers/factories and preserve every Markdown Case, Test Point, primary symbol and assertion meaning.",
         subtask_prompt: [
             "Repair the generated backend pytest asset as one bounded program using the direct upstream collection assessment. This is the only repair attempt and happens before any business test body execution.",
-            "Fix only collection-proven generated testcase-local syntax, module path, missing symbol, circular import, fixture-name, decorator or parameterization inconsistencies. Inspect all affected importers and providers so the repair is cross-file consistent.",
+            "Fix only collection-proven generated testcase-local defects: create the exact safe missing mapped test_*.py paths listed by the initial facts, or repair syntax, module path, missing symbol, circular import, fixture-name, decorator or parameterization inconsistencies. Inspect all affected importers and providers so the repair is cross-file consistent; do not create unrelated pytest scripts.",
             "Preserve final testcase/md/** semantics, every Case ID, Rule/Test Point binding, primary symbol, parameter ID, expected status/body/schema assertion, HTTP logging, redaction and truncation behavior.",
             "Do not read task source/** or reinterpret requirements. Do not modify Markdown, conftest, pytest config, production code or dependencies.",
             "Do not add skip/skipif/xfail, remove tests, reduce collected items, loosen assertions, swallow exceptions, use try/except ImportError fallback, mutate sys.path/PYTHONPATH, or replace the real API with mocks.",
@@ -5287,7 +5311,7 @@ async function buildHybridDagForTemplate(sources, template) {
         else if (template === "review-gated-dag")
             spec = buildReviewGatedHybridDag(standard, sources);
         else
-            spec = buildSupervisedHybridDag(standard, sources);
+            spec = await buildSupervisedHybridDag(standard, sources);
     }
     applyProjectGovernanceReview(spec, template, sources);
     // New generate path always emits DagSpec v4 + bindings.
@@ -5721,10 +5745,12 @@ function buildWriteSetGateNode(sources) {
         },
     };
 }
-function buildSoftVerifyNode(sources) {
+async function buildSoftVerifyNode(sources) {
     const implementId = implementationNodeId();
     const strategy = resolveDagVerifyStrategy(sources.taskConfig, "1");
-    const fallbackCommands = ["npm run typecheck"];
+    const fallbackCommands = sources.repoRoot
+        ? (await discoverFrontendFallbackVerifyCommands(sources.repoRoot)).staticCommands
+        : ["npm run typecheck"];
     const focusedIntermediate = sources.verifyCommands?.intermediate.filter((command) => !isFullSuiteVerifyCommand(command));
     const plannedIntermediate = applyMavenVerificationPlanning({
         repoRoot: sources.repoRoot,
@@ -5966,7 +5992,7 @@ function resolveSupervisedConvergence(taskConfig) {
         chainNodeIds: [...SUPERVISED_CONVERGENCE_CHAIN_NODE_IDS],
     };
 }
-function buildSupervisedHybridDag(standard, sources) {
+async function buildSupervisedHybridDag(standard, sources) {
     const contract = getTaskOrThrow(standard, "contract-pi");
     const scoutSrc = getTaskOrThrow(standard, "scout-src");
     const scoutTests = getTaskOrThrow(standard, "scout-tests");
@@ -6018,7 +6044,7 @@ function buildSupervisedHybridDag(standard, sources) {
                     "final-write-set-audit-format-repair-pi",
                 ],
             }),
-            buildSoftVerifyNode(sources),
+            await buildSoftVerifyNode(sources),
             buildProcessSupervisorNode(sources),
             buildProcessGateNode(sources),
             buildRepairNode(sources),

package/dist/workflows/dag/output-protocol.js

@@ -206,6 +206,29 @@ export function validateOutputProtocol(protocol, text) {
             reason: `missing first non-empty line; expected one of: ${protocol.validLines.map((l) => JSON.stringify(l)).join(" or ")}`,
         };
     }
+    const isReviewVerdict = protocol.validLines.length === 2 && protocol.validLines.includes("VERDICT: pass") && protocol.validLines.includes("VERDICT: request-revision");
+    // Models frequently prepend a short explanation despite the protocol
+    // instruction. Recover only when there is exactly one unambiguous protocol
+    // line; conflicting or repeated verdicts remain fail-closed.
+    const candidates = isReviewVerdict ? text
+        .split("\n")
+        .map((line) => normalizeVerdictCandidateLine(line.trim()))
+        .filter((line) => protocol.validLines.includes(line)) : [];
+    const uniqueCandidates = [...new Set(candidates)];
+    if (uniqueCandidates.length > 1) {
+        return {
+            ok: false,
+            failureCategory: "protocol-invalid",
+            reason: `conflicting protocol lines found: ${uniqueCandidates.map((line) => JSON.stringify(line)).join(" and ")}`,
+            firstNonEmptyLine: first,
+        };
+    }
+    if (protocol.validLines.includes(first)) {
+        return { ok: true, matchedLine: first };
+    }
+    if (uniqueCandidates.length === 1) {
+        return { ok: true, matchedLine: uniqueCandidates[0] };
+    }
     if (!protocol.validLines.includes(first)) {
         return {
             ok: false,

package/docs/templates/backend-test-dag.json

@@ -224,7 +224,7 @@
         "artifacts/**"
       ],
       "outputContract": "Run-owned reports/backend-test-pytest-collection-initial.md and contracts/backend-test-pytest-collection-initial.json with bounded diagnostics, asset hashes, collected item IDs and deterministic repair eligibility.",
-      "subtask_prompt": "Run pytest collection only over final Markdown-mapped scripts before any business test body execution. Materialize hash-bound PASS/REPAIRABLE/BLOCKED facts. Only generated testcase-local syntax/import inconsistencies are repairable; dependency, plugin, production-module, environment, safety and unknown failures remain blocked.",
+      "subtask_prompt": "Resolve final Markdown-mapped scripts before any business test body execution. A safe deterministic mapped script that the pytest writer omitted is REPAIRABLE without starting pytest; otherwise run pytest collection only over existing mapped scripts. Materialize hash-bound PASS/REPAIRABLE/BLOCKED facts. Only missing mapped generated scripts and generated testcase-local syntax/import inconsistencies are repairable; dependency, plugin, production-module, environment, safety and unknown failures remain blocked.",
       "shell": {
         "commands": [],
         "backendTestPipeline": "markdown-collection-assess",
@@ -266,7 +266,7 @@
         "type": "implementation-outcome-v1"
       },
       "outputContract": "First non-empty line is IMPLEMENTATION_OUTCOME: changed|already-satisfied|blocked, followed by a concise repair summary. Modify only generated pytest scripts/helpers/factories and preserve every Markdown Case, Test Point, primary symbol and assertion meaning.",
-      "subtask_prompt": "Repair the generated backend pytest asset as one bounded program using the direct upstream collection assessment. This is the only repair attempt and happens before any business test body execution.\n\nFix only collection-proven generated testcase-local syntax, module path, missing symbol, circular import, fixture-name, decorator or parameterization inconsistencies. Inspect all affected importers and providers so the repair is cross-file consistent.\n\nPreserve final testcase/md/** semantics, every Case ID, Rule/Test Point binding, primary symbol, parameter ID, expected status/body/schema assertion, HTTP logging, redaction and truncation behavior.\n\nDo not read task source/** or reinterpret requirements. Do not modify Markdown, conftest, pytest config, production code or dependencies.\n\nDo not add skip/skipif/xfail, remove tests, reduce collected items, loosen assertions, swallow exceptions, use try/except ImportError fallback, mutate sys.path/PYTHONPATH, or replace the real API with mocks.\n\nDo not execute pytest; the deterministic effective collection gate owns the final collection attempt."
+      "subtask_prompt": "Repair the generated backend pytest asset as one bounded program using the direct upstream collection assessment. This is the only repair attempt and happens before any business test body execution.\n\nFix only collection-proven generated testcase-local defects: create the exact safe missing mapped test_*.py paths listed by the initial facts, or repair syntax, module path, missing symbol, circular import, fixture-name, decorator or parameterization inconsistencies. Inspect all affected importers and providers so the repair is cross-file consistent; do not create unrelated pytest scripts.\n\nPreserve final testcase/md/** semantics, every Case ID, Rule/Test Point binding, primary symbol, parameter ID, expected status/body/schema assertion, HTTP logging, redaction and truncation behavior.\n\nDo not read task source/** or reinterpret requirements. Do not modify Markdown, conftest, pytest config, production code or dependencies.\n\nDo not add skip/skipif/xfail, remove tests, reduce collected items, loosen assertions, swallow exceptions, use try/except ImportError fallback, mutate sys.path/PYTHONPATH, or replace the real API with mocks.\n\nDo not execute pytest; the deterministic effective collection gate owns the final collection attempt."
     },
     {
       "id": "effective-backend-pytest-collection-gate-shell",

package/docs/templates/frontend-implementation-contract.schema.json

@@ -13,9 +13,9 @@
     "requirements": { "type": "array", "minItems": 1, "items": { "type": "object", "additionalProperties": false, "required": ["id", "expectedOutcome", "implementationTargets", "verificationTargetIds"], "properties": { "id": { "$ref": "#/$defs/requirementId" }, "expectedOutcome": { "type": "string", "minLength": 1 }, "implementationTargets": { "type": "array", "items": { "$ref": "#/$defs/path" } }, "verificationTargetIds": { "type": "array", "items": { "type": "string", "minLength": 1 } }, "evidenceGap": { "$ref": "#/$defs/gap" } } } },
     "uiStates": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": ["name", "applicable"], "properties": { "name": { "type": "string", "minLength": 1 }, "applicable": { "type": "boolean" }, "expectedBehavior": { "type": "string", "minLength": 1 }, "implementationTargets": { "type": "array", "items": { "$ref": "#/$defs/path" } }, "verificationTargetIds": { "type": "array", "items": { "type": "string", "minLength": 1 } }, "notApplicableReason": { "type": "string", "minLength": 1 } }, "allOf": [{ "if": { "properties": { "applicable": { "const": true } }, "required": ["applicable"] }, "then": { "required": ["expectedBehavior", "implementationTargets", "verificationTargetIds"], "properties": { "implementationTargets": { "minItems": 1 }, "verificationTargetIds": { "minItems": 1 } } } }, { "if": { "properties": { "applicable": { "const": false } }, "required": ["applicable"] }, "then": { "required": ["notApplicableReason"] } }] } },
     "interactions": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": ["name", "trigger", "expectedBehavior", "implementationTargets", "verificationTargetIds"], "properties": { "name": { "type": "string", "minLength": 1 }, "trigger": { "type": "string", "minLength": 1 }, "expectedBehavior": { "type": "string", "minLength": 1 }, "implementationTargets": { "type": "array", "items": { "$ref": "#/$defs/path" } }, "verificationTargetIds": { "type": "array", "items": { "type": "string" } } } } },
-    "mockApi": { "type": "object", "additionalProperties": false, "required": ["strategy", "productionDefaultOff", "activation", "endpoints"], "properties": { "strategy": { "enum": ["native", "browser-intercept", "request-adapter", "not-needed"] }, "productionDefaultOff": { "const": true }, "activation": { "type": "string", "minLength": 1 }, "endpoints": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": ["method", "path"], "properties": { "method": { "enum": ["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD", "OPTIONS"] }, "path": { "type": "string", "pattern": "^/" }, "fixture": { "$ref": "#/$defs/path" }, "consumer": { "$ref": "#/$defs/path" } } } } } },
+    "mockApi": { "type": "object", "additionalProperties": false, "required": ["strategy", "productionDefaultOff", "activation", "endpoints"], "properties": { "strategy": { "enum": ["native", "browser-intercept", "request-adapter", "not-needed"] }, "productionDefaultOff": { "const": true }, "activation": { "type": ["string", "null"], "minLength": 1 }, "endpoints": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": ["method", "path"], "properties": { "method": { "enum": ["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD", "OPTIONS"] }, "path": { "type": "string", "pattern": "^/" }, "fixture": { "anyOf": [{ "$ref": "#/$defs/path" }, { "type": "null" }] }, "consumer": { "anyOf": [{ "$ref": "#/$defs/path" }, { "type": "null" }] } } } } } },
     "designEvidence": { "type": "object", "additionalProperties": false, "required": ["source", "paths", "conflicts"], "properties": { "source": { "type": "string", "minLength": 1 }, "paths": { "type": "array", "items": { "$ref": "#/$defs/path" } }, "conflicts": { "type": "array", "items": { "type": "string", "minLength": 1 } } } },
-    "verificationTargets": { "type": "array", "minItems": 1, "items": { "type": "object", "additionalProperties": false, "required": ["id", "type", "commandLabel", "file", "requirementIds", "uiStates"], "properties": { "id": { "type": "string", "minLength": 1 }, "type": { "enum": ["static", "unit", "component", "integration", "mock"] }, "commandLabel": { "type": "string", "minLength": 1 }, "file": { "$ref": "#/$defs/path" }, "symbol": { "type": "string", "minLength": 1 }, "requirementIds": { "type": "array", "items": { "$ref": "#/$defs/requirementId" } }, "uiStates": { "type": "array", "items": { "type": "string", "minLength": 1 } } } } },
+    "verificationTargets": { "type": "array", "minItems": 1, "items": { "type": "object", "additionalProperties": false, "required": ["id", "type", "commandLabel", "file", "requirementIds", "uiStates"], "properties": { "id": { "type": "string", "minLength": 1 }, "type": { "enum": ["static", "unit", "component", "integration", "mock"] }, "commandLabel": { "type": "string", "minLength": 1 }, "file": { "$ref": "#/$defs/path" }, "symbol": { "anyOf": [{ "type": "string", "minLength": 1 }, { "type": "null" }] }, "requirementIds": { "type": "array", "items": { "$ref": "#/$defs/requirementId" } }, "uiStates": { "type": "array", "items": { "type": "string", "minLength": 1 } } } } },
     "evidenceGaps": { "type": "array", "items": { "$ref": "#/$defs/gap" } }
   },
   "allOf": [{ "if": { "properties": { "mockApi": { "properties": { "strategy": { "enum": ["native", "browser-intercept", "request-adapter"] } } } } }, "then": { "properties": { "mockApi": { "properties": { "endpoints": { "minItems": 1, "items": { "required": ["method", "path", "fixture", "consumer"] } } } } } } }],

package/harness.json

@@ -6,7 +6,7 @@
   "workflowPolicy": {
     "defaultImplementationWorkflow": "agent-dag",
     "dag": {
-      "defaultEntry": "task advance",
+     "defaultEntry": "task advance",
       "outputLanguage": "zh-CN",
       "profileRouting": {
         "minimal": "standard-dag",
@@ -58,9 +58,9 @@
   "executors": {
     "pi": {
       "description": "Pi planning, review, diagnosis, and bounded writing when DAG toolProfile=write",
-      "LOW": "minimax-m3",
-      "MED": "grok-4.5",
-      "HIGH": "gpt-5.6-sol"
+      "LOW": {"model": "deepseek/deepseek-v4-flash", "thinking": "high"},
+      "MED": {"model": "deepseek/deepseek-v4-flash", "thinking": "max"},
+      "HIGH": {"model": "deepseek/deepseek-v4-flash", "thinking": "max"}
     }
   }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tea-agent/loop-agent",
-  "version": "0.27.0",
+  "version": "0.27.1-beta.0",
   "type": "module",
   "bin": {
     "loop-agent": "bin/loop-agent.js",

package/skills/loop-agent/references/hybrid-dag.md

@@ -20,7 +20,7 @@
 
 > Backend-test Markdown-first：先由确定性环境 Shell 检查 clean env 中 Python/pytest、常见配置、conftest/fixture、test root、server entry 和 HTML renderer，失败时不消耗模型调用。随后 Pi 生成中文 README 索引与模块用例卡片并独立 Review `testcase/md/**`。第 4 节点只把前置条件、操作步骤、预期结果作为必选章节，并检查 Case ID、业务 AC、步骤/预期和占位措辞；不校验需求来源引用有效性或 Markdown sensitive-shaped 内容。pytest writer 为每次真实接口调用记录脱敏、有界的请求 method/URL/参数摘要和响应 status/body 摘要。第 6 节点只扫描每条 Case 明确映射的 pytest 脚本，同时支持模块级函数和 pytest class 方法，并把缺少请求/响应日志、递归脱敏或有界截断证据记录为 advisory。第 4/6 节点均写 PASS/FAIL findings 而不阻断后续；pytest 仍只运行一次，生成 JUnit，并把 Markdown 名称/场景/脚本映射与同一 JUnit 合成为按测试概览、质量校验、失败概览、用例执行明细和技术证据组织的中文 self-contained HTML 与 Markdown facts。最终 Pi 按固定简洁结构汇总 advisory 状态、执行事实和 L-5 结论。active 流程不要求模型生成 backend-test 业务 JSON。
 
-显式专用 `taskKind` 保持兼容并优先于任务源分类。`backend-test` 选择固定 **12 个真实顶层节点**的 Markdown-first DAG：环境硬门、Markdown cases、独立 Review/修订、第 4 节点 advisory Markdown 校验、pytest 转换、initial collection assessment、仅 `REPAIRABLE` 时最多一次 generated-test repair、hash-bound effective collection、scoped traceability、facts-only manifest、单次业务 pytest + pytest-html/HTML/facts、最终 Markdown 报告与 L-5。绿色路径 collection 一次，repair 路径两次，但测试体始终只执行一次；依赖/plugin/生产模块/环境/安全/未知 collection error 不得 repair，assertion/API failure不触发 repair 或 rerun。历史 JSON contract/materializer 可继续读取旧 DAG，但新 runtime/template 不再生成模型业务 JSON。`knowledge-sync` 与 `knowledge-graph-bootstrap` 继续通过各自显式 taskKind 选择知识回写/图谱开荒 DAG。治理等级仍由 `minimal|standard|reviewed|supervised` 推断。
+显式专用 `taskKind` 保持兼容并优先于任务源分类。`backend-test` 选择固定 **12 个真实顶层节点**的 Markdown-first DAG：环境硬门、Markdown cases、独立 Review/修订、第 4 节点 advisory Markdown 校验、pytest 转换、initial collection assessment、仅 `REPAIRABLE` 时最多一次 generated-test repair、hash-bound effective collection、scoped traceability、facts-only manifest、单次业务 pytest + pytest-html/HTML/facts、最终 Markdown 报告与 L-5。initial assessment 先解析 expected/existing/missing mapped scripts；writer 漏生成的安全唯一 mapped `test_*.py` 不启动 pytest而直接形成 `missing-mapped-pytest-script` REPAIRABLE facts，repair 只能创建该精确路径；映射齐全时才执行 initial collection。绿色路径 collection 一次，repair 路径在修复后执行一次 final collection，测试体始终只执行一次；依赖/plugin/生产模块/环境/安全/未知 collection error 不得 repair，assertion/API failure不触发 repair 或 rerun。历史 JSON contract/materializer 可继续读取旧 DAG，但新 runtime/template 不再生成模型业务 JSON。`knowledge-sync` 与 `knowledge-graph-bootstrap` 继续通过各自显式 taskKind 选择知识回写/图谱开荒 DAG。治理等级仍由 `minimal|standard|reviewed|supervised` 推断。
 
 ### DAG workflow 层级
 

package/skills/loop-agent/references/source-and-plan-practice.md

@@ -2,7 +2,7 @@
 
 很多用户只跑最短 runtime 命令，**漏掉** PRD 归档纪律与 `plan create`。二者**不是** `task advance` 的硬依赖，但在「有原始 PRD / 非微小实现」场景下应成为默认纪律。本文给出**何时用、何时可跳、命令顺序与案例**。
 
-相关命令细节：`command-reference.md`（task advance / plan / status）。  
+相关命令细节：`command-reference.md`（task advance / plan / status）。
 Task 目录布局：`task-workflow.md`。  
 仓库治理全文：目标仓 `governanceRoot` 下 `feature-workflow.md`（若有）。
 
@@ -102,31 +102,31 @@ loop-agent task advance <task-id> --approve-gate "write-set-review:<digest>" --j
 ### 案例 A — 用户丢来一份 PRD 文件（默认完整路径）
 
 **信号**：`帮我按这个 PRD 实现…` + 附件/路径。  
-**做法**：非微小则先 `plan create`（或复用 active plan）→ **`task advance --prd`** → 审查 writeSet gate → `--approve-gate`。  
+**做法**：非微小则先 `plan create`（或复用 active plan）→ **`task advance --prd`** → 审查 writeSet gate → `--approve-gate`。
 **验收**：`source/references/` 有原文；manifest hash 在；review 能三方对照。
 
 ### 案例 B — 聊天里三句话小需求（可跳过 PRD + plan）
 
 **信号**：`把 X 按钮文案改成 Y`，单文件。  
-**做法**：`task advance --from-text` → approve gate…  
+**做法**：`task advance --from-text` → approve gate…
 **不要**：为了「流程完整」空跑不存在的 PRD 文件步骤或堆一个空洞 plan。
 
 ### 案例 C — 源仓改 CLI 默认行为（必须 plan，PRD 视情况）
 
 **信号**：行为变更、CHANGELOG、skills/init 多表面。  
-**做法**：**`plan create`** 先冻结契约与工作块 → 按块 `task advance` → 定向验证 → `plan complete`。  
+**做法**：**`plan create`** 先冻结契约与工作块 → 按块 `task advance` → 定向验证 → `plan complete`。
 **验收**：active/completed 索引与 plan 正文一致；`plan check` / `task advance` 索引 preflight 不红。
 
 ### 案例 D — agent-worker / Feature 已 materialize source_docs
 
 **信号**：TaskSpec 已把 `source_docs` 拷进 `source/references/`。  
-**做法**：通常 **不必再 import 同一文件**；检查 references + 派生 `需求.md` 顶部「冲突以 references 为准」→ 补边界 → `task advance`。  
+**做法**：通常 **不必再 import 同一文件**；检查 references + 派生 `需求.md` 顶部「冲突以 references 为准」→ 补边界 → `task advance`。
 **仍建议**：产品线级大功能在 Feature / 仓库层有 plan 或 Feature Packet 记录。
 
 ### 案例 E — 用户说「loop-agent 帮我完成 XXX」无附件
 
 **信号**：强路由进 DAG，但无 PRD 路径。  
-**做法**：主会话 **先问清**是否有 PRD 文件；有则 `--prd`；无则 `--from-text` 写入共识并标来源 → 判断微小 vs 非微小决定是否 `plan create` → 再 `task advance`。  
+**做法**：主会话 **先问清**是否有 PRD 文件；有则 `--prd`；无则 `--from-text` 写入共识并标来源 → 判断微小 vs 非微小决定是否 `plan create` → 再 `task advance`。
 **禁止**：主会话直接写业务代码代替 lifecycle。
 
 ## 宿主 agent 检查清单（编排时）
@@ -141,7 +141,7 @@ loop-agent task advance <task-id> --approve-gate "write-set-review:<digest>" --j
 
 ## 与「主路径」文档的关系
 
-`SKILL.md` / `command-reference.md` 的 **主路径** 仍是最短 runtime 闭环（便于抄命令）。  
+`SKILL.md` / `command-reference.md` 的 **主路径** 仍是最短 runtime 闭环（便于抄命令）。
 **系统化默认**应读作：
 
 ```text