fix(app-iced): M102 页面几何 —— 正文块贴左吃满页宽、列表末行不再被裁半行、日志按词断行

① 正文列与页头不对齐（下载 / 日志）：根因是 `frame::single_column` 把**行宽上限 424** 当成**整页块宽度**并水平居中（1180 下 1044 里只摆 424，左缘 422 对页头标题 112）。现在两个量分开：`layout` 的 `column` 只管成段散文（≤424），页面块宽走新的 `frame::body_width`（= available / main_pane）。新增 `frame::body`（贴左吃满）与 `frame::prose`（散文锁 424）。1180×760 下下载 / 日志的块左缘 = 112 = 页头标题左缘。 ② 实例列表末行被裁半行：页级行距 `Space::X1`(4) 让行节奏变成 64、与可视高度除不尽，且滚动区直贴卡片 1px 圆角描边。行距归零（下载页同改）+ 滚动区底部内缩 `Space::X2`(8) ⇒ 可视区 580−32−8 = 540 = 9×60，Redstone Lab 及其副标题完整可见，第 10 行整体在裁切线外。 ③ 日志断行把单词劈开（`graphics.gl_o` / `peration_failure`）：新增 `layout::wrap::breakable`，在 `.` `_` `:` `/` `\` 后插零宽空格（U+200B 软断点），日志行正文与一行摘要都过它；悬挂缩进不变（前缀仍是独立文本控件）， `Line::text` 与 `Logs::summary()`（剪贴板）仍是原文。工具函数放 `pages/layout/`：断点是「列宽之后」的另一半排版判据，纯函数、可单测、不碰控件树。护栏：`body_block_starts_at_the_header_title_and_fills_the_page`、 `list_viewport_fits_whole_rows_and_still_overflow`（把 580/32/8/540/60 五个数钉住）、 `wrap::tests`（断点位置 / 不重复插 / 可还原 / 幂等）、`log_text_carries_soft_breaks_but_keeps_the_original`。 `download/tests.rs` 的「宽窗留白」口径按新分工改成「宽度归块、不归散文列」。
2026-11-04 19:53:38 +08:00
1 parent 8574d6ba2d
commit 89d98184c1
@@ -0,0 +1,79 @@
+//! **断行工具**：给没有空格的长标识符补上「软断点」。
+//!
+//! ## 为什么在这里而不是日志页里
+//!
+//! 这是**排版度量**问题，不是日志页的私事：`layout.rs` 已经是页面级几何的唯一真源
+//! （档位 / 版面 / 列宽 / 行宽上限），「一行在哪儿能断」属于同一类判据的第二半——
+//! 列宽决定**能放多宽**，断点决定**放不下时从哪儿折**。放在 `layout/` 下面：
+//!
+//! - 日志页（`pages/logs/**`）与以后任何要排长串的页都能用，不产生第二份实现；
+//! - 它是纯函数（`&str → String`），不碰 iced 控件树，能在单测里逐字符钉死。
+//!
+//! ## 修的是什么（M102 视觉复审的 ③）
+//!
+//! 崩溃日志的一行摘要与堆栈里有 `graphics.gl_operation_failure:medium(70)` 这种
+//! **完全没有空格**的长串：iced 的 `Wrapping::Word` 找不到断点，只能退化成按字形硬断，
+//! 于是图里出现了 `graphics.gl_o` / `peration_failure`——单词被从中间劈开。
+//!
+//! 修法不是改字号也不是截断（截断会让用户拿不回原始堆栈），而是往
+//! `.` `_` `:` `/` `\` 这些**标识符/路径分隔符后面**插一个**零宽空格**（U+200B）：
+//!
+//! - U+200B 是 Unicode 的**软断点**（UAX #14 `ZW`）：排版时可以在这里折行，但不占宽度、
+//!   不产生字形，`Wrapping::WordOrGlyph` 会优先在它那里折；
+//! - 它只进**显示**用的字符串，不进数据：`Logs::summary()`（剪贴板）与 `Line::text`
+//!   （视图模型）仍是原文，`strip` 一下就能还原（见单测）。
+//!
+//! ## 边界（没做什么）
+//!
+//! - 只在**分隔符之后**插，不在之前：「`a.b`」断成「`a.` / `b`」比「`a` / `.b`」好读；
+//! - 分隔符后面紧跟空白、或结尾，就不插（`Wrapping` 本来就能在空白处折）；
+//! - 连续分隔符（`a..b`、`a/_b`）只在最后那个后面插一个，不制造一串空断点；
+//! - `-` **不插**：时间戳 `2026-11-02 19:40` 断在日期中间比不断更难看，
+//!   而 `-` 两侧几乎都有空白/标点兜底。
+
+/// 零宽空格（U+200B）：可断行、不占宽度的软断点。
+pub const SOFT_BREAK: char = '\u{200b}';
+
+/// 软断点允许落在哪些字符**之后**。
+///
+/// 取标识符 / 路径 / 规则 id 的分隔符：`integrity.unsatisfied_link`、
+/// `graphics.gl_operation_failure:medium(70)`、`logs/2026-11-02/client.txt`、
+/// `AppData\Roaming\.unlucky\instances\dev-test\natives`（Windows 路径，反斜杠也断）。
+pub const BREAK_AFTER: [char; 5] = ['.', '_', ':', '/', '\\'];
+
+/// 给 `text` 补上软断点（返回**显示用**的新串；数据侧原文不动）。
+///
+/// 幂等：对已经补过断点的串再跑一遍不会插更多（U+200B 不是分隔符，也不是空白以外的可断字符）。
+pub fn breakable(text: &str) -> String {
+    let mut out = String::with_capacity(text.len() + text.len() / 8);
+    let mut chars = text.chars().peekable();
+
+    while let Some(ch) = chars.next() {
+        out.push(ch);
+
+        if !BREAK_AFTER.contains(&ch) {
+            continue;
+        }
+
+        // 只在「分隔符 + 真内容」之间插：结尾、空白、连续分隔符、已有软断点都不插。
+        let worth_breaking = chars.peek().is_some_and(|next| {
+            !next.is_whitespace() && *next != SOFT_BREAK && !BREAK_AFTER.contains(next)
+        });
+
+        if worth_breaking {
+            out.push(SOFT_BREAK);
+        }
+    }
+
+    out
+}
+
+/// 去掉 [`breakable`] 插进去的软断点（还原成数据原文）。
+///
+/// 只给测试与调试用：页面渲染时不需要还原（原文从未被改写）。
+pub fn strip(text: &str) -> String {
+    text.chars().filter(|ch| *ch != SOFT_BREAK).collect()
+}
+
+#[cfg(test)]
+mod tests;
@@ -0,0 +1,83 @@
+//! `wrap` 的断言：软断点插在哪、插完还能不能还原。
+//!
+//! 口径与 `layout/tests.rs` 一致：只钉**纯函数**（断点位置 / 原文可还原），
+//! 「渲染器是不是真在那里折」由截图与报告里的前后对照图负责。
+
+use super::*;
+
+/// 视觉复审 ③ 的原话样本：这两个被劈开的词必须重新可断。
+#[test]
+fn identifiers_break_after_their_separators() {
+    let summary =
+        "findings=integrity.unsatisfied_link:high(85),graphics.gl_operation_failure:medium(70)";
+    let broken = breakable(summary);
+
+    // 抓得住：断点漏掉 `_` / `.` / `:`（那就退化成按字形硬断，`graphics.gl_o` + `peration_failure` 复现）；
+    // 抓不住：渲染器最终在哪一列折行（那要量图，见报告）。
+    for seam in [
+        "integrity.\u{200b}",
+        "unsatisfied_\u{200b}",
+        "link:\u{200b}",
+        "graphics.\u{200b}",
+        "gl_\u{200b}",
+        "operation_\u{200b}",
+        "failure:\u{200b}",
+    ] {
+        assert!(broken.contains(seam), "缺断点 {seam:?}：{broken}");
+    }
+}
+
+/// 路径样本：`logs/2026-11-02/client.txt` 在 `/` 与 `.` 后能断，日期里的 `-` 不许断。
+#[test]
+fn paths_break_after_slashes_but_not_inside_dates() {
+    let broken = breakable("logs/2026-11-02/client.txt");
+    assert!(broken.contains("logs/\u{200b}"), "{broken}");
+    assert!(broken.contains("client.\u{200b}txt"), "{broken}");
+    // 日期整体不拆：`-` 不在断点表里，视觉复审没要求、拆开反而难读。
+    assert!(broken.contains("2026-11-02"), "{broken}");
+
+    // Windows 路径：反斜杠同样是断点（日志里 `AppData\Roaming\...\dev-test\natives\...`）
+    let win =
+        breakable("C:\\Users\\Player\\AppData\\Roaming\\.unlucky\\instances\\dev-test\\natives");
+    assert!(win.contains("Player\\\u{200b}"), "{win}");
+    assert!(win.contains("natives"), "{win}");
+}
+
+/// 不该插的地方一个都不插：结尾、空白之后、连续分隔符。
+#[test]
+fn no_dangling_or_doubled_breaks() {
+    assert_eq!(breakable(""), "");
+    assert_eq!(breakable("plain text"), "plain text");
+    assert_eq!(breakable("trailing."), "trailing.", "结尾不插");
+    assert_eq!(
+        breakable("a. b"),
+        "a. b",
+        "分隔符后面是空白：Wrapping 本来就能在空白处折"
+    );
+    assert_eq!(
+        breakable("a..b"),
+        "a..\u{200b}b",
+        "连续分隔符只在最后一处断"
+    );
+    assert_eq!(breakable("a:/b"), "a:/\u{200b}b");
+
+    // 抓得住：有人在每个字符后面都插（那就等于按字形断，本 mission 的修法失效）。
+    assert!(
+        !breakable("abcdef").contains(SOFT_BREAK),
+        "没有任何分隔符的串不该出现断点"
+    );
+}
+
+/// 只改显示：`strip` 还原后与原文逐字符相同（剪贴板/日志原文不许被污染）。
+#[test]
+fn breaking_is_reversible_and_idempotent() {
+    for text in [
+        "graphics.gl_operation_failure:medium(70)",
+        "[19:40:12] [main/ERROR] 启动失败: exit code 1",
+        "at com.mojang.blaze3d.platform.GLX._initGlfw(GLX.java:64)",
+    ] {
+        let broken = breakable(text);
+        assert_eq!(strip(&broken), text, "还原失败：{broken}");
+        assert_eq!(breakable(&broken), broken, "幂等：再跑一遍不许再插");
+    }
+}