@modusensus/dsh-mneme 0.8.6 → 0.8.8

package/src/api-standalone.js

@@ -197,7 +197,7 @@ async function handlePutBody(res, service, logger, id, text) {
  * port (updated to the OS-assigned one after `ready` resolves when asked to
  * bind port 0), `ready` resolves once listening and rejects if the bind fails.
  */
-export function createStandaloneApi({ service, store, config = {}, logger, settings, port, host }) {
+export function createStandaloneApi({ service, store, config = {}, logger, settings, port, host, maintenance }) {
   const persisted = settings?.getExternalApi?.() ?? {};
 
   let token = typeof persisted.token === "string" ? persisted.token : "";
@@ -409,6 +409,62 @@ export function createStandaloneApi({ service, store, config = {}, logger, setti
         return;
       }
 
+      // --- POST /maintenance/reclaim: 无损回收（#275 第一批，手动入口）-------
+      // 默认 dry-run：只有显式 confirm:true 才真改数据。这两步都是不可逆的内容丢弃
+      // （历史 run 的输入快照置空、归档行向量置空），所以不给「带 body 就执行」这种
+      // 省事路径——确认必须建立在看得见的数字上。
+      if (req.method === "POST" && pathname === "/maintenance/reclaim") {
+        void readBody(req).then((text) => {
+          let body;
+          try {
+            body = JSON.parse(text || "{}");
+          } catch {
+            sendJson(res, 400, { error: "invalid-json" });
+            return;
+          }
+          if (body === null || typeof body !== "object" || Array.isArray(body)) {
+            sendJson(res, 400, { error: "invalid-body" });
+            return;
+          }
+          if (!maintenance) {
+            sendJson(res, 503, { error: "maintenance-unavailable" });
+            return;
+          }
+          const dryRun = body.dryRun !== false;
+          // 只收 JSON 数字：`Number()` 会把 ""/[]/false 都化成 0，而 0 在这里是
+          // 「清掉全部快照」——最坏解释绝不能让一个畸形输入静默拿到。
+          const olderThanDays = body.olderThanDays === undefined || body.olderThanDays === null
+            ? undefined
+            : body.olderThanDays;
+          if (olderThanDays !== undefined && (!Number.isInteger(olderThanDays) || olderThanDays < 0)) {
+            sendJson(res, 400, { error: "invalid-older-than-days" });
+            return;
+          }
+          if (body.vacuum !== undefined && typeof body.vacuum !== "boolean") {
+            sendJson(res, 400, { error: "invalid-vacuum" });
+            return;
+          }
+          if (!dryRun && body.confirm !== true) {
+            // 拒执行，但把 dry-run 报告一并回给调用方：确认的依据就是这份数字。报告
+            // 必须描述**将要执行的那个动作**，所以 vacuum 原样带上——否则调用方看到
+            // 的是「不 VACUUM」的数字，却带着 vacuum 去执行。
+            sendJson(res, 400, {
+              error: "confirm-required",
+              hint: "先看 dry-run 报告，确认后带 {\"dryRun\":false,\"confirm\":true} 再发",
+              report: maintenance.reclaim({ olderThanDays, vacuum: body.vacuum === true, dryRun: true })
+            });
+            return;
+          }
+          try {
+            sendJson(res, 200, maintenance.reclaim({ olderThanDays, vacuum: body.vacuum === true, dryRun }));
+          } catch (error) {
+            logger?.warn?.(`[dsh-mneme] storage reclaim failed: ${String(error)}`);
+            sendJson(res, 500, { error: "internal" });
+          }
+        });
+        return;
+      }
+
       // --- POST /bootstrap: cold-start memories from repo files (#220) -------
       // 显式收 dir（插件没有工作区根目录概念，不猜路径）；确定性解析零 LLM；
       // 幂等骑 saveWithDedupe 的 (type, title, scope) 去重 + _overwrite 刷新。

package/src/api.js

@@ -1,7 +1,7 @@
 import { URL } from "node:url";
 import { timingSafeEqual, randomBytes } from "node:crypto";
 import { FEATURE_FLAG_SPEC } from "./settings.js";
-import { TYPE_FILE, renderMirrorText, parseHumanEdits } from "./mirror.js";
+import { TYPE_FILE, renderMirrorText, renderFileHeader, parseHumanEdits, MIRROR_READONLY_TYPES } from "./mirror.js";
 import { langOf } from "./lang.js";
 import { computeHeat } from "./heat.js";
 import { describeStreamFailure, resolveRoute } from "./dream.js";
@@ -788,7 +788,11 @@ export function createApi(ctx, service, settings, commands, embedder, semantic =
         const page = Math.max(1, Number(url.searchParams.get("page") ?? 1) || 1);
         const pageSize = Math.min(200, Math.max(1, Number(url.searchParams.get("pageSize") ?? 50) || 50));
         const source = url.searchParams.get("source") ?? undefined;
-        const items = service.listLlmAudits?.({ limit: pageSize, offset: (page - 1) * pageSize, source }) ?? [];
+        // 写入准入（#254）的 session_key 是内部计数键——session_id 不是对外的归属
+        // 标识（见 scope.js 文件头），而本端点按注释在 apiToken 之下也保持开放，所以
+        // 不回传它。按会话离线聚合直接读库。
+        const items = (service.listLlmAudits?.({ limit: pageSize, offset: (page - 1) * pageSize, source }) ?? [])
+          .map((row) => (row.session_key === undefined ? row : { ...row, session_key: undefined }));
         const total = service.countLlmAudits?.({ source }) ?? items.length;
         sendJson(res, 200, { items, total, page, pageSize });
       } catch {
@@ -973,9 +977,15 @@ export function createApi(ctx, service, settings, commands, embedder, semantic =
   });
 
   // --- 导出（面板备份/迁移）---------------------------------------------------
-  // 只读。json：全字段行（含 archived/forgotten，布尔化），updated_at DESC；
-  // markdown：按类型分节，块格式与磁盘镜像完全同构（renderMirrorText 与
-  // mirror.sync 共用同一条渲染路径），因此导出文本可以被 /import 原样吃回。
+  // 只读。json：全字段行（含 archived/forgotten，布尔化），updated_at DESC。
+  // markdown：一个文档 = 文档级 frontmatter + 按类型分节。frontmatter 只放文档
+  // 最前一份（分节不再各自带文件头，否则 9 个 `---` 块串在一个 .md 里，外部
+  // frontmatter 解析器只认第一段、其余降级成正文），它的 coverage: all 就是一句
+  // 看得见的声明：这份导出含 archived/forgotten（document 指针行除外——它两个
+  // 落点都不进，见 mirror.js 的 MIRROR_EXCLUDED_TYPES）。条目块与磁盘镜像同构（共用
+  // renderMirrorText 的条目渲染），所以导出文本能被 /import 原样吃回；「同构」
+  // 止于条目——磁盘镜像只写活跃集，导出的行集更宽，两者的覆盖声明因此不同
+  // （active-only vs all）。
   // 全量一次性取回（store.all 按 updated_at DESC）——导出是一次性备份动作，
   // 不需要流式。
   register({
@@ -1002,13 +1012,21 @@ export function createApi(ctx, service, settings, commands, embedder, semantic =
         }
         const byType = {};
         for (const row of rows) {
-          if (TYPE_FILE[row.type]) (byType[row.type] ??= []).push(row);
+          // 没有 TYPE_FILE 条目的 type 不进 markdown 导出，只读 type（#296 的
+          // document 指针行）同样不进：导出/导入是 round-trip 通道，只读视图没有
+          // 可回填的正文。两个排除都在 mirror.js 那张表里（MIRROR_EXCLUDED_TYPES /
+          // MIRROR_READONLY_TYPES）。json 分支是全字段导出，不受影响。
+          if (TYPE_FILE[row.type] && !MIRROR_READONLY_TYPES.has(row.type)) (byType[row.type] ??= []).push(row);
         }
         const sections = [];
         for (const type of Object.keys(TYPE_FILE)) {
-          if (byType[type]?.length) sections.push(renderMirrorText(type, byType[type], langOf(config)));
+          if (byType[type]?.length) {
+            sections.push(renderMirrorText(type, byType[type], langOf(config), { fileHeader: false }));
+          }
         }
-        sendAttachment(res, 200, "text/markdown; charset=utf-8", `dsh-mneme-export-${stamp}.md`, sections.join("\n"));
+        const included = Object.values(byType).flat();
+        const docHeader = renderFileHeader("memory-export", included, "all");
+        sendAttachment(res, 200, "text/markdown; charset=utf-8", `dsh-mneme-export-${stamp}.md`, docHeader + sections.join("\n"));
       } catch {
         sendJson(res, 500, { error: "internal" });
       }
@@ -1016,9 +1034,8 @@ export function createApi(ctx, service, settings, commands, embedder, semantic =
   });
 
   // --- 导入（Markdown 镜像回填）----------------------------------------------
-  // 写路径（requireAuth）。body {type, markdown}：type 是镜像 TYPE_FILE 键
-  // （preference/project/decision/history/summary），markdown 是与镜像文件同构
-  // 的文本。解析复用 readHumanEdits 的纯函数核心 parseHumanEdits（同一实现，
+  // 写路径（requireAuth）。body {type, markdown}：type 是镜像 TYPE_FILE 键，
+  // markdown 是与镜像文件同构的文本。解析复用 readHumanEdits 的纯函数核心 parseHumanEdits（同一实现，
   // 行为一致是硬约束），合并走 mergeHumanEdits（只吃 title/content；digest 命
   // 中或无差异的条目在 service 侧自动跳过）。解析出 0 条不算错误。
   register({
@@ -1037,6 +1054,12 @@ export function createApi(ctx, service, settings, commands, embedder, semantic =
             sendJson(res, 400, { error: "invalid-type" });
             return;
           }
+          // 只读 type 是合法 type，只是没有可回填的正文（#296）：单独的码，调用方
+          // 不会被误导去改 type 名重试。
+          if (MIRROR_READONLY_TYPES.has(body.type)) {
+            sendJson(res, 400, { error: "readonly-type" });
+            return;
+          }
           if (typeof body.markdown !== "string" || !body.markdown.trim()) {
             sendJson(res, 400, { error: "invalid-markdown" });
             return;

package/src/config.js

@@ -77,12 +77,32 @@ export const Config = z.object({
   // maxInjectedItems 上限——只做**单向收缩**，绝不越过用户配置的上限；判据只看
   // 查询本身，不做额外检索（先探针检索等于白付一次 fuseRecall）。
   injectUncertaintyAdaptive: z.boolean().default(false),
-  // #249（第一批）：能力说明——「怎么用记忆」的判断指引。落两个零注入成本的
-  // 位：①`memory_search` / `memory_save` 的工具描述补一句判断指引（工具描述是
-  // 常驻文本，不进每轮上下文）；②一段 order 150 的系统提示段（一次性、同会话
-  // 内不随轮次变化，因此不作废前缀缓存），只讲总则（优先序、何时查、何时写、
-  // 何时 no-op）。默认关：关闭时工具描述与提示段与既有行为逐字节一致。
-  injectGuidanceEnabled: z.boolean().default(false),
+  // #249（第一批；第二批归位为注入子开关）：能力说明——「怎么用记忆」的判断
+  // 指引。落两个零注入成本的位：①`memory_search` / `memory_save` 的工具描述补
+  // 一句判断指引（工具描述是常驻文本，不进每轮上下文）；②一段 order 150 的
+  // 系统提示段（一次性、同会话内不随轮次变化，因此不作废前缀缓存），只讲总则
+  // （优先序、何时查、何时写、何时 no-op）。默认开＝基础档：#249 §10 的判据是
+  // 「只修正既有位、不引入新注入时机／新表面／额外 LLM 调用」的子项随父开关
+  // 生效——「agent 不知道何时该查、何时该写」是已实测的缺口，把它默认关着是反的。
+  // 父开关 `autoInject` 关闭时它不生效（闸门见 injectChildEnabled）；用户显式写进
+  // feature_flags 的值永远优先于这里的默认值。
+  injectGuidanceEnabled: z.boolean().default(true),
+  // #249 N3（压缩边缘双落点）：上下文即将大幅精简前抢救「正在做什么」。默认关。
+  // 触发靠宿主自己的压缩事件（`compaction/start|summary|end`，都在事件白名单里），
+  // 不自定一套阈值参数——「压缩边缘」由宿主定义，我们再校准一份只会与之漂移。
+  // 为什么是「新时机 + 新表面」因而默认关：它往对话里**追加消息**（新的注入表面，
+  // 参照实现里最容易累积成一堆历史的那类），并多写一张提案表。按 §10 判据，引入
+  // 新时机/新表面/新成本的子项独立成键、默认关；只修正既有块的（基础内容分池、
+  // 库可见性行）才随父开关默认开。`pinnedInjectBudget` 与它同批，但属前者之外：
+  // 那是既有块内的预算，不是新表面。
+  // 双落点是硬要求，不能只留一半：宿主的压缩摘要器**只看对话里的内容**，只落库不
+  // 注入，等于在摘要重建里什么都没留下；只注入不落库，则压缩一过就随旧消息一起
+  // 消失。两者都做，且落库先于注入（注入失败不该丢提案）。
+  // 祖先：`autoInject`（父关则本项不生效，闸门见 injectChildEnabled）。轻量档默认
+  // 置关（见 LIGHT_MODE_OFF）：轻量档多一份注入物是反的，与 injectGuidanceEnabled
+  // 同一取舍。注意预设只是默认值而非强制——装配时用户显式开关在它之后展开，勾了就赢
+  // （合并顺序见 index.js 装配处）。
+  continuityRescueEnabled: z.boolean().default(false),
   // #249（第一批）：B1 pin 池预算——约束/偏好类注入条目的独立小上限。约束与
   // 偏好被静默降级是本议题的立项核心（同类知识与情景日志同池同速率摘要，实测
   // 一轮压缩后仅保 53%、五轮 10%），故这两类不进相关性竞争、不参与跨轮轮换、
@@ -125,6 +145,31 @@ export const Config = z.object({
   // 起算，失败/degraded 的 run 也占用间隔；间隔内的触发请求静默跳过，下一次
   // 写入事件会重新评估。
   dreamMinIntervalMinutes: z.natural().min(0).max(10080).default(0),
+  // Issue #292（#135 派生）：autoDream 连续失败退避（opt-in，默认关 = 行为与
+  // 现状逐字节一致）。开启后调度器对连续失败做指数退避：有效最小间隔 =
+  // dreamMinIntervalMinutes × 2^连续失败数（成功一次清零恢复），封顶 30 分钟。
+  // #89 的最小间隔闸失败 run 也占用，但间隔恒定——恒定失败的模型（#135 空体
+  // 面）会按固定节奏连发刷爆配额；退避把下次重试按失败次数指数推远。基数取
+  // dreamMinIntervalMinutes：基数为 0 时无闸可翻倍，本键不自己产生间隔（先配
+  // dreamMinIntervalMinutes 再开本键）。与 dreamPeakHours / dreamMinIntervalMinutes
+  // 同族（节流阀，不新增任何 LLM 调用），故不进 LIGHT_MODE_OFF。
+  autoDreamFailureBackoff: z.boolean().default(false),
+  // Issue #239（第 4 项，错峰队列）镜像到巩固：高峰期不做梦。与
+  // summarizePeakHours 同一份时段语法（复用 src/summarize.js 的 parsePeakSpec /
+  // isInPeakWindow / nextOffPeakAt，不另写解析器）：逗号分隔、可带星期前缀、支持
+  // 跨零点。空串 = 关闭，行为与现状逐字节一致。
+  //   "09:00-18:00"                      每天 09:00-18:00
+  //   "mon-fri 08:00-12:00,14:00-18:00"  工作日两段（按高峰计费的供应商即此形态）
+  // 为什么巩固比蒸馏更该有这道闸：单次巩固的输入是整窗快照（dreamMaxSnapshotSize
+  // 条），实测一次 run 的 LLM 时长可达数分钟量级，撞上高峰时既贵又慢；而它由写入
+  // 事件触发、没有天然的「等到空闲再跑」路径。命中高峰时：不调 LLM、不刷新
+  // baseline（阈值继续累积，留到非高峰一次性巩固），登记一行 status='skipped' /
+  // error_message='peak-hours' 审计，并按下面的上限择时补跑。任一写法非法则整串
+  // 按「未配置」处理——排程是省钱手段，绝不该因为写错格式把巩固停掉。
+  dreamPeakHours: z.string().default(""),
+  // 高峰顺延上限（分钟，0 = 不设上限）：到点仍处高峰就照常跑，避免整天高峰把巩固
+  // 饿死。默认 120，与 summarizePeakMaxDeferMinutes 对齐。仅在时段串非空时生效。
+  dreamPeakMaxDeferMinutes: z.natural().min(0).max(1440).default(120),
   // 巩固模型路由（settings panel「巩固模型」/ dreamProvider+dreamModel）：
   // dream 的记忆沉淀专用 LLM 路由，显式配置优先于 agent 默认模型（config-first，
   // Issue #25）。模型分类声明：
@@ -208,6 +253,15 @@ export const Config = z.object({
   // document 摘要行的注入预算（#230 拍板）：次优先档内最多注入的 document
   // 行数，超预算跳过由后续候选补位。只约束注入，不约束检索。
   documentInjectBudget: z.natural().min(1).max(5).default(2),
+  // document 的 managed 落盘目录（#296 第二批）：空串 = 跟随 memoryDir 的
+  // `<memoryDir>/documents/`。`~` / `~/` / `~\` 展开到 home，绝对路径原样用，相对
+  // 路径落在 memoryDir 下（这是本键自己的规则：memoryDir 的相对路径是原样留着的
+  // cwd 语义，两者刻意不同；`~user` 形式两边都不展开）。目录由 mneme 建，里面的
+  // `index.md`
+  // 整文件机器所有。这个目录**之外**的文件只登记指针行，正文一个字节都不碰
+  // （= #230 的「管线对正文零读零写」）；与 memoryDir 一样是路径配置，不是
+  // 行为开关，故不进 settings.js 的 feature flags 白名单、也不上面板。
+  documentDir: z.string().default(""),
   // 隐式 keep（v0.4.4）：LLM 未提及的 snapshot 记忆自动补 {action:"keep"}，
   // 避免"未覆盖即全拒"白白浪费整轮 run。设为 false 时保留旧的严格校验
   // （未覆盖即拒绝整单）。
@@ -463,6 +517,23 @@ export const Config = z.object({
     z.const("high"),
     z.const("none")
   ]).description("同 dreamReasoningEffort：sleep 各阶段 LLM 的推理档位，未配置 = 自动取模型支持的最低档；显式 'none' = 不发送字段、用服务商自带默认。"),
+  // Pass-through reasoning effort for the distill (summarize) LLM call
+  // (issue #315). Mirrors entityExtractionReasoning rather than dream: the
+  // default 'none' omits the field entirely (provider default), so current
+  // behavior is unchanged until the user opts in — no auto-lowest resolution
+  // here, distill failures are retried at the window level anyway. off/low/
+  // medium/high are forwarded verbatim; a provider that rejects the effort
+  // retries once without it (withEffortFallback), so opting in is safe to
+  // experiment with. The failure being addressed is the #9 shape on the
+  // distill path: a thinking model drains the output budget on reasoning and
+  // the summary comes back empty/truncated.
+  summarizeReasoningEffort: z.union([
+    z.const("off"),
+    z.const("low"),
+    z.const("medium"),
+    z.const("high"),
+    z.const("none")
+  ]).default("none").description("蒸馏（会话总结提炼）LLM 的推理档位：默认 'none' = 不发送字段、用服务商自带默认；off/low/medium/high 原样传递，被模型拒收时自动去掉字段重试一次（与巩固/睡眠同款降级，#315）。思考型模型建议 off/low，避免推理烧光输出预算。"),
   // Issue #257：sleep 冲突/模式两阶段的输出预算（原硬编码 2048）。实测默认档
   // 每对裁决约 90 token、24 对 2097——2048 恰好压在边界（53 次运行 48 败）；
   // full 档六分支实测约 290 token/对、24 对 6967，2048 必然截断。默认 8192
@@ -607,6 +678,9 @@ const LIGHT_MODE_OFF = [
   "rerankEnabled",
   "autoReindexOnBoot",
   "hybridInject",
+  // #249 第二批：能力说明在轻量档保持关闭——它是工具描述与提示段上的额外常驻
+  // 文本，轻量档（小模型 / 小上下文）不该因默认值翻转而多付这份提示成本。
+  "injectGuidanceEnabled",
   "searchSemanticDedup",
   "selectiveInjectEnabled",
   "bm25SearchEnabled",
@@ -617,7 +691,12 @@ const LIGHT_MODE_OFF = [
   // 轻量模式不开 document 指针行（#230，opt-in：注册/注入/检索增强全随闸）。
   "documentMemoryEnabled",
   // 轻量模式不开热计算（heat 属于重型增强；关掉后 sleep 降级也退回纯时间分层）。
-  "heatEnabled"
+  "heatEnabled",
+  // #249 N3：轻量档默认不开压缩边缘双落点——它往对话里追加消息（新的注入表面），
+  // 轻量档（小模型 / 小上下文）最不该再多一份注入物。这是预设给的默认值、不是强制：
+  // 用户显式勾选仍然赢（合并顺序「用户开关 > 轻量预设 > bundle 配置」，同
+  // injectGuidanceEnabled）。
+  "continuityRescueEnabled"
 ];
 
 /**
@@ -632,3 +711,35 @@ export function applyLightModePreset(cfg) {
   for (const key of LIGHT_MODE_OFF) preset[key] = false;
   return preset;
 }
+
+/**
+ * #249 第二批：注入形态的父／子开关。父 = `autoInject`（既有的挂载总闸，默认
+ * 开）。子项按 #249 §10 的判据分档——看它是否引入**新的注入时机／新的注入
+ * 表面／额外成本**：
+ *
+ * - 只修正既有每轮块内的位（能力说明）→ 随父开关生效，键的默认值给开；
+ * - 需要新时机或新表面（N2 回合结束提醒、N3 压缩边缘）→ 独立开关、默认关，
+ *   实现时挂到这张表下（今天还没有这两个键，故表里只有能力说明一项）。
+ *
+ * 语义：**父关 = 子项一律不生效，但子项的持久值原样保留**（父关是「不生效」，
+ * 不是「重置用户配置」）。用户显式写进 kv 的值也不因父关被改写。
+ *
+ * 闸门放在消费点而不是合并后的 cfg 上：压 cfg 会让 `/features` 的 effective
+ * 失去「子项自己勾着、父关时当前不生效」这个状态，面板就显示不出来。跨文件
+ * 契约见 test/inject-parent-gate.test.js（含面板侧关系的漂移检查）。
+ *
+ * 表里只放**顶层扁平键**：点号键（如 `memoryQualityFilter.enabled`）在合并后的
+ * cfg 里是嵌套对象，`cfg?.["a.b"]` 取不到，挂进来会恒判不生效且不报错。N2/N3
+ * 是扁平键，不受这条限制。
+ */
+export const INJECT_CHILD_FLAGS = Object.freeze({
+  autoInject: Object.freeze(["injectGuidanceEnabled", "continuityRescueEnabled"])
+});
+
+/** 子开关的运行时生效值：父开关显式关（false）时恒不生效。 */
+export function injectChildEnabled(cfg, key) {
+  for (const [parent, children] of Object.entries(INJECT_CHILD_FLAGS)) {
+    if (children.includes(key) && cfg?.[parent] === false) return false;
+  }
+  return cfg?.[key] === true;
+}

package/src/content-hash.js

@@ -0,0 +1,54 @@
+// #254 写入准入的确定性计量锚：内容归一化哈希（exact duplicate 判定）。
+//
+// 为什么用哈希而不是相似度：计量阶段要的是一个零成本、可复算、不留争议的判据。
+// 相似度阈值两边都是误判——同一件事换个说法就掉到线下，不同的事共享话题词又顶到
+// 线上，阈值往哪边挪都只是换一种错法（#254 拍板：计量信号用内容哈希）。哈希只认
+// 「归一化后逐字节相同」，算不出来就只有一种解释。
+//
+// 但它不等于「原文逐字节相同」：归一化会折掉格式，也会折掉标点，于是 `版本 3.5` 与
+// `版本 35`、`a-b` 与 `ab` 落同一个键。折叠范围（大小写 / 空白 / 标点）是口径本身
+// 定的，#254 已拍板——误报面在计量阶段可接受（只标记、不拦截），但「命中即精确重复」
+// 这句话别升级成「命中即内容相同」。要更窄的判据就得改归一化口径，而那要带存量重算。
+//
+// 归一化口径一次定死（NFKC → 小写 → 去标点 → 空白折叠 → trim），动机是让「只差
+// 格式」的两次写入落在同一个键上：全角/半角、大小写、行内换行与缩进、句末标点都
+// 不该让同一件事变成两条。反过来它不折叠同义词、不排序词序——那些只能靠相似度，
+// 而相似度已判定不可用于本信号。
+//
+// 改口径必须带存量重算策略：memories.content_hash 是派生列，口径一变，库里已有的
+// 值全部按旧口径算——补 NULL 修不好，只能整列重算（UPDATE 全表 + 重建索引）。
+// 所以口径只能在这里改，且改要单独成批，不要混进别的改动里。
+//
+// 空内容（标题与正文归一后都为空）返回 null：这类写入没有可比内容，落 NULL 让它们
+// 不互相匹配成「全是重复」。
+//
+// 另有一处形状相近、口径不同的哈希：service.js 里镜像人工编辑的 digest 校验（两处）
+// 用 sha256(title\0content)，那里**不**归一化（要逐字节保真）。两把哈希用途不同，别互换。
+import { createHash } from "node:crypto";
+
+/**
+ * 归一化一段文本用于内容比对（口径见文件头）。
+ * @param {unknown} value
+ * @returns {string}
+ */
+export function normalizeForHash(value) {
+  return String(value ?? "")
+    .normalize("NFKC")
+    .toLowerCase()
+    .replace(/\p{P}/gu, "")
+    .replace(/\s+/g, " ")
+    .trim();
+}
+
+/**
+ * 一行记忆的内容锚：标题与正文分别归一后用 NUL 拼接再取 sha256（十六进制全串）。
+ * NUL 分隔是防拼接歧义——('ab','c') 与 ('a','bc') 不能落到同一个键上。
+ * @param {{title?: string, content?: string}|null|undefined} memory
+ * @returns {string|null} 归一后无内容时返回 null
+ */
+export function contentHashOf(memory) {
+  const title = normalizeForHash(memory?.title);
+  const content = normalizeForHash(memory?.content);
+  if (!title && !content) return null;
+  return createHash("sha256").update(`${title}\u0000${content}`).digest("hex");
+}

package/src/continuity.js

@@ -0,0 +1,220 @@
+import { createUserMessage } from "@deepseek-ai/dsh-llm";
+
+// #249 N3（压缩边缘双落点）：上下文即将大幅精简前，抢救「正在做什么」。
+//
+// 为什么是这个形状（#249 §4.4 / §6.2 / §11；维护者 2026-09-24 拍板「都同意，开工」）：
+//
+// 1. **必须双落点**。宿主的压缩摘要器只看对话里的内容：压缩时宿主按固定字段模板
+//    重建对话，只放系统提示段的东西不进这次重建，等于白写。所以除了落库，还要把同
+//    一条连续性快照追加成靠近序列末尾的消息。DSH 没有 in-memory 消息改写钩子
+//    （§7 已核），因此这是「注入 + 序号引用寻址」，不是改写历史。
+// 2. **落库落成提案，不落成记忆行**。边缘产出直接进 memories，长会话会攒出第 N 条
+//    同主题条目（#275 记的失败形态）；转正通道与 #254 的二次确认共用一套、阶段二才
+//    打开，本批只写 pending 行。
+// 3. **全程不调模型**。三个字段是确定性抽取 + 截断（口径见 deriveContinuity），判定
+//    也只用本地字符串比较；门控成本为零。
+// 4. **触发器就是宿主真的压缩**，不自定一套阈值。宿主在 `agent/pre-step`（压力）与
+//    `agent/request-error`（溢出）两处触发压缩，我们只订阅压缩事件
+//    （`compaction/start|summary|end`，都在 @deepseek-ai/dsh-session 的事件白名单里
+//     `lib/types/known-event-types.js:31-34`）。自定阈值会与宿主口径漂移，还多一份没
+//    人校准的参数；「压缩边缘」本来就有宿主自己下的定义。
+//
+// 落点顺序（为什么 pre-step 里挂得住）：宿主的压缩插件在它自己的 pre-step 监听器里先
+// `await compactIfNeeded(...)` 再 `return next()`，所以我们的监听器拿到 `next()` 结果
+// 时压缩事件已经落库；而我们返回的 `decision.messages` 由宿主在本步末尾以
+// `surfaceOp: "append"` 追加（`@deepseek-ai/dsh-agent-loop/lib/index.js:1046`），晚于
+// 压缩的 `surfaceOp: "replace"`（`dsh-compaction-basic/lib/index.js:649`）——落点天然
+// 在压缩之后、靠近序列末尾。两条注册顺序都成立（谁先谁后，我们的 `await next()` 都在
+// 压缩工作之后返回）。
+
+/** 提案的 kind（唯一键的一半）：一次会话里"压缩边缘"这一类只留一条。 */
+export const CONTINUITY_KIND = "compaction-edge";
+/** 注入消息的统一前缀：机械校验与「不变不重复」判重都靠它（#249 §6.3）。 */
+export const CONTINUITY_NOTICE_PREFIX = "[dsh-mneme continuity]";
+/** 单字段字符上限：抽取是截断，不是摘要（改口径不需要动调用方）。 */
+export const CONTINUITY_FIELD_MAX = 200;
+/** 整条注入消息的字符上限。比 §6.3 的 160B 单行提醒宽：它是结构化快照，不是一句话提醒。 */
+export const CONTINUITY_NOTICE_MAX = 900;
+/** 边缘表的兜底上限：只留序号、且有界——压缩完就没有下一次 pre-step 的会话不走消费路径。 */
+const MAX_TRACKED_EDGES = 50;
+
+const EDGE_EVENT_TYPES = new Set(["compaction/start", "compaction/summary", "compaction/end"]);
+
+// 与 summarize.js 的 collectMessages 同一个口径：只取公开文本块，reasoning 私有推理
+// 不进快照（快照可能被宿主重建进摘要）。刻意副本而不是导出——那边是会话蒸馏的内部
+// 细节，两边取文本的理由不同。
+function textOf(content) {
+  if (typeof content === "string") return content;
+  if (!Array.isArray(content)) return "";
+  return content
+    .map((block) => (typeof block === "string" ? block : (block?.type === "text" && typeof block.text === "string" ? block.text : "")))
+    .filter((s) => s)
+    .join("\n");
+}
+
+// DSH 0.1.2-rc.1 起 Session 用 snapshotEvents()，兼容旧版 .events。这是**全量日志**
+// （append-only，含已被 surfaceOp:"replace" 折叠出表面的旧事件）——抽取要的正是全量：
+// 被压缩折叠掉的最后一条真实用户消息，也曾是"正在做什么"。
+function sessionEvents(session) {
+  let events = typeof session?.snapshotEvents === "function" ? session.snapshotEvents() : session?.events;
+  // 与 summarize.js 的同名兼容层同形：snapshotEvents 不可用或返回非数组时退回 .events。
+  if (!Array.isArray(events)) events = session?.events;
+  return Array.isArray(events) ? events : [];
+}
+
+// 「当前表面」= `session.surface.nodes`（只存活节点的 seq，事件体在上面那份日志里）。
+// 判重必须按表面而不是全量日志：旧注入还在日志里、但已被折叠出表面，照日志判重会让
+// 这一次压缩后该补的注入被静默跳过——双落点的 ② 就空了一次，而日志里看不出发生过。
+// 宿主没有表面投影（旧版）时退回全量：宁可少追加一次，也不在表面里重复追加同一份文本。
+function surfaceEvents(session) {
+  const events = sessionEvents(session);
+  let nodes;
+  // 宿主的 `surface.nodes` 是会抛的 getter（它自己用过、之后又被移除或替换的 message
+  // projection 会让宿主内部的 `_assertProjections` 抛）。判重是锦上添花的一步：读不到就
+  // 退回全量，别让一个可选的抢救功能因为读宿主状态失败而把 agent 的这一步变失败。
+  try {
+    nodes = session?.surface?.nodes;
+  } catch {
+    return events;
+  }
+  if (!Array.isArray(nodes)) return events;
+  const inSurface = new Set(nodes);
+  return events.filter((event) => inSurface.has(event?.seq));
+}
+
+/**
+ * 抽取连续性三字段（纯函数、无 LLM、无副作用，供测试直接钉住口径）：
+ * - `currentWork`：最近一条**真实** user/message（插件注入与子代理上报不算用户指令），
+ *   取头部 CONTINUITY_FIELD_MAX 字符——"正在做什么"就是最后那条指令。
+ * - `nextStep`：最近一条 assistant/message 的**尾部**同长度——"下一步"活在末尾那
+ *   一段/最后一句里，取头会把开场白带进来。
+ * - `openQuestions`：恒 null。确定性抽取判不出「哪些问题还没解决」，硬用反引号/问号
+ *   猜会给出似是而非的字段；这个字段留给转正通道与人工补（不是所有字段都必须自动
+ *   填满——宁可空着，也不编造）。空字段在注入文本里如实标 (none)。
+ */
+export function deriveContinuity(session, fieldMax = CONTINUITY_FIELD_MAX) {
+  let currentWork = null;
+  let nextStep = null;
+  for (const event of sessionEvents(session)) {
+    const data = event?.data ?? {};
+    if (event?.type === "user/message") {
+      // 只认用户自己写的：source.kind 缺省（旧事件）或 "user"。插件消息（我们自己的
+      // 注入、其它插件）与子代理上报都不是"当前指令"。
+      const kind = data?.source?.kind;
+      if (kind !== undefined && kind !== "user") continue;
+      const text = textOf(data.content).trim();
+      if (text) currentWork = text.slice(0, fieldMax);
+    } else if (event?.type === "assistant/message") {
+      const text = textOf(data?.message?.content).trim();
+      if (text) nextStep = text.slice(-fieldMax);
+    }
+  }
+  return { currentWork, nextStep, openQuestions: null };
+}
+
+/** 单行化：字段里的换行会把「靠近末尾的一条消息」摊成多行，也破坏 §6.3 的单行约定。 */
+function oneLine(text) {
+  return typeof text === "string" ? text.replace(/\s*\n\s*/g, " ").trim() : "";
+}
+
+/** 渲染注入文本（纯函数）：统一前缀 + 三个固定字段（#249 §6.2）。 */
+export function renderContinuityNotice(fields, noticeMax = CONTINUITY_NOTICE_MAX) {
+  const body = [
+    `${CONTINUITY_NOTICE_PREFIX} Context compaction happened in this session; here is the continuity snapshot ` +
+      "recorded so it survives outside the transcript (a proposal — not yet in the memory store):",
+    `current_work: ${oneLine(fields?.currentWork) || "(none)"}`,
+    `next_step: ${oneLine(fields?.nextStep) || "(none)"}`,
+    `open_questions: ${oneLine(fields?.openQuestions) || "(none)"}`
+  ].join("\n");
+  return body.length > noticeMax ? body.slice(0, noticeMax) : body;
+}
+
+/** 表面上是否已经有同一条注入（「不变不重复」，#249 §6.5）：按前缀 + 全文比较，
+ *  不做语义判定——没有改写钩子，能做的只有"同一份文本不追加第二次"。 */
+function noticeAlreadyInSurface(session, text) {
+  return surfaceEvents(session).some((event) => {
+    if (event?.type !== "user/message") return false;
+    if (event?.data?.source?.plugin !== "dsh-mneme") return false;
+    const content = textOf(event?.data?.content);
+    return content === text;
+  });
+}
+
+/**
+ * 挂两条监听（#249 §7 的 `agent/pre-step` 触发位 + 压缩事件面），返回 { dispose }。
+ *
+ * `store` 直接注入：本模块只写提案表、不碰检索/嵌入，没有用到 service 的任何能力。
+ * 调用方负责父／子闸门（`autoInject` + `continuityRescueEnabled`）；本函数不做开关判定，
+ * 保持"挂上就是开"的单一口径。
+ */
+export function createContinuityRescue(ctx, store) {
+  // 待处理的边缘：sessionId → 压缩事件序号。压缩事件到达时置位，下一次 pre-step 消费后
+  // 删除（同一个边缘绝不注入第二次）。只留序号、不留 Session：插件在宿主进程里只 apply
+  // 一次、服务所有会话，握着 Session 就是握着它的全量日志不放——压缩完就收工、不再有
+  // pre-step 是常见路径，这些条目永远走不到消费路径上。
+  const edge = new Map();
+
+  const unsubscribe = ctx.on("session/event", (session, event) => {
+    if (!EDGE_EVENT_TYPES.has(event?.type)) return;
+    if (!session?.id) return;
+    if (!edge.has(session.id) && edge.size >= MAX_TRACKED_EDGES) {
+      // 兜底淘汰最旧的（Map 是插入序）：这里漏掉最坏也只少一次注入，不会无界增长。
+      edge.delete(edge.keys().next().value);
+    }
+    // 同一轮压缩会依次落 start/summary/end，后到的覆盖前一个：留着最后一个（更有
+    // 信息——summary 带摘要事件 seq），序号即触发证据。
+    edge.set(session.id, typeof event.seq === "number" ? event.seq : null);
+  });
+
+  const offStep = ctx.on("agent/pre-step", async (payload, next) => {
+    const decision = await next();
+    // reject 是"这一步不该发生"，往里面塞消息没有意义；未知形状原样放行。
+    if (decision?.kind !== "enter") return decision;
+    const session = payload?.agent?.session;
+    const sessionId = session?.id;
+    if (!sessionId) return decision;
+    if (!edge.has(sessionId)) return decision;
+    const edgeSeq = edge.get(sessionId);
+    edge.delete(sessionId);
+
+    // 抽取就地用 payload 上的这个 session（与置位时同一个 id），不从边缘表里握对象引用。
+    const fields = deriveContinuity(session);
+    // 落库先于注入：提案是"脱离对话独立存活"的那一半。写不进去不算宿主这一步的失败——
+    // 可选插件的可选能力把 agent 的一步带崩，比丢一次抢救严重得多（本函数的不变量）。
+    try {
+      const saved = store.saveContinuityProposal({
+        sessionId,
+        kind: CONTINUITY_KIND,
+        currentWork: fields.currentWork,
+        nextStep: fields.nextStep,
+        openQuestions: fields.openQuestions,
+        edgeSeq
+      });
+      // 弃新是"静默失效"的那一类：不报出来，运维与 §8 的触发率口径都会把它当成没触发。
+      if (saved?.dropped) {
+        ctx.logger?.warn?.(`[dsh-mneme] continuity: pending queue full, dropped the edge for session ${sessionId}`);
+      }
+    } catch (error) {
+      ctx.logger?.warn?.(`[dsh-mneme] continuity proposal not recorded: ${String(error)}`);
+    }
+
+    const text = renderContinuityNotice(fields);
+    if (noticeAlreadyInSurface(session, text)) return decision;
+    const messages = Array.isArray(decision.messages) ? decision.messages : [];
+    return {
+      ...decision,
+      messages: [
+        ...messages,
+        createUserMessage({ content: [{ type: "text", text }], source: { kind: "plugin", plugin: "dsh-mneme" } })
+      ]
+    };
+  });
+
+  return {
+    dispose() {
+      unsubscribe?.();
+      offStep?.();
+      edge.clear();
+    }
+  };
+}