@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,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
+ });