@ifrankwang/openspec-agents 0.128.0 → 0.131.0

package/src/core/workflow/status.ts

@@ -12,7 +12,7 @@ import { resolveChildIssueFields } from "./reset.ts"
 import { taskListOf, issueChildrenOf } from "../task-children.ts"
 import {
   renderSkillSuggestions, renderEfficiencySteps, renderWorktreeSection,
-  renderAgentSummaries, renderTaskItem, formatFilePath, formatSeverity,
+  renderAgentSummaries, renderDevSelfCheckDeclaration, renderTaskItem, formatFilePath, formatSeverity,
   isWorktreeReady, renderWorktreeNotReady, interpolateText, renderStateMismatchDiagnostic,
 } from "../views.ts"
 import { resolveMustDoForCaps, SKIP_REASON_FORMAT } from "../tools/gate.ts"
@@ -547,13 +547,25 @@ function renderAgentWorking(
   }
   lines.push(...renderStepSemantics(step, common, stepCtx))
   lines.push(...renderWorktreeSection(state, tg, { showNamespace: true, showPort: true }))
-  // verify_tool 分支③（有变更 → 全量路径）证据注入：展示检查点增量口径的本次变更证据（文件清单 +
-  // 区间 diff 命令），与 Worktree 区块「变更范围」（baseRef..HEAD 整个 change 累计口径）区分，
-  // 供 reviewer 审查变更内容后按操作指引裁量是否可免全量工具检查（裁量语义由 workflow 配置单源承载，
-  // 此处仅渲染事实证据）。仅 verify_tool + reviewer-tool + 已预计算变更检测结果（hasNonDocChange=true）
-  // 时渲染；分支①②提前返回、toolChanges 缺省路径不经过此处，不误伤其他 agent/step。
+  // 证据区块注入：展示检查点增量口径的本次变更证据（文件清单 + 区间 diff 命令），与 Worktree 区块
+  // 「变更范围」（baseRef..HEAD 整个 change 累计口径）区分，供审查者审查变更内容后按操作指引裁量是否可免
+  // 全量工具检查（裁量语义由 workflow 配置单源承载，此处仅渲染事实证据）。
+  // - verify_tool（full 分支③有变更 → 全量路径）：仅 reviewer-tool + 已预计算变更检测结果
+  //   （hasNonDocChange=true）时渲染；分支①②提前返回、toolChanges 缺省路径不经过此处，不误伤其他 agent/step。
+  // - quality_review（simple 合并审查）：toolChanges 已预计算即渲染，不判 hasNonDocChange——simple 无
+  //   三分支替换式视图，无变更时也渲染区块（文件清单处显式「未检出」），给「无变更直提」分流显式视觉信号。
   if (step?.id === "verify_tool" && agentToReviewLayer(ctxAgent) === "tool" && toolChanges?.hasNonDocChange) {
-    lines.push(...renderToolChangesEvidence(item, tg, toolChanges))
+    lines.push(...renderToolChangesEvidence(item, tg, toolChanges, "tool_review"))
+  }
+  if (step?.id === "quality_review" && toolChanges) {
+    lines.push(...renderToolChangesEvidence(item, tg, toolChanges, "merged_review"))
+  }
+  // simple 合并审查（quality_review）证据注入：渲染提交参数存档的自检申报（self_check_results /
+  // test_results），作为分级复验的事实输入——低成本实跑对照、高成本项核验申报+抽样重放均以该申报为
+  // 证据源。仅 quality_review step 渲染（消费方是 reviewer）；implement 视图与其余 step 视图不受影响
+  //（dev 自己刚产出该申报，无需回显）。
+  if (step?.id === "quality_review") {
+    lines.push(...renderDevSelfCheckDeclaration(item.metadata))
   }
   lines.push(...renderAgentSummaries(readAgentSummaries(item), ctxAgent))
   lines.push(...renderStepContext(item, step, ctxAgent, state, exemptionCtx))
@@ -799,26 +811,42 @@ function renderToolChildren(item: WorkItem, ctxAgent: string, exemptionCtx?: Exe
   return lines
 }
 
-/** verify_tool 分支③（全量路径）证据区块：检查点增量口径的本次变更证据（文件清单 + 区间 diff 命令）。
- *  有检查点时标注「本次为自上次工具检查（checkpoint..HEAD）增量区间」，与 Worktree 区块「变更范围」
+/** 变更证据区块的检查点口径措辞：tool_review=verify_tool（full，「工具检查」）、
+ *  merged_review=quality_review（simple 合并审查，「合并审查」）。verify_tool 文案保持既有原文。 */
+type ChangesEvidenceKind = "tool_review" | "merged_review"
+
+const EVIDENCE_KIND_LABELS: Record<ChangesEvidenceKind, { title: string; lastCheck: string }> = {
+  tool_review: { title: "自上次工具检查", lastCheck: "上次工具检查" },
+  merged_review: { title: "自上次合并审查", lastCheck: "上次合并审查" },
+}
+
+/** 证据区块：检查点增量口径的本次变更证据（文件清单 + 区间 diff 命令）。verify_tool 分支③（全量路径）
+ *  与 quality_review（simple 合并审查）共用，经 kind 区分口径措辞（「自上次工具检查」/「自上次合并审查」）。
+ *  有检查点时标注「本次为自上次审查（checkpoint..HEAD）增量区间」，与 Worktree 区块「变更范围」
  *  （baseRef..HEAD 整个 change 累计口径）区分；无检查点（首次进入）时标注基线兜底口径，与变更范围一致；
  *  无检查点亦无基线基准时不渲染 diff 命令（无法界定区间）。仅渲染事实证据，不做变更性质判定——
  *  裁量语义由 workflow 配置操作指引单源承载。 */
-function renderToolChangesEvidence(item: WorkItem, tg: TaskGroupState, toolChanges: DetectChangesResult): string[] {
+function renderToolChangesEvidence(
+  item: WorkItem,
+  tg: TaskGroupState,
+  toolChanges: DetectChangesResult,
+  kind: ChangesEvidenceKind,
+): string[] {
+  const label = EVIDENCE_KIND_LABELS[kind]
   const checkpoint =
     typeof item.metadata["_tool_review_checkpoint"] === "string" ? item.metadata["_tool_review_checkpoint"] : undefined
   const baseRef = tg.baseRef ?? undefined
   const rangeRef = checkpoint ?? baseRef
-  const lines = ["## 本次变更证据（自上次工具检查）", ""]
+  const lines = [`## 本次变更证据（${label.title}）`, ""]
   if (checkpoint) {
     lines.push(
-      `- **口径**: 本次为「自上次工具检查（${checkpoint}..HEAD）」的增量区间（含已提交与未提交的非 openspec 变更）；` +
+      `- **口径**: 本次为「${label.title}（${checkpoint}..HEAD）」的增量区间（含已提交与未提交的非 openspec 变更）；` +
         `与上方「变更范围」（${baseRef ?? "(无)"}..HEAD 整个 change 累计口径）不同`,
       "",
     )
   } else if (baseRef) {
     lines.push(
-      `- **口径**: 本次区间以基线（${baseRef}..HEAD）兜底，与上方「变更范围」一致（首次进入，无上次工具检查记录；` +
+      `- **口径**: 本次区间以基线（${baseRef}..HEAD）兜底，与上方「变更范围」一致（首次进入，无${label.lastCheck}记录；` +
         "含已提交与未提交的非 openspec 变更）",
       "",
     )