@fanchao8609/agent_brain_sync 1.19.0 → 1.19.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fanchao8609/agent_brain_sync",
-  "version": "1.19.0",
+  "version": "1.19.2",
   "description": "agent-brain-sync: 跨会话 AI 编码记忆 — hook 纯触发 + CLI/MCP 读写 .brain markdown 图谱, 防并发写保护。",
   "type": "module",
   "license": "MIT",

package/src/lint.js

@@ -331,8 +331,12 @@ async function checkFiles(vault, pages, indexLinks) {
     if (doneLines > DONE_MAX) {
       issues.push(`DONE-PILED-UP: Done 区 ${doneLines} 行 > ${DONE_MAX}; 跑 \`abs todo archive\` 迁出旧日期组`);
     }
+    // ★ 只数**顶格**任务行（缩进 0）—— 子项也是 `- [x]`，带 \s* 会把子项一起算进来，
+    //   于是「父任务有结语有日期、子项没有」也被报成缺结语（实测 DONE-NO-KIND 误报
+    //   一条子项 `- [x] 不急，等下次碰这块再拆`）。与 archive.js 数任务时的判据保持一致。
+    const isTopDone = (l) => /^- \[x\]/.test(l);
     const doneBody = todoTxt.split('\n').slice(di + 1);
-    const noKind = doneBody.filter((l) => /^\s*- \[x\]/.test(l) && !doneKindOf(l));
+    const noKind = doneBody.filter((l) => isTopDone(l) && !doneKindOf(l));
     if (noKind.length) {
       const sample = (noKind[0].match(/- \[x\] (\S+)/) || [, '?'])[1];
       issues.push(
@@ -340,7 +344,7 @@ async function checkFiles(vault, pages, indexLinks) {
         `逐条补 \`--as 落地|否决|仅方案\`（新条目：abs todo done <id> --as …）`,
       );
     }
-    const noDate = doneBody.filter((l) => /^\s*- \[x\]/.test(l) && !doneDateOf(l));
+    const noDate = doneBody.filter((l) => isTopDone(l) && !doneDateOf(l));
     if (noDate.length) {
       const sample = (noDate[0].match(/- \[x\] (\S+)/) || [, '?'])[1];
       issues.push(

package/src/lock.js

@@ -14,6 +14,24 @@ export class LockTimeout extends Error {}
  * 返回 null = 该文件不归闸门管；否则返回整理后的 text。 */
 let formatGate = null;
 export function setFormatGate(fn) { formatGate = fn; }
+
+/** 三个受管文件名 —— 它们存在就是为了当“数据库表”，格式必须恒定。 */
+const MANAGED = new Set(['index.md', 'log.md', 'todo.md']);
+
+/** 懒加载闸门：**漏了 setFormatGate 就等于没闸门**，而注册是 import 副作用，
+ *  谁少 import 一次 store.js 就静默裂开（2026-10-18 实测：只 import lock.js 时
+ *  裸散文直接写进了 index.md）。故这里不信任外部注册，缺失时自己补上。
+ *
+ * 补不上（= store.js 没调 setFormatGate）就对受管文件硬拒：宁可写失败也不要格崩坏
+ * ——写不进去能重试，写脏了没人知道。 */
+async function gateFor(file) {
+  if (!formatGate) await import('./store.js'); // 它的模块顶层会调 setFormatGate
+  if (formatGate) return formatGate;
+  if (MANAGED.has(basename(file))) {
+    throw new Error(`✗ ${basename(file)} 是受管文件，但格式闸门未注册 —— 拒绝写入（防止格崩坏）`);
+  }
+  return null;
+}
 const LOCK_WAIT_BASE_MS = 15;  // 指数退避起始重试间隔
 const LOCK_WAIT_MAX_MS = 150;  // 指数退避上限
 // 抢锁总预算：排队等锁的进程须依次排完。多进程高并发(CLI/MCP/hook 同刻抢一文件)下,
@@ -76,7 +94,14 @@ export async function editFile(file, mutator) {
     let write = typeof res === 'string' ? res : res && typeof res.text === 'string' ? res.text : null;
     // 格式闸门：所有写 index/todo/log 的路径（CLI/MCP/hook 共 ~15 处）都在此收口，
     // 不必逐个改调用点 —— 破坏格式的写入在这里被整理回标准形态（见 todo.js）。
-    if (write && formatGate) write = formatGate(file, write, current) ?? write;
+    //
+    // ★ 对三个受管文件，闸门**必须存在**：它们不是自由文本，是数据库表。
+    //   闸门缺失时以前会静默跳过（直写盘），现在改为自己补加载；补不上就硬拒，
+    //   宁可写失败也不要格崩坏——写不进去能重试，写脏了没人知道。
+    if (write) {
+      const gate = await gateFor(file);
+      if (gate) write = gate(file, write, current) ?? write;
+    }
     if (write && write !== current) {
       await fs.writeFile(file, write, 'utf8');
     }

package/src/store.js

@@ -56,9 +56,11 @@ export async function cmdInit({ dir }) {
 
 async function createSkeleton(root, brain) {
   for (const d of BRAIN_DIRS) await fs.mkdir(join(brain, d), { recursive: true });
-  await fs.writeFile(join(brain, 'index.md'), indexTemplate(), 'utf8');
-  await fs.writeFile(join(brain, 'log.md'), logTemplate(), 'utf8');
-  await fs.writeFile(join(brain, 'todo.md'), todoTemplate(), 'utf8');
+  // 走 editFile 而不是 fs.writeFile：三个文件是受管表，写入必须过同一道闸门
+  // （2026-10-18：原来直写盘，是个绕过口）。模板本身合法，闸门只做归一。
+  for (const [f, tpl] of [['index.md', indexTemplate], ['log.md', logTemplate], ['todo.md', todoTemplate]]) {
+    await editFile(join(brain, f), (cur) => (cur === null ? { text: tpl() } : SKIP));
+  }
   // 建完就提示设姓名 —— 否则用户一路到第一次 todo add 才撞墙，
   // 中间 init/load 都不提，根本不知道该设。
   const who = await getUser();
@@ -116,7 +118,8 @@ export async function cmdRepair({ dir }) {
     try {
       await fs.access(join(brain, f));
     } catch {
-      await fs.writeFile(join(brain, f), tpl(), 'utf8');
+      // 同 createSkeleton：补齐也走 editFile 的口子（已存在则 cur 非 null，不覆盖）
+      await editFile(join(brain, f), (cur) => (cur === null ? { text: tpl() } : SKIP));
       fixed.push(f);
     }
   }
@@ -983,6 +986,7 @@ async function markDone(file, id, kind = '落地', conclusion, bySid = '') {
     let changed = false;
     let moved = null;
     const kept = [];
+    const leftBehind = [];
     const wantId = String(id).replace(/\u200b/g, '');
     for (let i = 0; i < lines.length; i++) {
       const l = lines[i];
@@ -1007,28 +1011,72 @@ async function markDone(file, id, kind = '落地', conclusion, bySid = '') {
         parts.push(`(完成 ${today()}${doneSid ? ' ' + doneSid : ''})`);
         const head = withDoneKind(`${base}${tail} ${parts.join(' ')}`, kind);
         const bp = [];
-        // 子项随任务一起搬运（标准 md：缩进的 `- [ ]`；旧格式 `↳ …` 也认）。
-        // 原实现只认 `↳`，换成标准 md 后子项会留在原区——即「任务走了子项没走」。
+        const leftover = [];
+        // 子项搬运：已勾选的随任务进 Done；**未勾选的不搬**，留在 Todo 区。
+        //
+        // 为何（2026-10-18 实测）：Done 区被 collapseDone 折叠成计数，搬进去即「看板里
+        // 消失」。实测 factory-docs-slim 就带着「待做六链」的 `- [ ]` 落地，那条待办
+        // 此后无处可寻，同时父任务盖着【落地】——看板与事实矛盾。
+        //
+        // 为何不是硬拦（A 方案被否）：`abs todo note` 写的子项与断点记录**同形**（都是
+        // `  - [ ] …`），无法从字段上区分「待办」与「过程记录」；硬拦会把所有带断点的
+        // 任务一起拦住（实测弄挂两条既有测试）。改为「不搬 + 点名」，信息不丢且不误伤。
         while (i + 1 < lines.length) {
           const nx = lines[i + 1];
           if (!nx.trim()) break;
           const kid = parseChild(nx);
-          if (kid && kid.indent > 0) bp.push(lines[++i]);
-          else if (nx.trimStart().startsWith('↳')) bp.push(lines[++i]);
-          else break;
+          if (kid && kid.indent > 0) {
+            // 无论勾没勾都要 i++（否则原地打转 —— 2026-10-18 实测 OOM）
+            const ch = lines[++i];
+            if (kid.done) bp.push(ch);
+            else leftover.push(kid.text);
+            continue;
+          }
+          if (nx.trimStart().startsWith('↳')) {
+            const ch = lines[++i];
+            if (/^\s*↳\s*\[ \]/.test(ch)) leftover.push(ch.trim().replace(/^\s*↳\s*\[ \]\s*/, ''));
+            else bp.push(ch);
+            continue;
+          }
+          break;
         }
         moved = [head, ...bp];
+        // 还有未勾子项就**不许 done**（2026-10-18 用户定）。
+        //
+        // 规则：主任务与子任务都是任务，处理方式一样 —— 子任务也是看板上一行，
+        // 也要自己完成。只有主子全部完成，主任务才能经 done。
+        //
+        // 为何不自己搬：上四版的四种做法全被否定——
+        //   ① 随父任务进 Done（原实现）→ Done 区被 collapseDone 折叠成计数，
+        //      未勾子项进去即消失（实测 factory-docs-slim）
+        //   ② 升为顶层任务（<id>-restN）→ 用户：子任务不能升格
+        //   ③ 建占位主任务挂住 → 仍是无中生有，与 ② 同病
+        //   ④ 就这么留着不管 → 无主杂行，重建分区时被清掉
+        // 正确做法是**不替用户决定**：告诉他还有哪些没完成，让他先勾或先删。
+        if (leftover.length) {
+          throw new Error(
+            `✗ 任务 "${wantId}" 还有 ${leftover.length} 条子任务未完成，不能 done：\n` +
+              leftover.map((p) => `    - [ ] ${p}`).join('\n') +
+              `\n子任务也是任务，主子全部完成才能 done。先二选一：\n` +
+              `  • 做完了 → abs todo bp-done ${wantId}   （勾最后一条；指定第 N 条：bp-done ${wantId} --n N）\n` +
+              `  • 不做了 → 删掉那几行子项，再 abs todo done ${wantId}`,
+          );
+        }
         continue;
       }
       kept.push(l);
     }
     if (!changed || !moved) return SKIP;
     // 归位 + 按日期分组：insertDoneGrouped 一次重建 Done 区（新日期在前，未标日期归尾）
-    return { text: insertDoneGrouped(kept.join('\n'), moved) };
+    return { text: insertDoneGrouped(kept.join('\n'), moved), leftBehind };
   });
   return res === SKIP
     ? `[NO_MATCH] 未找到含 "${id}" 的未完成任务行`
-    : `✓ 已完成并归位 Done: ${id} 【${kind}】`;
+    : `✓ 已完成并归位 Done: ${id} 【${kind}】` +
+        (res.leftBehind?.length
+          ? `\n  ⚠ ${res.leftBehind.length} 条未勾子项留在 Todo 区（未跟入 Done，仍可在看板看到）：\n` +
+            res.leftBehind.map((p) => `    - [ ] ${p}`).join('\n')
+          : '');
 }
 
 // ---------- show: 查看 index/todo/log（只读面） ----------

package/src/todo/spec.js

@@ -70,11 +70,28 @@ export const ENTRY_SHAPES = {
   'index.md': [
     {
       name: 'INDEX-ENTRY',
-      // 条目行：`- [[页名]] — 一句话`（是 6 个链接区里的一行）
+      // 条目行：`- [[页名]] — 一句话`（是 5 个链接区里的一行）
+      //
+      // ★ 2026-10-18 补的白名单另一半：原规则只检查 `- ` 开头的行，**不以 `- ` 开头的
+      //   散文全部原样放行**。于是 Sources 区被塞进 `场景：…` 段落、裸编号列表项、
+      //   `## 标题` 前缀也都存下来了（实测真库被污染 5 条，index 从 69 行膨到 88 行）。
+      //   链接区里只应有两种行：`- [[…]]` 条目、空行。其余一律拒。
       test: (l) => {
-        if (!/^-\s/.test(l)) return null; // 非条目行（规则短句/说明）由分区规则另判
+        if (!l.trim()) return null; // 空行由 STRAY-BLANK 规则另判
+        if (!/^-\s/.test(l)) return '链接区只能放 `- [[页名]] — 一句话`（正文段落/编号列表/代码块都不行）';
         if (!/^-\s*\[\[[^\]]+\]\]/.test(l)) return '应以 `- [[页名]] …` 开头';
         if (!/^-\s*\[\[[^\]]+\]\]\s*[—-]\s*\S/.test(l)) return '`[[页名]]` 后要跟 `— 一句话` 描述';
+        // 摘要里不许带 Markdown 结构符（实测污染就是摘要取了页面正文开头）
+        if (/^\s*-\s*\[\[[^\]]+\]\]\s*[—-]\s*#+\s/.test(l)) return '摘要不能带 `## ` 标题前缀（取页面首行标题了）';
+        // ★ 2026-10-18 补：摘要正文本身必须是**纯文本一句话**。
+        //   原规则只拦了 `## ` 前缀，实测下列全放行：摘要写成 `- 列表项`（变成嵌套列
+        //   表）、```js（开代码围栏，把后面所有条目吞进去）、`| a | b |`（表格）。
+        //   index 是表，摘要是一列纯文本，不能携带任何块级结构。
+        const desc = l.replace(/^\s*-\s*\[\[[^\]]+\]\]\s*[—-]\s*/, '');
+        if (/^(?:[-*+]\s|```|~~~|\||>\s|#{1,6}\s)/.test(desc)) {
+          return '摘要必须以文字开头（不能是列表项/代码围栏/表格/引用/标题）';
+        }
+        if (desc.includes('```')) return '摘要不能含代码围栏 ```（会吞掉后续所有条目）';
         return null;
       },
     },
@@ -83,7 +100,15 @@ export const ENTRY_SHAPES = {
     {
       name: 'LOG-ENTRY',
       test: (l) => {
-        if (!/^##\s/.test(l)) return null; // 非 `## ` 行（H1/注释）不管
+        // ★ 2026-10-18 补的白名单：原来只检查 `## ` 开头的行，**其余行全放行**，
+        //   于是裸散文/报告能直接写进 log（实测能落盘）。log 只应有四种行：
+        //   H1、`## Log` 分区标题、`## [时间]` 条目、HTML 注释。
+        if (!l.trim()) return null;                        // 空行另由 STRAY-BLANK 判
+        if (/^#\s/.test(l)) return null;                   // H1
+        if (/^<!--/.test(l.trim())) return null;           // 模板提示注释
+        if (/^##\s+Log\s*$/.test(l)) return null;          // 唯一分区标题
+        if (!/^##\s/.test(l)) return 'log 里只能有 `## [时间] [[作者]] kind | 正文` 条目行（散文/报告请开一条条目）';
+        // 以下只对 `## ` 行判形状
         // ★ log 没有分区概念：`## ` 开头的只能是条目。
         //   否则 `## 2026-10-05 随便写点`（缺方括号/作者/竖线）会被当成「分区标题」滑过去 ——
         //   而 log.md 的标签白名单是 null（不校验），这就是一个漏网口（实测）。
@@ -95,6 +120,9 @@ export const ENTRY_SHAPES = {
         const m = l.match(/^##\s*\[(\d{4}-\d{2}-\d{2}(?:\s+\d{2}:\d{2})?)\]\s*\[\[([^\]]+)\]\]\s*([A-Za-z]+)\s*\|\s*(\S.*)$/);
         if (!m) return '应为 `## [YYYY-MM-DD HH:MM] [[作者]] kind | 正文`（log 只能有这种行）';
         if (!LOG_KINDS.includes(m[3])) return `kind 只能是 ${LOG_KINDS.join('/')}（收到 \`${m[3]}\`）`;
+        // ★ 2026-10-18：正文不能含代码围栏。一条 log 正文里出现 ``` 会把它之后的
+        //   所有条目都吞进代码块（渲染与 grep 双输），而这里本来就是单行条目。
+        if (m[4].includes('```')) return 'log 正文不能含 ``` —— 条目是单行摘要，代码请贴文件路径或拆成 source 页';
         // 「正文只有个任务 id」不在这里拒（见下 lintOnly 规则）：它是**内容质量**
         // 问题不是**结构格式**问题，当写入闸门会把存量脏库锁死（实测：真库仅一条
         // 就让所有 abs log 失败）。留在此处只会误伤正常短标题（如 `log-0`）。