@fanchao8609/agent_brain_sync 1.19.3 → 1.19.5

package/package.json

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

package/src/lock.js

@@ -15,22 +15,17 @@ export class LockTimeout extends Error {}
 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）就对受管文件硬拒：宁可写失败也不要格崩坏
- * ——写不进去能重试，写脏了没人知道。 */
+ * 返回 null 表示「该文件不归闸门管」（非受管文件，或闸门自己说不管）—— 原样写盘。
+ * 依赖：`store.js` 顶层无条件调 `setFormatGate`（见那里）。若那行被删，受管文件
+ * 会退回静默直写 —— 这是已知的单点，防它靠 review 不靠代码（加守卫就是给不可能发生的
+ * 情况多写 6 行，2026-10-18 审查定）。 */
 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;
+  return formatGate;
 }
 const LOCK_WAIT_BASE_MS = 15;  // 指数退避起始重试间隔
 const LOCK_WAIT_MAX_MS = 150;  // 指数退避上限

package/src/store.js

@@ -259,7 +259,14 @@ export async function checkBrainShape(root) {
       if (next2 === cur) return SKIP;
       changed = r.fixed.length ? r.fixed : ['结构按标准重排'];
       return { text: next2 };
-    }).catch(() => {});
+    }).catch((e) => {
+      // 不能吞：load 是开机第一入口，静默跳过会让人以为库是健康的。
+      // 典型触发：文件里有孤儿子任务（真错，不修而报）。
+      // 只报**具体问题行**（以 `·` 开头的那些），不把整个错误头拼进去。
+      const msg = e && e.message ? e.message : '未知错误';
+      const detail = msg.split('\n').filter((x) => x.trim().startsWith('·')).map((x) => x.trim().slice(1).trim());
+      warn.push(`${file}: 未能自动归一 —— ${detail.length ? detail.join('; ') : msg.split('\n')[0]}`.slice(0, 200));
+    });
     if (changed.length) fixed.push(`${file}: ${changed.join('; ')}`);
     if (!knownH1) warn.push(`${file}: 标题非标准（读到 "${clip(l1, 24) || '(空)'}"）`);
   }
@@ -315,7 +322,10 @@ export async function cmdLoad({ dir }) {
       ...shape.fixed.map((a) => `  ✓ 已补: ${a}`),
       ...shape.warn.map((a) => `  ⚠ ${a}`),
     ];
-    if (shape.warn.length) rows.push('  （无头文件不自动改：结构可能整体脱轨，请手工对齐 .brain/ 模板）');
+    // 那句提示只适用于「标题非标准」：其他 warn（如格式不合规）说这句会误导。
+    if (shape.warn.some((a) => a.includes('标题非标准'))) {
+      rows.push('  （无头文件不自动改：结构可能整体脱轨，请手工对齐 .brain/ 模板）');
+    }
     sections.push('--- 文件形状核对 ---', ...rows, '');
   }
   // 未设姓名/姓名是占位名时开场就提醒 —— load 是开机第一屏，不在这里提，
@@ -986,7 +996,6 @@ 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];
@@ -1012,15 +1021,9 @@ async function markDone(file, id, kind = '落地', conclusion, bySid = '') {
         const head = withDoneKind(`${base}${tail} ${parts.join(' ')}`, kind);
         const bp = [];
         const leftover = [];
-        // 子项搬运：已勾选的随任务进 Done；**未勾选的不搬**，留在 Todo 区。
-        //
-        // 为何（2026-10-18 实测）：Done 区被 collapseDone 折叠成计数，搬进去即「看板里
-        // 消失」。实测 factory-docs-slim 就带着「待做六链」的 `- [ ]` 落地，那条待办
-        // 此后无处可寻，同时父任务盖着【落地】——看板与事实矛盾。
-        //
-        // 为何不是硬拦（A 方案被否）：`abs todo note` 写的子项与断点记录**同形**（都是
-        // `  - [ ] …`），无法从字段上区分「待办」与「过程记录」；硬拦会把所有带断点的
-        // 任务一起拦住（实测弄挂两条既有测试）。改为「不搬 + 点名」，信息不丢且不误伤。
+        // 子项搬运：**已勾选**的随任务进 Done；未勾选的不搬（下方直接拒）。
+        // 已勾的必须搬：否则任务进 Done 了、子项剩在原区，就是无主孤儿行，
+        // 重建分区时会被清掉（历史上就是这么丢过数据）。
         while (i + 1 < lines.length) {
           const nx = lines[i + 1];
           if (!nx.trim()) break;
@@ -1068,15 +1071,11 @@ async function markDone(file, id, kind = '落地', conclusion, bySid = '') {
     }
     if (!changed || !moved) return SKIP;
     // 归位 + 按日期分组：insertDoneGrouped 一次重建 Done 区（新日期在前，未标日期归尾）
-    return { text: insertDoneGrouped(kept.join('\n'), moved), leftBehind };
+    return { text: insertDoneGrouped(kept.join('\n'), moved) };
   });
   return res === SKIP
     ? `[NO_MATCH] 未找到含 "${id}" 的未完成任务行`
-    : `✓ 已完成并归位 Done: ${id} 【${kind}】` +
-        (res.leftBehind?.length
-          ? `\n  ⚠ ${res.leftBehind.length} 条未勾子项留在 Todo 区（未跟入 Done，仍可在看板看到）：\n` +
-            res.leftBehind.map((p) => `    - [ ] ${p}`).join('\n')
-          : '');
+    : `✓ 已完成并归位 Done: ${id} 【${kind}】`;
 }
 
 // ---------- show: 查看 index/todo/log（只读面） ----------

package/src/todo/spec.js

@@ -84,12 +84,16 @@ export const ENTRY_SHAPES = {
         // 摘要里不许带 Markdown 结构符（实测污染就是摘要取了页面正文开头）
         if (/^\s*-\s*\[\[[^\]]+\]\]\s*[—-]\s*#+\s/.test(l)) return '摘要不能带 `## ` 标题前缀（取页面首行标题了）';
         // ★ 2026-10-18 补：摘要正文本身必须是**纯文本一句话**。
-        //   原规则只拦了 `## ` 前缀，实测下列全放行：摘要写成 `- 列表项`（变成嵌套列
-        //   表）、```js（开代码围栏，把后面所有条目吞进去）、`| a | b |`（表格）。
-        //   index 是表，摘要是一列纯文本，不能携带任何块级结构。
+        //   原规则只拦了 `## ` 前缀，实测下列全放行：摘要写成 `- 列表项`（看着就像
+        //   另一条条目）、```js（开代码围栏把后面全吞）、`| a | b |`（表格）。
+        //   index 是表，摘要是一列纯文本。
+        //
+        //   但别拦过头：摘要位置在 `- [[页名]] — ` 之后，是**一行中间**，
+        //   `+ ` / `* ` / `> ` / `1. ` 在这里不会真渲染成块级结构，都是人话开头
+        //   （实测放过一次「+ 一点补充」被误拒）。只拦真正会破坏解析的几种。
         const desc = l.replace(/^\s*-\s*\[\[[^\]]+\]\]\s*[—-]\s*/, '');
-        if (/^(?:[-*+]\s|```|~~~|\||>\s|#{1,6}\s)/.test(desc)) {
-          return '摘要必须以文字开头（不能是列表项/代码围栏/表格/引用/标题）';
+        if (/^(?:-\s|```|~~~|\|)/.test(desc) || /^#{1,6}\s/.test(desc)) {
+          return '摘要必须以文字开头（不能是列表项/代码围栏/表格/标题）';
         }
         if (desc.includes('```')) return '摘要不能含代码围栏 ```（会吞掉后续所有条目）';
         return null;

package/src/todo/structure.js

@@ -185,13 +185,21 @@ export function enforceBrainFormat(text, spec, prev) {
     const tLines = t.split('\n');
     const bad = checkFileShape(fname, t).filter(
       (it) => it.code !== 'STRAY-BLANK-LINE' &&
-              !(prevSig !== null && prevSig.has(sigOfLine(tLines[it.line - 1] || ''))),
+              // ★ 孤儿缩进行**不吃存量豁免**（2026-10-18 用户要求）。
+              //   超长断点/奇怪条目放行存量是因为「没有安全的自动修法」；
+              //   而孤儿行是**确定性的坏数据**（子项没有父项，语义已丢），放行 = 让损坏持续。
+              //   宁可写不进去让人看见，也不要静默接受。
+              (it.code === 'TODO-ORPHAN-CHILD' ||
+               !(prevSig !== null && prevSig.has(sigOfLine(tLines[it.line - 1] || '')))),
     );
     if (bad.length) {
+      const onlyOrphan = bad.every((it) => it.code === 'TODO-ORPHAN-CHILD');
       throw new Error(
         `✗ ${fname} 格式不合规（写入被拒）：\n` +
         bad.map((it) => `  · ${it.msg}`).join('\n') +
-        `\n  出路：内容归入现有标签，或走对应入口（页 → concepts/ 等子目录 + index 登记；流水 → abs log；经验 → abs note）。`,
+        (onlyOrphan
+          ? `\n  出路：子任务必须挂在主任务下。给删掉的父任务行恢复一行任务行，或把那几条子项一起删掉。`
+          : `\n  出路：内容归入现有标签，或走对应入口（页 → concepts/ 等子目录 + index 登记；流水 → abs log；经验 → abs note）。`),
       );
     }
   };