@modusensus/dsh-mneme 0.5.0 → 0.5.2

package/lib/dream.js

@@ -1,817 +1,817 @@
-import { validateDecisions, applyDecisions } from "./dream/decisions.js";
-import { clusterMemories, findPotentialConflicts } from "./dream/clustering.js";
-import { createHash, randomUUID } from "node:crypto";
-export { validateDecisions, applyDecisions };
-
-
-// Extract the first JSON array from LLM output, tolerating markdown fences,
-// leading/trailing prose, and common wrapper noise. Returns an array or null.
-function extractJsonArray(text) {
-  if (typeof text !== "string" || text.trim().length === 0) return null;
-
-  // 1. Strip markdown code fences (```json ... ``` or ``` ... ```).
-  let cleaned = text.replace(/```(?:json)?\s*([\s\S]*?)```/gi, "$1");
-  cleaned = cleaned.trim();
-
-  // 2. Find the first '[' and the matching last ']' that yields valid JSON.
-  const start = cleaned.indexOf("[");
-  if (start === -1) return null;
-  for (let end = cleaned.lastIndexOf("]"); end > start; end = cleaned.lastIndexOf("]", end - 1)) {
-    const candidate = cleaned.slice(start, end + 1);
-    try {
-      return JSON.parse(candidate);
-    } catch {
-      // Light repair: remove trailing commas before ] or }.
-      try {
-        const repaired = candidate.replace(/,(\s*[}\]])/g, "$1");
-        return JSON.parse(repaired);
-      } catch {
-        // keep searching backwards
-      }
-    }
-  }
-
-  // 3. Fallback: a broader regex extraction.
-  try {
-    const match = cleaned.match(/\[[\s\S]*\]/);
-    if (match) return JSON.parse(match[0]);
-  } catch {
-    // fall through
-  }
-  return null;
-}
-const SUMMARY_PROMPT = `你是记忆库摘要助手。根据整理后的记忆，生成一段 150-200 字的记忆库总览，覆盖：用户偏好、活跃项目、关键决策。之后作为会话上下文注入。只输出摘要文本，不要其他内容。`;
-
-const CONSOLIDATION_PROMPT = `你是记忆库整理助手。下面是全部记忆条目（id、类型、标题、内容、重要性、更新时间）。
-请执行记忆巩固（consolidation），输出一个决策 JSON 数组。
-
-【决策格式（必须严格遵守）】
-每个决策必须是对象，字段固定：
-- "action"：必填。取值只能是 "keep" / "merge" / "archive" / "update" / "conflict" 之一（字段名必须是 action，严禁写成 type）
-- "ids"：必填，数组，本决策涉及的记忆 id 列表
-- "reason"：可选，字符串，决策理由
-- "importance"：可选，整数 1-5
-- merge 额外字段："keepSource"（单个 id 字符串，必须是 ids 之一）+ 合并后的 "title"、"content"
-- conflict 额外字段："winner" 与 "loser"，都是【单个 id 字符串，不是数组】
-- update 额外字段：修正后的 "title" 和/或 "content"；"ids" 只能包含一个 id
-
-【决策 JSON 示例】
-[
-  { "action": "merge", "ids": ["m1", "m2"], "keepSource": "m1", "title": "合并标题", "content": "合并后的摘要内容", "importance": 4, "reason": "主题相近" },
-  { "action": "conflict", "winner": "m3", "loser": "m4", "reason": "内容矛盾，保留更新的信息" },
-  { "action": "update", "ids": ["m5"], "content": "修正后的内容", "reason": "信息过时" },
-  { "action": "archive", "ids": ["m6"], "reason": "重复或过时" }
-]
-
-【任务】
-1. 识别主题相近的条目 → merge（合并为更精炼的摘要，保留信息最完整的 id 作为 keepSource）
-2. 识别重复/过时信息 → archive
-3. 识别内容矛盾的条目 → conflict（按时间新旧、来源完整性、信息具体程度判断 winner/loser）
-4. 发现单条记忆中的信息过时、错误或遗漏 → update（直接修正内容）
-   - update 的 ids 只能包含一个 id
-   - 必须提供修正后的 title 和/或 content
-   - 仅当内容确实需要修正时才使用，不要滥用
-   - 每次整理最多输出 2 个 update
-   - 24 小时内新建的记忆不可 update
-5. 无问题的条目无需输出（未提及的条目将自动保留 keep）
-
-【硬性规则】
-- 字段名必须精确为 "action"，严禁写成 "type"；字段名统一用双引号
-- conflict 的 winner/loser、merge 的 keepSource 都是【单个 id 字符串，绝不是数组】
-- 每条记忆最多被 claim 一次：同一个 id 不能出现在多个决策中（同一 id 不能被 merge 和 conflict/archive 等重复占用）
-- 未在决策中提及的记忆将自动保留（keep），无需为每条记忆输出 keep
-- merge 的 keepSource 必须是 ids 之一
-- 仅合并同类型条目（type 相同）
-- 不要编造 ids；只使用提供的 id
-- 重要性 1-5，合并后取最高
-- 只输出 JSON 数组，不要其他文字`;
-
-function totalChars(memories) {
-  return memories.reduce((sum, m) => sum + (m.title?.length ?? 0) + (m.content?.length ?? 0), 0);
-}
-
-// ---------------------------------------------------------------- audit
-
-/**
- * Canonical digest of the consolidation input snapshot. Built from stable
- * fields sorted by id, so identical inputs always yield the same hash — the
- * basis for replaying/verifying a recorded decision (receipt check).
- */
-export function hashSnapshot(memories) {
-  const canon = memories
-    .map((m) => [m.id, m.type, m.title, m.content, m.importance, m.updated_at])
-    .sort((a, b) => (a[0] < b[0] ? -1 : a[0] > b[0] ? 1 : 0))
-    .map((parts) => parts.map((p) => String(p ?? "")).join("\u0001"))
-    .join("\u0002");
-  return createHash("sha256").update(canon).digest("hex");
-}
-
-/**
- * Compact machine-verifiable receipt for one autoDream run. Format:
- *   dsh-mneme:run:<runId>:<status>:<snapshotHash(12)>:<inputCount>:<applied>:<summaryFlag>
- * Enough to correlate a run with its persisted audit row and to spot silent
- * drift (same snapshot hash + same decisions must reproduce the same outcome).
- */
-export function buildReceipt({ runId, status, snapshotHash, inputCount, applied, summaryStored }) {
-  return `dsh-mneme:run:${runId}:${status}:${snapshotHash.slice(0, 12)}:${inputCount}:${applied}:${summaryStored ? 1 : 0}`;
-}
-
-/**
- * Parse a receipt back into fields; returns undefined for malformed input.
- */
-export function parseReceipt(receipt) {
-  if (typeof receipt !== "string") return undefined;
-  const parts = receipt.split(":");
-  if (parts.length !== 8 || parts[0] !== "dsh-mneme" || parts[1] !== "run") return undefined;
-  const [, , runId, status, snapshotHash, inputCount, applied, summaryStored] = parts;
-  // reconcile = decisions validated but one or more did not commit (CAS
-  // conflict / transaction rollback) — the store diverges from the decision
-  // list and the run must be reconciled, never reported as a fake ok.
-  if (!runId || !/^(ok|noop|degraded|reconcile|failed)$/.test(status)) return undefined;
-  const count = Number(inputCount);
-  const appliedN = Number(applied);
-  if (!Number.isInteger(count) || !Number.isInteger(appliedN)) return undefined;
-  return { runId, status, snapshotHash, inputCount: count, applied: appliedN, summaryStored: summaryStored === "1" };
-}
-
-/**
- * Derive the per-id disposition (keep / merge-keep / merge-archived /
- * archived / conflict-winner / conflict-archived) from a validated decision
- * list. Stored in the audit row so a run can be replayed without re-running
- * the LLM.
- */
-export function buildOutcome(decisions) {
-  const byId = {};
-  for (const d of decisions ?? []) {
-    if (d.action === "keep") {
-      for (const id of d.ids) byId[id] = "keep";
-    } else if (d.action === "archive") {
-      for (const id of d.ids) byId[id] = "archived";
-    } else if (d.action === "merge") {
-      for (const id of d.ids) byId[id] = id === d.keepSource ? "merge-keep" : "merge-archived";
-    } else if (d.action === "conflict") {
-      byId[d.winner] = "conflict-winner";
-      byId[d.loser] = "conflict-archived";
-    } else if (d.action === "update") {
-      for (const id of d.ids) byId[id] = "updated";
-    }
-  }
-  return { byId };
-}
-
-/**
- * Content-addressed digest of the memories a verdict was decided against
- * (id + title + content + importance), sorted by id so identical inputs always
- * hash the same. This is the per-record "判定依据" fingerprint: a receipt whose
- * digest cannot be reproduced from the involved memories is a bare claim, and a
- * digest match with a divergent outcome pinpoints drift to the exact record.
- */
-export function hashDecisionInput(memories) {
-  const canon = (memories ?? [])
-    .map((m) => [m.id, m.title, m.content, m.importance])
-    .sort((a, b) => (a[0] < b[0] ? -1 : a[0] > b[0] ? 1 : 0))
-    .map((p) => p.map((x) => String(x ?? "")).join("
"))
-    .join("");
-  return createHash("sha256").update(canon).digest("hex");
-}
-
-/**
- * Build the per-record receipts for a run's actually-committed mutable verdicts
- * (merge/conflict/update) — one row per verdict in the receipt_chain. Inputs
- * are drawn from the run snapshot (what the LLM actually arbitrated against),
- * and the idempotency counters count_before → count_after come from the
- * committed sub-step, so replaying the same decision must reproduce the same
- * numbers. verdict starts "live"; a later policy_epoch upgrade will batch-mark
- * older verdicts "historical" (a receipt_chain rewrite driven by the store's
- * getLatestPolicyEpoch — out of scope for this pass), while "revoked" is
- * reserved for verdicts later overturned by an explicit human decision.
- */
-function buildRecordReceipts({ runId, committed, snapshot, policyEpoch }) {
-  const at = (id) => snapshot?.get?.(id);
-  const receipts = [];
-  for (const c of committed ?? []) {
-    const base = {
-      run_id: runId,
-      verdict: "live",
-      count_before: c.count_before,
-      count_after: c.count_after,
-      policy_epoch: policyEpoch,
-      created_at: new Date().toISOString()
-    };
-    if (c.action === "merge") {
-      receipts.push({
-        ...base,
-        receipt_id: randomUUID(),
-        record_id: c.keepSource,
-        kind: "merge",
-        input_digest: hashDecisionInput((c.ids ?? []).map(at).filter(Boolean)),
-        keep_source: c.keepSource,
-        sources: c.ids
-      });
-    } else if (c.action === "conflict") {
-      receipts.push({
-        ...base,
-        receipt_id: randomUUID(),
-        record_id: c.winner,
-        kind: "conflict",
-        input_digest: hashDecisionInput([at(c.winner), at(c.loser)].filter(Boolean)),
-        winner_id: c.winner,
-        loser_id: c.loser
-      });
-    } else if (c.action === "update") {
-      receipts.push({
-        ...base,
-        receipt_id: randomUUID(),
-        record_id: c.ids[0],
-        kind: "update",
-        input_digest: hashDecisionInput([at(c.ids[0])].filter(Boolean))
-      });
-    }
-  }
-  return receipts;
-}
-
-/**
- * Consume an LLM stream and return the accumulated text. Direct text-delta
- * accumulation covers both the real protocol ({type:"text-delta", index, text})
- * and looser test doubles ({type:"text-delta", text}); a terminal error/abort
- * surfaces as undefined. The caller decides how to treat an empty result.
- * `onUsage` (optional, Bug8) receives any usage chunk for token accounting.
- */
-async function streamText(ctx, options, onUsage) {
-  let text = "";
-  for await (const chunk of ctx.llm.stream(options)) {
-    if (chunk.type === "text-delta" && typeof chunk.text === "string") text += chunk.text;
-    if (chunk.type === "usage" && typeof onUsage === "function") onUsage(chunk);
-    if (chunk.type === "finish" && (chunk.reason?.kind === "error" || chunk.reason?.kind === "aborted")) {
-      return undefined;
-    }
-  }
-  return text;
-}
-
-/**
- * Bug8: wrap a background LLM call so its token/time/status are recorded in the
- * llm_audit_logs table. Best-effort bookkeeping: a failure to WRITE the audit
- * row is swallowed (never blocks the LLM call), while a failure of the call
- * itself is captured as status='error' and re-thrown so the caller keeps its
- * existing error path. `spec` carries the static metadata (trigger_source,
- * operation_type, model_id, related_memory_ids); `body(reportUsage)` performs
- * the actual stream consumption and is handed a usage reporter for the chunks.
- */
-async function runAuditedLlm(ctx, service, config, spec, body) {
-  const audit = config?.llmAudit;
-  if (audit?.enabled === false || typeof service?.saveLlmAudit !== "function") return body(() => {});
-  const startedAt = Date.now();
-  const timestamp = new Date(startedAt).toISOString();
-  let inputTokens = 0;
-  let outputTokens = 0;
-  let status = "success";
-  let errorMessage = null;
-  let result;
-  try {
-    result = await body((usage) => {
-      if (!usage) return;
-      const i = usage.input_tokens ?? usage.inputTokens ?? usage.prompt_tokens ?? usage.promptTokens;
-      const o = usage.output_tokens ?? usage.outputTokens ?? usage.completion_tokens ?? usage.completionTokens;
-      if (Number.isFinite(i)) inputTokens = i;
-      if (Number.isFinite(o)) outputTokens = o;
-    });
-    if (result === undefined) {
-      // stream aborted/errored: the caller treats undefined as a failed run;
-      // record it as error here so the audit shows the truth.
-      status = "error";
-      errorMessage = errorMessage ?? "llm stream aborted or errored";
-    }
-    return result;
-  } catch (error) {
-    status = "error";
-    errorMessage = String(error?.message ?? error);
-    throw error;
-  } finally {
-    try {
-      service.saveLlmAudit({
-        timestamp,
-        trigger_source: spec.triggerSource,
-        operation_type: spec.operationType,
-        model_id: spec.modelId,
-        input_tokens: inputTokens,
-        output_tokens: outputTokens,
-        total_tokens: inputTokens + outputTokens,
-        cost_usd: 0,
-        duration_ms: Date.now() - startedAt,
-        status,
-        error_message: errorMessage,
-        related_memory_ids: spec.relatedMemoryIds ?? []
-      });
-    } catch (auditError) {
-      ctx.logger?.warn?.(`dsh-mneme: llm audit write failed: ${String(auditError)}`);
-    }
-  }
-}
-
-/**
- * Resolve the LLM route: agent default model (deployment) first, plugin config
- * (dreamProvider/dreamModel) as fallback. Falls through to undefined when no
- * route exists — runDream then fails safe. Fallback is logged so a silent
- * route switch is observable.
- */
-function resolveRoute(ctx, config, logger) {
-  try {
-    const sel = ctx.agentDefaultModel?.currentSelection?.();
-    if (sel?.provider && sel?.model) return { provider: sel.provider, model: sel.model };
-    logger?.warn?.("dsh-mneme dream: agentDefaultModel unavailable, falling back to config route");
-  } catch (error) {
-    logger?.warn?.(`dsh-mneme dream: agentDefaultModel lookup failed, falling back to config route: ${String(error)}`);
-  }
-  if (config.dreamProvider && config.dreamModel) return { provider: config.dreamProvider, model: config.dreamModel };
-  return undefined;
-}
-
-// ------------------------------------------------------- semantic enhancement
-// Best-effort: any failure here degrades to plain consolidation. The dream
-// path must never be broken by an unavailable embedder/index.
-
-/** Backfill + return vectors for every memory; null when impossible. */
-async function collectVectors(memories, semantic) {
-  const { embedder, vectorIndex } = semantic;
-  if (!embedder || !vectorIndex || typeof embedder.embedSingle !== "function") return null;
-  const vectors = new Array(memories.length);
-  const missing = [];
-  for (let i = 0; i < memories.length; i++) {
-    const cached = vectorIndex.getEmbedding?.(memories[i].id);
-    if (cached) vectors[i] = cached;
-    else missing.push(i);
-  }
-  if (missing.length) {
-    const texts = missing.map((i) => [memories[i].title, memories[i].content].filter(Boolean).join("\n"));
-    const rows = await embedder.embed(texts);
-    missing.forEach((mi, j) => {
-      if (rows[j]?.length) {
-        vectors[mi] = rows[j];
-        vectorIndex.saveEmbedding(memories[mi].id, rows[j]);
-      }
-    });
-  }
-  return vectors.some((v) => !v) ? null : vectors;
-}
-
-/**
- * Rebuild the vector index after dream decisions so the store and the index
- * stay in sync: merged-away/archived/conflict-loser rows lose their vectors,
- * the merge keeper gets a fresh one.
- */
-async function maintainIndexAfterDream(decisions, service, semantic) {
-  const { embedder, vectorIndex } = semantic;
-  if (!embedder || !vectorIndex || typeof embedder.embedSingle !== "function") return;
-  const rebuild = new Map();
-  for (const d of decisions ?? []) {
-    if (d.action === "merge") {
-      for (const id of d.ids ?? []) {
-        if (id !== d.keepSource) vectorIndex.deleteEmbedding(id);
-      }
-      if (d.keepSource) {
-        const keeper = service.getById(d.keepSource);
-        if (keeper) rebuild.set(keeper.id, [keeper.title, keeper.content].filter(Boolean).join("\n"));
-      }
-    } else if (d.action === "archive" || d.action === "conflict") {
-      for (const id of d.ids ?? [d.loser]) vectorIndex.deleteEmbedding(id);
-    } else if (d.action === "update") {
-      const id = d.ids[0];
-      const mem = service.getById(id);
-      if (mem) {
-        vectorIndex.deleteEmbedding(id);
-        try {
-          const text = [mem.title, mem.content].filter(Boolean).join("\n");
-          const v = await embedder.embedSingle(text);
-          if (v?.length) vectorIndex.saveEmbedding(id, v);
-        } catch { /* best-effort */ }
-      }
-    }
-  }
-  for (const [id, text] of rebuild) {
-    try {
-      const v = await embedder.embedSingle(text);
-      if (v?.length) vectorIndex.saveEmbedding(id, v);
-    } catch { /* best-effort */ }
-  }
-  if (embedder.modelHash) vectorIndex.markModel?.(embedder.modelHash, embedder.dimension);
-}
-
-export function createDreamScheduler({ onRun, thresholdCount = 10, thresholdChars = 5000, delayMs = 2000, logger, semantic = null }) {
-  let pendingTimer = null;
-  let running = false;
-  let disposed = false;
-  let baseline = { count: 0, chars: 0 };
-  let inFlight = null;
-
-  function shouldTrigger(service) {
-    const memories = service.all().filter((m) => !m.archived && m.type !== "summary");
-    const count = memories.length;
-    const chars = totalChars(memories);
-    const overBase = count >= baseline.count + thresholdCount || chars >= baseline.chars + thresholdChars;
-    const overAbs = count >= thresholdCount || chars >= thresholdChars;
-    return { trigger: overAbs && overBase, count, chars };
-  }
-
-  function maybeSchedule(service) {
-    if (disposed || running || pendingTimer) return false;
-    const { trigger, count, chars } = shouldTrigger(service);
-    if (!trigger) return false;
-    pendingTimer = setTimeout(() => {
-      pendingTimer = null;
-      running = true;
-      // Defer the onRun invocation so a synchronous throw cannot escape the
-      // timer callback (which would crash the process) and skip the teardown.
-      // Errors are logged, never swallowed silently. inFlight lets dispose()
-      // await the running consolidation before the caller closes the store.
-      inFlight = Promise.resolve()
-        .then(() => (onRun ? onRun() : Promise.resolve({ ok: true, skipped: true })))
-        .then((result) => {
-          // Refresh the baseline only for a successful run (design §5.3: an
-          // LLM failure must not move the baseline, so the next write can
-          // immediately re-trigger a retry). A `{ok:false}` result or a throw
-          // keeps the old baseline. A run that reports nothing is treated as
-          // completed without failure (no-op hooks / minimal test doubles).
-          if (result && result.ok) {
-            try {
-              baseline = shouldTrigger(service);
-            } catch (error) {
-              // Store closed mid-flight: keep the last known baseline.
-              logger?.warn?.(`dsh-mneme dream: baseline refresh failed: ${String(error)}`);
-            }
-          }
-        })
-        .catch((error) => {
-          logger?.warn?.(`dsh-mneme dream: run failed: ${error?.message ?? error}`);
-          // Failed runs do not refresh the baseline.
-        })
-        .finally(() => {
-          running = false;
-          inFlight = null;
-        });
-    }, delayMs);
-    return true;
-  }
-
-  async function dispose() {
-    disposed = true;
-    if (pendingTimer) { clearTimeout(pendingTimer); pendingTimer = null; }
-    // An in-flight run is left to complete naturally (its LLM calls are
-    // already paid for and aborting would discard the work). Await it so the
-    // caller can close the store only after every write has landed.
-    if (inFlight) await inFlight.catch(() => {});
-  }
-
-  async function runDream(ctx, service, config) {
-    const logger = ctx.logger;
-    let memories = service.all().filter((m) => !m.archived && m.type !== "summary");
-    if (memories.length === 0) return { ok: true, applied: 0, skipped: true, summary: false };
-    // v0.4.4 滑动窗口：只 consolidation 最近 dreamMaxSnapshotSize 条记忆，
-    // 窗口外的旧记忆不进 snapshot（大记忆量下全量快照会撑爆 LLM 输入，配合
-    // 隐式 keep 让 run 始终可收敛）。按 updated_at 倒序取前 maxSize 条。
-    const maxSize = Number.isInteger(config.dreamMaxSnapshotSize) ? config.dreamMaxSnapshotSize : 200;
-    memories = [...memories]
-      .sort((a, b) => {
-        const ta = String(a.updated_at ?? "");
-        const tb = String(b.updated_at ?? "");
-        if (ta < tb) return 1;
-        if (ta > tb) return -1;
-        return a.id < b.id ? -1 : a.id > b.id ? 1 : 0;
-      })
-      .slice(0, Math.max(1, maxSize));
-    const snapshot = new Map(memories.map((m) => [m.id, m]));
-    const route = resolveRoute(ctx, config, logger);
-    const runId = randomUUID();
-    const snapshotHash = hashSnapshot([...snapshot.values()]);
-    // Conflict freeze (opt-in): when enabled, conflict decisions are parked for
-    // manual review instead of auto-adjudicated. Read once up front so the
-    // prompt hint and the apply-split agree on the same gate.
-    const freezeEnabled = config.conflictFreezeEnabled === true;
-    // Every exit (success or failure) funnels through `finish`, which writes
-    // the audit row + receipt. A record failure is logged, never thrown —
-    // auditing must not break the consolidation path. Failed runs still
-    // capture their decisions/outcome when the LLM produced a validated list
-    // (e.g. summary step failed after consolidation), so the partial write is
-    // replayable too.
-    const finish = (result) => {
-      // status is derived from what actually committed: ok only when the full
-      // decision list landed (or a summary was refreshed); noop when nothing
-      // changed; degraded when real changes landed without a summary;
-      // reconcile when decisions were validated but some did not commit (CAS
-      // conflict / rollback); failed on any LLM/validation error. No fake "ok"
-      // for an empty or partial run.
-      const status = result.status ?? (result.ok ? "ok" : "failed");
-      const applied = result.applied ?? 0;
-      const summaryStored = result.summary ?? false;
-      const receipt = buildReceipt({ runId, status, snapshotHash, inputCount: snapshot.size, applied, summaryStored });
-      try {
-        service.saveDreamRun({
-          id: runId,
-          status,
-          error: result.error,
-          provider: route?.provider,
-          model: route?.model,
-          snapshot_hash: snapshotHash,
-          input_count: snapshot.size,
-          // 裁决规则版本号：config.policyEpoch（默认 0）。规则升级后该行保留
-          // 当时的 epoch，旧裁决据此降级为历史证据（store 层 getLatestPolicyEpoch
-          // 只负责读取当前生效版本，写入由这里完成）。
-          policy_epoch: config.policyEpoch ?? 0,
-          // Full input snapshot (canonical fields) so the exact arbitration
-          // input can be rebuilt offline from the audit row alone — the
-          // digest + decisions + outcome triple makes silent errors locatable
-          // even after the store has moved on.
-          input: [...snapshot.values()].map((m) => ({
-            id: m.id,
-            type: m.type,
-            title: m.title,
-            content: m.content,
-            importance: m.importance,
-            updated_at: m.updated_at
-          })),
-          decisions: result.decisions,
-          outcome: result.outcome,
-          applied,
-          summary_stored: summaryStored,
-          receipt
-        });
-      } catch (error) {
-        logger?.warn?.(`dsh-mneme dream: failed to record audit run: ${String(error)}`);
-      }
-      return { ...result, runId, receipt, snapshotHash };
-    };
-    if (!route) {
-      logger?.warn?.("dsh-mneme dream: no llm route available");
-      return finish({ ok: false, error: "no llm route", summary: false });
-    }
-
-    let listText;
-    if (semantic?.embedder && semantic?.vectorIndex) {
-      try {
-        const vectors = await collectVectors(memories, semantic);
-        if (vectors) {
-          const k = Math.min(10, Math.max(1, Math.floor(Math.sqrt(memories.length / 2))));
-          const clusters = clusterMemories(memories, vectors, k);
-          const conflicts = findPotentialConflicts(memories, vectors, 0.85);
-          const conflictIds = new Set(conflicts.flatMap((c) => [c.a.id, c.b.id]));
-          const parts = [];
-          clusters.forEach((cluster, ci) => {
-            parts.push(`# 聚类 ${ci + 1}`);
-            for (const m of cluster) {
-              parts.push(
-                `id=${m.id} | type=${m.type} | importance=${m.importance} | updated=${m.updated_at} | title=${m.title} | content=${m.content}` +
-                (conflictIds.has(m.id) ? " | [潜在冲突]" : "")
-              );
-            }
-          });
-          listText = parts.join("\n");
-          logger?.info?.(`[dsh-mneme] dream semantic pre-group: ${clusters.length} clusters, ${conflicts.length} conflict pairs`);
-        }
-      } catch (error) {
-        logger?.warn?.(`[dsh-mneme] dream semantic pre-group failed: ${String(error)}`);
-      }
-    }
-    if (!listText) {
-      listText = [...snapshot.values()].map((m) =>
-        `id=${m.id} | type=${m.type} | importance=${m.importance} | updated=${m.updated_at} | title=${m.title} | content=${m.content}`
-      ).join("\n");
-    }
-
-    // Freeze-aware prompt: in freeze mode the conflict branch still outputs
-    // winner/loser (validation requires them) but they are treated as tentative
-    // candidates — the human makes the final call, not the model.
-    const consolidationPrompt = freezeEnabled
-      ? CONSOLIDATION_PROMPT + `\n\n当前为「冲突冻结」模式：检测到内容矛盾的条目时，仍请输出 conflict，并以 winner/loser 作为候选、reason 说明理由；冲突不会被自动裁决，而会冻结待人工确认。`
-      : CONSOLIDATION_PROMPT;
-    let decisionText;
-    try {
-      // Bug8: the consolidation call is audited (tokens/time/status). A throw
-      // re-propagates to the catch below; an aborted stream returns undefined
-      // and is treated as a failed run after the check below.
-      decisionText = await runAuditedLlm(ctx, service, config, {
-        triggerSource: "autoDream",
-        operationType: "dream_consolidate",
-        modelId: `${route.provider}:${route.model}`,
-        relatedMemoryIds: [...snapshot.keys()]
-      }, (reportUsage) => streamText(ctx, {
-        provider: route.provider,
-        model: route.model,
-        purpose: "compaction",
-        maxTokens: config.dreamMaxTokens ?? 4096,
-        ...(config.dreamReasoningEffort && config.dreamReasoningEffort !== "none"
-          ? { reasoningEffort: config.dreamReasoningEffort }
-          : {}),
-        messages: [
-          { role: "system", content: [{ type: "text", text: consolidationPrompt }] },
-          { role: "user", content: [{ type: "text", text: listText }] }
-        ]
-      }, reportUsage));
-    } catch (error) {
-      logger?.warn?.(`dsh-mneme dream: consolidation llm call failed: ${String(error)}`);
-      return finish({ ok: false, error: "llm failed", summary: false });
-    }
-    if (decisionText === undefined) {
-      logger?.warn?.("dsh-mneme dream: consolidation llm stream aborted or errored");
-      return finish({ ok: false, error: "llm failed", summary: false });
-    }
-
-    const decisions = extractJsonArray(decisionText);
-    if (!Array.isArray(decisions)) {
-      logger?.warn?.(`dsh-mneme dream: no json array in llm output (raw length ${decisionText?.length ?? 0})`);
-      return finish({ ok: false, error: "no json array in llm output", summary: false });
-    }
-    const { ok, errors } = validateDecisions(decisions, snapshot, {
-      maxUpdatePerRun: config.reflectionUpdateMaxPerRun,
-      minAgeHours: config.reflectionUpdateMinAgeHours,
-      // v0.4.4 fix：显式透传，用户配 dreamImplicitKeep:false 时严格模式必须
-      // 真正生效，dreamMinExplicitCoverage 决定隐式 keep 下的覆盖率下限。
-      dreamImplicitKeep: config.dreamImplicitKeep,
-      dreamMinExplicitCoverage: config.dreamMinExplicitCoverage
-    });
-    if (!ok) {
-      logger?.warn?.(`dsh-mneme dream: invalid decisions: ${errors.join("; ")}`);
-      return finish({ ok: false, error: `invalid decisions: ${errors.length} errors`, summary: false });
-    }
-
-    // Capture pre-update snapshots so the audit records what each update changed.
-    const updateSnapshots = {};
-    for (const d of decisions) {
-      if (d.action === "update") {
-        const mem = snapshot.get(d.ids[0]);
-        if (mem) updateSnapshots[d.ids[0]] = { title: mem.title, content: mem.content, importance: mem.importance };
-      }
-    }
-
-    // Conflict freeze (opt-in): when enabled, conflict decisions are not
-    // auto-adjudicated — no winner kept, no loser archived. The pair is parked
-    // in conflict_pending for human review instead. Best-effort: a store
-    // failure here must never block the run (fail-safe — the memories are left
-    // untouched and nothing is arbitrated). The cap (conflictFreezeMaxPending)
-    // bounds the review queue; overflow is skipped with a warning.
-    let frozenCount = 0;
-    const frozenIds = [];
-    const applyList = freezeEnabled ? decisions.filter((d) => d.action !== "conflict") : decisions;
-    if (freezeEnabled) {
-      const conflictsToFreeze = decisions.filter((d) => d.action === "conflict");
-      if (conflictsToFreeze.length > 0) {
-        try {
-          const maxPending = Number.isInteger(config.conflictFreezeMaxPending) ? config.conflictFreezeMaxPending : 100;
-          const pendingNow = service.countConflictPending();
-          const budget = Math.max(0, maxPending - pendingNow);
-          const toFreeze = conflictsToFreeze.slice(0, budget);
-          if (conflictsToFreeze.length > budget) {
-            logger?.warn?.(`dsh-mneme dream: conflict freeze queue full (${pendingNow}/${maxPending}), skipped ${conflictsToFreeze.length - budget} conflict(s)`);
-          }
-          for (const d of toFreeze) {
-            try {
-              service.saveConflictPending({ run_id: runId, memory_a: d.winner, memory_b: d.loser, reason: d.reason });
-              frozenCount++;
-              frozenIds.push(d.winner, d.loser);
-            } catch (error) {
-              logger?.warn?.(`dsh-mneme dream: failed to freeze conflict ${d.winner}/${d.loser}: ${String(error)}`);
-            }
-          }
-        } catch (error) {
-          logger?.warn?.(`dsh-mneme dream: conflict freeze lookup failed: ${String(error)}`);
-        }
-      }
-    }
-
-    // CAS-guarded, per-decision-transactional apply against the run snapshot:
-    // a target changed during the LLM call is skipped and reported as a
-    // conflict instead of being overwritten (item ①). Frozen conflicts are
-    // excluded from this list (they are parked, not applied).
-    const { applied, conflicts, failures, committed } = applyDecisions(applyList, service, logger, snapshot, config);
-    // Per-record receipt chain: one row per actually-committed merge/conflict/
-    // update verdict, stamped with the decision-basis digest + idempotency
-    // counters (count_before → count_after). Written here, before the run audit
-    // row, so the verdict trail always precedes the run trail it belongs to.
-    // Bookkeeping: a write failure is logged and swallowed — it must never
-    // block the consolidation flow.
-    try {
-      for (const r of buildRecordReceipts({ runId, committed, snapshot, policyEpoch: config.policyEpoch ?? 0 })) {
-        service.saveReceipt(r);
-      }
-    } catch (error) {
-      logger?.warn?.(`dsh-mneme dream: failed to write per-record receipt: ${String(error)}`);
-    }
-    // Attach the pre-update snapshot to the audit copy of each update decision
-    // so the recorded row shows the before/after delta, not just the target.
-    const auditDecisions = decisions.map((d) =>
-      d.action === "update" && updateSnapshots[d.ids[0]]
-        ? { ...d, _before: updateSnapshots[d.ids[0]] }
-        : d
-    );
-    // Outcome is derived from the ACTUALLY committed sub-steps, never from the
-    // raw LLM decision list — a merge whose archive step rolled back must not
-    // claim "merge-archived" (item ②). Conflicts/failures ride along so the
-    // audit row records why the run diverged.
-    const outcome = { ...buildOutcome(committed), conflicts, failures };
-    // Frozen conflicts were not adjudicated: mark both sides pending in the
-    // per-id outcome so the audit row shows they were parked, not skipped.
-    if (frozenIds.length) {
-      for (const id of frozenIds) outcome.byId[id] = "conflict-pending";
-    }
-    // Decisions validated but not fully committed → reconcile (not ok).
-    const partial = conflicts.length > 0 || failures.length > 0;
-    // No decision landed (all-keep, or every decision skipped as an idempotent
-    // replay) → nothing substantive changed. Distinct from a success: such a
-    // run must never be reported as ok, or the audit claims work that never
-    // happened and the scheduler refreshes the baseline on a false positive.
-    // Frozen conflicts are substantive output (parked for review), so a run
-    // that only froze conflicts is not a noop.
-    const noChange = frozenCount === 0 && applied === 0 && committed.every((c) => c.action === "keep");
-
-    // Keep the vector index consistent with the post-dream store state.
-    if (semantic?.embedder && semantic?.vectorIndex) {
-      try {
-        await maintainIndexAfterDream(applyList, service, semantic);
-      } catch (error) {
-        logger?.warn?.(`[dsh-mneme] dream index maintenance failed: ${String(error)}`);
-      }
-    }
-
-    // Summary generation (second LLM call). A throwing stream is reported as
-    // a failed run; summary:false marks a run that produced no summary.
-    let summaryText;
-    try {
-      // Bug8: the summary call is audited too (operation dream_summarize).
-      summaryText = await runAuditedLlm(ctx, service, config, {
-        triggerSource: "autoDream",
-        operationType: "dream_summarize",
-        modelId: `${route.provider}:${route.model}`,
-        relatedMemoryIds: []
-      }, (reportUsage) => streamText(ctx, {
-        provider: route.provider,
-        model: route.model,
-        purpose: "compaction",
-        maxTokens: config.dreamMaxTokens ?? 2048,
-        ...(config.dreamReasoningEffort && config.dreamReasoningEffort !== "none"
-          ? { reasoningEffort: config.dreamReasoningEffort }
-          : {}),
-        messages: [
-          { role: "system", content: [{ type: "text", text: SUMMARY_PROMPT }] },
-          { role: "user", content: [{ type: "text", text: service.all().filter((m) => !m.archived && m.type !== "summary").map((m) => `- ${m.title}: ${m.content}`).join("\n") }] }
-        ]
-      }, reportUsage));
-    } catch (error) {
-      logger?.warn?.(`dsh-mneme dream: summary llm call failed: ${String(error)}`);
-      return finish({ ok: false, error: "llm failed", applied, decisions: auditDecisions, outcome, frozen: frozenCount, summary: false });
-    }
-    let summaryStored = false;
-    if (summaryText !== undefined && summaryText.trim()) {
-      // Bug5 carve-out: the library overview is regenerated every run, so it
-      // must REPLACE the previous overview (not append — that would grow the
-      // summary unboundedly). `_overwrite` still archives the old overview into
-      // content_history before replacing it.
-      service.saveWithDedupe({ type: "summary", title: "记忆库总览", content: summaryText.trim(), importance: 5, source: "dream", _overwrite: true });
-      summaryStored = true;
-      // Re-embed the fresh summary so the index stays in sync with the store.
-      if (semantic?.embedder && semantic?.vectorIndex) {
-        try {
-          const summary = service.all().find((m) => m.type === "summary");
-          if (summary) {
-            const v = await semantic.embedder.embedSingle([summary.title, summary.content].filter(Boolean).join("\n"));
-            if (v?.length) semantic.vectorIndex.saveEmbedding(summary.id, v);
-            if (semantic.embedder.modelHash) semantic.vectorIndex.markModel?.(semantic.embedder.modelHash, semantic.embedder.dimension);
-          }
-        } catch { /* best-effort */ }
-      }
-    }
-    // Honest status assignment (never a fake ok):
-    //   reconcile — some decisions validated but did not commit (CAS/rollback).
-    //   noop      — nothing changed and no summary persisted: truly an empty
-    //               run. ok:false keeps the scheduler from moving the baseline.
-    //   ok        — either real changes landed, or a fresh summary was stored
-    //               (all-keep + summary is a substantive summary refresh).
-    //   degraded  — real consolidation landed but the summary came back empty/
-    //               missing: the store was absorbed (ok for the baseline) but
-    //               the run did not produce its full output (marked, not faked).
-    let status;
-    let okResult;
-    if (partial) {
-      status = "reconcile";
-      okResult = false;
-    } else if (noChange) {
-      status = summaryStored ? "ok" : "noop";
-      okResult = summaryStored;
-    } else {
-      status = summaryStored ? "ok" : "degraded";
-      okResult = true;
-    }
-    return finish({
-      ok: okResult,
-      status,
-      applied,
-      decisions: auditDecisions,
-      outcome,
-      conflicts,
-      failures,
-      frozen: frozenCount,
-      summary: summaryStored
-    });
-  }
-
-  return { maybeSchedule, runDream, dispose };
-}
+import { validateDecisions, applyDecisions } from "./dream/decisions.js";
+import { clusterMemories, findPotentialConflicts } from "./dream/clustering.js";
+import { createHash, randomUUID } from "node:crypto";
+export { validateDecisions, applyDecisions };
+
+
+// Extract the first JSON array from LLM output, tolerating markdown fences,
+// leading/trailing prose, and common wrapper noise. Returns an array or null.
+function extractJsonArray(text) {
+  if (typeof text !== "string" || text.trim().length === 0) return null;
+
+  // 1. Strip markdown code fences (```json ... ``` or ``` ... ```).
+  let cleaned = text.replace(/```(?:json)?\s*([\s\S]*?)```/gi, "$1");
+  cleaned = cleaned.trim();
+
+  // 2. Find the first '[' and the matching last ']' that yields valid JSON.
+  const start = cleaned.indexOf("[");
+  if (start === -1) return null;
+  for (let end = cleaned.lastIndexOf("]"); end > start; end = cleaned.lastIndexOf("]", end - 1)) {
+    const candidate = cleaned.slice(start, end + 1);
+    try {
+      return JSON.parse(candidate);
+    } catch {
+      // Light repair: remove trailing commas before ] or }.
+      try {
+        const repaired = candidate.replace(/,(\s*[}\]])/g, "$1");
+        return JSON.parse(repaired);
+      } catch {
+        // keep searching backwards
+      }
+    }
+  }
+
+  // 3. Fallback: a broader regex extraction.
+  try {
+    const match = cleaned.match(/\[[\s\S]*\]/);
+    if (match) return JSON.parse(match[0]);
+  } catch {
+    // fall through
+  }
+  return null;
+}
+const SUMMARY_PROMPT = `你是记忆库摘要助手。根据整理后的记忆，生成一段 150-200 字的记忆库总览，覆盖：用户偏好、活跃项目、关键决策。之后作为会话上下文注入。只输出摘要文本，不要其他内容。`;
+
+const CONSOLIDATION_PROMPT = `你是记忆库整理助手。下面是全部记忆条目（id、类型、标题、内容、重要性、更新时间）。
+请执行记忆巩固（consolidation），输出一个决策 JSON 数组。
+
+【决策格式（必须严格遵守）】
+每个决策必须是对象，字段固定：
+- "action"：必填。取值只能是 "keep" / "merge" / "archive" / "update" / "conflict" 之一（字段名必须是 action，严禁写成 type）
+- "ids"：必填，数组，本决策涉及的记忆 id 列表
+- "reason"：可选，字符串，决策理由
+- "importance"：可选，整数 1-5
+- merge 额外字段："keepSource"（单个 id 字符串，必须是 ids 之一）+ 合并后的 "title"、"content"
+- conflict 额外字段："winner" 与 "loser"，都是【单个 id 字符串，不是数组】
+- update 额外字段：修正后的 "title" 和/或 "content"；"ids" 只能包含一个 id
+
+【决策 JSON 示例】
+[
+  { "action": "merge", "ids": ["m1", "m2"], "keepSource": "m1", "title": "合并标题", "content": "合并后的摘要内容", "importance": 4, "reason": "主题相近" },
+  { "action": "conflict", "winner": "m3", "loser": "m4", "reason": "内容矛盾，保留更新的信息" },
+  { "action": "update", "ids": ["m5"], "content": "修正后的内容", "reason": "信息过时" },
+  { "action": "archive", "ids": ["m6"], "reason": "重复或过时" }
+]
+
+【任务】
+1. 识别主题相近的条目 → merge（合并为更精炼的摘要，保留信息最完整的 id 作为 keepSource）
+2. 识别重复/过时信息 → archive
+3. 识别内容矛盾的条目 → conflict（按时间新旧、来源完整性、信息具体程度判断 winner/loser）
+4. 发现单条记忆中的信息过时、错误或遗漏 → update（直接修正内容）
+   - update 的 ids 只能包含一个 id
+   - 必须提供修正后的 title 和/或 content
+   - 仅当内容确实需要修正时才使用，不要滥用
+   - 每次整理最多输出 2 个 update
+   - 24 小时内新建的记忆不可 update
+5. 无问题的条目无需输出（未提及的条目将自动保留 keep）
+
+【硬性规则】
+- 字段名必须精确为 "action"，严禁写成 "type"；字段名统一用双引号
+- conflict 的 winner/loser、merge 的 keepSource 都是【单个 id 字符串，绝不是数组】
+- 每条记忆最多被 claim 一次：同一个 id 不能出现在多个决策中（同一 id 不能被 merge 和 conflict/archive 等重复占用）
+- 未在决策中提及的记忆将自动保留（keep），无需为每条记忆输出 keep
+- merge 的 keepSource 必须是 ids 之一
+- 仅合并同类型条目（type 相同）
+- 不要编造 ids；只使用提供的 id
+- 重要性 1-5，合并后取最高
+- 只输出 JSON 数组，不要其他文字`;
+
+function totalChars(memories) {
+  return memories.reduce((sum, m) => sum + (m.title?.length ?? 0) + (m.content?.length ?? 0), 0);
+}
+
+// ---------------------------------------------------------------- audit
+
+/**
+ * Canonical digest of the consolidation input snapshot. Built from stable
+ * fields sorted by id, so identical inputs always yield the same hash — the
+ * basis for replaying/verifying a recorded decision (receipt check).
+ */
+export function hashSnapshot(memories) {
+  const canon = memories
+    .map((m) => [m.id, m.type, m.title, m.content, m.importance, m.updated_at])
+    .sort((a, b) => (a[0] < b[0] ? -1 : a[0] > b[0] ? 1 : 0))
+    .map((parts) => parts.map((p) => String(p ?? "")).join("\u0001"))
+    .join("\u0002");
+  return createHash("sha256").update(canon).digest("hex");
+}
+
+/**
+ * Compact machine-verifiable receipt for one autoDream run. Format:
+ *   dsh-mneme:run:<runId>:<status>:<snapshotHash(12)>:<inputCount>:<applied>:<summaryFlag>
+ * Enough to correlate a run with its persisted audit row and to spot silent
+ * drift (same snapshot hash + same decisions must reproduce the same outcome).
+ */
+export function buildReceipt({ runId, status, snapshotHash, inputCount, applied, summaryStored }) {
+  return `dsh-mneme:run:${runId}:${status}:${snapshotHash.slice(0, 12)}:${inputCount}:${applied}:${summaryStored ? 1 : 0}`;
+}
+
+/**
+ * Parse a receipt back into fields; returns undefined for malformed input.
+ */
+export function parseReceipt(receipt) {
+  if (typeof receipt !== "string") return undefined;
+  const parts = receipt.split(":");
+  if (parts.length !== 8 || parts[0] !== "dsh-mneme" || parts[1] !== "run") return undefined;
+  const [, , runId, status, snapshotHash, inputCount, applied, summaryStored] = parts;
+  // reconcile = decisions validated but one or more did not commit (CAS
+  // conflict / transaction rollback) — the store diverges from the decision
+  // list and the run must be reconciled, never reported as a fake ok.
+  if (!runId || !/^(ok|noop|degraded|reconcile|failed)$/.test(status)) return undefined;
+  const count = Number(inputCount);
+  const appliedN = Number(applied);
+  if (!Number.isInteger(count) || !Number.isInteger(appliedN)) return undefined;
+  return { runId, status, snapshotHash, inputCount: count, applied: appliedN, summaryStored: summaryStored === "1" };
+}
+
+/**
+ * Derive the per-id disposition (keep / merge-keep / merge-archived /
+ * archived / conflict-winner / conflict-archived) from a validated decision
+ * list. Stored in the audit row so a run can be replayed without re-running
+ * the LLM.
+ */
+export function buildOutcome(decisions) {
+  const byId = {};
+  for (const d of decisions ?? []) {
+    if (d.action === "keep") {
+      for (const id of d.ids) byId[id] = "keep";
+    } else if (d.action === "archive") {
+      for (const id of d.ids) byId[id] = "archived";
+    } else if (d.action === "merge") {
+      for (const id of d.ids) byId[id] = id === d.keepSource ? "merge-keep" : "merge-archived";
+    } else if (d.action === "conflict") {
+      byId[d.winner] = "conflict-winner";
+      byId[d.loser] = "conflict-archived";
+    } else if (d.action === "update") {
+      for (const id of d.ids) byId[id] = "updated";
+    }
+  }
+  return { byId };
+}
+
+/**
+ * Content-addressed digest of the memories a verdict was decided against
+ * (id + title + content + importance), sorted by id so identical inputs always
+ * hash the same. This is the per-record "判定依据" fingerprint: a receipt whose
+ * digest cannot be reproduced from the involved memories is a bare claim, and a
+ * digest match with a divergent outcome pinpoints drift to the exact record.
+ */
+export function hashDecisionInput(memories) {
+  const canon = (memories ?? [])
+    .map((m) => [m.id, m.title, m.content, m.importance])
+    .sort((a, b) => (a[0] < b[0] ? -1 : a[0] > b[0] ? 1 : 0))
+    .map((p) => p.map((x) => String(x ?? "")).join("
"))
+    .join("");
+  return createHash("sha256").update(canon).digest("hex");
+}
+
+/**
+ * Build the per-record receipts for a run's actually-committed mutable verdicts
+ * (merge/conflict/update) — one row per verdict in the receipt_chain. Inputs
+ * are drawn from the run snapshot (what the LLM actually arbitrated against),
+ * and the idempotency counters count_before → count_after come from the
+ * committed sub-step, so replaying the same decision must reproduce the same
+ * numbers. verdict starts "live"; a later policy_epoch upgrade will batch-mark
+ * older verdicts "historical" (a receipt_chain rewrite driven by the store's
+ * getLatestPolicyEpoch — out of scope for this pass), while "revoked" is
+ * reserved for verdicts later overturned by an explicit human decision.
+ */
+function buildRecordReceipts({ runId, committed, snapshot, policyEpoch }) {
+  const at = (id) => snapshot?.get?.(id);
+  const receipts = [];
+  for (const c of committed ?? []) {
+    const base = {
+      run_id: runId,
+      verdict: "live",
+      count_before: c.count_before,
+      count_after: c.count_after,
+      policy_epoch: policyEpoch,
+      created_at: new Date().toISOString()
+    };
+    if (c.action === "merge") {
+      receipts.push({
+        ...base,
+        receipt_id: randomUUID(),
+        record_id: c.keepSource,
+        kind: "merge",
+        input_digest: hashDecisionInput((c.ids ?? []).map(at).filter(Boolean)),
+        keep_source: c.keepSource,
+        sources: c.ids
+      });
+    } else if (c.action === "conflict") {
+      receipts.push({
+        ...base,
+        receipt_id: randomUUID(),
+        record_id: c.winner,
+        kind: "conflict",
+        input_digest: hashDecisionInput([at(c.winner), at(c.loser)].filter(Boolean)),
+        winner_id: c.winner,
+        loser_id: c.loser
+      });
+    } else if (c.action === "update") {
+      receipts.push({
+        ...base,
+        receipt_id: randomUUID(),
+        record_id: c.ids[0],
+        kind: "update",
+        input_digest: hashDecisionInput([at(c.ids[0])].filter(Boolean))
+      });
+    }
+  }
+  return receipts;
+}
+
+/**
+ * Consume an LLM stream and return the accumulated text. Direct text-delta
+ * accumulation covers both the real protocol ({type:"text-delta", index, text})
+ * and looser test doubles ({type:"text-delta", text}); a terminal error/abort
+ * surfaces as undefined. The caller decides how to treat an empty result.
+ * `onUsage` (optional, Bug8) receives any usage chunk for token accounting.
+ */
+async function streamText(ctx, options, onUsage) {
+  let text = "";
+  for await (const chunk of ctx.llm.stream(options)) {
+    if (chunk.type === "text-delta" && typeof chunk.text === "string") text += chunk.text;
+    if (chunk.type === "usage" && typeof onUsage === "function") onUsage(chunk);
+    if (chunk.type === "finish" && (chunk.reason?.kind === "error" || chunk.reason?.kind === "aborted")) {
+      return undefined;
+    }
+  }
+  return text;
+}
+
+/**
+ * Bug8: wrap a background LLM call so its token/time/status are recorded in the
+ * llm_audit_logs table. Best-effort bookkeeping: a failure to WRITE the audit
+ * row is swallowed (never blocks the LLM call), while a failure of the call
+ * itself is captured as status='error' and re-thrown so the caller keeps its
+ * existing error path. `spec` carries the static metadata (trigger_source,
+ * operation_type, model_id, related_memory_ids); `body(reportUsage)` performs
+ * the actual stream consumption and is handed a usage reporter for the chunks.
+ */
+async function runAuditedLlm(ctx, service, config, spec, body) {
+  const audit = config?.llmAudit;
+  if (audit?.enabled === false || typeof service?.saveLlmAudit !== "function") return body(() => {});
+  const startedAt = Date.now();
+  const timestamp = new Date(startedAt).toISOString();
+  let inputTokens = 0;
+  let outputTokens = 0;
+  let status = "success";
+  let errorMessage = null;
+  let result;
+  try {
+    result = await body((usage) => {
+      if (!usage) return;
+      const i = usage.input_tokens ?? usage.inputTokens ?? usage.prompt_tokens ?? usage.promptTokens;
+      const o = usage.output_tokens ?? usage.outputTokens ?? usage.completion_tokens ?? usage.completionTokens;
+      if (Number.isFinite(i)) inputTokens = i;
+      if (Number.isFinite(o)) outputTokens = o;
+    });
+    if (result === undefined) {
+      // stream aborted/errored: the caller treats undefined as a failed run;
+      // record it as error here so the audit shows the truth.
+      status = "error";
+      errorMessage = errorMessage ?? "llm stream aborted or errored";
+    }
+    return result;
+  } catch (error) {
+    status = "error";
+    errorMessage = String(error?.message ?? error);
+    throw error;
+  } finally {
+    try {
+      service.saveLlmAudit({
+        timestamp,
+        trigger_source: spec.triggerSource,
+        operation_type: spec.operationType,
+        model_id: spec.modelId,
+        input_tokens: inputTokens,
+        output_tokens: outputTokens,
+        total_tokens: inputTokens + outputTokens,
+        cost_usd: 0,
+        duration_ms: Date.now() - startedAt,
+        status,
+        error_message: errorMessage,
+        related_memory_ids: spec.relatedMemoryIds ?? []
+      });
+    } catch (auditError) {
+      ctx.logger?.warn?.(`dsh-mneme: llm audit write failed: ${String(auditError)}`);
+    }
+  }
+}
+
+/**
+ * Resolve the LLM route: agent default model (deployment) first, plugin config
+ * (dreamProvider/dreamModel) as fallback. Falls through to undefined when no
+ * route exists — runDream then fails safe. Fallback is logged so a silent
+ * route switch is observable.
+ */
+function resolveRoute(ctx, config, logger) {
+  try {
+    const sel = ctx.agentDefaultModel?.currentSelection?.();
+    if (sel?.provider && sel?.model) return { provider: sel.provider, model: sel.model };
+    logger?.warn?.("dsh-mneme dream: agentDefaultModel unavailable, falling back to config route");
+  } catch (error) {
+    logger?.warn?.(`dsh-mneme dream: agentDefaultModel lookup failed, falling back to config route: ${String(error)}`);
+  }
+  if (config.dreamProvider && config.dreamModel) return { provider: config.dreamProvider, model: config.dreamModel };
+  return undefined;
+}
+
+// ------------------------------------------------------- semantic enhancement
+// Best-effort: any failure here degrades to plain consolidation. The dream
+// path must never be broken by an unavailable embedder/index.
+
+/** Backfill + return vectors for every memory; null when impossible. */
+async function collectVectors(memories, semantic) {
+  const { embedder, vectorIndex } = semantic;
+  if (!embedder || !vectorIndex || typeof embedder.embedSingle !== "function") return null;
+  const vectors = new Array(memories.length);
+  const missing = [];
+  for (let i = 0; i < memories.length; i++) {
+    const cached = vectorIndex.getEmbedding?.(memories[i].id);
+    if (cached) vectors[i] = cached;
+    else missing.push(i);
+  }
+  if (missing.length) {
+    const texts = missing.map((i) => [memories[i].title, memories[i].content].filter(Boolean).join("\n"));
+    const rows = await embedder.embed(texts);
+    missing.forEach((mi, j) => {
+      if (rows[j]?.length) {
+        vectors[mi] = rows[j];
+        vectorIndex.saveEmbedding(memories[mi].id, rows[j]);
+      }
+    });
+  }
+  return vectors.some((v) => !v) ? null : vectors;
+}
+
+/**
+ * Rebuild the vector index after dream decisions so the store and the index
+ * stay in sync: merged-away/archived/conflict-loser rows lose their vectors,
+ * the merge keeper gets a fresh one.
+ */
+async function maintainIndexAfterDream(decisions, service, semantic) {
+  const { embedder, vectorIndex } = semantic;
+  if (!embedder || !vectorIndex || typeof embedder.embedSingle !== "function") return;
+  const rebuild = new Map();
+  for (const d of decisions ?? []) {
+    if (d.action === "merge") {
+      for (const id of d.ids ?? []) {
+        if (id !== d.keepSource) vectorIndex.deleteEmbedding(id);
+      }
+      if (d.keepSource) {
+        const keeper = service.getById(d.keepSource);
+        if (keeper) rebuild.set(keeper.id, [keeper.title, keeper.content].filter(Boolean).join("\n"));
+      }
+    } else if (d.action === "archive" || d.action === "conflict") {
+      for (const id of d.ids ?? [d.loser]) vectorIndex.deleteEmbedding(id);
+    } else if (d.action === "update") {
+      const id = d.ids[0];
+      const mem = service.getById(id);
+      if (mem) {
+        vectorIndex.deleteEmbedding(id);
+        try {
+          const text = [mem.title, mem.content].filter(Boolean).join("\n");
+          const v = await embedder.embedSingle(text);
+          if (v?.length) vectorIndex.saveEmbedding(id, v);
+        } catch { /* best-effort */ }
+      }
+    }
+  }
+  for (const [id, text] of rebuild) {
+    try {
+      const v = await embedder.embedSingle(text);
+      if (v?.length) vectorIndex.saveEmbedding(id, v);
+    } catch { /* best-effort */ }
+  }
+  if (embedder.modelHash) vectorIndex.markModel?.(embedder.modelHash, embedder.dimension);
+}
+
+export function createDreamScheduler({ onRun, thresholdCount = 10, thresholdChars = 5000, delayMs = 2000, logger, semantic = null }) {
+  let pendingTimer = null;
+  let running = false;
+  let disposed = false;
+  let baseline = { count: 0, chars: 0 };
+  let inFlight = null;
+
+  function shouldTrigger(service) {
+    const memories = service.all().filter((m) => !m.archived && m.type !== "summary");
+    const count = memories.length;
+    const chars = totalChars(memories);
+    const overBase = count >= baseline.count + thresholdCount || chars >= baseline.chars + thresholdChars;
+    const overAbs = count >= thresholdCount || chars >= thresholdChars;
+    return { trigger: overAbs && overBase, count, chars };
+  }
+
+  function maybeSchedule(service) {
+    if (disposed || running || pendingTimer) return false;
+    const { trigger, count, chars } = shouldTrigger(service);
+    if (!trigger) return false;
+    pendingTimer = setTimeout(() => {
+      pendingTimer = null;
+      running = true;
+      // Defer the onRun invocation so a synchronous throw cannot escape the
+      // timer callback (which would crash the process) and skip the teardown.
+      // Errors are logged, never swallowed silently. inFlight lets dispose()
+      // await the running consolidation before the caller closes the store.
+      inFlight = Promise.resolve()
+        .then(() => (onRun ? onRun() : Promise.resolve({ ok: true, skipped: true })))
+        .then((result) => {
+          // Refresh the baseline only for a successful run (design §5.3: an
+          // LLM failure must not move the baseline, so the next write can
+          // immediately re-trigger a retry). A `{ok:false}` result or a throw
+          // keeps the old baseline. A run that reports nothing is treated as
+          // completed without failure (no-op hooks / minimal test doubles).
+          if (result && result.ok) {
+            try {
+              baseline = shouldTrigger(service);
+            } catch (error) {
+              // Store closed mid-flight: keep the last known baseline.
+              logger?.warn?.(`dsh-mneme dream: baseline refresh failed: ${String(error)}`);
+            }
+          }
+        })
+        .catch((error) => {
+          logger?.warn?.(`dsh-mneme dream: run failed: ${error?.message ?? error}`);
+          // Failed runs do not refresh the baseline.
+        })
+        .finally(() => {
+          running = false;
+          inFlight = null;
+        });
+    }, delayMs);
+    return true;
+  }
+
+  async function dispose() {
+    disposed = true;
+    if (pendingTimer) { clearTimeout(pendingTimer); pendingTimer = null; }
+    // An in-flight run is left to complete naturally (its LLM calls are
+    // already paid for and aborting would discard the work). Await it so the
+    // caller can close the store only after every write has landed.
+    if (inFlight) await inFlight.catch(() => {});
+  }
+
+  async function runDream(ctx, service, config) {
+    const logger = ctx.logger;
+    let memories = service.all().filter((m) => !m.archived && m.type !== "summary");
+    if (memories.length === 0) return { ok: true, applied: 0, skipped: true, summary: false };
+    // v0.4.4 滑动窗口：只 consolidation 最近 dreamMaxSnapshotSize 条记忆，
+    // 窗口外的旧记忆不进 snapshot（大记忆量下全量快照会撑爆 LLM 输入，配合
+    // 隐式 keep 让 run 始终可收敛）。按 updated_at 倒序取前 maxSize 条。
+    const maxSize = Number.isInteger(config.dreamMaxSnapshotSize) ? config.dreamMaxSnapshotSize : 200;
+    memories = [...memories]
+      .sort((a, b) => {
+        const ta = String(a.updated_at ?? "");
+        const tb = String(b.updated_at ?? "");
+        if (ta < tb) return 1;
+        if (ta > tb) return -1;
+        return a.id < b.id ? -1 : a.id > b.id ? 1 : 0;
+      })
+      .slice(0, Math.max(1, maxSize));
+    const snapshot = new Map(memories.map((m) => [m.id, m]));
+    const route = resolveRoute(ctx, config, logger);
+    const runId = randomUUID();
+    const snapshotHash = hashSnapshot([...snapshot.values()]);
+    // Conflict freeze (opt-in): when enabled, conflict decisions are parked for
+    // manual review instead of auto-adjudicated. Read once up front so the
+    // prompt hint and the apply-split agree on the same gate.
+    const freezeEnabled = config.conflictFreezeEnabled === true;
+    // Every exit (success or failure) funnels through `finish`, which writes
+    // the audit row + receipt. A record failure is logged, never thrown —
+    // auditing must not break the consolidation path. Failed runs still
+    // capture their decisions/outcome when the LLM produced a validated list
+    // (e.g. summary step failed after consolidation), so the partial write is
+    // replayable too.
+    const finish = (result) => {
+      // status is derived from what actually committed: ok only when the full
+      // decision list landed (or a summary was refreshed); noop when nothing
+      // changed; degraded when real changes landed without a summary;
+      // reconcile when decisions were validated but some did not commit (CAS
+      // conflict / rollback); failed on any LLM/validation error. No fake "ok"
+      // for an empty or partial run.
+      const status = result.status ?? (result.ok ? "ok" : "failed");
+      const applied = result.applied ?? 0;
+      const summaryStored = result.summary ?? false;
+      const receipt = buildReceipt({ runId, status, snapshotHash, inputCount: snapshot.size, applied, summaryStored });
+      try {
+        service.saveDreamRun({
+          id: runId,
+          status,
+          error: result.error,
+          provider: route?.provider,
+          model: route?.model,
+          snapshot_hash: snapshotHash,
+          input_count: snapshot.size,
+          // 裁决规则版本号：config.policyEpoch（默认 0）。规则升级后该行保留
+          // 当时的 epoch，旧裁决据此降级为历史证据（store 层 getLatestPolicyEpoch
+          // 只负责读取当前生效版本，写入由这里完成）。
+          policy_epoch: config.policyEpoch ?? 0,
+          // Full input snapshot (canonical fields) so the exact arbitration
+          // input can be rebuilt offline from the audit row alone — the
+          // digest + decisions + outcome triple makes silent errors locatable
+          // even after the store has moved on.
+          input: [...snapshot.values()].map((m) => ({
+            id: m.id,
+            type: m.type,
+            title: m.title,
+            content: m.content,
+            importance: m.importance,
+            updated_at: m.updated_at
+          })),
+          decisions: result.decisions,
+          outcome: result.outcome,
+          applied,
+          summary_stored: summaryStored,
+          receipt
+        });
+      } catch (error) {
+        logger?.warn?.(`dsh-mneme dream: failed to record audit run: ${String(error)}`);
+      }
+      return { ...result, runId, receipt, snapshotHash };
+    };
+    if (!route) {
+      logger?.warn?.("dsh-mneme dream: no llm route available");
+      return finish({ ok: false, error: "no llm route", summary: false });
+    }
+
+    let listText;
+    if (semantic?.embedder && semantic?.vectorIndex) {
+      try {
+        const vectors = await collectVectors(memories, semantic);
+        if (vectors) {
+          const k = Math.min(10, Math.max(1, Math.floor(Math.sqrt(memories.length / 2))));
+          const clusters = clusterMemories(memories, vectors, k);
+          const conflicts = findPotentialConflicts(memories, vectors, 0.85);
+          const conflictIds = new Set(conflicts.flatMap((c) => [c.a.id, c.b.id]));
+          const parts = [];
+          clusters.forEach((cluster, ci) => {
+            parts.push(`# 聚类 ${ci + 1}`);
+            for (const m of cluster) {
+              parts.push(
+                `id=${m.id} | type=${m.type} | importance=${m.importance} | updated=${m.updated_at} | title=${m.title} | content=${m.content}` +
+                (conflictIds.has(m.id) ? " | [潜在冲突]" : "")
+              );
+            }
+          });
+          listText = parts.join("\n");
+          logger?.info?.(`[dsh-mneme] dream semantic pre-group: ${clusters.length} clusters, ${conflicts.length} conflict pairs`);
+        }
+      } catch (error) {
+        logger?.warn?.(`[dsh-mneme] dream semantic pre-group failed: ${String(error)}`);
+      }
+    }
+    if (!listText) {
+      listText = [...snapshot.values()].map((m) =>
+        `id=${m.id} | type=${m.type} | importance=${m.importance} | updated=${m.updated_at} | title=${m.title} | content=${m.content}`
+      ).join("\n");
+    }
+
+    // Freeze-aware prompt: in freeze mode the conflict branch still outputs
+    // winner/loser (validation requires them) but they are treated as tentative
+    // candidates — the human makes the final call, not the model.
+    const consolidationPrompt = freezeEnabled
+      ? CONSOLIDATION_PROMPT + `\n\n当前为「冲突冻结」模式：检测到内容矛盾的条目时，仍请输出 conflict，并以 winner/loser 作为候选、reason 说明理由；冲突不会被自动裁决，而会冻结待人工确认。`
+      : CONSOLIDATION_PROMPT;
+    let decisionText;
+    try {
+      // Bug8: the consolidation call is audited (tokens/time/status). A throw
+      // re-propagates to the catch below; an aborted stream returns undefined
+      // and is treated as a failed run after the check below.
+      decisionText = await runAuditedLlm(ctx, service, config, {
+        triggerSource: "autoDream",
+        operationType: "dream_consolidate",
+        modelId: `${route.provider}:${route.model}`,
+        relatedMemoryIds: [...snapshot.keys()]
+      }, (reportUsage) => streamText(ctx, {
+        provider: route.provider,
+        model: route.model,
+        purpose: "compaction",
+        maxTokens: config.dreamMaxTokens ?? 4096,
+        ...(config.dreamReasoningEffort && config.dreamReasoningEffort !== "none"
+          ? { reasoningEffort: config.dreamReasoningEffort }
+          : {}),
+        messages: [
+          { role: "system", content: [{ type: "text", text: consolidationPrompt }] },
+          { role: "user", content: [{ type: "text", text: listText }] }
+        ]
+      }, reportUsage));
+    } catch (error) {
+      logger?.warn?.(`dsh-mneme dream: consolidation llm call failed: ${String(error)}`);
+      return finish({ ok: false, error: "llm failed", summary: false });
+    }
+    if (decisionText === undefined) {
+      logger?.warn?.("dsh-mneme dream: consolidation llm stream aborted or errored");
+      return finish({ ok: false, error: "llm failed", summary: false });
+    }
+
+    const decisions = extractJsonArray(decisionText);
+    if (!Array.isArray(decisions)) {
+      logger?.warn?.(`dsh-mneme dream: no json array in llm output (raw length ${decisionText?.length ?? 0})`);
+      return finish({ ok: false, error: "no json array in llm output", summary: false });
+    }
+    const { ok, errors } = validateDecisions(decisions, snapshot, {
+      maxUpdatePerRun: config.reflectionUpdateMaxPerRun,
+      minAgeHours: config.reflectionUpdateMinAgeHours,
+      // v0.4.4 fix：显式透传，用户配 dreamImplicitKeep:false 时严格模式必须
+      // 真正生效，dreamMinExplicitCoverage 决定隐式 keep 下的覆盖率下限。
+      dreamImplicitKeep: config.dreamImplicitKeep,
+      dreamMinExplicitCoverage: config.dreamMinExplicitCoverage
+    });
+    if (!ok) {
+      logger?.warn?.(`dsh-mneme dream: invalid decisions: ${errors.join("; ")}`);
+      return finish({ ok: false, error: `invalid decisions: ${errors.length} errors`, summary: false });
+    }
+
+    // Capture pre-update snapshots so the audit records what each update changed.
+    const updateSnapshots = {};
+    for (const d of decisions) {
+      if (d.action === "update") {
+        const mem = snapshot.get(d.ids[0]);
+        if (mem) updateSnapshots[d.ids[0]] = { title: mem.title, content: mem.content, importance: mem.importance };
+      }
+    }
+
+    // Conflict freeze (opt-in): when enabled, conflict decisions are not
+    // auto-adjudicated — no winner kept, no loser archived. The pair is parked
+    // in conflict_pending for human review instead. Best-effort: a store
+    // failure here must never block the run (fail-safe — the memories are left
+    // untouched and nothing is arbitrated). The cap (conflictFreezeMaxPending)
+    // bounds the review queue; overflow is skipped with a warning.
+    let frozenCount = 0;
+    const frozenIds = [];
+    const applyList = freezeEnabled ? decisions.filter((d) => d.action !== "conflict") : decisions;
+    if (freezeEnabled) {
+      const conflictsToFreeze = decisions.filter((d) => d.action === "conflict");
+      if (conflictsToFreeze.length > 0) {
+        try {
+          const maxPending = Number.isInteger(config.conflictFreezeMaxPending) ? config.conflictFreezeMaxPending : 100;
+          const pendingNow = service.countConflictPending();
+          const budget = Math.max(0, maxPending - pendingNow);
+          const toFreeze = conflictsToFreeze.slice(0, budget);
+          if (conflictsToFreeze.length > budget) {
+            logger?.warn?.(`dsh-mneme dream: conflict freeze queue full (${pendingNow}/${maxPending}), skipped ${conflictsToFreeze.length - budget} conflict(s)`);
+          }
+          for (const d of toFreeze) {
+            try {
+              service.saveConflictPending({ run_id: runId, memory_a: d.winner, memory_b: d.loser, reason: d.reason });
+              frozenCount++;
+              frozenIds.push(d.winner, d.loser);
+            } catch (error) {
+              logger?.warn?.(`dsh-mneme dream: failed to freeze conflict ${d.winner}/${d.loser}: ${String(error)}`);
+            }
+          }
+        } catch (error) {
+          logger?.warn?.(`dsh-mneme dream: conflict freeze lookup failed: ${String(error)}`);
+        }
+      }
+    }
+
+    // CAS-guarded, per-decision-transactional apply against the run snapshot:
+    // a target changed during the LLM call is skipped and reported as a
+    // conflict instead of being overwritten (item ①). Frozen conflicts are
+    // excluded from this list (they are parked, not applied).
+    const { applied, conflicts, failures, committed } = applyDecisions(applyList, service, logger, snapshot, config);
+    // Per-record receipt chain: one row per actually-committed merge/conflict/
+    // update verdict, stamped with the decision-basis digest + idempotency
+    // counters (count_before → count_after). Written here, before the run audit
+    // row, so the verdict trail always precedes the run trail it belongs to.
+    // Bookkeeping: a write failure is logged and swallowed — it must never
+    // block the consolidation flow.
+    try {
+      for (const r of buildRecordReceipts({ runId, committed, snapshot, policyEpoch: config.policyEpoch ?? 0 })) {
+        service.saveReceipt(r);
+      }
+    } catch (error) {
+      logger?.warn?.(`dsh-mneme dream: failed to write per-record receipt: ${String(error)}`);
+    }
+    // Attach the pre-update snapshot to the audit copy of each update decision
+    // so the recorded row shows the before/after delta, not just the target.
+    const auditDecisions = decisions.map((d) =>
+      d.action === "update" && updateSnapshots[d.ids[0]]
+        ? { ...d, _before: updateSnapshots[d.ids[0]] }
+        : d
+    );
+    // Outcome is derived from the ACTUALLY committed sub-steps, never from the
+    // raw LLM decision list — a merge whose archive step rolled back must not
+    // claim "merge-archived" (item ②). Conflicts/failures ride along so the
+    // audit row records why the run diverged.
+    const outcome = { ...buildOutcome(committed), conflicts, failures };
+    // Frozen conflicts were not adjudicated: mark both sides pending in the
+    // per-id outcome so the audit row shows they were parked, not skipped.
+    if (frozenIds.length) {
+      for (const id of frozenIds) outcome.byId[id] = "conflict-pending";
+    }
+    // Decisions validated but not fully committed → reconcile (not ok).
+    const partial = conflicts.length > 0 || failures.length > 0;
+    // No decision landed (all-keep, or every decision skipped as an idempotent
+    // replay) → nothing substantive changed. Distinct from a success: such a
+    // run must never be reported as ok, or the audit claims work that never
+    // happened and the scheduler refreshes the baseline on a false positive.
+    // Frozen conflicts are substantive output (parked for review), so a run
+    // that only froze conflicts is not a noop.
+    const noChange = frozenCount === 0 && applied === 0 && committed.every((c) => c.action === "keep");
+
+    // Keep the vector index consistent with the post-dream store state.
+    if (semantic?.embedder && semantic?.vectorIndex) {
+      try {
+        await maintainIndexAfterDream(applyList, service, semantic);
+      } catch (error) {
+        logger?.warn?.(`[dsh-mneme] dream index maintenance failed: ${String(error)}`);
+      }
+    }
+
+    // Summary generation (second LLM call). A throwing stream is reported as
+    // a failed run; summary:false marks a run that produced no summary.
+    let summaryText;
+    try {
+      // Bug8: the summary call is audited too (operation dream_summarize).
+      summaryText = await runAuditedLlm(ctx, service, config, {
+        triggerSource: "autoDream",
+        operationType: "dream_summarize",
+        modelId: `${route.provider}:${route.model}`,
+        relatedMemoryIds: []
+      }, (reportUsage) => streamText(ctx, {
+        provider: route.provider,
+        model: route.model,
+        purpose: "compaction",
+        maxTokens: config.dreamMaxTokens ?? 2048,
+        ...(config.dreamReasoningEffort && config.dreamReasoningEffort !== "none"
+          ? { reasoningEffort: config.dreamReasoningEffort }
+          : {}),
+        messages: [
+          { role: "system", content: [{ type: "text", text: SUMMARY_PROMPT }] },
+          { role: "user", content: [{ type: "text", text: service.all().filter((m) => !m.archived && m.type !== "summary").map((m) => `- ${m.title}: ${m.content}`).join("\n") }] }
+        ]
+      }, reportUsage));
+    } catch (error) {
+      logger?.warn?.(`dsh-mneme dream: summary llm call failed: ${String(error)}`);
+      return finish({ ok: false, error: "llm failed", applied, decisions: auditDecisions, outcome, frozen: frozenCount, summary: false });
+    }
+    let summaryStored = false;
+    if (summaryText !== undefined && summaryText.trim()) {
+      // Bug5 carve-out: the library overview is regenerated every run, so it
+      // must REPLACE the previous overview (not append — that would grow the
+      // summary unboundedly). `_overwrite` still archives the old overview into
+      // content_history before replacing it.
+      service.saveWithDedupe({ type: "summary", title: "记忆库总览", content: summaryText.trim(), importance: 5, source: "dream", _overwrite: true });
+      summaryStored = true;
+      // Re-embed the fresh summary so the index stays in sync with the store.
+      if (semantic?.embedder && semantic?.vectorIndex) {
+        try {
+          const summary = service.all().find((m) => m.type === "summary");
+          if (summary) {
+            const v = await semantic.embedder.embedSingle([summary.title, summary.content].filter(Boolean).join("\n"));
+            if (v?.length) semantic.vectorIndex.saveEmbedding(summary.id, v);
+            if (semantic.embedder.modelHash) semantic.vectorIndex.markModel?.(semantic.embedder.modelHash, semantic.embedder.dimension);
+          }
+        } catch { /* best-effort */ }
+      }
+    }
+    // Honest status assignment (never a fake ok):
+    //   reconcile — some decisions validated but did not commit (CAS/rollback).
+    //   noop      — nothing changed and no summary persisted: truly an empty
+    //               run. ok:false keeps the scheduler from moving the baseline.
+    //   ok        — either real changes landed, or a fresh summary was stored
+    //               (all-keep + summary is a substantive summary refresh).
+    //   degraded  — real consolidation landed but the summary came back empty/
+    //               missing: the store was absorbed (ok for the baseline) but
+    //               the run did not produce its full output (marked, not faked).
+    let status;
+    let okResult;
+    if (partial) {
+      status = "reconcile";
+      okResult = false;
+    } else if (noChange) {
+      status = summaryStored ? "ok" : "noop";
+      okResult = summaryStored;
+    } else {
+      status = summaryStored ? "ok" : "degraded";
+      okResult = true;
+    }
+    return finish({
+      ok: okResult,
+      status,
+      applied,
+      decisions: auditDecisions,
+      outcome,
+      conflicts,
+      failures,
+      frozen: frozenCount,
+      summary: summaryStored
+    });
+  }
+
+  return { maybeSchedule, runDream, dispose };
+}