@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.
- package/LICENSE +21 -21
- package/README.md +727 -636
- package/bin/cli.mjs +0 -0
- package/bin/dsh-mneme-mcp.mjs +510 -0
- package/cordis.patch.yml +21 -21
- package/lib/api-standalone.js +506 -316
- package/lib/api.js +1403 -1316
- package/lib/bootstrap.js +211 -0
- package/lib/client.js +4657 -4366
- package/lib/commands.js +95 -95
- package/lib/config.js +615 -510
- package/lib/document.js +221 -0
- package/lib/dream/clustering.js +118 -118
- package/lib/dream/decisions.js +658 -658
- package/lib/dream/narratives.js +44 -0
- package/lib/dream/sleep.js +702 -700
- package/lib/dream.js +147 -16
- package/lib/embedding.js +177 -177
- package/lib/entities/extractor.js +249 -249
- package/lib/guide.js +44 -0
- package/lib/heat.js +144 -136
- package/lib/hot-memory.js +46 -46
- package/lib/index.js +515 -515
- package/lib/inject.js +375 -295
- package/lib/lang.js +208 -179
- package/lib/local-embedder.js +320 -320
- package/lib/mirror.js +198 -198
- package/lib/organize.js +450 -0
- package/lib/quality-filter.js +126 -126
- package/lib/recall-stats.js +125 -0
- package/lib/reranker.js +269 -269
- package/lib/runtime/adopt.js +176 -176
- package/lib/runtime/closure.js +172 -172
- package/lib/runtime/download.js +247 -247
- package/lib/runtime/layout.js +265 -235
- package/lib/runtime/loader.js +252 -249
- package/lib/runtime/model-fetch.js +361 -361
- package/lib/runtime/provision.js +237 -237
- package/lib/runtime/tarball.js +130 -130
- package/lib/runtime/verify.js +204 -191
- package/lib/scope.js +118 -118
- package/lib/search/adaptive.js +60 -22
- package/lib/search/bm25.js +96 -96
- package/lib/service.js +2324 -2087
- package/lib/settings.js +459 -420
- package/lib/store.js +2549 -2367
- package/lib/summarize.js +820 -449
- package/lib/tools.js +702 -574
- package/lib/vector-index.js +110 -110
- package/lib/version-check.js +122 -122
- package/package.json +109 -108
- package/runtime-manifest.json +526 -596
- package/scripts/benchmark-embed.js +201 -201
- package/scripts/benchmark-recall.js +199 -199
- package/scripts/benchmark-rerank.js +166 -166
- package/scripts/build-runtime-manifest.mjs +224 -217
- package/scripts/check-sync.js +42 -42
- package/scripts/e2e-dsh.js +220 -220
- package/scripts/mneme-runtime.mjs +277 -277
- package/scripts/stress-dsh.js +255 -255
- package/scripts/sync-lib.js +47 -47
- package/scripts/sync-test-badge.mjs +67 -61
- package/src/api-standalone.js +506 -316
- package/src/api.js +1403 -1316
- package/src/bootstrap.js +211 -0
- package/src/commands.js +95 -95
- package/src/config.js +615 -510
- package/src/document.js +221 -0
- package/src/dream/clustering.js +118 -118
- package/src/dream/decisions.js +658 -658
- package/src/dream/narratives.js +44 -0
- package/src/dream/sleep.js +702 -700
- package/src/dream.js +147 -16
- package/src/embedding.js +177 -177
- package/src/entities/extractor.js +249 -249
- package/src/guide.js +44 -0
- package/src/heat.js +144 -136
- package/src/hot-memory.js +46 -46
- package/src/index.js +515 -515
- package/src/inject.js +375 -295
- package/src/lang.js +208 -179
- package/src/local-embedder.js +320 -320
- package/src/mirror.js +198 -198
- package/src/organize.js +450 -0
- package/src/quality-filter.js +126 -126
- package/src/recall-stats.js +125 -0
- package/src/reranker.js +269 -269
- package/src/runtime/adopt.js +176 -176
- package/src/runtime/closure.js +172 -172
- package/src/runtime/download.js +247 -247
- package/src/runtime/layout.js +265 -235
- package/src/runtime/loader.js +252 -249
- package/src/runtime/model-fetch.js +361 -361
- package/src/runtime/provision.js +237 -237
- package/src/runtime/tarball.js +130 -130
- package/src/runtime/verify.js +204 -191
- package/src/scope.js +118 -118
- package/src/search/adaptive.js +60 -22
- package/src/search/bm25.js +96 -96
- package/src/service.js +2324 -2087
- package/src/settings.js +459 -420
- package/src/store.js +2549 -2367
- package/src/summarize.js +820 -449
- package/src/tools.js +702 -574
- package/src/vector-index.js +110 -110
- package/src/version-check.js +122 -122
- package/test/adaptive-inject-budget.test.js +85 -0
- package/test/api-routes-gaps.test.js +218 -218
- package/test/api.test.js +1640 -1482
- package/test/audit.test.js +448 -448
- package/test/benchmark.test.js +94 -94
- package/test/bootstrap.test.js +220 -0
- package/test/client.test.js +860 -736
- package/test/clustering.test.js +100 -100
- package/test/commands.test.js +106 -106
- package/test/config.test.js +66 -66
- package/test/conflict-freeze.test.js +300 -300
- package/test/document.test.js +523 -0
- package/test/dream-archive-guardrail.test.js +116 -116
- package/test/dream-candidate-hybrid.test.js +281 -281
- package/test/dream-coverage-degrade.test.js +86 -86
- package/test/dream.test.js +1308 -1254
- package/test/embedding-ready.test.js +196 -196
- package/test/entities.test.js +547 -547
- package/test/entity-recall.test.js +179 -0
- package/test/epistemic.test.js +298 -298
- package/test/fnew-0112.test.js +311 -311
- package/test/fnew-03.test.js +422 -422
- package/test/graph-api.test.js +175 -175
- package/test/heat.test.js +175 -148
- package/test/helpers/dream-mock.js +82 -82
- package/test/helpers/peer-worker.mjs +25 -25
- package/test/helpers/runtime-source.js +60 -60
- package/test/helpers/tar-builder.js +80 -80
- package/test/hot-memory.test.js +145 -145
- package/test/inject-content-cap.test.js +91 -0
- package/test/inject-first-round-bm25.test.js +89 -89
- package/test/inject-heat.test.js +61 -0
- package/test/inject-pools.test.js +170 -0
- package/test/inject-recall.test.js +105 -0
- package/test/inject-rotation.test.js +161 -161
- package/test/inject.test.js +283 -249
- package/test/lang.test.js +87 -87
- package/test/lib-smoke.test.js +96 -96
- package/test/llm-audit.test.js +462 -309
- package/test/llm-message-source.test.js +177 -177
- package/test/local-embedder.test.js +249 -249
- package/test/mcp-stdio.test.js +385 -0
- package/test/mirror-dirty.test.js +424 -424
- package/test/mirror-edit-digest.test.js +187 -187
- package/test/mirror-generation.test.js +499 -499
- package/test/mirror.test.js +249 -249
- package/test/narrative-bars.test.js +162 -0
- package/test/organize.test.js +418 -0
- package/test/peer-blockers.test.js +193 -193
- package/test/policy-epoch.test.js +259 -259
- package/test/quality-filter.test.js +186 -186
- package/test/reasoning-effort.test.js +746 -746
- package/test/recall-evals.test.js +235 -235
- package/test/recall-layer.test.js +326 -326
- package/test/recall-stats.test.js +123 -0
- package/test/receipt-chain.test.js +451 -451
- package/test/reflection.test.js +226 -226
- package/test/reindex-backfill.test.js +62 -62
- package/test/reranker-single-logit.test.js +73 -73
- package/test/reranker.test.js +197 -197
- package/test/resident-status.test.js +83 -0
- package/test/runtime-adopt.test.js +206 -206
- package/test/runtime-cli.test.js +89 -89
- package/test/runtime-closure.test.js +193 -193
- package/test/runtime-download.test.js +302 -302
- package/test/runtime-layout.test.js +163 -163
- package/test/runtime-loader.test.js +255 -237
- package/test/runtime-manifest.test.js +159 -158
- package/test/runtime-model-fetch.test.js +348 -348
- package/test/runtime-provision.test.js +101 -101
- package/test/runtime-tarball.test.js +81 -81
- package/test/runtime-verify.test.js +279 -214
- package/test/scope-candidates.test.js +239 -239
- package/test/scope-explicit.test.js +452 -452
- package/test/scope-retrieval.test.js +197 -197
- package/test/scope-storage.test.js +255 -255
- package/test/scope-strict.test.js +231 -231
- package/test/search-fusion.test.js +90 -90
- package/test/semantic.test.js +124 -124
- package/test/service-search.test.js +174 -174
- package/test/service.test.js +405 -405
- package/test/settings.test.js +261 -261
- package/test/skip-invalid-restore.test.js +262 -262
- package/test/sleep-action-set.test.js +422 -422
- package/test/sleep-heat.test.js +126 -125
- package/test/sleep-scheduler-rearm.test.js +89 -89
- package/test/sleep.test.js +410 -373
- package/test/standalone-api.test.js +544 -359
- package/test/store-vector-cache.test.js +98 -98
- package/test/store.test.js +396 -383
- package/test/stress.test.js +209 -209
- package/test/summarize.test.js +1288 -575
- package/test/tools-dto-schema-matrix.test.js +325 -0
- package/test/tools-memory-get-schema.test.js +65 -65
- package/test/tools.test.js +374 -341
- package/test/updated-at-semantics.test.js +113 -113
- package/test/vector-index.test.js +221 -221
- package/test/version-check.test.js +152 -152
- package/test/webServer-optional.test.js +82 -82
|
@@ -1,89 +1,89 @@
|
|
|
1
|
-
import test from "node:test";
|
|
2
|
-
import assert from "node:assert/strict";
|
|
3
|
-
import { createStore } from "../src/store.js";
|
|
4
|
-
import { createService } from "../src/service.js";
|
|
5
|
-
import { createVectorIndex } from "../src/vector-index.js";
|
|
6
|
-
|
|
7
|
-
// 回归(issue #198):注入渲染是同步的(宿主 systemPrompt 不支持异步 text),
|
|
8
|
-
// 查询向量只能异步 prefetch 给下一轮用——首轮 queryVectorCache 必 miss。
|
|
9
|
-
// 此时 injectCandidates 落到静态 priority 排序(summary > preference >
|
|
10
|
-
// importance×quality):老的高重要性 preference 会占满全部槽位,当前话题的
|
|
11
|
-
// decision/project 进不来(报告者库:427 活跃、29 条 imp=5 preference)。
|
|
12
|
-
// 修复:首轮同步兜底用 BM25 词法召回领位(纯进程内、无需向量);语义向量
|
|
13
|
-
// 命中时行为不变(向量 > 缓存召回 > BM25 > 静态排序)。
|
|
14
|
-
|
|
15
|
-
function setup(config = {}) {
|
|
16
|
-
const store = createStore(":memory:");
|
|
17
|
-
const service = createService({ store, mirror: null, config });
|
|
18
|
-
return { store, service };
|
|
19
|
-
}
|
|
20
|
-
|
|
21
|
-
// 与查询词法完全不相交的旧高价值 preference(双字组不重叠)
|
|
22
|
-
function seedStalePreferences(service, n = 8) {
|
|
23
|
-
const ids = [];
|
|
24
|
-
for (let i = 0; i < n; i++) {
|
|
25
|
-
ids.push(service.saveWithDedupe({
|
|
26
|
-
type: "preference",
|
|
27
|
-
title: `旧偏好条目${i}`,
|
|
28
|
-
content: `用户喜欢深色界面与紧凑排版,这是第${i}条历史偏好存档`
|
|
29
|
-
, importance: 5 }).memory.id);
|
|
30
|
-
}
|
|
31
|
-
return ids;
|
|
32
|
-
}
|
|
33
|
-
|
|
34
|
-
test("#198: first round (no vector) leads with BM25 topical hits, not stale preferences", () => {
|
|
35
|
-
const { service, store } = setup();
|
|
36
|
-
seedStalePreferences(service, 8);
|
|
37
|
-
const onTopic = service.saveWithDedupe({
|
|
38
|
-
type: "decision",
|
|
39
|
-
title: "夜航限流选型",
|
|
40
|
-
content: "决定采用令牌桶做夜航App的限流方案,阈值按用户等级分层",
|
|
41
|
-
importance: 3
|
|
42
|
-
}).memory;
|
|
43
|
-
|
|
44
|
-
const picked = service.injectCandidates({ query: "夜航App令牌桶限流方案怎么设计的", maxItems: 5, threshold: 3 });
|
|
45
|
-
assert.ok(picked.some((m) => m.id === onTopic.id), "on-topic decision must enter the first-round block");
|
|
46
|
-
assert.equal(picked[0].id, onTopic.id, "BM25 topical hit leads the block");
|
|
47
|
-
store.close();
|
|
48
|
-
});
|
|
49
|
-
|
|
50
|
-
test("#198: legacy static order is kept when bm25 is disabled", () => {
|
|
51
|
-
const { service, store } = setup({ bm25SearchEnabled: false });
|
|
52
|
-
seedStalePreferences(service, 8);
|
|
53
|
-
const onTopic = service.saveWithDedupe({
|
|
54
|
-
type: "decision",
|
|
55
|
-
title: "夜航限流选型",
|
|
56
|
-
content: "决定采用令牌桶做夜航App的限流方案,阈值按用户等级分层",
|
|
57
|
-
importance: 3
|
|
58
|
-
}).memory;
|
|
59
|
-
|
|
60
|
-
const picked = service.injectCandidates({ query: "夜航App令牌桶限流方案怎么设计的", maxItems: 5, threshold: 3 });
|
|
61
|
-
assert.ok(!picked.some((m) => m.id === onTopic.id), "bm25 off -> legacy static order (preferences fill the slots)");
|
|
62
|
-
store.close();
|
|
63
|
-
});
|
|
64
|
-
|
|
65
|
-
test("#198: vector hits still outrank BM25 when a queryVector is available", async () => {
|
|
66
|
-
const { service, store } = setup();
|
|
67
|
-
seedStalePreferences(service, 3);
|
|
68
|
-
// 词法与查询不相交、但向量命中的记忆:语义路径必须压过 BM25 词法路径。
|
|
69
|
-
const vectorHit = service.saveWithDedupe({
|
|
70
|
-
type: "project",
|
|
71
|
-
title: "星图渲染重构",
|
|
72
|
-
content: "星图渲染重构记录:绘制管线迁移与图层合并",
|
|
73
|
-
importance: 3
|
|
74
|
-
}).memory;
|
|
75
|
-
const bm25Hit = service.saveWithDedupe({
|
|
76
|
-
type: "decision",
|
|
77
|
-
title: "夜航限流选型",
|
|
78
|
-
content: "决定采用令牌桶做夜航App的限流方案,阈值按用户等级分层",
|
|
79
|
-
importance: 3
|
|
80
|
-
}).memory;
|
|
81
|
-
const vectorIndex = createVectorIndex({ store });
|
|
82
|
-
service.setVectorIndex(vectorIndex);
|
|
83
|
-
vectorIndex.saveEmbedding(vectorHit.id, [1, 0, 0]);
|
|
84
|
-
|
|
85
|
-
const picked = service.injectCandidates({ query: "夜航App令牌桶限流方案怎么设计的", maxItems: 5, threshold: 3, queryVector: [1, 0, 0] });
|
|
86
|
-
assert.equal(picked[0].id, vectorHit.id, "vector hit leads; BM25 only fills the gap when no vector");
|
|
87
|
-
assert.ok(picked.some((m) => m.id === bm25Hit.id), "BM25 hit still present among candidates");
|
|
88
|
-
store.close();
|
|
89
|
-
});
|
|
1
|
+
import test from "node:test";
|
|
2
|
+
import assert from "node:assert/strict";
|
|
3
|
+
import { createStore } from "../src/store.js";
|
|
4
|
+
import { createService } from "../src/service.js";
|
|
5
|
+
import { createVectorIndex } from "../src/vector-index.js";
|
|
6
|
+
|
|
7
|
+
// 回归(issue #198):注入渲染是同步的(宿主 systemPrompt 不支持异步 text),
|
|
8
|
+
// 查询向量只能异步 prefetch 给下一轮用——首轮 queryVectorCache 必 miss。
|
|
9
|
+
// 此时 injectCandidates 落到静态 priority 排序(summary > preference >
|
|
10
|
+
// importance×quality):老的高重要性 preference 会占满全部槽位,当前话题的
|
|
11
|
+
// decision/project 进不来(报告者库:427 活跃、29 条 imp=5 preference)。
|
|
12
|
+
// 修复:首轮同步兜底用 BM25 词法召回领位(纯进程内、无需向量);语义向量
|
|
13
|
+
// 命中时行为不变(向量 > 缓存召回 > BM25 > 静态排序)。
|
|
14
|
+
|
|
15
|
+
function setup(config = {}) {
|
|
16
|
+
const store = createStore(":memory:");
|
|
17
|
+
const service = createService({ store, mirror: null, config });
|
|
18
|
+
return { store, service };
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
// 与查询词法完全不相交的旧高价值 preference(双字组不重叠)
|
|
22
|
+
function seedStalePreferences(service, n = 8) {
|
|
23
|
+
const ids = [];
|
|
24
|
+
for (let i = 0; i < n; i++) {
|
|
25
|
+
ids.push(service.saveWithDedupe({
|
|
26
|
+
type: "preference",
|
|
27
|
+
title: `旧偏好条目${i}`,
|
|
28
|
+
content: `用户喜欢深色界面与紧凑排版,这是第${i}条历史偏好存档`
|
|
29
|
+
, importance: 5 }).memory.id);
|
|
30
|
+
}
|
|
31
|
+
return ids;
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
test("#198: first round (no vector) leads with BM25 topical hits, not stale preferences", () => {
|
|
35
|
+
const { service, store } = setup();
|
|
36
|
+
seedStalePreferences(service, 8);
|
|
37
|
+
const onTopic = service.saveWithDedupe({
|
|
38
|
+
type: "decision",
|
|
39
|
+
title: "夜航限流选型",
|
|
40
|
+
content: "决定采用令牌桶做夜航App的限流方案,阈值按用户等级分层",
|
|
41
|
+
importance: 3
|
|
42
|
+
}).memory;
|
|
43
|
+
|
|
44
|
+
const picked = service.injectCandidates({ query: "夜航App令牌桶限流方案怎么设计的", maxItems: 5, threshold: 3 });
|
|
45
|
+
assert.ok(picked.some((m) => m.id === onTopic.id), "on-topic decision must enter the first-round block");
|
|
46
|
+
assert.equal(picked[0].id, onTopic.id, "BM25 topical hit leads the block");
|
|
47
|
+
store.close();
|
|
48
|
+
});
|
|
49
|
+
|
|
50
|
+
test("#198: legacy static order is kept when bm25 is disabled", () => {
|
|
51
|
+
const { service, store } = setup({ bm25SearchEnabled: false });
|
|
52
|
+
seedStalePreferences(service, 8);
|
|
53
|
+
const onTopic = service.saveWithDedupe({
|
|
54
|
+
type: "decision",
|
|
55
|
+
title: "夜航限流选型",
|
|
56
|
+
content: "决定采用令牌桶做夜航App的限流方案,阈值按用户等级分层",
|
|
57
|
+
importance: 3
|
|
58
|
+
}).memory;
|
|
59
|
+
|
|
60
|
+
const picked = service.injectCandidates({ query: "夜航App令牌桶限流方案怎么设计的", maxItems: 5, threshold: 3 });
|
|
61
|
+
assert.ok(!picked.some((m) => m.id === onTopic.id), "bm25 off -> legacy static order (preferences fill the slots)");
|
|
62
|
+
store.close();
|
|
63
|
+
});
|
|
64
|
+
|
|
65
|
+
test("#198: vector hits still outrank BM25 when a queryVector is available", async () => {
|
|
66
|
+
const { service, store } = setup();
|
|
67
|
+
seedStalePreferences(service, 3);
|
|
68
|
+
// 词法与查询不相交、但向量命中的记忆:语义路径必须压过 BM25 词法路径。
|
|
69
|
+
const vectorHit = service.saveWithDedupe({
|
|
70
|
+
type: "project",
|
|
71
|
+
title: "星图渲染重构",
|
|
72
|
+
content: "星图渲染重构记录:绘制管线迁移与图层合并",
|
|
73
|
+
importance: 3
|
|
74
|
+
}).memory;
|
|
75
|
+
const bm25Hit = service.saveWithDedupe({
|
|
76
|
+
type: "decision",
|
|
77
|
+
title: "夜航限流选型",
|
|
78
|
+
content: "决定采用令牌桶做夜航App的限流方案,阈值按用户等级分层",
|
|
79
|
+
importance: 3
|
|
80
|
+
}).memory;
|
|
81
|
+
const vectorIndex = createVectorIndex({ store });
|
|
82
|
+
service.setVectorIndex(vectorIndex);
|
|
83
|
+
vectorIndex.saveEmbedding(vectorHit.id, [1, 0, 0]);
|
|
84
|
+
|
|
85
|
+
const picked = service.injectCandidates({ query: "夜航App令牌桶限流方案怎么设计的", maxItems: 5, threshold: 3, queryVector: [1, 0, 0] });
|
|
86
|
+
assert.equal(picked[0].id, vectorHit.id, "vector hit leads; BM25 only fills the gap when no vector");
|
|
87
|
+
assert.ok(picked.some((m) => m.id === bm25Hit.id), "BM25 hit still present among candidates");
|
|
88
|
+
store.close();
|
|
89
|
+
});
|
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
import test from "node:test";
|
|
2
|
+
import assert from "node:assert/strict";
|
|
3
|
+
import { createStore } from "../src/store.js";
|
|
4
|
+
import { createService } from "../src/service.js";
|
|
5
|
+
|
|
6
|
+
// #218 v1:heat 作为注入排序的**同级内乘数**(issue #218 拍板口径)。
|
|
7
|
+
// 规则路 comparator 的层内权重 importance×quality 乘 heat;priority 分层
|
|
8
|
+
// (summary=0 / preference=1 / coding 同级 / 其余 2)与 store 的 order=chrono
|
|
9
|
+
// 分页序不动。heatEnabled=false(默认)时权重恒 1,排序与改动前一致——
|
|
10
|
+
// 本文件的关闭用例与 heat.test.js 的曲线断言共同锁住验收第 1 条。
|
|
11
|
+
|
|
12
|
+
const HOUR = 3600000;
|
|
13
|
+
|
|
14
|
+
function setup(config = {}) {
|
|
15
|
+
const store = createStore(":memory:");
|
|
16
|
+
const service = createService({ store, mirror: null, config });
|
|
17
|
+
return { store, service };
|
|
18
|
+
}
|
|
19
|
+
|
|
20
|
+
const titles = (candidates) => candidates.map((c) => c.title);
|
|
21
|
+
|
|
22
|
+
test("heat off(默认):层内维持 importance 序,与改动前一致", () => {
|
|
23
|
+
const { store, service } = setup();
|
|
24
|
+
const cold = service.saveWithDedupe({ type: "decision", title: "冷的高重要性决策", content: "旧", importance: 4 }).memory;
|
|
25
|
+
service.saveWithDedupe({ type: "decision", title: "新的低重要性决策", content: "新", importance: 3 });
|
|
26
|
+
service.touchLastAccess(cold.id, new Date(Date.now() - 3000 * HOUR).toISOString());
|
|
27
|
+
// 新记忆不触达:ref 退 created_at(≈现在),heat≈1,不影响本用例
|
|
28
|
+
const picked = service.injectCandidates({ maxItems: 5, threshold: 3 });
|
|
29
|
+
assert.deepEqual(titles(picked), ["冷的高重要性决策", "新的低重要性决策"]);
|
|
30
|
+
store.close();
|
|
31
|
+
});
|
|
32
|
+
|
|
33
|
+
test("heat on:同层内新鲜低重要性记忆越过冷的高重要性记忆", () => {
|
|
34
|
+
const { store, service } = setup({ heatEnabled: true });
|
|
35
|
+
const cold = service.saveWithDedupe({ type: "decision", title: "冷的高重要性决策", content: "旧", importance: 4 }).memory;
|
|
36
|
+
service.saveWithDedupe({ type: "decision", title: "新的低重要性决策", content: "新", importance: 3 });
|
|
37
|
+
service.touchLastAccess(cold.id, new Date(Date.now() - 3000 * HOUR).toISOString());
|
|
38
|
+
const picked = service.injectCandidates({ maxItems: 5, threshold: 3 });
|
|
39
|
+
// λ=0.002、3000h → 冷记忆权重 4×e^-6≈0.01,新鲜记忆 3×≈1 → 反超
|
|
40
|
+
assert.deepEqual(titles(picked), ["新的低重要性决策", "冷的高重要性决策"]);
|
|
41
|
+
store.close();
|
|
42
|
+
});
|
|
43
|
+
|
|
44
|
+
test("heat on 且 λ=0(免疫类型):乘数恒 1,importance 序不受影响", () => {
|
|
45
|
+
const { store, service } = setup({ heatEnabled: true, heatTypeDecay: { decision: 0 } });
|
|
46
|
+
const cold = service.saveWithDedupe({ type: "decision", title: "冷的高重要性决策", content: "旧", importance: 4 }).memory;
|
|
47
|
+
service.saveWithDedupe({ type: "decision", title: "新的低重要性决策", content: "新", importance: 3 });
|
|
48
|
+
service.touchLastAccess(cold.id, new Date(Date.now() - 3000 * HOUR).toISOString());
|
|
49
|
+
const picked = service.injectCandidates({ maxItems: 5, threshold: 3 });
|
|
50
|
+
assert.deepEqual(titles(picked), ["冷的高重要性决策", "新的低重要性决策"]);
|
|
51
|
+
store.close();
|
|
52
|
+
});
|
|
53
|
+
|
|
54
|
+
test("heat 不跨层:再热的 decision 也不越过 summary 层", () => {
|
|
55
|
+
const { store, service } = setup({ heatEnabled: true });
|
|
56
|
+
service.saveWithDedupe({ type: "summary", title: "会话总览", content: "总览", importance: 2 });
|
|
57
|
+
service.saveWithDedupe({ type: "decision", title: "滚烫决策", content: "新", importance: 3 });
|
|
58
|
+
const picked = service.injectCandidates({ maxItems: 5, threshold: 3 });
|
|
59
|
+
assert.equal(picked[0].type, "summary", "priority 分层不被 heat 打破");
|
|
60
|
+
store.close();
|
|
61
|
+
});
|
|
@@ -0,0 +1,170 @@
|
|
|
1
|
+
import test from "node:test";
|
|
2
|
+
import assert from "node:assert/strict";
|
|
3
|
+
import { createStore } from "../src/store.js";
|
|
4
|
+
import { createService } from "../src/service.js";
|
|
5
|
+
import { createInjector } from "../src/inject.js";
|
|
6
|
+
import { createSettings } from "../src/settings.js";
|
|
7
|
+
import { createTools } from "../src/tools.js";
|
|
8
|
+
import { MEMORY_GUIDE_SECTION } from "../src/guide.js";
|
|
9
|
+
|
|
10
|
+
// 回归(issue #249 第一批):注入形态的两件事——
|
|
11
|
+
// ①能力说明(injectGuidanceEnabled):工具描述补判断指引 + order 150 一次性
|
|
12
|
+
// 总则段(常驻段必须同会话稳定,不逐轮复读);
|
|
13
|
+
// ②B1 pin 池(pinnedInjectBudget):约束/偏好不进相关性竞争与跨轮轮换、逐字
|
|
14
|
+
// 保真、排在块内排序之前,且有独立小预算(不占 maxInjectedItems 名额)。
|
|
15
|
+
// 两个键都默认关/零,默认档下注入块与改动前逐字节一致(本文件第一例锁这条)。
|
|
16
|
+
|
|
17
|
+
const userMsg = (text) => ({
|
|
18
|
+
type: "user/message",
|
|
19
|
+
data: { source: { kind: "user" }, content: [{ type: "text", text }] }
|
|
20
|
+
});
|
|
21
|
+
|
|
22
|
+
function setup(over = {}) {
|
|
23
|
+
const store = createStore(":memory:");
|
|
24
|
+
// 同一份 config 同时交给 service 与 injector——生产里是同一个 cfg 对象,
|
|
25
|
+
// 而 pin 池的预算读取发生在 service 内、能力说明的开关读取发生在 injector 内。
|
|
26
|
+
const config = { maxInjectedItems: 3, importanceThreshold: 3, ...over };
|
|
27
|
+
const service = createService({ store, mirror: null, config });
|
|
28
|
+
const settings = createSettings(store.db);
|
|
29
|
+
const contexts = [];
|
|
30
|
+
const sections = [];
|
|
31
|
+
const ctx = {
|
|
32
|
+
systemPrompt: {
|
|
33
|
+
context(def) { contexts.push(def); return () => {}; },
|
|
34
|
+
section(def) { sections.push(def); return () => {}; }
|
|
35
|
+
}
|
|
36
|
+
};
|
|
37
|
+
createInjector(ctx, service, settings, config);
|
|
38
|
+
const text = (query = "") => contexts[0].text({
|
|
39
|
+
agent: { session: { id: "s1", snapshotEvents: () => (query ? [userMsg(query)] : []) } }
|
|
40
|
+
});
|
|
41
|
+
return { store, service, contexts, sections, text };
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
const types = (body) => [...body.matchAll(/- \[(\w+)\]/g)].map((m) => m[1]);
|
|
45
|
+
const leadPreference = (body) => body.match(/- \[preference\] ([^((]*)/)?.[1]?.trim();
|
|
46
|
+
|
|
47
|
+
test("#249: default (pinned budget 0) keeps the legacy order and adds no annotation", () => {
|
|
48
|
+
const { service, text } = setup({});
|
|
49
|
+
service.saveWithDedupe({ type: "summary", title: "总览", content: "总览内容", importance: 5 });
|
|
50
|
+
service.saveWithDedupe({ type: "preference", title: "偏好A", content: "偏好内容", importance: 5 });
|
|
51
|
+
const body = text();
|
|
52
|
+
// 现状档位:蒸馏摘要(0) 先于偏好(1)。pin 关闭时不得出现「偏好前置」这一改动。
|
|
53
|
+
assert.deepEqual(types(body), ["summary", "preference"], "budget 0 → legacy priority order");
|
|
54
|
+
assert.ok(!body.includes("未展示"), "pool off → no overflow annotation");
|
|
55
|
+
});
|
|
56
|
+
|
|
57
|
+
test("#249: pinned entries lead the block and sit outside maxInjectedItems", () => {
|
|
58
|
+
const { service, text } = setup({ maxInjectedItems: 2, pinnedInjectBudget: 2 });
|
|
59
|
+
service.saveWithDedupe({ type: "summary", title: "总览", content: "总览内容", importance: 5 });
|
|
60
|
+
service.saveWithDedupe({ type: "preference", title: "偏好A", content: "偏好甲内容", importance: 5 });
|
|
61
|
+
service.saveWithDedupe({ type: "preference", title: "偏好B", content: "偏好乙内容", importance: 5 });
|
|
62
|
+
service.saveWithDedupe({ type: "decision", title: "决定甲", content: "决定内容", importance: 5 });
|
|
63
|
+
const body = text();
|
|
64
|
+
const seq = types(body);
|
|
65
|
+
assert.deepEqual(seq.slice(0, 2), ["preference", "preference"], "pin pool leads the block");
|
|
66
|
+
assert.deepEqual(seq.slice(2), ["summary", "decision"], "general slots still fill to maxItems");
|
|
67
|
+
assert.equal(seq.length, 4, "pinned entries do not consume maxInjectedItems slots");
|
|
68
|
+
});
|
|
69
|
+
|
|
70
|
+
test("#249: over-budget pinned entries are annotated with the truly hidden count", () => {
|
|
71
|
+
const { service, text } = setup({ maxInjectedItems: 1, pinnedInjectBudget: 1 });
|
|
72
|
+
for (let i = 0; i < 3; i++) {
|
|
73
|
+
service.saveWithDedupe({ type: "preference", title: `偏好${i}`, content: `第 ${i} 条偏好内容`, importance: 5 });
|
|
74
|
+
}
|
|
75
|
+
const body = text();
|
|
76
|
+
// 3 条同类里 pref0 被 pin、pref1 进了 general 槽(真的在块内),只有 pref2 没展示。
|
|
77
|
+
// 按 eligible - pinned 直接相减会把 pref1 也算成未展示——虚报(#266 评审实测)。
|
|
78
|
+
assert.ok(body.includes("偏好1"), "the over-budget one that made it into a general slot is really shown");
|
|
79
|
+
assert.ok(body.includes("另有 1 条未展示"), `annotation must carry the hidden count: ${body}`);
|
|
80
|
+
assert.ok(!body.includes("另有 2 条"), "no double counting");
|
|
81
|
+
});
|
|
82
|
+
|
|
83
|
+
test("#249: pinned entries are exempt from cross-turn rotation", () => {
|
|
84
|
+
const { service, text } = setup({ maxInjectedItems: 1, pinnedInjectBudget: 1, injectRotationTurns: 2 });
|
|
85
|
+
service.saveWithDedupe({ type: "preference", title: "偏好A", content: "偏好甲内容", importance: 5 });
|
|
86
|
+
service.saveWithDedupe({ type: "preference", title: "偏好B", content: "偏好乙内容", importance: 5 });
|
|
87
|
+
service.saveWithDedupe({ type: "decision", title: "决定甲", content: "决定内容", importance: 5 });
|
|
88
|
+
service.saveWithDedupe({ type: "decision", title: "决定乙", content: "另一决定", importance: 5 });
|
|
89
|
+
const first = leadPreference(text("第一个问题"));
|
|
90
|
+
const second = leadPreference(text("第二个问题"));
|
|
91
|
+
assert.ok(first, "pin entry is rendered in turn 1");
|
|
92
|
+
assert.equal(first, second, "pin stays at the block head across turns (not rotated away)");
|
|
93
|
+
});
|
|
94
|
+
|
|
95
|
+
test("#249: pinned content is verbatim below the hard ceiling", () => {
|
|
96
|
+
const { service, text } = setup({ maxInjectedItems: 1, pinnedInjectBudget: 1, injectContentMaxChars: 60 });
|
|
97
|
+
const long = "约束原文".repeat(60); // 240 chars, 4× the per-entry cap
|
|
98
|
+
service.saveWithDedupe({ type: "preference", title: "长偏好", content: long, importance: 5 });
|
|
99
|
+
const body = text();
|
|
100
|
+
assert.ok(body.includes(long), "240-char pinned body goes in verbatim (injectContentMaxChars does not apply)");
|
|
101
|
+
assert.ok(!body.includes("已截断"), "no truncation hint needed below the ceiling");
|
|
102
|
+
});
|
|
103
|
+
|
|
104
|
+
test("#249: pinned content still honours the hard ceiling and says so", () => {
|
|
105
|
+
const { service, text } = setup({ maxInjectedItems: 1, pinnedInjectBudget: 1 });
|
|
106
|
+
const huge = "超长约束".repeat(900); // 3600 chars
|
|
107
|
+
service.saveWithDedupe({ type: "preference", title: "超长偏好", content: huge, importance: 5 });
|
|
108
|
+
const body = text();
|
|
109
|
+
assert.ok(!body.includes(huge), "a runaway pinned entry cannot flood the standing block");
|
|
110
|
+
assert.ok(body.includes("已截断"), "the cut is reported, never silent");
|
|
111
|
+
});
|
|
112
|
+
|
|
113
|
+
test("#249: pinned content does not eat the general block budget", () => {
|
|
114
|
+
// 一条 pin 就够击穿 MAX_BLOCK(PINNED_CONTENT_MAX 2000 > MAX_BLOCK 1500):pin
|
|
115
|
+
// 若照旧扣共享预算,budget 变负后同一轮的所有普通候选都会被压成标题行。
|
|
116
|
+
const { service, text } = setup({ maxInjectedItems: 2, pinnedInjectBudget: 1 });
|
|
117
|
+
const longPinned = "约束原文".repeat(470); // 1880 字符,仍在 2000 硬顶内(不带截断)
|
|
118
|
+
service.saveWithDedupe({ type: "preference", title: "长约束", content: longPinned, importance: 5 });
|
|
119
|
+
service.saveWithDedupe({ type: "summary", title: "总览", content: "总览正文必须带出来", importance: 5 });
|
|
120
|
+
const body = text();
|
|
121
|
+
assert.ok(body.includes(longPinned), "pin 逐字保真");
|
|
122
|
+
assert.ok(body.includes("总览正文必须带出来"), "普通候选照旧拿完整正文:pin 不占共享预算");
|
|
123
|
+
});
|
|
124
|
+
|
|
125
|
+
test("#249: capability guide is off by default, registered once when on", () => {
|
|
126
|
+
const off = setup({});
|
|
127
|
+
assert.equal(off.sections.length, 0, "default off → no prompt section registered");
|
|
128
|
+
|
|
129
|
+
const on = setup({ injectGuidanceEnabled: true });
|
|
130
|
+
assert.equal(on.sections.length, 1, "exactly one guide section");
|
|
131
|
+
assert.equal(on.sections[0].name, "memory-guide");
|
|
132
|
+
assert.equal(on.sections[0].order, 150, "插件指引段的既有 order 惯例");
|
|
133
|
+
assert.equal(on.sections[0].text, MEMORY_GUIDE_SECTION, "常量文本 → 同会话内稳定");
|
|
134
|
+
// 不可逆工具(memory_delete)的克制指引必须在场:这是全 guide 里唯一有数据
|
|
135
|
+
// 损失后果的一句,被误删掉的回归要能立刻转红。
|
|
136
|
+
assert.ok(MEMORY_GUIDE_SECTION.includes("memory_delete"), "guide keeps the irreversible-tool warning");
|
|
137
|
+
// memory_forget 的副作用面同样不能被写窄:工具描述是「挡注入 + 从检索与列表里
|
|
138
|
+
// 消失」,只写「只挡注入」会让模型低估它(#249 文案定稿时专门改过这一句)。
|
|
139
|
+
assert.ok(
|
|
140
|
+
MEMORY_GUIDE_SECTION.includes("memory_forget suppresses it from injection, search results and lists"),
|
|
141
|
+
"reversible-tools rule states memory_forget's full reach"
|
|
142
|
+
);
|
|
143
|
+
// 优先序那条不得让模型拿 memory_search 去核对当前指令/仓库:它只搜记忆库,
|
|
144
|
+
// 搜不到「现在」——把它写成验证手段会换来一轮无效查询 + 继续采信陈旧记忆。
|
|
145
|
+
assert.ok(
|
|
146
|
+
MEMORY_GUIDE_SECTION.includes("memory_search searches stored memories only"),
|
|
147
|
+
"precedence rule points at the instruction/repository, not at memory_search"
|
|
148
|
+
);
|
|
149
|
+
// 不逐轮复读:通则只出现在一次性段落,每轮内容块里不重复。
|
|
150
|
+
on.service.saveWithDedupe({ type: "preference", title: "偏好A", content: "偏好内容", importance: 5 });
|
|
151
|
+
assert.ok(!on.text().includes("[dsh-mneme memory]"), "guide text must not ride the per-turn block");
|
|
152
|
+
});
|
|
153
|
+
|
|
154
|
+
test("#249: capability guide extends only the judgement-heavy tool descriptions", () => {
|
|
155
|
+
const toolsFor = (flags) => {
|
|
156
|
+
const store = createStore(":memory:");
|
|
157
|
+
const service = createService({ store, mirror: null, config: {} });
|
|
158
|
+
const registered = [];
|
|
159
|
+
const ctx = { tools: { register(def) { registered.push(def); return () => {}; } } };
|
|
160
|
+
createTools(ctx, service, { ...flags }, null);
|
|
161
|
+
return new Map(registered.map((t) => [t.name, t.description]));
|
|
162
|
+
};
|
|
163
|
+
const off = toolsFor({});
|
|
164
|
+
const on = toolsFor({ injectGuidanceEnabled: true });
|
|
165
|
+
const changed = [...off.keys()].filter((name) => off.get(name) !== on.get(name)).sort();
|
|
166
|
+
assert.deepEqual(changed, ["memory_save", "memory_search"], "only the two 'when to use' tools gain guidance");
|
|
167
|
+
for (const name of changed) {
|
|
168
|
+
assert.ok(on.get(name).startsWith(off.get(name)), `${name}: guidance is appended, original text untouched`);
|
|
169
|
+
}
|
|
170
|
+
});
|
|
@@ -0,0 +1,105 @@
|
|
|
1
|
+
import test from "node:test";
|
|
2
|
+
import assert from "node:assert/strict";
|
|
3
|
+
import { createStore } from "../src/store.js";
|
|
4
|
+
import { createService } from "../src/service.js";
|
|
5
|
+
|
|
6
|
+
// #217 增量(2026-09-19 拍板):注入是曝光型访问事件,注入终选集落
|
|
7
|
+
// mode='inject' 审计行(跟随 recallRecordDefault;空选不记)。留痕与消费
|
|
8
|
+
// 解耦:heatEnabled=false 时行照写,touch(heat 消费侧)不发生。
|
|
9
|
+
|
|
10
|
+
function setup(config = {}) {
|
|
11
|
+
const store = createStore(":memory:");
|
|
12
|
+
const service = createService({ store, mirror: null, config });
|
|
13
|
+
// 与 index.js 相同的接线:审计记账 → recall_runs(best effort)
|
|
14
|
+
service.setRecallRecorder((recall) => {
|
|
15
|
+
store.saveRecallRun({
|
|
16
|
+
query: recall.query,
|
|
17
|
+
mode: recall.mode,
|
|
18
|
+
topK: recall.topK,
|
|
19
|
+
threshold: recall.threshold ?? null,
|
|
20
|
+
candidates: recall.candidates ?? [],
|
|
21
|
+
created_at: recall.createdAt
|
|
22
|
+
});
|
|
23
|
+
});
|
|
24
|
+
return { store, service };
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
const injectRow = (store) =>
|
|
28
|
+
store.listRecallRunsSince(new Date(Date.now() - 86400000).toISOString())
|
|
29
|
+
.rows.find((r) => r.mode === "inject");
|
|
30
|
+
|
|
31
|
+
test("注入落账:终选集写一行 mode='inject',candidates 为实际注入条目", () => {
|
|
32
|
+
const { store, service } = setup();
|
|
33
|
+
service.saveWithDedupe({ type: "decision", title: "甲", content: "内容甲", importance: 4 });
|
|
34
|
+
service.saveWithDedupe({ type: "decision", title: "乙", content: "内容乙", importance: 3 });
|
|
35
|
+
const selected = service.injectCandidates({ maxItems: 5 });
|
|
36
|
+
assert.ok(selected.length >= 2);
|
|
37
|
+
const row = injectRow(store);
|
|
38
|
+
assert.ok(row, "注入应落一行审计");
|
|
39
|
+
assert.equal(row.mode, "inject");
|
|
40
|
+
// recall_runs.query 是 NOT NULL(store.js:61):注入无查询词,用空串而非 null
|
|
41
|
+
assert.equal(row.query, "");
|
|
42
|
+
assert.deepEqual(row.candidates.map((c) => c.id), selected.map((m) => m.id));
|
|
43
|
+
store.close();
|
|
44
|
+
});
|
|
45
|
+
|
|
46
|
+
test("recallRecordDefault=false 不落账(与检索侧同门)", () => {
|
|
47
|
+
const { store, service } = setup({ recallRecordDefault: false });
|
|
48
|
+
service.saveWithDedupe({ type: "decision", title: "甲", content: "内容甲", importance: 4 });
|
|
49
|
+
service.injectCandidates({ maxItems: 5 });
|
|
50
|
+
assert.equal(injectRow(store), undefined);
|
|
51
|
+
store.close();
|
|
52
|
+
});
|
|
53
|
+
|
|
54
|
+
test("空选不落账(没有访问发生)", () => {
|
|
55
|
+
const { store, service } = setup();
|
|
56
|
+
service.injectCandidates({ maxItems: 5 });
|
|
57
|
+
assert.equal(injectRow(store), undefined);
|
|
58
|
+
store.close();
|
|
59
|
+
});
|
|
60
|
+
|
|
61
|
+
test("留痕与消费解耦:heat 关闭时行照写、touch 不发生", () => {
|
|
62
|
+
// 显式 false = 生产 config 经 resolveConfig 后的默认值;touchRecalled 的
|
|
63
|
+
// 门控是 === false 才跳过(service.js:515)
|
|
64
|
+
const { store, service } = setup({ heatEnabled: false });
|
|
65
|
+
const m = service.saveWithDedupe({ type: "decision", title: "甲", content: "内容甲", importance: 4 }).memory;
|
|
66
|
+
const before = store.getById(m.id).last_accessed_at ?? null;
|
|
67
|
+
service.injectCandidates({ maxItems: 5 });
|
|
68
|
+
assert.ok(injectRow(store), "heat 关闭时注入行仍照写");
|
|
69
|
+
assert.equal(store.getById(m.id).last_accessed_at ?? null, before, "touch 属 heat 消费侧,不发生");
|
|
70
|
+
store.close();
|
|
71
|
+
});
|
|
72
|
+
|
|
73
|
+
test("聚合:注入候选计入零曝光判定,注入口径单独报数", () => {
|
|
74
|
+
const { store, service } = setup();
|
|
75
|
+
service.saveWithDedupe({ type: "decision", title: "被注入", content: "被注入候选的内容说明", importance: 4 });
|
|
76
|
+
// importance 2 低于注入阈值 3:活跃但不进注入候选 → 零曝光 → 僵尸
|
|
77
|
+
service.saveWithDedupe({ type: "decision", title: "没动静", content: "低重要度不进注入候选的内容", importance: 2 });
|
|
78
|
+
// 回拨 created_at 避开 nowIso 同毫秒单调顶推的 1ms 豁免边界:刚写入的记忆
|
|
79
|
+
// 可能比 recallStats 的 Date.now() 晚 1ms,exemptDays:0 时会落进豁免桶
|
|
80
|
+
// (宁漏勿误伤),断言就变成看运气。回拨到 10 天前,判定确定性成立。
|
|
81
|
+
const old = new Date(Date.now() - 10 * 86400000).toISOString();
|
|
82
|
+
for (const m of store.all()) {
|
|
83
|
+
store.db.prepare("UPDATE memories SET created_at = ? WHERE id = ?").run(old, m.id);
|
|
84
|
+
}
|
|
85
|
+
service.injectCandidates({ maxItems: 5 });
|
|
86
|
+
const stats = service.recallStats({ windowDays: 30, exemptDays: 0 });
|
|
87
|
+
assert.equal(stats.injection.runs, 1);
|
|
88
|
+
assert.ok(stats.injection.injectedCount >= 1);
|
|
89
|
+
assert.equal(stats.zombie.activeCount, 2);
|
|
90
|
+
assert.equal(stats.zombie.zombieCount, 1, "被注入的不算僵尸(注入=曝光),未进候选的计僵尸");
|
|
91
|
+
store.close();
|
|
92
|
+
});
|
|
93
|
+
|
|
94
|
+
test("slotFillRate = 注入条数 / (轮数 × 槽位数)", () => {
|
|
95
|
+
const { store, service } = setup();
|
|
96
|
+
for (let i = 0; i < 3; i++) {
|
|
97
|
+
service.saveWithDedupe({ type: "decision", title: `t${i}`, content: "x", importance: 4 });
|
|
98
|
+
}
|
|
99
|
+
service.injectCandidates({ maxItems: 5 });
|
|
100
|
+
const stats = service.recallStats({ windowDays: 30, exemptDays: 0, maxInjectSlots: 4 });
|
|
101
|
+
assert.equal(stats.injection.runs, 1);
|
|
102
|
+
assert.equal(stats.injection.injectedCount, 3);
|
|
103
|
+
assert.equal(stats.injection.slotFillRate, 3 / 4);
|
|
104
|
+
store.close();
|
|
105
|
+
});
|