@modusensus/dsh-mneme 0.8.13 → 0.8.15
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -21
- package/README.md +655 -626
- package/assets/icon.svg +3 -3
- package/bin/cli.mjs +689 -689
- package/bin/dsh-mneme-mcp.mjs +510 -510
- package/bin/dsh-mneme-serve.mjs +151 -0
- package/cordis.patch.yml +21 -21
- package/docs/CONFIGURATION.md +263 -0
- package/docs/CONTINUITY.md +124 -0
- package/docs/DAEMON.md +46 -0
- package/docs/ENTITIES.md +245 -0
- package/docs/LOCAL_MODEL.md +222 -0
- package/docs/SEMANTIC.md +256 -0
- package/docs/SLEEP.md +164 -0
- package/docs/STORAGE.md +89 -0
- package/lib/api-standalone.js +673 -572
- package/lib/api.js +1437 -1433
- package/lib/bootstrap.js +211 -211
- package/lib/client.js +5444 -5295
- package/lib/commands.js +95 -95
- package/lib/config.js +880 -836
- package/lib/content-hash.js +54 -54
- package/lib/continuity.js +220 -220
- package/lib/document-index.js +94 -94
- package/lib/document.js +303 -303
- package/lib/dream/clustering.js +118 -118
- package/lib/dream/decisions.js +674 -674
- package/lib/dream/narratives.js +44 -44
- package/lib/dream/sleep.js +819 -819
- package/lib/dream.js +1501 -1501
- package/lib/embedding.js +177 -177
- package/lib/entities/extractor.js +252 -252
- package/lib/graph/anchoring.js +179 -179
- package/lib/guide.js +74 -74
- package/lib/heat.js +144 -144
- package/lib/hot-memory.js +46 -46
- package/lib/index.js +535 -671
- package/lib/inject.js +464 -450
- package/lib/lang.js +248 -229
- package/lib/local-embedder.js +358 -358
- package/lib/maintenance.js +142 -142
- package/lib/mirror.js +330 -330
- package/lib/organize.js +450 -450
- package/lib/peak-hours.js +117 -117
- package/lib/placement.js +13 -0
- package/lib/pre-inject-gate.js +340 -0
- package/lib/quality-filter.js +126 -126
- package/lib/recall-stats.js +175 -175
- 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 -265
- package/lib/runtime/loader.js +252 -252
- 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 +223 -204
- package/lib/scope.js +146 -146
- package/lib/search/adaptive.js +60 -60
- package/lib/search/bm25.js +96 -96
- package/lib/semantic.js +229 -0
- package/lib/sensitive-scan.js +209 -209
- package/lib/serve.js +215 -0
- package/lib/service.js +2663 -2596
- package/lib/settings.js +517 -509
- package/lib/store.js +3007 -3007
- package/lib/summarize.js +891 -856
- package/lib/tools.js +743 -737
- package/lib/vector-index.js +110 -110
- package/lib/version-check.js +122 -122
- package/lib/write-admission.js +402 -402
- package/locale/en.json +6 -6
- package/locale/zh.json +6 -6
- package/package.json +8 -4
- package/runtime-manifest.json +526 -526
- package/scripts/benchmark-embed.js +201 -201
- package/scripts/benchmark-recall.js +249 -249
- package/scripts/benchmark-rerank.js +166 -166
- package/scripts/build-runtime-manifest.mjs +224 -224
- package/scripts/changelog-prep.mjs +36 -0
- 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 +69 -69
- package/scripts/test-count-sync.mjs +44 -44
- package/src/api-standalone.js +673 -572
- package/src/api.js +1437 -1433
- package/src/bootstrap.js +211 -211
- package/src/commands.js +95 -95
- package/src/config.js +880 -836
- package/src/content-hash.js +54 -54
- package/src/continuity.js +220 -220
- package/src/document-index.js +94 -94
- package/src/document.js +303 -303
- package/src/dream/clustering.js +118 -118
- package/src/dream/decisions.js +674 -674
- package/src/dream/narratives.js +44 -44
- package/src/dream/sleep.js +819 -819
- package/src/dream.js +1501 -1501
- package/src/embedding.js +177 -177
- package/src/entities/extractor.js +252 -252
- package/src/graph/anchoring.js +179 -179
- package/src/guide.js +74 -74
- package/src/heat.js +144 -144
- package/src/hot-memory.js +46 -46
- package/src/index.js +535 -671
- package/src/inject.js +464 -450
- package/src/lang.js +248 -229
- package/src/local-embedder.js +358 -358
- package/src/maintenance.js +142 -142
- package/src/mirror.js +330 -330
- package/src/organize.js +450 -450
- package/src/peak-hours.js +117 -117
- package/src/placement.js +13 -0
- package/src/pre-inject-gate.js +340 -0
- package/src/quality-filter.js +126 -126
- package/src/recall-stats.js +175 -175
- 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 -265
- package/src/runtime/loader.js +252 -252
- 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 +223 -204
- package/src/scope.js +146 -146
- package/src/search/adaptive.js +60 -60
- package/src/search/bm25.js +96 -96
- package/src/semantic.js +229 -0
- package/src/sensitive-scan.js +209 -209
- package/src/serve.js +215 -0
- package/src/service.js +2663 -2596
- package/src/settings.js +517 -509
- package/src/store.js +3007 -3007
- package/src/summarize.js +891 -856
- package/src/tools.js +743 -737
- package/src/vector-index.js +110 -110
- package/src/version-check.js +122 -122
- package/src/write-admission.js +402 -402
- package/test/adaptive-inject-budget.test.js +85 -85
- package/test/api-routes-gaps.test.js +218 -218
- package/test/api.test.js +1702 -1688
- package/test/audit.test.js +448 -448
- package/test/baseline-persist.test.js +248 -248
- package/test/benchmark.test.js +94 -94
- package/test/bootstrap.test.js +220 -220
- package/test/changelog-prep.test.js +60 -0
- package/test/client.test.js +1230 -1169
- 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/content-hash.test.js +204 -204
- package/test/continuity.test.js +333 -333
- package/test/document-dir.test.js +233 -233
- package/test/document.test.js +671 -671
- 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-failure-backoff.test.js +173 -173
- package/test/dream-peak-hours.test.js +194 -194
- package/test/dream.test.js +1385 -1383
- package/test/embedding-ready.test.js +196 -196
- package/test/entities.test.js +627 -547
- package/test/entity-recall.test.js +179 -179
- package/test/epistemic.test.js +325 -325
- package/test/fnew-0112.test.js +311 -311
- package/test/fnew-03.test.js +422 -422
- package/test/graph-anchoring.test.js +184 -184
- package/test/graph-api.test.js +175 -175
- package/test/graph-inject-budget.test.js +103 -103
- package/test/graph-passive-confirm.test.js +91 -91
- package/test/graph-weight-evolution.test.js +104 -104
- package/test/heat.test.js +175 -175
- 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/helpers/write-admission-samples.js +308 -308
- package/test/hot-memory.test.js +145 -145
- package/test/inject-content-cap.test.js +91 -91
- package/test/inject-first-round-bm25.test.js +89 -89
- package/test/inject-heat.test.js +77 -61
- package/test/inject-parent-gate.test.js +106 -106
- package/test/inject-pools.test.js +194 -194
- package/test/inject-recall.test.js +105 -105
- package/test/inject-rotation.test.js +161 -161
- package/test/inject.test.js +420 -420
- package/test/lang.test.js +87 -87
- package/test/lastrunat-persist.test.js +101 -101
- package/test/lib-smoke.test.js +96 -96
- package/test/llm-audit.test.js +598 -598
- package/test/llm-message-source.test.js +207 -207
- package/test/local-embedder.test.js +292 -292
- package/test/maintenance.test.js +391 -391
- package/test/mcp-stdio.test.js +385 -385
- 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-types.test.js +208 -208
- package/test/mirror.test.js +249 -249
- package/test/narrative-bars.test.js +162 -162
- package/test/organize.test.js +418 -418
- package/test/peer-blockers.test.js +193 -193
- package/test/placement.test.js +36 -0
- package/test/policy-epoch.test.js +259 -259
- package/test/pre-inject-gate.test.js +434 -0
- package/test/quality-filter.test.js +186 -186
- package/test/reasoning-effort.test.js +752 -752
- package/test/recall-anti-update.test.js +82 -82
- package/test/recall-evals.test.js +253 -253
- package/test/recall-layer.test.js +326 -326
- package/test/recall-stats.test.js +189 -189
- 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 -83
- 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 -255
- package/test/runtime-manifest.test.js +159 -159
- 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 +319 -279
- package/test/scope-candidates.test.js +239 -239
- package/test/scope-explicit.test.js +452 -452
- package/test/scope-inject-soft.test.js +106 -106
- package/test/scope-retrieval.test.js +197 -197
- package/test/scope-storage.test.js +255 -255
- package/test/scope-strict.test.js +367 -343
- package/test/search-fusion.test.js +90 -90
- package/test/semantic.test.js +124 -124
- package/test/sensitive-scan.test.js +207 -207
- package/test/serve-bin.test.js +121 -0
- package/test/serve.test.js +196 -0
- 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 -126
- package/test/sleep-scheduler-rearm.test.js +89 -89
- package/test/sleep.test.js +527 -527
- package/test/standalone-api.test.js +751 -544
- package/test/store-vector-cache.test.js +98 -98
- package/test/store.test.js +396 -396
- package/test/stress.test.js +209 -209
- package/test/summarize-occurred-at.test.js +127 -0
- package/test/summarize-reasoning-effort.test.js +189 -189
- package/test/summarize.test.js +1465 -1465
- package/test/supersede-state-tracking.test.js +394 -0
- package/test/test-count-sync.test.js +60 -60
- package/test/tools-dto-schema-matrix.test.js +325 -325
- package/test/tools-memory-get-schema.test.js +65 -65
- package/test/tools.test.js +428 -374
- 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
- package/test/write-admission.test.js +668 -668
|
@@ -0,0 +1,434 @@
|
|
|
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 { createPreInjectGate } from "../src/pre-inject-gate.js";
|
|
8
|
+
import { applyLightModePreset } from "../src/config.js";
|
|
9
|
+
|
|
10
|
+
// Issue #380:注入前判定(preInjectGate)。两级语义复用 writeAdmission——
|
|
11
|
+
// enabled 跑判定(观察档,审计行看真实负载的意见分布)、enforce 缓存命中帧真滤除;
|
|
12
|
+
// 都默认关(默认路径逐字节一致,平价锁)。宿主 systemPrompt 渲染是同步回调:
|
|
13
|
+
// 判定走 async prefetch + cache 同步消费,冷缓存首帧降级为原样注入(防线故障
|
|
14
|
+
// 永不阻塞注入);判定结果绝不进模型上下文(E2/E3:给模型看标记的线整条关闭;
|
|
15
|
+
// E12:过滤 D1 比标记 D2 好 +17.6pp)。pin 池(#249 逐字保真)与 graphHint 线索
|
|
16
|
+
// 行豁免——判定与过滤只作用于一般记忆槽,切分在 service.injectCandidates 内。
|
|
17
|
+
//
|
|
18
|
+
// 消费点纪律(#382 评审):判定与滤除发生在 service.injectCandidates 的
|
|
19
|
+
// touchRecalled **之前**(与 strictScope 同纪律)——留在调用方做时,被滤掉的
|
|
20
|
+
// 记忆照样刷温时钟(heat/injectHeat 的排序输入)并落 mode='inject' 曝光账,
|
|
21
|
+
// 反馈环会把闸门想压下的意见记忆重新顶上来。本文件因此直接断言温时钟与
|
|
22
|
+
// recall_runs 的实际注入集。
|
|
23
|
+
//
|
|
24
|
+
// 另有三条资源/安全护栏的用例:连续降级熔断(判定器系统性坏掉时不逐帧花钱)、
|
|
25
|
+
// 整池被标记时放弃 enforce(fail-open:记忆正文可影响判定模型)、dispose 后
|
|
26
|
+
// 在飞判定不回写缓存。
|
|
27
|
+
|
|
28
|
+
// ---- 测试基建 --------------------------------------------------------------
|
|
29
|
+
|
|
30
|
+
// 假 LLM:按脚本出牌(每 stream() 消费一个脚本项),记录调用入参。
|
|
31
|
+
// 脚本项:{ json }(成功回该 JSON)/ { error: true }(stream 抛错)/
|
|
32
|
+
// { garbage: true }(不可解析输出)/ { hang: true }(挂起但响应 signal——真宿主
|
|
33
|
+
// 的取消语义)/ { hangForever: true }(挂起且无视 signal——不守约的宿主)。
|
|
34
|
+
function fakeLlm(script) {
|
|
35
|
+
const calls = [];
|
|
36
|
+
let i = 0;
|
|
37
|
+
return {
|
|
38
|
+
calls,
|
|
39
|
+
async *stream(options) {
|
|
40
|
+
const step = script[Math.min(i, script.length - 1)];
|
|
41
|
+
i += 1;
|
|
42
|
+
calls.push({ options, messages: options.messages });
|
|
43
|
+
if (step.error) throw new Error("boom: llm down");
|
|
44
|
+
if (step.hang) {
|
|
45
|
+
await new Promise((_, rej) => {
|
|
46
|
+
if (options.signal?.aborted) { rej(new Error("aborted")); return; }
|
|
47
|
+
options.signal?.addEventListener("abort", () => rej(new Error("aborted")), { once: true });
|
|
48
|
+
});
|
|
49
|
+
}
|
|
50
|
+
if (step.hangForever) await new Promise(() => { /* 挂起且无视 signal */ });
|
|
51
|
+
const text = step.garbage ? "抱歉我不能输出 JSON" : JSON.stringify(step.json);
|
|
52
|
+
yield { type: "text-delta", text };
|
|
53
|
+
yield { type: "usage", usage: { input_tokens: 100, output_tokens: 20 } };
|
|
54
|
+
yield { type: "finish", reason: { kind: "stop" } };
|
|
55
|
+
}
|
|
56
|
+
};
|
|
57
|
+
}
|
|
58
|
+
|
|
59
|
+
const agentDefaultModel = { currentSelection: () => ({ provider: "test", model: "judge-1" }) };
|
|
60
|
+
|
|
61
|
+
function setup(config = {}, llm = null, gateOpts = {}) {
|
|
62
|
+
const store = createStore(":memory:");
|
|
63
|
+
const service = createService({ store, mirror: null, config });
|
|
64
|
+
const runs = [];
|
|
65
|
+
// 与 index.js 相同的接线(注入帐只捕获、不落库,方便断言实际注入集)。
|
|
66
|
+
service.setRecallRecorder((recall) => runs.push(recall));
|
|
67
|
+
const contexts = [];
|
|
68
|
+
const ctx = {
|
|
69
|
+
systemPrompt: {
|
|
70
|
+
context(def) { contexts.push(def); return () => {}; }
|
|
71
|
+
}
|
|
72
|
+
};
|
|
73
|
+
const settings = createSettings(store.db);
|
|
74
|
+
const fullConfig = { maxInjectedItems: 5, importanceThreshold: 3, ...config };
|
|
75
|
+
const gate = createPreInjectGate({ llm, agentDefaultModel, service, config: fullConfig, logger: null, ...gateOpts });
|
|
76
|
+
createInjector(ctx, service, settings, fullConfig, gate);
|
|
77
|
+
const memoryText = contexts.find((c) => c.name === "memory").text;
|
|
78
|
+
return { store, service, gate, memoryText, runs };
|
|
79
|
+
}
|
|
80
|
+
|
|
81
|
+
// 渲染一帧:ctx.agent.session 提供查询(lastUserQuery 走 snapshotEvents)。
|
|
82
|
+
const frame = (memoryText, query) => memoryText({
|
|
83
|
+
agent: { session: { id: "s1", snapshotEvents: () => [
|
|
84
|
+
{ type: "user/message", data: { content: [{ type: "text", text: query }] } }
|
|
85
|
+
] } }
|
|
86
|
+
});
|
|
87
|
+
|
|
88
|
+
const settle = async () => { for (let i = 0; i < 4; i++) await new Promise((r) => setImmediate(r)); };
|
|
89
|
+
|
|
90
|
+
// 等一个条件成真(轮询):超时/熔断类用例依赖真实时钟,不能靠固定 sleep ——
|
|
91
|
+
// 全量套件并行跑时调度延迟可达数倍,固定等待会让断言时而踩空。
|
|
92
|
+
async function waitFor(predicate, timeoutMs = 5000) {
|
|
93
|
+
const started = Date.now();
|
|
94
|
+
while (Date.now() - started < timeoutMs) {
|
|
95
|
+
if (predicate()) return true;
|
|
96
|
+
await new Promise((r) => setTimeout(r, 10));
|
|
97
|
+
}
|
|
98
|
+
return predicate();
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
function seedPool(service) {
|
|
102
|
+
// 三条 decision(非 pinned——pin 池豁免是单独的用例)。插入序 = 注入序的
|
|
103
|
+
// 一般槽次序:m#0=预算决策 / m#1=立场决策 / m#2=事实决策。
|
|
104
|
+
const a = service.saveWithDedupe({ type: "decision", title: "预算决策", content: "The user keeps the dinner budget under $340.", importance: 3 }).memory;
|
|
105
|
+
const b = service.saveWithDedupe({ type: "decision", title: "立场决策", content: "The user believes stand-up meetings are an essential ritual and the right way to run a team.", importance: 3 }).memory;
|
|
106
|
+
const c = service.saveWithDedupe({ type: "decision", title: "事实决策", content: "The user works from an office in Changsha.", importance: 3 }).memory;
|
|
107
|
+
return [a, b, c];
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
const QUERY = "Help me plan the menu — what's my budget figure?";
|
|
111
|
+
|
|
112
|
+
const gateRows = (store) =>
|
|
113
|
+
store.listLlmAudits({ limit: 20 }).filter((r) => r.trigger_source === "preInjectGate");
|
|
114
|
+
|
|
115
|
+
// 温时钟哨兵值:滤除帧之后仍然是它 = 该条没被 touch。
|
|
116
|
+
const TOUCH_SENTINEL = "2000-01-01T00:00:00.000Z";
|
|
117
|
+
const setLastAccess = (store, id, value) =>
|
|
118
|
+
store.db.prepare("UPDATE memories SET last_accessed_at = ? WHERE id = ?").run(value, id);
|
|
119
|
+
|
|
120
|
+
// ---- 用例 ------------------------------------------------------------------
|
|
121
|
+
|
|
122
|
+
test("两键默认关:闸门帧状态 off,渲染输出与无 gate 逐字节一致(平价锁)", () => {
|
|
123
|
+
const bare = setup({});
|
|
124
|
+
seedPool(bare.service);
|
|
125
|
+
const without = frame(bare.memoryText, QUERY);
|
|
126
|
+
|
|
127
|
+
const gated = setup({}, fakeLlm([{ json: { ids: ["m#0"], reason: "x" } }]));
|
|
128
|
+
seedPool(gated.service);
|
|
129
|
+
const withOff = frame(gated.memoryText, QUERY);
|
|
130
|
+
|
|
131
|
+
assert.equal(withOff, without, "默认关 → 渲染逐字节一致");
|
|
132
|
+
assert.equal(gated.gate.forFrame(QUERY, []).state, "off");
|
|
133
|
+
});
|
|
134
|
+
|
|
135
|
+
test("enabled 观察档:候选不动、审计行落分布(flagged ids / n_pool / n_flagged)", async () => {
|
|
136
|
+
const llm = fakeLlm([{ json: { ids: ["m#1"], reason: "evaluative stance on meetings" } }]);
|
|
137
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm);
|
|
138
|
+
seedPool(s.service);
|
|
139
|
+
|
|
140
|
+
const t1 = frame(s.memoryText, QUERY);
|
|
141
|
+
// 首帧冷缓存:原样注入(观察档不改候选集)
|
|
142
|
+
for (const title of ["预算决策", "立场决策", "事实决策"]) assert.ok(t1.includes(title), `首帧降级原样注入:${title}`);
|
|
143
|
+
|
|
144
|
+
await settle();
|
|
145
|
+
const t2 = frame(s.memoryText, QUERY);
|
|
146
|
+
for (const title of ["预算决策", "立场决策", "事实决策"]) assert.ok(t2.includes(title), "观察档不滤除");
|
|
147
|
+
// 判定调用恰好一次(同 key 复用缓存),出参走 m#i 局部序号
|
|
148
|
+
assert.equal(llm.calls.length, 1, "同 key 复用缓存,只判一次");
|
|
149
|
+
const payload = JSON.parse(llm.calls[0].messages[1].content[0].text);
|
|
150
|
+
assert.deepEqual(payload.memories.map((m) => m.id), ["m#0", "m#1", "m#2"], "判定池用 m#i 局部序号,不暴露 UUID");
|
|
151
|
+
|
|
152
|
+
const rows = gateRows(s.store);
|
|
153
|
+
assert.equal(rows.length, 1);
|
|
154
|
+
assert.equal(rows[0].model_id, "test:judge-1");
|
|
155
|
+
assert.equal(rows[0].session_key ?? null, null, "LLM 调用行不写会话键(不挤占写入准入的话题回填窗口)");
|
|
156
|
+
assert.equal(rows[0].metadata.n_pool, 3);
|
|
157
|
+
assert.equal(rows[0].metadata.n_flagged, 1);
|
|
158
|
+
assert.equal(rows[0].metadata.degraded, false);
|
|
159
|
+
assert.equal(rows[0].input_tokens, 100);
|
|
160
|
+
assert.equal(rows[0].related_memory_ids.length, 1, "flagged id 映射回真实 UUID");
|
|
161
|
+
});
|
|
162
|
+
|
|
163
|
+
test("enforce:冷缓存首帧降级原样,缓存命中帧滤除被标记候选", async () => {
|
|
164
|
+
const llm = fakeLlm([{ json: { ids: ["m#1"], reason: "stance" } }]);
|
|
165
|
+
const s = setup({ preInjectGate: { enabled: true, enforce: true } }, llm);
|
|
166
|
+
seedPool(s.service);
|
|
167
|
+
|
|
168
|
+
const t1 = frame(s.memoryText, QUERY);
|
|
169
|
+
for (const title of ["预算决策", "立场决策", "事实决策"]) assert.ok(t1.includes(title), "首帧降级:原样注入");
|
|
170
|
+
await settle();
|
|
171
|
+
const t2 = frame(s.memoryText, QUERY);
|
|
172
|
+
assert.ok(t2.includes("预算决策") && t2.includes("事实决策"), "未标记条目保留");
|
|
173
|
+
assert.ok(!t2.includes("立场决策"), "被标记候选真的被滤除");
|
|
174
|
+
});
|
|
175
|
+
|
|
176
|
+
test("#380 记账纪律:被滤掉的记忆不刷温时钟、不进 mode='inject' 曝光账", async () => {
|
|
177
|
+
const llm = fakeLlm([{ json: { ids: ["m#1"], reason: "stance" } }]);
|
|
178
|
+
const s = setup({ preInjectGate: { enabled: true, enforce: true } }, llm);
|
|
179
|
+
const [a, b, c] = seedPool(s.service);
|
|
180
|
+
|
|
181
|
+
frame(s.memoryText, QUERY); // 冷缓存帧:原样注入(含 b),作为基线
|
|
182
|
+
await settle();
|
|
183
|
+
s.runs.length = 0;
|
|
184
|
+
setLastAccess(s.store, b.id, TOUCH_SENTINEL);
|
|
185
|
+
|
|
186
|
+
const t2 = frame(s.memoryText, QUERY);
|
|
187
|
+
assert.ok(!t2.includes("立场决策"), "enforce 帧:b 被滤除");
|
|
188
|
+
|
|
189
|
+
const run = s.runs.filter((r) => r.mode === "inject").pop();
|
|
190
|
+
assert.ok(run, "滤后池非空,曝光账照落");
|
|
191
|
+
assert.deepEqual(run.candidates.map((x) => x.id), [a.id, c.id], "曝光账只吃实际注入集(滤除后才记账)");
|
|
192
|
+
assert.equal(s.store.getById(b.id).last_accessed_at, TOUCH_SENTINEL, "被滤掉的记忆不刷温时钟(排序输入不被污染)");
|
|
193
|
+
assert.notEqual(s.store.getById(a.id).last_accessed_at, TOUCH_SENTINEL, "留下的条目照常刷温");
|
|
194
|
+
void c;
|
|
195
|
+
});
|
|
196
|
+
|
|
197
|
+
test("降级:LLM 抛错 → 原样渲染 + degraded 审计行 + 不缓存(下一帧重试)", async () => {
|
|
198
|
+
const llm = fakeLlm([{ error: true }, { error: true }]);
|
|
199
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm);
|
|
200
|
+
seedPool(s.service);
|
|
201
|
+
frame(s.memoryText, QUERY);
|
|
202
|
+
await settle();
|
|
203
|
+
frame(s.memoryText, QUERY); // 失败不缓存 → 第二帧重新判定
|
|
204
|
+
await settle();
|
|
205
|
+
assert.equal(llm.calls.length, 2, "失败不缓存,下一帧重试");
|
|
206
|
+
const rows = gateRows(s.store);
|
|
207
|
+
assert.ok(rows.length >= 1);
|
|
208
|
+
assert.equal(rows[0].status, "error");
|
|
209
|
+
assert.equal(rows[0].metadata.degraded, true);
|
|
210
|
+
});
|
|
211
|
+
|
|
212
|
+
test("降级:不可解析输出同样 degraded 且不缓存", async () => {
|
|
213
|
+
const llm = fakeLlm([{ garbage: true }, { garbage: true }]);
|
|
214
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm);
|
|
215
|
+
seedPool(s.service);
|
|
216
|
+
frame(s.memoryText, QUERY);
|
|
217
|
+
await settle();
|
|
218
|
+
frame(s.memoryText, QUERY);
|
|
219
|
+
await settle();
|
|
220
|
+
const rows = gateRows(s.store);
|
|
221
|
+
assert.equal(rows[0].status, "error");
|
|
222
|
+
assert.equal(rows[0].metadata.degraded, true);
|
|
223
|
+
assert.equal(llm.calls.length, 2, "不可解析不缓存,下一帧重试");
|
|
224
|
+
});
|
|
225
|
+
|
|
226
|
+
test("连续降级熔断:判定器系统性坏掉时不逐帧花钱(不是每帧一次流)", async () => {
|
|
227
|
+
const llm = fakeLlm([{ error: true }]);
|
|
228
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm);
|
|
229
|
+
seedPool(s.service);
|
|
230
|
+
for (let i = 0; i < 3; i++) { frame(s.memoryText, QUERY); await settle(); }
|
|
231
|
+
assert.equal(llm.calls.length, 3, "熔断前的重试照旧(错就要重试)");
|
|
232
|
+
frame(s.memoryText, QUERY);
|
|
233
|
+
await settle();
|
|
234
|
+
assert.equal(llm.calls.length, 3, "熔断期内不再发流:成本不再随交互帧数线性涨");
|
|
235
|
+
assert.equal(s.gate.forFrame(QUERY, [{ id: "x", content: "c" }]).state, "pending", "熔断只是不花钱,防线行为不变(照旧原样注入)");
|
|
236
|
+
});
|
|
237
|
+
|
|
238
|
+
test("llmAudit 关闭:本闸不运行——不判定、不落账(无账目的判定不可见也不该花钱)", async () => {
|
|
239
|
+
const llm = fakeLlm([{ json: { ids: ["m#1"], reason: "r" } }]);
|
|
240
|
+
const s = setup({ preInjectGate: { enabled: true, enforce: true }, llmAudit: { enabled: false } }, llm);
|
|
241
|
+
seedPool(s.service);
|
|
242
|
+
assert.equal(s.gate.enabled, false, "audit 关闭 → usable=false");
|
|
243
|
+
const t = frame(s.memoryText, QUERY);
|
|
244
|
+
await settle();
|
|
245
|
+
assert.equal(llm.calls.length, 0, "一次判定都不发");
|
|
246
|
+
assert.equal(gateRows(s.store).length, 0, "不落账");
|
|
247
|
+
for (const title of ["预算决策", "立场决策", "事实决策"]) assert.ok(t.includes(title), "注入照旧");
|
|
248
|
+
});
|
|
249
|
+
|
|
250
|
+
test("无默认模型路由:判定照跑、照落账(model_id 落 unknown 占位)、enforce 照生效", async () => {
|
|
251
|
+
const llm = fakeLlm([{ json: { ids: ["m#1"], reason: "stance" } }]);
|
|
252
|
+
const s = setup({ preInjectGate: { enabled: true, enforce: true } }, llm, {
|
|
253
|
+
agentDefaultModel: { currentSelection: () => null }
|
|
254
|
+
});
|
|
255
|
+
seedPool(s.service);
|
|
256
|
+
frame(s.memoryText, QUERY);
|
|
257
|
+
await settle();
|
|
258
|
+
const rows = gateRows(s.store);
|
|
259
|
+
assert.equal(rows.length, 1, "判定生效就必有账(不再被 modelId 非空条件整行吞掉)");
|
|
260
|
+
assert.equal(rows[0].model_id, "unknown", "无路由用 unknown 占位(不是无 LLM 的 \"-\")");
|
|
261
|
+
assert.equal(rows[0].metadata.n_flagged, 1);
|
|
262
|
+
const t2 = frame(s.memoryText, QUERY);
|
|
263
|
+
assert.ok(!t2.includes("立场决策"), "无路由不影响 enforce 生效");
|
|
264
|
+
});
|
|
265
|
+
|
|
266
|
+
test("黑屏保护:整池被标记 → 放弃本次 enforce(fail-open),审计保留 n_flagged == n_pool", async () => {
|
|
267
|
+
const llm = fakeLlm([{ json: { ids: ["m#0", "m#1", "m#2"], reason: "all opinion" } }]);
|
|
268
|
+
const s = setup({ preInjectGate: { enabled: true, enforce: true } }, llm);
|
|
269
|
+
seedPool(s.service);
|
|
270
|
+
frame(s.memoryText, QUERY);
|
|
271
|
+
await settle();
|
|
272
|
+
const rows = gateRows(s.store);
|
|
273
|
+
assert.equal(rows[0].metadata.n_pool, 3);
|
|
274
|
+
assert.equal(rows[0].metadata.n_flagged, 3, "判定结果原样保留(该形态在面板/审计里可见)");
|
|
275
|
+
const t2 = frame(s.memoryText, QUERY);
|
|
276
|
+
for (const title of ["预算决策", "立场决策", "事实决策"]) {
|
|
277
|
+
assert.ok(t2.includes(title), `整池被标记时不滤除(一条指令型记忆不该让记忆块静默失明):${title}`);
|
|
278
|
+
}
|
|
279
|
+
});
|
|
280
|
+
|
|
281
|
+
test("dispose(clear)后:在飞判定不回写缓存,本帧走 off", async () => {
|
|
282
|
+
const llm = fakeLlm([{ json: { ids: ["m#1"], reason: "r" } }]);
|
|
283
|
+
const { gate } = setup({ preInjectGate: { enabled: true, enforce: true } }, llm);
|
|
284
|
+
const pool = [{ id: "x", content: "c" }];
|
|
285
|
+
assert.equal(gate.forFrame(QUERY, pool).state, "pending", "首帧发起判定");
|
|
286
|
+
gate.clear(); // index.js 的 disposers 走同一个 clear
|
|
287
|
+
await settle();
|
|
288
|
+
assert.equal(gate.getCached(gate.cacheKey(QUERY, pool)), null, "拆机后在飞的判定结果不回写");
|
|
289
|
+
assert.equal(gate.forFrame(QUERY, pool).state, "off", "拆机后渲染帧直接走 off");
|
|
290
|
+
});
|
|
291
|
+
|
|
292
|
+
test("缓存容量:命中刷新序(LRU),活跃查询不被一次性新池挤出去", async () => {
|
|
293
|
+
const llm = fakeLlm([{ json: { ids: [], reason: "r" } }]);
|
|
294
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm);
|
|
295
|
+
seedPool(s.service);
|
|
296
|
+
const pool = s.service.injectCandidates({ maxItems: 5, threshold: 3 });
|
|
297
|
+
const keyOf = (q) => s.gate.cacheKey(q, pool);
|
|
298
|
+
frame(s.memoryText, "q0");
|
|
299
|
+
await settle();
|
|
300
|
+
for (let i = 1; i <= 8; i++) { frame(s.memoryText, `q${i}`); await settle(); }
|
|
301
|
+
// 8 个容量位已满(q0..q7 + q8 = 9 个 key),刷新 q0 后它不该是被丢的那个
|
|
302
|
+
frame(s.memoryText, "q0");
|
|
303
|
+
await settle();
|
|
304
|
+
assert.ok(s.gate.getCached(keyOf("q0")), "活跃 key 仍在缓存里");
|
|
305
|
+
assert.equal(s.gate.getCached(keyOf("q1")), null, "被丢的是最久未用的那个");
|
|
306
|
+
});
|
|
307
|
+
|
|
308
|
+
test("出参映射:越界 m#i 忽略,绝不误滤真实条目", async () => {
|
|
309
|
+
const llm = fakeLlm([{ json: { ids: ["m#0", "m#99"], reason: "r" } }]);
|
|
310
|
+
const { service, gate, memoryText } = setup({ preInjectGate: { enabled: true, enforce: true } }, llm);
|
|
311
|
+
seedPool(service);
|
|
312
|
+
frame(memoryText, QUERY);
|
|
313
|
+
await settle();
|
|
314
|
+
const result = gate.forFrame(QUERY, service.injectCandidates({ maxItems: 5, threshold: 3 }));
|
|
315
|
+
assert.equal(result.state, "filtered");
|
|
316
|
+
assert.equal(result.flaggedIds.size, 1, "m#99 越界忽略,只滤真实命中的 1 条");
|
|
317
|
+
});
|
|
318
|
+
|
|
319
|
+
test("缓存键:查询或候选集变化 → 不吃旧判定(防陈旧过滤)", async () => {
|
|
320
|
+
const llm = fakeLlm([
|
|
321
|
+
{ json: { ids: ["m#1"], reason: "r" } },
|
|
322
|
+
{ json: { ids: [], reason: "r" } }
|
|
323
|
+
]);
|
|
324
|
+
const { service, gate, memoryText } = setup({ preInjectGate: { enabled: true } }, llm);
|
|
325
|
+
seedPool(service);
|
|
326
|
+
frame(memoryText, QUERY);
|
|
327
|
+
await settle();
|
|
328
|
+
assert.equal(gate.forFrame(QUERY, service.injectCandidates({ maxItems: 5, threshold: 3 })).state, "observed");
|
|
329
|
+
frame(memoryText, "Another question entirely?");
|
|
330
|
+
await settle();
|
|
331
|
+
assert.equal(llm.calls.length, 2, "新查询触发新的池级判定");
|
|
332
|
+
});
|
|
333
|
+
|
|
334
|
+
test("in-flight 去重:同 key 并行帧只发一次判定调用", () => {
|
|
335
|
+
const llm = fakeLlm([{ json: { ids: [], reason: "r" } }]);
|
|
336
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm);
|
|
337
|
+
seedPool(s.service);
|
|
338
|
+
frame(s.memoryText, QUERY);
|
|
339
|
+
frame(s.memoryText, QUERY); // 未 settle 的第二帧
|
|
340
|
+
assert.equal(llm.calls.length, 1, "去重后只有一次调用");
|
|
341
|
+
});
|
|
342
|
+
|
|
343
|
+
test("pin 池豁免(injectCandidates 切分):enforce 滤一般槽,preference 前缀原样", async () => {
|
|
344
|
+
const llm = fakeLlm([{ json: { ids: ["m#0"], reason: "r" } }]);
|
|
345
|
+
// pinnedInjectBudget 开 pin 前缀(默认 0 = pin 池关闭);constraint 属编码类
|
|
346
|
+
// 会被 codingGate 滤掉,pin 前缀用 preference。
|
|
347
|
+
const { service, memoryText } = setup({ preInjectGate: { enabled: true, enforce: true }, pinnedInjectBudget: 3 }, llm);
|
|
348
|
+
service.saveWithDedupe({ type: "preference", title: "硬偏好", content: "The user never deploys on Fridays.", importance: 4 });
|
|
349
|
+
seedPool(service);
|
|
350
|
+
frame(memoryText, QUERY);
|
|
351
|
+
await settle();
|
|
352
|
+
const t2 = frame(memoryText, QUERY);
|
|
353
|
+
assert.ok(t2.includes("硬偏好"), "pin 池豁免:preference 前缀不被滤除");
|
|
354
|
+
assert.ok(!t2.includes("预算决策"), "判定池(一般槽)第一条被滤除");
|
|
355
|
+
assert.ok(t2.includes("立场决策") && t2.includes("事实决策"), "其余一般槽保留");
|
|
356
|
+
});
|
|
357
|
+
|
|
358
|
+
test("lightMode:预设翻转 preInjectGate.enabled 且不污染用户配置对象", () => {
|
|
359
|
+
const user = { lightMode: true, preInjectGate: { enabled: true, enforce: true } };
|
|
360
|
+
const preset = applyLightModePreset(user);
|
|
361
|
+
assert.equal(preset.preInjectGate.enabled, false, "预设压回 false");
|
|
362
|
+
assert.equal(preset.preInjectGate.enforce, true, "只翻列表里的点分键");
|
|
363
|
+
assert.equal(user.preInjectGate.enabled, true, "不改到用户原对象(浅拷贝父对象)");
|
|
364
|
+
const flat = applyLightModePreset({ lightMode: true, heatEnabled: true });
|
|
365
|
+
assert.equal(flat.heatEnabled, false, "平铺键照旧直赋(既有行为回归)");
|
|
366
|
+
});
|
|
367
|
+
|
|
368
|
+
test("判定超时:abort 底层流(真宿主守约)→ degraded 审计 + 不缓存 + 下一帧重试(CodeRabbit on #382)", async () => {
|
|
369
|
+
const llm = fakeLlm([{ hang: true }, { json: { ids: [], reason: "recovered" } }]);
|
|
370
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm, { judgeTimeoutMs: 50 });
|
|
371
|
+
seedPool(s.service);
|
|
372
|
+
frame(s.memoryText, QUERY);
|
|
373
|
+
// 真实等待:50ms 超时定时器要真烧完(settle 的微任务不够)——轮询而非固定 sleep
|
|
374
|
+
assert.ok(await waitFor(() => gateRows(s.store).length >= 1), "超时应降级落账");
|
|
375
|
+
await settle(); // 让 prefetch 的 .then 跑完(清 in-flight)
|
|
376
|
+
const rows = gateRows(s.store);
|
|
377
|
+
assert.ok(rows.length >= 1);
|
|
378
|
+
assert.equal(rows[0].status, "error", "超时按降级落账");
|
|
379
|
+
assert.match(rows[0].error_message, /timeout/);
|
|
380
|
+
frame(s.memoryText, QUERY); // abort 已让流停止(settled)→ 同 key 可重试
|
|
381
|
+
await settle();
|
|
382
|
+
assert.equal(llm.calls.length, 2, "流停止后同 key 可重试");
|
|
383
|
+
});
|
|
384
|
+
|
|
385
|
+
test("判定超时且宿主无视 signal:该 key 进冷却,不叠新流(CodeRabbit on #382)", async () => {
|
|
386
|
+
const llm = fakeLlm([{ hangForever: true }]);
|
|
387
|
+
// 宽限期可注入:流停止的宽限真实值是 2s,测试里压到 20ms(不靠 2.3s 真等)
|
|
388
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm, { judgeTimeoutMs: 50, settleGraceMs: 20 });
|
|
389
|
+
seedPool(s.service);
|
|
390
|
+
frame(s.memoryText, QUERY);
|
|
391
|
+
// 超时 50ms + abort 宽限 20ms 之后才写审计(轮询,不靠固定 sleep)
|
|
392
|
+
assert.ok(await waitFor(() => gateRows(s.store).length >= 1), "超时应降级落账");
|
|
393
|
+
await settle(); // 让 prefetch 的 .then 跑完(此刻才写冷却表)
|
|
394
|
+
const rows = gateRows(s.store);
|
|
395
|
+
assert.ok(rows.length >= 1);
|
|
396
|
+
assert.match(rows[0].error_message, /timeout/);
|
|
397
|
+
frame(s.memoryText, QUERY); // 冷却中:不再发新流
|
|
398
|
+
assert.equal(llm.calls.length, 1, "流未停止的 key 冷却内不叠新流");
|
|
399
|
+
const again = s.gate.forFrame(QUERY, s.service.injectCandidates({ maxItems: 5, threshold: 3 }));
|
|
400
|
+
assert.equal(again.state, "pending", "冷却内本帧原样注入(防线故障不阻塞)");
|
|
401
|
+
});
|
|
402
|
+
|
|
403
|
+
test("连续超时且宿主无视 signal:跨 key 也累积熔断,不再逐池叠悬挂流(#380 评审)", async () => {
|
|
404
|
+
const llm = fakeLlm([{ hangForever: true }]);
|
|
405
|
+
const s = setup({ preInjectGate: { enabled: true } }, llm, { judgeTimeoutMs: 40, settleGraceMs: 20 });
|
|
406
|
+
seedPool(s.service);
|
|
407
|
+
for (let i = 0; i < 3; i++) {
|
|
408
|
+
frame(s.memoryText, `问题${i + 1}`); // 不同查询 = 不同 key(冷却按 key 兜不住)
|
|
409
|
+
assert.ok(await waitFor(() => gateRows(s.store).length >= i + 1), `第 ${i + 1} 次判定应降级落账`);
|
|
410
|
+
await settle(); // 降级计数在落账后的 .then 里累加
|
|
411
|
+
}
|
|
412
|
+
assert.equal(llm.calls.length, 3, "三个不同池各发了一次");
|
|
413
|
+
frame(s.memoryText, "问题四"); // 熔断期内
|
|
414
|
+
await new Promise((r) => setTimeout(r, 200)); // 若真发了流,这段窗口足够记进 calls
|
|
415
|
+
assert.equal(llm.calls.length, 3, "连续 3 次不守取消契约 → 熔断,本帧原样渲染不再发流");
|
|
416
|
+
});
|
|
417
|
+
|
|
418
|
+
test("缓存键含候选内容:updateMemory 就地修正后不吃旧判定(CodeRabbit on #382)", async () => {
|
|
419
|
+
const llm = fakeLlm([
|
|
420
|
+
{ json: { ids: ["m#1"], reason: "r" } },
|
|
421
|
+
{ json: { ids: [], reason: "r" } }
|
|
422
|
+
]);
|
|
423
|
+
const { service, gate, memoryText } = setup({ preInjectGate: { enabled: true } }, llm);
|
|
424
|
+
const [a, b] = seedPool(service);
|
|
425
|
+
frame(memoryText, QUERY);
|
|
426
|
+
await settle();
|
|
427
|
+
assert.equal(gate.forFrame(QUERY, service.injectCandidates({ maxItems: 5, threshold: 3 })).state, "observed");
|
|
428
|
+
// 同 id 内容被就地修正 → 旧判定不得沾新内容
|
|
429
|
+
service.update(b.id, { content: "The user now believes stand-ups are useless." });
|
|
430
|
+
frame(memoryText, QUERY);
|
|
431
|
+
await settle();
|
|
432
|
+
assert.equal(llm.calls.length, 2, "内容变化触发重新判定");
|
|
433
|
+
void a;
|
|
434
|
+
});
|