AskaEth/Unlucky-Launcher
1
0 Fork 0
Code Issues Pull Requests Actions 3 Packages Projects Releases Wiki Activity
168 Commits 2 Branches 2 Tags
5d9e75efd82fb1ad77d22e8dabcad68ec47122fb
Commit Graph
66 Commits
Author SHA1 Message Date
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 fa2c6560fd fix(appearance): M91 r2 —— 真交叉断言 + unsafe 门禁跨行扫描 + α 上取整 
P2-1「与 design 码值一致」的守门此前不存在
- 新增 crates/app-iced/src/platform/mod.rs::palette_source_codes_match_design_level_codes：
  三个格子对照 PaletteSource::as_str() 与 unlucky_design::palette::Level::code()，
  并覆盖反方向（from_key_value(level.code()) 必须还原同一档）与「码值在允许值表里」
- core 侧那条测试改名为 value_tables_are_self_consistent，注释改成事实：
  core 不依赖 design，只能钉自己的字面量；一致性由 app-iced 的那条对照断言守
- 实测：把 design 的 Level::Wallpaper 码值改成 "desktop" → 新断言红（design 自己 178 个测试仍全绿）

P2-2 unsafe-scope 门禁：行级正则 → 跨行扫描
- 去注释 + 按方括号闭合把续行并成逻辑行，再逐个属性组判断 allow(...unsafe_code)
- 抓得住原来两种绕过：多行属性 #![allow(\n unsafe_code\n)]、同行两属性 #[inline] #[allow(unsafe_code)]
- 门禁注释补全已知边界（不再声称「依赖 fmt job 兜底」——已不依赖）

O-1 α 量化方向：round → ceil
- 0.08×255=20.4，round 得 20 → 实际下发 20/255=0.0784，低于 D36 名义下限
- ceil 得 21 → 0.0824；新增 applied_alpha_is_never_below_the_floor 断言 下发字节/255 ≥ 0.08

O-7 契约测试补三个新键
- appearance_keys_are_all_ai_writable_and_registered 的 audited 清单加 window_opacity /
  titlebar_mode / palette_source
 2026-11-02 14:28:36 +08:00
AskaEth 7406785325 feat(appearance): M91 —— 外观下层三键 + win32 整窗 α FFI + unsafe 落点门禁 
core（D36/D37/D38 的键与范围）
- appearance.window_opacity（0.08..=1.0，默认 1.0，越界钳位且不报错；下限 D36 定案）
- appearance.titlebar_mode（auto|always|never，默认 auto；判定逻辑不在本 mission）
- appearance.palette_source（background-image|wallpaper|preset，与 design 的 Level::code() 同名）
- schema 1.3.0 → 1.4.0：纯增量、不加迁移步骤（新键出厂值 = 老文件缺键）
- appearance 拆成目录 mod/modes/tests（单文件 ≤400 行），非法枚举由 diagnostics() 给可读回落说明

presenter（只读语义，不破 M89 零 UI 门禁）
- AppearanceBase { window_opacity, titlebar_mode, palette_source } + from_document()
- 单测：缺键→出厂值、越界→钳位、非法枚举→回落且合法值照读

app-iced（D36 唯一 unsafe 落点）
- platform::effective_window_alpha(backend, requested) 纯函数：≤0/非有限 → None（拒绝整窗穿透），
  其余夹到 0.08..=1.0；CPU 档同样允许窗口级 α（D36 对 D27 的修订），4 组真值表测试
- platform/win32/transparency.rs：SetLayeredWindowAttributes(LWA_ALPHA) 的 FFI +
  alpha_byte 量化 + apply_window_alpha；非 Windows 同签名空实现返回 Unsupported

CI
- guards.yml 新增 unsafe-scope job：全仓 allow(unsafe_code) 文件集合必须恰好等于
  crates/app-iced/src/platform/win32/transparency.rs（集合相等，不是黑名单命中）

版本号绊线
- isolation_keys / java_install_keys：字面量 1.3.0 → 1.4.0（绊线保留字面量）
- store / document 的两个关系夹具改成相对 launcher_version() 构造（「更高 minor 只读」/
  「同 minor 更高 patch 保留 $schema」），下次 bump 不再假绿或假红
 2026-11-02 13:58:33 +08:00
AskaEth 006eb6869a fix(app-iced): 图标守门白名单补导航族（M79 进主线后的语义错配） 
M86 的 sub_24_boxes_go_through_view_at 写于 M79 之前，白名单「未列出 = 0」把
导航族四处 view 调用判成违规。实测这四处 geometry.icon = IconSize::Toolbar = 24，
view 是正确入口，故补白名单（逐文件精确计数，仍能抓「同文件多一处」），总数 8→13。
icons.rs 399 行。
 2026-11-02 13:40:21 +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 896edf07fe test(app-iced): 修 sub_24_boxes 白名单与 18px 线宽断言的格式化口径 
- 白名单路径补全（shell/nav.rs 不在 components/ 下）；扫描跳过 icons.rs 自身；
- SVG 的 stroke-width 用 {} 渲染 f32，2.0 会打印成 "2"，所以断言改成
  比数值（stroke_width_for(18,1.5) == 2.0）再比它渲染出的字符串，别写死 "2.0"。
app-iced --lib: 168 passed, 0 failed。
 2026-11-02 13:12:16 +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
AskaEth f159529936 feat(presenter): 新建 unlucky-presenter，把 host/状态/DTO/设置桥从 app 迁出（M85 第 1 块） 
D26（iced 重写）的关键一次性动作：UI 框架无关的宿主层独立成 crate，
Slint 版（crates/app）与 iced 版（crates/app-iced）共用，Slint 退役后不再重写一遍。

- 新建 crates/presenter（package `unlucky-presenter` / lib `unlucky_presenter`），
  workspace 登记 + crate 文档头写清「这层为什么存在」、对外表面、UI 侧允许/禁止、
  iced 接线骨架、以及哪些东西留在了 crates/app 及为什么。
- `git mv`（保留文件历史）迁入：host/（25 文件）、dto/（11 文件）、state.rs(+tests)、
  prefs.rs、settings_bridge.rs、toast.rs、router.rs、dialogs.rs、wizard.rs、
  mock.rs、mock_data.rs、backend.rs。模块路径与公开 API 名称不变（`host::install` 等），
  内部实现零改动。
- 新增 `theme`：把原本混在 ui_bind/theme_runtime 里的**纯判据**（CONFIG_POLL_TICKS /
  SYSTEM_THEME_POLL_TICKS / TILE_REGENERATE_STEP / BackgroundKey / tile_viewport /
  system_theme_value / 两个 poll 判据）抽出来，附 5 个单测；app 侧改成调用它们。
- crates/app 改为消费者：删掉迁走的文件，`crate::host|state|dto|prefs|settings_bridge|
  toast|router|dialogs|wizard|mock|mock_data|backend` 全部改写为 `unlucky_presenter::*`
  （64 处），backend.rs 的 config_path/build_backend 提为 pub。
- crates/app-iced 只登记 unlucky-presenter 依赖，本 mission 不接线。
- prefs.rs 的 2 处 slint 文档引用改写；`grep -rn slint crates/presenter` 现在无输出。
 2026-11-02 09:29:31 +08:00
AskaEth c9e6236a87 refactor(cli): 判据收敛到 unlucky_cli::cli，banner 按被调用的二进制名自称（M82 复审） 
去重：`looks_like_cli(args) -> bool` 落在 `unlucky_cli::cli`，两个 GUI 的 main.rs 只调用它，
判据从两份变一份。cli crate 里**不**出现 GUI 的 flag 表——语义仍是「首个 token 是裸词就接管；
首个 token 是 flag 时只有解析出真命令才接管，解析失败不接管」。原来两个 main.rs 里的 5+5 条
单测合并成 cli crate 的一份（用例集按复审要求原样搬，含 --screenshot/--renderer/--diff/
--mock/--force-state/--scale-factor、--help/-h/--version/-V、10 个已知子命令、--json 前置、
未知子命令），两个 main.rs 的旧测试已删除。

banner：新增 cli::program 模块，从 argv[0] 的 basename 取程序名（剥目录、剥 .exe、空值回落
ull），把帮助/版本/错误提示里独立出现的 `ull` 换成它——`unlucky-launcher --version` 不再自称
`ull`，也不会把人指去敲 `ull --help`。`run()` 签名未改；`ull` 自己跑时输出逐字不变（替换是
恒等），打包脚本的 `ull --version` 冒烟不受影响。
 2026-11-02 08:08:12 +08:00
AskaEth fecff989e7 docs: 修掉「把没量的东西标成实测」的四处引用（M82 复审 P2） 
- 两个 GUI main.rs：把「不 dlopen 任何图形库」改成「不依赖任何图形库（缺失时不影响）」，
  并把「实测见 §7」换成「§7.4 是依赖取证；耗时是结构性判断，没重量（§10-8）」
- packaging/README §1：§7.6（不存在）→ §7.4
- packaging/README §4：实测引用 §7.1 → §7.4（ELF 取证在 §7.4）
- packaging/README §7.4 标题补 ELF DT_NEEDED，并记下复审在 bookworm-slim 里的真跑结果
- packaging/release-notes：ull 示例前补 chmod +x（Release 资产不带可执行位）
 2026-11-02 08:08:11 +08:00
AskaEth 1c7285cea9 feat(cli): GUI 二进制内建 CLI 子命令分发，ull 纳入发布资产（M82） 
一个二进制两种用法：两个 GUI 的 main.rs 在进 UI 之前分发子命令，命中就把控制权交给
unlucky_cli::run —— 不建窗口、不探后端、不扫字体、不 dlopen 图形库。

分发判据只有一条，子命令表不重复：crates/cli 的解析器是唯一真相源。
- 首个 token 是裸词 → 子命令位置，交 CLI（未知子命令由 CLI 报错 + 提示 --help，退出 1，
  不静默开窗）
- 首个 token 是 flag → 只有 CLI 解析出真命令才算 CLI 调用；--data-dir X 解析成 Welcome、
  --screenshot / --renderer / --diff 等 GUI 参数解析失败，一律仍走 GUI（CI 脚本零改动）

顺带：unlucky-launcher --version 以前会直接开窗，现在走 CLI 分发报版本。

packaging：ull 作为独立裸资产随每个槽位发布（make_artifacts.py + release.yml 的 assets
数组与 SHA256SUMS glob），矩阵完整性检查改成 GUI/CLI 各查一次。

app-iced 的 x11 / wayland / linux-theme-detection 收进 target 专属的 cfg(target_os) 段。

门禁实跑：cargo fmt --all --check 通过；cargo clippy --workspace --all-targets -D warnings
通过（exit 0）；cargo test --workspace 通过（51 个测试二进制 / 1369 个用例，含本次新增的
5 + 5 条分发判据用例）。
 2026-11-02 08:08:09 +08:00
AskaEth 05fefc8a7b fix(app-iced): M77 r1 —— 菜单项 trailing 槽位靠右（视觉 r5 P1） 
`item_row` 的 Row 早先是 `leading → label → trailing`，中间没有撑开的空间，于是
trailing（快捷键 / 子菜单箭头 / 勾）**紧贴 label 右边**，一列菜单里读不出一条竖线，
也与 M3「trailing 落在行右内边距上」不符。

改法（只动 `menu.rs` 的行装配）：
- label 与 trailing 之间插一个 `space::horizontal()`（宽度 Fill），**只在有 trailing 时插**——
  没有 trailing 的项仍然左边起排，不被居中/右对齐；
- 把 Row 包进 `container(..).width(Fill).height(Fill).align_y(Center)`：Fill 空间要有宽度可撑
  （Q8 的教训：撑开靠容器，不靠子元素），顺带把内容垂直居中（`button` 只把内容放左上角）；
- trailing 的右缘现在落在 item 右内边距上，与 leading 左内边距对称（12 = 4 内缩 + 8 button pad）；
- 分组分隔线 / 禁用项的行为未动（同一函数的其它分支没改）。

渲染层断言（`probe/menu.rs`）：带 trailing 的项，其 trailing 墨迹右缘 = `menu_right − 17`
（= 4 指示器内缩 + 12 内边距 + `Check` 字形在 24 viewBox 里约 5 的边界）±1。
变异（删掉那行 `space::horizontal()`）后实测 `menu_right=559、墨迹右缘=438 ⇒ 偏 121`，断言红；
修复后偏 **17**。重出 `menu-{light,dark}.png`，勾已贴行右缘成一条竖线。
 2026-11-02 07:45:39 +08:00
AskaEth 21f2734981 test(app-iced): M77 渲染层 probe —— 逐行几何断言（5 条，能被变异打红） 
M68 的教训：纯函数返回对、图可能是错的。`inputs/probe.rs` 对着**真窗截图**量像素，
没给 `ULL_INPUTS_DIR` 就大声跳过（与 `gallery::probe` 同一口径）。

量什么（每条对应一次真实可能画错的形态）：
- 文本框高**精确 56**（320 宽格）、Filled 指示线 静息 1dp / 聚焦 2dp 的墨量比；
- Outlined 描边 1dp / 2dp（描边墨量随亚像素相位在 1.0~1.67 浮动，所以用**比值**判）；
- 错误态：框内标签与框下辅助文本都是 `Error` 墨迹；
- 搜索条高 56、前置图标墨迹偏移 20（= pad 12 + offset 4 + viewBox ≈4）、
  docked 面板 宽 360 / 头 56 / 1px `Outline` 分隔 / 结果区 240；
- Slider 竖条 4×44、0% 贴左、50% 分界在正中、100% 无未激活段（thumb 不越界）；
- 菜单容器 161（= 8 + 48×3 + 1 + 8）、项高 48、选中指示器内缩 4、分组线 1dp。

像素工具因 `gallery::scan` 是私有模块而自带一份最小读图器（约 60 行），已报 finding。
 2026-11-02 07:45:38 +08:00
AskaEth ddd234b3c8 feat(app-iced): M77 输入家族 —— TextField / Search / Slider / Menu（含 gallery 登记） 
D39 五家族并行的「输入类」这一条线。四个组件全部对消息类型泛型（`M: Clone`，不碰
`app::Message`），状态一律走 `components::interaction`，精确尺寸走 `components::layout`，
零尺寸字面量（取不到的集中登记 G16~G20 在 `inputs/geometry.rs`）。

- TextField（12b §9）：Filled / Outlined；56 高（无标签 40）、4 圆角、内边距 16/16、
  前置图标可视边 12（文本从 48 起）、指示线/描边 静息 1dp → 聚焦与错误 2dp、
  错误态线/标签/辅助文本全 Error、禁用 12%/38%（Filled 容器官方 4%，令牌只有 12% → D10）。
  标签常浮起（无上浮动画，D12）；A1 无 Pressed token，press 按 hover（D11）。
- Search（15 §20）：SearchBar（收起）+ SearchView（展开 docked）分开实现。bar 消费
  `ComponentMetrics::SEARCH_BAR`，图标可视边 = pad 12 + icon_offset 4 = 16（只做加法，
  不写 16/20），聚焦 1px Secondary；view 头部 56 + 1px **Outline** 分隔 + 结果区 240。
- Slider（12b §11）：自绘 `advanced::Widget`——轨道 16 full、竖条 4×44（focus/pressed 收窄到 2）、
  激活 Primary / 未激活 SecondaryContainer、命中 48、离散停靠点 4（未激活轨在点两侧留 6 空隙）。
  位移区间取 handle/2..W−handle/2，所以 0%/100% 竖条不越界。
- Menu / DropdownMenuItem（12b §8）：SurfaceContainer + L2 阴影（Elevation 令牌）、项 48、
  水平 12、上下 8、选中 SecondaryContainer（指示器内缩 4、圆角 8）、分组分隔线复用
  `components::divider`。圆角取令牌表 4（12b 说本项目 12 → D18）。
- gallery/inputs.rs：四组件状态矩阵登记（五态 × 两式 + 空/有值/错误、0%/50%/100%、菜单展开态），
  按 `part` 拆成四段（整段比 760 高的窗口还高）。

单文件 ≤400 行：四个组件的单测与 Slider 的纯几何分别拆到 `<name>/tests.rs` 与 `slider/track.rs`。
 2026-11-02 07:45:36 +08:00
AskaEth 9519ce8e1b test(selection): 状态层的两种 α 都要查（复审 P2-4 补，第二次变异曾漏网） 
原来只查 hover（8%）那一色，于是「把 pressed 列的状态层画成方块」照样绿——实测变异
mut-one-layer-box 当时是 passed。现在 hover(8%) 与 pressed/focus(10%) 两种颜色各查一遍，
每一块的四个角都不许有墨。

变异证据（六个变异全部转红，见报告）：
- mut-one-box-22     → 18.3：Primary 块不得超过 21，实测 22×22 @ (541,222)
- mut-one-layer-box  → 18.5：Pressed 状态层必须是圆（四角不该有墨）@ (532,212)
- mut-chip-34        → 13.1：filter chip 应恰好四块，实测 3
 2026-11-02 07:03:13 +08:00
AskaEth 4155429f45 test(selection): 像素判据从「存在性」改成「逐处都对」（复审 P2-4） 
- 20(±1) 的 Primary 块：**每一块**都不许超过 21（22 = 描边画到框外），且总数恰好 12
- 状态层：**每一块** Ø40 都要四角无墨（原来只看两块角点），数量 ≥5
- switch 轨道 **恰好一块** 52×32、chip **恰好一块** 32 高（原来 any(...) 就算过）
- 新增 P2-1 / P2-3 的像素断言：禁用 chip 4 块完整宽度 + filter·on 仍填充；20×20 禁用块不许是 12%
- 断言与像素扫描搬到 selection/probe.rs + selection/pixel.rs：gallery/selection.rs 只剩「摆矩阵」
  （原文件 458 行，超 400 红线）
 2026-11-02 06:55:34 +08:00
AskaEth 0c9d4049b3 fix(selection): Checkbox / Radio 命中区恒 48×48（复审 P2-2） 
- 无标签时行宽只有状态层的 40dp（A1 的 minimumInteractiveComponentSize 是 48）
- ControlGeometry::hit_padding() = (48−40)/2 = 4，view 侧左右各留这段透明内边距
- 单测钉住 40 + 2×4 == 48（checkbox 与 radio 各一遍）
 2026-11-02 06:55:31 +08:00
AskaEth c5765c57e7 fix(selection): Chip 禁用改成修饰器，只清消息、不删图标与选中态（复审 P2-1） 
- 旧 API Chip::disabled(label, variant) 强制 leading/trailing/selected = None/false：实测
  assist 78→54、filter·on 74→50（连填充和勾都没了），禁用列里 filter·on 与 filter 逐像素同形
- 新 API Chip::assist(label, msg).leading(k).disabled()：只清 on_press，视觉信息全保留
  （research/12b §13 的禁用态是「容器/描边 12%、文字与图标 38%」——只降不删）
- 矩阵里禁用格改用修饰器，图标与选中态一并保留
 2026-11-02 06:55:28 +08:00
AskaEth 00dbb5a5d5 fix(selection): 选中禁用的 Checkbox 容器改用 OnSurface@38%，并补逐格断言（复审 P2-3） 
A1：SelectedDisabledContainerColor=OnSurface + SelectedDisabledContainerOpacity=0.38（不是普通禁用容器的
12%）。断言同时钉住三件事：fill == 38% 叠色、fill != 12% 容器色、未选中禁用描边与它是同一个 38%。
（同一提交还带着 P2-2 的命中区单测：两处断言都在 tests.rs，无法按 hunk 切分。）
 2026-11-02 06:55:25 +08:00
AskaEth 17394b73ff refactor(app-iced): paint.rs 按组件拆成 paint/ 目录（复审 P2-5） 
- paint.rs 原本正好 400 行、零余量：再加一个态就得动它（和 app.rs 同一个问题）
- 拆成 mod.rs（Frame / 状态层 / 禁用色 / 标签色）+ check.rs / radio.rs / switch.rs / chip.rs
- 对外 API 一字不改（selection::paint::* 路径全部保持）
- 顺带把「选中且禁用的 Checkbox 容器」从 12% 改成 A1 的 38%（复审 P2-3）：这一行就在被移动的
  check.rs 里，单独切 hunk 只会让历史不完整；断言在下一条提交
 2026-11-02 06:52:10 +08:00
AskaEth b69a2cdd7f feat(app-iced): M76 选择类家族 —— Checkbox / Radio / Switch / Chip（15 §18/§19 + 12b §10/§13） 
- selection/：geometry（令牌→像素，缺档登记 G16）/ paint（Interaction×选中×错误→角色）/
  shell（48 透明外壳 + 帧内状态通道 + 勾形 SVG）/ checkbox·radio·switch·chip / matrix（12×5 状态矩阵）/ tests
- gallery/selection.rs：小节 + **渲染层像素断言**（20×20 选中与未选中同尺寸 · Radio 内点 10 ·
  Ø40 状态层是圆 · 勾形 14.8 · 短横 · 轨道 52×32 · Chip 32 · 禁用 38%），按颜色+墨迹块定位、不假设行号
- gallery/mod.rs：新增 ULL_GALLERY_SECTION 段落过滤（tower 批准，M77 零成本复用）+ 四个 helper 放宽到 pub(crate)

A1 证据（本机 AAR javap）：未选中 hover/focus/pressed 描边是 OnSurface（不是 OnSurfaceVariant）、
Radio 选中态 hover 仍 Primary、Checkbox SelectedDisabledIconColor=Surface、Switch hover 滑块 PrimaryContainer。
 2026-11-02 06:11:21 +08:00
AskaEth 4d7b198822 fix(app-iced): M75 r6 —— probe 删 19 行重复块 + 补第 8 行(icon·tonal) + 三处注释按 visual-r4 P2-2 更正 
① 19 行重复块（第 4 次报）：probe.rs 218-236 与 198-216 逐字重复（on_primary/left_ink 双层循环/
   icon_pad/assert 各两遍，靠 shadowing 编过），已删；粘在一起的注释头随之消失。
   滑动窗口脚本：改前 'DUP at 199 and 219' → 改后 'no 19-line duplicate'。
② 逐行护栏补到 8 行：(7, OnSurface, true, "icon·tonal")；汇总打印 '8 行通过'。
   变异（该行墨迹涂回满档色）→ probe 红。
③ 三处过期注释按 review 的 §P2-2 逐条改：
   - probe 模块文档 药丸顶行宽 ≈9 → 左内缩 ≈14；
   - 圆角推导改成像素中心闭式 inset(k)=r−√(r²−(r−k−0.5)²)，r=20,k=1 给 12.40；
   - gallery/mod.rs 列宽注释 132 → 160（cell_width 的实际值）。
 2026-11-02 04:51:07 +08:00
AskaEth 4954ba3463 chore(app-iced): M75 r5 —— 删掉被 count_in 取代的 count_pixels（clippy dead_code） 2026-11-02 04:51:06 +08:00
AskaEth b563c6ac44 docs(app-iced): M75 r5 —— 三处过期注释按 A1 更正（会被四条家族线当规格抄） 
- buttons/mod.rs 表行 1.8：禁用内容角色「按变体」（Variant::disabled_content），容器 α 注明 A1 是 10%
- buttons/mod.rs 表行 2.7：IconButton 禁用内容 = OnSurface@38%（A1），落点改到 disabled_content_over_role
- interaction α 表 / disabled_colors 文档：容器 0.12 与 A1 的 0.10f 差异点名 D8；内容默认为 OnSurfaceVariant
- overlay_color 的 content 说明从 OnSurface 改成 OnSurfaceVariant（与 A1 一致）
 2026-11-02 04:51:04 +08:00
AskaEth eed1c9d3f7 fix(app-iced): M75 r5 —— 禁用内容角色按变体（A1）+ 删 probe 重复块 + 逐行护栏 
1) A1 逐变体（AAR javap）：Filled/Elevated/Outlined/Text = OnSurfaceVariant@0.38；
   FilledTonal = OnSurface@0.38（FilledTonalButtonTokens.DisabledLabelTextColor）；
   Standard/Filled IconButton = OnSurface@0.38（*IconButtonTokens.DisabledColor）。
   新增 Variant::disabled_content() / IconVariant::disabled_content()，
   interaction::disabled_content_over_role(ui, role, on_container) 成唯一入口。
2) probe.rs 删掉被两个 reviewer 点名的重复块（disabled_colors 调用两次、
   disabled_container 绑定两次），并补 grep 证据。
3) 护栏改成**逐行**：矩阵 7 个有内容的变体行各自断言 disabled 列的 38% 墨迹 > 40 px
   （浅/深同一套阈值，单行回退就会红），取代原来按浅色标定的全局 500 阈值。
6) 删掉 interaction/mod.rs 里挂在 mod tests 头上的悬挂文档。
 2026-11-02 04:51:03 +08:00
AskaEth b31a758cda test(app-iced): M75 r4b —— 无容器禁用墨迹的护栏收窄到 disabled 列 + 阈值 500（变异实测会红） 
整图计数会把别处抗锯齿像素算进来（正常 800/1966 px，涂回满档色后仍剩 348 px），
护栏实际上拦不住 code-r2 说的「text/standard 那两行」。改为只在矩阵最右 1/3 列内计数，
阈值 500（浅 800 / 深 1966 正常，变异后 348）——变异实测：红。
 2026-11-02 04:51:02 +08:00
AskaEth a878fc6a58 refactor(app-iced): M75 r4 —— interaction 拆成 mod.rs(287) + tracker.rs(159)，恢复被压掉的文档 
interaction.rs 连压三笔才回到 400 行（靠删文档腾空间），而它会被四条家族线各扩一次。
- interaction/mod.rs：五态枚举 + overlay_color / disabled_colors / disabled_content_over（态→颜色）
- interaction/tracker.rs：事件→态的状态机 + 它的两条单测；Tracker 用法示例（ignore 代码块）恢复
- 对外路径不变：components::interaction::* 照旧（mod.rs 里再导出 Tracker）
- 两份文件都写了「加东西前先看行数余额」
顺带修两处门禁：注释里去掉 hex 色值（守门连注释一起扫）、再导出显式 allow。
 2026-11-02 04:51:01 +08:00
AskaEth ab5f5802a8 test(app-iced): M75 r3f —— 去掉一条与上一行重复的断言，interaction.rs 400 行 2026-11-02 04:50:59 +08:00
AskaEth 95a6f56060 docs(app-iced): M75 r3d —— interaction.rs 再收 2 行，确保 ≤400 2026-11-02 04:50:58 +08:00
AskaEth a3b3c9eba7 docs(app-iced): M75 r3c —— interaction.rs 文档收口（Tracker 用法/α 表压行，回到 400 行内） 2026-11-02 04:50:57 +08:00
AskaEth 86f7a31d9a fix(app-iced): M75 r3b —— IconButton 高度断言按抗锯齿实测改为 39..=40 + interaction.rs 收回到 400 行内 
exact-color 的连通块高度会排除底部抗锯齿行，实测 40×39；宽度仍精确 40。
区间收到 39..=40 仍能抓住 ±2px 回归（42→41、38→37 都落区间外）。
 2026-11-02 04:50:55 +08:00
AskaEth 5fd1f3ca26 fix(app-iced): M75 r3 —— 禁用内容角色按 A1 改 OnSurfaceVariant + 两项语汇 + probe 双色护栏 
A1 定案（本机 gradle 缓存 material3.aar + javap）：
  FilledButtonTokens.<clinit>: DisabledContainerColor=OnSurface, DisabledContainerOpacity=0.1f
    DisabledIconColor/DisabledLabelTextColor=OnSurfaceVariant, 两者 Opacity=0.38f
  OutlinedButtonTokens/TextButtonTokens: LabelTextColor=OnSurfaceVariant（12b §1.9 原本就对）

据此：
- interaction::disabled_content_over / disabled_colors 的内容角色从 OnSurface 改成
  OnSurfaceVariant（α 仍取令牌 DISABLED_CONTENT_ALPHA=0.38）；设计层 color::state::disabled_content()
  用的是 OnSurface，与 A1 不符 —— 令牌线修好前这里按 A1 直接求值，已登记。
- content_color 的「底」按有无容器分开：有容器叠 12% 容器、无容器叠 surface（视觉 r2 P2-1）。
- probe 加第二条护栏：无容器三式的 38% 墨迹单独计数，避免只护住有容器那四式（code r2 p2-1）。
- gallery 样例图标改描边（Download + ChevronRight），并加单测钉「同控件不混用 Fill/Stroke」（P2-3）。
- 滚动条：透明轨 + OutlineVariant thumb（P2-4；宽度 10px 是 iced 内部常量，只能改颜色）。
- probe 文档修好被 //! 打断的命令、shot_path 注释归位、去掉空转的重复断言（P2-5）。
 2026-11-02 04:50:54 +08:00
AskaEth d075feb77d test(app-iced): M75 复审 P1-B —— 渲层断言收紧到 2px 级（变异实测会红） 
- 高度断言改 assert_eq!(true_height, 40)：变异成 42 实测变红（证据 target/m75/evidence.sh）
- 补「带图标左内边距 16」断言：墨迹 ≈21（16→21 / 24→29 / 8→13 三档互不重叠）
- 分隔线：行数 2..=4 + 单条墨量覆盖率 0.8..=1.3（1.5dp 会到 ~1.5），
  只统计「连续非底色 > 900」的长横线行，避免把文字墨量算进去
- 两条判据都踩过误报：白色与浅色页面底色在容差内（padding 量出 3）、
  圆角透出的底色被当成满档 OnPrimary；已改成「内带 + nearer 判定」并注明原因
 2026-11-02 04:50:52 +08:00
AskaEth e905fa3922 fix(app-iced): M75 复审 P1-A/P1-B/P2 —— 内容色跟态走 + 断言收紧 + 矩阵排版 
P1-A 禁用内容色没下发（视觉 reviewer：text/standard 的 enabled 与 disabled 逐像素相同）：
  assemble 里内容色恒取 ui.color(content) 再被 text().color() 钉死，Style.text_color 的 38%
  永远下发不出去。新增 assemble::content_color(ui, forced, content)，文字按钮与 IconButton
  共用；probe 补两条像素断言（禁用 38% 墨迹必须存在、禁用容器内不得有满档 OnPrimary）。

P1-B 渲染层断言抓不住 2px 级回归（reviewer 变异验证：高度 42 仍绿）：
  高度改成精确 == 40；补「带图标左内边距 16（墨迹 ≈21）」断言；分隔线从「行数」改成
  「墨量覆盖率 ≈1.0」（1.5dp 会到 ≈1.5）。

P2-1 probe 给了图却读不到时硬失败（只有完全没给 ULL_GALLERY_SHOT 才跳过）。
P2-2 Geometry::stroke 真正接到 Border.width；IconGeometry::icon 改由 side−2×padding 推导。
P2-3 矩阵 cell 宽 192→160（总宽 1040<1180，disabled 列不再被裁）；禁用格保留前后图标。
P2-4 补注：snap 仅 wgpu 实现，CPU 验收图不受它影响。
 2026-11-02 04:50:51 +08:00
AskaEth 8072f1cc7e test(app-iced): M75 —— probe 分隔线判据改为「非底色长横线」+ 修 forced 改成 Option 后的两处测试 
线在 fractional y 上被抗锯齿摊到两行，按精确 OutlineVariant 色匹配抓不到（实测 0 行）；
改为「非 Surface 的长横线」计数，断言 2..=6 行（两条线 × 各 1~2 行）。
 2026-11-02 04:50:49 +08:00
AskaEth 5f85891e7e fix(app-iced): M75 —— 截图取证必须能强制「静息」态（光标污染修掉） 
StyleSpec.forced 从 Interaction 改成 Option<Interaction>：Some(Enabled) 与 None 语义不同——
前者强制画静息，后者才跟随 button::Status。修前光标恰好停在某个格子上时，gallery 的
enabled 列会被画成 hover（表现为 text 行出现不该有的灰底容器，看着像 Text 按钮自带容器）。
 2026-11-02 04:50:47 +08:00
AskaEth 5861881073 refactor(app-iced): M75 —— probe 拆出 scan 工具 + clippy 全绿 + 三个字面/生命周期修正 
- gallery/{probe,scan}.rs 拆分：像素扫描（连通块/外接框/顶行宽度）与判据分离，
  后续四条家族线可以自带 probe 复用扫描逻辑
- probe 的实心块判据跳过字形割出的小碎片（area < 800），阈值写明原因
- app.rs / gallery::mod 的 clippy 修正（needless_lifetime / field_reassign_with_default / collapsible_if）
- cargo test -p unlucky-app-iced 与 cargo clippy --all-targets -D warnings 已绿（见报告）
 2026-11-02 04:50:46 +08:00
AskaEth 4774e7b788 WIP(app-iced): M75 组件基座 checkpoint —— 组件骨架/按钮五式/分隔线/gallery harness 
已落地：
- components/{mod,interaction,layout,divider,gate}.rs + buttons/{mod,geometry,assemble,tests}.rs
- gallery/{mod,buttons,probe,scan}.rs + 四个家族桩（selection/inputs/feedback/navigation）
- cli.rs: --screen=shell|gallery + capture_flavor（截图默认 Light，删掉等系统主题的闸门）
- app.rs: gallery 路由 + DemoMessage 接线（400 行）

待办（下一个 commit）：编译/测试全绿、浅深矩阵出图、1:1 并排与数值表。
 2026-11-02 04:50:44 +08:00