@modusensus/dsh-mneme 0.8.14 → 0.8.16

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 (279) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +660 -654
  3. package/assets/icon.svg +3 -3
  4. package/bin/cli.mjs +691 -689
  5. package/bin/dsh-mneme-mcp.mjs +510 -510
  6. package/bin/dsh-mneme-serve.mjs +151 -151
  7. package/cordis.patch.yml +21 -21
  8. package/docs/CONFIGURATION.md +275 -0
  9. package/docs/CONTINUITY.md +124 -0
  10. package/docs/DAEMON.md +46 -0
  11. package/docs/DISTILL.md +162 -0
  12. package/docs/ENTITIES.md +245 -0
  13. package/docs/LOCAL_MODEL.md +222 -0
  14. package/docs/SEMANTIC.md +256 -0
  15. package/docs/SLEEP.md +164 -0
  16. package/docs/STORAGE.md +98 -0
  17. package/lib/api-standalone.js +656 -673
  18. package/lib/api.js +1605 -1433
  19. package/lib/bootstrap.js +211 -211
  20. package/lib/client.js +6354 -5296
  21. package/lib/commands.js +95 -95
  22. package/lib/config.js +947 -843
  23. package/lib/content-hash.js +54 -54
  24. package/lib/continuity.js +220 -220
  25. package/lib/document-index.js +94 -94
  26. package/lib/document.js +303 -303
  27. package/lib/dream/clustering.js +118 -118
  28. package/lib/dream/decisions.js +694 -674
  29. package/lib/dream/narratives.js +44 -44
  30. package/lib/dream/sleep.js +819 -819
  31. package/lib/dream.js +1503 -1501
  32. package/lib/embedding.js +177 -177
  33. package/lib/entities/extractor.js +252 -252
  34. package/lib/graph/anchoring.js +179 -179
  35. package/lib/guide.js +74 -74
  36. package/lib/heat.js +144 -144
  37. package/lib/hot-memory.js +108 -46
  38. package/lib/index.js +552 -503
  39. package/lib/inject.js +428 -450
  40. package/lib/lang.js +248 -229
  41. package/lib/local-embedder.js +358 -358
  42. package/lib/maintenance.js +162 -142
  43. package/lib/mirror.js +330 -330
  44. package/lib/organize.js +450 -450
  45. package/lib/peak-hours.js +117 -117
  46. package/lib/placement.js +13 -0
  47. package/lib/pre-inject-gate.js +340 -0
  48. package/lib/quality-filter.js +126 -126
  49. package/lib/recall-stats.js +190 -175
  50. package/lib/reclaim-http.js +150 -0
  51. package/lib/reranker.js +269 -269
  52. package/lib/runtime/adopt.js +176 -176
  53. package/lib/runtime/closure.js +172 -172
  54. package/lib/runtime/download.js +247 -247
  55. package/lib/runtime/layout.js +265 -265
  56. package/lib/runtime/loader.js +252 -252
  57. package/lib/runtime/model-fetch.js +361 -361
  58. package/lib/runtime/provision.js +237 -237
  59. package/lib/runtime/tarball.js +130 -130
  60. package/lib/runtime/verify.js +223 -204
  61. package/lib/safe-slice.js +18 -0
  62. package/lib/scope.js +146 -146
  63. package/lib/search/adaptive.js +60 -60
  64. package/lib/search/bm25.js +96 -96
  65. package/lib/semantic.js +229 -229
  66. package/lib/sensitive-scan.js +209 -209
  67. package/lib/serve.js +215 -215
  68. package/lib/service.js +2688 -2605
  69. package/lib/settings.js +528 -511
  70. package/lib/store.js +3196 -3007
  71. package/lib/summarize.js +1039 -856
  72. package/lib/tools.js +743 -737
  73. package/lib/vector-index.js +110 -110
  74. package/lib/version-check.js +122 -122
  75. package/lib/write-admission.js +402 -402
  76. package/locale/en.json +6 -6
  77. package/locale/zh.json +6 -6
  78. package/package.json +118 -118
  79. package/runtime-manifest.json +526 -526
  80. package/scripts/benchmark-embed.js +201 -201
  81. package/scripts/benchmark-recall.js +249 -249
  82. package/scripts/benchmark-rerank.js +166 -166
  83. package/scripts/build-runtime-manifest.mjs +224 -224
  84. package/scripts/changelog-prep.mjs +36 -36
  85. package/scripts/check-sync.js +42 -42
  86. package/scripts/e2e-dsh.js +220 -220
  87. package/scripts/mneme-runtime.mjs +277 -277
  88. package/scripts/stress-dsh.js +255 -255
  89. package/scripts/sync-lib.js +47 -47
  90. package/scripts/sync-test-badge.mjs +69 -69
  91. package/scripts/test-count-sync.mjs +44 -44
  92. package/src/api-standalone.js +656 -673
  93. package/src/api.js +1605 -1433
  94. package/src/bootstrap.js +211 -211
  95. package/src/commands.js +95 -95
  96. package/src/config.js +947 -843
  97. package/src/content-hash.js +54 -54
  98. package/src/continuity.js +220 -220
  99. package/src/document-index.js +94 -94
  100. package/src/document.js +303 -303
  101. package/src/dream/clustering.js +118 -118
  102. package/src/dream/decisions.js +694 -674
  103. package/src/dream/narratives.js +44 -44
  104. package/src/dream/sleep.js +819 -819
  105. package/src/dream.js +1503 -1501
  106. package/src/embedding.js +177 -177
  107. package/src/entities/extractor.js +252 -252
  108. package/src/graph/anchoring.js +179 -179
  109. package/src/guide.js +74 -74
  110. package/src/heat.js +144 -144
  111. package/src/hot-memory.js +108 -46
  112. package/src/index.js +552 -503
  113. package/src/inject.js +428 -450
  114. package/src/lang.js +248 -229
  115. package/src/local-embedder.js +358 -358
  116. package/src/maintenance.js +162 -142
  117. package/src/mirror.js +330 -330
  118. package/src/organize.js +450 -450
  119. package/src/peak-hours.js +117 -117
  120. package/src/placement.js +13 -0
  121. package/src/pre-inject-gate.js +340 -0
  122. package/src/quality-filter.js +126 -126
  123. package/src/recall-stats.js +190 -175
  124. package/src/reclaim-http.js +150 -0
  125. package/src/reranker.js +269 -269
  126. package/src/runtime/adopt.js +176 -176
  127. package/src/runtime/closure.js +172 -172
  128. package/src/runtime/download.js +247 -247
  129. package/src/runtime/layout.js +265 -265
  130. package/src/runtime/loader.js +252 -252
  131. package/src/runtime/model-fetch.js +361 -361
  132. package/src/runtime/provision.js +237 -237
  133. package/src/runtime/tarball.js +130 -130
  134. package/src/runtime/verify.js +223 -204
  135. package/src/safe-slice.js +18 -0
  136. package/src/scope.js +146 -146
  137. package/src/search/adaptive.js +60 -60
  138. package/src/search/bm25.js +96 -96
  139. package/src/semantic.js +229 -229
  140. package/src/sensitive-scan.js +209 -209
  141. package/src/serve.js +215 -215
  142. package/src/service.js +2688 -2605
  143. package/src/settings.js +528 -511
  144. package/src/store.js +3196 -3007
  145. package/src/summarize.js +1039 -856
  146. package/src/tools.js +743 -737
  147. package/src/vector-index.js +110 -110
  148. package/src/version-check.js +122 -122
  149. package/src/write-admission.js +402 -402
  150. package/test/adaptive-inject-budget.test.js +85 -85
  151. package/test/api-routes-gaps.test.js +899 -218
  152. package/test/api.test.js +1725 -1690
  153. package/test/audit.test.js +448 -448
  154. package/test/baseline-persist.test.js +248 -248
  155. package/test/benchmark.test.js +94 -94
  156. package/test/bootstrap.test.js +220 -220
  157. package/test/changelog-prep.test.js +60 -60
  158. package/test/client.test.js +1582 -1169
  159. package/test/clustering.test.js +100 -100
  160. package/test/commands.test.js +106 -106
  161. package/test/config.test.js +66 -66
  162. package/test/conflict-freeze.test.js +300 -300
  163. package/test/content-hash.test.js +204 -204
  164. package/test/continuity.test.js +333 -333
  165. package/test/contrast.test.js +314 -0
  166. package/test/document-dir.test.js +233 -233
  167. package/test/document.test.js +671 -671
  168. package/test/dream-archive-guardrail.test.js +116 -116
  169. package/test/dream-candidate-hybrid.test.js +281 -281
  170. package/test/dream-coverage-degrade.test.js +86 -86
  171. package/test/dream-failure-backoff.test.js +173 -173
  172. package/test/dream-merge-guardrail.test.js +219 -0
  173. package/test/dream-peak-hours.test.js +194 -194
  174. package/test/dream.test.js +1385 -1383
  175. package/test/embedding-ready.test.js +196 -196
  176. package/test/entities.test.js +627 -547
  177. package/test/entity-recall.test.js +179 -179
  178. package/test/epistemic.test.js +325 -325
  179. package/test/fnew-0112.test.js +311 -311
  180. package/test/fnew-03.test.js +422 -422
  181. package/test/graph-anchoring.test.js +184 -184
  182. package/test/graph-api.test.js +175 -175
  183. package/test/graph-inject-budget.test.js +103 -103
  184. package/test/graph-passive-confirm.test.js +91 -91
  185. package/test/graph-weight-evolution.test.js +104 -104
  186. package/test/heat.test.js +175 -175
  187. package/test/helpers/dream-mock.js +82 -82
  188. package/test/helpers/peer-worker.mjs +25 -25
  189. package/test/helpers/runtime-source.js +60 -60
  190. package/test/helpers/tar-builder.js +80 -80
  191. package/test/helpers/write-admission-samples.js +308 -308
  192. package/test/hot-memory.test.js +211 -145
  193. package/test/inject-content-cap.test.js +91 -91
  194. package/test/inject-first-round-bm25.test.js +89 -89
  195. package/test/inject-heat.test.js +77 -77
  196. package/test/inject-parent-gate.test.js +106 -106
  197. package/test/inject-pools.test.js +194 -194
  198. package/test/inject-recall.test.js +144 -105
  199. package/test/inject-rotation.test.js +161 -161
  200. package/test/inject.test.js +443 -420
  201. package/test/lang.test.js +87 -87
  202. package/test/lastrunat-persist.test.js +101 -101
  203. package/test/lib-smoke.test.js +96 -96
  204. package/test/llm-audit.test.js +696 -598
  205. package/test/llm-message-source.test.js +207 -207
  206. package/test/local-embedder.test.js +292 -292
  207. package/test/maintenance.test.js +501 -391
  208. package/test/mcp-stdio.test.js +385 -385
  209. package/test/mirror-dirty.test.js +424 -424
  210. package/test/mirror-edit-digest.test.js +187 -187
  211. package/test/mirror-generation.test.js +499 -499
  212. package/test/mirror-types.test.js +208 -208
  213. package/test/mirror.test.js +249 -249
  214. package/test/narrative-bars.test.js +162 -162
  215. package/test/organize.test.js +418 -418
  216. package/test/peer-blockers.test.js +193 -193
  217. package/test/placement.test.js +36 -0
  218. package/test/policy-epoch.test.js +259 -259
  219. package/test/pre-inject-gate.test.js +444 -0
  220. package/test/quality-filter.test.js +186 -186
  221. package/test/reasoning-effort.test.js +752 -752
  222. package/test/recall-anti-update.test.js +82 -82
  223. package/test/recall-evals.test.js +253 -253
  224. package/test/recall-layer.test.js +326 -326
  225. package/test/recall-stats.test.js +274 -189
  226. package/test/receipt-chain.test.js +451 -451
  227. package/test/reclaim-http.test.js +209 -0
  228. package/test/reflection.test.js +226 -226
  229. package/test/reindex-backfill.test.js +62 -62
  230. package/test/reranker-single-logit.test.js +73 -73
  231. package/test/reranker.test.js +197 -197
  232. package/test/resident-status.test.js +83 -83
  233. package/test/runtime-adopt.test.js +206 -206
  234. package/test/runtime-cli.test.js +89 -89
  235. package/test/runtime-closure.test.js +193 -193
  236. package/test/runtime-download.test.js +302 -302
  237. package/test/runtime-layout.test.js +163 -163
  238. package/test/runtime-loader.test.js +255 -255
  239. package/test/runtime-manifest.test.js +159 -159
  240. package/test/runtime-model-fetch.test.js +348 -348
  241. package/test/runtime-provision.test.js +101 -101
  242. package/test/runtime-tarball.test.js +81 -81
  243. package/test/runtime-verify.test.js +319 -279
  244. package/test/scope-candidates.test.js +239 -239
  245. package/test/scope-explicit.test.js +452 -452
  246. package/test/scope-inject-soft.test.js +106 -106
  247. package/test/scope-retrieval.test.js +197 -197
  248. package/test/scope-storage.test.js +255 -255
  249. package/test/scope-strict.test.js +367 -367
  250. package/test/search-fusion.test.js +90 -90
  251. package/test/semantic.test.js +124 -124
  252. package/test/sensitive-scan.test.js +207 -207
  253. package/test/serve-bin.test.js +121 -121
  254. package/test/serve.test.js +196 -196
  255. package/test/service-search.test.js +174 -174
  256. package/test/service.test.js +410 -405
  257. package/test/settings.test.js +269 -261
  258. package/test/skip-invalid-restore.test.js +262 -262
  259. package/test/sleep-action-set.test.js +422 -422
  260. package/test/sleep-heat.test.js +126 -126
  261. package/test/sleep-scheduler-rearm.test.js +89 -89
  262. package/test/sleep.test.js +527 -527
  263. package/test/standalone-api.test.js +751 -751
  264. package/test/store-vector-cache.test.js +98 -98
  265. package/test/store.test.js +504 -396
  266. package/test/stress.test.js +209 -209
  267. package/test/summarize-occurred-at.test.js +127 -0
  268. package/test/summarize-reasoning-effort.test.js +189 -189
  269. package/test/summarize.test.js +1639 -1465
  270. package/test/supersede-state-tracking.test.js +394 -0
  271. package/test/test-count-sync.test.js +60 -60
  272. package/test/tools-dto-schema-matrix.test.js +325 -325
  273. package/test/tools-memory-get-schema.test.js +65 -65
  274. package/test/tools.test.js +428 -374
  275. package/test/updated-at-semantics.test.js +113 -113
  276. package/test/vector-index.test.js +221 -221
  277. package/test/version-check.test.js +152 -152
  278. package/test/webServer-optional.test.js +82 -82
  279. package/test/write-admission.test.js +668 -668
@@ -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
+ });
@@ -0,0 +1,36 @@
1
+ import test from "node:test";
2
+ import assert from "node:assert/strict";
3
+ import { findProfileScopeSegment } from "../src/placement.js";
4
+
5
+ // issue #368 验收 1:判定带阴性对照。下面的正反用例成对出现——判定改成恒真
6
+ // 时负例必红、恒假时正例必红,锁有牙齿。
7
+
8
+ // 正例:profiles/<作用域>/…(含 issue 原文的形状)
9
+ for (const dir of [
10
+ "/home/user/.dsh/profiles/demo/memory/", // issue 验收用例:…/profiles/demo/memory/
11
+ "C:\\Users\\u\\profiles\\demo\\memory", // Windows 分隔符
12
+ "/srv/dsh/PROFILES/demo/memory", // 大小写不敏感
13
+ "profiles/x/memory.db", // profiles 在根
14
+ "/a/b/profiles/x", // 作用域是最后一段(仍是命中)
15
+ ]) {
16
+ test(`placement: profile-scoped path warns — ${dir}`, () => {
17
+ assert.ok(findProfileScopeSegment(dir) !== null, `expected a hit for ${dir}`);
18
+ });
19
+ }
20
+ assert.equal(findProfileScopeSegment("/a/b/profiles/x"), "x", "returns the scope dir name");
21
+
22
+ // 负例:默认落点与普通数据目录
23
+ for (const dir of [
24
+ "/home/user/.dsh/memory", // 默认值(issue:默认本身在 profiles 之外)
25
+ "C:\\Users\\石晴\\AppData\\Local\\memory", // Windows 普通目录
26
+ "/srv/data/memory", // issue 验收用例:…/data/memory/
27
+ "/srv/data/profiles", // profiles 是最后一段 = 没有作用域目录,不算命中
28
+ "/srv/data/myprofiles/demo", // 子串不算:段必须整段等于 profiles
29
+ "", // 空串
30
+ null, // 非字符串(防御)
31
+ undefined,
32
+ ]) {
33
+ test(`placement: non-profile path stays silent — ${String(dir)}`, () => {
34
+ assert.equal(findProfileScopeSegment(dir), null, `expected no hit for ${String(dir)}`);
35
+ });
36
+ }