AskaEth/Unlucky-Launcher
1
0 Fork 0
Code Issues Pull Requests Actions 7 Packages Projects Releases Wiki Activity
134 Commits 2 Branches 2 Tags
dev
Commit Graph
85 Commits
Author SHA1 Message Date
AskaEth 8be91a9cc9 docs(design)+test(palette-extract): 修正「种子一定是原图真实颜色」的过度承诺 
自测发现：400×400 红蓝棋盘在 MAX_EDGE=256（适配层 thumbnail 缩放）与 512（design 块平均）
下都取到 #704070，都不在原图上——「≤MAX_SAMPLES ⇒ 真实颜色」只对「传进 analyze_rgba 的
那个缓冲」成立，不是整条链的性质。
- Seed::color 文档写明边界 + 上游缩放同样会破坏该性质（附实测例）
- 结构性断言的注释/断言文案改为「design 不再叠第二层块平均」，不再声称能保住真实颜色
 2026-11-02 11:05:06 +08:00
AskaEth 09b716ae79 docs(design)+test(palette-extract): r2 三条口径修正与常数绑定 
- LowChroma 文档：删掉「彩度必然 < 候选门槛 5」（人气门槛也会淘汰高彩度小面积，
  实测 0.5% 纯红报 113.36），改为与契约文档 §6 一致的口径；代码臂注释与 score::most_chromatic 同步
- Seed::color / share 改成有边界的说法：≤MAX_SAMPLES 才是图上真实色、share 的分母是有效采样点
- palette-extract 新增 max_edge_stays_within_the_design_sample_budget：
  MAX_EDGE² ≤ MAX_SAMPLES（256² 当前余量为零，调大就红）
- card.rs：把 6.43~6.50 / 7.70~7.76 写成断言（原来只有 ≥4.5 下限，文档却宣称区间）
- LowChroma.color 字段注释改成「最接近可用的候选色」（113 那条并不「能用」）
 2026-11-02 11:05:03 +08:00
AskaEth f4c48752c2 fix(design): Outcome::NotReached / 色相环回绕断言 / LowChroma 口径统一 / 文档指向（复审 r1 p2-4 + 色彩 r1 p2-2/3/4） 
- Outcome 新增 NotReached：区分「用户没提供」与「更高级成功所以没轮到」，
  UI 不会再对着用户已选的卡说「色卡：未选择」；新增 not_reached_is_distinguishable_from_not_provided
- cards_are_visually_distinct 补色相环回绕间隔（原来只比排序相邻差，350° 的卡会静默通过）
- Failure::LowChroma 的 color 与 chroma 现在永远来自同一个簇（原来一条路径拿 A 簇的色值配 B 簇的彩度）；
  两条路径的口径写进文档注释，并提醒 UI 别把数字写成「彩度 X < 门槛 8」
- card.rs：测试名指向修正（card_keys_are_stable_and_unique，测试就在本文件）、
  「对比度 8.4:1」的假示例换成实测区间（light 6.43~6.49 / dark 7.70~7.75）、
  中性彩度那段补上「请求值相同 ≠ 实际表面同冷度」的事实与 D43 去向
 2026-11-02 11:05:02 +08:00
AskaEth 948a3685cd test(design): 钉住 D40 的彩度门槛 8（复审 r1 p2-3） 
MIN_SEED_CHROMA 8.0 → 6.0 的变异原本全绿（那条断言比的是常量自己）。
新增两条用实测 chroma≈7.23 的灰蓝（#7E8489）：
- seed::tests::chroma_just_below_the_gate_is_rejected（门槛之上/之下夹住）
- resolve::tests::faint_colour_falls_back_to_the_selected_card（回落 + 落点是选中卡 + 方案逐值等于该卡）
顺带把 resolve 的单测拆到 resolve/tests.rs（400 行上限）
 2026-11-02 11:05:01 +08:00
AskaEth 579f3ae271 feat(palette-extract): 补 bmp 解码器（复审 r1 p2-2，定案加） 
M73 的 Windows 壁纸探测只读注册表/.theme 里的路径，不筛扩展名，.bmp 壁纸真会出现；
image 的 bmp 是独立 feature 且无额外传递依赖（bmp = []），代价≈0。
- features 加 "bmp"，Cargo.toml 与 lib.rs 注释的口径对齐（原来注释说支持 bmp 但没开）
- 新增 bmp_is_supported（真编一张 BMP 再解码取色）
 2026-11-02 11:05:00 +08:00
AskaEth 2ce394fbfc fix(design): 混合透明度不再被误判为「全透明」（复审 r1 p2-1） 
先按 alpha 过滤像素、再做块平均（整块全透明则跳过）。原实现先平均再比门槛，
块内 255 与 0 的整数除法得 127 < 128 → 512×512 里 131072 个不透明像素被报
NoOpaquePixels，UI 会告诉用户「背景图几乎全透明」，与事实相反。
- 新增 half_transparent_image_keeps_its_opaque_colour（红）
- 新增 mostly_transparent_image_still_samples_the_visible_part
- 模块文档加一行「混合透明度」的处置与踩坑说明
 2026-11-02 11:04:59 +08:00
AskaEth 36c1cce00d test(design): 补「先量化再打分」的端到端反证（复审 r1 p1） 
reviewer 实测变异：把 analyze_rgba 改成不透明像素算术平均，150 个测试全绿——
因为反证只测了 quantize/score 中间层，接线没人覆盖。新增：
- seed::tests::end_to_end_picks_the_five_percent_accent（95% 米白 + 5% 珊瑚 → #FF6B5A）
- seed::tests::end_to_end_picks_the_three_percent_accent（97/3 → #FF8800）
- resolve::tests::a_five_percent_accent_drives_level_one（一级成功、种子是珊瑚、≠ 回落色卡）
顺带把 seed 的单测拆到 seed/tests.rs（410 行 → 220 + 190，恢复 ≤400 纪律）
 2026-11-02 11:04:58 +08:00
AskaEth 80314f4830 docs(design): hint_key 的文案映射表搬进 provenance.rs 的文档注释 
DevDocs/ 是 gitignore 的本地文档，契约里的「键 → 文案」表review 时看不到，
所以在 hint_key 的 rustdoc 里放同样一张表（差异只有措辞建议，结构一致）。
 2026-11-02 11:04:57 +08:00
AskaEth 31ee69100a refactor(design): resolve 拆成目录模块（单文件 ≤400 行），同步文档口径 
- palette/resolve/{mod.rs,provenance.rs}：编排函数与 Provenance 类型分开，路径不变
- color/mod.rs + palettes.rs：原来的「取色/色卡库不在本 crate、还没实现」改成指向 crate::palette
- 取色 gap 登记改为「单种子已实现，多 source 色仍未实现」
 2026-11-02 11:04:55 +08:00
AskaEth 1aac62f6f0 feat(palette-extract): 图片解码适配层（D40 第 2 层，唯一引入 image 的地方） 
- 新 crate unlucky-palette-extract：路径/字节 → RGBA → design 的种子
- image 只开 png + jpeg（关 default-features，不拖 rayon/avif/webp）
- 解码前按 Limits 拒超大尺寸（解压炸弹），解码后最长边缩到 256
- input(&Result<Rgba8, _>) 把失败翻成 ImageInput::Undecodable（回落链靠它区分「没设」与「坏了」）
- 11 个单测覆盖纯色/JPEG/抄错扩展名/垃圾字节/截断/缺文件/1px/灰图/大图/超限/零拷贝
 2026-11-02 11:04:52 +08:00
AskaEth 18327fb038 feat(design): 配色来源纯数学层（Monet 式量化取色 + 色卡 + 三级回落 + 对比度收敛） 
D40 分层：design 保持零第三方依赖，只吃已解码的 RGBA 像素。
- palette/quantize：5bit 直方图 + CIELAB k-means（QuantizerCelebi/Score 的形状）
- palette/score：官方 Score 口径（CUTOFF_CHROMA 5 / TARGET 48 / 权重 0.7+0.3）
- palette/seed：seed_from_rgba + D40 彩度门槛 8，灰白图回落而非凭空上色
- palette/card：8 张内置色卡，key 为持久化键
- palette/wcag：26 对文字对比度门禁 + 沿 tone 轴收敛并记录修正
- palette/resolve：纯函数三级来源编排 + Provenance（原因码/提示键）
 2026-11-02 11:04:10 +08:00
AskaEth d03ba13c0f test(presenter): 修正 tile_viewport 单测的期望值（760/128 量化到 640 而非 768） 
迁移后首次跑 test 时这条自测断言写错：函数行为与原 ui_bind 的实现逐字一致，
错的是期望值。修完 `cargo test -p unlucky-presenter` = 122 passed。
 2026-11-02 10:11:55 +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 8ca1e1e965 fix(cli): 程序名占位符在构造时渲染，两条出口（人类可读 / --json）不再分叉（M82 r3 复审 P2） 
r2 只在人类可读通道渲染 `%prog%`，JSON 两条出口（错误信封的 message/hint、Report 的
warnings）直接序列化未渲染文本，于是 `--json lst` 吐出 `"hint":"%prog% --help 查看命令列表"`
——连 `ull` 自己的 JSON 都被这轮改动弄坏了。

改成**构造时渲染**，一个入口管住所有出口：
- `CliError::usage/user/internal/with_hint` 统一过 `render()`（错误只有这一处成形）；
- `Report::new` 渲染 human 行，`Outcome::with_warnings` 渲染 warnings；
- `print_report` / `print_error` 不再各自渲染（渲染点只有一个，不会再有第三条出口漏掉）。

回归测试三条：`json_error_envelope_never_leaks_the_placeholder`、
`json_warnings_never_leak_the_placeholder`、`human_lines_render_the_placeholder_too`
（后者同时断言「账户名恰好叫 ull」这种用户数据不被改）。
 2026-11-02 08:08:16 +08:00
AskaEth 2f8bbd1746 fix(cli): 程序名只替换模板占位符，不再改写用户数据（M82 r2 复审 P2） 
r1 把 `rename` 套在**插值后的整条文本**上，于是用户数据被改坏：账户名恰好是 `ull` 会变成
`unlucky-launcher`，路径 `D:/tmp/ull/.ULL/...` 会变成 `D:/tmp/unlucky-launcher/.ULL/...`，
回显的子命令 `ull` 也会被改名。

改成模板占位符：文案里写 `%prog%`，**只在渲染时**（print_report / print_error / 帮助）替换成
argv[0] 的 basename。占位符只存在于静态模板里，插值进来的账户名 / 路径 / 子命令碰不到它。
用 `%prog%` 而不是 `{prog}`：这些模板要活在 `format!` 里，`{prog}` 会被 format! 当成参数名
编译失败。

同时补上 r1 漏的反方向：**stdout 的正常输出**（Report.human 与 warnings）现在也做替换，
以前只有 stderr 的错误做了，两边不一致。

回归测试：`user_data_that_says_ull_is_never_rewritten` 断言「账户名 `ull`」「路径 `\ull\`」
「未知命令 `ull`」在 fill 之后逐字不变。

占位符替换覆盖 21 个文件的 63 处文案；测试夹具里形如 `ull-mcp-diagnose-<pid>` 的临时目录名
已回滚为字面量（那不是文案）。
 2026-11-02 08:08:13 +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
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 87d5dd8f67 docs(app-iced): 订正 meta_grid 注释（1180 与 900 都是 2 列） 
r3 复审：`meta_grid` 的文档还写着「1180 → 3 列，900 → 2 列」，但本轮起两者都是 2 列。

证据：`grep -n "3 列" crates/app-iced/src/pages/instances.rs`
- 旧：`/// 元信息网格：列数由 [...] 决定（1180 → 3 列，900 → 2 列）。`
- 新：写明「1180 与 900 都是 2 列；3 列需要 3×160 + 2×12 = 504px > 行宽上限 424，数学上不可行；
  硬塞回 3 列会让 NeoForge 20.4.237（118px）折行、同排卡底不齐」。
- 现在文件里唯一出现「3 列」的地方就是这条「不可行」的说明（第 275/276 行）。
 2026-11-02 03:52:24 +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 c5c543ba43 docs(app-iced): 必修3 504→435 一轮留下的三处文档漂移 
视觉 r2 逐条点出来的三处「偏离登记与对外口径没跟着改」：

1. `pages/mod.rs` 偏离 #1：详情列右缘写 976 / 分歧 180px —— 行宽收到 424 后实测是
   页头右缘 **1156**、详情列右缘 **896**（472 + 424），分歧 **260px**；
2. `pages/mod.rs` 偏离 #3：单列页占比写 48%（435/1044）—— 现在是 **40.6%（424/1044）**；
3. `frame/pieces.rs` 的 `scroll_style` 函数头仍写「滑块 `Outline`、尺寸取 iced 默认」——
   实现早已是 `OutlineVariant` + 6px 轨 + 2px 内缩，文档跟上。

三处都在 D30 要求「逐条写清」的偏离登记/口径里，属于对外承诺，不是内部注释。
 2026-11-02 02:04:32 +08:00