sage-mem 1.0.2 → 1.2.0

package/lib/recall/state.js

@@ -0,0 +1,46 @@
+/**
+ * 会话级注入状态的持有者（1.2.0 从 `lib/index.js` 原样搬出）。
+ *
+ * 一处持有、一处提交：`begin()` 只读并处理代次，`commit()` 一次写回。
+ * 为什么提交放最后：中途抛错时状态不该前进 —— 没注进去的东西不能记成「已注过」，
+ * 否则一次失败会把这条记忆永久挡在门外。唯一的例外是代次变化：那是**已经发生的事实**
+ * （上下文真的被压缩了），必须在算任何东西之前生效，否则这一步会拿着上一代的账做判断。
+ *
+ * ⚠️ 诚实边界：压缩信号是「消息条数下降」这条启发式，它**覆盖不了条数不降的压缩**
+ * （宿主原地改写历史，或截断后又在同一步补足条数）。那种情况下这里看不出代次变化，
+ * 记忆仍会被去重挡住。要真正解决得等宿主给出可比的上下文代次标识（目前没有）。
+ */
+export function createSessionInjectState(maxSessions = 64) {
+  const sessions = new Map()
+  const fresh = () => ({
+    signature: null,      // 已注入过的检索签名（问题 + 命中文件集）
+    contentBytes: 0,      // 本代正文累计字节
+    cardBytes: 0,         // 本代状态卡累计字节（与正文分账，见 config.js）
+    cardSig: '',          // 本代已发过的那张卡（含检查点句柄的合成文本）
+    gapCard: '',          // 本代渲染过的缺口卡正文（签名没变时沿用，避免换个数字重发）
+    messageCount: -1,     // 上一次见效时的消息条数（压缩判据）
+    baselineDone: false,  // 本代是否已经给过 baseline
+  })
+  return {
+    /**
+     * 处理代次变化，取回本会话这一代的起点。**必须在算正文与控制提示之前调用。**
+     * 返回值是一份快照 —— 调用方只读，写回统一走 `commit()`。
+     */
+    begin(key, messageCount) {
+      const prev = sessions.get(key)
+      const generationChanged = !!prev && messageCount < prev.messageCount
+      // 条数下降 → 四样东西一起归零。少清任何一样都会留下一个「上一代的真相」：
+      // 字节账残留 → 新内容注不进来；baseline 残留 → 它再也不出现；
+      // 卡签名残留 → 恢复入口永久失效。
+      if (generationChanged) sessions.set(key, { ...fresh(), messageCount })
+      const cur = sessions.get(key) ?? fresh()
+      return { ...cur, generationChanged }
+    },
+    /** 一次写回。只防长驻进程无限增长：被挤掉的老会话下次醒来至多把同一批记忆再注一次。 */
+    commit(key, next) {
+      sessions.set(key, { ...next })
+      // FIFO 而不是 LRU：Map 重写已存在的键不会挪动位置，与旧行为一致。
+      if (sessions.size > maxSessions) sessions.delete(sessions.keys().next().value)
+    },
+  }
+}

package/lib/recall/text.js

@@ -0,0 +1,14 @@
+/**
+ * 注入文本的**组装**（1.2.0 从 `lib/index.js` 原样搬出）。
+ *
+ * 只有正文时：头部 + 引用纪律 + 正文 [+ 卡]
+ * 只有卡时：**就只发卡** —— 头部那句「以下是与你当前问题相关的历史记忆」在没有正文
+ * 的情况下是假陈述，而引用纪律管的是「别把记过的东西当当前事实」，没有正文就没有
+ * 需要约束的对象。
+ */
+export function composeRecallText({ parts, cardPart, memoryDir, discipline }) {
+  if (!parts.length) return cardPart || ''
+  return `以下是与你当前问题相关的历史记忆（文件式，来自 ${memoryDir}）：\n\n` +
+    `${discipline}\n\n${parts.join('\n\n')}` +
+    (cardPart ? `\n\n${cardPart}` : '')
+}

package/lib/settings.js

@@ -0,0 +1,98 @@
+/**
+ * 面板设置与「保留名原样读写」的落点（1.2.0 从 `lib/index.js` 原样搬出）。
+ *
+ * 这里的每一项都与 `memory/config.js` 的 `SAGE_MEM_*` 一一对应；边界值照抄那边的
+ * envInt 调用（lo/hi 不许在这里另立一套）。
+ */
+import { readFile } from 'node:fs/promises'
+import { basename, join } from 'node:path'
+import { STATE_ROOT } from './memory/config.js'
+import { DEFAULT_CONFIG } from './autodream/config.js'
+import { readJson } from './autodream/util.js'
+
+/**
+ * 面板可改的 5 项注入上限 —— 与 `memory/config.js` 里的 `SAGE_MEM_*` 一一对应。
+ * 边界值照抄那边的 envInt 调用（lo/hi 不许在这里另立一套）。
+ */
+export const LIMIT_SPECS = {
+  maxResults: { env: 'SAGE_MEM_MAX_RESULTS', dflt: 10, lo: 1, hi: 30 },
+  maxChars: { env: 'SAGE_MEM_MAX_CHARS', dflt: 1500, lo: 200, hi: 20000 },
+  maxBaseline: { env: 'SAGE_MEM_MAX_BASELINE', dflt: 8, lo: 1, hi: 50 },
+  maxSessionBytes: { env: 'SAGE_MEM_MAX_SESSION_BYTES', dflt: 60 * 1024, lo: 4096, hi: 512 * 1024 },
+  staleDays: { env: 'SAGE_MEM_STALE_DAYS', dflt: 1, lo: 0, hi: 365 },
+}
+
+/** 面板设置的落点：状态根下（与 autodream 的配置、台账同级）。 */
+export const SETTINGS_FILE = join(STATE_ROOT, 'settings.json')
+export const RESERVED_FILE = join(STATE_ROOT, 'reserved.json')
+
+/**
+ * `writeRaw` 的体积上限（4 MB）。
+ *
+ * ⚠️ **故意不复用 `MAX_FILE_BYTES`（512 KB）**：保留名里就有 `session-log.md` 这种追加型
+ * 流水，它天然长得比单条记忆大得多（实测已 > 512 KB）。沿用小上限 = 用户永远存不回去。
+ */
+export const MAX_RAW_BYTES = 4 * 1024 * 1024
+
+/** 整数收敛（与 config.js 的 envInt 同一套语义）：非有限数回落默认，越界夹到边界。 */
+export const clampInt = (v, spec) => (Number.isFinite(v) ? Math.max(spec.lo, Math.min(spec.hi, Math.round(v))) : spec.dflt)
+
+/** 读 `<状态根>/settings.json`；缺失、坏 JSON、不是对象都当「没设置」。 */
+export async function readSettingsFile() {
+  try {
+    const parsed = JSON.parse(await readFile(SETTINGS_FILE, 'utf8'))
+    return parsed && typeof parsed === 'object' && !Array.isArray(parsed) ? parsed : null
+  } catch {
+    return null
+  }
+}
+
+/** 待生效的 5 项上限：`settings.json` > 环境变量 > 内置默认。 */
+export function pendingLimits(fileObj) {
+  const out = {}
+  const saved = fileObj?.limits && typeof fileObj.limits === 'object' ? fileObj.limits : {}
+  for (const [key, spec] of Object.entries(LIMIT_SPECS)) {
+    const fromFile = Number(saved[key])
+    if (Number.isFinite(fromFile)) {
+      out[key] = clampInt(fromFile, spec)
+      continue
+    }
+    const raw = process.env[spec.env]
+    out[key] = clampInt(raw === undefined || raw === '' ? NaN : Number(raw), spec)
+  }
+  return out
+}
+
+/** 读 `<状态根>/reserved.json`（用户声明的保护名单）。**保留原始大小写**，好让 get 读回一致。 */
+export async function readReservedFile() {
+  try {
+    const arr = JSON.parse(await readFile(RESERVED_FILE, 'utf8'))
+    if (!Array.isArray(arr)) return []
+    return arr
+      .map((s) => String(s).trim())
+      .filter((s) => s.endsWith('.md') && !s.includes('/') && !s.includes('\\') && !s.startsWith('..'))
+  } catch {
+    return []
+  }
+}
+
+/**
+ * 原样读写用的名字校验：只要求「单段、`.md`」。
+ *
+ * ⚠️ **故意不走 `safeName`**：那个函数把 `MEMORY.md` / `session-log.md` 当非记忆条目排除，
+ * 而它们恰恰是 `readRaw` / `writeRaw` 的目标。这里只防路径成分与扩展名。
+ */
+export function rawName(raw) {
+  const s = typeof raw === 'string' ? raw : ''
+  if (!s || basename(s) !== s) return null
+  // `:` 是 NTFS 交替数据流的分隔符：`MEMORY.md:evil.md` 能过扩展名判据，落盘却是写到
+  // 索引的隐藏流上（`readdir` 看不见）。与 `safeName` 同一条理由，这里也要拒。
+  if (s.includes(':')) return null
+  return /\.md$/i.test(s) ? s : null
+}
+
+/** autodream 的实际配置（缺文件/坏文件回落默认值）—— 面板要显示真实策略，不能显示想象。 */
+export async function autodreamConfigSnapshot() {
+  const parsed = await readJson(join(STATE_ROOT, 'autodream.json'))
+  return { ...DEFAULT_CONFIG, ...(parsed?.config ?? {}) }
+}

package/lib/typert.host.js

@@ -96,6 +96,9 @@ const archivedListSchema = z.object({
 // 归档缘由：用户输入的一句话。真正的 YAML 转义在 host 侧 yamlScalar（值里的「: 」「 #」），
 // 这里只兜长度 —— 缘由不该长到把 frontmatter 变成正文。
 const archiveReasonSchema = z.string().max(1000).optional()
+// 归档代次（`archived_at`，`YYYY-MM-DD HH:mm`）：面板把它交回「彻底删除」当**身份判据**
+// —— 用户确认过的是「这一版归档件」，名字不是身份。老归档件没有留痕时传空串，所以不设 min。
+const archiveStampSchema = z.string().max(64)
 // starmap.listStars 的可选开关：不看归档星时行为与从前完全一致。
 const includeArchivedSchema = z.boolean().optional()
 
@@ -585,6 +588,22 @@ export const TYPERT = {
 			result: { mode: 'strict', typeSymbol: 'sage-mem/types#ArchivedWriteResult', schema: archivedWriteResultSchema, create: () => archivedWriteResultSchema },
 			sourceLocation: { "file": "lib/index.js", "line": 1, "column": 1 },
 		},
+		{
+			// **彻底删除**一条归档件（不可恢复）。第二个参数是身份判据，不是装饰：
+			// 名字在「用户确认」与「请求到达」之间可能已经被恢复＋重新归档成另一版。
+			id: 'sage-mem#memory/deleteArchived',
+			service: 'memory',
+			namespace: 'memory',
+			method: 'deleteArchived',
+			invocation: { kind: 'direct' },
+			parameters: [
+				{ name: 'name', wire: 'name', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#ArchivedFileName', schema: fileNameSchema, create: () => fileNameSchema } },
+				{ name: 'archivedAt', wire: 'archivedAt', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#ArchiveStamp', schema: archiveStampSchema, create: () => archiveStampSchema } },
+			],
+			// 成功 `{ ok: true, file }`、失败 `{ ok: false, error }` —— 与归档 / 恢复同形，复用 ArchiveResult。
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#ArchiveResult', schema: archiveResultSchema, create: () => archiveResultSchema },
+			sourceLocation: { "file": "lib/index.js", "line": 1, "column": 1 },
+		},
 		{
 			id: 'sage-mem#memory/audit',
 			service: 'memory',

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": "1.0.2",
+  "version": "1.2.0",
   "type": "module",
   "main": "lib/index.js",
   "exports": {