 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
|
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 |
|