sillyspec 3.28.9 → 3.28.10

package/src/stages/plan-postcheck.js

@@ -785,12 +785,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 +833,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 +896,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 = []
@@ -1619,10 +1635,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 +1683,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/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()
 }

package/src/sync.js

@@ -18,7 +18,7 @@ import { safeGit } from './git-helper.js';
 import { openDatabase } from './db-engine.js';
 import { PLATFORM_MANAGED_FILENAME, QUICK_SID_RE } from './run/shared.js';
 import { syncSpecTree } from './spec-sync.js';
-import { bindSyncNoiseFromCwd, syncConnectionWarn, isConnectionClassStatus, noteSyncSuccess, syncChangeDeletedLog, syncChangeDeletedWarn, noteChangeDeletedResolved } from './sync-noise.js';
+import { bindSyncNoiseFromCwd, syncConnectionWarn, isConnectionClassStatus, noteSyncSuccess, syncChangeDeletedLog, syncChangeDeletedWarn, noteChangeDeletedResolved, syncSelfHealWarn } from './sync-noise.js';
 
 // sync 是 best-effort（网络失败只 warn）：平台指针失效时不抛，跳过平台、回退本地。
 function safePlatformSpecDir(cwd) {
@@ -844,7 +844,9 @@ export class SyncManager {
       // 说明赢者是本机自己人——刷新 base_ts 重试一次即收敛，不落冲突文件（外来推送不可能
       // 推进本机 DB 的 base_ts，不满足条件自然落回下方真冲突分支，零误放行）
       if (attempt < MAX_PUSH_ATTEMPTS && await this._localBaseTsCovers(changeName, platformLastPushedAt)) {
-        console.warn(`⚠️ [sync] push 409 自竞态判定：本机并发推送已回填 base_ts（平台 ts=${platformLastPushedAt}），刷新后自动重试`);
+        // 409 自愈键控闸（2026-09-15 复盘：自愈不阻断但每步刷屏）——首报可见、窗口内同变更
+        // 同类型静默；手动 platform sync（manual）旁路
+        syncSelfHealWarn(changeName, 'self-race', `⚠️ [sync] push 409 自竞态判定：本机并发推送已回填 base_ts（平台 ts=${platformLastPushedAt}），刷新后自动重试`, { noMute: manual });
         continue;
       }
 
@@ -863,7 +865,8 @@ export class SyncManager {
               'UPDATE changes SET last_synced_platform_ts = MAX(?, COALESCE(last_synced_platform_ts, ?)) WHERE name = ?'
             ).run(platformLastPushedAt || pushedAt, platformLastPushedAt || pushedAt, changeName);
           } catch {}
-          console.warn(`⚠️ [sync] push 409 内容一致自愈: 平台 ts=${platformLastPushedAt} 为外来噪声重推（六表内容与本地一致），base_ts 已推进，不落冲突文件`);
+          // 409 自愈键控闸同上（kind=content-equal）
+          syncSelfHealWarn(changeName, 'content-equal', `⚠️ [sync] push 409 内容一致自愈: 平台 ts=${platformLastPushedAt} 为外来噪声重推（六表内容与本地一致），base_ts 已推进，不落冲突文件`, { noMute: manual });
           return { synced: 1, errors: [], selfHealed: true, reason: 'push 409 平台内容与本地一致（外来噪声重推），base_ts 已推进' };
         }
       } catch { /* 比对失败维持原判（fail-closed 到真冲突分支） */ }
@@ -895,7 +898,8 @@ export class SyncManager {
             pm._ensureDB(this.cwd).getDb().prepare(
               'UPDATE changes SET last_synced_platform_ts = MAX(?, COALESCE(last_synced_platform_ts, ?)) WHERE name = ?'
             ).run(healTs, healTs, changeName);
-            console.warn(`⚠️ [sync] push 409 自回声判定：平台 ts=${platformLastPushedAt} 为本机自推回声（血统 ${platLin}，推送者 ${platformLastPusher || '未回传·窗口判定'}），base_ts 已推进到 ${healTs}，自动重推`);
+            // 409 自愈键控闸同上（kind=self-echo）
+            syncSelfHealWarn(changeName, 'self-echo', `⚠️ [sync] push 409 自回声判定：平台 ts=${platformLastPushedAt} 为本机自推回声（血统 ${platLin}，推送者 ${platformLastPusher || '未回传·窗口判定'}），base_ts 已推进到 ${healTs}，自动重推`, { noMute: manual });
             if (attempt < MAX_PUSH_ATTEMPTS) continue;
             // 重试额度耗尽（attempt=2 仍进此分支，理论少见）：不落冲突文件——base 已推进，
             // 下次常规同步按新 base 直接推送收敛

package/src/task-review.js

@@ -1249,6 +1249,70 @@ function resolveAttributionDiffFiles({ cwd, changeName, specBase, platformOpts =
   return { mode: 'main-window', diffFiles: resolveVerifyChangedFiles(cwd, changeName, null, { specBase }), notes, meta, mergeGitDir }
 }
 
+/**
+ * worktree/in-place 改动文件集：porcelain 未提交 ∪ committed merge-base 补齐——口径单一化。
+ * 口径出处：D-004@v1（worktree 归因唯一事实源 = worktree 分支 diff + porcelain，决策库
+ * decisions/worktree.md）+ 变更 2026-09-15-worktree-dual-truth-gates §4 / FR-04；坑④
+ * worktree-tick-guard-commit-only（2026-09-15 实证）：勾选守卫 prefetchDiffFileSet
+ * （run/complete.js）只算 base..head（已提交），子代理默认不 commit 时守卫恒空跳过勾选——
+ * 本 helper 是「草稿归属并入段（generateTaskReviewDrafts）」与「勾选守卫（prefetchDiffFileSet）」
+ * 两处的单一真相。已知残留 R-09：resolveVerifyChangedFiles（verify-postcheck.js）内另有同型
+ * 补齐段（form A 专属：滤网保 .sillyspec/docs/** 交付物，与本 helper 的整前缀滤网不同），
+ * 本次不动，待该函数下次触碰时统一。
+ *
+ * 行为契约：
+ *   - meta 缺省时内部 WorktreeManager.getMeta 自取（try/catch → null）。
+ *   - gitDir = meta.worktreePath（mode 非 in-place-fallback 且目录存在）否则 cwd——
+ *     in-place 退化取 cwd（保住现状 in-place 主仓 porcelain 并入，不丢，R-08）；
+ *     meta 完全缺失时同样取 cwd（与被并入段 mergeGitDir 语义一致）。
+ *   - porcelain：status --porcelain --untracked-files=all（parsePorcelainFiles 解析），
+ *     滤 .sillyspec 前缀（与被替换的草稿并入段同口径）。
+ *   - committed 补齐（仅 gitDir !== cwd，防双并）：merge-base(主仓 HEAD, wtHEAD)..wtHEAD
+ *     的 diff --name-only——worktree 内已 commit 的改动对主仓 base..head 与 status 双不可见
+ *     （「先提交则 diff 空」时序两难）；git 失败 fail-open 忽略。
+ *   - 返回正斜杠归一去重数组；任何 git 异常 → 已收集部分或 []（fail-open，不阻断调用方）。
+ *
+ * @param {string} cwd 主仓根
+ * @param {string} changeName 变更名
+ * @param {object|null} [meta] 预取的 worktree meta（缺省内部 getMeta 自取）
+ * @param {object} [opts] 预留（对齐 design 接口签名）
+ * @returns {string[]} 正斜杠归一文件集（git 失败 → 已收集部分或 []，fail-open）
+ */
+export function collectWorktreeChangedFiles(cwd, changeName, meta = null, opts = {}) {
+  const files = new Set()
+  if (!cwd || !changeName) return []
+  let m = meta
+  if (m == null) {
+    try { m = new WorktreeManager({ cwd }).getMeta(changeName) } catch { m = null }
+  }
+  const gitDir = (m?.worktreePath && m.mode !== 'in-place-fallback' && existsSync(m.worktreePath))
+    ? m.worktreePath
+    : cwd
+  const keep = (p) => p && p !== '.sillyspec' && !p.startsWith('.sillyspec/')
+  // 未提交：worktree（in-place 退化=主仓）porcelain 全量（含 untracked）
+  try {
+    const st = runGit(gitDir, ['status', '--porcelain', '--untracked-files=all'], { trim: false })
+    for (const p of parsePorcelainFiles(st)) if (keep(p)) files.add(p)
+  } catch { /* porcelain 失败 → 返回已收集部分（fail-open） */ }
+  // 已提交补齐：merge-base(主仓 HEAD, wtHEAD)（= 创建锚点）..wtHEAD 的 commit diff。
+  // in-place（gitDir===cwd）时已提交改动在主仓 diff 内，跳过防双并；失败 fail-open 忽略。
+  if (gitDir !== cwd) {
+    try {
+      const mainHead = runGit(cwd, ['rev-parse', 'HEAD'])
+      const wtHead = runGit(gitDir, ['rev-parse', 'HEAD'])
+      const mb = (mainHead && wtHead) ? runGit(gitDir, ['merge-base', wtHead, mainHead]) : null
+      if (mb) {
+        const out = String(runGit(gitDir, ['diff', '--name-only', mb, wtHead]) || '')
+        for (let p of out.split('\n')) {
+          p = p.replace(/^"|"$/g, '').replace(/\\/g, '/').trim()
+          if (keep(p)) files.add(p)
+        }
+      }
+    } catch { /* 已提交补齐失败忽略（fail-open，不拖垮未提交并入） */ }
+  }
+  return [...files]
+}
+
 /**
  * worktree execute「主 agent 直接实现」模式收尾兜底：per-task review.json 缺失时，
  * 据 git diff base..head 按 task allowed_paths 归属，自动落盘 cannot_verify 草稿。
@@ -1339,32 +1403,17 @@ export async function generateTaskReviewDrafts({ changeName, cwd, platformOpts =
   // worktree-branch/cleaned 归因的未提交并入已在 resolveAttributionDiffFiles 内按同口径完成。
   if (attribution.mergeGitDir) {
     try {
-      const wtGitDir = attribution.mergeGitDir
-      const wtStatus = runGit(wtGitDir, ['status', '--porcelain', '--untracked-files=all'], { trim: false })
-      const wtFiles = parsePorcelainFiles(wtStatus)
-        .map(p => String(p).replace(/\\/g, '/'))
-        .filter(p => p !== '.sillyspec' && !p.startsWith('.sillyspec/'))
-      // 已提交口径补齐（2026-09-10 用户反馈②「先提交则 diff 空」：worktree 内已 commit 的改动
-      // 对主仓 base..head 与 status 双不可见，草稿 changedFiles 恒空）——merge-base(主仓 HEAD,
-      // worktree HEAD)（= 创建锚点）..worktree HEAD 的 commit diff 并入，与
-      // resolveVerifyChangedFiles 的同款补齐同源（verify-postcheck.js，两处口径须同步改）。
-      // in-place 退化（wtGitDir===cwd）时已提交改动在主仓 diff 内，跳过防双并；git 失败 fail-open。
-      let committedFiles = []
-      if (wtGitDir !== cwd) {
-        try {
-          const mainHead = runGit(cwd, ['rev-parse', 'HEAD'])
-          const wtHead = runGit(wtGitDir, ['rev-parse', 'HEAD'])
-          const mb = (mainHead && wtHead) ? runGit(wtGitDir, ['merge-base', wtHead, mainHead]) : null
-          if (mb) {
-            committedFiles = String(runGit(wtGitDir, ['diff', '--name-only', mb, wtHead]) || '')
-              .split('\n').map(p => p.replace(/^"|"$/g, '').replace(/\\/g, '/').trim())
-              .filter(p => p && p !== '.sillyspec' && !p.startsWith('.sillyspec/'))
-          }
-        } catch { /* 已提交补齐失败退回 status-only（fail-open，不拖垮未提交并入） */ }
-      }
-      if (wtFiles.length > 0 || committedFiles.length > 0) {
-        diffFiles = [...new Set([...(Array.isArray(diffFiles) ? diffFiles : []), ...wtFiles, ...committedFiles])]
-        console.log(`[sillyspec] 草稿归属并入 worktree 改动 ${wtFiles.length + committedFiles.length} 个（未提交 ${wtFiles.length} + 已提交 ${committedFiles.length}，按 allowed_paths 归属）`)
+      // D-004@v1 口径单一化（坑④ worktree-tick-guard-commit-only，2026-09-15 实证）：原手写
+      // 并入段（porcelain 未提交 + committed merge-base 补齐两段）收口为
+      // collectWorktreeChangedFiles 单一真相——勾选守卫 prefetchDiffFileSet（run/complete.js）
+      // 与本草稿归属自此消费同一口径（原「两处口径须同步改」注记就此作废，单一真相在 helper）。
+      // in-place（mergeGitDir===cwd）时 helper 同取 cwd porcelain（现状主仓并入不丢）。
+      // resolveVerifyChangedFiles（verify-postcheck.js）内另有同型补齐段（form A 专属，滤网保
+      // .sillyspec/docs/** 交付物），已知残留 R-09，本次不动。
+      const mergedFiles = collectWorktreeChangedFiles(cwd, changeName, attribution.meta)
+      if (mergedFiles.length > 0) {
+        diffFiles = [...new Set([...(Array.isArray(diffFiles) ? diffFiles : []), ...mergedFiles])]
+        console.log(`[sillyspec] 草稿归属并入 worktree 改动 ${mergedFiles.length} 个（未提交 porcelain + 已提交 merge-base 补齐，按 allowed_paths 归属）`)
       }
     } catch { /* working-tree 并入失败退回 commit diff 口径（fail-open，不阻断草稿） */ }
   }