sillyspec 3.29.1 → 3.29.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sillyspec",
-  "version": "3.29.1",
+  "version": "3.29.2",
   "description": "SillySpec CLI — 流程状态机，让 AI 严格按步骤来",
   "icon": "logo.jpg",
   "homepage": "https://sillyspec.ppdmq.top/",

package/src/agent-session-log.js

@@ -497,12 +497,66 @@ function detectOpencode(ctx) {
  *     防「Cursor IDE 在别的项目聊天 / 其他项目 opencode 会话活跃」被误报进当前登记。
  * 新增 CLI = 加一个探测器对象 + protocol 文档补布局与格式说明。
  */
+/**
+ * cursor-agent（CLI 子代理，非 Cursor IDE）：transcript = <home>/.cursor/projects/
+ * <encoded-workspace-path>/agent-transcripts/<uuid>/<uuid>.jsonl（{role,message} 行 +
+ * turn_ended 事件）。workspace 目录名是 cwd 的连字符编码（C:/Users/qinyi → C-Users-qinyi，
+ * 路径内合法连字符保留原样——编码不可逆，匹配方向为 cwd→编码名正向比对）→ **precise** 探测：
+ * 逐 cwdCandidate 编码后与目录名精确相等才登记（数字目录名无从解码，跳过不误报）。
+ * 归属规则与 zcode/claude-code 同款（本会话 cwd 即 workspace 根）；token 不落盘属数据源
+ * 缺失（usage 未知，平台侧 FR-03 口径不伪造）。
+ * 坑 cursor-agent-transcript-report-pipeline（2026-09-19 平台侧就绪声明）：daemon 解析器
+ * 注册键 `cursor-agent-transcript-jsonl` 必须与此处 format 串逐字一致。
+ */
+function detectCursorAgentTranscripts(ctx) {
+  const { cwdCandidates, homeDir, now, windowMs } = ctx;
+  const projectsRoot = join(homeDir, '.cursor', 'projects');
+  let projectDirs;
+  try {
+    projectDirs = readdirSync(projectsRoot, { withFileTypes: true }).filter(d => d.isDirectory());
+  } catch { return []; }
+  // cwd → 编码名（正向，避免解码歧义）：盘符冒号与路径分隔符全部 → '-'
+  const encodeCwd = (p) => toPosix(String(p)).replace(/^([a-zA-Z]):/, '$1').replace(/[/:]/g, '-');
+  const wanted = new Set(cwdCandidates.filter(Boolean).map(encodeCwd));
+  if (wanted.size === 0) return [];
+  const entries = [];
+  for (const proj of projectDirs) {
+    if (!wanted.has(proj.name)) continue;
+    const tsRoot = join(projectsRoot, proj.name, 'agent-transcripts');
+    let sessionDirs;
+    try {
+      sessionDirs = readdirSync(tsRoot, { withFileTypes: true }).filter(d => d.isDirectory());
+    } catch { continue; }
+    for (const sess of sessionDirs) {
+      let files;
+      try {
+        files = readdirSync(join(tsRoot, sess.name)).filter(f => f.endsWith('.jsonl'));
+      } catch { continue; }
+      for (const f of files) {
+        const full = join(tsRoot, sess.name, f);
+        const st = statSafe(full);
+        if (!st || now - st.mtimeMs > windowMs) continue;
+        entries.push({
+          harness: 'cursor-agent', format: 'cursor-agent-transcript-jsonl',
+          detected_via: 'cursor-agent-transcript-scan',
+          log_path: toPosix(full), agent_cwd: toPosix(cwdCandidates[0] || ''),
+          session_id: sess.name, originator: null,
+          mtime_ms: st.mtimeMs,
+        });
+      }
+    }
+  }
+  entries.sort((a, b) => b.mtime_ms - a.mtime_ms);
+  return entries.slice(0, 3);
+}
+
 const HARNESS_DETECTORS = [
   { name: 'claude-code', tier: 'precise', detect: detectClaudeCode },
   { name: 'codex', tier: 'precise', detect: detectCodex },
   { name: 'zcode', tier: 'precise', detect: detectZcode },
   { name: 'pi', tier: 'precise', detect: detectPi },
   { name: 'deepseek-dsh', tier: 'precise', detect: detectDsh },
+  { name: 'cursor-agent', tier: 'precise', detect: detectCursorAgentTranscripts },
   { name: 'cursor', tier: 'loose', detect: detectCursor },
   { name: 'opencode', tier: 'loose', detect: detectOpencode },
 ];

package/src/fr-index.js

@@ -54,32 +54,79 @@ export function parseChangeRequirements(changeDir) {
   const frs = [];
   const malformed = [];
   const lines = content.replace(/\r\n/g, '\n').split('\n');
+  // L2（2026-09-20-fr-index-l2）：决策覆盖矩阵解析——requirements.md 尾表行
+  // `| D-xxx@vN | FR-01, FR-02 |` 提取 D→FR-NN 映射（local 号），归档时随条目落「依据决策：」行。
+  // 格式漂移/缺矩阵 → decisions 恒 []（省略行降级，不阻断归档）。
+  const decisionMap = new Map();
+  for (const line of lines) {
+    const m = line.match(/^\|\s*(D-\d+@v\d+)\s*\|([^|]+)\|/);
+    if (!m) continue;
+    for (const tok of m[2].split(/[,，、]/)) {
+      const fr = tok.trim().match(/^(FR-\d+)$/);
+      if (!fr) continue;
+      if (!decisionMap.has(fr[1])) decisionMap.set(fr[1], []);
+      decisionMap.get(fr[1]).push(m[1]);
+    }
+  }
   let cur = null;
+  // L2 厚版（D-003@v2）：GWT 行捕获——Given/When/Then 归最近场景名下（无名归默认场景）。
+  // scenarioBodies: [{name, given, when, then}]；scenarios（名字数组）保留 L1 契约不动。
   for (const line of lines) {
     const h = line.match(/^###\s+(FR-\d+)\s*[:：]\s*(.*)$/);
     if (h) {
       if (cur) frs.push(cur);
-      cur = { local: h[1], title: (h[2] || '').trim(), supersedes: [], scenarios: [] };
+      cur = { local: h[1], title: (h[2] || '').trim(), supersedes: [], scenarios: [], decisions: decisionMap.get(h[1]) || [], __bodies: [{ name: null, given: '', when: '', then: '' }] };
       continue;
     }
     if (!cur) continue;
     const s = line.match(/^\s*承接\s*[:：]\s*(.+)$/);
     if (s) {
       for (const tok of s[1].split(/[,，、]/)) {
-        const id = tok.trim();
-        if (!id) continue;
-        if (FR_GLOBAL_ID_RE.test(id)) cur.supersedes.push(id);
-        else malformed.push(`${cur.local} 的承接行含非全局 id 形态「${id}」（应为 FR-<域>-NNN）`);
+        const t = tok.trim();
+        if (!t) continue;
+        // 退役理由语法（追平刀②，对标 OpenSpec REMOVED 语义）：`FR-域-NNN（退役理由：一句话）`
+        //——理由随承接令牌走，翻链时写进被取代条目。理由内禁逗号（token 切分边界）。
+        const rm = t.match(/^(FR-[A-Za-z0-9-]+)[（(]\s*退役理由[：:]\s*([^）)]+)[）)]$/);
+        if (rm) {
+          if (FR_GLOBAL_ID_RE.test(rm[1])) {
+            cur.supersedes.push(rm[1]);
+            if (!cur.supersedeReasons) cur.supersedeReasons = {};
+            cur.supersedeReasons[rm[1]] = rm[2].trim();
+          } else {
+            malformed.push(`${cur.local} 的承接行退役理由令牌含非全局 id 形态「${rm[1]}」（应为 FR-<域>-NNN）`);
+          }
+          continue;
+        }
+        if (FR_GLOBAL_ID_RE.test(t)) cur.supersedes.push(t);
+        else malformed.push(`${cur.local} 的承接行含非全局 id 形态「${t}」（应为 FR-<域>-NNN）`);
       }
       continue;
     }
     const sc = line.match(/^\s*(?:#{2,4}\s*场景\s*[:：]\s*(.+)|\*\*场景\s*[:：]\s*([^*]+)\*\*)\s*$/);
     if (sc) {
-      const name = ((sc[1] || sc[2] || '')).trim();
-      cur.scenarios.push(name || `场景${cur.scenarios.length + 1}`);
+      const name = ((sc[1] || sc[2] || '')).trim() || `场景${cur.scenarios.length + 1}`;
+      cur.scenarios.push(name);
+      cur.__bodies.push({ name, given: '', when: '', then: '' });
+      continue;
+    }
+    const gwt = line.match(/^\s*(Given|When|Then)\s+(.+)$/i);
+    if (gwt) {
+      const body = cur.__bodies[cur.__bodies.length - 1];
+      const key = gwt[1].toLowerCase();
+      body[key] = (body[key] ? body[key] + ' ' : '') + gwt[2].trim();
+      // 无名默认场景已收 GWT → 命名并同步进 scenarios 名字数组（L1 摘要契约兼容）
+      if (body.name === null && cur.scenarios.length === 0 && (body.given || body.when || body.then)) {
+        cur.scenarios.push('默认场景');
+        body.name = '默认场景';
+      }
     }
   }
   if (cur) frs.push(cur);
+  // 剥离内部键，暴露 scenarioBodies（有 GWT 内容的体块才进）
+  for (const fr of frs) {
+    fr.scenarioBodies = (fr.__bodies || []).filter((b) => b.name !== null || b.given || b.when || b.then).map((b) => ({ name: b.name, given: b.given, when: b.when, then: b.then }));
+    delete fr.__bodies;
+  }
   return { missing: false, frs, malformed };
 }
 
@@ -129,6 +176,7 @@ function loadDomainSections(knowledgeRoot, domain) {
         '',
         '> fr-index 从归档变更 requirements.md 幂等提炼（「最近确认」= 归档时 HEAD）。条目字段行为机械解析契约，勿手改。',
         '> superseded 条目保留供取代链回溯；brainstorm 注入默认只给 active。',
+        `> 模块卡：modules/${domain}.md（域=模块 id 同构；行为条目↔模块契约互跳）`,
         '',
       ],
       sections: [],
@@ -153,6 +201,26 @@ function renderFrLines(entry, headHash) {
   if (entry.supersededBy) lines.push(`superseded_by：${entry.supersededBy}`);
   if (entry.supersededOf) lines.push(`取代链：${entry.supersededOf} ← 本条目（${entry.change} 承接）`);
   lines.push(`摘要：${(entry.scenarios || []).slice(0, 5).join('；') || '（无场景名）'}`);
+  // L2：依据决策行（决策覆盖矩阵提取；空省略——旧条目无此行照常解析）。
+  if (Array.isArray(entry.decisions) && entry.decisions.length > 0) {
+    lines.push(`依据决策：${entry.decisions.join('、')}`);
+  }
+  // L2 厚版（D-003@v2）：场景正文块——每场景一行（各段截 80 字，≤5 场景）。
+  // 空体块省略整块；回填幂等锚=「场景正文：」行在场即跳过。
+  const bodies = (entry.scenarioBodies || []).filter((b) => b.given || b.when || b.then).slice(0, 5);
+  if (bodies.length > 0) {
+    lines.push('场景正文：');
+    const cut = (s) => String(s || '').slice(0, 80);
+    for (const b of bodies) {
+      const parts = [`Given ${cut(b.given)}`, `When ${cut(b.when)}`, `Then ${cut(b.then)}`].filter((p) => !p.endsWith(' '));
+      lines.push(`- 场景：${b.name || '默认场景'} — ${parts.join('；')}`);
+    }
+  }
+  // 全文锚（追平刀①）：正文是截断摘要，全文活在来源归档——引用行不复制正文零体积税，
+  // 锚=归档 requirements.md 内的 FR 局部号标题（### FR-NN:），docs-check 层1 可校验存在性。
+  if (entry.local) {
+    lines.push(`全文：.sillyspec/changes/archive/${entry.change}/requirements.md#${entry.local}`);
+  }
   lines.push(`最近确认：${headHash || ''}`);
   return lines;
 }
@@ -241,7 +309,7 @@ export function indexRequirements({ changeDir, knowledgeRoot, headHash = '' }) {
       id,
       title: fr.title,
       change: changeName,
-      lines: renderFrLines({ id, title: fr.title, change: changeName, scenarios: fr.scenarios }, headHash),
+      lines: renderFrLines({ id, title: fr.title, change: changeName, scenarios: fr.scenarios, decisions: fr.decisions, scenarioBodies: fr.scenarioBodies, local: fr.local }, headHash),
     });
     dirtyDomains.add(primaryDomain);
     written.push({ file: `${FR_DIR}/${primaryDomain}.md`, id, action: 'added' });
@@ -254,9 +322,15 @@ export function indexRequirements({ changeDir, knowledgeRoot, headHash = '' }) {
         // 就地补丁：状态翻 superseded + 插 superseded_by + 追取代链注记 + 刷新最近确认（摘要/标题保留）
         target.lines = target.lines
           .map((l) => (l.startsWith('状态：') ? `状态：superseded` : l.startsWith('最近确认：') ? `最近确认：${headHash || ''}` : l))
-          .filter((l) => !l.startsWith('superseded_by：') && !l.startsWith('取代链：'));
+          .filter((l) => !l.startsWith('superseded_by：') && !l.startsWith('取代链：') && !l.startsWith('退役理由：'));
         const stateIdx = target.lines.findIndex((l) => l.startsWith('状态：'));
-        target.lines.splice(stateIdx + 1, 0, `superseded_by：${id}`, `取代链：${refId} ← ${id}（${changeName} 承接）`);
+        // 退役理由（追平刀②）：承接令牌带（退役理由：…）时写进被取代条目——对标 OpenSpec REMOVED
+        // 的 Migration 语义；无理由则省略行（不伪造）。
+        const reason = fr.supersedeReasons && fr.supersedeReasons[refId];
+        target.lines.splice(stateIdx + 1, 0,
+          `superseded_by：${id}`,
+          `取代链：${refId} ← ${id}（${changeName} 承接）`,
+          ...(reason ? [`退役理由：${reason}`] : []));
         dirtyDomains.add(st2Domain);
         superseded.push({ from: refId, to: id, change: changeName });
       }
@@ -322,6 +396,138 @@ export function scanFrIndex(knowledgeRoot) {
   return out;
 }
 
+/**
+ * L2 厚版（D-003@v2 / FR-04）：存量回填——active 条目缺「场景正文：」块 → 从其来源
+ * 变更的归档 requirements.md 按标题匹配补齐（fallback 按序）。幂等：已有正文块的条目
+ * 跳过；来源归档缺失/标题不匹配 → 警告不阻断。回填只动正文块，其余行（摘要/依据决策/
+ * 状态链/最近确认）原样保留。
+ * @param {object} opts
+ * @param {string} opts.knowledgeRoot - knowledge/ 目录
+ * @param {string} opts.archiveRoot - changes/archive/ 目录
+ * @returns {{backfilled: Array<{file,id,title}>, skipped: number, warnings: string[]}}
+ */
+export function backfillScenarioBodies({ knowledgeRoot, archiveRoot }) {
+  const backfilled = [];
+  const warnings = [];
+  let skipped = 0;
+  // 归档 requirements 缓存：changeName → parse 结果（多条目共享一次读盘）
+  const parsedCache = new Map();
+  const parseArchive = (changeName) => {
+    if (parsedCache.has(changeName)) return parsedCache.get(changeName);
+    const dir = join(archiveRoot, changeName);
+    let result = null;
+    try { result = parseChangeRequirements(dir); } catch { result = { missing: true, frs: [] }; }
+    if (!result || result.missing) {
+      warnings.push(`来源归档缺 requirements.md：${changeName}（该条目正文不回填）`);
+    }
+    parsedCache.set(changeName, result);
+    return result;
+  };
+  let files;
+  try { files = readdirSync(frDirPath(knowledgeRoot)).filter((f) => f.endsWith('.md')); }
+  catch { return { backfilled: [], skipped: 0, warnings: ['knowledge/fr 目录不可读'] }; }
+  for (const f of files) {
+    const p = join(frDirPath(knowledgeRoot), f);
+    let content;
+    try { content = readFileSync(p, 'utf8'); } catch (e) { warnings.push(`读 ${f} 失败（${e && e.code ? e.code : 'error'}）跳过`); continue; }
+    const lines = content.replace(/\r\n/g, '\n').split('\n');
+    // 按条目分段：## 开头为新段；段内判定「场景正文：」在场性
+    const out = [];
+    let sectionLines = [];
+    let sectionMeta = null; // {title, change, hasBody, backfilled}
+    const flushSection = () => {
+      if (sectionMeta === null) return;
+      // 全文锚回填（追平刀①）：独立于正文块——已有正文（或 superseded）的条目缺锚同样补
+      //（正文块早退分支之前的必经路径；锚插入位=场景正文/摘要行后）。
+      let anchoredThisSection = false;
+      if (sectionMeta.change && !sectionLines.some((l) => l.startsWith('全文：'))) {
+        const parsedA = parseArchive(sectionMeta.change);
+        if (parsedA && !parsedA.missing) {
+          let srcA = parsedA.frs.find((fr) => (fr.title || '').trim() === sectionMeta.title);
+          if (!srcA) srcA = parsedA.frs[sectionMeta.ordInChange - 1] || null;
+          if (srcA) {
+            const isSceneLine = (l) => l.startsWith('场景正文：') || l.startsWith('- 场景：');
+            const aIdx = sectionLines.findLastIndex ? sectionLines.findLastIndex(isSceneLine) : -1;
+            const fallbackIdx = sectionLines.findLastIndex ? sectionLines.findLastIndex((l) => l.startsWith('摘要：')) : -1;
+            sectionLines.splice(Math.max(aIdx, fallbackIdx) + 1, 0, `全文：.sillyspec/changes/archive/${sectionMeta.change}/requirements.md#${srcA.local}`);
+            backfilled.push({ file: `fr/${f}`, id: sectionMeta.id, title: sectionMeta.title, what: '全文锚' });
+            anchoredThisSection = true;
+          }
+        }
+      }
+      if (sectionMeta.hasBody || !sectionMeta.change) {
+        if (!sectionMeta.hasBody) skipped++;
+        out.push(...sectionLines);
+        return;
+      }
+      const parsed = parseArchive(sectionMeta.change);
+      if (!parsed || parsed.missing) { skipped++; out.push(...sectionLines); return; }
+      // 标题匹配（剥 FR-x-NNN 前缀后的标题全等；fallback 按序：本域文件中该来源变更的第 n 条）
+      const bareTitle = sectionMeta.title;
+      let src = parsed.frs.find((fr) => (fr.title || '').trim() === bareTitle);
+      if (!src) {
+        const sameChange = parsed.frs;
+        src = sameChange[sectionMeta.ordInChange - 1] || null;
+        if (src) warnings.push(`${f} 的「${sectionMeta.title}」按序匹配回填（标题不精确匹配——建议核对）`);
+      }
+      const bodies = src && Array.isArray(src.scenarioBodies) ? src.scenarioBodies.filter((b) => b.given || b.when || b.then).slice(0, 5) : [];
+      if (!src || bodies.length === 0) {
+        if (!anchoredThisSection) {
+          warnings.push(`${f} 的「${sectionMeta.title}」来源无场景正文可回填（跳过）`);
+          skipped++;
+        }
+        out.push(...sectionLines);
+        return;
+      }
+      // 就地插入：状态行后（依据决策行若有则其后）
+      const insertAfter = Math.max(
+        sectionLines.findLastIndex ? sectionLines.findLastIndex((l) => l.startsWith('依据决策：')) : -1,
+        sectionLines.findLastIndex ? sectionLines.findLastIndex((l) => l.startsWith('摘要：')) : -1,
+      );
+      const block = ['场景正文：'];
+      const cut = (s) => String(s || '').slice(0, 80);
+      for (const b of bodies) {
+        const parts = [`Given ${cut(b.given)}`, `When ${cut(b.when)}`, `Then ${cut(b.then)}`].filter((x) => !x.endsWith(' '));
+        block.push(`- 场景：${b.name || '默认场景'} — ${parts.join('；')}`);
+      }
+      sectionLines.splice(insertAfter + 1, 0, ...block);
+      backfilled.push({ file: `fr/${f}`, id: sectionMeta.id, title: sectionMeta.title });
+      out.push(...sectionLines);
+    };
+    let ordCounter = new Map(); // changeName → 该来源在当前文件已见条目数
+    for (const line of lines) {
+      const hm = line.match(/^##\s+(FR-[A-Za-z0-9-]+)\s+(.*)$/);
+      if (hm) {
+        flushSection();
+        sectionLines = [line];
+        const changeLine = null; // 变更行在下文读取；先记标题
+        sectionMeta = { title: hm[2].trim(), change: null, hasBody: false, id: hm[1], ordInChange: 0 };
+        continue;
+      }
+      sectionLines.push(line);
+      if (sectionMeta) {
+        if (line.startsWith('变更：')) {
+          sectionMeta.change = line.replace(/^变更：\s*/, '').trim();
+          const n = (ordCounter.get(sectionMeta.change) || 0) + 1;
+          ordCounter.set(sectionMeta.change, n);
+          sectionMeta.ordInChange = n;
+        }
+        if (line.startsWith('状态：superseded')) sectionMeta.hasBody = true; // superseded 条目不回填（历史回溯面）
+        if (line.startsWith('场景正文：')) sectionMeta.hasBody = true;
+      }
+    }
+    flushSection();
+    if (backfilled.length > 0 || content !== out.join('\n')) {
+      // 仅当本文件确有回填才写盘（无回填保持字节不变）
+      const orig = content.replace(/\r\n/g, '\n');
+      if (out.join('\n') !== orig) {
+        try { writeFileSync(p, out.join('\n')); } catch (e) { warnings.push(`写 ${f} 失败（${e && e.message ? e.message : e}）`); }
+      }
+    }
+  }
+  return { backfilled, skipped, warnings };
+}
+
 /**
  * 注入源：触达域的 active 条目（superseded 默认藏——D-004）。
  * @returns {Array<{domain,id,title,change,scenarios:string[]}>}
@@ -333,8 +539,10 @@ export function readActiveFrDigest(knowledgeRoot, domains) {
     for (const s of st.sections) {
       if (s.lines.some((l) => l.startsWith('superseded_by：'))) continue;
       const scenarioLine = s.lines.find((l) => l.startsWith('摘要：'));
+      const decisionLine = s.lines.find((l) => l.startsWith('依据决策：'));
+      const decisions = decisionLine ? decisionLine.replace(/^依据决策：s*/, '').split('、').map((x) => x.trim()).filter(Boolean) : [];
       const scenarios = scenarioLine ? scenarioLine.replace(/^摘要：\s*/, '').split('；').map((x) => x.trim()).filter(Boolean) : [];
-      out.push({ domain, id: s.number, title: s.title || '', change: s.change || '', scenarios });
+      out.push({ domain, id: s.number, title: s.title || '', change: s.change || '', scenarios, decisions });
     }
   }
   return out;

package/src/handoff.js

@@ -0,0 +1,113 @@
+/**
+ * handoff.js —— 阶段跑者瘦会话交接块生成器（P1-5 v1，2026-09-20 对撞实验驱动）
+ *
+ * 为什么需要：单会话跑全流程时主上下文 ~300K 底座 × 每 CLI 往返重发一次——对撞实验
+ * 实测 sillyspec 侧主会话 203 请求烧 63M（肥上下文编排税是最大浪费源）。而 CLI prompt
+ * 本就自足（进度快照/模块命中/知识注入全由进度库与 prompt 渲染提供，新会话零背景可
+ * 续跑）——「每阶段一个瘦会话」是零机制改动的省法，缺的只是把交接信息打成一块可粘贴。
+ *
+ * 定位：纯只读（ProgressManager 读路径 + 环境探测），不写盘不动状态。输出三件：
+ *   ① 新会话启动块（保持 SILLYSPEC_SESSION_ID 不变——变更所有权按此判定）；
+ *   ② 下一阶段建议（当前阶段完成 → MAIN_FLOW_ORDER 后继；进行中 → 同阶段续跑）；
+ *   ③ 当前状态摘要（阶段进度 + 停留步骤）。
+ */
+import { ProgressManager, resolveSpecDir } from './progress.js';
+import { MAIN_FLOW_ORDER, STAGE_LABELS } from './progress/shared.js';
+
+/**
+ * 解析下一阶段建议。
+ * @param {string} currentStage - DB 当前阶段
+ * @param {boolean} stageCompleted - 当前阶段是否已完成（进度库 stageData.status === 'completed'）
+ * @returns {{ next: string, mode: 'advance' | 'resume', reason: string }}
+ */
+export function nextStageSuggestion(currentStage, stageCompleted) {
+  if (!currentStage) return { next: 'brainstorm', mode: 'resume', reason: '无进度记录，从头脑风暴起步' };
+  if (!stageCompleted) {
+    return { next: currentStage, mode: 'resume', reason: `${STAGE_LABELS[currentStage] || currentStage} 进行中——新会话续跑本阶段（步骤态由进度库恢复）` };
+  }
+  const idx = MAIN_FLOW_ORDER.indexOf(currentStage);
+  if (idx >= 0 && idx < MAIN_FLOW_ORDER.length - 1) {
+    const next = MAIN_FLOW_ORDER[idx + 1];
+    return { next, mode: 'advance', reason: `${STAGE_LABELS[currentStage] || currentStage} 已完成——新会话开跑下一阶段 ${STAGE_LABELS[next] || next}` };
+  }
+  if (currentStage === 'archive') {
+    return { next: '', mode: 'done', reason: '流程已归档终态——无下一阶段（可 sillyspec progress show 复核或开新变更）' };
+  }
+  // 辅助阶段（quick/scan/explore/status/doctor）完成：建议回主流程或开新
+  return { next: 'brainstorm', mode: 'resume', reason: `辅助阶段 ${STAGE_LABELS[currentStage] || currentStage} 完成——主流程变更请带 --change 续跑，或开新变更` };
+}
+
+/**
+ * 生成交接块（human 模式行数组 / --json 由调用方取结构）。
+ * @param {object} opts
+ * @param {string} opts.cwd
+ * @param {string} [opts.specBase] - 平台模式 specRoot；缺省 resolveSpecDir
+ * @param {string} [opts.changeName] - 变更名；缺省取唯一活跃主流程变更
+ * @returns {Promise<{ok:true, change, currentStage, stageCompleted, suggestion, sessionId, lines:string[]}|{ok:false, error:string}>}
+ */
+export async function buildHandoff({ cwd, specBase, changeName } = {}) {
+  const specRoot = specBase || resolveSpecDir(cwd);
+  const pm = new ProgressManager({ specDir: specRoot });
+
+  let target = changeName;
+  let picked = false;
+  if (!target) {
+    // 唯一活跃主流程变更自动选中（listChanges=目录+DB 联合口径，read 取 currentStage）
+    const names = pm.listChanges(cwd) || [];
+    const mains = [];
+    for (const cn of names) {
+      const p = pm.read(cwd, cn);
+      if (p && MAIN_FLOW_ORDER.includes(p.currentStage || '')) mains.push({ name: cn, stage: p.currentStage });
+    }
+    if (mains.length === 1) {
+      target = mains[0].name;
+      picked = true;
+    } else if (mains.length > 1) {
+      return { ok: false, error: `多活跃主流程变更（${mains.length} 个：${mains.map((m) => m.name).join('、')}）——请带 --change <名> 指定` };
+    } else {
+      return { ok: false, error: '无活跃主流程变更（quick/scan 会话或全部归档）——handoff 面向主流程阶段交接' };
+    }
+  }
+
+  const progress = pm.read(cwd, target);
+  if (!progress) return { ok: false, error: `变更不存在: ${target}` };
+
+  const currentStage = progress.currentStage || '';
+  const stageData = (progress.stages && progress.stages[currentStage]) || null;
+  const stageCompleted = !!(stageData && stageData.status === 'completed');
+  const suggestion = nextStageSuggestion(currentStage, stageCompleted);
+  const sessionId = process.env.SILLYSPEC_SESSION_ID || null;
+
+  const steps = Array.isArray(stageData && stageData.steps) ? stageData.steps : [];
+  const doneSteps = steps.filter((s) => s && s.status === 'completed').length;
+
+  const lines = [];
+  lines.push('🔗 交接块（瘦会话模式——下一阶段/续跑在新会话执行，主会话收尾省上下文）');
+  lines.push('');
+  lines.push('# ── 在新会话粘贴以下内容 ──');
+  if (sessionId) lines.push(`export SILLYSPEC_SESSION_ID=${sessionId}`);
+  else lines.push('export SILLYSPEC_SESSION_ID=<本变更的会话标识——旧会话 echo $SILLYSPEC_SESSION_ID 取>');
+  lines.push(`cd ${cwd}`);
+  if (suggestion.next) {
+    lines.push(`sillyspec run ${suggestion.next} --change ${target}`);
+  } else {
+    lines.push('# （流程终态，无续跑命令）');
+  }
+  lines.push('# ── 交接块结束 ──');
+  lines.push('');
+  lines.push(`📋 ${target}：当前 ${STAGE_LABELS[currentStage] || currentStage}${steps.length > 0 ? `（步骤 ${doneSteps}/${steps.length}）` : ''}${stageCompleted ? ' ✅ 已完成' : ''}`);
+  lines.push(`➡️ ${suggestion.reason}`);
+  lines.push('💡 为什么可行：CLI prompt 自足——进度快照/模块命中/知识注入由进度库与渲染提供，新会话零背景可续跑。');
+  lines.push('⚠️ SILLYSPEC_SESSION_ID 必须保持不变（变更所有权/接管判定按此标识）；缺省降级机器级标识只拦他机。');
+
+  return {
+    ok: true,
+    change: target,
+    autoPicked: picked,
+    currentStage,
+    stageCompleted,
+    suggestion,
+    sessionId,
+    lines,
+  };
+}

package/src/index.js

@@ -3402,6 +3402,58 @@ SillySpec worktree — git worktree 隔离管理
       await cmdAgentLog(filteredArgs.slice(1), { json, cwd: dir, specDir });
       break;
     }
+    case 'handoff': {
+      // 阶段跑者瘦会话交接块（P1-5 v1，2026-09-20 对撞实验驱动）：打印下一阶段新会话
+      // 启动块（保持 SILLYSPEC_SESSION_ID）+ 状态摘要。纯只读。CLI prompt 自足——
+      // 新会话零背景可续跑，主会话按阶段收尾省肥上下文重发税。
+      const hoChangeIdx = filteredArgs.indexOf('--change');
+      const hoChange = hoChangeIdx >= 0 ? filteredArgs[hoChangeIdx + 1] : undefined;
+      const { buildHandoff } = await import('./handoff.js');
+      const specRootHo = resolvePlatformSpecDir(dir, specDir) || join(dir, '.sillyspec');
+      const ho = await buildHandoff({ cwd: dir, specBase: specRootHo, changeName: hoChange });
+      if (!ho.ok) {
+        console.error(`❌ ${ho.error}`);
+        process.exit(2);
+      }
+      if (json) {
+        console.log(JSON.stringify({
+          schema_version: 1,
+          change: ho.change,
+          auto_picked: ho.autoPicked,
+          current_stage: ho.currentStage,
+          stage_completed: ho.stageCompleted,
+          next_stage: ho.suggestion.next,
+          mode: ho.suggestion.mode,
+          session_id: ho.sessionId,
+        }, null, 2));
+      } else {
+        for (const l of ho.lines) console.log(l);
+      }
+      break;
+    }
+    case 'fr-backfill': {
+      // L2 厚版（2026-09-20-fr-index-l2 / D-003@v2 / FR-04）：存量 FR 条目场景正文回填——
+      // active 条目缺「场景正文：」块 → 从来源变更归档 requirements.md 按标题匹配补齐
+      //（幂等；superseded 不回填；来源缺失警告不阻断）。一次性/手动命令，归档管线不挂载。
+      const specRootFb = resolvePlatformSpecDir(dir, specDir) || join(dir, '.sillyspec');
+      const { backfillScenarioBodies } = await import('./fr-index.js');
+      const r = backfillScenarioBodies({
+        knowledgeRoot: join(specRootFb, 'knowledge'),
+        archiveRoot: join(specRootFb, 'changes', 'archive'),
+      });
+      if (json) {
+        console.log(JSON.stringify({ schema_version: 1, backfilled: r.backfilled, skipped: r.skipped, warnings: r.warnings }, null, 2));
+      } else {
+        if (r.backfilled.length === 0) {
+          console.log(`✅ 无待回填条目（已有正文或无来源可回填 ${r.skipped} 条跳过）`);
+        } else {
+          console.log(`📦 回填 ${r.backfilled.length} 条：`);
+          for (const b of r.backfilled) console.log(`   - ${b.id} ${b.title}（${b.file}）`);
+        }
+        for (const w of r.warnings) console.warn(`   ⚠️ ${w}`);
+      }
+      break;
+    }
     case 'dispatch': {
       // SillyHub 派发抽象层的 agent 调用桥（design.md §Phase2 / D-007@v1）：
       // 仅做能力探测（probe）与派发策略生成（hint），**不执行任何 tool 调用**——

package/src/run/command.js

@@ -1325,6 +1325,38 @@ export async function runCommand(args, cwd, specDir = null, opts = {}) {
     } catch { /* claim 失败不阻断启动 */ }
   }
 
+  // ── 所有权写路径断言（2026-09-20 双写碰撞实证修复）：claim 只「不抢不拒」，写操作还须
+  // assert——今晚实证两会话并行驱动同一 change（owner=zcode-fr-l2 他人活跃中，另一会话的
+  // 三条 --done 直通落库，步骤槽混写）。拦截面=写 flag（--done/--reset/--reopen/--skip/
+  // --answer/--confirm/--files：quick 边界追加也是写）；读路径（prompt 显示/--status）不拦
+  // （index.js apply/cleanup 只读不接同款）。语义同接管类：self/no-owner 放行；
+  // takeover-stale（活跃窗外）放行并自动接管重写 owner；blocked-active-owner 拒绝（结构化
+  // 错误 + 指引）；--takeover 显式强制（逃生阀，重写留痕）。quick 会话身份=changeName 恒
+  // self 零影响；default 容器跳过（同上方 claim）。fail-open：断言异常不拦（护栏退 no-owner）。
+  if (effectiveChange && effectiveChange !== 'default') {
+    const _isWriteOp = isDone || isReset || isReopen || isSkip
+      || flags.includes('--answer') || flags.includes('--confirm') || flags.includes('--files');
+    if (_isWriteOp) {
+      try {
+        const ident = resolveSessionIdentity({
+          flagSession: getFlagValue('--session'),
+          quickChangeName: stageName === 'quick' ? effectiveChange : null,
+          cwd: dirname(specRoot),
+        })
+        const check = pm.assertChangeOwnership(cwd, effectiveChange, {
+          selfSession: ident.session, nowMs: Date.now(), forced: flags.includes('--takeover'),
+        })
+        if (check.allowed) {
+          if (check.action !== 'self') pm.setChangeOwner(cwd, effectiveChange, ident.session)
+        } else {
+          console.error(`\n🚫 变更 ${effectiveChange} 正被其他会话持有（owner: ${check.owner}，最后活跃: ${check.lastActive || '未知'}），活跃窗口 ${Math.round(check.heartbeatMs / 60000)} 分钟内拒绝写操作（--done/--reset/--reopen/--skip/--answer/--confirm/--files）`)
+          console.error(`   两个会话同时驱动同一 change 会步骤槽混写（2026-09-20 实证）。确认对方已放弃：等活跃窗过期后重试（自动接管），或本条命令加 --takeover 显式强制接管（重写 owner 留痕）；或与对方会话协调归属。`)
+          process.exit(1)
+        }
+      } catch { /* 断言异常不拦（fail-open，同 claim） */ }
+    }
+  }
+
   // --reset
   if (isReset) {
     return await resetStage(pm, progress, stageName, cwd, effectiveChange, platformOpts)

package/src/run/complete.js

@@ -714,6 +714,13 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
     const total = steps.length
     console.log(`✅ ${stageName} 阶段已完成（${total}/${total} 步）`)
 
+    // 瘦会话交接提示（P1-5 v1，2026-09-20 对撞实验驱动）：主流程阶段完成时点提示
+    // 「下一阶段可新会话续跑」——CLI prompt 自足（进度/上下文全由进度库与注入提供），
+    // 每阶段一个瘦会话省掉肥上下文 × N 请求的重发税。advisory 一行，不强制。
+    if (['brainstorm', 'plan', 'execute', 'verify'].includes(stageName) && changeName) {
+      console.log(`💡 瘦会话模式：下一阶段可在新会话续跑（sillyspec handoff --change ${changeName} 生成交接块；保持 SILLYSPEC_SESSION_ID 不变）——省肥上下文重发税`)
+    }
+
     // 平台模式产物落点指针（platform-docs-dual-location，2026-09-15 EHS 实证）：完成时点在
     // 工作树 .sillyspec/ 刷新人类可读指针（本地模式零行为，fail-soft 内部全兜）。
     writePlatformDocsPointer(cwd, changeName, platformOpts, stageName)

package/src/run/gate-snapshot.js

@@ -352,7 +352,7 @@ export function applyGateSnapshotCopy(cwd, snapshotRoot) {
  * @param {{ cwd: string, files: string[] }} opts cwd=主仓根；files=本会话变更文件（仓库根相对 POSIX）
  * @returns {{ snapshotRoot: string, cleanup: () => void, reason?: string }|null} 失败返回 null（调用方回退主仓）
  */
-export function createGateSnapshot({ cwd, files, sourceRoot = null, skipImportSmoke = false }) {
+export function createGateSnapshot({ cwd, files, sourceRoot = null, skipImportSmoke = false, mergeBase = null }) {
   let snapshotRoot = null
   try {
     // 前置：主仓须是 git 仓且有 HEAD（无 git 环境回退主仓现行为）
@@ -383,12 +383,20 @@ export function createGateSnapshot({ cwd, files, sourceRoot = null, skipImportSm
     let overlaid = 0
     // 双写一致性（2026-09-20 红线机检变更实证：主 agent 在主仓直写而 execute 已建 worktree 时，
     // overlay 源=worktree 拿陈旧内容盖掉快照 HEAD 的新版——快照内 import 找不到新导出→门禁假红）。
-    // 三方取新：sourceRoot 与 cwd 同文件内容不同时，选「与快照 HEAD 基线不同」的那份；
-    // 两份都变了且互不相等（真分叉）→ 显式警告 + 取 cwd（主仓直写=本会话最新编辑位约定）。
+    // 祖先判据（fr-index-l2 二次实证升级）：基线优先取 merge-base 的每文件祖先内容
+    //（git show mb:file——worktree 有自家 checkpoint 提交时，快照 HEAD 不是公共祖先，
+    // wtDiff/cwdDiff 同谱不可分；祖先内容可精确分「worktree 停在分叉点=陈旧」与「真有修改」）。
+    // 两份都变于祖先且互不相等（真双写分叉）→ 显式警告 + 取 cwd（主仓直写=本会话最新编辑位约定）。
     // 行尾归一（坑 autocrlf-byte-misjudge）：本机 autocrlf=true 时快照 checkout 是 CRLF、
     // 工作区文件常是 LF——字节直比会误判「两边都改」。比较一律 CRLF→LF 归一后做。
     const normalizeEol = (buf) => String(buf).replace(/\r\n/g, '\n')
     const headFileContent = (rel) => {
+      if (mergeBase) {
+        try {
+          const anc = git(cwd, ['show', `${mergeBase}:${rel}`])
+          if (typeof anc === 'string') return normalizeEol(anc)
+        } catch { /* 祖先无此文件（新增文件）→ 落到快照 HEAD 口径 */ }
+      }
       try { return normalizeEol(readFileSync(join(snapshotRoot, rel))) } catch { return null }
     }
     for (const f of files) {
@@ -633,16 +641,30 @@ export async function createVerifyGateSnapshot({ cwd, changeName, specBase, plat
 
     // overlay 源：worktree meta 感知（native worktree 在则从 worktree 根取「本变更分支内容」）
     let sourceRoot = null
+    let snapMergeBase = null
     try {
       const { WorktreeManager } = await import('../worktree.js')
       const wm = new WorktreeManager({ cwd })
       const meta = wm.getMeta(changeName)
       if (meta && meta.worktreePath && meta.mode !== 'in-place-fallback' && existsSync(meta.worktreePath)) {
         sourceRoot = meta.worktreePath
+        // 陈旧 worktree 判定（2026-09-20 fr-index-l2 实证）：主 agent 在主仓直写并提交后，
+        // worktree 停在基线——内容三方（worktree/cwd/快照HEAD）判不出「领先」与「落后」
+        // （同谱）。精确判据 = merge-base 的每文件祖先内容（git show mb:file）：
+        // worktree 内容==祖先 → 陈旧（主仓取新）；≠ → worktree 有真修改（正常流保 worktree）。
+        // 此处只算 mergeBase 一次（拓扑级），每文件祖先内容由 createGateSnapshot 按需取。
+        try {
+          const wtTip = git(sourceRoot, ['rev-parse', 'HEAD'])
+          const mainHead = git(cwd, ['rev-parse', 'HEAD'])
+          const mb = (wtTip && mainHead && wtTip !== mainHead) ? git(cwd, ['merge-base', wtTip, mainHead]) : null
+          if (wtTip && mainHead && wtTip !== mainHead && mb) {
+            snapMergeBase = String(mb).trim()
+          }
+        } catch { /* 拓扑判定失败退快照HEAD口径（既有兜底） */ }
       }
     } catch { /* meta 读取失败 → 主仓 cwd 源（files 已含本变更 working-tree 改动） */ }
 
-    const snap = createGateSnapshot({ cwd, files: changeFiles, sourceRoot })
+    const snap = createGateSnapshot({ cwd, files: changeFiles, sourceRoot, mergeBase: snapMergeBase })
     if (!snap) return null
 
     // 变更文档随快照：module-impact.md（test_strategy=evidence-auto 消费）/tasks.md 等

package/src/run/prompt.js

@@ -1151,9 +1151,9 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       if (entries.length === 0) {
         promptText = promptText.replace(/\{FR_INDEX_DIGEST\}/g, '（触达域暂无 active FR 索引条目——本变更大概率是这些域的首批需求，照常写作）')
       } else {
-        const lines = entries.map((e) => `- ${e.id} ${e.title}（来源 ${e.change}${e.scenarios.length ? '；场景：' + e.scenarios.slice(0, 3).join('，') : ''}）`)
+        const lines = entries.map((e) => `- ${e.id} ${e.title}（来源 ${e.change}${e.scenarios.length ? '；场景：' + e.scenarios.slice(0, 3).join('，') : ''}${(e.decisions || []).length ? '；依据：' + e.decisions.slice(0, 3).join('、') : ''}）`)
         lines.push('')
-        lines.push('> 域解析自本变更 design.md 文件清单（漏域先核对清单）。改写/取代已有行为 → 对应 FR 块加承接行；新行为 → 新 FR 块。superseded 条目默认不列（历史回溯自行读 knowledge/fr/）。')
+        lines.push('> 域解析自本变更 design.md 文件清单（漏域先核对清单）。改写/取代已有行为 → 对应 FR 块加承接行；新行为 → 新 FR 块。superseded 条目默认不列（历史回溯自行读 knowledge/fr/）。依据决策（L2）= 当年取舍锚——翻案须先读 knowledge/decisions/<域>.md 的否决理由，满足复潮条件走 D-xxx@vN+1，不得静默改行为。承接行可带退役理由：`承接: FR-<域>-NNN（退役理由：一句话）`——归档时写进被取代条目（理由内禁逗号）；条目正文是截断摘要，全文锚（全文：<归档路径>#FR-NN）由 CLI 自动落。')
         promptText = promptText.replace(/\{FR_INDEX_DIGEST\}/g, lines.join('\n'))
       }
       try {