@modusensus/dsh-mneme 0.8.3 → 0.8.5

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 (205) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +727 -636
  3. package/bin/cli.mjs +0 -0
  4. package/bin/dsh-mneme-mcp.mjs +510 -0
  5. package/cordis.patch.yml +21 -21
  6. package/lib/api-standalone.js +506 -316
  7. package/lib/api.js +1403 -1316
  8. package/lib/bootstrap.js +211 -0
  9. package/lib/client.js +4657 -4366
  10. package/lib/commands.js +95 -95
  11. package/lib/config.js +615 -510
  12. package/lib/document.js +221 -0
  13. package/lib/dream/clustering.js +118 -118
  14. package/lib/dream/decisions.js +658 -658
  15. package/lib/dream/narratives.js +44 -0
  16. package/lib/dream/sleep.js +702 -700
  17. package/lib/dream.js +147 -16
  18. package/lib/embedding.js +177 -177
  19. package/lib/entities/extractor.js +249 -249
  20. package/lib/guide.js +44 -0
  21. package/lib/heat.js +144 -136
  22. package/lib/hot-memory.js +46 -46
  23. package/lib/index.js +515 -515
  24. package/lib/inject.js +375 -295
  25. package/lib/lang.js +208 -179
  26. package/lib/local-embedder.js +320 -320
  27. package/lib/mirror.js +198 -198
  28. package/lib/organize.js +450 -0
  29. package/lib/quality-filter.js +126 -126
  30. package/lib/recall-stats.js +125 -0
  31. package/lib/reranker.js +269 -269
  32. package/lib/runtime/adopt.js +176 -176
  33. package/lib/runtime/closure.js +172 -172
  34. package/lib/runtime/download.js +247 -247
  35. package/lib/runtime/layout.js +265 -235
  36. package/lib/runtime/loader.js +252 -249
  37. package/lib/runtime/model-fetch.js +361 -361
  38. package/lib/runtime/provision.js +237 -237
  39. package/lib/runtime/tarball.js +130 -130
  40. package/lib/runtime/verify.js +204 -191
  41. package/lib/scope.js +118 -118
  42. package/lib/search/adaptive.js +60 -22
  43. package/lib/search/bm25.js +96 -96
  44. package/lib/service.js +2324 -2087
  45. package/lib/settings.js +459 -420
  46. package/lib/store.js +2549 -2367
  47. package/lib/summarize.js +820 -449
  48. package/lib/tools.js +702 -574
  49. package/lib/vector-index.js +110 -110
  50. package/lib/version-check.js +122 -122
  51. package/package.json +109 -108
  52. package/runtime-manifest.json +526 -596
  53. package/scripts/benchmark-embed.js +201 -201
  54. package/scripts/benchmark-recall.js +199 -199
  55. package/scripts/benchmark-rerank.js +166 -166
  56. package/scripts/build-runtime-manifest.mjs +224 -217
  57. package/scripts/check-sync.js +42 -42
  58. package/scripts/e2e-dsh.js +220 -220
  59. package/scripts/mneme-runtime.mjs +277 -277
  60. package/scripts/stress-dsh.js +255 -255
  61. package/scripts/sync-lib.js +47 -47
  62. package/scripts/sync-test-badge.mjs +67 -61
  63. package/src/api-standalone.js +506 -316
  64. package/src/api.js +1403 -1316
  65. package/src/bootstrap.js +211 -0
  66. package/src/commands.js +95 -95
  67. package/src/config.js +615 -510
  68. package/src/document.js +221 -0
  69. package/src/dream/clustering.js +118 -118
  70. package/src/dream/decisions.js +658 -658
  71. package/src/dream/narratives.js +44 -0
  72. package/src/dream/sleep.js +702 -700
  73. package/src/dream.js +147 -16
  74. package/src/embedding.js +177 -177
  75. package/src/entities/extractor.js +249 -249
  76. package/src/guide.js +44 -0
  77. package/src/heat.js +144 -136
  78. package/src/hot-memory.js +46 -46
  79. package/src/index.js +515 -515
  80. package/src/inject.js +375 -295
  81. package/src/lang.js +208 -179
  82. package/src/local-embedder.js +320 -320
  83. package/src/mirror.js +198 -198
  84. package/src/organize.js +450 -0
  85. package/src/quality-filter.js +126 -126
  86. package/src/recall-stats.js +125 -0
  87. package/src/reranker.js +269 -269
  88. package/src/runtime/adopt.js +176 -176
  89. package/src/runtime/closure.js +172 -172
  90. package/src/runtime/download.js +247 -247
  91. package/src/runtime/layout.js +265 -235
  92. package/src/runtime/loader.js +252 -249
  93. package/src/runtime/model-fetch.js +361 -361
  94. package/src/runtime/provision.js +237 -237
  95. package/src/runtime/tarball.js +130 -130
  96. package/src/runtime/verify.js +204 -191
  97. package/src/scope.js +118 -118
  98. package/src/search/adaptive.js +60 -22
  99. package/src/search/bm25.js +96 -96
  100. package/src/service.js +2324 -2087
  101. package/src/settings.js +459 -420
  102. package/src/store.js +2549 -2367
  103. package/src/summarize.js +820 -449
  104. package/src/tools.js +702 -574
  105. package/src/vector-index.js +110 -110
  106. package/src/version-check.js +122 -122
  107. package/test/adaptive-inject-budget.test.js +85 -0
  108. package/test/api-routes-gaps.test.js +218 -218
  109. package/test/api.test.js +1640 -1482
  110. package/test/audit.test.js +448 -448
  111. package/test/benchmark.test.js +94 -94
  112. package/test/bootstrap.test.js +220 -0
  113. package/test/client.test.js +860 -736
  114. package/test/clustering.test.js +100 -100
  115. package/test/commands.test.js +106 -106
  116. package/test/config.test.js +66 -66
  117. package/test/conflict-freeze.test.js +300 -300
  118. package/test/document.test.js +523 -0
  119. package/test/dream-archive-guardrail.test.js +116 -116
  120. package/test/dream-candidate-hybrid.test.js +281 -281
  121. package/test/dream-coverage-degrade.test.js +86 -86
  122. package/test/dream.test.js +1308 -1254
  123. package/test/embedding-ready.test.js +196 -196
  124. package/test/entities.test.js +547 -547
  125. package/test/entity-recall.test.js +179 -0
  126. package/test/epistemic.test.js +298 -298
  127. package/test/fnew-0112.test.js +311 -311
  128. package/test/fnew-03.test.js +422 -422
  129. package/test/graph-api.test.js +175 -175
  130. package/test/heat.test.js +175 -148
  131. package/test/helpers/dream-mock.js +82 -82
  132. package/test/helpers/peer-worker.mjs +25 -25
  133. package/test/helpers/runtime-source.js +60 -60
  134. package/test/helpers/tar-builder.js +80 -80
  135. package/test/hot-memory.test.js +145 -145
  136. package/test/inject-content-cap.test.js +91 -0
  137. package/test/inject-first-round-bm25.test.js +89 -89
  138. package/test/inject-heat.test.js +61 -0
  139. package/test/inject-pools.test.js +170 -0
  140. package/test/inject-recall.test.js +105 -0
  141. package/test/inject-rotation.test.js +161 -161
  142. package/test/inject.test.js +283 -249
  143. package/test/lang.test.js +87 -87
  144. package/test/lib-smoke.test.js +96 -96
  145. package/test/llm-audit.test.js +462 -309
  146. package/test/llm-message-source.test.js +177 -177
  147. package/test/local-embedder.test.js +249 -249
  148. package/test/mcp-stdio.test.js +385 -0
  149. package/test/mirror-dirty.test.js +424 -424
  150. package/test/mirror-edit-digest.test.js +187 -187
  151. package/test/mirror-generation.test.js +499 -499
  152. package/test/mirror.test.js +249 -249
  153. package/test/narrative-bars.test.js +162 -0
  154. package/test/organize.test.js +418 -0
  155. package/test/peer-blockers.test.js +193 -193
  156. package/test/policy-epoch.test.js +259 -259
  157. package/test/quality-filter.test.js +186 -186
  158. package/test/reasoning-effort.test.js +746 -746
  159. package/test/recall-evals.test.js +235 -235
  160. package/test/recall-layer.test.js +326 -326
  161. package/test/recall-stats.test.js +123 -0
  162. package/test/receipt-chain.test.js +451 -451
  163. package/test/reflection.test.js +226 -226
  164. package/test/reindex-backfill.test.js +62 -62
  165. package/test/reranker-single-logit.test.js +73 -73
  166. package/test/reranker.test.js +197 -197
  167. package/test/resident-status.test.js +83 -0
  168. package/test/runtime-adopt.test.js +206 -206
  169. package/test/runtime-cli.test.js +89 -89
  170. package/test/runtime-closure.test.js +193 -193
  171. package/test/runtime-download.test.js +302 -302
  172. package/test/runtime-layout.test.js +163 -163
  173. package/test/runtime-loader.test.js +255 -237
  174. package/test/runtime-manifest.test.js +159 -158
  175. package/test/runtime-model-fetch.test.js +348 -348
  176. package/test/runtime-provision.test.js +101 -101
  177. package/test/runtime-tarball.test.js +81 -81
  178. package/test/runtime-verify.test.js +279 -214
  179. package/test/scope-candidates.test.js +239 -239
  180. package/test/scope-explicit.test.js +452 -452
  181. package/test/scope-retrieval.test.js +197 -197
  182. package/test/scope-storage.test.js +255 -255
  183. package/test/scope-strict.test.js +231 -231
  184. package/test/search-fusion.test.js +90 -90
  185. package/test/semantic.test.js +124 -124
  186. package/test/service-search.test.js +174 -174
  187. package/test/service.test.js +405 -405
  188. package/test/settings.test.js +261 -261
  189. package/test/skip-invalid-restore.test.js +262 -262
  190. package/test/sleep-action-set.test.js +422 -422
  191. package/test/sleep-heat.test.js +126 -125
  192. package/test/sleep-scheduler-rearm.test.js +89 -89
  193. package/test/sleep.test.js +410 -373
  194. package/test/standalone-api.test.js +544 -359
  195. package/test/store-vector-cache.test.js +98 -98
  196. package/test/store.test.js +396 -383
  197. package/test/stress.test.js +209 -209
  198. package/test/summarize.test.js +1288 -575
  199. package/test/tools-dto-schema-matrix.test.js +325 -0
  200. package/test/tools-memory-get-schema.test.js +65 -65
  201. package/test/tools.test.js +374 -341
  202. package/test/updated-at-semantics.test.js +113 -113
  203. package/test/vector-index.test.js +221 -221
  204. package/test/version-check.test.js +152 -152
  205. package/test/webServer-optional.test.js +82 -82
@@ -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
+ });