@fanchao8609/agent_brain_sync 1.19.6 → 1.20.1

package/src/todo/structure.js

@@ -2,7 +2,7 @@
 
 import { TODO_SECTIONS, H1_TO_FILE, TASK_STATES, RETIRED_SECTIONS } from './spec.js';
 import { checkFileShape, violationSignatures, assertNoStrayBlank, assertTodoContent } from './validate.js';
-import { trimBlank, sigOfLine, isPlaceholder } from './common.js';
+import { trimBlank, sigOfLine, isPlaceholder, migrateLegacyChild } from './common.js';
 
 export function todoTemplate() {
   // 由 rebuildStructure 生成，保证“模板”与“重排结果”逐字节一致
@@ -156,8 +156,24 @@ function stripStrayBlanks(body, fixed) {
 }
 
 export function enforceBrainFormat(text, spec, prev) {
-  const src = String(text ?? '');
+  let src = String(text ?? '');
   if (!src.trim()) return { text: src, fixed: [] };
+  const fixed = [];
+  // ★ 旧 `↳` 子项写法最先迁移（2026-10-20），必须跑在**一切校验之前**：
+  //   否则旧行会被 assertTodoContent 判成「裸文本」而拒写 —— 整个库变只读。
+  //   （实测：真库形态的 `  ↳ 断点: …` 在 load 时就撞上了这条。）
+  if (spec?.h1 === '# 📋 Todo Board') {
+    const ls0 = src.split('\n');
+    let n0 = 0;
+    for (let i = 0; i < ls0.length; i++) {
+      const conv = migrateLegacyChild(ls0[i]);
+      if (conv !== null && conv !== ls0[i]) { ls0[i] = conv; n0++; }
+    }
+    if (n0) {
+      src = ls0.join('\n');
+      fixed.push(`旧 ↳ 子项写法 → 标准 md 缩进子项（${n0} 行）`);
+    }
+  }
   // 内容闸门：形状归一之前先拒掉乱塞（超长断点/报告体），否则下面的 rebuild
   // 会把它当「人自加的正文」好好保留下来 —— 越规整越难发现。
   // ★ 存量宽容（2026-10-05 本机实测踩到）：只拒「本次写入新引入」的违规；
@@ -203,7 +219,6 @@ export function enforceBrainFormat(text, spec, prev) {
       );
     }
   };
-  const fixed = [];
   // 旧标记 → 标准标记（H1 与分区/分组标题）。与 store.js 的 LEGACY_MARKS 同源，
   // 由调用方通过 spec.renames 注入（todo.js 不反向依赖 store.js）。
 
@@ -233,13 +248,23 @@ export function enforceBrainFormat(text, spec, prev) {
   //   底层 addTask/upsertTask 传的就是裸文本，它们是内部 API，不是 AI 入口）。
   if (fname === 'todo.md') {
     const ls = body.split('\n');
+    let migrated = 0;
     for (let i = 0; i < ls.length; i++) {
+      // ★ 旧 `↳ 断点:` / `↳ [ ]` 写法 → 标准 md 缩进子项（2026-10-20）。
+      //   为何在闸门里做而不只靠 load：所有写入都过这里，迁移一次就永久生效。
+      //   保留这个转换器是「存量不能锁死」的代价 —— 它是全仓唯一还认得 ↳ 的地方。
+      const conv = migrateLegacyChild(ls[i]);
+      if (conv !== null) {
+        if (conv !== ls[i]) { ls[i] = conv; migrated++; }
+        continue;
+      }
       // 裸任务行（`- [ ] id …` 无状态标记）→ 补默认「进行中」
       if (/^- \[ \] /.test(ls[i]) && !/^- \[ \] \[[^\]]+\]/.test(ls[i])) {
         const fixed2 = ensureStateMark(ls[i], '进行中');
         if (fixed2 !== ls[i]) { ls[i] = fixed2; fixed.push('补回缺失的状态标记'); }
       }
     }
+    if (migrated) fixed.push(`旧 ↳ 子项写法 → 标准 md 缩进子项（${migrated} 行）`);
     body = ls.join('\n');
   }
 
@@ -277,13 +302,18 @@ function normalizeTodoIf(body, spec) {
 }
 
 export function normalizeTodo(text) {
-  const lines = text.split('\n');
+  // ★ 旧 `↳` 子项写法先就地迁移（2026-10-20）。
+  //   为何放在 normalizeTodo 而不只放闸门：读路径（readTodo）不过写入闸门，
+  //   不在这里迁，旧行就会以「看不见」的状态留在盘上（面板/看板都不认它）。
+  //   迁移后走到下面的「已是标准两区」早退分支也没关系 —— 内容已经是新的了。
+  const migrated = String(text).split('\n').map((l) => migrateLegacyChild(l) ?? l).join('\n');
+  const lines = migrated.split('\n');
   const has = (name) => lines.some((l) => l.trim() === `## ${name}`);
   // 已是标准两区制 = 有 Todo 且**没有**任何进行时老分区。
   // 坑（2026-09-13）：曾只判 has('Todo') 就 return —— 而最老格式里也可能有 `## Todo`
   // （与 `## In Progress` 混用），于是旧文件永不迁移。
   const legacy = ['Backlog', 'Today / In Progress', 'In Progress', 'Blocked'].some(has);
-  if (has('Todo') && !legacy) return text;
+  if (has('Todo') && !legacy) return migrated;
   const out = ['# 📋 Todo Board'];
   const grab = (name) => {
     const items = [];
@@ -308,33 +338,31 @@ export function normalizeTodo(text) {
 }
 
 /** 给任务行补行首状态标记（已有则不覆盖）。`- [ ] id …` → `- [ ] [状态] id …`
- *  两种前缀（`- [ ]` / 断点任务 `↳ [ ]`）与缩进都认 —— 否则存量迁移时断点任务补不上标记。 */
+ *  缩进与 `- [ ]` 前缀都认（子项也要能补标记）。 */
 export function ensureStateMark(line, state) {
-  const m = String(line).match(/^(\s*(?:-\s*\[[ x]\]|↳\s*\[[ x]\])\s*)(\[[^\]]+\]\s+)?(.*)$/);
+  const m = String(line).match(/^(\s*-\s*\[[ x]\]\s*)(\[[^\]]+\]\s+)?(.*)$/);
   if (!m) return line;
   if (m[2] && TASK_STATES.includes(m[2].trim().replace(/[\x5B\x5D]/g, ''))) return line;
   return `${m[1]}[${state}] ${m[3]}`;
 }
 
-/** 读任务行的状态标记；两种前缀（`- [ ]` / 断点任务 `↳ [ ]`）与缩进都认。 */
+/** 读任务行的状态标记；缩进与 `- [ ]` 前缀都认。 */
 export function stateOfTaskLine(line) {
-  const m = String(line).match(/^\s*(?:-\s*\[[ x]\]|↳\s*\[[ x]\])\s*\[([^\]]+)\]/);
+  const m = String(line).match(/^\s*-\s*\[[ x]\]\s*\[([^\]]+)\]/);
   return m && TASK_STATES.includes(m[1]) ? m[1] : null;
 }
 
 /** 剥掉任务行的状态标记（`- [ ] [进行中] id …` → `- [ ] id …`），保留前缀与缩进。 */
 
 export function stripStateMark(line) {
-  // 两种前缀都剥：`- [ ] `（普通任务）与 `↳ [ ] `（断点任务，带缩进）。
-  // 原正则写死 `^- \[[ x]\] ` —— 断点任务（2026-10-16 新增形态）匹配不上，
-  // 后果是状态标记没被剥掉、markDone 的 `- [ ]`→`- [x]` 也落空（实测：完成行仍是 `[ ]`）。
-  return String(line).replace(/^(\s*(?:-\s*\[[ x]\]|↳\s*\[[ x]\])\s*)\[[^\]]+\]\s*/, '$1');
+  // 前缀只剥 `- [ ] `（缩进与状态标记的位置保留）。
+  // 旧正则里带 `↳ [ ]` 分支已在 2026-10-20 随旧写法一并移除。
+  return String(line).replace(/^(\s*-\s*\[[ x]\]\s*)\[[^\]]+\]\s*/, '$1');
 }
 
-/** 把未完成任务行的复选框从 `[ ]` 翻到 `[x]`（保留原前缀与缩进）。
- *  单独抽出：断点任务的 `↳ ` 前缀 + 缩进必须原样保留，用固定的 `- [ ]` 字面替换会漏。 */
+/** 把未完成任务行的复选框从 `[ ]` 翻到 `[x]`（保留原前缀与缩进）。 */
 export function checkTaskBox(line) {
-  return String(line).replace(/^(\s*(?:-\s*|↳\s*))\[ \]/, '$1[x]');
+  return String(line).replace(/^(\s*-\s*)\[ \]/, '$1[x]');
 }
 
 /** 从已完成任务行提取 `(完成 YYYY-MM-DD)` 日期；无则返回 ''。兼容中英文括号。 */

package/src/todo/tasks.js

@@ -45,9 +45,8 @@ export function setStateMark(text, id, state) {
   const cur = lines[idx];
   if (stateOfTaskLine(cur) === state) return { text, changed: [] };
   const raw = stripStateMark(cur);          // 先剥旧标记，再补新的
-  // 前缀两种形态都要能接回（`- [ ]` 与断点任务 `↳ [ ]`），并保留原缩进 ——
-  // 原正则写死 `^(- \[[ x]\] )`，断点任务上补不回标记（2026-10-16 实测：state 报成功但盘上没变）。
-  lines[idx] = raw.replace(/^(\s*(?:-\s*\[[ x]\]|↳\s*\[[ x]\])\s*)/, `$1[${state}] `);
+  // 前缀统一为 `- [ ]`（缩进保留）；旧 `↳` 写法已由 migrateLegacyChild 迁移掉。
+  lines[idx] = raw.replace(/^(\s*-\s*\[[ x]\]\s*)/, `$1[${state}] `);
   return { text: lines.join('\n'), changed: [`${id} 状态 → ${state}`] };
 }
 
@@ -121,19 +120,18 @@ export async function upsertTask(brainRoot, { section, text, session = '' }) {
     : { file: p, text, updated: false };
 }
 
-/** 从任务文本提取幂等键（行首 id，如 TASK-1 / T-2 / fix-hook）。
- *  两种前缀都认：`- [ ] `（普通任务）与 `↳ [ ] `（断点任务）。缩进不影响取 id。 */
+/** 从任务文本提取幂等键（行首 id，如 TASK-1 / T-2 / fix-hook）。 */
 
 export function idOfTaskLine(line) {
   if (!line) return null;
   // 两区制下行首可带状态标记（`- [ ] [进行中] <id> …`）—— 必须先剥掉再取 id，
   // 否则 id 会被读成 "[进行中]"，findTaskLine 全等比对永远落空（2026-09-13 实测）。
-  // 前缀允许缩进（`  - [ ]` / `  ↳ [ ]`）—— 断点任务天然带缩进。
-  const m = line.match(/^\s*(?:-\s*\[ \]|↳\s*\[ \])\s*(?:\[[^\]]+\]\s*)?(\S+)/);
+  // 前缀允许缩进（`  - [ ]`）—— 子任务天然带缩进。
+  const m = line.match(/^\s*-\s*\[ \]\s*(?:\[[^\]]+\]\s*)?(\S+)/);
   return m ? m[1].replace(/\u200b/g, '') : null;
 }
 
-/** 定位 id 对应的未完成任务行下标；真正的附属断点行（`↳ 断点:`）不算任务行。
+/** 定位 id 对应的未完成任务行下标；子项行不算独立任务。
  *  全等比对，不用 includes（否则 T1 会误命中 T11）。 */
 
 export function findTaskLine(lines, id) {
@@ -160,8 +158,7 @@ function childRange(lines, idx) {
  *
  * 语义（2026-10-16 用户定）：子项就是 todo 的嵌套子任务 —— 可多条、可各自勾选。
  * `abs todo note <id> "…"` **追加**一条（不再覆盖）—— 用户原话「不限，写多少算多少」。
- * 仍保留幂等：与最后一条完全同文就不重复追加（防手滑重复调）。
- * 旧的 `↳ 断点:` 存量行不动（parseChild 认得，继续显示）；新写一律用标准 md。 */
+ * 仍保留幂等：与最后一条完全同文就不重复追加（防手滑重复调）。 */
 export async function setBreakpoint(brainRoot, { id, text }) {
   const p = await ensureTodo(brainRoot);
   let added = false;
@@ -187,8 +184,7 @@ export async function setBreakpoint(brainRoot, { id, text }) {
 /** 勾/取消勾子项：`- [ ] …` ↔ `- [x] …`。
  *
  * 定位：子项没有自己的 id（身份 = 「某任务的第 N 条子项」），故按 n 定位（1-based）。
- * n 缺省 = 勾最后一条（最常用的「刚写的这条做完了」）。
- * 旧格式 `↳ 断点:` 也能勾 —— 勾一下就地升级成标准 md 形态。 */
+ * n 缺省 = 勾最后一条（最常用的「刚写的这条做完了」）。 */
 export async function setBreakpointDone(brainRoot, { id, n, done = true }) {
   const p = await ensureTodo(brainRoot);
   let picked = null;

package/src/todo/validate.js

@@ -91,12 +91,11 @@ export function checkFileShape(file, text, { lintMode = false } = {}) {
       let p = i - 1;
       while (p >= 0 && !lines[p].trim()) p--;
       const prev = p >= 0 ? lines[p] : null;
-      // 父行可以是：顶层任务 `- [x]`、子任务 `  - [x]`、或旧格式一等任务 `  ↳ [ ] …`
-      // （后者缩进是历史形态，它本身是任务不是子项 —— 实测漏认会把合法数据误判成孤儿）。
+      // 父行可以是：顶层任务 `- [x]` 或子任务 `  - [x]`。
+      // （旧 `↳ [ ]` 形态已由 migrateLegacyChild 迁移，不再存在）
       const ok = prev !== null && (
         /^- \[[ x]\]/.test(prev) ||
-        /^\s+- \[[ x]\]/.test(prev) ||
-        /^\s*↳\s*\[[ x]\]/.test(prev)
+        /^\s+- \[[ x]\]/.test(prev)
       );
       if (!ok) {
         issues.push({
@@ -233,28 +232,28 @@ export function assertTodoContent(text, prevSig = null) {
       const body = bp.text;
       if (body.length > BREAKPOINT_MAX) {
         throw new Error(
-          `✗ 断点太长（第 ${lineNo} 行 ${body.length} 字 > ${BREAKPOINT_MAX}）—— 断点只写「改到哪个文件哪一步」。\n` +
+          `✗ 子项太长（第 ${lineNo} 行 ${body.length} 字 > ${BREAKPOINT_MAX}）—— 子项只写「改到哪个文件哪一步」。\n` +
           `  写不下的内容请分流：实施报告/验证数据 → abs log；经验与坑 → abs note；长设计 → .brain/sources/ 页。\n` +
           `  原文开头: ${body.slice(0, 60)}...`,
         );
       }
       if (REPORT_MARKERS.some((re) => re.test(body)) || sentenceCount(body) > 2) {
         throw new Error(
-          `✗ 断点里像是塞了报告/清单（第 ${lineNo} 行）—— 断点是一句话（最多两句），不是文档。\n` +
+          `✗ 子项里像是塞了报告/清单（第 ${lineNo} 行）—— 子项是一句话（最多两句），不是文档。\n` +
           `  todo 只能加 todo：要做的拆成任务，做完的写 abs log，经验写 abs note。\n` +
           `  原文开头: ${body.slice(0, 60)}...`,
         );
       }
       continue;
     }
-    // 裸文本行（2026-10-11）：Todo 区里既不是任务行也不是断点的行 = 总结/报告/清单。
+    // 裸文本行（2026-10-11）：Todo 区里既不是任务行也不是子项的行 = 总结/报告/清单。
     // 前面的修法都挂在「行的形态」上（超长断点、多句断点），把总结写成裸文本行就全部绕过
     // ——同一个坑第三次复发。改成白名单后，换形态也落回这里。
     // 按区判：Todo 区才管；Done/Archived 区有日期分组与归档链接，判据不同。
     // 存量行（prevSig）放行，交给 lint 报 —— 否则老库直接被锁死写不进去。
     if (todoSectionOf(lines, i) === 'Todo' && !isAllowedTodoLine(l) && !isLegacy(l)) {
       throw new Error(
-        `✗ todo 的 Todo 区不允许裸文本（第 ${lineNo} 行）—— 这里只放任务行（- [ ] …）与断点行（↳ 断点: …）。\n` +
+        `✗ todo 的 Todo 区不允许裸文本（第 ${lineNo} 行）—— 这里只放任务行（- [ ] …）与子项（  - [ ] …）。\n` +
         `  「总结/实施报告/清单」请分流：流水与测试数据 → abs log；经验与坑 → abs note；长设计与方案 → .brain/sources/ 页。\n` +
         `  原文开头: ${l.trim().slice(0, 60)}...`,
       );

package/src/todo.js

@@ -8,3 +8,4 @@ export { todoTemplate, rebuildStructure, dropRetiredSections, enforceBrainFormat
 export { checkFileShape, violationSignatures, assertNoStrayBlank, assertTodoContent } from './todo/validate.js';
 export { doneDateOf, doneKindOf, withDoneKind, collapseDone, archiveDoneInText, renderArchiveBody, upsertArchiveSection, groupDoneSection, insertDoneGrouped } from './todo/archive.js';
 export { readTodo, ensureTodo, setStateMark, addTask, upsertTask, idOfTaskLine, findTaskLine, setBreakpoint, setBreakpointDone, setMemo, readMemo, boardText } from './todo/tasks.js';
+export { migrateLegacyChild, isTaskLine, isChildLine, CHILD_INDENT } from './todo/common.js';

package/src/wrapup.js

@@ -37,7 +37,7 @@ async function rotateIfNeeded(p) {
 }
 
 /** 从 todo 文本/快照块提取任务清单。兼容顶层(todo.md `- [ ]`)与缩进(快照 `  - [ ]`)两种行。
- * body = 去掉 `- [ ]` 前缀、`(认领|完成 date)` 标注后的核心文本。bp 去掉 `↳ 断点|卡点: ` 前缀。
+ * body = 去掉 `- [ ]` 前缀、`(认领|完成 date)` 标注后的核心文本。bp 去掉 `[ ]`/`[x]` 勾选前缀。
  * Done 区（## Done 下）不采。返回 [{ body, bp }]，bp 为附属断点数组（或空）。 */
 export function extractOpenTasks(todoText) {
   const lines = String(todoText || '').split('\n');
@@ -60,16 +60,18 @@ export function extractOpenTasks(todoText) {
         .trim();
       if (taskBody && !isPlaceholderBody(taskBody)) {
         const bp = [];
-        while (i + 1 < lines.length && /^\s*↳/.test(lines[i + 1])) {
+        // 子项：缩进 `- [ ]`（标准 md）。旧快照里的 `↳` 行也能读 —— 那是历史
+        // wrapup.log 的序列化格式，不能因为改了新格式就让旧快照的日志读不出来。
+        while (i + 1 < lines.length && (/^\s+-\s*\[[ x]\]/.test(lines[i + 1]) || /^\s*↳/.test(lines[i + 1]))) {
           i++;
-          // 断点快照带上勾选标记（`[ ] 内容` / `[x] 内容`）—— 快照是给人看的，
-          // 不保留勾选就分不清「当时已完成」与「还没做」（2026-10-16 断点可勾后必需）。
+          // 子项快照带上勾选标记（`[ ] 内容` / `[x] 内容`）—— 快照是给人看的，
+          // 不保留勾选就分不清「当时已完成」与「还没做」。
           const parsed = parseChild(lines[i]);
           if (parsed) {
             bp.push(`${parsed.done ? '[x]' : '[ ]'} ${parsed.text}`);
           } else {
-            // 非断点的 ↳ 行（如 `↳ [ ] 子任务`）仍照旧剥前缀
-            bp.push(lines[i].trim().replace(/^↳\s*(断点|卡点)?[:：]?\s*/, ''));
+            // 旧快照的非标准 ↳ 行：剥掉 ↳ 与可选标签，内容原样保留
+            bp.push(lines[i].trim().replace(/^↳\s*(断点|卡点|内容)?[:：]?\s*/, ''));
           }
         }
         out.push({ body: taskBody, bp });
@@ -85,13 +87,16 @@ function isPlaceholderBody(body) {
   return /^(待办任务|无|（无）|None|null)$/.test(body) || /^待办任务/.test(body);
 }
 
-/** 序列化一个快照块：首行时间戳+归属，后随未完成任务（主体+断点）。
- * 断点 bp 元素已自带勾选前缀（`[ ] 内容` / `[x] 内容`，见 extractOpenTasks）。 */
+/** 序列化一个快照块：首行时间戳+归属，后随未完成任务（主体+子项）。
+ * 子项 bp 元素已自带勾选前缀（`[ ] 内容` / `[x] 内容`，见 extractOpenTasks）。
+ * 新写入一律用标准 md 缩进子项（旧 `↳ 断点:` 形态已废弃）。 */
 function blockText(root, tasks) {
   const head = `[${localStamp()}] wrapup proj=${root}`;
   if (!tasks.length) return head; // 无滞留，仍记一行「干净结束」
   const rows = tasks.map((t) => {
-    const bps = t.bp.map((b) => (b.startsWith('[') ? `      ↳ ${b}` : `      ↳ 断点: ${b}`));
+    const bps = t.bp.map((b) => (b.startsWith('[')
+      ? `      - ${b}`
+      : `      - [ ] ${b}`));
     return `  - [ ] ${t.body}${bps.length ? '\n' + bps.join('\n') : ''}`;
   });
   return [head, ...rows].join('\n');
@@ -119,13 +124,14 @@ export function parseWrapup(text) {
       }
       continue;
     }
-    const bm = line.match(/^\s*↳/);
+    // 子项：新快照写缩进 `- [ ]`；旧快照（历史 wrapup.log）写的是 `↳ …`，两者都要读
+    const bm = line.match(/^\s+-\s*\[[ x]\]/) || line.match(/^\s*↳/);
     if (bm && cur.tasks.length) {
       // 回读时统一成 `[ ] 内容` / `[x] 内容` 形态（新写的就是这个；旧快照无勾 → 当未勾）
       const parsed = parseChild(line);
       cur.tasks[cur.tasks.length - 1].bp.push(parsed
         ? `${parsed.done ? '[x]' : '[ ]'} ${parsed.text}`
-        : line.trim().replace(/^↳\s*(断点|卡点)?[:：]?\s*/, ''));
+        : line.trim().replace(/^↳\s*(断点|卡点|内容)?[:：]?\s*/, ''));
     }
   }
   return byProj;