AskaEth/Unlucky-Launcher
1
0 Fork 0
Code Issues Pull Requests Actions 4 Packages Projects Releases Wiki Activity
264 Commits 3 Branches 4 Tags
bbf96de9b382d72fd75bf467517e90b11e8ab8c4
Commit Graph
6 Commits
Author SHA1 Message Date
AskaEth f67b24cc7b fix(app-iced): M100 r4 P2-1 —— 终态判据加「取证模式」前提，交互预览关窗不再 exit 1 
复审在 `d298691` 的导出上实测：交互预览模式（不给 `--screenshot`）关窗会被新判据判成失败，
exit 1 + 一句「取证结束但没有任何图落盘（窗口提前消失 / 落盘失败）」的**假消息**。
那是把「从未要求出图」判成「取证失败」，退出码因此失去区分力
（真崩溃 / 真取证失败 / 正常关个预览窗全是 1）。

- `no_evidence(capture_mode, written) = capture_mode && written == 0`；调用点传
  `request.screenshot.is_some()`。判据里写明：交互预览模式下 `subscription` 是 `None`、
  永远不会有 `Captured`，所以「没写盘」在那里不是失败。
- 注释补一条「为什么用计数器而不是 `path.exists()`」：旧 PNG 会让 exists 骗过判据。
- 断言改名 `finishing_without_a_single_write_is_a_failure_only_while_capturing`，
  三条：`(false,0)=false`（这次的红线）/ `(true,0)=true` / `(true,1)=false`。

顺手 p3：
- p3-1 `CAPTURE_GIVE_UP_FRAMES` 注释删掉「约 3~4 秒（~120ms/帧）」这个没测准的数字，
  改成写明帧间隔量级差异（复审实测 2~3ms/帧 vs 本机 `[perf]` 的 ≈200~300ms/帧），
  「要调按第 3 帧派发→第 4~5 帧落盘的结构关系调，别按秒」。
- p3-2 旧字段名 `writes` 的注释改成「这个计数器（旧字段名叫 `writes`）」；顺带把
  `capture_stalled` 的形参 `writes` 改名 `written`，与字段对齐。
- p3-3 `examples/pages_demo.rs` 的 usage 漏 `--appearance`/`--passthrough`：该文件**不在本
  mission scope**（scope 只有 `pages/harness*`），不扩 scope，欠账仍记在已开的 finding 里。

实测：
- 交互预览（WM_CLOSE 关窗，取真实退出码）：最终二进制 5/5 有效跑 exit=0、`没有任何图落盘` 行 0；
  另 2 次 exit=0xC000013A（STATUS_CONTROL_C_EXIT，控制台 Ctrl 事件打断，日志停在半途）不计。
  修前同场景 4/4 exit=1。
- M3 变异（第 3 帧 `window::screenshot` → `window::close`）3/3 exit=1 + 具名行（没被误伤）。
- M4 变异（`CAPTURE_GIVE_UP_FRAMES` 30→0）2/2 exit=1 走「采样超时」（没被误伤）。
- 正常取证 `--appearance=real` ×6：exit=0 / png=yes / `落盘次数=1` / `passthrough_ext=on` /
  错误行 0 / sha256 `414a71fcb77e9b38…`（与 r1~r4 基线逐字节相同，像素没动）。
 2026-11-03 19:20:50 +08:00
AskaEth d298691c17 fix(app-iced): M100 r3 P2-1 —— 判据从「帧超时」升级成「终态无证据即失败」 
复审在 `95530a5` 的导出上用变异实测证明：把第 3 帧的采样换成 `window::close(id)` 时，
进程 **exit 0 且没有 PNG**，日志与成功跑同一形状只少了出图那几行 —— 只看退出码的脚本会读到
「成功 + 零证据」。

根因：`window::frames()` 只在 `Event::Window(RedrawRequested)` 时产消息，窗口消失 ⇒ 不再有帧
⇒ `Message::Frame` 不再产生 ⇒ `capture_stalled` **永远求值不到**；同时 iced_winit 对「最后一个
窗口 Destroyed」直接 `Control::Exit`，`run()` 返回 `Ok(())` ⇒ 例子返回 SUCCESS。
我原来在 `CAPTURE_GIVE_UP_FRAMES` 的注释里把「窗口消失」写进了覆盖清单，实测是**说反的**。

改法（后置不变量，比超时强）：
- 落盘计数改成共享 `Arc<AtomicU32>`，**只在 `shot::save` 成功后**自增（U1：不是「打算写」）。
- `run()` 里 `outcome?;` 之后加终态判据 `no_evidence(written) == 0` ⇒ 打具名错误并 `exit(1)`。
- 帧超时兜底保留（管「有帧但采样回不来」）；注释订正为三路：后端报错 ⇒ Err（本就非 0）、
  窗口消失 ⇒ 帧不再产生 ⇒ 由终态判据兜住、有帧但采样卡住 ⇒ 帧超时。

实测：
- 正常路径（最终二进制 ×6）：exit 0、PNG 存在、`落盘次数=1`、`passthrough_ext=on`、sha `0d7b4f5b`、错误行 0。
- **M3 变异复现**（采样换成 `window::close(id)`，×3）：**exit=1**、**PNG 不存在**、
  `[harness] 取证结束但没有任何图落盘（窗口提前消失 / 落盘失败），按失败退出`。
- **M4 变异**（`CAPTURE_GIVE_UP_FRAMES` 改 0，×2）：仍 exit=1 + `采样超时` ⇒ 旧兜底没被改坏。
- 新断言 `finishing_without_a_single_write_is_a_failure` 守终态判据（变异：删掉 `run()` 里那条
  检查不会让它红——它守的是判据本身，不是调用点，报告里写清了「抓不住」）。
 2026-11-03 17:34:14 +08:00
AskaEth 95530a5311 fix(app-iced): M100 r2 p3-b —— 采样回不来时红着退出，不再挂死 
r1 的一次性闸门把「每帧重试」换成了「只试一次」，于是若 `window::screenshot` 的 Task 根本
产不出 `Captured`（窗口消失 / 后端报错），harness 既不再采样也不 `exit()` ⇒ CI 上表现成
**超时**而不是红灯。超时会被当成基础设施抖动重跑过去，红才会被人看。

- 新增 `CAPTURE_GIVE_UP_FRAMES = 30`（实测 ~120ms/帧 ⇒ 约 3~4 秒，远大于正常路径
  「第 3 帧派发 → 第 4~5 帧落盘」）。
- 新增纯判据 `capture_stalled(frames, writes) = writes == 0 && frames > CAPTURE_AT_FRAME + N`：
  不区分「一直没派发」与「派发了没回来」——两者对使用者的表现都是「没有图」，都该红着退出。
- 触发时打一行具名错误并用 `std::process::exit(1)` 退出：iced 0.14 没有「带退出码结束」的入口
  （`iced::exit()` 恒 0），而这条的全部意义就是让 CI 看到红。

实测：
- 正常路径 ×5：exit 0、`落盘次数=1`、`passthrough_ext=on`、sha `0d7b4f5b`，`采样超时` 行 0 次。
- 变异（N 改 0）：两条新单测红（399 passed / 2 failed），真二进制跑出
  `[harness] 采样超时：已过 CAPTURE_AT_FRAME+0 帧（当前 4 帧）仍未收到 Captured，放弃并红着退出`
  且 **exit=1**（×3）。改回 30 后单测 401 passed、二进制 exit 0。
 2026-11-03 16:23:13 +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
AskaEth 022778a5a7 fix(app-iced): M90 r2 —— 找回窗口装饰 + 按需节拍 + 数据根一致 + 假绿守卫 
复审 P1-1（产品页丢窗口装饰）：shell 加内容槽位 view_with_content(ui, nav, title, content, forced)，
app/view.rs 把 pages::page(...) 塞进真外壳；shell::view 保留给 Route::Agent 回落（删了会让私有
view/nav::rail 变死代码，-D warnings 红）。content() 拆到 shell/fallback.rs 让 mod.rs 回到 365 行。
1180 浅/深新图右上角三个 caption 键实测：ink 中心 y=23.5（栏高 48 的一半）、x 中心 1064.5/1110.5/
1156.5 = 46px 分档的 1065/1111/1157（±0.5px），close 命中区右缘 = 1180 窗角。
偏离 #7 改写成「交互面缺失」并注明本轮已修。

P1-2（harness.rs 402 行）：tests 外置到 pages/harness/tests.rs（343 + 64 行）；
components/gate.rs 的行数守门从走查 components/ 扩到 src/**（新测试当场抓出 app/tests.rs 416 行，
已按同样办法拆成 app/tests.rs + app/tests/presenter.rs）。

P2-1（常驻重绘 + 每拍重建模型）：subscription 只在「截图 / 有 Busy-Running / 有 toast / 3 s 派发
观察窗」时订阅 window::frames()；refresh_view 加 view_dirty 门。实测交互模式 9 s：只有 2 行 tick
trace（n=30/60，观察窗内），之后 6.5 s 一条都没有；refreshes 全程停在 7。

P2-2（两个数据根）：--data-dir 时 SettingsBridge::with_path(config_path(root))，与后端同根。

P3-2（假绿）：新增 RecorderBackend（dispatch 只记账、drain_events 恒空）+ launching_only_dispatches
_and_never_echoes_locally；植入本地回显后该测试实测转红（status 变 Downloading · 0%、can_stop 翻
true），撤回后转绿。
P3-3：尺寸字面量守门目录加 app；P3-1：--force-state 经 pages::Model::forced 作用到产品页控件
（hover 图里页头/列表/动作行/rail/caption 全部可见状态层）；视觉 P2-2：加载器名统一走 badge()。

gallery 回归改口径：r2 与「主线 + r1」的 gallery 逐字节相同（cmp IDENTICAL）；与 r1 记的
c825e1a 基线不同，差异来自主线 M86/M88 的令牌收口，不是本 mission。
 2026-11-02 15:56:58 +08:00