dsh-whale-loli 0.5.3 → 0.5.5

package/README.md

@@ -96,17 +96,26 @@ Cannot read properties of undefined (reading 'kind')
 连 `step/start` 都没有，极难定位。所以无论裁剪成功、失败还是跳过，都必须 `return next()`。
 `verify-history-window.mjs` 第 9 组用例复刻了这个 waterfall 语义，并保留了一个「老写法必崩」的反例。
 
-#### ⚠️ 裁剪写的事件必须带合法 `turn`
+#### ⚠️ 裁剪写的事件必须是宿主认得的形状（这条踩了三次）
 
-宿主的会话格式校验（`dsh-session-format-v3-to-v4`）要求 `developer/message` 的 `turn` 是**正整数**。
-写死 `turn: 0` 会抛：
+宿主的会话格式校验（`dsh-session-format-v3-to-v4`）对消息事件有硬性要求，**缺一项就抛错、整个回合失败**：
 
-```
-developer/message turn must be positive
+| 事件类型 | 要求 | 踩过的错 |
+| --- | --- | --- |
+| `developer/message` | `turn`/`step` 正整数 + `message.id` + `message.role='developer'` + `message.content` 数组 + `message.source`（producer-owned，且 ≠ `'plugin'`） | `developer/message turn must be positive`<br>`format v4 developer message requires id, role, content, and a producer-owned source` |
+| `user/message` | `role !== 'developer'`、`content` 是数组、`source.kind` 非空且 ≠ `'plugin'` | `message requires a producer-owned source kind` |
+
+所以本插件**改用 `user/message`**（形状照 compaction 的 checkpoint 抄 —— 那是宿主自己在跑、
+必然通过校验的路径），并带上：
+
+```js
+{ id: randomUUID(), role: 'user', content: [...], source: { kind: 'history-window' } }
 ```
 
-所以 `pruneHistory()` 从 `agent/pre-step` 的 payload 里取真实的 `turn` / `step` 透传；
-**拿不到正数 turn 就跳过本次裁剪**（宁可不裁，也不写非法事件）。第 10 组用例覆盖这个分支。
+`source.kind = 'history-window'` 有两个用处：满足宿主的 producer-owned 要求，以及让
+`isUserNode()` 能把自己的提示条和**真实用户开口**区分开。后者很重要 —— 宿主的运行时上下文
+（`source.kind = 'runtime-context'`）同样是 `user/message`，此前会把轮数算多、导致过早裁剪。
+第 10 组用例同时验证「提示条合法」「提示条不计轮」「运行时上下文不计轮」「重复裁剪不会越积越多」。
 
 ### 为什么用「提示变量」而不是 section（重要）
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-whale-loli",
-  "version": "0.5.3",
+  "version": "0.5.5",
   "description": "鲸鱼娘 Agent 预设（三个）— 极简模式工具面 + 鲸鱼娘·小鱼人设 + 跨会话长期记忆 + 真正生效的 20 轮历史窗口。记忆分「固定记忆」（永久保留）/「滚动摘要」（每轮都记，最多 80 条 FIFO，超限每轮结束自动归档到 archive/<预设名>/）/「最近详细区」/「归档索引」四区，经提示变量注入（persona 为 complete:true，独立 section 会被宿主丢弃）；history-window 用宿主表层替换真的裁掉 20 轮以前的历史，不调 LLM、不切断工具配对，并正确放行 agent/pre-step 的 waterfall。",
   "type": "module",
   "license": "MIT",

package/src/history-window.js

@@ -30,6 +30,7 @@
  * `agent/pre-step`：循环在每个步骤**派生历史之前**运行它，是唯一既在请求前、
  * 又能拿到本 agent 的时机。（`turn/start` 是 session 事件而非 ctx 事件，挂不上。）
  */
+import { randomUUID } from 'node:crypto';
 import { homedir } from 'node:os';
 import { join } from 'node:path';
 
@@ -56,9 +57,27 @@ function dshHome() {
   return process.env.DSH_HOME || join(homedir(), '.dsh');
 }
 
-/** 一个「轮」的边界 = 一条 user 消息。表层里只有消息节点，turn 标记不进表层。 */
+/**
+ * 本插件写进会话的「已裁剪」提示条所用的 source.kind。
+ * 宿主只要求 message.source.kind 是非空字符串且不是 `'plugin'`，
+ * 但我们必须能把自己的提示条和「真实用户开口」区分开，否则每裁一次就多算一轮。
+ */
+export const NOTICE_SOURCE_KIND = 'history-window';
+
+/** 不算「用户开口」的 source.kind：本插件的提示条 + 宿主注入的运行时上下文。 */
+const NON_TURN_SOURCE_KINDS = new Set([NOTICE_SOURCE_KIND, 'runtime-context']);
+
+/**
+ * 一个「轮」的边界 = 一条**真实用户**发出的 user 消息。
+ *
+ * 不能只看 `type === 'user/message'`：宿主的运行时上下文（`source.kind = 'runtime-context'`）
+ * 和本插件自己的提示条也是 user/message，会把轮数算多、导致过早裁剪。
+ * 来源未知（老日志没有 source）时保守地当成用户开口。
+ */
 function isUserNode(event) {
-  return event?.type === 'user/message';
+  if (event?.type !== 'user/message') return false;
+  const kind = event.data?.source?.kind;
+  return typeof kind !== 'string' || !NON_TURN_SOURCE_KINDS.has(kind);
 }
 
 /**
@@ -137,39 +156,73 @@ export function shadowedNodes(session, startSeq, endSeq) {
   return nodes.filter((seq) => seq >= startSeq && seq <= endSeq);
 }
 
+/** 提示条事件的唯一构造点。 */
+function noticePayload(plan) {
+  return {
+    id: randomUUID(),
+    role: 'user',
+    content: [{ type: 'text', text: noticeText(plan.removedTurns, plan.keptTurns) }],
+    source: { kind: NOTICE_SOURCE_KIND },
+  };
+}
+
 /**
- * 执行裁剪。返回计划；无需裁剪（或拿不到合法 position）返回 null。
+ * 本地预检：把宿主 `dsh-session-format-v3-to-v4` 的规则在**写之前**自己先跑一遍。
  *
- * `position` = `{ turn, step }`，直接来自 `agent/pre-step` 的 payload。
- * **必须传真实 turn**：宿主 `dsh-session-format-v3-to-v4` 的校验器要求
- * `developer/message` 的 `turn` 为正整数，写死 0 会抛
- *   `developer/message turn must be positive`
- * 拿不到正数 turn 就跳过这一轮（宁可不裁，也不写非法事件）。
+ * 为什么需要：连踩四次都是「写出去才被宿主拒收」，而拒收会直接打死整个回合
+ * （`turn/end {kind:'error'}`），用户看到的就是一句看不懂的校验错误。预检之后，
+ * 形状不对只会让我们**跳过这次裁剪**，对话继续。
+ *
+ * 校验项（对 `user/message`）：
+ *   1. `assertOrdinaryMessage` —— `role !== 'developer'`、`content` 必须是数组
+ *   2. `assertV4MessageSources` —— `source` 是对象、`source.kind` 非空且 ≠ `'plugin'`
+ *   3. 本插件额外要求 `id` 非空（真实消息都有，便于溯源）
  */
-export function pruneHistory(agent, keepTurns = DEFAULT_KEEP_TURNS, position = {}) {
+export function noticeIsValid(message) {
+  const isObject = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
+  if (!isObject(message)) return false;
+  if (typeof message.id !== 'string' || message.id.length === 0) return false;
+  if (message.role === 'developer') return false;
+  if (!Array.isArray(message.content)) return false;
+  const source = message.source;
+  if (!isObject(source)) return false;
+  if (typeof source.kind !== 'string' || source.kind.length === 0) return false;
+  if (source.kind === 'plugin') return false;
+  return true;
+}
+
+/**
+ * 执行裁剪。返回计划；无需裁剪返回 null。
+ *
+ * 替换消息用 **`user/message`**，形状照 compaction 的 checkpoint 抄 —— 这是宿主
+ * 已经在跑、必然通过全部校验的那条路径。相比之下 `developer/message` 的规则苛刻得多
+ * （`assertDeveloperMessage` 要求 `id` / `role` / `content` / **producer-owned `source`**，
+ * 且 `turn`、`step` 必须是正整数），少一项就抛：
+ *   format v4 developer message requires id, role, content, and a producer-owned source
+ *
+ * `user/message` 这边只有两条硬要求：
+ *   1. `assertOrdinaryMessage`：`role !== 'developer'`、`content` 是数组
+ *   2. `assertV4MessageSources`：`source.kind` 是非空字符串且不等于 `'plugin'`
+ * 所以带上 `id` 和 `source: { kind: 'history-window' }` 即可，且能被 {@link isUserNode}
+ * 识别出来、不计入轮数。
+ */
+export function pruneHistory(agent, keepTurns = DEFAULT_KEEP_TURNS) {
   const session = agent?.session;
   if (session === undefined) return null;
 
-  const turn = Number.isInteger(position?.turn) && position.turn > 0 ? position.turn : null;
-  if (turn === null) return null;
-  const step = Number.isInteger(position?.step) && position.step > 0 ? position.step : 1;
-
   const plan = planPrune(session, keepTurns);
   if (plan === null) return null;
 
   const shadowed = shadowedNodes(session, plan.startSeq, plan.endSeq);
   if (shadowed.length === 0) return null;
 
+  const message = noticePayload(plan);
+  // 预检不过就跳过：宁可这次不裁，也不写一个会被宿主拒收、拖垮整回合的事件。
+  if (!noticeIsValid(message)) return null;
+
   session.append(
-    'developer/message',
-    {
-      turn,
-      step,
-      message: {
-        role: 'developer',
-        content: [{ type: 'text', text: noticeText(plan.removedTurns, plan.keptTurns) }],
-      },
-    },
+    'user/message',
+    message,
     {
       surfaceOp: { op: 'replace', startSeq: plan.startSeq, endSeq: plan.endSeq },
       sourceEventSeqs: shadowed,
@@ -209,16 +262,13 @@ export function apply(ctx, config = {}) {
 
   const keepTurns = typeof config.keepTurns === 'number' ? config.keepTurns : DEFAULT_KEEP_TURNS;
 
-  // agent/pre-step 在派生历史之前运行，且拿得到本 agent 与当前 turn/step。
+  // agent/pre-step 在派生历史之前运行，且拿得到本 agent。
   ctx.effect(
     () =>
       ctx.on('agent/pre-step', async (payload, next) => {
         try {
           const agent = payload?.agent ?? payload?.handle?.agent;
-          if (agent?.session !== undefined) {
-            // turn/step 必须原样透传给 pruneHistory：宿主校验器要求 turn 为正整数。
-            pruneHistory(agent, keepTurns, { turn: payload?.turn, step: payload?.step });
-          }
+          if (agent?.session !== undefined) pruneHistory(agent, keepTurns);
         } catch {
           // 裁剪失败绝不影响正常对话
         }