@ifrankwang/openspec-agents 0.127.0 → 0.130.0

package/src/core/git.ts

@@ -371,3 +371,64 @@ export async function reconcileMainPollution(
     }
   }
 }
+
+/** worktree 自动提交（reviewer 家族文档直改兜底）结果。 */
+export interface AutoCommitResult {
+  /** skipped：过滤 openspec/states/ 后无已跟踪文件变更（未触发提交）；committed：add -u + commit 完成；
+   *  failed：git 调用失败（降级返回，不抛异常）。 */
+  status: "skipped" | "committed" | "failed"
+  /** 纳入自动提交的已跟踪文件变更路径（skipped 时为空）。 */
+  files: string[]
+  /** status=failed 时的失败 stderr。 */
+  stderr?: string
+  /** 未跟踪新建文件（?? 条目）路径清单：add -u 不纳入提交，提示编排者另行处理。 */
+  untrackedFiles: string[]
+}
+
+/**
+ * 自动提交 worktree 内已跟踪文件的未提交修改/删除（reviewer 家族文档直改兜底）。
+ *
+ * 触发场景：审查者/架构师按文档直改义务修正文档/注释后，由 opx_agent_submit 在 verdict
+ * 校验通过后调用——未提交修正会被下一轮工具检查点增量检测误判为新变更，也会在
+ * reconcileMainPollution 的干净树预检处死锁，提交时自动 commit 兜底。
+ *
+ * 语义：
+ * 1. `status --porcelain` 解析路径清单，过滤 `openspec/states/` 编排状态目录；过滤后无已跟踪
+ *    文件变更 → skipped（未触发）。
+ * 2. 有变更 → `add -u`（仅已跟踪文件的修改/删除，未跟踪新建文件不纳入，排除 openspec/states/）
+ *    → `commit`（消息风格对齐既有 `docs(tasks):` / `docs(openspec):` 惯例）。
+ * 3. 任一 git 调用失败 → failed（含 stderr），不抛异常——调用方据此在返回体提示，不阻塞 verdict 写入。
+ */
+export async function autoCommitWorktreeChanges(
+  wtPath: string,
+  agent: string,
+  stepId: string,
+): Promise<AutoCommitResult> {
+  const statusRes = await runGitChecked(wtPath, ["status", "--porcelain"])
+  if (!statusRes.success) {
+    return { status: "failed", files: [], untrackedFiles: [], stderr: statusRes.stderr }
+  }
+  const files: string[] = []
+  const untrackedFiles: string[] = []
+  for (const line of statusRes.stdout.split("\n").map((l) => l.trim()).filter(Boolean)) {
+    const path = parsePorcelainPaths(line)[0]
+    if (!path || path.startsWith("openspec/states/")) continue
+    if (line.startsWith("??")) untrackedFiles.push(path)
+    else files.push(path)
+  }
+  if (files.length === 0) return { status: "skipped", files: [], untrackedFiles }
+
+  const addResult = await runGitChecked(wtPath, ["add", "-u", "--", ".", ":(exclude)openspec/states"])
+  if (!addResult.success) {
+    return { status: "failed", files, untrackedFiles, stderr: addResult.stderr }
+  }
+  const commitResult = await runGitChecked(wtPath, [
+    "commit",
+    "-m",
+    `docs(opx): direct fixes by ${agent} (${stepId})`,
+  ])
+  if (!commitResult.success) {
+    return { status: "failed", files, untrackedFiles, stderr: commitResult.stderr }
+  }
+  return { status: "committed", files, untrackedFiles }
+}

package/src/core/tools/gate.ts

@@ -11,6 +11,11 @@
  *   {"item":"<对应必做项>","category":"<降级类别>","adjudication":"user_response|unattended_auto|env_unavailable","note":"<说明>"}
  * adjudication 裁定方式枚举：user_response=用户答复、unattended_auto=无人值守自动降级、
  * env_unavailable=环境不可用（note 须记录尝试）。
+ *
+ * 必做覆盖口径：核验申报（completed=true + 描述注明核验方式与抽验样本，step 名首段 token 命中必做项）
+ * 是高成本必做项的合法覆盖形态——仅限 workflow 指令白名单限定的高成本必做项（deep_scan），低成本
+ * 必做项必须实跑后申报。覆盖判定只认 step 名 token 命中，不区分实跑与核验形态（机制层不拦截低成本项
+ * 误用核验申报形态，白名单约束由 workflow 指令与门禁错误提示承载）。
  */
 import {
   scanSkillTags,

package/src/core/tools/lifecycle.ts

@@ -641,16 +641,17 @@ export async function statusExecute(params: StatusParams, ctx: ToolContext): Pro
   const tg = findTaskGroup(state, state.taskGroupId)
   // 主仓库 openspec 污染诊断（56ddfe9 意图）：编排者分派视图展示主仓库污染，供编排者人工核对
   const mainPollution = ctx.orchestrator ? await detectMainRepoPollution(ctx.worktree) : null
-  // tool review 检查点增量检测（A4）：verify_tool 的 reviewer-tool 工作视图按「检查点 → 当前 HEAD」区间
-  // 变更分流（直提 / 仅处理待复核项 / 全量）。渲染层为同步函数，此处预计算后经 WorkflowStatusViewOptions 传入。
-  // 仅在推荐分派该 agent 时计算，其余角色/step 不产生额外 git 调用。
+  // tool review 检查点增量检测（A4）：full 的 verify_tool（reviewer-tool）与 simple 的 quality_review
+  // （合并审查者 openspec-reviewer）工作视图均按「检查点 → 当前 HEAD」区间变更分流。渲染层为同步函数，
+  // 此处预计算后经 WorkflowStatusViewOptions 传入。仅推荐分派对应 agent 时计算（verify_tool → reviewer-tool、
+  // quality_review → openspec-reviewer），其余角色/step 不产生额外 git 调用。
   let toolChanges: DetectChangesResult | undefined
-  if (
-    agentToReviewLayer(agent) === "tool" &&
+  const changesEvidenceStep =
     rec.status === "recommend" &&
-    rec.stepId === "verify_tool" &&
-    rec.agents.includes(agent)
-  ) {
+    rec.agents.includes(agent) &&
+    ((agentToReviewLayer(agent) === "tool" && rec.stepId === "verify_tool") ||
+      (agent === "openspec-reviewer" && rec.stepId === "quality_review"))
+  if (changesEvidenceStep) {
     const wtPath = typeof item.metadata["worktree_path"] === "string" ? item.metadata["worktree_path"] : undefined
     if (wtPath) {
       const checkpoint =

package/src/core/tools/schemas.ts

@@ -333,7 +333,11 @@ export const agentSubmitSchema: JSONSchema = {
       description: "implement step：已完成的 task id（覆盖门禁：全部 open/rejected task 必须被覆盖）",
       items: { type: "string" },
     },
-    test_results: { type: "string", description: "verify_tool step：UT 运行结果摘要" },
+    test_results: {
+      type: "string",
+      description:
+        "implement / verify_tool step：测试运行结果摘要（implement 为接口测试执行结果——附执行顺序与覆盖接口清单；verify_tool 为 UT 运行结果摘要）；quality_review（simple 合并审查）下由开发者在 implement 申报，审查者提交时不生效",
+    },
     validation_steps: {
       type: "array",
       description: "review step：验证步骤执行摘要",

package/src/core/tools/submit.ts

@@ -11,11 +11,11 @@ import {
   getStepVerdict, clearStepTags, isBlockingSeverity, isInfoSeverity, isTerminalPhase, applyTransition,
 } from "../workflow/engine.ts"
 import { resetReviewTagsOnFix, dedupeNewChildren, resolveChildIssueFields } from "../workflow/reset.ts"
-import { agentToReviewDimension, agentToReviewLayer, readIssueSource } from "../constants.ts"
+import { agentToReviewDimension, agentToReviewLayer, isReviewerFamily, readIssueSource } from "../constants.ts"
 import { REVIEW_DIMENSIONS } from "../types.ts"
 import type { Dimension } from "../types.ts"
 import { taskChildrenOf, taskChildById, normalizeTaskChildIds, taskListOf, issueChildrenOf } from "../task-children.ts"
-import { reconcileMainPollution, getCurrentHead, isWorktreeClean } from "../git.ts"
+import { autoCommitWorktreeChanges, reconcileMainPollution, getCurrentHead, isWorktreeClean } from "../git.ts"
 import { assertIssueFilesWithin } from "../paths.ts"
 import {
   readStateByWorktree, writeState, getLockPath, acquireLock, releaseLock,
@@ -264,7 +264,8 @@ function handleAnalyzeParams(item: WorkItem, params: AgentSubmitParams): void {
   }
 }
 
-/** implement step 参数处理：blocker（on_fail）、completed_task_ids + 覆盖门禁、self_check_results。 */
+/** implement step 参数处理：blocker（on_fail）、completed_task_ids + 覆盖门禁、self_check_results /
+ *  test_results 申报存档。 */
 function handleImplementParams(item: WorkItem, params: AgentSubmitParams): void {
   if (params.blocker) {
     if (params.verdict !== "failed") {
@@ -311,6 +312,11 @@ function handleImplementParams(item: WorkItem, params: AgentSubmitParams): void
   if (params.self_check_results) {
     item.metadata["self_check_results"] = params.self_check_results
   }
+  // test_results 为 dev 申报的接口测试执行结果存档（simple 模式 quality_review 视图「开发者自检申报」
+  // 区块渲染源），与 self_check_results 同为跨角色可见的正式提交参数存档。
+  if (params.test_results) {
+    item.metadata["test_results"] = params.test_results
+  }
 }
 
 /** 把 boundary_expansion 的目录/包合并进执行边界（metadata 为事实源，缺失则忽略）。 */
@@ -395,7 +401,7 @@ function assertFailedHasReason(
   }
 }
 
-/** review step（verify_tool/verify_task/verify_quality）参数处理。 */
+/** review step（verify_tool/verify_task/verify_quality/quality_review）参数处理。 */
 function handleReviewParams(
   item: WorkItem,
   params: AgentSubmitParams,
@@ -417,7 +423,10 @@ function handleReviewParams(
     mergeBoundaryInto(item, params.boundary_expansion)
   }
 
-  if (params.test_results) item.metadata["test_results"] = params.test_results
+  // test_results 透传：full 模式 verify_tool 的 UT 摘要写入不受影响；simple 模式 quality_review 下
+  // test_results 是 dev 申报的接口测试结果存档（quality_review 视图「开发者自检申报」区块渲染源），
+  // 合并审查者提交不得覆盖 dev 申报（spec 契约：申报区块语义为 dev 产出）。
+  if (params.test_results && stepId !== "quality_review") item.metadata["test_results"] = params.test_results
 
   if (params.validation_steps) {
     // 结构化 skip_reason 校验（升级既有「非空即可」）：未完成项必须带合法结构化降级声明
@@ -428,6 +437,9 @@ function handleReviewParams(
   // 必做清单覆盖度门禁：verdict=passed 且非补交豁免（仅裁定参数）时，validation_steps 须逐项覆盖
   // 当前 agent 能力集解析出的质量门 skill 必做清单（must_do）。遗漏必做项且无有效降级证据 → 拒绝提交。
   // 未声明 must_do 的 skill / 解析不到质量门 skill 的 step 自动跳过（不误伤 verify_task/verify_quality）。
+  // 覆盖口径：核验申报（completed=true + 描述注明核验方式与抽验样本，step 名首段 token 命中必做项）是
+  // 高成本必做项的合法覆盖形态，仅限 workflow 指令白名单限定的高成本必做项（deep_scan）；低成本必做项
+  // 必须实跑后申报（机制层只认 token 命中不区分形态，白名单口径在错误提示中明示）。
   if (params.verdict === "passed" && !opts.skipMustDoGate) {
     const uncovered = uncoveredMustDo(opts.capabilityTags, params.validation_steps)
     if (uncovered.length > 0) {
@@ -435,7 +447,8 @@ function handleReviewParams(
         `提交的验证步骤未覆盖质量门 skill 必做清单，缺少以下必做项：${uncovered.join("、")}。\n` +
         `请按已加载质量门类 skill 的必做清单逐项执行并逐项申报结果（completed=true）；` +
         `确实无法执行的必做项须以结构化 skip_reason 申报降级理由` +
-        `（格式：${SKIP_REASON_FORMAT}）。`
+        `（格式：${SKIP_REASON_FORMAT}）。` +
+        `低成本必做项必须实跑后申报；核验申报仅限 workflow 指令白名单限定的高成本必做项。`
       )
     }
   }
@@ -734,6 +747,33 @@ export async function agentSubmitExecute(params: AgentSubmitParams, ctx: ToolCon
       newChildren: accepted,
     })
 
+    // reviewer 家族（openspec-architect + 全部审查者逻辑身份）worktree 直改修正自动提交兜底：
+    // 审查者/架构师按文档直改义务修正文档/注释后，提交时自动 commit（openspec/states/ 编排状态
+    // 除外，仅纳入已跟踪文件的修改/删除）。
+    // 时序硬约束：必须在 _tool_review_checkpoint 捕获之前（否则修正会被下一轮增量检测误判为新
+    // 变更）、必须在 reconcileMainPollution 之前（其干净树预检要求 worktree 无未提交内容——架构师
+    // 身份的 worktree md 修正无人提交会在该预检处死锁）。
+    // 硬边界（防事故）：自动提交目标恒为 wtPath（任务组 worktree），严禁对 ctx.worktree（主仓库）
+    // 执行 add/commit。失败不阻塞 verdict 写入，仅在返回体提示编排者安排补提交。
+    const autoCommitLines: string[] = []
+    if (isReviewerFamily(ctx.agent)) {
+      const ac = await autoCommitWorktreeChanges(wtPath, ctx.agent, params.step_id)
+      if (ac.status === "committed") {
+        autoCommitLines.push(
+          `- ✅ worktree 直改修正已自动提交（${ac.files.length} 个文件，commit message: \`docs(opx): direct fixes by ${ctx.agent} (${params.step_id})\`）`,
+        )
+      } else if (ac.status === "failed") {
+        autoCommitLines.push(
+          `- ⚠️ worktree 直改修正自动提交失败：${ac.stderr || "未知错误"}。请编排者安排补提交（worktree 内 git add -u 后 commit）`,
+        )
+      }
+      if (ac.untrackedFiles.length > 0) {
+        autoCommitLines.push(
+          `- ⚠️ 存在未跟踪新建文件未纳入自动提交（须纳入版本控制时由编排者/开发者处理）：${ac.untrackedFiles.join("、")}`,
+        )
+      }
+    }
+
     // arch_submit 主仓库污染文档自动合并兜底（56ddfe9 意图）：analyze step（架构师）以 passed 提交后，
     // 若主仓库本 change 目录下存在未提交 openspec 文档污染，并入 worktree 分支并清理主仓库工作树。
     if (
@@ -750,10 +790,15 @@ export async function agentSubmitExecute(params: AgentSubmitParams, ctx: ToolCon
       })
     }
 
-    // tool review 检查点增量检测（A3）：verify_tool 的 reviewer-tool 提交成功后记录当前 HEAD，
-    // 供下次重进 verify_tool 时仅对比「检查点 → 当前 HEAD」区间的变更（无代码/配置变更时直提 passed，
-    // 省去全量工具扫描）。写入位于 submitForStep 成功与 writeState 之间，任何异常路径均不落盘（零状态变更）。
-    if (params.step_id === "verify_tool" && agentToReviewLayer(ctx.agent) === "tool") {
+    // 审查检查点增量检测（A3）：full 的 verify_tool（reviewer-tool）与 simple 的 quality_review
+    // （合并审查者 openspec-reviewer）提交成功后记录当前 HEAD，供下次重进该 step 时仅对比「检查点 →
+    // 当前 HEAD」区间的变更（无代码/配置变更时直提 passed，省去全量工具扫描）。两者写同一 metadata key
+    // `_tool_review_checkpoint`，但 simple / full 两 workflow 无对方 step，读写互不交叉。写入位于
+    // submitForStep 成功与 writeState 之间，任何异常路径均不落盘（零状态变更）。
+    if (
+      (params.step_id === "verify_tool" && agentToReviewLayer(ctx.agent) === "tool") ||
+      (params.step_id === "quality_review" && ctx.agent === "openspec-reviewer")
+    ) {
       const head = await getCurrentHead(wtPath)
       if (head) item.metadata["_tool_review_checkpoint"] = head
     }
@@ -766,7 +811,15 @@ export async function agentSubmitExecute(params: AgentSubmitParams, ctx: ToolCon
     }
 
     await writeState(ctx.worktree, state)
-    return SUBMIT_OK_MESSAGE
+    if (autoCommitLines.length === 0) return SUBMIT_OK_MESSAGE
+    return [
+      `## ✅ ${SUBMIT_OK_MESSAGE}`,
+      "",
+      "### worktree 自动提交",
+      "",
+      ...autoCommitLines,
+      "",
+    ].join("\n")
   } finally {
     releaseLock(lockPath)
   }

package/src/core/views.ts

@@ -165,6 +165,27 @@ export function renderAgentSummaries(agentSummaries: Record<string, string> | un
   return lines
 }
 
+/** 开发者自检申报渲染。数据源为 workItem metadata 的 self_check_results / test_results（提交参数的存档），
+ *  分「自检申报（self_check_results）」与「接口测试结果（test_results）」两段渲染，两者皆缺失/为空时
+ *  返回空数组（不渲染空区块）。
+ *  与 renderAgentSummaries 的语义区分：会话摘要按角色隔离（辅助记忆，不跨 agent 传递）；自检申报是
+ *  正式提交参数的存档，跨角色可见是设计意图——reviewer 分级复验以 dev 申报为事实输入（低成本实跑对照、
+ *  高成本项核验申报+抽样重放），不违反「子代理上下文不得转述」：该条约束的是编排者在分派 prompt 中
+ *  转述动态上下文，视图渲染动态上下文本就是 opx_status 工具本职。 */
+export function renderDevSelfCheckDeclaration(metadata: Record<string, unknown>): string[] {
+  const selfCheck = typeof metadata["self_check_results"] === "string" ? metadata["self_check_results"].trim() : ""
+  const testResults = typeof metadata["test_results"] === "string" ? metadata["test_results"].trim() : ""
+  if (selfCheck === "" && testResults === "") return []
+  const lines: string[] = ["## 开发者自检申报", ""]
+  if (selfCheck !== "") {
+    lines.push("**自检申报（self_check_results）**：", "", selfCheck, "")
+  }
+  if (testResults !== "") {
+    lines.push("**接口测试结果（test_results）**：", "", testResults, "")
+  }
+  return lines
+}
+
 // ─── 占位符插值层 ───
 
 /** 插值白名单：仅这些 key 可被 {{key}} 占位符引用，其余一律保留原文（防配置注入任意动态值）。 */

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 变更）",
       "",
     )