@fanchao8609/agent_brain_sync 1.25.1 → 1.26.0

package/src/brain/summon.js

@@ -78,7 +78,7 @@ function isRealUserText(t) {
 }
 
 /** 会话文件 md5。判「内容有没有变」的唯一可靠判据。 */
-async function md5Of(file) {
+export async function md5Of(file) {
   const buf = await fs.readFile(file).catch(() => null);
   if (!buf) return null;
   return createHash('md5').update(buf).digest('hex');
@@ -89,14 +89,21 @@ export async function digestSession(file) {
   let raw;
   try { raw = await fs.readFile(file, 'utf8'); } catch { return null; }
   const out = {
-    file, start: '', endedAt: '', day: '',
-    users: [], filesEdited: new Map(), toolCalls: 0,
+    file, start: '', endedAt: '', day: '', id: '', cwd: '',
+    users: [], filesEdited: new Map(), toolCalls: 0, lastAssist: '',
   };
   for (const l of raw.split('\n')) {
     if (!l) continue;
     let o;
     try { o = JSON.parse(l); } catch { continue; }
-    if (o.type === 'session') { out.start = o.timestamp || ''; out.cwd = o.cwd; continue; }
+    if (o.type === 'session') {
+      out.start = o.timestamp || '';
+      out.cwd = o.cwd;
+      // 会话 id 是「这份资料属于哪场会话」的唯一凭据 —— pi 把它放在首行，
+      // 文件名里也有，但文件名会被改，id 不会。
+      out.id = o.id || '';
+      continue;
+    }
     if (o.type !== 'message') continue;
     if (o.timestamp) out.endedAt = o.timestamp;
     const m = o.message || {};
@@ -104,17 +111,28 @@ export async function digestSession(file) {
       const t = textOf(m.content).trim();
       if (isRealUserText(t)) out.users.push(t);
     } else if (m.role === 'assistant' && Array.isArray(m.content)) {
+      let said = '';
       for (const c of m.content) {
-        if (!c || c.type !== 'toolCall') continue;
+        if (!c) continue;
+        if (c.type === 'text' && c.text) said += c.text;
+        if (c.type !== 'toolCall') continue;
         out.toolCalls++;
         const p = c.arguments && c.arguments.path;
         if (p && typeof p === 'string' && ['edit', 'write'].includes(c.name)) {
           out.filesEdited.set(p, (out.filesEdited.get(p) || 0) + 1);
         }
       }
+      // 只留最后一轮说了什么（会话的收尾结论通常在这），不存全文 ——
+      // 全文动辄几百 KB，存进来就是「读取侧随规模增长」。
+      if (said.trim()) out.lastAssist = said.trim();
     }
   }
   out.day = (out.start || '').slice(0, 10);
+  if (!out.id) {
+    // 兜底：文件名形如 `2026-11-05T03-35-14-951Z_<id>.jsonl`
+    const m = String(file).match(/^[^_]+_([0-9a-f-]{16,})\.jsonl$/);
+    if (m) out.id = m[1];
+  }
   return out;
 }
 
@@ -130,6 +148,12 @@ async function daysWithSnapshot(brainSessionsDir) {
   let files;
   try { files = await fs.readdir(brainSessionsDir); } catch { return days; }
   for (const f of files) {
+    // ★ 只认「整天快照」，不认单场会话页（2026-11-05 实测修正）：
+    //   `log-<日期>.md` 是人写的一天流水 —— 那天确实整理过了，跳过合理。
+    //   但 `session-<日期>-s<id8>.md` 是**一场会话一张**（abs ingest 的产物）。
+    //   按天跳过它，会让「同一天只落了一场」把其余几场永久埋掉：
+    //   实测真实项目有 14 天存在多场会话（最多一天 10 场），落一场就全跳过。
+    if (f.startsWith('session-')) continue;
     const m = f.match(/(\d{4}-\d{2}-\d{2})/);
     if (m) days.add(m[1]);
   }
@@ -148,11 +172,44 @@ export async function readLedger(path = ledgerPath()) {
 /** 写账本（原子：tmp + rename）。 */
 export async function writeLedger(ledger, path = ledgerPath()) {
   await fs.mkdir(join(path, '..'), { recursive: true });
-  const tmp = `${path}.tmp-${Date.now()}`;
+  // tmp 名必须带随机后缀（2026-11-05 实测）：
+  //   原来用 `${path}.tmp-${Date.now()}`。同一毫秒内起两个进程（同时关两个会话）
+  //   会生成**完全相同**的 tmp 名 —— 前一个 rename 把文件改走后，后一个 rename
+  //   对着已经不存在的老名字操作，抛 ENOENT。实测 20 个并发直接炸出这个错。
+  //   仓库其它落盘点（ingest 的页、notes）早就在用 `${Date.now()}-${random}`，
+  //   这里漏了随机段。
+  const tmp = `${path}.tmp-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
   await fs.writeFile(tmp, JSON.stringify(ledger, null, 2) + '\n');
   await fs.rename(tmp, path);
 }
 
+/** 读-改-写账本的**并发安全**版本。
+ *
+ * 为何要它（2026-11-05 实测）：`readLedger` + 修改 + `writeLedger` 是一组
+ *   非原子操作。两个会话同时关闭 → 两个 ingest 进程各自读到同一份旧账本 →
+ *   各自加一条 → 后写的盖掉先写的，**先写那条静默消失**。
+ *   后果不是报错，是某场会话下次又被当作「未落页」重新催一遍。
+ *
+ * 用 lock.js 的 editFile（它按文件加 .lock 串行化，是仓库既定的写法）。
+ * 账本不在 BRAIN_SHAPE 里，故不会过 index/todo/log 的格式闸门。
+ *
+ * @param {(book:object)=>void} mutator 就地修改 book
+ */
+export async function updateLedger(mutator, path = ledgerPath()) {
+  const { promises: fsp } = await import('node:fs');
+  await fsp.mkdir(join(path, '..'), { recursive: true });
+  const { editFile } = await import('../lock.js');
+  await editFile(path, async (current) => {
+    let book;
+    try {
+      const j = JSON.parse(String(current || ''));
+      book = (j && typeof j.files === 'object') ? j : { version: 1, files: {} };
+    } catch { book = { version: 1, files: {} }; }
+    await mutator(book);
+    return { text: JSON.stringify(book, null, 2) + '\n' };
+  });
+}
+
 /**
  * 扫一个项目，分三类：
  *   fresh    —— 从未总结过（账本里没有）
@@ -295,7 +352,7 @@ export async function summonTail(root, { limit = 8 } = {}) {
       }
     }
     if (pending > limit) lines.push(`  …另有 ${pending - limit} 场（abs summon 看全量）`);
-    lines.push('  落哪条由你判断: abs capture --layer N "…"  |  abs summon --mark 记账不再提');
+    lines.push('  落哪条由你判断: abs ingest <会话文件名>  |  abs capture --layer N "…"');
     return '\n' + lines.join('\n');
   } catch {
     return '';

package/src/install.js

@@ -448,6 +448,33 @@ async function reconcileOneStore(p, keys) {
  * 故这里只做**只读检测 + 告警**，绝不代它删除或改写（那是别人的目录）。
  * @returns {string|null} 一行告警文案；无需告警时 null
  */
+/** 安装后自检：hook 指向的入口是否真的跟得上当前代码。
+ *
+ * 为何要它（2026-11-05 实测踩到）：hook 烧进去的是**绝对路径**，指向全局包。
+ *   那天先装了 hook（12:23），全局包四分钟后才重装（12:27）——
+ *   中间真实关闭会话时，hook 调的是一个当时还不存在的命令，静默失败。
+ *   fire-and-forget 的错误全被吞掉，所以「装好了」和「能用」看起来一模一样。
+ *
+ * 判据：看那个文件里有没有本次安装所依赖的命令，**而不是看文件存在**。
+ *   文件存在只证明路径对，不证明内容新。
+ *
+ * @returns {string|null} 有问题时返回要打印的提示，正常返回 null。
+ */
+export function staleBinWarning(binOverride) {
+  let bin, src;
+  try {
+    bin = binOverride || stableBinPath('abs.js');
+    src = fsSync.readFileSync(bin, 'utf8');
+  } catch { return null; }   // 自检失败不该影响安装结果
+  // ingest 是 2026-11 新增的；缺它说明指向的是旧包，hook 触发时会「未知命令」
+  if (/'ingest'/.test(src)) return null;
+  return [
+    '⚠ hook 指向的 abs 缺少 ingest 命令，会话关闭时不会自动落会话页。',
+    `  实际指向: ${bin}`,
+    '  修法: npm install -g .   然后重跑本安装',
+  ].join('\n');
+}
+
 function agentsSkillWarning() {
   const p = join(homedir(), '.agents', 'skills', 'abs-agent-brain-sync', 'SKILL.md');
   if (!fsSync.existsSync(p)) return null;
@@ -976,6 +1003,9 @@ export async function runInstall({ agent, all = false, mcp = true, skill = true,
     const w = agentsSkillWarning();
     if (w) console.log('\n' + w);
   }
+  const stale = staleBinWarning();
+  if (stale) console.log('\n' + stale);
+
   console.log('\n完成。项目内运行 abs init 建图谱; 会话里说 "abs load" 续接。');
 }
 

package/src/lint.js

@@ -48,6 +48,36 @@ export function hasTail(body) {
 }
 const PAGE_MAX_BYTES = 8 * 1024;
 
+/** 决策/权衡类页的尾巴：要的是「当时依据什么选的」，不是可跑的命令。
+ *
+ * 为何单开一套词（2026-11-05）：这类知识天生没有验证命令 ——
+ * 「为什么选 SQLite 不选 Neo4j」只能给取舍依据，硬要写「跑什么命令确认」就是编。
+ * 判据仍要看得见的东西：可选方案、各自代价、最后按哪条定的。
+ *
+ * 词表比 TAIL_WORDS 窄很多 —— 这里要的是「依据」，不是任何动作词都算。 */
+const BASIS_WORDS = '依据|代价|取舍|放弃|为什么|原因|权衡|选[了择定]|不考虑|代价|对比';
+
+/** 决策类页有没有给出「当时凭什么这么选」。
+ * 与 hasTail 同形（段标题 + 段内有真内容），只是词表不同 ——
+ * 不共用一个函数是因为两边词表不同，合用会把「验证」也算成「依据」。 */
+export function hasBasisTail(body) {
+  const lines = String(body || '').split('\n');
+  const headRe = new RegExp(`^#{2,6}[^\\n]*(${BASIS_WORDS})`);
+  for (let i = 0; i < lines.length; i++) {
+    if (!headRe.test(lines[i])) continue;
+    const lvl = lines[i].match(/^#+/)[0].length;
+    for (let j = i + 1; j < lines.length; j++) {
+      const t = lines[j].trim();
+      const h = lines[j].match(/^(#+)\s/);
+      if (h && h[1].length <= lvl) break;
+      if (!t) continue;
+      if (t.startsWith('<!--') || t === '-->') continue;
+      return true;
+    }
+  }
+  return new RegExp(`^\\s*(?:\\d+\\.|[-*])\\s*\\**[^\\n]{0,20}(${BASIS_WORDS})`, 'm').test(String(body || ''));
+}
+
 // source 页超龄未提炼的天数阈值（SOURCE-UNDISTILLED）。
 // 7 天 = 跨过至少一个完整工作周还没人提炼，基本等于被遗忘。
 const SOURCE_STALE_DAYS = 7;
@@ -96,6 +126,9 @@ export async function listPages(vault) {
         indexed: indexText.includes(`[[${f.replace(/\.md$/, '')}]]`),
         status: statusOfPage(body, fm ? fm[1] : ''),
         supersededBy: supersededByOf(body),
+        // kind 与 status 同源，都在 frontmatter。
+        // 尾巴规则要按它分档（见 checkPage 的 NO-TAIL）。
+        kind: ((fm ? fm[1] : '').match(/^kind:\s*(.+)$/m) || [])[1]?.trim() || '',
       });
     }
   }
@@ -228,7 +261,20 @@ function checkPage(pg, names, linkedNames, inbound) {
     }
   }
   if (pg.dir === 'concepts' && !hasTail(pg.body)) {
-    issues.push(`NO-TAIL: ${pg.rel}（无「做完怎么确认」；尾巴写清跑什么/看什么/按什么判据，别只有头）`);
+    // 尾巴按 kind 分档（2026-11-05）：原来「必须写验证命令」对所有 concepts 页一律要求，
+    // 后果是「当时为什么这样选」这类决策知识根本落不了地 —— 决策没有可跑的验证命令，
+    // 硬写就是编。用户 2026-11-05 定的方向是让 abs 成为大型知识图谱，
+    // 那就不能只有「故障排查」一种知识形态。
+    //
+    //   gotcha / howto → 仍要验证尾巴（现状不变，这两类真有可验证的东西）
+    //   decision / tradeoff → 写「当时依据什么选的」即可
+    //   无 kind 的旧页 → 保持现状，不回溯（不把历史页一夜变红）
+    const needsVerify = !pg.kind || pg.kind === 'gotcha' || pg.kind === 'howto';
+    if (needsVerify) {
+      issues.push(`NO-TAIL: ${pg.rel}（无「做完怎么确认」；尾巴写清跑什么/看什么/按什么判据，别只有头）`);
+    } else if (!hasBasisTail(pg.body)) {
+      issues.push(`NO-TAIL: ${pg.rel}（kind=${pg.kind} 不要求验证命令，但要有「当时依据什么选的」：写可选方案、各自代价、最后按哪条定的）`);
+    }
   }
   // 「任务随手记」（abs todo memo）不登记 index：它是**某任务的过程草稿**，
   // 数量随任务数增长且生命周期短（任务完就没人看），登记会把 index 冲垮 ——
@@ -262,9 +308,14 @@ async function checkGraph(root, pages) {
   }
 
   // SESSIONS-NAMING: sessions/ 的一天一文件契约
+  // 例外（2026-11-05）：`abs ingest` 落的会话页叫 `session-<日期>-s<id8>.md`，
+  // 它不是「当天工作流水」，而是**一场具体会话的结构化记录** ——
+  // 同一天可以有好几场，硬套「一天一个 log」会把它挤掉。
+  // 判据用 slug 前缀 `session-`：这是 ingest 独占的命名空间，与 log-<日期> 不交叉。
   const sessByDate = new Map();
   for (const pg of pages) {
     if (pg.dir !== 'sessions') continue;
+    if (/^session-/.test(pg.slug)) continue;
     const m = pg.slug.match(/^(?:log-)?(\d{4}-\d{2}-\d{2})/);
     if (!m) continue;
     const tags = String(pg.frontmatter).match(/^tags:\s*(.+)$/m)?.[1] || '';
@@ -287,9 +338,9 @@ async function checkGraph(root, pages) {
   for (const pg of pages) {
     if (pg.dir !== 'sessions') continue;
     const tags = String(pg.frontmatter).match(/^tags:\s*(.+)$/m)?.[1] || '';
-    if (!/session-log|todo-archive|archive/.test(tags)) {
+    if (!/session-log|todo-archive|archive|session-digest/.test(tags)) {
       issues.push(`SESSIONS-MISPLACED: ${pg.rel}（tags: ${tags.trim()} 不属 sessions/；` +
-        `当天工作写进 \`log-<日期>.md\` 正文，暂存线索用 \`abs note\` 落 sources/）`);
+        `当天工作写进 \`log-<日期>.md\` 正文；一场会话的结构化记录用 \`abs ingest\`）`);
     }
   }
 

package/src/todo/structure.js

@@ -181,7 +181,24 @@ export function enforceBrainFormat(text, spec, prev) {
   //   为什么：不做这个区分，库里只要有一条历史脏行，**所有写入全部失败** ——
   //   实测真库（corp_agent）就因一条超长断点 + 8 条 `[]()` 条目，
   //   连 `abs rule add` 都做不到，整个图谱变成只读。
-  const prevSig = prev == null ? null : violationSignatures(String(prev));
+  //
+  // ★ prev 也要过同一道 ↳ 迁移（2026-11-05 实测踩到）：
+  //   上面把 src 里的 `  ↳ 内容: …` 迁成 `  - [ ] …`，行的签名随之变形；
+  //   而 prevSig 若直接取 prev 的原始签名，就对不上迁移后的行 ——
+  //   存量坏子项（超长/报告体）会被判成「本次新引入」，写入失败。
+  //   实测症状：zj_shop 的 load 直接崩 —— readTodo 的惰性迁移一走写盘就抛错，
+  //   于是 abs load / abs todo 全部失效，且该状态不会自愈。
+  //   修法：让 prev 走**同一次迁移**再取签名，两边签名体系才一致。
+  let prevForSig = prev;
+  if (prev != null && spec?.h1 === '# 📋 Todo Board') {
+    const lp = String(prev).split('\n');
+    for (let i = 0; i < lp.length; i++) {
+      const conv = migrateLegacyChild(lp[i]);
+      if (conv !== null && conv !== lp[i]) lp[i] = conv;
+    }
+    prevForSig = lp.join('\n');
+  }
+  const prevSig = prevForSig == null ? null : violationSignatures(String(prevForSig));
   if (spec?.h1 === '# 📋 Todo Board') assertTodoContent(src, prevSig);
   // ★ 标签白名单闸门放在**旧标记归一之后**（见下面 legacy 段之后）——
   // 旧标签（`## Backlog` / `## Today / In Progress`）是**待迁移**的，不是非法新标签。