sillyspec 3.32.4 → 3.32.6

package/src/flow.js

@@ -759,14 +759,19 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
     `【协议调用 1/2（本次）】change 已建 + 基线锚定（baseline_commit=${baseline ? baseline.slice(0, 10) : '（无 git 历史）'}）${withTasks ? ' + 任务卡模式（--with-tasks：中间自愿用 task done，收尾仍 flow done）' : ''}`,
     ``,
     `【你要做的】直接干活：改代码、写测试。治理工件不用你写——flow done 机器做（协议记账单位=change 级）。`,
+    // 收口拒收红线前置（2026-10-11-flow-start-redline-frontload）：钉死/空槽/绑定三面都是文档
+    // 先行校验，实证第一次最容易踩（四问文本被改写、区间 task-NN 写法零证据被拒）——横幅
+    // 头部先行告知，收口才暴露的规则前置到动笔前。
+    `🚫 收口拒收红线（文档先行校验，动笔前先读——第一次最容易踩的就是这三条）：`,
+    `   ① design 四问文本与 FR 标题锚逐字钉死勿改写——问题原文保持原样、答案写在问题下方，改写/删除即收口拒收（文档↔锚逐字对比）；`,
+    `   ② design.md 四节（做法/接口契约/边界并发四问/风险）每节至少一行——空节拒收（写「不适用：<理由>」也算答）；`,
+    `   ③ requirements 每条 FR 须有带强度词的行为句（必须/禁止/SHOULD）+ 测试绑定行——缺任一即拒收。`,
     `书写面（纯 markdown 起草）：requirements FR 正文/design 四节作答/测试绑定行都直接写正文——`,
-    `   文档内零指纹标记、零槽注释、零书写指导（规则以本横幅与命令卡为唯一源）；`,
-    `   标题锚（FR 标题、四问文本）勿改写，收口做文档↔锚对比（锚失踪/空答拒收，成功标准漂移出 advisory）。`,
-    `⚠️ design.md 四节（做法/接口契约/边界并发四问/风险）动码前后顺手作答——答案写在问题下方，`,
-    `   每节至少一行，写「不适用：<理由>」也算答；flow done 空节拒收（承诺锚点，评审与 FR 对账都对着它）；`,
-    `   列改动文件用独立「## 文件变更清单」节+表格（| 操作 | 路径 | 说明 |）——勿写在「接口契约」节内（收口按节名解析声明面）。`,
-    `📜 requirements 每条 FR = 标题锚 + 一句带强度词的行为规定（必须/禁止/SHOULD/可以）+ 按需场景块`,
-    `   （#### 场景：名 + Given/When/Then）；测试绑定节每条 FR 一行 \`FR-NN: test/路径「用例」\`。`,
+    `   文档内零指纹标记、零槽注释、零书写指导（规则以本横幅与命令卡为唯一源）；成功标准漂移只出 advisory 不拒收。`,
+    `⚠️ design.md 四节动码前后顺手作答；列改动文件用独立「## 文件变更清单」节+表格（| 操作 | 路径 | 说明 |）`,
+    `   ——勿写在「接口契约」节内（收口按节名解析声明面）。`,
+    `📜 requirements 每条 FR = 标题锚 + 行为句 + 按需场景块（#### 场景：名 + Given/When/Then）；`,
+    `   测试绑定节每条 FR 一行 \`FR-NN: test/路径「用例」\`（无测试面写「不适用：理由」）。`,
     `📦 冻结面在 flow done 时点采集（baseline..HEAD 提交面）：未提交交付文件——会话专属 worktree 自动并入；`,
     `   共享主仓可带 --freeze-dirty 显式声明并入；git 中间提交归档后可 reset --soft 压扁为单提交`,
     `   （审计真相在 change.patch 冻结件 sha256 锚定，不依赖 git 历史形态）。`,
@@ -781,7 +786,7 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
     `   执行循环：对每个未勾行 Working on task N/M → 做一件 → 测试绿后当场勾这一格 → 下一行——CLI 以 checkbox 为进度状态机`,
     `   （sillyspec task tick --change ${change} --task task-NN 即时回显进度 N/M 与下一任务指针，flow status 同源；或直接 Edit 翻格 \`- [ ]\`→\`- [x]\`），watcher 实时上平台。`,
     `   ⚠️ harness 的 TodoWrite 类工具是会话内便利面，不替代 tasks.md——平台进度/收口证据只读它（0/12 事故实证：todo 全 completed 而 tasks.md 0 勾）；`,
-    `   勾选是收口证据面：每格勾选要有对应提交（消息带 task-NN）或 review.json，全勾但零证据会被拒收；勿攒一把勾（收口硬门拒单拍多格）；`,
+    `   勾选是收口证据面：每格勾选要有对应提交（消息带 task-NN——逐个列出或 /、，连写如 task-01/02/03，「task-01..task-05」区间写法不认）或 review.json，全勾但零证据会被拒收；勿攒一把勾（收口硬门拒单拍多格）；`,
     `   flow status --change ${change} 为自愿查看/恢复面（恢复时给下一任务指针与进度）。`,
     ``,
     `🛑 三断点纪律（可控性要求——用户没说「全跑完」就必须在每个断点向用户汇报并等确认）：`,
@@ -840,6 +845,9 @@ function printRecoveryBriefing({ cwd, specBase, change, changeDir, runtimeRoot,
     ...(title ? [`- 标题：${title}`] : []),
     `- 做到哪：任务勾选 ${checked}/${total}；基线以来提交 ${commits} 个；变更/dirty 文件 ${dirty} 个；P2 质量扫描记录 ${hasLedger ? '在场' : '无'}。`,
     `- 六子步标记：${done.length ? `已完成 ${done.join('/')}` : '（无）'}${left.length ? `；待办 ${left.join('/')}` : '；全部完成'}`,
+    // 红线重申（2026-10-11-flow-start-redline-frontload）：重入不出首进横幅——钉死规则与
+    // task-NN token 形态随简报补位，断点续跑生命周期内规则不丢。
+    `- 红线重申：design 四问文本/FR 标题锚逐字钉死勿改写（改写即拒收）；勾选证据提交消息逐个带 task-NN 或 /、，连写（「task-01..task-05」区间写法不认）。`,
     `- 剩什么：${left.length === 0 && dirty === 0 ? '活已干完' : dirty > 0 ? '活未干完（继续改代码）' : '收尾待裁决'}`,
     `- 下一步：${left.length === 0 ? `sillyspec flow done --change ${change}` : `继续干活；干完跑 flow done（断点续）`}`,
     ...(digestLines.length > 0 ? ['', ...digestLines] : []),
@@ -1034,8 +1042,10 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
         // 机器稿基线做镜像豁免（route-hindsight 基线快照仍供改写比指标，与哨兵解耦）。
         const sent = detectFakeCheckCompletion({ changeDir, tasksMd: readFileSync(tasksPath, 'utf8'), commits: commitMessages })
         if (sent.status === 'fake') {
-          console.error(`🚫 哨兵断言拒收：tasks.md 全勾（${sent.checked}/${sent.claimTotal}）但 ${sent.missing.length} 个任务零完成证据（区间提交标题与正文均无 token、无 review.json）：${sent.missing.join('、')}`)
-          console.error('   补证据（提交标题或正文带 task-NN，或产 review.json）或取消勾选后重跑——假完成主张不许过门')
+          console.error(`🚫 哨兵断言拒收：tasks.md 全勾（${sent.checked}/${sent.claimTotal}）但 ${sent.missing.length} 个任务零完成证据（baseline..HEAD 提交标题与正文均无 token、无 review.json）：${sent.missing.join('、')}`)
+          // token 合法形态写明（2026-10-11-flow-start-redline-frontload）：实证「task-01..task-05」
+          // 区间写法被判零证据时才知道格式约束——拒收文案自释，减少一轮试错。
+          console.error('   补证据（提交标题或正文带 task-NN——逐个列出或 /、，连写（如 task-01/02/03），「task-01..task-05」区间写法不认；或产 review.json）或取消勾选后重跑——假完成主张不许过门')
           appendTelemetry({ sentinel: 'fake', missing: sent.missing.length })
           reportMidFail('ledger')
           process.exit(1)
@@ -1486,10 +1496,34 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
           let planEntries = []
           try {
             const { parseFileChangeListDetailed } = await import('./change-list.js')
-            planEntries = parseFileChangeListDetailed(join(changeDir, 'design.md'), { keepSillyspecDocs: true })
+            // repoKeys（2026-10-10-cross-repo-patch-freeze D-002@v1）：注册仓清单传入——跨仓
+            // 子段/cross-repo: 前缀条目才带 repo 标注（不传则跨仓声明全落主仓口径， thin 跨仓
+            // 对账无从谈起）
+            const { loadRegisteredRepoKeys } = await import('./scope-audit.js')
+            planEntries = parseFileChangeListDetailed(join(changeDir, 'design.md'), { keepSillyspecDocs: true, repoKeys: loadRegisteredRepoKeys(specBase) })
           } catch { /* 清单缺失/不可解析 → 实际侧 only 快照行（无 verdict，与主链路降级同语义） */ }
+          // 跨仓声明在场 → 共享集成层分仓对账 + patch 冻结（D-001/D-002@v1）：与 heavy 通道
+          // （execute --done）同源 reconcileCrossRepoPlan，repos[]（锚点/计数/patch 正文）
+          // 随 snapObj 进 change-patch.json；任何异常 fail-soft 退 ⊘ 补行现行为（不阻断收口）
+          let crossRepos = []
+          let crossRepoRows = undefined
+          if (planEntries.some((e) => e && e.repo)) {
+            try {
+              const { reconcileCrossRepoPlan } = await import('./scope-audit.js')
+              const recon = reconcileCrossRepoPlan({
+                cwd, specBase,
+                runtimeRoot: resolveRuntimeRoot(runtimeRootOpt ? { runtimeRoot: runtimeRootOpt } : {}, specBase),
+                changeName: change,
+                planEntries,
+                collectPatch: true,
+              })
+              crossRepoRows = recon.rows
+              crossRepos = recon.repos
+              for (const n of recon.notes) console.log(`   📎 ${n}`)
+            } catch { /* 跨仓对账失败 → 退 ⊘ 补行（crossRepoRows 保持 undefined） */ }
+          }
           const { buildThinSnapshotRows, writeCloseTraceArtifacts } = await import('./flow-parity.js')
-          const { rows: snapRows, totals: snapTotals } = buildThinSnapshotRows({ ownFiles, stats, planEntries })
+          const { rows: snapRows, totals: snapTotals } = buildThinSnapshotRows({ ownFiles, stats, planEntries, crossRepoRows })
           const closeTrace = writeCloseTraceArtifacts({
             changeDir,
             change,
@@ -1507,6 +1541,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
               excluded: { foreignDeclared: [] },
               note: 'flow done 时点冻结（本文件落盘时采集）',
               closedBy: 'flow done',
+              ...(crossRepos.length > 0 ? { repos: crossRepos } : {}),
             },
             meta: {
               note: 'flow done 时点冻结（本变更可归属面：baseline..HEAD 提交面过滤 .sillyspec/ 非本变更目录但保留 .sillyspec/docs/ 交付文档 + 本变更目录工作树件；含未提交与 untracked，排除 flow-state.yaml 运行态）',
@@ -1519,6 +1554,11 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
             },
           })
           console.log(`📦 变更 patch 留档（单套）：change.patch + change-patch.json（${ownFiles.length} 文件，+${additions}/-${deletions}，对账面并入 scopeAudit 子对象）${closeTrace.patchStatus === 'ok' ? '，sha256 已锚' : '——patch 采集失败已留痕'}`)
+          if (crossRepos.length > 0) {
+            const frozenRepos = crossRepos.filter((r) => r && r.patch).length
+            const degradedRepos = crossRepos.filter((r) => r && r.degraded).length
+            console.log(`   📦 跨仓 patch 冻结：${crossRepos.length} 仓（正文 ${frozenRepos}、降级 ${degradedRepos}）——锚点/计数/diff 正文见 change-patch.json scopeAudit.repos[]`)
+          }
           // design 声明面自证（2026-09-25-platform-feedback-batch2 E）：design.md 文件变更清单
           // 声明的交付文件是否都在冻结面——不在=承诺改了但没交付（承诺未兑现面，advisory 不
           // 阻断——可能是范围裁剪了但 design 没同步更新）

package/src/hooks/worktree-guard.js

@@ -497,6 +497,22 @@ function parseSimpleYaml(content) {
       if (typeof result[topKey] !== 'object' || Array.isArray(result[topKey])) result[topKey] = {}
       if (!Array.isArray(result[topKey][childKey])) result[topKey][childKey] = []
       result[topKey][childKey].push(parseValue(trimmed.slice(2)))
+      continue
+    }
+
+    // indent>=4 的 `<子键>: <值>`（三层嵌套标量，坑 repo-inline-worktree-placement：repos 条目
+    // 对象形态 `repos: → <key>: → path:/worktree:`）——空数组占位（indent2 无值条目）转对象后
+    // 挂键。此前该形态被静默丢弃，analyzeCrossRepoCd 等消费方读不到三层配置。
+    if (indent >= 4 && childKey) {
+      const subMatch = trimmed.match(/^([^:]+):\s*(.*)$/)
+      if (!subMatch) continue
+      if (UNSAFE_KEYS.has(subMatch[1].trim())) continue
+      if (typeof result[topKey] !== 'object' || Array.isArray(result[topKey])) result[topKey] = {}
+      const cur = result[topKey][childKey]
+      if (Array.isArray(cur) && cur.length === 0) result[topKey][childKey] = {}
+      if (result[topKey][childKey] && typeof result[topKey][childKey] === 'object' && !Array.isArray(result[topKey][childKey])) {
+        result[topKey][childKey][subMatch[1].trim()] = parseValue(subMatch[2])
+      }
     }
   }
 
@@ -886,8 +902,25 @@ function analyzeCrossRepoCd(command, callerCwd, projectRoot, inWorktree) {
     const shellResolved = path.isAbsolute(t) ? t : path.resolve(callerCwd, t)
     const intended = path.isAbsolute(t) ? t : path.resolve(inWorktree ? projectRoot : callerCwd, t)
     for (const [key, raw] of Object.entries(repos)) {
-      if (typeof raw !== 'string' || !raw) continue
-      const repoRoot = path.isAbsolute(raw) ? raw : path.resolve(projectRoot, raw)
+      // 条目双形态（坑 repo-inline-worktree-placement）：'path' 字符串（parseSimpleYaml 原样）；
+      // 块式对象 {path, worktree}（parseSimpleYaml 嵌套）；inline '{path: ..}' 字符串
+      // （parseSimpleYaml 不解析 inline flow，原样字符串——手动提取 path 子键）
+      let repoPath = null
+      if (typeof raw === 'string' && raw) {
+        const t = raw.trim()
+        if (t.startsWith('{') && t.endsWith('}')) {
+          for (const part of t.slice(1, -1).split(',')) {
+            const idx = part.indexOf(':')
+            if (idx !== -1 && part.slice(0, idx).trim() === 'path') { repoPath = part.slice(idx + 1).trim().replace(/^['"]|['"]$/g, ''); break }
+          }
+        } else {
+          repoPath = raw
+        }
+      } else if (raw && typeof raw === 'object' && typeof raw.path === 'string' && raw.path) {
+        repoPath = raw.path
+      }
+      if (!repoPath) continue
+      const repoRoot = path.isAbsolute(repoPath) ? repoPath : path.resolve(projectRoot, repoPath)
       if (intended === repoRoot || isPathInside(intended, repoRoot)) {
         hits.push({ key, repoRoot, resolved: intended, shellResolved, target: t })
         break

package/src/index.js

@@ -4139,7 +4139,8 @@ SillySpec platform — SillyHub 平台同步
 用法:
   sillyspec platform connect <url> [--token <token>]
   sillyspec platform disconnect
-  sillyspec platform sync [--change <name>]
+  sillyspec platform sync [--change <name>]   带 --change 同步该变更进度六表+spec 树；
+                                             不带 --change 全树 spec 文件同步
   sillyspec platform sync-docs [--change <name>]
   sillyspec platform pull [--change <name>]
   sillyspec platform resolve <change-name> <--keep-local|--take-platform|--abort>
@@ -4254,8 +4255,26 @@ SillySpec platform — SillyHub 平台同步
         case 'sync': {
           const syncChangeIdx = args.indexOf('--change');
           const syncChangeName = syncChangeIdx >= 0 && args[syncChangeIdx + 1] && !String(args[syncChangeIdx + 1]).startsWith("--") ? args[syncChangeIdx + 1] : null;
-          // manual：用户显式同步，change_deleted 回执噪音闸旁路（显式动作的回执必须可见）
-          await syncModule.sync(syncChangeName, dir, { manual: true });
+          if (syncChangeName) {
+            // manual：用户显式同步，change_deleted 回执噪音闸旁路（显式动作的回执必须可见）
+            await syncModule.sync(syncChangeName, dir, { manual: true });
+          } else {
+            // 全树 spec 文件同步（2026-10-11-sync-conflict-tri-fix FR-03）：不带 --change
+            // 此前报「需要指定变更名称」——归档/历史变更无活跃会话标签时无从下手。现走
+            // syncSpecTreeOnly(null) 全树 diff（以服务器清单为锚）；进度六表仍按变更
+            // 粒度走 --change。未连接明确报错不静默（对齐 platform pull 口径）。
+            const smForCheck = new syncModule.SyncManager(dir);
+            if (!smForCheck._getPlatform()) {
+              console.error('❌ 未连接平台，请先 sillyspec platform connect');
+              process.exit(1);
+            }
+            const r = await syncModule.syncSpecTreeOnly(null, dir, {});
+            if (r && r.conflict) {
+              console.error(`⚠️ 全树同步检测到冲突（${(r.serverVersions && Object.keys(r.serverVersions).length) || 0} 个文件待裁决），处理：sillyspec platform status 查看 / platform resolve <变更名> 处置`);
+              process.exit(1);
+            }
+            console.log(`✅ 全树 spec 同步完成（${r ? r.synced : 0} 个文件差异）`);
+          }
           break;
         }
         case 'sync-docs': {

package/src/machine-interface.js

@@ -469,8 +469,10 @@ export async function runGate(stage, changeName, { cwd, specBase, runtimeRoot, s
           });
         }
       }
-      // e2. stage review 在场探测（verify/execute --done 的 Stage Review Gate）
-      try {
+      // e2. stage review 在场探测（execute --done 的 Stage Review Gate——verify 不在其列，
+      // 坑 stage-review-verify-enum-gap 2026-10-11：gate 实际只拦 brainstorm/plan/execute，
+      // register 枚举亦无 verify，verify 阶段不产 stage review 期望；verify 的真实门面是 e1 对账）
+      if (stage === 'execute') try {
         const { getLatestStageReviewRunId } = await import('./stage-review.js');
         const rrRoot = runtimeRoot || join(specRoot, '.runtime');
         const runId = getLatestStageReviewRunId(rrRoot, stage, changeName);
@@ -479,7 +481,7 @@ export async function runGate(stage, changeName, { cwd, specBase, runtimeRoot, s
           code: checkCode('full-stage-review') || 'full_stage_review_missing',
           ok: !!runId,
           errors: !runId
-            ? [`缺 ${stage} 阶段的 stage review.json（tier=independent 要求独立审查产出）——--done 将被 Stage Review Gate 拦；可先 sillyspec register-stage-review --change ${changeName} --stage ${stage} 生成骨架再填（降级条款照 review.json reviewerNotes 首行留痕）`]
+            ? [`缺 ${stage} 阶段的 stage review.json（tier=independent 要求独立审查产出）——execute --done 将被 Stage Review Gate 拦；可先 sillyspec register-stage-review --change ${changeName} --stage ${stage} 生成骨架再填（降级条款照 review.json reviewerNotes 首行留痕）`]
             : [],
           data: { runId: runId || null },
         });
@@ -500,7 +502,10 @@ export async function runGate(stage, changeName, { cwd, specBase, runtimeRoot, s
     //    （同一 getLatestStageReviewRunId 只读 marker 存在性，秒级）：缺 review → warning 带
     //    register 指引；在场 → 静默 ok。独立 check id 不与 --full 的 full-stage-review 碰撞，
     //    error 语义（--done 拦）仍归 --full 档与 --done 本体。
-    if (!full && (stage === 'verify' || stage === 'execute')) {
+    // stage 期望面对齐（坑 stage-review-verify-enum-gap，2026-10-11 实证）：Stage Review Gate
+// 实际只拦 brainstorm/plan/execute（gates.js），register-stage-review 枚举亦无 verify——
+// verify 阶段不产 stage review 提示（提示命令不可执行 + 指称的门禁不存在，双重误导）。
+if (!full && stage === 'execute') {
       try {
         const { getLatestStageReviewRunId } = await import('./stage-review.js');
         const rrRoot = runtimeRoot || join(specRoot, '.runtime');
@@ -511,7 +516,7 @@ export async function runGate(stage, changeName, { cwd, specBase, runtimeRoot, s
           ok: true,
           informational: true,
           warnings: runId ? [] : [
-            `缺 ${stage} 阶段的 stage review.json——verify/execute --done 的 Stage Review Gate 会拦（本提示不改变 gate 结论）。先产出评审再注册：sillyspec register-stage-review --change ${changeName} --stage ${stage}（骨架生成后填，或 --from review.json 过继独立评审产出）`,
+            `缺 ${stage} 阶段的 stage review.json——execute --done 的 Stage Review Gate 会拦（本提示不改变 gate 结论）。先产出评审再注册：sillyspec register-stage-review --change ${changeName} --stage ${stage}（骨架生成后填，或 --from review.json 过继独立评审产出）`,
           ],
           data: { runId: runId || null },
         });

package/src/run/command.js

@@ -1274,6 +1274,25 @@ export async function runCommand(args, cwd, specDir = null, opts = {}) {
     // 如果指定了变更名或有变更目录，自动初始化变更的 progress
     const autoChange = changeName || resolveChangeNameAuto(cwd, specRoot)
     if (autoChange) {
+      // 归档同名幽灵复活门（坑 archived-change-resurrect-by-merge，2026-10-10 实证：远端
+      // merge 把已归档变更的旧四件套带回活跃路径，run verify 见活跃目录即自动注册新进度行、
+      // 幽灵态推上平台）。活跃目录与 changes/archive/<同名>/ 并存且库内无该变更活跃行 →
+      // 拒绝注册，指向两出口（认归档：清幽灵目录 / 真要重开：换新名或先恢复归档）。
+      try {
+        const _archiveDup = join(specBase, 'changes', 'archive', autoChange)
+        if (existsSync(_archiveDup) && !progress) {
+          let _activeRows = []
+          try { _activeRows = pm.listChanges(cwd) } catch { /* 列举失败按无活跃行处置 */ }
+          if (!_activeRows.includes(autoChange)) {
+            console.error(`❌ 拒绝注册：${autoChange} 已有归档目录（changes/archive/${autoChange}/），当前活跃目录疑似 merge 带回的幽灵复活（库内无活跃行）。`)
+            console.error('   两个出口：')
+            console.error(`   ① 认归档（多数场景）：git rm -r .sillyspec/changes/${autoChange} 清幽灵目录后提交；归档侧工件在 changes/archive/${autoChange}/`)
+            console.error('   ② 确要重开同名变更：先换新变更名（推荐），或恢复归档（mv 回活跃目录并清理库内 archived 行）后再跑')
+            console.error('   核对：递归 diff 活跃 vs 归档目录确认归档侧为超集零信息损失（坑内处置实录）')
+            process.exit(2)
+          }
+        }
+      } catch { /* 守卫异常不拦正常注册（fail-open）*/ }
       // 创建时即写 title（与 name/KEY 同时落 db）：--input 首行推导 deriveChangeTitle（≤50 字，
       // 用户需求 2026-09-29）优先，长输入兜底 sanitizeDesc 压行，无则用 name 兜底。
       // proposal 还没写、无权威标题来源，这是临时值；brainstorm/plan 完成 proposal/design 落盘后由

package/src/run/multi-repo-context.js

@@ -25,6 +25,7 @@
 import { existsSync, readFileSync } from 'fs';
 import { join } from 'path';
 import { git, gitQuiet } from '../git-helper.js';
+import { resolveCrossWorktreePathCandidates } from '../cross-placement.js';
 
 /**
  * @typedef {Object} RepoEntry
@@ -152,14 +153,19 @@ export class MultiRepoContext {
         `请补全路径（约束② fail-closed）。`
       );
     }
-    // worktree 模式检测：meta 在 = worktree-cross.js 已建隔离（路径公式与其 crossWorktreePath
-    // 保持同步；execute 启动时创建，晚于本构造的调用会命中）。
+    // worktree 模式检测：meta 在 = worktree-cross.js 已建隔离（寻址经 cross-placement 叶子模块
+    // resolveCrossWorktreePath——注册表优先、公式兜底；execute 启动时创建，晚于本构造的调用会
+    // 命中。不 import worktree-cross 避免 shared↔multi-repo-context 循环，落位逻辑下沉的
+    // 零依赖叶子模块两侧共用无环——坑 cross-wt-toolchain-split 评审吸收①）。
     const specBase = (this.platformOpts && this.platformOpts.specRoot) || join(this.cwd, '.sillyspec');
     let crossMeta = null;
     try {
-      // 同步读（构造函数是同步的，不 import worktree-cross 避免 shared↔multi-repo-context 循环）
-      const metaPath = join(specBase, '.runtime', 'worktrees', `${this.changeName}--${repoKey}`, 'meta.json');
-      if (existsSync(metaPath)) crossMeta = JSON.parse(readFileSync(metaPath, 'utf8'));
+      // 同步读（构造函数是同步的）；寻址候选逐级探测（注册表 → 仓内新公式 → 主仓 specBase 旧
+      // 公式 legacy 兜底）——无注册表条目的存量 worktree 在本读取面不失联
+      for (const cand of resolveCrossWorktreePathCandidates(specBase, this.changeName, repoKey, crossRepoPath)) {
+        const metaPath = join(cand, 'meta.json');
+        if (existsSync(metaPath)) { crossMeta = JSON.parse(readFileSync(metaPath, 'utf8')); break }
+      }
     } catch { crossMeta = null }
     const inWorktree = !!(crossMeta && crossMeta.isCross && crossMeta.worktreePath && existsSync(crossMeta.worktreePath));
     const workRoot = inWorktree ? crossMeta.worktreePath : crossRepoPath;

package/src/run/shared.js

@@ -60,7 +60,12 @@ export function didYouMean(input, candidates) {
 // ── 变更名路径穿越消毒（F6）──
 // change 名会被 join 进 .sillyspec/changes/<name>/ 当目录用。若含 ../ 或路径分隔符，
 // 会逃出 changes/ 写到任意位置（如 --change ../../etc/x 把 proposal.md 写到 changes 同级之外）。
-// 在 --change 解析边界统一消毒，比在每个 join 点守卫更集中。合法名：字母/数字/._-，禁分隔符与 ..
+// 在 --change 解析边界统一消毒，比在每个 join 点守卫更集中。合法名：字母/数字/._-/CJK，
+// 禁分隔符与 ..
+// 2026-10-11-sync-conflict-tri-fix FR-03：字符集扩 CJK（一-鿿，与下方 assertDatedChangeName
+// slug 同集）——本守卫的本职是路径穿越消毒，ASCII 限制是历史误伤：磁盘既有中文名变更
+//（实测 2026-10-10-取消LTC宽表校验规则）被拒致 platform sync/resolve 无法操作。
+// 新建变更名仍受 assertDatedChangeName 日期前缀门约束，不因本放宽回归。
 export function assertSafeChangeName(name, label = '变更名') {
   if (name == null) return
   const s = String(name)
@@ -69,8 +74,8 @@ export function assertSafeChangeName(name, label = '变更名') {
   if (/[\\/]/.test(s) || /(^|[/\\])\.\.(?=$|[/\\])/.test(s) || s === '..' || s.includes('..')) {
     throw new Error(`${label}「${s}」含路径分隔符或 ..，禁止路径穿越（变更名只能是 .sillyspec/changes/ 下的一个目录名，不能逃出）`)
   }
-  if (!/^[\w.\-]+$/.test(s)) {
-    throw new Error(`${label}「${s}」含非法字符（仅允许字母、数字、._-）`)
+  if (!/^[\w.\-一-鿿]+$/.test(s)) {
+    throw new Error(`${label}「${s}」含非法字符（仅允许字母、数字、._-、中文）`)
   }
 }
 
@@ -83,7 +88,8 @@ export function assertSafeChangeName(name, label = '变更名') {
 // 日期只校验形状（月 01-12 日 01-31），不校验「当天」——跨天续跑/次日重命名不应被拦。
 // slug 首字符放宽含 CJK（一-鿿，与 flow 族 validateChangeName 同字符集）：flow start 2026-09-28
 // 起复用本校验器，中文名（平台键 2026-09-25-中文名-a1b2c3 形态）是 flow 族既有测试特性；
-// run 族不受影响——其上游 assertSafeChangeName 仅放行 ASCII [\w.\-]，中文在到达本门之前已被拦。
+// 上游 assertSafeChangeName 自 2026-10-11-sync-conflict-tri-fix 起同放行 CJK（此前 ASCII
+// 限宽拦中文名，属历史误伤，见该守卫注释）。
 const DATED_CHANGE_NAME_RE = /^\d{4}-(?:0[1-9]|1[0-2])-(?:0[1-9]|[12]\d|3[01])-[a-zA-Z0-9一-鿿][\w.\-一-鿿]*$/
 export function assertDatedChangeName(name, label = '变更名') {
   if (name == null) return

package/src/scope-audit.js

@@ -480,7 +480,7 @@ const QL_ID_RE = /^ql-\d{8}-\d{3}-[0-9a-f]{4}$/
  * @param {string} specBase .sillyspec 根
  * @returns {string[]} repoKey 清单
  */
-function loadRegisteredRepoKeys(specBase) {
+export function loadRegisteredRepoKeys(specBase) {
   try {
     const p = join(specBase || '', 'local.yaml')
     if (!specBase || !existsSync(p)) return []
@@ -1214,90 +1214,14 @@ async function computeFullFlowAudit({ cwd, specBase, changeName, platformOpts, c
   }
 
   // —— 计划侧跨仓段分仓真实对账（2026-09-20 scope-audit-cross-repo task-02，design Wave 2）——
-  // 旧形态「⊘ 行不在本仓对账面（实际侧只采主仓 git）」升级：plannedEntries 按 e.repo 分组，
-  // 每组调 collectRepoActual 共享内核（task-01）在**该仓**取 actual（锚点四级：A reviews-range
-  // > B head~1-window > C head-uncommitted-window > degraded），主仓同款三类差集出真实三态行
-  // + 行数；degraded 仓（未注册/路径不可达/git 双源失败）退 v1 ⊘ 形态（untouched + crossRepo）
-  // + 降级注记进 note，不炸主仓表（D-006 fail-soft）。
-  // 行数由本集成层对内核产物跑 collectNumstatByPath（内核不 import scope-audit 防环，评审
-  // G3——调用方职责）；anchor.base 为 null（B/C 档降级锚）→ numstat 空 Map → degradedStat
-  // 该仓根兜底（行数 null 降级档，不出伪数据）。跨仓行过滤口径与主仓 actual 侧一致
-  // （filterDeliverableFiles：排 .sillyspec 运行时面/平台自装脚手架），unplanned 行的
-  // classifyToolScaffold 软桶与主仓 unplanned 行同款。
-  const crossRepoKeys = [...new Set(plannedEntries.map(e => e.repo).filter(Boolean))]
-  const crossRepoRows = []
-  const crossRepoEntries = []
-  if (crossRepoKeys.length > 0) {
-    const crossCount = plannedEntries.filter(e => e.repo).length
-    notes.push(`计划侧含 ${crossCount} 个跨仓文件（repo：${crossRepoKeys.join('、')}）——已按 local.yaml repos 注册表分仓对账（各仓锚点档见 repos[].anchor）`)
-    for (const repoKey of crossRepoKeys) {
-      const entries = plannedEntries.filter(e => e.repo === repoKey)
-      const repoRows = []
-      let repoActual = null
-      let repoFailure = null
-      try {
-        repoActual = collectRepoActual({ repoKey, specBase: sb, cwd, runtimeRoot, changeName })
-      } catch (e) {
-        repoFailure = e && e.message ? String(e.message).split('\n')[0] : String(e)
-      }
-      if (repoFailure || !repoActual || repoActual.degradedReason) {
-        // degraded 仓（内核 fail-soft 产物或调用点异常）：v1 ⊘ 形态回退——该组行恒 untouched，
-        // 降级原因进 note 与 repos[] 条目（平台消费方可感知），主仓表不受影响。
-        const reason = repoFailure
-          ? `内核采集异常: ${repoFailure}`
-          : (repoActual && repoActual.degradedReason) || '跨仓采集不可用'
-        for (const e of entries) {
-          repoRows.push({ path: e.path, planned: e.operation || null, additions: 0, deletions: 0, kind: 'modified', verdict: 'untouched', crossRepo: repoKey })
-        }
-        notes.push(`跨仓 ${repoKey} 对账降级: ${reason}`)
-        crossRepoEntries.push({
-          key: repoKey,
-          repoPath: repoActual ? repoActual.repoPath : null,
-          anchor: repoActual ? repoActual.anchor : { source: 'degraded', base: null, head: null, label: 'degraded' },
-          totals: repoTotals(repoRows),
-          degraded: true,
-          degradedReason: reason,
-        })
-        crossRepoRows.push(...repoRows)
-        continue
-      }
-      // 真实三态：该仓 actual（filterDeliverableFiles 过滤，主仓口径）× 该组声明面 pathMatches
-      // 双向容差（glob/目录前缀兼容，design 清单可写 glob）→ planned / unplanned / untouched
-      const repoFiles = [...new Set(filterDeliverableFiles(repoActual.files).filter(Boolean))].map(toPosix).sort()
-      const repoStats = collectNumstatByPath(repoActual.repoPath, repoFiles, { baseRef: repoActual.anchor.base })
-      const repoMatched = new Set()
-      for (const f of repoFiles) {
-        const path = toPosix(f)
-        const st = repoStats.get(path) || degradedStat(repoActual.repoPath, path)
-        const row = { path, planned: null, additions: st.additions, deletions: st.deletions, kind: st.kind, verdict: 'unplanned', crossRepo: repoKey }
-        const entry = entries.find(e => pathMatches(path, e.path))
-        if (entry) {
-          repoMatched.add(entry.path)
-          row.planned = entry.operation || null
-          row.verdict = 'planned'
-        } else {
-          // 工具/平台脚手架软桶（主仓 unplanned 行同款）：CLI/平台自装文件不占「计划外」逐条清单
-          const facility = classifyToolScaffold(path)
-          if (facility) row.facility = facility
-        }
-        repoRows.push(row)
-      }
-      // 声明未动：该仓清单文件无实际改动 → 补行（行数 0/0，主仓补行同款；crossRepo 恒带）
-      for (const e of entries) {
-        if (repoMatched.has(e.path)) continue
-        repoRows.push({ path: e.path, planned: e.operation || null, additions: 0, deletions: 0, kind: 'modified', verdict: 'untouched', crossRepo: repoKey })
-      }
-      crossRepoEntries.push({
-        key: repoKey,
-        repoPath: repoActual.repoPath,
-        anchor: repoActual.anchor,
-        totals: repoTotals(repoRows),
-        degraded: false,
-        degradedReason: null,
-      })
-      crossRepoRows.push(...repoRows)
-    }
-  }
+  // 集成逻辑抽共享导出 reconcileCrossRepoPlan（2026-10-10-cross-repo-patch-freeze D-002@v1）：
+  // heavy（本函数）与 thin（flow.js done）同源消费防口径漂移；本处行为等价（rows/repos/notes
+  // 三产物原样并回）+ collectPatch 时 repos[].patch/patchSha256 增量。
+  const crossRecon = reconcileCrossRepoPlan({ cwd, specBase: sb, runtimeRoot, changeName, planEntries: plannedEntries, collectPatch: !!collectPatch })
+  const crossRepoRows = crossRecon.rows
+  const crossRepoEntries = crossRecon.repos
+  for (const n of crossRecon.notes) notes.push(n)
+  const crossRepoKeys = crossRepoEntries.map(e => e.key)
 
   // —— 三态判定 ——
   const rows = []
@@ -1382,6 +1306,127 @@ async function computeFullFlowAudit({ cwd, specBase, changeName, platformOpts, c
   }
 }
 
+/**
+ * 跨仓对账集成层（2026-10-10-cross-repo-patch-freeze D-002@v1，自 computeFullFlowAudit 内联段
+ * 抽出——heavy（computeFullFlowAudit）与 thin（flow.js done）同源消费防两份口径漂移；复用
+ * collectRepoActual 共享内核（2026-09-20「单一真相源」哲学））。
+ *
+ * planEntries 按 e.repo 分组，每组调 collectRepoActual 在**该仓**取 actual（锚点：A
+ * reviews-range > B' worktree-baseline > B head~1-window > C head-uncommitted-window >
+ * degraded），主仓同款三类差集出真实三态行 + 行数；degraded 仓退 ⊘ 形态（untouched +
+ * crossRepo + degradedReason），不炸调用方表（D-006 fail-soft）。行数由本层对内核产物跑
+ * collectNumstatByPath（内核不 import 本模块防环，评审 G3——调用方职责）。
+ *
+ * collectPatch=true 时每仓增 patch 采集（D-001@v1/D-003@v1）：窗口与行数同根同窗——A/B' 档
+ * 锚 hash 为 baseRef；B 档字面 HEAD~1、C 档字面 HEAD（工作树口径含 untracked 自拼 hunk）；
+ * buildFrozenPatch 失败或空窗 → patch=null 不出伪件；sha256 走 sha256PatchNormalized（LF 归一，
+ * autocrlf 跨平台一致）。collectPatch=false 不产 patch 两键（additive 契约，既有读方零感知）。
+ *
+ * @param {{ cwd: string, specBase: string, runtimeRoot?: string|null, changeName?: string|null,
+ *           planEntries: Array<{path, operation?, repo?}>, collectPatch?: boolean }} args
+ * @returns {{ rows: Array<object>, repos: Array<object>, notes: string[] }}
+ *   rows 带 crossRepo 标记（真实三态或 degraded ⊘）；repos 条目
+ *   { key, repoPath, anchor, totals, degraded, degradedReason, patch?, patchSha256? }；
+ *   notes 为调用方 note 链的增量行（跨仓计数行 + 降级行）。
+ */
+export function reconcileCrossRepoPlan({ cwd, specBase, runtimeRoot, changeName, planEntries, collectPatch = false }) {
+  const rows = []
+  const repos = []
+  const notes = []
+  const planned = Array.isArray(planEntries) ? planEntries : []
+  const crossRepoKeys = [...new Set(planned.map(e => e.repo).filter(Boolean))]
+  if (crossRepoKeys.length === 0) return { rows, repos, notes }
+  const crossCount = planned.filter(e => e.repo).length
+  notes.push(`计划侧含 ${crossCount} 个跨仓文件（repo：${crossRepoKeys.join('、')}）——已按 local.yaml repos 注册表分仓对账（各仓锚点档见 repos[].anchor）`)
+  for (const repoKey of crossRepoKeys) {
+    const entries = planned.filter(e => e.repo === repoKey)
+    const repoRows = []
+    let repoActual = null
+    let repoFailure = null
+    try {
+      repoActual = collectRepoActual({ repoKey, specBase, cwd, runtimeRoot, changeName })
+    } catch (e) {
+      repoFailure = e && e.message ? String(e.message).split('\n')[0] : String(e)
+    }
+    if (repoFailure || !repoActual || repoActual.degradedReason) {
+      // degraded 仓（内核 fail-soft 产物或调用点异常）：⊘ 形态回退——该组行恒 untouched，
+      // 降级原因进 note 与 repos[] 条目（平台消费方可感知），调用方主表不受影响。
+      const reason = repoFailure
+        ? `内核采集异常: ${repoFailure}`
+        : (repoActual && repoActual.degradedReason) || '跨仓采集不可用'
+      for (const e of entries) {
+        repoRows.push({ path: e.path, planned: e.operation || null, additions: 0, deletions: 0, kind: 'modified', verdict: 'untouched', crossRepo: repoKey })
+      }
+      notes.push(`跨仓 ${repoKey} 对账降级: ${reason}`)
+      repos.push({
+        key: repoKey,
+        repoPath: repoActual ? repoActual.repoPath : null,
+        anchor: repoActual ? repoActual.anchor : { source: 'degraded', base: null, head: null, label: 'degraded' },
+        totals: repoTotals(repoRows),
+        degraded: true,
+        degradedReason: reason,
+        ...(collectPatch ? { patch: null, patchSha256: null } : {}),
+      })
+      rows.push(...repoRows)
+      continue
+    }
+    // 真实三态：该仓 actual（filterDeliverableFiles 过滤，主仓口径）× 该组声明面 pathMatches
+    // 双向容差（glob/目录前缀兼容，design 清单可写 glob）→ planned / unplanned / untouched
+    const repoFiles = [...new Set(filterDeliverableFiles(repoActual.files).filter(Boolean))].map(toPosix).sort()
+    const repoStats = collectNumstatByPath(repoActual.repoPath, repoFiles, { baseRef: repoActual.anchor.base })
+    const repoMatched = new Set()
+    for (const f of repoFiles) {
+      const path = toPosix(f)
+      const st = repoStats.get(path) || degradedStat(repoActual.repoPath, path)
+      const row = { path, planned: null, additions: st.additions, deletions: st.deletions, kind: st.kind, verdict: 'unplanned', crossRepo: repoKey }
+      const entry = entries.find(e => pathMatches(path, e.path))
+      if (entry) {
+        repoMatched.add(entry.path)
+        row.planned = entry.operation || null
+        row.verdict = 'planned'
+      } else {
+        // 工具/平台脚手架软桶（主仓 unplanned 行同款）：CLI/平台自装文件不占「计划外」逐条清单
+        const facility = classifyToolScaffold(path)
+        if (facility) row.facility = facility
+      }
+      repoRows.push(row)
+    }
+    // 声明未动：该仓清单文件无实际改动 → 补行（行数 0/0，主仓补行同款；crossRepo 恒带）
+    for (const e of entries) {
+      if (repoMatched.has(e.path)) continue
+      repoRows.push({ path: e.path, planned: e.operation || null, additions: 0, deletions: 0, kind: 'modified', verdict: 'untouched', crossRepo: repoKey })
+    }
+    // patch 采集（D-001/D-003）：窗口 = 行数窗口——锚 hash 优先；B/C 档降级锚用字面 ref
+    // （head~1-window → HEAD~1；head-uncommitted-window → HEAD），工作树口径含 untracked。
+    let patch = null
+    let patchSha256 = null
+    if (collectPatch && repoFiles.length > 0) {
+      const patchBase = repoActual.anchor.base
+        || (repoActual.anchor.source === 'head~1-window' ? 'HEAD~1'
+          : repoActual.anchor.source === 'head-uncommitted-window' ? 'HEAD'
+          : null)
+      if (patchBase) {
+        const text = buildFrozenPatch(repoActual.repoPath, repoFiles, { baseRef: patchBase })
+        if (typeof text === 'string' && text.length > 0) {
+          patch = text
+          patchSha256 = sha256PatchNormalized(text)
+        }
+      }
+    }
+    repos.push({
+      key: repoKey,
+      repoPath: repoActual.repoPath,
+      anchor: repoActual.anchor,
+      totals: repoTotals(repoRows),
+      degraded: false,
+      degradedReason: null,
+      ...(collectPatch ? { patch, patchSha256 } : {}),
+    })
+    rows.push(...repoRows)
+  }
+  return { rows, repos, notes }
+}
+
 /**
  * 变更范围对账纯函数（scope-audit 命令与三处阶段注入的唯一数据源，D-003）。
  *