@modusensus/dsh-mneme 0.8.4 → 0.8.6
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/README.md +45 -8
- package/bin/dsh-mneme-mcp.mjs +11 -3
- package/lib/api-standalone.js +11 -0
- package/lib/api.js +21 -0
- package/lib/client.js +213 -31
- package/lib/config.js +106 -5
- package/lib/document.js +221 -0
- package/lib/dream/sleep.js +128 -12
- package/lib/dream.js +46 -11
- package/lib/guide.js +44 -0
- package/lib/heat.js +2 -0
- package/lib/index.js +65 -3
- package/lib/inject.js +91 -15
- package/lib/lang.js +6 -0
- package/lib/local-embedder.js +44 -6
- package/lib/organize.js +450 -0
- package/lib/recall-stats.js +23 -1
- package/lib/runtime/layout.js +30 -0
- package/lib/runtime/loader.js +4 -1
- package/lib/runtime/verify.js +19 -6
- package/lib/search/adaptive.js +38 -0
- package/lib/service.js +165 -12
- package/lib/settings.js +35 -4
- package/lib/store.js +126 -8
- package/lib/summarize.js +253 -8
- package/lib/tools.js +136 -8
- package/package.json +6 -6
- package/runtime-manifest.json +104 -174
- package/scripts/build-runtime-manifest.mjs +8 -1
- package/scripts/sync-test-badge.mjs +18 -12
- package/src/api-standalone.js +11 -0
- package/src/api.js +21 -0
- package/src/config.js +106 -5
- package/src/document.js +221 -0
- package/src/dream/sleep.js +128 -12
- package/src/dream.js +46 -11
- package/src/guide.js +44 -0
- package/src/heat.js +2 -0
- package/src/index.js +65 -3
- package/src/inject.js +91 -15
- package/src/lang.js +6 -0
- package/src/local-embedder.js +44 -6
- package/src/organize.js +450 -0
- package/src/recall-stats.js +23 -1
- package/src/runtime/layout.js +30 -0
- package/src/runtime/loader.js +4 -1
- package/src/runtime/verify.js +19 -6
- package/src/search/adaptive.js +38 -0
- package/src/service.js +165 -12
- package/src/settings.js +35 -4
- package/src/store.js +126 -8
- package/src/summarize.js +253 -8
- package/src/tools.js +136 -8
- package/test/adaptive-inject-budget.test.js +85 -0
- package/test/api.test.js +66 -3
- package/test/client.test.js +63 -2
- package/test/document.test.js +523 -0
- package/test/dream.test.js +51 -0
- package/test/inject-content-cap.test.js +5 -3
- package/test/inject-pools.test.js +170 -0
- package/test/inject-recall.test.js +105 -0
- package/test/inject.test.js +35 -1
- package/test/lastrunat-persist.test.js +101 -0
- package/test/llm-audit.test.js +247 -0
- package/test/local-embedder.test.js +45 -2
- package/test/organize.test.js +418 -0
- package/test/recall-stats.test.js +7 -1
- package/test/runtime-loader.test.js +18 -0
- package/test/runtime-manifest.test.js +2 -1
- package/test/runtime-verify.test.js +65 -0
- package/test/sleep.test.js +154 -0
- package/test/store.test.js +13 -0
- package/test/summarize.test.js +407 -3
- package/test/tools-dto-schema-matrix.test.js +325 -0
- package/test/tools.test.js +36 -3
|
@@ -0,0 +1,418 @@
|
|
|
1
|
+
// #231:agent 主动整理接口——dryRun 比对报告 → agent 判断 → apply;筛除项进归档
|
|
2
|
+
// 不删;调用全程复用 dream_runs 的 receipt 语义(不新建审计面)。维护者口径:
|
|
3
|
+
// 功能本体落在 service 层并带测试,不进工具列表、不加独立 opt-in 开关。
|
|
4
|
+
|
|
5
|
+
import test from "node:test";
|
|
6
|
+
import assert from "node:assert/strict";
|
|
7
|
+
import { createStore } from "../src/store.js";
|
|
8
|
+
import { createService } from "../src/service.js";
|
|
9
|
+
import { createOrganizer } from "../src/organize.js";
|
|
10
|
+
import { parseReceipt } from "../src/dream.js";
|
|
11
|
+
|
|
12
|
+
const preference = (title, content = "内容", extra = {}) =>
|
|
13
|
+
({ type: "preference", title, content, importance: 5, ...extra });
|
|
14
|
+
|
|
15
|
+
/** 单元级 organizer:假 embedQuery 隔离向量档,写路径复用真 service。 */
|
|
16
|
+
function makeOrganizer(embedQuery = async () => null, config = {}) {
|
|
17
|
+
const store = createStore(":memory:");
|
|
18
|
+
const service = createService({ store, mirror: null, config });
|
|
19
|
+
const finalizeCalls = [];
|
|
20
|
+
const { organize } = createOrganizer({
|
|
21
|
+
store,
|
|
22
|
+
embedQuery,
|
|
23
|
+
saveWithDedupe: service.saveWithDedupe,
|
|
24
|
+
transaction: service.transaction,
|
|
25
|
+
finalize: (rows) => finalizeCalls.push(rows)
|
|
26
|
+
});
|
|
27
|
+
return { store, service, organize, finalizeCalls };
|
|
28
|
+
}
|
|
29
|
+
|
|
30
|
+
test("#231: dryRun writes no memory and leaves one organize receipt", async () => {
|
|
31
|
+
const { store, service, organize } = makeOrganizer();
|
|
32
|
+
const seeded = service.saveWithDedupe(preference("偏好X", "既有内容")).memory;
|
|
33
|
+
const report = await organize({
|
|
34
|
+
mode: "dryRun",
|
|
35
|
+
candidates: [preference("偏好X", "同一标题的新内容"), { type: "decision", title: "全新决定", content: "库里没有" }]
|
|
36
|
+
});
|
|
37
|
+
assert.equal(report.items[0].verdict, "exact");
|
|
38
|
+
assert.equal(report.items[0].match.id, seeded.id);
|
|
39
|
+
assert.equal(report.items[1].verdict, "new");
|
|
40
|
+
assert.equal(report.counts.total, 2);
|
|
41
|
+
// 比对是报告不是动作:记忆表仍然只有种子那一行。
|
|
42
|
+
assert.equal(store.list({ limit: null }).length, 1);
|
|
43
|
+
const run = store.getDreamRun(report.run_id);
|
|
44
|
+
assert.equal(run.run_type, "organize");
|
|
45
|
+
assert.equal(run.status, "ok");
|
|
46
|
+
assert.equal(run.applied, 0);
|
|
47
|
+
assert.equal(parseReceipt(run.receipt).runId, report.run_id, "receipt 复用 dream 的既有格式");
|
|
48
|
+
});
|
|
49
|
+
|
|
50
|
+
test("#231: dryRun reports near duplicates with similarity (vector layer)", async () => {
|
|
51
|
+
const { store, service, organize } = makeOrganizer(async () => [0.99, 0.1, 0]);
|
|
52
|
+
const seeded = service.saveWithDedupe({ type: "decision", title: "令牌桶限流方案", content: "旧记录" }).memory;
|
|
53
|
+
store.setEmbedding(seeded.id, [1, 0, 0]);
|
|
54
|
+
const report = await organize({
|
|
55
|
+
mode: "dryRun",
|
|
56
|
+
candidates: [{ type: "decision", title: "限流方案选型", content: "内容相近但换了标题" }]
|
|
57
|
+
});
|
|
58
|
+
assert.equal(report.items[0].verdict, "near");
|
|
59
|
+
assert.equal(report.items[0].match.id, seeded.id);
|
|
60
|
+
assert.ok(report.items[0].match.sim > 0.9, "相似度带回报告,供 agent 判断");
|
|
61
|
+
assert.equal(report.counts.near, 1);
|
|
62
|
+
});
|
|
63
|
+
|
|
64
|
+
test("#231: apply refuses to write without a real dryRun report", async () => {
|
|
65
|
+
const { store, service, organize } = makeOrganizer();
|
|
66
|
+
// 先 seed 一行再断言「零写入」:空库 + decisions: [] 本来也不会写,那样的断言恒真、
|
|
67
|
+
// 抓不住守卫的回归(静态审查指出)。
|
|
68
|
+
const seeded = service.saveWithDedupe(preference("既有偏好", "原内容")).memory;
|
|
69
|
+
await assert.rejects(() => organize({ mode: "apply", decisions: [] }), /run_id is required/);
|
|
70
|
+
await assert.rejects(
|
|
71
|
+
() => organize({ mode: "apply", run_id: "nope", decisions: [{ action: "save", index: 0 }] }),
|
|
72
|
+
/unknown organize run/
|
|
73
|
+
);
|
|
74
|
+
const rows = store.list({ limit: null });
|
|
75
|
+
assert.equal(rows.length, 1, "拒绝路径零写入");
|
|
76
|
+
assert.equal(rows[0].id, seeded.id);
|
|
77
|
+
assert.equal(rows[0].content, "原内容", "既有行未被改动");
|
|
78
|
+
});
|
|
79
|
+
|
|
80
|
+
test("#231: write-path control flags never reach the write path through the snapshot (#267 静态审查)", async () => {
|
|
81
|
+
const { store, service, organize } = makeOrganizer();
|
|
82
|
+
const victim = service.saveWithDedupe(preference("受害者行", "原内容")).memory;
|
|
83
|
+
// 原始候选里塞写入端控制旗标:normalizeCandidate 只保留白名单字段,审计存的是它,
|
|
84
|
+
// apply 重放快照 → 旗标够不到 saveWithDedupe 的 _mergeInto/_overwrite 分支,
|
|
85
|
+
// 不能借整理接口改写既有行。这是「报告无法被用来越权写入」的钉子。
|
|
86
|
+
const report = await organize({
|
|
87
|
+
mode: "dryRun",
|
|
88
|
+
candidates: [{ ...preference("另一条偏好", "新内容"), _mergeInto: victim.id, _overwrite: true }]
|
|
89
|
+
});
|
|
90
|
+
const outcome = await organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] });
|
|
91
|
+
assert.equal(outcome.saved, 1, "正常写成新行");
|
|
92
|
+
assert.equal(store.getById(victim.id).content, "原内容", "既有行未被覆写");
|
|
93
|
+
assert.equal(store.getById(victim.id).title, "受害者行");
|
|
94
|
+
});
|
|
95
|
+
|
|
96
|
+
test("#231: apply saves kept candidates, records discards, archives instead of deleting", async () => {
|
|
97
|
+
const { store, service, organize } = makeOrganizer();
|
|
98
|
+
const stale = service.saveWithDedupe({ type: "project", title: "被取代的状态", content: "过时" }).memory;
|
|
99
|
+
const report = await organize({
|
|
100
|
+
mode: "dryRun",
|
|
101
|
+
candidates: [
|
|
102
|
+
preference("新偏好"),
|
|
103
|
+
{ type: "decision", title: "被丢掉的决定", content: "不落库" },
|
|
104
|
+
// 归档要有依据:只有报告命中过的行才有资格被归档,所以这条必须进 dryRun。
|
|
105
|
+
{ type: "project", title: "被取代的状态", content: "新的状态描述" }
|
|
106
|
+
]
|
|
107
|
+
});
|
|
108
|
+
assert.equal(report.items[2].match.id, stale.id, "第二条项目候选命中的就是待归档那行");
|
|
109
|
+
const outcome = await organize({
|
|
110
|
+
mode: "apply",
|
|
111
|
+
run_id: report.run_id,
|
|
112
|
+
decisions: [
|
|
113
|
+
{ action: "save", index: 0 },
|
|
114
|
+
{ action: "discard", index: 1 },
|
|
115
|
+
{ action: "archive", id: stale.id }
|
|
116
|
+
]
|
|
117
|
+
});
|
|
118
|
+
assert.equal(outcome.saved, 1);
|
|
119
|
+
assert.equal(outcome.discarded, 1);
|
|
120
|
+
assert.equal(outcome.archived, 1);
|
|
121
|
+
assert.equal(outcome.status, "ok");
|
|
122
|
+
// 筛除 = 归档(可恢复),不是删除。
|
|
123
|
+
assert.equal(store.getById(stale.id).archived, true, "archived row still exists");
|
|
124
|
+
const titles = store.list({ limit: null }).map((m) => m.title);
|
|
125
|
+
assert.ok(titles.includes("新偏好"), "kept candidate landed");
|
|
126
|
+
assert.ok(!titles.includes("被丢掉的决定"), "discarded candidate was not written");
|
|
127
|
+
// 审计链:apply 回执指向它依据的那份报告。
|
|
128
|
+
const applyRun = store.getDreamRun(outcome.run_id);
|
|
129
|
+
assert.equal(applyRun.outcome.dry_run_id, report.run_id);
|
|
130
|
+
assert.equal(applyRun.applied, 2);
|
|
131
|
+
assert.equal(parseReceipt(applyRun.receipt).status, "ok");
|
|
132
|
+
});
|
|
133
|
+
|
|
134
|
+
test("#231: the source columns do not split the match key (#267 评审第二轮)", async () => {
|
|
135
|
+
const { store, service, organize } = makeOrganizer();
|
|
136
|
+
const seeded = service.saveWithDedupe({
|
|
137
|
+
...preference("同标题的约束"),
|
|
138
|
+
agent_scope: "agent-b",
|
|
139
|
+
agent_scope_source: "auto"
|
|
140
|
+
}).memory;
|
|
141
|
+
// 只差 agent_scope_source(auto vs explicit):saveWithDedupe 的去重键不含来源两列,
|
|
142
|
+
// 所以这必须判成「命中既有行」。比对键里多带来源就会报 new,而 apply 却合并——错位。
|
|
143
|
+
const report = await organize({
|
|
144
|
+
mode: "dryRun",
|
|
145
|
+
candidates: [{ ...preference("同标题的约束"), agent_scope: "agent-b", agent_scope_source: "explicit" }]
|
|
146
|
+
});
|
|
147
|
+
assert.equal(report.items[0].verdict, "exact");
|
|
148
|
+
assert.equal(report.items[0].match.id, seeded.id);
|
|
149
|
+
const outcome = await organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] });
|
|
150
|
+
assert.equal(outcome.merged, 1, "报告与写入同口径:命中既有行");
|
|
151
|
+
assert.equal(outcome.saved, 0);
|
|
152
|
+
assert.equal(store.list({ limit: null }).length, 1);
|
|
153
|
+
});
|
|
154
|
+
|
|
155
|
+
test("#231: dryRun compares in the candidate's own scope, not the payload's (#267 评审 1)", async () => {
|
|
156
|
+
const { service, organize } = makeOrganizer();
|
|
157
|
+
const seeded = service.saveWithDedupe({ ...preference("同标题的约束"), agent_scope: "agent-b" }).memory;
|
|
158
|
+
// 载荷级不给 scope,只在候选上给:报告必须按候选自己的 scope 看库,否则同一个
|
|
159
|
+
// scope 里明明已有同标题行也会报 "new"——报告 scope 与写入 scope 就此错位。
|
|
160
|
+
const report = await organize({
|
|
161
|
+
mode: "dryRun",
|
|
162
|
+
candidates: [{ ...preference("同标题的约束"), agent_scope: "agent-b" }]
|
|
163
|
+
});
|
|
164
|
+
assert.equal(report.items[0].verdict, "exact");
|
|
165
|
+
assert.equal(report.items[0].match.id, seeded.id);
|
|
166
|
+
// 反向:默认 scope 的候选看不到 agent-b 的行(跨 scope 永不互判,防泄漏)。
|
|
167
|
+
const other = await organize({ mode: "dryRun", candidates: [preference("同标题的约束")] });
|
|
168
|
+
assert.equal(other.items[0].verdict, "new");
|
|
169
|
+
});
|
|
170
|
+
|
|
171
|
+
test("#231: the same report cannot be applied twice (#267 评审 2)", async () => {
|
|
172
|
+
const { store, organize } = makeOrganizer();
|
|
173
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("只应落一次")] });
|
|
174
|
+
await organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] });
|
|
175
|
+
await assert.rejects(
|
|
176
|
+
() => organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] }),
|
|
177
|
+
/already applied/
|
|
178
|
+
);
|
|
179
|
+
assert.equal(store.list({ limit: null }).filter((m) => m.title === "只应落一次").length, 1);
|
|
180
|
+
const receipts = store.listDreamRuns({}).filter((r) => r.outcome?.dry_run_id === report.run_id);
|
|
181
|
+
assert.equal(receipts.length, 1, "同一份报告只留一份落地回执");
|
|
182
|
+
assert.ok(store.getDreamRun(report.run_id).outcome.applied_at, "报告行上留了已落地凭证");
|
|
183
|
+
});
|
|
184
|
+
|
|
185
|
+
test("#231: archive only accepts ids the report flagged as matches (#267 评审 3)", async () => {
|
|
186
|
+
const { store, service, organize } = makeOrganizer();
|
|
187
|
+
const bystander = service.saveWithDedupe({ type: "project", title: "报告没提过的项目行", content: "无关" }).memory;
|
|
188
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("只有偏好类")] });
|
|
189
|
+
const outcome = await organize({
|
|
190
|
+
mode: "apply",
|
|
191
|
+
run_id: report.run_id,
|
|
192
|
+
decisions: [{ action: "archive", id: bystander.id }]
|
|
193
|
+
});
|
|
194
|
+
assert.equal(outcome.archived, 0);
|
|
195
|
+
assert.match(outcome.skipped[0].error, /not flagged as a match/);
|
|
196
|
+
assert.equal(store.getById(bystander.id).archived, false, "报告没提过的行不许被动");
|
|
197
|
+
assert.equal(outcome.status, "degraded");
|
|
198
|
+
});
|
|
199
|
+
|
|
200
|
+
test("#231: merged candidates count as merged, not as new saves (#267 评审 2)", async () => {
|
|
201
|
+
const { store, service, organize } = makeOrganizer();
|
|
202
|
+
service.saveWithDedupe(preference("已被记下的偏好", "旧内容"));
|
|
203
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("已被记下的偏好", "新内容")] });
|
|
204
|
+
assert.equal(report.items[0].verdict, "exact");
|
|
205
|
+
const outcome = await organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] });
|
|
206
|
+
assert.equal(outcome.saved, 0, "同键命中走合并,不是新建");
|
|
207
|
+
assert.equal(outcome.merged, 1);
|
|
208
|
+
assert.equal(outcome.status, "ok", "合并也是落地生效,不能记成 noop");
|
|
209
|
+
assert.equal(store.list({ limit: null }).length, 1);
|
|
210
|
+
assert.equal(store.getDreamRun(outcome.run_id).applied, 1);
|
|
211
|
+
});
|
|
212
|
+
|
|
213
|
+
test("#231: a failing audit write does not replace the original error (#267 评审 4)", async () => {
|
|
214
|
+
const { store, organize } = makeOrganizer();
|
|
215
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("会失败的落地")] });
|
|
216
|
+
// 审计整体不可用:事务内的「已落地」标记先抛 → 回滚 → 失败回执也写不进去。
|
|
217
|
+
store.saveDreamRun = () => {
|
|
218
|
+
throw new Error("audit unavailable");
|
|
219
|
+
};
|
|
220
|
+
await assert.rejects(
|
|
221
|
+
() => organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] }),
|
|
222
|
+
(err) => {
|
|
223
|
+
assert.match(err.message, /audit unavailable/, "原始错误原样抛出");
|
|
224
|
+
assert.match(err.audit_error, /audit unavailable/, "审计的失败挂上去,不被静默吞掉");
|
|
225
|
+
return true;
|
|
226
|
+
}
|
|
227
|
+
);
|
|
228
|
+
});
|
|
229
|
+
|
|
230
|
+
test("#231: apply tolerates bad decisions — legal subset lands, run is degraded", async () => {
|
|
231
|
+
const { store, organize } = makeOrganizer();
|
|
232
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("能落的")] });
|
|
233
|
+
const outcome = await organize({
|
|
234
|
+
mode: "apply",
|
|
235
|
+
run_id: report.run_id,
|
|
236
|
+
decisions: [
|
|
237
|
+
{ action: "save", index: 0 },
|
|
238
|
+
{ action: "save", index: 9 }, // 越界
|
|
239
|
+
{ action: "archive", id: "m_missing" }, // 未知 id
|
|
240
|
+
{ action: "explode", index: 0 } // 未知动作
|
|
241
|
+
]
|
|
242
|
+
});
|
|
243
|
+
assert.equal(outcome.saved, 1, "legal subset applied");
|
|
244
|
+
assert.equal(outcome.skipped.length, 3);
|
|
245
|
+
assert.equal(outcome.status, "degraded");
|
|
246
|
+
assert.equal(outcome.degraded, true);
|
|
247
|
+
assert.equal(store.getDreamRun(outcome.run_id).skipped.length, 3, "逐条跳过明细进审计");
|
|
248
|
+
});
|
|
249
|
+
|
|
250
|
+
test("#231: dryRun refuses document candidates (registerDocument is the only mint)", async () => {
|
|
251
|
+
const { organize } = makeOrganizer();
|
|
252
|
+
const report = await organize({ mode: "dryRun", candidates: [{ type: "document", title: "长文", content: "摘要" }] });
|
|
253
|
+
assert.equal(report.counts.total, 0);
|
|
254
|
+
assert.equal(report.status, "degraded");
|
|
255
|
+
assert.match(report.skipped[0].error, /registerDocument/);
|
|
256
|
+
});
|
|
257
|
+
|
|
258
|
+
test("#231: dryRun bounds the batch and reports the truncation", async () => {
|
|
259
|
+
const { organize } = makeOrganizer();
|
|
260
|
+
const report = await organize({
|
|
261
|
+
mode: "dryRun",
|
|
262
|
+
candidates: Array.from({ length: 55 }, (_, i) => preference(`偏好${i}`))
|
|
263
|
+
});
|
|
264
|
+
assert.equal(report.counts.total, 50);
|
|
265
|
+
assert.equal(report.counts.truncated, 5);
|
|
266
|
+
});
|
|
267
|
+
|
|
268
|
+
test("#231: single entry point with a mode parameter, exported through the service barrel", async () => {
|
|
269
|
+
const { service, organize } = makeOrganizer();
|
|
270
|
+
await assert.rejects(() => organize({ mode: "wat" }), /unknown mode/);
|
|
271
|
+
assert.equal(typeof service.organize, "function", "service 层 barrel 出口(调用方零改动)");
|
|
272
|
+
const report = await service.organize({ mode: "dryRun", candidates: [preference("走 service 的")] });
|
|
273
|
+
assert.equal(report.counts.total, 1);
|
|
274
|
+
});
|
|
275
|
+
|
|
276
|
+
// --- 以下为 CodeRabbit #267 复核后补的边界:报告的索引/scope 必须与落库严格一致 ---
|
|
277
|
+
|
|
278
|
+
test("#231: payload-level scope travels with the snapshot into the write", async () => {
|
|
279
|
+
const { store, organize } = makeOrganizer();
|
|
280
|
+
const report = await organize({
|
|
281
|
+
mode: "dryRun",
|
|
282
|
+
agent_scope: "agent-a",
|
|
283
|
+
candidates: [preference("带 scope 的偏好")]
|
|
284
|
+
});
|
|
285
|
+
const run = store.getDreamRun(report.run_id);
|
|
286
|
+
assert.equal(run.input[0].agent_scope, "agent-a", "审计存的是带 scope 的规范化快照");
|
|
287
|
+
assert.equal(run.input[0].index, 0, "快照保留原始索引,apply 才能按索引重放");
|
|
288
|
+
assert.equal(run.input[0].type, "preference");
|
|
289
|
+
await organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] });
|
|
290
|
+
assert.equal(store.list({ limit: null })[0].agent_scope, "agent-a", "比对用的 scope 就是落地用的 scope");
|
|
291
|
+
});
|
|
292
|
+
|
|
293
|
+
test("#231: apply cannot land an index the dryRun never accepted", async () => {
|
|
294
|
+
const { store, organize } = makeOrganizer();
|
|
295
|
+
const report = await organize({
|
|
296
|
+
mode: "dryRun",
|
|
297
|
+
candidates: [preference("合法的"), { type: "document", title: "长文", content: "摘要" }]
|
|
298
|
+
});
|
|
299
|
+
assert.equal(report.counts.skipped, 1);
|
|
300
|
+
const outcome = await organize({
|
|
301
|
+
mode: "apply",
|
|
302
|
+
run_id: report.run_id,
|
|
303
|
+
decisions: [{ action: "save", index: 1 }] // dryRun 当时就拒了这一条
|
|
304
|
+
});
|
|
305
|
+
assert.equal(outcome.saved, 0);
|
|
306
|
+
assert.equal(outcome.status, "degraded");
|
|
307
|
+
assert.match(outcome.skipped[0].error, /not accepted by this dryRun/);
|
|
308
|
+
assert.equal(store.list({ limit: null }).length, 0, "被跳过的候选没有资格落库");
|
|
309
|
+
});
|
|
310
|
+
|
|
311
|
+
test("#231: apply refuses an apply receipt as its dryRun reference", async () => {
|
|
312
|
+
const { organize } = makeOrganizer();
|
|
313
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("第一条")] });
|
|
314
|
+
const first = await organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] });
|
|
315
|
+
// 两者共用 run_type='organize',只有 outcome.dry_run_id 能把回执与报告分开。
|
|
316
|
+
await assert.rejects(
|
|
317
|
+
() => organize({ mode: "apply", run_id: first.run_id, decisions: [{ action: "save", index: 0 }] }),
|
|
318
|
+
/apply receipt/
|
|
319
|
+
);
|
|
320
|
+
});
|
|
321
|
+
|
|
322
|
+
test("#231: a throwing embedder fails the dryRun, audits it and rethrows", async () => {
|
|
323
|
+
const { store, service } = makeOrganizer(async () => {
|
|
324
|
+
throw new Error("embedder offline");
|
|
325
|
+
});
|
|
326
|
+
const seeded = service.saveWithDedupe({ type: "preference", title: "已有向量", content: "内容" }).memory;
|
|
327
|
+
store.setEmbedding(seeded.id, [1, 0, 0]);
|
|
328
|
+
const seen = [];
|
|
329
|
+
const observed = createOrganizer({
|
|
330
|
+
store: { ...store, saveDreamRun: (row) => { seen.push(row); return store.saveDreamRun(row); } },
|
|
331
|
+
embedQuery: async () => {
|
|
332
|
+
throw new Error("embedder offline");
|
|
333
|
+
},
|
|
334
|
+
saveWithDedupe: service.saveWithDedupe,
|
|
335
|
+
transaction: service.transaction
|
|
336
|
+
});
|
|
337
|
+
await assert.rejects(() => observed.organize({ mode: "dryRun", candidates: [preference("新的一条")] }), /embedder offline/);
|
|
338
|
+
assert.equal(seen.at(-1).status, "failed", "基础设施错误留 failed 回执,不降级成「全是新条目」");
|
|
339
|
+
assert.match(seen.at(-1).error, /embedder offline/);
|
|
340
|
+
assert.equal(store.list({ limit: null }).length, 1, "失败路径零写入");
|
|
341
|
+
});
|
|
342
|
+
|
|
343
|
+
test("#231: an infrastructure write error rolls back and reports applied 0", async () => {
|
|
344
|
+
const { store, service, organize } = makeOrganizer();
|
|
345
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("会写失败的")] });
|
|
346
|
+
const seen = [];
|
|
347
|
+
const failing = createOrganizer({
|
|
348
|
+
store: { ...store, saveDreamRun: (row) => { seen.push(row); return store.saveDreamRun(row); } },
|
|
349
|
+
embedQuery: async () => null,
|
|
350
|
+
saveWithDedupe: () => {
|
|
351
|
+
throw new Error("database is locked");
|
|
352
|
+
},
|
|
353
|
+
transaction: service.transaction
|
|
354
|
+
});
|
|
355
|
+
await assert.rejects(
|
|
356
|
+
() => failing.organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] }),
|
|
357
|
+
/database is locked/
|
|
358
|
+
);
|
|
359
|
+
assert.equal(store.list({ limit: null }).length, 0, "整批回滚,零写入");
|
|
360
|
+
const failed = seen.at(-1);
|
|
361
|
+
assert.equal(failed.status, "failed");
|
|
362
|
+
assert.equal(failed.applied, 0, "回滚后不得虚报 applied");
|
|
363
|
+
assert.deepEqual(failed.outcome.byId, {});
|
|
364
|
+
});
|
|
365
|
+
|
|
366
|
+
test("#231: a failing success audit rolls the writes back with it", async () => {
|
|
367
|
+
const { store, service, organize } = makeOrganizer();
|
|
368
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("回执写不进去")] });
|
|
369
|
+
let auditFailures = 0;
|
|
370
|
+
const audited = {
|
|
371
|
+
...store,
|
|
372
|
+
saveDreamRun: (row) => {
|
|
373
|
+
if (row.run_type === "organize" && row.status === "ok" && row.id !== report.run_id) {
|
|
374
|
+
auditFailures++;
|
|
375
|
+
throw new Error("audit table is full");
|
|
376
|
+
}
|
|
377
|
+
return store.saveDreamRun(row);
|
|
378
|
+
}
|
|
379
|
+
};
|
|
380
|
+
const { organize: proxied } = createOrganizer({
|
|
381
|
+
store: audited,
|
|
382
|
+
embedQuery: async () => null,
|
|
383
|
+
saveWithDedupe: service.saveWithDedupe,
|
|
384
|
+
transaction: service.transaction
|
|
385
|
+
});
|
|
386
|
+
await assert.rejects(
|
|
387
|
+
() => proxied({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] }),
|
|
388
|
+
/audit table is full/
|
|
389
|
+
);
|
|
390
|
+
assert.equal(auditFailures, 1);
|
|
391
|
+
assert.equal(store.list({ limit: null }).length, 0, "成功回执与数据同事务:回执写不进去 → 数据也回滚");
|
|
392
|
+
});
|
|
393
|
+
|
|
394
|
+
test("#231: finalize runs after commit with the saved rows, and not for empty batches", async () => {
|
|
395
|
+
const { store, organize, finalizeCalls } = makeOrganizer();
|
|
396
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("要重嵌入的")] });
|
|
397
|
+
await organize({ mode: "apply", run_id: report.run_id, decisions: [{ action: "save", index: 0 }] });
|
|
398
|
+
assert.equal(finalizeCalls.length, 1, "提交后补一次重嵌入(transaction 里被 txDepth 挡掉)");
|
|
399
|
+
assert.equal(finalizeCalls[0][0].id, store.list({ limit: null })[0].id);
|
|
400
|
+
const discardsOnly = await organize({ mode: "dryRun", candidates: [preference("只丢弃")] });
|
|
401
|
+
await organize({ mode: "apply", run_id: discardsOnly.run_id, decisions: [{ action: "discard", index: 0 }] });
|
|
402
|
+
assert.equal(finalizeCalls.length, 1, "noop 批次不触发 finalize");
|
|
403
|
+
});
|
|
404
|
+
|
|
405
|
+
test("#231: archive honours the hidden-id set from the trusted caller, not the payload", async () => {
|
|
406
|
+
const { store, service, organize } = makeOrganizer();
|
|
407
|
+
const outOfScope = service.saveWithDedupe({ type: "project", title: "看不见的项目", content: "内容" }).memory;
|
|
408
|
+
const report = await organize({ mode: "dryRun", candidates: [preference("占位")] });
|
|
409
|
+
// opts 是第二参数(document 的 hiddenEvidenceIds 同款契约):payload 里的同名字段
|
|
410
|
+
// 一律不认——那是调用方可自选的内容,不是授权。
|
|
411
|
+
const outcome = await service.organize(
|
|
412
|
+
{ mode: "apply", run_id: report.run_id, decisions: [{ action: "archive", id: outOfScope.id }] },
|
|
413
|
+
{ hiddenIds: [outOfScope.id] }
|
|
414
|
+
);
|
|
415
|
+
assert.equal(outcome.archived, 0);
|
|
416
|
+
assert.match(outcome.skipped[0].error, /out of scope/);
|
|
417
|
+
assert.equal(store.getById(outOfScope.id).archived, false, "看不见的行按不存在处理,不归档");
|
|
418
|
+
});
|
|
@@ -71,7 +71,13 @@ test("僵尸率:零曝光活跃计入,归档/遗忘剔除,豁免期单独
|
|
|
71
71
|
assert.equal(withExempt.zombie.activeCount, 0);
|
|
72
72
|
assert.equal(withExempt.zombie.rate, null);
|
|
73
73
|
|
|
74
|
-
// 豁免归零:归档/遗忘剔除,零曝光的 z
|
|
74
|
+
// 豁免归零:归档/遗忘剔除,零曝光的 z 计僵尸。回拨 created_at 避开
|
|
75
|
+
// nowIso 同毫秒单调顶推的 1ms 豁免边界——刚写入的记忆可能比 recallStats
|
|
76
|
+
// 的 Date.now() 晚 1ms,exemptDays:0 时落进豁免桶,断言随调度抖动翻转。
|
|
77
|
+
const old = new Date(Date.now() - 10 * 86400000).toISOString();
|
|
78
|
+
for (const m of store.all()) {
|
|
79
|
+
store.db.prepare("UPDATE memories SET created_at = ? WHERE id = ?").run(old, m.id);
|
|
80
|
+
}
|
|
75
81
|
const stats = service.recallStats({ windowDays: 30, exemptDays: 0 });
|
|
76
82
|
assert.equal(stats.zombie.activeCount, 2, "归档与遗忘不进分母");
|
|
77
83
|
assert.equal(stats.zombie.zombieCount, 1);
|
|
@@ -214,6 +214,24 @@ test("describeLocalRuntime:可用时报出 payload 与来源,且不假装验
|
|
|
214
214
|
assert.match(report.hint, /mneme-runtime\.mjs/);
|
|
215
215
|
});
|
|
216
216
|
|
|
217
|
+
test("describeLocalRuntime:下载档的完整性结论投影成字符串,不把对象漏进免鉴权端点(issue #268)", () => {
|
|
218
|
+
const runtimeDir = emptyRuntime();
|
|
219
|
+
const dir = makePayload(runtimeDir);
|
|
220
|
+
writeFileSync(
|
|
221
|
+
join(dir, "mneme-runtime.json"),
|
|
222
|
+
JSON.stringify({
|
|
223
|
+
procedure: "downloaded",
|
|
224
|
+
integrity: { status: "verified", checked: 3, detail: "每个 tarball 的 sha512 与 runtime-manifest.json 一致" }
|
|
225
|
+
})
|
|
226
|
+
);
|
|
227
|
+
const report = describeLocalRuntime({ runtimeDir, platform: "win32", arch: "x64" });
|
|
228
|
+
assert.equal(report.status, "available");
|
|
229
|
+
// DTO 声明是 string|null(见 publicRuntimeStatus 的注释),对象溜出去就是形状违约。
|
|
230
|
+
assert.equal(typeof report.integrity, "string");
|
|
231
|
+
assert.equal(report.integrity, "verified");
|
|
232
|
+
assert.equal(publicRuntimeStatus(report).integrity, "verified");
|
|
233
|
+
});
|
|
234
|
+
|
|
217
235
|
test("describeLocalRuntime:没有 payload 时报 missing,而不是报坏掉", () => {
|
|
218
236
|
const report = describeLocalRuntime({ runtimeDir: emptyRuntime(), platform: "win32", arch: "x64" });
|
|
219
237
|
assert.equal(report.status, "missing");
|
|
@@ -124,9 +124,10 @@ test("build:平台无关,六个常见平台都能过滤出完整的必需包
|
|
|
124
124
|
assert.ok((pkg.os ?? []).includes(platform), `${platform}-${arch} 混进了 ${pkg.rel}`);
|
|
125
125
|
}
|
|
126
126
|
// payloadId 由「版本 + 平台」算出来(v2 清单里不再存它)。
|
|
127
|
+
// 版本取自生成器输出本身:本断言锁的是格式,不是某个具体版本号。
|
|
127
128
|
assert.equal(
|
|
128
129
|
payloadId({ version: built.transformersVersion, platform, arch }),
|
|
129
|
-
`transformers
|
|
130
|
+
`transformers-${built.transformersVersion}-node-${platform}-${arch}`
|
|
130
131
|
);
|
|
131
132
|
}
|
|
132
133
|
});
|
|
@@ -146,6 +146,71 @@ test("三件套:--strict 场景下哈希不匹配即整体不通过", async ()
|
|
|
146
146
|
assert.equal(mismatch.functional.ok, true);
|
|
147
147
|
});
|
|
148
148
|
|
|
149
|
+
test("三件套:清单里记下的来源完整性被认账,不因状态词不同就判失败(issue #268)", async () => {
|
|
150
|
+
const dir = makePayload();
|
|
151
|
+
// download.js 在落盘前逐个 tarball 比对过 sha512,把这个结论写进清单的形状与词就是下面这样。
|
|
152
|
+
writeFileSync(
|
|
153
|
+
join(dir, "mneme-runtime.json"),
|
|
154
|
+
JSON.stringify({
|
|
155
|
+
procedure: "downloaded",
|
|
156
|
+
version: "4.2.0",
|
|
157
|
+
integrity: { status: "verified", checked: 3, detail: "每个 tarball 的 sha512 与 runtime-manifest.json 一致" }
|
|
158
|
+
})
|
|
159
|
+
);
|
|
160
|
+
const result = await verifyPayload(dir, {
|
|
161
|
+
platform: "win32",
|
|
162
|
+
arch: "x64",
|
|
163
|
+
engine: engineReturning(fakeRows(2, 8))
|
|
164
|
+
});
|
|
165
|
+
assert.equal(result.integrity.status, "verified");
|
|
166
|
+
assert.equal(result.integrity.ok, true, "下载档记下的 verified 是可用结论,不是失败");
|
|
167
|
+
assert.match(result.integrity.detail, /每个 tarball/);
|
|
168
|
+
assert.equal(result.ok, true);
|
|
169
|
+
});
|
|
170
|
+
|
|
171
|
+
test("三件套:清单里记下的不一致照样判失败(别把「读到一份结论」变成「一律放过」)", async () => {
|
|
172
|
+
const dir = makePayload();
|
|
173
|
+
writeFileSync(
|
|
174
|
+
join(dir, "mneme-runtime.json"),
|
|
175
|
+
JSON.stringify({ procedure: "downloaded", integrity: { status: "sha512-mismatch", detail: "与钉死的哈希不一致" } })
|
|
176
|
+
);
|
|
177
|
+
const result = await verifyPayload(dir, {
|
|
178
|
+
platform: "win32",
|
|
179
|
+
arch: "x64",
|
|
180
|
+
engine: engineReturning(fakeRows(2, 8))
|
|
181
|
+
});
|
|
182
|
+
assert.equal(result.integrity.ok, false);
|
|
183
|
+
assert.equal(result.integrity.status, "sha512-mismatch");
|
|
184
|
+
assert.equal(result.ok, false);
|
|
185
|
+
});
|
|
186
|
+
|
|
187
|
+
test("三件套:清单里的 integrity 形状非法时 fail-closed,不读成「没验过」(#269 评审)", async () => {
|
|
188
|
+
const dir = makePayload();
|
|
189
|
+
writeFileSync(join(dir, "mneme-runtime.json"), JSON.stringify({ procedure: "downloaded", integrity: false }));
|
|
190
|
+
const result = await verifyPayload(dir, {
|
|
191
|
+
platform: "win32",
|
|
192
|
+
arch: "x64",
|
|
193
|
+
engine: engineReturning(fakeRows(2, 8))
|
|
194
|
+
});
|
|
195
|
+
assert.equal(result.integrity.status, "malformed");
|
|
196
|
+
assert.equal(result.integrity.ok, false, "形状错误不是「验过了」,也不能当成「没记录」放过");
|
|
197
|
+
assert.equal(result.ok, false);
|
|
198
|
+
assert.match(result.integrity.detail, /形状非法/);
|
|
199
|
+
});
|
|
200
|
+
|
|
201
|
+
test("三件套:显式报 unverified 与「没传」同判,不因为说出口就变失败", async () => {
|
|
202
|
+
const dir = makePayload();
|
|
203
|
+
const result = await verifyPayload(dir, {
|
|
204
|
+
platform: "win32",
|
|
205
|
+
arch: "x64",
|
|
206
|
+
engine: engineReturning(fakeRows(2, 8)),
|
|
207
|
+
integrity: { status: "unverified" }
|
|
208
|
+
});
|
|
209
|
+
assert.equal(result.ok, true);
|
|
210
|
+
assert.equal(result.integrity.status, "unverified");
|
|
211
|
+
assert.match(result.integrity.detail, /没有可比对的原始产物/);
|
|
212
|
+
});
|
|
213
|
+
|
|
149
214
|
test("假通过防线 ①:行不是数组时返回失败,而不是抛异常", async () => {
|
|
150
215
|
// 契约是「任何失败都返回结果对象,不抛」;非数组行会让 .length/.some 直接抛。
|
|
151
216
|
const dir = makePayload();
|