dsh-deepseek-web-login 0.6.31 → 0.6.33

package/CHANGELOG.md

@@ -2,6 +2,94 @@
 
 本项目大致遵循语义化版本；日期为本地时间。
 
+## 0.6.33 — 2026-10-02
+
+**修复：断链重发时把模型自己刚说的话又喂了回去 —— 一句话走掉 4 万字符。**
+
+用户现场（原话）：「我就说了个『哇哦帅气』，结果网页版发送的提示词怎么这么长？？？
+以及我问他天气怎么样，结果我看提示词，相当于我发给网页版已知的答案，然后模型在回复我！」
+
+日志一条就够（`feed-decisions.jsonl`）：
+
+```
+18:33:09  not-appended  chain=15  ent=15  tail=false  chars=40193  head=14594
+```
+
+**5 个字的输入，发出去 40193 字符。** 网页端的用户气泡里赫然是"上一句天气回答 + 哇哦帅气"。
+
+**根因**：`replay`（链还在、但不能只发增量）发的是**整份历史**，而历史里全是 `Assistant: …` 条目
+—— 也就是模型自己刚说过的那段回答。**增量路径早就有"剔掉模型回声"这条规则**（0.6.17 为同一个
+投诉加的，原话也是"完全没必要"），**但 `replay` 这条路没走它** —— 当时注释写的是"只在增量里剔，
+全量需要完整对话（从零重述）"。**这个理由在 replay 上不成立**：走到 replay 说明链还在
+（同会话、同账号），那条会话里固定头和历史都还在，根本不是"从零重述"。
+
+**改法**：`replay` 按**代价从小到大**挑，第一个可用的就用：
+
+1. **从第一个分歧点起的条目**（剔回声）—— 通常就是这一句新消息；
+2. 整份条目（剔回声）—— 分歧点算不出来时退一步；
+3. `transcript`（0.6.32：至少省掉固定头）；
+4. 整份 `full` —— 什么都算不出来时的兜底。
+
+每档都要求"非空且不超预算"；头**变了**时只有第 4 档合法（新头从没发过）。
+上方那次的 40193 字符，在新逻辑下是 **`User: 哇哦帅气`**。
+
+**顺带把"为什么断链"变成一个可读的事实**：以前只有 `tailSame=false`，它只说"链尾变了"，
+不说**是哪一条、从哪儿变的** —— 于是每次排查都只能猜。现在每轮多记 **`firstDiff`**
+（和链从第几个条目开始不一样）。这一轮假如早就有它，一眼就能看到是哪一条被改了。
+
+**用例**：`check-context-feed` 60 项（新增 7 条：最小档 / 回声必须剔 / 头变了必须整份 /
+退到整份剔回声 / 不许发空串 / 四档都不行时兜底 / 历史变短也走最小档），
+`check-context-chain` 19 项（端到端断言"只发分歧点之后的条目、且**不许含固定头**"，
+并守 `firstDiff` / `promptChars` / `headChars` 三个留痕字段）。
+**两处变异确认变红**：把 replay 改回总是发 full（9 红）、去掉回声过滤（4 红）。
+
+**顺带修的**：三条**绑语法形态**的产物断言与两条老用例，在行为变更后失配 —— 按"改测同一意图"
+重写（例如"历史被改写 ⇒ 退回全量"改成"⇒ 只发分歧点之后的条目"），没有把行为改回去。
+
+## 0.6.32 — 2026-10-02
+
+**修复：链式投喂"退回全量重发"时会重发整份固定头（约 6.35 万字符）—— 那一段是纯重复。**
+
+起因是用户对比了 cuckoo 与自己的分享链接：同一段 `Tool Calling Protocol` 在网页端**出现了两次**。
+
+**先看数据，不猜**（`feed-decisions.jsonl`，25 条真实记录）：
+
+| reason | 次数 | 含义 |
+|---|---|---|
+| `chained`（增量） | 14（56%） | 正常 |
+| `new-session` | 6（24%） | **新窗口的第一句** —— 新会话必须全量，天经地义 |
+| `no-parts` | 4（16%） | 内部标题请求 |
+| `not-appended`（链断） | **1（4%）** | 只有这一次真的退了全量 |
+
+所以"每次调用工具就重发"**与日志不符**（1/25）。但那次重发里有一件**确实该改**的事：
+
+**根因**：`replay`（"链还在但不能只发增量"）一律发整份 `full` = 固定头 + 历史。
+而走到 `replay` 就说明**链还在**（同一个网页端会话、同一个账号）——
+**那条会话的首条消息里已经把固定头给过了**，重发它是纯重复。
+固定头 = system + 协议指令 + 工具目录，实测约 **6.35 万字符**，占一轮的大头；
+网页端看到"同一大段又出现一次"就是它。
+
+**改法**：`PromptParts` 新增 `transcript`（`full` 里**属于历史的那一段**，超预算时是截断后那份），
+`replay` 在**头没变**时只发 `transcript`：
+
+- `not-appended`（头已确认相同）⇒ **省掉固定头**，省下的就是那 6.35 万字符。
+- `head-changed` ⇒ **必须整份重发**（新头从没发过，省了模型手里就是旧头）。
+- 没传 `transcript` ⇒ 退回旧行为。所以这是一条**纯优化**：漏传只少省一点，不会错。
+- ⚠️ `transcript` 交出去的必须是**截断后**那份 —— 否则"只发历史"会比原来的全量还长，把优化做成事故。有用例钉死。
+
+**顺带补上体量诊断**：`feed-decisions.jsonl` 此前只有"**为什么**走全量"，没有"**发了多大**"。
+正是这个缺口让我今天只能去读分享页**估**字符数 —— 估出来的数字不能用来下任何结论。
+现在每轮多记 `promptChars`（实发字符数）与 `headChars`（固定头字符数），体量从此可测。
+
+**新增 6 条用例**：省头路径（两种触发都要省）/ `head-changed` 必须重发头 / 没传 `transcript` 退回旧行为 /
+`transcript` 恒等于 `full` 里属于历史的那一段 / **截断时 `transcript` 也必须是截断后那份**。
+**三处变异确认变红**：把 `replay` 改回总是发 `full`（2 红）、把 `transcript` 交成未截断那份（1 红）、
+以及重建后的产物断言。
+
+> ⚠️ 顺带修掉一条**绑语法形态的产物断言**：它写死 `const replay = (reason)` + 120 字窗口，
+> 于是这次**无害的形态改动**（箭头+对象字面量 → 块体）把它打红了。已放宽窗口并注明理由 ——
+> 产物断言要守**意图**，别守签名长什么样。
+
 ## 0.6.31 — 2026-10-02
 
 **修复：新建一个窗口、只发一句话，网页端会多出一个会话（那个是"生成标题"用的脚手架）。**

package/lib/index.js

@@ -1927,15 +1927,18 @@ function serializePromptParts(options) {
 	if (merged.length <= maxChars) return {
 		head,
 		entries: lines,
-		full: merged
+		full: merged,
+		transcript
 	};
 	const separator = transcript ? "\n\n---\n\n" : "";
 	const budget = maxChars - head.length - separator.length;
 	if (budget < 128) throw new AdapterLlmError("系统/工具定义超出 prompt 预算，请减少固定输入或扩大上限", "CONTEXT_WINDOW_EXCEEDED");
+	const sentTranscript = truncateMiddle(transcript, budget, .7);
 	return {
 		head,
 		entries: lines,
-		full: head + separator + truncateMiddle(transcript, budget, .7)
+		full: head + separator + sentTranscript,
+		transcript: sentTranscript
 	};
 }
 /** 完整 JSON 调用标记：{"tool_calls": 或 {"tool_call": （允许空白）。 */
@@ -3429,6 +3432,16 @@ function isAssistantTranscriptEntry(entry) {
 	return typeof entry === "string" && /^\s*Assistant:/.test(entry);
 }
 /**
+* 两个条目序列**从哪个下标开始不一样**（完全相同则返回较短的公共长度）。
+*
+* 用途：链没续上时（`not-appended`）算"服务端还没见过的部分"从哪里开始。
+*/
+function firstDifference(prev, next) {
+	const shared = Math.min(prev.length, next.length);
+	for (let i = 0; i < shared; i += 1) if (prev[i] !== next[i]) return i;
+	return shared;
+}
+/**
 * 这一轮要不要**换一个干净会话**。
 *
 * 🔴 2026-09-30 实测的坑（用户报"换个窗口聊天就把上下文清理一次"）：
@@ -3555,25 +3568,71 @@ function decideFeed(input) {
 	* （「修改 / 重新生成」+ `n / n` 翻页），用户看到的就是"聊着聊着分叉了"。
 	* 挂在链尾的代价只是服务端上下文里多一段重复历史（多花一点 token），
 	* 而分叉是**结构性**的坏：它会永久破坏"一个窗口一条对话线"这个形态。
+	*
+	* 🔴 2026-10-02 补：**头没变时不再重发固定头**。
+	* 走到这里说明链还在（同一个网页端会话、同一个账号）⇒ 那条会话的**首条消息**里
+	* 已经把固定头给过了，重发它是纯粹的重复。而它就是"重发一大段"里的**那一大段**
+	* （system + 协议指令 + 工具目录，实测约 **6.35 万字符**）。
+	* 用户在网页端看到的现象（同一段 Tool Calling Protocol 出现两次）就是它。
+	* ⚠️ 只有 `head-changed` 必须重发头（新头没给过），所以那条路径**不**走这个优化。
 	*/
-	const replay = (reason) => ({
-		prompt: full,
-		parentMessageId: chain.parentId,
-		next: {
-			head,
-			entries: entries.slice(),
-			sessionId: input.sessionId,
-			accountKey: input.accountKey
-		},
-		reason
-	});
+	const replay = (reason, options = {}) => {
+		return {
+			prompt: replayPrompt(options),
+			parentMessageId: chain.parentId,
+			next: {
+				head,
+				entries: entries.slice(),
+				sessionId: input.sessionId,
+				accountKey: input.accountKey
+			},
+			reason
+		};
+	};
+	/**
+	* 重发时到底发哪一段。**按代价从小到大试，第一个可用的就用**，全都不行才退回整份。
+	*
+	* 🔴 2026-10-02 第二轮的现场（用户报"我只说了『哇哦帅气』，发出去的提示词怎么这么长"）：
+	*    `not-appended` 走这条路时发的是**整份历史**，而历史里全是 `Assistant: …` 条目 ——
+	*    也就是**模型自己刚说过的那段回答**。于是：① 5 个字的输入发出去 40193 字符；
+	*    ② 网页端的用户气泡里赫然是"上一句回答 + 我的新消息"，看着就像"我把答案喂给它让它复述"。
+	*    增量路径**早就有**"剔掉模型回声"这条规则（0.6.17 为同样的投诉加的），**这条路没走它** ——
+	*    当时注释还写着"只在增量里剔"，理由站在"全量是从零重述"那边；但 replay 根本不是从零重述：
+	*    链还在（同会话、同账号），该会话里什么都有。所以这里必须按**同一套网**来。
+	*
+	* 四档（每档都要求"非空且不超预算"）：
+	*   ① 从**第一个分歧点**起的条目（剔回声）—— 最小，通常就是这一句新消息；
+	*   ② 整份条目（剔回声）—— 分歧点算不出来时退一步，至少不再把模型的话喂回去；
+	*   ③ `transcript`（0.6.32：省掉固定头）；
+	*   ④ 整份 `full` —— 什么都算不出来时的兜底。
+	* ⚠️ 头**变了**时只有 ④ 合法（新头从没发过）。
+	*/
+	const replayPrompt = ({ headUnchanged = false, from }) => {
+		if (headUnchanged) {
+			const budget = Number.isFinite(input.maxChars) ? input.maxChars : Number.POSITIVE_INFINITY;
+			const usable = (text) => text.trim().length > 0 && text.length <= budget;
+			if (from !== void 0 && from < entries.length) {
+				const tail = entries.slice(from);
+				const withoutEcho = tail.filter((line) => !isAssistantTranscriptEntry(line));
+				const tailText = (withoutEcho.length > 0 ? withoutEcho : tail).join("\n\n");
+				if (usable(tailText)) return tailText;
+			}
+			const noEcho = entries.filter((line) => !isAssistantTranscriptEntry(line)).join("\n\n");
+			if (usable(noEcho)) return noEcho;
+			if (typeof input.transcript === "string" && usable(input.transcript)) return input.transcript;
+		}
+		return full;
+	};
 	if (!input.reused) return detach("new-session");
 	const chain = input.chain;
 	if (!chain) return detach("no-chain");
 	if (chain.sessionId !== input.sessionId) return detach("session-changed");
 	if (chain.accountKey !== input.accountKey) return detach("account-changed");
 	if (chain.head !== head) return replay("head-changed");
-	if (!canExtendChain(chain.entries, entries)) return replay("not-appended");
+	if (!canExtendChain(chain.entries, entries)) return replay("not-appended", {
+		headUnchanged: true,
+		from: firstDifference(chain.entries, entries)
+	});
 	const appended = entries.slice(chain.entries.length);
 	const meaningful = appended.some((line) => isContinuationCue(line)) ? appended : appended.filter((line) => !isAssistantTranscriptEntry(line));
 	const echoDropped = meaningful.length > 0 ? appended.length - meaningful.length : 0;
@@ -5457,6 +5516,7 @@ async function openCompletion(auth, params, signal, transport, keepIds) {
 			...params.promptParts ? {
 				head: params.promptParts.head,
 				entries: params.promptParts.entries,
+				...typeof params.promptParts.transcript === "string" ? { transcript: params.promptParts.transcript } : {},
 				...params.promptParts.maxChars !== void 0 ? { maxChars: params.promptParts.maxChars } : {}
 			} : {},
 			full: params.prompt,
@@ -5486,6 +5546,9 @@ async function openCompletion(auth, params, signal, transport, keepIds) {
 				account: accountKey(auth),
 				chainLen: chainEntries ? chainEntries.length : null,
 				entriesLen: currentEntries ? currentEntries.length : null,
+				promptChars: feed.prompt.length,
+				headChars: params.promptParts ? String(params.promptParts.head ?? "").length : null,
+				firstDiff: !chainEntries || !currentEntries ? null : firstDifference(chainEntries, currentEntries),
 				tailSame: !chainEntries || !currentEntries ? null : currentEntries.length <= chainEntries.length ? false : currentEntries[chainEntries.length - 1] === chainEntries[chainEntries.length - 1]
 			});
 		}
@@ -6941,6 +7004,7 @@ function createAdapter(deps) {
 						...chatLike ? { promptParts: {
 							head: promptParts.head,
 							entries: promptParts.entries,
+							transcript: promptParts.transcript,
 							maxChars: deps.config.maxPromptChars ?? 4e5
 						} } : {},
 						onContextFeed: (report) => {
@@ -10355,7 +10419,7 @@ async function checkForUpdate(current, fetchImpl) {
 * 兜底常量与 package.json 的一致性由 `tests/check-smoke.mjs` 守着，不会漂。
 */
 /** 与 package.json 保持一致的兜底版本（由测试保证不会漂）。 */
-const FALLBACK_VERSION = "0.6.31";
+const FALLBACK_VERSION = "0.6.33";
 let cached;
 /** 本插件版本（如 `0.1.26`）。 */
 function pluginVersion() {