AskaEth/Unlucky-Launcher
1
0 Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
646 Commits 3 Branches 5 Tags
15309394ac62cd126d8927d0f16b3cda9ef9b636
Commit Graph
7 Commits
Author SHA1 Message Date
AskaEth abc51a957b fix(app-iced): M116 r4/r5 —— 产品窗口不是 WS_POPUP（真凶是整窗 α 的 layered）+ 裁定 A 落地 
r4 复审 p1（证据链前提错误）+ 裁定 A（D47：整窗透明度优先于 DWM 圆角）。

## 事实订正（四处错前提 + 两处残留断言）
- `probe.rs`：删掉「winit 在 decorations=false 下给 WS_POPUP」与「popup+layered = 本产品
  窗口的完整形状」。产品样式按 winit `window_state.rs::to_window_styles` 的来源写成
  `PRODUCT_STYLE`（`WS_CAPTION|WS_BORDER|WS_CLIPSIBLINGS|WS_SYSMENU|WS_THICKFRAME|
  WS_MINIMIZEBOX|WS_MAXIMIZEBOX` = `0x04CF0000`，**不含 WS_POPUP**），并新增
  `product` / `product+alpha` 两行（五行实验）。裸 popup 行改名为 `probe:popup*`，
  明确标注「对照，不是产品形状」。
- `corner.rs`：平台矩阵第 ③ 条改成「调整带只给带 WS_CAPTION|WS_THICKFRAME 的窗口；
  裸 popup 假形状上的 `+0,+0` 不能解释产品」；补第 ④ 条「整窗 α 会关掉圆角（裁定 A）」
  并说明日志里 `pref=` 有值即证明请求确实发出。
- `app/update/appearance.rs` 与 `transparency/{dwm.rs,transparency.rs}` 的注释：把「第一嫌疑是
  无边框 WS_POPUP」改成「整窗 α 引入的 WS_EX_LAYERED」；`frame=` 的真进程取值写明是
  `overlapped`（关 min/max 则 `other`），**永远不会是 popup**。
- 实测复核（`m116_corner_controlled_experiment`，本机 Server 2025 / RDP 断开）：
  `product` 行 `Δframe = +0,-7`（与 `decorated` 同格），`product+alpha` 也是 `+0,-7`
  ⇒ 分层位不改变那条带子，`Δframe` 不能解释圆角失效。

## 裁定 A 落地
- 日志新增中立观测栏 `suppressed_by=window_alpha`（`format_line` 多一个参数；进 `CornerApplied`
  指纹，α 1.0↔<1 各触发一次重下/一行日志）。只陈述「分层位来自我们的整窗 α」。
- 设置页：外观说明句写明「开启整窗透明度时 Windows 不会给窗口圆角，回到 100% 自动恢复」；
  新增 `SettingsAppearanceCornerSuspended` 一档，仅在「跟随系统 + α<1」时作为**当前状态提示**
  出现；档位本身照常显示用户选的值（不偷偷改成「直角」）。中英双份 + golden。
- 未动：per-pixel α、D36 的 LWA_ALPHA 实现、α 与圆角的优先级。

## 顺带
- `presenter/prefs.rs` 的 `AppearanceBase` 文档「三个键/只读」→「四个键」（r4 P3）。
- 证据目录（DevDocs/artifacts/m116/{README.md,probe-table.md}）按上面重写：五行真值表原样贴出、
  产品行标明「跑出来的不是手写的」、旧的「无边框 ⇒ 没有边框带」结论改为「只在假形状上成立，
  产品不用这个形状」。

门禁：check 0 / fmt --check 0 / `cargo test -p unlucky-app-iced --lib` 0（448 passed, 0 failed,
2 ignored）。ignore 探针实跑：`PROBE_RC=0`，两行产品读数见报告。
 2026-11-05 06:35:19 +08:00
AskaEth 88dbf6d955 feat(app-iced): M116 窗口外框圆角策略（跟随系统/直角）+ DWM 读写的受控对照实验 
用户问「为什么窗口没有圆角」。核实：组件层圆角齐，但窗口外框**零处理**——代码里没有任何
Dwm* / SetWindowRgn。本 mission 先做实测，再按平台分开落策略。

判据（纯函数、可真值表）：
- `platform::plan_corner(策略 × 系统版本 × 渲染档)` → `source=dwm|square` + `excluded_reason`。
  Win11 / Server 2025（build ≥ 22000）→ DWM；Win10 及更早 → 直角（不做 SetWindowRgn 毛边默认）；
  探测不到版本（macOS / X11 / Wayland）→ 直角 + `unknown-os`（「不承诺」而不是「做不到」）。
  CPU 档在 Win11 上照样用 DWM（D36 限制的是我们自己的合成技巧，不是系统合成器）。

落点：`platform/win32/transparency.rs` 仍是全仓唯一 unsafe 文件，新增 DWM 的 FFI 与安全包装；
`alpha.rs` / `dwm.rs` / `probe.rs` 三个新子模块零 unsafe、零 extern（沿 exstyle.rs 的既有形状）。

实测（本机 Server 2025 build 26100、RDP 会话断开、同进程三窗口对照）：
- `DwmSetWindowAttribute(DWMWA_WINDOW_CORNER_PREFERENCE)` 在 WS_OVERLAPPEDWINDOW / WS_POPUP /
  WS_POPUP|WS_EX_LAYERED(α=0.8) 上**全部成功** ⇒ 无边框与整窗 α 不会让属性设不上；
- `DwmGetWindowAttribute` 同一属性三种样式**全部 E_INVALIDARG** ⇒ 本机不支持回读，与样式无关；
- `DWMWA_EXTENDED_FRAME_BOUNDS − GetWindowRect`：有边框 = +0,−7，popup = +0,+0
  ⇒ DWM 只给有边框窗口加不可见调整带，我们的窗口没有可画的圆角区域（结构性解释）。
- 像素（角上透明/方块）**未验**：RDP 断连导致 CopyFromScreen / gdigrab 全废。

同时修掉一个自己踩到的判据错误：`i32::unsigned_abs()` 不能用来打印 HRESULT
（E_INVALIDARG 0x80070057 会被印成 0x7FF8FFA9）。现在 HRESULT 用 `hr as u32` + 严重性位，
GetLastError 的 DWORD 语义保持 `unsigned_abs` 并写死注释（两者不同源，别统一）。

配置：新键 `appearance.window_corner ∈ {system, square}`（出厂 system），schema 1.5.0 只推 minor、
不写迁移：老文件缺键 = 取默认 = 跟随系统；旧版本读新文件时未知键被登记并原样写回（`RenderMode::Full`），
只在显式 `store.set` 该键时才 `UnknownKey`。

设置 UI：外观组只留两档（跟随系统 / 直角）+ 一句按平台说清的说明，文案走 i18n 中英。
日志：`[corner] <ctx> corner=policy=… source=… os=… excluded_reason=… radius=system pref=… readback=… frame=… layered=…`
（形状由 `corner::format_line` 的格式化单测钉住，用探针窗口真实读数构造）。

证据：DevDocs/artifacts/m116/{README.md,probe-table.md}
 2026-11-05 06:35:03 +08:00
AskaEth da2da4cd9b fix(app-iced,presenter): M93 r4 —— Float 键写不回 / prefs.rs 超限 / CPU 档判定 / 平铺退化 
复审（代码）r1 的两条 P1 + 两条必修。

P1-1 `SetSetting` 写不回 Float 键（整窗透明度重启回旧值）
- `presenter/src/host/settings.rs::parse_value` 改成**按 schema 的 `ValueKind` 取类型**，
  不再硬编码 Int/Bool 键名。历史：`appearance.window_opacity`（Float）被当 String 送进
  `store.set` → schema 的 `as_f64()` 返回 None → `InvalidValue` → **`save()` 根本没执行**，
  α 只在内存生效、重启回旧值、每次拖动弹一条 Error toast。
- 测试（presenter 层，`host/settings_tests.rs`）：
  ① `float_key_round_trips_through_set_setting`：set 0.8 → **新开 store（= 重启）** 读回 0.8；
  ② `every_float_key_in_the_schema_can_be_written_back`：遍历 schema 里**所有**
  `ValueKind::Float` 的键逐个写回并读回（集合级守门，下次新增 Float 键漏接会立刻红）。

P1-2 `presenter/src/prefs.rs` 404 行 → 拆测试
- `#[cfg(test)] mod tests` 整体挪到 `crates/presenter/src/prefs/tests.rs`，结构体与 re-export
  一字未动。`wc -l`：**404 → 315**（tests.rs 90 行）。

P2-2 CPU 档判定只在 `--renderer=cpu` 时成立
- 新增 `app/backend.rs`：`effective_backend()` 把 `probe::apply` 写下的 `ICED_BACKEND`
  候选列表翻回档位（`tiny-skia` / `tiny-skia,wgpu` → CPU；`wgpu,tiny-skia` → GPU；未设 → 请求值）。
  `App::with_presenter` 用它喂 `appearance::State`，于是**默认 Auto 档在没有独显的机器上**
  也会走「面板 α / 玻璃强制 1.0」。
- 测试：`every_iced_backend_list_maps_to_a_tier` + `auto_with_a_software_renderer_forces_the_panel_opaque`。
- 实跑：`ICED_BACKEND=tiny-skia`（= probe 在无独显机器上写下的值）→
  `[appearance] boot … panel_alpha=1.000 (requested 0.550) backend=cpu`。

P2-1 平铺退化成「一条竖条」——根因不是几何，是**渲染层没吃 scale**（r3 的编辑没落到 `tiled()`）
- `picture::tiled()` 原来仍用 `ContentFit::None` + 原图尺寸，所以 `tiles()` 算出的 `scale`
  完全没被消费：小图被按 32dp 画在 129dp 的格子里 ⇒ 到处是缝。
- 现在：每块 `源尺寸 × tiles.scale`、`ContentFit::Fill`、行高显式 `Fixed`、整列 `Fill`。
- 诊断：新增 `background::small_tile_note()`（短边 < 200dp 的图在 tile 档下给一句
  「scaled up so the window stays covered」），已接进设置页诊断块（首屏可见）。
- 测试：`tile_grid_always_covers_the_viewport_within_budget`（6 组尺寸，含 32×32 / 16×16 / 1×1，
  断言覆盖 ≥ 视口且块数 ≤ 预算）、`small_images_get_a_tile_diagnostic_instead_of_silently_degrading`。
- 出图：`r5-tile-tiny32.png`（32×32 铺满全窗、右缘无裸白、提示可见）、`r5-tile-120.png`、
  `r5-tile-big.png`。

顺手（复审 P2-3/P2-4/P2-5）
- P2-4：`MAX_SOURCE_EDGE` 16384 → **8192**，并给解码器加 `image::Limits`（宽/高 + `max_alloc`
  320MB）作第二道闸；补 `an_over_sized_image_reports_too_large_instead_of_trying_to_decode`
  （`TooLarge` 这条分支此前无测试）。
- P2-5：`transparency.rs` 补一段「为什么 `LWA_ALPHA` + `WS_EX_LAYERED` 不影响命中测试与
  自绘标题栏拖动」（穿透要 `WS_EX_TRANSPARENT` 或 `LWA_COLORKEY`，两者都没用；`window::drag`
  走 `WM_NCLBUTTONDOWN(HTCAPTION)`）。
- P2-3：断链 `[background::dimmed]` → `dim_alpha`；`iced/image` → `image-without-codecs`；
  测试文档 204 → 205；马赛克残留说明只保留 r1→r2 的历史一句。
- 解码在 UI 线程同步做：**登记欠账**（挪后台线程超出本 mission）。
 2026-11-02 18:46:43 +08:00
AskaEth 22e4c423fa feat(app-iced): M93 r2 —— 背景图真图直出 + 面板 α 收敛到 Ui::layer 
复审前补齐两处（tower 扩 scope：Cargo.toml / pages/frame.* / theme.rs / presenter::prefs）。

1) 背景图**真图直出**
- `iced` 开 `image-without-codecs`（刻意不用 `image`：后者会打开 `image/default` 全套编解码器）；
  编解码能力由本 crate 的 `image` features 决定，补了 `jpeg` / `bmp`（用户挑的背景图/壁纸多半是 jpg）。
- `pages/appearance/picture.rs`：`Cover`/`Contain` 走渲染器 `ContentFit`，`Tile` 按 `background::tiles`
  算行列（上限 64 块）真的铺 N 个图块；暗化 = 一层「版面底色 @ α=dim」叠在图上。
- 36dp 马赛克那条路**已删除**（不再是主路径，也不留死代码）。
- 踩坑记录：`Handle::from_bytes` 的纹理分配赶不上截图第 3 帧（实测画面全空），改用
  `Handle::from_path`（渲染器自己解码），已在 `picture::image_handle` 的文档里写明。

2) 面板 α **收敛到唯一来源**
- `Ui::layer()` 直接乘上面板 α（新增 `Ui::panel_alpha` / `with_panel_alpha`，默认 1.0、
  `scale_alpha(1.0)` 逐字节不变），`app::rebuild_ui` 注入生效值。
- 于是外壳（根容器/标题栏/导航轨）、`frame::card`（实例/下载/日志三页卡片）、
  `frame::header_bar`（新增底色）、外观分组卡片、空态图标块**全部同源**，
  调用点不再有任何 `panel_color(..)` 自乘（该 helper 已删）。
- 有背景图时根容器不再盖一层实色画布（否则 panel α=1 时背景图整块被挡）。

3) `presenter::prefs` 补重导出 `PANEL_ALPHA_MIN` / `BG_DIM_MAX`，app-iced 里两份 0.4 / 0.95
   字面量改为转发常量。

验收：11+3 张图（`C:\Temp\ull-shots\wt-93\r2-*.png`）——三档填充肉眼可分、`.jpg` 能加载、
GPU 档 panel55 时卡片/分组卡/页头带都透出背景、CPU 档仍强制 1.0 且背景在面板空隙可见；
另附实例/下载/日志三页 panel55 各一张，证明三页都吃到同一个 α。
 2026-11-02 18:07:32 +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 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