@wuyanbin/ai-code-review-cli-remote 1.3.0 → 1.4.1

package/dist/core/verdict.js

@@ -1,51 +1,158 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.PUBLISH_POLICY_NOTE = exports.DIGEST_MAX_ITEMS = void 0;
 exports.computeVerdict = computeVerdict;
+exports.buildDigestSection = buildDigestSection;
+exports.buildBlockingP0Section = buildBlockingP0Section;
+exports.buildVerificationNotes = buildVerificationNotes;
+exports.buildScopeLines = buildScopeLines;
 exports.buildVerdictMarkdown = buildVerdictMarkdown;
+const summary_compose_1 = require("./summary-compose");
 function computeVerdict(comments) {
     const p0Count = comments.filter((c) => c.severity === "P0").length;
     return p0Count > 0 ? "ACTION_REQUIRED" : "PASSED";
 }
-function buildSeverityTable(p0, p1, p2) {
+/** 摘要里非 P0 提示的展示上限（用户 2026-10-21 拍板：封顶 10 条） */
+exports.DIGEST_MAX_ITEMS = 10;
+/** 摘要每条只展示 message 首行；后面还有实质内容时补「…」提示有省略 */
+function firstLine(message) {
+    const [head, ...rest] = message.split("\n");
+    return rest.some((line) => line.trim().length > 0) ? `${head}…` : head;
+}
+function sortByLocation(items) {
+    return [...items].sort((a, b) => a.file.localeCompare(b.file) || a.line - b.line);
+}
+/** 非 P0 意见只在摘要里汇总：未验证、不发行内评论、不影响准入 */
+function buildDigestSection(comments = [], links) {
+    const items = comments.filter((c) => c.severity !== "P0");
+    if (items.length === 0)
+        return [];
+    const shown = sortByLocation(items).slice(0, exports.DIGEST_MAX_ITEMS);
+    const lines = [
+        `### 🟡 P1 提示 · ${items.length} 条（模型意见，未经取证验证）`,
+        "",
+        ...shown.map((c) => `- ${(0, summary_compose_1.fileRef)(c.file, c.line, links)} ${firstLine(c.message)}`),
+    ];
+    if (items.length > shown.length) {
+        lines.push("", `另有 ${items.length - shown.length} 条未列出。`);
+    }
+    lines.push("");
+    return lines;
+}
+/** 需修复的 P0 按文件 / 行号列出：行内线程之外再给一个可点的入口 */
+function buildBlockingP0Section(comments, links) {
+    const items = sortByLocation(comments.filter((c) => c.severity === "P0"));
+    if (items.length === 0)
+        return [];
     return [
-        "| 级别 | 数量 |",
-        "|------|------|",
-        `| 🔴 P0 (Critical) | ${p0} |`,
-        `| 🟡 P1 (Major) | ${p1} |`,
-        `| 🔵 P2 (Minor) | ${p2} |`,
+        `### 🔴 需修复的 P0 · ${items.length} 条（已取证验证，见行内评论）`,
+        "",
+        ...items.map((c) => `- ${(0, summary_compose_1.fileRef)(c.file, c.line, links)} ${firstLine(c.message)}`),
         "",
     ];
 }
+/** 发布策略说明：有任何 finding 时在页脚提示一次，让研发知道行内评论为什么只剩 P0 */
+exports.PUBLISH_POLICY_NOTE = "<sub>ℹ️ 行内评论只包含经取证验证的 P0；P1 汇总于此，不发行内评论、不影响合入。</sub>";
+/** 验证排除与预算耗尽的提示行；没有可说的返回空数组 */
+function buildVerificationNotes(options = {}) {
+    const notes = [];
+    const suppressed = options.suppressedCount ?? 0;
+    if (suppressed > 0) {
+        notes.push(`> 🔍 验证排除 ${suppressed} 条：本次新发现的问题经取证验证未获证实（前提不成立或证据不足），已过滤不展示。`);
+    }
+    if (options.verificationIncomplete) {
+        notes.push("> ⚠️ 部分候选未验证（run 预算耗尽），对应问题已按未证实处理，未发布。");
+    }
+    return notes.length > 0 ? [...notes, ""] : notes;
+}
+/** 评审范围与相对上次的变化：结论句之后的引用块；没有 scope 时不渲染 */
+function buildScopeLines(options = {}) {
+    if (!options.scope)
+        return [];
+    const lines = [`> ${(0, summary_compose_1.buildScopeLine)(options.scope)}`];
+    if (options.delta)
+        lines.push(`> ${(0, summary_compose_1.buildDeltaLine)(options.delta)}`);
+    lines.push("");
+    return lines;
+}
+function buildOverviewSection(summary) {
+    if (!summary?.overview)
+        return [];
+    return ["### 📝 概述", "", summary.overview, ""];
+}
+/** CLI 识别的确定项在前、模型补充在后；摘要可解析但两边都没有时写「无」 */
+function buildChecklistSection(checklist = [], summary) {
+    const items = [...checklist.map((item) => `- ${item}`), ...(summary?.checklist ?? [])];
+    if (items.length === 0 && !summary?.recognized)
+        return [];
+    return ["### 📋 合入前检查项", "", ...(items.length > 0 ? items : ["无"]), ""];
+}
+function buildChangesSection(summary) {
+    if (!summary?.changes)
+        return [];
+    return [
+        "<details>",
+        "<summary>主要变更（按模块）</summary>",
+        "",
+        summary.changes,
+        "",
+        "</details>",
+        "",
+    ];
+}
+function countsSuffix(p0, p1, p2) {
+    return `（P0 ${p0} · P1 ${p1}${p2 > 0 ? ` · P2 ${p2}` : ""}）`;
+}
 /**
- * @param comments 合并后的 OPEN 全集（表格统计口径）
+ * 整条摘要 note 的正文（页脚之前的附加段由 options.appendix 传入）：
+ * 结论与计数 → 评审范围 / 较上次 → 验证说明 → 概述 → 需修复的 P0 → P1 提示 → 合入前检查项
+ * → 折叠的主要变更 → 附加段 → 发布策略说明。
+ *
+ * @param comments 合并后的 OPEN 全集（计数口径）
  * @param blockingComments 参与准入判定的子集；省略时等于 comments（无持久化的降级路径）
  */
-function buildVerdictMarkdown(verdict, comments, blockingComments) {
+function buildVerdictMarkdown(verdict, comments, blockingComments, options = {}) {
     const p0 = comments.filter((c) => c.severity === "P0").length;
     const p1 = comments.filter((c) => c.severity === "P1").length;
     const p2 = comments.filter((c) => c.severity === "P2").length;
-    const blockingP0 = (blockingComments ?? comments).filter((c) => c.severity === "P0").length;
+    const blocking = blockingComments ?? comments;
+    const blockingP0 = blocking.filter((c) => c.severity === "P0").length;
     const advisoryP0 = p0 - blockingP0;
+    const parts = [];
     if (verdict === "PASSED") {
-        const parts = ["## ✅ PASSED", ""];
+        parts.push("## ✅ PASSED", "");
         if (advisoryP0 > 0) {
-            parts.push(`本次改动范围内无需修复的 P0 问题；另有 ${advisoryP0} 个存量 P0 为非阻塞提示，建议排期修复。`, "");
+            parts.push(`本次改动范围内无需修复的 P0；另有 ${advisoryP0} 个存量 P0 为非阻塞提示，建议排期修复${countsSuffix(p0, p1, p2)}`, "");
         }
-        else if (p1 > 0) {
-            parts.push(`无 P0 问题，仍有 ${p1} 个 P1 问题建议关注，但不阻断合入。`, "");
+        else if (p1 > 0 || p2 > 0) {
+            parts.push(`无 P0 问题，可合入；P1 提示见下方汇总，不影响合入${countsSuffix(p0, p1, p2)}`, "");
         }
         else {
-            parts.push("没有 P0/P1 级别的问题，建议合入。", "");
+            parts.push("没有 P0 / P1 级别的问题，建议合入。", "");
+        }
+    }
+    else {
+        parts.push("## ⚠️ ACTION REQUIRED", "");
+        parts.push(`发现 ${blockingP0} 个 P0 问题，需修复后再次触发审查${countsSuffix(p0, p1, p2)}`, "");
+        if (advisoryP0 > 0) {
+            parts.push(`另有 ${advisoryP0} 个存量 P0 为非阻塞提示，不计入准入判定。`, "");
         }
-        parts.push(...buildSeverityTable(p0, p1, p2));
-        return parts.join("\n");
     }
-    const parts = ["## ⚠️ ACTION REQUIRED", ""];
-    parts.push(`发现 ${blockingP0} 个 P0 问题，需修复后再次触发审查。`, "");
-    if (advisoryP0 > 0) {
-        parts.push(`另有 ${advisoryP0} 个存量 P0 为非阻塞提示，不计入准入判定。`, "");
+    parts.push(...buildScopeLines(options));
+    parts.push(...buildVerificationNotes(options));
+    parts.push(...buildOverviewSection(options.summary));
+    if (verdict !== "PASSED")
+        parts.push(...buildBlockingP0Section(blocking, options.links));
+    parts.push(...buildDigestSection(options.digestComments, options.links));
+    parts.push(...buildChecklistSection(options.checklist, options.summary));
+    parts.push(...buildChangesSection(options.summary));
+    for (const section of options.appendix ?? []) {
+        const trimmed = section.trim();
+        if (trimmed)
+            parts.push(trimmed, "");
     }
-    parts.push(...buildSeverityTable(p0, p1, p2));
+    if (comments.length > 0)
+        parts.push(exports.PUBLISH_POLICY_NOTE, "");
     return parts.join("\n");
 }
 //# sourceMappingURL=verdict.js.map

package/dist/core/verdict.js.map

@@ -1 +1 @@
-{"version":3,"file":"verdict.js","sourceRoot":"","sources":["../../src/core/verdict.ts"],"names":[],"mappings":";;AAEA,wCAGC;AAiBD,oDAwCC;AA5DD,SAAgB,cAAc,CAAC,QAAqB;IAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACnE,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC;AACpD,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAU,EAAE,EAAU,EAAE,EAAU;IAC5D,OAAO;QACL,aAAa;QACb,iBAAiB;QACjB,wBAAwB,EAAE,IAAI;QAC9B,qBAAqB,EAAE,IAAI;QAC3B,qBAAqB,EAAE,IAAI;QAC3B,EAAE;KACH,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAClC,OAAgB,EAChB,QAAqB,EACrB,gBAA8B;IAE9B,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,UAAU,GAAG,CAAC,gBAAgB,IAAI,QAAQ,CAAC,CAAC,MAAM,CACtD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAC3B,CAAC,MAAM,CAAC;IACT,MAAM,UAAU,GAAG,EAAE,GAAG,UAAU,CAAC;IAEnC,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAClC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CACR,yBAAyB,UAAU,wBAAwB,EAC3D,EAAE,CACH,CAAC;QACJ,CAAC;aAAM,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAClB,KAAK,CAAC,IAAI,CACR,cAAc,EAAE,sBAAsB,EACtC,EAAE,CACH,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,MAAM,UAAU,sBAAsB,EAAE,EAAE,CAAC,CAAC;IACvD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,MAAM,UAAU,yBAAyB,EAAE,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAE9C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"verdict.js","sourceRoot":"","sources":["../../src/core/verdict.ts"],"names":[],"mappings":";;;AAWA,wCAGC;AAqCD,gDAiBC;AAGD,wDAYC;AAOD,wDAYC;AAGD,0CAMC;AA0CD,oDA8CC;AAtMD,uDAQ2B;AAE3B,SAAgB,cAAc,CAAC,QAAqB;IAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACnE,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC;AACpD,CAAC;AAuBD,gDAAgD;AACnC,QAAA,gBAAgB,GAAG,EAAE,CAAC;AAEnC,4CAA4C;AAC5C,SAAS,SAAS,CAAC,OAAe;IAChC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACzE,CAAC;AAED,SAAS,cAAc,CAAC,KAAkB;IACxC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AACpF,CAAC;AAED,sCAAsC;AACtC,SAAgB,kBAAkB,CAChC,WAAwB,EAAE,EAC1B,KAAuB;IAEvB,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,wBAAgB,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG;QACZ,kBAAkB,KAAK,CAAC,MAAM,iBAAiB;QAC/C,EAAE;QACF,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAA,yBAAO,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;KACnF,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yCAAyC;AACzC,SAAgB,sBAAsB,CACpC,QAAqB,EACrB,KAAuB;IAEvB,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,OAAO;QACL,oBAAoB,KAAK,CAAC,MAAM,iBAAiB;QACjD,EAAE;QACF,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAA,yBAAO,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAClF,EAAE;KACH,CAAC;AACJ,CAAC;AAED,oDAAoD;AACvC,QAAA,mBAAmB,GAC9B,sDAAsD,CAAC;AAEzD,+BAA+B;AAC/B,SAAgB,sBAAsB,CAAC,UAAkC,EAAE;IACzE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,UAAU,GAAG,OAAO,CAAC,eAAe,IAAI,CAAC,CAAC;IAChD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CACR,aAAa,UAAU,0CAA0C,CAClE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACnD,CAAC;AAED,2CAA2C;AAC3C,SAAgB,eAAe,CAAC,UAAkC,EAAE;IAClE,IAAI,CAAC,OAAO,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,KAAK,IAAA,gCAAc,EAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,OAAO,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,IAAA,gCAAc,EAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,OAA6B;IACzD,IAAI,CAAC,OAAO,EAAE,QAAQ;QAAE,OAAO,EAAE,CAAC;IAClC,OAAO,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,2CAA2C;AAC3C,SAAS,qBAAqB,CAC5B,YAAsB,EAAE,EACxB,OAA6B;IAE7B,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;IACvF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU;QAAE,OAAO,EAAE,CAAC;IAC1D,OAAO,CAAC,eAAe,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,mBAAmB,CAAC,OAA6B;IACxD,IAAI,CAAC,OAAO,EAAE,OAAO;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO;QACL,WAAW;QACX,8BAA8B;QAC9B,EAAE;QACF,OAAO,CAAC,OAAO;QACf,EAAE;QACF,YAAY;QACZ,EAAE;KACH,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,EAAU,EAAE,EAAU,EAAE,EAAU;IACtD,OAAO,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;AAC/D,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,oBAAoB,CAClC,OAAgB,EAChB,QAAqB,EACrB,gBAA8B,EAC9B,UAAkC,EAAE;IAEpC,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,QAAQ,GAAG,gBAAgB,IAAI,QAAQ,CAAC;IAC9C,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,UAAU,GAAG,EAAE,GAAG,UAAU,CAAC;IAEnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CACR,sBAAsB,UAAU,wBAAwB,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAClF,EAAE,CACH,CAAC;QACJ,CAAC;aAAM,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,+BAA+B,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5E,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,MAAM,UAAU,sBAAsB,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACjF,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC,MAAM,UAAU,yBAAyB,EAAE,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACzF,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,2BAAmB,EAAE,EAAE,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/verification.d.ts

@@ -0,0 +1,96 @@
+import { z } from "zod";
+import { type RunBudgetSignal } from "../shared/run-budget";
+import type { AIComment, CodeReviewConfig, FindingVerification, ReconciledFinding, VerificationEvidence } from "../types";
+import { type AgentRuntime } from "./agent-runtime";
+import type { ReconcileResult } from "./incremental";
+/**
+ * 新 finding 的取证验证：对本次新建的 finding 逐条用带只读工具的 agent 取证，
+ * 只有 CONFIRMED 进入发布集与准入判定，其余以 SUPPRESSED 入库、不发评论。
+ *
+ * 预算（假设值，见 design D7）：候选按 P0 > P1 再按文件 / 行号稳定排序取前 10；
+ * 并发 4；每条最多 8 轮、90s；整 run 自启动起 10 分钟截止，截止后未开始的记 SKIPPED；
+ * 网关按 run 限额返回 403 后停止派发，未完成者 SKIPPED。
+ * 验证的任何失败（运行时抛错、模型不可解析、网关不可用）只落为 UNSURE，绝不让流水线失败。
+ */
+export declare const MAX_VERIFICATION_CANDIDATES = 10;
+export declare const VERIFICATION_CONCURRENCY = 4;
+export declare const VERIFICATION_MAX_TURNS = 8;
+export declare const VERIFICATION_CANDIDATE_TIMEOUT_MS = 90000;
+export declare const VERIFICATION_RUN_DEADLINE_MS: number;
+export declare const VERIFY_PURPOSE = "verify";
+export declare const SUBMIT_TOOL_NAME = "submit_verdict";
+declare const verdictSchema: z.ZodObject<{
+    verdict: z.ZodEnum<{
+        CONFIRMED: "CONFIRMED";
+        REFUTED: "REFUTED";
+        UNSURE: "UNSURE";
+    }>;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+        line: z.ZodNumber;
+        snippet: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type SubmittedVerdict = z.infer<typeof verdictSchema>;
+export interface VerificationOptions {
+    cwd?: string;
+    env?: NodeJS.ProcessEnv;
+    /** 测试注入；缺省按 config.ai 创建 ToolRunnerRuntime */
+    runtime?: AgentRuntime;
+    budget?: RunBudgetSignal;
+    /** run 启动时刻（ms）；整 run 截止 = startedAt + runDeadlineMs */
+    startedAt?: number;
+    maxCandidates?: number;
+    concurrency?: number;
+    maxTurns?: number;
+    candidateTimeoutMs?: number;
+    runDeadlineMs?: number;
+    now?: () => number;
+}
+export interface VerificationCounts {
+    candidates: number;
+    selected: number;
+    confirmed: number;
+    refuted: number;
+    unsure: number;
+    skipped: number;
+}
+export interface VerificationSummary {
+    /** fingerprint → 结论；没有候选时为空 */
+    verdicts: Map<string, FindingVerification>;
+    counts: VerificationCounts;
+    /** 本次 run 收到过 403 run_budget_exceeded（或启动时已超限） */
+    budgetExhausted: boolean;
+}
+export declare function emptyVerificationSummary(): VerificationSummary;
+/**
+ * 候选 = 对账结果中本次新建、仍为 OPEN 且 severity 为 P0 的 finding（已知 OPEN 走复核
+ * agent，WONT_FIX / SUPPRESSED 粘性）；无状态运行（平台 findings 拉取失败）时候选 =
+ * 本次模型输出里的 P0。
+ *
+ * 只验 P0：验证层的目的是让行内评论只剩经证实的严重 bug；P1 / P2 是性能与规范类
+ * 提示，不发行内评论、不参与准入，只在摘要里汇总，因此不花验证成本（用户 2026-10-21 拍板）。
+ */
+export declare function selectVerificationCandidates(reconciled: Pick<ReconcileResult, "newFindings"> | null, modelComments: AIComment[]): ReconciledFinding[];
+/** P0 > P1 > P2，再按文件、行号稳定排序 */
+export declare function orderVerificationCandidates(candidates: ReconciledFinding[]): ReconciledFinding[];
+/** run 内稳定（可缓存）：角色、判定标准、证据要求、工具结果为数据 */
+export declare function buildVerificationSystemPrompt(): string;
+/** 从 MR 全量 diff 中取出某文件的 section（含 diff --git 头） */
+export declare function extractFileDiff(diff: string, file: string): string;
+/** 候选 finding + 该文件的注解 diff 片段 + MR 元信息 */
+export declare function buildVerificationUserPrompt(candidate: ReconciledFinding, diff: string, env?: NodeJS.ProcessEnv): string;
+/**
+ * 读检出校验证据：file 在根内可读、line 在范围内、该行内容包含 snippet（忽略空白差异）。
+ * 返回通过校验的证据；不合格的逐条丢弃。
+ */
+export declare function validateEvidence(root: string, evidence: VerificationEvidence[]): Promise<VerificationEvidence[]>;
+/**
+ * 对候选执行取证验证，返回 fingerprint → 结论。任何失败只落为 UNSURE / SKIPPED，不抛出。
+ */
+export declare function verifyFindings(candidates: ReconciledFinding[], config: CodeReviewConfig, diff: string, options?: VerificationOptions): Promise<VerificationSummary>;
+/** 无状态运行（没有对账结果）时的结论应用：只留下 CONFIRMED 或未验证的评论 */
+export declare function applyVerificationToComments(comments: AIComment[], verdicts: ReadonlyMap<string, FindingVerification>): AIComment[];
+export {};
+//# sourceMappingURL=verification.d.ts.map

package/dist/core/verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../src/core/verification.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAa,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,KAAK,EACV,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EAErB,MAAM,UAAU,CAAC;AAClB,OAAO,EAGL,KAAK,YAAY,EAElB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIrD;;;;;;;;GAQG;AACH,eAAO,MAAM,2BAA2B,KAAK,CAAC;AAC9C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAC1C,eAAO,MAAM,sBAAsB,IAAI,CAAC;AACxC,eAAO,MAAM,iCAAiC,QAAS,CAAC;AACxD,eAAO,MAAM,4BAA4B,QAAc,CAAC;AAGxD,eAAO,MAAM,cAAc,WAAW,CAAC;AACvC,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AAUjD,QAAA,MAAM,aAAa;;;;;;;;;;;;iBAMjB,CAAC;AAEH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE7D,MAAM,WAAW,mBAAmB;IAClC,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC;IACxB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,wDAAwD;IACxD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,mBAAmB;IAClC,+BAA+B;IAC/B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC3C,MAAM,EAAE,kBAAkB,CAAC;IAC3B,kDAAkD;IAClD,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,wBAAgB,wBAAwB,IAAI,mBAAmB,CAM9D;AAiBD;;;;;;;GAOG;AACH,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,IAAI,CAAC,eAAe,EAAE,aAAa,CAAC,GAAG,IAAI,EACvD,aAAa,EAAE,SAAS,EAAE,GACzB,iBAAiB,EAAE,CAgBrB;AAED,+BAA+B;AAC/B,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,iBAAiB,EAAE,GAC9B,iBAAiB,EAAE,CAWrB;AAED,wCAAwC;AACxC,wBAAgB,6BAA6B,IAAI,MAAM,CAiBtD;AAED,mDAAmD;AACnD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAuBlE;AAWD,2CAA2C;AAC3C,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,iBAAiB,EAC5B,IAAI,EAAE,MAAM,EACZ,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,MAAM,CA4BR;AAkBD;;;GAGG;AACH,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,oBAAoB,EAAE,GAC/B,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAsBjC;AAeD;;GAEG;AACH,wBAAsB,cAAc,CAClC,UAAU,EAAE,iBAAiB,EAAE,EAC/B,MAAM,EAAE,gBAAgB,EACxB,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,mBAAmB,CAAC,CAsI9B;AAED,gDAAgD;AAChD,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,SAAS,EAAE,EACrB,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,GACjD,SAAS,EAAE,CAMb"}