@modusensus/dsh-mneme 0.8.14 → 0.8.15

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 (271) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +655 -654
  3. package/assets/icon.svg +3 -3
  4. package/bin/cli.mjs +689 -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 +263 -0
  9. package/docs/CONTINUITY.md +124 -0
  10. package/docs/DAEMON.md +46 -0
  11. package/docs/ENTITIES.md +245 -0
  12. package/docs/LOCAL_MODEL.md +222 -0
  13. package/docs/SEMANTIC.md +256 -0
  14. package/docs/SLEEP.md +164 -0
  15. package/docs/STORAGE.md +89 -0
  16. package/lib/api-standalone.js +673 -673
  17. package/lib/api.js +1437 -1433
  18. package/lib/bootstrap.js +211 -211
  19. package/lib/client.js +5444 -5295
  20. package/lib/commands.js +95 -95
  21. package/lib/config.js +880 -843
  22. package/lib/content-hash.js +54 -54
  23. package/lib/continuity.js +220 -220
  24. package/lib/document-index.js +94 -94
  25. package/lib/document.js +303 -303
  26. package/lib/dream/clustering.js +118 -118
  27. package/lib/dream/decisions.js +674 -674
  28. package/lib/dream/narratives.js +44 -44
  29. package/lib/dream/sleep.js +819 -819
  30. package/lib/dream.js +1501 -1501
  31. package/lib/embedding.js +177 -177
  32. package/lib/entities/extractor.js +252 -252
  33. package/lib/graph/anchoring.js +179 -179
  34. package/lib/guide.js +74 -74
  35. package/lib/heat.js +144 -144
  36. package/lib/hot-memory.js +46 -46
  37. package/lib/index.js +535 -503
  38. package/lib/inject.js +464 -450
  39. package/lib/lang.js +248 -229
  40. package/lib/local-embedder.js +358 -358
  41. package/lib/maintenance.js +142 -142
  42. package/lib/mirror.js +330 -330
  43. package/lib/organize.js +450 -450
  44. package/lib/peak-hours.js +117 -117
  45. package/lib/placement.js +13 -0
  46. package/lib/pre-inject-gate.js +340 -0
  47. package/lib/quality-filter.js +126 -126
  48. package/lib/recall-stats.js +175 -175
  49. package/lib/reranker.js +269 -269
  50. package/lib/runtime/adopt.js +176 -176
  51. package/lib/runtime/closure.js +172 -172
  52. package/lib/runtime/download.js +247 -247
  53. package/lib/runtime/layout.js +265 -265
  54. package/lib/runtime/loader.js +252 -252
  55. package/lib/runtime/model-fetch.js +361 -361
  56. package/lib/runtime/provision.js +237 -237
  57. package/lib/runtime/tarball.js +130 -130
  58. package/lib/runtime/verify.js +223 -204
  59. package/lib/scope.js +146 -146
  60. package/lib/search/adaptive.js +60 -60
  61. package/lib/search/bm25.js +96 -96
  62. package/lib/semantic.js +229 -229
  63. package/lib/sensitive-scan.js +209 -209
  64. package/lib/serve.js +215 -215
  65. package/lib/service.js +2663 -2605
  66. package/lib/settings.js +517 -511
  67. package/lib/store.js +3007 -3007
  68. package/lib/summarize.js +891 -856
  69. package/lib/tools.js +743 -737
  70. package/lib/vector-index.js +110 -110
  71. package/lib/version-check.js +122 -122
  72. package/lib/write-admission.js +402 -402
  73. package/locale/en.json +6 -6
  74. package/locale/zh.json +6 -6
  75. package/package.json +118 -118
  76. package/runtime-manifest.json +526 -526
  77. package/scripts/benchmark-embed.js +201 -201
  78. package/scripts/benchmark-recall.js +249 -249
  79. package/scripts/benchmark-rerank.js +166 -166
  80. package/scripts/build-runtime-manifest.mjs +224 -224
  81. package/scripts/changelog-prep.mjs +36 -36
  82. package/scripts/check-sync.js +42 -42
  83. package/scripts/e2e-dsh.js +220 -220
  84. package/scripts/mneme-runtime.mjs +277 -277
  85. package/scripts/stress-dsh.js +255 -255
  86. package/scripts/sync-lib.js +47 -47
  87. package/scripts/sync-test-badge.mjs +69 -69
  88. package/scripts/test-count-sync.mjs +44 -44
  89. package/src/api-standalone.js +673 -673
  90. package/src/api.js +1437 -1433
  91. package/src/bootstrap.js +211 -211
  92. package/src/commands.js +95 -95
  93. package/src/config.js +880 -843
  94. package/src/content-hash.js +54 -54
  95. package/src/continuity.js +220 -220
  96. package/src/document-index.js +94 -94
  97. package/src/document.js +303 -303
  98. package/src/dream/clustering.js +118 -118
  99. package/src/dream/decisions.js +674 -674
  100. package/src/dream/narratives.js +44 -44
  101. package/src/dream/sleep.js +819 -819
  102. package/src/dream.js +1501 -1501
  103. package/src/embedding.js +177 -177
  104. package/src/entities/extractor.js +252 -252
  105. package/src/graph/anchoring.js +179 -179
  106. package/src/guide.js +74 -74
  107. package/src/heat.js +144 -144
  108. package/src/hot-memory.js +46 -46
  109. package/src/index.js +535 -503
  110. package/src/inject.js +464 -450
  111. package/src/lang.js +248 -229
  112. package/src/local-embedder.js +358 -358
  113. package/src/maintenance.js +142 -142
  114. package/src/mirror.js +330 -330
  115. package/src/organize.js +450 -450
  116. package/src/peak-hours.js +117 -117
  117. package/src/placement.js +13 -0
  118. package/src/pre-inject-gate.js +340 -0
  119. package/src/quality-filter.js +126 -126
  120. package/src/recall-stats.js +175 -175
  121. package/src/reranker.js +269 -269
  122. package/src/runtime/adopt.js +176 -176
  123. package/src/runtime/closure.js +172 -172
  124. package/src/runtime/download.js +247 -247
  125. package/src/runtime/layout.js +265 -265
  126. package/src/runtime/loader.js +252 -252
  127. package/src/runtime/model-fetch.js +361 -361
  128. package/src/runtime/provision.js +237 -237
  129. package/src/runtime/tarball.js +130 -130
  130. package/src/runtime/verify.js +223 -204
  131. package/src/scope.js +146 -146
  132. package/src/search/adaptive.js +60 -60
  133. package/src/search/bm25.js +96 -96
  134. package/src/semantic.js +229 -229
  135. package/src/sensitive-scan.js +209 -209
  136. package/src/serve.js +215 -215
  137. package/src/service.js +2663 -2605
  138. package/src/settings.js +517 -511
  139. package/src/store.js +3007 -3007
  140. package/src/summarize.js +891 -856
  141. package/src/tools.js +743 -737
  142. package/src/vector-index.js +110 -110
  143. package/src/version-check.js +122 -122
  144. package/src/write-admission.js +402 -402
  145. package/test/adaptive-inject-budget.test.js +85 -85
  146. package/test/api-routes-gaps.test.js +218 -218
  147. package/test/api.test.js +1702 -1690
  148. package/test/audit.test.js +448 -448
  149. package/test/baseline-persist.test.js +248 -248
  150. package/test/benchmark.test.js +94 -94
  151. package/test/bootstrap.test.js +220 -220
  152. package/test/changelog-prep.test.js +60 -60
  153. package/test/client.test.js +1230 -1169
  154. package/test/clustering.test.js +100 -100
  155. package/test/commands.test.js +106 -106
  156. package/test/config.test.js +66 -66
  157. package/test/conflict-freeze.test.js +300 -300
  158. package/test/content-hash.test.js +204 -204
  159. package/test/continuity.test.js +333 -333
  160. package/test/document-dir.test.js +233 -233
  161. package/test/document.test.js +671 -671
  162. package/test/dream-archive-guardrail.test.js +116 -116
  163. package/test/dream-candidate-hybrid.test.js +281 -281
  164. package/test/dream-coverage-degrade.test.js +86 -86
  165. package/test/dream-failure-backoff.test.js +173 -173
  166. package/test/dream-peak-hours.test.js +194 -194
  167. package/test/dream.test.js +1385 -1383
  168. package/test/embedding-ready.test.js +196 -196
  169. package/test/entities.test.js +627 -547
  170. package/test/entity-recall.test.js +179 -179
  171. package/test/epistemic.test.js +325 -325
  172. package/test/fnew-0112.test.js +311 -311
  173. package/test/fnew-03.test.js +422 -422
  174. package/test/graph-anchoring.test.js +184 -184
  175. package/test/graph-api.test.js +175 -175
  176. package/test/graph-inject-budget.test.js +103 -103
  177. package/test/graph-passive-confirm.test.js +91 -91
  178. package/test/graph-weight-evolution.test.js +104 -104
  179. package/test/heat.test.js +175 -175
  180. package/test/helpers/dream-mock.js +82 -82
  181. package/test/helpers/peer-worker.mjs +25 -25
  182. package/test/helpers/runtime-source.js +60 -60
  183. package/test/helpers/tar-builder.js +80 -80
  184. package/test/helpers/write-admission-samples.js +308 -308
  185. package/test/hot-memory.test.js +145 -145
  186. package/test/inject-content-cap.test.js +91 -91
  187. package/test/inject-first-round-bm25.test.js +89 -89
  188. package/test/inject-heat.test.js +77 -77
  189. package/test/inject-parent-gate.test.js +106 -106
  190. package/test/inject-pools.test.js +194 -194
  191. package/test/inject-recall.test.js +105 -105
  192. package/test/inject-rotation.test.js +161 -161
  193. package/test/inject.test.js +420 -420
  194. package/test/lang.test.js +87 -87
  195. package/test/lastrunat-persist.test.js +101 -101
  196. package/test/lib-smoke.test.js +96 -96
  197. package/test/llm-audit.test.js +598 -598
  198. package/test/llm-message-source.test.js +207 -207
  199. package/test/local-embedder.test.js +292 -292
  200. package/test/maintenance.test.js +391 -391
  201. package/test/mcp-stdio.test.js +385 -385
  202. package/test/mirror-dirty.test.js +424 -424
  203. package/test/mirror-edit-digest.test.js +187 -187
  204. package/test/mirror-generation.test.js +499 -499
  205. package/test/mirror-types.test.js +208 -208
  206. package/test/mirror.test.js +249 -249
  207. package/test/narrative-bars.test.js +162 -162
  208. package/test/organize.test.js +418 -418
  209. package/test/peer-blockers.test.js +193 -193
  210. package/test/placement.test.js +36 -0
  211. package/test/policy-epoch.test.js +259 -259
  212. package/test/pre-inject-gate.test.js +434 -0
  213. package/test/quality-filter.test.js +186 -186
  214. package/test/reasoning-effort.test.js +752 -752
  215. package/test/recall-anti-update.test.js +82 -82
  216. package/test/recall-evals.test.js +253 -253
  217. package/test/recall-layer.test.js +326 -326
  218. package/test/recall-stats.test.js +189 -189
  219. package/test/receipt-chain.test.js +451 -451
  220. package/test/reflection.test.js +226 -226
  221. package/test/reindex-backfill.test.js +62 -62
  222. package/test/reranker-single-logit.test.js +73 -73
  223. package/test/reranker.test.js +197 -197
  224. package/test/resident-status.test.js +83 -83
  225. package/test/runtime-adopt.test.js +206 -206
  226. package/test/runtime-cli.test.js +89 -89
  227. package/test/runtime-closure.test.js +193 -193
  228. package/test/runtime-download.test.js +302 -302
  229. package/test/runtime-layout.test.js +163 -163
  230. package/test/runtime-loader.test.js +255 -255
  231. package/test/runtime-manifest.test.js +159 -159
  232. package/test/runtime-model-fetch.test.js +348 -348
  233. package/test/runtime-provision.test.js +101 -101
  234. package/test/runtime-tarball.test.js +81 -81
  235. package/test/runtime-verify.test.js +319 -279
  236. package/test/scope-candidates.test.js +239 -239
  237. package/test/scope-explicit.test.js +452 -452
  238. package/test/scope-inject-soft.test.js +106 -106
  239. package/test/scope-retrieval.test.js +197 -197
  240. package/test/scope-storage.test.js +255 -255
  241. package/test/scope-strict.test.js +367 -367
  242. package/test/search-fusion.test.js +90 -90
  243. package/test/semantic.test.js +124 -124
  244. package/test/sensitive-scan.test.js +207 -207
  245. package/test/serve-bin.test.js +121 -121
  246. package/test/serve.test.js +196 -196
  247. package/test/service-search.test.js +174 -174
  248. package/test/service.test.js +405 -405
  249. package/test/settings.test.js +261 -261
  250. package/test/skip-invalid-restore.test.js +262 -262
  251. package/test/sleep-action-set.test.js +422 -422
  252. package/test/sleep-heat.test.js +126 -126
  253. package/test/sleep-scheduler-rearm.test.js +89 -89
  254. package/test/sleep.test.js +527 -527
  255. package/test/standalone-api.test.js +751 -751
  256. package/test/store-vector-cache.test.js +98 -98
  257. package/test/store.test.js +396 -396
  258. package/test/stress.test.js +209 -209
  259. package/test/summarize-occurred-at.test.js +127 -0
  260. package/test/summarize-reasoning-effort.test.js +189 -189
  261. package/test/summarize.test.js +1465 -1465
  262. package/test/supersede-state-tracking.test.js +394 -0
  263. package/test/test-count-sync.test.js +60 -60
  264. package/test/tools-dto-schema-matrix.test.js +325 -325
  265. package/test/tools-memory-get-schema.test.js +65 -65
  266. package/test/tools.test.js +428 -374
  267. package/test/updated-at-semantics.test.js +113 -113
  268. package/test/vector-index.test.js +221 -221
  269. package/test/version-check.test.js +152 -152
  270. package/test/webServer-optional.test.js +82 -82
  271. 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
+ }