@modusensus/dsh-mneme 0.7.21 → 0.7.23

package/test/dream.test.js

@@ -62,10 +62,13 @@ test("archived or summary entries cannot be decision targets", () => {
   assert.equal(ok, false);
 });
 
-test("empty decision list rejects", () => {
-  const { ok, errors } = validateDecisions([], snapshot(["a"]));
-  assert.equal(ok, false);
-  assert.ok(errors.some((e) => e.includes("non-empty array")));
+test("empty decision list is a no-op success (model: nothing to consolidate)", () => {
+  // 合法 JSON [] 是模型完整评估后确认无需操作（CONSOLIDATION_PROMPT 允许空输出），
+  // 不是空体/截断——显式短路 ok，避免隐式 keep 的覆盖率检查误判 0% 为失败。
+  const { ok, errors, skipped } = validateDecisions([], snapshot(["a"]));
+  assert.equal(ok, true);
+  assert.deepEqual(errors, []);
+  assert.deepEqual(skipped, []);
 });
 
 test("empty ids rejects", () => {
@@ -825,7 +828,9 @@ test("consolidation prompt pins the decision schema (action field, single-string
     logger: { warn: () => {} },
     llm: {
       async *stream(options) {
-        systemText = options.messages.find((m) => m.role === "system")?.content?.[0]?.text ?? "";
+        // 只捕获第一次调用（consolidation）的 system 文本：空数组现在走 no-op 成功、
+        // summary 会照常跑并覆盖 systemText，所以最后一次调用捕获到的是 SUMMARY_PROMPT。
+        if (!systemText) systemText = options.messages.find((m) => m.role === "system")?.content?.[0]?.text ?? "";
         yield { type: "text-delta", text: "[]" };
         yield { type: "finish", reason: { kind: "ok" } };
       }
@@ -899,3 +904,175 @@ test("Bug8: a failed LLM call is recorded with status=error and does not block t
   assert.ok(rows[0].error_message, "error message recorded");
   store.close();
 });
+
+// --- Issue #89 回归修复：v0.6.9（Issue #26）的 skipInvalid 宽容路径在 v0.7.11
+// 重写中丢失，弱模型（如 qwen3.8-flash）单条非法决策导致整单拒绝、合法子集
+// 全部白烧。以下单测自 v0.6.9 测试原样移植，锁定恢复后的行为。-------------
+
+test("validateDecisions skipInvalid: a single invalid decision is skipped, valid subset survives", () => {
+  const snap = new Map([
+    ["p", { id: "p", type: "preference", title: "语言", content: "中文", importance: 3, archived: false, forgotten: false }],
+    ["j", { id: "j", type: "project", title: "插件", content: "内容", importance: 3, archived: false, forgotten: false }],
+    ["a", { id: "a", type: "project", title: "旧A", content: "过时A", importance: 3, archived: false, forgotten: false }],
+    ["b", { id: "b", type: "project", title: "旧B", content: "过时B", importance: 3, archived: false, forgotten: false }]
+  ]);
+  const decisions = [
+    { action: "merge", ids: ["p", "j"], keepSource: "p", title: "跨类型", content: "不应合并", importance: 4 },
+    { action: "archive", ids: ["a"], reason: "stale" },
+    { action: "archive", ids: ["b"], reason: "stale" }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, true, `valid subset should survive, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 1, "cross-type merge recorded as skipped");
+  assert.equal(skipped[0].index, 0, "the skipped one is the cross-type merge");
+  assert.match(skipped[0].error, /multiple types/, "skip reason mentions types");
+  // invalid merge spliced out of the caller's array; valid archives + implicit
+  // keeps for p/j survive (p/j were left unclaimed by the skipped merge)
+  assert.deepEqual(decisions.map((d) => d.action), ["archive", "archive", "keep", "keep"]);
+  assert.deepEqual(decisions[0].ids, ["a"]);
+  assert.ok(decisions.some((d) => d.action === "keep" && d.ids.includes("p")), "p auto-kept");
+  assert.ok(decisions.some((d) => d.action === "keep" && d.ids.includes("j")), "j auto-kept");
+});
+
+test("validateDecisions skipInvalid: an all-invalid batch still rejects (coverage floor guards truncation)", () => {
+  const snap = new Map([
+    ["p", { id: "p", type: "preference", title: "语言", content: "中文", importance: 3, archived: false, forgotten: false }],
+    ["j", { id: "j", type: "project", title: "插件", content: "内容", importance: 3, archived: false, forgotten: false }],
+    ["d1", { id: "d1", type: "decision", title: "决定", content: "内容D", importance: 3, archived: false, forgotten: false }],
+    ["b", { id: "b", type: "project", title: "旧B", content: "过时B", importance: 3, archived: false, forgotten: false }]
+  ]);
+  // both decisions are cross-type merges → both skipped → valid claims = 0
+  const decisions = [
+    { action: "merge", ids: ["p", "j"], keepSource: "p", title: "跨类型", content: "不应合并", importance: 4 },
+    { action: "merge", ids: ["d1", "b"], keepSource: "d1", title: "跨类型2", content: "不应合并", importance: 4 }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, false, "no valid decisions left → whole batch rejected");
+  assert.equal(skipped.length, 2);
+  assert.ok(errors.some((e) => e.includes("coverage")), "coverage error present");
+  assert.equal(decisions.length, 2, "rejected batch left untouched (splice only on the success path)");
+});
+
+test("validateDecisions skipInvalid: runaway update count still rejects the whole batch (global cap)", () => {
+  const snap = new Map([
+    ["a", { id: "a", type: "project", title: "A", content: "旧A", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }],
+    ["b", { id: "b", type: "project", title: "B", content: "旧B", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }],
+    ["c", { id: "c", type: "project", title: "C", content: "旧C", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }]
+  ]);
+  const decisions = [
+    { action: "update", ids: ["a"], content: "新A" },
+    { action: "update", ids: ["b"], content: "新B" },
+    { action: "update", ids: ["c"], content: "新C" }
+  ];
+  const { ok, errors } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, false, "3 updates > default cap 2 → still rejects");
+  assert.ok(errors.some((e) => e.includes("too many update decisions")), "global cap error present");
+});
+
+test("validateDecisions allowCrossTypeMerge: cross-type merge is allowed when the flag is on", () => {
+  const snap = new Map([
+    ["p", { id: "p", type: "preference", title: "语言", content: "中文", importance: 3, archived: false, forgotten: false }],
+    ["j", { id: "j", type: "project", title: "插件", content: "内容", importance: 3, archived: false, forgotten: false }]
+  ]);
+  const decisions = [
+    { action: "merge", ids: ["p", "j"], keepSource: "p", title: "合并", content: "合并内容", importance: 4 }
+  ];
+  const { ok, errors } = validateDecisions(decisions, snap, { allowCrossTypeMerge: true });
+  assert.equal(ok, true, `cross-type merge allowed with the flag, got: ${errors.join("; ")}`);
+  assert.equal(decisions.length, 1, "no keep appended (both snapshot ids claimed)");
+});
+
+test("validateDecisions default (no options) stays strict — sleep passes unchanged", () => {
+  const snap = new Map([
+    ["a", { id: "a", type: "project", title: "A", content: "旧A", importance: 3, archived: false, forgotten: false }],
+    ["b", { id: "b", type: "project", title: "B", content: "旧B", importance: 3, archived: false, forgotten: false }]
+  ]);
+  const { ok, skipped } = validateDecisions([{ action: "archive", ids: ["zzz"], reason: "x" }], snap);
+  assert.equal(ok, false, "strict rejection without skipInvalid");
+  assert.deepEqual(skipped, [], "no skipped bookkeeping in strict mode");
+});
+
+test("issue#89: dream run with a skipped invalid decision lands the valid subset and is marked degraded", async () => {
+  const { store, service } = dreamSetup();
+  const a = service.saveWithDedupe({ type: "project", title: "旧A", content: "过时A" }).memory;
+  const b = service.saveWithDedupe({ type: "project", title: "旧B", content: "过时B" }).memory;
+  const pref = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" }).memory;
+  const c = service.saveWithDedupe({ type: "project", title: "旧C", content: "过时C" }).memory;
+  const warnings = [];
+  const ctx = {
+    logger: { warn: (m) => warnings.push(String(m)) },
+    llm: {
+      async *stream(options) {
+        const userText = options.messages.find((m) => m.role === "user")?.content?.[0]?.text ?? "";
+        if (userText.startsWith("id=")) {
+          // 一条跨类型 merge（非法 → 跳过）+ 两条合法 archive（覆盖 2/4 快照，
+  // 高于 50% 显式覆盖率下限）
+          yield { type: "text-delta", index: 0, text: JSON.stringify([
+            { action: "merge", ids: [pref.id, a.id], keepSource: pref.id, title: "跨类型", content: "不应合并", importance: 4 },
+            { action: "archive", ids: [b.id], reason: "stale" },
+            { action: "archive", ids: [c.id], reason: "stale" }
+          ]) };
+        } else {
+          yield { type: "text-delta", index: 0, text: "记忆库总览：弱模型的个别非法决策不再拖垮整轮巩固。" };
+        }
+        yield { type: "finish", reason: { kind: "stop" } };
+      }
+    }
+  };
+  const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
+  const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-model" });
+  assert.equal(result.ok, true, "valid subset absorbed (ok for the baseline)");
+  assert.equal(result.status, "degraded", "run marked degraded, not faked ok");
+  assert.equal(store.getById(b.id).archived, true, "valid archive applied");
+  assert.equal(store.getById(pref.id).archived, false, "invalid merge did not touch its targets");
+  assert.ok(warnings.some((w) => w.includes("skipped") && w.includes("multiple types")), "skip reason logged");
+  store.close();
+});
+
+test("issue#89: dreamSkipInvalid:false restores the whole-batch strict rejection", async () => {
+  const { store, service } = dreamSetup();
+  const a = service.saveWithDedupe({ type: "project", title: "旧A", content: "过时A" }).memory;
+  const b = service.saveWithDedupe({ type: "project", title: "旧B", content: "过时B" }).memory;
+  const pref = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" }).memory;
+  const ctx = {
+    logger: { warn: () => {} },
+    llm: {
+      async *stream(options) {
+        const userText = options.messages.find((m) => m.role === "user")?.content?.[0]?.text ?? "";
+        if (userText.startsWith("id=")) {
+          yield { type: "text-delta", index: 0, text: JSON.stringify([
+            { action: "merge", ids: [pref.id, a.id], keepSource: pref.id, title: "跨类型", content: "不应合并", importance: 4 },
+            { action: "archive", ids: [b.id], reason: "stale" }
+          ]) };
+        } else {
+          yield { type: "text-delta", index: 0, text: "记忆库总览。" };
+        }
+        yield { type: "finish", reason: { kind: "stop" } };
+      }
+    }
+  };
+  const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
+  const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-model", dreamSkipInvalid: false });
+  assert.equal(result.ok, false, "strict mode rejects the batch");
+  assert.equal(result.error, "invalid decisions: 1 errors");
+  assert.equal(store.getById(b.id).archived, false, "nothing applied under strict rejection");
+  store.close();
+});
+
+test("issue#89: minIntervalMs throttles re-triggering regardless of run outcome", async () => {
+  const { store, service } = dreamSetup();
+  let runs = 0;
+  const dream = createDreamScheduler({
+    onRun: async () => { runs++; return { ok: false, error: "llm failed" }; },
+    thresholdCount: 1, thresholdChars: 0, delayMs: 0, minIntervalMs: 80,
+    logger: { warn: () => {} }
+  });
+  service.saveWithDedupe({ type: "project", title: "a", content: "x" });
+  assert.equal(dream.maybeSchedule(service), true, "first trigger scheduled");
+  await new Promise((r) => setTimeout(r, 20)); // delayMs 0 → run already dispatched and finished
+  assert.equal(runs, 1, "ran once");
+  assert.equal(dream.maybeSchedule(service), false, "inside the min interval, even after a failed run");
+  await new Promise((r) => setTimeout(r, 90));
+  assert.equal(dream.maybeSchedule(service), true, "interval elapsed → eligible again (baseline unmoved by failure)");
+  store.close();
+});

package/test/reasoning-effort.test.js

@@ -8,7 +8,7 @@
 import test from "node:test";
 import assert from "node:assert/strict";
 import { Config } from "../src/config.js";
-import { createDreamScheduler } from "../src/dream.js";
+import { createDreamScheduler, parseReceipt } from "../src/dream.js";
 import { runSleep } from "../src/dream/sleep.js";
 import { createStore } from "../src/store.js";
 import { createService } from "../src/service.js";
@@ -24,12 +24,20 @@ const embedder = {
 
 // ---------------------------------------------------------------- config schema
 
-test("issue#9: dreamMaxTokens accepts the widened 131072 cap and defaults to 4096", () => {
-  assert.equal(Config({}).dreamMaxTokens, 8192, "default unchanged");
+test("issue#9: dreamMaxTokens defaults to 32768 and accepts values up to 131072", () => {
+  assert.equal(Config({}).dreamMaxTokens, 32768, "default raised for thinking-model headroom");
   assert.equal(Config({ dreamMaxTokens: 131072 }).dreamMaxTokens, 131072, "new upper bound accepted");
   assert.equal(Config({ dreamMaxTokens: 65536 }).dreamMaxTokens, 65536, "intermediate value accepted");
 });
 
+test("issue#9: dreamMaxTokens clamps to [256, 131072], out-of-range values are rejected", () => {
+  assert.equal(Config({ dreamMaxTokens: 256 }).dreamMaxTokens, 256, "lower bound accepted");
+  assert.equal(Config({ dreamMaxTokens: 100000 }).dreamMaxTokens, 100000, "raised default tier accepted");
+  assert.throws(() => Config({ dreamMaxTokens: 255 }), "below min rejected");
+  assert.throws(() => Config({ dreamMaxTokens: 131073 }), "above max rejected");
+  assert.throws(() => Config({ dreamMaxTokens: 0 }), "zero rejected");
+});
+
 test("issue#9: reasoningEffort config defaults to none and rejects unknown values", () => {
   const cfg = Config({});
   assert.equal(cfg.dreamReasoningEffort, "none");
@@ -107,6 +115,63 @@ test("issue#9: dream forwards dreamReasoningEffort on both LLM calls", async ()
   store.close();
 });
 
+test("issue#9: dreamMaxTokens is forwarded as maxTokens on consolidation and summary calls", async () => {
+  const store = createStore(":memory:");
+  const service = createService({ store, mirror: null, config: {} });
+  const dream = createDreamScheduler({ onRun: () => Promise.resolve({ ok: true, skipped: true }) });
+  const { memory: a } = service.saveWithDedupe({ type: "project", title: "插件", content: "旧", importance: 3 });
+  const { memory: b } = service.saveWithDedupe({ type: "project", title: "插件2", content: "新细节", importance: 4 });
+  const captured = [];
+  const ctx = dreamCtx({
+    captured,
+    onConsolidation: () => JSON.stringify([
+      { action: "merge", ids: [a.id, b.id], keepSource: b.id, title: "插件总览", content: "合并内容", importance: 4 }
+    ])
+  });
+  const result = await dream.runDream(ctx, service, { dreamMaxTokens: 100000 });
+  assert.equal(result.ok, true);
+  assert.equal(captured.length, 2, "consolidation + summary both hit the LLM");
+  for (const options of captured) {
+    assert.equal(options.maxTokens, 100000, `raised budget forwarded on ${options.purpose}`);
+  }
+  store.close();
+});
+
+test("issue#9: thinking-model empty body (no text emitted, budget burnt on reasoning) fails as no json array", async () => {
+  const store = createStore(":memory:");
+  const service = createService({ store, mirror: null, config: {} });
+  service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" });
+  const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
+  const ctx = dreamCtx({ onConsolidation: () => "" }); // 思考型模型把预算烧光 → 无正文
+  const result = await dream.runDream(ctx, service, { dreamMaxTokens: 32768 });
+  assert.equal(result.ok, false, "empty body is a hard failure, never faked ok");
+  assert.match(result.error, /no json array/);
+  const run = store.listDreamRuns()[0];
+  assert.equal(run.status, "failed", "audit row records failed");
+  assert.match(run.error, /no json array/, "audit error_message carries the empty-body cause");
+  assert.equal(parseReceipt(run.receipt).status, "failed", "receipt records failed");
+  store.close();
+});
+
+test("legal empty decision list [] is a no-op success, not a failure", async () => {
+  // 真实模型在记忆无冗余时合法输出 []（CONSOLIDATION_PROMPT 允许"无问题无需输出"），
+  // 此前被 validateDecisions 判 failed → 审计表反复失败。现在应 ok:true、applied 0、
+  // 审计记 ok，且 summary 照常产出。
+  const store = createStore(":memory:");
+  const service = createService({ store, mirror: null, config: {} });
+  service.saveWithDedupe({ type: "project", title: "插件", content: "内容", importance: 3 });
+  const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
+  const ctx = dreamCtx({ onConsolidation: () => "[]" }); // 模型：无需合并
+  const result = await dream.runDream(ctx, service, { dreamMaxTokens: 32768 });
+  assert.equal(result.ok, true, "empty [] is a valid no-op, never failed");
+  assert.equal(result.applied, 0, "no decisions to apply");
+  assert.equal(result.summary, true, "summary still produced");
+  const run = store.listDreamRuns()[0];
+  assert.equal(run.status, "ok", "audit row records ok, not failed");
+  assert.equal(parseReceipt(run.receipt).status, "ok", "receipt records ok");
+  store.close();
+});
+
 test("issue#25: dreamProvider/dreamModel config wins over the agentDefaultModel route", async () => {
   const store = createStore(":memory:");
   const service = createService({ store, mirror: null, config: {} });

package/test/skip-invalid-restore.test.js

@@ -0,0 +1,260 @@
+// --- Issue #89 恢复功能的全量单测（v0.7.22）----------------------------------
+// v0.7.22 把 v0.6.9（Issue #26）的 skipInvalid 宽容校验路径原样搬回。核心行为
+// 契约：单条非法决策只跳过该条（记入 skipped、不 claim 任何 id），合法子集照常
+// 应用、run 记 degraded；但全局信号（update/create 上限、显式覆盖率下限）不受
+// 该开关影响、始终整单拒绝。以下测试逐条锁死恢复后的分支：非法动作按原因分类
+// 跳过（create/unknown/archived/summary/重复 claim/merge 参数/update 参数/
+// conflict 参数）、skipInvalid 与覆盖率下限/上限/allowCrossTypeMerge 的交互，
+// 以及 runDream 层"全非法仍 failed / 部分非法 degraded 如实进审计"。
+import test from "node:test";
+import assert from "node:assert/strict";
+import { validateDecisions, createDreamScheduler, parseReceipt } from "../src/dream.js";
+import { createStore } from "../src/store.js";
+import { createService } from "../src/service.js";
+import { mockCtx } from "./helpers/dream-mock.js";
+
+function dreamSetup() {
+  const store = createStore(":memory:");
+  const service = createService({ store, mirror: null, config: {} });
+  return { store, service };
+}
+
+// 合法记忆快照工厂：id 首字母作 type 前缀（p=preference / 其余 project），
+// created_at 默认 2020 年（保证 update 保护期检查放行）。
+function makeSnap(ids) {
+  return new Map(ids.map((id) => [
+    id,
+    {
+      id,
+      type: id.startsWith("p") ? "preference" : "project",
+      title: `标题${id}`,
+      content: `内容${id}`,
+      importance: 3,
+      archived: false,
+      forgotten: false,
+      created_at: "2020-01-01T00:00:00.000Z"
+    }
+  ]));
+}
+
+// ------------------------------------------------------------- 按原因逐条跳过
+
+test("validateDecisions skipInvalid: create with empty title is skipped; strict mode rejects it", () => {
+  const emptySnap = new Map(); // create 不 claim id：空快照下覆盖率恒 1
+  const decisions = [
+    { action: "create", title: "", content: "body", type: "pattern" },
+    { action: "create", title: "ok", content: "c", type: "pattern" }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, emptySnap, { skipInvalid: true });
+  assert.equal(ok, true, `valid create should survive, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 1);
+  assert.match(skipped[0].error, /create needs non-empty title/);
+  assert.deepEqual(decisions.map((d) => d.action), ["create"], "empty-title create spliced out");
+  assert.deepEqual(decisions[0].title, "ok");
+
+  const strict = validateDecisions([{ action: "create", title: "", content: "b", type: "pattern" }], emptySnap);
+  assert.equal(strict.ok, false, "strict mode hard-rejects a bad create");
+  assert.ok(strict.errors.some((e) => e.includes("create needs non-empty title")));
+});
+
+test("validateDecisions skipInvalid: unknown id, archived, and summary targets are skipped, valid siblings survive", () => {
+  const snap = new Map([
+    ...makeSnap(["b", "c"]),
+    ["arch", { id: "arch", type: "project", title: "旧arch", content: "x", importance: 3, archived: true, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }],
+    ["s", { id: "s", type: "summary", title: "总览", content: "y", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }]
+  ]);
+  const decisions = [
+    { action: "archive", ids: ["zzz"], reason: "gone" },
+    { action: "archive", ids: ["arch"], reason: "stale" },
+    { action: "archive", ids: ["s"], reason: "stale" },
+    { action: "archive", ids: ["b"], reason: "stale" },
+    { action: "archive", ids: ["c"], reason: "stale" }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, true, `valid archives should survive, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 3);
+  assert.match(skipped[0].error, /unknown id/);
+  assert.match(skipped[1].error, /archived or summary/);
+  assert.match(skipped[2].error, /archived or summary/);
+  // claimed = {b,c} = 2/4 = 50% 恰好过下限；arch/s 未 claim → 隐式 keep
+  assert.deepEqual(decisions.map((d) => d.action), ["archive", "archive", "keep", "keep"]);
+  assert.deepEqual(decisions[0].ids, ["b"]);
+});
+
+test("validateDecisions skipInvalid: a later decision re-claiming an already-claimed id is skipped, first survives", () => {
+  const snap = makeSnap(["a", "b", "c"]);
+  const decisions = [
+    { action: "merge", ids: ["a", "b"], keepSource: "a", title: "合并", content: "m", importance: 4 },
+    { action: "merge", ids: ["b", "c"], keepSource: "b", title: "合并2", content: "m2", importance: 4 }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, true, `first merge should survive, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 1);
+  assert.equal(skipped[0].index, 1);
+  assert.match(skipped[0].error, /claimed by multiple/);
+  // claimed = {a,b} = 2/3 = 67% 过下限；c 隐式 keep，绝不因重复 claim 双 keep
+  assert.deepEqual(decisions.map((d) => d.action), ["merge", "keep"]);
+  assert.deepEqual(decisions[0].ids, ["a", "b"]);
+});
+
+test("validateDecisions skipInvalid: merge with keepSource outside ids is skipped", () => {
+  const snap = makeSnap(["a", "b"]);
+  const decisions = [
+    { action: "merge", ids: ["a", "b"], keepSource: "zzz", title: "t", content: "c", importance: 4 },
+    { action: "archive", ids: ["a"], reason: "stale" }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, true, `valid archive should survive, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 1);
+  assert.match(skipped[0].error, /keepSource must be one of ids/);
+  assert.deepEqual(decisions.map((d) => d.action), ["archive", "keep"]);
+});
+
+test("validateDecisions skipInvalid: update targeting multiple ids / no change / summary / too-young memory is skipped", () => {
+  const now = Date.now();
+  const snap = new Map([
+    ...makeSnap(["a", "b"]),
+    ["s", { id: "s", type: "summary", title: "总览", content: "y", importance: 3, archived: false, forgotten: false, created_at: "2020-01-01T00:00:00.000Z" }],
+    ["y", { id: "y", type: "project", title: "Y", content: "新Y", importance: 3, archived: false, forgotten: false, created_at: new Date(now).toISOString() }]
+  ]);
+  const decisions = [
+    { action: "update", ids: ["a", "b"], content: "x" },
+    { action: "update", ids: ["a"], content: "内容a" },
+    { action: "update", ids: ["s"], content: "x" },
+    { action: "update", ids: ["y"], content: "x" },
+    { action: "update", ids: ["a"], content: "新A" },
+    { action: "update", ids: ["b"], content: "新B" }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, true, `valid updates should survive, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 4);
+  assert.match(skipped[0].error, /exactly one id/);
+  assert.match(skipped[1].error, /change at least one field/);
+  assert.match(skipped[2].error, /cannot update summary/);
+  assert.match(skipped[3].error, /too young/);
+  // claimed = {a,b} = 2/4 = 50% 过下限；s/y 隐式 keep
+  assert.deepEqual(decisions.map((d) => d.action), ["update", "update", "keep", "keep"]);
+});
+
+test("validateDecisions skipInvalid: conflict without a distinct winner/loser is skipped", () => {
+  const snap = makeSnap(["w", "l", "c"]);
+  const decisions = [
+    { action: "conflict", winner: "w", loser: "l" },
+    { action: "conflict", loser: "c" }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, true, `valid conflict should survive, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 1);
+  assert.match(skipped[0].error, /conflict needs distinct winner and loser/);
+  assert.deepEqual(decisions.map((d) => d.action), ["conflict", "keep"]);
+});
+
+// ------------------------------------------------------- skipInvalid 与全局闸门
+
+test("validateDecisions skipInvalid: valid subset below the coverage floor still rejects the whole batch", () => {
+  const snap = makeSnap(["p", "j", "x"]);
+  const decisions = [
+    { action: "archive", ids: ["p"], reason: "stale" },
+    { action: "merge", ids: ["p", "j"], keepSource: "p", title: "跨类型", content: "m", importance: 4 }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true });
+  assert.equal(ok, false, "skip does not bypass the coverage floor");
+  assert.equal(skipped.length, 1);
+  assert.ok(errors.some((e) => e.includes("coverage")), "coverage error present");
+  assert.equal(decisions.length, 2, "rejected batch left untouched (splice only on the success path)");
+});
+
+test("validateDecisions skipInvalid: updates skipped for other reasons do not count toward the update cap", () => {
+  const snap = makeSnap(["a", "b", "c", "d"]);
+  const decisions = [
+    { action: "update", ids: ["a"], content: "内容a" },
+    { action: "update", ids: ["b"], content: "内容b" },
+    { action: "update", ids: ["c"], content: "新C" },
+    { action: "archive", ids: ["d"], reason: "stale" }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true, maxUpdatePerRun: 2 });
+  assert.equal(ok, true, `cap counts survivors only, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 2);
+  // 3 条 update 输入 → 2 条跳过 → 幸存 1 条 ≤ cap 2；claimed {c,d} = 2/4 = 50%
+  assert.deepEqual(decisions.map((d) => d.action), ["update", "archive", "keep", "keep"]);
+});
+
+test("validateDecisions skipInvalid: creates skipped for other reasons do not count toward the create cap", () => {
+  const emptySnap = new Map();
+  const decisions = [];
+  for (let i = 0; i < 5; i++) decisions.push({ action: "create", title: `t${i}`, content: "c", type: "pattern" });
+  decisions.push({ action: "create", title: "", content: "x", type: "pattern" });
+  const { ok, errors, skipped } = validateDecisions(decisions, emptySnap, { skipInvalid: true, maxCreatePerRun: 5 });
+  assert.equal(ok, true, `cap counts survivors only, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 1);
+  assert.equal(decisions.length, 5, "only the 5 valid creates survive the cap");
+});
+
+test("validateDecisions skipInvalid + allowCrossTypeMerge compose: cross-type merge allowed, unrelated invalid entry still skipped", () => {
+  const snap = makeSnap(["p", "j", "b", "c"]);
+  const decisions = [
+    { action: "merge", ids: ["p", "j"], keepSource: "p", title: "合并", content: "m", importance: 4 },
+    { action: "archive", ids: ["zzz"], reason: "gone" }
+  ];
+  const { ok, errors, skipped } = validateDecisions(decisions, snap, { skipInvalid: true, allowCrossTypeMerge: true });
+  assert.equal(ok, true, `flag-enabled merge survives, got: ${errors.join("; ")}`);
+  assert.equal(skipped.length, 1);
+  assert.match(skipped[0].error, /unknown id/);
+  assert.deepEqual(decisions.map((d) => d.action), ["merge", "keep", "keep"]);
+});
+
+// ----------------------------------------------------------- runDream 层 e2e
+
+test("issue#89: with default skipInvalid on, an all-invalid batch still fails the run (nothing valid survives)", async () => {
+  const { store, service } = dreamSetup();
+  const a = service.saveWithDedupe({ type: "project", title: "旧A", content: "过时A" }).memory;
+  const b = service.saveWithDedupe({ type: "project", title: "旧B", content: "过时B" }).memory;
+  const pref = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" }).memory;
+  const pref2 = service.saveWithDedupe({ type: "preference", title: "语气", content: "轻松" }).memory;
+  const ctx = mockCtx({
+    onConsolidation: () => JSON.stringify([
+      { action: "merge", ids: [pref.id, a.id], keepSource: pref.id, title: "跨类型", content: "x", importance: 4 },
+      { action: "merge", ids: [pref2.id, b.id], keepSource: pref2.id, title: "跨类型2", content: "y", importance: 4 }
+    ])
+  });
+  const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
+  const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-model" });
+  assert.equal(result.ok, false, "all invalid → whole batch rejected, not silently kept");
+  assert.match(result.error, /invalid decisions/);
+  const run = store.listDreamRuns()[0];
+  assert.equal(run.status, "failed", "audit row marks failed, not degraded (nothing valid landed)");
+  assert.equal(parseReceipt(run.receipt).status, "failed", "receipt marks failed");
+  assert.equal(store.getById(a.id).archived, false, "nothing applied");
+  assert.equal(store.getById(b.id).archived, false, "nothing applied");
+  store.close();
+});
+
+test("issue#89: a partial-invalid run is marked degraded in the audit row and receipt", async () => {
+  const { store, service } = dreamSetup();
+  const a = service.saveWithDedupe({ type: "project", title: "旧A", content: "过时A" }).memory;
+  const b = service.saveWithDedupe({ type: "project", title: "旧B", content: "过时B" }).memory;
+  const pref = service.saveWithDedupe({ type: "preference", title: "语言", content: "中文" }).memory;
+  const c = service.saveWithDedupe({ type: "project", title: "旧C", content: "过时C" }).memory;
+  const warnings = [];
+  const ctx = {
+    ...mockCtx({
+      onConsolidation: () => JSON.stringify([
+        { action: "merge", ids: [pref.id, a.id], keepSource: pref.id, title: "跨类型", content: "x", importance: 4 },
+        { action: "archive", ids: [b.id], reason: "stale" },
+        { action: "archive", ids: [c.id], reason: "stale" }
+      ])
+    }),
+    logger: { warn: (m) => warnings.push(String(m)) }
+  };
+  const dream = createDreamScheduler({ thresholdCount: 1, thresholdChars: 0, delayMs: 0 });
+  const result = await dream.runDream(ctx, service, { dreamProvider: "mock", dreamModel: "mock-model" });
+  assert.equal(result.ok, true, "valid subset absorbed (ok for the baseline)");
+  assert.equal(result.status, "degraded", "run marked degraded, not faked ok");
+  const run = store.listDreamRuns()[0];
+  assert.equal(run.status, "degraded", "audit row records degraded, never ok");
+  assert.equal(parseReceipt(run.receipt).status, "degraded", "receipt records degraded");
+  assert.equal(store.getById(b.id).archived, true, "valid archive landed");
+  assert.equal(store.getById(pref.id).archived, false, "invalid merge did not touch its targets");
+  assert.ok(warnings.some((w) => w.includes("skipped") && w.includes("multiple types")), "skip reason logged");
+  store.close();
+});