@modusensus/dsh-mneme 0.8.3 → 0.8.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (193) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +718 -636
  3. package/bin/cli.mjs +0 -0
  4. package/bin/dsh-mneme-mcp.mjs +502 -0
  5. package/cordis.patch.yml +21 -21
  6. package/lib/api-standalone.js +495 -316
  7. package/lib/api.js +1382 -1316
  8. package/lib/bootstrap.js +211 -0
  9. package/lib/client.js +4475 -4366
  10. package/lib/commands.js +95 -95
  11. package/lib/config.js +533 -510
  12. package/lib/dream/clustering.js +118 -118
  13. package/lib/dream/decisions.js +658 -658
  14. package/lib/dream/narratives.js +44 -0
  15. package/lib/dream/sleep.js +700 -700
  16. package/lib/dream.js +1319 -1216
  17. package/lib/embedding.js +177 -177
  18. package/lib/entities/extractor.js +249 -249
  19. package/lib/heat.js +142 -136
  20. package/lib/hot-memory.js +46 -46
  21. package/lib/index.js +515 -515
  22. package/lib/inject.js +299 -295
  23. package/lib/lang.js +202 -179
  24. package/lib/local-embedder.js +320 -320
  25. package/lib/mirror.js +198 -198
  26. package/lib/quality-filter.js +126 -126
  27. package/lib/recall-stats.js +103 -0
  28. package/lib/reranker.js +269 -269
  29. package/lib/runtime/adopt.js +176 -176
  30. package/lib/runtime/closure.js +172 -172
  31. package/lib/runtime/download.js +247 -247
  32. package/lib/runtime/layout.js +235 -235
  33. package/lib/runtime/loader.js +249 -249
  34. package/lib/runtime/model-fetch.js +361 -361
  35. package/lib/runtime/provision.js +237 -237
  36. package/lib/runtime/tarball.js +130 -130
  37. package/lib/runtime/verify.js +191 -191
  38. package/lib/scope.js +118 -118
  39. package/lib/search/adaptive.js +22 -22
  40. package/lib/search/bm25.js +96 -96
  41. package/lib/service.js +2171 -2087
  42. package/lib/settings.js +430 -420
  43. package/lib/store.js +2448 -2367
  44. package/lib/summarize.js +575 -449
  45. package/lib/tools.js +574 -574
  46. package/lib/vector-index.js +110 -110
  47. package/lib/version-check.js +122 -122
  48. package/package.json +109 -108
  49. package/runtime-manifest.json +596 -596
  50. package/scripts/benchmark-embed.js +201 -201
  51. package/scripts/benchmark-recall.js +199 -199
  52. package/scripts/benchmark-rerank.js +166 -166
  53. package/scripts/build-runtime-manifest.mjs +217 -217
  54. package/scripts/check-sync.js +42 -42
  55. package/scripts/e2e-dsh.js +220 -220
  56. package/scripts/mneme-runtime.mjs +277 -277
  57. package/scripts/stress-dsh.js +255 -255
  58. package/scripts/sync-lib.js +47 -47
  59. package/scripts/sync-test-badge.mjs +61 -61
  60. package/src/api-standalone.js +495 -316
  61. package/src/api.js +1382 -1316
  62. package/src/bootstrap.js +211 -0
  63. package/src/commands.js +95 -95
  64. package/src/config.js +533 -510
  65. package/src/dream/clustering.js +118 -118
  66. package/src/dream/decisions.js +658 -658
  67. package/src/dream/narratives.js +44 -0
  68. package/src/dream/sleep.js +700 -700
  69. package/src/dream.js +1319 -1216
  70. package/src/embedding.js +177 -177
  71. package/src/entities/extractor.js +249 -249
  72. package/src/heat.js +142 -136
  73. package/src/hot-memory.js +46 -46
  74. package/src/index.js +515 -515
  75. package/src/inject.js +299 -295
  76. package/src/lang.js +202 -179
  77. package/src/local-embedder.js +320 -320
  78. package/src/mirror.js +198 -198
  79. package/src/quality-filter.js +126 -126
  80. package/src/recall-stats.js +103 -0
  81. package/src/reranker.js +269 -269
  82. package/src/runtime/adopt.js +176 -176
  83. package/src/runtime/closure.js +172 -172
  84. package/src/runtime/download.js +247 -247
  85. package/src/runtime/layout.js +235 -235
  86. package/src/runtime/loader.js +249 -249
  87. package/src/runtime/model-fetch.js +361 -361
  88. package/src/runtime/provision.js +237 -237
  89. package/src/runtime/tarball.js +130 -130
  90. package/src/runtime/verify.js +191 -191
  91. package/src/scope.js +118 -118
  92. package/src/search/adaptive.js +22 -22
  93. package/src/search/bm25.js +96 -96
  94. package/src/service.js +2171 -2087
  95. package/src/settings.js +430 -420
  96. package/src/store.js +2448 -2367
  97. package/src/summarize.js +575 -449
  98. package/src/tools.js +574 -574
  99. package/src/vector-index.js +110 -110
  100. package/src/version-check.js +122 -122
  101. package/test/api-routes-gaps.test.js +218 -218
  102. package/test/api.test.js +1578 -1482
  103. package/test/audit.test.js +448 -448
  104. package/test/benchmark.test.js +94 -94
  105. package/test/bootstrap.test.js +220 -0
  106. package/test/client.test.js +799 -736
  107. package/test/clustering.test.js +100 -100
  108. package/test/commands.test.js +106 -106
  109. package/test/config.test.js +66 -66
  110. package/test/conflict-freeze.test.js +300 -300
  111. package/test/dream-archive-guardrail.test.js +116 -116
  112. package/test/dream-candidate-hybrid.test.js +281 -281
  113. package/test/dream-coverage-degrade.test.js +86 -86
  114. package/test/dream.test.js +1257 -1254
  115. package/test/embedding-ready.test.js +196 -196
  116. package/test/entities.test.js +547 -547
  117. package/test/entity-recall.test.js +179 -0
  118. package/test/epistemic.test.js +298 -298
  119. package/test/fnew-0112.test.js +311 -311
  120. package/test/fnew-03.test.js +422 -422
  121. package/test/graph-api.test.js +175 -175
  122. package/test/heat.test.js +175 -148
  123. package/test/helpers/dream-mock.js +82 -82
  124. package/test/helpers/peer-worker.mjs +25 -25
  125. package/test/helpers/runtime-source.js +60 -60
  126. package/test/helpers/tar-builder.js +80 -80
  127. package/test/hot-memory.test.js +145 -145
  128. package/test/inject-content-cap.test.js +89 -0
  129. package/test/inject-first-round-bm25.test.js +89 -89
  130. package/test/inject-heat.test.js +61 -0
  131. package/test/inject-rotation.test.js +161 -161
  132. package/test/inject.test.js +249 -249
  133. package/test/lang.test.js +87 -87
  134. package/test/lib-smoke.test.js +96 -96
  135. package/test/llm-audit.test.js +309 -309
  136. package/test/llm-message-source.test.js +177 -177
  137. package/test/local-embedder.test.js +249 -249
  138. package/test/mcp-stdio.test.js +385 -0
  139. package/test/mirror-dirty.test.js +424 -424
  140. package/test/mirror-edit-digest.test.js +187 -187
  141. package/test/mirror-generation.test.js +499 -499
  142. package/test/mirror.test.js +249 -249
  143. package/test/narrative-bars.test.js +162 -0
  144. package/test/peer-blockers.test.js +193 -193
  145. package/test/policy-epoch.test.js +259 -259
  146. package/test/quality-filter.test.js +186 -186
  147. package/test/reasoning-effort.test.js +746 -746
  148. package/test/recall-evals.test.js +235 -235
  149. package/test/recall-layer.test.js +326 -326
  150. package/test/recall-stats.test.js +117 -0
  151. package/test/receipt-chain.test.js +451 -451
  152. package/test/reflection.test.js +226 -226
  153. package/test/reindex-backfill.test.js +62 -62
  154. package/test/reranker-single-logit.test.js +73 -73
  155. package/test/reranker.test.js +197 -197
  156. package/test/resident-status.test.js +83 -0
  157. package/test/runtime-adopt.test.js +206 -206
  158. package/test/runtime-cli.test.js +89 -89
  159. package/test/runtime-closure.test.js +193 -193
  160. package/test/runtime-download.test.js +302 -302
  161. package/test/runtime-layout.test.js +163 -163
  162. package/test/runtime-loader.test.js +237 -237
  163. package/test/runtime-manifest.test.js +158 -158
  164. package/test/runtime-model-fetch.test.js +348 -348
  165. package/test/runtime-provision.test.js +101 -101
  166. package/test/runtime-tarball.test.js +81 -81
  167. package/test/runtime-verify.test.js +214 -214
  168. package/test/scope-candidates.test.js +239 -239
  169. package/test/scope-explicit.test.js +452 -452
  170. package/test/scope-retrieval.test.js +197 -197
  171. package/test/scope-storage.test.js +255 -255
  172. package/test/scope-strict.test.js +231 -231
  173. package/test/search-fusion.test.js +90 -90
  174. package/test/semantic.test.js +124 -124
  175. package/test/service-search.test.js +174 -174
  176. package/test/service.test.js +405 -405
  177. package/test/settings.test.js +261 -261
  178. package/test/skip-invalid-restore.test.js +262 -262
  179. package/test/sleep-action-set.test.js +422 -422
  180. package/test/sleep-heat.test.js +126 -125
  181. package/test/sleep-scheduler-rearm.test.js +89 -89
  182. package/test/sleep.test.js +373 -373
  183. package/test/standalone-api.test.js +544 -359
  184. package/test/store-vector-cache.test.js +98 -98
  185. package/test/store.test.js +383 -383
  186. package/test/stress.test.js +209 -209
  187. package/test/summarize.test.js +884 -575
  188. package/test/tools-memory-get-schema.test.js +65 -65
  189. package/test/tools.test.js +341 -341
  190. package/test/updated-at-semantics.test.js +113 -113
  191. package/test/vector-index.test.js +221 -221
  192. package/test/version-check.test.js +152 -152
  193. package/test/webServer-optional.test.js +82 -82
@@ -1,239 +1,239 @@
1
- import test from "node:test";
2
- import assert from "node:assert/strict";
3
- import { runSleep } from "../src/dream/sleep.js";
4
- import { createDreamScheduler } from "../src/dream.js";
5
- import { createStore } from "../src/store.js";
6
- import { createService } from "../src/service.js";
7
- import { createVectorIndex } from "../src/vector-index.js";
8
-
9
- // v0.8.1(issue #170 第 2 步):sleep 冲突阶段的跨 scope 分流。
10
- // 同一内容落在两个归属下(任一维标注键不等,含「一侧未标注=全局」)时,
11
- // 不允许自动裁决(freeze 或 LLM)——归档败者可能销毁某归属下的唯一副本,
12
- // 归属裁决是用户的决定。跨 scope 对一律停车到 conflict_pending(专属 reason),
13
- // 同 scope 对维持既有路径。夹具为中性主题(构建笔记/编辑器主题)。
14
-
15
- const embedder = {
16
- embedSingle: async () => [1, 0, 0],
17
- // 契约形状:按输入条数返回等长向量数组。update 会失效缓存并调度重嵌入,
18
- // sleep 的回填走 embed()——返回单向量会让回填静默失败(no usable vectors)。
19
- embed: async (texts) => (Array.isArray(texts) ? texts : [texts]).map(() => [1, 0, 0]),
20
- schedule: () => {},
21
- modelHash: "mock#1",
22
- dimension: 3
23
- };
24
-
25
- function setup() {
26
- const store = createStore(":memory:");
27
- const service = createService({ store, mirror: null, config: {} });
28
- const vectorIndex = createVectorIndex({ store });
29
- service.setEmbedder(embedder);
30
- service.setVectorIndex(vectorIndex);
31
- return { store, service, vectorIndex };
32
- }
33
-
34
- function baseConfig(overrides = {}) {
35
- return {
36
- sleepModeEnabled: true,
37
- sleepIdleMinutes: 5,
38
- sleepMinIntervalHours: 8,
39
- sleepConflictStrictness: "normal",
40
- sleepArchiveDays: 30,
41
- sleepCompressDays: 90,
42
- sleepPatternMinMemories: 10,
43
- sleepMaxPatternPerRun: 3,
44
- ...overrides
45
- };
46
- }
47
-
48
- function llmCtx(captured = [], selection = { provider: "mock", model: "sleep-model" }) {
49
- return {
50
- logger: { warn: () => {}, info: () => {} },
51
- agentDefaultModel: { currentSelection: () => selection },
52
- llm: {
53
- async *stream(options) {
54
- captured.push(options);
55
- const userText = options.messages.find((m) => m.role === "user")?.content?.[0]?.text ?? "";
56
- yield { type: "text-delta", index: 0, text: userText.startsWith("候选冲突") || userText.startsWith("Candidate conflicts") ? "[]" : "[]" };
57
- yield { type: "finish", reason: { kind: "stop" } };
58
- }
59
- }
60
- };
61
- }
62
-
63
- function noRouteCtx() {
64
- return { logger: { warn: () => {}, info: () => {} } };
65
- }
66
-
67
- /** 保存一对高相似记忆并预填向量。返回 [新, 旧](updated_at DESC 序)。 */
68
- function savePair(service, vectorIndex, titleA, titleB, scopeA, scopeB) {
69
- const a = service.saveWithDedupe({
70
- type: "project", title: titleA, content: `${titleA} 的正文`,
71
- ...(scopeA?.agent ? { agent_scope: scopeA.agent } : {}),
72
- ...(scopeA?.workspace ? { workspace_scope: scopeA.workspace } : {})
73
- }).memory;
74
- const b = service.saveWithDedupe({
75
- type: "project", title: titleB, content: `${titleB} 的正文`,
76
- ...(scopeB?.agent ? { agent_scope: scopeB.agent } : {}),
77
- ...(scopeB?.workspace ? { workspace_scope: scopeB.workspace } : {})
78
- }).memory;
79
- vectorIndex.saveEmbedding(a.id, [1, 0, 0]);
80
- vectorIndex.saveEmbedding(b.id, [1, 0, 0]);
81
- return [a, b];
82
- }
83
-
84
- test("freeze mode: cross-scope pair parks with the scope-candidate reason; same-scope pair keeps the plain reason", async () => {
85
- const { store, service, vectorIndex } = setup();
86
- // updated_at DESC 序决定贪心配对:后保存的对先配。x 对=跨 scope,y 对=同 scope。
87
- const [yNew, yOld] = savePair(service, vectorIndex, "构建笔记A", "构建笔记B", { agent: "coder" }, { agent: "coder" });
88
- const [xNew, xOld] = savePair(service, vectorIndex, "编辑器主题A", "编辑器主题B", { agent: "coder" }, { agent: "writer" });
89
-
90
- const result = await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
91
- assert.equal(result.status, "ok");
92
-
93
- const queue = store.listConflictPending();
94
- assert.equal(queue.length, 2, "both pairs parked exactly once");
95
- const crossRow = queue.find((q) => [q.memory_a, q.memory_b].includes(xNew.id));
96
- const sameRow = queue.find((q) => [q.memory_a, q.memory_b].includes(yNew.id));
97
- assert.ok(crossRow, "cross-scope pair must be parked");
98
- assert.match(crossRow.reason, /跨作用域|cross-scope/, "cross pair carries the dedicated reason");
99
- assert.ok(sameRow, "same-scope pair still parked in freeze mode");
100
- assert.doesNotMatch(sameRow.reason, /跨作用域|cross-scope/, "same-scope pair keeps the plain similarity reason");
101
-
102
- // 再跑一轮:同一对不去重不重复入队。
103
- await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
104
- assert.equal(store.countConflictPending(), 2, "pair-level dedupe survives reruns");
105
- store.close();
106
- });
107
-
108
- test("NULL (unlabeled) vs labeled counts as a cross-scope pair", async () => {
109
- const { store, service, vectorIndex } = setup();
110
- savePair(service, vectorIndex, "部署清单A", "部署清单B", {}, { agent: "coder" });
111
- const result = await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
112
- assert.equal(result.status, "ok");
113
- const queue = store.listConflictPending();
114
- assert.equal(queue.length, 1);
115
- assert.match(queue[0].reason, /跨作用域|cross-scope/, "global(unlabeled) copy vs scoped copy is an ownership decision");
116
- store.close();
117
- });
118
-
119
- test("non-freeze without an LLM route: cross-scope pair still parks; nothing is auto-adjudicated", async () => {
120
- const { store, service, vectorIndex } = setup();
121
- const [newer, older] = savePair(service, vectorIndex, "发布流程A", "发布流程B", { agent: "coder" }, { agent: "writer" });
122
- const result = await runSleep(noRouteCtx(), service, baseConfig(), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
123
-
124
- const queue = store.listConflictPending();
125
- assert.equal(queue.length, 1, "cross-scope pair parks even with no LLM route");
126
- assert.match(queue[0].reason, /跨作用域|cross-scope/);
127
- assert.equal(store.getById(newer.id).archived, false, "no side is auto-archived");
128
- assert.equal(store.getById(older.id).archived, false);
129
- assert.ok(queue[0].resolved_at === undefined);
130
- store.close();
131
- });
132
-
133
- test("reviewed pair does not re-queue until one of its sides changes (review item 4)", async () => {
134
- const { store, service, vectorIndex } = setup();
135
- const [newer, older] = savePair(service, vectorIndex, "备份策略A", "备份策略B", { agent: "coder" }, { agent: "writer" });
136
- await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
137
- assert.equal(store.countConflictPending(), 1);
138
-
139
- // 人工「保留双方」(winner=null)后,内容未变 → 下一轮不再入队。
140
- const row = store.listConflictPending()[0];
141
- store.resolveConflictPending(row.id, { winner: null });
142
- assert.equal(store.countConflictPending(), 0);
143
- const rerun = await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
144
- assert.equal(store.countConflictPending(), 0, "unchanged reviewed pair must stay dismissed");
145
- assert.equal(rerun.status, "noop", "suppressed parks count as noop");
146
-
147
- // 任一侧被改过(updated_at 晚于裁决)→ 重新入队(新决策)。
148
- // 留出真实时间间隔:updated_at/resolved_at 都是毫秒精度,同毫秒内
149
- // 「裁决后立即修改」会算作未变(生产中人为修改不可能同毫秒)。
150
- await new Promise((resolve) => setTimeout(resolve, 5));
151
- service.update(newer.id, { content: "备份策略A 的正文(改)" });
152
- await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
153
- assert.equal(store.countConflictPending(), 1, "changed pair is worth a fresh review");
154
- store.close();
155
- });
156
-
157
- test("dream (non-freeze): cross-scope conflict parks for review instead of being adjudicated (review item 3)", async () => {
158
- const { store, service } = setup();
159
- const w = service.saveWithDedupe({ type: "decision", title: "发布时间", content: "8月20日", importance: 4, agent_scope: "coder", agent_scope_source: "explicit" }).memory;
160
- const l = service.saveWithDedupe({ type: "decision", title: "发布时间旧", content: "8月15日", importance: 4, agent_scope: "writer", agent_scope_source: "explicit" }).memory;
161
- const ctx = {
162
- llm: { stream: async function* () {
163
- yield { type: "text-delta", text: JSON.stringify([{ action: "conflict", winner: w.id, loser: l.id, reason: "日期更新" }]) };
164
- yield { type: "finish", reason: { kind: "ok" } };
165
- } },
166
- logger: { warn: () => {}, info: () => {} }
167
- };
168
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
169
- const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-chat" });
170
- assert.equal(result.ok, true);
171
- assert.equal(result.applied, 0, "cross-scope conflict is NOT auto-adjudicated");
172
- assert.equal(result.frozen, 1, "parked pair shows up in the run summary");
173
- const pending = store.listConflictPending();
174
- assert.equal(pending.length, 1);
175
- assert.match(pending[0].reason, /跨作用域|cross-scope/, "dedicated reason");
176
- assert.equal(store.getById(l.id).archived, false, "loser NOT archived");
177
- assert.ok(!store.getById(w.id).content.includes("已否决旧信息"), "winner untouched");
178
- store.close();
179
- });
180
-
181
- test("dream (non-freeze): same-scope conflict is still auto-adjudicated (regression)", async () => {
182
- const { store, service } = setup();
183
- const w = service.saveWithDedupe({ type: "decision", title: "发布时间", content: "8月20日", importance: 4, agent_scope: "coder", agent_scope_source: "explicit" }).memory;
184
- const l = service.saveWithDedupe({ type: "decision", title: "发布时间旧", content: "8月15日", importance: 4, agent_scope: "coder", agent_scope_source: "explicit" }).memory;
185
- const ctx = {
186
- llm: { stream: async function* () {
187
- yield { type: "text-delta", text: JSON.stringify([{ action: "conflict", winner: w.id, loser: l.id, reason: "日期更新" }]) };
188
- yield { type: "finish", reason: { kind: "ok" } };
189
- } },
190
- logger: { warn: () => {}, info: () => {} }
191
- };
192
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
193
- const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-chat" });
194
- assert.equal(result.ok, true);
195
- assert.equal(result.applied, 1, "same-scope conflict adjudicated as before");
196
- assert.equal(result.frozen, 0);
197
- assert.equal(store.listConflictPending().length, 0);
198
- assert.equal(store.getById(l.id).archived, true);
199
- store.close();
200
- });
201
-
202
- test("non-freeze with an LLM: cross-scope pair bypasses adjudication; same-scope pair is adjudicated", async () => {
203
- const { store, service, vectorIndex } = setup();
204
- const [yNew, yOld] = savePair(service, vectorIndex, "缓存策略A", "缓存策略B", { agent: "coder" }, { agent: "coder" });
205
- const [xNew, xOld] = savePair(service, vectorIndex, "编辑器主题A", "编辑器主题B", { agent: "coder" }, { agent: "writer" });
206
-
207
- const captured = [];
208
- const ctx = llmCtx(captured);
209
- // 同 scope 对由 LLM 裁决:保留 yNew、归档 yOld。跨 scope 对绝不进 prompt。
210
- ctx.llm.stream = async function* (options) {
211
- captured.push(options);
212
- const userText = options.messages.find((m) => m.role === "user")?.content?.[0]?.text ?? "";
213
- const isConflictPass = userText.startsWith("候选冲突") || userText.startsWith("Candidate conflicts");
214
- const text = isConflictPass
215
- ? JSON.stringify([{ action: "conflict", winner: yNew.id, loser: yOld.id, reason: "同归属重复" }])
216
- : "[]";
217
- yield { type: "text-delta", index: 0, text };
218
- yield { type: "finish", reason: { kind: "stop" } };
219
- };
220
-
221
- const result = await runSleep(ctx, service, baseConfig(), ctx.logger, { embedder, vectorIndex }, null);
222
- assert.equal(result.status, "ok");
223
-
224
- const conflictPassTexts = captured
225
- .map((o) => o.messages.find((m) => m.role === "user")?.content?.[0]?.text ?? "")
226
- .filter((t) => t.startsWith("候选冲突") || t.startsWith("Candidate conflicts"));
227
- assert.ok(conflictPassTexts.length >= 1, "conflict pass ran for the same-scope pair");
228
- for (const t of conflictPassTexts) {
229
- assert.ok(!t.includes(xNew.id) && !t.includes(xOld.id), "cross-scope pair must never enter the LLM prompt");
230
- assert.ok(t.includes(yNew.id) && t.includes(yOld.id), "same-scope pair is adjudicated");
231
- }
232
-
233
- const queue = store.listConflictPending();
234
- assert.equal(queue.length, 1);
235
- assert.match(queue[0].reason, /跨作用域|cross-scope/);
236
- assert.equal(store.getById(xOld.id).archived, false, "cross-scope loser is NOT archived by the LLM");
237
- assert.equal(store.getById(yOld.id).archived, true, "same-scope loser is adjudicated as usual");
238
- store.close();
239
- });
1
+ import test from "node:test";
2
+ import assert from "node:assert/strict";
3
+ import { runSleep } from "../src/dream/sleep.js";
4
+ import { createDreamScheduler } from "../src/dream.js";
5
+ import { createStore } from "../src/store.js";
6
+ import { createService } from "../src/service.js";
7
+ import { createVectorIndex } from "../src/vector-index.js";
8
+
9
+ // v0.8.1(issue #170 第 2 步):sleep 冲突阶段的跨 scope 分流。
10
+ // 同一内容落在两个归属下(任一维标注键不等,含「一侧未标注=全局」)时,
11
+ // 不允许自动裁决(freeze 或 LLM)——归档败者可能销毁某归属下的唯一副本,
12
+ // 归属裁决是用户的决定。跨 scope 对一律停车到 conflict_pending(专属 reason),
13
+ // 同 scope 对维持既有路径。夹具为中性主题(构建笔记/编辑器主题)。
14
+
15
+ const embedder = {
16
+ embedSingle: async () => [1, 0, 0],
17
+ // 契约形状:按输入条数返回等长向量数组。update 会失效缓存并调度重嵌入,
18
+ // sleep 的回填走 embed()——返回单向量会让回填静默失败(no usable vectors)。
19
+ embed: async (texts) => (Array.isArray(texts) ? texts : [texts]).map(() => [1, 0, 0]),
20
+ schedule: () => {},
21
+ modelHash: "mock#1",
22
+ dimension: 3
23
+ };
24
+
25
+ function setup() {
26
+ const store = createStore(":memory:");
27
+ const service = createService({ store, mirror: null, config: {} });
28
+ const vectorIndex = createVectorIndex({ store });
29
+ service.setEmbedder(embedder);
30
+ service.setVectorIndex(vectorIndex);
31
+ return { store, service, vectorIndex };
32
+ }
33
+
34
+ function baseConfig(overrides = {}) {
35
+ return {
36
+ sleepModeEnabled: true,
37
+ sleepIdleMinutes: 5,
38
+ sleepMinIntervalHours: 8,
39
+ sleepConflictStrictness: "normal",
40
+ sleepArchiveDays: 30,
41
+ sleepCompressDays: 90,
42
+ sleepPatternMinMemories: 10,
43
+ sleepMaxPatternPerRun: 3,
44
+ ...overrides
45
+ };
46
+ }
47
+
48
+ function llmCtx(captured = [], selection = { provider: "mock", model: "sleep-model" }) {
49
+ return {
50
+ logger: { warn: () => {}, info: () => {} },
51
+ agentDefaultModel: { currentSelection: () => selection },
52
+ llm: {
53
+ async *stream(options) {
54
+ captured.push(options);
55
+ const userText = options.messages.find((m) => m.role === "user")?.content?.[0]?.text ?? "";
56
+ yield { type: "text-delta", index: 0, text: userText.startsWith("候选冲突") || userText.startsWith("Candidate conflicts") ? "[]" : "[]" };
57
+ yield { type: "finish", reason: { kind: "stop" } };
58
+ }
59
+ }
60
+ };
61
+ }
62
+
63
+ function noRouteCtx() {
64
+ return { logger: { warn: () => {}, info: () => {} } };
65
+ }
66
+
67
+ /** 保存一对高相似记忆并预填向量。返回 [新, 旧](updated_at DESC 序)。 */
68
+ function savePair(service, vectorIndex, titleA, titleB, scopeA, scopeB) {
69
+ const a = service.saveWithDedupe({
70
+ type: "project", title: titleA, content: `${titleA} 的正文`,
71
+ ...(scopeA?.agent ? { agent_scope: scopeA.agent } : {}),
72
+ ...(scopeA?.workspace ? { workspace_scope: scopeA.workspace } : {})
73
+ }).memory;
74
+ const b = service.saveWithDedupe({
75
+ type: "project", title: titleB, content: `${titleB} 的正文`,
76
+ ...(scopeB?.agent ? { agent_scope: scopeB.agent } : {}),
77
+ ...(scopeB?.workspace ? { workspace_scope: scopeB.workspace } : {})
78
+ }).memory;
79
+ vectorIndex.saveEmbedding(a.id, [1, 0, 0]);
80
+ vectorIndex.saveEmbedding(b.id, [1, 0, 0]);
81
+ return [a, b];
82
+ }
83
+
84
+ test("freeze mode: cross-scope pair parks with the scope-candidate reason; same-scope pair keeps the plain reason", async () => {
85
+ const { store, service, vectorIndex } = setup();
86
+ // updated_at DESC 序决定贪心配对:后保存的对先配。x 对=跨 scope,y 对=同 scope。
87
+ const [yNew, yOld] = savePair(service, vectorIndex, "构建笔记A", "构建笔记B", { agent: "coder" }, { agent: "coder" });
88
+ const [xNew, xOld] = savePair(service, vectorIndex, "编辑器主题A", "编辑器主题B", { agent: "coder" }, { agent: "writer" });
89
+
90
+ const result = await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
91
+ assert.equal(result.status, "ok");
92
+
93
+ const queue = store.listConflictPending();
94
+ assert.equal(queue.length, 2, "both pairs parked exactly once");
95
+ const crossRow = queue.find((q) => [q.memory_a, q.memory_b].includes(xNew.id));
96
+ const sameRow = queue.find((q) => [q.memory_a, q.memory_b].includes(yNew.id));
97
+ assert.ok(crossRow, "cross-scope pair must be parked");
98
+ assert.match(crossRow.reason, /跨作用域|cross-scope/, "cross pair carries the dedicated reason");
99
+ assert.ok(sameRow, "same-scope pair still parked in freeze mode");
100
+ assert.doesNotMatch(sameRow.reason, /跨作用域|cross-scope/, "same-scope pair keeps the plain similarity reason");
101
+
102
+ // 再跑一轮:同一对不去重不重复入队。
103
+ await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
104
+ assert.equal(store.countConflictPending(), 2, "pair-level dedupe survives reruns");
105
+ store.close();
106
+ });
107
+
108
+ test("NULL (unlabeled) vs labeled counts as a cross-scope pair", async () => {
109
+ const { store, service, vectorIndex } = setup();
110
+ savePair(service, vectorIndex, "部署清单A", "部署清单B", {}, { agent: "coder" });
111
+ const result = await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
112
+ assert.equal(result.status, "ok");
113
+ const queue = store.listConflictPending();
114
+ assert.equal(queue.length, 1);
115
+ assert.match(queue[0].reason, /跨作用域|cross-scope/, "global(unlabeled) copy vs scoped copy is an ownership decision");
116
+ store.close();
117
+ });
118
+
119
+ test("non-freeze without an LLM route: cross-scope pair still parks; nothing is auto-adjudicated", async () => {
120
+ const { store, service, vectorIndex } = setup();
121
+ const [newer, older] = savePair(service, vectorIndex, "发布流程A", "发布流程B", { agent: "coder" }, { agent: "writer" });
122
+ const result = await runSleep(noRouteCtx(), service, baseConfig(), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
123
+
124
+ const queue = store.listConflictPending();
125
+ assert.equal(queue.length, 1, "cross-scope pair parks even with no LLM route");
126
+ assert.match(queue[0].reason, /跨作用域|cross-scope/);
127
+ assert.equal(store.getById(newer.id).archived, false, "no side is auto-archived");
128
+ assert.equal(store.getById(older.id).archived, false);
129
+ assert.ok(queue[0].resolved_at === undefined);
130
+ store.close();
131
+ });
132
+
133
+ test("reviewed pair does not re-queue until one of its sides changes (review item 4)", async () => {
134
+ const { store, service, vectorIndex } = setup();
135
+ const [newer, older] = savePair(service, vectorIndex, "备份策略A", "备份策略B", { agent: "coder" }, { agent: "writer" });
136
+ await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
137
+ assert.equal(store.countConflictPending(), 1);
138
+
139
+ // 人工「保留双方」(winner=null)后,内容未变 → 下一轮不再入队。
140
+ const row = store.listConflictPending()[0];
141
+ store.resolveConflictPending(row.id, { winner: null });
142
+ assert.equal(store.countConflictPending(), 0);
143
+ const rerun = await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
144
+ assert.equal(store.countConflictPending(), 0, "unchanged reviewed pair must stay dismissed");
145
+ assert.equal(rerun.status, "noop", "suppressed parks count as noop");
146
+
147
+ // 任一侧被改过(updated_at 晚于裁决)→ 重新入队(新决策)。
148
+ // 留出真实时间间隔:updated_at/resolved_at 都是毫秒精度,同毫秒内
149
+ // 「裁决后立即修改」会算作未变(生产中人为修改不可能同毫秒)。
150
+ await new Promise((resolve) => setTimeout(resolve, 5));
151
+ service.update(newer.id, { content: "备份策略A 的正文(改)" });
152
+ await runSleep(llmCtx(), service, baseConfig({ conflictFreezeEnabled: true }), { warn: () => {}, info: () => {} }, { embedder, vectorIndex }, null);
153
+ assert.equal(store.countConflictPending(), 1, "changed pair is worth a fresh review");
154
+ store.close();
155
+ });
156
+
157
+ test("dream (non-freeze): cross-scope conflict parks for review instead of being adjudicated (review item 3)", async () => {
158
+ const { store, service } = setup();
159
+ const w = service.saveWithDedupe({ type: "decision", title: "发布时间", content: "8月20日", importance: 4, agent_scope: "coder", agent_scope_source: "explicit" }).memory;
160
+ const l = service.saveWithDedupe({ type: "decision", title: "发布时间旧", content: "8月15日", importance: 4, agent_scope: "writer", agent_scope_source: "explicit" }).memory;
161
+ const ctx = {
162
+ llm: { stream: async function* () {
163
+ yield { type: "text-delta", text: JSON.stringify([{ action: "conflict", winner: w.id, loser: l.id, reason: "日期更新" }]) };
164
+ yield { type: "finish", reason: { kind: "ok" } };
165
+ } },
166
+ logger: { warn: () => {}, info: () => {} }
167
+ };
168
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
169
+ const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-chat" });
170
+ assert.equal(result.ok, true);
171
+ assert.equal(result.applied, 0, "cross-scope conflict is NOT auto-adjudicated");
172
+ assert.equal(result.frozen, 1, "parked pair shows up in the run summary");
173
+ const pending = store.listConflictPending();
174
+ assert.equal(pending.length, 1);
175
+ assert.match(pending[0].reason, /跨作用域|cross-scope/, "dedicated reason");
176
+ assert.equal(store.getById(l.id).archived, false, "loser NOT archived");
177
+ assert.ok(!store.getById(w.id).content.includes("已否决旧信息"), "winner untouched");
178
+ store.close();
179
+ });
180
+
181
+ test("dream (non-freeze): same-scope conflict is still auto-adjudicated (regression)", async () => {
182
+ const { store, service } = setup();
183
+ const w = service.saveWithDedupe({ type: "decision", title: "发布时间", content: "8月20日", importance: 4, agent_scope: "coder", agent_scope_source: "explicit" }).memory;
184
+ const l = service.saveWithDedupe({ type: "decision", title: "发布时间旧", content: "8月15日", importance: 4, agent_scope: "coder", agent_scope_source: "explicit" }).memory;
185
+ const ctx = {
186
+ llm: { stream: async function* () {
187
+ yield { type: "text-delta", text: JSON.stringify([{ action: "conflict", winner: w.id, loser: l.id, reason: "日期更新" }]) };
188
+ yield { type: "finish", reason: { kind: "ok" } };
189
+ } },
190
+ logger: { warn: () => {}, info: () => {} }
191
+ };
192
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
193
+ const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-chat" });
194
+ assert.equal(result.ok, true);
195
+ assert.equal(result.applied, 1, "same-scope conflict adjudicated as before");
196
+ assert.equal(result.frozen, 0);
197
+ assert.equal(store.listConflictPending().length, 0);
198
+ assert.equal(store.getById(l.id).archived, true);
199
+ store.close();
200
+ });
201
+
202
+ test("non-freeze with an LLM: cross-scope pair bypasses adjudication; same-scope pair is adjudicated", async () => {
203
+ const { store, service, vectorIndex } = setup();
204
+ const [yNew, yOld] = savePair(service, vectorIndex, "缓存策略A", "缓存策略B", { agent: "coder" }, { agent: "coder" });
205
+ const [xNew, xOld] = savePair(service, vectorIndex, "编辑器主题A", "编辑器主题B", { agent: "coder" }, { agent: "writer" });
206
+
207
+ const captured = [];
208
+ const ctx = llmCtx(captured);
209
+ // 同 scope 对由 LLM 裁决:保留 yNew、归档 yOld。跨 scope 对绝不进 prompt。
210
+ ctx.llm.stream = async function* (options) {
211
+ captured.push(options);
212
+ const userText = options.messages.find((m) => m.role === "user")?.content?.[0]?.text ?? "";
213
+ const isConflictPass = userText.startsWith("候选冲突") || userText.startsWith("Candidate conflicts");
214
+ const text = isConflictPass
215
+ ? JSON.stringify([{ action: "conflict", winner: yNew.id, loser: yOld.id, reason: "同归属重复" }])
216
+ : "[]";
217
+ yield { type: "text-delta", index: 0, text };
218
+ yield { type: "finish", reason: { kind: "stop" } };
219
+ };
220
+
221
+ const result = await runSleep(ctx, service, baseConfig(), ctx.logger, { embedder, vectorIndex }, null);
222
+ assert.equal(result.status, "ok");
223
+
224
+ const conflictPassTexts = captured
225
+ .map((o) => o.messages.find((m) => m.role === "user")?.content?.[0]?.text ?? "")
226
+ .filter((t) => t.startsWith("候选冲突") || t.startsWith("Candidate conflicts"));
227
+ assert.ok(conflictPassTexts.length >= 1, "conflict pass ran for the same-scope pair");
228
+ for (const t of conflictPassTexts) {
229
+ assert.ok(!t.includes(xNew.id) && !t.includes(xOld.id), "cross-scope pair must never enter the LLM prompt");
230
+ assert.ok(t.includes(yNew.id) && t.includes(yOld.id), "same-scope pair is adjudicated");
231
+ }
232
+
233
+ const queue = store.listConflictPending();
234
+ assert.equal(queue.length, 1);
235
+ assert.match(queue[0].reason, /跨作用域|cross-scope/);
236
+ assert.equal(store.getById(xOld.id).archived, false, "cross-scope loser is NOT archived by the LLM");
237
+ assert.equal(store.getById(yOld.id).archived, true, "same-scope loser is adjudicated as usual");
238
+ store.close();
239
+ });