@tea-agent/loop-agent 0.26.5-beta.2 → 0.27.1-beta.0

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.preprocess((value) => (value === "" ? "explicit activation boundary" : value), 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([
@@ -171,7 +171,7 @@ export const frontendImplementationContractSchema = z
             // 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 === "" ? undefined : value), safePath.optional()),
+            fixture: z.preprocess((value) => (value === "" || value === null ? undefined : value), safePath.optional()),
             consumer: safePath.optional(),
         })
             .strict()),
@@ -190,7 +190,7 @@ export const frontendImplementationContractSchema = z
         type: z.enum(["static", "unit", "component", "integration", "mock"]),
         commandLabel: z.string().min(1),
         file: safePath,
-        symbol: z.preprocess((value) => (value === "" ? undefined : value), 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)),
     })

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

@@ -128,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) {
@@ -188,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",
     ]);
@@ -3688,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],
@@ -3716,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.",
@@ -5239,16 +5210,16 @@ export async function requireManagedTaskContractBinding(input) {
         const expectedRevision = state.ref?.revision ?? 0;
         const observedCanonicalHash = state.observedCanonicalHash ?? "<observedCanonicalHash-from-show>";
         const recovery = state.effectiveStatus === "transaction-incomplete"
-            ? `Recover the unfinished transaction first: loop-agent task contract recover --task ${input.taskId} --json`
+            ? `Recover the unfinished transaction first: loop-agent task advance ${input.taskId} --json`
             : [
                 "After reviewing the show JSON, either adopt the current on-disk facts:",
-                `loop-agent task contract adopt --task ${input.taskId} --expected-revision ${expectedRevision} --expected-observed-hash ${observedCanonicalHash} --request-id <unique-request-id> --request-payload-sha256 <sha256-of-this-adopt-request> --json`,
+                `loop-agent task advance ${input.taskId} --from-draft --expected-revision ${expectedRevision} --expected-observed-hash ${observedCanonicalHash} --request-id <unique-request-id> --request-payload-sha256 <sha256-of-this-adopt-request> --json`,
                 "or apply a reviewed draft:",
-                `loop-agent task contract apply --task ${input.taskId} --input <reviewed-draft.json> --expected-revision ${expectedRevision} --expected-observed-hash ${observedCanonicalHash} --request-id <unique-request-id> --request-payload-sha256 <sha256-of-input-file> --json`,
+                `loop-agent task advance ${input.taskId} --from-draft --input <reviewed-draft.json> --expected-revision ${expectedRevision} --expected-observed-hash ${observedCanonicalHash} --request-id <unique-request-id> --request-payload-sha256 <sha256-of-input-file> --json`,
             ].join(" ");
         const err = new Error([
             `dag generate requires managed Task Contract for task ${input.taskId} (effectiveStatus=${state.effectiveStatus})`,
-            `Inspect current state: loop-agent task contract show ${input.taskId} --json`,
+            `Inspect current state: loop-agent task status ${input.taskId} --json`,
             recovery,
             "Do not auto-adopt or auto-apply before confirming the Task Contract facts and concurrency fields.",
         ].join("; "));

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/evaluation/agents-map-slim-v1.md

@@ -24,7 +24,7 @@
 - Shell 搜索优先 `rg`，按名找文件优先 `fd`；脚本用 Git Bash / 兼容 Bash。
 - 用 loop-agent 迭代本仓库时，控制器必须来自已发布 npm 包（记录实际版本）；启动后不要中途升级；不要用工作区 `npm link` / `npm run dev` 控制可能改 CLI/runtime/package 的任务。
 - 反复出现的约束固化为文档、脚本、检查、测试或模板；禁止占位实现（除非 contract 标明脚手架）。
-- 非微小实现：`exec-plan` 不能替代 Agent DAG；除非用户要求 one-shot 或计划记录 escape hatch，否则改实现前完成 `new-task`、结构化路径、`dag run-task`、`dag validate` 与 writeSet 审查。
+- 非微小实现：`exec-plan` 不能替代 Agent DAG；除非用户要求 one-shot 或计划记录 escape hatch，否则改实现前完成 `task advance`（结构化路径 + writeSet 审查），不得主会话直接改实现。
 - 不要自行引入外部 SDD/spec-first 等强制平行治理树；以本文件与 `docs/` 为准（ADR 0006）。
 
 ## 开始顺序

package/docs/templates/evaluation/agents-map-verbose-v0.md

@@ -27,7 +27,7 @@
 - 用 loop-agent 迭代本仓库时，控制器必须来自已发布的 npm 安装包；首次安装或有意升级可用 `@tea-agent/loop-agent@latest`，但一次自举任务启动后不要中途升级控制器，并记录 `npm list -g @tea-agent/loop-agent --depth=0` 显示的实际版本。不要用当前工作区的 `npm link` 或 `npm run dev` 控制可能改动 CLI、DAG runtime、executor、package metadata 或 build output 的任务。
 - 反复出现的约束要固化为文档、脚本、检查项、测试或模板。
 - 除非用户明确要求，不要自行引入外部 SDD、spec-first、brainstorming 等方法论的强制设计文档、审批门或专用目录；本仓库的工作流程以本文件和 `docs/` 中的治理规则为准。
-- 对非微小的实现或修复，`exec-plan` 只负责记录 Contract、进度和验证证据，不能替代 Agent DAG。除非用户明确要求 one-shot，或在计划中记录了适用的 escape hatch 与理由，否则在改动实现文件前必须完成 `new-task`、结构化 `allowedPaths` / `forbiddenPaths`、`dag run-task` 和 `dag validate`；随后按已校验的 DAG 执行并审查 writer `writeSet`。
+- 对非微小的实现或修复，`exec-plan` 只负责记录 Contract、进度和验证证据，不能替代 Agent DAG。除非用户明确要求 one-shot，或在计划中记录了适用的 escape hatch 与理由，否则在改动实现文件前必须完成 `task advance`（含结构化 `allowedPaths` / `forbiddenPaths` 与 writeSet 审查）；随后 `--approve-gate` 长跑，不得主会话直接改实现。
 - 禁止占位实现；除非 contract 明确约定为脚手架且标出后续闭环。
 
 ## 开始顺序
@@ -53,7 +53,7 @@
 9. 查看最近提交、相关执行计划、progress/report，确认当前上下文。
 10. 检查 `git status --short --branch`。
 11. 运行本次任务相关的最小基线验证。
-12. 如果用户提到"后端测试"、"接口测试"、"pytest"、"自动化测试"，在任务 `task.json` 中设置 `taskKind: "backend-test"` 再 `dag run-task`；不要用 `--profile backend-test`（CLI 不接受该值，专用模板只走 taskKind）。知识回写用 `taskKind: "knowledge-sync"`（须 `featureId`），图谱开荒用 `taskKind: "knowledge-graph-bootstrap"`。`--profile` 仅表示治理强度：`auto|minimal|standard|reviewed|supervised`。
+12. 如果用户提到"后端测试"、"接口测试"、"pytest"、"自动化测试"，在任务 `task.json` 中设置 `taskKind: "backend-test"` 再 `task advance`；不要用 `--profile backend-test`（CLI 不接受该值，专用模板只走 taskKind）。知识回写用 `taskKind: "knowledge-sync"`（须 `featureId`），图谱开荒用 `taskKind: "knowledge-graph-bootstrap"`。`--profile` 仅表示治理强度：`auto|minimal|standard|reviewed|supervised`。
 13. 如果用户提到"看板"、"observe"、"监控面板"、"启动看板"，使用 `agent-worker console` 启动统一 Operator Console（默认 repo=当前目录、port=8790；兼容入口 `agent-worker console serve --repo . --port 8790`）；`/inspect/` 提供只读检视。`agent-worker observe serve --repo . --port 8787` 仅为兼容入口。
 14. 如果用户要求“合并 `<source>` 到 `<target>`”或“合并 origin/main 到当前分支”，先阅读 `docs/operations/branch-merge-guideline.md`，按影响自动选择快速、标准或深度模式；始终冻结 source SHA、审查双方功能、运行 merge-tree、生成 source-SHA 合并报告，并在提交前再次 fetch 防止主干前进。
 
@@ -88,7 +88,7 @@
 - 优先沿用现有 helper、目录边界和局部模式，再考虑新增抽象。
 - 长期决策写入 `docs/`，不要只留在聊天里。
 - 分支合并遵循 `docs/operations/branch-merge-guideline.md`；快速模式只用于可证明的低风险/no-op 合并，涉及冲突、init/package/runtime/release/public API 时必须升级为标准或深度模式。
-- 后端测试、接口/API 测试、pytest 或明确的后端自动化测试，必须把 `.harness/tasks/<task-id>/task.json` 的 `taskKind` 设置为 `"backend-test"`，不得保留默认 `standard`。`backend-test` 是 `taskKind`，不是 `--profile` 的可选值；`dag run-task` 继续使用 `--profile auto` 选择治理等级。仅说“自动化测试”且前后端不明时，先根据任务源和项目技术栈判断，禁止无条件路由。
+- 后端测试、接口/API 测试、pytest 或明确的后端自动化测试，必须把 `.harness/tasks/<task-id>/task.json` 的 `taskKind` 设置为 `"backend-test"`，不得保留默认 `standard`。`backend-test` 是 `taskKind`，不是 `--profile` 的可选值；`task advance` 继续使用 `--profile auto` 选择治理等级。仅说“自动化测试”且前后端不明时，先根据任务源和项目技术栈判断，禁止无条件路由。
 - 本地 Operator Console：`agent-worker console`（默认 repo=当前目录、port=8790；兼容 `agent-worker console serve --repo . --port 8790`），访问 `http://127.0.0.1:8790/`；其中 `/inspect/` 为只读运行检视。默认绑定本机 `127.0.0.1`；可用 `--host 0.0.0.0` / `--debug`，不要直接暴露到公开网络。端口被占用时不会自动更换，请用 `--port <port>` 显式指定。
 - 面向使用者的新增、修改、删除或修复，应同步更新根目录 `CHANGELOG.md`；保持版本级摘要即可，不写过细技术细节。
 - 面向用户的中文更新日志、README 和说明文档应使用自然、结果导向的表达：先说明用户能获得什么或问题如何改善，保留必要的命令和产品术语，避免逐字翻译、内部实现细节和无意义的中英混杂。

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/docs/templates/harness.schema.json

@@ -63,9 +63,9 @@
               "default": "zh-CN"
             },
             "defaultEntry": {
-              "enum": ["dag run-task", "run-dag"],
+              "enum": ["task advance", "dag execute"],
               "description": "默认 DAG 入口，用于任务 DAG 生成或直接 DAG 执行。",
-              "default": "dag run-task"
+              "default": "task advance"
             },
             "profileRouting": {
               "type": "object",

package/docs/templates/init-managed-agents.md

@@ -33,7 +33,7 @@
 | **允许** | 已发布 `loop-agent` / `agent-worker` CLI；只读 status/doctor/report/inspect/observe；准备 `source/*` 与 `task.json` 边界；human gate；shell 验证与 handoff。 |
 | **禁止** | 绕过 CLI 用宿主 Edit/Write/ApplyPatch 直接改业务实现；CLI/DAG 失败后「救火改文件」；用聊天自述代替 shell 验证。 |
 | **失败时** | `dag doctor` / `dag report` / `dag reconcile-run`（及适用 worker reconcile）；修正任务源/`task.json`/DAG 后经 CLI 重跑。 |
-| **实现写入** | 业务代码 **只** 经受治理 DAG writer（`implement-pi` / `repair-pi`）经 `dag run-task` / `run-dag`。 |
+| **实现写入** | 业务代码 **只** 经受治理 DAG writer（`implement-pi` / `repair-pi`）经 `task advance`（批准 writeSet gate 后长跑）。 |
 
 **永远不要**：`loop-agent` / `agent-worker` 失败 ⇒ 主会话直接改仓库实现。
 
@@ -45,7 +45,7 @@
 | 初始化更新校验 / 检查初始化更新 / loop-agent 初始化更新校验 / loop agent初始化更新校验 | 更新校验 | 只读报告，不写入 |
 | 初始化对齐 / 升级后对齐 / reconcile 初始化 / loop-agent 初始化对齐 | 升级对齐 | 自动应用确定性安全动作；surface 缺失、人工决策、活跃 DAG/Worker 或 Worker 状态无法确认时零写入 |
 | 初始化安全更新 / 应用初始化更新 / loop-agent 初始化安全更新 / loop agent初始化安全更新 | 安全更新 | 先 check-update，再只执行确定性安全动作 |
-| loop-agent 帮我完成 / 帮我实现 / 帮我修复 / 帮我开发 <需求>；使用 loop-agent 完成 <X>；按 loop-agent 流程处理 <X> | 通用需求实现 | 先建任务源与 `task.json.allowedPaths` / `forbiddenPaths`，再 `new-task` → `dag run-task` → `dag validate` → `run-dag`；主会话不得直接修改业务实现 |
+| loop-agent 帮我完成 / 帮我实现 / 帮我修复 / 帮我开发 <需求>；使用 loop-agent 完成 <X>；按 loop-agent 流程处理 <X> | 通用需求实现 | 先提供 PRD 与 `allowedPaths` / `forbiddenPaths` / verify，再 `task advance` → 审查 writeSet gate → `task advance --approve-gate`；主会话不得直接修改业务实现 |
 
 **更新校验（只读）**：只读执行下面命令；**不得自动**执行 `apply-safe` 或模型合并。
 
@@ -85,33 +85,30 @@ pwd → `README.md` → `harness.json` → `__LOOP_AGENT_GOVERNANCE_ROOT__/READM
 ### Agent DAG 路径
 
 ```bash
-loop-agent new-task <task-id> "任务标题"
-# 推荐默认：详细 PRD → import → prepare（无需手写两个 source；默认无 LLM 写 source）
-loop-agent import-prd <task-id> --file <path-to-prd.md>
-# 非微小或跨会话任务（推荐）：loop-agent plan create <plan-id> "<title>"
-loop-agent task source prepare <task-id> \
-  --use-imported-prd \
+loop-agent task advance <task-id> "任务标题" \
+  --prd <path-to-prd.md> \
   --allowed-path "<glob>" \
   --forbidden-path ".harness/**" \
   --verify "typecheck:npm run typecheck" \
-  --apply --json
-loop-agent dag run-task <task-id> --profile auto --strict-models
-loop-agent dag validate --dag .harness/tasks/<task-id>/dag.json --strict-models --strict-governance
-loop-agent run-dag --dag .harness/tasks/<task-id>/dag.json --cwd .
+  --json
+# 审查 writeSet gate digest 后：
+loop-agent task advance <task-id> --approve-gate "write-set-review:<digest>" --json
+loop-agent task status <task-id> --json
+# 非微小或跨会话任务（推荐）：loop-agent plan create <plan-id> "<title>"
 # 有 plan 时收尾：loop-agent plan complete <plan-id> --summary "..."
 ```
 
-`source/需求.md` 与 `source/执行约束.md` 仍必需（M8/M9），但默认由 `task source prepare --apply` 投影生成，而不是主会话手写。有原始 PRD 时优先 `import-prd` 原样归档。`import-prd` / `plan create` 不是 `dag run-task` 的硬依赖。写入前同步 `task.json.allowedPaths` / `task.json.forbiddenPaths` 并审查 writer `writeSet`。
+`source/需求.md` 与 `source/执行约束.md` 仍必需（M8/M9），但默认由 `task advance --prd` 投影生成，而不是主会话手写。`plan create` 不是 `task advance` 的硬依赖。写入前同步 `task.json.allowedPaths` / `task.json.forbiddenPaths` 并审查 writer `writeSet`。高级任意 DagSpec 才用 `dag validate|execute|report`，不进入标准 happy path。
 
-凡是影响项目公共契约、执行入口、交付流水线、自动化/治理、数据模型、安全或权限模型、跨模块行为、用户可见工作流的改动，都必须在编辑实现文件前先创建任务、完成 source prepare（或等价 managed contract）、生成 DAG，并审查 DAG/writeSet。
+凡是影响项目公共契约、执行入口、交付流水线、自动化/治理、数据模型、安全或权限模型、跨模块行为、用户可见工作流的改动，都必须在编辑实现文件前先通过 `task advance` 建立 managed contract / writeSet gate，并审查 gate digest。
 
 ### 任务类型路由（taskKind）
 
 - 用户明确提出后端测试、接口/API 测试、pytest，或语境明确为后端的自动化测试时，必须把 `.harness/tasks/<task-id>/task.json` 的 `taskKind` 设置为 `"backend-test"`，不得保留默认 `standard`。
-- `backend-test` 是 `taskKind`，不是 `--profile` 的可选值；运行 `dag run-task` 时继续使用 `--profile auto`。
+- `backend-test` 是 `taskKind`，不是 `--profile` 的可选值；运行 `task advance` 时继续使用 `--profile auto`。
 - 仅出现“自动化测试”且无法判断前后端时，先阅读任务源与目标项目技术栈再决定，禁止无条件路由到 `backend-test`。
 - 用户提示词明确是前端实现需求（例如前端页面、UI、组件或交互开发）时，必须把 `.harness/tasks/<task-id>/task.json` 的 `taskKind` 设置为 `"frontend-implementation"`，不得保留默认 `standard`。
-- `frontend-implementation` 是 `taskKind`，不是 `--profile` 的可选值；运行 `dag run-task` 时继续使用 `--profile auto`，也可按需显式选择 `minimal` / `standard` / `reviewed` / `supervised`，不要把业务模板名当作 profile。
+- `frontend-implementation` 是 `taskKind`，不是 `--profile` 的可选值；运行 `task advance` 时继续使用 `--profile auto`，也可按需显式选择 `minimal` / `standard` / `reviewed` / `supervised`，不要把业务模板名当作 profile。
 - 前端自动化测试（浏览器/UI 自动化、Playwright、E2E）继续使用 `taskKind: "frontend-test"`，不得设置为 `frontend-implementation`。
 
 ### 运行看板（只读）