@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
@@ -0,0 +1,162 @@
1
+ // 叙述条(#164 对齐,PR-4)测试。
2
+ // 覆盖:evidence 列迁移与透传(save/update/parse 回环)/ clusterByTag 纯函数
3
+ // (≥K 门槛、降序、cap)/ intersectEvidence(捏造 id 剔除、交空回落全簇)/
4
+ // dream 叙述阶段端到端(enabled 时第三次 LLM 调用、求交落库、source=narrative)/
5
+ // 默认关零调用 / 低于门槛零调用 / 注入排除(narrative 不进候选,dream 总览保留)。
6
+ import test from "node:test";
7
+ import assert from "node:assert/strict";
8
+ import { createStore } from "../src/store.js";
9
+ import { createService } from "../src/service.js";
10
+ import { createDreamScheduler } from "../src/dream.js";
11
+ import { clusterByTag, intersectEvidence } from "../src/dream/narratives.js";
12
+
13
+ function setup(config = {}) {
14
+ const store = createStore(":memory:");
15
+ const service = createService({ store, mirror: null, config });
16
+ return { store, service };
17
+ }
18
+
19
+ function mockCtx(sequence, callsRef) {
20
+ return {
21
+ llm: {
22
+ stream: async function* () {
23
+ const step = sequence[callsRef.n] ?? { summary: "空转" };
24
+ callsRef.n++;
25
+ const text = step.decisions !== undefined ? JSON.stringify(step.decisions) : step.summary;
26
+ yield { type: "text-delta", text };
27
+ yield { type: "finish", reason: { kind: "ok" } };
28
+ }
29
+ },
30
+ logger: { warn: () => {} }
31
+ };
32
+ }
33
+
34
+ // ============================================================ store evidence 回环
35
+
36
+ test("evidence column roundtrips through save and update", () => {
37
+ const { store, service } = setup();
38
+ const ev = [{ memory_id: "m1", op: "support", at: "2026-09-17T00:00:00.000Z" }];
39
+ const { memory } = service.saveWithDedupe({
40
+ type: "summary", title: "叙述:部署", content: "叙述正文", source: "narrative", evidence: ev
41
+ });
42
+ assert.deepEqual(store.getById(memory.id).evidence, ev);
43
+ const ev2 = [{ memory_id: "m2", op: "weaken", at: "2026-09-18T00:00:00.000Z" }];
44
+ store.update(memory.id, { evidence: ev2 });
45
+ assert.deepEqual(store.getById(memory.id).evidence, ev2);
46
+ store.close();
47
+ });
48
+
49
+ test("rows without evidence parse to an empty array", () => {
50
+ const { store, service } = setup();
51
+ const { memory } = service.saveWithDedupe({ type: "project", title: "普通", content: "无证据" });
52
+ assert.deepEqual(store.getById(memory.id).evidence, []);
53
+ store.close();
54
+ });
55
+
56
+ // ============================================================ 纯函数
57
+
58
+ test("clusterByTag: threshold, size desc, cap", () => {
59
+ const mems = [
60
+ { id: "a", tags: ["部署"] }, { id: "b", tags: ["部署"] }, { id: "c", tags: ["部署"] },
61
+ { id: "d", tags: ["检索"] }, { id: "e", tags: ["检索"] }, { id: "f", tags: ["检索"] },
62
+ { id: "g", tags: ["检索"] }, { id: "h", tags: ["孤儿"] }, { id: "i", tags: [123] }
63
+ ];
64
+ const clusters = clusterByTag(mems, { minCluster: 3, cap: 1 });
65
+ assert.equal(clusters.length, 1);
66
+ assert.equal(clusters[0].tag, "检索");
67
+ assert.equal(clusters[0].members.length, 4);
68
+ const two = clusterByTag(mems, { minCluster: 3, cap: 3 });
69
+ assert.deepEqual(two.map((c) => c.tag), ["检索", "部署"]);
70
+ });
71
+
72
+ test("intersectEvidence drops fabricated ids; empty falls back to all members", () => {
73
+ const members = [{ id: "a" }, { id: "b" }, { id: "c" }];
74
+ assert.deepEqual(intersectEvidence(["a", "fabricated"], members), ["a"]);
75
+ assert.deepEqual(intersectEvidence(["x", "y"], members), ["a", "b", "c"]);
76
+ assert.deepEqual(intersectEvidence(undefined, members), ["a", "b", "c"]);
77
+ });
78
+
79
+ // ============================================================ dream 叙述阶段
80
+
81
+ function seedDeploy(store, service) {
82
+ const mems = [];
83
+ for (const t of ["发布", "回滚", "盯盘"]) {
84
+ mems.push(service.saveWithDedupe({ type: "project", title: t, content: `${t}相关的事实记录。`, tags: ["部署"] }).memory);
85
+ }
86
+ service.saveWithDedupe({ type: "preference", title: "无关", content: "别的话题。", tags: ["其他"] });
87
+ return mems;
88
+ }
89
+
90
+ test("narrative phase synthesizes per-topic bars with intersected evidence", async () => {
91
+ const { store, service } = setup();
92
+ const mems = seedDeploy(store, service);
93
+ const callsRef = { n: 0 };
94
+ const narrativeJson = JSON.stringify([
95
+ { tag: "部署", content: "部署主题已积累三条事实:发布、回滚与盯盘均已闭环。", evidence: [mems[0].id, "fabricated-id"] }
96
+ ]);
97
+ const ctx = mockCtx([{ decisions: [] }, { summary: "总览叙述" }, { summary: narrativeJson }], callsRef);
98
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
99
+ const result = await dream.runDream(ctx, service, { dreamProvider: "deepseek", dreamModel: "deepseek-chat", dreamNarrativeEnabled: true });
100
+ assert.equal(result.narratives, 1, "one narrative stored");
101
+ const bar = store.all().find((m) => m.source === "narrative");
102
+ assert.ok(bar, "narrative row exists");
103
+ assert.equal(bar.title, "叙述:部署");
104
+ assert.equal(bar.type, "summary");
105
+ assert.equal(bar.evidence.length, 1, "fabricated id dropped by intersection");
106
+ assert.equal(bar.evidence[0].memory_id, mems[0].id);
107
+ assert.equal(bar.evidence[0].op, "support");
108
+ store.close();
109
+ });
110
+
111
+ test("narrative phase off by default: no extra LLM call", async () => {
112
+ const { store, service } = setup();
113
+ seedDeploy(store, service);
114
+ const callsRef = { n: 0 };
115
+ const ctx = mockCtx([{ decisions: [] }, { summary: "总览叙述" }], callsRef);
116
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
117
+ await dream.runDream(ctx, service, { dreamProvider: "deepseek", dreamModel: "deepseek-chat" });
118
+ assert.equal(callsRef.n, 2, "only consolidation + summary calls");
119
+ assert.equal(store.all().filter((m) => m.source === "narrative").length, 0);
120
+ store.close();
121
+ });
122
+
123
+ test("below minCluster threshold: no narrative call even when enabled", async () => {
124
+ const { store, service } = setup();
125
+ service.saveWithDedupe({ type: "project", title: "甲", content: "c", tags: ["部署"] });
126
+ service.saveWithDedupe({ type: "project", title: "乙", content: "c", tags: ["部署"] });
127
+ const callsRef = { n: 0 };
128
+ const ctx = mockCtx([{ decisions: [] }, { summary: "总览叙述" }], callsRef);
129
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
130
+ await dream.runDream(ctx, service, { dreamProvider: "deepseek", dreamModel: "deepseek-chat", dreamNarrativeEnabled: true });
131
+ assert.equal(callsRef.n, 2, "no narrative call without a qualifying cluster");
132
+ store.close();
133
+ });
134
+
135
+ // ============================================================ 注入排除
136
+
137
+ test("narrative dedupes by tag across language switches (no duplicate row)", () => {
138
+ const { store, service } = setup();
139
+ service.saveWithDedupe({ type: "summary", title: "叙述:部署", content: "中文叙述", importance: 3, source: "narrative", tags: ["部署"] });
140
+ // generateNarratives 落库恒走 _overwrite(标题=主题键,原地刷新)。
141
+ service.saveWithDedupe({ type: "summary", title: "Narrative: 部署", content: "English narrative", importance: 3, source: "narrative", tags: ["部署"], _overwrite: true });
142
+ const bars = store.all().filter((m) => m.source === "narrative");
143
+ assert.equal(bars.length, 1, "language switch must not create a duplicate narrative row");
144
+ assert.equal(bars[0].title, "Narrative: 部署", "row refreshes to the new language title");
145
+ assert.equal(bars[0].content, "English narrative");
146
+ store.close();
147
+ });
148
+
149
+ test("narrative bars are on-demand: excluded from injection, reachable via search", async () => {
150
+ const { store, service } = setup({ dreamNarrativeEnabled: false });
151
+ service.saveWithDedupe({ type: "summary", title: "记忆库总览", content: "当前状态叙述", importance: 5, source: "dream" });
152
+ service.saveWithDedupe({ type: "summary", title: "叙述:部署", content: "部署主题的事实聚合,含部署关键词。", importance: 3, source: "narrative" });
153
+ const candidates = service.injectCandidates({ query: "", maxItems: 5 });
154
+ const ids = new Set(candidates.map((c) => c.id));
155
+ const overview = store.all().find((m) => m.source === "dream");
156
+ const bar = store.all().find((m) => m.source === "narrative");
157
+ assert.ok(ids.has(overview.id), "dream overview stays resident-injectable");
158
+ assert.ok(!ids.has(bar.id), "per-topic narrative excluded from injection");
159
+ const rows = await service.searchMemories("部署", { mode: "keyword" });
160
+ assert.ok(rows.some((r) => r.id === bar.id), "narrative reachable via search");
161
+ store.close();
162
+ });
@@ -1,193 +1,193 @@
1
- import test from "node:test";
2
- import assert from "node:assert/strict";
3
- import { mkdtempSync, rmSync } from "node:fs";
4
- import { tmpdir } from "node:os";
5
- import { join } from "node:path";
6
- import { fileURLToPath } from "node:url";
7
- import { execFile } from "node:child_process";
8
- import { promisify } from "node:util";
9
- import { createStore } from "../src/store.js";
10
- import { createMirror } from "../src/mirror.js";
11
- import { createService } from "../src/service.js";
12
-
13
- const execFileP = promisify(execFile);
14
-
15
- /**
16
- * v0.3.8 回归测试(audit peer 6 项运行时阻断 → INSTALLATION_NOT_APPROVED)。
17
- *
18
- * 测试点:
19
- * A. 崩溃窗口(真实语义):store.save 在业务事务内原子递增 desired generation,
20
- * 崩溃在 COMMIT 后、syncMirror 前 → 重启 recoverMirror 仅凭
21
- * generation > applied_generation 捕获并收敛(peer blocker 1)
22
- * B. 业务写同事务原子性:INSERT 失败回滚时 generation 不得递增(peer blocker 1/3)
23
- * C. 多进程并发原子递增:8 进程 × 10 次不丢增量(peer blocker 3)
24
- * D. generation 上界/负数拒绝(peer blocker 6)
25
- */
26
-
27
- function setup(dbPath) {
28
- const dir = mkdtempSync(join(tmpdir(), "dsh-mneme-peer-"));
29
- const mirrorDir = join(dir, "mirror");
30
- const store = createStore(dbPath ?? ":memory:");
31
- const mirror = createMirror(mirrorDir);
32
- const warns = [];
33
- const logger = { warn: (...a) => warns.push(a.join(" ")) };
34
- const service = createService({ store, mirror, config: {}, logger });
35
- return { dir, mirrorDir, store, mirror, service, warns };
36
- }
37
-
38
- test("peer-A: 崩溃窗口——save 后(generation 已递增)不 sync 直接关闭重开,recoverMirror 捕获并收敛", () => {
39
- const dir = mkdtempSync(join(tmpdir(), "dsh-mneme-peer-"));
40
- const dbPath = join(dir, "mneme.db");
41
- const mirrorDir = join(dir, "mirror");
42
- try {
43
- const store = createStore(dbPath);
44
- const mirror = createMirror(mirrorDir);
45
- const service = createService({ store, mirror, config: {}, logger: { warn() {} } });
46
- try {
47
- // 业务写:store.save 在事务内递增 desired generation,但不触发 mirror 渲染
48
- store.save({ type: "project", title: "P", content: "x", importance: 3 });
49
- const afterSave = store.getMirrorState();
50
- assert.ok(afterSave.generation > afterSave.applied_generation,
51
- "save 后 generation > applied(COMMIT 完成,mirror 未同步=崩溃窗口)");
52
- } finally {
53
- // 模拟崩溃:不调 syncMirror,直接关库
54
- store.close();
55
- }
56
-
57
- // 重启:重新打开同一 DB,recoverMirror 必须捕获债务并收敛
58
- const store2 = createStore(dbPath);
59
- const mirror2 = createMirror(mirrorDir);
60
- const service2 = createService({ store: store2, mirror: mirror2, config: {}, logger: { warn() {} } });
61
- try {
62
- const result = service2.recoverMirror();
63
- assert.equal(result.recovered, true, "崩溃窗口必须被 recover 捕获");
64
- assert.equal(result.error, null);
65
- const state = store2.getMirrorState();
66
- assert.equal(state.dirty, false, "收敛后 dirty 清");
67
- assert.ok(state.generation <= state.applied_generation, "收敛后无未应用债务");
68
- } finally {
69
- store2.close();
70
- }
71
- } finally {
72
- rmSync(dir, { recursive: true, force: true });
73
- }
74
- });
75
-
76
- test("peer-B: 业务写同事务原子性——INSERT 失败回滚时 generation 不得递增", () => {
77
- const { dir, store } = setup();
78
- try {
79
- store.save({ id: "dup", type: "project", title: "A", content: "x", importance: 3 });
80
- const before = store.getMirrorState().generation;
81
- assert.throws(
82
- () => store.save({ id: "dup", type: "project", title: "B", content: "y", importance: 3 }),
83
- /UNIQUE|constraint/i,
84
- "重复主键 INSERT 必须抛错"
85
- );
86
- assert.equal(store.getMirrorState().generation, before,
87
- "回滚后 generation 不递增(写与 desired generation 同事务,失败一起回滚)");
88
- } finally {
89
- store.close();
90
- rmSync(dir, { recursive: true, force: true });
91
- }
92
- });
93
-
94
- test("peer-C: 多进程并发原子递增——8 进程×10 次 incrementGeneration 不丢增量", async () => {
95
- const dir = mkdtempSync(join(tmpdir(), "dsh-mneme-peer-"));
96
- const dbPath = join(dir, "concurrent.db");
97
- const N = 8;
98
- const M = 10;
99
- try {
100
- // 子进程:静态 worker 脚本(test/helpers/peer-worker.mjs,可审查、无动态
101
- // 生成代码),execFile 参数数组、无 shell;DB 路径与迭代数经 argv 传入。
102
- const workerPath = fileURLToPath(new URL("./helpers/peer-worker.mjs", import.meta.url));
103
- await Promise.all(
104
- Array.from({ length: N }, () =>
105
- execFileP(process.execPath, [workerPath, dbPath, String(M)], { timeout: 30000 })
106
- )
107
- );
108
- const store = createStore(dbPath);
109
- try {
110
- const state = store.getMirrorState();
111
- assert.equal(state.generation, N * M,
112
- `并发 ${N} 进程 × ${M} 次必须无丢失增量,得到 ${state.generation}`);
113
- } finally {
114
- store.close();
115
- }
116
- } finally {
117
- // Windows:8 个 SQLite 子进程退出后 -shm/-wal 句柄延迟释放,删目录偶发 EPERM;
118
- // rm 带 maxRetries 自动重试(30×100ms 共 3s),仍失败则放行——清理只是收尾,
119
- // 并发断言正确性由上方 generation 断言保证,残留临时目录交给 OS/CI 回收,
120
- // 绝不让句柄释放慢把 flaky 标红。
121
- try {
122
- rmSync(dir, { recursive: true, force: true, maxRetries: 30, retryDelay: 100 });
123
- } catch (err) {
124
- if (!["EPERM", "EBUSY", "EACCES"].includes(err.code)) throw err;
125
- }
126
- }
127
- });
128
-
129
- test("peer-D: generation 上界与负数拒绝", () => {
130
- const { dir, store } = setup();
131
- try {
132
- // 负数拒绝
133
- assert.throws(() => store.setMirrorState({ generation: -1 }), RangeError, "负数必须拒绝");
134
- assert.throws(() => store.setMirrorState({ applied_generation: -5 }), RangeError, "负数 applied 必须拒绝");
135
- // 超 MAX_SAFE_INTEGER 拒绝
136
- assert.throws(
137
- () => store.setMirrorState({ generation: Number.MAX_SAFE_INTEGER + 1 }),
138
- RangeError,
139
- "超出 MAX_SAFE_INTEGER 必须拒绝"
140
- );
141
- // 到上界后再 increment 必须抛错(读回不会 ERR_OUT_OF_RANGE)
142
- store.setMirrorState({ generation: Number.MAX_SAFE_INTEGER });
143
- assert.throws(() => store.incrementGeneration(), /exceeded MAX_SAFE_INTEGER/, "上界后再递增必须抛错");
144
- // 正常递增仍工作
145
- store.setMirrorState({ generation: 5 });
146
- assert.equal(store.incrementGeneration().generation, 6, "正常递增不受影响");
147
- } finally {
148
- store.close();
149
- rmSync(dir, { recursive: true, force: true });
150
- }
151
- });
152
-
153
- test("v0.3.9-A: compareAndUpdate 的 CAS UPDATE 与 generation 同事务——miss 不得递增", () => {
154
- const { dir, store } = setup();
155
- try {
156
- const saved = store.save({ type: "project", title: "CAS 原子", content: "v0" });
157
- const before = store.getById(saved.id);
158
- const genBefore = store.getMirrorState().generation;
159
-
160
- // 成功 CAS:业务写入 + generation 递增必须一次提交(同事务)
161
- const updated = store.compareAndUpdate(saved.id, before.updated_at, { content: "v1" });
162
- assert.ok(updated, "当前版本 CAS 必须成功");
163
- const genAfterOk = store.getMirrorState().generation;
164
- assert.equal(genAfterOk, genBefore + 1, "成功 CAS 必须恰好递增一次 generation");
165
-
166
- // miss CAS:不写任何东西,generation 也不得递增
167
- const stale = store.getById(saved.id).updated_at; // v1 的 token
168
- store.compareAndUpdate(saved.id, before.updated_at, { content: "v2" }); // 用旧 token → miss
169
- assert.equal(store.getById(saved.id).content, "v1", "miss 不得改数据");
170
- assert.equal(store.getMirrorState().generation, genAfterOk,
171
- "CAS miss 不得递增 generation(UPDATE 与 increment 必须同事务)");
172
- } finally {
173
- store.close();
174
- rmSync(dir, { recursive: true, force: true });
175
- }
176
- });
177
-
178
- test("v0.3.9-F: generation 非整数必须拒绝(不得截断)", () => {
179
- const { dir, store } = setup();
180
- try {
181
- // 审计 peer F:1.5 这类小数此前被 Math.trunc 截断 + SQLite CHECK 接受 → 静默脏值。
182
- // fail-closed:JS 与 SQL 统一只接受整数。
183
- assert.throws(() => store.setMirrorState({ generation: 1.5 }), RangeError, "小数 generation 必须拒绝");
184
- assert.throws(() => store.setMirrorState({ applied_generation: -1.5 }), RangeError, "负数小数必须拒绝");
185
- assert.throws(() => store.setMirrorState({ generation: Number.MAX_SAFE_INTEGER + 0.5 }), RangeError, "超界小数必须拒绝");
186
- // 整数仍正常
187
- const s = store.setMirrorState({ generation: 7 });
188
- assert.equal(s.generation, 7, "整数 generation 正常");
189
- } finally {
190
- store.close();
191
- rmSync(dir, { recursive: true, force: true });
192
- }
193
- });
1
+ import test from "node:test";
2
+ import assert from "node:assert/strict";
3
+ import { mkdtempSync, rmSync } from "node:fs";
4
+ import { tmpdir } from "node:os";
5
+ import { join } from "node:path";
6
+ import { fileURLToPath } from "node:url";
7
+ import { execFile } from "node:child_process";
8
+ import { promisify } from "node:util";
9
+ import { createStore } from "../src/store.js";
10
+ import { createMirror } from "../src/mirror.js";
11
+ import { createService } from "../src/service.js";
12
+
13
+ const execFileP = promisify(execFile);
14
+
15
+ /**
16
+ * v0.3.8 回归测试(audit peer 6 项运行时阻断 → INSTALLATION_NOT_APPROVED)。
17
+ *
18
+ * 测试点:
19
+ * A. 崩溃窗口(真实语义):store.save 在业务事务内原子递增 desired generation,
20
+ * 崩溃在 COMMIT 后、syncMirror 前 → 重启 recoverMirror 仅凭
21
+ * generation > applied_generation 捕获并收敛(peer blocker 1)
22
+ * B. 业务写同事务原子性:INSERT 失败回滚时 generation 不得递增(peer blocker 1/3)
23
+ * C. 多进程并发原子递增:8 进程 × 10 次不丢增量(peer blocker 3)
24
+ * D. generation 上界/负数拒绝(peer blocker 6)
25
+ */
26
+
27
+ function setup(dbPath) {
28
+ const dir = mkdtempSync(join(tmpdir(), "dsh-mneme-peer-"));
29
+ const mirrorDir = join(dir, "mirror");
30
+ const store = createStore(dbPath ?? ":memory:");
31
+ const mirror = createMirror(mirrorDir);
32
+ const warns = [];
33
+ const logger = { warn: (...a) => warns.push(a.join(" ")) };
34
+ const service = createService({ store, mirror, config: {}, logger });
35
+ return { dir, mirrorDir, store, mirror, service, warns };
36
+ }
37
+
38
+ test("peer-A: 崩溃窗口——save 后(generation 已递增)不 sync 直接关闭重开,recoverMirror 捕获并收敛", () => {
39
+ const dir = mkdtempSync(join(tmpdir(), "dsh-mneme-peer-"));
40
+ const dbPath = join(dir, "mneme.db");
41
+ const mirrorDir = join(dir, "mirror");
42
+ try {
43
+ const store = createStore(dbPath);
44
+ const mirror = createMirror(mirrorDir);
45
+ const service = createService({ store, mirror, config: {}, logger: { warn() {} } });
46
+ try {
47
+ // 业务写:store.save 在事务内递增 desired generation,但不触发 mirror 渲染
48
+ store.save({ type: "project", title: "P", content: "x", importance: 3 });
49
+ const afterSave = store.getMirrorState();
50
+ assert.ok(afterSave.generation > afterSave.applied_generation,
51
+ "save 后 generation > applied(COMMIT 完成,mirror 未同步=崩溃窗口)");
52
+ } finally {
53
+ // 模拟崩溃:不调 syncMirror,直接关库
54
+ store.close();
55
+ }
56
+
57
+ // 重启:重新打开同一 DB,recoverMirror 必须捕获债务并收敛
58
+ const store2 = createStore(dbPath);
59
+ const mirror2 = createMirror(mirrorDir);
60
+ const service2 = createService({ store: store2, mirror: mirror2, config: {}, logger: { warn() {} } });
61
+ try {
62
+ const result = service2.recoverMirror();
63
+ assert.equal(result.recovered, true, "崩溃窗口必须被 recover 捕获");
64
+ assert.equal(result.error, null);
65
+ const state = store2.getMirrorState();
66
+ assert.equal(state.dirty, false, "收敛后 dirty 清");
67
+ assert.ok(state.generation <= state.applied_generation, "收敛后无未应用债务");
68
+ } finally {
69
+ store2.close();
70
+ }
71
+ } finally {
72
+ rmSync(dir, { recursive: true, force: true });
73
+ }
74
+ });
75
+
76
+ test("peer-B: 业务写同事务原子性——INSERT 失败回滚时 generation 不得递增", () => {
77
+ const { dir, store } = setup();
78
+ try {
79
+ store.save({ id: "dup", type: "project", title: "A", content: "x", importance: 3 });
80
+ const before = store.getMirrorState().generation;
81
+ assert.throws(
82
+ () => store.save({ id: "dup", type: "project", title: "B", content: "y", importance: 3 }),
83
+ /UNIQUE|constraint/i,
84
+ "重复主键 INSERT 必须抛错"
85
+ );
86
+ assert.equal(store.getMirrorState().generation, before,
87
+ "回滚后 generation 不递增(写与 desired generation 同事务,失败一起回滚)");
88
+ } finally {
89
+ store.close();
90
+ rmSync(dir, { recursive: true, force: true });
91
+ }
92
+ });
93
+
94
+ test("peer-C: 多进程并发原子递增——8 进程×10 次 incrementGeneration 不丢增量", async () => {
95
+ const dir = mkdtempSync(join(tmpdir(), "dsh-mneme-peer-"));
96
+ const dbPath = join(dir, "concurrent.db");
97
+ const N = 8;
98
+ const M = 10;
99
+ try {
100
+ // 子进程:静态 worker 脚本(test/helpers/peer-worker.mjs,可审查、无动态
101
+ // 生成代码),execFile 参数数组、无 shell;DB 路径与迭代数经 argv 传入。
102
+ const workerPath = fileURLToPath(new URL("./helpers/peer-worker.mjs", import.meta.url));
103
+ await Promise.all(
104
+ Array.from({ length: N }, () =>
105
+ execFileP(process.execPath, [workerPath, dbPath, String(M)], { timeout: 30000 })
106
+ )
107
+ );
108
+ const store = createStore(dbPath);
109
+ try {
110
+ const state = store.getMirrorState();
111
+ assert.equal(state.generation, N * M,
112
+ `并发 ${N} 进程 × ${M} 次必须无丢失增量,得到 ${state.generation}`);
113
+ } finally {
114
+ store.close();
115
+ }
116
+ } finally {
117
+ // Windows:8 个 SQLite 子进程退出后 -shm/-wal 句柄延迟释放,删目录偶发 EPERM;
118
+ // rm 带 maxRetries 自动重试(30×100ms 共 3s),仍失败则放行——清理只是收尾,
119
+ // 并发断言正确性由上方 generation 断言保证,残留临时目录交给 OS/CI 回收,
120
+ // 绝不让句柄释放慢把 flaky 标红。
121
+ try {
122
+ rmSync(dir, { recursive: true, force: true, maxRetries: 30, retryDelay: 100 });
123
+ } catch (err) {
124
+ if (!["EPERM", "EBUSY", "EACCES"].includes(err.code)) throw err;
125
+ }
126
+ }
127
+ });
128
+
129
+ test("peer-D: generation 上界与负数拒绝", () => {
130
+ const { dir, store } = setup();
131
+ try {
132
+ // 负数拒绝
133
+ assert.throws(() => store.setMirrorState({ generation: -1 }), RangeError, "负数必须拒绝");
134
+ assert.throws(() => store.setMirrorState({ applied_generation: -5 }), RangeError, "负数 applied 必须拒绝");
135
+ // 超 MAX_SAFE_INTEGER 拒绝
136
+ assert.throws(
137
+ () => store.setMirrorState({ generation: Number.MAX_SAFE_INTEGER + 1 }),
138
+ RangeError,
139
+ "超出 MAX_SAFE_INTEGER 必须拒绝"
140
+ );
141
+ // 到上界后再 increment 必须抛错(读回不会 ERR_OUT_OF_RANGE)
142
+ store.setMirrorState({ generation: Number.MAX_SAFE_INTEGER });
143
+ assert.throws(() => store.incrementGeneration(), /exceeded MAX_SAFE_INTEGER/, "上界后再递增必须抛错");
144
+ // 正常递增仍工作
145
+ store.setMirrorState({ generation: 5 });
146
+ assert.equal(store.incrementGeneration().generation, 6, "正常递增不受影响");
147
+ } finally {
148
+ store.close();
149
+ rmSync(dir, { recursive: true, force: true });
150
+ }
151
+ });
152
+
153
+ test("v0.3.9-A: compareAndUpdate 的 CAS UPDATE 与 generation 同事务——miss 不得递增", () => {
154
+ const { dir, store } = setup();
155
+ try {
156
+ const saved = store.save({ type: "project", title: "CAS 原子", content: "v0" });
157
+ const before = store.getById(saved.id);
158
+ const genBefore = store.getMirrorState().generation;
159
+
160
+ // 成功 CAS:业务写入 + generation 递增必须一次提交(同事务)
161
+ const updated = store.compareAndUpdate(saved.id, before.updated_at, { content: "v1" });
162
+ assert.ok(updated, "当前版本 CAS 必须成功");
163
+ const genAfterOk = store.getMirrorState().generation;
164
+ assert.equal(genAfterOk, genBefore + 1, "成功 CAS 必须恰好递增一次 generation");
165
+
166
+ // miss CAS:不写任何东西,generation 也不得递增
167
+ const stale = store.getById(saved.id).updated_at; // v1 的 token
168
+ store.compareAndUpdate(saved.id, before.updated_at, { content: "v2" }); // 用旧 token → miss
169
+ assert.equal(store.getById(saved.id).content, "v1", "miss 不得改数据");
170
+ assert.equal(store.getMirrorState().generation, genAfterOk,
171
+ "CAS miss 不得递增 generation(UPDATE 与 increment 必须同事务)");
172
+ } finally {
173
+ store.close();
174
+ rmSync(dir, { recursive: true, force: true });
175
+ }
176
+ });
177
+
178
+ test("v0.3.9-F: generation 非整数必须拒绝(不得截断)", () => {
179
+ const { dir, store } = setup();
180
+ try {
181
+ // 审计 peer F:1.5 这类小数此前被 Math.trunc 截断 + SQLite CHECK 接受 → 静默脏值。
182
+ // fail-closed:JS 与 SQL 统一只接受整数。
183
+ assert.throws(() => store.setMirrorState({ generation: 1.5 }), RangeError, "小数 generation 必须拒绝");
184
+ assert.throws(() => store.setMirrorState({ applied_generation: -1.5 }), RangeError, "负数小数必须拒绝");
185
+ assert.throws(() => store.setMirrorState({ generation: Number.MAX_SAFE_INTEGER + 0.5 }), RangeError, "超界小数必须拒绝");
186
+ // 整数仍正常
187
+ const s = store.setMirrorState({ generation: 7 });
188
+ assert.equal(s.generation, 7, "整数 generation 正常");
189
+ } finally {
190
+ store.close();
191
+ rmSync(dir, { recursive: true, force: true });
192
+ }
193
+ });