AskaEth/Unlucky-Launcher
1
0 Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
293 Commits 3 Branches 4 Tags
bc3a2b56a4d10ff43fb0023fb2362d5b0b7e739c
Commit Graph
11 Commits
Author SHA1 Message Date
AskaEth 41746d1612 fix(app-iced): M116 r1 复审 —— 口径降级为「不承诺」、修掉伪造读数与两处错注释、圆角下发去重 
四条 P1（全是「口径与证据不符」，行为未变）：

1. 把「Win11 一定有系统圆角、边缘平滑」从事实降级：`corner.rs` 的平台矩阵改成
   「实测 / 解释 / 推断 / 未验」四列，并明写本机只测到「写入被接受 / 回读 E_INVALIDARG /
   无边框窗口没有 DWM 调整带」；设置页与 golden 的说明句改成「我们**请求**系统圆角，
   是否圆、边缘什么样由合成器决定」，不再承诺结果。
2. 删掉证据目录里那条伪造读数 `readback=2`：本机三种样式回读全是 `E_INVALIDARG`，
   该值物理上产不出来，也不可能由 `format_line` 产出。改成显式的「合成示例（非实测）」，
   并把每一栏标注成真实/示例来源。probe-table 的「没有一条是推断」标题一并拆开，
   结论 4/5 明确标为**解释**（并写明 Δframe 之差是样式位的同义反复，不能反推 DWM 决策）。
3. `keys.rs` 的「旧读新」语义按实际链路改写：1.4.0 读 1.5.0 文件走
   `SchemaCompat::check_url` → `ReadOnlyPreserveSchema` → `SchemaCompat::access` →
   `FileAccess::ReadOnly`，**整份配置只读**（值照读、`store.set` 报 `SettingError::ReadOnly`、
   `save` 跳过），不是「只是少一档」。
4. 两处错注释订正：
   - `hresult_ok` 的理由改成 `S_FALSE` 的通用语义，并明写 `0x7FF8FFA9` **不是** DWM 的返回值
     （本机实测是 `E_INVALIDARG 0x80070057`），那是我早期用 `unsigned_abs()` 打印 HRESULT 的产物；
     对应单测也把该常量标为「合成值，只用来钉规则」。
   - `DWMWA_VISIBLE_FRAME_BORDER_THICKNESS` 的文档改成「本机三样式三态实测全 1，不能当判据，
     仅作诊断读数」。

两条裁定：
- CPU 档在 Win11 仍走 DWM（tower 裁定保留）：理由写进 `plan_corner` 文档——D36 约束的是我们自己的
  渲染路径，DWM 圆角是合成器侧的，不增加我方负担；设置页说明同步加了「软件渲染也一样」。
- 「圆角窗口上拖边缩放仍命中」实测未做（RDP 断开、无指针注入手段）：mission 里以 note 记为 dropped
  （store 的 task_drop 对已完成任务不生效，工具层面无法取消勾选，已在 note 里写清）。

六条 P2：
1. probe-table 拆「实测 / 解释 / 未验」并删掉绝对化标题。
2. CPU 档裁定见上（任务书由 tower 侧调整）。
3. 拖边缩放任务记账更正见上。
4. **圆角下发去重**：新增 `corner::{CornerApplied, needs_redispatch}`（指纹 = 策略 / 来源 /
   原因码 / 有没有句柄，不含只有真下发才拿得到的读数），`App::apply_window_corner` 改成
   `&mut self` 并在判定未变时**直接返回**（不动窗口、不打日志）；`App` 新增 `corner_applied` 字段。
   新增测试 `the_same_policy_is_dispatched_only_once`：连续 20 次同策略只下发/记 1 次，
   换档与「首次拿到句柄」必须重下。
5. `dwm_get_rect` 的 `hr == 0` 改成 `hresult_ok(hr)`，「判据只有一处」名副其实。
6. 报告口径修正（诊断已产出、UI 接线待做——`SettingsBridge` 未暴露 doc，接线要改 presenter 的
   `settings_bridge.rs`，不在本 mission scope），本轮不动代码。

门禁：fmt --check exit 0；clippy（5 个 crate）--all-targets -D warnings 零 warning；
lib 测试 app-iced 419（+1 去重测试）/ core 266 / design 163 / i18n 24 / presenter 129 全绿；
改动文件仍全部 ≤400 行（最大 keys.rs 398）。
 2026-11-05 06:35:17 +08:00
AskaEth 25d860b2b3 refactor(app-iced): M116 把圆角单测搬出 corner.rs、日志行收敛到 format_line 
- `platform/win32/corner.rs` 从 413 行降到 200 行（AGENTS.md §3-1 的 400 行硬线）：
  单测搬到 `corner/tests.rs`。
- 日志行的**形状**收敛成一个纯函数 `corner::format_line(context, plan, policy, outcome, style)`，
  于是「`excluded_reason` 这一栏还在不在」不依赖真窗口也能被断言。
  新增 `the_log_line_shape_is_pinned_with_the_measured_readings`：用本机探针窗口的真实读数
  （Server 2025 / 26100、读回 E_INVALIDARG、frame=popup）逐字段钉死，
  并把 policy × 系统 × 渲染档四种 `excluded_reason`（none / user / os-build / cpu-tier / unknown-os）全覆盖。
- `set_layered` 补一段「这里是 GetLastError 的 DWORD 语义，`unsigned_abs()` 有意保留；
  DWM 那侧是 HRESULT 语义、必须 `as u32`」的注释 + 对应用例（tower 2026-11-03 裁定：两者不同源，不许统一）。

门禁：fmt --check ✓ / clippy -D warnings（5 个改动 crate）✓ /
lib 测试 core 266 + design 163 + i18n 24 + presenter 129 + app-iced 418 全绿。
 2026-11-05 06:35:03 +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 839a142db0 fix(app-iced): M100 r1b —— 把 unsafe 收回唯一标记文件（IsWindow 搬回 transparency.rs） 
复审实测抓到：`transparency/exstyle.rs` 里写了 `extern "system" { fn IsWindow }` 与
`unsafe { IsWindow(hwnd) }`，而该文件**没有** `#![allow(unsafe_code)]`。它编得过是因为 lint
级别沿模块树继承；`guards.yml` 的 unsafe-scope 判的是「**带放行属性**的文件集合恰好等于
transparency.rs」⇒ 门禁照样绿，但「全仓唯一允许 unsafe 的文件」这个**性质**已经破了。
这正是「门禁通过 ≠ 性质成立」。

做法（与既有 `raw_ex_style` 同款，不加新面）：
- `transparency.rs` 的 `extern "system"` 块里补 `IsWindow` 声明，并新增安全包装
  `pub(super) fn window_exists(hwnd) -> bool`（0 / 无效句柄 → false）。
- `exstyle.rs` 改成 `if hwnd == 0 || !super::window_exists(hwnd) { return None }`，
  自身**零 unsafe、零 extern**；文档里也不再出现 `unsafe {` 字面量，好让「全仓 unsafe 块
  位置集合 ⊆ {transparency.rs}」这句话能直接用 grep 复核。
- 行数：transparency.rs 385 / exstyle.rs 107（都 <400）；测试仍 399 条，无增删。

三态行为不变（重跑对照）：默认 `passthrough_ext=on` ×5、`--passthrough=off` 为 `off` ×3；
两者 sha256 都是 `0d7b4f5b…`（再次印证 hash 对密闭零判别力）；真控件图仍 `414a71fc…`。
 2026-11-03 15:48:09 +08:00
AskaEth 380fac0324 fix(app-iced): M100 r1 返工 —— 一次一采样 + OS 层密闭指标 + 文档口径订正 
三条复审意见 + 六条 p3，全部落在原有文件里（另加两个拆分文件）。

P2-1 截图落盘「最后写入者说了算」（真竞态）
  `Message::Frame` 以前在 `frames >= CAPTURE_AT_FRAME` 之后每帧都发一次 `window::screenshot`，
  `Captured` 每次都覆盖同一文件才 `exit()`；已派发的采样不会因 exit 撤回 ⇒ 落盘内容是调度结果
  （复审实测 12 次里 7 次写了两次；把窗口在两次采样之间改成 900×600，落盘就是 900×600）。
  现在闸门 = `should_request_capture(frames, dispatched, capture_mode)`，派发即置位、只开一次；
  `Captured` 计数落盘次数并打进日志。实测 12/12 次「[shot] -> 文件」行恒为 1、`落盘次数=1`。

P2-2 密闭证据换成 OS 层
  `platform/win32/transparency.rs` 加安全 getter `click_through`（unsafe 仍只在既有唯一落点）；
  该文件因超 400 行又拆出 `transparency/exstyle.rs`（子模块继承父模块的 `#![allow(unsafe_code)]`，
  `unsafe-scope` 门禁判据不受影响）。日志三态 `[caps] passthrough_ext=on|off|unknown`：
  `None` 记 `unknown`，绝不记 `off`。实测默认 on 12/12、`--passthrough=off` 为 off 3/3。

P2-3 头注释「下放」→「新增」，并订正「接真控件改 3 个文件」
  （section 文件里的 body 绊线 + 该 section 的 `GROUP` 文件 + `tests/mod.rs` 跨 section 绊线）。

p3 六条：shell 断言说明改准（默认值那条归 cli 的测试）、harness 文档给「指针事件=0」加对照限定、
数字订正（纯搬移 234 / 新增 134）、三文件口径、ai+about 对本文件的两处必改、`Rest` 与真 Disabled
撞语义写进「抓不住」。

文档口径：「8 连跑全稳」不再当密闭证据——同 argv 开/关穿透 hash 相同（实测 0d7b4f5b 两边一样），
它只说明「帧静止 + 落盘确定」。密闭主证据是 `[caps] passthrough_ext=`。

顺带：`run()` 从 `harness.rs` 拆到 `harness/app.rs`（272 / 190 行）。搬移中丢过一条既有断言
`ensure_layered_refuses_a_missing_or_invalid_window`，被编译器 unused-import 警告抓出并复原。
 2026-11-03 15:22:55 +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 5c40c64b5f fix(app-iced): M93 r3 —— 复审 r1 四条返工（Canvas 不吃 α / 平铺补缝 / 诊断上移 / 文档） 
先 `git rebase main`（M92 `eae7ae0` 已在主线；`Cargo.lock` 与 `crates/app-iced/Cargo.toml`
自动合并，`image-without-codecs` 与 M92 的 `unlucky-i18n` 两段都在）。

P2-2（口径违约）Canvas 层不许吃面板 α
- `Ui::layer()` 改成按令牌 `MaterialLayer::allows_translucency()` 判定：Canvas 恒不透明，
  只有 Card / Overlay 乘 `panel_alpha`。判据取令牌的不变量，三个调用点（标题栏 / 导航轨 /
  页头带）没有各自特判。
- 守门：`the_canvas_layer_stays_opaque_while_panels_take_the_alpha`（α=0.55 时 Canvas.a==1.0、
  Card/Overlay.a==0.55；CPU 档连卡片都是 1.0）。

P2-1 平铺不许留缝
- `background::tiles()` 超 `MAX_TILES` 时改成**放大图块步长**（`Tiles { cols, rows, scale }`，
  按 1.15 逐级放大到块数进预算），而不是减列/减行；`MAX_TILE_SCALE` 提到 1024 只是安全阀
  （1×1 的图在 1180×760 上需要 ~118 倍才能用 64 块盖满）。
- `picture::tiled()` 用 `ContentFit::Fill` + 格子尺寸 = `源尺寸 × scale`（同比例，不变形）：
  `None` 会按图片原生尺寸画、比格子小就留空，正是那道缝。
- 守门：`tile_grid_always_covers_the_viewport_within_budget`（6 组尺寸，含 120×120 与 1×1，
  断言 `covered >= viewport` 且 `count <= MAX_TILES`）；背景层底下本来就有不透明画布底色兜底。

P2-3 诊断上移到首屏
- 诊断块（读盘失败红字 / CPU 降级 / 配色回落 / 当前配色层级）从卡片末尾移到「背景图路径」
  紧下方：1180×760 首屏可见（截图 `r4-broken-path.png` 里红字在 y≈594）。

P2-4 文档对齐
- `transparency.rs`：`WS_EX_LAYERED` 的归属改成「本文件的 `ensure_layered` 负责」，
  窗口创建侧只拿句柄；`platform/mod.rs` / `lib.rs` 的模块表同步。
- 删掉「马赛克取样」这类已删实现的现在时描述（`background` / `picture` / `app` 的注释），
  保留一句 r1→r2 的历史说明；`app/tests/appearance.rs` 的测试意图跟着改。

门禁（工作区级，最终树）：`cargo fmt --all --check` 干净；
`cargo clippy --workspace --all-targets -- -D warnings` 无输出；
`cargo test --workspace` 全绿（app-iced 299 lib + 6 集成守门、presenter 126、其余 crate 全过）。
出图：`r4-canvas-opaque-panel55{,-dark}.png`（Canvas 不透明 + 面板透底）、
`r4-tile-120.png`（120×120 平铺右缘无裸白）、`r4-broken-path.png`（诊断首屏可见）。
 2026-11-02 18:18:37 +08:00
AskaEth b8ab46662c feat(app-iced): M93 —— 外观接线：整窗 α / 面板 α / 背景图 / 配色来源 
把 appearance.* 那批键接到窗口与像素上（M91 只落了键与判据，零调用方）。

整窗 α（D34/D36）
- `ensure_layered(hwnd)` 落在唯一 unsafe 文件 `platform/win32/transparency.rs`
  （`WS_EX_LAYERED` 只有 Get/SetWindowLongPtrW 能加，且 CI 的 unsafe-scope 是集合相等）；
  `app/boot.rs` 只负责开窗，句柄到手后由 `Message::WindowHandle` → `window_alpha::dispatch`
  先补样式再下发。本机实测 `layered=ok outcome=Applied { byte: 205 }`（α=0.8）。
- 三条入口都会重算并下发：启动（句柄到达）、设置页改动、配置文件热切。
- `layered` 日志有三态：`n/a`（α≥1，压根不需要）/ `ok` / `FAILED`，避免把「没用到」写成假红。

面板 α 与 CPU 档（D36）
- 面板 α 独立于整窗 α：只作用到外壳层（根容器 / 标题栏 / 导航轨）与外观卡片；
  CPU 档强制 1.0、玻璃强制关（`pages/appearance/alpha.rs` 的真值表 + 单测）。
- 色卡档继续走令牌 baseline，只有取色档（①②级）才换 `Ui` 的 scheme（`Ui::from_scheme`）。

背景图（D38）
- 读盘解码（png）→ cover/contain/tile 三种填充几何 → `bg_dim` 向底色退 → 36dp 网格马赛克；
  iced 的 `image` widget 需要 `iced/image` feature（Cargo.toml 不在 scope），故为已登记降级。
- 读盘失败静默回落 + 一条可读诊断（设置页错误行 + 日志），配色经 `Provenance` 回落色卡。

设置页「外观」分组
- 整窗透明度滑块（下限 0.08）/ 面板透明度（CPU 档禁用并写明 55%→100% 的降级）/
  背景图开关与路径 / 填充三档 / 暗化 / 配色来源三档；改完即时生效并写回：
  bridge 覆盖的 5 个键走 `SettingsBridge::persist`，`window_opacity` / `palette_source`
  走 `AppCommand::SetSetting`（每个键只有一个写者）。
- `SettingsBridge::load_base()`（presenter）让 app-iced 不需要直接依赖 core 就能读回
  `window_opacity` / `palette_source`。

取证
- `ULL_APPEARANCE_*` / `ULL_START_ROUTE` 只影响本次进程（语义同 ULL_TICK_TRACE），
  截图通道不读用户配置（D30）。
 2026-11-02 18:07:31 +08:00
AskaEth ce2c42032b fix(i18n): M92 r1 —— Windows 真 locale 走注册表子进程（零 FFI）+ 删掉假守卫 
复审 p1：`detect_env()` 在 Windows 上恒为 `en`（`LC_ALL/LC_MESSAGES/LANG` 都不存在），
D28 整条中文链（探测 → 扫 CJK → 需下载）在基线平台永不触发。复审在本机（zh-CN）实测
`lang=en raw=None`，这条我认。

**p1 修法（tower 定路线：子进程读注册表，不碰 FFI、不加依赖）**
- 新增 `crates/app-iced/src/platform/locale.rs`：`SystemLocale` 实现
  `unlucky_i18n::lang::LocaleSource`，内部 `reg.exe query "HKCU\Control Panel\International"
  /v LocaleName`（本机实测 `REG_SZ zh-CN`），读不到时退 `/v Locale` 的十六进制 LCID
  （本机 `00000804`），用一张 20 条的短表翻成标签，表外语言返回 `None`（宁可英文，不猜语种）。
  先例同 M73 壁纸探测（`core::platform::wallpaper` 的 `reg.exe` 路线）。
- 子进程走注入的 `RegIo` 接口，单测用 `FakeReg`（不 spawn）；夹具是**本机真机抓的原文**
  （含 CRLF / 前导空白），另有一条 `#[cfg(windows)]` 真机测试证明 `reg.exe` 这条路真的通。
- i18n 仍是纯函数：`lang::resolve(setting, platform, env)` 是四级优先级的唯一实现——
  **`ui.language` 显式值 > 平台源 > POSIX 环境变量 > 英文**，`Detection` 新增 `origin`
  （`setting` / 源自报的 `label()` / `env` / `default`），启动日志因此能写清 `source=registry`。
  配置值不认识时**跳过**继续往下走，不当成任何一种语言。
- `fonts::cjk::probe_with(setting, faces)` 把 `ui.language` 那一级的位置先留好（目前传 `None`：
  设置层还没有读取点，写在模块文档的诚实边界里）；`probe()` 走全链。
- `platform::mod` 的模块表补一行说明 locale 也是「零 unsafe」那一类。

**本机（zh-CN）实跑证据**（`--software-renderer --screenshot …`，exit 0）：
`[font] … | lang=zh-CN locale=zh-CN source=registry cjk=system:"Microsoft YaHei UI"`
——探测出中文、且走的是「扫 CJK 字体」而不是 `not-needed`。

**p2**：删掉 `catalog` 那条 `compile_fail` 守卫（复审两个变异仍全绿 ⇒ 它守的是「这段代码
编译不过」，不是「编译期校验还在」）。改为陈述事实：「`Key` 是枚举，拼错 `E0599`」，
并写明这里**没有**守卫测试及原因。

未动 `ui.language` 默认值（`core` schema 不在本 mission scope，tower 已另记）。
 2026-11-02 16:58:09 +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