sage-mem 0.7.1 → 0.7.2

package/README.md

@@ -123,6 +123,8 @@ SAGE_MEM_DIR=/path/to/your/memory
 - **换个说法也能命中**：打分是**词面重合**（双字组覆盖率），不是语义的——问「我有什么待办」而文件里写的是「代办清单」，差一个字就完全不命中。给这类记忆加一行 `aliases: [待办, todo]` 就能补上
 - **正文超 1500 字符就截断**并标 `…（截断）`，单条记忆不会吃掉整个上下文
 - **同一个问题不会重复注入**（按会话记签名），问第二遍不会又追加一遍
+- **单场会话累计注入到 60 KB 就停**（`MAX_SESSION_BYTES`）。条数上限管的是「一次注多少」，这条管「一场会话总共注多少」—— 长会话里问题一直在换、签名一直在变，累积本来没有上限。到顶之后新的记忆不再注入（这时该让 agent 直接读文件），**压缩或清空之后账面自动归零**，又能注进来
+- **每条记忆的标题带新鲜度**：`（保存于 N 天前）`，**优先读 frontmatter 的 `updated:`，缺失才回落文件 mtime** —— 手写的时间戳是权威，文件系统时间会被复制 / 备份还原 / checkout 整批改掉。理由是陈旧记忆被当事实引用时，「引用」这个动作本身会让它显得更权威而不是更可疑，所以注入文本开头还带一节**引用纪律**（提到路径先确认存在、提到函数先 grep、要动手先核实）。它**独立成节**而不是一条 bullet：Claude Code 实测同一句话埋成 bullet 命中 0/3、独立成节 3/3
 - **`baseline: true` 的记忆每场会话第一步无条件注入**，最多 8 条——给「你是谁」「待办清单」这类每次开场都该在场的记忆用。多条 baseline 之间的先后由 `baselinePriority` 决定（数字越大越前，缺省 0），**不按文件名排**
 - 记忆目录读不到、权限错、frontmatter 格式坏，这些都**降级为不注入并写日志**，不会静默失效
 
@@ -233,7 +235,7 @@ sage-mem 只做三件事，全都在你本机：
 |---|---|
 | **读记忆** | 只读 `SAGE_MEM_DIR`（默认 `~/.sage-mem/memory`）下的顶层 `*.md`，单文件上限 512 KB |
 | **写记忆** | 经 agent 的文件工具或设置页写同一个目录；`MEMORY.md`、`session-log.md` 等保留名受保护，设置页碰不到 |
-| **注入** | 把选中的记忆作为上下文交给模型（最多 10 条相关 + 8 条 `baseline`） |
+| **注入** | 把选中的记忆作为上下文交给模型（最多 10 条相关 + 8 条 `baseline`，单场会话累计上限 60 KB） |
 
 **它不做什么**：不联网、不开端口、不起常驻进程、不需要任何 API key；默认只读写记忆目录与它上一层的 `.sage-mem/` 状态目录（配置、回滚点、报告）。**例外**：输入源选「记忆 + 会话记录」时，它会额外**读** `$DSH_HOME/sessions` 下的会话记录做定向搜索——那会解压你的对话原文（含私密内容）并送进模型上下文，所以默认不开，见「自动做梦」一节；
 不做事件全捕获（存不存由 agent 按规则判断，不是"你说了什么都记"）。

package/lib/index.js

@@ -60,6 +60,46 @@ const MAX_CHARS_PER_FILE = envInt('SAGE_MEM_MAX_CHARS', 1500, 200, 20000)
  */
 const MAX_BASELINE = envInt('SAGE_MEM_MAX_BASELINE', 8, 1, 50)
 
+/**
+ * 单会话累计注入字节上限 —— 到顶以后这个会话就不再注入新的记忆。
+ *
+ * 为什么要有：条数上限（MAX_RESULTS）管的是「一次」注入多少，管不了「一场会话注
+ * 多少次」。长会话里问题一直在换、检索签名一直在变，于是走一步注一批，累积没有
+ * 上限 —— 实测「服务器环境」那个问题一次就注 7,700 字符，八次就到 60 KB。
+ * Claude Code 有同一层闸门（`MAX_SESSION_BYTES = 60 * 1024`，到顶**彻底停止**预取），
+ * 我们此前只有单条上限、没有会话上限。
+ *
+ * 60 KB 是与 CC 对齐的起点、不是实测出来的数字 —— 留了 SAGE_MEM_MAX_SESSION_BYTES
+ * 覆写口，量过再定。
+ */
+const MAX_SESSION_BYTES = envInt('SAGE_MEM_MAX_SESSION_BYTES', 60 * 1024, 4096, 512 * 1024)
+
+/**
+ * 注入文本里标「保存于 N 天前」的门槛（天）。超了才标；0 = 每条都标。
+ *
+ * 为什么用「N 天前」而不是日期：模型不擅长日期算术，绝对时间戳几乎不触发陈旧
+ * 推理，相对天数才会。为什么需要它：陈旧记忆被当事实引用时，「引用」这个动作
+ * 本身会让它显得更权威、而不是更可疑。
+ */
+const STALE_DAYS = envInt('SAGE_MEM_STALE_DAYS', 1, 0, 365)
+
+/**
+ * 注入文本开头的引用纪律 —— **必须独立成节，不能压成一条 bullet**。
+ *
+ * Claude Code 对这条做过 A/B：同一句内容埋成 bullet 命中 0/3，独立成节 3/3，
+ * 连标题措辞都验过。原因很实在：陈旧记忆被当事实引用时，「引用」这个动作本身
+ * 会让它显得更权威而不是更可疑 —— 规矩得在**读这批内容之前**先立。
+ *
+ * 每次注入都带（约 150 字符），不按会话只带一次：它约束的是「这一批」怎么用，
+ * 与批次绑定比与会话绑定更不容易失效。
+ */
+const RECALL_DISCIPLINE = [
+  '> **引用纪律**：以下是过去某一刻写下的记录，不是当前事实。',
+  '> 提到文件路径先确认存在，提到函数 / 配置项先 grep，要据此动手前先核实当前代码。',
+  '> 标了「保存于 N 天前」的尤其注意：其中的 `文件:行号` 很可能已经过期。',
+  '> 「记忆里写着 X 存在」不等于「X 现在存在」。',
+].join('\n')
+
 /**
  * 结构性保留名：设置页的写/删方法一律不得触碰。
  *
@@ -173,7 +213,9 @@ async function scanMemoryFiles(ctx, sessionId) {
       .map(e => e.name)
     const loaded = await Promise.all(names.map(async (name) => {
       try {
-        const content = await readFile(join(MEMORY_DIR, name), 'utf8')
+        const full = join(MEMORY_DIR, name)
+        // stat 与 readFile 并行 —— 多要一个 mtime 不该变成串行两跳。
+        const [content, info] = await Promise.all([readFile(full, 'utf8'), stat(full)])
         const meta = parseFrontmatter(content)
         return {
           file: name,
@@ -182,6 +224,9 @@ async function scanMemoryFiles(ctx, sessionId) {
           aliases: meta.aliases || [],
           baseline: parseBaseline(content),
           baselinePriority: meta.baselinePriority || 0,
+          // 新鲜度的两个来源：frontmatter 的 updated（权威）与文件 mtime（退路）。
+          updated: meta.updated || '',
+          mtimeMs: info.mtimeMs,
         }
       } catch (err) {
         // 只有 ENOENT 是正常状态（扫到读之间被删）。其余——权限错、编码坏、盘掉线——
@@ -266,7 +311,7 @@ function parseFrontmatter(content) {
   // 「baseline 走 parseBaseline 那条带 \r?\n 的正则照旧命中，但这条记忆永远检索不到」，
   // 症状极具欺骗性。下文定义的 parseBaseline 与 extractTitle 早已是 \r?\n。
   const m = content.match(/^---\r?\n([\s\S]*?)\r?\n---/)
-  if (!m) return { name: '', description: '', type: '', tags: [], aliases: [], baselinePriority: 0 }
+  if (!m) return { name: '', description: '', type: '', tags: [], aliases: [], updated: '', baselinePriority: 0 }
   const body = m[1]
   const grab = (key) => {
     // [ \t] / [ \t\r] 而不是 \s：\s 会连 CRLF 的 \r 一起吃进捕获组，值尾留一个 \r
@@ -280,12 +325,21 @@ function parseFrontmatter(content) {
     const nested = body.match(/^metadata:\s*\r?\n(?:\s+[^\r\n]+\r?\n)*?\s+type:\s*(\S+)/m)
     if (nested) type = nested[1]
   }
+  // `updated` 踩的是与 `type` 同一个坑：它通常写在 `metadata:` 嵌套块里（缩进两格），
+  // 顶层 `^updated:` 抓不到 —— 于是「明明写了日期却永远显示不出来」。
+  // 抓不到就回落文件 mtime（见 ageDays）：手写时间戳是权威的，文件系统时间只是退路。
+  let updated = grab('updated')
+  if (!updated) {
+    const nestedUpdated = body.match(/^metadata:\s*\r?\n(?:\s+[^\r\n]+\r?\n)*?\s+updated:\s*(\S+)/m)
+    if (nestedUpdated) updated = nestedUpdated[1]
+  }
   return {
     name: grab('name'),
     description: grab('description'),
     type,
     tags: parseTags(body),
     aliases: parseAliases(body),
+    updated,
     baselinePriority: parseBaselinePriority(body),
   }
 }
@@ -337,6 +391,24 @@ function parseBaseline(content) {
   return /^(true|yes|1)$/i.test(hit[1].replace(/^["']|["']$/g, '').trim())
 }
 
+/**
+ * 一条记忆「多久以前写下的」（整数天；null = 无从判断）。
+ *
+ * **优先 frontmatter 的 `updated`，缺失才回落文件 mtime —— 顺序不能反。**
+ * 文件系统时间会被复制、checkout、备份还原整批改掉（我们 memory 目录真被整目录
+ * 备份/还原过），它表示的是「这个文件什么时候被动过」，不是「这条记忆什么时候
+ * 写的」。手写的时间戳才是权威。
+ *
+ * 未来日期（时钟偏差 / 手写错）一律当 0：宁可标「今天」也不要标负数。
+ */
+function ageDays(f, nowMs) {
+  const fromMeta = Date.parse(f?.updated || '')
+  const base = Number.isFinite(fromMeta) ? fromMeta : (Number.isFinite(f?.mtimeMs) ? f.mtimeMs : NaN)
+  if (!Number.isFinite(base)) return null
+  const days = Math.floor((nowMs - base) / 86400000)
+  return days > 0 ? days : 0
+}
+
 /**
  * 原子写：先写同目录临时文件，再 rename 覆盖目标。
  *
@@ -462,6 +534,18 @@ export class MemoryGateway extends TypertRemoteService {
     const BASELINE_CACHE_MAX = 64
     const baselineInjected = new Set()
 
+    // 「本会话已经注入掉多少字节」—— 会话级账本，按 session id 记。
+    //
+    // 为什么不扫会话记录去算：同一轮 assemble 出来的内容会被宿主合进**同一条**
+    // user/message（运行时上下文、工作区指令、插件注入共用一条），按消息字节统计
+    // 会把别人的内容算进我们的账；按文本找标记又太脆。自己记账是确定性最高的。
+    //
+    // 为什么要连 messageCount 一起记：压缩 / 清空之后上下文里的记忆已经没了，而
+    // session id 不变 —— 只按 id 记账会让「预算用满」变成永久状态，压缩之后再也
+    // 注不进来。消息条数变小是压缩发生过的最直接信号，用它把账本归零。
+    const INJECT_LEDGER_MAX = 64
+    const injectLedger = new Map()
+
     // 按问题检索注入：system-prompt/assemble 是异步 waterfall，监听器可 await。
     // 从 agent.session 拿当前 user message，扫 memory 目录按摘要匹配选相关
     // 文件，读全文作为动态 context 段注入——让 agent 第一轮就「想起」。
@@ -546,19 +630,53 @@ export class MemoryGateway extends TypertRemoteService {
 
         if (picked.length === 0) return assembled
 
-        const parts = picked.map(f => {
+        // ── 单会话累计预算 ──
+        // 账记在 session id 上；消息条数变小 = 压缩/清空发生过 → 账本归零（见上面
+        // injectLedger 的注释）。picked 里 baseline 永远排在检索结果之前，所以预算
+        // 不够时先被挤掉的是「更晚才想起来的」那些 —— baseline 有优先权。
+        const ledgerKey = session.id || 'no-session-id'
+        const prevLedger = injectLedger.get(ledgerKey)
+        let usedBytes = prevLedger && messages.length >= prevLedger.messageCount ? prevLedger.bytes : 0
+        const nowMs = Date.now()
+
+        const parts = []
+        let skippedForBudget = 0
+        for (const f of picked) {
           const body = f.content.length > MAX_CHARS_PER_FILE
             ? f.content.slice(0, MAX_CHARS_PER_FILE) + '\n…（截断）'
             : f.content
-          return `### ${f.file}\n${body}`
-        })
+          const days = ageDays(f, nowMs)
+          const stamp = days !== null && days >= STALE_DAYS ? `（保存于 ${days} 天前）` : ''
+          const part = `### ${f.file}${stamp}\n${body}`
+          const size = Buffer.byteLength(part, 'utf8')
+          if (usedBytes + size > MAX_SESSION_BYTES) { skippedForBudget++; continue }
+          usedBytes += size
+          parts.push(part)
+        }
+
+        // 被预算挡掉了全部条目 —— 一个字都不注。本会话已经注进去的那批还在上下文里，
+        // 每步再塞一条「预算已满」只是白花 token；真压缩过之后账本会自己归零。
+        if (parts.length === 0) return assembled
+
+        injectLedger.set(ledgerKey, { bytes: usedBytes, messageCount: messages.length })
+        if (injectLedger.size > INJECT_LEDGER_MAX) {
+          injectLedger.delete(injectLedger.keys().next().value)
+        }
+
+        // 状态行：让「注了几条、花了多少、被挡掉几条」在上下文里可见 ——
+        // 「某条记忆没被注入」是最难查的一类故障，这里留一个可读的出口。
+        const status = `（本次注入 ${parts.length} 条；本会话累计 ${Math.round(usedBytes / 1024)} KB` +
+          ` / 上限 ${Math.round(MAX_SESSION_BYTES / 1024)} KB` +
+          (skippedForBudget > 0 ? `；因预算省略 ${skippedForBudget} 条，需要时直接用文件工具读 ${MEMORY_DIR}` : '') +
+          '）'
 
         return {
           ...assembled,
           contexts: [...(assembled.contexts ?? []), {
             name: 'sage-mem:recall',
             order: 1000,
-            text: `以下是与你当前问题相关的历史记忆（文件式，来自 ${MEMORY_DIR}）：\n\n${parts.join('\n\n')}`,
+            text: `以下是与你当前问题相关的历史记忆（文件式，来自 ${MEMORY_DIR}）：\n\n` +
+              `${RECALL_DISCIPLINE}\n\n${parts.join('\n\n')}\n\n${status}`,
           }],
         }
       } catch (err) {
@@ -825,7 +943,9 @@ export const __testables = {
   parseBaselinePriority,
   parseBaseline,
   parseTags,
+  ageDays,
   selectRelevant,
   selectBaseline,
-  limits: { MAX_RESULTS, MAX_CHARS_PER_FILE, MAX_BASELINE },
+  limits: { MAX_RESULTS, MAX_CHARS_PER_FILE, MAX_BASELINE, MAX_SESSION_BYTES, STALE_DAYS },
+  recallDiscipline: RECALL_DISCIPLINE,
 }

package/package.json

@@ -1,89 +1,89 @@
-{
-  "name": "sage-mem",
-  "description": "File-based memory plugin for DeepSeek Harness (DSH) — cross-session memory in plain markdown files, with a memory star-map view, type/tag filtering, retrieval aliases, and an optional autodream pass that consolidates memories on demand or on a schedule — with per-run rollback points, a per-file change declaration (what changed and why), and a separately selectable model for the consolidation pass",
-  "version": "0.7.1",
-  "type": "module",
-  "main": "lib/index.js",
-  "exports": {
-    ".": "./lib/index.js",
-    "./client": "./lib/client.js",
-    "./typert": "./lib/typert.host.js",
-    "./package.json": "./package.json"
-  },
-  "files": [
-    "lib/",
-    "cordis.patch.yml",
-    "NOTICE"
-  ],
-  "license": "Apache-2.0",
-  "engines": {
-    "node": ">=18",
-    "dsh": ">=0.1.2-rc.1"
-  },
-  "dsh": {
-    "bundle": {
-      "patch": "./cordis.patch.yml"
-    },
-    "client": {
-      "platform": "web",
-      "inject": [
-        "@deepseek-ai/dsh-client-locale"
-      ]
-    },
-    "compatibility": {
-      "dsh": ">=0.1.2-rc.1",
-      "dshReleases": {
-        "0.1.2-rc.1": "compatible",
-        "0.1.3-alpha.1": "compatible",
-        "0.1.3-alpha.2": "compatible",
-        "0.1.5-rc.1": "compatible",
-        "0.1.6-alpha.1": "compatible",
-        "0.1.6-alpha.2": "compatible",
-        "0.1.7-rc.1": "compatible",
-        "0.1.7-rc.2": "compatible",
-        "0.2.0-rc.1": "compatible",
-        "0.2.0-rc.2": "compatible"
-      }
-    }
-  },
-  "dependencies": {
-    "zod": "^4.4.3"
-  },
-  "devDependencies": {
-    "react": "^18.0.0"
-  },
-  "peerDependencies": {
-    "@deepseek-ai/cordis": "^4.0.2",
-    "@deepseek-ai/dsh-typert-protocol": ">=0.1.2-rc.1",
-    "@deepseek-ai/dsh-client-locale": ">=0.1.2-rc.1",
-    "react": "^18.0.0"
-  },
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/gezi-wen/sage-mem.git"
-  },
-  "homepage": "https://github.com/gezi-wen/sage-mem#readme",
-  "bugs": {
-    "url": "https://github.com/gezi-wen/sage-mem/issues"
-  },
-  "keywords": [
-    "memory",
-    "ai-memory",
-    "agent-memory",
-    "long-term-memory",
-    "cross-session-memory",
-    "context-management",
-    "knowledge-management",
-    "markdown",
-    "dsh",
-    "dsh-plugin",
-    "deepseek",
-    "deepseek-harness",
-    "cordis",
-    "typert",
-    "plugin",
-    "ai-agent",
-    "agent",
-    "claude-code"
-  ]
-}
+{
+  "name": "sage-mem",
+  "description": "File-based memory plugin for DeepSeek Harness (DSH) — cross-session memory in plain markdown files, with a memory star-map view, type/tag filtering, retrieval aliases, and an optional autodream pass that consolidates memories on demand or on a schedule — with per-run rollback points, a per-file change declaration (what changed and why), and a separately selectable model for the consolidation pass",
+  "version": "0.7.2",
+  "type": "module",
+  "main": "lib/index.js",
+  "exports": {
+    ".": "./lib/index.js",
+    "./client": "./lib/client.js",
+    "./typert": "./lib/typert.host.js",
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "lib/",
+    "cordis.patch.yml",
+    "NOTICE"
+  ],
+  "license": "Apache-2.0",
+  "engines": {
+    "node": ">=18",
+    "dsh": ">=0.1.2-rc.1"
+  },
+  "dsh": {
+    "bundle": {
+      "patch": "./cordis.patch.yml"
+    },
+    "client": {
+      "platform": "web",
+      "inject": [
+        "@deepseek-ai/dsh-client-locale"
+      ]
+    },
+    "compatibility": {
+      "dsh": ">=0.1.2-rc.1",
+      "dshReleases": {
+        "0.1.2-rc.1": "compatible",
+        "0.1.3-alpha.1": "compatible",
+        "0.1.3-alpha.2": "compatible",
+        "0.1.5-rc.1": "compatible",
+        "0.1.6-alpha.1": "compatible",
+        "0.1.6-alpha.2": "compatible",
+        "0.1.7-rc.1": "compatible",
+        "0.1.7-rc.2": "compatible",
+        "0.2.0-rc.1": "compatible",
+        "0.2.0-rc.2": "compatible"
+      }
+    }
+  },
+  "dependencies": {
+    "zod": "^4.4.3"
+  },
+  "devDependencies": {
+    "react": "^18.0.0"
+  },
+  "peerDependencies": {
+    "@deepseek-ai/cordis": "^4.0.2",
+    "@deepseek-ai/dsh-typert-protocol": ">=0.1.2-rc.1",
+    "@deepseek-ai/dsh-client-locale": ">=0.1.2-rc.1",
+    "react": "^18.0.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/gezi-wen/sage-mem.git"
+  },
+  "homepage": "https://github.com/gezi-wen/sage-mem#readme",
+  "bugs": {
+    "url": "https://github.com/gezi-wen/sage-mem/issues"
+  },
+  "keywords": [
+    "memory",
+    "ai-memory",
+    "agent-memory",
+    "long-term-memory",
+    "cross-session-memory",
+    "context-management",
+    "knowledge-management",
+    "markdown",
+    "dsh",
+    "dsh-plugin",
+    "deepseek",
+    "deepseek-harness",
+    "cordis",
+    "typert",
+    "plugin",
+    "ai-agent",
+    "agent",
+    "claude-code"
+  ]
+}