 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
|
89dcb6bdf3
|
feat(app-iced,i18n): M106 —— 界面跟随系统语言 + 设置页真实语言行
用户原话：「我系统语言是中文 为什么打开软件是英文 并且设置页里面显示的是 English(system)」。
两处根源：①M92 的探测链一直是对的，但 `pages::Model.lang` 在 `app/view.rs` 里写死成
`Lang::En`（`pages::render` 还把下载页写死成英文），探测结果没人用；②设置页语言行是硬编码
字面量 `("Language", "English (System)")`。
新增/改动（按层）：
- i18n：新域 `catalog/general.rs`（24 条中英双份 key，装配链尾追加）+ `catalog/golden.rs`
只追加不重排；`choice.rs`（`LangChoice`：跟随系统/手选 + D28 四级优先级真值表 + 字体优先级真值表）。
- app-iced 语言入口 `src/ui.rs` + `src/ui/lang.rs`：`LangState` = 用户档位 + 探测结论；
启动判定 `ULL_LANG` > 配置 `ui.language` > 系统 locale > 英文；两行日志（探测/生效 + 中文策略）。
- `app/state.rs`：`App` 持有 `LangState`，切语言 = 换目录 + 落盘 + 重建视图模型；
`app/view.rs` 的 `model()` 收 `lang`，不再写死英文。
- 设置页：语言行换真控件（跟随系统 / 简体中文 / 英文，回显「界面当前使用：简体中文」）；
页头、左列分组名、逐实例空态、导航轨标签全部走 catalog。
- presenter：`settings_bridge_lang.rs`（`load_ui_language` / `persist_ui_language`）。
「跟随系统」= **删键**（schema 允许值只有 zh_cn/en_us），读的是 `doc().get()` 而不是
`effective_str`（后者会把默认值 `zh_cn` 当成用户手选，英文机器一启动就被切成中文）。
验证：408 条 app-iced lib 测试 + 28 条 i18n 测试 + 全仓 `cargo test --workspace --exclude
unlucky-app` 全绿；fmt / clippy `-D warnings` 干净；出图 6 张（en/zh × 浅/深 + 下载页对照）
在 `DevDocs/artifacts/m106/`（该目录被 .gitignore 忽略，按仓内惯例作为本地验收产物）。
|
2026-11-04 22:50:09 +08:00 |
|
|
AskaEth
|
d3e959e754
|
docs(app-iced): M101 r4 —— 订正共享点成本数字（3 / 不可行 / 3 处）与三处 p3 措辞
r3 复审：那段「仍然共享」的成本数字与代码事实不符（三条填页线据此取 scope，故按 p1 处理）。
本轮**只改文档/注释**，无产品代码与测试逻辑改动（唯一非注释改动是 t2 断言的 message 字符串）。
- 第 4 条「读页外真值」：`States` 没有 `Default`，加字段会让 4 处 struct literal 全部 E0063
（`pages/mod.rs:154/177/232` + `app/view.rs:70`）⇒ 把 model 塞进 `States` 是 **3 个共享文件**
（含 M104 的落点 `app/view.rs`）；改推「给 `settings::view` 加 `model` 形参」这个**真·2 个文件**
的形状。并订正「在 `app/state.rs` 用真值初始化（1 个文件）」——今天没有语言真值源
（`AppearancePrefs` 无 language 字段，唯一值是 `app/view.rs:128` 硬编码 `Lang::En`）。
- 第 5 条第 ② 条路（改 `Body` 返回 `Task`）**删掉**：`settings::view` → `pages::render` → `App::view`
一路返回 `Element`（iced 0.14 的 view 亦然，且 `view(&self)` 改不了状态），view 期间产出的 `Task`
没有出口；真做要 `settings/mod.rs` + `pages/mod.rs` + `app/view.rs` 三处且另造旁路，明确写「不建议」。
只留第 ① 条（`app/update.rs` 的 `Message::Boot` → `on_boot`，1 个文件）。
- 第 6 条与 `state.rs::demo_groups` 文档：「harness 侧改两处」→ **三处**
（`pages/mod.rs` 的 `page` / `page_with_appearance` / `app_with_appearance`，行 156/179/234）。
- p3：`message.rs` 里守门路径改成 `app/update/settings/tests.rs`（并点名 `settings.rs` 只是 mod 声明点）；
`appearance_section.rs` 的「绞线」错字改「绊线」；断言 message 的 `Some(appearance::body)` 改成源码
实际的 `Some(body)`（本地 fn）；`app/update/settings/tests.rs` 的「抓不住 #2」改成两种洞分开说
（`|` 续行放行；花括号形状的多行 pattern 是**静默跳过**，不是误红）。
|
2026-11-03 23:59:07 +08:00 |
|
|
AskaEth
|
c166944c8e
|
docs(app-iced): M101 r3 —— 补「页外值 / 首帧取数」共享点，守门收窄，文档口径统一
r2 复审 P1：报告与代码文档的「仍然共享」清单只写了 3 项，漏了「读页外真值 / 首帧取数」这半边。
本轮按复审给的第一条路（文档/契约层面诚实交代，不动结构）：
- `settings/mod.rs` 的「仍然共享」扩到 6 条，新增：
4. 读页外真值 —— `States` 只有 appearance + groups，General 要显示 `Model.lang` 就得改
`settings/state.rs` + `pages/mod.rs`（2 个共享文件）或在 `app/state.rs` 用真值初始化
`Groups.language_appearance`（1 个）；给出建议形状：一次性给 `States` 加 `model: &'a Model`。
5. 首帧取数 / 异步发起 —— `Body` 返回不了 `Task`，组自己发不了首帧探测；两条路（`Boot` 分支派发
1 个共享文件；或把 `Body` 返回类型加一条 `Task` 旁路，1 个文件一次性）与「不改的代价」都写明。
6. 隐性代价：`Groups: Sync + Default`（`demo_groups` 的 `static LazyLock` 撑 harness），
非 `Sync` 字段会让编译红在共享的 `settings/state.rs`；给了改法。
- `general.rs` 文档改成正确指引（消息加在本线的 `language_appearance.rs`，落点
`app/update/settings/language_appearance.rs`，**不要**改 `pages/mod.rs` / `pages/message.rs` /
`app/update/page_messages.rs`），并指向上面第 4、5 条。
- `tests/mod.rs` 的「接真控件改 3 个文件」订正为 2 个，并删掉对**已被删除**的
`only_the_appearance_group_carries_a_real_control_body` 的点名；`appearance_section.rs` 的
模块文档与断言消息同步订正（`body = Some(appearance::body)`）。
- 守门 `the_group_dispatch_has_no_catch_all_arm` 判据**结构化收窄**：用大括号深度计数只看
`match message {` 本层（深度 1）的臂，嵌套 match 整段跳过、`|` 折行 or-pattern 续行放行；
只有「本层里含 `=>` 且不以该组变体路径开头」才算兜底。新增两条守门自测：
`the_guard_ignores_nested_matches_and_folded_or_patterns`（复审 P2-3 的假红探针）与
`the_guard_still_catches_both_catch_all_shapes`（`_ =>` 与 `other =>` 仍要红）；
误伤类别如实写进测试 doc 的「抓不住什么」。
- P3：`java::Message::Ping` 的文档改成指向真实存在的绊线（`tests/java_section.rs` 的
`the_java_group_is_still_demo_rows`）；`demo_groups()` 文档写明 `Sync + Default` 的隐性要求。
|
2026-11-03 22:48:05 +08:00 |
|
|
AskaEth
|
029ece3f17
|
feat(app-iced): M101 r2 设置页状态漏斗 + pages/mod.rs 拆分 + r1 复审订正
r1 复审的 P1：消息漏斗只解决了「加一支消息」，一组要画真值仍要改 `settings/mod.rs`
（`Group.body` 与 `view` 只认 `appearance::State`）。本 commit 补齐与消息漏斗同构的状态漏斗：
- 新增 `pages/settings/state.rs`：`Groups`（一个组一个字段，字段类型在组自己文件里）+
`States`（按值传给渲染器的只读视图：外观状态 + 组状态）+ `demo_groups()`（harness 的
`'static` 默认状态）。
- `Group.body` 签名改成 `for<'a> fn(&'a Ui, States<'a>) -> Option<Element>`：每组自己从
`States` 取自己要的数据，「没有可画的状态」返回 `None` 由 `form` 退回演示行。
`appearance` 组照旧接 `pages/appearance/section.rs`（M93 路径行为不变）。
- `App.settings: pages::settings::Groups`（`app/state.rs` 字段列表末尾）+ `app/view.rs` 构造
`States` 走新入口 `pages::page_with_settings`。加/改某一组的字段只改那一组的文件。
- 四个组各自的 `State` 落在各自文件；`java::Message` 留一支只有测试构造的 `Ping`，配
`app/update/settings/tests.rs` 的 `a_group_message_reaches_its_handler_through_the_funnel`
——消息漏斗第一次有**运行时**证据。
r1 其余条目：
- P2-1 删掉 `only_the_appearance_group_carries_a_real_control_body`（被四条 per-group 断言蕴含），
并在同处写明删掉之后「唯一性」没人守；三份 section 文档从「改 3 个文件」订正为 2 个。
- P2-2 `pub mod settings` → `pub(crate) mod settings`（四个消息口模块 `pub(crate)`），
并订正两处理由（lint 按类型自身可见性判，不是可达性）。
- P2-3 `pages/mod.rs` 397 行 → 拆出 `pages/message.rs` / `pages/screen.rs`（纯搬移，`pub use`
保证 `pages::Message` / `Action` / `Screen` 路径不变），并删掉 M101 自己那 18 行重复文档。
- P3-1 订正共享点清单（`Key` 由宏从域文件累积生成，加 key 不改 `catalog.rs`）。
- P3-2 守门改成「除已知臂外任何含 `=>` 的行都算兜底」（`other =>` 也拦），并加「恰好四臂」断言。
- P3-3 `ai.rs` → `ai_about.rs` 单独一条 R100 改名提交，`git log --follow` 不断链。
- P3-4 `message.rs` 的「加一支消息改 1 个文件」订正为 2 个。
|
2026-11-03 20:57:08 +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
|
2061296615
|
feat(app-iced,pages): M100 取证密闭 + harness 参数拆分 + 设置页测试按 section 下放
四件前置事，都是为了设置页正文四条 section 线能并行（不写任何 section 正文）：
1. 取证密闭（两条通道各有各的机制，证据分开算）
- 产品 bin：`cli::ForcedState` 加 `Rest`（静息态），给了 `--screenshot` 且没显式
`--force-state` 时默认 `Some(Rest)`；交互模式仍是 `None`（`shell::overridden`
与 `app/view.rs` 的 `model()` 各补一支）。
- harness：截图窗口开 `window::enable_mouse_passthrough`（winit 的
`set_cursor_hittest(false)`）⇒ 窗口收不到指针事件 ⇒ 全树控件恒为 Active。
为什么用通道级而不是逐控件灌 forced：设置页「外观」区的滑块/文本框/裸 button 都不消费
forced，逐控件做要改十几个组件文件，而新产品组件随时会漏。
- harness 同时数指针事件并打进日志（`指针事件=N`）：让「这张图见过几个鼠标事件」变成
可读数字，替代「连跑几次 hash 一样」那种恒真的假绿。
2. harness 的外观真状态入口：`--appearance=real` 让设置页走 `appearance: Some(..)`
（工厂态 + `ULL_APPEARANCE_*`），新入口 `pages::app_with_appearance`。
`--screen=settings` 之前就有了，但 `appearance` 恒为 None，D30 要的那一屏根本不存在。
3. `pages/harness.rs` 400 行 → 拆 `pages/harness/request.rs`（`#[path]` 范式），
纯搬移部分 240 行 + 新增密闭代码。拆分等价性：同一 argv 的 PNG sha256 与拆分前一致。
4. `pages/settings/tests.rs` 按 section 下放成 `tests/{general,appearance,java,download}_section.rs`，
mod 层只留跨 section 断言（每条写清守什么、为什么不能下放）。
给某组加一条新断言 = 只改它自己那个文件。
顺带：`shell/mod.rs` 在 HEAD 就 399 行、`cli.rs` 394 行，两处都按同一范式把 tests 搬成
`shell/tests.rs` / `cli/tests.rs`（断言一字不动，逐字节可 diff）。
变异验证：把四处实现各改坏一处（默认 Rest、passthrough 默认值、overridden 的 Rest 分支、
view 的 Rest 映射），对应 4 条断言全红（390 passed / 4 failed），恢复后 394 passed。
|
2026-11-03 14:22:40 +08:00 |
|