@modusensus/dsh-mneme 0.4.4-beta.1 → 0.4.4

package/README.md

@@ -162,6 +162,7 @@ v0.3.0 起新增**记忆基因**层：从记忆里抽取**命名实体**、**带
 | **v0.4.0** | ✅ 完成 | 系统级睡眠 Sleep Mode | 空闲触发的四阶段深度维护（冲突消解 / 归档降级 / 模式发现 / 关系补全）、分层压缩、可中断串行 fail-safe；471 测试全绿 |
 | **v0.4.2** | ✅ 完成 | autoSummarize 自定义模型 | `summarizeProvider`/`summarizeModel` 配置项支持，可独立指定轻量模型（如 qwen3.6-plus）用于会话摘要，节省主模型 token；473 测试全绿 |
 | **v0.4.3** | ✅ 完成 | autoDream 大记忆量修复 | issue#9 B+A：`dreamMaxTokens` 上限 32768→131072 + `dreamReasoningEffort`/`sleepReasoningEffort` 思考开关（none 默认，主对话不受影响）；478 测试全绿 |
+| **v0.4.4** | ✅ 完成 | autoDream 决策覆盖修复 | issue#9 方案C：滑动窗口 `dreamMaxSnapshotSize`(默认200，updated_at 倒序截断) + 隐式 keep `dreamImplicitKeep`(默认true) + 覆盖率下限 `dreamMinExplicitCoverage`(默认50%) + 固定决策 schema；487 测试全绿 |
 | **v0.5.0+** | 🚀 远期 | 自进化记忆 | 兴趣漂移跟踪 + 跨 workspace 记忆共享（等 DSH 支持） |
 
 > 新能力一律做成**可开关的功能**（配置启用/关闭），默认保守开启、不破坏现有行为。`failure_memories` 表与 autoDream 决策引擎已为后续反思性成长铺好路。

package/lib/dream.js

@@ -6,11 +6,31 @@ export { validateDecisions, applyDecisions };
 const SUMMARY_PROMPT = `你是记忆库摘要助手。根据整理后的记忆，生成一段 150-200 字的记忆库总览，覆盖：用户偏好、活跃项目、关键决策。之后作为会话上下文注入。只输出摘要文本，不要其他内容。`;
 
 const CONSOLIDATION_PROMPT = `你是记忆库整理助手。下面是全部记忆条目（id、类型、标题、内容、重要性、更新时间）。
-请执行记忆巩固（consolidation）：
-1. 识别主题相近的条目 → 输出 merge（合并为更精炼的摘要，保留信息最完整的 id 作为 keepSource）
-2. 识别重复/过时信息 → 输出 archive
-3. 识别内容矛盾的条目 → 输出 conflict（根据时间新旧、来源完整性、信息具体程度判断 winner/loser）
-4. 发现单条记忆中的信息已过时、错误或遗漏 → 输出 update（直接修正内容）
+请执行记忆巩固（consolidation），输出一个决策 JSON 数组。
+
+【决策格式（必须严格遵守）】
+每个决策必须是对象，字段固定：
+- "action"：必填。取值只能是 "keep" / "merge" / "archive" / "update" / "conflict" 之一（字段名必须是 action，严禁写成 type）
+- "ids"：必填，数组，本决策涉及的记忆 id 列表
+- "reason"：可选，字符串，决策理由
+- "importance"：可选，整数 1-5
+- merge 额外字段："keepSource"（单个 id 字符串，必须是 ids 之一）+ 合并后的 "title"、"content"
+- conflict 额外字段："winner" 与 "loser"，都是【单个 id 字符串，不是数组】
+- update 额外字段：修正后的 "title" 和/或 "content"；"ids" 只能包含一个 id
+
+【决策 JSON 示例】
+[
+  { "action": "merge", "ids": ["m1", "m2"], "keepSource": "m1", "title": "合并标题", "content": "合并后的摘要内容", "importance": 4, "reason": "主题相近" },
+  { "action": "conflict", "winner": "m3", "loser": "m4", "reason": "内容矛盾，保留更新的信息" },
+  { "action": "update", "ids": ["m5"], "content": "修正后的内容", "reason": "信息过时" },
+  { "action": "archive", "ids": ["m6"], "reason": "重复或过时" }
+]
+
+【任务】
+1. 识别主题相近的条目 → merge（合并为更精炼的摘要，保留信息最完整的 id 作为 keepSource）
+2. 识别重复/过时信息 → archive
+3. 识别内容矛盾的条目 → conflict（按时间新旧、来源完整性、信息具体程度判断 winner/loser）
+4. 发现单条记忆中的信息过时、错误或遗漏 → update（直接修正内容）
    - update 的 ids 只能包含一个 id
    - 必须提供修正后的 title 和/或 content
    - 仅当内容确实需要修正时才使用，不要滥用
@@ -18,13 +38,15 @@ const CONSOLIDATION_PROMPT = `你是记忆库整理助手。下面是全部记
    - 24 小时内新建的记忆不可 update
 5. 无问题的条目无需输出（未提及的条目将自动保留 keep）
 
-规则：
+【硬性规则】
+- 字段名必须精确为 "action"，严禁写成 "type"；字段名统一用双引号
+- conflict 的 winner/loser、merge 的 keepSource 都是【单个 id 字符串，绝不是数组】
+- 每条记忆最多被 claim 一次：同一个 id 不能出现在多个决策中（同一 id 不能被 merge 和 conflict/archive 等重复占用）
 - 未在决策中提及的记忆将自动保留（keep），无需为每条记忆输出 keep
 - merge 的 keepSource 必须是 ids 之一
 - 仅合并同类型条目（type 相同）
 - 不要编造 ids；只使用提供的 id
 - 重要性 1-5，合并后取最高
-- update 只能改一条，且要有实际变化
 - 只输出 JSON 数组，不要其他文字`;
 
 function totalChars(memories) {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@modusensus/dsh-mneme",
   "description": "Cross-session memory plugin for DeepSeek Harness with autoDream consolidation: SQLite store, Markdown mirrors, 7 model tools, automatic injection, session summarization, user profile/rules, custom slash commands, vector (semantic) search, and a Web GUI panel",
-  "version": "0.4.4-beta.1",
+  "version": "0.4.4",
   "license": "MIT",
   "type": "module",
   "main": "lib/index.js",

package/src/dream.js

@@ -6,11 +6,31 @@ export { validateDecisions, applyDecisions };
 const SUMMARY_PROMPT = `你是记忆库摘要助手。根据整理后的记忆，生成一段 150-200 字的记忆库总览，覆盖：用户偏好、活跃项目、关键决策。之后作为会话上下文注入。只输出摘要文本，不要其他内容。`;
 
 const CONSOLIDATION_PROMPT = `你是记忆库整理助手。下面是全部记忆条目（id、类型、标题、内容、重要性、更新时间）。
-请执行记忆巩固（consolidation）：
-1. 识别主题相近的条目 → 输出 merge（合并为更精炼的摘要，保留信息最完整的 id 作为 keepSource）
-2. 识别重复/过时信息 → 输出 archive
-3. 识别内容矛盾的条目 → 输出 conflict（根据时间新旧、来源完整性、信息具体程度判断 winner/loser）
-4. 发现单条记忆中的信息已过时、错误或遗漏 → 输出 update（直接修正内容）
+请执行记忆巩固（consolidation），输出一个决策 JSON 数组。
+
+【决策格式（必须严格遵守）】
+每个决策必须是对象，字段固定：
+- "action"：必填。取值只能是 "keep" / "merge" / "archive" / "update" / "conflict" 之一（字段名必须是 action，严禁写成 type）
+- "ids"：必填，数组，本决策涉及的记忆 id 列表
+- "reason"：可选，字符串，决策理由
+- "importance"：可选，整数 1-5
+- merge 额外字段："keepSource"（单个 id 字符串，必须是 ids 之一）+ 合并后的 "title"、"content"
+- conflict 额外字段："winner" 与 "loser"，都是【单个 id 字符串，不是数组】
+- update 额外字段：修正后的 "title" 和/或 "content"；"ids" 只能包含一个 id
+
+【决策 JSON 示例】
+[
+  { "action": "merge", "ids": ["m1", "m2"], "keepSource": "m1", "title": "合并标题", "content": "合并后的摘要内容", "importance": 4, "reason": "主题相近" },
+  { "action": "conflict", "winner": "m3", "loser": "m4", "reason": "内容矛盾，保留更新的信息" },
+  { "action": "update", "ids": ["m5"], "content": "修正后的内容", "reason": "信息过时" },
+  { "action": "archive", "ids": ["m6"], "reason": "重复或过时" }
+]
+
+【任务】
+1. 识别主题相近的条目 → merge（合并为更精炼的摘要，保留信息最完整的 id 作为 keepSource）
+2. 识别重复/过时信息 → archive
+3. 识别内容矛盾的条目 → conflict（按时间新旧、来源完整性、信息具体程度判断 winner/loser）
+4. 发现单条记忆中的信息过时、错误或遗漏 → update（直接修正内容）
    - update 的 ids 只能包含一个 id
    - 必须提供修正后的 title 和/或 content
    - 仅当内容确实需要修正时才使用，不要滥用
@@ -18,13 +38,15 @@ const CONSOLIDATION_PROMPT = `你是记忆库整理助手。下面是全部记
    - 24 小时内新建的记忆不可 update
 5. 无问题的条目无需输出（未提及的条目将自动保留 keep）
 
-规则：
+【硬性规则】
+- 字段名必须精确为 "action"，严禁写成 "type"；字段名统一用双引号
+- conflict 的 winner/loser、merge 的 keepSource 都是【单个 id 字符串，绝不是数组】
+- 每条记忆最多被 claim 一次：同一个 id 不能出现在多个决策中（同一 id 不能被 merge 和 conflict/archive 等重复占用）
 - 未在决策中提及的记忆将自动保留（keep），无需为每条记忆输出 keep
 - merge 的 keepSource 必须是 ids 之一
 - 仅合并同类型条目（type 相同）
 - 不要编造 ids；只使用提供的 id
 - 重要性 1-5，合并后取最高
-- update 只能改一条，且要有实际变化
 - 只输出 JSON 数组，不要其他文字`;
 
 function totalChars(memories) {

package/test/dream.test.js

@@ -814,3 +814,36 @@ test("runDream sliding window keeps the newest N memories and excludes the oldes
   assert.equal(result.decisions.length, 3, "decisions cover exactly the window");
   store.close();
 });
+
+// --- v0.4.4 fix: 决策 JSON schema 固化（kimi 等模型输出合规） -----------------
+
+test("consolidation prompt pins the decision schema (action field, single-string winner/loser, single claim per id)", async () => {
+  const { store, service } = dreamSetup();
+  service.saveWithDedupe({ type: "project", title: "a", content: "x" });
+  let systemText = "";
+  const ctx = {
+    logger: { warn: () => {} },
+    llm: {
+      async *stream(options) {
+        systemText = options.messages.find((m) => m.role === "system")?.content?.[0]?.text ?? "";
+        yield { type: "text-delta", text: "[]" };
+        yield { type: "finish", reason: { kind: "ok" } };
+      }
+    }
+  };
+  const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
+  await dream.runDream(ctx, service, { dreamProvider: "deepseek", dreamModel: "deepseek-chat" });
+  // 字段名必须写死为 action（kimi 曾输出 "type" 导致整单拒绝）
+  assert.match(systemText, /"action"/, "prompt names the action field");
+  assert.match(systemText, /严禁写成\s*type/, "prompt forbids the type field name");
+  // conflict winner/loser 是单个 id 字符串而非数组
+  assert.match(systemText, /"winner"/, "prompt names the winner field");
+  assert.match(systemText, /"loser"/, "prompt names the loser field");
+  assert.match(systemText, /单个 id 字符串/, "winner/loser must be a single id string");
+  assert.match(systemText, /不是数组|绝不是数组/, "winner/loser must not be an array");
+  // 同一 id 不可被多个决策重复 claim
+  assert.match(systemText, /最多被 claim 一次/, "each memory claimed at most once");
+  // 决策 JSON 示例块
+  assert.match(systemText, /决策 JSON 示例/, "prompt includes a canonical example block");
+  store.close();
+});