@zhushanwen/pi-subagent-workflow 5.0.0-dev.1 → 5.0.1

package/workflows/review-fix-loop-utils.cjs

@@ -246,34 +246,69 @@ function normalizeFixResult(raw) {
 }
 
 /**
- * ES3 硬校验（5.3 红线）：deferred 只允许 minor。deferred[].severity 显式非 minor
- * （critical/major）→ 违规（调用方结构化终止 fix-failure）。缺省 severity 视为 minor
- * （放行，由 ES2 软校验记 warning）。wave 3 接入数字 ID 后可升级为对账级判定。
- * @returns [{ issue_id, severity }] 违规列表；空数组 = 通过
+ * issue ID 归一化（ES3 校验与 fix 阶段对账共用键空间）：小写 + 剥尾部 "(...)" 尾注。
+ * LLM 产出的 ID 漂移形态：大小写（"mf-1"/"MF-1"）、尾注（"MF-1 (fixed)"）。空串返回 ""。
  */
+function normIssueId(s) {
+  return String(s ?? "").toLowerCase().replace(/\s*\([^)]*\)\s*$/, "").trim();
+}
+
+/**
+ * 在 issues 键空间中查找 issue_id 的归一化匹配键（不存在返回 undefined）。
+ * fix 阶段（fix-attempted/deferred 标记）与 ES3 校验共用——精确键查表会把
+ * "mf-1"/"MF-1 (fixed)" 等漂移 ID 判为未追踪，导致 fix-attempted → fixed/regressed
+ * → needs-redesign 状态链静默失效；deferred 侧漂移则创建幽灵条目（原条目仍 open 阻塞收敛）。
+ */
+function findIssueKey(issues, issueId) {
+  if (!issues || typeof issueId !== "string" || !issueId) return undefined;
+  if (issues[issueId]) return issueId;
+  const norm = normIssueId(issueId);
+  if (!norm) return undefined;
+  for (const key of Object.keys(issues)) {
+    if (normIssueId(key) === norm) return key;
+  }
+  return undefined;
+}
+
 /**
  * ES3 硬校验（5.3-P1 红线）：(1) deferred 只允许 minor/trivial；(2) must-fix 必须全进
  * fixes[]——mustFixIds 中未修复且未显式处理的 ID 判 violation（漏修）。mustFixIds
  * 为 null/undefined 时仅做 (1)（无 aggregator 数据的降级路径，wave 2 限制）。
+ * trackedIssues（state.issues）可选：deferred 的 severity 与追踪表交叉核对（MF-4）——
+ * 追踪条目以追踪 severity 为准（must-fix 追踪皆 critical/major，defer 即违规），
+ * 仅追踪无此 ID（S-x minor）时采信 fix agent 自报。
  */
-function validateFixResult(result, mustFixIds) {
+function validateFixResult(result, mustFixIds, trackedIssues) {
   const violations = [];
   for (const d of result.deferred || []) {
     if (!d) continue;
     const sev = typeof d.severity === "string" ? d.severity.toLowerCase() : "";
-    if (sev && sev !== "minor" && sev !== "trivial") {
-      violations.push({ issue_id: d.issue_id || "(unnamed)", severity: sev });
+    // m9: 自报 severity 可被单边绕过（fix agent 与审核方同一 LLM，有少干活动机，
+    // 把 must-fix 标 minor 塞进 deferred 即过旧校验）——与追踪表交叉核对：
+    // trackedIssues 中能找到的 ID 以其追踪 severity 为准；追踪表无此 ID 采信自报。
+    let effectiveSev = sev;
+    if (trackedIssues && typeof d.issue_id === "string" && d.issue_id) {
+      const trackedKey = findIssueKey(trackedIssues, d.issue_id);
+      const trackedSev = trackedKey ? trackedIssues[trackedKey].severity : undefined;
+      const ts = typeof trackedSev === "string" ? trackedSev.toLowerCase() : "";
+      // 仅认真实 severity 等级（critical/major/minor/trivial）；"unknown"（reconcile 新
+      // ID 默认）等非等级值不覆盖自报，避免误伤合法 minor deferral
+      if (ts === "critical" || ts === "major" || ts === "minor" || ts === "trivial") {
+        effectiveSev = ts;
+      }
+    }
+    if (effectiveSev && effectiveSev !== "minor" && effectiveSev !== "trivial") {
+      violations.push({ issue_id: d.issue_id || "(unnamed)", severity: effectiveSev });
     }
   }
   if (Array.isArray(mustFixIds) && mustFixIds.length > 0) {
     // m3: ID 归一化比较——大小写 + 尾部括号尾注（如 "(fixed)"）漂移不误杀：
     // 严格 trim 比较会把 "mf-1"/"MF-1 (fixed)" 判漏修，整轮 fix-failure 误杀
-    const normId = (s) => String(s).toLowerCase().replace(/\s*\([^)]*\)\s*$/, "").trim();
     const fixedIds = new Set((result.fixes || [])
-      .map((f) => (f && typeof f.issue_id === "string" ? normId(f.issue_id) : ""))
+      .map((f) => (f && typeof f.issue_id === "string" ? normIssueId(f.issue_id) : ""))
       .filter(Boolean));
     for (const id of mustFixIds) {
-      const norm = typeof id === "string" ? normId(id) : (id && typeof id.id === "string" ? normId(id.id) : "");
+      const norm = typeof id === "string" ? normIssueId(id) : (id && typeof id.id === "string" ? normIssueId(id.id) : "");
       if (norm && !fixedIds.has(norm)) {
         violations.push({ issue_id: norm, severity: "must-fix-not-fixed" });
       }
@@ -820,6 +855,8 @@ module.exports = {
   resolveReviewReportPath,
   normalizeFixResult,
   validateFixResult,
+  normIssueId,
+  findIssueKey,
   reconcileIssues,
   normalizeReviewResult,
   computeKnownRemaining,

package/workflows/review-fix-loop.js

@@ -22,7 +22,7 @@
 
 const meta = {
   name: "review-fix-loop",
-  description: "审查-修复循环：多批串行（批内并行 review → aggregate → fix → 重审直到 clean）。必填 targetType（git-diff/file/dir/text）+ target。批次由 batch1..batchN 控制（如 batch1=fallow-scan batch2=reviewer），用于前置检查先行的场景。注意：唯一带写操作/commit 副作用的内置 workflow，autoCommit 默认 false；skipCleanAgents 默认 true + recheckAfterFix 默认 false（clean agent 下轮跳过，与字面语义一致）；传 recheckAfterFix=true 启用可选强回归模式（fix 后重派全批，clean agent 走限定 prompt 只审改动文件）。可选 fixAgent/maxFixAttempts/convergeNewIssues/convergeRounds 控制修复 agent 与收敛终止（详见 workflows/README.md）。",
+  description: "审查-修复循环：多批串行（批内并行 review → aggregate → fix → 重审直到 clean）。必填 targetType（git-diff/file/dir/text）+ target。批次由必填参数 batch1..batchN 控制（无默认，至少传一个；agents 为单批简写；如 batch1=fallow-scan batch2=reviewer），用于前置检查先行的场景。注意：唯一带写操作/commit 副作用的内置 workflow，autoCommit 默认 false；skipCleanAgents 默认 true + recheckAfterFix 默认 false（clean agent 下轮跳过，与字面语义一致）；传 recheckAfterFix=true 启用可选强回归模式（fix 后重派全批，clean agent 走限定 prompt 只审改动文件）。可选 fixAgent/maxFixAttempts/convergeNewIssues/convergeRounds 控制修复 agent 与收敛终止（详见 workflows/README.md）。",
   phases: ["Review", "Fix"],
 };
 
@@ -56,6 +56,7 @@ const {
   resolveReviewReportPath,
   normalizeFixResult,
   validateFixResult,
+  findIssueKey,
   reconcileIssues,
   normalizeReviewResult,
   computeKnownRemaining,
@@ -823,8 +824,10 @@ for (let batchIndex = 1; batchIndex <= BATCHES.length; batchIndex++) {
 
     // ES3 硬校验（5.3 红线，恢复 mustFixIds 交叉校验——wave 3 后 agg.must_fix_ids
     // 已是标准字段）：(1) deferred 只允许 minor；(2) must-fix 必须全进 fixes[]（漏修
-    // 判 violation）。任一违规 → fix-failure（结构化终止）
-    const es3Violations = validateFixResult(fixResult, agg.must_fix_ids);
+    // 判 violation）。任一违规 → fix-failure（结构化终止）。trackedIssues 传入
+    // state.issues——deferred severity 与追踪表交叉核对（MF-4）：must-fix 被标 minor
+    // 塞进 deferred 的逃逸路径在追踪表面前失效（追踪 severity 为准）。
+    const es3Violations = validateFixResult(fixResult, agg.must_fix_ids, state.issues);
     if (es3Violations.length > 0) {
       // m7: violation 分两类——deferred 非 minor / must-fix 漏修（must-fix-not-fixed），
       // finalMessage 文案区分：统一文案会把漏修误报成 defer 违规，误导修复方向
@@ -867,22 +870,30 @@ for (let batchIndex = 1; batchIndex <= BATCHES.length; batchIndex++) {
     // 写入与 knownRemaining 同步链路生效（否则 knownRemaining 恒空，deferred 跨轮继承整链失效）
     if (!state.issues) state.issues = {};
     // 5.1：fix 结果标记 fix-attempted（ID 对账驱动）+ fixResults 落库（R2+ prompt 输入）
+    // 归一化查表（findIssueKey，与 ES3 同键空间）：fix agent ID 漂移（"mf-1"/
+    // "MF-1 (fixed)"）不再丢匹配——精确键查表时 issue 停留 open，reconcile 无
+    // fix-attempted 可转 fixed/regressed，needs-redesign 出口对该类 ID 静默失效。
     for (const f of fixResult.fixes) {
-      if (f && typeof f.issue_id === "string" && state.issues[f.issue_id]) {
-        state.issues[f.issue_id].status = "fix-attempted";
-        state.issues[f.issue_id].history.push({ round, status: "fix-attempted" });
+      if (f && typeof f.issue_id === "string") {
+        const trackedKey = findIssueKey(state.issues, f.issue_id);
+        if (trackedKey) {
+          state.issues[trackedKey].status = "fix-attempted";
+          state.issues[trackedKey].history.push({ round, status: "fix-attempted" });
+        }
       }
     }
     // 5.3-4 deferred 写入 state.issues（known-remaining 跨轮继承链路）：deferred 条目
     // 以 status=deferred 入 issues，据此生成 knownRemaining 传给 R2+ prompt。
-    // 若 ID 已存在（曾被修复/降级）→ 更新状态 + reason；不存在（S-x minor）→ 新建。
+    // ID 已存在（曾被修复/降级，含大小写/尾注漂移）→ 更新状态 + reason；
+    // 不存在（S-x minor）→ 新建。漂移 ID 归一化匹配防止幽灵条目（原条目仍 open 阻塞收敛）。
     for (const d of fixResult.deferred) {
       if (!d || typeof d.issue_id !== "string" || !d.issue_id) continue;
       const reason = typeof d.reason === "string" ? d.reason : "";
-      if (state.issues[d.issue_id]) {
-        state.issues[d.issue_id].status = "deferred";
-        state.issues[d.issue_id].deferredReason = reason;
-        state.issues[d.issue_id].history.push({ round, status: "deferred" });
+      const trackedKey = findIssueKey(state.issues, d.issue_id);
+      if (trackedKey) {
+        state.issues[trackedKey].status = "deferred";
+        state.issues[trackedKey].deferredReason = reason;
+        state.issues[trackedKey].history.push({ round, status: "deferred" });
       } else {
         state.issues[d.issue_id] = {
           firstSeen: round, severity: "minor", status: "deferred",