@modusensus/dsh-mneme 0.8.13 → 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 -626
  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 -0
  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 -572
  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 -836
  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 -671
  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 -0
  63. package/lib/sensitive-scan.js +209 -209
  64. package/lib/serve.js +215 -0
  65. package/lib/service.js +2663 -2596
  66. package/lib/settings.js +517 -509
  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 +8 -4
  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 -0
  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 -572
  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 -836
  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 -671
  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 -0
  135. package/src/sensitive-scan.js +209 -209
  136. package/src/serve.js +215 -0
  137. package/src/service.js +2663 -2596
  138. package/src/settings.js +517 -509
  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 -1688
  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 -0
  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 -61
  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 -343
  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 -0
  246. package/test/serve.test.js +196 -0
  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 -544
  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,262 +1,262 @@
1
- // --- Issue #89 恢复功能的全量单测(v0.7.22)----------------------------------
2
- // v0.7.22 把 v0.6.9(Issue #26)的 skipInvalid 宽容校验路径原样搬回。核心行为
3
- // 契约:单条非法决策只跳过该条(记入 skipped、不 claim 任何 id),合法子集照常
4
- // 应用、run 记 degraded;但全局信号(update/create 上限、显式覆盖率下限)不受
5
- // 该开关影响、始终整单拒绝。以下测试逐条锁死恢复后的分支:非法动作按原因分类
6
- // 跳过(create/unknown/archived/summary/重复 claim/merge 参数/update 参数/
7
- // conflict 参数)、skipInvalid 与覆盖率下限/上限/allowCrossTypeMerge 的交互,
8
- // 以及 runDream 层"全非法仍 failed / 部分非法 degraded 如实进审计"。
9
- import test from "node:test";
10
- import assert from "node:assert/strict";
11
- import { validateDecisions, createDreamScheduler, parseReceipt } from "../src/dream.js";
12
- import { createStore } from "../src/store.js";
13
- import { createService } from "../src/service.js";
14
- import { mockCtx } from "./helpers/dream-mock.js";
15
-
16
- function dreamSetup() {
17
- const store = createStore(":memory:");
18
- const service = createService({ store, mirror: null, config: {} });
19
- return { store, service };
20
- }
21
-
22
- // 合法记忆快照工厂:id 首字母作 type 前缀(p=preference / 其余 project),
23
- // created_at 默认 2020 年(保证 update 保护期检查放行)。
24
- function makeSnap(ids) {
25
- return new Map(ids.map((id) => [
26
- id,
27
- {
28
- id,
29
- type: id.startsWith("p") ? "preference" : "project",
30
- title: `标题${id}`,
31
- content: `内容${id}`,
32
- importance: 3,
33
- archived: false,
34
- forgotten: false,
35
- created_at: "2020-01-01T00:00:00.000Z"
36
- }
37
- ]));
38
- }
39
-
40
- // ------------------------------------------------------------- 按原因逐条跳过
41
-
42
- test("validateDecisions skipInvalid: create with empty title is skipped; strict mode rejects it", () => {
43
- const emptySnap = new Map(); // create 不 claim id:空快照下覆盖率恒 1
44
- const decisions = [
45
- { action: "create", title: "", content: "body", type: "pattern" },
46
- { action: "create", title: "ok", content: "c", type: "pattern" }
47
- ];
48
- const { ok, errors, skipped } = validateDecisions(decisions, emptySnap, { skipInvalid: true });
49
- assert.equal(ok, true, `valid create should survive, got: ${errors.join("; ")}`);
50
- assert.equal(skipped.length, 1);
51
- assert.match(skipped[0].error, /create needs non-empty title/);
52
- assert.deepEqual(decisions.map((d) => d.action), ["create"], "empty-title create spliced out");
53
- assert.deepEqual(decisions[0].title, "ok");
54
-
55
- const strict = validateDecisions([{ action: "create", title: "", content: "b", type: "pattern" }], emptySnap);
56
- assert.equal(strict.ok, false, "strict mode hard-rejects a bad create");
57
- assert.ok(strict.errors.some((e) => e.includes("create needs non-empty title")));
58
- });
59
-
60
- test("validateDecisions skipInvalid: unknown id, archived, and summary targets are skipped, valid siblings survive", () => {
61
- const snap = new Map([
62
- ...makeSnap(["b", "c"]),
63
- ["arch", { id: "arch", type: "project", title: "旧arch", content: "x", importance: 3, archived: true, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }],
64
- ["s", { id: "s", type: "summary", title: "总览", content: "y", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }]
65
- ]);
66
- const decisions = [
67
- { action: "archive", ids: ["zzz"], reason: "gone" },
68
- { action: "archive", ids: ["arch"], reason: "stale" },
69
- { action: "archive", ids: ["s"], reason: "stale" },
70
- { action: "archive", ids: ["b"], reason: "stale" },
71
- { action: "archive", ids: ["c"], reason: "stale" }
72
- ];
73
- const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
74
- assert.equal(ok, true, `valid archives should survive, got: ${errors.join("; ")}`);
75
- assert.equal(skipped.length, 3);
76
- assert.match(skipped[0].error, /unknown id/);
77
- assert.match(skipped[1].error, /archived or summary/);
78
- assert.match(skipped[2].error, /archived or summary/);
79
- // claimed = {b,c} = 2/4 = 50% 恰好过下限;arch/s 未 claim → 隐式 keep
80
- assert.deepEqual(decisions.map((d) => d.action), ["archive", "archive", "keep", "keep"]);
81
- assert.deepEqual(decisions[0].ids, ["b"]);
82
- });
83
-
84
- test("validateDecisions skipInvalid: a later decision re-claiming an already-claimed id is skipped, first survives", () => {
85
- const snap = makeSnap(["a", "b", "c"]);
86
- const decisions = [
87
- { action: "merge", ids: ["a", "b"], keepSource: "a", title: "合并", content: "m", importance: 4 },
88
- { action: "merge", ids: ["b", "c"], keepSource: "b", title: "合并2", content: "m2", importance: 4 }
89
- ];
90
- const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
91
- assert.equal(ok, true, `first merge should survive, got: ${errors.join("; ")}`);
92
- assert.equal(skipped.length, 1);
93
- assert.equal(skipped[0].index, 1);
94
- assert.match(skipped[0].error, /claimed by multiple/);
95
- // claimed = {a,b} = 2/3 = 67% 过下限;c 隐式 keep,绝不因重复 claim 双 keep
96
- assert.deepEqual(decisions.map((d) => d.action), ["merge", "keep"]);
97
- assert.deepEqual(decisions[0].ids, ["a", "b"]);
98
- });
99
-
100
- test("validateDecisions skipInvalid: merge with keepSource outside ids is skipped", () => {
101
- const snap = makeSnap(["a", "b"]);
102
- const decisions = [
103
- { action: "merge", ids: ["a", "b"], keepSource: "zzz", title: "t", content: "c", importance: 4 },
104
- { action: "archive", ids: ["a"], reason: "stale" }
105
- ];
106
- const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
107
- assert.equal(ok, true, `valid archive should survive, got: ${errors.join("; ")}`);
108
- assert.equal(skipped.length, 1);
109
- assert.match(skipped[0].error, /keepSource must be one of ids/);
110
- assert.deepEqual(decisions.map((d) => d.action), ["archive", "keep"]);
111
- });
112
-
113
- test("validateDecisions skipInvalid: update targeting multiple ids / no change / summary / too-young memory is skipped", () => {
114
- const now = Date.now();
115
- const snap = new Map([
116
- ...makeSnap(["a", "b"]),
117
- ["s", { id: "s", type: "summary", title: "总览", content: "y", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }],
118
- ["y", { id: "y", type: "project", title: "Y", content: "新Y", importance: 3, archived: false, forgotten: false, created_at: new Date(now).toISOString() }]
119
- ]);
120
- const decisions = [
121
- { action: "update", ids: ["a", "b"], content: "x" },
122
- { action: "update", ids: ["a"], content: "内容a" },
123
- { action: "update", ids: ["s"], content: "x" },
124
- { action: "update", ids: ["y"], content: "x" },
125
- { action: "update", ids: ["a"], content: "新A" },
126
- { action: "update", ids: ["b"], content: "新B" }
127
- ];
128
- const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
129
- assert.equal(ok, true, `valid updates should survive, got: ${errors.join("; ")}`);
130
- assert.equal(skipped.length, 4);
131
- assert.match(skipped[0].error, /exactly one id/);
132
- assert.match(skipped[1].error, /change at least one field/);
133
- assert.match(skipped[2].error, /cannot update summary/);
134
- assert.match(skipped[3].error, /too young/);
135
- // claimed = {a,b} = 2/4 = 50% 过下限;s/y 隐式 keep
136
- assert.deepEqual(decisions.map((d) => d.action), ["update", "update", "keep", "keep"]);
137
- });
138
-
139
- test("validateDecisions skipInvalid: conflict without a distinct winner/loser is skipped", () => {
140
- const snap = makeSnap(["w", "l", "c"]);
141
- const decisions = [
142
- { action: "conflict", winner: "w", loser: "l" },
143
- { action: "conflict", loser: "c" }
144
- ];
145
- const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
146
- assert.equal(ok, true, `valid conflict should survive, got: ${errors.join("; ")}`);
147
- assert.equal(skipped.length, 1);
148
- assert.match(skipped[0].error, /conflict needs distinct winner and loser/);
149
- assert.deepEqual(decisions.map((d) => d.action), ["conflict", "keep"]);
150
- });
151
-
152
- // ------------------------------------------------------- skipInvalid 与全局闸门
153
-
154
- test("validateDecisions skipInvalid: valid subset below the coverage floor degrades (Issue #104 方向 1)", () => {
155
- const snap = makeSnap(["p", "j", "x"]);
156
- const decisions = [
157
- { action: "archive", ids: ["p"], reason: "stale" },
158
- { action: "merge", ids: ["p", "j"], keepSource: "p", title: "跨类型", content: "m", importance: 4 }
159
- ];
160
- const { ok, errors, skipped, coverageShortfall } = validateDecisions(decisions, snap, { skipInvalid: true });
161
- assert.equal(ok, true, "valid subset applies — shortfall degrades instead of rejecting");
162
- assert.deepEqual(errors, []);
163
- assert.equal(skipped.length, 1);
164
- assert.match(String(coverageShortfall), /coverage/, "shortfall reason surfaced for audit");
165
- // claimed {p} = 1/3 = 33% < 50%;j/x 隐式 keep 补齐
166
- assert.deepEqual(decisions.map((d) => d.action), ["archive", "keep", "keep"]);
167
- });
168
-
169
- test("validateDecisions skipInvalid: updates skipped for other reasons do not count toward the update cap", () => {
170
- const snap = makeSnap(["a", "b", "c", "d"]);
171
- const decisions = [
172
- { action: "update", ids: ["a"], content: "内容a" },
173
- { action: "update", ids: ["b"], content: "内容b" },
174
- { action: "update", ids: ["c"], content: "新C" },
175
- { action: "archive", ids: ["d"], reason: "stale" }
176
- ];
177
- const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true, maxUpdatePerRun: 2 });
178
- assert.equal(ok, true, `cap counts survivors only, got: ${errors.join("; ")}`);
179
- assert.equal(skipped.length, 2);
180
- // 3 条 update 输入 → 2 条跳过 → 幸存 1 条 ≤ cap 2;claimed {c,d} = 2/4 = 50%
181
- assert.deepEqual(decisions.map((d) => d.action), ["update", "archive", "keep", "keep"]);
182
- });
183
-
184
- test("validateDecisions skipInvalid: creates skipped for other reasons do not count toward the create cap", () => {
185
- const emptySnap = new Map();
186
- const decisions = [];
187
- for (let i = 0; i < 5; i++) decisions.push({ action: "create", title: `t${i}`, content: "c", type: "pattern" });
188
- decisions.push({ action: "create", title: "", content: "x", type: "pattern" });
189
- const { ok, errors, skipped } = validateDecisions(decisions, emptySnap, { skipInvalid: true, maxCreatePerRun: 5 });
190
- assert.equal(ok, true, `cap counts survivors only, got: ${errors.join("; ")}`);
191
- assert.equal(skipped.length, 1);
192
- assert.equal(decisions.length, 5, "only the 5 valid creates survive the cap");
193
- });
194
-
195
- test("validateDecisions skipInvalid + allowCrossTypeMerge compose: cross-type merge allowed, unrelated invalid entry still skipped", () => {
196
- const snap = makeSnap(["p", "j", "b", "c"]);
197
- const decisions = [
198
- { action: "merge", ids: ["p", "j"], keepSource: "p", title: "合并", content: "m", importance: 4 },
199
- { action: "archive", ids: ["zzz"], reason: "gone" }
200
- ];
201
- const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true, allowCrossTypeMerge: true });
202
- assert.equal(ok, true, `flag-enabled merge survives, got: ${errors.join("; ")}`);
203
- assert.equal(skipped.length, 1);
204
- assert.match(skipped[0].error, /unknown id/);
205
- assert.deepEqual(decisions.map((d) => d.action), ["merge", "keep", "keep"]);
206
- });
207
-
208
- // ----------------------------------------------------------- runDream 层 e2e
209
-
210
- test("issue#89: with default skipInvalid on, an all-invalid batch still fails the run (nothing valid survives)", async () => {
211
- const { store, service } = dreamSetup();
212
- const a = service.saveWithDedupe({ type: "project", title: "旧A", content: "过时A" }).memory;
213
- const b = service.saveWithDedupe({ type: "project", title: "旧B", content: "过时B" }).memory;
214
- const pref = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" }).memory;
215
- const pref2 = service.saveWithDedupe({ type: "preference", title: "语气", content: "轻松" }).memory;
216
- const ctx = mockCtx({
217
- onConsolidation: () => JSON.stringify([
218
- { action: "merge", ids: [pref.id, a.id], keepSource: pref.id, title: "跨类型", content: "x", importance: 4 },
219
- { action: "merge", ids: [pref2.id, b.id], keepSource: pref2.id, title: "跨类型2", content: "y", importance: 4 }
220
- ])
221
- });
222
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
223
- const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-model" });
224
- assert.equal(result.ok, false, "all invalid → whole batch rejected, not silently kept");
225
- assert.match(result.error, /invalid decisions/);
226
- const run = store.listDreamRuns()[0];
227
- assert.equal(run.status, "failed", "audit row marks failed, not degraded (nothing valid landed)");
228
- assert.equal(parseReceipt(run.receipt).status, "failed", "receipt marks failed");
229
- assert.equal(store.getById(a.id).archived, false, "nothing applied");
230
- assert.equal(store.getById(b.id).archived, false, "nothing applied");
231
- store.close();
232
- });
233
-
234
- test("issue#89: a partial-invalid run is marked degraded in the audit row and receipt", async () => {
235
- const { store, service } = dreamSetup();
236
- const a = service.saveWithDedupe({ type: "project", title: "旧A", content: "过时A" }).memory;
237
- const b = service.saveWithDedupe({ type: "project", title: "旧B", content: "过时B" }).memory;
238
- const pref = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" }).memory;
239
- const c = service.saveWithDedupe({ type: "project", title: "旧C", content: "过时C" }).memory;
240
- const warnings = [];
241
- const ctx = {
242
- ...mockCtx({
243
- onConsolidation: () => JSON.stringify([
244
- { action: "merge", ids: [pref.id, a.id], keepSource: pref.id, title: "跨类型", content: "x", importance: 4 },
245
- { action: "archive", ids: [b.id], reason: "stale" },
246
- { action: "archive", ids: [c.id], reason: "stale" }
247
- ])
248
- }),
249
- logger: { warn: (m) => warnings.push(String(m)) }
250
- };
251
- const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
252
- const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-model" });
253
- assert.equal(result.ok, true, "valid subset absorbed (ok for the baseline)");
254
- assert.equal(result.status, "degraded", "run marked degraded, not faked ok");
255
- const run = store.listDreamRuns()[0];
256
- assert.equal(run.status, "degraded", "audit row records degraded, never ok");
257
- assert.equal(parseReceipt(run.receipt).status, "degraded", "receipt records degraded");
258
- assert.equal(store.getById(b.id).archived, true, "valid archive landed");
259
- assert.equal(store.getById(pref.id).archived, false, "invalid merge did not touch its targets");
260
- assert.ok(warnings.some((w) => w.includes("skipped") && w.includes("multiple types")), "skip reason logged");
261
- store.close();
262
- });
1
+ // --- Issue #89 恢复功能的全量单测(v0.7.22)----------------------------------
2
+ // v0.7.22 把 v0.6.9(Issue #26)的 skipInvalid 宽容校验路径原样搬回。核心行为
3
+ // 契约:单条非法决策只跳过该条(记入 skipped、不 claim 任何 id),合法子集照常
4
+ // 应用、run 记 degraded;但全局信号(update/create 上限、显式覆盖率下限)不受
5
+ // 该开关影响、始终整单拒绝。以下测试逐条锁死恢复后的分支:非法动作按原因分类
6
+ // 跳过(create/unknown/archived/summary/重复 claim/merge 参数/update 参数/
7
+ // conflict 参数)、skipInvalid 与覆盖率下限/上限/allowCrossTypeMerge 的交互,
8
+ // 以及 runDream 层"全非法仍 failed / 部分非法 degraded 如实进审计"。
9
+ import test from "node:test";
10
+ import assert from "node:assert/strict";
11
+ import { validateDecisions, createDreamScheduler, parseReceipt } from "../src/dream.js";
12
+ import { createStore } from "../src/store.js";
13
+ import { createService } from "../src/service.js";
14
+ import { mockCtx } from "./helpers/dream-mock.js";
15
+
16
+ function dreamSetup() {
17
+ const store = createStore(":memory:");
18
+ const service = createService({ store, mirror: null, config: {} });
19
+ return { store, service };
20
+ }
21
+
22
+ // 合法记忆快照工厂:id 首字母作 type 前缀(p=preference / 其余 project),
23
+ // created_at 默认 2020 年(保证 update 保护期检查放行)。
24
+ function makeSnap(ids) {
25
+ return new Map(ids.map((id) => [
26
+ id,
27
+ {
28
+ id,
29
+ type: id.startsWith("p") ? "preference" : "project",
30
+ title: `标题${id}`,
31
+ content: `内容${id}`,
32
+ importance: 3,
33
+ archived: false,
34
+ forgotten: false,
35
+ created_at: "2020-01-01T00:00:00.000Z"
36
+ }
37
+ ]));
38
+ }
39
+
40
+ // ------------------------------------------------------------- 按原因逐条跳过
41
+
42
+ test("validateDecisions skipInvalid: create with empty title is skipped; strict mode rejects it", () => {
43
+ const emptySnap = new Map(); // create 不 claim id:空快照下覆盖率恒 1
44
+ const decisions = [
45
+ { action: "create", title: "", content: "body", type: "pattern" },
46
+ { action: "create", title: "ok", content: "c", type: "pattern" }
47
+ ];
48
+ const { ok, errors, skipped } = validateDecisions(decisions, emptySnap, { skipInvalid: true });
49
+ assert.equal(ok, true, `valid create should survive, got: ${errors.join("; ")}`);
50
+ assert.equal(skipped.length, 1);
51
+ assert.match(skipped[0].error, /create needs non-empty title/);
52
+ assert.deepEqual(decisions.map((d) => d.action), ["create"], "empty-title create spliced out");
53
+ assert.deepEqual(decisions[0].title, "ok");
54
+
55
+ const strict = validateDecisions([{ action: "create", title: "", content: "b", type: "pattern" }], emptySnap);
56
+ assert.equal(strict.ok, false, "strict mode hard-rejects a bad create");
57
+ assert.ok(strict.errors.some((e) => e.includes("create needs non-empty title")));
58
+ });
59
+
60
+ test("validateDecisions skipInvalid: unknown id, archived, and summary targets are skipped, valid siblings survive", () => {
61
+ const snap = new Map([
62
+ ...makeSnap(["b", "c"]),
63
+ ["arch", { id: "arch", type: "project", title: "旧arch", content: "x", importance: 3, archived: true, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }],
64
+ ["s", { id: "s", type: "summary", title: "总览", content: "y", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }]
65
+ ]);
66
+ const decisions = [
67
+ { action: "archive", ids: ["zzz"], reason: "gone" },
68
+ { action: "archive", ids: ["arch"], reason: "stale" },
69
+ { action: "archive", ids: ["s"], reason: "stale" },
70
+ { action: "archive", ids: ["b"], reason: "stale" },
71
+ { action: "archive", ids: ["c"], reason: "stale" }
72
+ ];
73
+ const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
74
+ assert.equal(ok, true, `valid archives should survive, got: ${errors.join("; ")}`);
75
+ assert.equal(skipped.length, 3);
76
+ assert.match(skipped[0].error, /unknown id/);
77
+ assert.match(skipped[1].error, /archived or summary/);
78
+ assert.match(skipped[2].error, /archived or summary/);
79
+ // claimed = {b,c} = 2/4 = 50% 恰好过下限;arch/s 未 claim → 隐式 keep
80
+ assert.deepEqual(decisions.map((d) => d.action), ["archive", "archive", "keep", "keep"]);
81
+ assert.deepEqual(decisions[0].ids, ["b"]);
82
+ });
83
+
84
+ test("validateDecisions skipInvalid: a later decision re-claiming an already-claimed id is skipped, first survives", () => {
85
+ const snap = makeSnap(["a", "b", "c"]);
86
+ const decisions = [
87
+ { action: "merge", ids: ["a", "b"], keepSource: "a", title: "合并", content: "m", importance: 4 },
88
+ { action: "merge", ids: ["b", "c"], keepSource: "b", title: "合并2", content: "m2", importance: 4 }
89
+ ];
90
+ const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
91
+ assert.equal(ok, true, `first merge should survive, got: ${errors.join("; ")}`);
92
+ assert.equal(skipped.length, 1);
93
+ assert.equal(skipped[0].index, 1);
94
+ assert.match(skipped[0].error, /claimed by multiple/);
95
+ // claimed = {a,b} = 2/3 = 67% 过下限;c 隐式 keep,绝不因重复 claim 双 keep
96
+ assert.deepEqual(decisions.map((d) => d.action), ["merge", "keep"]);
97
+ assert.deepEqual(decisions[0].ids, ["a", "b"]);
98
+ });
99
+
100
+ test("validateDecisions skipInvalid: merge with keepSource outside ids is skipped", () => {
101
+ const snap = makeSnap(["a", "b"]);
102
+ const decisions = [
103
+ { action: "merge", ids: ["a", "b"], keepSource: "zzz", title: "t", content: "c", importance: 4 },
104
+ { action: "archive", ids: ["a"], reason: "stale" }
105
+ ];
106
+ const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
107
+ assert.equal(ok, true, `valid archive should survive, got: ${errors.join("; ")}`);
108
+ assert.equal(skipped.length, 1);
109
+ assert.match(skipped[0].error, /keepSource must be one of ids/);
110
+ assert.deepEqual(decisions.map((d) => d.action), ["archive", "keep"]);
111
+ });
112
+
113
+ test("validateDecisions skipInvalid: update targeting multiple ids / no change / summary / too-young memory is skipped", () => {
114
+ const now = Date.now();
115
+ const snap = new Map([
116
+ ...makeSnap(["a", "b"]),
117
+ ["s", { id: "s", type: "summary", title: "总览", content: "y", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }],
118
+ ["y", { id: "y", type: "project", title: "Y", content: "新Y", importance: 3, archived: false, forgotten: false, created_at: new Date(now).toISOString() }]
119
+ ]);
120
+ const decisions = [
121
+ { action: "update", ids: ["a", "b"], content: "x" },
122
+ { action: "update", ids: ["a"], content: "内容a" },
123
+ { action: "update", ids: ["s"], content: "x" },
124
+ { action: "update", ids: ["y"], content: "x" },
125
+ { action: "update", ids: ["a"], content: "新A" },
126
+ { action: "update", ids: ["b"], content: "新B" }
127
+ ];
128
+ const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
129
+ assert.equal(ok, true, `valid updates should survive, got: ${errors.join("; ")}`);
130
+ assert.equal(skipped.length, 4);
131
+ assert.match(skipped[0].error, /exactly one id/);
132
+ assert.match(skipped[1].error, /change at least one field/);
133
+ assert.match(skipped[2].error, /cannot update summary/);
134
+ assert.match(skipped[3].error, /too young/);
135
+ // claimed = {a,b} = 2/4 = 50% 过下限;s/y 隐式 keep
136
+ assert.deepEqual(decisions.map((d) => d.action), ["update", "update", "keep", "keep"]);
137
+ });
138
+
139
+ test("validateDecisions skipInvalid: conflict without a distinct winner/loser is skipped", () => {
140
+ const snap = makeSnap(["w", "l", "c"]);
141
+ const decisions = [
142
+ { action: "conflict", winner: "w", loser: "l" },
143
+ { action: "conflict", loser: "c" }
144
+ ];
145
+ const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
146
+ assert.equal(ok, true, `valid conflict should survive, got: ${errors.join("; ")}`);
147
+ assert.equal(skipped.length, 1);
148
+ assert.match(skipped[0].error, /conflict needs distinct winner and loser/);
149
+ assert.deepEqual(decisions.map((d) => d.action), ["conflict", "keep"]);
150
+ });
151
+
152
+ // ------------------------------------------------------- skipInvalid 与全局闸门
153
+
154
+ test("validateDecisions skipInvalid: valid subset below the coverage floor degrades (Issue #104 方向 1)", () => {
155
+ const snap = makeSnap(["p", "j", "x"]);
156
+ const decisions = [
157
+ { action: "archive", ids: ["p"], reason: "stale" },
158
+ { action: "merge", ids: ["p", "j"], keepSource: "p", title: "跨类型", content: "m", importance: 4 }
159
+ ];
160
+ const { ok, errors, skipped, coverageShortfall } = validateDecisions(decisions, snap, { skipInvalid: true });
161
+ assert.equal(ok, true, "valid subset applies — shortfall degrades instead of rejecting");
162
+ assert.deepEqual(errors, []);
163
+ assert.equal(skipped.length, 1);
164
+ assert.match(String(coverageShortfall), /coverage/, "shortfall reason surfaced for audit");
165
+ // claimed {p} = 1/3 = 33% < 50%;j/x 隐式 keep 补齐
166
+ assert.deepEqual(decisions.map((d) => d.action), ["archive", "keep", "keep"]);
167
+ });
168
+
169
+ test("validateDecisions skipInvalid: updates skipped for other reasons do not count toward the update cap", () => {
170
+ const snap = makeSnap(["a", "b", "c", "d"]);
171
+ const decisions = [
172
+ { action: "update", ids: ["a"], content: "内容a" },
173
+ { action: "update", ids: ["b"], content: "内容b" },
174
+ { action: "update", ids: ["c"], content: "新C" },
175
+ { action: "archive", ids: ["d"], reason: "stale" }
176
+ ];
177
+ const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true, maxUpdatePerRun: 2 });
178
+ assert.equal(ok, true, `cap counts survivors only, got: ${errors.join("; ")}`);
179
+ assert.equal(skipped.length, 2);
180
+ // 3 条 update 输入 → 2 条跳过 → 幸存 1 条 ≤ cap 2;claimed {c,d} = 2/4 = 50%
181
+ assert.deepEqual(decisions.map((d) => d.action), ["update", "archive", "keep", "keep"]);
182
+ });
183
+
184
+ test("validateDecisions skipInvalid: creates skipped for other reasons do not count toward the create cap", () => {
185
+ const emptySnap = new Map();
186
+ const decisions = [];
187
+ for (let i = 0; i < 5; i++) decisions.push({ action: "create", title: `t${i}`, content: "c", type: "pattern" });
188
+ decisions.push({ action: "create", title: "", content: "x", type: "pattern" });
189
+ const { ok, errors, skipped } = validateDecisions(decisions, emptySnap, { skipInvalid: true, maxCreatePerRun: 5 });
190
+ assert.equal(ok, true, `cap counts survivors only, got: ${errors.join("; ")}`);
191
+ assert.equal(skipped.length, 1);
192
+ assert.equal(decisions.length, 5, "only the 5 valid creates survive the cap");
193
+ });
194
+
195
+ test("validateDecisions skipInvalid + allowCrossTypeMerge compose: cross-type merge allowed, unrelated invalid entry still skipped", () => {
196
+ const snap = makeSnap(["p", "j", "b", "c"]);
197
+ const decisions = [
198
+ { action: "merge", ids: ["p", "j"], keepSource: "p", title: "合并", content: "m", importance: 4 },
199
+ { action: "archive", ids: ["zzz"], reason: "gone" }
200
+ ];
201
+ const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true, allowCrossTypeMerge: true });
202
+ assert.equal(ok, true, `flag-enabled merge survives, got: ${errors.join("; ")}`);
203
+ assert.equal(skipped.length, 1);
204
+ assert.match(skipped[0].error, /unknown id/);
205
+ assert.deepEqual(decisions.map((d) => d.action), ["merge", "keep", "keep"]);
206
+ });
207
+
208
+ // ----------------------------------------------------------- runDream 层 e2e
209
+
210
+ test("issue#89: with default skipInvalid on, an all-invalid batch still fails the run (nothing valid survives)", async () => {
211
+ const { store, service } = dreamSetup();
212
+ const a = service.saveWithDedupe({ type: "project", title: "旧A", content: "过时A" }).memory;
213
+ const b = service.saveWithDedupe({ type: "project", title: "旧B", content: "过时B" }).memory;
214
+ const pref = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" }).memory;
215
+ const pref2 = service.saveWithDedupe({ type: "preference", title: "语气", content: "轻松" }).memory;
216
+ const ctx = mockCtx({
217
+ onConsolidation: () => JSON.stringify([
218
+ { action: "merge", ids: [pref.id, a.id], keepSource: pref.id, title: "跨类型", content: "x", importance: 4 },
219
+ { action: "merge", ids: [pref2.id, b.id], keepSource: pref2.id, title: "跨类型2", content: "y", importance: 4 }
220
+ ])
221
+ });
222
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
223
+ const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-model" });
224
+ assert.equal(result.ok, false, "all invalid → whole batch rejected, not silently kept");
225
+ assert.match(result.error, /invalid decisions/);
226
+ const run = store.listDreamRuns()[0];
227
+ assert.equal(run.status, "failed", "audit row marks failed, not degraded (nothing valid landed)");
228
+ assert.equal(parseReceipt(run.receipt).status, "failed", "receipt marks failed");
229
+ assert.equal(store.getById(a.id).archived, false, "nothing applied");
230
+ assert.equal(store.getById(b.id).archived, false, "nothing applied");
231
+ store.close();
232
+ });
233
+
234
+ test("issue#89: a partial-invalid run is marked degraded in the audit row and receipt", async () => {
235
+ const { store, service } = dreamSetup();
236
+ const a = service.saveWithDedupe({ type: "project", title: "旧A", content: "过时A" }).memory;
237
+ const b = service.saveWithDedupe({ type: "project", title: "旧B", content: "过时B" }).memory;
238
+ const pref = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" }).memory;
239
+ const c = service.saveWithDedupe({ type: "project", title: "旧C", content: "过时C" }).memory;
240
+ const warnings = [];
241
+ const ctx = {
242
+ ...mockCtx({
243
+ onConsolidation: () => JSON.stringify([
244
+ { action: "merge", ids: [pref.id, a.id], keepSource: pref.id, title: "跨类型", content: "x", importance: 4 },
245
+ { action: "archive", ids: [b.id], reason: "stale" },
246
+ { action: "archive", ids: [c.id], reason: "stale" }
247
+ ])
248
+ }),
249
+ logger: { warn: (m) => warnings.push(String(m)) }
250
+ };
251
+ const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
252
+ const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-model" });
253
+ assert.equal(result.ok, true, "valid subset absorbed (ok for the baseline)");
254
+ assert.equal(result.status, "degraded", "run marked degraded, not faked ok");
255
+ const run = store.listDreamRuns()[0];
256
+ assert.equal(run.status, "degraded", "audit row records degraded, never ok");
257
+ assert.equal(parseReceipt(run.receipt).status, "degraded", "receipt records degraded");
258
+ assert.equal(store.getById(b.id).archived, true, "valid archive landed");
259
+ assert.equal(store.getById(pref.id).archived, false, "invalid merge did not touch its targets");
260
+ assert.ok(warnings.some((w) => w.includes("skipped") && w.includes("multiple types")), "skip reason logged");
261
+ store.close();
262
+ });