dsh-engram 0.5.1 → 0.7.0

package/docs/RELEASE-NOTES-v0.6.0.md

@@ -0,0 +1,64 @@
+## dsh-engram v0.6.0
+
+自 v0.5.1 以来：从「记忆插件」转向**上下文投资组合**——先把省 token 变成可审计的账本，
+再用账本纠正默认值、否决不划算的剪枝，并按确定性事件把记忆推给模型。
+
+### 功能
+
+- **Context Ledger（上下文净收益账本）** — 每个模型请求记一次账：
+  `net = avoided − injected − rewriteChars × (1 − cacheDiscount)`。
+  注入的 `[ENGRAM]`/`[RECALL]`/`[ESR]`/`[JIT]` 块按存活请求计成本；BoundaryPrune 剪掉的
+  结果按后续请求计节省；每次剪枝/推送按前缀重写计价（默认缓存折价 0.1）。
+  `GET /api/dsh-engram/stats` 与 `/overview` 返回 `ledger`（totals / byWorkspace / byDay），
+  落盘 `~/.dsh/engram/ledger.json`（原子写、按天滚动、delta flush）。
+  设置键：`ledgerEnabled`（默认开）、`ledgerCacheDiscount`（默认 0.1）。
+- **GUI 账本可视化** — 遥测页新增「Context Ledger · 上下文净收益」面板（净 token 大数字、
+  节省/注入/重写罚金三卡、近 14 天红绿柱、JIT 推送次数）；记忆概览新增「上下文净 token」卡。
+- **BoundaryPrune 默认开 + 账本否决** — `boundaryPrune` 默认 `true`、`resultPack` 默认 `true`
+  （默认剪枝由归档兜底、无损）；新增 `boundaryPruneAdaptive`（默认开）：某 workspace 真实剪枝
+  后净收益为负且 ≥3 次时，账本自动否决后续剪枝（fail-open，日志一行）。
+- **JIT 推送（v0.6-C）** — 三类确定性事件，命中已有记忆/任务才推，append-only、每会话 ≤3 行、
+  每行 ≤220 字符、无命中沉默：错误复发（同 `cmd:` 第 2 次失败 + 已有 error/procedure）、
+  文件焦点（同文件连续第 2 次编辑 + filePath/dir 锚定记忆）、goal 完成（有 active ESR 任务）。
+  新增 `[JIT]` section（order 40.75）、`/stats.jit` 计数、`jitEnabled` 开关。
+- **设置卡** — 新增「剪枝自适应」「JIT 推送」两个开关。
+
+### 破坏性变更（默认值纠偏）
+
+| 键 | v0.5.1 | v0.6.0 |
+|---|---|---|
+| `boundaryPrune` | `false` | **`true`** |
+| `boundaryPruneAdaptive` | — | **`true`** |
+| `resultPack` | `false` | **`true`** |
+| `gcReplacesCompaction` | `true` | **`false`**（opt-in） |
+| `autoWebCompaction` | `true` | **`false`**（opt-in） |
+
+- 默认剪枝现在**开启**，但被剪中段默认归档到 `resultpack/`（7 天），可用
+  `result_recall(callId)` 召回。要回到纯记忆模式：`boundaryPrune:false`（或
+  `resultPack:false` 接受不可召回）。
+- Context GC 接管改为 **opt-in**。已接管的 web 预设保持 wired，但默认挂宿主
+  `BasicCompactionEngine`（DSH 自己的 LLM 摘要），除非显式打开
+  `gcReplacesCompaction:true`（web 还需 `autoWebCompaction:true`）。
+- 升级后需重启 `dsh web`；账本从下一次会话开始累计。
+
+### 其他
+
+- 测试 **359/359**（新增 ledger 13 例、jit 9 例、adaptive gate 4 例、settings/API/client 渲染用例）；
+  `npm run eval` BENCH PASS；`npm run typecheck` 通过；`lib/client.js` 重建。
+- 文档：`docs/PROPOSAL-evolution.zh.md`（演进提案）、中英 README、`docs/CONTEXT-GC-GUIDE.zh.md`
+  （Context GC 改为 opt-in 的 4 步启用）。
+- 真实实例冒烟（`dsh 0.2.0-rc.2`，临时将 profile 的 `dsh-engram` 指向工作树后还原）：
+  `/overview` 返回 `ledger`、`/stats` 返回 `jit`，defaults 与上表一致，`compaction.host = default`。
+
+## DSH 版本支持
+
+- **支持的 DSH 范围**：`>=0.1.2-alpha.2 <0.3.0-0`
+- **peer 声明**：
+  - `@deepseek-ai/dsh-compaction`: `>=0.1.2-alpha.2 <0.3.0-0`
+  - `@deepseek-ai/dsh-compaction-basic`: `>=0.1.2-alpha.2 <0.3.0-0`
+  - `@deepseek-ai/dsh-llm`: `>=0.1.2-alpha.2 <0.3.0-0`
+  - `@deepseek-ai/dsh-settings`: `>=0.1.2-alpha.2 <0.3.0-0`
+  - `@deepseek-ai/dsh-storage-domain`: `>=0.1.2-alpha.2 <0.3.0-0`
+- **验证版本**：`dsh 0.2.0-rc.2`
+- **最后验证日期**：2026-10-19
+- **安装方式已验证**：`dsh plugin --profile web add dsh-engram`

package/docs/RELEASE-NOTES-v0.7.0.md

@@ -0,0 +1,57 @@
+## dsh-engram v0.7.0
+
+自 v0.6.0 以来：把「记忆」从**事件记录**推进到**可维护的当前真相**——会话结束自动沉淀
+episode、新会话给恢复简报、`esr_node` 升级为实体页、文件锚点让过期真相可被检测。
+
+### 功能
+
+- **会话 episode（v0.7-A）** — `session/disposed` 时用零 LLM 规则把事件日志压成一条紧凑
+  纪要：改过哪些文件、跑过哪些命令、哪些失败后修复（`cmd×N→fixed`）、git commit 主题、
+  仍挂着的 todo。只在有实质内容时写（纯 `ls` 会话不写），**永不进 `[ENGRAM]` 索引**，
+  每个 workspace 保留最近 20 条。
+- **恢复简报（v0.7-D）** — 新会话第一次组装时，取最近 7 天最新的 episode，注入
+  ≤240 字符的 `[RESUME]` 行 + `engram_detail` 指针；与 `[ENGRAM]`/`[RECALL]` 一起按会话冻结。
+  没有近期 episode 就不注入。
+- **实体页 + 实体卡（v0.7-B）** — `esr_node` 升级为可读页面：`truth`（preference 优先、
+  superseded 剔除）/ `timeline` / `open loops`（active 任务 + 证据缺口）/ `conflicts`
+  （无序对去重）/ `relations`。`[ENGRAM]` 为活跃实体前置最多 2 张一行卡
+  （truth 首条 + mem/open + 下钻指针），被代表的实体不再重复平铺行；
+  `engram_detail(entity="<name|id>")` 返回完整页。
+- **可重验证锚点（v0.7-C）** — 带 `filePath` 的记忆在写入时记录
+  `{path, mtimeMs, size, hash?}`（≤256KB 存 sha256）；会话启动时有界重验证（≤40 条），
+  文件改动/缺失 → 打 `stale` 标签，索引与实体 truth 不再展示，timeline 标注 `· stale`，
+  `engram_detail` 仍可重取（不删除）。
+- **分层 TTL（v0.7-C）** — `preference` / `procedure` 永久；`episode` 14 天；`error` 60 天；
+  其余按 `expireDays`（默认 180 天）。仍然只有 GC 归档、没有硬删。
+
+### 兼容性说明
+
+- 存储 schema 只**新增**字段：`memories.anchor`（nullable，默认 null）与新的 memory kind
+  `episode`。旧数据读取自动补默认值，无需迁移；真实实例冒烟用 256 条既有记忆验证通过。
+- 只有**新写入**且带 `filePath` 的记忆会落锚；既有记忆不会被回溯锚定（避免一次性把历史
+  事实全部标 stale）。需要时可后续加显式 backfill 命令。
+- 新增设置键（均默认开）：`episodeEnabled`、`resumeBriefEnabled`、`entityCardsEnabled`、
+  `anchorRevalidate`；隐藏可调 `episodeMaxPerWorkspace`、`resumeBriefMaxAgeDays`、
+  `resumeBriefMaxChars`、`entityCardsMax`、`entityCardChars`、`episodeTtlDays`、
+  `errorTtlDays`。GUI 旋钮总数 34。
+- 升级后需重启 `dsh web`；episode 要等一个会话结束、resume brief 在下一个新会话生效。
+
+### 其他
+
+- 测试 **381/381**（新增 episode 9 例、entity 7 例、anchor 6 例）；`npm run eval` BENCH PASS；
+  `npm run typecheck` 通过；`lib/client.js` 重建。
+- 文档：中英 README（episode / 实体页 / 锚点三节）、`docs/PROPOSAL-evolution.zh.md`
+  （v0.7 A/B/C/D 状态）、设置卡新增「会话纪要 / 恢复简报 / 实体卡」开关。
+
+## DSH 版本支持
+
+- **支持的 DSH 范围**：`>=0.1.2-alpha.2 <0.3.0-0`
+- **peer 声明**：
+  - `@deepseek-ai/dsh-compaction`: `>=0.1.2-alpha.2 <0.3.0-0`
+  - `@deepseek-ai/dsh-compaction-basic`: `>=0.1.2-alpha.2 <0.3.0-0`
+  - `@deepseek-ai/dsh-llm`: `>=0.1.2-alpha.2 <0.3.0-0`
+  - `@deepseek-ai/dsh-settings`: `>=0.1.2-alpha.2 <0.3.0-0`
+  - `@deepseek-ai/dsh-storage-domain`: `>=0.1.2-alpha.2 <0.3.0-0`
+- **验证版本**：`dsh 0.2.0-rc.2`
+- **最后验证日期**：2026-10-19
+- **安装方式已验证**：`dsh plugin --profile web add dsh-engram`

package/lib/anchor.js

@@ -0,0 +1,124 @@
+/**
+ * dsh-engram revalidatable file anchors (PROPOSAL-evolution §4 v0.7-C).
+ *
+ * "The past is treated as truth" is the strongest critique against memory
+ * plugins: a fact written last week may describe code that changed yesterday.
+ * An anchor makes staleness DETECTABLE instead of trusted:
+ *
+ *   { path, mtimeMs, size, hash?, at }
+ *
+ * - `makeFileAnchor` records the file's identity when a memory is written
+ *   (sha256 for small files, mtime+size for every file — cheap default);
+ * - `anchorStatus` re-stats (and re-hashes when a hash exists) and returns
+ *   `valid | changed | missing`;
+ * - `collectStaleAnchors` scans a bounded set of active memories so the index
+ *   / entity truth can drop rows whose source moved, and the caller can tag
+ *   them `stale` (never deleted — still re-fetchable via engram_detail).
+ *
+ * Zero LLM, fail-contained: any filesystem error reads as "missing", never
+ * throws into a render path.
+ */
+
+import { createHash } from "node:crypto";
+import { readFileSync, statSync } from "node:fs";
+import path from "node:path";
+
+const DEFAULT_MAX_HASH_BYTES = 256 * 1024;
+
+function hashFile(file, size) {
+  try {
+    return createHash("sha256").update(readFileSync(file)).digest("hex").slice(0, 32);
+  } catch {
+    return null;
+  }
+}
+
+function absolute(filePath, baseDir) {
+  const raw = String(filePath ?? "").trim();
+  if (raw.length === 0) return "";
+  if (path.isAbsolute(raw)) return raw;
+  return typeof baseDir === "string" && baseDir.length > 0 ? path.resolve(baseDir, raw) : path.resolve(raw);
+}
+
+/**
+ * Build an anchor for an existing file, or null when it cannot be stat'ed.
+ *
+ * @param {string} filePath file path as stored on the memory
+ * @param {object} [opts]
+ * @param {string} [opts.baseDir] directory for relative paths (the workspace)
+ * @param {number} [opts.now]
+ * @param {number} [opts.maxHashBytes] hash only files up to this size
+ */
+export function makeFileAnchor(filePath, { baseDir = "", now = Date.now(), maxHashBytes = DEFAULT_MAX_HASH_BYTES } = {}) {
+  const abs = absolute(filePath, baseDir);
+  if (abs.length === 0) return null;
+  try {
+    const stat = statSync(abs);
+    if (!stat.isFile()) return null;
+    return {
+      path: abs,
+      mtimeMs: stat.mtimeMs,
+      size: stat.size,
+      hash: stat.size <= maxHashBytes ? hashFile(abs, stat.size) : null,
+      at: now,
+    };
+  } catch {
+    return null;
+  }
+}
+
+/**
+ * Revalidate one anchor: `valid` | `changed` | `missing` (`none` when absent).
+ */
+export function anchorStatus(anchor) {
+  if (anchor === null || anchor === void 0 || typeof anchor.path !== "string" || anchor.path.length === 0) {
+    return "none";
+  }
+  let stat;
+  try {
+    stat = statSync(anchor.path);
+  } catch {
+    return "missing";
+  }
+  if (!stat.isFile()) return "missing";
+  if (stat.size !== anchor.size || stat.mtimeMs !== anchor.mtimeMs) {
+    // mtime can survive content changes only in exotic cases; when a hash was
+    // recorded, let it decide before declaring the file changed.
+    if (typeof anchor.hash !== "string") return "changed";
+    const hash = hashFile(anchor.path, stat.size);
+    return hash === anchor.hash ? "valid" : "changed";
+  }
+  if (typeof anchor.hash === "string") {
+    const hash = hashFile(anchor.path, stat.size);
+    return hash === anchor.hash ? "valid" : "changed";
+  }
+  return "valid";
+}
+
+/** Is this memory's source still the same file it was written against? */
+export function memoryIsStale(memory) {
+  if (memory === null || typeof memory !== "object") return false;
+  const status = anchorStatus(memory.anchor);
+  return status === "changed" || status === "missing";
+}
+
+/**
+ * Bounded scan of active anchored memories whose source moved/vanished.
+ * Returns [{ id, status, path }] and never throws.
+ */
+export function collectStaleAnchors(store, workspace, { limit = 40 } = {}) {
+  if (store === null || typeof store.listMemories !== "function") return [];
+  const cap = Number.isFinite(limit) && limit > 0 ? Math.trunc(limit) : 40;
+  const rows = store.listMemories(workspace, 200);
+  const out = [];
+  for (const memory of rows) {
+    if (out.length >= cap) break;
+    if (memory?.anchor === null || memory?.anchor === void 0) continue;
+    if (Array.isArray(memory.tags) && memory.tags.includes("stale")) continue;
+    const status = anchorStatus(memory.anchor);
+    if (status === "changed" || status === "missing") {
+      out.push({ id: memory.id, status, path: memory.anchor.path });
+    }
+  }
+  return out;
+}

package/lib/api.js

@@ -163,6 +163,7 @@ export function makeEngramRoutes(service) {
       captures: service.captureStats ?? { total: 0, git: 0, file: 0, error: 0, preference: 0 },
       gc: service.gcStats ?? { lastRun: 0, archivedMemories: 0, archivedTasks: 0, removedLinks: 0 },
       activation: service.packTelemetry ? service.packTelemetry() : { boundaryPrune: null, recall: null },
+      ledger: service.ledger ? service.ledger() : null,
       compaction: service.compactionStatus ?? { host: "unknown", web: { action: "unknown", presets: [] } },
       config: service.config ?? {},
       anonymous: {
@@ -517,6 +518,10 @@ export function makeEngramRoutes(service) {
       // activation record (fires actually landed on this profile) + the
       // [RECALL] injection-funnel leg (blocks actually injected into sessions).
       activation: service.packTelemetry ? service.packTelemetry() : { boundaryPrune: null, recall: null },
+      // Context Ledger (PROPOSAL-evolution §4 v0.6-A): spent vs saved context,
+      // net of prefix rewrites. Persisted rollup + unflushed live sessions.
+      ledger: service.ledger ? service.ledger() : null,
+      jit: service.jitStats ? service.jitStats() : null,
     });
   };
 

package/lib/boundary-prune.js

@@ -130,7 +130,8 @@ export function expectedSessionRequests(requestsSoFar, history, workspace, floor
 
 /** Install the boundary-prune listener. Returns a disposer. */
 export function installBoundaryPrune(ctx, config, log, hooks = {}, opts = {}) {
-  const enabled = config?.boundaryPrune === true;
+  // Default ON (v0.6 default correction): explicit `false` is the opt-out.
+  const enabled = config?.boundaryPrune !== false;
   if (!enabled) return () => {};
   const pruner = ctx.get?.("toolResultPruner");
   if (!pruner || typeof pruner.pruneSession !== "function") {
@@ -142,6 +143,13 @@ export function installBoundaryPrune(ctx, config, log, hooks = {}, opts = {}) {
     : DEFAULT_MIN_REMAINING;
   // History is injectable for tests; production reads the real session corpus.
   const history = opts?.history ?? workspaceHistory();
+  // Adaptive safety valve (PROPOSAL-evolution v0.6-B): the Context Ledger can
+  // veto further fires when a workspace's own accounting says pruning is net
+  // negative after enough real fires. The repayment gate still runs first;
+  // this is purely evidence-based off, never speculative on.
+  const adaptive = config?.boundaryPruneAdaptive !== false;
+  const allowFire = typeof opts?.allowFire === "function" ? opts.allowFire : () => true;
+  const blockedNotified = new Set();
 
   // Optional threshold override (ResultPack L0, T2048 landing): the host pruner
   // ships a fixed threshold (8192) that the plugin cannot change in place. When
@@ -235,6 +243,24 @@ export function installBoundaryPrune(ctx, config, log, hooks = {}, opts = {}) {
 
   /** Shared fire path for every boundary source (event + step-cadence). */
   const fireBoundary = (session, boundary, state, expectedTotal) => {
+    if (adaptive) {
+      const workspace = wk(session?.header?.cwd);
+      let allowed = true;
+      try {
+        allowed = allowFire(workspace) !== false;
+      } catch {
+        allowed = true; // a gate bug must never disable pruning
+      }
+      if (!allowed) {
+        if (!blockedNotified.has(workspace)) {
+          blockedNotified.add(workspace);
+          log?.info?.(
+            `engram boundary-prune: ledger gate holds for ${workspace} (net negative) — skipping further prunes`,
+          );
+        }
+        return;
+      }
+    }
     const result = activePruner.pruneSession(session);
     const prunedNow = result?.pruned?.length ?? 0;
     if (prunedNow > 0) {

package/lib/client.js

@@ -2023,6 +2023,11 @@ function pct(v) {
   if (v === null || v === void 0) return "\u2013";
   return `${Math.round(v * 100)}%`;
 }
+function tokenCount(n) {
+  const sign = n > 0 ? "+" : n < 0 ? "\u2212" : "";
+  const abs = Math.abs(n);
+  return abs >= 1e3 ? `${sign}${(abs / 1e3).toFixed(1)}k` : `${sign}${abs}`;
+}
 function EngramTelemetry({ api, workspace }) {
   const { dark, vars } = useEngramTheme();
   const [stats, setStats] = (0, import_react5.useState)(null);
@@ -2065,6 +2070,10 @@ function EngramTelemetry({ api, workspace }) {
   }, [stats]);
   const dose = stats && stats.ratios ? stats.ratios : null;
   const sampleText = stats && stats.ratios && stats.ratios.calls < 10 ? `\u6837\u672C\u4E0D\u8DB3\uFF08${stats.ratios.calls} \u6B21\uFF09\uFF0C\u6BD4\u4F8B\u4EC5\u4F9B\u53C2\u8003` : null;
+  const ledger = stats?.ledger ?? null;
+  const ledgerBucket = ledger === null ? null : workspace === "" ? ledger.totals : ledger.byWorkspace?.[workspace] ?? null;
+  const ledgerDays = ledger === null || workspace !== "" ? [] : [...ledger.byDay ?? []].slice(0, 14).reverse();
+  const ledgerMax = Math.max(1, ...ledgerDays.map((d) => Math.abs(d.netTokens)));
   const hb2 = {
     root: { display: "flex", flexDirection: "column", gap: 12, ...vars },
     head: { display: "flex", alignItems: "center", gap: 8, flexWrap: "wrap" },
@@ -2178,6 +2187,68 @@ function EngramTelemetry({ api, workspace }) {
           /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: hb2.statLabel, children: "\u5931\u8D25\u6B21\u6570" })
         ] })
       ] }),
+      /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: hb2.panel, children: [
+        /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: { ...hb2.panelTitle, display: "flex", alignItems: "baseline", gap: 8, flexWrap: "wrap" }, children: [
+          "Context Ledger \xB7 \u4E0A\u4E0B\u6587\u51C0\u6536\u76CA",
+          /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("span", { style: hb2.sub, children: workspace === "" ? "\u5168\u90E8\u5DE5\u4F5C\u533A" : workspace })
+        ] }),
+        !ledger ? /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: hb2.sub, children: "\u8D26\u672C\u672A\u542F\u7528\uFF08`ledgerEnabled:false`\uFF09\u6216\u5BBF\u4E3B API \u672A\u5C31\u7EEA\u3002" }) : !ledgerBucket ? /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: hb2.sub, children: "\u8BE5\u5DE5\u4F5C\u533A\u8FD8\u6CA1\u6709\u8D26\u672C\u8BB0\u5F55\u3002" }) : /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)(import_jsx_runtime5.Fragment, { children: [
+          /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: { display: "flex", alignItems: "baseline", gap: 10, flexWrap: "wrap" }, children: [
+            /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("span", { style: { ...hb2.statNum, fontSize: 24, color: ledgerBucket.netTokens >= 0 ? "#059669" : "#dc2626" }, children: tokenCount(ledgerBucket.netTokens) }),
+            /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("span", { style: hb2.statLabel, children: "\u51C0 token\uFF08\u8282\u7701 \u2212 \u6CE8\u5165 \u2212 \u91CD\u5199\u7F5A\u91D1\uFF09" }),
+            /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("span", { style: hb2.gaugeSub, children: [
+              "\u8BF7\u6C42 ",
+              ledgerBucket.requests,
+              " \xB7 \u4F1A\u8BDD ",
+              ledgerBucket.sessions,
+              " \xB7 open ",
+              ledger.openSessions,
+              stats.jit ? ` \xB7 JIT \u63A8\u9001 ${stats.jit.pushes}` : ""
+            ] })
+          ] }),
+          /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: { ...hb2.grid, marginTop: 8 }, children: [
+            /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: hb2.statCard, children: [
+              /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: { ...hb2.statNum, color: "#059669" }, children: tokenCount(ledgerBucket.avoidedTokens) }),
+              /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: hb2.statLabel, children: "\u8282\u7701 \xB7 \u526A\u679D/\u538B\u7F29" })
+            ] }),
+            /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: hb2.statCard, children: [
+              /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: { ...hb2.statNum, color: "#d97706" }, children: tokenCount(-ledgerBucket.injectedTokens) }),
+              /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: hb2.statLabel, children: "\u6CE8\u5165\u6210\u672C \xB7 \u7D22\u5F15/\u53EC\u56DE/ESR" })
+            ] }),
+            /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: hb2.statCard, children: [
+              /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: { ...hb2.statNum, color: "#dc2626" }, children: tokenCount(-Math.round(ledgerBucket.rewritesCostChars / ledger.charsPerToken)) }),
+              /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: hb2.statLabel, children: [
+                "\u91CD\u5199\u7F5A\u91D1 \xB7 ",
+                ledgerBucket.rewriteCount,
+                " \u6B21"
+              ] })
+            ] })
+          ] }),
+          /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: { ...hb2.sub, marginTop: 6 }, children: [
+            "\u53E3\u5F84\uFF1Achars/",
+            ledger.charsPerToken,
+            " \u4F30\u7B97 \xB7 \u7F13\u5B58\u6298\u4EF7 ",
+            Math.round(ledger.cacheDiscount * 100),
+            "% \uFF08\u91CD\u5199\u6309 ",
+            Math.round((1 - ledger.cacheDiscount) * 100),
+            "% \u8BA1\uFF09\xB7 \u672A\u8BA1\u6A21\u578B\u8D28\u91CF\u5DEE"
+          ] }),
+          ledgerDays.length > 0 && /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("svg", { width: 460, height: 96, viewBox: "0 0 460 96", style: { display: "block", maxWidth: "100%", marginTop: 8 }, children: [
+            /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("line", { x1: 0, y1: 48, x2: 460, y2: 48, stroke: dark ? "rgba(148,163,184,.35)" : "rgba(107,114,128,.35)", strokeDasharray: "3 3" }),
+            ledgerDays.map((d, i) => {
+              const w = Math.max(6, Math.min(22, 420 / ledgerDays.length - 4));
+              const x = 8 + i * (w + 4);
+              const h = Math.abs(d.netTokens) / ledgerMax * 38;
+              const positive = d.netTokens >= 0;
+              return /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("g", { children: [
+                /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("rect", { x, y: positive ? 48 - h : 48, width: w, height: Math.max(1, h), rx: 2, fill: positive ? "#059669" : "#dc2626", children: /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("title", { children: `${d.day} \xB7 net ${d.netTokens} tok \xB7 \u8BF7\u6C42 ${d.requests}` }) }),
+                /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("text", { x: x + w / 2, y: 92, fontSize: 8, fill: dark ? "#8b93a7" : "#6b7280", textAnchor: "middle", children: (d.day ?? "").slice(5).replace("-", "/") })
+              ] }, d.day);
+            })
+          ] }),
+          /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: { ...hb2.sub, marginTop: 4 }, children: "\u7EFF = \u5F53\u65E5\u51C0\u7701 \xB7 \u7EA2 = \u5F53\u65E5\u51C0\u4E8F\uFF08\u6309\u5929\u6EDA\u52A8\uFF0C\u6700\u8FD1 14 \u5929\uFF09" })
+        ] })
+      ] }),
       /* @__PURE__ */ (0, import_jsx_runtime5.jsxs)("div", { style: hb2.panel, children: [
         /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: hb2.panelTitle, children: "\u8FD1 14 \u5929\u6BCF\u65E5\u6D3B\u52A8 \xB7 mem vs esr" }),
         daily.rows.length === 0 ? /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("div", { style: hb2.sub, children: "\u8FD8\u6CA1\u6709\u6309\u5929\u6570\u636E\uFF08\u5DE5\u5177\u8C03\u7528\u4F1A\u5B9E\u65F6\u7D2F\u8BA1\uFF09\u3002" }) : /* @__PURE__ */ (0, import_jsx_runtime5.jsx)("svg", { width: BW, height: BH, viewBox: `0 0 ${BW} ${BH}`, style: { display: "block", maxWidth: "100%" }, children: daily.rows.map((d, i) => {
@@ -2636,8 +2707,14 @@ function EngramDetail({ target, api, tasks, nodes, links, memories = [], onClose
 
 // client/src/EngramSection.tsx
 var import_jsx_runtime7 = require("react/jsx-runtime");
+function signedTokens(n) {
+  const sign = n > 0 ? "+" : n < 0 ? "\u2212" : "";
+  const abs = Math.abs(n);
+  return abs >= 1e3 ? `${sign}${(abs / 1e3).toFixed(1)}k` : `${sign}${abs}`;
+}
 var KIND_COLORS2 = {
   preference: "#b45309",
+  episode: "#0e7490",
   decision: "#2563eb",
   error: "#dc2626",
   procedure: "#7c3aed",
@@ -3140,6 +3217,7 @@ function EngramSection({ api, t }) {
             const memNum = wsCounts ? wsCounts.memories : overview.totals.memories;
             const taskNum = wsCounts ? wsCounts.tasks : overview.totals.tasks;
             const linkNum = wsCounts ? wsCounts.links : overview.totals.links;
+            const ledgerBucket = overview.ledger ? workspace && overview.ledger.byWorkspace[workspace] || overview.ledger.totals : null;
             return /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: s2.stats, children: [
               /* @__PURE__ */ (0, import_jsx_runtime7.jsx)(StatCard, { num: String(memNum), label: wsCounts ? "\u8BB0\u5FC6 (active)" : "\u8BB0\u5FC6 (active, \u5168\u5C40)" }),
               /* @__PURE__ */ (0, import_jsx_runtime7.jsx)(StatCard, { num: String(taskNum), label: wsCounts ? "\u4EFB\u52A1 (active)" : "\u4EFB\u52A1 (active, \u5168\u5C40)" }),
@@ -3161,6 +3239,13 @@ function EngramSection({ api, t }) {
                   num: String(gc.archivedMemories + gc.archivedTasks),
                   label: `GC \u5DF2\u5F52\u6863 \xB7 \u94FE\u63A5-${gc.removedLinks}`
                 }
+              ),
+              ledgerBucket && /* @__PURE__ */ (0, import_jsx_runtime7.jsx)(
+                StatCard,
+                {
+                  num: signedTokens(ledgerBucket.netTokens),
+                  label: `\u4E0A\u4E0B\u6587\u51C0 token \xB7 \u8BF7\u6C42 ${ledgerBucket.requests}`
+                }
               )
             ] });
           })(),
@@ -3613,10 +3698,15 @@ var import_jsx_runtime8 = require("react/jsx-runtime");
 var COMMON_FIELDS = [
   { key: "autoCapture", label: "\u81EA\u52A8\u6355\u83B7", hint: "\u96F6 LLM \u4ECE\u5DE5\u5177\u7ED3\u679C\u63D0\u53D6\u8BB0\u5FC6\uFF08git/\u5173\u952E\u6587\u4EF6/\u9519\u8BEF\uFF09", kind: "bool" },
   { key: "autoCapturePreferences", label: "\u504F\u597D\u6355\u83B7", hint: "\u7528\u6237\u7EA0\u6B63/\u504F\u597D\u5B66\u4E60\uFF1A\u68C0\u6D4B\u6D88\u606F\u91CC\u7684\u300C\u4E0D\u8981\u7528X/\u6539\u7528Y/prefer/never use\u300D\u53E5\u5F0F\uFF0C\u81EA\u52A8\u6C89\u6DC0\u4E3A preference \u8BB0\u5FC6\u5E76\u7F6E\u9876 [ENGRAM]\uFF08correx/PAHF \u5F0F\uFF0C\u96F6 LLM\uFF09", kind: "bool" },
-  { key: "boundaryPrune", label: "\u8FB9\u754C\u526A\u679D", hint: "ResultPack L1\uFF1Atodo \u5B8C\u6210/goal \u7EC8\u6001\u8FB9\u754C\u4E3B\u52A8\u526A\u6389\u8D85\u9608\u503C\u65E7\u5DE5\u5177\u7ED3\u679C\uFF08DSH \u786E\u5B9A\u6027 surface-replace\u3001\u507F\u8FD8\u95E8\u3001\u96F6 LLM\uFF1B\u9ED8\u8BA4\u5173\uFF09", kind: "bool" },
+  { key: "boundaryPrune", label: "\u8FB9\u754C\u526A\u679D", hint: "ResultPack L1\uFF1Atodo \u5B8C\u6210/goal \u7EC8\u6001\u8FB9\u754C\u4E3B\u52A8\u526A\u6389\u8D85\u9608\u503C\u65E7\u5DE5\u5177\u7ED3\u679C\uFF08DSH \u786E\u5B9A\u6027 surface-replace\u3001\u507F\u8FD8\u95E8\u3001\u96F6 LLM\uFF1B\u9ED8\u8BA4\u5F00\uFF0C\u5173=opt-out\uFF09", kind: "bool" },
+  { key: "boundaryPruneAdaptive", label: "\u526A\u679D\u81EA\u9002\u5E94", hint: "\u8D26\u672C\u5426\u51B3\uFF1A\u8BE5 workspace \u771F\u5B9E\u526A\u679D\u540E\u51C0\u6536\u76CA\u4E3A\u8D1F\uFF08\u22653 \u6B21\uFF09\u65F6\u81EA\u52A8\u505C\u6B62\u7EE7\u7EED\u526A\uFF1B\u8BC1\u636E\u53EA\u80FD\u5173\u3001\u4E0D\u4F1A\u81EA\u884C\u5F00", kind: "bool" },
   { key: "boundaryPruneThresholdChars", label: "\u526A\u679D\u9608\u503C(\u5B57\u7B26)", hint: "\u8986\u76D6\u5BBF\u4E3B 8192\uFF1A\u8BBE 2048 \u53EF\u66F4\u65E9\u5F00\u526A\uFF0C\u5E76\u914D L2 \u5F52\u6863\u627E\u56DE\u88AB\u526A\u4E2D\u6BB5\uFF1B\u7559\u7A7A=\u5BBF\u4E3B\u9ED8\u8BA4\u3002\u5EFA\u8BAE\u540C\u65F6\u628A\u4FDD\u7559\u8FB9\u7F18\u8C03\u5C0F\uFF08\u5982 1024/256\uFF09\u4EE5\u83B7\u5F97\u6700\u5927\u8282\u7701", kind: "num", min: 256, max: 16384, step: 256 },
-  { key: "resultPack", label: "\u7ED3\u679C\u5F52\u6863\u53EC\u56DE", hint: "ResultPack L2\uFF1A\u526A\u6389\u7684\u4E2D\u6BB5\u8131\u654F\u5F52\u6863\uFF0C\u8282\u70B9\u5C3E\u90E8\u9644 handle\uFF0C\u6A21\u578B\u53EF\u7528 result_recall(callId) \u6309\u9875\u53EC\u56DE\uFF08\u5B8C\u6574 ObservationPack\uFF1B\u9700\u4E0E\u8FB9\u754C\u526A\u679D\u4E00\u8D77\u5F00\uFF09", kind: "bool" },
+  { key: "resultPack", label: "\u7ED3\u679C\u5F52\u6863\u53EC\u56DE", hint: "ResultPack L2\uFF1A\u526A\u6389\u7684\u4E2D\u6BB5\u8131\u654F\u5F52\u6863\uFF0C\u8282\u70B9\u5C3E\u90E8\u9644 handle\uFF0C\u6A21\u578B\u53EF\u7528 result_recall(callId) \u6309\u9875\u53EC\u56DE\uFF08\u5B8C\u6574 ObservationPack\uFF1B\u9ED8\u8BA4\u5F00\uFF0C\u4FDD\u8BC1\u9ED8\u8BA4\u526A\u679D\u65E0\u635F\uFF1B\u9700\u4E0E\u8FB9\u754C\u526A\u679D\u4E00\u8D77\u5F00\uFF09", kind: "bool" },
   { key: "autoRecallOnStart", label: "\u4F1A\u8BDD\u542F\u52A8\u81EA\u52A8\u53EC\u56DE", hint: "\u65B0\u4F1A\u8BDD\u6309\u9996\u6761\u6D88\u606F\u81EA\u52A8\u628A\u6700\u76F8\u5173\u8BB0\u5FC6\u6CE8\u5165 [RECALL] \u5757\uFF08\u65E0\u9700\u6A21\u578B\u60F3\u8D77\u8C03 engram_recall\uFF09\uFF1B\u5173\u6389=\u56DE\u5230\u7EAF\u62C9\u53D6", kind: "bool" },
+  { key: "jitEnabled", label: "JIT \u63A8\u9001", hint: "\u9519\u8BEF\u590D\u53D1 / \u6587\u4EF6\u7126\u70B9 / goal \u5B8C\u6210\u65F6\uFF0C\u628A\u5DF2\u6709\u8BB0\u5FC6\u538B\u6210\u4E00\u884C\u63A8\u8FDB\u4E0A\u4E0B\u6587\uFF08append-only\u3001\u6BCF\u4F1A\u8BDD\u22643 \u884C\u3001\u65E0\u547D\u4E2D\u6C89\u9ED8\uFF1B\u6BCF\u6B21\u63A8\u9001\u6309\u524D\u7F00\u91CD\u5199\u8BA1\u5165\u8D26\u672C\uFF09", kind: "bool" },
+  { key: "episodeEnabled", label: "\u4F1A\u8BDD\u7EAA\u8981", hint: "\u4F1A\u8BDD\u7ED3\u675F\u65F6\u7528\u96F6 LLM \u89C4\u5219\u751F\u6210\u4E00\u6761 episode\uFF08\u6587\u4EF6/\u547D\u4EE4/\u5931\u8D25\u2192\u4FEE\u590D/\u51B3\u7B56/\u672A\u95ED\u73AF\uFF09\uFF0C\u4E0D\u8FDB\u7D22\u5F15\uFF0C\u4F9B\u6062\u590D\u7B80\u62A5\u4F7F\u7528\uFF1B\u6BCF workspace \u4FDD\u7559\u6700\u8FD1 20 \u6761", kind: "bool" },
+  { key: "resumeBriefEnabled", label: "\u6062\u590D\u7B80\u62A5", hint: "\u65B0\u4F1A\u8BDD\u542F\u52A8\u65F6\u6CE8\u5165\u6700\u8FD1 7 \u5929\u7684\u6700\u65B0 episode\uFF08\u2264240 \u5B57\u7B26 + engram_detail \u6307\u9488\uFF09\uFF0C\u9694\u5929\u7EE7\u7EED\u4E0D\u7528\u91CD\u65B0\u4EA4\u4EE3\u80CC\u666F", kind: "bool" },
+  { key: "entityCardsEnabled", label: "\u5B9E\u4F53\u5361", hint: "[ENGRAM] \u7D22\u5F15\u4E3A\u6D3B\u8DC3\u5B9E\u4F53\uFF08\u6709\u951A\u5B9A\u8BB0\u5FC6\u6216\u672A\u95ED\u73AF\u4EFB\u52A1\uFF09\u6E32\u67D3\u4E00\u884C\u300C\u5F53\u524D\u771F\u76F8 + \u6253\u5F00\u4EFB\u52A1 + engram_detail(entity=\u2026) \u6307\u9488\u300D\uFF0C\u6700\u591A 2 \u5F20\uFF0C\u66FF\u4EE3\u8FD9\u4E9B\u5B9E\u4F53\u7684\u5E73\u94FA\u8BB0\u5FC6\u884C", kind: "bool" },
   { key: "maxRecallPerSession", label: "\u6BCF\u4F1A\u8BDD\u53BB\u91CD\u4E0A\u9650", hint: "recall \u6BCF\u4F1A\u8BDD\u6700\u591A\u4FDD\u7559 N \u6761\uFF08\u8DE8\u4F1A\u8BDD\u53BB\u91CD\uFF09", kind: "num", min: 1, max: 10 },
   { key: "expireDays", label: "TTL\uFF08\u5929\uFF09", hint: "0 = \u4E0D\u8FC7\u671F", kind: "num", min: 0, max: 3650 },
   { key: "indexMaxChars", label: "\u7D22\u5F15\u5B57\u7B26\u4E0A\u9650", hint: "[ENGRAM] \u5757 token \u9884\u7B97", kind: "num", min: 0, max: 4e3 }