AskaEth/Cyrene-For-Android
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 5 Wiki Activity
305 Commits 3 Branches 5 Tags
7b39994715b8df73401aff89f0e78fca93e0107a
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
AskaEth 7b39994715 feat(W69): 气泡外侧显示消息时间 —— 主人贴左 / 昔涟贴右的灰色小字（今天 HH:mm、昨天、今年 M月D日 HH:mm、跨年 YYYY年M月D日） 
主人：「用户消息气泡左侧和他的消息气泡右侧还一点点留空的空间 能在这两份区域放一个灰色小字
显示消息发送时间吗？跨天和恒久远的消息也要标明简单日期。」——时间放在气泡**外侧那块空白**里，
不进气泡内部，也不进下方那行角标。

一、文案是纯函数 `messageTimeLabel(createdAt, nowMillis, zone)`
   四档按**本地日历日**分（不是「相差不到 24 小时」）：今天 `14:30` / 昨天 `昨天 09:05` /
   今年内更早 `3月7日 09:05`（月日不补零、时分补零）/ 跨年 `2025年12月31日`（**不带时分**：
   一年前的消息精确到分没有意义）。用 `java.time` + `Locale.ROOT`，无新依赖、无新表驱动项。

二、两条口径（都写进 KDoc 里）
   1. **未来时间走「今天」那一档**（判据写成 `!day.isBefore(today)`）：服务端时钟略快 / 本机略慢
      时出现的时间戳没有别的语义，只显示 `HH:mm`；不造「明天」这个词，也不摆一个用户从没见过的
      假日期。整整偏一天 / 一年也一起吃下。
   2. **`createdAt <= 0` ⇒ 一个字都不画**（返回 `null`）：0 / 负数只可能来自「这个键根本没传过来」
      或解析事故，画成 `1970年1月1日` / `--:--` 都是替服务端编一个它没说过的答案。
      本地降级气泡（`proactive-local:`）**有**真时间（`proactiveIngestFor` 缺席时补 `nowMillis`）
      ⇒ 照常显示；流式气泡与待发气泡本端没有时间戳 ⇒ 走这一档，与加这一块之前逐像素相同。

三、布局：`BubbleWithTime`（新，`MessageBubble.kt`）
   时间与气泡**同一行**（`Box` + 底对齐），外侧用 `padding` 把时间那一条的宽度**先扣掉**，
   气泡吃剩下的全部宽度。取舍与理由：
   - 时间**不参与 weight 分配**，而是先用 `rememberTextMeasurer` 按它将要用的那个
     `MiuixTheme.textStyles.footnote2` 量出**精确宽度**（`Text` 内部只是在同一份 style 上 merge
     显式参数 ⇒ 量出来的就是排出来的那一串字），所以它既不会溢出屏幕、也不会被压成两行；
   - 气泡可用宽度 = `min(300.dp, 屏宽 - 两边 14dp - 时间条)`：长消息照旧用满能用的宽度，
     **代价写进 KDoc**——有时间的消息气泡最多窄一条时间条（这是「与气泡同行」的必然结果）；
     只有「极窄屏 + 超大字号」才会明显变窄，那时选择如实把日期显示完整（截断 `2025年12月31日`
     比窄一点的气泡更亏）；
   - 不用「让时间先占住宽度」那种零测量写法：`Row` 给非 weight 子节点的宽度是**按子节点顺序**
     递减的，「气泡在前」的那一侧必然先把宽度吃光、把时间挤成一条竖线；
   - 时间在 `clip` / `background` / `combinedClickable` 之外 ⇒ 气泡的样子、选字范围、长按点击区
     一个字都没变；气泡自己那一侧离屏幕的边距与加这一块之前逐像素相同；
   - 时间挂在这条消息**最后一个有正文的气泡**上（解析出的末段偶尔只有旁白，那一项不画正文框）；
     `ContentlessNote`（空气泡位置那句如实说明）同样挂，走同一条路。

四、未动的部分：下方那行角标（来源 / 六态 / 分享 / 「⋯」）语义一个字没改，只是**并列的另一块**；
   消息内容 / 排序 / 分页 / 去重 / 「跟随底部」的触发键一概没碰；`MessageGroup` 与
   `StreamingBubble` / `PendingBubble` 的既有调用一个像素都没变。

验收：`assembleDebug` 通过（APK 47,278,290 B）；
`testDebugUnitTest` 全量 127 suites / 1580 tests / 0 failures / 0 errors / 0 skipped
（基线 126 / 1564 → 新增 `MessageTimeLabelTest` 16 条）。
单测覆盖每一档的两侧：同一天 / 正好午夜 / `23:59` 与次日 `00:01`（只差两分钟但跨天）/
昨天跨月 / 昨天跨年（「昨天」优先于跨年档）/ 今年内更早（月日不补零、一周前仍是这一档）/
跨年（前天、以及整整一年前同一个 `8月14日`）/ 闰年 `2/29`（当年是昨天、次年整日）/
未来（同天 + 几分钟、次日、次年）/ `0` / `-1` / `Long.MIN_VALUE` / 同一毫秒在上海与 UTC 分属两档。
`D` 认成「一年里的第几天」把 `8月14日` 排成 `8月226日`——这条正是被这批单测当场拦下的，已写进
`MessageDayFormat` 的 KDoc。
 2026-10-07 18:57:14 +08:00
AskaEth 11602c0138 docs(05): 锚点补记四十三 —— 行内标签对齐契约 v0.89（W68 两轮：大小写不敏感 + 属性丢弃 + 不平衡整段降级 + 白名单收窄五项）+ br 改气泡分隔符（与 p 同级、三种写法等价、流式同源扣留）+ 真机八组样本逐条验收 + 三条待后端确认的口径 2026-10-07 17:39:38 +08:00
AskaEth 591f298dc0 merge: W68 —— 行内标签按契约 v0.89 对齐（大小写不敏感 + 属性一律丢弃 + 结构不平衡整段降级 + 白名单收窄到五项去掉 u/s）+ <br> 改为气泡分隔符（与 <p> 同级，三种写法等价） 2026-10-07 17:38:04 +08:00
AskaEth 9dee236778 feat(W69): 按契约 v0.89 的 <br> 更正与白名单收窄 —— <br> 改做气泡分隔符（与 <p> 同级）、撤掉 u/s 
后端 `回执三十` / `回执三十一` 把 v0.89 两处更正了，本端照改。

一、`<br>` 不再是行内标签，而是与 `<p>` 同级的**气泡/消息分隔符**
   （`回执三十一` 原话：「对消息内的 `<br>` 始终处理为多条消息隔断」）
   1. 行内层（`InlineMarkup.kt`）整体移出：词表少一项、`InlineTag.Break` 与「`<br>` → `\n`」
      那套解析/裁剪逻辑全删；白名单只剩五项 `b`/`strong`/`i`/`em`/`code`。
   2. 改在气泡切分层：新增 `appendRegion`（`ChatContentParser.kt`），把每个文本区按 `BR_TAG_RE`
      切开、段与段之间补 `Tok.Break`（既有 `<p>` 同款机制）。`<p>甲<br>乙</p>` / `甲<br>乙`
      都是两条气泡；`<p>甲<br><br>乙</p>` 的中间空气泡照旧丢弃；`<br>` 两侧是空白不产多余气泡；
      `<br>` / `<br/>` / `</br>`（含 `<br />` / `</br/>` / `<br class=x>` / 大写）等价。
   3. 层序采用「**先按 `<p>`/`<br>` 切分，再对每一段各自做行内解析**」：`<b>甲<br>乙</b>` 两段各自
      不平衡 ⇒ 两段都回落原文。理由写进 `appendRegion` 的 KDoc（「同级」本身就规定了层序；
      一个气泡 = 一条消息，跨分隔符的标签在结构上不可能成立，后端剥标签同样是按单条消息判平衡；
      实现上行内层逐气泡跑一次，一个字节都不用改）。
   4. 流式侧跟上：`<br` / `<BR` / `</br` / `<br/` / `<br class=x` 这些残缺形态由
      `couldBeLineBreakNamePrefix` 扣留（与 `BR_TAG_RE` 同口径）；完整的 `<br>` 不入栈、直接放行。
      不扣的话中间态会先把字面 `<br` 吐上屏、收口时再变成两条气泡——屏幕上的字会改口。

二、白名单**收窄到五项**（`回执三十`）：`u` / `s` 从 `InlineStyle`、解析、渲染、测试里全撤
   （`Underline` / `Strikethrough` 与 `MessageBubble` 的 `TextDecoration` 一并删净，不留死代码）。
   现在 `<u>甲</u>` 走「白名单外 ⇒ 原样显示」，与 Web 端一致——多支持反而是制造跨端不一致。

其余口径一律不动：大小写不敏感、属性整段丢弃、不平衡整段降级为原文（粒度 = 该气泡正文）、
`<code>` 内不解析、白名单外字符一个不丢、`parts` 逐字原文、`runs` 为空时 UI 走原路。
`tokenize` 的 `<p>` 块切分 / `stripLooseTags` / `ContentAfterQuery` / `P_BLOCK_RE` / `ROLE_RE` /
星号语义 / `MessageEditText`（`<br>` 不进容差，只含 `<br>` 的消息仍是编辑框恒等路径）行为未改。
渲染仍是 `AnnotatedString` + `SpanStyle`，无新依赖、无 HTML 注入。

验收：`assembleDebug` 通过；`testDebugUnitTest` 全量 126 suites / 1564 tests / 0 failures / 0 errors。
`ChatContentParserTest` 新增 14 条（`<br>` 四情形逐个断言气泡数与文本、三种写法等价、大小写、
像标签但不是的 `<br2>`/`<boolean>`、跨分隔符标签两段各自回落、`parts` 不含结构、旁白跨分隔符依附、
流式完整/残缺两态、`<code>`/`<action>` 内也分隔、行内解析不看 `<br>`、复杂度预算）；
`InlineMarkupTest` 删掉 6 条与 v0.89 冲突的（`<br>` 换行 4 条 + `u`/`s` 渲染 + `<b>甲<br>乙</b>` 单气泡
一条），新增 3 条（`u`/`s` 撤掉后走字面、`<br>` 在本层只是普通字符、`<br>` 在解析层真分成两条气泡）。
 2026-10-07 17:36:38 +08:00
AskaEth 4b19278733 feat(W68): 行内标签按契约 v0.89 对齐 —— 大小写不敏感、属性一律丢弃、结构不平衡整段降级、补 u/s 与 </br> 
后端 2026-10-07 傍晚把行内标签升成契约 v0.89（推库 `2dae469`），本端四处按它对齐。

1. 标签名大小写不敏感（`<B>` / `<STRONG>` / `<Br>` 都认）
   消费侧与流式**扣留**侧一起改，两边同源：`parseInlineTag` 与
   `couldBeInlineTagNamePrefix` / `isTagNameLetter` 收在 `InlineMarkup.kt` 一份，
   `isPotentialTagPrefix` 引用它。原来扣留侧只扫 `a..z`，若只改消费侧，`<B` / `<b class`
   这种残缺形态就会在中间态被当正文吐上屏、等 `>` 到了再吃掉——屏幕上显示过的字当场改口。
   段落/旁白标签（`<p>` / `<action>` / `<narration>`）仍只认小写，既有契约逐字未改。

2. 补 `u` / `s`：`InlineStyle` 加 Underline / Strikethrough；`MessageBubble.inlineBody`
   落到 `TextDecoration.Underline` / `LineThrough`（两者叠加时给两条线，不二选一）。

3. 属性一律不解析：白名单标签只取标签名，`<b class="x" onclick="y">` 就是粗体，属性整段丢掉。
   形状判据：名字后必须是 `>`、空白或 `/`，所以 `<boolean>` / `<br2>` 仍是普通文本。
   `inlineTagEnd` 那扇定宽窗换成「扫到 `>` 或下一个 `<` 为止」（属性没有长度上界），仍是线性。

4. 结构不平衡 ⇒ **该气泡正文整段降级为原文**（未闭合 / 落单闭标签 / 交错；`<br>` 也一起放弃）。
   取代 W67 的局部降级。粒度 = 该气泡的 `body`（不是整条消息、也不是单个 `<p>` 块），
   理由写进 `parseInlineMarkup` 的 KDoc，由 `theFallbackCoversOnlyTheBubbleThatIsBroken` 钉住。
   白名单外的尖括号（`<script>` 等）不参与结构判定，按契约第 1 条原样显示、字符一个不丢。

另：`</br>` 与 `<br>` / `<br/>` 等价（HTML5）；`<code>` 内的内容仍不解析、也不算结构，
与契约第 3 条方向一致但不是同一条规则（原因写在 KDoc 里）。
渲染仍是 `AnnotatedString` + `SpanStyle`，不引入任何 HTML 注入路径、不新增依赖。
`parts`（编辑/搜索读的逐字原文）、`runs` 为空时 UI 走原路、`tokenize` / `stripLooseTags` /
`ContentAfterQuery` / `P_BLOCK_RE` / `ROLE_RE` / 星号语义 全部未动。

验收：`assembleDebug` 通过；`testDebugUnitTest` 全量 126 suites / 1553 tests / 0 failures / 0 errors。
`InlineMarkupTest` 新增 11 条（大小写、属性、四种不平衡形状整段降级、气泡粒度、白名单外字符、
`u`/`s`、`</br>`、流式大小写+属性不吐标签），与 v0.89 冲突的老断言按新口径改写并在 KDoc 里
写明「口径在 W68 按契约 v0.89 变更、为什么」，不冲突的一条都没放松。
 2026-10-07 17:25:26 +08:00
AskaEth 3fe55e8d0c docs(05): 锚点补记四十二 —— 行内 HTML 标签渲染（W67：b/strong、i/em、code、br；只认小写、未配对保持字面、code 内不解析、整段仅标记回落字面、流式扣留未闭合行内标签；不碰星号语义）+ 真机五组样本逐条验收 + 八条故意不做 + 给后端登记的一问 2026-10-07 17:17:26 +08:00
AskaEth 3d4a9f288a merge: W67 —— 行内 HTML 标签基本渲染（b/strong、i/em、code、br；只认小写、未配对保持字面、code 内不解析；不碰星号语义） 2026-10-07 17:15:48 +08:00
AskaEth d7d93b4cb0 feat(W67): 正文行内标签渲染 —— <b>/<strong>、<i>/<em>、<code>、<br> 四类（成对才认、只认小写、未配对/嵌套错位一律字面） 
改了什么：
- 新增 `domain/parse/InlineMarkup.kt`：纯函数 `parseInlineMarkup(text) -> List<InlineRun>`
  （`InlineRun(text, styles: Set<InlineStyle>)`，样式只有 Bold / Italic / Code；`<br>` 不是样式、
  它是字符 `\n`）。相邻同样式的片段合并，两端空白去掉。整段只有标记没有字时（`<b></b>` / `<br>`）
  返回空列表 = 回落字面原文。
- `ParsedBubble` 加一个**有默认值**的字段 `runs: List<InlineRun> = emptyList()`（既有构造点无需改动）；
  `toBubble` 在**段落定稿之后**对最终正文调一次 `parseInlineMarkup`：`body` 因此是正文的渲染文本
  （标签已消费、`<br>` 已换成换行），而 `parts` 仍是逐字原文——编辑框 / 搜索片段 / 通知文案读的是它。
- `MessageBubble`：`BubbleBody` 多收 `runs` + `trailingCursor`；`runs` 非空时用一个 `AnnotatedString`
  承载粗体 / 斜体 / 等宽底色 / 换行（`<code>` 底色：她侧 `surfaceContainerHigh`、主人侧 `onPrimary`
  压 18% 浅底），光标在片段**之外**补上（不继承她最后一段的样式）。`runs` 为空走原来的 `Text(text)`，
  逐像素不变（绝大多数消息都走这一档）。
- `ChatContentParser.stablePrefixEnd` 的扣留词表补上行内开标签（`TAG_NAMES` = 段落/旁白 + `INLINE_TAG_NAMES`，
  两边由同一份名单生成的正则判）：未闭合的行内开标签同样入栈扣留；`<br>` 自闭合、**不入栈**
  （入了就永远弹不出来），只在残缺（`<br`）时按词表扣留。
- 新增 `InlineMarkupTest`：36 条用例（四类标签各自的片段形状、6 条边界逐条、星号语义反证、
  流式扣留与「只增不改口」、以及编辑/搜索/分享三个调用点的护栏、复杂度回归）。

为什么：
- 只认小写：`parse` 只认小写 `<p>`（`<P>` 字面显示是既有测试钉死的），且流式扣留侧的标签名扫描只认
  `a..z`——行内标签若认大小写，扣留与消费两边就分叉，中间态会把 `<B>` 当正文吐上屏、收口时再吃掉
  （屏幕上显示过的字会改口）。实测命中的 2 条也都小写。
- **成对 + 正确嵌套才认，其余一律字面**：与既有「未闭合/畸形标签回落普通文本」同一口径，也保证绝不丢字
  （`1 < 2`、`a<b`、`<b`、`<p2>`、`<B>` 全部原样）。正文里的 `a<b>c` 是既有测试钉着的字面文本，
  行内标签没有「段落结构已被完整块定死」那种语境，所以不套用 W55 的落单标签剥离容错。
- `<code>` 里不再解析：HTML 语义上它就是「原样文本」容器，也正是「想显示尖括号怎么办」的答案。
- 不碰 Markdown 的 `*` / `_`：星号已被 `ROLE_RE` 占成旁白/动作语义（既有测试钉着），再给同两个星号
  一个「斜体」的说法就是改既有语义。`#`/列表/表格/围栏/`[链接](url)`/`<a href>`/HTML 实体一律不做，
  逐条理由写在 `InlineMarkup.kt` 的文件头 KDoc（0 命中、或需单独拍板）。
- 行内解析刻意**不**放进 `tokenize`：分段、旁白归属、落单标签剥离与 W63 那两处线性优化一个字不动，
  `<br>` 因此只换行、不分气泡。
- 旁白/动作行不做行内解析：它读的是 `parts` 原文，与分享预览那行同源，而预览侧（`ShareConfirmPanel`）
  本次是红线——只改这边就等于让「预览 == 气泡」在旁白上重新裂开。

验收：`assembleDebug` 通过（`app/build/outputs/apk/debug/app-debug.apk`，47,308,566 B）；
`testDebugUnitTest` 全量 **126 suites / 1545 tests / 0 failures / 0 errors**（基线 125/1509，
本次新增 1 个测试类 + 36 条用例）。
 2026-10-07 17:14:44 +08:00
AskaEth 6d4a37e484 docs(05): 锚点补记四十一 —— 通知横幅（DEFAULT→HIGH，因渠道重要级不可变故换 id 到 proactive_v2）+ 免打扰开关（两条渠道切 id，默认都弹，真机双档验收）+ W63 去二次方（两处 O(N²)，20000 个落单标签 26405ms→17ms）+ W64 分享回落链 + W65 预览与气泡一致 + 国产 ROM 上横幅还需什么 2026-10-07 11:57:46 +08:00
AskaEth 3b9936e212 merge: W64 —— 分享回落链（EXTRA_TEXT → SUBJECT → TITLE）+ 三者都空时明确告知而不静默（来源提示走柔和横幅、绝不进正文） 2026-10-07 11:54:44 +08:00
AskaEth dc5972213e merge: W65 —— 分享预览改走同一套解析（所见即所发：多段成块、旁白灰斜体；超窗判据改为内容自然高 vs 窗口高） 2026-10-07 11:54:34 +08:00
AskaEth c07a713e86 merge: W66 —— 免打扰开关（两条渠道：HIGH 弹横幅 / DEFAULT 只在通知栏；设置页新开关，默认两者都弹） 2026-10-07 11:53:58 +08:00
AskaEth bfa79946d4 merge: W63 —— 解析器去二次方（两处 O(N²)：松标签重复扫描 + P_BLOCK_RE 回溯；20000 个落单标签 26405ms → 17ms，语义一字不变） 2026-10-07 11:53:57 +08:00
AskaEth 0e2df1193d feat(notify): 设置页加「免打扰」开关 —— 她主动说的话拆成两条渠道按开关发（一并重做 proactive_v2/HIGH 那份改动） 
改了什么：
- 新增第二条渠道 `proactive_quiet`（`IMPORTANCE_DEFAULT`，渠道名「她主动说的话（免打扰：只在通知栏）」），
  与 `proactive_v2`（`IMPORTANCE_HIGH`，弹横幅）并存；两条的定义收在一个纯函数
  `proactiveChannelSpec(quiet)` 里（id / 渠道名 / 重要级 / 描述成对给全），`proactiveChannelId(quiet)` 是它的 id。
- 设置页新增「通知」段 + 一行「免打扰」（`SwitchPreference` 外包 `PreferenceCard`，照「后台保持连接」那一行；
  副文案走纯函数 `proactiveQuietSummary`，写明「这不是静音」）。偏好落进既有的 `AppSettings`
  （键 `proactive_quiet`，**默认 `false` = 都弹**），不新造存储。
- 发通知时按开关选渠道：`postProactiveNotification(..., quiet)`，7.x 及更早的 `setPriority` 跟着一起降回
  `PRIORITY_DEFAULT`；`AppContainer` 的 `post` lambda 每次**现读** `AppSettings.current`（`StateFlow` 热副本），
  所以开关一改、下一条通知就走新渠道，不必重启 App。
- 重做主仓那份未提交的渠道改动：`PROACTIVE_CHANNEL_ID` 由 `proactive` 改为 `proactive_v2`、
  `PROACTIVE_IMPORTANCE` 由 DEFAULT 提到 HIGH、新增 `LEGACY_PROACTIVE_CHANNEL_ID = "proactive"` 并在建渠道时
  `deleteNotificationChannel` 掉它、`setPriority` 改 `PRIORITY_HIGH`，对应测试断言同步更新。

为什么：
- 横幅由**渠道重要级**决定，而重要级**一旦创建只有用户改得动**（App 改不动）⇒「开关横幅」不可能靠运行时改
  设置实现，只能两条渠道切着用。
- 刻意**不用** `setSilent(true)`：那是完全静音（连提示音都没），而用户要的是「只在通知栏提示，别弹横幅」。
- 惰性创建只保证**这一次要用的那一条**（不存在的渠道会让 `notify` 被系统静默丢弃，所以必须在发之前建）：
  一个从没收到过她消息的用户，系统设置里不会平白多出渠道；另一条不删（用户可能对它调过设置），
  只删那条再也发不到的 legacy id。
- 去重、通知 id 派生、「是否该弹」的判据一个字节都没动。

验收：`assembleDebug` 通过；`testDebugUnitTest` 全量 **123 suites / 1479 tests / 0 failures / 0 errors**
（基线 121/1471，本次新增 2 个测试类 + 8 条用例）。
 2026-10-07 11:53:04 +08:00
AskaEth 0e834fc854 perf(parse): 落单 <p> 的「后面还有没有正文」判据改记忆化，parse 从 O(N²) 回到 O(N) 
W61 审查点出的问题：`stripLooseTags` 对**每一个**落单 `<p>` 都要调一次 `hasContentAfter`，
而那函数每次从该位置一路现扫到串尾 ⇒ 正文里有 N 个落单标签整体 O(N²)。`parse` 跑在主线程
（`ui/chat/MessageBubble.kt` 的 `remember`），用户粘一段 HTML 残骸就能把界面卡死十几秒。

改了什么
1. `hasContentAfter(text, from)` → `ContentAfterQuery`（同文件私有类）：判定用的还是原来那段
   扫描本身（`next` 逐分支对应原循环，判据仍是同一组 OPEN_P_TAG_RE / CLOSE_P_TAG_RE，没有另立
   一套「什么算 `<p>` 标签」的定义），只是把走链途经位置的答案落表，之后 O(1) 命中。每个位置
   至多被算一次 ⇒ 整体线性。惰性建表：没遇到落单 `<p>` 开标签的常规消息一个字节都不多花。
2. 顺着同一个输入查下去，发现同一形状下**还有另一处 O(N²)**：`tokenize` 的
   `P_BLOCK_RE.findAll(raw)`——正文里没有 `</p>` 时，每个 `<p` 候选点都会带着懒惰的
   `([\s\S]*?)</p>` 回溯到串尾。完整块必然以 `</p>` 收尾，所以把最后一个 `</p>` 之后切掉再扫：
   每个匹配都整体落在被切下的前缀里、正则的尝试顺序也没变 ⇒ 匹配结果逐字不变，而这一路回溯没了。

实测（本机 JVM 单测内 `System.nanoTime` 计时，修复前后跑的是同一份测速脚手架、同一台机器）

  `parse("<p>".repeat(N))`        修复前       修复后
  N = 2000                         854ms         5ms
  N = 8000                        4254ms        12ms
  N = 20000                      26405ms        17ms
  另一轮完整曲线 N=1000/2000/4000/8000/16000 = 148/238/881/3700/15973ms（每翻一倍涨约 4 倍）
  新增的复杂度回归测试在修复前报：`60000 字符（20000 个落单标签）用了 31226ms`

  两处各自的份额（N=20000，`"<p>".repeat(N)`）：落单标签判据约 23s、完整块搜索约 8.2s。

  `parse(" \n<p> ".repeat(20000))`（标签间夹空白）：修复前也是 20s 量级，修复后 6ms。

  已知残留（**非本次引入**，改前改后一致，在测试里如实登记）：`"<p ".repeat(N) + "</p>"`
  这种「`<p` + 空白一路没有 `>`、最后只有一个 `</p>`」的病态输入仍走完整块搜索的最坏路径
  （N=2000/8000/20000 = 105/1067/7314ms → 108/1242/7201ms）。要治它得把完整块搜索换成手写的
  线性匹配（牵动气泡切分的核心语义），本切片没做。

语义
`parse` 的对外行为一字未改：气泡切分、旁白依附、空块过滤、畸形回落全部照旧。既有 121 个测试
套件 1471 条全部通过、一条期望值都没动，另外新增 2 条测试：1 条复杂度回归
（`hugeRunOfLooseTagsIsDroppedWithinALinearBudget`，20000 个落单标签 + 宽松阈值，注释里写明
它测的是复杂度不是精确耗时）+ 1 条钉住「后面有正文才留字面」的语义
（`aLooseTagIsKeptWheneverThereIsStillContentAfterIt`）。

验收：`gradlew.bat testDebugUnitTest assembleDebug --rerun-tasks` → BUILD SUCCESSFUL
（121 suites / 1473 tests / 0 failures / 0 errors；APK 已产出）。无新依赖。
 2026-10-07 11:50:53 +08:00
AskaEth 4fe5509c24 feat(share): 正文回落链 EXTRA_TEXT → EXTRA_SUBJECT → EXTRA_TITLE（修「只有标题的分享整条静默」） 
W61 分享路径审查登记的那个缺口：有些发送方不填 `EXTRA_TEXT`，内容只在
`EXTRA_SUBJECT`（少数在 `EXTRA_TITLE`）里，而本端只读 `EXTRA_TEXT` ⇒ 那次分享
**整条静默**：用户点了分享，界面毫无反应、后端零请求，连 `contentUnreadable`
那条「读不进来」的告知也够不着（它的判据里没有这两个 extra）。

改动（按主人拍板的方向）：

1. **回落链**：`EXTRA_TEXT` → `EXTRA_SUBJECT` → `EXTRA_TITLE`，取第一个非空白的
   当正文（归一化口径与原来取 text 时完全一致）。`EXTRA_TEXT` 非空时它一定赢 ⇒
   既有情形逐字不变（`ShareTextFallbackTest` 有专门的用例钉住这一点）。
2. **来源如实登记**：`SharedContent.textSource`（`ShareTextSource.Text/Subject/Title`）
   记下正文是从哪个 extra 来的；渲染层据此说一句「这段文字来自对方的分享标题
   （对方没有提供正文）」——回落来的正文与真正文长得一模一样，用户只能靠这一句分辨。
   ⚠️ 那句话只出现在界面上，**绝不进正文**（面板预览与发出去的消息逐字相同，有用例钉住）。
   面板那边的接线需改 `ShareConfirmPanel.kt`（本批的**红线**：另一支正在改它），
   所以这一句先挂在**认领那一刻**的柔和告知通道上（`ChatViewModel.claimSharedContent`
   → `showShareNotice`）：它必须在用户点「发送」之前说。
3. **三个 extra 都空 / 都读不出来 ⇒ 走「读不进来」告知，绝不静默**：判据加了
   `textPresent`（「三个里至少一个躺着原始值」由读了原始值的那一层报进来，与既有的
   `streamPresent` 同一个形态）。「连值都没有」（误触分享）照旧静默 —— 边界没放宽。
4. **读取防御式**：四个 extra 统一读**原始值**再按形态分派（`Intent.rawExtra`，带
   `runCatching`）。核对过 AOSP `android/os/BaseBundle.java`：`getCharSequence` 自己
   catch `ClassCastException` 回 null（**类型不符不抛**），会抛的是 `unparcel()` 的
   `BadParcelableException`（畸形 bundle）——那一路由 `runCatching` 挡住，不让异常从
   `accept` 冒出去。不引入新依赖，UI 侧零新增控件。

测试：新增 `ShareTextFallbackTest`（11）、`ShareTextExtrasTest`（8）、`ShareNoticeTest` +4；
全量 testDebugUnitTest 123 suites / 1494 tests / 0 failures / 0 errors
（基线 121/1471/0/0）；`assembleDebug` 通过（--no-build-cache 真跑）。
 2026-10-07 11:41:55 +08:00
AskaEth cdd58fa9c4 W65: 分享确认面板的预览改走与气泡同一套解析（所见即所发） 
W61 审查发现的那处不一致：预览把正文 trim 之后**原样显示**、不过解析器，而发送后的气泡走
`domain/parse` 的 `parse`——分享 `"<p><p>正文</p>"` 进来，预览里是一串标签、气泡里只剩
「正文」。用户按发送之前看到的不是他将要发出的东西。

- 预览正文区改为渲染 `sharePreviewBlocks(text)`：就是 `MessageBubble` 用的那一个 `parse`
  的结果（多段 ⇒ 多个块；`<action>` / `<narration>` 与星号那几种写法 ⇒ 灰斜体小字的旁白行）。
  面板不再自己写一套「剥标签」；`parse` 一行未改。解析结果为空时按「整段原样显示」兜底，
  与 `MessageBubble` 的 `parsed.ifEmpty { plainBubble(content) }` 同一条——绝不显示空白。
- 「超窗」判据从「数一个 Text 的行数」换成**比高度**：内容自然高度（`onSizeChanged` 挂在
  `verticalScroll` **里面**，量到的是不受上限影响的自然高）vs 窗口高度（量到的行高 ×
  SHARE_PREVIEW_TEXT_LINES）。比较在组合期算完、由 `SideEffect` 报上去（排版回调里读到的两个量
  都是上一帧的，在那里比会永远差一帧）。窗口高也不再取「第三行的底边」：多块之后没有任何一个块的
  第三行等于这一窗的第三行。
- 两处 `verticalScroll` 的有限约束一如既往：外层预览区仍是 `heightIn(sharePreviewMaxHeight)`；
  正文窗仍是 `heightIn(shareConfirmWindowCap(cap))`（唯一出口，返回值恒有限），展开态把上限与滚动
  一起去掉。W58 那两次崩溃的形状一个都没碰。
- 测试：`ShareTextPipelineTest` 里那条钉着「预览原样、气泡解析」分工的用例按新口径**推翻重写**
  （预览与气泡的正文文本一致、标签不进可见文本），另加三条（多段块数 / 旁白段 / 空解析兜底）；
  `ShareConfirmTest` 的超窗判据用例换成新纯函数的穷举，并新增 `sharePreviewWindowHeight` 的用例。

验证：`assembleDebug` 通过；`testDebugUnitTest` 121 suites / 1476 tests / 0 failures / 0 errors。
 2026-10-07 11:38:07 +08:00
AskaEth 541a70f126 docs(05): 锚点补记四十 —— 后端回执二十八四条答案 + 畸形回归通过（部署后无新畸形）+ W60 后端重启自愈（根因两半、拉不到新消息的真相）+ W61 分享审查（当前 HEAD 无残留崩溃点，主人手机是旧包；三处如实登记的缺口）+ W62 语音接收侧真机验收通过（五档夹具 + 播放出声）+ 一条流程教训（合并≠设备上是新包） 2026-10-07 11:19:21 +08:00
AskaEth 3d8bc61912 merge: W61 —— 分享路径审查（补 12 条跨层串测 ShareTextPipelineTest；shareConfirmWindowCap 加有限性守卫，把「上限恒有限」从调用方好习惯变成唯一出口保证） 2026-10-07 11:15:28 +08:00
AskaEth 9ced7444bd merge: W62 —— 语音消息接收侧（voice DTO + 语音气泡 + 播放；无副本不画播放键、时长缺席不估算、实时帧不等 voice） 2026-10-07 11:14:54 +08:00
AskaEth 2fbf24a675 feat(voice): 接收侧语音消息 —— 显示 + 播放（W62 / 契约 v0.79 §4.4 与 §1.2 U19） 
别的客户端（QQ / 微信）发来的语音，现在能正确显示并播放。只做接收侧，不做本端录音/发送。

契约口径（逐条落地，不自己发明键名）：
- **判据 = `voice` 键存在**：绝不从 `content` 正文里认媒体类型（`[语音]` 占位标记自 v0.67 起不再
  下发，正文里也可能有用户自己打的同样字样）；
- **按 `status` 分支**（`transcribed` / `empty` / `failed` 三态），正文一律照常显示、一个字不改；
- **`name` / `mime` / `size` / `url` 四者同生共死** ⇒ 凑不齐就**不画播放控件**（不给必然失败的按钮）；
- **`durationMs` 缺席就不显示时长**（不反算、不显示 `0:00` 冒充）；
- **不在 WS 实时帧上等 `voice`**（覆盖率：只有四个 REST 读取面填充）—— 实时到达的先按普通文本显示，
  由既有的「按 id 合并、新到的胜出」在下一次拉取时自动升级成语音气泡（新增单测钉住这条依赖）。

改了什么：
- `VoiceDto`（7 个键逐字照抄）+ `HistoryMessageDto.voice: VoiceDto? = null`（缺席与 null 同一件事）；
- `domain/chat/VoiceMessage.kt`：判据与展示换算的**唯一落点**（`isVoiceMessage` / `voiceAudio` /
  `voiceDurationLabel` / `voiceNote` / `voiceMediaUrl` / `voicePlaybackFailureMessage`）；
- `domain/chat/VoicePlayback.kt`：播放通道的纯状态机（Idle / Loading / Playing / Failed），
  每次转换都按 `messageId` 比对 ⇒ 迟到回调不许改状态；
- `ui/chat/VoicePlayer.kt`：`android.media.MediaPlayer`（平台 API，**不引任何新依赖**）驱动那条通道，
  三处收干净：换目标先停旧、换会话换实例、组合销毁 `onDispose` 释放；
- `ui/chat/VoiceBubble.kt`：`[播放/暂停] 语音 · 时长` + `empty` 那句补充说明 + 失败提示（一行，error 色）；
  图标用 AAR 里真实存在的 `MiuixIcons.Play` / `Pause`（extended 包，basic 那 7 枚里没有）；
- `data/api/MediaApi.kt` + `data/repository/VoiceStore.kt`：`GET {当前地址}{voice.url}`（自带的
  Bearer + 401 续期走 `ApiClientFactory`），字节落 `cacheDir/media/<存储名>`（复用 `DocumentCache`
  的名字判据 / 命中判定 / 原子落盘；**不落 `documents/`**，那是 FileProvider 唯一暴露的根）；
- `MessageBubble` 渲染语音形态；`isContentlessUserMessage` 加一条「语音消息不算什么都没有」
  （否则空转写的语音会被扣上「内容没有被传过来」那顶**假**帽子）；
- `devtools/fake-backend/`：新增语音夹具（`__control/messages?voice=&duration=` + 真 2 秒 WAV 的
  `/api/v1/media/{name}`）—— 生产库里一条带 `voice` 的真消息都没有，设备验收只能靠造。

为什么这么改：`MediaPlayer` 不 `release()` 会一直占着解码器与音频通路，而语音是唯一「会出声」的
消息形态，生命周期必须有一处说清楚（写在 `VoicePlayer` 的 KDoc）；播放失败必须可见（按钮回未播 +
一行短提示），一条点了没反应的语音在用户眼里就是坏的。

验收：`assembleDebug` 通过；`testDebugUnitTest` 120 suites / 1458 tests / 0 failures / 0 errors
（基线 115 / 1405，新增 5 个套件 53 条）。
 2026-10-07 11:14:28 +08:00
AskaEth 22d655b73b fix(chat): 分享面板的高度上限出口补上「非有限值」守卫（W61 分享全链路复核） 
主人报「网易云分享文本到 App 会闪退」。已修的那个 P0（df7b504 / 6d4f2cd：面板一打开就崩 /
点展开又崩）是 Dp.Infinity 当哨兵值与展开态没去掉 verticalScroll，那是**最可能**的成因。
这一批把这**整条链**（Manifest 的 intent-filter → ShareIntake → 落地面板 → sendConfirm →
气泡渲染）从「假设主人的包就是当前 HEAD」重审了一遍，找残留崩溃点。

结论：**当前 HEAD 这条路径我没有找到残留崩溃点**。逐项复核见下面「查了什么」。审查中发现
一处**不变量只写在 KDoc 里、实现并不保证**的地方，本批把它补实（不改变任何现状行为）。

改了什么（最小的一处 + 一处 KDoc 更正）：

1. `shareConfirmWindowCap` 从纯透传改成**守卫式**：`measured` 非有限（`Dp.Infinity` / `Dp.Unspecified`
   即 NaN）时与「还没量到」同等对待，回落 150dp。它上面那段 KDoc 一直写着「返回值永远不是
   Dp.Infinity」，而实现是 `measured ?: 150.dp` —— 今天唯一的调用方传的是 null 或
   `getLineBottom(...).toDp()`（恒有限），所以**现状没有可触发的崩溃**；但那条不变量此前只由
   「调用方的好习惯」保证，而它正是 W58 崩过两次的那一条。补守卫之后可以给出一句可证明的话：
   这一层给出的上限**恒有限**，于是面板里那两个 `verticalScroll`（外层预览区 / 收起态正文窗）
   在任何输入与状态下都不可能落在无界高度上。
2. `ShareConfirmBody` 那段 KDoc 里一句不准确的话改准：旧文说该函数的出口「要么返回 null（不设
   上限）」——它恒返回 Dp，「不设上限」发生在展开态那一支（连 verticalScroll 一起去掉），与它是两回事。

新增测试：

- `ShareTextPipelineTest`（12 例，新文件）：把「分享一段文本进来」这条链从 Intent 字段一路串到
  气泡正文（`ShareRules.extract` → `shareConfirmPreview` / `shareConfirmBody` / `shareConfirmCanSend`
  → `parse`），此前**跨层串测完全空缺**（每一站各自有单测，没有一处把它们接起来）。钉三件事：
  ①**内容一字不丢**（「分享单曲 + 链接 + emoji + 多行」逐字节到气泡正文；用户补的描述同样）；
  ②**正文里的标记按既有语义走且绝不抛异常**（`<p><p>` / `<action>` / 全角半角星号 / `1 < 2` /
  半个代理对 / `\u0000` / 200 个落单 `<p>` / 10 万字符都过一遍）；
  ③**面板预览不过解析器、气泡过解析器**（同一段带标记的字，预览里是原样、气泡里被剥离——
  这是如实记下的一处不一致，不是崩溃）。
- `ShareConfirmTest`：把 `Dp.Infinity` 与 `Dp.Unspecified` 放进「任何输入都给不出非有限上限」的
  输入表——原先那张表**恰好漏掉了唯一能推翻该断言的两个值**。反证过：把实现改回纯透传时，
  这一条用例确实 FAILED（`no input can produce a non finite cap`），改回守卫后通过。

查了什么（逐项，都是读代码 + 纯函数求证，不是猜）：

① Intent 形态：`getCharSequenceExtra` 对非 CharSequence（`String[]` / `ArrayList`）是**catch 住
   ClassCastException 回 null**（SDK 源码 `BaseOs/BaseBundle.getCharSequence` 已核），不抛；
   EXTRA_STREAM 走原始值按形态分派；字符串形态只认 `content://`；ClipData 纯文本条目只当
   「带着内容迹象」用来出告知。② 空/边界输入：空串 / 纯空白 → `worthDelivering=false` 静默
   （正确）；`<p><p>` / 星号 / `<` 一律不抛（新用例钉住）。③ 面板渲染：Miuix 的 `WindowDialog` /
   `TextField` 里**没有**任何 scroll 节点（反编译 `miuix-ui-0.9.3` 的 class 查过），面板里的两个
   `verticalScroll` 各自都先过一层有限的 `heightIn`。④ 出队闸门：闸门在 `take()` 之前、认领落在
   VM 状态里，重建不会再取；`claimSharedContent` 只有 Compose 主线程一个调用点。⑤ 发送后渲染：
   `parse` 的落单标签口径（W55）与既有契约一致，新用例把分享正文含标记时的落点一并钉住。
   ⑥ 通知/保活：分享落地与 `ProactiveFrameIntake` / `KeepAliveService` 之间没有任何联动路径。

没覆盖 / 只能上真机的：渲染层本身（本模块没有 Compose UI 测试依赖，`checkScrollableContainerConstraints`
那一类崩溃单测抓不到——W58 的教训），以及任何需要设备的观感；本批**没有**装包上机（emulator-5554
上有别的会话在跑，主仓在我复核期间刚构建过 APK，我刻意没有动它）。

真跑：`./gradlew.bat assembleDebug` 通过；`./gradlew.bat testDebugUnitTest` 全量
**115 suites / 1400 tests / 0 skipped / 0 failures / 0 errors**（基线 114 / 1388，差的正是本批
新增的 1 个 suite 12 例，其余一条没碰坏）。
 2026-10-07 11:00:45 +08:00
AskaEth 55612a3922 merge: W60 —— 后端重启后自愈（连接重建即收口未结束的回合/流式卡/工具卡，修「永久卡在正在思考」） 2026-10-07 10:54:37 +08:00
AskaEth 83a2a88b3c fix(chat): 连接重建（后端重启）时把「进行中」全部收口，不再永久卡在思考/工具调用 
改了什么
- 新增纯判据 `isReconnect(previous, current, everConnected)`（ui/chat/ReconnectReset.kt）：
  只有「**曾经**到过 Connected 之后又回到 Connected」才算重建，第一次接上一个字节都不动。
  主判据是 VM 自己那位只置不翻的 `everConnected`（状态流会合流，`Connected → Reconnecting →
  Connected` 中间那一跳可能被吞掉，只置不翻的位不受影响）；第二证据是上一跳为 `Reconnecting`
  （只在「本 VM 是离线期间建起来的」时成立，且那一刻它手里什么都没有，收口是恒等变换）。
- 新增 `ChatUiState.settledAfterReconnect()`（纯函数）：把服务端那一轮在本端留下的五个面一次收口 ——
  `turns.allClosed()`（未收口绑定全标 closed，气泡 ④ 灰态 → ⑤）、`streams.allFinished()`
  （每一路停止生长：思维链不再「思考中…」、工具卡不再「执行 X…」）、`busyMode = null`、
  `activeTurns = 0`、`queueDepth = 0`。无变化时返回**同一个实例**。
- `TurnStreams.kt` 新增 `allFinished()`：正文与思维链一个字都不删；**唯一**的删除是「本来就什么都
  没有」的空路（`active` 而一个像素都不画的那种，留着就是一个占着列表末项的幽灵）。
- 工具卡收口 `List<ToolCallState>.settledAfterReconnect()`：`Running` ⇒ `phase = null` + `done = true`
  （渲染成「工具调用 · X」——不再有省略号、也不替服务端下「失败」的结论）；`Done`/`Error` 一个字节
  都不动。`ToolPhase` 枚举**没加第四档**（它逐字对齐后端流程图 status，是契约面）。
- 接线在 `ChatViewModel.onConnectionChanged`：收口刻意放在既有的「同值早退」**之前**（见上），
  补拉那一半（`reconnectPull` / `gapCursor` / `firstPageState`）**一个字都没改**。

为什么
后端卡在回合里被重启 ⇒ 那一轮在服务端已经不存在 ⇒ 本端**永远**等不到 `turn.end` / `stream_end` /
助手落库行，而本端「进行中」的每一条闸都只认帧（灰态只认 `TurnBinding.closed`、卡片只认
`thinkingActive`/`active`/`phase`、底栏只认 `busyMode`）⇒ 三条路都不会自己收口，界面永久停在那一格。
今天唯一的兜底是 `session_idle` / `session_interrupted` 的那两个 `allClosed()` 调用点，而说那两句话的
进程已经没了。连带的第二半：那条永远 `active` 的流式路永远是 `items` 的最后一项（`reverseLayout` 下就是
屏幕最下方），而 `ChatScreen` 的「跟随底部」判的正是 `items.lastOrNull()?.key` ⇒ 末项不再变化 ⇒
此后新消息不再把列表滚到底（用户视角就是「拉不到新消息」）。

触发时机只做「连接重建」(a)，**不做静默超时** (b)：理由、代价与风险（(b) 要多一个只能拍的时间常量、
会把正常但慢的回合误杀；但它能兜住「连接没断而编排器死锁」这一档，今天没有现场证据）都写在
`ReconnectReset.kt` 顶上，留主人拍板。

如实登记的两处代价
1. 收口**不删**正文/思维链/工具卡内容，所以那张卡本身要等一个后续事件才消失（它自己那一路的落库行，
   或下一轮 `message.start` 的 `beginLeg` 把它当「已结束的路」丢掉）。若主人更想要「末项立刻让开」，
   代价是那半段正文从屏幕上消失——我没选它（硬要求：不许动消息内容）。
2. `busyMode = null` 连带改变下一次发送的声明（`emitAndDeliver` 用 `busyMode != null` 算
   `interruptScopeForSend` / `parallelForSend`）：重建后的**第一次**发送不再先发 `interrupt`。如实说：
   重建之后本端确实不知道那一轮还在不在；服务端下一次报 `session_busy` 就恢复。
「闪动」口径：`closed` 单调（迟到的帧不会把它翻回灰态），流式卡片会被后续真帧重新拉回「在跑」
（那是如实的、且不丢字），`busyMode` 由服务端下一帧恢复。

验证
- `./gradlew.bat assembleDebug` BUILD SUCCESSFUL（app-debug.apk 已产出）
- `./gradlew.bat testDebugUnitTest` 全量：**115 suites / 1405 tests / 0 failures / 0 errors**
  （基线 114 / 1388 ⇒ +1 suite、+17 tests，全部来自新增的 `ReconnectResetTest`）
- 新增 `ReconnectResetTest`（17 例）：连接重建 ⇒ 未收口绑定全 closed（且 `phaseOf` 真的变成 Answered）；
  第一次连接（`Idle`/`Connecting → Connected`）不收口；判据 5×5×2 = 50 格全表穷举；`settledAfterReconnect`
  幂等且无变化时 `assertSame`；已 closed 的不会被 `withTurnBegin` 翻回；流式卡片全停且正文保留、空路被丢；
  工具卡 `Running → null+done`、`Done`/`Error` 原样、后续真帧能放回 `Running`；
  消息/待发/草稿/队列/error/绑定 messageIds **一律原样**。
 2026-10-07 10:50:23 +08:00
AskaEth 53c3c5c8ee docs(05): 锚点补记三十九 —— 后端回执二十五/二十六要点（.end 加 resultSummary 已批准、proactive 在 data 里、帧 id 同源、channel_persisted 可能带 proactive、markup 畸形确认是 bug 且已修但未部署）+ 我们去重口径复核没踩坑 + W59 工具卡结果区落地 + 真机验收边界（这批只有单测证据） 2026-10-07 10:15:13 +08:00
AskaEth e0bdaa3537 merge: W59 —— 工具卡结果区（tool_execution.end 的可选 resultSummary；缺席/空串一律不画，与老服务端逐字节一致） 2026-10-07 10:14:30 +08:00
AskaEth 316cd27049 feat(chat): 工具卡接上 resultSummary 结果区（缺席时与今天逐字节一致） 
后端新契约切片给 `tool_execution.end` 的 `data` 补了一个**可选** `resultSummary`
（与回看面 `toolCalls[].resultSummary` 同一份预算：已脱敏、已截断 ≤500 字符）。
它的语义是「拿到就带、没拿到就缺席」——失败 / 取消 / 超时 / 未落图时**整个键缺席**，
且契约明说**别把缺席读成「没有输出」**。在那之前工具卡只能显示工具名与状态。

改了什么：
- wire：`WsEvent.ToolExecutionEnd` 新增 `resultSummary: String? = null`；共用的
  `ToolExecutionData` 跟着加这个字段（只由 `.end` 读，`.start` / `.update` 的领域事件
  仍然没有它）。缺键 ⇒ `null`，空串 ⇒ `""`，都在解码层照原样保留、不编结论。
- 领域：`ToolCallState` 新增 `resultSummary`；`applyToolExecution` 多一个同参数
  （非空白时顶替、缺席 / 空白时保留原值——三帧里只有 `.end` 带它，一次落不到不该抹掉旧的）；
  VM 的 `onToolExecution` 与 `ToolExecutionEnd` 分支透传。
- 判据：新增纯函数 `toolResultTextOf(tool)`：摘要非空白 ⇒ 用它；否则回落 `output`
  （今天唯一的来源，口径不变）；两者都没有 ⇒ `null`。
- UI：`ToolCard` 折叠区里「结果」那一块（参数之后）改由 `toolResultTextOf` 决定要不要画。
  `null` 时**连标签与它上方那道 Spacer 都不画** ⇒ 摘要缺席时这一屏与后端补这个键之前
  逐字节相同。空串同理（服务端承诺不发空串，但真发了也绝不渲染出一个空的结果区块）。
  摘要只展示：不再截断第二次、不解析、不当 markdown；正文沿用与参数同一个 `FoldCardBody`
  （`SelectionContainer` + 不设 `maxLines`），长文本整段可见，没有新增任何滚动 / 限高 modifier。

为什么这么做：一句话的判据、纯函数、单测可钉；渲染层只做「画 / 不画」这一个决定，
于是「老服务端（键恒缺席）」与「新服务端（键在场）」共用同一套 UI，不用等部署。

测试：新增 14 条（`WsEventToolExecutionTest` +5、`ToolExecutionCorrelationTest` +9），
覆盖 ①键在场 ⇒ 解出该值（含 500 字符原样透传）②键缺席 ⇒ `null` 且不报错
③空串 ⇒ 解出 `""` 且判据按「不画」处理 ④`toolResultTextOf` 在缺席 / 空串 / 有值三档下的输出
（含摘要优先于 `output`、结果落卡、缺席不抹旧值、落不到卡时不影响任何卡）。
`assembleDebug` 通过；全量单测 114 suites / 1388 tests / 0 failures / 0 errors（基线 1374）。
 2026-10-07 10:14:10 +08:00
AskaEth c40a752bcf docs(05): 锚点补记三十八 —— 分享面板 P0 崩溃（两次：Dp.Infinity 当哨兵值 / 展开态只去上限没去 verticalScroll）已修并真机验收（收起 153px↔展开 255px，同一 pid 无崩溃）；三条教训（单测抓不到渲染层崩溃、子代理论证再详细也不能替代真机点按、verticalScroll 的约束来源要看谁在外面）；顺带推翻 W56『首帧回流看不见』的结论 2026-10-07 09:51:59 +08:00
AskaEth df7b504fa2 fix(chat): 分享面板展开态也会崩 —— 只去掉上限是不够的，必须连 verticalScroll 一起去掉 
补上一个修复的漏：上一笔只把展开态的 heightIn 上限去掉，没去掉 verticalScroll。而外层
ShareConfirmPreviews 自己就是一个 verticalScroll，它给内容的是**无界高度** ⇒ 这一层的 scroll
在无界高度下被测量 ⇒ 抛同一个 IllegalStateException。真机上点「展开」的那一下崩了第二次
（pid 2077，01:48:53，reason=4 APP CRASH）。

改：展开态把这一层**整个**去掉（上限 + 滚动一起），只留外层预览区那一层滚 —— 这也正是 W56
原本的设计意图（'展开态只留外层那一层'）。shareConfirmWindowCap 去掉了 expanded 维度（展开态
不再走它），测试同步改写并补了一条「两种状态在链上都有有限约束」。

真机验收（emulator-5554 + 真后端）：收起 153px（3 行）+『展开』→ 点开展开 255px +『收起』→
点回收起 153px，**三次操作同一个 pid 4063，没有任何新崩溃记录**。
 2026-10-07 09:51:44 +08:00
AskaEth 6d4f2cdbae fix(chat): 分享确认面板一打开就崩 —— 正文那一层绝不能再拿到 Dp.Infinity 
真机崩溃栈：heightIn(max = Dp.Infinity) 等于不施加约束，verticalScroll 在无界高度下被测量时
checkScrollableContainerConstraints 直接抛 IllegalStateException（ScrollNode.measure ←
SizeNode.measure ← DialogLayout.internalOnMeasure），分享进来、面板刚打开就闪退。

改法：这一层的高度上限只经纯函数 shareConfirmWindowCap() 一个出口 —— 首帧用
SHARE_PREVIEW_MAX_HEIGHT(150dp) 兜底（有限值），展开态这一层不设上限（外层 240dp 仍是有限约束），
并且不再用 Dp.Infinity 当「还没量到」的哨兵值（改用 null）。新增 4 条单测钉住
「任何输入组合都不会产出非有限上限」。
 2026-10-07 09:45:34 +08:00
AskaEth af9c63d267 docs(05): 锚点三十七补第 5 节 —— 收尾：假后端任务到点、tcp:80 切回真后端、App 已重连并拉到真实会话；并如实记录「换后端目标但地址字符串不变 ⇒ 本地消息残留」这个观察（已核实真后端没有那条测试消息，且正常换地址必经登出会清） 2026-10-07 03:57:03 +08:00
AskaEth c8f19f9c84 docs(05): 锚点补记三十七 —— 长跑第3次定案（30min 有效通过；2h 失败是模拟器 system_server 崩溃连带杀进程，五条证据）+ Android 14 划掉会终止 dataSync 前台服务（验收造场景改用返回键 finish Activity）+ W57 端到端验收通过（含未做改前对照的如实说明） 2026-10-07 00:18:51 +08:00
AskaEth f9555fba85 docs(05): 锚点补记三十六 —— W57 通知消费点提到进程级（根因链：连接是进程级/订阅挂 Activity 级 VM/replay=0 丢帧）+ 长跑第3次基线（开关确认是开的，推翻上节那条猜想）+ W57 设备验收步骤与副作用 2026-10-06 22:23:09 +08:00
AskaEth 900d191b8d merge: W57 —— 把「她主动说的话」的通知消费点提到进程级（新增 ProactiveFrameIntake；修 Activity 被划掉后收不到帧/不弹通知） 2026-10-06 22:22:26 +08:00
AskaEth 0e03eba6a4 feat(notify): W57 —— 「她主动说的话 ⇒ 弹通知」的帧消费点提到进程级 
改了什么
- 新增 app/ProactiveFrameIntake：订 ChatSocket.events，把两类帧（proactive_message、
  message_persisted{proactive:true}）折成四个入参交给 ProactiveNotifier。纯函数
  proactiveFrameOf 管「哪些帧算她主动说的话、每个入参取自帧上的哪个键」。构造即订阅，
  刻意不提供 start/stop。
- AppContainer：新增 proactiveFrameIntake（与 chatSocket 同一层，进程级）。
- SessionsViewModel：删掉 onEvent 里那两处转交 proactiveNotifier 的调用，本类不再判断
  通知的任何一件事（未读、「谁在跑」原样不动）。
- AppPresence / ProactiveNotifier 的 KDoc 跟着改：谁在读「在不在前台」、谁在喂帧。

为什么
改前这份订阅挂在 SessionsViewModel 的 viewModelScope 上。连接本身是进程级的
（ChatSocket 自带 scope，只有 close() 取消它，而 SessionsViewModel.onCleared 刻意不关），
所以从最近任务把 Activity 划掉之后连接照旧收帧——但 events 是 replay=0 的 SharedFlow，
没有订阅者的 tryEmit 当场丢掉：她的话进了连接、然后没了，通知永远不弹。这是 W53N 登记
的那一格缺口。

边界
- 判据与去重一个字节没动（仍在 ProactiveNotifier 的纯逻辑里）。
- 连接所有权没动：仍然只在登录态那一处 connect/close。
- 不是「新起一条连接」，只是把帧的消费点从 Activity 级提到进程级；VM 里那两处转交是
  删而不是留（留两处等于靠去重去遮一次重复消费，且「谁在喂通知」会有两个答案）。
- deliver 里接住落地异常：这条订阅不会再被重建，抛出去就是进程崩溃 + 通知整个哑掉。

验收
assembleDebug 通过；testDebugUnitTest 全量 113 suites / 1370 tests / 0 failures /
0 errors（基线 112/1361，新增的 9 条全在 ProactiveFrameIntakeTest）。
 2026-10-06 22:21:26 +08:00
AskaEth 6de2f7656a docs(05): 锚点三十五补第 7 节 —— 保活长跑第2次复查结果作废（装包必然杀进程 / tcp:80 已指向真后端使注入 delivered=0 / 复查时进程本就不在），并写明重做需要的前提与代价 2026-10-06 22:14:13 +08:00
AskaEth 5f7489d70e docs(05): 锚点补记三十五 —— 模拟器已切真后端（含全角冒号坑与「未知错误」根因）；主人报的标签解析 bug 定位到后端畸形 markup <p><p>正文</p> 并已容错修复 + 真机验收；W54A/C/D + W55 + W56 五支合并推送（112/1361 绿）；模拟器卡的原因诊断 2026-10-06 21:44:07 +08:00
AskaEth a60e3abc12 merge: W56 —— 分享面板预览加「展开/收起」（长正文可读全文；展开态上限 240dp；短正文不显示控件） 2026-10-06 21:43:30 +08:00
AskaEth 14955ef6c0 feat(chat): 分享确认面板的正文预览可以展开 / 收起 
问题：W54D 把正文那一窗改成「三行 + 内部滚动」之后「读不到整段正文」是解决了，但一次只看得见
三行。主人拍板「可以滚动 可以展开」——两个都要，所以这一轮补上后半。

改法（只动 ShareConfirmPanel.kt 与它的测试，ChatScreen / ChatViewModel 与接线一字未碰）：
- 正文卡片里加一枚「展开 / 收起」（`Text` + `clickable`，不用 `TextButton`：按钮自带高度会把
  这一行撑高一截）。它挂在「分享的文字」那一行的右端，不挂在正文末尾——展开后正文可能好几屏，
  末尾那枚「收起」要滚到底才找得到。
- 收起态一个字没变：三行窗（SHARE_PREVIEW_TEXT_LINES = 3）+ 内部滚动。
- 展开态：正文那一窗撤掉自己的上限（`heightIn(max = Dp.Infinity)`，正是首帧那个状态），整段交给
  外层预览区滚；外层上限由 150dp 抬到 240dp（SHARE_PREVIEW_EXPANDED_MAX_HEIGHT）。展开态**只留
  这一层**滚动是刻意的：两层都设上限时手势先被内层吃掉、内层滚到底才轮到外层，两层上界还互相
  牵制，最容易出的错就是「明明展开了还剩半截读不到」。
- 控件**只在正文排下来超过三行时出现**。判据是行数 > SHARE_PREVIEW_TEXT_LINES，不是
  `hasVisualOverflow`：这一窗的高度不受限（`verticalScroll` 给子项的就是无上限约束），`Text` 自己
  永远报「没有溢出」，拿它当判据会在最长的那种正文上漏掉控件；行数则与上限无关，首帧就可用。
- 展开态为什么是 240dp：这个上限管的是**整个预览区**，下面还压着描述输入框（最多 4 行）与两枚
  按钮，面板贴着屏幕底、键盘一弹可用高度只剩半屏上下。150 → 240 在默认字号档上把正文窗从三行抬到
  十行上下；再往上（例如整屏的六成）先被顶掉的会是按钮。⚠️ 这个数**没在真机上量过**，是按这笔账
  取的保守值，观感由主人验收，要调只改这一个常量。
- 两条判据都做成纯函数（`sharePreviewTextOverflowsWindow` / `sharePreviewMaxHeight`），调用点只读
  结论，单测钉的就是它们。

上一批留下的「首帧回流会不会看得出来」疑点，复核结论：**留着，且确认它看不见**（理由已写进
`ShareConfirmBody` 的 KDoc）：① 首帧那一下撑不动任何别的东西——正文块是预览区里的最后一个元素，
可视像素只由外层那层独立的上限裁剪决定，上面图片/文件的位置一分不动；② 展开态本来就没有这一层
上限，不存在「量完再回落」；而展开 / 收起那一帧的尺寸变化是用户动作的**目的**，不是回流。真正多
出来的是控件本身（第二帧才出现，因为行数是排完才知道的），它与标签同用 `footnote2`、行高不变，
也顶不动任何东西。组合期 `rememberTextMeasurer` 那条路要外包 `BoxWithConstraints` 拿宽度、还要
自己复现字号与字体缩放，等于把排版做两遍——为一个看不见的跳动换掉结构不划算，不做。

已知取舍（如实记下，没修）：转屏（Activity 重建）后展开态回到收起。它现在活在
`remember(preview.text)` 里，跨转屏要活下来只有两条路——进 `ChatUiState`（W54C 给「已取走的分享」
与描述走的就是那条路，但那是 ChatScreen / ChatViewModel 的地盘，本批红线不许碰），或
`rememberSaveable`（本仓一次都没用过的新写法，且弹层窗口带不带 saveable registry 没在真机上验过）。
两条都没走，留一条 ⚠️ 在代码里 + 留给主人定。

测试：新增 3 条（纯函数判据）——「什么时候该出现展开控件」（0/1/3 行不给、4 行起给，并接一份
40 行的真分享走一遍）、「展开态给多高」（150 / 240 两个字面量 + 展开严格更高 + 不超过收起态的
两倍）、「两句标签不同且非空」。展开与滚动本身单测够不着（本模块没有 Compose UI 测试的依赖），
如实说明；既有断言一条未放松。

验证：`./gradlew.bat assembleDebug testDebugUnitTest --tests "*ShareConfirm*"` → BUILD SUCCESSFUL
（ShareConfirmTest 15 条 = 既有 12 + 新增 3、ShareConfirmDraftTest 3 条，0 失败 / 0 错误）；
全量 `./gradlew.bat testDebugUnitTest` → BUILD SUCCESSFUL，112 suite / 1361 tests / 0 失败。
 2026-10-06 21:43:12 +08:00
AskaEth 9ff2de3a1d merge: W55 —— 解析器剥掉落单标签（修后端畸形 <p><p>正文</p> 导致标签字面显示在气泡里） 2026-10-06 21:26:34 +08:00
AskaEth f3c1121887 merge: W54D —— 分享确认面板正文预览改成三行窗口 + 内部滚动（发送前能读到整段正文） 2026-10-06 21:26:33 +08:00
AskaEth a861881ec4 merge: W54C —— 转屏不再静默丢掉已取走的分享（面板状态与描述移进 ChatUiState，take 仍只发生一次） 2026-10-06 21:26:29 +08:00
AskaEth b3ded77c23 merge: W54A —— 通知一事一条（通知 id / PendingIntent requestCode 按消息稳定派生，修她连说几句时后到覆盖先到） 2026-10-06 21:26:26 +08:00
AskaEth 464e91621e fix(parse): 容错落单的段落标签，绝不把 <p> 当正文渲染 
真机实测：后端产出的某条消息第三段是 `<p><p>那现在…？</p>`（两个开标签、一个闭标签）。
P_BLOCK_RE 是非贪婪的，先把外层 `<p>` 配到那个 `</p>`，内层那个裸 `<p>` 就成了「块内容」；
而 appendAnnotations 只认 `<action>` / `<narration>` / 星号，不认裸 `<p>`，于是它作为普通文本
落进气泡正文，屏幕上直接显示 `<p>那现在…`。

改了什么：新增 stripLooseTags，在切出 `<p>` 块之后按区剥掉「落单标签」——
- 消息里已有完整 `<p>…</p>` 块时，块内块外多出来的每个 `<p>` / `</p>` 一律剥掉，块外没被
  ROLE_RE 认领的 `<action>` / `</action>` 同样剥掉；
- 一个完整块都没有时，维持既有「未闭合 `<p>` 整段回落字面文本」的契约（编辑框靠它保证不
  静默改字），只再剥两类连「被截断的结构」都算不上的东西：落单的 `</p>` 与后面什么都没有的空开标签。
判据只认完整匹配已知标签词表的形状，`1 < 2` / `<3` / `a<b` / `<p2>` / `<P>` / `<p`(残缺) 一律原样保留。

为什么选择「剥」而不是「原样显示」：这些是服务端产出的标记、不是她说的话；渲染成正文等于往
气泡里塞一串用户既看不懂、也改不掉的字符，而剥掉只是少显示几个本就不该出现的字符，正文一个字
都不动。这只是客户端的容错，不代表服务端这样发是对的。

流式：stablePrefixEnd 不动。扣留点取「第一个没闭合的开标签」，而前缀里的每个开标签必定在同一个
前缀内配到闭标签，所以「是不是落单」在它被产出的那一刻就已定死，中间态剥掉、收口也不用改口；
放宽扣留（把重复的 `<p><p>` 当外层冗余）反而会让 `<p>甲<p>乙` 在中间态把 `<p>甲` 当字面文本吐上屏，
等 `</p>` 到了再跳成 `甲乙`。新增测试钉住这条：逐字符喂实测畸形串时，任何一帧都不许漏出标签，
且已显示的正文只许增不许改口。

测试：assembleDebug 通过；ChatContentParserTest 55 项全绿（新增 17 项）；全量 110 suites /
1349 tests / 0 failures / 0 errors（主仓同 HEAD 基线 110 suites / 1332 tests，本次 +17 项）。
 2026-10-06 21:26:07 +08:00
AskaEth ec89d828d1 fix(chat): 分享确认面板的正文预览改成三行窗口 + 内部滚动 
问题：正文那一窗此前是 maxLines = 3 + 省略号，超过三行的分享正文在按「发送」之前根本读不到。
面板里再没有第二处放着这段正文（输入框只剩「用户附加的描述」，初值恒为空），截断就等于
「要发出去的那段正文看不见」——而这正是用户点「发送」时唯一要确认的东西。

改法：正文那一窗高度恒为三行、内部可滚，外层预览区那 150dp 的上限原样不动，所以面板不会被
长正文撑高（图片 / 文件芯片 / 按钮的位置都不变）。滚到底后余量交给外层 scroll，嵌套滚动本身
就有，不用额外接线。

上限为什么不是写死的 dp：Miuix 的 footnote1 只给了 13sp 的字号，lineHeight 是 Unspecified，
行高由系统字体的 ascent/descent 决定、随「大字体」设置一起缩放。写死 dp 在默认字号档上勉强
对得上，到大字号档就会矮一截、把末行的字切一半。所以改为量：从 TextLayoutResult 上取第三行的
底边当上限，量到之前先按无上限排一次（heightIn(max = Dp.Infinity) 在确认过 Compose 的
Density.roundToPx 对 Infinity 的处理后是安全的，即「没有上限」）。

SHARE_PREVIEW_TEXT_LINES 由 private 改 internal，只为让单测能把「这一窗是三行」钉成字面量
（本模块没有 Compose UI 测试的依赖，滚动行为单测够不着）。

测试：新增两条——正文远超三行时纯函数层仍原样交付**完整**正文（一个字不少、不加省略号），
以及三行上限的字面量；既有断言一条未放松。
 2026-10-06 21:11:30 +08:00
AskaEth 1142bf5ed1 fix(share): 转屏不再静默丢掉「已取走、还没确认」的那份分享 —— 面板状态移进 ChatViewModel 
分享进来的内容被 `ShareIntake.take()` 取走之后没有归还路径，而它此前只挂在一格
`remember(sessionId)` 上：Activity 因转屏 / 深浅色切换重建时那次组合整份丢掉，那份分享
**既不在待发队列里、也不在界面上**（用户什么都没看到，也没有任何提示）；用户已经输入到
一半的那句描述同样丢。

改法：把「已取走、正等确认的那份分享 + 用户补的描述」移进 `ChatUiState.shareConfirm`
（`ShareConfirmDraft`），那一格由 VM 持有，而 VM 活在 `ChatSessionSlots` 的 `ViewModelStore`
里、由 AppContainer 撑着 —— 比组合与 Activity 都活得久，所以重建之后面板照旧长出来，
描述也跟着回来（描述与正文绑在同一个值里，两者同生共死）。

`take()` 仍然只发生一次：认领那一步收进 `ChatViewModel.claimSharedContent`，闸门是纯函数
`shareConfirmClaim`，且**在 `take()` 之前** —— 手上已经有那份内容时一个字节都不动队列
（既不取新的一条，也不会把用户正看着的那份顶掉）。重建后的新一帧照样会走到判据这里，
而那时手上已经有东西（它活在 VM 里）⇒ 不会再取第二次。判据、出队、落地之间没有挂起点，
所以也不存在「取走了却没记住」的窗口。

顺带把这一格计入 `holdsUnsentWork`：这份内容已经没有退路，那一格被回收就等于把它删掉。
`ShareLanding` / `ShareIntake.take()` 里「取走之后直接发」的旧说法一并改成「交给确认面板」。

新增 ShareConfirmDraftTest：钉住「重建后的第二帧不再调 take、队列里那条也不许被取走」、
「内容与描述原样还在」、「队列为空时不造一个空面板」。
 2026-10-06 21:09:15 +08:00
AskaEth 53339b369a feat(notify): 她主动说的话改成「一事一条」——通知号按消息派生，后到的不再顶掉先到的 
改前所有她主动说的话共用一个固定的通知 id，而同 id 的 `notify` 是**替换**：她连说几句时后来
的那条把先来的顶掉，用户拿起手机只看到最后一句，前面几句一声没响就没了（这正是 W50 判据下游
的落地形状）。

改成按消息派生：
- `ProactiveNotify.kt` 新增纯函数 `proactiveNotificationId(key)`：把**去重键**（`proactiveNotifyKey`
  的输出）折成通知号。刻意与去重键同源——去重说「这是同一条」、派生说「这是同一条 ⇒ 同一个号」，
  两处口径一旦分成两套，就会出现「认得出是同一条、却排出两条通知」的形状漂移（实时帧与落库帧
  两条路都会到，这条尤其要命）。
- 两个坑都真的堵上：① 号必须 > 0，而 `hashCode()` 可以是负的、甚至正好是 `Int.MIN_VALUE`
  （`abs(Int.MIN_VALUE)` 在 int 域里仍是它自己）⇒ **先展宽到 `Long` 再取绝对值**，不引任何新依赖；
  ② 不撞既有 id：全仓只有保活那条常驻通知（id = 1）与它 `PendingIntent` 的 request code = 0 是
  占用者，派生的号从 1000 起步、宽度 2×10⁹，落点与它们**结构性**不相交。
- `ProactiveNotifier.post` 的签名带上这个号（`post: (text: String, notificationId: Int) -> Unit`），
  `AppContainer` 的装配 lambda 同步改；`ProactiveNotification.kt` 删掉恒定的
  `PROACTIVE_NOTIFICATION_ID` / `PROACTIVE_OPEN_REQUEST_CODE`，通知 id 与 `PendingIntent` 的
  request code **一起**随消息走（只换 id 不换 request code，点后到的那条通知会串到先到那条的
  `PendingIntent` 上）。
- 撞号仍会发生（`String.hashCode()` 只有 32 位）：后果与改前一样是「后来者替换先来者」，已在
  `proactiveNotificationId` 的 KDoc 里如实写清概率，以及为什么接受这一侧。**没有**放松任何既有断言。

测试：新增 `ProactiveNotificationIdTest`（同一条派生两次同号 / 两条不同消息不同号 / 任何输入恒 > 0，
最后一条用 hashCode 正好是 `Int.MIN_VALUE` 的字符串 `polygenelubricants` 钉住前提）；另在
`ProactiveNotifierTest` 加一条端到端的号断言（两条路都到的第一条只发一次且号不变、第二条是另一个
号）。`ProactiveNotificationShapeTest` 里那条「不与保活那条相撞」改成扫一遍真实形状的键。

验证：`./gradlew.bat assembleDebug` → BUILD SUCCESSFUL；`./gradlew.bat testDebugUnitTest` →
BUILD SUCCESSFUL，111 suite / 1336 tests / 0 失败（基线 110 suite / 1332 tests，本批净增 4 条）。
 2026-10-06 21:08:23 +08:00
AskaEth e5e61e131d docs(05): 锚点补记三十四 —— 压缩后续接（W54 三支并行在飞：通知一事一条/转屏丢分享/预览可滚动；第二批进程级订阅待开）+ 主人三条拍板（预览要滚动+展开、提示词已贴等回执、推送待研究）+ 环境核对 2026-10-06 21:02:43 +08:00
AskaEth 33c320219a docs(05): 锚点补记三十三 —— 续接锚点（仓库现状/本轮八项已完成及其真机证据/保活长跑在跑/待主人拍板四条/环境与两个会踩空的地方/两条教训） 2026-10-06 20:59:32 +08:00
AskaEth 827f0e61a4 docs(05): 锚点三十二补第 6 节 —— 分享面板语义改对并上机验过（预览留正文 / 输入框空+占位符 / 正文+空行+描述 拼接端到端验过）+ 保活长跑因装包重起（新基线 20:13:35 / pid 25584） 
另记两条：① 预览正文仍只有 3 行 ⇒ 发送前读不到全文，属观感取舍待主人定；② adb am start 的 --es 值会被空格拆开（我那次 URL 就是这么丢的，不是 App 吞的）。
 2026-10-06 20:13:52 +08:00
AskaEth 30c53451dc merge: W53X3 —— 分享面板的输入框改成「用户附加的描述」（默认空 + 占位符），正文留在预览区；发送时把分享正文与描述拼起来（空行分隔） 2026-10-06 20:10:03 +08:00
AskaEth 514901c12d fix(share): 确认面板的输入框改成「用户附加的描述」——不再预填分享正文，发送时由正文+描述拼成 
W53X 的第一版把那个输入框当成了分享正文的可编辑副本（`shareConfirmDraft(share)` 直接返回分享
正文、由 ChatScreen 预填进去），在真机上就渲染成「同一句话排两遍」：预览的「分享的文字」块一遍、
输入框里又一遍，而输入框里那句还看着像一段只读展示。主人澄清语义：那个框是**用户要附加的描述**
——「这次要发什么」归预览，「你想补一句什么」才归这个框，两件事被合成一件才是根因。

改成：
- 输入框初值**恒为空**（`shareCaption` 在取走一份分享时显式归零），占位符改成「加一句描述…」
  （与输入栏那句「和昔涟说点什么…」同一个 `useLabelAsPlaceholder` 写法）；预览区一个字没动
  （图片缩略图 / 文件 chip / 分享正文都留着，那才是这次要发出去的东西）。
- 新增纯判据 `shareConfirmBody(share, caption)` = 分享正文 + 用户描述：两段都在时用**一个空行**
  分隔，只有一段就只用那一段，都空就是空串（两侧空白按 `ShareRules.extract` / `sendShared`
  的口径归一，中间一个字不动，也不加任何来源标记——那是项目红线）。
- 删掉 `shareConfirmDraft`（名字说「草稿/正文」、行为是「把正文当输入框初值」，留着就是骗人）；
  `shareConfirmCanSend(share, caption)` 改成**直接问 `shareConfirmBody`** 非空、或另有图片/文件，
  于是「发送」可点与否与 `sendShared` 开头那条早退同源；描述为空时不再误把「纯文本分享」判成不可发。
- ChatScreen 的发送口由 `share.copy(text = shareDraft)` 改成
  `share.copy(text = shareConfirmBody(share, shareCaption))`；接线语义（`take()` 只发生一次、
  面板渲染位置、WindowDialog 选型）一字未动。

测试：`ShareConfirmTest` 跟着改到新语义，拼接规则**穷举**钉住（都有 / 只有正文 / 只有描述 / 都空，
分隔符写成字面量 `"\n\n"`），并钉住「都空且无文件 ⇒ 不能发」与「可点 ≙ 拼出来的正文非空或另有
附件」（同源性）。10 条测试全绿。

验证：`./gradlew.bat --console=plain assembleDebug testDebugUnitTest` → BUILD SUCCESSFUL，
110 suite / 1332 tests / 0 失败（基线 110 / 1330，本批净增 2 条）。
 2026-10-06 20:09:35 +08:00
AskaEth 59012f711b docs(05): 更正分享面板的语义 —— 输入框是「用户附加的描述」而不是分享正文的复刻 
主人澄清：那个输入框（我这边先误判成「预览多余」）应当是用户附加描述的输入框。正确形态：
预览留着分享正文（它才是要发的内容）、输入框默认留空 + 占位符、发送时「分享正文 + 用户描述」拼接
（两段都在时空行分隔）、都空且无文件时按钮不可点。我先前那条「删预览正文」的指令方向反了，已更正，
W53X2 回来即按更正执行。
 2026-10-06 20:06:00 +08:00
AskaEth 863ac93b25 docs(05): 锚点补记三十二 —— 续接锚点（主人两条新指令：复验分享面板「正文两次」、开跑保活长时间后台）+ 环境状态 + 两条各自照抄即可的跑法 2026-10-06 20:03:56 +08:00
AskaEth d8e44c6692 docs(05): 锚点补记三十一 —— W53 四项落地（后台通知/退出确认框/保活文案与入口/分享确认面板）+ 真机验收全过 
- 三支各自的机制与判据要点，含两条「子代理纠正任务书」的记录（Miuix 0.9.3 没有 extra.* 包；
  proactive 判据后端放在 data 里而不是帧壳顶层——我读后端源码核过）+ 我自己补的那处
  （AppPresence 补同源 StateFlow 当 key，修「去系统设置授权后回来服务没起」）。
- 真机验收逐条证据（后台通知的形状与点它回主会话、退出确认框、保活文案与「去系统设置」、
  分享面板确实没被直接发出、INTERNET 来源是源码）。
- 仍未验/已知缺口如实列出（两条路去重只有单测、通知 id 覆盖、Activity 销毁后收不到帧、
  转屏丢已取走的分享、S4 对照组没跑干净）。
 2026-10-06 19:00:03 +08:00
AskaEth 62f552f87f merge: W53X —— 分享进来先弹确认面板（预览图片/文件 + 可附文字 + 发送/取消），不再一到就发 2026-10-06 18:55:36 +08:00
AskaEth 77fbedc350 fix(keepalive): 权限「去系统设置里授权后回来」这一档现在真能把服务起起来（补 W53S 登记的那一格） 
问题（W53S 标出、我核过代码确认）：CyreneApp 里那个起停前台服务的 LaunchedEffect 的 key 只有
`keepAliveEnabled` 与登录态，而通知权限是**现读**的 ⇒ 用户在系统设置里授权后回到 App 时它不会重跑，
设置页已经显示「已开」而服务其实没起（要等下次启动或再动一次开关）。

修法：给 AppPresence 补一条**与既有 `appInForeground` 同源**的 StateFlow（`onStart/onStop` 里
从同一个集合重算，布尔 getter 语义一字未动），让那个 effect 收它当 key —— 「回到前台」正是
「从系统设置返回」必经、且必然变化的那一位。没有新增任何依赖。
 2026-10-06 18:55:20 +08:00
AskaEth 0a43cedea9 docs(share): 补上「为什么是 WindowDialog 而不是 OverlayDialog」的硬理由 
查了 Miuix 0.9.3 的源码（下载 sources jar 核对，不是猜）：`OverlayDialog` 靠
`MiuixPopupUtils.DialogLayout` 把自己登记进 `LocalDialogStates` / `LocalRootDialogStates`，
而这两个 `staticCompositionLocalOf` **只有 Miuix 的 `Scaffold` 会 provide**
（`basic/Scaffold.kt` 的 Surface 里那层 CompositionLocalProvider）。

本面板的调用点在 `ChatScreen` 那个 `Scaffold` 的**外面**（与附件预览 / 编辑 / 删除三个弹层
同一处）⇒ 换用 `OverlayDialog` 会拿到一个没人读的默认空列表：**不报错、也不显示**，
分享进来会变成「什么都没发生」。这条写进 KDoc，免得后人只看到 W53S 用了 `OverlayDialog`
就顺手把这里改过去（两处调用点的处境不同：那个确认框长在设置页的 Scaffold 里）。

只改注释。验收：./gradlew.bat --console=plain assembleDebug testDebugUnitTest → BUILD SUCCESSFUL，
102 suite / 1278 tests / 0 失败。
 2026-10-06 18:54:43 +08:00
AskaEth b06688f1db feat(share): 分享进来先确认再发 —— 新增确认面板 
主人 2026-10-06 拍板：分享进来的内容不再「一落地就发」，要像其他 IM 一样先给一个
确认面板。此前 ChatScreen 的分享落地 effect 取走内容后**直接**调 sendShared，
用户没有任何确认机会；现在它把取走的那一份放进 Compose 状态，面板靠它渲染。

新增 `ui/chat/ShareConfirmPanel.kt`（Miuix 自己的 `WindowDialog`，不是 Material3）：
- 预览：图片缩略图（与待发草稿预览同形）+ 文件芯片（显示名 / 体积）+ 分享正文（三行，
  全文在下面那个输入框里，可编辑）；
- 输入框：初值就是分享进来的正文本身，**一个字符都不加**（不拼来源标记——那是红线）；
- 「取消」= 本次分享作废（不发送、也不塞回待发队列）；「发送」才走既有 sendShared。

为什么这么接线（都在 ChatScreen 那一小段里）：
- **取走只发生一次**：`ShareIntake.take()` 只在 `shareConfirm == null` 时被调用，而
  `shareConfirm == null` 同时是这个 effect 的键 ⇒ 面板一关就再跑一遍判据、把面板开着时
  攒下的下一条分享接上（不加这个键，那一条会一直躺在队列里等连接状态碰巧再变一次）；
- 面板开着时新来的分享**原地留在队列里等**，不覆盖用户正看着的那一份；
- 告知按**真正发出去的那一份**算（`share.copy(text = 输入框内容)`）：正文可能刚被用户改过，
  拿改之前那份去算会说出「正文较长、本想作为文件发送」这种与事实不符的话。

未动：shareLanding / shareNoticeFor / shareWaitingNotice 的语义，sendShared 里
「超长正文 → 文件」那条裁决，ShareIntake 的提取与暂存，W49/W50/W51 的判据。

判据抽成纯函数并单测（`ShareConfirmTest`，8 条）：预览该显示哪几样（图片数 / 文件 / 正文是否
非空）、输入框初值、以及「发送」可点 ≙ 真的会有东西发出去（与 sendShared 开头那条早退同一条）。

验收：./gradlew.bat --console=plain assembleDebug testDebugUnitTest → BUILD SUCCESSFUL，
102 suite / 1278 tests / 0 失败（基线 101 / 1270）。
 2026-10-06 18:53:41 +08:00
AskaEth 6505512c0a merge: W53S —— 退出登录加 Miuix 确认对话框；保活那行补「24 小时累计 6 小时」上限事实 + 权限被拒时的「去系统设置」入口 2026-10-06 18:53:34 +08:00
AskaEth bbd02fc279 feat(settings): 退出登录加二次确认；保活那行补系统上限并给「去系统设置」入口 
两件事都在这一个切片里，都只碰 ui/settings/**。

一、「退出登录」的确认框
- 现状：W52C 把它改成整行可点的 BasicComponent（红色标题 + Remove 图标），而它紧挨着
  「版本」那一行，两条长得几乎一样 ⇒ 误触代价是一次真登出（AuthManager.logout 会吊销
  服务端 refresh 并把本机凭据整份清空，没有撤销）。W52C 自己把这条风险标了出来。
- 改成：点条目只立一个本页的 remember 状态（不进任何 VM），弹出的确认框里
  「取消 / 点框外 / 系统返回键」三个出口都只是关掉框，一个字都不改；只有确认那一路
  才调 onLogout —— 行为链路与加框之前完全一致。
- 控件用的是 Miuix 自己的 OverlayDialog（top.yukonga.miuix.kmp.overlay），由本页 Scaffold
  自带的 MiuixPopupHost 承载：标题 / 说明 / 内容分槽，正是为这种事准备的。
  （注意 Miuix 0.9.x 并没有 extra.* 包，对话框只在这两个包里，别照旧版 import 去猜。）
- 说明文案如实带上代价：退出后本机登录信息整份清空，服务器地址也要重填。

二、「后台保持连接」那行
- 补事实：dataSync 型前台服务在 targetSdk 37 下，24 小时内累计最多 6 小时会被系统回调
  onTimeout（KeepAliveService 到点自停以免 ANR）⇒「全天候保活」做不到。原先这句只写在
  KeepAliveService 的代码注释里，用户看不到；现在写进开关下面那行字，且落在「关 / 开」
  两档——只写在「已开」那一档等于默认所有人都已经开过一遍，而默认态恰恰是关的。
- 补入口：权限把功能挡住的两档（刚被拒 / 开关开着但权限被撤）原先只说「到系统设置里允许」，
  用户得自己摸进去找。现在这两档下面多一个「去系统设置」按钮，直接跳到本 App 的通知设置页
  （ACTION_APP_NOTIFICATION_SETTINGS + EXTRA_APP_PACKAGE；厂商砍了这个页面就退到应用详情页，
  两次都失败就什么都不做，绝不崩）。按钮出现的条件与那两句文案一一对应，两处不会分叉。
- 顺手复核：点了按钮从系统设置回来时，由 ActivityResult 回调现读一次真实授权，把过期的
  「刚刚被拒」清掉 —— 比挂生命周期钩子直接，也不需要它。
- 测试：KeepAliveSummaryTest 原有的 4 条断言一条没动（新增事实挂在「关 / 开」两档，正好
  不吃「已开」与「起不来」那两条）；新增两条 —— ① 关 / 开两档都必须写明 24 小时窗口与
  6 小时上限；② 权限挡住的那两档都必须把用户指向系统设置（与按钮的判据同源）。

验收：./gradlew.bat --console=plain assembleDebug testDebugUnitTest
     BUILD SUCCESSFUL；101 suite / 1272 tests / 0 失败（基线 101/1270）。
 2026-10-06 18:52:31 +08:00
AskaEth 53c7494389 merge: W53N —— 她主动说的话在后台/不在聊天页时发系统通知（只这一档；读回 proactive 判据 + 按 id 去重 + 点通知切主会话） 2026-10-06 18:52:20 +08:00
AskaEth 611bc5f58a feat(W53N): 她主动说的话在后台/不在聊天页时发一条系统通知（只这一档，普通消息不弹） 
改了什么：
1. WsEvent：把落库帧上被丢掉的 `proactive` 判据**读回来**（新增 MessagePersisted.proactive）。
   此前 PersistedData 只解 message，而生产 Json 是 ignoreUnknownKeys=true ⇒ 这个键既不解也不报错，
   「她主动说的话走了 IM 桥那条落库路」在客户端完全不可见。两层落点都认（data.proactive 与帧壳
   顶层 proactive 取或，契约只说了「帧顶」）；值用**宽容读法**（只认字面 true），形状不认识时按
   「不是 proactive」——判错成真会给普通消息弹通知，判错成假只是漏一次提醒，方向必须偏不打扰。
2. core/notify（新）：判据 + 去重 + 落地
   - shouldNotifyProactive(appInForeground, viewingTargetSession)：语义只有一条——**这条消息此刻
     会不会正好被用户看到**。四档组合都写进 KDoc（含「不在前台、聊天页却还挂着」那一档）。
   - RecentProactiveNotices：进程级、容量 64、按插入序淘汰。记的是「**到达过**」而不是「弹过」，
     因为「用户正看着」那一次也算这条已经到达（他看过了，另一条路再补一帧时不该为一句看过的话弹）。
   - ProactiveNotifier：两条路共用一处；顺序是 归属 → 有没有字 → 记账/查重 → 判时机。
   - proactiveNotifyKey：落库行 id > IM 消息号 > 时间字面量 > 正文（服务端一个键都不给时的兜底）。
     实时帧的 data.id 与落库帧的 message.id 是**同一个值**，去重就靠它。
   - proactiveNotificationText：复用权威解析器 domain.parse 剥标记（不再写第二份剥标签正则）、
     折成一行、超 120 字截断；截断不劈开代理对（emoji）。
3. 前台判定不引新依赖：MainActivity 的 onStart/onStop 按**实例**登记到一个进程级集合
   （配置变更时新实例的 onStart 先于旧实例的 onStop，布尔量在那里必然误判成「后台」）；
   聊天页那一半由 ChatScreen 的组合报告（DisposableEffect）。两者在 AppContainer 那层汇合。
4. 通知本体：自建渠道 `proactive`（DEFAULT，**要提醒人**，与 keep_alive 的 LOW 分开）、通知 id=2
   （与保活那条 id=1 分开，同 id 是替换会把常驻通知顶掉）、标题「昔涟」+ 正文是她的原话、
   setAutoCancel、PendingIntent.FLAG_IMMUTABLE（且 request code 与保活那条分开：两者的 Intent
   filterEquals 相等而 PendingIntent 判据不含 extras，同 code 会复用先建的那个、丢掉这个 extra）。
   通知权限现读（复用 core.keepalive.notificationsAllowed），没授权就不发。
5. 点通知 ⇒ 打开 App 并切回主会话：Intent extra → 进程级待落地意图（ProactiveTapIntake，通知可能
   在 App 没起来 / 没登录时被点）→ ChatHomeScreen 落地成「关掉设置/管理/关于/抽屉 + select(web)」，
   走的是用户点抽屉里那一行的同一条路，不引导航库。

为什么这样切：通知逻辑**绝不碰连接**（那条共享连接的所有权仍只在登录态那一处），只在帧**已经到达
之后**做判断；判断与去重全是纯函数/纯类，可单测；Android 落地只有一层薄薄的通知构造。

验证：W53N worktree（基线 f8ac95c）`assembleDebug testDebugUnitTest` 全绿 —— 109 suite / 1320
tests / 0 失败（基线 101 / 1270 / 0，新增 8 suite / 50 tests）。真机弹通知、点通知的落地未验（留给主人）。
 2026-10-06 18:51:24 +08:00
AskaEth 659ab83f00 docs(05): 锚点三十补第 7 节 —— 新登记「分享确认面板」（主人 2026-10-06 提） 
现状已核实：分享一进来就在 ChatScreen 的 ShareLanding.Send 支被立刻发出（ShareIntake.take() → sendShared），
用户没有任何确认机会。主人要的是像其他 IM 一样：能预览（图片/文件名与大小）、能附文字（预填分享自带的文本）、
由用户点发送才真发、可取消。已指派 W53X 且写明边界（不动 shareLanding/sendShared 语义、take 只许一次）。
 2026-10-06 18:47:02 +08:00
AskaEth ed0824f335 docs(05): 锚点三十补第 6 节 —— INTERNET 显式声明的验收证据 + 构建锁协议写死三条 
锁协议：① 一行一个占用者；② 只删自己那行，绝不整文件删除（这批真踩到）；③ 改/删前先读一遍。
 2026-10-06 18:43:14 +08:00
AskaEth f3d8d28cf7 fix(manifest): 显式声明 INTERNET（不再搭在 okhttp-android 的传递清单上） 
原来 release 能联网是靠 com.squareup.okhttp3:okhttp-android:5.5.0 的清单把 INTERNET 合并进来的；
换掉/排除那个依赖，release 会静默失去网络权限（debug 侧 AGP 也注入同一份，所以本地怎么试都看不出来）。
现在显式写进源码。验收：:app:processReleaseMainManifest 的 merger 报告里该权限已是
ADDED from app/src/main/AndroidManifest.xml（并 MERGED from okhttp-android）⇒ 来源是源码。
 2026-10-06 18:43:13 +08:00
AskaEth f8ac95ceed docs(05): W52 待办变化 —— S4/S5/S9 移出待办，并标明仍未验/未做的三项 
- S4 → W52A（真机未验，只有单测+走查）；S5/S9 → W52B（真机通过）；W52C/W52DE 三项真机通过。
- 仍在待办：保活→前台服务/通知/13+ 权限流 未验；INTERNET 显式声明未做；构建锁协议未写死；
  主人待拍板的保活第 3 件（收到消息弹系统通知 + 接上 proactive 判据）。
- 另记：登出条目观感已实机确认（红字「退出登录」+ 箭头离开方框图标，一眼是登出）。
 2026-10-06 16:15:02 +08:00
AskaEth 46855af2dd docs(05): W52/E 复验补记 —— 「重试」不出现的根因是判据极性接反（已修，真机端到端通过） 
根因：判据参数语义是「有没有东西」，调用点传了 isEmpty() ⇒ 唯一会求值的场景里结论恒假。
抓到方式：一次性诊断日志（三个输入全真而结论为假 ⇒ 只剩极性）。修在 0054a3a。
教训：判据单测全绿 ≠ 接线正确——极性/语义类错只有调用点会露，而调用点在 Compose、无 UI 测试装置 ⇒
只能靠真机验收。这是设备验收抓住单测抓不到的错的第二例。
 2026-10-06 16:14:44 +08:00
AskaEth 0054a3a97a fix(chat): 首屏失败的「重试」按钮永远不出现 —— 判据极性接反（W52/E 真机验收暴露） 
改了什么：
- ChatScreen 里 shouldOfferRetryOnEmpty 的第三个实参从 `state.items.isEmpty()` 改成
  `state.items.isNotEmpty()`。

为什么：判据是 `!loading && hasError && !hasItems`，参数语义是「列表里**有没有**东西」；调用点传的是
`isEmpty()`（极性相反），于是「列表为空」这个**唯一会求值**的场景里结论永远是 false ⇒ 按钮永远不出现。
判据单测用的是正确语义（不含调用点），所以全绿——这条只有真机才会露出来。

怎么定位的：先加一条一次性诊断日志把 UI 实际看到的三个输入打出来（`loading=false hasError=true
items=0 retry=false` —— 三个输入全真而结论为假 ⇒ 只可能是极性），核对判据本体后确认；定位完日志已删。
真机复验：断网冷启动 ⇒ 「消息没能加载出来」+「重试」；恢复网络后点它 ⇒ 发出
`GET /api/v1/sessions/web/messages` 且离线期间落库的那条出现在屏幕上；按钮随列表非空消失。
 2026-10-06 16:14:27 +08:00
AskaEth 126a706422 docs(05): 锚点补记三十 —— W52 五项落地（已合并推送/101 suite 1270 tests 真跑绿）+ 真机验收结果 
- 五项各自的机制与判据要点（S4 一格一份 ViewModelStore 与四条豁免、S5/S9 纯账本与既有 interrupt 出口、
  登出条目、降级气泡屏蔽服务端动作、保活开关与 Start/Stop/Leave 判据）。
- 真机验收：设置页两行 / 抽屉「正在思考…」/「停止」发既有 interrupt 帧 / 降级气泡无删改入口 **通过**；
  **首屏失败「重试」未通过**（断网冷启动下按钮没出现，根因未定位，写了下一步的诊断办法）。
- 保活开关→服务、S4 回收 未验（时间不够），如实标注。
- 三条教训：① 判据第一步要防「别的 App 抢前台」（gms 账号页把我们的 dump 全吃了）；
  ② 更正 INTERNET 那条：release 的 INTERNET 来自 okhttp-android 传递依赖，建议显式声明；
  ③ 构建锁协议有洞（有人整文件删除导致别人的行没了）。
 2026-10-06 16:10:37 +08:00
AskaEth 579eccdfd1 merge: W52K —— 「后台保持连接」开关 + 前台服务（默认关；开了才有常驻通知） 2026-10-06 16:02:42 +08:00
AskaEth 0243fb78d4 feat(设置): 新增「后台保持连接」开关与前台服务（默认关） 
现状是一件保活都没做：Android 12+ 会把 cached 进程冻结，进程级共享的那条 WS 连接
（AppContainer.chatSocket）久了就断。这一批只解决「进程别被冻」这一件事，连接本身的生死
仍然归 SessionsViewModel（登录连、登出关），本服务不碰它、也不订阅任何帧。

- core/keepalive/KeepAliveService：dataSync 型前台服务，职责只有让进程活着。常驻一条 LOW
  级静默通知（不响不震、setOnlyAlertOnce、点一下回 App），渠道只在服务真的起来时才建。
- core/keepalive/KeepAlivePolicy：起停判据抽成纯函数。shouldKeepAliveRun 三个条件缺一不可
  （开关开 / 已登录 / 通知权限在）；keepAliveAction 再补上「开关开着但登录态未定（自举中）
  一律不动」——不补的话热启动会看到通知闪一下，而中间那段进程正好没人保护。判据刻意**不**查
  「现在跑着没有」：那份进程内记忆会被「系统收掉服务却不走 onDestroy」写坏，于是该起的时候
  一声不响地没起（保活最不能出的错）；重复 start/stop 本身是无害的。
- CyreneApp：全 App 唯一一处按判据起停，开关或登录态一变就重判一次 ⇒「启动时开着且已登录就
  在跑」「登出即停」「关开关即停」三件事不需要各自一条路径。
- 设置页新增一行（默认关），文案如实写清代价（常驻一条通知 + 多耗一点电）与当下真实状态；
  Android 13+ 申请 POST_NOTIFICATIONS，被拒则开关弹回关闭并说明原因，绝不假装开着。
  实现落在新文件 KeepAliveRow.kt：SettingsScreen.kt 只加一行调用（放在「关于」之前，不碰
  最底下的登出块），避开 W52C 正在编辑那一段。
- KeepAliveService.onTimeout：targetSdk 37 下 dataSync 前台服务 24 小时内累计跑满 6 小时会被
  系统回调，不自己停就 ANR 崩掉整个 App —— 照办 stopSelf，不绕（绕它要么换类型要么加心跳，
  都超出本功能边界）。
- Manifest：FOREGROUND_SERVICE / FOREGROUND_SERVICE_DATA_SYNC / POST_NOTIFICATIONS + service
  （exported=false、foregroundServiceType=dataSync）。

测试：新增 3 个文件 13 条 —— 默认关、三条件缺一不可、四入参全表一致、文案四档各不
相同且「跑不了时一个字都不提已开」、渠道重要级只许 LOW/MIN。基线 93 suite/1205 tests 全部保持
通过，本树 96 suite/1218 tests/0 失败。
 2026-10-06 15:59:28 +08:00
AskaEth d6b0c7cb20 merge: W52A —— 常驻 VM 保留最近 3 格 + LRU 回收（S4）：一格会话一份 ViewModelStore 
冲突仅一处（deleteSession 的 onSuccess 同一锚点）：W52B 的 forgetBusy 与 W52A 的 reclaim 是同一件事
的两半，两侧都留 —— 一个让还活着的 VM 别再发注定 404 的补拉，一个把那一格的内存交出去。
 2026-10-06 15:58:06 +08:00
AskaEth 37289391f8 merge: W52B —— 抽屉能看出哪个会话正在跑（S9）+ 行内「停止」入口（S5） 2026-10-06 15:56:23 +08:00
AskaEth bbc47dbd31 feat(chat): 常驻 ChatViewModel 加 LRU 回收（S4）—— 一格一份 ViewModelStore，最近 3 格之外整格交出去 
S4 的病根：每个访问过的会话各留一个常驻 VM（都订阅那条共享连接 ⇒ 每次重连各自发一轮
after 补拉）、各留一份消息列表（含内联 base64 图片），而删会话也不回收。此前**没有按会话
交出一格的手段**：所有 VM 塞在 Activity 级那一个 ViewModelStore 里，而它只有整体 clear()，
W48 只能做到「让 key 换一代、旧实例继续留着」—— 旧实例照样活着、照样收帧。

这次把「哪几格留着」这件事单独拎出来：

- 新增 `core/session/ChatSessionSlots.kt`（进程级，挂在 AppContainer 上，与 GoneSessions
  同一层）：一格一份 ViewModelStore。`ChatScreen` 改成
  `viewModel(viewModelStoreOwner = <槽位>, key = chatViewModelKey(...))`，所以「交出去一格」
  就是那一份 store 自己的 `clear()` ⇒ 那一格的 `onCleared()` + `viewModelScope` 取消
  （订阅、补拉、在飞的请求一起停）。共享连接的生死一个字节都没碰：主人仍是
  SessionsViewModel，`ChatViewModel.onCleared` 照旧**不** close（现在它会真的被调到，
  所以这句注释也一并写成事实）。
- 新增判据 `core/session/chatSessionEvictions`（**纯函数**，VM 与测试共用）：
  「最近」的口径 = **最后一次成为当前会话的时刻**（由 ChatScreen 在组合到某个会话时写入）；
  候选要同时满足「不是主会话 ∧ 不是屏幕上那一格 ∧ 没有没交代完的事」，按最旧的先走，
  保留最近 `keep` = 3 格（主人口径，含被豁免的那些占的名额——不然「最多 3 格」会变成
  3 + 豁免数）。两条豁免名额之外的豁免各自都有硬理由：屏幕那一格死了会「不再更新、连
  发送都静默不发」，还有没交代完的事那一格（草稿 / 排队等连接的发送）死了内容**回不来**。
- 删会话时那一格当场交出去（`SessionsViewModel.deleteSession`，与 W51 的
  `goneSessions.mark` 相邻：一个是「别发注定 404 的补拉」，一个是「这一格本来就不该留」）；
  登出 / 换账号时 `clear()` 一格不留（与快照 / 已读游标 / GoneSessions 同档纪律）。
- 「还有没交代完的事」收的是**现读的探针**而不是打开那一刻的快照：回收发生在别的会话被
  打开的那一刻，而那正是用户可能刚在前一格打了草稿、还没切走的时候。

刻意不动的红线：W48 的 `chatViewModelKey` 拼法一个字没改（新槽位的 key 里同样带账号指纹，
两道闸门各管一段）；W49 的节流判据、W50 的 ProactiveIngest 判据、W51 的 reconnectPull
判据都没碰，也没有把「连接恢复」做成整表重拉。

测试：新增 `ChatSessionEvictionTest`（14 例，穷举判据的每一条边界：N=3、最旧先走、主会话 /
屏幕上那一格 / 有草稿的豁免、豁免占名额、并列退回账本顺序、结论是带账号指纹的槽位 key）
与 `ChatSessionSlotsTest`（9 例，钉住「没被收的一格还是原来那一格（切回来状态还在）」与
「被收的一格下次拿到的是新的一格」、空槽位会被下一次回收扫掉、探针现读的效果）。

同批把已经说错的注释改成事实：GoneSessions / AppContainer.chatSocket / ChatHomeScreen /
ChatScreen 里那几处「VM 活在 Activity 级 ViewModelStore 里、切走 / 删会话都不回收」。
 2026-10-06 15:56:13 +08:00
AskaEth 84f343ce5f feat(sessions): 抽屉里看得见「哪个会话正在生成」，并给一个能停的入口（S5 + S9） 
S9 登记的是「这个会话正在生成」既看不见、也没有可查的状态面：`session_busy` /
`session_idle` / `turn_begin` 都带 sessionId 且在广播，但 `SessionsViewModel.onEvent`
一个都不认。S5 要的「能看见 + 能停」正是同一份状态的下游。

看得见（S9）
- 新增 `ui/sessions/SessionBusy.kt`：把下行帧折成「本端已知在跑的会话」账本，判据是纯函数
  `applyBusyFrame`（可单测，先例 `silentRefreshStep`）。点亮只认 `session_busy` 与
  `turn_begin` 这两条活帧——握手不回放该状态，所以没收到过帧的会话一定不显示（宁可没有）；
  收尾认 `session_idle`（无条件）、`turn_end`（只收本端认得的那一路，收完一路不剩才灭灯）、
  `session_interrupted`（`activeTurns > 0` 时**不**灭——`scope:"current"` 只停一路，无条件灭
  就是 v2 前端审计记成「会错」的 A7 那条）。
- `SessionsViewModel` 用一路订阅把账本接进来，并在**离开 Connected 时当场作废**：掉线期间
  服务端那边跑完了什么本端收不到，留着就是一盏永远不灭、按钮永远点不动的灯。
- 抽屉那一行：忙碌时摘要行下面多一行「正在思考…」（与聊天页 `busyLabel` 逐字相同）。
  另起一行而不顶掉摘要，也不从 `endActions` / 标题列里分走任何一个 dp。

能停（S5）
- 新的上行动作 `SessionsViewModel.stopGenerating(sessionId)`，走**既有的** interrupt 出口
  （`WsOutbound.Interrupt` 本来就带 sessionId，既有的帧表达得了「停某一个会话」，没有新造帧）。
  恒发 `scope:"current"`：本端从不发 `all` 是一条既有不变式，而 `all` 会静默清空待处理队列
  （那份队列是用户自己敲进去的），本端也没有「丢弃 N 条」的告知面。
- 抽屉行里「停止」与「置顶」共用**同一个 endActions 槽位**：抽屉固定 300dp，`BasicComponent`
  把内部可用宽度的 60% 当 `endActions` 硬上限，现有的三个 40dp 动作已经贴着边，
  再并一个会把图标挤到裁剪。这一轮结束（灯灭）置顶立刻回来。

纪律
- `onEvent` 里只**前置**一次折帧，`when` 的分支一个字节没动 ⇒ W49 的节流静默重拉与
  [persistedRoute] 的两档语义不变；无关帧（流式 delta）原样返回同一张表，不重推状态。
- 新增 18 条单测钉住上述每一条（含「turn_id 认不得就不灭灯」「并行两路都要收」「stream_end
  不灭灯」「停止不发 all」）。
 2026-10-06 15:55:04 +08:00
AskaEth aace581fb0 merge: W52C —— 退出登录从小图标按钮改成带文字的危险行条目，图标换 Remove 2026-10-06 15:50:31 +08:00
AskaEth 27116fa434 merge: W52DE —— 降级气泡不再给删改入口（proactive-local: 前缀屏蔽服务端动作）；空态补一枚显式「重试」 2026-10-06 15:50:30 +08:00
AskaEth 85818105ce feat(settings): 退出登录从小图标按钮改成带文字的危险行条目，图标换 Remove（W52C） 
设置页最底部原来是一枚居中、无文字的图标按钮，图标用的还是「返回」箭头（MiuixIcons.Back），
真机上看着就是返回键——主人为此翻半天才找到登出在哪。这是本次改动的由来。

- 改成 Miuix 行条目（BasicComponent + 外层 PreferenceCard，与同页其它条目同形），文字「退出登录」，
  标题与图标都用 MiuixTheme.colorScheme.error 危险色。
- 图标换成 MiuixIcons.Remove：Miuix 里没有专门的登出/退出字形（Basic 只有 7 个图标），
  extended 里只有它画的是「箭头离开方框」，语义最接近「退出」；Back 是本条要修的毛病，
  Import 方向相反（箭头进方框＝导入/登录），Delete/Refresh 之类会被误读成删号或重来。
- 图标 contentDescription 置 null：文字已经把这条读出来了，图标再报一遍只会让读屏重复。

行为一字不变：仍然点了就登出（onLogout 一路接到 CyreneApp 里的 authManager.logout()），
没有新增确认流程。
 2026-10-06 15:48:54 +08:00
AskaEth 74a46bd2e3 fix(chat): 降级气泡不再给删改入口（W52/D）；空态补一枚显式「重试」（W52/E） 
## D —— W50 留下的窄尾巴：服务端不存在的那条气泡没有动作入口

`proactive_message` 落库失败那一档，客户端会画一条**只活在本端内存里**的气泡，它的 id 由本端自铸
（`proactive-local:` 前缀，见 `ProactiveIngest`）。而删除入口的判据 `canDeleteMessage` 只看 role ⇒
它是 assistant 行、长按能删 ⇒ 拿一个服务端没见过的 id 打 `DELETE`，最好的结果是 404。

修法按主人拍的口径收在 **UI 层**：新增 `ui/chat/MessageServerActions.kt`，在角色口径之上再叠一道
「这条消息在服务端存在吗」（判据只有 `id` 前缀这一条），组合成
`canEditMessageOnServer` / `canDeleteMessageOnServer`；气泡（菜单 + 「⋯」两个入口）与 VM 里那道闸
（`startEdit` / `startDelete`）**共用同一份**，不存在两套口径。
- **不动** `ChatDisplayItem`、数据模型与 `mergeMessages` 语义（原方案要加「是否服务端行」标志位，
  会连带动气泡渲染，超出范围）。
- 动作菜单里**只有**编辑与删除两个（一个 PATCH、一个 DELETE），都是打服务端的 ⇒ 降级气泡整菜单不出现，
  正是要的效果。**文本选择 / 复制不受影响**：它走 `SelectionContainer` 那条独立的路，`onLongPress`
  为 null 时反而不再与选字抢长按。

## E —— 首屏失败时给一个显式「重试」

登记在案的缺口：**REST 首屏失败、而 WS 从头到尾没断过**。这时没有任何状态变化可挂（连接没变过、
也没有断线窗口要补），屏幕会停在空态，直到用户切走再回来或上拉。

- `ChatViewModel.retryFirstPage()`：**只是转调** W51 提好的 `loadFirstPage()`（首屏唯一的一份实现，
  与连接恢复时补的那一次共用），**一个状态位都不自己写** —— `firstPageState` 的两个出口仍然只有那一处，
  W51 的 `reconnectPull` 判据依赖这条纪律。刻意**不是**定时器：项目从 W38 起就定死「状态驱动，不按时间轮」，
  而且反复重试会把「首屏失败」这个事实擦成 `Loading`。
- 空态那一档拆成两种真相（纯函数 `shouldOfferRetryOnEmpty`：不在加载中 + 挂着一个错误 + 列表为空）：
  「还没有消息」照旧；「消息没能加载出来」配一枚 Miuix `TextButton`（`CenterHint` 多一个可选 `onRetry`）。
  其余时刻一个像素都不多画。

## 测试

- 新增 `MessageServerActionsTest`（6 条）：钉住降级气泡两个入口都没有（并断言**旧判据确实说「能删」**，
  把「为什么需要这道闸」写进断言）、前缀与角色无关、只认**开头**的前缀、服务端行行为逐字不变、
  未知 role 仍 fail-closed。
- 新增 `FirstPageRetryTest`（5 条）：正题一格成立；正常空会话 / 首屏在飞 / 屏幕上有东西（含乐观与流式气泡）
  都不给；三个布尔八种组合穷举，钉住「有且只有一格成立」。
- `./gradlew.bat --console=plain assembleDebug testDebugUnitTest`：**95 suite / 1216 tests / 0 失败 / 0 error**
  （基线 93 / 1205，+2 suite +11 tests，全为新增）。
- 真机验收未做（任务书禁碰 adb）：按钮的位置与观感、以及长按降级气泡能选字，只能真机看。
 2026-10-06 15:47:49 +08:00
AskaEth d0b8c5f2f7 docs(05): 写死纪律——不准用 WaitFor 等子代理（会把回合锁住，主人无法插话） 
为什么：主人当场打断我的 WaitFor 并明确「纪律是不准用 WaitFor」。这条在后端仓库 AGENTS.md §10 里原本
就有，本项目文档此前没写、我因此重犯了一次。正确做法：派完就结束回合，等待期间只做不冲突的并行工作
或停手。
 2026-10-06 15:46:40 +08:00
AskaEth 4fce12249e docs(05): S7② 与 S3 的真机验收结清（S7② 通过；S3 在「在线冷启动进有内容次级会话」场景下否证） 
S7②（通过）：补洞请求打在已摘除的会话上 ⇒ 404 ⇒ sessionGone；那句 8 秒的告知抓到（[33,378][1047,480]）；
select(主会话) 的副作用 POST /sessions/web/read 两轮都观测到。⚠️ 同时**修正我自己写的判据**：原先要求
「read 出现在 GET /sessions 之前」——实测顺序不确定（两条协程各起），该顺序判据不成立；真正该验的
「refresh 失败时也能回去」本轮没做。

S3（否证）：screenrecord + ffmpeg fps=8 抽帧 + 逐帧量两块区域的深色墨迹（不改生产代码）。时间线是
启动画面（新版图标）→ 「加载中…」 → 内容，**没有出现「还没有消息」空态**。局限：8fps 采样（<125ms
的闪烁会漏）、单场景、单 build，不写成「S3 不存在」。

方法论：别用墨迹的 x 宽度猜那是哪句话——我一开始据此误判，抽帧一看是「加载中…」。
 2026-10-06 14:24:45 +08:00
AskaEth 9f04fc4304 docs(05): S7②/S3 第二轮受阻记录 —— 模拟器劣化与主机被占、不依赖 dump 的验证套路、收工状态 
为什么：这一轮 S7② 仍未验（进次级会话那一步没成），但花掉的时间都是环境问题而非代码问题，
必须把「先看主机在跑什么」「盲点 + 用服务端流水判结果」这两条写下来，下一轮别再重摸。
 2026-10-06 14:16:55 +08:00
AskaEth 0583b1bc31 docs(05): 补记 S7② 为什么这轮没验成 + 下次的干净起手（含判据与两个坑：表单错位、dump 陈旧缓存） 
为什么：S7② 需要「App 停在已删会话里」才能造场景，而登录表单被前几轮实验搞乱（地址栏残留 W48 的
坏值、字段错位），input text 落不进目标字段；uiautomator dump 还会返回陈旧缓存（同一交互前后两张
dump 的地址栏展开态互相矛盾）。把判据与干净起手写下来，下一轮别再重摸。
 2026-10-06 13:57:53 +08:00
AskaEth b604fefbd4 docs(05): 锚点补记二十九 —— W51 合并、S2/S7① 设备验收结论，并更正补记十九里 S7 那句写错的前提 
改了什么：
- 新增锚点补记二十九：W51 做了什么（S2 的纯判据与「首屏从没成功过」这个判据为什么这么定、S7① 的
  GoneSessions、S7② 真正的缺口是「出路不能依赖网络」）；设备验收结论（S2 通过：恢复网络后客户端自己
  补拉并显示出消息；S7① 通过：删掉会话后真踢一次 WS，重连窗口里没有注定 404 的补拉，而握手证明通路
  活着）；以及 S3 / S7② **未验**（如实写明，不写成「没问题」）。
- 更正补记十九里 S7 那句「`sessionGone` 位没有消费者」：消费者一直都在（ChatScreen.kt:165-166 →
  ChatHomeScreen.kt:109 的 onSessionGone），由 b5c0b13（2026-10-04、该行所依据提交 ff699f5 的祖先）
  引入，已用 git merge-base --is-ancestor 验证。这句是我写错的，W51 的任务书因此也带着错前提。
- 记下这次同类教训（第二次）：真机「没生效」时**先核设备上 APK 的 lastUpdateTime 与本地 APK 的时间**
  —— 我就是拿上一版 APK 测了半天；另记「撤 adb reverse 不会掐断已建立连接，要真抖 WS 用假后端的
  /__control/ws-close」。
 2026-10-06 09:20:40 +08:00
AskaEth 620a4e77fa merge: W51 —— 次级会话连接恢复自己补拉（S2）；已删会话不再发注定 404 的补拉、sessionGone 的出路不再依赖网络（S7） 2026-10-06 09:04:09 +08:00
AskaEth 9980fb2b28 fix(chat): 次级会话补上「连接恢复自己补拉」（S2）；已删会话不再发注定 404 的补拉（S7） 
## S2 —— 次级会话没有握手 history 这第二条安全网

- 新增纯判据 `ui/chat/ReconnectPull.kt`：连接恢复那一刻该补哪一段
  （Forward / FirstPage / Nothing）。判据只看四样：会话 id、首屏状态、掉线游标、
  「本端已知它没了」。
- `ChatViewModel`：把 init 那次首屏 `loadLatest` 提成 `loadFirstPage()`，init 与补拉
  **共用一份代码**（补出来的结果必须与首屏逐字段同形）；新增 `FirstPageState` 作为判据输入。

为什么这么定：
- **为什么不是照抄主会话的 history**：服务端固定回放主会话（`ws_hub_conn.go`），要它回放
  次级会话就是改契约面。次级走的是本项目已有的那条 REST 口径（拉最新一页）。
- **为什么用「首屏从没成功过」而不是「本端有没有数据」**：服务端真的没有消息时列表**也是空的**，
  拿空列表当判据会让每一个空次级会话在每次重连都被整表重拉 —— 那正是 S4/S7 这一类问题的成因。
- **为什么 Loading 不算失败**：首屏还在飞时再发一次同样的请求会与它抢跑，还会改掉
  「history 帧一到就 loading=false」那段时序（S3 本轮**一个字节都不动**）。
- **为什么主会话排除在外**：它有 history 兜底，在那里再补一条 REST 就是给同一件事造第二套口径。
  主会话的兜底行为因此**逐字不变**（有洞走 Forward，其余 Nothing）。
- 补拉那一次把 `loading` 翻回真：屏幕上原本是「还没有消息」停在原地，如实应该是「加载中…」。

## S7 ① —— 注定 404 的补拉不再发生

- 新增 `core/session/GoneSessions.kt`（进程级、**不持久化**、登出/换账号时清空）：本端已知
  「服务端没有这个会话」的 id 集合。写入口是 `SessionsViewModel.deleteSession` 成功那一刻
  （本端唯一的删除入口），读入口是**每一个** `ChatViewModel`。
- 判据第 1 条：已知它没了 ⇒ 什么都不发。于是本地删过的会话从此**零次**注定失败的往返；
  已经 404 过的会话从「每次重连各撞一次」收敛成**恰好一次**（`sessionGone` 同时成为补拉的闸）。

## S7 ② —— sessionGone 的出路不再依赖网络

那个位的消费者**一直都在**（`ChatScreen` 按它触发的 `LaunchedEffect` → `ChatHomeScreen` 的
`onSessionGone`：一句如实告知 + 带回主会话），所以本轮补的是它真正的缺口 —— 原来只靠 `refresh`
**成功**之后的 `resolveActiveSession` 回落（拉失败、或列表为空时刻意不回落 ⇒ 什么都不动）。
于是「已切回主会话」在网络不稳 / 服务端抖一下时是一句**做不到的话**，用户被留在已经没了的会话上、
没有任何出路。现在先在本端 `select(主会话)`（与用户点抽屉里那一行走的是**同一条**路，不另造机制），
`refresh` 退回本职：与服务端对齐、把抽屉里那条去掉。

## 未做 / 未验

- **没有真机验收**（任务书禁碰 adb）：S2 的「连接恢复后次级会话自己补上」只有纯判据单测。
- 「REST 首屏失败、但 WS 从头到尾没断（因此没有任何状态变化可挂）」这一格**不在本轮范围内**，
  仍是已知缺口。
- 全程未碰 S3、主会话兜底与游标口径、W48 的 VM key、W49 的节流判据、W50 的主动消息消费路径。
 2026-10-06 09:03:22 +08:00
AskaEth a9cc3c5737 chore(gitignore): 忽略仓库根的 IMG_*.png（主人从手机丢进来的素材，只用不存） 
为什么：主人明确「原图不进仓库」——换图标用的 IMG_20261006_081803.png（5.8MB）留在工作树即可，
加一条只作用于仓库根的忽略规则挡住误提交（只挡 IMG_*.png，不影响别处的图片资源）。
 2026-10-06 08:57:27 +08:00
AskaEth a025624798 feat(icon): 应用图标换成主人提供的新版画作（昔涟特写） 
改了什么：
- mipmap-{mdpi,hdpi,xhdpi,xxhdpi,xxxhdpi}/ic_launcher.png：新画作按 48/72/96/144/192 缩放（lanczos）。
- 同目录 ic_launcher_round.png：同一画作按圆形 alpha 掩膜裁出（ffmpeg geq），供圆形掩膜的启动器。
- 同目录 ic_launcher_foreground.png：自适应图标前景按 108dp 画布全出血（108/162/216/324/432 像素）。
  第一版把画心缩到 76/108，实测在这台启动器上会露出背景一圈；改成铺满画布后任何掩膜下都不会露底。
- values/colors.xml：ic_launcher_background #F8F8F8 → #FFE6E0（用 ffmpeg 对源图左上角 300×300 取平均色得到，
  与画作底色同调；前景已铺满，这个底色只在极端掩膜下才可能露出）。

为什么：主人把新版图标源图放在仓库根（IMG_20261006_081803.png，5033×5033、5.8MB），要求替换应用图标。
**源图不进仓**（仍是未跟踪状态），只提交生成物；构建与安装均通过，实机底栏图标已是新版。
 2026-10-06 08:30:53 +08:00
AskaEth 1d150cce85 docs(02): 客户端答复 —— 回执二十四·补：①推迟照办、②未读口径确认（维持 omitempty）、两条澄清，并反问 .end 能否带结果摘要 
改了什么（只加了我们这一节，未碰他们那一节）：
- ① 工具回看面推迟：照办。明确写死两条口径——不把「toolCalls[] 缺席」当「这轮没调工具」；
  不再按消息字面 join turnId（两者不是同一套标识）。也说明我们**不提前写**那个解析器。
- ② 未读面：回答他们的问题——**维持 omitempty 即可**，因为对我们权威来源是列表面（GET /sessions 恒带
  unreadCount），增量键只是省一次重拉的优化；接入口径按他们说的「键在才改、缺席什么都不做」。
  同时如实说明本端**还没消费**这个键（今天走的是 W49 的重拉，已实机验收），免得他们误以为已生效。
- 两条澄清：GET /api/v1/messages/{id} 我们从未用过（只有 PATCH/DELETE，SessionsApi.kt:130,137）；
  tool_execution (a) 维持收到。
- 反问一件与回看面无关的事：能否给 tool_execution.end 加可选 resultSummary（截断、缺席语义）——
  因为 .end 只带 tool/phase/id、update 又没有生产者，实时工具卡的结果区结构性为空；这是投入最小的一条。
  明确说「不做也接受，但请明说」，我们要的是确定而不是一定要这个键。
- 告知 W50/W48/W49 已落地并实机验收（不需要他们动作）。

为什么：他们那条回执标红了「别把缺席当没调过」，并直接问我们要不要区分「确实 0 / 不知道」——
这两个都是会决定他们改不改代码的问题，必须当场答清。
 2026-10-06 08:24:50 +08:00
AskaEth b23948bed0 docs(05/07): 锚点补记二十八 —— W48/W49 设备验收通过（换环境串味 / 抽屉未读角标） 
改了什么：
- 05 新增锚点补记二十八：W48 的判别法（先清空服务端主会话再换账号，否则两账号同一份历史看不出串味）与结果
  （A 的本地气泡与持久行在 B 账号下都 0 次、抽屉残留 0 次）；W49 的机制证据（抽屉关着时客户端自己在
  消息到达后 60ms 发出 GET /api/v1/sessions）与可见结果（次级会话行 未读 1、正在看的主会话无角标）；
  并更正一处认知：红点是抽屉内会话行的未读角标，菜单图标上没有点。
- 07 的坑清单补两条：① 登录页地址栏留空时 App 会回落到上次记住的地址（我因此白追一小时「请求怎么打到
  真后端」）；②「登出」是设置页最底部的图标按钮（图标是 MiuixIcons.Back、只有 contentDescription），
  截图上像「返回」很难找。

为什么：这批验收原来只有单测覆盖，结清后 05 的待办里不再挂着它；两条坑都是这次真实花掉时间的，
写下来避免下次重演。
 2026-10-06 08:24:00 +08:00
AskaEth c905a47d6f docs(05/07): 锚点补记二十七 —— W50 落地并设备验收通过；细节单开 07（证据与避坑） 
改了什么：
- 05 新增锚点补记二十七：结论（afee5f6 已推 / 1193 测试真跑 0 失败 / APK 尺寸）、四条硬要求逐条
  对应实现处、红线核对、设备四条判据全绿、环境坑一句话版、真后端那条主动路径是活的（副产品）、
  待办变化（W48/W49 验收环境已就绪；W50 的窄尾巴）。
- 新增 devdocs/07-W50-主动消息-验收与避坑.md：验收判据与逐条证据、完整环境坑（含绕法与命令）、
  复现整套验收的最短路径、随批次修掉的 timestamp 解码缺陷、以及「落库失败档」那条尾巴的收口建议。

为什么单开 07：05 已 1400+ 行，验收的操作细节与避坑属参考材料而非状态；05 只留结论与指针，
下一个我读 05 就能接手，需要动手复现时再翻 07。
 2026-10-06 08:11:26 +08:00
AskaEth afee5f612d merge: W50 —— 她主动说的话实时进主会话（proactive_message 消费 + 帧解码修复 timestamp 类型不符） 2026-10-06 07:51:26 +08:00
AskaEth 8b5d15bdb6 fix(chat): 她主动说的话实时进主会话（W50 proactive_message 消费 + 帧解码修复） 
缺口：她主动说的话既是实时帧、也是主会话历史里的一条 assistant 行，而安卓端实时看不到 ——
ChatViewModel.onEvent 里没有 ProactiveMessage 分支（落到 else -> Unit），另两个下行消费者也不认它；
而且帧里只解了 messageId（IM 侧的号），落库行的 id / createdAt 被 ignoreUnknownKeys 静默丢弃。
后端这条 Web 路由只发这一帧、不补 message_persisted，所以没有别的路能把它带进来。

一、帧解码（data/ws/WsEvent.kt）
- ProactiveData 与 ProactiveMessage 补上 id 与 createdAt（落库行的权威 id 与时间戳，同现同省）。
- 顺带修掉一个把整帧弄没的缺陷：载荷里的 timestamp 服务端是 Go time.Time，线上是 RFC3339 字符串，
  而本端按 Long? 解 ⇒ 解码抛异常、被 parse 的 runCatching 吞成 null，帧在成形之前就没了
  （所以只加一条 onEvent 分支根本碰不到它）。改成按线上的字面量收，数字形状也照样读出。

二、为什么按已落库行并入，而不是画一个只活在 UI 的气泡
真相是服务端历史里的那一行，实时帧只是它早到一步的副本：按 HistoryMessageDto.id 走既有的
mergeMessages 并入 ⇒ 实时能看到，且刷新 / 重开 / 切会话拉历史之后她的话仍在；同一条
（实时帧 + 握手回放 + 分页）无论到几次都只有一行，不需要任何额外去重。
判据抽成纯函数 proactiveIngestFor（ui/chat/ProactiveIngest.kt），可单测。

三、为什么必须自己钉死主会话
proactive_message 帧壳不带 sessionId（服务端构造这一帧时没设它，且该键是 omitempty），
而 isForSession 对空 sessionId 的口径是放行 ⇒ 这一帧会投给每一个活着的 ChatViewModel。
不钉就会在每个次级会话里都冒出一条她的话（比看不到更糟）。判据是等值比较、不是前缀：
主会话 web 与次级会话 web:xxx 是两个会话。

四、无 id 时为什么退化而不是丢弃
id 与 createdAt 一起缺席 = 服务端那一步落库失败了（它自己就说了这条没有历史行）。这时画一条
本地气泡，如实显示、不假装已落库：本地 id 用帧里已有的稳定键（IM 消息号，其次时间字面量），
同一个键第二次到达（重推 / 重放）也只是 upsert，不会成两个气泡。KDoc 写明它不在历史里、
刷新 / 重开后不会再有。
无 id 且无正文（帧里没有任何可显示的东西）才整帧跳过 —— 那一条画的是空气泡，只会让人以为出了别的事。

五、抽屉红点（复用 W49 那条路，不新写取数路径）
服务端不为这条路补 message_persisted ⇒ W49 的「非激活会话落新消息 ⇒ 节流静默重拉」不会被触发，
主会话的红点会停在她开口之前。SessionsViewModel 用同一个 persistedRoute 把这一帧接进同一条路
（复用 requestSilentRefresh 与既有的 InactiveSessionMessage 成因，不动节流判据本身）：
停在别的会话 ⇒ 节流静默重拉一次（红点亮）；正看着主会话 ⇒ 与 message_persisted 同一档
「看到即已读」，免得抽屉为她刚说的话亮一个红点。无 id 那一档不拉（历史里没有行，未读面上无事可做）。

测试
- 新增 WsEventProactiveFrameTest：真实帧形状（id / createdAt / RFC3339 的 timestamp）、数字形状容忍、
  落库失败那一档、以及「帧壳没有 sessionId ⇒ 会话闸对每个会话的 VM 都放行」这条事实。
- 新增 ProactiveIngestTest：归属（次级会话不并入、id 按等值比）、身份（有 id = 已落库行）、
  退化（本地气泡 / 空帧跳过）、不重复（重发与历史页都收敛成一行）。
- InactiveSessionPullTest 补一条钉子：她主动说的话该走拉列表还是「看到即已读」这条路。
 2026-10-06 07:50:33 +08:00
AskaEth 5520d6015d docs(05): 更正代理旧路径引用（工具已在 devtools/ws-block-proxy/，历史条目不改写） 2026-10-06 07:45:31 +08:00
AskaEth 4c938c7330 docs(devtools): 假后端补「主动消息」验收配方（proactive_inject.py + README 场景五） 
改了什么：
- 新增 devtools/fake-backend/proactive_inject.py：按真后端 SendProactive 的顺序
  （先落库、再发帧）造一条主动消息 —— 落一行 assistant 历史行，再广播带同一 id/createdAt 的
  proactive_message 帧。--without-id 是另一档（落库失败）：不落行、帧上不带 id。
- README 新增「场景五」：完整命令序列 + 帧形状 + App 侧三条判据；端点速查/形状出处/已知不确定
  各补一条。
- 更正两处过时内容：§1 的工作目录还是旧 worktree 名 Cyrene-Android-FB；§8 说「客户端 W41 起先探
  /health」——W45 已把那整套删掉（SendFallback.kt:120），这个端点客户端不再消费。
- 记录踩到的坑：ws_probe.py --listen N 单独用只有 1 秒（ws_probe.py:201 是 min(listen, 1.0)），
  不带 --send/--ping 时连接会先关掉，之后所有广播都是 delivered=0。

为什么：
- 真后端没有任何 HTTP 入口能按需触发一次主动推送（backthink 只由心跳/事件决定，路由里只有一个
  GET /admin/backthink），所以「她主动说的话」在客户端这一段的验收只能自己造帧。真后端只把
  proactive_message 广播给在线连接、没有离线补发，帧壳又不带 sessionId（客户端必须自己钉主会话）
  —— 形状抄错或漏掉落库那条腿，验出来的结论就是假的。落成脚本 + 文档，下次不必重推。
 2026-10-06 07:44:31 +08:00
AskaEth d9b7c22ecb docs(05): 锚点补记二十六——续接锚点（现状/环境/设备驱动协议/W50 在飞与合并检查清单/W38~W49 索引/待办排序/与后端状态/方法论教训），供下一会话直接接手 2026-10-06 07:38:29 +08:00
AskaEth d5d2feee36 docs(05): 锚点补记二十五——W48（账号指纹进 VM key 修 S1 + 搜索 VM 同类缺陷 + 5 处错注释 + 代理挪进 devtools）与 W49（非激活会话节流静默重拉修 S6，3 秒窗口 + 结构性 trailing + 一处刻意偏差）落地；合并后 1177 测试全绿 2026-10-05 22:30:08 +08:00
AskaEth 5dc6408bb9 merge: W49 —— 非激活会话落新消息时节流静默重拉（3 秒窗口 + 结构性 trailing），让抽屉红点在不开抽屉时也能出现 2026-10-05 22:28:39 +08:00
AskaEth 93cf3e359a fix(sessions): 非激活会话落新消息时自愈式节流重拉，抽屉红点不再等用户开一次抽屉（S6） 
现象：App 停在主会话时，次级会话落了新消息 ⇒ 抽屉红点不出现，必须打开一次抽屉
（那次静默 refresh）才补上。

根因：message_persisted 只在 sessionId == activeSessionId 时才推进 / 更新，非激活
会话那一帧直接 return；而会话列表更新的触发点此前只有抽屉打开 / 新建 / 删除 / init
四处，于是「别的会话攒了新消息」没有任何人会去发现。

为什么是客户端自愈而不是等后端：这一帧不带 unreadCount（契约面缺一个增量），而本端
没有逐条时间线 —— 自己累加出来的数会与编辑 / 删除 / 别端操作漂移，那是造数不是修复。
帧壳本身已经说清「某个会话有新消息落库」这件事，所以本端只是据此去问一次服务端，
走的是与抽屉打开时那次完全相同的路径（refresh(silent = true)，含已读游标遮罩），
只是不需要用户先开一次抽屉。后端把增量补上之后这条路可以退成不必走，但在此之前它
是唯一能把红点点亮的路。

节流窗口 3 秒，理由：
- 够快：3 秒落在「看起来就是刚发生的」这个感知里；5 秒往上就开始像卡了一下才补上；
- 够粗：一次静默重拉是两个请求（refresh 里还跟着一次角色目录），而播出方是按每条
  消息推帧的 —— 3 秒能把人手连打 5 条（约 2~4 秒）或一轮回复的连续落库收进同一个
  窗口，收到 1 秒就会漏成两三次请求；
- 不另立尺子：3 秒正是本项目已有的「等够久才值得为一次等待开口」那个量级
  （ChatScreen 的 SHARE_WAIT_NOTICE_MILLIS）。

trailing 怎么保证：窗口内的第二条起不拉，但排一次「窗口到点补拉」（等待时长 =
窗口 - 已过时间），到点直接拉一次并把窗口重开；同一时刻最多一个补拉任务（已排上时
后续成因只更新账本、不重排），所以最后一条之后必定还会再拉一次，红点不会停在旧值。
另外「正好等于窗口」算窗口已过（>= 而不是 >），补拉到点那一刻不会被自己刚开的窗口
挡回去。

哪几种情况不拉：当前打开的那个会话落新消息（那条路本来就有「看到即已读」，多拉一次
列表就是白花两个请求）；同一窗口内的后续消息；窗口内且补拉已经排上。另外切会话那条
路刻意不接进来 —— select 紧接着就发推进已读游标的请求，此时重拉会与还没落地的游标
抢跑、把刚清掉的角标闪回来（抽屉打开时那一次紧跟在游标之后，本来就会补上这一拉）。

判据抽成纯函数（新增 InactiveSessionPull.kt）：persistedRoute 决定这一帧走哪条路，
silentRefreshStep 决定这一刻该不该拉、拉完账本怎么走；时钟由调用方喂，不用 sleep
也就能穷举边界。

顺带把身份变化（重登成另一个账号 / 换了服务器地址）也接进这条路径，用 ContextChanged
绕过节流窗口 —— 那份列表换了主人，等满一个为「别的会话又攒了几条」而设的窗口没有
道理；登出时把账本与补拉任务一起作废（否则补拉会带着一个已经没有令牌的身份发请求）。
抽屉打开时那次 refresh、activeSessionId 的推进、已读游标的既有行为都没动。

验证：gradlew.bat assembleDebug testDebugUnitTest —— BUILD SUCCESSFUL；
1171 条单测 failures 0 / errors 0 / skipped 0，其中新增 InactiveSessionPullTest 13 条。
 2026-10-05 22:28:19 +08:00