sillyspec 3.28.9 → 3.28.11

package/src/stages/cmd-existence.js

@@ -13,7 +13,7 @@
  */
 
 import { existsSync, readFileSync } from 'fs'
-import { join } from 'path'
+import { join, isAbsolute } from 'path'
 
 // 提取 `npm|pnpm|yarn run <script>` 命令。
 // 对齐 scan-postcheck:136 的 `/npm run (\S+)/g`，扩展包管理器 + 容忍多空白。
@@ -50,7 +50,12 @@ function readScripts(pkgPath) {
  * 为单条命令计算候选 package.json 路径列表。
  *
  * 规则（blueprint task-02 + design §5 H2）：
- *   - 有 `cd <subdir> &&` 前缀 → 仅查 `<projectRoot>/<subdir>/package.json`（cd 锁定子目录，不回退根）
+ *   - 有 `cd <subdir> &&` 前缀 → 仅查 `<subdir>/package.json`（cd 锁定子目录，不回退根）。
+ *     subdir 为绝对路径（win 盘符 / posix 根）时不再拼 projectRoot——坑
+ *     verify-cmd-absolute-cd-path（2026-09-15 wp 会话实证）：跨仓 task 卡 verify 写
+ *     `cd E:/PZwangge/sub-grid-security && npm run lint`，join(主仓根, 'E:/...') 拼出
+ *     病态路径 → package.json 恒 missing → 真实命令被误判死命令，agent 只能改写成
+ *     ../ 相对路径绕过
  *   - 无前缀 + modules 块提供 → 查每个 module.path 的子包 + 根 package.json（多候选任一命中即视为存在）
  *   - 无前缀 + 无 modules → 仅查 `<projectRoot>/package.json`
  *
@@ -65,7 +70,8 @@ function resolveCandidates(text, matchIndex, projectRoot, modules) {
   const cdMatch = before.match(CD_PREFIX_RE)
   if (cdMatch) {
     const subdir = cdMatch[1].replace(/^["']|["']$/g, '')
-    return [join(projectRoot, subdir, 'package.json')]
+    const base = isAbsolute(subdir) ? subdir : join(projectRoot, subdir)
+    return [join(base, 'package.json')]
   }
   if (modules && typeof modules === 'object') {
     const candidates = []

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/knowledge.js

@@ -76,10 +76,15 @@ function extractTitle(content) {
 
 export async function cmdSearch(dir, args, opts = {}) {
   const knowledgeDir = resolveKnowledgeDir(dir, opts.specDir)
+  // flag-as-value 防护（坑 knowledge-flag-as-value）：值以 '--' 开头视为漏传（只读命令，
+  // 按缺参处理落入既有 required 校验/默认值，不静默拿 flag 字面量当查询词）
   const queryIdx = args.indexOf('--query')
-  const query = queryIdx >= 0 && args[queryIdx + 1] ? args[queryIdx + 1] : ''
+  const queryRaw = queryIdx >= 0 ? args[queryIdx + 1] : ''
+  const query = queryRaw && !queryRaw.startsWith('--') ? queryRaw : ''
   const limitIdx = args.indexOf('--limit')
-  const limit = limitIdx >= 0 && args[limitIdx + 1] ? parseInt(args[limitIdx + 1]) : 10
+  const limitRaw = limitIdx >= 0 ? args[limitIdx + 1] : ''
+  const parsedLimit = limitRaw && !limitRaw.startsWith('--') ? parseInt(limitRaw, 10) : NaN
+  const limit = Number.isInteger(parsedLimit) && parsedLimit > 0 ? parsedLimit : 10
 
   if (!query) {
     output(false, {}, '--query is required')
@@ -130,8 +135,10 @@ export async function cmdSearch(dir, args, opts = {}) {
 
 export async function cmdInspect(dir, args, opts = {}) {
   const knowledgeDir = resolveKnowledgeDir(dir, opts.specDir)
+  // flag-as-value 防护同 cmdSearch（坑 knowledge-flag-as-value）
   const idIdx = args.indexOf('--id')
-  const id = idIdx >= 0 && args[idIdx + 1] ? args[idIdx + 1] : ''
+  const idRaw = idIdx >= 0 ? args[idIdx + 1] : ''
+  const id = idRaw && !idRaw.startsWith('--') ? idRaw : ''
 
   if (!id) {
     output(false, {}, '--id is required')
@@ -215,6 +222,20 @@ export async function cmdValidate(dir, args, opts = {}) {
         })
       }
     }
+
+    // 2b. flag 形态关键词（坑 knowledge-flag-as-value）：classify 曾把 flag-as-value 的
+    // 字面量 '--file' 写进路由行——目标文件存在、行格式合法，既有检查放行，此处补侦测
+    for (const entry of entries) {
+      const flagKw = entry.keywords.find(kw => kw.startsWith('--'))
+      if (flagKw) {
+        warnings.push({
+          code: 'flag_like_keyword',
+          path: 'knowledge/INDEX.md',
+          display: entry.display,
+          keyword: flagKw,
+        })
+      }
+    }
   }
 
   // 3. 扫描所有 .md 文件，检查是否在 INDEX 中注册

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
     }
@@ -785,12 +813,19 @@ export function parseLocalYamlModules(yamlText) {
  * modules 从 local.yaml 提取（monorepo 子包感知）：无 modules 块时仅查根 package.json
  * （与 scan-postcheck 历史行为一致）；有 modules 块时多候选子包 package.json 任一命中即通过。
  *
+ * 跨仓卡基准根切换（坑 verify-cmd-cross-repo-root，2026-09-15 wp 会话实证）：卡片声明
+ * repo: <key> 时其 verify/implementation 里的路径相对**该仓**根——此前恒用主仓 projectRoot，
+ * 跨仓卡的 `cd src && npm run lint`（src 在跨仓里）解析到主仓 → 误报死命令。repoRegistry
+ * 命中该 key 时以跨仓根为该卡的 projectRoot（modules 是主仓 local.yaml 的相对子包路径，
+ * 跨仓卡不适用，置 null）；repo 未注册时由检查 1 的注册校验报错，此处维持主仓根不重复报。
+ *
  * @param {string} changeDir - 变更目录
  * @param {string} projectRoot - 项目根目录（package.json 查找基准）
  * @param {object|null} modules - local.yaml modules 块（{ name: { path } }），可选
+ * @param {Map<string,string>|null} [repoRegistry=null] - local.yaml repos: 段（跨仓卡基准根解析）
  * @returns {{ ok: boolean, errors: string[], warnings: string[] }}
  */
-export function validateTaskCommands(changeDir, projectRoot, modules = null) {
+export function validateTaskCommands(changeDir, projectRoot, modules = null, repoRegistry = null) {
   const errors = []
   const warnings = []
 
@@ -826,7 +861,16 @@ export function validateTaskCommands(changeDir, projectRoot, modules = null) {
     const text = `${verifyText}\n${implText}`
     if (!text.trim()) continue
 
-    const { invalid } = validateScriptCommands(text, { projectRoot, modules })
+    // 跨仓卡基准根切换（坑 verify-cmd-cross-repo-root）：repo: 命中注册表 → 该卡命令以跨仓
+    // 根解析；modules（主仓相对子包路径）对跨仓卡不适用置 null
+    const cardRepo = parseRepo(content)
+    let cardRoot = projectRoot
+    let cardModules = modules
+    if (cardRepo && cardRepo !== 'main' && repoRegistry && repoRegistry instanceof Map && repoRegistry.has(cardRepo)) {
+      cardRoot = repoRegistry.get(cardRepo)
+      cardModules = null
+    }
+    const { invalid } = validateScriptCommands(text, { projectRoot: cardRoot, modules: cardModules })
     for (const inv of invalid) {
       errors.push(`${taskId}: ${inv.cmd} 命令不存在（${inv.reason}）`)
     }
@@ -880,7 +924,7 @@ const FILE_LIST_SECTION_RE = /^#{2,3}\s*(?:\d+[.)]\s*)?(文件变更清单|变
  * @param {string} designPath - design.md 绝对路径
  * @returns {{ byRepo: Map<string, Set<string>>, hasSegmentHeader: boolean, allFiles: string[], malformedHeaders: string[] }}
  */
-function parseDesignCoverageByRepo(designPath) {
+export function parseDesignCoverageByRepo(designPath) {
   const byRepo = new Map()
   const allFiles = []
   const malformedHeaders = []
@@ -1247,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()
@@ -1619,10 +1672,21 @@ export async function executePlanPostcheck(context) {
   let taskModules = null
   let repoRegistry = null
   if (existsSync(localYamlPath)) {
-    const localYamlText = readFileSync(localYamlPath, 'utf8')
+    const localYamlText = _readFileSync(localYamlPath, 'utf8')
     taskModules = parseLocalYamlModules(localYamlText)
     repoRegistry = parseRepoRegistry(localYamlText)
   }
+  // 坑 register-repo-specbase-split-brain（读侧对齐）：平台模式下 specDir=平台 spec 根，此处
+  // 读 spec 根 local.yaml 的 repos: 而 execute MultiRepoContext 恒读 <cwd>/.sillyspec/local.yaml
+  // ——plan gate 看得到注册、execute 启动却 fail-closed（2026-09-15 wp 会话实证）。项目侧
+  // local.yaml 存在时以它为 repos: 权威（register-repo 写侧已对齐项目侧）；不存在（纯平台
+  // 项目从未建过项目侧文件）维持 spec 根回退，零回归。
+  const projectLocalYamlPath = pJoin(cwd, '.sillyspec', 'local.yaml')
+  if (existsSync(projectLocalYamlPath)) {
+    try {
+      repoRegistry = parseRepoRegistry(_readFileSync(projectLocalYamlPath, 'utf8'))
+    } catch { /* 项目侧读失败维持 spec 根结果 */ }
+  }
 
   // ── 1. 一致性校验 ──
   const consistency = validateBlueprintConsistency(changeDir, { repoRegistry })
@@ -1656,7 +1720,7 @@ export async function executePlanPostcheck(context) {
   // invalid → error 硬阻断，避免 execute 子代理跑死命令（design D-04 / 问题 3）。
   // modules 块可选：无块时仅查根 package.json（与 scan-postcheck 历史行为一致）。
   // local.yaml 已在检查 1 前预读（taskModules），此处直接消费。
-  const taskCmds = validateTaskCommands(changeDir, context.cwd, taskModules)
+  const taskCmds = validateTaskCommands(changeDir, context.cwd, taskModules, repoRegistry)
   if (taskCmds.errors.length > 0) {
     failures.push({
       name: 'TaskCard 命令存在性校验（verify/implementation 的 npm/pnpm/yarn run <script> 不存在）',

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 必填；按实际触碰的运行时组件写，未涉及的行写「不涉及」勿堆关键词）：长驻进程启动命令 / 触碰的服务端点 / 触发核心路径的请求（附关键响应）/ 进程日志关键片段（证明走了新路径）/ 生命周期终态断言（初始态→运行态→终态）/ 失败模式排除（逐条说明为何未触发）。
 

package/src/sync-noise.js

@@ -243,6 +243,60 @@ export function noteChangeDeletedResolved(changeName) {
   }
 }
 
+// ── push 409 自愈回执噪音闸（2026-09-15 复盘反馈：自愈重试不阻断但每步刷屏）──
+// 与 change_deleted 闸同构，按 `${changeName}\u0000${kind}` 键控（kind=自竞态/内容一致/自回声
+// 三类自愈）。语义边界：自愈是成功收敛路径不是故障——base_ts 409 每步自动同步都可能重撞、
+// ts 逐次不同但零新信息；首报完整可见（保留原文 ⚠️ 口吻），10 分钟窗口内同变更同类型重复
+// 自愈静默，窗口过期重报保活。推送成功不自愈清窗（下次 409 首报照常可见——竞态是否复发
+// 本身是信号）；SILLYSPEC_DEBUG_SYNC=1 与手动 platform sync（noMute）旁路。
+const SELF_HEAL_MARKER = 'sync-noise-self-heal.json'
+let _openedSelfHealByThisProcess = new Set()
+const _seenSelfHealInProcess = new Set()
+
+function _readSelfHealWindows() {
+  const p = _runtimeDir ? join(_runtimeDir, SELF_HEAL_MARKER) : null
+  if (!p) return null
+  try {
+    const s = JSON.parse(readFileSync(p, 'utf8'))
+    return s && typeof s === 'object' && !Array.isArray(s) ? s : null
+  } catch { return null }
+}
+
+function _selfHealLineVisible(changeName, kind, noMute) {
+  if (!changeName || noMute || process.env.SILLYSPEC_DEBUG_SYNC) return true
+  const key = changeName + '\u0000' + kind
+  if (_seenSelfHealInProcess.has(key)) return false
+  const now = Date.now()
+  const windows = _readSelfHealWindows()
+  const until = windows ? windows[key] : undefined
+  if (typeof until === 'number' && now < until) {
+    _seenSelfHealInProcess.add(key)
+    // 开窗进程内同类自愈可见（诊断完整性），先前进程留的窗口静默
+    return _openedSelfHealByThisProcess.has(key)
+  }
+  _seenSelfHealInProcess.add(key)
+  const next = windows || {}
+  next[key] = now + MUTE_WINDOW_MS
+  try {
+    mkdirSync(_runtimeDir, { recursive: true })
+    writeFileSync(join(_runtimeDir, SELF_HEAL_MARKER), JSON.stringify(next) + '\n', 'utf8')
+  } catch { /* marker 写失败 = 闸门失效退化为直通，仅损失降噪 */ }
+  _openedSelfHealByThisProcess.add(key)
+  return true
+}
+
+/**
+ * push 409 自愈回执（warn 口吻：首报保留原文 ⚠️，窗口内同变更同类型静默）。
+ * @returns {boolean} true=已输出
+ */
+export function syncSelfHealWarn(changeName, kind, msg, { noMute = false } = {}) {
+  if (_selfHealLineVisible(changeName, kind, noMute)) {
+    console.warn(msg)
+    return true
+  }
+  return false
+}
+
 /**
  * 任意一次同步成功：清 marker。此前处于闸内（marker 存在）时打一行恢复提示——
  * 平台恢复的第一个信号应该可见，之后的成功照常静默（成功不打扰）。
@@ -256,11 +310,13 @@ export function noteSyncSuccess() {
   console.log('[sync] 平台连接已恢复（此前静默的同步失败已停止）')
 }
 
-/** 测试复位：清进程内绑定与开窗状态（连接类闸 + change_deleted 变更级闸）。 */
+/** 测试复位：清进程内绑定与开窗状态（连接类闸 + change_deleted 变更级闸 + 409 自愈闸）。 */
 export function _resetSyncNoiseForTest() {
   _runtimeDir = null
   _openedByThisProcess = false
   _seenInProcess.clear()
   _openedDeletedByThisProcess = new Set()
   _seenDeletedInProcess.clear()
+  _openedSelfHealByThisProcess = new Set()
+  _seenSelfHealInProcess.clear()
 }