AskaEth/Unlucky-Launcher
1
0 Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
817 Commits 3 Branches 7 Tags
7d163174119bb9bb11730503dc0456747e322db8
Commit Graph
77 Commits
Author SHA1 Message Date
AskaEth 9780fca1c7 fix(app-iced): blend 用例端点改用真实令牌色（M288） 
`blend_hits_both_endpoints_bit_for_bit` 原先用 `Color::from_rgb(0.1, 0.2, 0.3)` /
`(0.7, 0.8, 0.9)` 当端点，撞上 `tests/no_hardcoded_tokens.rs` 的色值守门（它扫 `src/**`，
测试模块也算在里面），使 base 上「全量测试绿」永不可达。

修法在**被判的那一侧**：端点取状态层真正会插值的一对角色——`Role::Surface`（容器）与
`Role::OnSurface`（内容）——经产品同一条令牌路径（`BrandBoard::for_flavor(..).scheme()`
→ `to_iced`）取值，浅/深两套板各跑一遍；判据值全部现算（每通道取两端 min/max）。

三条判据一条不少：端点逐位相等、中点**严格**落在两端之间（比原先的闭区间更强）、α 全程 1.0。
守卫文件一行未改（仍 400 行），扫描范围没有放宽。
 2026-11-12 23:55:24 +08:00
AskaEth 5174845cda fix(app-iced): 列表行圆角改从组件表取（M287） 
`list_item.rs` 硬写 `ui.radius_dp(ShapeScale::None)`，旁边还写着「4.x：ListItem 的形状
是 `CornerNone`（直角），没有圆角档」——而令牌表 `component_map::table` 的 `ListItem`
是 `Small(8)`。产品侧根本没读表，注释在替错误站台。

改为 `row_border(ui)` → `ui.radius_dp(Component::ListItem.spec().shape)`，数值只留在
令牌表。变异实测（只改表的那一行 `Small→Large`）：行圆角 8 → 16，240×60 选中行的顶行
缩进 6 → 13；改回后 11 张图逐字节复原（`DevDocs/artifacts/listradius/`，不入库）。

同 commit 改掉那条直角注释、模块文档补 4.9 行，并加两条单测：渲染路径的
`Border.radius` = 表值折算；源码里不许再出现硬编码的 `ShapeScale::*` 档。

外观影响的边界（写进取证报告）：行只在 选中/悬停/按下 时有容器色，未选中静息与禁用
两态 `fill` 为 `None`，那两态逐字节不变是**正确**的，不是没生效。
 2026-11-12 23:38:56 +08:00
AskaEth c869a7b346 fix(motion2): 修掉 drawer 药丸守卫的同义反复（M257 r1 复审 P2-1） 
`rail_selected_label_is_secondary` 里那条 `pill_color(..) == pill_color(..)` 比的是同一个
表达式，恒真、抓不到任何东西，而注释还写着「rail 与 drawer 两条线的药丸一致」。

药丸从 M257 起不吃 layout（`pill_color` 的签名里没有 `NavLayout`），所以「两条线一致」由
签名保证；本用例改判真正要守的那一件事：静息选中药丸来自 `SecondaryContainer`。
变异验证：把 `pill_color` 的兜底角色换成 `Primary` ⇒ 该用例在 tests.rs:54 红。
 2026-11-12 20:05:58 +08:00
AskaEth b61f342431 feat(motion2): 右栗折叠过渡 + 状态层 hover/pressed 过渡 
A2 侧边栏（右栗 AI 栏）折叠/展开：
- 帧泵第三条轨道（pump/rail）：展开 medium1 250ms + Emphasized、收起 short4 200ms +
  EmphasizedAccelerate；拆出档走 snap（不做过渡）；MotionScale::NONE 下不插轨道
- 宽度在 metrics::rail_width 逐帧插值；面板内容按目标宽排版 + 按动画宽裁切
  （不重排 / 不溢出），宽度回到 48 时换成图标条（图标贴右端，位置不跳）
- pages/agent/mod.rs 的展开档面板纯搬移到 panel.rs（371 → 289 行）

A8 状态层过渡：
- interaction/layer：令牌化的进度时钟（short1 50ms），NONE 当帧落终值
- interaction/hover：取样控件把起跑搬到 Widget::update（早于订阅表求值）
- 按钮五式 + IconButton + 导航项药丸统一走 interaction::layer_color
  （没有取样控件时逐位退回旧口径，出图基线不变）
- components/motion/mod.rs 的 needs_frames / advance 各加一句委托，
  帧订阅仍然只有一处判断点（app/subscription.rs 未改）
 2026-11-12 20:05:58 +08:00
AskaEth add8617494 fix(app-iced): 修 about_center 的平移项（模态从「斜滑」回到「绕中心缩放」）+ 补几何断言 
复审 r3 的 P1：about_center 写成 T(-c)·S·T(c)，按 iced_core 的「先右后左」算出来是
p → s·p − (1−s)c，不动点在 (−cx,−cy)（窗口外的镜像点）⇒ 卡片开框时从左上斜滑约
(1−s)·c，而不是绕中心缩放。改成 T(c)·S·T(-c)（= s·p + (1−s)c，不动点就是 c），注释同步。

根因是 zoom.rs 里 0 条 #[test]（矩阵从没被断言过，967 条全绿抓不住）。新增
tests::about_center_keeps_the_center_fixed：中心不动（<1e-3）、尺寸 = 倍率、缩小时左上角
收向中心；三组矩形 × 三档倍率。把 translate 换回去即红。

顺带补齐「抓得住/抓不住」：components/motion/** 与 motion_sync.rs、platform/motion.rs 里
31 条用例现在全部两侧都有（脚本核对 missing=0）。
 2026-11-12 10:50:04 +08:00
AskaEth b6127b4735 fix(app-iced): 补回被变异回滚误删的两处修复（钉住档位 + 退场起点） 
上一提交把一个中间态（BYPASS_PROBE + serialize 未删、Modal::Closing 无 from）提交了：
变异实验后我用 git checkout -- 复原，而那些修复当时还没入库，于是被一起抹掉，
直接用例把这件事抓了出来（3 条恒定红）。现在按正确内容重做：
- delete motion::serialize()（空操作）
- FORCED_SCALE: Cell<Option<MotionScale>>，configure 里钉住优先
- Modal::Closing { start_ms, from }，退场从当前进度连续缩到 0
（教训记在报告：变异只在已提交的树上做，别在未提交的树里 checkout。）
 2026-11-12 10:50:03 +08:00
AskaEth 787cb16189 fix(app-iced): 删掉空操作串行门 + 钉住档位贯穿产品启动路径 + 退场起点接当前进度 
复审 r2 的三条：
1) 删掉 motion::serialize() 那把串行门：PUMP/LAST_FRAME 都是 thread_local，libtest 每用例
   一线程 ⇒ 它改变不了任何结果（ULL_MOTION=off 下握门照样红）。留一个不起作用的同步原语
   比没有更坏。subscription.rs 与 motion_sync.rs 的 idle_app 恢复原签名。
2) 真实根因是「喂给 configure 的值」：idle_app 先钉 STANDARD，随后 on_boot →
   configure_motion（app/update.rs:276）→ boot_env::motion_scale(..) 再定一次档，把钉住覆盖掉。
   改成 BYPASS_PROBE(bool) → FORCED_SCALE(Cell<Option<MotionScale>>)：configure 里钉住优先，
   于是三条定档路径（configure_for_test / on_boot / boot_env 的 env·后端 tier）都穿不过去。
   两条用例钉住它（纯合成 + 真 Message::Boot），删掉「钉住优先」两处都红。
3) P2-2：Modal::Closing 记住起手进度 from，progress = from*(1-eased) —— 进场途中被关掉时
   从当前进度接着缩，不再先跳到 1.0（反向硬跳）。新用例
   closing_during_the_entrance_does_not_jump_to_fully_open，把 from 改回 1.0 即红。
 2026-11-12 10:50:03 +08:00
AskaEth c21c6df51b fix(app-iced): 动效全局态按「测试隔离」修 —— 串行门 + 探针旁路（复审 P2-5 返工） 
tip 8b6f090 上 7 条用例在 -j 2 下红，根因两层：
1) P2-5 引入的 configure_for_test 只挡调用点，而 App::update(Boot) 会走**产品** configure
   再按真探针定档 —— 本机（RDP 会话）SPI_GETCLIENTAREAANIMATION 报「动画关」⇒ 档位被压成
   NONE ⇒ 位移恒 0 ⇒ 门槛 B/C 的守卫全红（日志里 [motion] scale=0.00 就是它）。
2) 动效全局态（档位 + 进程级时间轴）在并行用例间共享，谁先写谁赢。

修法（判据一条没动）：
- components :: motion :: serialize()：**跨模块共用的唯一一把**串行门，subscription.rs 与
  update/motion_sync.rs 的用例都取它（idle_app 把 guard 一起返回，活到用例结束）。
- configure_for_test 置 thread-local BYPASS_PROBE，configure 读它 ⇒ 产品启动路径也不会再按
  探针改档；reset() 清旁路，供「故意走真探针」那条用例使用。
- NONE 仍要求严格 0、STANDARD 仍要求 12~20 帧与端点归位。
 2026-11-12 10:50:03 +08:00
AskaEth 1edf645c2f fix(app-iced): 复审 p2 五条（方向取轨序 / 退场重开 / 遮罩口径 / 恒真断言 / 探针隔离） 
- P2-1 方向改由**导航轨序**决定：新增 nav_rank(route)（NavItem::ALL 下标），
  Pump::observe 收 (screen, rank, detail)，forward 比较 (rank, key) 而非只比屏键 ——
  修掉 Logs↔Settings 的左右镜像；Download↔Content 同 rank，仍判同级水平（已登记偏离）。
- P2-2 退场途中开新框：observe_modal 先当场收尾（Hidden + 待关）再起 Opening；
  sync_motion 收尾时若队列里还有框就不把 dialog_model 置空。
- P2-3 只改文字：遮罩起手是**整块画布色的不透明矩形**（把页面内容遮住），不是透明看不见。
- P2-4 删掉恒真断言（单个 Option 的 <=1），写明「不累积」是字段形状 + mem::replace 给的；
  tests/timeline.rs 与 tests/modal.rs 的每条用例都补了「抓不住」。
- P2-5 新增 motion::configure_for_test（绕过 OS 探针），用例一律走它；
  另留一条故意走真探针的用例证明 Reduced ⇒ NONE 的合成仍在产品入口上。
- 顺带：pump 的模态状态机拆到 pump/modal.rs（守 400 行硬线）。
 2026-11-12 10:50:03 +08:00
AskaEth b1c09c4c91 feat(app-iced): 页面切换按导航深度定向 + 模态缩放淡入（M256 MOTION1） 
- transition.rs：唯一一张动效表。同级换页走水平（±12 / 旧页 ∓8）、进深层走纵向
  （新页 +16 上浮 / 旧页 -8），进腿 medium2/medium1（300/250），退腿 short4→medium1（更短），
  进用 Standard、退用 StandardAccelerate。幅度全部取自 Space 令牌。
- pump.rs：Slot 三互斥槽 → Kind（Boot/Peer{forward}/Push/Pop）+ 两腿轨道；新增模态状态机
  （Opening/Open/Closing，展开后不占帧，退场走完交回一次 take_modal_closed）。
- components/motion/zoom.rs：绕中心缩放的自绘控件（renderer.with_transformation，
  tiny-skia 与 wgpu 都实现了，文字也真的跟着缩放）；scale==1.0 时不套变换 ⇒ 出图基线不变。
- pages/mod.rs：page_with_settings_transition(ui, current, previous, …) 叠
  stack![opaque(旧页@退场位移), 新页@进场位移]；旧函数只剩一句委托（blast radius 不变）。
- App.previous_view：换页时用 std::mem::replace **移动**旧模型（冻结快照），过渡结束当拍
  置 None（不随换页次数增长）。
- 模态：逻辑状态当拍关（state.dialogs 立刻空），画面多留 150ms；退场期间弹窗消息被闸门吞掉。
- platform/motion.rs：系统「减少动效」三态探针（Windows=SystemParametersInfoW，
  Linux/macOS=子进程+300ms 超时），OnceLock 缓存；Unknown **不降级**（探针失败不静默关动效）。
- MotionScale::HALF 语义核清并写进 design 文档：是**时长减半**（更快），不是半速。
 2026-11-12 10:50:02 +08:00
AskaEth a17f6fb29f test(app-iced): 接线守卫改判「代码行」，注释掉不再算接线（M252 r1 P1-1） 
复审实测：三处接线守卫都是纯文本 `contains`，把真接线注释掉（行注释，或 `/*` 独占一行的
块注释）之后 943 条用例一条不红；`field.rs` 那处连 rustc 的 unused-variable 兜底也能用
`let _submit` 一起绕掉 —— 功能整条静默失效时，测试与 lint 两条线同时不响。

- `pages/layout/source/code.rs`（新）：`code_lines()` 剥 `//` 与跨行/可嵌套 `/* … */`，
  字符串与字符字面量整段保留（`"http://x"` 里的 `//` 不剥）；`code_line()` / `has_code_line()`
  给「某行代码的行首就是那个调用」这条谓词。边界写在模块文档：原始字符串里出现 `"` 是唯一
  可能朝松方向错的形态（本仓 src 现无此写法），其余偏差都是假红。
- 三处守卫改用它：`text_field_forwards_the_submit_callback`（行首是 `on_submit_maybe(`
  且实参不是 `None`、消息来自 `submit_message`）、`the_rename_field_wires_enter`（回车与
  「改名」按钮的行都含 `commit_rename()`，且都不含第二种页面意图 —— 一并关掉 r1 P2-1
  「Debug 自证撑不住判据」）、`the_accent_field_wires_enter_to_commit`（含产地那条代码行）。
- `submit_is_wired_only_at_the_two_call_sites` 的 `scan()` 换成同一谓词并跳过测试文件
  （守卫自己的 fixture 里也有 `.on_submit(` 样本）。
- T29 顺手收敛 scope 内的同族旧断言：`pages/instances/tests.rs` 的行距/散文接线判据与
  `pages/instances/tests/i18n.rs` 的五条取词判据改走 `code_text()`（一行改动、方向不变）。
 2026-11-11 19:55:21 +08:00
AskaEth 92a3c1bbc8 refactor(app-iced): 「禁用不提交」的规则收进 Field::submit_message 
原来 text_field 里内联着 `if state.is_disabled() { None } else { field.submit_message() }`，
那条分支在 Element 上量不到（没有内省接口）⇒ 等于没验。现在把状态作为参数交给
Field::submit_message(state)，规则本身可单测：submit_is_opt_in 多了 Disabled 那一档断言
（接了回调 + 禁用 ⇒ None），text_field 相应少 3 行。
 2026-11-11 19:55:21 +08:00
AskaEth f7cfc8ded6 feat(app-iced): 单行输入框透出 on_submit，回车接上存档改名与强调色提交 
债务台账 P18（M250 + M247 的共同缺口）：iced 0.14 的 text_input 有 on_submit、
没有 on_unfocus（builder 逐条核过：on_input/on_input_maybe/on_submit/on_submit_maybe/
on_paste/on_paste_maybe，on_unfocus 零命中），而本仓的 text_field 只透出
on_input ⇒ 行内重命名只能点按钮、强调色拿不到「用户确认」这一下。

- field.rs：Field 变 `Field<'a, M>`（M 只被新加的 on_submit 用到，调用点的类型由
  text_field 的 on_input 一并推出，一行都不用改），回车消息唯一从 submit_message()
  取，`on_submit_maybe(None)` 是默认档 ⇒ 既有调用点逐位不变；禁用态与 on_input 同一
  条规矩被摘掉。
- 存档改名：回车与「改名」按钮共用 commit_rename() 一个消息产地，空名/原名不变/
  非法字符那几道校验因此对回车同样成立。
- 强调色：回车发 Change::AccentCommit（不是又一次 Accent(原文)）⇒ 立即 commit()，
  把「打了一半就放着」的 #12 亮成红框 + 错行；逐键不报短错的规矩不变，落盘仍取
  上一次合法值。
- 判据：submit_is_opt_in（未接就是 None）、text_field_forwards_the_submit_callback、
  submit_is_wired_only_at_the_two_call_sites（白名单扫源码）、
  enter_takes_the_same_message_as_the_rename_button、the_rename_field_wires_enter、
  the_accent_field_wires_enter_to_commit、enter_commits_a_half_typed_value_and_
  persists_only_legal_ones。真键盘回车量不到（Element 无内省、造不出 iced::Renderer
  的测试替身），报告里单列。
 2026-11-11 19:55:21 +08:00
AskaEth 31cb109445 fix(app-iced): 探针补回宽度判据，并订正覆盖面与 12.4 的口径（M248 r1 P2-1/P2-2） 
P2-1：`TRACK_MIN_RUN = 200` 把「轨道被宿主裁短」这类几何回归从红变成绿——复审把 after 图里
0% 那条轨道右半截涂回画布色（连续段 160px）之后，那一行直接不成带，check_linear 靠另一条带
照样绿。现在拆成两条判据：成带阈值降到 **100**（实测：确定态行 318~320、不定态行 306~308、
文字行 22，两头都留得住），宽度**单独**判 ≥300（`TRACK_MIN_WIDTH`），不再藏在圆角检查的
find 里。反例复跑：两套主题都红「实测最宽段 160px @ 行 163」。

新增 `feedback/tests/bands.rs`（合成图，不依赖真实截图）两条用例，把两个阈值的取值区间钉住：
窄轨道必须仍成带且过不了宽度判据、22px 的文字段永远不成带。变异自证：调用点换回
`bands(.., 200)` → 两条用例都红（`left: [(12,15)] / right: [(5,8),(12,15)]`）；
`TRACK_MIN_WIDTH=150` → 窄轨道用例红。

P2-2：订正两处写反的账——实测 `轨道带 2 条（高 [4, 5]）`，**两条带都在**厚度/宽度判据里
（5 行那条含 1 行抗锯齿，near 容 ±1），不是「只剩一条」；12.4 只量主色两段的左右端点，
**不量**轨道厚度。根因（按单条 320 轨道心算 ~88px vs bands_by_run 按整行取 306px）已写进
`TRACK_MIN_RUN` 的文档。

顺带：12.1 的判据从 probe.rs 搬进 `probe/track.rs`——加完这几行 probe.rs 正好 401 行，
撞 400 红线；顺着 circular / panels 的先例一族几何一个文件。
 2026-11-11 14:32:27 +08:00
AskaEth 8f5dac2ed6 fix(app-iced): 三处 Pixel 偏离按角色语义收敛（M248） 
P2：Elevated 的容器改由高程令牌推导（Elevation::Level1.surface_role），解析值仍是
SurfaceContainerLow，图上逐像素不变；「比 Surface 高一档」从此只有 elevation.rs 一处定义，
组件里不再手抄角色名。

P3：Outlined 的 1dp 描边 OutlineVariant → Outline。design/color/mod.rs 的对比度纪律里
Outline 才是「非文字元素（目标 3:1）」，OutlineVariant 是纯装饰分隔线；图标按钮那一式本来
就是 Outline，文字按钮此前与它不一致（全站两套描边）。实测 Outline/Surface：Ink 5.08、
Silver 4.24（OutlineVariant 1.97 / 1.62）。

P4：进度轨道（线性 + 环形）SecondaryContainer → SurfaceContainerHighest——轨道是「还剩多少」
的背景尺，强调色只属于指示条。与 A1（LinearProgressIndicatorTokens.TrackColor）的差异在
progress.rs 模块文档与 geometry.rs 的 12.2 行登记，gallery 图注同步改成角色名。

判据：新增 buttons/tests/roles.rs 与进度轨道用例，断言的是「取到的角色」与 Ink / Silver /
Scheme::from_seed 三套方案下解析出的颜色，不钉任何 hex；三处各做一次变异自证（改回旧值即红）。

另修 feedback probe 的定位判据：轨道换成中性容器面后，「画布→轨道」的混色轴穿过中性文字，
按「计数」会把图注行数成轨道，改按「连续段」判（bands_by_run）；顺带修掉 indeterminate_row
把标题行当主色带的既有问题（用改前的图 + 改前的探针复现过，与本次换色无关）。
 2026-11-11 14:32:26 +08:00
AskaEth df0944894f fix(app-iced): 面板预算按内容推导 + 版本菜单不画 L2 阴影（M238） 
两条都在「视口不终止内容」这一族里，修法各一半：

① 三栏档面板预算从死的 `PANEL_BUDGET = 300` 改成 `panel_budget(menu_items)`
   （内边距 24 + 首屏 76 + 间距 8 + 钉死区 88 + 菜单高 + 列表↔面板 21）。
   旧常数不含列表↔面板那 21、也不随版本菜单行数变，于是 760/900 档面板实得
   286/294px，滚动视口被挤到 54/62px——六枚 loader chip 只露出 10px（736 与 1180
   同样严重，纵向预算与窗宽无关）。修后 760 档视口 98px（chips 31px 整枚在屏）、
   900 档 106px；列表按整行让出：760 档 4→3 整行、900 档 7→6 整行；只有一条
   加载器版本时菜单只占 64px，列表仍是 4 整行。

② 版本菜单改用 `Menu::flat()`：不是「把阴影裁掉」，而是**不在滚动容器里画阴影**。
   `iced_tiny_skia` 0.14 画 quad 阴影走 `draw_pixmap(.., mask: None)`
   （engine.rs:136-143），绕过裁切掩码；`iced_wgpu` 那边是整层 scissor
   （quad.rs:96-101）⇒ 同一棵树两个后端画出来不一样。修前菜单底下 54px 一条被压暗
   （浅色 249→231，−7.2%，含 8px 缝与实例名框内上半部），修后逐像素等于画布色。
   菜单的 L2 令牌不动，真实浮层照旧带阴影。

判据（两条，抓得住的/抓不住的都写进文档注释）：
- 结构：`rows/tail.rs` 断言三栏档 760/900 的滚动视口 ≥ 首屏 76px（对生产常量做算术）；
- 像素：`options_shot/compact.rs` 断言 chip 描边上下两行都在、且实例名框上方那条缝
  与框内都是纯画布色。
变异自证：预算退回 300 ⇒ 结构断言红（"滚动视口只有 54px < 首屏 76px"）；阴影无视
`flat()` ⇒ 像素断言红（"y=660 x=304 是 [231,231,232] 而不是画布色"）。

没验：滚动中/底部三态拍不出来（harness 无 `scroll_to` 派发通道，已另开 finding）。
 2026-11-11 08:28:06 +08:00
AskaEth 9bb3c33b8c fix(app-iced): 复审 r1 四条 P2 收口（M234） 
- P2-1 判据恒绿：`gallery/probe/bases.rs` 的「反向检查」把字段档计数（`:172` 遮蔽后的
  `hits`）拿去比按钮档 stray ⇒ 恒绿。改成 `button_hits` / `field_hits` 两个计数，各比各的
  stray，失败信息的数值与单位对齐量测对象。变异自证：卡列里留一颗忘了 `.base(..)` 的按钮
  ⇒ 该断言单独红（2137 px vs 3178 px，退出码 101）。
- P2-2 FAB 的底错了：禁用态背景仍是满档 `PrimaryContainer`（`Disabled.layer() == None`），
  38% 内容却合在画布上。改成 `Base::of(PrimaryContainer)` + `on_container = false`
  （那一层 10% 在 FAB 身上不存在），两处调用收进一个 `content_color()`；新增值判据
  `disabled_fab_ink_composites_over_its_own_container`（修前 #8CA0AA / 修后 #548FBC 量级）。
- P2-3 漏改：`selection::paint::state_layer()`（hover/focus/pressed）与 `list_item` 的
  状态层叠底仍写死 `Role::Surface`，改成跟 `base`；同类两处（`assemble::transparent_state_color`
  的 Outlined/Text hover、drawer 项药丸）一并跟上。
- P2-4 文档失真：`feedback/{action,mod}.rs` 删掉「本地 α 合成 / 规则只认两档」的旧描述
  与失效链接；`list_item` 的旧签名；三处 `probe/base.rs` → `probe/bases.rs`；
  新增 `surfaces::elevated::tests::the_card_base_constant_is_the_role_the_card_paints`
  真断言（原来只在文档里声称那条测试守 `BASE`），并把这句描述改准。
- nit：`disabledbase.rs` 字符串里塌成一行的续行空格、probe 汇总行把列左缘横坐标说成
  「像素计数」的措辞。

门禁（CARGO_TARGET_DIR=C:/Temp/ull-target/wt-234）：fmt / check --all-targets /
test -p unlucky-app-iced（896 + 6 通过，0 失败）/ clippy --workspace --all-targets -D warnings /
文件 ≤400 全绿；probe 浅色与深色都过。
 2026-11-11 06:34:24 +08:00
AskaEth 35dbefb08d feat(app-iced): 禁用态合成底改成容器给的 Base（M234） 
`interaction::disabled` 的四个入口一直收一个「底」，但 8 个调用点全传死
`Role::Surface`：卡片（SurfaceContainer）/ 面板（SurfaceContainerLow）里的禁用控件
把 10%（按钮族）/ 12%（面状控件族）叠在画布色上 —— M223「CR 1.05、形丢失」的根因。

- 新增 `interaction::Base`（画布 / 容器底的一等参数，`From<Role>` 兼容历史调用点）；
  四个入口改成 `(ui, base, …)`，内部不再出现任何写死的 `Role::Surface`。
- 容器导出自己的 `BASE`：`surfaces::elevated::BASE`（卡）、`inputs::menu::PANEL_BASE`
  （菜单面板，项的 38% 与状态层都改叠它）、`navigation::drawer::BASE`。
- 控件收 `.base(..)`：Button / icon_on / Field / SearchBar / Slider / Checkbox / Radio /
  Switch / Chip / ListItem / Tabs；Fab 与 icon() 是画布默认值。
- `feedback/action.rs` 的本地 α 合成删掉，改走 `disabled_content_over_role` 并给真实容器底
  （Snackbar `InverseSurface` / Dialog `SurfaceContainerHigh`）。
- 判据：`interaction::disabled::tests`（卡片/面板/画布三档逐值）、
  `buttons::tests::base`（Button::base → StyleSpec → style_closure 接线）、
  `gallery` 新增 `disabledbase` 段 + `gallery::probe::bases` 精确像素断言
  （±10 容差区分不了 1/255 的差，所以自己数逐位相等的像素）。
- 变异自证：assemble 的调用点改回画布底后，上面两条都红（见 artifacts/m234/README.md）。

已知未尽：`crates/app-iced/src/pages/**` 不在 scope 内，页面侧「把控件放进卡片/面板」的
调用点尚未接 `.base(..)`（行为与本 mission 之前一致）；`pages/…/java/tests/marker.rs`
有一行被迫更新（入口多了一个实参，语义不变 = 画布底）。
 2026-11-11 06:34:23 +08:00
AskaEth 36bac74822 docs(app-iced): probe 模块文档的复现命令补 SECTION（M229 复审 r3 P2-1） 
r5 报告说「模块文档复现命令已补 `ULL_GALLERY_SECTION`」，但 diff 只碰了 `shot_path()` 与
测试体——模块文档 9-15 行一个字没改，照抄那条命令仍 exit 101（panic 报只支持 buttons/divider）。

这轮补齐：
- 模块文档复现命令改成两组（`ULL_GALLERY_SECTION=buttons` / `=divider`），产物路径用
  `${CARGO_TARGET_DIR:-target}`（本仓一树一 target，旧命令的 `./target/debug` 在 worktree 里根本
  没有 exe），并写明 `all` 不支持及其理由；
- `shot_path()` 的文档改真：它只读 `ULL_GALLERY_SHOT`，「这张图属于哪一段」由测试体开头那条
  assert 管（assert 早已搬走，且现在也认 divider）——原文还写着「此处不满足就失败」；
- 收掉 assert 文案里的九连空格接缝；
- 矩阵带过滤的注释从「`all` 默认会画全段」改成「buttons 段没有后续段，过滤是防御性的」。

自证：按文档两组命令实跑，四条命令全部 exit 0；`grep -n ULL_GALLERY_SECTION probe.rs` 命中
8/15/17/21/23（模块文档）与 144/150/357（实现）。
 2026-11-11 01:49:16 +08:00
AskaEth f5a2610e4d docs(app-iced): 值字级注释改真 + probe 只认 buttons/divider + 截图主题钉死回归测试（M229 复审 r2） 
1) P1-2 的注释值与量测对齐（四处）：`elevated.rs` 的 `PAD`/`Texts::title`/`texts()` 与
   `pages/instances/detail.rs` 还写着「值 14/400」，而实现是 12/400；`PAD` 文档更把 12px 的
   118px 量测挂在「14px 下」。全部改成真值，并把 14px=138px 与 12px=118px 两个量测并列写清。

2) probe 门禁只解决一半：`SECTION=buttons` 绿、`SECTION=all` 仍红（sizes 段的实心块撞「按钮
   40 高」判据），断言文案却写「all 或 buttons」。现在：
   - 只支持 `buttons`（按钮矩阵，实心块判据**只量矩阵区**，后续段不再参与）与 `divider`
     （分隔线两条判据，独立出口）；
   - `all` / 其它 / 未给 → 明确失败并给理由（整页比 1180×760 高，分隔线段与按钮矩阵不可能同屏；
     整页图的 chip/卡片会被当按钮量）；
   - 模块文档的复现命令补上 `ULL_GALLERY_SECTION`（以前照着跑会 panic）；
   - `gallery/mod.rs` 的「五段」→ 七段；`gallery/buttons.rs` 的「8 行 + icon·standard」→ 9 行 + 四式。

3) 截图通道的主题档钉死此前没有回归测试（复审 r2 P2-a）。新增
   `the_screenshot_channel_pins_the_theme_mode_instead_of_reading_the_file`：两份不同的机器配置 +
   同一组截图参数 ⇒ 同一个档位且等于参数；反证非截图通道下两份配置确实分出两档。
   变异自证：把分支改回 `bridge.load().1` → 该测试红（left: Dark, right: Light）。

门禁：fmt --check 0 / check -p unlucky-app-iced --all-targets 0 / test -p unlucky-app-iced 0
（887 passed + 6 integration）/ clippy -p unlucky-app-iced --all-targets -D warnings 0 / 400 行扫描干净。
probe 亲跑：buttons 浅+深两张 sheet OK，divider 一张 OK，`all` 按预期被拒。
 2026-11-11 01:49:16 +08:00
AskaEth 8958b7f67d fix(app-iced): IconButton Outlined 真的画环 + ELEVATED CARD 值串单行（M229 复审 P1） 
P1-1：`icon()` 把 `StyleSpec.stroke` 写死 `0.0`，`IconVariant::Outlined` 的描边角色只到
`roles()` 为止、没画出来 —— Outlined 与 Plain 逐像素相同。改成「有描边角色就是 1px」，
并把「角色 → 填充/内容/描边」抽成 `icon_style_spec()`（`icon()` 直接吃它），单测因此能断言
**接线**而不只是断言 `icon_stroke()` 这个纯函数（第一版正是这样漏掉调用点的）。

回归门两条：纯函数/接线（`buttons/tests/icon.rs`，变异回 0.0 时红）+ 渲染层
（`gallery/probe/rows.rs`：图标按钮左缘 4px 带里 Outlined 有环墨、Plain 必须 0 px；
变异后重出图再跑会红）。环在软渲染里是 Outline 叠画布的抗锯齿混色（实测 110/124/110，
本体 123/138/123），所以判据是「这一带有墨/没墨」而不是颜色匹配。

P1-2：ELEVATED CARD 内距 24 + 值 16px 让「2026-10-29 19:22 UTC」折行，同排卡底不齐；
旧测试还断言 20/14（不变量 118+2×padding ≤ 160 变成 166 > 160，假绿）。
按塔裁决「收内距/字号、不破卡片宽度契约」：`PAD` 24 → 20（= card_padding）、值字级 → BodySmall 12。
量测：时戳 14px 墨水宽 138px（160 外框内宽 120 放不下）、12px 为 118px（放得下，余 2px）。
测试改成四条绑一起（字级 12 / 内距 20 / 160−2×PAD ≥ 118 / 2 列实际宽度也 ≥ 118），
并反证「14px 确实放不下」防登记被当噪音删掉；变异回 14px 时红。

P2（顺带）：
- 截图通道的主题档由 `--screenshot-theme` 钉死（此前读机器 launcher.json，设置页主题行会漂）
- `gallery::probe` 只认 gallery sheet（必须给 `ULL_GALLERY_SECTION`，否则整页图的 chip 会被当按钮量）、
  行表 8 → 9 行（四式图标按钮）、分隔线判据只在渲染了 divider 段时执行、逐行阈值 40 → 30 并加
  「满档色像素必须少于 38% 像素」的反向判据、probe 拆出 `probe/rows.rs` 守 400 行
- FAB extended 的重复分支合成一处，右内距提取 `EXTENDED_PAD_END`；iced 0.14 无 `Length::Min`，
  「最小宽随标签增长」退化为固定宽已登记
- 五处注释谎言改真（theme/tests、general/theme、elevated、launch_args、app/tests/theme）

`buttons/tests.rs` 加用例后 402 行 ⇒ 图标按钮那组拆到 `buttons/tests/icon.rs`。
 2026-11-11 01:49:15 +08:00
AskaEth 6ed26626db docs(app-iced): 登记禁用滑块激活轨 38% 为 Pixel 级偏离 #9（M229 复审 r3） 
复审核对出 artifacts README 的归因错误：`page-settings-g1-dark.png` 里禁用滑块轨是
`on-surface@38% over surface`（轨带 6030 px），不是面状控件族的 12%；上一版引用的 7 px
12% 小簇在 Image path 字段标签附近，与滑轨无关。

按塔裁决**不改实现**：规格卡只定义了面状控件族（chip 描边 / switch 轨 / 字段底 / 滑轨未激活段）的
12%，而禁用**激活轨**沿用 M3 `SliderTokens.DisabledActiveTrack` 的 38% —— 两者是两个族。
登记写在本文件参考值表下方（`DevDocs/` 被 gitignore，README 里的同一段无法入库，故以代码为准）。
 2026-11-11 01:49:15 +08:00
AskaEth 4ce24d6fbd fix(app-iced): 禁用态与遮罩改从品牌板合成（M229 复审 F1）+ 选择类图注回填（F2） 
F1（核心）：三处 `Scheme::baseline(ui.flavor())` 自己重算了一份方案，绕开 `Ui` 里注入的品牌板，
于是 Ink 板上的禁用控件与对话框遮罩仍按 tone 派生的天蓝中性合成（复审量到滑块轨道 #58646C、
填充框 #222E36、遮罩 #060E13，全是蓝系）。修法：`Ui::scheme()` 公开已注入的那份，
`interaction/disabled.rs`（两族合成 + 内容色）、`feedback/dialog.rs`（scrim）、
`feedback/action.rs`（禁用动作文字）改为从它取。

修完 Ink 下实测：禁用容器（12%）#292F28、按钮容器（10%）#252B24、遮罩 #0A0E0A（绿系中性，
R = B）；Silver 档遮罩 #A9A9AA。旧三个蓝系值在 7 张深色图里出现次数均为 0。

回归门：`disabled_colors_follow_the_brand_board_not_the_tone_baseline`（按板合成 + 与 baseline
不等 + 深色档 G ≥ B）、`scrim_is_scrimalpha_precomposited_onto_the_canvas` 增加「不许退回 baseline」。

F2：`selection/{matrix,mod,checkbox,radio,geometry}.rs` 里「20×20 / rx2 / 外圈 20」回填成实际渲染的
「18×18 / rx4 / 外圈 18」（勾形比例不变 ⇒ 10.8dp），并按塔裁决把搜索药丸容器从
`SurfaceContainerHigh` 抬到 **`SurfaceContainerHighest`**（贴规格卡，与 filled 字段同底）；
`search.rs` / `probe/search.rs` / gallery `inputs` 图注同步。展开的搜索面板与菜单是浮层，
仍留 High 档（已在文档里写明不是漏改）。

`interaction/disabled.rs` 加测试后 405 行 ⇒ 单测纯搬移到 `interaction/disabled/tests.rs`。
 2026-11-11 01:49:14 +08:00
AskaEth db541c820e feat(app-iced): Ink Cat / Silver Cat 换肤 —— 双色板默认 + 规格卡组件几何（M229） 
产品出厂外观从 tone 派生的 `Scheme::baseline` 切到品牌色板：深色 = Ink（淡绿）、
浅色 = Silver（钢蓝），D38 取色链（背景图 / 壁纸）仍然优先，取色失败回落到色板。

主题三档接进设置页「通用 → 主题」：Ink / Silver / 跟随系统（落盘仍是
`appearance.theme_mode` 的 dark / light / auto，不新增配置键）。

组件几何按规格卡对齐（M228 的 `inkcat` 登记项逐条落地）：
- 卡片圆角 12 → 16；实例元信息卡改用新的 ELEVATED CARD（无描边、SurfaceContainer
  底、内距 24、上标注 11/600）
- Snackbar 48/4 → 52/16（双行 72）
- Checkbox 20/rx2 → 18/rx4；Radio 20 → 18 Ø（内点仍 10）
- 按钮加 XS~XL 五档（产品仍只用 S=40），内距改走 ControlSize::pad_x
- 新增 FAB 四态（40/56/80/160×56）与图标按钮第四式 outlined
- 语言与主题两行 chips 统一成规格卡 chip（32 高 / rx8）

`theme.rs` 原本正好 400 行，先把单测纯搬移到 `theme/tests.rs` 再加色板字段；
`app/tests.rs`、`settings/general.rs` 同样按纯搬移拆分守 400 行硬线。

验证：cargo fmt --all --check、cargo check -p unlucky-app-iced --all-targets、
cargo test --workspace（除 clippy 前的一轮 flake，见报告）、cargo clippy --workspace
--all-targets -- -D warnings、全仓 400 行扫描。视觉矩阵 42 张在
DevDocs/artifacts/m229/（gitignored，不进提交）。
 2026-11-11 01:49:13 +08:00
AskaEth b7a1abb18a fix(m206): 「当前默认」改用选中的语汇，不再套禁用配色 
Java 组用 `Chip::badge` 表示「哪个 JDK 是默认」，而 badge 走的是「无消息 ⇒ 禁用」
那条路（`OnSurface`@38% 叠 surface）：M204 实测字/底只有 1.84:1（浅）/ 2.28:1（深），
成了整页最不可读的一段，而它正是「能不能改默认 Java」这个问题的答案本身。
同一张设置页里相邻的「下载」组表达「选中」用的是 `SecondaryContainer` +
`OnSecondaryContainer`（7.21:1）——两个相邻页面对同一个语义用了两套语汇。

改法（不动禁用语义）：

1. 新增 `Chip::current(label)` + `paint::current_item`：**与选中 chip 同一套颜色**，
   但没有消息、不吃五态（没有可点性就没有反馈）。它不等于「未选中」，也不等于
   「禁用」——第三档，判据表写在 `components/selection/chip.rs` 的模块文档里。
2. `Chip::paint(&self, ui)` 成为「哪个档位 → 什么颜色」的唯一入口，`chip()` 用它求
   静息色，断言也用它——档位的判据只有一处，「改回旧配色」的变异会被直接抓住。
3. Java 页的动作位抽成 `view::action_chip`，当前默认走 `Chip::current`，其余仍是可点
   的 `Chip::filter(.., false, ..)`。
4. 下载组**不改**：它本来就是参照语汇（M201 已验收），改完两页逐字段同色。

断言（`pages/settings/java/tests/marker.rs`，浅深两档都跑）：
对比度 ≥4.5:1（实测 7.21/7.21）、与下载组选中 chip 逐字段相等、以及反向断言
「禁用态仍走 38% 字 + 12% 容器且与当前项肉眼可分」。两条变异都在报告里复现过：
`action_chip` 换回 `Chip::badge` ⇒ 对比度断言红（只有 1.84:1）；`Chip::current` 里
`marker: true` 改 `false` ⇒ 三条全红。

举证图（离屏 `--screenshot`，浅/深 + 改前/改后 + 下载组对照）与实测色值表见
`DevDocs/artifacts/m206/`（gitignore，不入库）。
 2026-11-09 12:44:18 +08:00
AskaEth 93bd704786 fix(m192): r1 复审 P1-1——动效起跑搬进 update 侧 + 帧基准兜底 + 按运行时顺序的守卫 
复审的机制三步全部复核成立（iced_winit-0.14.1 `src/lib.rs:1222` 调 update、`1338` 在
`update()` 内部求值订阅表、`1233` 之后才 `build_user_interfaces` 调 view）。第一版把
「标识变了 → play」写在 `pages::render`（= view）里，于是：同一拍的订阅表看不见轨道 ⇒
`frames()` 要等下一条消息才打开；而那一帧的 dt 是整段空闲时长 ⇒ 轨道被当场判到期删掉。
用户看到的是「一帧 12/8px 偏移 + 闪跳」，比硬切更差；截图通道因为 `has_screenshot()` 恒真，
结构上不可能发现它。

修法（三件都做）
- **起跑搬进 update**：新增 `app/update/motion_sync.rs::App::sync_motion`，在 `App::update`
  收尾（`route_message` 之后、`subscription()` 之前）按**路由**算内容标识并 `motion::observe`。
  `pages::render` 只留 `motion::sample()`（纯采样）。
  顺带：`screen == None`（账户页 / AI 独立页）只记标识不起跑，于是「从它们回到某一屏」也跑换页。
- **帧基准兜底**：`observe` 起跑成功时把 `LAST_FRAME` 重置到「现在」；`Pump::advance` 再加一道
  `MAX_STEP_MS`（4 帧 = 64 ms）单次步进上限——掉帧/挂起时宁可把动画放慢，也不许一帧抹掉。
- **没有窗口就不起跑**：`window.is_none()` 且不是截图通道时 `sync_motion` 直接返回（也**不记**
  标识）⇒「首屏入场」等窗口到了才算第一眼，启动期那棵空树吃不掉它（原先被 1 Hz 心跳 /
  既有 `an_idle_app_...` 用例照出来的就是这个边界）。
- `on_heartbeat` 也推进动效时间轴：窗口被遮挡/最小化/合成器不送绘制时，帧一个都不来，而
  「有轨道」会让 1 Hz 推进整段停摆 ⇒ 轨道靠心跳按单次上限收尾（最坏 5 拍内自然退订）。

守卫（新增 5 条，全部按运行时顺序写）
- `a_state_change_opens_the_frame_subscription_in_the_same_tick`：**先** `assert!(!needs_frames)`
  →**一条真消息**（`Message::Page(Navigate(..))`）→ `assert!(needs_frames)`，并断言
  `watch_until` 仍是 `None`（排除「观察窗顺手开帧」这条假绿）。r1 那条顺序是反的，已删。
- `opening_a_detail_also_opens_the_frames_in_the_same_tick`、`pages_that_render_elsewhere_do_not_start_a_track`、
  `without_a_window_nothing_animates`、`a_stale_baseline_cannot_kill_the_track_in_one_sample`。

r1 两条 P2
- P2-1：`pump::FRAME_MS` 与 `mod.rs` 契约表补写「16 ms 只卡采样/布局推进，**整窗重绘跟随渲染器**
  （软件渲染 ≈970 帧/秒、一次 300 ms 换页 ≈290 次整窗重绘 ≈0.30 核·秒；GPU 档 AutoVsync 40~60）」。
- P2-2：删掉 `app/subscription/tests.rs`，测试并回 `app/subscription.rs` 的 `mod tests` ⇒ 本轮
  动过的文件全部落在声明 scope 内（新文件只有 `app/update/motion_sync.rs`，在 `app/update/**` 下）。

真机证据（GPU 档，`ULL_TICK_TRACE=1`，空闲 14 s 后由心跳触发一次**真实**导航，
`DevDocs/artifacts/m192/idle-click-evidence-gpu-final.log`）：
  idle: frames=96 clock=idle-1hz motion=14（连续 7 拍不动）
  fire: clock=frames motion=16 → 17（同一拍订阅表就开了）
  end : frames=102 clock=idle-1hz motion=20（自己退订）
说明：本机会话没有前台窗口（`GetForegroundWindow()==0`），合成点击（`mouse_event` 与
`PostMessage(WM_LBUTTONDOWN)`）递不进 iced 的输入层，故用「心跳第 N 秒真导航」这条同构路径；
样本次数由**绘制送达**决定（该次动效只收到 ~5 次绘制 ⇒ +6 次采样），正常可见窗口下 60 Hz 呈现
对应 ~19 次。

变异证明 7/7 红（`DevDocs/artifacts/m192/mutate.sh`，含新增 M6「删掉 sync_motion」与
M7「去掉单次步进上限」），还原后自检全绿。

编译：cargo test -p unlucky-app-iced → 0（797 passed / 2 ignored，集成 6 passed）；
clippy --all-targets -D warnings → 0；fmt --check → 0；build → 0。
出图基线复验：三张 rest 基线与九张序列帧的 sha256 与 r1 **逐字节相同**（常驻的那层 container 零内距）。
 2026-11-09 04:52:40 +08:00
AskaEth a1876a08c0 feat(m192): 动效帧泵——design motion 令牌接进 iced 的有界帧订阅 + 首批 3 条入场动效 
令牌早就在 `crates/design/src/motion/` 里齐着（16 档时长 / 可采样缓动 / 弹簧二维表 /
MotionScale 降级），但适配层从没消费过，所以一切状态变化都是硬切。本次补的正是那条中间层：

新增 `components/motion/`（时间轴，不是控件家族）
- `pump.rs`：`Slot`（boot/screen/detail 三个互斥触发点）× `Spec`（时长档 × 缓动档，
  **唯一一张表**，页面拿不到「给我 250ms」这种口子，D31）→ 进度采样；时间轴按 16ms 结算
  （≈60 次/秒），到期轨道**当场删除**。
- `mod.rs`：进程内单时间轴（thread-local；iced 在事件循环线程上串行调 update/view，
  与 `App::update(&mut self)` 同一条纪律，测试也因此天然隔离）+ `enter`/`shifted` 两个页面入口。
- **默认 NONE**：只有产品 `on_boot` 按档位打开；`pages_demo` 这类截图 harness 从不打开。

接线（都接在既有那条链上，不另开循环）
- `App::needs_frames` 多一条「有轨道」分支 → 与截图 / Busy / toast / watch_until 共享**同一个布尔**，
  `window::frames()` 在源码里仍只有一处（守卫：双订阅就红）。
- `on_frame` 每帧推进时间轴；`on_heartbeat` 不变（有帧时不推进）。
- 定档策略集中在 `update/boot_env.rs::motion_scale`：截图档 NONE（D30 出图可复现）、
  CPU 渲染档 HALF、GPU 档 STANDARD，`ULL_MOTION` 可强制。

首批 3 条动效（`pages::render` 一个漏斗，静息恒为 (0,0) ⇒ 既有截图基线一张都不用重出）
- 首屏进入 16px / 换页 12px（纵向） / 列表↔详情 8px（横向）；
  时长 400/300/350ms 全部取自 `DurationToken`，曲线 `Easing::Standard`
  （`EmphasizedDecelerate` 把 75% 位移压在 51ms 内走完，12px 的整页平移会像跳一格）。

守卫与取证
- 11 条帧泵算术守卫 + 4 条接线守卫（含「NONE 档帧采样次数必须为 0」与「帧订阅源码只出现一处」）；
- 5 条变异证明全部复现（删退订 / 删 NONE 短路 / 删 needs_frames 分支 / 删 16ms 闸门 /
  加第二条帧订阅 ⇒ 对应用例红）；
- 多帧序列图 12 张在 `DevDocs/artifacts/m192/`（t=0 / 半程 / 末 + 静息基线，
  `--diff --diff-scan` 实测换页 12px/6px、详情 8px）；
- 空闲实证：`ULL_TICK_TRACE=1` 跑真窗口，帧订阅窗口一过 `clock=idle-1hz` 且 `frames=` 冻结。
 2026-11-09 03:56:19 +08:00
AskaEth df331f6a60 feat(m175): Java 设置页接真运行时（扫描 / 手动路径 / 默认 JDK / 内存 / JVM 参数） 
用户实测四条抱怨逐条对应：
- 「没有自动检测本机 Java」：首屏自动扫一次盘（托管根 + JAVA_HOME + PATH + 标准安装位置 +
  注册表），之后由「立即扫描」手动触发；扫描在后台线程里跑，带 done/total 进度与取消
- 「显示 Temurin 21.0.4 不知道是不是硬编码」：演示行与绊线测试一起删掉，列表来自真读盘
- 「没一个能改」：默认内存（MB，512~65536，范围与 schema 同源）与 JVM 参数可真改、真落盘、读回
- 「不能手动指定 Java 路径 / 不能改默认版本」：手动添加走严格校验（真跑 java -version），
  设为默认写 java.selected_path 并给出「为什么选它」（当前实例的版本门槛 + 每行满足与否）

core：java::manual（严格探测 + 厂商识别 + 名单持久化）、java::staged（候选收集 + 带进度与
取消的扫描）、java::proc（带超时且可打断的子进程执行：卡住的 java -version 会被 kill）。
i18n：catalog/settings/java.rs 55 条中英 + 金表按装配顺序插入。

复审 r1（p2-5items）全修：
- P2-1 「设为默认」不再清脏：只写 java.selected_path，内存/JVM 草稿一个字节都不动
- P2-2 错误文案全部走 i18n（三档「写不进去」/「路径太长」/「名单写不进去」各自一个 key），
  不再把 Rust 枚举名当人话
- P2-3 手动名单落盘有正面断言（加一条 → 从盘上新读一份 → 在）
- P2-4 版本号显示到小版本（17.0.13 / 17.0.9 可区分），解析不出来时给原始版本串
- P2-5 每候选 8 秒超时并 kill、取消打断正在跑的探测、扫描槽挂在 State 上、线程活着期间
  不许起第二个（界面显示「正在取消…」）

复审 r2（p2-2items）全修：
- P2-1 空态不再指向不存在的「Java 页」，改成真实存在的 `ull java install 21` 命令行入口
- P2-2 `auto_scan_due` 增加 `!report.cancelled`：取消过一次之后本进程不再自动扫，
  配置文件再变（存内存 / 改主题）也不会把取消无声撤销；手动「立即扫描」不受影响
- 顺带：proc 的 kill+wait 补「子进程真死了」的回归守卫（标记文件从未出现）、
  core 的 Schema 错误改成页面自己的 key（不再把中文 Display 直出给英文界面）、
  默认态 chip 用新的 `Chip::badge`（不再挂一条永远收不到的消息）
 2026-11-08 19:52:04 +08:00
AskaEth 037c68d0e6 fix(m173): 设置页滚动条并排在内容右侧（右侧恒留 10dp 槽） 
根因（读 iced 0.14 源码，不是猜）：`scrollable` 的竖直滚动条是浮层——
`iced_widget-0.14.2/src/scrollable.rs:1970-1980` 把轨道定位在
`bounds.right - (width.max(scroller_width) + 2*margin)`，而同文件 `:437` 给内容的横向
约束是整个视口宽（`Scrollbar::spacing` 默认 None ⇒ 右内边距恒 0）。本仓 6 轨 + 2×2 内缩
= 10dp，于是这 10dp 整条压在表单列内容上（1180 与 880 宽窗口都一样）。

改法：`components::scroll::vertical()` 在内容右侧恒留一条 `轨宽 + 2×margin` 的槽，轨道画在
槽里；`pages/settings/frame.rs::scroll` 改成一行转发。不采用 iced 的 `Scrollbar::spacing`，
因为它只在滑块可见时才预留（`scrollable.rs:478-500`），长/短页面切换内容会横跳 10dp。

数值（1180×760、100% DPI、tiny-skia、实测像素）：
- 卡片右缘 799 → 789（内容可用宽 424 → 414 = 424 − 10）；
- 滑块仍是 792..797（没有移动），与内容之间隔 2px 页面底色（= SCROLLBAR_MARGIN）；
- 长页面（外观组）与短页面（Java 组，无滑块）左边界 376、宽 414 **逐项相同**；
- 150% 缩放下 621px = 414×1.5、滑块 9px = 6×1.5、槽 15px = 10×1.5，同比例不重叠。

守卫（两条都是数值，不看图）：`components/scroll.rs` 与 `pages/settings/tests/scroll_fit.rs`
用 `Renderer = ()` 真跑 iced 的 `layout()`，断言「内容宽 == 容器宽 − 槽宽」且长/短两态一致；
把 `beside` 的 padding 改回 `Padding::ZERO`，4 条断言立刻红（424 vs 414）。
 2026-11-08 15:11:54 +08:00
AskaEth 1ff00bbe50 feat(app-iced): M114 账户页三轨登录（微软正版 / 第三方皮肤站 / 本地档案） 
- 账户页：当前账户卡 + 全部账户列表 + 空态三入口 + 皮肤区；五项动作（添加/切换/删除/重新登录/校验）
- 三轨添加流程：设备码（用户码+链接+倒计时+过期重试+取消）、授权码（浏览器+可复制链接+取消）、
  本地档案（名字校验）、第三方站（服务地址 + 服务发现校验 + 密码登录，密码掩码且用完即弃）
- 导航：账户为一等页，入口是轨底头像位（未登录=描边剪影 / 已登录=首字母块+名字；窄高收成图标条）
- 凭据红线：DTO 侧形状脱敏 + 状态层二次脱敏 + 密码掩码；Inject-JWT 测试断言视图模型干净（已做变异取证）
- presenter：authlib 登录/服务发现/皮肤抓取（复用下载引擎的 HTTP 客户端，无新增依赖）、
  皮肤原图经 DTO 到 UI 裁剪成头像（既有 image 依赖，未改 Cargo.toml）
- i18n：新增 account 域 51 条中英文案（离线档案口径全量写入），金表同步
 2026-11-05 05:08:35 +08:00
AskaEth 022778a5a7 fix(app-iced): M90 r2 —— 找回窗口装饰 + 按需节拍 + 数据根一致 + 假绿守卫 
复审 P1-1（产品页丢窗口装饰）：shell 加内容槽位 view_with_content(ui, nav, title, content, forced)，
app/view.rs 把 pages::page(...) 塞进真外壳；shell::view 保留给 Route::Agent 回落（删了会让私有
view/nav::rail 变死代码，-D warnings 红）。content() 拆到 shell/fallback.rs 让 mod.rs 回到 365 行。
1180 浅/深新图右上角三个 caption 键实测：ink 中心 y=23.5（栏高 48 的一半）、x 中心 1064.5/1110.5/
1156.5 = 46px 分档的 1065/1111/1157（±0.5px），close 命中区右缘 = 1180 窗角。
偏离 #7 改写成「交互面缺失」并注明本轮已修。

P1-2（harness.rs 402 行）：tests 外置到 pages/harness/tests.rs（343 + 64 行）；
components/gate.rs 的行数守门从走查 components/ 扩到 src/**（新测试当场抓出 app/tests.rs 416 行，
已按同样办法拆成 app/tests.rs + app/tests/presenter.rs）。

P2-1（常驻重绘 + 每拍重建模型）：subscription 只在「截图 / 有 Busy-Running / 有 toast / 3 s 派发
观察窗」时订阅 window::frames()；refresh_view 加 view_dirty 门。实测交互模式 9 s：只有 2 行 tick
trace（n=30/60，观察窗内），之后 6.5 s 一条都没有；refreshes 全程停在 7。

P2-2（两个数据根）：--data-dir 时 SettingsBridge::with_path(config_path(root))，与后端同根。

P3-2（假绿）：新增 RecorderBackend（dispatch 只记账、drain_events 恒空）+ launching_only_dispatches
_and_never_echoes_locally；植入本地回显后该测试实测转红（status 变 Downloading · 0%、can_stop 翻
true），撤回后转绿。
P3-3：尺寸字面量守门目录加 app；P3-1：--force-state 经 pages::Model::forced 作用到产品页控件
（hover 图里页头/列表/动作行/rail/caption 全部可见状态层）；视觉 P2-2：加载器名统一走 badge()。

gallery 回归改口径：r2 与「主线 + r1」的 gallery 逐字节相同（cmp IDENTICAL）；与 r1 记的
c825e1a 基线不同，差异来自主线 M86/M88 的令牌收口，不是本 mission。
 2026-11-02 15:56:58 +08:00
AskaEth d4e73aacdd fix(iced/feedback): 逐环改固定窗判据 + 贴顶边距 + Dialog 下限单测（复审 r3 P2-3/P2-1/P2-2） 
D45 封顶轮的最后一改，只动这三条：

- **P2-3 逐环断言（假绿）**：环本来就在固定 x 栅格（24 + 56·i、宽 40），判据从「主色连通簇数
  非空」改成**六个窗逐个测**「窗内墨迹（轨道 ∪ 激活并集）外接成 40(±2)×40(±2)、且不越窗」，
  外加「1..5 号窗必须有激活色弧」。簇数只打印不再当判据。G18-i 从「欠账」改成**已收口**，
  并删掉模块文档里「要么把 6 个环摆成固定 x 栅格」那句错话（它们本来就在栅格上）。
  环带定位也换过两版（「每行墨点 4..20」会把 40 切成 32；「首行..末行」在深色档扩到 274 行），
  最终用「第一个窗里连续有墨、高度≈40 的行组」。
  变异：涂掉 4 个环 → `第 1 个窗里没有任何环墨迹：环丢了` 红；25% 环缩成 20×20 →
  `第 1 个窗里的环应 40×40(±2)，实测 20×20` 红。
- **P2-1 贴顶边距**：新增「框顶行 → 条顶行 = 36±1」与「取景框高 = 96±1」两条。
  变异（`HOST_SHORT` 96 → 72，重编重拍）：`D：贴底 ⇒ 框顶到条顶应为 36（96 − 48 − 12），实测 12` 红；
  还原后绿。—— 之前只量「条底距框底」，宿高回退成 72 时确实抓不住。
  顺带修了取景框判据本身：条自身（深色）比画布更接近框色，会把条自己认成框（实测差值 1），
  现在要求「框色连续段比条本身更宽」。
- **P2-2 Dialog 下限**：补单测 `effective_width(200.0) == 280.0`（360/800 两点一并钉住），
  并把「不低于官方 280」写进 `Dialog::width` 的文档。
- 欠账登记（只写表、不改代码）：G18-j（动作色用全图合计，单卡漂移可能被别卡盖住）、
  G18-k（再 4 处文档残留，不为凑数扩大 diff）、G18-l（取景框判据会把条的抗锯齿底行算成框，
  余量 0.0008，方向是误报；加了「框高 96」后触发概率下降）。
 2026-11-02 15:56:48 +08:00
AskaEth 11d7b64a5e fix(iced/feedback): 逐卡宽度/动作色精确判据、贴底边距、Dialog 下限与 icon 走 view_at 
复审 r3 的 A/G/D/E 与随之冒出来的 clippy 项：

- **A（p1，假绿）**：`7.6 Dialog 动作色` 原来量的是 `DialogActions::None` 那张卡的 bbox，且判据
  是「离 Primary 更近」——标题/正文字形都被算进去（旧值 1790px）。现在：①判据换**精确色**；
  ②加两条反向证据（无动作那张卡里精确 Primary 必须为 0；有动作那张卡的下半区必须有字形行）；
  ③量的是全图的动作字形（实测 362px，与复审独立复算一致）。变异：把 350 个动作字形涂成
  `OnSurfaceVariant` → `7.6 实测只命中 12 px` → 红。
- **G**：Dialog 宽度改**逐卡**量（列剖面，排掉 scrim 色，深色档不会再把遮罩算成 1180 宽的假卡）。
  环的逐环断言**登记为 G18-i**（实测 6 个环只有 3~4 个能被精确色簇干净命中，按簇数断言会把
  「相位换了」误报成「环丢了」，理由写进 `probe/circular.rs` 模块文档）。
- **D**：两个 bottom 宿主 72 → 96，并给窄宿主画 1px 取景框；probe 新增「条底距宿主底 = 12」
  （实测 `底边距 [11, 12]`）。取景框的描边不参与布局，所以宿主宽不变、条宽仍是 344/300。
- **E**：`DialogGeometry::effective_width` = `min(480, 可用宽).max(280)`（尊重官方下限）；
  gallery 加一格 `Dialog::width(360)`；probe 逐卡断言实测 `[360, 480, 480, 480, 480]`。
- **C（按 tower 修正版）**：空态图标改用 M86 的 `icons::view_at(.., 32)`（先 rebase 到 main）。
- 顺带：`action.rs` 的 24 图标也走 `view_at(24)`——`icons.rs` 的守门测试按「逐文件调用点计数」
  要求不在白名单里的文件 `icons::view` 为 0，本文件按盒尺寸烘一份（输出逐像素相同）。
- clippy：去掉 `needless_range_loop` 与未用变量，`-D warnings` 已绿。
 2026-11-02 15:56:47 +08:00
AskaEth 5d7426b6c9 fix(iced/feedback): 空态图标改用 M86 的 view_at 渲染 32（复审 C 修正版） 
tower 修正指令：M86（e377989）把 `icons::view_at(kind, ink, px)` 并进 main 了，所以 C 项
从「登记值改成 24」改为「登记值保持 32 + 用 view_at 真渲 32」：

- `empty_state.rs`：`icons::view(..)` → `icons::view_at(.., geometry.icon)`，盒仍 96、
  图标 32；`view_at` 按 32 **重新烘焙 stroke**，视觉线宽仍是 1.5px（不会把描边拉粗）。
  早先 `view` 把 svg 钉成 `Fixed(24)`，32 的盒子只居中不拉伸 —— 实渲 24、墨迹 20×20。
- `panel.rs`：`EMPTY_ICON = 32.0`（`IconSize::Empty`），删掉 G18-h 欠账说明（已消解）。
- `probe/panels.rs`：图标墨迹判据 16..26 → **22..34**（32 盒）。
- `tests.rs`：`geometry.icon == 32` 保留，并写明它守的是「登记值 = 交给 view_at 的 px」，
  抓不住「盒子 32 而 svg 仍钉 24」那类（渲染层由 probe 的墨迹断言兜）。
- 顺带清掉 `panels.rs` 里两个未用 import（`-D warnings` 会红）。

已 `git rebase main`（1f4bc1b，含 M86），无冲突。
 2026-11-02 15:56:47 +08:00
AskaEth a4cdd61fe5 fix(iced/feedback): 复审 r3 的 A/B/D/E/F 项 + C 项待 rebase 后改 view_at 
（先落一个中间提交，rebase main 之后再按 tower 的修正把空态图标改成 32/view_at）
 2026-11-02 15:56:46 +08:00
AskaEth 5d9e75efd8 test(iced/feedback): 环形旋转周期断言打印实测数值（跨周期跳变 / 每周期圈数） 
给复审用的一行 `--nocapture` 输出：`[rotation] turns(0.9999)=… 跳变=… 圈（…°）· 每周期 4 圈 = 1440.0°`，
代码本身不变。
 2026-11-02 15:56:46 +08:00
AskaEth 10d4f86fdf fix(iced/feedback): 圆角/描边带来的 probe 阈值订正 + Dialog 宽度逃生口接线 
上一轮被 2 小时上限打断前的工作，逐条落地（都已在本地编译 + 单测 17 passed + 8 组 probe 中
6 组通过、empty-light 差 ±1 阈值）：

- `keyframes::sample` 的 debug_assert 收窄成「首点不在 0ms **且** 首值不是 0」才炸：
  原先 `debug_assert_eq!(first.ms, 0)` 会把 `SEG_TAIL_1/2`（首点 250/900ms，值为 0）也判红，
  而那一类的「保持首值」与 Compose 的「动画初值 0」等价，是合法的。真正危险的是 ROTATION 那种
  「首值 ≠ 0」（会画出不存在的静止段），现在只拦这一种。
- `empty_state::block_layer()` 改成 `pub(super) const BLOCK_LAYER`：函数版在非 test 构建里
  是 dead_code（`-D warnings` 会红），改成常量后组件与 probe 共用一个来源。
- `probe/panels.rs`：图标块尺寸容差放到 ±2（块上补的 1px `OutlineVariant` 描边各占 1 行，
  浅色实测块色行 94、深色 97）；顺带去掉没用到的 `matches` import。
- `tests/progress.rs`：三处期望值按实现对齐 —— 旋转每周期 **4 圈**（不是 1 圈）、
  右段宽 **0.505**（0.355..0.860，手算 0.516 偏了 0.01）、单调扫描只扫 `[0,1)`（phase==1.0
  就是下一周期的 0，回绕正常）。
- `dialog.rs`：`Fill + max_width(480)` **实测不生效**（Row 给 Fill 子项的 limits 是
  min=max=分配额，`Limits::max_width()` 的 `.max(self.min.width)` 会把 480 顶回去，
  两列并排实测渲染成 548）⇒ 改回 `Fixed(min(可用宽, 480))`，并加 `Dialog::width(available)`
  让页面递可用宽；gallery 里接线用 `HOST_WIDE`（=800 ⇒ 仍取 480）。能力缺口登记在注释里
  （与 G17-d 同一堵墙，报告里有 548 的实测）。

未完成（下一轮/合并前补）：`cmp/dialog-*` 并排图要按 REF_H≈420 重出（动作行被裁掉）、
empty-light 的 ±2 阈值要复跑确认、clippy/test 门禁要贴真实 `test result:` 行。
 2026-11-02 15:56:45 +08:00
AskaEth 38b1e7a4dd docs(iced/feedback): 偏离编号、图注 L3、[估] 口径与深色 scrim 观察项 
复审 r1 的文档/证据订正（都是「图注与登记不一致」这类，但视觉 reviewer 正是照图注看图）：
- gallery 图注「SurfaceContainerHigh + L3」→ 补「（本项目不画阴影，见 D-1）」；
- `snackbar.rs` 的「登记为偏离 D-3」→ D-4（D-3 是进度条波浪降级，之前混号了）；
- `mod.rs`「三条偏离」→ 四条，并把深色档 scrim 的观察项登记成 D-5；
- `empty_state.rs` 开头「本文件数值全部是 [估]」→ 按表逐项区分 `[估]/[规格]/[源]`；
- `action.rs` 模块文档补一句「禁用色的底必须是这两个动作件自己的容器角色」。
 2026-11-02 15:56:44 +08:00
AskaEth c723d1faff fix(iced/feedback): 空态间距双算、图标块对比度、Dialog 宽度与动作禁用底色（P2-1/2/4） 
- P2-1 空态间距双算：`Column::spacing(8)` 与显式 `gap(16/24)` 叠加 ⇒ 实际渲染 32/40、
  条目总高 264，而登记的是 16/8/24、232。现在 `spacing(0.0)`，间距只有一个来源（`gap()`）；
  断言从 `gap > 0.0` 改成**精确等于令牌档位** 16/8/24。
- P2-2 空态图标块几乎没有边界：`SurfaceContainerLow` 与画布 ΔRGB 只有 11/5/0（≈1%），
  浅色下看不出块。换 `SurfaceContainerHigh`（材质层 Overlay）+ 1px `OutlineVariant` 描边，
  并用 `block_layer()` 让 probe 与组件取同一个层（不再各写一份角色）。
- P2-1 Dialog 恒 480 宽：`Length::Fixed(480)` 在窄宿主会溢出，`.max_width(560)` 对 Fixed 是
  空操作。改成 `Fill + max_width(480)` = `min(宿主, 480)`（iced 无 min-width，见 G17-d）。
- P2-4 动作禁用底色取错：`interaction::disabled_content_over_role(..., false)` 把 38% 内容色
  固定叠在 **Surface** 上，而 Snackbar 的底是 `InverseSurface`、Dialog 是 `SurfaceContainerHigh`
  ⇒ 真出现禁用态会是「38% 深字叠深底」。改为 `content_color()` 按真实容器角色合成（同令牌 α）。
- probe：Dialog 上内距判据 `(24..=40)` 收紧到 `(24..=30)`；空态新增「块↔标题 ≈16」与
  「条目总高 ≈232」两条渲染层断言。
 2026-11-02 15:56:44 +08:00
AskaEth e9af27c8f1 fix(iced/feedback): 不定态两条 p1 —— 线性先排序合并（P1-A）+ 环形补全局旋转（P1-B） 
复审 r1 的两条 p1 都是「报告写了 ✓、图上没有」，逐条修：

P1-A（视觉）线性不定态把两段画成一段：
- 根因：`phase_segments` 的两段**不保证有序**（第一线前缘抢跑 250ms、第二线从 0 起），
  `linear()` 却按返回顺序单调铺 `FillPortion`，且份额之和在 34/100 相位上 >1（最大 1.99），
  iced 按总和归一 ⇒ phase 0.55 的两段被压成一段 100px 台阶。
- 修：新增 `layout_spans`（排序 + 合并重叠 + 显式铺间隙）与 `portion_shares`（累计舍入，
  份额之和**恒为 1000**），`linear()` 只消费这两者。
- 断言：`raw_segments_are_unordered_and_layout_sorts_them`（原始输出不有序、排序后位置对得上
  A1 keyframes）、`portion_shares_always_sum_to_the_full_track`（200 个相位全 = 1000）、
  以及渲染层 `12.4：phase 0.55 必须数出两段`（旧实现会数到 1 段）。

P1-B（代码）环形不定态少一条全局旋转 + keyframes 首点语义：
- 官方是两条旋转相加：`CircularGlobalRotationDegreesTarget = 1080f`（`tween(6000, LinearEasing)`，
  javap 偏移 5125）与 8 关键帧旋转（0→360°），绘制时 `fadd` 后 rotate ⇒ 每周期 1440°（4 圈）。
  我们只做了 360°，转速是官方的 1/4。
- `ROTATION` 首点在 300ms/90°：Compose 会自己补 t=0（值 = 动画初值 0），我们没补 ⇒ `[0,0.05)`
  恒 90°，且周期末尾 360° → 下周期 90° 瞬时倒跳 270°。现在显式补 `KeyPoint{ms:0, value:0}`
  并在 `Keyframes::sample` 加 `debug_assert!(首点 ms == 0)`，同一类坑不再靠自觉。
- `CircularGeometry::indeterminate` 改返回 `(弧长, 圈数)`，圈数 = 3.0×phase + 关键帧（可为 >1），
  `progress.rs` 直接乘 360、不做 rem_euclid。
- 断言：`circular_indeterminate_rotation_is_four_turns_and_continuous`（每周期 4 圈、
  跨周期跳变 ≤ 一帧 = 4/60 圈，修前是 0.75 圈 = 270°、旋转单调）。

probe 拆成 `probe.rs` + `probe/circular.rs`（新断言会把单文件顶过 400 行）。
 2026-11-02 15:56:43 +08:00
AskaEth 36f58d7904 feat(iced): 反馈类家族四件（Progress / Snackbar / Dialog / EmptyState） 
D39 五家族并行的反馈类线（M78 / COMPFEED）。全部对消息类型泛型、不 import app::Message，
数值来自令牌或登记为 G17（令牌层没有反馈类的 ComponentMetrics 与骨架位）。

- Progress：linear（确定态 FillPortion 占比 + 官方 1750ms 双段不定态 keyframes）与
  circular（40/4 环，弧长 = 数值×360°，不定态走官方 6000ms 弧长+旋转 keyframes）。
  环形用几何 SVG（canvas feature 没开），组件不计时，相位由调用方给。
- Snackbar：48/68 两种高、上限宽 600（A1 ContainerMaxWidth）、12 外边距、贴顶/贴底、
  action（InversePrimary）+ 关闭键（InverseOnSurface）；**组件不计时**，超时归调用方。
  iced 的 Length 没有 min-width ⇒ 344 的最小宽由宿主保证（登记 G17-d，与按钮 G15 同墙）。
- Dialog：scrim（黑@0.32 预合成实色，D27）+ R28 + SurfaceContainerHigh + pad 24 +
  标题/正文/动作三区 + 无动作/单动作/双动作；官方 280..560 区间内取 480。
- EmptyState：**官方没有这个组件**，96 图标块/32 图标/HeadlineSmall 全部标 [估]。
- action.rs：Dialog/Snackbar 共用的文字/图标动作（内容角色作参数，状态层仍走 interaction）。
- gallery/feedback.rs：状态矩阵；家族内再切一段 ULL_FEEDBACK_PART（all|progress|snackbar|
  dialog|empty），开关本身住在 feedback/gallery_parts.rs，不动 gallery/mod.rs。
- feedback/probe.rs：对着真截图量像素（渲染层断言），四类几何各逐项钉住。
- feedback/tests.rs：几何/节奏/角色/scrim 的纯函数断言。

gates: fmt --all --check · clippy -p unlucky-app-iced --all-targets -D warnings ·
test -p unlucky-app-iced（144 通过 / 0 失败）
 2026-11-02 15:56:42 +08:00
AskaEth 7c274afd7c fix(design,app-iced): 守门改成调用形状+逐调用点计数；filled-tonal 事实纠正（M86 r2 P1） 
P1-1（守门漏网）：sub_24_boxes_go_through_view_at 原判据只认带 turbofish 的 icons::view::，
且 plain && !sized 让「同文件有 view_at」整文件放行，checked 还数文件不数调用点。现在：
- 先剥注释（注释里写 icons::view 不再误报）；
- 按调用形状匹配：icons::view( / view::< / crate::icons::· / super::icons::· / use …view as v
  与 {view} 之后的 v( / view(；
- 逐调用点计数，每文件必须恰好等于白名单期望（未列出 = 0）——所以「同文件改对 3 处漏 1 处」也红。

P1-2（事实错误）：FilledTonalButtonTokens.DisabledContainerOpacity = 0.12f 是存在的，
javap -p -constants 可见；它是编译期常量、被内联进 getDefaultFilledTonalButtonColors，所以在
<clinit> 里看不到——我上一轮把「没在 clinit 出现」误写成「字段不存在」。同时把「TonalButtonTokens」
从 0.1f 家族的依据里剔除（它在整个 AAR 里零消费者，正是本 mission 警告的死令牌坑），改为只引用
ButtonDefaults 真的调了 getDisabledContainerOpacity 的 Filled/Elevated/Outlined，并注明
TextButton（容器透明）与 Baseline（基准表、运行时无消费者）。
 2026-11-02 13:12:18 +08:00
AskaEth da1fe3aa4f fix(app-iced): 盒 ≠ RENDER_PX 的图标改走 view_at，线宽回到 1.5px（M86 r1 P2） 
r1 视觉/代码复审撞上同一件事：本轮把按钮/chip/switch 的盒子改成 18/18/16，但 SVG 仍按 24
烘焙、靠布局盒缩下去 ⇒ 实测线宽 1.04~1.25px（令牌要 1.5px）。label 的对照证据是同屏 caption
（20px，走了 view_at）实测正好 1.50px——差别只在有没有走按盒烘焙。

- buttons/assemble.rs（前置/后置）、selection/chip.rs（前置/后置）、selection/switch.rs 滑块勾
  共 5 处改为 icons::view_at(kind, color, geometry.icon)；
- 新增单测 view_at_bakes_the_requested_size：source(18) 必须是 width=18 + stroke-width=2.0
  （视觉 1.5px），并反证「24 烘焙塞进 18 盒只有 1.125px」；
- 新增源码级守门 sub_24_boxes_go_through_view_at：icons::view 只允许出现在图标盒=24 的文件，
  否则红——谁把上面 5 处改回 view 立刻被抓；
- 三处会带偏人的文字订正：icons.rs 模块文档改成「24 盒走 view、其余一律 view_at」；
  selection/mod.rs 的「图标一律 icons::view」同改；token_contract.rs 明说那条只保证烘焙路径。
 2026-11-02 13:12:14 +08:00
AskaEth fa40d798e2 docs+test(design,app-iced): filled-tonal 的禁用容器偏离写进代码；禁用色断言去自指（M86 r1 P2） 
r1 复审两条：
- 我在报告里说「filled-tonal 的 0.12 偏离已写进代码」，实际一个字都没写，而 state.rs:47 还把
  TonalButtonTokens 列进 0.1f 家族，等于让人误以为已对齐。现在 state.rs 的常量文档与
  disabled.rs 的模块文档都写清：官方 getDefaultFilledTonalButtonColors 硬编码 0.12f
  （FilledTonalButtonTokens 无该字段），我们的入口不区分变体、tonal 实际画 0.10，属已登记偏离。
- surface_family_disabled_colors_are_the_12_percent_class 的期望值原本从被测常量自己算，
  把 DISABLED_SURFACE_ALPHA 改成 0.10 也照样绿（自指断言）。现在期望值硬编码 0.12/0.38 并
  先钉常量本身；按钮族那条同改。
 2026-11-02 13:12:13 +08:00
AskaEth b566097107 fix(design,app-iced): 图标尺寸与禁用 α 收敛到官方字节码，两族拆开（M86） 
图标：IconSize::Button 16→18（AAR ButtonDefaults.<clinit> 的 bipush 18）；新增
IconSize::SwitchThumb=16（SwitchTokens.Selected/UnselectedIconSize）承接开关滑块，按钮与
滑块不再借同一档；IconSize::Nav 的值不动但文档订正（无消费，官方导航/列表图标是 24）。
ButtonSmallTokens.IconSize=20 在整包 AAR 里零消费（javap 搜 getIconSize 无外部调用），
是死令牌，不再作为取值依据。

禁用 α：官方本来就分两族——按钮容器 0.10（*ButtonTokens.DisabledContainerOpacity）与
面状控件 0.12（chip 描边 / slider 轨道 / switch 轨道）。原来的缺陷是一个全局 12% 同时
服务两族（按钮那半边一直错、另半边一直对），现拆成 disabled_button_colors/…_content
与 disabled_colors/disabled_content_over_role 两个入口；interaction 首次超 400 行，
禁用口径与测试搬到 interaction/disabled.rs。

标题栏 caption 三键：官方 SmallIconButtonTokens.IconSize=24，按用户点名缩到 20
（容器 46×48 不动），登记为项目偏离；icons.rs 加按令牌取尺寸的入口 view_at，按
(种类,尺寸) 分别烘焙 SVG，20px 的 stroke 取 1.8 保视觉线宽 1.5px。
 2026-11-02 13:12:11 +08:00
AskaEth 111955efae fix(app-iced): M79 r3 —— 分隔线守卫的三处「假绿」根治（众数参考色 / 角色身份校验 / 锚定行无条件打印） 
代码复审 r3 = p1-2items，两条都是判据自身的假绿，产品代码零改动。

1. **参考色取「跨度中点那一个像素」→ 缺口落在中点就假绿**
   `line_segments` 改用该行**墨迹众数色**（`modal_color`）：242px 的线 vs ≤4px 的缺口，
   众数天然是线自己的颜色。反例 `gap_at_mid`（r2 图在 x=144..145 挖 2px 孔）：
   改前 `ok. 1 passed`（假绿），改后 **2 段 red**。

2. **行锚定可被「更靠上的另一条细低对比横线」抢走**
   `find_thin_line` 增加 `expected` 身份色 + `blend_coverage`：线色必须落在
   `Surface → SurfaceVariant` 的插值线上（覆盖率 0.30~1.05，三通道 t 最大差 ≤0.25）。
   这比「单通道差 ≤20」稳得多：实测 `OutlineVariant (200,212,224)` → t=(1.84,2.24,3.1) 出界；
   hover 8% `(228,233,238)` → t=(0.72,1.0,1.7) 散开 0.98；两者都被拒。
   反例 `decoy_outline_gap` / `decoy_hover_gap`：改前 `ok`（假绿，锚到 y=400/401），
   改后打印 `divider skip y=… (不是预期角色色的插值，拒绝)` 并退回真分隔线 → **3 段 red**。

3. **锚定行无条件打印**（不管红绿）：
   `[probe] divider anchored at y=471 span=x24..266 color=[221, 233, 245] segments=1 (light, 1180x760)`
   ——「锚错行」从此不再静默。

4. **深色档不再是零覆盖**：`divider::check` 浅色必跑，`tabs-dark.png` 存在就跑深色
   （实测 `y=471 color=[46,60,70] segments=1 (dark)`）。判据/锚定逻辑抽到 `probe/divider.rs`，
   `probe.rs` 393 行仍 <400。

9 张图全跑（退出码即判据）：
r2 rc=0(1段) · before rc=101(3段@471) · mutB rc=101(2段) · mutC rc=101(2段) ·
mutE rc=101(3段@471) · mutF rc=101(3段@471) · **gap_at_mid rc=101(2段)** ·
**decoy_outline_gap rc=101(3段@471，y=400 被身份拒)** · **decoy_hover_gap rc=101(3段@471，y=401 被身份拒)**。

已知边界写进 `probe/scan.rs` 模块文档：≤25% 覆盖的淡线 → **loud red**（锚定失败 panic，
不会假绿）；身份校验绑定 `SurfaceVariant`（换角色色会 loud red，改 `divider.rs` 一行）；
只认横线；深色图缺失时跳过深色断言但不失败。

门禁：fmt ✓ · `cargo test -p unlucky-app-iced` 197 passed · gate 6 passed · probe 5 passed ·
`clippy --all-targets -D warnings` 干净。变异图在 `target/m79/{mutB,mutC,mutE,mutF,gap_at_mid,decoy_outline_gap,decoy_hover_gap}/`，不入库。
 2026-11-02 11:56:08 +08:00
AskaEth dffae2c429 fix(app-iced): M79 r2 —— 分隔线守卫换成「锚定细线行 + 整段跨度数段」 
代码复审 r2 P1-1：上一条守卫只认 r1 那种「半透明 AA 缝」，四处假通过。
两个结构性原因与对应修法：

1. **窗口被截成 150px**：`longest_h_line` 凑满 150px 就 return，`line_segments` 只在那
   150px 里数段 → 分隔线实长 242px，只看前 62%；缺口在窗口外看不见、在窗口内则被
   「跳到缺口之后重新起跑」滑过。现在 `find_thin_line` 返回的是**该行整段墨迹跨度**，
   `line_segments` 在这个跨度上数段。
2. **行的锚定不稳**：原来「第一条 ≥150px 的连续带」能被五态行的 40px 高底色带、
   `Primary` 指示条顶替（mutE/mutF 会量到完全不同的元素）。现在四条判据一起锚定：
   跨度 ≥200 · 近乎实心（墨迹 ≥ 跨度×4/5）· 薄（跨中点纵向墨迹 ≤3 行）· 低对比
   （线色与底色单通道差 ≤120）。

`TOL=6` 的口径写进注释：**单通道**最大可辨差；40% 覆盖的抗锯齿行实测差 `(9,6,4)`，
6 能看见它又挡住 ±3 渲染噪声；相邻那行是满覆盖（线色差 25/17/10），所以行锚定不会丢。

五次验收（真跑 probe，退出码即判据；变异图在 `target/m79/{mutB,mutC,mutE,mutF}/`
由 r2／r1 图改像素生成，不入库）：

| 图 | 结果 | 实测 |
|---|---|---|
| r2 原图 | **rc=0 绿** | 1 段 |
| `before/`（r1 逐 tab + AA 缝） | **rc=101 红** | 3 段，y=471 x24..265 |
| mutB（缺口 x=200..201，旧窗口外） | **rc=101 红** | 2 段，y=471 x24..266 |
| mutC（缺口 x=100..101，旧窗口内） | **rc=101 红** | 2 段，y=471 x24..266 |
| mutE（r1 两个缝位 102/192 挖真缝） | **rc=101 红** | 3 段，**y=471 x24..266**（仍是分隔线那行，不是 y=503 的五态带） |
| mutF（额外：r1 分段线 + 上方 200px Primary 带） | **rc=101 红** | 3 段，y=471（锚定没被 Primary 带顶替） |

门禁：fmt ✓ · `cargo test -p unlucky-app-iced` 197 passed · 全套 probe 对 r2 图 5 passed ·
`clippy --all-targets -D warnings` 干净。未改任何组件实现。
 2026-11-02 11:56:06 +08:00
AskaEth 55a775fca7 test(app-iced): M79 r2 —— probe 复跑暴露的两处修正（分隔线判据 / 可见性警告） 
真跑 `navigation::probe` 才发现的两件事，都只影响测试代码：

1. **Secondary 分隔线判据错了**：原来按 `SurfaceVariant` 的**精确值**找块，
   但 1px 的线画在分数像素上，真实像素是「线色 ⊗ 页面底色」的混合值
   （实测 `(221,233,245)`，不是令牌原值）→ 找到 **0 段**，断言假红。
   改成：先找「与页面底色不同、横跨 >150px 的那一行」，再用**该行自己的颜色**数连通段
   （`probe/scan.rs` 新增 `longest_h_line` / `line_segments` / `differs`）。
   现在：r1 基线图 → 实测 **2 段**（红）；r2 新图 → **1 段**（绿）。
2. `matches` 原来被写成 `differs` 的正向委托（语义反了），以及 `pub(super) fn shot` 暴露了
   更私有的 `Shot`（`private_interfaces` 警告，`-D warnings` 会红）：前者改回
   `!differs(..)`，后者把 `shot`/`shot_dir` 收回私有（子模块 `probe::long` 仍可见）。

其他：`probe/long.rs` 的 `filter(..).next()` → `find(..)`（clippy::filter_next）。

复跑（真实输出）：
- `ULL_NAV_DIR=target/m79/r2 cargo test -p unlucky-app-iced navigation::probe` → **5 passed**
- `cargo test -p unlucky-app-iced` → **197 passed**（+ gate 6 passed，1 ignored）
- `cargo clippy -p unlucky-app-iced --all-targets -- -D warnings` → 干净
 2026-11-02 11:56:04 +08:00
AskaEth a36f542f28 fix(app-iced): M79 r2 —— 四条 review 修复（对齐/单行/可比对象/整行分隔线） 
代码 r1 P2-1 = 视觉 r1 P2-1（同一处，必修）
- `app_bar::action`：容器只给了 `align_y` → 24px 图标贴 40×40 命中区左缘（实测前导墨迹
  `38..58`，应 `44..68`；hover 的圆形状态层也露在图标一侧）。补 `align_x(Center)`；
  同时页头内容行补 `align_y(Center)`（`Container` 默认 Top，整行原本贴顶）。
- 把 Q21 升格成规则并全目录复查（结论写进 `navigation/mod.rs` 的表）：
  app_bar 命中区/页头行、tabs tab 内容、drawer 药丸 = 两轴显式居中；
  list_item 文本块与 drawer 分组标题 = 左上起排（`Start` 是对的，不需要居中）。
  回归钉子：`navigation::probe` 的 appbar 断言量「左内缩 == 右内缩 ±2」。

代码 r1 P2-2（必修）：四件文本都没有单行约束，容器高度却是固定值
- `app_bar`（标题/副标题）、`list_item::line`、`drawer::line`、`tabs` 标签统一
  `.wrapping(Wrapping::None)` + 外层 `clip(true)`；页头/ListiItem/drawer 的文本块改成
  `Fill + clip`，长文本切在文本区里，不折行、不顶穿、不压 trailing 动作。
- iced 没有 ellipsis → 按 `inputs/menu.rs` 的 D19 先例登记 **D-M79-5**
  （官方要单行 ellipsis，我们单行 + 超长直接切割）。
- 取证：gallery 新增 `ULL_NAV_PART=long`（长实例名整块）+ `navigation/probe/long.rs`
  量「行高仍 44/60/76 / 页头仍 56 / 标题墨迹右缘 < trailing 左缘」。取证块按
  `selection::matrix` 的先例收进 `navigation/matrix.rs`（gallery 单文件贴 400 红线）。

视觉 r1 P2-2（必修）：ListItem 三列内容不同 → 「选中 trailing = Primary」没有可比对象
- 三列都挂 `trailing(settings)`，只有 selected 列走 `Primary`（其余 `OnSurface` / 38%）。

视觉 r1 P2-2（可选，已做）：Secondary 分隔线逐 tab 分段 + 0.5 圆角留了 1px 亮缝
- 改成**整行一条**：`Stack` 把一条 `Fill` 的 1px `SurfaceVariant` 压在 tab 行底下
  （底座是 tab 行本身 → 线长 = tab 行总宽，横向滚动跟着走）。
- `TabsGeometry::bar_radius(bool)` 收成 `indicator_radius()`（只有 3px 的 Primary 条要圆角），
  单测同步；probe 新增「Secondary 分隔线必须 1 段」的断言。

门禁：`cargo fmt --all --check` ✓ · `cargo build -p unlucky-app-iced --lib` 零 warning ✓
（截图/探针/测试的实时输出见完成报告；本轮宿主机被多条并行线的 rustc 打满，
bin 链接排队严重，如未取到会如实标注未完成项。）
 2026-11-02 11:56:02 +08:00
AskaEth 81e34d77da feat(app-iced): M79 导航家族 —— ListItem / Tabs / NavigationDrawer / AppBar 
四件组件 + gallery 状态矩阵 + 渲染层几何断言，全部只落在
`components/navigation/**` 与 `gallery/navigation.rs`（不改 mod.rs / interaction / layout）。

- ListItem（12b §4）：一行/两行/三行 44/60/76（A1 56/72/88，登记偏离）、leading/trailing 槽位、
  hover/focus/pressed 只叠状态层（内容色不变）、禁用是修饰器且内容角色取 A1 的 `OnSurface`@38%。
- Tabs（12b §6）：Primary 3px 指示条（用 `Stack` 分层让 Fill 条拿到「该 tab 的宽」）、
  Secondary 1px `SurfaceVariant` 分隔线、带图标时容器 64、横向滚动；选中色按变体分（Primary / OnSurface）。
- NavigationDrawer（15 §21 + D33）：**同一个容器两个宽度** —— rail 88 ⇄ drawer 240；
  药丸从容器宽派生（56×32 / 216×56，左右各缩 16 / 12，A1 `ItemPadding`）；
  分组标题 TitleSmall、组间 1px OutlineVariant；drawer 项高 56（G24）。
- AppBar small（12b §16）：页头 56（A1 64，登记偏离）、TitleLarge emphasized + LabelMedium 副标题、
  leading/trailing 槽位、滚动只换 `SurfaceContainer` + L2（A1 无 OnScroll…Height）。
- gallery：`ULL_NAV_PART=list|tabs|drawer|appbar|all` 分块出图；四块矩阵（ListItem 三行高 × 三态、
  Tabs 三个选中位置 + 五态、rail/drawer 同尺度并排、AppBar 静息/滚动）。
- `navigation/probe.rs`：读真截图量像素的 4 条断言（行高 44/60/76、禁用 OnSurface@38%、
  指示条宽 = 标签墨迹 + 2×16、rail 88 / drawer 240 与药丸内缩 16/12、AppBar 56），
  已用两次变异（行高改 56/72/88；drawer 内缩改 16）验证能被打红。

门禁：fmt ✓ · clippy -p unlucky-app-iced --all-targets -D warnings ✓ · test -p unlucky-app-iced 195 passed ✓
 2026-11-02 11:55:59 +08:00