dsh-engram 0.5.0 → 0.6.0

package/lib/client.js

@@ -153,6 +153,28 @@ var EngramApi = class {
       })
     );
   }
+  /**
+   * Data contract (issue #3) — dump the selected workspace, or every
+   * workspace when omitted, as a `dsh-engram/export` v1 payload. The same
+   * format `POST /import` restores, so the dump is a portable backup.
+   */
+  async exportData(workspace) {
+    return readJson(await fetch(`${API_PREFIX}/export${query({ workspace })}`));
+  }
+  /**
+   * Data contract (issue #3) — restore a dump. `merge` adds missing rows
+   * (idempotent), `replace` wipes the target workspace first (the host then
+   * requires `confirm: "restore"`). `dryRun` plans without writing.
+   */
+  async importData(body) {
+    return readJson(
+      await fetch(`${API_PREFIX}/import`, {
+        method: "POST",
+        headers: { "content-type": "application/json" },
+        body: JSON.stringify(body)
+      })
+    );
+  }
   /** Settings card transport — read the `dsh-engram` namespace through our
    *  own HTTP API instead of the host connection/remote RPC. */
   async getSettings() {
@@ -2001,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);
@@ -2043,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" },
@@ -2156,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) => {
@@ -2254,7 +2347,7 @@ function gapsOf(t) {
   if (!t.memoryRefs || t.memoryRefs.length === 0) gaps.push("memory_ref");
   return gaps;
 }
-function EngramDetail({ target, api, tasks, nodes, links, onClose, onNavigateMemory, onChanged }) {
+function EngramDetail({ target, api, tasks, nodes, links, memories = [], onClose, onNavigateMemory, onChanged }) {
   const { dark, vars } = useEngramTheme();
   const [gArt, setGArt] = (0, import_react6.useState)("");
   const [gEval, setGEval] = (0, import_react6.useState)("");
@@ -2274,6 +2367,15 @@ function EngramDetail({ target, api, tasks, nodes, links, onClose, onNavigateMem
     if (target.kind !== "node" || !node) return [];
     return links.filter((l) => l.source === node.id || l.target === node.id).map((l) => ({ l, outgoing: l.source === node.id }));
   }, [links, node, target.kind]);
+  const memoryLinks = (0, import_react6.useMemo)(() => {
+    if (target.kind !== "memory") return null;
+    const m = target.memory;
+    return {
+      m,
+      replacedBy: memories.filter((x) => x.status === "active" && x.supersedes === m.id),
+      contradictedBy: memories.filter((x) => x.status === "active" && x.contradicts === m.id)
+    };
+  }, [target, memories]);
   const hb2 = {
     root: {
       ...vars,
@@ -2304,6 +2406,8 @@ function EngramDetail({ target, api, tasks, nodes, links, onClose, onNavigateMem
     badge: { fontSize: 10.5, fontWeight: 700, padding: "2px 8px", borderRadius: 999, color: "#fff" },
     tag: { fontSize: 11, padding: "1px 8px", borderRadius: 999, background: "var(--dsh-color-hover-bg, #f3f4f6)", color: "var(--dsh-color-muted, #6b7280)", border: "1px solid var(--dsh-color-border, #e5e7eb)" },
     chip: { fontSize: 11, padding: "2px 9px", borderRadius: 999, background: "rgba(37,99,235,.1)", color: "#2563eb", border: "1px solid rgba(37,99,235,.25)", cursor: "pointer" },
+    chipSup: { fontSize: 11, padding: "2px 9px", borderRadius: 999, background: "rgba(124,58,237,.1)", color: "#7c3aed", border: "1px solid rgba(124,58,237,.25)", cursor: "pointer" },
+    chipDanger: { fontSize: 11, padding: "2px 9px", borderRadius: 999, background: "rgba(220,38,38,.1)", color: "#dc2626", border: "1px solid rgba(220,38,38,.25)", cursor: "pointer" },
     input: { fontSize: 12, padding: "5px 8px", border: "1px solid var(--dsh-color-border, #d1d5db)", borderRadius: 8, background: "var(--dsh-color-surface, #ffffff)", color: "var(--dsh-color-muted-strong, #374151)", width: "100%", boxSizing: "border-box" },
     btn: { fontSize: 11.5, fontWeight: 600, padding: "5px 10px", borderRadius: 8, cursor: "pointer", border: "1px solid var(--dsh-color-border, #d1d5db)", background: "transparent", color: "var(--dsh-color-muted-strong, #374151)" },
     btnPrimary: { fontSize: 11.5, fontWeight: 700, padding: "5px 12px", borderRadius: 8, cursor: "pointer", border: "none", background: "#2563eb", color: "#fff" },
@@ -2442,6 +2546,29 @@ function EngramDetail({ target, api, tasks, nodes, links, onClose, onNavigateMem
             t
           ] }, t)) })
         ] }),
+        memoryLinks && (memoryLinks.m.supersedes || memoryLinks.m.contradicts || memoryLinks.replacedBy.length > 0 || memoryLinks.contradictedBy.length > 0) && /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("div", { style: hb2.section, children: [
+          /* @__PURE__ */ (0, import_jsx_runtime6.jsx)("div", { style: hb2.k, children: "\u66FF\u6362 / \u51B2\u7A81" }),
+          /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("div", { style: { display: "flex", gap: 5, flexWrap: "wrap", marginTop: 3 }, children: [
+            memoryLinks.m.supersedes && /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("span", { style: hb2.chipSup, title: `\u672C\u6761\u66FF\u4EE3 ${memoryLinks.m.supersedes}\uFF08\u65E7\u884C\u4FDD\u7559\u3001\u53EC\u56DE\u964D\u7EA7\uFF09`, onClick: () => onNavigateMemory(memoryLinks.m.supersedes), children: [
+              "\u66FF\u4EE3 #",
+              memoryLinks.m.supersedes.slice(0, 8)
+            ] }),
+            memoryLinks.m.contradicts && /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("span", { style: hb2.chipDanger, title: `\u672C\u6761\u4E0E ${memoryLinks.m.contradicts} \u51B2\u7A81\uFF08\u4E24\u6761\u90FD\u4FDD\u7559\uFF09`, onClick: () => onNavigateMemory(memoryLinks.m.contradicts), children: [
+              "\u51B2\u7A81 #",
+              memoryLinks.m.contradicts.slice(0, 8)
+            ] }),
+            memoryLinks.replacedBy.map((x) => /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("span", { style: hb2.chipSup, title: `\u5DF2\u88AB ${x.text.slice(0, 40)}\u2026 \u66FF\u4EE3`, onClick: () => onNavigateMemory(x.id), children: [
+              "\u2190 \u88AB #",
+              x.id.slice(0, 8),
+              " \u66FF\u4EE3"
+            ] }, x.id)),
+            memoryLinks.contradictedBy.map((x) => /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("span", { style: hb2.chipDanger, title: `${x.text.slice(0, 40)}\u2026 \u4E0E\u672C\u6761\u51B2\u7A81`, onClick: () => onNavigateMemory(x.id), children: [
+              "\u21C4 #",
+              x.id.slice(0, 8),
+              " \u51B2\u7A81"
+            ] }, x.id))
+          ] })
+        ] }),
         /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("div", { style: hb2.section, children: [
           /* @__PURE__ */ (0, import_jsx_runtime6.jsx)("div", { style: hb2.k, children: "\u5143\u6570\u636E" }),
           /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("div", { style: { display: "flex", flexDirection: "column", gap: 2, marginTop: 3, fontSize: 11.5, fontFamily: "ui-monospace, SFMono-Regular, Menlo, monospace", color: "var(--dsh-color-muted, #6b7280)" }, children: [
@@ -2469,6 +2596,18 @@ function EngramDetail({ target, api, tasks, nodes, links, onClose, onNavigateMem
               " \xB7 updated ",
               fmtDate(target.memory.updatedAt)
             ] }),
+            target.memory.source && /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("span", { children: [
+              "source ",
+              target.memory.source
+            ] }),
+            target.memory.conditions && /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("span", { children: [
+              "conditions ",
+              target.memory.conditions
+            ] }),
+            target.memory.filePath && /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("span", { children: [
+              "file ",
+              target.memory.filePath
+            ] }),
             /* @__PURE__ */ (0, import_jsx_runtime6.jsxs)("span", { children: [
               "TTL ",
               daysLeft(target.memory.expiresAt)
@@ -2568,6 +2707,11 @@ function EngramDetail({ target, api, tasks, nodes, links, onClose, onNavigateMem
 
 // 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",
   decision: "#2563eb",
@@ -2791,6 +2935,14 @@ function EngramSection({ api, t }) {
   const [closeEval, setCloseEval] = (0, import_react7.useState)("");
   const [closeRefs, setCloseRefs] = (0, import_react7.useState)("");
   const [closeBusy, setCloseBusy] = (0, import_react7.useState)(false);
+  const [importDump, setImportDump] = (0, import_react7.useState)(null);
+  const [importName, setImportName] = (0, import_react7.useState)("");
+  const [importMode, setImportMode] = (0, import_react7.useState)("merge");
+  const [importDryRun, setImportDryRun] = (0, import_react7.useState)(true);
+  const [importReplaceOk, setImportReplaceOk] = (0, import_react7.useState)(false);
+  const [importBusy, setImportBusy] = (0, import_react7.useState)(false);
+  const [importReport, setImportReport] = (0, import_react7.useState)(null);
+  const [dataError, setDataError] = (0, import_react7.useState)(null);
   const refresh = (0, import_react7.useCallback)(async () => {
     setBusy(true);
     setError(null);
@@ -2847,6 +2999,24 @@ function EngramSection({ api, t }) {
     for (const t2 of tasks) map.set(t2.id, t2.name);
     return (id) => map.get(id) ?? id;
   }, [nodes, tasks]);
+  const supersedeIndex = (0, import_react7.useMemo)(() => {
+    const replacedBy = /* @__PURE__ */ new Map();
+    const contradictedBy = /* @__PURE__ */ new Map();
+    for (const m of memories) {
+      if (m.status !== "active") continue;
+      if (m.supersedes) {
+        const list = replacedBy.get(m.supersedes) ?? [];
+        list.push(m);
+        replacedBy.set(m.supersedes, list);
+      }
+      if (m.contradicts) {
+        const list = contradictedBy.get(m.contradicts) ?? [];
+        list.push(m);
+        contradictedBy.set(m.contradicts, list);
+      }
+    }
+    return { replacedBy, contradictedBy };
+  }, [memories]);
   (0, import_react7.useEffect)(() => {
     if (!newTaskWs && workspaces.length > 0 && !workspace) setNewTaskWs(workspaces[0]);
   }, [newTaskWs, workspaces, workspace]);
@@ -2880,6 +3050,60 @@ function EngramSection({ api, t }) {
       setGcRunning(false);
     }
   };
+  const downloadExport = async () => {
+    setDataError(null);
+    try {
+      const dump = await api.exportData(workspace || void 0);
+      const blob = new Blob([JSON.stringify(dump, null, 2)], { type: "application/json" });
+      const url = URL.createObjectURL(blob);
+      const a = document.createElement("a");
+      const safe = (workspace || "all").replace(/[^a-zA-Z0-9._-]+/g, "_");
+      a.href = url;
+      a.download = `dsh-engram-export-${safe}-${(/* @__PURE__ */ new Date()).toISOString().slice(0, 10)}.json`;
+      a.click();
+      URL.revokeObjectURL(url);
+    } catch (e) {
+      setDataError(e instanceof Error ? e.message : String(e));
+    }
+  };
+  const pickImportFile = async (file) => {
+    setDataError(null);
+    setImportReport(null);
+    setImportDump(null);
+    setImportName("");
+    if (!file) return;
+    try {
+      const text = await file.text();
+      setImportDump(JSON.parse(text));
+      setImportName(file.name);
+    } catch (e) {
+      setDataError(`\u65E0\u6CD5\u89E3\u6790 ${file.name}\uFF1A${e instanceof Error ? e.message : String(e)}`);
+    }
+  };
+  const runImport = async () => {
+    if (importDump === null) return;
+    if (importMode === "replace" && !importReplaceOk) {
+      setDataError("\u66FF\u6362\u6A21\u5F0F\u4F1A\u5148\u6E05\u7A7A\u76EE\u6807\u5DE5\u4F5C\u533A \u2014 \u8BF7\u5148\u52FE\u9009\u786E\u8BA4");
+      return;
+    }
+    setImportBusy(true);
+    setDataError(null);
+    try {
+      const report = await api.importData({
+        payload: importDump,
+        mode: importMode,
+        dryRun: importDryRun,
+        workspace: workspace || void 0,
+        confirm: importMode === "replace" ? "restore" : void 0
+      });
+      setImportReport(report);
+      if (!report.dryRun) await refresh();
+    } catch (e) {
+      setDataError(e instanceof Error ? e.message : String(e));
+    } finally {
+      setImportBusy(false);
+    }
+  };
   const groupedRows = workspace === "" ? groupByWorkspace(memories) : [[workspace, memories]];
   const taskGroups = workspace === "" ? groupByWorkspace(tasks) : [[workspace, tasks]];
   const linkGroups = workspace === "" ? groupByWorkspace(links) : [[workspace, links]];
@@ -2992,6 +3216,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)" }),
@@ -3013,6 +3238,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}`
+                }
               )
             ] });
           })(),
@@ -3069,6 +3301,90 @@ function EngramSection({ api, t }) {
               ] }, l.id))
             ] })
           ] }),
+          /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: s2.subPanel, children: [
+            /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: { display: "flex", alignItems: "center", gap: 10, flexWrap: "wrap" }, children: [
+              /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("span", { style: { fontWeight: 700, fontSize: 13 }, children: "\u6570\u636E\u5907\u4EFD\uFF08export / import\uFF09" }),
+              /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("button", { style: s2.btn, title: "\u4E0B\u8F7D\u5F53\u524D\u5DE5\u4F5C\u533A\uFF08\u6216\u5168\u90E8\uFF09\u7684 dsh-engram/export v1 \u8F6C\u50A8", onClick: () => void downloadExport(), children: "\u5BFC\u51FA JSON" }),
+              /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("label", { style: { ...s2.btn, display: "inline-flex", alignItems: "center", gap: 6, cursor: "pointer" }, children: [
+                "\u9009\u62E9\u5BFC\u5165\u6587\u4EF6\u2026",
+                /* @__PURE__ */ (0, import_jsx_runtime7.jsx)(
+                  "input",
+                  {
+                    type: "file",
+                    accept: "application/json,.json",
+                    style: { display: "none" },
+                    onChange: (e) => {
+                      void pickImportFile(e.target.files?.[0] ?? null);
+                      e.currentTarget.value = "";
+                    }
+                  }
+                )
+              ] }),
+              importName && /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("span", { style: s2.mono, children: importName })
+            ] }),
+            /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: { fontSize: 11.5, color: "var(--dsh-color-muted, #6b7280)", marginTop: 4 }, children: [
+              "\u5BFC\u51FA\u5373\u53EF\u79FB\u690D\u5907\u4EFD\uFF08\u8BB0\u5FC6/\u4EFB\u52A1/\u5173\u7CFB/\u8282\u70B9\uFF0C\u542B\u5F52\u6863\uFF09\uFF1B",
+              /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("b", { children: "merge" }),
+              " \u53EA\u8865\u7F3A\u5931\uFF08\u5E42\u7B49\uFF09\uFF0C",
+              /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("b", { children: "replace" }),
+              " \u5148\u6E05\u7A7A\u76EE\u6807\u5DE5\u4F5C\u533A\u518D\u6062\u590D\u3002\u8BB0\u5FC6\u6B63\u6587\u4E0E\u6240\u6709\u5199\u5165\u8DEF\u5F84\u4E00\u6837\u8FC7\u8131\u654F\u3002"
+            ] }),
+            importDump !== null && /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: { marginTop: 8, display: "flex", flexDirection: "column", gap: 6 }, children: [
+              /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: { display: "flex", gap: 10, alignItems: "center", flexWrap: "wrap", fontSize: 12.5 }, children: [
+                /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("label", { style: { display: "inline-flex", gap: 4, alignItems: "center" }, children: [
+                  /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("input", { type: "checkbox", checked: importDryRun, onChange: (e) => setImportDryRun(e.target.checked) }),
+                  "\u4EC5\u9884\u89C8\uFF08dry run\uFF09"
+                ] }),
+                /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)(
+                  "select",
+                  {
+                    style: s2.input,
+                    value: importMode,
+                    onChange: (e) => {
+                      const mode = e.target.value;
+                      setImportMode(mode);
+                      if (mode !== "replace") setImportReplaceOk(false);
+                    },
+                    children: [
+                      /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("option", { value: "merge", children: "\u5408\u5E76\uFF08merge\uFF0C\u5E42\u7B49\uFF09" }),
+                      /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("option", { value: "replace", children: "\u66FF\u6362\uFF08replace\uFF0C\u5148\u6E05\u7A7A\u5DE5\u4F5C\u533A\uFF09" })
+                    ]
+                  }
+                ),
+                importMode === "replace" && /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("label", { style: { display: "inline-flex", gap: 4, alignItems: "center", color: "#b45309" }, children: [
+                  /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("input", { type: "checkbox", checked: importReplaceOk, onChange: (e) => setImportReplaceOk(e.target.checked) }),
+                  "\u6211\u786E\u8BA4\u66FF\u6362",
+                  workspace ? `\uFF08${workspace}\uFF09` : "\uFF08\u9700\u5148\u9009\u5DE5\u4F5C\u533A\uFF09"
+                ] }),
+                /* @__PURE__ */ (0, import_jsx_runtime7.jsx)(
+                  "button",
+                  {
+                    style: s2.btnPrimary,
+                    disabled: importBusy || importMode === "replace" && (!importReplaceOk || !workspace),
+                    onClick: () => void runImport(),
+                    children: importBusy ? "\u2026" : importDryRun ? "\u9884\u89C8\u5BFC\u5165" : "\u6267\u884C\u5BFC\u5165"
+                  }
+                )
+              ] }),
+              importReport && /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: { fontSize: 12.5 }, children: [
+                /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { children: [
+                  importReport.dryRun ? "dry-run \u9884\u89C8\uFF1A" : "\u5DF2\u5BFC\u5165\uFF1A",
+                  " ",
+                  Object.entries(importReport.written).map(([k, v]) => `${k} ${v}`).join(" \xB7 ") || "\u2014",
+                  importReport.skipped.length > 0 ? ` \xB7 \u8DF3\u8FC7 ${importReport.skipped.length}` : ""
+                ] }),
+                importReport.skipped.slice(0, 5).map((x, i) => /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: s2.mono, children: [
+                  "- ",
+                  x.table,
+                  " ",
+                  x.id ? x.id.slice(0, 8) : "?",
+                  ": ",
+                  x.reason
+                ] }, `${x.table}-${x.id ?? i}`))
+              ] }),
+              dataError && /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("div", { style: { fontSize: 12, color: "#dc2626", fontWeight: 600 }, children: dataError })
+            ] })
+          ] }),
           /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("div", { style: s2.row, children: [
             /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("select", { style: s2.input, value: kind, onChange: (e) => setKind(e.target.value), children: [
               /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("option", { value: "", children: "\u5168\u90E8\u7C7B\u578B" }),
@@ -3142,7 +3458,8 @@ function EngramSection({ api, t }) {
                 ] }) }, `h-${r.ws}`) : /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("tr", { children: [
                   /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("td", { style: { ...s2.td, whiteSpace: "nowrap" }, children: [
                     /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("span", { style: { ...s2.badge, background: KIND_COLORS2[r.m.kind] ?? "#6b7280" }, children: KIND_LABEL2[r.m.kind] ?? r.m.kind }),
-                    r.m.status === "archived" && /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("span", { style: { ...s2.tag, color: "#b45309", background: "#fef3c7" }, children: "archived" })
+                    r.m.status === "archived" && /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("span", { style: { ...s2.tag, color: "#b45309", background: "#fef3c7" }, children: "archived" }),
+                    supersedeIndex.replacedBy.has(r.m.id) && /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("span", { style: { ...s2.tag, color: "#b45309", background: "#fef3c7" }, title: `\u5DF2\u88AB ${(supersedeIndex.replacedBy.get(r.m.id) ?? []).map((x) => `#${x.id.slice(0, 8)}`).join(", ")} \u66FF\u4EE3\uFF08\u65E7\u884C\u4FDD\u7559\u3001\u53EC\u56DE\u964D\u7EA7\uFF09`, children: "\u5DF2\u66FF\u6362" })
                   ] }),
                   /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("td", { style: { ...s2.td, minWidth: 0 }, children: [
                     /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("div", { title: r.m.text, style: expandedRows.has(r.m.id) ? s2.expanded : s2.clamp3, children: r.m.text }),
@@ -3159,7 +3476,11 @@ function EngramSection({ api, t }) {
                         " \xB7 ",
                         daysLeft2(r.m.expiresAt)
                       ] }),
-                      /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("button", { style: s2.linkBtn, onClick: () => toggleExpand(r.m.id), children: expandedRows.has(r.m.id) ? "\u6536\u8D77" : "\u5C55\u5F00\u5168\u6587" })
+                      /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("button", { style: s2.linkBtn, onClick: () => toggleExpand(r.m.id), children: expandedRows.has(r.m.id) ? "\u6536\u8D77" : "\u5C55\u5F00\u5168\u6587" }),
+                      r.m.supersedes && /* @__PURE__ */ (0, import_jsx_runtime7.jsxs)("button", { style: s2.linkBtn, title: `\u6253\u5F00\u88AB\u66FF\u4EE3\u7684\u65E7\u8BB0\u5FC6 ${r.m.supersedes}`, onClick: () => openMemory(r.m.supersedes), children: [
+                        "\u66FF\u4EE3 #",
+                        r.m.supersedes.slice(0, 8)
+                      ] })
                     ] }),
                     r.m.tags.length > 0 && /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("div", { style: { marginTop: 3, display: "flex", flexWrap: "wrap", gap: 4 }, children: r.m.tags.map((tag) => /* @__PURE__ */ (0, import_jsx_runtime7.jsx)("span", { style: s2.tag, children: tag }, tag)) })
                   ] }),
@@ -3359,6 +3680,7 @@ ${r.m.text.slice(0, 60)}`)) void act(() => api.remove(r.m.id, r.m.workspace));
             tasks,
             nodes,
             links,
+            memories,
             onClose: () => setDetail(null),
             onNavigateMemory: openMemory,
             onChanged: () => void refresh()
@@ -3375,10 +3697,12 @@ 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: "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 }