sillyspec 3.28.10 → 3.28.11

package/src/stage-review-checklist.js

@@ -8,7 +8,7 @@
  *
  * 条目为纯文本，不含序号/checkbox/缩进等结构性前缀（渲染层负责前缀形态）：
  * - brainstorm：前 3 条 =「交叉审查模型」三层检查（prompt 内渲染为「N. 」序号行），
- *   后 6 条 =「交叉点抽取」（渲染为「- 」列表行）；
+ *   后 8 条 =「交叉点抽取」（渲染为「- 」列表行）；
  * - plan：渲染为「- [ ] 」checkbox 行（审查清单段）；
  * - execute：渲染为 2 空格缩进的「N. 」序号行（QA 段「以下三项始终必查」）。
  */
@@ -23,6 +23,8 @@ export const REVIEW_CHECKLISTS = {
     'tasks.md 的执行范围与 design.md 的非目标',
     'decisions.md 的 D-xxx@vN 与 design.md 当前说法',
     'scan/module docs 或源码中的真实约束与 design.md 假设',
+    '涉及角色/权限/字典类数据时，实证不能只看静态定义：须以生产查询口径可解析到目标结果——用真实租户/库下可执行的查询（如按 enname+tenant 查询）确认返回非空，仅 enname 存在不算通过',
+    '涉及新页面/前端路由时，用户入口 × 菜单/注册 DML 对账：入口路由与菜单表、角色-权限注册 DML 逐一对账——能点到的入口必有对应菜单与授权注册行，菜单/注册 SQL 必须出现在交付清单（design.md 文件变更清单或 db/ 脚本）',
   ],
   plan: [
     'task 编号与 Wave checkbox 格式正确，execute 依赖此格式解析任务',

package/src/stage-review.js

@@ -422,6 +422,111 @@ export function getLatestStageReviewRunId(runtimeRoot, stage, changeName) {
   }
 }
 
+/**
+ * 同阶段上一轮审查结论采集（ql-20260916-021，Superpowers scoped re-review 采纳①）。
+ *
+ * 复审派发 prompt 原本只有跨阶段 pass 结论注入（prompt.js {PRIOR_REVIEW_FACTS} 的前序阶段段），
+ * 同 stage 上一轮 FAIL 的 findings 与已实证 pass 面不回灌——独立复审子代理全量重读并重复报告
+ * 已修问题。本函数机械提取「该 stage 本变更最近一轮有效 review」的两份清单供回灌：
+ *   - openFindings：checklist result=fail/gap 的未决项（verdict=fail 但 checklist 无明细时以
+ *     reviewerNotes 合成一条，防 fail 轮零线索）；
+ *   - passItems：checklist result=pass 的已实证面（复审勿重复报告/重验，除非修复改动触及该面）。
+ *
+ * 采集规则：
+ *   - runId 字典序 = 时间序（generateStageReviewRunId 时间戳格式），取最新有效轮——含 marker
+ *     当前指向 run 的已写 review（同目录覆盖式复审路径下它就是最新轮，无需调用方区分）；
+ *   - 跨变更过滤：reviewedFiles[0] 不含 `changes/<changeName>/` 的轮不采（与
+ *     getLatestStageReviewRunId 的 cross-change 防护同口径）；
+ *   - 骨架轮跳过（register-stage-review 生成的双 cannot_verify 待审骨架）；
+ *   - 坏 JSON 轮跳过不抛（best-effort）；两者皆空（无未决也无 pass 面）→ null。
+ *
+ * @param {string} runtimeRoot - .runtime 绝对路径
+ * @param {string} stage - brainstorm|plan|execute
+ * @param {string} changeName - 变更名（跨变更过滤锚）
+ * @returns {{ priorRunId: string, verdicts: string, openFindings: string[], passItems: string[], notesPreview: string }|null}
+ */
+export function collectSameStagePriorReview(runtimeRoot, stage, changeName) {
+  if (!runtimeRoot || !stage || !changeName) return null
+  const dir = join(runtimeRoot, 'stage-reviews')
+  if (!existsSync(dir)) return null
+  let entries
+  try {
+    entries = readdirSync(dir, { withFileTypes: true })
+      .filter(e => e.isDirectory() && e.name.startsWith(`${stage}-review-`))
+      .map(e => e.name)
+  } catch { return null }
+  if (entries.length === 0) return null
+
+  const candidates = []
+  for (const name of entries) {
+    const rp = join(dir, name, 'review.json')
+    if (!existsSync(rp)) continue
+    try {
+      const review = JSON.parse(readFileSync(rp, 'utf8'))
+      const r0 = Array.isArray(review.reviewedFiles) ? String(review.reviewedFiles[0]) : ''
+      if (!r0.includes(`changes/${changeName}/`)) continue
+      // 骨架占位跳过（register-stage-review 待审骨架：双 cannot_verify + 骨架 notes 标记）
+      const isSkeleton = review.specVerdict === 'cannot_verify' && review.qualityVerdict === 'cannot_verify'
+        && String(review.reviewerNotes || '').includes('骨架由 register-stage-review')
+      if (isSkeleton) continue
+      candidates.push({ runId: name.slice(stage.length + 1), review })
+    } catch { continue }
+  }
+  if (candidates.length === 0) return null
+
+  candidates.sort((a, b) => a.runId.localeCompare(b.runId))
+  const latest = candidates[candidates.length - 1]
+  const openFindings = []
+  const passItems = []
+  for (const c of (Array.isArray(latest.review.checklist) ? latest.review.checklist : [])) {
+    if (!c || typeof c !== 'object' || !c.item) continue
+    const text = String(c.item).replace(/\s+/g, ' ').slice(0, 120)
+    if (c.result === 'fail' || c.result === 'gap') openFindings.push(`[${c.result}] ${text}`)
+    else if (c.result === 'pass') passItems.push(text)
+  }
+  // verdict=fail 但 checklist 无明细：fail 结论不丢线索——notes 合成一条（复审者据此核验）
+  if (openFindings.length === 0 && (latest.review.specVerdict === 'fail' || latest.review.qualityVerdict === 'fail')) {
+    const notes = String(latest.review.reviewerNotes || '').replace(/\s+/g, ' ').slice(0, 160)
+    openFindings.push(`[verdict-fail] verdict=fail 但 checklist 无明细——以 reviewerNotes 为准：${notes || '（无 notes）'}`)
+  }
+  if (openFindings.length === 0 && passItems.length === 0) return null
+  return {
+    priorRunId: latest.runId,
+    verdicts: `spec=${latest.review.specVerdict}, quality=${latest.review.qualityVerdict}`,
+    openFindings,
+    passItems,
+    notesPreview: String(latest.review.reviewerNotes || '').replace(/\s+/g, ' ').slice(0, 160),
+  }
+}
+
+/**
+ * renderPriorRoundFindingsMd——把 collectSameStagePriorReview 产物渲染为复审派发 prompt 的
+ * 回灌块（prompt.js 注入 {PRIOR_REVIEW_FACTS}，与前序阶段 pass 结论段同串拼接）。
+ *
+ * 语义双向：未决项**必须**逐项核验（已修给证据、未解决如实再次 fail——漏放行=假通过）；
+ * pass 面**勿重复报告/重验**（除非修复改动明确触及该面）——一堵一疏，复审以增量为主。
+ *
+ * @param {{ priorRunId: string, verdicts: string, openFindings: string[], passItems: string[] }|null} collected
+ * @param {number} [cap=15] 每段展示封顶（防 prompt 灌爆，对齐前序实证段的 15 条惯例）
+ * @returns {string} markdown 块；collected 空 → 空串
+ */
+export function renderPriorRoundFindingsMd(collected, cap = 15) {
+  if (!collected) return ''
+  const L = []
+  L.push(`**同阶段上一轮审查结论（run ${collected.priorRunId}，verdict ${collected.verdicts}）——本次为复审，以增量为主，不重演全量审查**：`)
+  if (collected.openFindings.length > 0) {
+    const shown = collected.openFindings.slice(0, cap)
+    L.push(`- **上一轮未决问题（逐项核验修复状态：已修给证据、未解决必须如实再次 fail——漏放行=假通过）**（${shown.length}/${collected.openFindings.length} 条）：`)
+    for (const f of shown) L.push(`  - ${f}`)
+  }
+  if (collected.passItems.length > 0) {
+    const shown = collected.passItems.slice(0, cap)
+    L.push(`- **上一轮已实证 pass 面（勿重复报告/重验——除非本次修复改动明确触及该面才定向复查）**（${shown.length}/${collected.passItems.length} 条）：`)
+    for (const p of shown) L.push(`  - ${p}`)
+  }
+  return `\n${L.join('\n')}\n`
+}
+
 /**
  * 降级自审检测（2026-09-10 用户反馈①：PI agent 等宿主环境无 Agent tool，tier=independent
  * 硬要求子代理时只能降级自审——stage prompts 降级条款约定 reviewerNotes **首行**记
@@ -437,6 +542,19 @@ export function isDegradedSelfReview(review) {
   return /^降级[：:]/.test(firstLine)
 }
 
+/**
+ * 代落盘披露识别（C4，坑 delegated-write-audit-blind，2026-09-15 wp EHS 会话实证：平台写通道
+ * 故障下主流程 4 次代子代理落盘 review.json/交付物——独立性全靠 agent 自觉 + notes 留痕，gate
+ * 无任何可见标记。审查派发 prompt 已要求代落盘时 reviewerNotes 首行记「代落盘：…」，本识别让
+ * gate 侧补 ⚠️ 审计行（与 isDegradedSelfReview 同哲学：可见的折损优于静默的伪装——首行约定
+ * 识别，不承诺全文语义判定）。
+ */
+export function hasDelegatedWriteDisclosure(review) {
+  const notes = review && typeof review.reviewerNotes === 'string' ? review.reviewerNotes : ''
+  const firstLine = notes.split(/\r?\n/, 1)[0].trim()
+  return /^代落盘[：:]/.test(firstLine)
+}
+
 /**
  * stage-level review 总校验（brainstorm/plan/execute-acceptance 的 done gate）
  *
@@ -572,10 +690,20 @@ export function validateStageReviewWithAutoRefresh(opts) {
   if (!docHash) return { result, autoRefreshed: false }
 
   const refreshedAt = new Date().toISOString().slice(0, 19).replace('T', ' ')
+  // C3 声明化（坑 dochash-autorefresh-silent-drift，2026-09-15 wp EHS 会话实证：审查通过后
+  // 主文档多次改版——NEW: 前缀批注、需求调整改名、Reverse Sync——gate 每次都静默机械重算放行，
+  // verdict 原样保留，「审查后的变更不再见审查」零痕迹可读。旧内容不可复原（只有 hash），改用
+  // 可实现且更贴风险的两个信号做声明：① hash 漂移（旧→新短前缀）② 刷新序数——同一 review 被
+  // 反复刷新 = 主文档在审查后反复变更，序数 ≥2 时 gate 侧升级提醒人工确认结论续用。
+  const priorNotes = String(result.review.reviewerNotes || '')
+  const refreshOrdinal = (priorNotes.match(/docHash auto-refreshed at /g) || []).length + 1
+  const oldHashShort = String(result.review.docHash || '').slice(0, 8)
+  const newHashShort = String(docHash).slice(0, 8)
+  const auditLine = `docHash auto-refreshed at ${refreshedAt}（第 ${refreshOrdinal} 次；hash ${oldHashShort}→${newHashShort}；gate 检测主文档改版，机械重算；verdict 保留，结论是否仍适用于新文档需人工确认${refreshOrdinal >= 2 ? '——已多次刷新：主文档在审查后反复变更，建议人工复核结论续用或重审' : ''}）`
   const refreshed = {
     ...result.review,
     docHash,
-    reviewerNotes: `${result.review.reviewerNotes || ''}\ndocHash auto-refreshed at ${refreshedAt}（gate 检测主文档改版，机械重算；verdict 保留，结论是否仍适用需人工确认）`.trim(),
+    reviewerNotes: `${priorNotes}\n${auditLine}`.trim(),
   }
   try {
     writeAtomicSync(reviewPath, JSON.stringify(refreshed, null, 2) + '\n')
@@ -583,7 +711,7 @@ export function validateStageReviewWithAutoRefresh(opts) {
     return { result, autoRefreshed: false } // 写失败回落原失败结果，不静默放行
   }
   const recheck = validateStageReview(opts)
-  return { result: recheck, autoRefreshed: recheck.ok, refreshedPath: reviewPath, previousErrors: result.errors }
+  return { result: recheck, autoRefreshed: recheck.ok, refreshedPath: reviewPath, previousErrors: result.errors, refreshOrdinal, hashDrift: `${oldHashShort}→${newHashShort}` }
 }
 
 /**
@@ -708,6 +836,13 @@ export function registerStageReview({ changeName, stage, fromFile, cwd, platform
     } catch (e) {
       throw new Error(`register-stage-review: 既有 review.json 解析失败 ${existingPath}: ${e.message}`)
     }
+    // 幂等跳过（2026-09-17 用户反馈⑥-②，ql-20260917-005）：docHash 已一致时 refresh 仍整文件
+    // 重写 + 追加审计行——会话内多次 refresh 每次都 bump mtime/改内容，agent 的 Read→Edit 窗口
+    // 被「file modified since read」打断（本会话两次实证）。hash 未变 = 无可刷新内容，直接
+    // no-op 返回（不写盘不 bump mtime）；行为差异只在「少一次无意义重写」。
+    if (existing.docHash === docHash && JSON.stringify(existing.reviewedFiles) === JSON.stringify(reviewedFiles)) {
+      return { ok: true, reviewRunId: existingRunId, reviewPath: existingPath, markerPath: stageReviewMarkerPath(runtimeRoot, stage, changeName), mode: 'noop-unchanged', mainDoc, review: existing }
+    }
     const refreshedAt = new Date().toISOString().slice(0, 19).replace('T', ' ')
     const review = {
       ...existing,

package/src/stages/archive.js

@@ -75,13 +75,17 @@ export const definition = {
 
 {SCOPE_AUDIT_TABLE}
 
-3. 确保任务清单（tasks.md）所有 task checkbox 都已勾选；对照下方完成度快照做归档前最后注视（未完成/存疑 → 停下勿确认）：
+3. 展示移交项清单（verify 阶段 facts.handover——CLI 机械注入如下，勿手改勿手算；blocking 置顶 + severity 标注，超封顶截断；确认前逐项核对 blocking 移交项已有处置安排（db-script 类须先在 verify-result.md 补执行声明——归档门会拦未声明/互斥态，env-blocked 确认复跑条件已登记，manual-acceptance 确认验收安排），advisory 项记录备查；无移交项时本区为空，注入异常时置换单行降级指引，全量见 changes/<变更名>/verify-facts.json）：
+
+{HANDOVER_SUMMARY}
+
+4. 确保任务清单（tasks.md）所有 task checkbox 都已勾选；对照下方完成度快照做归档前最后注视（未完成/存疑 → 停下勿确认）：
 {TASK_COMPLETION_REPORT}
-4. 若上一步机械决策提炼输出「⚠️ rejected 决策缺否决理由/复潮条件（needsWait）」：先按其指引处理——补录 decisions.md 缺失字段后重跑提炼命令（幂等），或经用户裁决跳过该条；处理结果写进本步 --output
-5. **git 暂存已由 CLI 自动完成**（归档完成时自动 add：\`.sillyspec/changes/archive/\`、本次同步的模块文档、\`.sillyspec/knowledge/decisions/\`——未提交，由用户通过统一提交工具处理）——你不需要也不应该手动 git add
-6. 让用户确认后，用 \`--confirm\` 完成本步骤：
+5. 若上一步机械决策提炼输出「⚠️ rejected 决策缺否决理由/复潮条件（needsWait）」：先按其指引处理——补录 decisions.md 缺失字段后重跑提炼命令（幂等），或经用户裁决跳过该条；处理结果写进本步 --output
+6. **git 暂存已由 CLI 自动完成**（归档完成时自动 add：\`.sillyspec/changes/archive/\`、本次同步的模块文档、\`.sillyspec/knowledge/decisions/\`——未提交，由用户通过统一提交工具处理）——你不需要也不应该手动 git add
+7. 让用户确认后，用 \`--confirm\` 完成本步骤：
    \`sillyspec run archive --done --confirm --output "确认归档"\`
-7. CLI 会创建 \`.sillyspec/changes/archive/\`，并将变更目录移动到 \`.sillyspec/changes/archive/<原变更名>/\`
+8. CLI 会创建 \`.sillyspec/changes/archive/\`，并将变更目录移动到 \`.sillyspec/changes/archive/<原变更名>/\`
 
 ### 输出
 归档完成 + archive 目录路径`,

package/src/stages/brainstorm.js

@@ -286,10 +286,11 @@ design.md 第一行标题必须用中文：# 设计文档（Design）— <变更
 
 | 操作 | 文件路径 | 说明 |
 |---|---|---|
-| 新增 | src/xxx/NewFile.java | ... |
+| 新增 | NEW:src/xxx/NewFile.java | ... |
 | 修改 | src/xxx/ExistingFile.java | 新增 xx 方法 |
 | 删除 | src/xxx/OldFile.java | 已被 xx 替代 |
 
+   **路径存在性核验（NEW: 前缀铁律，2026-09-17 用户反馈⑥-①前移）**：清单条目在「生成规范文件」步 \`--done\` 门禁会逐一核验仓内存在性——**计划新建的文件必须在路径前加 \`NEW:\` 前缀**（冒号后不加空格，\`NEW:src/foo.js\` 合法、\`NEW: src/foo.js\` 属书写错误）；未加前缀的新建路径会以 \`design_file_ref_invalid\`（幻觉路径/书写错误）在末步被拦，返工一轮。已有文件写仓根相对正斜杠路径，禁绝对路径/glob。
    **字段数据流标注**（避免新增字段到 execute 才发现没透传）：当清单含「新增/修改对外字段、接口、DTO、响应体、事件 payload、配置键」时，对应行「说明」列必须交代 producer→consumer 数据流——产出方（producer）→ 每跳流转/归一化点（序列化/反序列化/字段映射/默认值兜底）→ 消费方（consumer）。漏标 = 字段在某跳 dormant（声明了却没透传），到 execute/verify 才暴露，属设计层缺口。
    - 示例：「修改 daemon.ts：新增 budget_tokens，producer=backend/api-types.ts → ws_hub envelope 透传 → daemon.ts normalizeUsage（snake→camel）→ consumer=runtime/lease.ts 写 lease」
    - 仅改内部实现、无对外字段变动时，说明列照常写「新增 xx 方法」即可，无需数据流。
@@ -385,8 +386,12 @@ tier: {REVIEW_TIER}（{REVIEW_TIER_REASON}）
 - tier=self：当前 agent 直接执行下方交叉审查（小变更）
 - tier=independent：必须用 Agent tool 启动一个独立的设计审查子代理（独立上下文，不共享你的分析与倾向），子代理按下方"交叉审查模型"审查 design.md 并输出 review.json。review.json 产物契约（CLI Stage Review Gate 将硬校验，schema + 完整示例 + docHash 算法如下，照抄改值）:
   宿主环境无 Agent tool 可用（调用报 Unknown agent / Available agents: none）→ 不卡死：主代理切换为审查者角色自审替代，reviewerNotes 首行记录「降级：环境无子代理可用」，逐条结论附源码锚点（file:line 或 grep/read 证据）补偿独立性。
+{PRIOR_REVIEW_FACTS}
 {REVIEW_JSON_CONTRACT}
   子代理只产出 review + Unresolved Blockers，**是否调用 sillyspec run brainstorm --wait 仍由你（主 agent）根据其 verdict 决定**（子代理不直接操作 CLI 状态机）。
+  **子代理执行纪律（坑 review-subagent-stall，2026-09-15 wp EHS 会话实证：独立审查 94 分钟无收敛被用户三催、写通道故障空转 35 分钟）**：
+  - 时间盒收敛：审查子代理的调研是收敛动作不是发散——必读材料读完即逐条出结论并落盘 review.json；仅个别结论存疑时定向补证，禁止循环扩大核验面（连续读文件 10+ 次仍零结论 = 立即停止扩展、基于已读材料收敛）。
+  - 写通道降级：子代理写操作持续被平台拒绝（session not in running turn 类故障）→ 重试 ≤3 次即停，把完整审查结论（含 review.json 全文）作为最终文本回传主代理，由主代理代为落盘并在 reviewerNotes 首行留痕「代落盘：子代理写通道故障」；禁止长时间空转重试。
 
 ### 默认行为
 1. 默认必须执行一次交叉审查；不要让用户凭主观判断决定"要不要 Grill"。
@@ -413,6 +418,7 @@ ${REVIEW_CHECKLISTS.brainstorm.slice(0, 3).map((item, index) => (index + 1) + '.
 ### 交叉点抽取
 重点找这些交叉点：
 ${REVIEW_CHECKLISTS.brainstorm.slice(3).map((item) => '- ' + item).join('\n')}
+后两条为命中条件注入项：变更涉及角色/权限/字典类数据或新页面/前端路由时必查。
 
 ### 问答处理
 1. 先自动交叉审查，不要一上来问用户。

package/src/stages/execute.js

@@ -197,14 +197,14 @@ export function validatePlanForExecute(tasksContent, planContent) {
   }
 
   // 检查 0.8: Wave 标题格式不对（W1/波次1 等）→ 引用行不被收容，静默退化隐式单 Wave
-  // 全并行——串行意图失效且无提示（原「标题格式不对」诊断的新契约承接）。仅在确有疑似标题
+  // 串行执行——Wave 分组意图丢失且无提示（原「标题格式不对」诊断的新契约承接）。仅在确有疑似标题
   // 且无任何显式 Wave 被解析时报，正常 Wave 10/带括号标题不误伤。
   const hasExplicitWave = waves.some(w => !w.implicit)
   const waveLikeHeading = /^#+\s*(?:wave\s*\d+|w\d+|波次\s*\d+)/im
   if (!hasExplicitWave && waveLikeHeading.test(plan)) {
     errors.push(
       `Wave 标题格式不对：必须字面 "## Wave N"（Wave + 空格 + 数字），"## W1" / "## Wave1" / "## 波次1" 都不被识别。` +
-      `其下的 "- task-XX" 引用行不会被收容——任务将退化为单个隐式 Wave 全并行，串行意图失效`
+      `其下的 "- task-XX" 引用行不会被收容——所有任务将退化为单个隐式 Wave 串行执行（Wave 分组意图丢失，无法按组并行/验收）`
     )
   }
   // 检查 0.9（坑 wave-heading-undercount，2026-08-21 实证）：部分 Wave 被识别 + 部分
@@ -404,6 +404,12 @@ worktree 路径 + 分支名 + 模式
 欠账处理：Wave 收尾时顺手同步对应模块卡，不必为此停下。变更索引类条目追加到卡同目录 \`<module>.changelog.md\` sidecar（无则创建；可先跑 \`sillyspec modules split-changelog\` 迁出历史段）——勿把历史条目堆回模块卡正文（卡是子代理的读取税）。
 ⚠️ **铁律：模块卡 / sidecar 一律写主仓绝对路径 \`{SPEC_ROOT}/docs/<project>/modules/\`（CLI 已替换为绝对路径）**——在 worktree 内执行时**绝不**写 worktree checkout 出来的 \`.sillyspec\` 副本（该副本随 worktree cleanup 整目录蒸发，主仓永远读不到；2026-09-10 实证 task-13 子代理写副本、归档阶段被迫 checkout 补救）。
 
+### 歧义裁决权限（非破坏性自行裁决+记录，破坏性停人）
+执行中撞到 plan/design 歧义或冲突（任务描述与代码现实不符、两任务契约打架、design 未覆盖的边界情况）时按破坏性分级处理，不要一律停下等用户、也不要静默猜测（外部实测：可控歧义一律停人导致执行会话停摆 9 小时）：
+- **非破坏性歧义**（可逆、局部、不改既有 D-xxx 决策语义、不越 allowed_paths 边界、不删不改他人模块）：自行裁决继续干。裁决落盘 \`{SPEC_ROOT}/changes/<变更名>/decisions.md\` 新条目（接续既有最大编号，格式 \`## D-xxx@v1: <短标题>\`，正文含歧义描述/选择/理由/影响 task），并在该 Wave 完成输出中披露「执行期裁决 N 条：D-xxx…」——review/verify 据此对账。⚠️ decisions.md 一律写**主仓** \`{SPEC_ROOT}\` 绝对路径（CLI 已替换），勿写 worktree checkout 的 \`.sillyspec\` 副本（随 cleanup 蒸发，同模块卡铁律）。
+- **破坏性/不可逆动作**（删数据/重写他人模块、改共享配置或门禁、跳过测试、扩大 allowed_paths 边界、推翻既有 D-xxx 决策、跨仓联动）：禁止自行裁决，\`sillyspec run execute --wait --reason "<冲突描述>" --options "<裁决A>,<裁决B>,需要更多上下文"\` 停人。
+- 拿不准是否破坏性 → 按破坏性处理（fail-closed）；同一歧义重复出现 → 引用既有 D-xxx，不重复裁决。
+
 ### 铁律
 - **不要询问用户确认频率**，默认 wave 模式；用户已明确口头指定时遵从其指定`,
     outputHint: 'Wave 分组 + 模型分配',
@@ -422,6 +428,7 @@ const acceptanceSteps = [
 tier: {REVIEW_TIER}（{REVIEW_TIER_REASON}）
 - tier=self：当前 agent 汇总执行（对照 design.md 逐项检查 + 偏差说明）
 - tier=independent：必须用 Agent tool 启动一个独立的 QA 子代理（独立上下文，不共享实现者的分析），子代理对照 design.md 逐项检查实现一致性并输出 review.json。review.json 产物契约（CLI Stage Review Gate 将硬校验，schema + 完整示例 + docHash 算法如下，照抄改值；reviewedFiles 除主文档 design.md 外可追加 git diff 涉及的源码文件）:
+{PRIOR_REVIEW_FACTS}
   宿主环境无 Agent tool 可用（调用报 Unknown agent / Available agents: none）→ 不卡死：主代理切换为审查者角色自审替代，reviewerNotes 首行记录「降级：环境无子代理可用」，逐条结论附源码锚点（file:line 或 grep/read 证据）补偿独立性。
 {REVIEW_JSON_CONTRACT}
   该 acceptance review 同时覆盖"代码审查"视角（风格/bug/安全/冗余），后续代码审查步骤仅需轻量复审。
@@ -430,6 +437,7 @@ tier: {REVIEW_TIER}（{REVIEW_TIER_REASON}）
 ${REVIEW_CHECKLISTS.execute.map((item, index) => '  ' + (index + 1) + '. ' + item).join('\n')}
 
   **产物唯一化（省重复消耗）**：本步逐项对照结论**只落盘一份**——直接写进 review.json 的 \`checklist\` 数组（item=设计要点/FR/决策，note=实现状态 ✅/⚠️/❌ + 偏差说明 + commit 锚点），reviewerNotes 写汇总。**不要**另写独立的 design-check.md 长文（同一份 design×diff 二次消费；2026-08-22 实测该重复一遍 ≈8 分钟全量重读）。
+  **执行纪律（坑 review-subagent-stall，2026-09-15 wp EHS 会话实证）**：brainstorm/plan 阶段已实证的结论（既往 stage-review checklist pass 项、file:line 锚点）直接引用勿重验；必读材料读完即逐条出结论落盘，仅结论存疑时定向补证，禁止循环扩大核验面（连续读文件 10+ 次仍零结论 = 基于已读材料立即收敛）。QA 子代理写操作持续被平台拒绝（session not in running turn 类）→ 重试 ≤3 次即停，完整结论（含 review.json 全文）回传主代理代落盘，reviewerNotes 首行留痕「代落盘：子代理写通道故障」；禁止长时间空转重试。
   **gate 重试修复**：review.json 落盘后若 design.md 又有改版，gate 会**自动机械重算 docHash 放行**（verdict/checklist 保留，结论是否仍适用于新文档需人工确认）——**不要重做审查**（重做=同一材料第三遍）；主文档路径错/缺失不会被自动修复，按 gate 报错修正 reviewedFiles[0]，或跑 \`sillyspec register-stage-review --change <变更名> --stage execute --refresh-hash\`。
 
 ### 操作
@@ -652,7 +660,8 @@ function parseWavesFromPlan(planContent, registry = []) {
   } catch { /* 告警失败不阻断解析 */ }
 
   // 无显式 Wave 结构但注册表非空（light 级：任务全在 tasks.md、plan.md 只留策略）→
-  // 合成单隐式 Wave 收容全部任务（与旧 light `## Tasks` 隐式收容语义对齐，单 Wave 串行执行）
+  // 合成单隐式 Wave 收容全部任务（与旧 light `## Tasks` 隐式收容语义对齐，单 Wave 串行
+  // 执行——现为真实行为：buildWavePrompt 对 implicit Wave 下发串行调度指令，2026-09-17-feedback-hardening D-003@v1）
   if (waves.length === 0 && registry.length > 0) {
     waves.push({ index: 1, implicit: true, tasks: registry.map(t => ({ ...t })) })
   }
@@ -1013,6 +1022,30 @@ ${indexLines}
     }
   } catch { /* 热区提取 best-effort：失败不注入 */ }
 
+  // ── 全局硬约束段（ql-20260917-002，Superpowers v6.0 writing-plans 采纳④）：plan.md
+  // 「## 全局硬约束」段机械提取，作为子代理 prompt 要点第 9 条逐字下发——实现者子代理
+  // 只读自己的任务卡 + 本段，不重读 design 全文；designHotzone 只达 Wave 协调者层，本段
+  // 补齐子代理触达。advisory：段缺省/空体/提取失败零注入零阻断（对齐 hotzone 模式）；
+  // 超 2400 字截断（全文让子代理读 plan.md 该段）。
+  let globalConstraintsBlock = ''
+  try {
+    if (changeDir) {
+      const planLines = memo('planLines', () => {
+        const pp = path.join(changeDir, 'plan.md')
+        return existsSync(pp) ? readFileSync(pp, 'utf8').replace(/\r\n/g, '\n').split('\n') : []
+      })
+      const gcStart = planLines.findIndex(l => /^##\s*全局硬约束/.test(l))
+      if (gcStart >= 0) {
+        const gcEnd = planLines.findIndex((l, i) => i > gcStart && /^##\s+/.test(l))
+        const gcBody = planLines.slice(gcStart + 1, gcEnd < 0 ? planLines.length : gcEnd).join('\n').trim()
+        if (gcBody) {
+          const capped = gcBody.length > 2400 ? gcBody.slice(0, 2400) + '\n…（超 2400 字截断，全文读 plan.md 该段）' : gcBody
+          globalConstraintsBlock = `\n9. **全局硬约束（plan.md 逐字下发，每个子代理必须遵守——与本 task 蓝图冲突时以本段为准并上报主代理）**：\n\n${capped}\n`
+        }
+      }
+    }
+  } catch { /* 全局硬约束提取 best-effort：失败不注入 */ }
+
   // ── 决策锚点触碰事实（W-A 主渲染点，D-003）：changedFiles 口径与 run/prompt.js {DOCS_DEBT}
   // 现算同源——collectExecuteChangedFiles（porcelain 未提交 ∪ baseline..HEAD）唯一实现，勿双写。
   // 单过流程前缀第 4 步渲染 {DOCS_DEBT} 时 changedFiles 恒空，Wave 步（重入/续跑时已含前置
@@ -1231,7 +1264,25 @@ ${workdirLines}
   }
   // dispatchMode === 'local'（无配置）或 worktreePath 为空 → dispatchSection = '' → 输出与改前字节一致（零回归）
 
-  return `## Wave ${waveIndex}: 执行以下任务
+  // ── 隐式 Wave 串行化（2026-09-17-feedback-hardening D-003@v1）：plan.md 无显式 Wave 划分时
+  // parseWavesFromPlan 合成的 implicit Wave 未做过文件正交/契约链核查，并行不安全——prompt 层
+  // 下发串行调度指令（头标注 + 角色清单 + 调度要求铁律 + batch 条件 2 括注收敛，防同 prompt
+  // 自相矛盾）。显式 Wave 走原文条件变量，输出与改前逐字节一致（零回归）。
+  const implicit = wave.implicit === true
+  const waveHeader = implicit
+    ? `## Wave ${waveIndex}（隐式合成——plan.md 无显式 Wave 划分，串行执行）: 执行以下任务`
+    : `## Wave ${waveIndex}: 执行以下任务`
+  const batchCond2 = implicit
+    ? `- 组内任意两个 task 之间无 provides / expects_from 契约链（契约 task 禁止同批——串行实现会读到半成品，契约 task 由独立子代理逐个（串行）处理或落在不同批次）`
+    : `- 组内任意两个 task 之间无 provides / expects_from 契约链（契约 task 禁止同批——串行实现会读到半成品，契约 task 由独立子代理并行处理或落在不同 Wave）`
+  const roleItem1 = implicit
+    ? `1. 为每个任务启动一个子代理（Agent tool），或按上述三条件把多个任务合并为一个 batch 子代理，逐个完成（串行——启动一个、等它完成并审查后再启动下一个，见「调度要求」串行铁律）`
+    : `1. 为每个任务启动一个子代理（Agent tool），或按上述三条件把多个任务合并为一个 batch 子代理，同 Wave 内可并行`
+  const scheduleItem1 = implicit
+    ? `1. **隐式 Wave 串行铁律**：本 Wave 由 plan.md 无显式 Wave 划分时合成——任务一律逐个完成（单子代理串行逐个实现，或逐个启动子代理并等待其完成再启动下一个），**禁止并行启动**（未做过文件正交/契约链核查，并行不安全；需要并行收益请在 plan.md 显式划分 Wave）。`
+    : `1. **同一 Wave 的多个子代理（独立或 batch）必须并行启动，batch 内部串行**（batch 分组仅按文件正交 / 无契约链判定，不改变 Wave 依赖语义——Wave 定义=无依赖可并行；有依赖应在 plan.md 的不同 Wave 中）。`
+
+  return `${waveHeader}
 
 ## 执行方式
 
@@ -1239,13 +1290,13 @@ ${workdirLines}
 
 可选 batch（合并实现）：同一 Wave 内，若一组任务同时满足以下三个条件，可把它们合并为一个 batch（最多 3 个 task），交给单个子代理串行逐个完成实现：
 - 组内任意两个 task 的 allowed_paths 无交集（文件正交）
-- 组内任意两个 task 之间无 provides / expects_from 契约链（契约 task 禁止同批——串行实现会读到半成品，契约 task 由独立子代理并行处理或落在不同 Wave）
+${batchCond2}
 - 组大小不超过 3 个 task
 
 任一条件不满足，该 task 走独立子代理（默认形态）；拿不准就不合并。无论独立还是 batch，实现一律由子代理完成，你不要自己写代码。
 
 你的角色是调度者 + 审查者（batch 只合并实现、不合并审查）：
-1. 为每个任务启动一个子代理（Agent tool），或按上述三条件把多个任务合并为一个 batch 子代理，同 Wave 内可并行
+${roleItem1}
 2. 子代理完成后审查结果——batch 子代理只做实现与自验，task 审查、review.json 产出与 checkbox 勾选仍归你（主 agent），在子代理返回后逐 task 进行；审查 batch 报告时逐 task 对照 allowed_paths 检查改动文件清单有无越权
 3. checkbox 由 CLI 自动勾选（review write 落盘即按 verdict 勾选 tasks.md；勿手动勾选）
 4. 记录改动文件和测试结果
@@ -1267,7 +1318,7 @@ ${taskSummary}
 6. **增量落盘与中断接手指引**：每完成一个可见产出（代码/测试/文档），立即写盘并执行一次最小验证（如语法检查、单跑相关测试）。工作过程中如被 429/API 配额/会话中断，应在最终回复里输出「已完成清单」（含文件路径、测试命令、当前卡点），不要只输出结论——主代理会依据磁盘产物和该清单判断哪些部分已完成，哪些需接手补做，避免重做已落盘的工作
 7. **任务边界铁律**：严格只实现本 task 的 \`allowed_paths\` 内文件；若 design.md/plan.md 明确指定了接口/回调/钩子接入位置，必须逐字遵守；不允许顺手实现其他 task 的内容（如 task-01 不要把 task-02 的接入也做了）。如发现必须改其他 task 文件才能继续，先回到主代理由主代理决定是否重分 Wave 或调整 plan，禁止子代理私自越界
 8. **batch 子代理协议**（仅当按「执行方式」节条件合并 batch 时附加进该子代理 prompt）：按 batch 内 task 顺序逐个完成实现闭环——读取 tasks/task-N.md → 实现 → 跑该 task 的 verify 命令 → 记录该 task 报告（改动文件清单 / verify 结果 / 卡点）→ 才开始下一个 task；最终回复输出逐 task 报告清单。禁止写 review.json、禁止勾选 tasks.md checkbox——task 审查与勾选归主 agent，在子代理返回后逐 task 进行。越权即停：发现必须改 batch 内其他 task 或任何 batch 外 task 的 allowed_paths 文件 → 立即停止本 task 及后续，报告冲突文件与卡点，回主 agent 裁决（重分 Wave / 调整 plan / 回退独立子代理）。第 7 条任务边界铁律在 batch 语境下的「本 task」= 当前正在实现的 task
-
+${globalConstraintsBlock}
 {{include: testcase-design}}
 
 ${designHotzone}${decisionTouchSection}${waveKnowledgeSection}
@@ -1281,6 +1332,9 @@ ${waveStartItem1}
    - 🌡️ 温上下文：CONVENTIONS.md + ARCHITECTURE.md（需要时加载）
    - ❄️ 冷上下文：其他变更的 design.md、历史 plan.md（不要主动加载，除非明确需要）
 
+### 歧义裁决（撞到 plan/design 歧义或冲突时）
+非破坏性歧义（可逆、局部、不越界、不推翻 D-xxx）→ 主代理自行裁决继续：裁决写主仓 \`{SPEC_ROOT}/changes/<变更名>/decisions.md\` 新条目（\`## D-xxx@v1: <短标题>\` 接续编号，正文=歧义/选择/理由/影响 task），本 Wave 完成输出披露「执行期裁决 N 条」；review/verify 据此对账。破坏性/不可逆（删数据/重写他人模块、改共享配置或门禁、跳过测试、扩 allowed_paths、推翻既有决策、跨仓联动）→ \`sillyspec run execute --wait\` 停人。拿不准 → 按破坏性（fail-closed）；重复歧义引用既有 D-xxx。子代理报告的冲突（越界类）回主代理裁决，**子代理不自行记 decisions**。
+
 ### 中断续跑（如曾中断恢复）
 execute 按 Wave 持久化进度，task 级进度靠 tasks.md checkbox 勾选。若本 Wave 曾因 429/API 配额/崩溃中断：
 - tasks.md 中**已勾选 \`- [x]\` 的 task 已完成，跳过不重跑**（子代理也可能在完成前中断，重跑前先确认该 task 产出文件是否完整）
@@ -1292,7 +1346,7 @@ ${contractInjection}${prototypeInjection}
 ${taskList}
 
 ### 调度要求
-1. **同一 Wave 的多个子代理（独立或 batch）必须并行启动，batch 内部串行**（batch 分组仅按文件正交 / 无契约链判定，不改变 Wave 依赖语义——Wave 定义=无依赖可并行；有依赖应在 plan.md 的不同 Wave 中）。
+${scheduleItem1}
 2. **Reverse Sync**：子代理报告实现与 design.md 不一致时，先检查是代码错了还是文档有遗漏
 3. **不要频繁编译！** 编译很慢，只在以下情况运行：
    - 写了大量代码后需要验证语法正确性

package/src/stages/plan-postcheck.js

@@ -216,6 +216,32 @@ export function parseHeadCommit(content) {
   return parseFrontmatterScalar(content, 'head_commit')
 }
 
+/**
+ * frontmatter 顶层键重复检测（纯函数，无 IO，2026-09-16-friction5-hardening FR-02 / D-004@v1）。
+ *
+ * 坑锚定（用户 2026-09-16 驾驭小结②）：taskcard 骨架双来源反填 depends_on（tasks.md 行内
+ * 注解 + plan.md Wave 兜底）后 agent 又重复手填同键——js-yaml 4 对重复映射键 throw，本文件
+ * 四处 jsYaml.load 的 catch 全部静默降级（blueprint 契约空 / repo=null / 命令不校验 /
+ * Wave proposal best-effort 跳过 = 吞字段），parseDependsOn 正则又只取首个命中——重复键在
+ * 下游全链路静默失真，只能在 feasibility 入口单点拦截。行首 ^key: 顶格锚定：块列表项
+ * （- x）与缩进子键天然不匹配；goal: > 折叠块的缩进续行不匹配（顶格续行属罕见畸形，
+ * 宁报错不漏报——fail-closed）。
+ * @param {string} fmText frontmatter 文本（--- 之间的内容；CRLF 入口归一，同 parseDependsOn 惯例）
+ * @returns {Array<{key: string, lines: number[]}>} 出现 ≥2 次的顶层键及其行号（1-based，相对 fmText）
+ */
+export function detectDuplicateTopKeys(fmText) {
+  const keyLines = new Map()
+  String(fmText || '').replace(/\r\n/g, '\n').split('\n').forEach((line, idx) => {
+    const m = line.match(/^([A-Za-z_][\w-]*):/)
+    if (!m) return
+    if (!keyLines.has(m[1])) keyLines.set(m[1], [])
+    keyLines.get(m[1]).push(idx + 1)
+  })
+  return [...keyLines.entries()]
+    .filter(([, lines]) => lines.length >= 2)
+    .map(([key, lines]) => ({ key, lines }))
+}
+
 /**
  * 从 local.yaml 文本解析 repos: 段（跨仓 workspace 注册表）。
  * 与 parseLocalYamlModules 同风格（轻量行扫描，不引 yaml 依赖），结构 Map<repoKey, absolutePath>。
@@ -397,7 +423,8 @@ export function topoSortWaves(depMap) {
  *   - `## Wave N` 标题下的 task-XX checkbox 归入 Wave N；
  *   - 非 Wave 标题行（## 自检 等）退出当前 Wave 段，避免其 checkbox 混入。
  * 返回 null = plan.md 不存在或无显式 Wave 标题 → execute 会把所有 task 放进单个隐式 Wave
- * 全并行（execute.js:402-408），调用方据此判「同文件即冲突」。
+ * 串行执行（共享文件安全，2026-09-17-feedback-hardening D-003@v1），调用方据此降为 warning
+ * （显式划分 Wave 才有按组并行收益；同 Wave 内共享文件仍 error）。
  *
  * @param {string} planPath - plan.md 绝对路径
  * @returns {Map<string, number>|null} taskId → waveIndex；null = 无显式 Wave
@@ -562,15 +589,16 @@ export function validateBlueprintConsistency(changeDir, opts = {}) {
   // 子代理会互相覆盖该文件 → error。跨 Wave 同文件 → 串行执行安全 → warning。
   // 按 (repo, path) 二元组判冲突（约束③）：跨仓 task 与主仓 task 同名路径不误判（不同 repo → 不同键）。
   // Wave 口径 = plan.md 显式 `## Wave N`（parseTaskWavesFromPlan，与 execute 同源，非 topoSort 建议值）；
-  // plan.md 无显式 Wave → execute 全并行（隐式单 Wave，execute.js:402-408）→ 同 repo 同文件即冲突。
+  // plan.md 无显式 Wave → execute 按单个隐式 Wave 串行执行（2026-09-17-feedback-hardening
+  // D-003@v1，共享文件安全）→ warning（显式划分 Wave 可获并行收益；同 Wave 内共享仍 error）。
   const waveOfTask = parseTaskWavesFromPlan(pJoin(changeDir, 'plan.md'))
   for (const [, { repo, path: p, owners }] of pathOwners) {
     if (owners.length < 2) continue
     if (waveOfTask === null) {
-      errors.push(
+      warnings.push(
         `路径 ${p} 被 ${owners.length} 个 task 修改: ${owners.join(', ')} — plan.md 无显式 Wave 划分，` +
-        `execute 会把它们放进同一隐式 Wave 全并行（execute.js:402-408），子代理互相覆盖。` +
-        `解法：拆到不同 Wave（串行），或合并为单个 task。`
+        `execute 将按单个隐式 Wave 串行执行（共享文件安全）。` +
+        `显式划分 Wave 可获并行收益（同 Wave 内仍禁止共享文件）；或合并为单个 task`
       )
       continue
     }
@@ -1263,6 +1291,15 @@ export function validatePlanFeasibility(changeDir, projectRoot = null) {
     const fm = fmMatch[1]
     const body = content.slice(fmMatch[0].length)
 
+    // 0. 顶层键重复检测（FR-02 / D-004@v1，坑见 detectDuplicateTopKeys jsdoc：骨架反填
+    // depends_on 后 agent 重复手填 → js-yaml throw 被四处 catch 静默吞字段，只能在入口拦截）。
+    // 先于必要字段检查——重复键会令下游 jsYaml.load 全链路失真，属最高优先级形态错误。
+    const dupTaskId = (fm.match(/^id:\s*(.+)/m)?.[1] || '').trim()
+    const dupKeys = detectDuplicateTopKeys(fm)
+    for (const dup of dupKeys) {
+      errors.push(`${dupTaskId || file}: frontmatter 顶层键 ${dup.key} 重复出现 ${dup.lines.length} 次（L${dup.lines.join('、L')}）——骨架已自动反填的键（如 depends_on）勿重复手填，保留正确一处删除其余`)
+    }
+
     // 1. 必要字段检查
     const taskId = (fm.match(/^id:\s*(.+)/m)?.[1] || '').trim()
     const title = (fm.match(/^title:\s*(.+)/m)?.[1] || '').trim()

package/src/stages/plan.js

@@ -245,6 +245,10 @@ plan_level: full
 ## 关键路径
 task-01 → task-03（最长路径，决定最短交付周期）
 
+## 全局硬约束（从 design.md 逐字抄录，绑定所有 task）
+- （逐字抄录 design.md 中绑定**每个** task 的硬约束：版本底线 / 依赖限制 / 命名与文案 / 精确值 / 兼容策略 / 非目标边界——执行期子代理只读自己的任务卡 + 本段、不重读 design 全文，抄录失真 = 执行期偏差源头；无跨 task 硬约束时可省略本段）
+- 示例：Node ≥ 20；禁止新增运行时依赖；错误文案一律中文
+
 ## 全局验收标准
 1. 所有单元测试通过
 2. 集成敏感 task（路由/layout/跨进程装配）建议加集成冒烟验收——组件单测全绿 ≠ 集成正确
@@ -263,7 +267,7 @@ full 计划的约束：
 - **禁止**泛泛风险分析（"需要充分测试"类废话转为具体验收条目）
 - Mermaid 依赖关系图**仅当依赖关系非平凡时生成**（线性依赖或全并行时不生成）
 - **Wave 段 ID 引用行必须保留**（\`- task-XX\` 纯 ID、无 checkbox 无任务名——机器解析依赖；任务名唯一真相在 tasks.md，plan.md 重抄即双写漂移）
-- plan.md 包含 Wave 分组 + 任务总表 + 关键路径 + 全局验收标准，**不放实现细节**
+- plan.md 包含 Wave 分组 + 任务总表 + 关键路径 + 全局硬约束（design 有跨 task 硬约束时逐字抄录）+ 全局验收标准，**不放实现细节**
 - 如果存在 decisions.md，plan.md 建议包含当前版本 D-xxx@vN/FR-xxx 覆盖矩阵（CLI 只校验 D-xxx@vN/FR-xxx ID 字面出现在 plan.md，warning 不阻断；矩阵的 D→FR→task 映射完整性供人类追溯，CLI 不校验——勿以为画了矩阵就被结构校验）
 - 如果存在 P0/P1 unresolved blocker，不生成 plan.md，输出阻塞清单
 - 实现细节写到后续的 tasks/task-NN.md 中
@@ -338,12 +342,15 @@ tier: {REVIEW_TIER}（{REVIEW_TIER_REASON}）
 ${REVIEW_CHECKLISTS.plan.map((item) => '- [ ] ' + item).join('\n')}
 
 ### tier=independent 时：启动 plan-review 子代理
+{PRIOR_REVIEW_FACTS}
 用 Agent tool 启动子代理（subagent_type: general），prompt 要点：
 1. 独立读取 {SPEC_ROOT}/changes/<change>/plan.md + design.md + tasks/*.md（不要让生成者喂结论给你，自己读原始文件）
 2. 执行上方审查清单，每条给 pass/gap/fail + 证据
 3. 输出 review.json(CLI Stage Review Gate 将硬校验,契约如下 —— schema + 完整示例 + docHash 算法,照抄改值):
 {REVIEW_JSON_CONTRACT}
 4. verdict=fail 时在 reviewerNotes 写明阻断项
+5. 执行纪律（坑 review-subagent-stall，2026-09-15 wp EHS 会话实证：plan 审查重核三仓源码 94 分钟不收敛——brainstorm 阶段已两轮实证的结论被全量重验）：brainstorm 阶段 design review 已实证的结论（checklist pass 项、file:line 锚点）**直接引用勿重验**，本阶段只审 plan 特有面（任务拆分/依赖/契约/规模映射）；必读材料读完即逐条出结论落盘，仅结论存疑时定向补证，禁止循环扩大核验面（连续读文件 10+ 次仍零结论 = 基于已读材料立即收敛）。
+6. 写通道降级：写操作持续被平台拒绝（session not in running turn 类）→ 重试 ≤3 次即停，完整结论（含 review.json 全文）作为最终文本回传主代理代落盘，reviewerNotes 首行留痕「代落盘：子代理写通道故障」；禁止长时间空转重试。
 
 ### module-impact.md 首版（scale≠small 时：CLI 自动生成，审查步勿手写）
 module-impact.md 首版**由 CLI 在本阶段 --done 时自动生成**——文件×模块归属按 _module-map.yaml 前缀匹配机械预填，章节含「## 模块影响矩阵」「## 未匹配文件」「## 更新结果」表骨架（每受影响模块一行 pending），影响类型列留 <!--TODO--> 由 execute/verify 按实际 diff 回填。已存在不覆盖。手写整份首版是历史返工根源（章节标题变体会被 archive contains_sections 硬拦），**本步不要手写**。

package/src/stages/quick.js

@@ -114,7 +114,7 @@ sillyspec run quick --done --change <id> --req "…" --cause "…" --solution "
 
 格式：\`path::括注\` 一条，\`||\` 分隔多条（括注可省略只留 \`path\`）。不传则「文件：」行回填审计到的实际改动文件单行（仍可事后手改）。
 
-> ⚠️ --file-notes 只随 step3 --done 同一命令传才生效。CLI 是短进程，run 与 done 是独立进程——step1/step2 的 sillyspec run quick（仅拿提示词）即使带了 --file-notes，也只写进那个短进程的内存、进程结束即丢，不会带到 step3 --done。请在 step3 收尾时连同 --output 一起传。
+> ⚠️ --file-notes 只随 step3 --done 同一命令传才生效。CLI 是短进程，run 与 done 是独立进程——step1/step2 的 sillyspec run quick（仅拿提示词）带 --file-notes 会被直接拒绝执行（去掉该参数重跑本条命令即可，进度不丢）。请在 step3 收尾时连同四字段一起传。
 
 ### 收尾推荐顺序（模块文档在 --done 前，QUICKLOG 在 --done 后，别记混）
 1. 【--done 前】命中模块 → 改模块文档 → \`git add -- <模块文档>\`（见下方「模块文档同步」）
@@ -153,13 +153,13 @@ sillyspec run quick --done --change <id> --req "…" --cause "…" --solution "
 CLI 落盘的条目已是结构化产物（非简版骨架）：标题从「需求：」自动提取、正文四字段自动分行、文件行用 --file-notes 时为多行括注。--done 后只需核对，多数情况无需手改：
 
 1. 标题：CLI 已从「需求：」提取（截到首个标点、超 80 字截断）；按 step3 模板写成一句语义化短标题则无需手改，写成长句被截断时才手改。
-2. 文件：用了 --file-notes 已是多行括注；没传则回填审计到的实际文件单行，可事后补括注（示例见下）。
+2. 文件：用了 --file-notes 已是多行括注；没传则回填审计到的实际文件单行，可事后补括注（格式见下）。
 3. 正文：四字段已分行落盘，按需扩写充实（不允许只留一段「结果：」）。
 
-补括注示例（仅当没用 --file-notes、想事后补时）：
+补括注格式（**虚构占位示例，非任何会话的真实条目**——多会话并行时勿把下面两行误认成本 quick 的改动文件，核对对象永远是 QUICKLOG 中本会话 <quicklog-id> 条目的「文件：」行；仅当没用 --file-notes、想事后补时参照此格式）：
    文件：
-   - backend/app/modules/auth/router.py（登录端点串 check_rate_limit→assert_captcha_if_needed）
-   - backend/app/modules/auth/captcha_service.py（新建：限流 INCR + 失败计数 + Pillow 滑块生成/校验）
+   - <path/to/改动文件>（一句话括注：该文件改了什么，可含串入的调用链）
+   - <path/to/新建文件>（新建：职责一句话）
 
 一条 quick = 一条独立 ql 条目；核对只动本次 <quicklog-id> 条目，不追加到旧条目。QUICKLOG 在 .sillyspec/quicklog/（git 跟踪，--done 后需提交），核对不影响 --done 已通过的边界审计。`,
       outputHint: '暂存和记录确认',

package/src/stages/verify.js

@@ -160,7 +160,7 @@ export const definition = {
 2. 如果存在：
    - 逐个读取 tasks/task-NN.md，对照 frontmatter 的 \`acceptance:\` 列表逐条核验（TaskCard 协议的验收标准在 frontmatter YAML，正文无 checkbox）
    - 每条 acceptance 对照实际实现/测试结果判定满足与否，未满足的项列为不通过
-   - 覆盖对账走探针 7 矩阵：verify-result.md「探针 7：验收×测试覆盖矩阵」段已由 CLI 预填归属测试文件与关键词提示（骨架未生成时先跑 \`sillyspec verify-probes --change <change-name> --init\`，幂等不覆盖已有正文）；逐行填判定（covered/partial/uncovered/non-testable 四选一）与证据——covered/partial 附测试锚点（\`.test.\` 文件或 file:line），non-testable 写一句理由；判定/证据未填会被 verify \`--done\` 门禁阻断（fail-closed）
+   - 覆盖对账走探针 7 矩阵：verify-result.md「探针 7：验收×测试覆盖矩阵」段已由 CLI 预填归属测试文件与关键词提示（骨架未生成时先跑 \`sillyspec verify-probes --change <change-name> --init\`，幂等不覆盖已有正文）；逐行填判定（covered/partial/uncovered/non-testable 四选一）与证据——covered/partial 附测试锚点（file:line / \`.test.\` 测试文件名 / 反引号包裹的路径或测试名，行号可省），non-testable 写一句理由；判定/证据未填会被 verify \`--done\` 门禁阻断（fail-closed）
 3. 如果不存在：跳过此步骤
 
 ### 输出
@@ -200,13 +200,14 @@ export const definition = {
 4. **预填探针段不可篡改或删除**：verify \`--done\` gate 会重跑探针对比 verify-result.md 正文，不符即拦（ERROR）；对探针结果有异议只能在预填段旁追加说明，不得改写原文
 5. **verify-facts.json 为机器底稿，勿手改**：防篡改对比的基准是正文，改底稿无意义
 6. 给出结论：PASS / PASS WITH NOTES / FAIL（受风险门控约束）——**结论只认骨架「结论枚举：」槽行（行首锚定，把 <待填：三选一> 整体替换为枚举值）；槽留待填会被 gate 判不过，正文其他位置的 PASS/FAIL 字样不参与判定**
+   - **结论想写 PASS 前自查四事实条件（PASS 封顶语义，--done 门禁按 verify-facts.json 实拦）**：①集成实测未跑 ②「## 移交项（结构化）」含 blocking 级行 ③db/**/*.sql 未声明执行（verify-result.md 无「已对目标库执行」声明、回执 command 亦不含该文件）④验收×测试覆盖矩阵含 partial/uncovered 行且移交项零有效行——任一成立即不得写 PASS：改写 PASS WITH NOTES 并在「## 移交项（结构化）」表格如实分行（类型枚举 env-blocked/manual-acceptance/db-script/other）。severity 口径：db-script/env-blocked 恒 blocking；manual-acceptance/other 默认 advisory、须显式标 blocking 才计入封顶；确需把 blocking 降为 advisory 必须附「（降级：<理由>，依据 <file:line 或 D-xxx>）」
 7. **核对 module-impact.md**（若 \`{SPEC_ROOT}/changes/<change>/module-impact.md\` 存在）：对照本次实际代码变更（git diff）与 module-impact.md 的模块影响矩阵，发现不一致（漏标受影响模块 / 影响类型错误 / 实际未触碰的模块被误标）则在 verify-result.md 标注。module-impact 由 plan 首版生成、execute 各 Wave 更新，verify 是最后一次核对机会（archive 仅终审不再生成）。这是 advisory 核对（不阻断 verify 完成），但 module-impact 与实际严重背离应记为风险。
 
 ### verify-result.md 章节结构（骨架已含，占位替换即可）
 
 结论（PASS / PASS WITH NOTES / FAIL）→ 证据账（cannot_verify 任务，槽段）→ 集成验证回执（槽段）→ 任务完成度 → 设计一致性 → 探针结果（已预填）→ 测试结果 → 决策追踪矩阵（\`| 决策 ID | FR | Task | Evidence | 状态 |\`，存在 decisions.md 才留）→ 技术债务 → 变更风险等级 → Runtime Evidence → 代码审查。
 
-**「## 集成验证回执」槽行结构**（integration/deployment-critical 变更必填；其余写「无」）：\`- claim: <一句话> | command: <命令> | exit: <0 或非 0> | log: <日志路径>\`——CLI 一致性校验四条件：log 存在 × mtime 在 verify 窗口内 × 日志尾无失败签名（error/exception/traceback/fatal 行首，剔除「0 errors」类良性行）× exit 0；全绿才算在场证据，字面措辞不再参与判定（v2 起 literals 仅存量回退）。CLI 不代跑集成进程——回执必须来自你真实执行过的命令。
+**「## 集成验证回执」槽行结构**（integration/deployment-critical 变更必填；其余写「无」）双形态二选一（多行 YAML 形态推荐，字段序无关）：\n- claim: <一句话>\n  command: <命令>\n  exit: <0 或非 0>\n  log: <日志路径>\n亦认单行管道形态：\`- claim: <一句话> | command: <命令> | exit: <0 或非 0> | log: <日志路径>\`——CLI 一致性校验四条件：log 存在 × mtime 在 verify 窗口内 × 日志尾无失败签名（error/exception/traceback/fatal 行首，剔除「0 errors」类良性行）× exit 0；全绿才算在场证据，字面措辞不再参与判定（v2 起 literals 仅存量回退）。CLI 不代跑集成进程——回执必须来自你真实执行过的命令。
 
 **Runtime Evidence 行结构**（integration/deployment-critical 必填；按实际触碰的运行时组件写，未涉及的行写「不涉及」勿堆关键词）：长驻进程启动命令 / 触碰的服务端点 / 触发核心路径的请求（附关键响应）/ 进程日志关键片段（证明走了新路径）/ 生命周期终态断言（初始态→运行态→终态）/ 失败模式排除（逐条说明为何未触发）。