@modusensus/dsh-mneme 0.6.7 → 0.6.9

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 (139) hide show
  1. package/.github/workflows/test.yml +32 -0
  2. package/.release-notes-v0.6.9.md +13 -0
  3. package/CHANGELOG.md +89 -0
  4. package/LICENSE +21 -21
  5. package/README.md +219 -463
  6. package/SECURITY.md +544 -0
  7. package/docs/devlog/2026-08-14-dsh-mneme-dev-log.md +247 -0
  8. package/docs/devlog/2026-08-15-dsh-mneme-audit-stress-dev-log.md +145 -0
  9. package/docs/devlog/2026-08-15-dsh-mneme-pipeline-dev-log.md +56 -0
  10. package/docs/devlog/2026-08-15-dsh-mneme-reflection-dev-log.md +77 -0
  11. package/docs/devlog/2026-08-15-dsh-mneme-review-fixes-dev-log.md +64 -0
  12. package/docs/devlog/2026-08-15-dsh-mneme-semantic-dev-log.md +90 -0
  13. package/dsh-mneme/CHANGELOG.md +248 -0
  14. package/dsh-mneme/LICENSE +21 -0
  15. package/dsh-mneme/README.md +465 -0
  16. package/{cordis.patch.yml → dsh-mneme/cordis.patch.yml} +15 -15
  17. package/dsh-mneme/docs/AGENT_MEMORY_RESEARCH.md +183 -0
  18. package/dsh-mneme/docs/ENTITIES.md +245 -0
  19. package/dsh-mneme/docs/LOCAL_MODEL.md +141 -0
  20. package/dsh-mneme/docs/MIGRATION.md +127 -0
  21. package/dsh-mneme/docs/SEMANTIC.md +256 -0
  22. package/dsh-mneme/docs/SLEEP.md +163 -0
  23. package/{lib → dsh-mneme/lib}/api.js +783 -783
  24. package/{lib → dsh-mneme/lib}/client.js +1757 -1757
  25. package/{src → dsh-mneme/lib}/commands.js +64 -64
  26. package/{lib → dsh-mneme/lib}/config.js +298 -288
  27. package/{lib → dsh-mneme/lib}/dream/clustering.js +118 -118
  28. package/{src → dsh-mneme/lib}/dream/decisions.js +488 -439
  29. package/{lib → dsh-mneme/lib}/dream/sleep.js +561 -554
  30. package/{src → dsh-mneme/lib}/dream/tag-extractor.js +156 -156
  31. package/{lib → dsh-mneme/lib}/dream.js +958 -929
  32. package/{src → dsh-mneme/lib}/embedding.js +154 -154
  33. package/{src → dsh-mneme/lib}/entities/extractor.js +242 -242
  34. package/{src → dsh-mneme/lib}/hot-memory.js +53 -53
  35. package/{lib → dsh-mneme/lib}/index.js +361 -361
  36. package/{src → dsh-mneme/lib}/inject.js +208 -208
  37. package/{lib → dsh-mneme/lib}/local-embedder.js +282 -282
  38. package/{lib → dsh-mneme/lib}/mirror.js +170 -170
  39. package/{lib → dsh-mneme/lib}/parser/tag.js +59 -59
  40. package/{lib → dsh-mneme/lib}/parser/wiki-link.js +38 -38
  41. package/{src → dsh-mneme/lib}/quality-filter.js +123 -123
  42. package/{lib → dsh-mneme/lib}/reranker.js +218 -218
  43. package/{lib → dsh-mneme/lib}/search/adaptive.js +22 -22
  44. package/{lib → dsh-mneme/lib}/search/bm25.js +96 -96
  45. package/{src → dsh-mneme/lib}/search/tag-boost.js +61 -61
  46. package/{src → dsh-mneme/lib}/service.js +1726 -1726
  47. package/{lib → dsh-mneme/lib}/settings.js +172 -172
  48. package/{lib → dsh-mneme/lib}/store.js +2238 -2238
  49. package/{lib → dsh-mneme/lib}/summarize.js +236 -236
  50. package/{lib → dsh-mneme/lib}/tools.js +290 -290
  51. package/{lib → dsh-mneme/lib}/vector-index.js +116 -116
  52. package/dsh-mneme/package-lock.json +1936 -0
  53. package/dsh-mneme/package.json +80 -0
  54. package/{scripts → dsh-mneme/scripts}/benchmark-embed.js +201 -201
  55. package/{scripts → dsh-mneme/scripts}/benchmark-recall.js +133 -133
  56. package/{scripts → dsh-mneme/scripts}/benchmark-rerank.js +166 -166
  57. package/{scripts → dsh-mneme/scripts}/e2e-dsh.js +218 -218
  58. package/{scripts → dsh-mneme/scripts}/stress-dsh.js +255 -255
  59. package/{scripts → dsh-mneme/scripts}/sync-lib.js +52 -52
  60. package/{src → dsh-mneme/src}/api.js +783 -783
  61. package/{lib → dsh-mneme/src}/commands.js +64 -64
  62. package/{src → dsh-mneme/src}/config.js +298 -288
  63. package/{src → dsh-mneme/src}/dream/clustering.js +118 -118
  64. package/{lib → dsh-mneme/src}/dream/decisions.js +488 -439
  65. package/{src → dsh-mneme/src}/dream/sleep.js +561 -554
  66. package/{lib → dsh-mneme/src}/dream/tag-extractor.js +156 -156
  67. package/{src → dsh-mneme/src}/dream.js +958 -929
  68. package/{lib → dsh-mneme/src}/embedding.js +154 -154
  69. package/{lib → dsh-mneme/src}/entities/extractor.js +242 -242
  70. package/{lib → dsh-mneme/src}/hot-memory.js +53 -53
  71. package/{src → dsh-mneme/src}/index.js +361 -361
  72. package/{lib → dsh-mneme/src}/inject.js +208 -208
  73. package/{src → dsh-mneme/src}/local-embedder.js +282 -282
  74. package/{src → dsh-mneme/src}/mirror.js +170 -170
  75. package/{src → dsh-mneme/src}/parser/tag.js +59 -59
  76. package/{src → dsh-mneme/src}/parser/wiki-link.js +38 -38
  77. package/{lib → dsh-mneme/src}/quality-filter.js +123 -123
  78. package/{src → dsh-mneme/src}/reranker.js +218 -218
  79. package/{src → dsh-mneme/src}/search/adaptive.js +22 -22
  80. package/{src → dsh-mneme/src}/search/bm25.js +96 -96
  81. package/{lib → dsh-mneme/src}/search/tag-boost.js +61 -61
  82. package/{lib → dsh-mneme/src}/service.js +1726 -1726
  83. package/{src → dsh-mneme/src}/settings.js +172 -172
  84. package/{src → dsh-mneme/src}/store.js +2238 -2238
  85. package/{src → dsh-mneme/src}/summarize.js +236 -236
  86. package/{src → dsh-mneme/src}/tools.js +290 -290
  87. package/{src → dsh-mneme/src}/vector-index.js +116 -116
  88. package/{test → dsh-mneme/test}/api.test.js +594 -594
  89. package/{test → dsh-mneme/test}/audit.test.js +448 -448
  90. package/{test → dsh-mneme/test}/benchmark.test.js +35 -35
  91. package/{test → dsh-mneme/test}/boundary-v0625.test.js +82 -82
  92. package/{test → dsh-mneme/test}/client.test.js +368 -368
  93. package/{test → dsh-mneme/test}/clustering.test.js +100 -100
  94. package/{test → dsh-mneme/test}/commands.test.js +69 -69
  95. package/{test → dsh-mneme/test}/config.test.js +50 -50
  96. package/{test → dsh-mneme/test}/conflict-freeze.test.js +290 -290
  97. package/{test → dsh-mneme/test}/directory.test.js +134 -134
  98. package/{test → dsh-mneme/test}/dream.test.js +1060 -901
  99. package/{test → dsh-mneme/test}/entities.test.js +522 -522
  100. package/{test → dsh-mneme/test}/epistemic.test.js +298 -298
  101. package/{test → dsh-mneme/test}/fnew-0112.test.js +311 -311
  102. package/{test → dsh-mneme/test}/fnew-03.test.js +422 -422
  103. package/{test → dsh-mneme/test}/graph-api.test.js +175 -175
  104. package/{test → dsh-mneme/test}/helpers/dream-mock.js +82 -82
  105. package/{test → dsh-mneme/test}/hot-memory.test.js +174 -174
  106. package/{test → dsh-mneme/test}/inject.test.js +103 -103
  107. package/{test → dsh-mneme/test}/llm-audit.test.js +279 -279
  108. package/{test → dsh-mneme/test}/local-embedder.test.js +227 -227
  109. package/{test → dsh-mneme/test}/mirror-dirty.test.js +424 -424
  110. package/{test → dsh-mneme/test}/mirror-edit-digest.test.js +187 -187
  111. package/{test → dsh-mneme/test}/mirror-generation.test.js +499 -499
  112. package/{test → dsh-mneme/test}/mirror.test.js +249 -249
  113. package/{test → dsh-mneme/test}/normalize-decisions.test.js +120 -120
  114. package/{test → dsh-mneme/test}/peer-blockers.test.js +190 -190
  115. package/{test → dsh-mneme/test}/policy-epoch.test.js +259 -259
  116. package/{test → dsh-mneme/test}/provenance.test.js +103 -103
  117. package/{test → dsh-mneme/test}/quality-filter.test.js +118 -118
  118. package/{test → dsh-mneme/test}/reasoning-effort.test.js +199 -199
  119. package/{test → dsh-mneme/test}/recall-evals.test.js +235 -235
  120. package/{test → dsh-mneme/test}/recall-layer.test.js +315 -315
  121. package/{test → dsh-mneme/test}/receipt-chain.test.js +451 -451
  122. package/{test → dsh-mneme/test}/reflection.test.js +226 -226
  123. package/{test → dsh-mneme/test}/reranker.test.js +240 -240
  124. package/{test → dsh-mneme/test}/search-fusion.test.js +90 -90
  125. package/{test → dsh-mneme/test}/semantic.test.js +124 -124
  126. package/{test → dsh-mneme/test}/service-search.test.js +199 -199
  127. package/{test → dsh-mneme/test}/service.test.js +435 -435
  128. package/{test → dsh-mneme/test}/settings.test.js +118 -118
  129. package/{test → dsh-mneme/test}/sleep.test.js +365 -365
  130. package/{test → dsh-mneme/test}/store.test.js +436 -436
  131. package/{test → dsh-mneme/test}/stress.test.js +209 -209
  132. package/{test → dsh-mneme/test}/summarize.test.js +191 -191
  133. package/{test → dsh-mneme/test}/tag-boost.test.js +125 -125
  134. package/{test → dsh-mneme/test}/tag.test.js +312 -312
  135. package/{test → dsh-mneme/test}/tools.test.js +285 -285
  136. package/{test → dsh-mneme/test}/vector-index.test.js +221 -221
  137. package/{test → dsh-mneme/test}/wiki-link.test.js +332 -332
  138. package/package.json +18 -40
  139. package//346/250/252/345/271/205.png +0 -0
@@ -1,451 +1,451 @@
1
- import test from "node:test";
2
- import assert from "node:assert/strict";
3
- import { applyDecisions, hashDecisionInput, createDreamScheduler } from "../src/dream.js";
4
- import { createStore } from "../src/store.js";
5
- import { createService } from "../src/service.js";
6
-
7
- // --- helpers -------------------------------------------------------------
8
-
9
- function openStore() {
10
- const store = createStore(":memory:");
11
- return { store, close: () => store.close() };
12
- }
13
-
14
- function fullReceipt(over = {}) {
15
- return {
16
- run_id: "run-1",
17
- record_id: "rec-a",
18
- kind: "merge",
19
- input_digest: "d".repeat(64),
20
- verdict: "live",
21
- count_before: 2,
22
- count_after: 1,
23
- policy_epoch: 3,
24
- sources: ["rec-a", "rec-b"],
25
- ...over
26
- };
27
- }
28
-
29
- function serviceSetup() {
30
- const store = createStore(":memory:");
31
- const service = createService({ store, mirror: null, config: {} });
32
- return { store, service };
33
- }
34
-
35
- function snapshotFrom(service) {
36
- return service.all()
37
- .filter((m) => !m.archived && m.type !== "summary")
38
- .reduce((map, m) => map.set(m.id, m), new Map());
39
- }
40
-
41
- // A runDream ctx whose LLM yields the given decisions first, then a summary.
42
- function mockCtx(decisions, logger) {
43
- let calls = 0;
44
- return {
45
- llm: {
46
- stream: async function* () {
47
- calls++;
48
- const text = calls === 1
49
- ? JSON.stringify(decisions)
50
- : "记忆库总览摘要文本";
51
- yield { type: "text-delta", text };
52
- yield { type: "finish", reason: { kind: "ok" } };
53
- }
54
- },
55
- logger: logger ?? { warn: () => {} }
56
- };
57
- }
58
-
59
- function dreamConfig(over = {}) {
60
- return {
61
- dreamProvider: "deepseek",
62
- dreamModel: "deepseek-chat",
63
- reflectionUpdateMinAgeHours: 0,
64
- reflectionUpdateMaxPerRun: 2,
65
- ...over
66
- };
67
- }
68
-
69
- // === store layer: receipt_chain CRUD + upsert idempotency ================
70
-
71
- test("store saveReceipt→getReceipt round trip preserves fields and parses sources JSON", () => {
72
- const { store, close } = openStore();
73
- const saved = store.saveReceipt(fullReceipt({
74
- receipt_id: "r-1",
75
- winner_id: "rec-a",
76
- loser_id: "rec-b",
77
- keep_source: "rec-a",
78
- sources: ["rec-a", "rec-b", "偏好:中文", "with \"quotes\"\nand 换行"]
79
- }));
80
- assert.equal(saved.receipt_id, "r-1");
81
- const got = store.getReceipt("r-1");
82
- assert.ok(got, "receipt readable");
83
- assert.equal(got.receipt_id, "r-1");
84
- assert.equal(got.run_id, "run-1");
85
- assert.equal(got.record_id, "rec-a");
86
- assert.equal(got.kind, "merge");
87
- assert.equal(got.input_digest, "d".repeat(64));
88
- assert.equal(got.winner_id, "rec-a");
89
- assert.equal(got.loser_id, "rec-b");
90
- assert.equal(got.keep_source, "rec-a");
91
- assert.equal(got.verdict, "live");
92
- assert.equal(got.count_before, 2);
93
- assert.equal(got.count_after, 1);
94
- assert.equal(got.policy_epoch, 3);
95
- assert.ok(got.created_at, "has created_at");
96
- assert.deepEqual(got.sources, ["rec-a", "rec-b", "偏好:中文", "with \"quotes\"\nand 换行"], "sources JSON round-trips");
97
- close();
98
- });
99
-
100
- test("store sources: empty array round-trips as [] and undefined defaults to []", () => {
101
- const { store, close } = openStore();
102
- store.saveReceipt(fullReceipt({ receipt_id: "r-e", sources: [] }));
103
- assert.deepEqual(store.getReceipt("r-e").sources, []);
104
- store.saveReceipt(fullReceipt({ receipt_id: "r-u", sources: undefined }));
105
- assert.deepEqual(store.getReceipt("r-u").sources, [], "missing sources default to empty array, not null");
106
- close();
107
- });
108
-
109
- test("store saveReceipt auto-generates receipt_id and getReceipt finds it", () => {
110
- const { store, close } = openStore();
111
- const saved = store.saveReceipt(fullReceipt({ receipt_id: undefined }));
112
- assert.ok(saved.receipt_id, "id generated");
113
- assert.equal(store.getReceipt(saved.receipt_id).kind, "merge");
114
- close();
115
- });
116
-
117
- test("store upsert idempotent: same receipt_id overwrites, never duplicates", () => {
118
- const { store, close } = openStore();
119
- store.saveReceipt(fullReceipt({ receipt_id: "r-x", count_after: 1 }));
120
- store.saveReceipt(fullReceipt({ receipt_id: "r-x", count_after: 2 }));
121
- store.saveReceipt(fullReceipt({ receipt_id: "r-x", count_after: 3 }));
122
- const all = store.listReceipts();
123
- assert.equal(all.length, 1, "replay overwrites in place");
124
- assert.equal(all[0].count_after, 3, "latest payload wins");
125
- assert.equal(store.getReceipt("r-x").count_after, 3);
126
- close();
127
- });
128
-
129
- test("store listReceipts filters by run_id and returns [] on miss or empty table", () => {
130
- const { store, close } = openStore();
131
- assert.deepEqual(store.listReceipts(), [], "empty table -> []");
132
- assert.deepEqual(store.listReceipts({ run_id: "nope" }), []);
133
- store.saveReceipt(fullReceipt({ receipt_id: "r-1", run_id: "run-a" }));
134
- store.saveReceipt(fullReceipt({ receipt_id: "r-2", run_id: "run-b" }));
135
- const onlyA = store.listReceipts({ run_id: "run-a" });
136
- assert.equal(onlyA.length, 1);
137
- assert.equal(onlyA[0].run_id, "run-a");
138
- assert.deepEqual(store.listReceipts({ run_id: "run-miss" }), []);
139
- close();
140
- });
141
-
142
- test("store getReceipt miss returns undefined without throwing", () => {
143
- const { store, close } = openStore();
144
- assert.equal(store.getReceipt("no-such-receipt"), undefined);
145
- close();
146
- });
147
-
148
- test("store policy_epoch: default 0, explicit value preserved", () => {
149
- const { store, close } = openStore();
150
- store.saveReceipt(fullReceipt({ receipt_id: "r-0", policy_epoch: undefined }));
151
- assert.equal(store.getReceipt("r-0").policy_epoch, 0);
152
- store.saveReceipt(fullReceipt({ receipt_id: "r-7", policy_epoch: 7 }));
153
- assert.equal(store.getReceipt("r-7").policy_epoch, 7);
154
- close();
155
- });
156
-
157
- // === decisions layer: count_before/count_after on committed verdicts =====
158
-
159
- test("decisions merge committed carries count_before = ids.length (sources+1), count_after = 1", () => {
160
- const { store, service } = serviceSetup();
161
- const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧甲" });
162
- const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧乙" });
163
- const c = service.saveWithDedupe({ type: "project", title: "丙", content: "旧丙" });
164
- const { committed } = applyDecisions([{
165
- action: "merge", ids: [a.memory.id, b.memory.id, c.memory.id], title: "总览", content: "合并", importance: 4, keepSource: b.memory.id
166
- }], service);
167
- const merge = committed.find((x) => x.action === "merge");
168
- assert.ok(merge, "merge committed");
169
- assert.equal(merge.count_before, 3, "before = ids.length = sources.length + 1");
170
- assert.equal(merge.count_after, 1);
171
- store.close();
172
- });
173
-
174
- test("decisions conflict committed carries 2→1, update committed carries 1→1", () => {
175
- const { store, service } = serviceSetup();
176
- const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
177
- const l = service.saveWithDedupe({ type: "decision", title: "旧截止", content: "8月15日" });
178
- const u = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
179
- const { committed } = applyDecisions([
180
- { action: "conflict", winner: w.memory.id, loser: l.memory.id, reason: "更新" },
181
- { action: "update", ids: [u.memory.id], content: "中英双语" }
182
- ], service);
183
- const conflict = committed.find((x) => x.action === "conflict");
184
- const update = committed.find((x) => x.action === "update");
185
- assert.deepEqual([conflict.count_before, conflict.count_after], [2, 1]);
186
- assert.deepEqual([update.count_before, update.count_after], [1, 1]);
187
- store.close();
188
- });
189
-
190
- test("decisions keep/archive committed entries carry no count fields (not receipt candidates)", () => {
191
- const { store, service } = serviceSetup();
192
- const k = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
193
- const a = service.saveWithDedupe({ type: "project", title: "废弃", content: "过时" });
194
- const { committed } = applyDecisions([
195
- { action: "keep", ids: [k.memory.id] },
196
- { action: "archive", ids: [a.memory.id], reason: "过时" }
197
- ], service);
198
- assert.ok(committed.length >= 2, "keep + archive recorded");
199
- for (const c of committed) {
200
- assert.equal(c.count_before, undefined, `${c.action} has no count_before`);
201
- assert.equal(c.count_after, undefined, `${c.action} has no count_after`);
202
- }
203
- store.close();
204
- });
205
-
206
- test("decisions skipped decisions never enter committed", () => {
207
- const { store, service } = serviceSetup();
208
- const { committed } = applyDecisions([{ action: "archive", ids: ["ghost"], reason: "x" }], service);
209
- assert.equal(committed.length, 0, "unknown id skipped, not committed");
210
- store.close();
211
- });
212
-
213
- test("decisions empty list -> empty committed, no side effects", () => {
214
- const { store, service } = serviceSetup();
215
- assert.deepEqual(applyDecisions([], service).committed, []);
216
- store.close();
217
- });
218
-
219
- test("decisions mixed batch: each verdict carries its own independent counts", () => {
220
- const { store, service } = serviceSetup();
221
- const a = service.saveWithDedupe({ type: "project", title: "甲", content: "c1" });
222
- const b = service.saveWithDedupe({ type: "project", title: "乙", content: "c2" });
223
- const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
224
- const l = service.saveWithDedupe({ type: "decision", title: "旧", content: "8月15日" });
225
- const u = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
226
- const { committed } = applyDecisions([
227
- { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", keepSource: a.memory.id },
228
- { action: "conflict", winner: w.memory.id, loser: l.memory.id },
229
- { action: "update", ids: [u.memory.id], content: "中英双语" }
230
- ], service);
231
- assert.equal(committed.length, 3);
232
- assert.deepEqual(committed.map((c) => [c.action, c.count_before, c.count_after]), [
233
- ["merge", 2, 1],
234
- ["conflict", 2, 1],
235
- ["update", 1, 1]
236
- ]);
237
- store.close();
238
- });
239
-
240
- // === dream E2E: buildRecordReceipts writes the receipt_chain =============
241
-
242
- test("E2E runDream writes one receipt per committed merge/conflict/update verdict", async () => {
243
- const { store, service } = serviceSetup();
244
- const a = service.saveWithDedupe({ type: "project", title: "插件", content: "旧" });
245
- const b = service.saveWithDedupe({ type: "project", title: "插件2", content: "新细节" });
246
- const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
247
- const l = service.saveWithDedupe({ type: "decision", title: "旧截止", content: "8月15日" });
248
- const u = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
249
- const decisions = [
250
- { action: "merge", ids: [a.memory.id, b.memory.id], title: "插件总览", content: "合并内容", importance: 5, keepSource: a.memory.id },
251
- { action: "conflict", winner: w.memory.id, loser: l.memory.id, reason: "更新" },
252
- { action: "update", ids: [u.memory.id], content: "中英双语" }
253
- ];
254
- // Backdate the update target: with reflectionUpdateMinAgeHours=0 the age guard
255
- // is `ageHours < 0`, and the store's monotonic timestamp guard can push a
256
- // just-created memory's created_at a few ms into the "future", spuriously
257
- // rejecting it as too young (a real timing-dependent edge). An established
258
- // memory sidesteps that and makes the update path deterministic.
259
- store.db.prepare("UPDATE memories SET created_at = ? WHERE id = ?")
260
- .run(new Date(Date.now() - 3600_000).toISOString(), u.memory.id);
261
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
262
- const result = await dream.runDream(mockCtx(decisions), service, dreamConfig({ policyEpoch: 5 }));
263
- assert.equal(result.ok, true);
264
- assert.equal(result.applied, 3, "all three verdicts applied");
265
-
266
- const receipts = store.listReceipts();
267
- assert.equal(receipts.length, 3, "exactly 3 per-record receipts");
268
- const byKind = Object.fromEntries(receipts.map((r) => [r.kind, r]));
269
- for (const kind of ["merge", "conflict", "update"]) {
270
- const r = byKind[kind];
271
- assert.ok(r, `${kind} receipt exists`);
272
- assert.equal(r.verdict, "live", `${kind} verdict live`);
273
- assert.equal(r.policy_epoch, 5, `${kind} carries run policy_epoch`);
274
- assert.equal(r.run_id, result.runId, `${kind} tied to the run`);
275
- assert.match(r.input_digest, /^[0-9a-f]{64}$/, `${kind} digest is sha256 hex`);
276
- }
277
- assert.equal(byKind.merge.record_id, a.memory.id, "merge receipt on keepSource");
278
- assert.equal(byKind.merge.keep_source, a.memory.id);
279
- assert.deepEqual(byKind.merge.sources, [a.memory.id, b.memory.id], "merge sources = ids");
280
- assert.deepEqual([byKind.merge.count_before, byKind.merge.count_after], [2, 1]);
281
- assert.equal(byKind.conflict.record_id, w.memory.id, "conflict receipt on winner");
282
- assert.equal(byKind.conflict.winner_id, w.memory.id);
283
- assert.equal(byKind.conflict.loser_id, l.memory.id);
284
- assert.deepEqual([byKind.conflict.count_before, byKind.conflict.count_after], [2, 1]);
285
- assert.equal(byKind.update.record_id, u.memory.id, "update receipt on target");
286
- assert.deepEqual([byKind.update.count_before, byKind.update.count_after], [1, 1]);
287
- store.close();
288
- });
289
-
290
- test("E2E receipt input_digest reproduces hashDecisionInput of the run snapshot", async () => {
291
- const { store, service } = serviceSetup();
292
- const a = service.saveWithDedupe({ type: "project", title: "插件", content: "旧" });
293
- const b = service.saveWithDedupe({ type: "project", title: "插件2", content: "新细节" });
294
- const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
295
- const l = service.saveWithDedupe({ type: "decision", title: "旧截止", content: "8月15日" });
296
- const before = snapshotFrom(service); // the exact input the run will arbitrate against
297
- const decisions = [
298
- { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id },
299
- { action: "conflict", winner: w.memory.id, loser: l.memory.id }
300
- ];
301
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
302
- await dream.runDream(mockCtx(decisions), service, dreamConfig());
303
-
304
- const receipts = store.listReceipts();
305
- const merge = receipts.find((r) => r.kind === "merge");
306
- const conflict = receipts.find((r) => r.kind === "conflict");
307
- assert.equal(merge.input_digest, hashDecisionInput([before.get(a.memory.id), before.get(b.memory.id)]), "merge digest = hash of its sources");
308
- assert.equal(conflict.input_digest, hashDecisionInput([before.get(w.memory.id), before.get(l.memory.id)]), "conflict digest = hash of winner+loser");
309
- store.close();
310
- });
311
-
312
- test("E2E keep + archive decisions produce no receipts", async () => {
313
- const { store, service } = serviceSetup();
314
- const k = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
315
- const a = service.saveWithDedupe({ type: "project", title: "合并", content: "旧" });
316
- const b = service.saveWithDedupe({ type: "project", title: "合并2", content: "新" });
317
- const x = service.saveWithDedupe({ type: "project", title: "废弃", content: "过时" });
318
- const decisions = [
319
- { action: "keep", ids: [k.memory.id] },
320
- { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id },
321
- { action: "archive", ids: [x.memory.id], reason: "过时" }
322
- ];
323
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
324
- const result = await dream.runDream(mockCtx(decisions), service, dreamConfig());
325
- assert.equal(result.ok, true, "full list applied");
326
- const receipts = store.listReceipts();
327
- assert.equal(receipts.length, 1, "only the merge verdict produced a receipt");
328
- assert.equal(receipts[0].kind, "merge");
329
- store.close();
330
- });
331
-
332
- test("E2E rerun of already-applied decisions writes no duplicate receipts", async () => {
333
- const { store, service } = serviceSetup();
334
- const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧" });
335
- const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧2" });
336
- const decisions = [
337
- { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id }
338
- ];
339
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
340
- const first = await dream.runDream(mockCtx(decisions), service, dreamConfig());
341
- assert.equal(first.applied, 1);
342
- assert.equal(store.listReceipts().length, 1);
343
- // Re-running the identical raw LLM output is prevented before apply: the
344
- // merge source is already archived, so validation rejects it — either way,
345
- // no second receipt may appear (the chain stays one row per verdict).
346
- const second = await dream.runDream(mockCtx(decisions), service, dreamConfig());
347
- assert.equal(second.ok, false, "re-application rejected by validation");
348
- assert.equal(store.listReceipts().length, 1, "receipt count did not grow");
349
- store.close();
350
- });
351
-
352
- test("E2E audit run row is written alongside receipts under the same run_id", async () => {
353
- const { store, service } = serviceSetup();
354
- const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧" });
355
- const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧2" });
356
- const decisions = [
357
- { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id }
358
- ];
359
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
360
- const result = await dream.runDream(mockCtx(decisions), service, dreamConfig());
361
- const runRow = store.db.prepare("SELECT * FROM dream_runs WHERE id = ?").get(result.runId);
362
- assert.ok(runRow, "audit row persisted");
363
- const receipts = store.listReceipts({ run_id: result.runId });
364
- assert.equal(receipts.length, 1, "receipts filterable by the run");
365
- store.close();
366
- });
367
-
368
- // === fail-safe: receipt writes never block consolidation =================
369
-
370
- test("fail-safe: saveReceipt throwing does not block runDream, warns, and memories still consolidate", async () => {
371
- const { store, service } = serviceSetup();
372
- const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧" });
373
- const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧2" });
374
- const warnings = [];
375
- const originalSaveReceipt = service.saveReceipt;
376
- service.saveReceipt = (r) => {
377
- throw new Error("disk full");
378
- };
379
- const decisions = [
380
- { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id }
381
- ];
382
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
383
- const result = await dream.runDream(mockCtx(decisions, { warn: (m) => warnings.push(m) }), service, dreamConfig());
384
- service.saveReceipt = originalSaveReceipt;
385
- assert.equal(result.ok, true, "runDream still ok when receipt write fails");
386
- assert.equal(result.applied, 1, "consolidation applied despite receipt failure");
387
- assert.equal(store.getById(a.memory.id).title, "总", "keeper updated despite receipt failure");
388
- assert.equal(store.getById(b.memory.id).archived, true, "source archived despite receipt failure");
389
- assert.ok(warnings.some((m) => m.includes("per-record receipt")), "receipt failure logged");
390
- assert.equal(store.listReceipts().length, 0, "no partial receipt rows");
391
- store.close();
392
- });
393
-
394
- test("fail-safe: saveReceipt throwing still writes the run audit row", async () => {
395
- const { store, service } = serviceSetup();
396
- const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧" });
397
- const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧2" });
398
- service.saveReceipt = () => { throw new Error("boom"); };
399
- const decisions = [
400
- { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id }
401
- ];
402
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
403
- const result = await dream.runDream(mockCtx(decisions), service, dreamConfig());
404
- const runRow = store.db.prepare("SELECT * FROM dream_runs WHERE id = ?").get(result.runId);
405
- assert.ok(runRow, "audit trail survives receipt failure");
406
- store.close();
407
- });
408
-
409
- // === input_digest content addressing =====================================
410
-
411
- test("hashDecisionInput is deterministic and order-independent", () => {
412
- const memories = [
413
- { id: "a", title: "标题", content: "内容", importance: 3 },
414
- { id: "b", title: "t", content: "c", importance: 4 }
415
- ];
416
- const d1 = hashDecisionInput(memories);
417
- const d2 = hashDecisionInput([...memories].reverse());
418
- assert.equal(d1, d2, "same inputs in any order hash the same");
419
- assert.match(d1, /^[0-9a-f]{64}$/, "sha256 hex digest");
420
- });
421
-
422
- test("hashDecisionInput is sensitive: any field change yields a different digest", () => {
423
- const base = { id: "a", title: "标题", content: "内容", importance: 3 };
424
- const d = hashDecisionInput([base]);
425
- assert.notEqual(hashDecisionInput([{ ...base, content: "内容X" }]), d, "content change");
426
- assert.notEqual(hashDecisionInput([{ ...base, title: "标题X" }]), d, "title change");
427
- assert.notEqual(hashDecisionInput([{ ...base, importance: 4 }]), d, "importance change");
428
- assert.notEqual(hashDecisionInput([{ ...base, id: "b" }]), d, "id change");
429
- });
430
-
431
- test("hashDecisionInput empty input is stable and distinct from any non-empty input", () => {
432
- const empty = hashDecisionInput([]);
433
- const empty2 = hashDecisionInput([]);
434
- assert.equal(empty, empty2, "empty is deterministic");
435
- assert.notEqual(empty, hashDecisionInput([{ id: "a", title: "", content: "", importance: 1 }]));
436
- assert.notEqual(empty, hashDecisionInput([{ id: "a", title: "x", content: "y", importance: 1 }]));
437
- });
438
-
439
- test("E2E receipts never double for same record across one run (one row per verdict)", async () => {
440
- const { store, service } = serviceSetup();
441
- const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
442
- const l = service.saveWithDedupe({ type: "decision", title: "旧", content: "8月15日" });
443
- const decisions = [{ action: "conflict", winner: w.memory.id, loser: l.memory.id }];
444
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
445
- await dream.runDream(mockCtx(decisions), service, dreamConfig());
446
- const receipts = store.listReceipts();
447
- assert.equal(receipts.length, 1);
448
- assert.equal(receipts[0].kind, "conflict");
449
- assert.equal(receipts[0].verdict, "live");
450
- store.close();
451
- });
1
+ import test from "node:test";
2
+ import assert from "node:assert/strict";
3
+ import { applyDecisions, hashDecisionInput, createDreamScheduler } from "../src/dream.js";
4
+ import { createStore } from "../src/store.js";
5
+ import { createService } from "../src/service.js";
6
+
7
+ // --- helpers -------------------------------------------------------------
8
+
9
+ function openStore() {
10
+ const store = createStore(":memory:");
11
+ return { store, close: () => store.close() };
12
+ }
13
+
14
+ function fullReceipt(over = {}) {
15
+ return {
16
+ run_id: "run-1",
17
+ record_id: "rec-a",
18
+ kind: "merge",
19
+ input_digest: "d".repeat(64),
20
+ verdict: "live",
21
+ count_before: 2,
22
+ count_after: 1,
23
+ policy_epoch: 3,
24
+ sources: ["rec-a", "rec-b"],
25
+ ...over
26
+ };
27
+ }
28
+
29
+ function serviceSetup() {
30
+ const store = createStore(":memory:");
31
+ const service = createService({ store, mirror: null, config: {} });
32
+ return { store, service };
33
+ }
34
+
35
+ function snapshotFrom(service) {
36
+ return service.all()
37
+ .filter((m) => !m.archived && m.type !== "summary")
38
+ .reduce((map, m) => map.set(m.id, m), new Map());
39
+ }
40
+
41
+ // A runDream ctx whose LLM yields the given decisions first, then a summary.
42
+ function mockCtx(decisions, logger) {
43
+ let calls = 0;
44
+ return {
45
+ llm: {
46
+ stream: async function* () {
47
+ calls++;
48
+ const text = calls === 1
49
+ ? JSON.stringify(decisions)
50
+ : "记忆库总览摘要文本";
51
+ yield { type: "text-delta", text };
52
+ yield { type: "finish", reason: { kind: "ok" } };
53
+ }
54
+ },
55
+ logger: logger ?? { warn: () => {} }
56
+ };
57
+ }
58
+
59
+ function dreamConfig(over = {}) {
60
+ return {
61
+ dreamProvider: "deepseek",
62
+ dreamModel: "deepseek-chat",
63
+ reflectionUpdateMinAgeHours: 0,
64
+ reflectionUpdateMaxPerRun: 2,
65
+ ...over
66
+ };
67
+ }
68
+
69
+ // === store layer: receipt_chain CRUD + upsert idempotency ================
70
+
71
+ test("store saveReceipt→getReceipt round trip preserves fields and parses sources JSON", () => {
72
+ const { store, close } = openStore();
73
+ const saved = store.saveReceipt(fullReceipt({
74
+ receipt_id: "r-1",
75
+ winner_id: "rec-a",
76
+ loser_id: "rec-b",
77
+ keep_source: "rec-a",
78
+ sources: ["rec-a", "rec-b", "偏好:中文", "with \"quotes\"\nand 换行"]
79
+ }));
80
+ assert.equal(saved.receipt_id, "r-1");
81
+ const got = store.getReceipt("r-1");
82
+ assert.ok(got, "receipt readable");
83
+ assert.equal(got.receipt_id, "r-1");
84
+ assert.equal(got.run_id, "run-1");
85
+ assert.equal(got.record_id, "rec-a");
86
+ assert.equal(got.kind, "merge");
87
+ assert.equal(got.input_digest, "d".repeat(64));
88
+ assert.equal(got.winner_id, "rec-a");
89
+ assert.equal(got.loser_id, "rec-b");
90
+ assert.equal(got.keep_source, "rec-a");
91
+ assert.equal(got.verdict, "live");
92
+ assert.equal(got.count_before, 2);
93
+ assert.equal(got.count_after, 1);
94
+ assert.equal(got.policy_epoch, 3);
95
+ assert.ok(got.created_at, "has created_at");
96
+ assert.deepEqual(got.sources, ["rec-a", "rec-b", "偏好:中文", "with \"quotes\"\nand 换行"], "sources JSON round-trips");
97
+ close();
98
+ });
99
+
100
+ test("store sources: empty array round-trips as [] and undefined defaults to []", () => {
101
+ const { store, close } = openStore();
102
+ store.saveReceipt(fullReceipt({ receipt_id: "r-e", sources: [] }));
103
+ assert.deepEqual(store.getReceipt("r-e").sources, []);
104
+ store.saveReceipt(fullReceipt({ receipt_id: "r-u", sources: undefined }));
105
+ assert.deepEqual(store.getReceipt("r-u").sources, [], "missing sources default to empty array, not null");
106
+ close();
107
+ });
108
+
109
+ test("store saveReceipt auto-generates receipt_id and getReceipt finds it", () => {
110
+ const { store, close } = openStore();
111
+ const saved = store.saveReceipt(fullReceipt({ receipt_id: undefined }));
112
+ assert.ok(saved.receipt_id, "id generated");
113
+ assert.equal(store.getReceipt(saved.receipt_id).kind, "merge");
114
+ close();
115
+ });
116
+
117
+ test("store upsert idempotent: same receipt_id overwrites, never duplicates", () => {
118
+ const { store, close } = openStore();
119
+ store.saveReceipt(fullReceipt({ receipt_id: "r-x", count_after: 1 }));
120
+ store.saveReceipt(fullReceipt({ receipt_id: "r-x", count_after: 2 }));
121
+ store.saveReceipt(fullReceipt({ receipt_id: "r-x", count_after: 3 }));
122
+ const all = store.listReceipts();
123
+ assert.equal(all.length, 1, "replay overwrites in place");
124
+ assert.equal(all[0].count_after, 3, "latest payload wins");
125
+ assert.equal(store.getReceipt("r-x").count_after, 3);
126
+ close();
127
+ });
128
+
129
+ test("store listReceipts filters by run_id and returns [] on miss or empty table", () => {
130
+ const { store, close } = openStore();
131
+ assert.deepEqual(store.listReceipts(), [], "empty table -> []");
132
+ assert.deepEqual(store.listReceipts({ run_id: "nope" }), []);
133
+ store.saveReceipt(fullReceipt({ receipt_id: "r-1", run_id: "run-a" }));
134
+ store.saveReceipt(fullReceipt({ receipt_id: "r-2", run_id: "run-b" }));
135
+ const onlyA = store.listReceipts({ run_id: "run-a" });
136
+ assert.equal(onlyA.length, 1);
137
+ assert.equal(onlyA[0].run_id, "run-a");
138
+ assert.deepEqual(store.listReceipts({ run_id: "run-miss" }), []);
139
+ close();
140
+ });
141
+
142
+ test("store getReceipt miss returns undefined without throwing", () => {
143
+ const { store, close } = openStore();
144
+ assert.equal(store.getReceipt("no-such-receipt"), undefined);
145
+ close();
146
+ });
147
+
148
+ test("store policy_epoch: default 0, explicit value preserved", () => {
149
+ const { store, close } = openStore();
150
+ store.saveReceipt(fullReceipt({ receipt_id: "r-0", policy_epoch: undefined }));
151
+ assert.equal(store.getReceipt("r-0").policy_epoch, 0);
152
+ store.saveReceipt(fullReceipt({ receipt_id: "r-7", policy_epoch: 7 }));
153
+ assert.equal(store.getReceipt("r-7").policy_epoch, 7);
154
+ close();
155
+ });
156
+
157
+ // === decisions layer: count_before/count_after on committed verdicts =====
158
+
159
+ test("decisions merge committed carries count_before = ids.length (sources+1), count_after = 1", () => {
160
+ const { store, service } = serviceSetup();
161
+ const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧甲" });
162
+ const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧乙" });
163
+ const c = service.saveWithDedupe({ type: "project", title: "丙", content: "旧丙" });
164
+ const { committed } = applyDecisions([{
165
+ action: "merge", ids: [a.memory.id, b.memory.id, c.memory.id], title: "总览", content: "合并", importance: 4, keepSource: b.memory.id
166
+ }], service);
167
+ const merge = committed.find((x) => x.action === "merge");
168
+ assert.ok(merge, "merge committed");
169
+ assert.equal(merge.count_before, 3, "before = ids.length = sources.length + 1");
170
+ assert.equal(merge.count_after, 1);
171
+ store.close();
172
+ });
173
+
174
+ test("decisions conflict committed carries 2→1, update committed carries 1→1", () => {
175
+ const { store, service } = serviceSetup();
176
+ const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
177
+ const l = service.saveWithDedupe({ type: "decision", title: "旧截止", content: "8月15日" });
178
+ const u = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
179
+ const { committed } = applyDecisions([
180
+ { action: "conflict", winner: w.memory.id, loser: l.memory.id, reason: "更新" },
181
+ { action: "update", ids: [u.memory.id], content: "中英双语" }
182
+ ], service);
183
+ const conflict = committed.find((x) => x.action === "conflict");
184
+ const update = committed.find((x) => x.action === "update");
185
+ assert.deepEqual([conflict.count_before, conflict.count_after], [2, 1]);
186
+ assert.deepEqual([update.count_before, update.count_after], [1, 1]);
187
+ store.close();
188
+ });
189
+
190
+ test("decisions keep/archive committed entries carry no count fields (not receipt candidates)", () => {
191
+ const { store, service } = serviceSetup();
192
+ const k = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
193
+ const a = service.saveWithDedupe({ type: "project", title: "废弃", content: "过时" });
194
+ const { committed } = applyDecisions([
195
+ { action: "keep", ids: [k.memory.id] },
196
+ { action: "archive", ids: [a.memory.id], reason: "过时" }
197
+ ], service);
198
+ assert.ok(committed.length >= 2, "keep + archive recorded");
199
+ for (const c of committed) {
200
+ assert.equal(c.count_before, undefined, `${c.action} has no count_before`);
201
+ assert.equal(c.count_after, undefined, `${c.action} has no count_after`);
202
+ }
203
+ store.close();
204
+ });
205
+
206
+ test("decisions skipped decisions never enter committed", () => {
207
+ const { store, service } = serviceSetup();
208
+ const { committed } = applyDecisions([{ action: "archive", ids: ["ghost"], reason: "x" }], service);
209
+ assert.equal(committed.length, 0, "unknown id skipped, not committed");
210
+ store.close();
211
+ });
212
+
213
+ test("decisions empty list -> empty committed, no side effects", () => {
214
+ const { store, service } = serviceSetup();
215
+ assert.deepEqual(applyDecisions([], service).committed, []);
216
+ store.close();
217
+ });
218
+
219
+ test("decisions mixed batch: each verdict carries its own independent counts", () => {
220
+ const { store, service } = serviceSetup();
221
+ const a = service.saveWithDedupe({ type: "project", title: "甲", content: "c1" });
222
+ const b = service.saveWithDedupe({ type: "project", title: "乙", content: "c2" });
223
+ const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
224
+ const l = service.saveWithDedupe({ type: "decision", title: "旧", content: "8月15日" });
225
+ const u = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
226
+ const { committed } = applyDecisions([
227
+ { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", keepSource: a.memory.id },
228
+ { action: "conflict", winner: w.memory.id, loser: l.memory.id },
229
+ { action: "update", ids: [u.memory.id], content: "中英双语" }
230
+ ], service);
231
+ assert.equal(committed.length, 3);
232
+ assert.deepEqual(committed.map((c) => [c.action, c.count_before, c.count_after]), [
233
+ ["merge", 2, 1],
234
+ ["conflict", 2, 1],
235
+ ["update", 1, 1]
236
+ ]);
237
+ store.close();
238
+ });
239
+
240
+ // === dream E2E: buildRecordReceipts writes the receipt_chain =============
241
+
242
+ test("E2E runDream writes one receipt per committed merge/conflict/update verdict", async () => {
243
+ const { store, service } = serviceSetup();
244
+ const a = service.saveWithDedupe({ type: "project", title: "插件", content: "旧" });
245
+ const b = service.saveWithDedupe({ type: "project", title: "插件2", content: "新细节" });
246
+ const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
247
+ const l = service.saveWithDedupe({ type: "decision", title: "旧截止", content: "8月15日" });
248
+ const u = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
249
+ const decisions = [
250
+ { action: "merge", ids: [a.memory.id, b.memory.id], title: "插件总览", content: "合并内容", importance: 5, keepSource: a.memory.id },
251
+ { action: "conflict", winner: w.memory.id, loser: l.memory.id, reason: "更新" },
252
+ { action: "update", ids: [u.memory.id], content: "中英双语" }
253
+ ];
254
+ // Backdate the update target: with reflectionUpdateMinAgeHours=0 the age guard
255
+ // is `ageHours < 0`, and the store's monotonic timestamp guard can push a
256
+ // just-created memory's created_at a few ms into the "future", spuriously
257
+ // rejecting it as too young (a real timing-dependent edge). An established
258
+ // memory sidesteps that and makes the update path deterministic.
259
+ store.db.prepare("UPDATE memories SET created_at = ? WHERE id = ?")
260
+ .run(new Date(Date.now() - 3600_000).toISOString(), u.memory.id);
261
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
262
+ const result = await dream.runDream(mockCtx(decisions), service, dreamConfig({ policyEpoch: 5 }));
263
+ assert.equal(result.ok, true);
264
+ assert.equal(result.applied, 3, "all three verdicts applied");
265
+
266
+ const receipts = store.listReceipts();
267
+ assert.equal(receipts.length, 3, "exactly 3 per-record receipts");
268
+ const byKind = Object.fromEntries(receipts.map((r) => [r.kind, r]));
269
+ for (const kind of ["merge", "conflict", "update"]) {
270
+ const r = byKind[kind];
271
+ assert.ok(r, `${kind} receipt exists`);
272
+ assert.equal(r.verdict, "live", `${kind} verdict live`);
273
+ assert.equal(r.policy_epoch, 5, `${kind} carries run policy_epoch`);
274
+ assert.equal(r.run_id, result.runId, `${kind} tied to the run`);
275
+ assert.match(r.input_digest, /^[0-9a-f]{64}$/, `${kind} digest is sha256 hex`);
276
+ }
277
+ assert.equal(byKind.merge.record_id, a.memory.id, "merge receipt on keepSource");
278
+ assert.equal(byKind.merge.keep_source, a.memory.id);
279
+ assert.deepEqual(byKind.merge.sources, [a.memory.id, b.memory.id], "merge sources = ids");
280
+ assert.deepEqual([byKind.merge.count_before, byKind.merge.count_after], [2, 1]);
281
+ assert.equal(byKind.conflict.record_id, w.memory.id, "conflict receipt on winner");
282
+ assert.equal(byKind.conflict.winner_id, w.memory.id);
283
+ assert.equal(byKind.conflict.loser_id, l.memory.id);
284
+ assert.deepEqual([byKind.conflict.count_before, byKind.conflict.count_after], [2, 1]);
285
+ assert.equal(byKind.update.record_id, u.memory.id, "update receipt on target");
286
+ assert.deepEqual([byKind.update.count_before, byKind.update.count_after], [1, 1]);
287
+ store.close();
288
+ });
289
+
290
+ test("E2E receipt input_digest reproduces hashDecisionInput of the run snapshot", async () => {
291
+ const { store, service } = serviceSetup();
292
+ const a = service.saveWithDedupe({ type: "project", title: "插件", content: "旧" });
293
+ const b = service.saveWithDedupe({ type: "project", title: "插件2", content: "新细节" });
294
+ const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
295
+ const l = service.saveWithDedupe({ type: "decision", title: "旧截止", content: "8月15日" });
296
+ const before = snapshotFrom(service); // the exact input the run will arbitrate against
297
+ const decisions = [
298
+ { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id },
299
+ { action: "conflict", winner: w.memory.id, loser: l.memory.id }
300
+ ];
301
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
302
+ await dream.runDream(mockCtx(decisions), service, dreamConfig());
303
+
304
+ const receipts = store.listReceipts();
305
+ const merge = receipts.find((r) => r.kind === "merge");
306
+ const conflict = receipts.find((r) => r.kind === "conflict");
307
+ assert.equal(merge.input_digest, hashDecisionInput([before.get(a.memory.id), before.get(b.memory.id)]), "merge digest = hash of its sources");
308
+ assert.equal(conflict.input_digest, hashDecisionInput([before.get(w.memory.id), before.get(l.memory.id)]), "conflict digest = hash of winner+loser");
309
+ store.close();
310
+ });
311
+
312
+ test("E2E keep + archive decisions produce no receipts", async () => {
313
+ const { store, service } = serviceSetup();
314
+ const k = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
315
+ const a = service.saveWithDedupe({ type: "project", title: "合并", content: "旧" });
316
+ const b = service.saveWithDedupe({ type: "project", title: "合并2", content: "新" });
317
+ const x = service.saveWithDedupe({ type: "project", title: "废弃", content: "过时" });
318
+ const decisions = [
319
+ { action: "keep", ids: [k.memory.id] },
320
+ { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id },
321
+ { action: "archive", ids: [x.memory.id], reason: "过时" }
322
+ ];
323
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
324
+ const result = await dream.runDream(mockCtx(decisions), service, dreamConfig());
325
+ assert.equal(result.ok, true, "full list applied");
326
+ const receipts = store.listReceipts();
327
+ assert.equal(receipts.length, 1, "only the merge verdict produced a receipt");
328
+ assert.equal(receipts[0].kind, "merge");
329
+ store.close();
330
+ });
331
+
332
+ test("E2E rerun of already-applied decisions writes no duplicate receipts", async () => {
333
+ const { store, service } = serviceSetup();
334
+ const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧" });
335
+ const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧2" });
336
+ const decisions = [
337
+ { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id }
338
+ ];
339
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
340
+ const first = await dream.runDream(mockCtx(decisions), service, dreamConfig());
341
+ assert.equal(first.applied, 1);
342
+ assert.equal(store.listReceipts().length, 1);
343
+ // Re-running the identical raw LLM output is prevented before apply: the
344
+ // merge source is already archived, so validation rejects it — either way,
345
+ // no second receipt may appear (the chain stays one row per verdict).
346
+ const second = await dream.runDream(mockCtx(decisions), service, dreamConfig());
347
+ assert.equal(second.ok, false, "re-application rejected by validation");
348
+ assert.equal(store.listReceipts().length, 1, "receipt count did not grow");
349
+ store.close();
350
+ });
351
+
352
+ test("E2E audit run row is written alongside receipts under the same run_id", async () => {
353
+ const { store, service } = serviceSetup();
354
+ const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧" });
355
+ const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧2" });
356
+ const decisions = [
357
+ { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id }
358
+ ];
359
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
360
+ const result = await dream.runDream(mockCtx(decisions), service, dreamConfig());
361
+ const runRow = store.db.prepare("SELECT * FROM dream_runs WHERE id = ?").get(result.runId);
362
+ assert.ok(runRow, "audit row persisted");
363
+ const receipts = store.listReceipts({ run_id: result.runId });
364
+ assert.equal(receipts.length, 1, "receipts filterable by the run");
365
+ store.close();
366
+ });
367
+
368
+ // === fail-safe: receipt writes never block consolidation =================
369
+
370
+ test("fail-safe: saveReceipt throwing does not block runDream, warns, and memories still consolidate", async () => {
371
+ const { store, service } = serviceSetup();
372
+ const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧" });
373
+ const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧2" });
374
+ const warnings = [];
375
+ const originalSaveReceipt = service.saveReceipt;
376
+ service.saveReceipt = (r) => {
377
+ throw new Error("disk full");
378
+ };
379
+ const decisions = [
380
+ { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id }
381
+ ];
382
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
383
+ const result = await dream.runDream(mockCtx(decisions, { warn: (m) => warnings.push(m) }), service, dreamConfig());
384
+ service.saveReceipt = originalSaveReceipt;
385
+ assert.equal(result.ok, true, "runDream still ok when receipt write fails");
386
+ assert.equal(result.applied, 1, "consolidation applied despite receipt failure");
387
+ assert.equal(store.getById(a.memory.id).title, "总", "keeper updated despite receipt failure");
388
+ assert.equal(store.getById(b.memory.id).archived, true, "source archived despite receipt failure");
389
+ assert.ok(warnings.some((m) => m.includes("per-record receipt")), "receipt failure logged");
390
+ assert.equal(store.listReceipts().length, 0, "no partial receipt rows");
391
+ store.close();
392
+ });
393
+
394
+ test("fail-safe: saveReceipt throwing still writes the run audit row", async () => {
395
+ const { store, service } = serviceSetup();
396
+ const a = service.saveWithDedupe({ type: "project", title: "甲", content: "旧" });
397
+ const b = service.saveWithDedupe({ type: "project", title: "乙", content: "旧2" });
398
+ service.saveReceipt = () => { throw new Error("boom"); };
399
+ const decisions = [
400
+ { action: "merge", ids: [a.memory.id, b.memory.id], title: "总", content: "合", importance: 4, keepSource: a.memory.id }
401
+ ];
402
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
403
+ const result = await dream.runDream(mockCtx(decisions), service, dreamConfig());
404
+ const runRow = store.db.prepare("SELECT * FROM dream_runs WHERE id = ?").get(result.runId);
405
+ assert.ok(runRow, "audit trail survives receipt failure");
406
+ store.close();
407
+ });
408
+
409
+ // === input_digest content addressing =====================================
410
+
411
+ test("hashDecisionInput is deterministic and order-independent", () => {
412
+ const memories = [
413
+ { id: "a", title: "标题", content: "内容", importance: 3 },
414
+ { id: "b", title: "t", content: "c", importance: 4 }
415
+ ];
416
+ const d1 = hashDecisionInput(memories);
417
+ const d2 = hashDecisionInput([...memories].reverse());
418
+ assert.equal(d1, d2, "same inputs in any order hash the same");
419
+ assert.match(d1, /^[0-9a-f]{64}$/, "sha256 hex digest");
420
+ });
421
+
422
+ test("hashDecisionInput is sensitive: any field change yields a different digest", () => {
423
+ const base = { id: "a", title: "标题", content: "内容", importance: 3 };
424
+ const d = hashDecisionInput([base]);
425
+ assert.notEqual(hashDecisionInput([{ ...base, content: "内容X" }]), d, "content change");
426
+ assert.notEqual(hashDecisionInput([{ ...base, title: "标题X" }]), d, "title change");
427
+ assert.notEqual(hashDecisionInput([{ ...base, importance: 4 }]), d, "importance change");
428
+ assert.notEqual(hashDecisionInput([{ ...base, id: "b" }]), d, "id change");
429
+ });
430
+
431
+ test("hashDecisionInput empty input is stable and distinct from any non-empty input", () => {
432
+ const empty = hashDecisionInput([]);
433
+ const empty2 = hashDecisionInput([]);
434
+ assert.equal(empty, empty2, "empty is deterministic");
435
+ assert.notEqual(empty, hashDecisionInput([{ id: "a", title: "", content: "", importance: 1 }]));
436
+ assert.notEqual(empty, hashDecisionInput([{ id: "a", title: "x", content: "y", importance: 1 }]));
437
+ });
438
+
439
+ test("E2E receipts never double for same record across one run (one row per verdict)", async () => {
440
+ const { store, service } = serviceSetup();
441
+ const w = service.saveWithDedupe({ type: "decision", title: "截止", content: "8月20日" });
442
+ const l = service.saveWithDedupe({ type: "decision", title: "旧", content: "8月15日" });
443
+ const decisions = [{ action: "conflict", winner: w.memory.id, loser: l.memory.id }];
444
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
445
+ await dream.runDream(mockCtx(decisions), service, dreamConfig());
446
+ const receipts = store.listReceipts();
447
+ assert.equal(receipts.length, 1);
448
+ assert.equal(receipts[0].kind, "conflict");
449
+ assert.equal(receipts[0].verdict, "live");
450
+ store.close();
451
+ });