@modusensus/dsh-mneme 0.8.2 → 0.8.4

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