dsh-lite-memory 0.18.38 → 0.18.40

package/docs/BENCH.md

@@ -25,22 +25,22 @@ npm run bench:evolution  # 实验规则/样例/检查点/回执的存储与投
 
 ## 固定数据集性能
 
-2026-10-29，macOS arm64，Node v24.16.0，本地 SSD。数据：项目 200 条 + 全局 200 条，全部带标题、摘要、`when`、正文；另加一条正面场景，确认全局卡片真的进得来且不超预算。0.18.38 版含跨层搬移后的复测。
+2026-10-29，macOS arm64，Node v24.16.0，本地 SSD。数据：项目 200 条 + 全局 200 条，全部带标题、摘要、`when`、正文；另加一条正面场景，确认全局卡片真的进得来且不超预算。0.18.40 版复测（两次取稳定的一次）。
 
 0.18.0 起每次保存都走「写临时文件 → fsync → rename → fsync 目录」并保留上一版，代价是单次保存多两次落盘；下面这组数是带这套持久化保证后测的。
 
 | 指标 | 数值 |
 | --- | --- |
-| 准备时延 P50 | 51.4 ms |
-| 准备时延 P95 | 59.4 ms |
-| 冷启动首次准备 | 76.5 ms |
-| 最慢一次 | 76.5 ms |
+| 准备时延 P50 | 48.6 ms |
+| 准备时延 P95 | 51.4 ms |
+| 冷启动首次准备 | 69.6 ms |
+| 最慢一次 | 69.6 ms |
 | 每次准备上下文 | 368 B |
 | 正面场景上下文 | 335 B，含 1 张全局卡片，未超 3 条 / 1200 字节 |
 | 每次准备文件读取 | 0.2 |
 | 本次数据规模 | 项目 200 条 + 全局 200 条 |
 
-数据翻倍到两层各 200 条后仍在 deadline 150 ms 内：0.18.38 复测 P95 59.4 ms。模型 provider 在准备阶段无 I/O、无网络。
+数据翻倍到两层各 200 条后仍在 deadline 150 ms 内：0.18.40 复测 P95 51.4 ms。模型 provider 在准备阶段无 I/O、无网络。
 
 ## 长期序列
 
@@ -52,7 +52,7 @@ npm run bench:evolution  # 实验规则/样例/检查点/回执的存储与投
 | 全局活跃条目 | 200 |
 | `state.json` | 396 KB（上限 2 MiB） |
 | 层内文件 | `state.json`、`state.prev.json` 两个，不随轮数增长 |
-| RSS | 219 MB（含进程内缓存与测试数据） |
+| RSS | 315 MB（含进程内缓存与测试数据；两次 301/315 MB） |
 | 序列耗时 | 5.8 s（150 轮全落盘） |
 
 ## 实验整理成本（0.11.0）

package/docs/RELEASE-0.18.39.md

@@ -0,0 +1,8 @@
+# 0.18.39：读记忆找不到时直接给完整标题
+
+- 上下文被压缩后常只剩缩短的标题；按短标题读会精确匹配失败，以前只报「没有这条」，模型只能再猜一轮。
+- 现在失败时就地列出最多 3 条相近的完整标题，模型一次就能换对；成功路径与常驻提示都不变，多出的字只出现在失败回执里。
+- 候选只从当前会话能看到的项目层与全局层取，不跨项目；仍然不按标题模糊读正文，避免读错条目。
+- 补回归：存一条带括号后缀的标题，用前缀读要报出完整标题，再用完整标题读到正文。
+
+验证：`npm test` 全绿；常驻工具文本仍是 13375 B。

package/docs/RELEASE-0.18.40.md

@@ -0,0 +1,13 @@
+# 0.18.40
+
+## 更新句柄也能拿到相近完整标题
+
+`memory_save` 用 `updateTitle` 改一条记忆时，如果传的是缩短过的标题，以前只回「没有这条记忆」；现在和 `memory_read` / `memory_search` 一致，在报错里列出最多 3 条相近的完整标题，模型可以一次改对。
+
+- 只影响失败路径：成功写入的流程、工具描述和常驻字节不变（13375 字节）。
+- 不会模糊读取或模糊改写：仍要求完整标题或 id。
+- 回归：`test/contract.test.mjs` 断言缩短标题的更新请求报出完整标题，且不出现 `undefined`。
+
+## 使用记账回归
+
+`test/recall.test.mjs` 新增用例：没有送达模型的回合结束后，条目的 `lastUsed` 不变；真正送达到卡片的回合收尾时才回写。防止以后改动把「检索过」误记为「用过」。

package/index.js

@@ -1005,6 +1005,28 @@ function ambiguousTitleError(title, hits, label) {
   return `${label}「${title}」有 ${hits.length} 条同名，无法确定是哪一条：${detail}。先归档其中一条，或换一个能区分的标题再试`;
 }
 
+/**
+ * 标题解析失败时给几条相近的完整标题：上下文里常只剩缩短的标题，
+ * 精确匹配失败就地列出候选，比让模型再猜一次省一轮。
+ */
+function nearTitleHints(targets, title) {
+  const out = [];
+  const seen = new Set();
+  for (const target of targets) {
+    let index;
+    try { index = loadIndex(target); } catch { continue; }
+    for (const entry of [...(index.entries || []), ...(index.archived || [])]) {
+      const current = String(entry && entry.title || '').trim();
+      if (!current || current === title || seen.has(current)) continue;
+      if (!current.includes(title) && !title.includes(current)) continue;
+      seen.add(current);
+      out.push(current);
+      if (out.length >= 3) return out;
+    }
+  }
+  return out;
+}
+
 /**
  * 返回 { id } 或抛出：显式层只查那一层；默认先项目后全局（别的项目不参与解析）。
  * 同一层出现多条同名一律报歧义，绝不取第一条。
@@ -1030,6 +1052,10 @@ function refIdOf(scope, args, label = '记忆') {
     if (hits.length > 1) throw new Error(ambiguousTitleError(title, hits, label));
     if (hits.length === 1) return hits[0].id;
   }
+  const near = nearTitleHints(sources, title);
+  if (near.length) {
+    throw new Error(`没有「${title}」这条${label}。相近的里有：${near.map((item) => `「${item}」`).join('、')}；用完整标题或 id 再试`);
+  }
   throw new Error(`没有「${title}」这条${label}；先用 memory_search 对一下标题`);
 }
 
@@ -2068,7 +2094,13 @@ export function apply(ctx, config) {
         }
         const layer = args.scope === 'global' ? 'global' : args.scope === 'project' ? 'project' : '';
         const picked = layer ? candidates.find((row) => row.scope === layer) : candidates[0];
-        if (!picked) return saveFailure(`没有「${updateTitle}」这条记忆；要新增就不用 updateTitle`, args);
+        if (!picked) {
+          const near = nearTitleHints(runtimeLayers(projectScope), updateTitle);
+          if (near.length) {
+            return saveFailure(`没有「${updateTitle}」这条记忆。相近的里有：${near.map((item) => `「${item}」`).join('、')}；要新增就不用 updateTitle`, args);
+          }
+          return saveFailure(`没有「${updateTitle}」这条记忆；要新增就不用 updateTitle`, args);
+        }
         draft.id = picked.id;
       }
       /** 关联目标同样按标题解析成内部 id 再落盘。 */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-lite-memory",
-  "version": "0.18.38",
+  "version": "0.18.40",
   "description": "On-demand memory for the DeepSeek Harness: nothing resident, at most three small cards on a real hit, bodies read on demand.",
   "type": "module",
   "main": "index.js",

package/test/contract.test.mjs

@@ -287,6 +287,20 @@ assertSchema('memory_save', twinUpdate);
 assert.equal(store.readEntry(twinScope, twinAId).body, '正文甲', '按 id 读不能被同名条目串走');
 assert.equal(store.readEntry(twinScope, twinBId).body, '正文乙');
 
+/** 上下文里常只剩缩短的标题：精确匹配失败时要把完整标题就地报出来，不让模型再猜一轮。 */
+store.saveEntry(twinScope, { title: '生效验证顺序（含：桌面端没有 Cmd+R）', summary: '缩短标题的探针', body: '正文', writeMode: 'patch' });
+await assert.rejects(
+  () => exec('memory_read', { title: '生效验证顺序' }),
+  /相近的里有：「生效验证顺序（含：桌面端没有 Cmd\+R）」/,
+);
+const hintedRead = await exec('memory_read', { title: '生效验证顺序（含：桌面端没有 Cmd+R）' });
+assert.equal(hintedRead.body, '正文');
+const hintedUpdate = await exec('memory_save', { title: '缩短标题的探针', summary: '改正文', body: '新正文', updateTitle: '生效验证顺序' });
+assert.ok(hintedUpdate.error);
+assert.match(hintedUpdate.error, /相近的里有：「生效验证顺序（含：桌面端没有 Cmd\+R）」/);
+assert.doesNotMatch(hintedUpdate.error, /undefined/);
+
+
 /** 重命名后仍按原 id 定位到同一条；归档后重建同名条目也不能冒领旧 id。 */
 const renameSaved = store.saveEntry(twinScope, { title: '改名前的探针', summary: '旧身份', body: '旧正文', writeMode: 'patch' });
 const renameSeedId = renameSaved.record?.id ?? renameSaved.id;

package/test/recall.test.mjs

@@ -1009,3 +1009,24 @@ console.log('recall.test.mjs: ok');
     assert.equal(asked(text), false, text);
   }
 }
+
+// A32：只有真递到模型眼里的条目才记使用时间；空召回/未命中的回合不能顺手记账。
+{
+  const cwd = mkdir('usage');
+  const scope = store.scopeOf(cwd);
+  const probe = save(scope, { title: '量子纠缠咖啡机', tags: ['记账'], summary: '只有送达才记 lastUsed' });
+  const lastUsedOf = () => store.locateByTitle(scope, '量子纠缠咖啡机').record.lastUsed;
+  const baseline = lastUsedOf();
+  const runtime = boot();
+  const agent = makeAgent('agent-usage', cwd);
+  const missSignal = await prepare(runtime, agent, '完全无关的一串词');
+  assert.doesNotMatch(runtime.provider.text({ agent, signal: missSignal }), /量子纠缠咖啡机/);
+  runtime.handlers.get('agent/turn-stopping').at(-1)({ signal: missSignal });
+  assert.equal(lastUsedOf(), baseline, '没送达的条目不能被记账');
+  const hitSignal = await prepare(runtime, agent, '量子纠缠咖啡机', 't2');
+  assert.match(runtime.provider.text({ agent, signal: hitSignal }), /量子纠缠咖啡机/);
+  assert.equal(lastUsedOf(), baseline, '送达也不在 provider 路径上写盘');
+  runtime.handlers.get('agent/turn-stopping').at(-1)({ signal: hitSignal });
+  assert.ok(lastUsedOf(), '回合收尾时把真正送达的条目记账');
+  assert.equal(store.locateByTitle(scope, '量子纠缠咖啡机').record.id, probe.id);
+}