docs(ws): 更正 SessionInterrupted.dropped 的过时 KDoc(本端全部路径下它恒为 0)

原来的注释写「当前任务取消、pending 清空,dropped 为丢弃条数」——那是 `interrupt` 只有一种形状
(等价于今天的 `scope:"all"`)时的口径。契约 v0.56 起 `scope:"current"` 只取消在跑回合、**保留**
待处理队列,该档 `dropped` 恒为 0。

而本端「追加队列」档一个 interrupt 都不发、「打断」档发的是 `current`(见 feats/W25,cfdc094),
所以 `dropped` 在客户端的全部现实路径里恒为 0 —— 「已打断,丢弃 N 条」那句话在本端根本不可达。

注释里写明这一点,免得后来人照着一句不可达的文档去实现一个用不上的计数。

只改注释,无行为变化。
This commit is contained in:
AskaEth committed 2026-10-04 22:40:07 +08:00
1 parent b7ac6b8853
commit 85a922c01b
1 file changed
+9 -1
@@ -269,7 +269,15 @@ sealed class WsEvent {
override val type: String get() = "session_idle"
}
/** 用户打断:当前任务取消、pending 清空,`dropped` 为丢弃条数。 */
/**
* 用户打断:当前任务取消。
*
* [dropped] **只在我们发了 `scope:"all"` 时才可能非零**(那档会清空待处理队列,`dropped` = 被清掉的
* 条数,且 [mode] 为 `idle`);**本端从不发 `all`** —— 「追加队列」档一个 `interrupt` 都不发,
* 「打断」档发的是 `scope:"current"`(只取消在跑回合、**保留**待处理队列)⇒ 在客户端的全部现实路径里
* [dropped] **恒为 0**(契约 v0.56 明文)。所以「已打断,丢弃 N 条」那句话在本端是**不可达**的,
* 别照着它去实现一个用不上的计数(见 `devdocs/03` §4 的同一条更正)。
*/
data class SessionInterrupted(
override val sessionId: String,
val mode: String,