 AskaEth
|
89a51a63b1
|
feat(app-iced): M107 DLVRAIL —— 版本管理页三栏侧栏 + 跨类型搜索
用户令（信息架构）：这一页从「下载」改称「版本管理」，版面从「一排 tab + 平铺列表」
改成**页面内三栏**：版本类型栏 + 主版本栏 + 列表/详情，并加搜索框。
- **三栏几何**（`pages/layout/rails.rs`，纯函数 + 数值表）：类型栏 140/64、主版本栏 140/64、
间距 24、列表列下限 424（行宽红线）。四档由**可用宽**裁决：Wide ≥888 / Narrow ≥676 /
Compact ≥600 / Chips <600，三个门槛都是 `栏宽 + 间距 + 424` 算出来的，不是拍的
- **主版本分组规则**（`download/group.rs`）：正式版/预发布按 `major.minor`（`1.21.9-pre3` → `1.21`）、
周更按年桶（`24w14a` → `24w`）、远古版**没有主版本**（`rd-132211`/`a1.2.6` → 第二级只有「全部」）；
判据用真实版本样本钉住，不按「第一个点」切
- **跨类型搜索**（`search_bar` + 清空 + 命中数）：查询词写进 `AppState.download_query`（页面无状态，
只能这么活），`hits` 是**跨分类**读数；三条口径分开：「有命中」/「没有匹配」/「命中在别的类型里」
- 两级侧栏都用 `navigation::list_item` / `tabs` / `chip` / `buttons::icon`：Tab 可达、hover/pressed/
选中态全部来自组件，页面不自己写状态层
- 右栏展开（M104 `content_width` 852）⇒ 可用宽 716 ⇒ Narrow 档，列表 464（任务书那句 492 漏扣
96px 的页边距与栏间距，报告里给了完整数值表）
- 文案 11 条中英进 `crates/i18n`（新域宏接在装配链末尾 ⇒ `Key::ALL` 只追加，金表只追加）
- 护栏：两层侧栏都存在 + 列表按第二级选中态过滤（变异可证）、三档门槛、424 下限扫描、
版本行单行宽账、搜索条真的装着
- `install.rs` 只动了「已装」分支（加一句「已安装」解释禁用按钮），没碰 M105 的选项区
取证：`DevDocs/artifacts/m107/`（10 张：三档 × 浅深 + 搜索命中 + 空 + 异地 + 远古版）
|
2026-11-05 01:59:13 +08:00 |
|
|
AskaEth
|
4b26a0a9dc
|
test(app-iced): M102 r5 行距护栏追绑定（M4 假绿做死）+ 等价重构不再假红（M3/M6）
r4 复审的结论是「产品代码没问题，两条 p1 都在护栏的『抓得住』与实测不符」：
- **M4（真正的假绿，做死）**：`rows = rows.spacing(ui.space(Space::X1));` 只要另起一条语句
就能绕过「只锁构建链」的旧护栏。现在 `list_column_spaces_rows_only_from_the_shared_constant`
用 `function_region` 取整段函数，再用 `source::call_arguments` 拿每一处 `rows.spacing(…)`
的实参，并用新增的 `source::derived_from` 顺 `let` / `Some(x) =` 绑定往回追（最多三跳）：
实参必须追回 `ROW_SPACING`。于是
· 直接 `ui.space(spacing)`（来自 `if let Some(spacing) = ROW_SPACING`）→ 绿；
· `let spacing = ROW_SPACING;` 再中转（H3）→ 绿；
· 先把令牌挪进 `let extra = Space::X1;` 再 `rows.spacing(ui.space(extra))`（M4）→ 红。
- **M3（假红）**：日志接线护栏改用 `function_region`，于是 `wrap::breakable` 外面套一层同义
包装（`fn soft(…) { mono_owned(ui, wrap::breakable(…)) }`）不再假红；整条链路都没碰
`wrap::breakable` 照样红。
- **M6（假红）**：新增 `source::region_across`（多文件转调跟踪，`frame.rs` + `layout/block.rs`），
把盒子原样搬进 `block::body_box` 再转调不再假红；`align_x` 改判**实参**（`Alignment::Start`
与 `iced::Alignment::Start` 同等放行），于是搬进别的模块后路径写全也不假红。
- **M1/M2 按塔的裁定不加断言**：与 `frame::body` 逐像素等价的另写就是等价重构；docstring 写明
「抓得住：语义变化；抓不住：逐像素等价的另写」。
最终变异矩阵（本轮自跑、每条跑完 `git checkout --` 回滚、白名单已核）：
基线 429 passed / 0 failed；M4 红（只红 list_column_spaces_rows_only_from_the_shared_constant）；
M3 绿；M6 绿；G 红（只红 single_column_pages_call_the_body_box_not_the_centred_one）；
I 红（只红 the_page_wires_the_soft_breaks_into_both_rendering_paths）；
旧 p1 复跑 A 红、D 红，等价重构 J 绿。
|
2026-11-04 19:53:45 +08:00 |
|
|
AskaEth
|
f499961e5b
|
test(app-iced): M102 r3 护栏补到「页面调用点」——回退 body/软断点接线一律红，等价重构不再假红
r2 复审抓的两条 p1 都是「守卫只到函数内部」：把页面调用点改回 frame::single_column（变体 G）、
或把日志页两处 wrap::breakable 接线摘掉（变体 I），420 条全绿，而视觉复审 ① / ③ 原样回来。
r3 用 r2 自建的 layout/source.rs 把守卫推进到调用点，并把三条 p2 的假红/假强一并修掉：
- 新增 `single_column_pages_call_the_body_box_not_the_centred_one`：四个页面文件
（download / logs / instances / instances/detail，共 7 个调用点）必须出现 `frame::body(`、
不许出现 `frame::single_column(`；narrow_detail 单独再断言一次。（变体 G → 红）
- 新增 `the_page_wires_the_soft_breaks_into_both_rendering_paths`：扫 `lines::entry` 与
`diagnostic::summary_block`，必须含 `wrap::breakable(`（变体 I → 红）；
同时把 `log_text_carries_soft_breaks_but_keeps_the_original` 的 docstring 改成它实际守的东西
（断点表 + 原文可还原），不再冒充「抓得住接线」。
- p2-1：`frame_body_is_built_from_the_block_quantities` 改用新的
`source::function_region`（函数体 + 本文件内被转调的函数，最多两层）⇒ 把 body 拆成
`body` → `body_impl` 的等价重构不再假红（H1 → 绿），换回 centered 仍红（A → 红）。
顺带修掉 region 的泛型签名 bug：早先拿 `fn {name}(` 当定义 needle，
遇到 `fn body_impl<'a>(` 会 panic（护栏自己假红）；现在按 `fn {name}` 找定义，并补了一条
`the_region_follows_delegation_into_a_generic_function` 自测。
- p2-2：`list_column_spaces_rows_only_from_the_shared_constant` 的禁词收窄到
`let mut rows = column(…)` **这一条**构建链（新工具 `source::statement`，停在第一个 `;`），
于是 `column![head, scroller]` 上加合法间距不再假红（J → 绿），行容器叠间距仍红（D → 红）。
- p2-3：`frame::body` 的 align_x 改成「出现就必须是 `.align_x(Alignment::Start)`」，
不再被 `.align_y(Alignment::Start)` 顺手满足；「干脆不写 align_x」（默认 Start）视为等价重构放行。
- p2-4（措辞）：`layout/block.rs` 文档写明 1440 上限是**有意行为变化**（≥1576 窗宽），
1180/900 上才是零像素变化。
变异矩阵（本轮自跑，逐条回滚，`git status` 已核）：A/C/D/E/G/I 全红且各自只红对应那一条；
H1（body_impl 转调）/H2b（删显式 align_x）/H3（ROW_SPACING 经局部变量）/J（head/scroller 加合法间距）
全绿。基线 `cargo test -p unlucky-app-iced --lib` = 426 passed / 0 failed。
|
2026-11-04 19:53:43 +08:00 |
|
|
AskaEth
|
824bb36f8e
|
test(app-iced): M102 r2 护栏改成「抓得住页面换摆法」——块偏移/行距/散文接线全部有源码结构断言
r1 复审的两条 P1 都是假护栏：把修复原样回滚（A：frame::body 换回居中 424；
C：内缩 X2→X1；D：行距加回 4px）后测试仍全绿，因为断言只喂 frame_metrics() 与常量重算，
既不观察 frame::body，也不引用页面常量。本轮把「摆法」做成可断言的东西：
- 新增 `pages/layout/block.rs`：body_width（pane 宽封顶 1440）、body_offset（恒 0 = 贴左）、
prose_width（= metrics.column ≤424）三个纯量 + 单测。frame::body / frame::prose 从它们建盒，
frame::body_width 改成 pub use（不另算一份）。
- 新增 `pages/layout/source.rs`（cfg(test)）：把某个函数的实现文本切出来。iced 的 Element
没有几何内省，量不到「块摆在哪」，只能断言「照哪个数建的」；仓里已有 no_hardcoded_tokens
扫源码、download/tests 用 include_str! 扫 key 的先例。
- 新护栏（每条都做过变异实测，见报告）：
· frame_body_is_built_from_the_block_quantities（A 变异红）
· frame_prose_is_built_from_the_prose_width（E 变异红）
· list_column_spaces_rows_only_from_the_shared_constant（D 变异红）
· instances 几何断言改用页面真源 LIST_BOTTOM_INSET.dp() / ROW_SPACING（C 变异红）
· the_detail_note_goes_through_the_prose_box（散文接线）
- P2：wrap::strip 的「会删原文自带 U+200B」写成限界 + 一条断言；docs 口径从 layout.rs
挪到 layout/block.rs（layout.rs 399 → 389）。
零像素变化：改后 9 张图与 r1 的 m102-after 逐张 cmp 完全相同；2560×760 新出三张证明块宽封顶
1440（112..1551）且仍贴左。
|
2026-11-04 19:53:41 +08:00 |
|
|
AskaEth
|
89d98184c1
|
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 |
|
|
AskaEth
|
831bd00620
|
docs(app-iced): SIM 常量口径精确化（字符最多行 402 / 全段最宽行 411）
视觉 r3 的不计入裁决的精度提醒：`SIM_SAFE_MAX_INK = 402` 其实是**字符最多**那一行的 ink，
全段**墨迹最宽**的行是 411px（渲染 410），所以「余量 22px」实际是 13px。
- 拆成两个常量并分别断言：`SIM_SAFE_MAX_CHARS_INK = 402`（67 字符那行）、
`SIM_SAFE_WIDEST_INK = 411`（墨迹最宽那行，新加断言 `cap >= 411`，并在失败信息里打印余量）；
- 文档写明「两者不是同一行：402 那行字符多但字形窄」。
证据：`cargo test -p unlucky-app-iced --no-default-features`
→ `test result: ok. 86 passed; 0 failed` / `test result: ok. 6 passed; 0 failed`。
|
2026-11-02 04:10:05 +08:00 |
|
|
AskaEth
|
589f51f4fb
|
docs(app-iced): 订正测试注释（1180 上限是 424，不是 435）
r3 复审：`layout/tests.rs` 的注释说「现在必须是 435」，同一函数的断言却是 424。
证据：`grep -n 435 crates/app-iced/src/pages/layout/tests.rs`
- 第 229 行（旧）：`// 1180 —— M68 就是在这条上翻的车（712px），现在必须是 435` → 改成 **424**；
- 剩下两处 435 都是**平均口径上界**的正确引用，不是残留：
第 176 行注释「不是『平均步进 × 72』的算术值 435」、
第 180 行 `assert_eq!(measure_average_bound_px(), 435.0)`。
|
2026-11-02 03:52:28 +08:00 |
|
|
AskaEth
|
0de8e63ad6
|
fix(app-iced): 必修1 跟进 —— 旧断言 435→424 + clippy 常量断言
必修1 改完 cap 之后跑门禁抓到的两处自身的漏改：
1. `settings_pane_keeps_the_drawer_width_and_a_readable_form_column` 里还留着
`assert_eq!(measure_cap_px(), 435.0)`（P2-1 轮加的锚点），cap 收到 424 后它必红。
已改 424 —— 这正是「锚点断言」该有的行为：常量一改就红，而不是悄悄跟着漂。
2. clippy `assertions_on_constants`：`assert!(SIM_SAFE_MAX_CHARS <= MAX_MEASURE_CHARS)`
两边都是 const，改成 `const { assert!(..) }`。
门禁（本机私有 target，CPU 档）：86 lib passed + 6 集成 passed；clippy -D warnings 干净。
|
2026-11-02 02:42:58 +08:00 |
|
|
AskaEth
|
ddf6937b2b
|
fix(app-iced): 必修1 「72 字符」改成逐行口径，上限 435 → 424
代码 r2 的复核：`435 / 6.0526 = 71.9` 是**整段平均步进**换来的数，不是每行都 ≤72；
它实测交付图里就有 **73 字符**行（`guess. Nothing on this page is wired to real data yet: the layout is, the`，
ink 428px）。上一轮是系数错，这一轮是**把平均当成了逐行上界**。
选 **(a)**：不变式改成逐行可验证，cap 跟着压到能满足它的地方。依据是 FreeType 量宽 + 贪心词折行的模拟表
（同一段 361 字符正文扫列宽）：
| 列宽 | 最长一行 | 该行 ink | 判定 |
|---|---|---|---|
| 435（= 平均口径上界） | 73 字符 | 428px | ✗ |
| 428 | 73 字符 | 428px | ✗ |
| 426 | 71 字符 | 426px | ✓ 只剩 1 字符余量 |
| **424**（4px 栅格） | **67 字符** | **402px** | ✓ 取这个 |
- `measure_cap_px()` = `min(逐行安全宽 424, 平均口径上界 435)` = **424**；平均口径另立
`measure_average_bound_px()`（435）并在文档里标明「只是上界，不是取值」。
- 单测 `line_length_is_capped_at_72_characters` 改成**两侧夹逼**：`402 ≤ cap < 428` ——
放大到 428 会重新出现 73 字符行（红），压到 402 以下白丢宽度（也红）；另断言
`cap < measure_average_bound_px()`，防止有人把平均口径当上限。
- §3 新增「逐行口径」小节：模拟表 + **作用域**（承诺只覆盖 14px 正文；12px 辅助文案是 1~2 行短句，
不做逐行承诺；CJK 全角 1em 另行定）。
- 四页文档与 `pages/mod.rs` 的 ≤435 同步改 424。
|
2026-11-02 02:04:23 +08:00 |
|
|
AskaEth
|
a650f8184b
|
fix(app-iced): 必修2 元信息卡最小宽改由内容推（136 → 160），1180 下网格 2 列
视觉 r2 抓到的回归：上一轮为塞进三列把 `META_CARD_MIN_WIDTH` 收到 136，只算外框、忘了
`card_padding = 20`，卡内只剩 96px —— demo 里 `NeoForge 20.4.237`（实测 118px）与
`NeoForge 21.1.72`（110px）都会按词折成两行，同排另两张卡仍一行 → **卡底不齐**。
- 最小宽改由**卡内最长内容**反推：118（Segoe UI 14px 实测）+ 2×20（令牌 `card_padding`）= 158
→ 取 4px 栅格 **160**（值上等于最初的 160，但这次是内容推出来的，不是凑上限凑出来的）。
- 于是元信息网格在 1180 宽落到 **2 列**（2×160 + 12 = 332；3 列要 504 > 行宽上限），
卡内可排 **166px** ≥ 118，所有值单行放下；6 格 = 3 行 2 列。
- 新增单测 `meta_card_is_wide_enough_for_the_longest_value`（此前 39 条 pages 测试没有一条覆盖它）：
① 夹具 `NeoForge 20.4.237` 必须仍在 DEMO 里（数据变了就红，提醒重新量）；
② `META_CARD_MIN_WIDTH − 2×card_padding ≥ 118`；③ 实际两列布局下每卡内宽也 ≥ 118。
- `meta_grid_drops_columns_as_the_detail_narrows` 跟着改成「上限处 2 列」（1180 与 900 同为 2 列，
差别落在详情列宽 435 vs 404）。
|
2026-11-02 02:04:04 +08:00 |
|
|
AskaEth
|
fae1b61d9e
|
fix(app-iced): P2-1 「72 字符」改成实测口径（上限 504 → 435）
两位 reviewer 都量到：`CHAR_ADVANCE_EM = 0.5` 是估的，14 × 0.5 × 72 = 504px 实际能放 83 字符，
「72 字符」只活在名字里。改成实测：
- 口径：`BodyMedium` 14px / Segoe UI Regular / 无 letter-spacing（iced 0.14 不支持字距），
样本 = 实例页详情那段正文（361 字符，大小写/标点/空格/`→` 混排），FreeType getlength
实测 **2185.00px / 361 = 6.0526 px/字符 = 0.43233em**（旧 0.5 高估 15.7%）；
交叉验证：同段首行 78 字符渲染墨迹 484px，FreeType 对同一串 479px，差 1%（抗锯齿外扩）。
- `CHAR_ADVANCE_EM` 0.5 → **0.43233**；`measure_cap_px()` 加 **floor** → **435**
（435.79 四舍五入成 436 就会让最后一两个字符挤不进 72 字符的承诺）；下限 315 → 272。
- 版面连带重算：`META_CARD_MIN_WIDTH` 160 → **136**（3×136 + 2×12 = 432 ≤ 435，否则 1180 宽下
元信息网格会从 3 列掉到 2 列）。**816 / 720 两个两列阈值不受影响**（它们由 LIST/DETAIL/FORM 宽度算，
与行宽上限无关），单测里的绝对值断言原样成立。
- 单测：`line_length_is_capped_at_72_characters` 里新增 tower 要求的断言 —— 用**实测步进**
（样本字符数 + 实测宽度，独立于常量）反算「上限列宽能放多少字符」≤ 72（实际 71.87），
并加一条回归护栏：同一实测步进下旧口径 504px = 83.3 字符，改回 0.5em 立刻红。
- 文档：`layout.rs` §3 补「怎么重新量」（字体、样本、工具、交叉验证、CJK 不适用）与全部数字；
`mod.rs` / 四页文档里的 ≤504 同步改 435。
|
2026-11-02 00:13:20 +08:00 |
|
|
AskaEth
|
2c442585b1
|
feat(app-iced): M84 页面骨架与布局系统（断点 / 行宽上限 / 三种版面）
视觉复审在 M68 的判词是不能把「全宽单卡」当页面模板（1180 宽下正文单行 712px ≈ 118 字符）。
本 mission 把它落成一套**布局系统**，四个页面只是它的用例：
- `pages/layout.rs`：官方 600 / 840 两个档位 → 三种版面（单列 / supporting-pane / list-detail），
阈值由列宽和算出（设置 240+24+320 → 720；实例 336+24+320 → 816 ≤ 840），行宽硬上限
14 × 0.5em × 72 = **504px**，全部是纯函数，`pages/layout/tests.rs` 用绝对值和边界表钉死。
- `pages/frame.rs`：页头（56 / 两行 84）+ 内容列（≤504）+ 两列骨架 + 空态位；
`pages/frame/pieces.rs` 是占位控件（卡片 / 分隔线 / 文本按钮 / 图标），令牌驱动、无完整状态机，
待 M75 的 components 家族合入后替换。
- 四页：实例（list-detail，列表列 336 独立滚动，窄窗退化成整页切换）、
设置（supporting-pane，240 分组导航 + ≤504 表单列）、下载 / 日志（单列，两行页头）。
- `pages/harness.rs` + `examples/pages_demo.rs`：自带 `--screen/--width/--screenshot-theme`，
不碰 `cli.rs` / `app.rs`（M75 在改）。
偏离与说明：
- 布局用「页边距 16/24」而非 16/24/32，官方 expanded 也是 24（少一条偏离登记）；
- 实例空详情态一屏会有 5 档字号（22/16/24/12 + 14 的操作按钮），未截图的状态，已知并登记；
- `lib.rs` 只加一行 `pub mod pages;`。
|
2026-11-01 23:27:28 +08:00 |
|