sage-mem 2.1.13 → 2.1.14

package/README.md

@@ -12,7 +12,7 @@
 
 **Cross-session memory for DeepSeek Harness — plain markdown files, no database, no worker.**
 
-**Current release: `2.1.13`** — the npm badge above is the dynamic source of truth. **Contract baseline: `1.0.0`** — the first stable release, whose public commitments, the capability boundaries and the list of things it explicitly cannot do are frozen in the
+**Current release: `2.1.14`** — the npm badge above is the dynamic source of truth. **Contract baseline: `1.0.0`** — the first stable release, whose public commitments, the capability boundaries and the list of things it explicitly cannot do are frozen in the
 [frozen contract](https://github.com/gezi-wen/sage-mem/blob/main/docs/1.0.0-contract.md).
 
 If it is useful to you, a Star is the most direct feedback.

package/README.zh.md

@@ -14,7 +14,7 @@
 
 > File-based cross-session memory for DeepSeek Harness — every memory is a plain markdown file you can open, edit and delete. No database, no worker, no port.
 
-**当前发布版本：`2.1.13`** —— 顶部 npm 徽章是动态权威。**契约基线：`1.0.0`** —— 第一个稳定版，公开承诺、能力边界与「明确做不到」的清单冻结在
+**当前发布版本：`2.1.14`** —— 顶部 npm 徽章是动态权威。**契约基线：`1.0.0`** —— 第一个稳定版，公开承诺、能力边界与「明确做不到」的清单冻结在
 [契约冻结](https://github.com/gezi-wen/sage-mem/blob/main/docs/1.0.0-contract.md)。
 
 如果它对你有用，给个 Star 是最直接的反馈。

package/lib/recall/injector.js

@@ -110,9 +110,9 @@ export function createRecallInjector({ ctx, state, tools, taskIdOf }) {
       const files = await scanMemoryFiles(ctx, sessionId)
 
       // ── 代次：**先处理状态转换，再算正文与控制提示** ──
-      // 压缩 / 清空（消息条数下降）在这一行里就让签名、两本账、卡签名、baseline 标记
-      // 一起归零。放到后面（比如去重之后再算）就等于「拿上一代的账本判这一代」——
-      // 复审 R03 的「同题压缩后仍被挡住」正是这么来的。
+      // `begin()` 会把「这一次观测到的消息条数」立刻落进状态（Q08）——去重 / 零命中 /
+      // 预算拒绝的轮次不会走到 commit，若不在这里落账，下一次 begin 就还拿旧基数比，
+      // 压缩就永远判不出来。条数下降时它同时把签名、两本账、卡签名、baseline 标记归零。
       const ledgerKey = session.id || 'no-session-id'
       const st = state.begin(ledgerKey, messages.length)
 
@@ -249,9 +249,10 @@ export function createRecallInjector({ ctx, state, tools, taskIdOf }) {
         return assembled
       }
 
-      // 状态一次写回：签名、两本账、卡签名、缺口卡、条数、baseline 标记。
-      // 放在这里（而不是更早）是刻意的 —— 上面每一步都可能没真注进去东西，
-      // 那就不该让状态前进；一次失败把一条记忆永久挡在门外是最难查的一种。
+      // 投递账一次写回：签名、两本账、卡签名、缺口卡、baseline 标记，以及
+      // **delivered 条数**（`messageCount`）。放在这里（而不是更早）是刻意的 ——
+      // 上面每一步都可能没真注进去东西，那就不该让投递账前进；一次失败把一条记忆永久
+      // 挡在门外是最难查的一种。压缩判据用的**观测账**在 `begin()` 里已经落过了（Q08）。
       state.commit(ledgerKey, {
         signature,
         contentBytes,

package/lib/recall/state.js

@@ -6,9 +6,20 @@
  * 否则一次失败会把这条记忆永久挡在门外。唯一的例外是代次变化：那是**已经发生的事实**
  * （上下文真的被压缩了），必须在算任何东西之前生效，否则这一步会拿着上一代的账做判断。
  *
- * ⚠️ 诚实边界：压缩信号是「消息条数下降」这条启发式，它**覆盖不了条数不降的压缩**
- * （宿主原地改写历史，或截断后又在同一步补足条数）。那种情况下这里看不出代次变化，
- * 记忆仍会被去重挡住。要真正解决得等宿主给出可比的上下文代次标识（目前没有）。
+ * ── 2.1.14（外部审查 Q08）：两本账拆开 ─────────────────────────────────
+ * 旧实现只有一个 `messageCount`，记的是「上一次**见效**时的条数」，只有真正提交才前进。
+ * 于是被去重 / 零命中 / 预算拒绝的那些轮次从不更新它 —— 2 条时注入过、涨到 20 条被去重、
+ * 压缩到 10 条再问时，压缩判定拿 10 比的是 2（投递账），不是 20（刚观测到的实况），
+ * 判不出压缩，签名没清，继续去重、不注入。
+ *
+ * 现在两本账：
+ *   - `lastObservedMessageCount`：**每次 assemble 都推进**（观测是既成事实，与是否投递无关）；
+ *   - `messageCount`（delivered 账）：只有成功投递才前进。
+ * 压缩判定只看观测账；`begin()` 会在返回前把观测写回状态，所以「不提交的轮次」也不会丢。
+ *
+ * ⚠️ 诚实边界（作者已声明，本版不越界）：压缩信号是「消息条数下降」这条启发式，它
+ * **覆盖不了条数不降的压缩**（宿主原地改写历史，或截断后又在同一步补足条数）。那种情况下
+ * 这里看不出代次变化，记忆仍会被去重挡住。要真正解决得等宿主给出可比的上下文代次标识。
  */
 export function createSessionInjectState(maxSessions = 64) {
   const sessions = new Map()
@@ -18,27 +29,44 @@ export function createSessionInjectState(maxSessions = 64) {
     cardBytes: 0,         // 本代状态卡累计字节（与正文分账，见 config.js）
     cardSig: '',          // 本代已发过的那张卡（含检查点句柄的合成文本）
     gapCard: '',          // 本代渲染过的缺口卡正文（签名没变时沿用，避免换个数字重发）
-    messageCount: -1,     // 上一次见效时的消息条数（压缩判据）
+    lastObservedMessageCount: -1, // 上一次 assemble **观测到**的消息条数（压缩判据的唯一基点）
+    messageCount: -1,     // 上一次**成功投递**时的消息条数（delivered 账，只有 commit 推进）
     baselineDone: false,  // 本代是否已经给过 baseline
   })
   return {
     /**
      * 处理代次变化，取回本会话这一代的起点。**必须在算正文与控制提示之前调用。**
      * 返回值是一份快照 —— 调用方只读，写回统一走 `commit()`。
+     *
+     * ⚠️ 与旧实现不同：这里会**立刻**把观测到的条数写回状态。观测是已经发生的事实，
+     * 而「去重 / 零命中 / 预算拒绝」的轮次不会调用 `commit()` —— 不在这里落账，
+     * 下一次 begin 就还拿着旧基数比（Q08）。
      */
     begin(key, messageCount) {
       const prev = sessions.get(key)
-      const generationChanged = !!prev && messageCount < prev.messageCount
-      // 条数下降 → 四样东西一起归零。少清任何一样都会留下一个「上一代的真相」：
+      const observed = Number.isFinite(messageCount) ? messageCount : -1
+      // 压缩判据对着**观测账**比，不是对着上一次投递比。
+      const generationChanged = !!prev && observed >= 0 && prev.lastObservedMessageCount >= 0 &&
+        observed < prev.lastObservedMessageCount
+      // 条数下降 → 除了观测基点，四样东西一起归零。少清任何一样都会留下一个「上一代的真相」：
       // 字节账残留 → 新内容注不进来；baseline 残留 → 它再也不出现；
-      // 卡签名残留 → 恢复入口永久失效。
-      if (generationChanged) sessions.set(key, { ...fresh(), messageCount })
-      const cur = sessions.get(key) ?? fresh()
-      return { ...cur, generationChanged }
+      // 卡签名残留 → 恢复入口永久失效；投递账残留 → 调试/诊断把旧代当新代。
+      const base = generationChanged ? fresh() : { ...(prev ?? fresh()) }
+      base.lastObservedMessageCount = observed
+      sessions.set(key, base)
+      // 只 begin 不提交的会话（全程被去重）也会进 Map —— 长驻宿主里必须同样按 FIFO 收敛。
+      if (sessions.size > maxSessions) sessions.delete(sessions.keys().next().value)
+      return { ...base, generationChanged }
     },
-    /** 一次写回。只防长驻进程无限增长：被挤掉的老会话下次醒来至多把同一批记忆再注一次。 */
+    /**
+     * 一次写回。只防长驻进程无限增长：被挤掉的老会话下次醒来至多把同一批记忆再注一次。
+     *
+     * 合并（而不是整体替换）是刻意的：`begin()` 刚写下的观测账必须留在状态里 ——
+     * 调用方只回传投递账（签名 / 字节 / 卡 / baseline），不该关心、也不该覆盖观测账。
+     */
     commit(key, next) {
-      sessions.set(key, { ...next })
+      const prev = sessions.get(key) ?? fresh()
+      sessions.set(key, { ...prev, ...(next && typeof next === 'object' ? next : {}) })
       // FIFO 而不是 LRU：Map 重写已存在的键不会挪动位置，与旧行为一致。
       if (sessions.size > maxSessions) sessions.delete(sessions.keys().next().value)
     },

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "sage-mem",
   "description": "Cross-session memory for DeepSeek Harness — plain markdown files, no database, no worker.",
-  "version": "2.1.13",
+  "version": "2.1.14",
   "type": "module",
   "main": "lib/index.js",
   "icon": "./icon.png",