dsh-gokifu-compact 1.11.13 → 1.11.14

package/CHANGELOG.md

@@ -1,5 +1,49 @@
 # 更新记录
 
+## 1.11.14 — 2026-10-31
+
+### S3 · 降级要看得见：规则摘要会在热清单里明说「这次没有模型润色」
+
+**问题**：模型调用失败时 `summarize` 会退到**规则摘要**（纯模板拼装）。这一步**静默发生** ——
+用户只看到「压缩过了」，不知道这次的摘要**没有经过模型**，遇到摘要质量差时会以为插件坏了。
+
+**改法**
+
+- `summarize` 的**四条路径**（含 auto 与 manual）都写两个字段到图上：
+  **`lastFoldMode`**（`"rules"` / `"hybrid"` / `"llm"`）与 **`lastFoldDegraded`**（同一事实的布尔别名，
+  热清单/诊断读哪个都行）。**写失败绝不影响摘要本身**。
+- 热清单在 `mode === "rules"` 时固定显示一行：**`⚠ 上次摘要是规则生成（无模型润色）`**；
+  `hybrid` 与旧图（没有这个字段）**不显示** —— 不制造假警报。
+- 这一行**计入 `prePathChars`**，**500 token 预算仍然成立**。
+
+### S4 · `minFold` 按窗口缩放：小窗口不再被 8000 卡住
+
+**问题**：`minFoldTokens` 原来是固定 **8000**。窗口小的模型（例如 32K）永远够不到这个门槛 ⇒
+**永远不 fold**，历史一直堆到溢出为止。
+
+- `resolveSpec` 返回 **`minFoldTokens = max(8000, 窗口 × 0.08)`**，`selectRange` 用它；
+  **overflow 分支回落配置值**（溢出自救不该被这个下限挡住）
+- **显式配置优先**：`8000` 只作为**默认哨兵**（注释里写明了这点），用户写了值就按用户的来
+
+**测试 +9（533 → 542）**：`ledger` S3-1/S3-2（提示行出现与不出现）、
+`engine-harness` S3-3…S3-5（四条路径写标记 / 旧图不显示 / 预算仍成立）+ **S4-1…S4-4**
+（缩放公式 / 显式配置优先 / overflow 回落 / 边界）、`manual-compact` MC-4 补 manual 标记。
+变异：删提示行 / rules 不写标记 / 取消缩放 —— 三条逐条红。
+
+### 验证
+
+- 全量：**542 passed / 0 skipped / 0 failed**（**45 个测试文件**；533 + 9）
+- `engine-harness` **39/0** · `ledger` **31/0** · `release-hardening` 22/0
+- `verify-install` **16/16**
+- `bench 2000`：**351 tokens**（与基线一致）
+- `npm pack --dry-run --json`：**75 文件**（数量不变）
+
+**未验证**
+
+- S3 的提示行只在**夹具与引擎级**验证过「rules 才出现」；**没有在真机上制造一次真实的模型失败**去确认它在真实热清单里的位置与可读性。
+- S4 的缩放只经单测覆盖；**没有在 32K 这类小窗口的真实会话里观察过 fold 频次变化**。
+- 「500 预算仍成立」是**按 token 估算**的（夹具上的 prePathChars 统计），不是真机计费对账。
+
 ## 1.11.13 — 2026-10-31
 
 ### ① 手动压缩失败**说人话**（新增房间 R16 `manual-compact`）

package/README.md

@@ -1,6 +1,6 @@
 # dsh-GOkifu-compact
 
-> 当前版本：**`1.11.13`** · npm [`dsh-gokifu-compact`](https://www.npmjs.com/package/dsh-gokifu-compact) · [GitHub Releases](https://github.com/MYCF711/dsh-GOkifu-compact/releases) · 更新记录见 [CHANGELOG.md](CHANGELOG.md)
+> 当前版本：**`1.11.14`** · npm [`dsh-gokifu-compact`](https://www.npmjs.com/package/dsh-gokifu-compact) · [GitHub Releases](https://github.com/MYCF711/dsh-GOkifu-compact/releases) · 更新记录见 [CHANGELOG.md](CHANGELOG.md)
 
 **DSH 的棋谱式上下文压缩后端 —— 把「历史 → 一段摘要」换成「历史 → 可复盘的棋谱 DAG + 每步只有 351 tokens 的热清单」。**
 
@@ -8,7 +8,7 @@
 热清单     351 tokens       （2000 边合成夹具 · L5 降级档 · 2026-10-30/10-31 两次实测同值；旧版全量 28,800）
 失败保留   8 / 8            （历史口径 †；官方 8 段模板 4.67 / 8）
 清单开销   未复现/待测       （原载 0.2% = 历史单会话 v1.3.1 后实测；无复跑命令、无对照组；源 evidence/真实计费核对.md）
-验证       533 项单测（0 skipped） · 真实包 8/8 † · 真实进程 fold 3~6/6 †
+验证       542 项单测（0 skipped） · 真实包 8/8 † · 真实进程 fold 3~6/6 †
 ```
 
 GO = 围棋，kifu = 棋谱，compact = 压缩。一局棋下完，棋谱上不只有落子顺序，还有每一手的评语。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-gokifu-compact",
-  "version": "1.11.13",
+  "version": "1.11.14",
   "description": "DSH context-compression backend with a go game record (kifu) DAG: node = position, edge = attempted move + result. Incremental fold (each span summarized once), failure memory that survives compaction, transposition detection (chess-engine style), and a tiny hot ledger rebuilt every step.",
   "repository": {
     "type": "git",

package/src/engine.mjs

@@ -331,6 +331,21 @@ export default class ChessCompactionEngine extends BasicCompactionEngine {
   }
   /* ────────────────────────── 摘要（唯一官方钩子） ────────────────────────── */
 
+  /**
+   * ★ S3（task-186）：把「本次 fold 的摘要来源」写进图（auto 与 manual 都经过 summarize）。
+   *   `lastFoldMode` = "rules" | "hybrid" | "llm"；`lastFoldDegraded` 是同一个事实的布尔别名
+   *   （热清单/诊断读哪个都行）。写失败绝不影响摘要本身。
+   */
+  #markFoldMode(g, mode) {
+    try {
+      if (g === null || typeof g !== "object") return;
+      g.lastFoldMode = mode;
+      g.lastFoldDegraded = mode === "rules";
+    } catch {
+      /* 图不可写时不打断摘要 */
+    }
+  }
+
   async summarize(input, agent, signal) {
     const session = agent.session;
     const g = this.#graph(session);
@@ -352,11 +367,17 @@ export default class ChessCompactionEngine extends BasicCompactionEngine {
       model: routed?.model ?? "rules",
     });
 
-    if (mode === "rules") return ruleResult();
+    if (mode === "rules") {
+      this.#markFoldMode(g, "rules");
+      return ruleResult();
+    }
 
     const target = summarizeTarget(this.chess, session, agent);
     if (target === undefined) {
-      if (mode === "hybrid") return ruleResult();
+      if (mode === "hybrid") {
+        this.#markFoldMode(g, "rules");
+        return ruleResult();
+      }
       throw new Error("chess-context: no provider/model available for summarization");
     }
 
@@ -431,6 +452,7 @@ export default class ChessCompactionEngine extends BasicCompactionEngine {
       this.ctx.logger?.warn?.(
         `chess-context: 摘要模型全部不可用（${String(error?.message ?? error)}）——退回规则摘要（零模型调用），保证 fold 能落地`,
       );
+      this.#markFoldMode(g, "rules");
       return {
         summary: [{ type: "text", text: ruleSummary(g, this.#activeRange()) }],
         rawOutput: undefined,
@@ -462,6 +484,7 @@ ${constraintsBlock.split("\n").map((l) => `- ${l}`).join("\n")}` });
       this._lastSummaryProvider = used.provider;
       this._lastSummaryModel = used.model;
     }
+    this.#markFoldMode(g, mode);
     return {
       summary,
       rawOutput: raw,
@@ -660,7 +683,8 @@ ${constraintsBlock.split("\n").map((l) => `- ${l}`).join("\n")}` });
       pricedNodes: measurement.nodes,
       eventAt: (seq) => session.eventAt(seq),
       retainTokens: spec.retainTokens,
-      minFoldTokens: this.chess.minFoldTokens,
+      // ★ S4：用 resolveSpec 算出的窗口缩放值；overflow 路径没有 spec.minFoldTokens ⇒ 回落配置值
+      minFoldTokens: spec.minFoldTokens ?? this.chess.minFoldTokens,
       overflow,
       balancedBefore: (seq) => toolPairingBalancedBefore(session, seq),
       balancedAfter: (seq) => toolPairingBalancedAfter(session, seq),
@@ -748,6 +772,7 @@ function resolvePolicy(chess, target) {
     headroomTokens: chess.headroomTokens,
     retainRatio: chess.retainRatio,
     retainTokens: chess.retainTokens,
+    minFoldTokens: chess.minFoldTokens,
   };
 }
 
@@ -778,7 +803,15 @@ function resolveSpec(policy, contextWindow, reservedCompletionTokens, firstFold
   if (retainTokens >= thresholdTokens) {
     throw new Error(`chess-context: retainTokens (${retainTokens}) must be less than threshold (${thresholdTokens})`);
   }
-  return { thresholdTokens, retainTokens, contextWindow };
+  // ★ S4（task-186）：minFoldTokens 默认按窗口缩放 —— `max(8000, 窗口×0.08)`。
+  //   旧默认恒 8000：小窗口下「1.2 步就够 fold」的夹具会被反复触发（每步都在压）。
+  //   显式配置优先：`minFoldTokens` 只要不是默认哨兵值 8000（preset 模板总写 8000 ⇒ 无法区分
+  //   「没配」与「配了默认值」），就按用户给的值走。
+  const DEFAULT_MIN_FOLD = 8000;
+  const configuredMinFold = Number(policy.minFoldTokens);
+  const scaledMinFold = Math.max(DEFAULT_MIN_FOLD, Math.floor(contextWindow * 0.08));
+  const minFoldTokens = Number.isFinite(configuredMinFold) && configuredMinFold !== DEFAULT_MIN_FOLD ? configuredMinFold : scaledMinFold;
+  return { thresholdTokens, retainTokens, contextWindow, minFoldTokens };
 }
 
 function summarizeTarget(chess, session, agent) {

package/src/rooms/ledger.mjs

@@ -599,6 +599,10 @@ export function renderLedger(g, { maxTokens = 500, tailFailures = 20, markers =
     if (level === 4 && doomed(4) && doomed(5)) continue;
     const lines = [];
     lines.push("<chess-ledger>");
+    // ★ S3 降级可见（task-186）：上一次 fold 的摘要是**规则生成**时固定打一行提示 ——
+    //   否则模型会把没有润色的规则事实当成正常摘要读。旧图没有这个字段 ⇒ 不显示（向后兼容）。
+    //   两个字段都认：`lastFoldMode`（规范字段）与 `lastFoldDegraded`（同时写的布尔别名）。
+    if (g.lastFoldMode === "rules" || g.lastFoldDegraded === true) lines.push("⚠ 上次摘要是规则生成（无模型润色）");
     // ★ C-17 rev6：L3+ 的 root 裁剪从 180 收到 168 —— 给「最小路径行」预留 12 字符。
     //   不这么做时，1.9.1 在 L3 恰好用满预算的会话（如 5b38b355 HEAD=497/1490 字符）
     //   只要多一行 `# path: n185` 就 501，成为唯一一个「新增超预算」。路径信息优先于