cron-up 26.10.30 → 26.10.32

package/src/sessions.mjs

@@ -1,6 +1,7 @@
 // 预热会话的整个生命周期：存活探测、pid 身份指纹、拉起、停止、日志文件
 // 名、进程表兜底。被拉起的是 /usr/bin/script 包裹的 TUI，detached 独立进
-// 程组，与短命的巡检进程在进程层早就分开。
+// 程组，与短命的巡检进程在进程层早就分开。一个预热会话只服务一个任务
+// （归属靠任务文件盖印，不靠命令行），日志名因此带任务 id。
 
 import fs from 'node:fs';
 import path from 'node:path';
@@ -43,12 +44,26 @@ export function trackedAlive(ent) {
 
 // 日志文件名折法：下划线转义必须在斜杠折叠之前——/a/b → a_b，
 // /a_b → a__b，两类路径才不会共用同一个日志文件（script(1) 启动即截断，
-// 撞名意味着两个工作区互相覆盖记录）。
-export function sessionLogPath(ws) {
-  const slug = ws.replace(/^\/+|\/+$/g, '')
+// 撞名意味着两个工作区互相覆盖记录）。logs 命令按工作区前缀找日志时也
+// 用同一个折法。
+export function slugSegment(s) {
+  return String(s).replace(/^\/+|\/+$/g, '')
     .replace(/_/g, '__')
     .replace(/\//g, '_');
-  return path.join(deps.paths.sessionLogDir, `${slug}.log`);
+}
+
+// 每个任务的预热会话有独立日志：<工作区slug>--<任务键>.log。-- 分隔，任
+// 务键是 8 位十六进制或 anon:<16 位十六进制>。
+export function sessionLogPath(ws, taskId) {
+  return path.join(deps.paths.sessionLogDir,
+    `${slugSegment(ws)}--${slugSegment(taskId)}.log`);
+}
+
+// 文件名是否为新命名（任务级）的预热日志。升级轮清扫旧版目录级命名的孤
+// 儿 script 进程时用它区分两代：任务键段的严格形状让旧命名（纯工作区
+// slug）几乎不可能误判为新命名。
+export function isTaskSessionLogName(name) {
+  return /--(?:[0-9a-f]{8}|anon:[0-9a-f]{16})\.log$/.test(name);
 }
 
 // POSIX shell 引用：安全字符白名单内原样返回，否则单引号包裹，内部单引
@@ -94,14 +109,14 @@ export function rotateOnce(file) {
   fs.renameSync(file, old);
 }
 
-// 拉起一个 detached 的 pty TUI，返回 {pid, procStart}。
-export function spawnSession(ws) {
-  const logPath = sessionLogPath(ws);
+// 为一个任务拉起一个 detached 的 pty TUI，返回 {pid, procStart}。
+export function spawnSession(ws, taskId) {
+  const logPath = sessionLogPath(ws, taskId);
+  // 会话日志目录 700（README 承诺）：每任务独立文件，目录只在此处创建。
   ensurePrivateDir(path.dirname(logPath));
-  // window 模式下「一代会话 = 一次执行」：script(1) 打开即截断，不轮转的
-  // 话上一代（上一次任务执行）的界面记录会随本次拉起被抹掉。无条件保留
-  // 一代（.1）——总量上界两代，活着的一代增长再快也只影响自身，不会经
-  // 轮转放大。
+  // 「一代会话 = 一次执行」：script(1) 打开即截断，不轮转的话上一代（上
+  // 一次执行）的界面记录会随本次拉起被抹掉。无条件保留一代（.1）——总
+  // 量上界两代，活着的一代增长再快也只影响自身，不会经轮转放大。
   try {
     if (fs.existsSync(logPath)) rotateOnce(logPath);
   } catch {
@@ -127,7 +142,7 @@ export function spawnSession(ws) {
   // 但错误原因要留进巡检日志——spawn 同步返回成功、子进程 exec 阶段才失败
   // （ENOENT/EAGAIN 等）时，上层只能看到会话随后死亡，没有任何原因可查。
   child.on('error', (e) => {
-    deps.log(`会话进程拉起异常 ${ws}：${e?.code ? `${e.code}：` : ''}`
+    deps.log(`会话进程拉起异常 ${ws} 任务 ${taskId}：${e?.code ? `${e.code}：` : ''}`
       + `${e?.message ?? e}`);
   });
   child.unref();
@@ -138,7 +153,9 @@ export function spawnSession(ws) {
 }
 
 // 按进程组结束我们拉起的会话。发信号前先核身份：state 条目可能比它命名
-// 的进程活得久，给回收 pid 发组信号会杀掉无关进程组。
+// 的进程活得久，给回收 pid 发组信号会杀掉无关进程组。detached（用户
+// resume 接管）时 trackedAlive 为 false：本函数直接返回，绝不碰用户的裸
+// claude。
 export async function stopSession(ent) {
   if (!deps.trackedAlive(ent)) return;
   const pid = ent.pid;
@@ -163,8 +180,8 @@ export async function stopSession(ent) {
 }
 
 // typescript 多少秒没被写。文件缺失读作「没有任何活动证据」：Infinity 大
-// 于任何静默阈值，天然不挡换代与回收（哨兵值曾绑定 SESSION_IDLE_SECONDS
-// + 1，阈值调低后会悄悄翻转语义）。
+// 于任何静默阈值，天然不挡回收（哨兵值曾绑定固定阈值 + 1，阈值调低后会
+// 悄悄翻转语义）。
 export function sessionLogIdleSeconds(logPath, cur) {
   try {
     return Math.max(0, cur - Math.floor(fs.statSync(logPath).mtimeMs / 1000));
@@ -174,7 +191,7 @@ export function sessionLogIdleSeconds(logPath, cur) {
 }
 
 // 进程表是 state.json 丢失时的兜底：被遗忘的预热会话卡在提问界面时不会出
-// 现在会话登记里，没这层交叉检查就会在同目录堆第二个 TUI。
+// 现在会话登记里，没这层交叉检查就会为同一任务堆第二个 TUI。
 export function listScriptProcesses() {
   const r = deps.execFile('/bin/ps', ['-axo', 'pid=,args='], { timeout: 5000 });
   const out = [];

package/src/tasks.mjs

@@ -1,9 +1,10 @@
-// Claude Code 任务文件层：发现工作区、读任务、续期（permanent 标记）与
-// 原子写。任务文件是另一个程序写的外部输入，所有入口都校验形状，坏数据
-// 读作「没有任务」而不是抛进巡检循环。
+// Claude Code 任务文件层：发现工作区、读任务、续期（permanent 标记）、id
+// 改小、归属盖印与原子写。任务文件是另一个程序写的外部输入，所有入口都
+// 校验形状，坏数据读作「没有任务」而不是抛进巡检循环。
 
 import fs from 'node:fs';
 import path from 'node:path';
+import { createHash } from 'node:crypto';
 
 import { deps, isPlainObject } from './internals.mjs';
 import { TASK_REL } from './paths.mjs';
@@ -11,6 +12,7 @@ import {
   PRUNE_DIRS,
   CC_JITTER,
   AUTO_MIN_ID_TARGET_DELAY_MS,
+  MAX_SCAN_DEPTH,
 } from './constants.mjs';
 
 export function expandHome(p) {
@@ -59,7 +61,6 @@ export function taskFileExists(ws) {
 // 写的路径照样通过 isDirectory，却与会话登记里真实大小写的 cwd 永远匹配
 // 不上。在扫描边界认回一次真实写法，下游就不必各自提防。
 export function onDiskCase(p) {
-  // resolve 的输出不含双斜杠与尾部斜杠（根除外），按段拆开自顶向下认回。
   const parts = path.resolve(p).split('/').filter(Boolean);
   let cur = '/';
   for (const name of parts) {
@@ -77,8 +78,9 @@ export function onDiskCase(p) {
 }
 
 // 枚举所有含任务文件的工作区，产出 [workspace, taskfile]。生成器：一个工
-// 作区出问题不该跳过其后所有工作区（调用方另有 per-workspace 保护）。
-export function* discover(roots, maxDepth) {
+// 作区出问题不该跳过其后所有工作区（调用方另有 per-workspace 保护）。扫
+// 描深度固定为 MAX_SCAN_DEPTH，不可配置。
+export function* discover(roots) {
   const seen = new Set();
   for (const raw of roots) {
     let root = realpathOrNull(path.resolve(expandHome(String(raw))));
@@ -96,9 +98,9 @@ export function* discover(roots, maxDepth) {
         return;
       }
       const depth = dirpath.split('/').length - 1 - baseDepth;
-      // 先剪枝：depth==maxDepth 这一层本身仍要检查候选文件，只是不再下
-      // 降；再做候选检查。
-      const subdirs = depth >= maxDepth
+      // 先剪枝：depth==MAX_SCAN_DEPTH 这一层本身仍要检查候选文件，只是不
+      // 再下降；再做候选检查。
+      const subdirs = depth >= MAX_SCAN_DEPTH
         ? []
         : entries.filter((e) => e.isDirectory() && !PRUNE_DIRS.has(e.name));
       const candidate = path.join(dirpath, TASK_REL);
@@ -125,12 +127,31 @@ export function* discover(roots, maxDepth) {
 }
 
 // 读一个工作区的任务列表，坏形状一律返回 null。读盘与顶层形状校验复用
-// loadTaskDoc（renew 也要同一口径 round-trip 整份文档）。
+// loadTaskDoc（maintain 也要同一口径 round-trip 整份文档）。
 export function readTasks(ws) {
   const doc = deps.loadTaskDoc(path.join(ws, TASK_REL));
   return doc === null ? null : doc.tasks.filter(isPlainObject);
 }
 
+// 任务在 state 与盖印映射里的身份键：CronCreate 的任务总有唯一 8 位十六
+// 进制 id，直接用它；手写无 id 任务退化为内容摘要键。
+export function taskKey(t) {
+  if (typeof t?.id === 'string' && t.id !== '') return t.id;
+  return `anon:${createHash('sha1').update(taskSig(t)).digest('hex').slice(0, 16)}`;
+}
+
+// 任务的稳定内容签名：只含不会被我们与调度器改动的字段。minify 改 id、盖
+// 印改 createdBy*、执行改 lastFiredAt、续期加 permanent 都不改变签名——
+// 它是「id 改写前后 state 条目改键」与「一批多 target 盖印」的串联键。
+export function taskSig(t) {
+  return JSON.stringify([
+    t?.cron ?? null,
+    t?.prompt ?? null,
+    t?.createdAt ?? null,
+    Boolean(t?.recurring),
+  ]);
+}
+
 // 任务文件在「读到」与「写回」之间被别的写者改了（Claude Code 更新
 // lastFiredAt 或删除已触发任务）：绝不覆盖，抛 TaskFileChanged 让下轮
 // 巡检基于更新的文档重试。
@@ -141,7 +162,7 @@ export class TaskFileChanged extends Error {
   }
 }
 
-// 读整份文档（未知顶层键保留）：renew 要就地重写文件，必须 round-trip
+// 读整份文档（未知顶层键保留）：maintain 要就地重写文件，必须 round-trip
 // Claude Code 或其他工具放进去的每个键，而不只是 tasks 子集。
 export function loadTaskDoc(file) {
   let doc;
@@ -173,7 +194,7 @@ export function atomicWriteJson(file, doc, expectedMtimeNs) {
     // 新文件用 0600。
   }
   const tmp = tmpSibling(file);
-  // JSON.stringify 两空格缩进：中文按字面写出（不转 \u），无尾换行。
+  // JSON.stringify 两空格缩进：中文按字面写出（不转 \u 转义），无尾换行。
   fs.writeFileSync(tmp, JSON.stringify(doc, null, 2), {
     flag: 'w',
     mode: 0o600,
@@ -217,7 +238,10 @@ export function minTaskIdMaxN() {
 
 // 把显式周期任务里 id 数值超过上界（或形状不合法）的，改写成文件内未占用
 // 的小号（00000001 起的 8 位十六进制），使其投递抖动降到目标延迟内。原地
-// 修改 tasks 元素，返回改写条数。关键纪律：
+// 修改 tasks 元素，返回 {changed, idChanges}；idChanges 用 taskKey 口径
+// 记录改前/改后键，巡检同轮把 state 条目跟着改键（state 以任务 id 为
+// 键，不改键会把刚换 id 的任务误判为「旧任务删除 + 新任务」而错杀重
+// 拉）。关键纪律：
 //   - 只碰 t.recurring truthy 的显式周期任务，一次性与无标志手写条目不碰；
 //   - 已达标的小号（含 00000000）原样保留，永不重排——多次巡检结果稳定，
 //     第二轮起 0 改动、文件字节不动；
@@ -238,31 +262,32 @@ export function minifyIds(tasks) {
     return next;
   };
   let changed = 0;
+  const idChanges = [];
   for (const t of tasks) {
     if (!isPlainObject(t) || !t.recurring) continue;
     const n = parseTaskIdN(t.id);
     if (n !== null && n <= maxN) continue;
-    t.id = takeFree().toString(16).padStart(8, '0');
+    const from = taskKey(t);
+    const to = takeFree().toString(16).padStart(8, '0');
+    t.id = to;
     changed += 1;
+    idChanges.push({ from, to });
   }
-  return changed;
+  return { changed, idChanges };
 }
 
 // 一轮巡检对一个任务文件做的维护：renew（补 permanent）、minify（id 改
-// 小）、reown（把窗口内任务的 owner 三字段盖给指定预热会话）合并为同一
-// 次受 mtime 乐观锁保护的原子写。先取 mtimeNs、清残留 .cron-up-tmp、
-// loadTaskDoc round-trip 整文档；三项计数都为 0 时字节级不动。返回
-// {renewed,minified,reowned}；null 表示文件缺失/损坏；读到写间被改抛
-// TaskFileChanged。
+// 小）、reown（把任务归属盖给各自的预热会话）合并为同一次受 mtime 乐观
+// 锁保护的原子写。renew/minify 无条件执行，没有开关。先取 mtimeNs、清残
+// 留 .cron-up-tmp、loadTaskDoc round-trip 整文档；三项计数都为 0 时字节
+// 级不动。返回 {renewed,minified,reowned,idChanges}；null 表示文件缺失/
+// 损坏；读到写间被改抛 TaskFileChanged。
 //
-// reown 形状：{sessionId, pid, procStart, isWanted(t)} | null。isWanted
-// 由调用方注入（tasks 层不反向依赖 cron 层）；只盖 createdBySessionId/
-// createdByPid/createdByProcStart 三个字段，不碰 createdInProject。
-export function maintainWorkspace(taskfile, {
-  renew = false,
-  minify = false,
-  reown = null,
-}) {
+// reown 形状：Map<taskSig, {sessionId, pid, procStart}>。一轮内同一文件的
+// 不同任务可盖向不同预热（一任务一会话）；Map 以签名为键，minify 先改 id
+// 不影响随后的盖印查找。只盖 createdBySessionId 不等于目标的任务，第二轮
+// 起字节级不动；pid/procStart 是会话登记里 claude 进程的 pid 与 lstart。
+export function maintainWorkspace(taskfile, { reown = null } = {}) {
   let mtimeNs;
   try {
     mtimeNs = fs.statSync(taskfile, { bigint: true }).mtimeNs;
@@ -280,41 +305,38 @@ export function maintainWorkspace(taskfile, {
   const doc = deps.loadTaskDoc(taskfile);
   if (doc === null) return null;
   let renewed = 0;
-  if (renew) {
-    for (const t of doc.tasks) {
-      // truthy 而非 === true：与 Claude Code 自己的加载器一致
-      // （...o.permanent && {permanent:true}），它已认作永久的任何值都算，
-      // 不再重写。只有显式周期任务有资格——绝不从 cron 形状推断周期性，
-      // 一次性任务不碰。
-      if (isPlainObject(t) && t.recurring && !t.permanent) {
-        t.permanent = true;
-        renewed += 1;
-      }
+  for (const t of doc.tasks) {
+    // truthy 而非 === true：与 Claude Code 自己的加载器一致
+    // （...o.permanent && {permanent:true}），它已认作永久的任何值都算，
+    // 不再重写。只有显式周期任务有资格——绝不从 cron 形状推断周期性，
+    // 一次性任务不碰。
+    if (isPlainObject(t) && t.recurring && !t.permanent) {
+      t.permanent = true;
+      renewed += 1;
     }
   }
-  const minified = minify ? minifyIds(doc.tasks) : 0;
+  const { changed: minified, idChanges } = minifyIds(doc.tasks);
   let reowned = 0;
-  if (reown) {
+  if (reown instanceof Map && reown.size > 0) {
     for (const t of doc.tasks) {
-      // createdBySessionId 已是目标值即跳过：与 renew/minify 同一条幂等
-      // 纪律，第二轮起字节级不动。没有 owner 字段的外部条目同样盖——窗
-      // 口内任务统一归预热会话，语义不因条目来源留例外。
-      if (isPlainObject(t)
-          && t.createdBySessionId !== reown.sessionId
-          && reown.isWanted(t)) {
-        t.createdBySessionId = reown.sessionId;
-        t.createdByPid = reown.pid;
+      // 没有 owner 字段的外部条目同样盖——窗口内任务统一归各自预热，语义
+      // 不因条目来源留例外。
+      if (!isPlainObject(t)) continue;
+      const target = reown.get(taskSig(t));
+      if (target && t.createdBySessionId !== target.sessionId) {
+        t.createdBySessionId = target.sessionId;
+        t.createdByPid = target.pid;
         // ps lstart 原文（含「Oct  8」双空格），原样取自会话登记。
-        t.createdByProcStart = reown.procStart;
+        t.createdByProcStart = target.procStart;
         reowned += 1;
       }
     }
   }
   if (renewed === 0 && minified === 0 && reowned === 0) {
-    return { renewed: 0, minified: 0, reowned: 0 };
+    return { renewed: 0, minified: 0, reowned: 0, idChanges: [] };
   }
   atomicWriteJson(taskfile, doc, mtimeNs);
-  return { renewed, minified, reowned };
+  return { renewed, minified, reowned, idChanges };
 }
 
 Object.assign(deps, { discover, readTasks, loadTaskDoc });