AskaEth/Unlucky-Launcher
1
0 Fork 0
Code Issues Pull Requests Actions 4 Packages Projects Releases Wiki Activity
280 Commits 3 Branches 3 Tags
73badb8a0256987899e108c4134d33082a3a172e
Commit Graph
136 Commits
Author SHA1 Message Date
AskaEth 73badb8a02 test(app-iced, presenter): M114 出图补三个取证态（第三方站失败 / 离线失败 / 中文错误码） 
- mock 增 `authlib-failed` 场景：AuthlibLoginChanged(Failed, NotAuthlibServer)，原文只进日志
- `ULL_ACCOUNT_STATE=notice` 现在同时打开离线面板（截图能看到「表单 + 失败横幅」同屏）
- 新增**截图专用**语言开关 `ULL_LANG=zh`（仅在 `--screenshot` 下生效）：D30 要求错误码文案
  中英各一张图，交互模式仍钉死 Lang::En（与产品行为一致）
 2026-11-05 05:10:13 +08:00
AskaEth 9d0d985b1b fix(app-iced, presenter): M114 r3 —— 登录成功提示走 i18n key+参数，离线名字提交判据与 host 同源 
- 新增 Key::AccountLoginSucceeded（Signed in as {name} / 已登录 {name}）：
  presenter 不再拼「已登录：{name}」这类人类可读句子（复审 r1 P1-1 的收尾）
- valid_offline_name 从 host 搬到 dto（UI 与 host 共用的同一个判据），
  Form::offline_ready 改用它：按钮不再「亮着但必然失败」
- 视图模型测试：成功提示按 i18n 渲染进 on_screen；离线提交判据加「太短也拒绝」断言
 2026-11-05 05:09:52 +08:00
AskaEth 8d8552113a fix(app-iced, presenter): M114 r2 —— 登录失败走结构化错误码 + i18n，修 4 条 p2 与 3 条看图意见 
p1（语言泄漏）：后端诊断串不再上屏
- presenter 新增 LoginFailure 原因码（denied / whitelist_pending / unreachable /
  not_authlib_server / bad_credentials / no_profile / store_failed / other）
- 页面按码查 i18n 出标题+正文+「Code: …」，原文只进日志/详细信息
- 进行中（Requesting）也走 i18n，不再复读后端中文状态串
- presenter/state 不再发中文 toast（成败由页面按 i18n 画）
- 新增守门测试：注入带 AADSTS 的失败事件，断言英文视图无 CJK 且含 code

p2-1 复制：on_account 返回 Task，page_messages 把 iced::clipboard::write 交回 runtime
p2-2 可见失败态：新增 AccountNotice（added/removed/switched/名字非法/重名/落盘失败/
      找不到），页面用 M3 内联 alert 画（不是 toast）；离线名字先按 3–16 位规则校验，
      失败不再清空输入
p2-3 重新登录按账户类型分派：微软→授权码流；第三方→预填服务器/登录名并提示补密码；
      离线→明确说明没有可重登的服务器账户
p2-4 入口收敛：删 chip 行；空态=三卡片；有账号时三卡收进 Add an account（按钮不再绑死微软轨）

看图意见/tower 三条：
- 失败横幅改成 M3 alert（SurfaceContainerHigh + 描边，errorContainer 只作图标块，
  不再通栏实心红）；色值本身经复审像素采样确认是 90/30 档，未改角色
- 当前账户卡补齐与列表一致的「服务器/登录名」行；无皮肤时明说 No skin available
- 页面级 scrollable 加 8px 右 gutter，滚动条不再压卡片
- 倒计时改 mm:ss（15:00 left），数字与冒号语言无关

p3（顺带）：AuthlibRequest / Form 手写 Debug 脱敏密码；HTTP 响应体与 base64 输出加上限；
离线提示文案与行为对齐；删除无人使用的 key；皮肤测试断言帽子层真的 blend

测试：app-iced lib 418 绿、presenter 151 / i18n 24 绿（workspace 全量另跑）
 2026-11-05 05:09:51 +08:00
AskaEth 1ff00bbe50 feat(app-iced): M114 账户页三轨登录（微软正版 / 第三方皮肤站 / 本地档案） 
- 账户页：当前账户卡 + 全部账户列表 + 空态三入口 + 皮肤区；五项动作（添加/切换/删除/重新登录/校验）
- 三轨添加流程：设备码（用户码+链接+倒计时+过期重试+取消）、授权码（浏览器+可复制链接+取消）、
  本地档案（名字校验）、第三方站（服务地址 + 服务发现校验 + 密码登录，密码掩码且用完即弃）
- 导航：账户为一等页，入口是轨底头像位（未登录=描边剪影 / 已登录=首字母块+名字；窄高收成图标条）
- 凭据红线：DTO 侧形状脱敏 + 状态层二次脱敏 + 密码掩码；Inject-JWT 测试断言视图模型干净（已做变异取证）
- presenter：authlib 登录/服务发现/皮肤抓取（复用下载引擎的 HTTP 客户端，无新增依赖）、
  皮肤原图经 DTO 到 UI 裁剪成头像（既有 image 依赖，未改 Cargo.toml）
- i18n：新增 account 域 51 条中英文案（离线档案口径全量写入），金表同步
 2026-11-05 05:08:35 +08:00
AskaEth 134b0a2aa4 fix(packui): M113 r2 复审整改 —— RAII 在跑句柄、per-host 代次、注释与代码对齐 
复审 r2（p2-3items / fix-then-merge）逐条整改。**P2-6 与 P3-3/4/5 按塔台指示不动**，只登记。

## 必修 1：`PACK_RUNNING` 在早退路径不清零（跨功能泄漏）

改前：`fresh_cancel()` 置 bool，`super::finished()` 在 `block_on(import_pack(..))` **之后**才清；
探测失败 / 目标目录不可用两条 `return` 都在它之前 ⇒ bool 永久留在「在跑」。
后果：之后**任何**一次 `CancelInstall`（包括下载页的「取消安装」）①不再发 `InstallCancelled`、
②还给内容库发 `PackEvent::Cancelled`（一句「导入还在后台跑」的假话）。

改后：`InFlight` **RAII 句柄**（`Drop` 减一）取代手工 `finished()`；计数用「每个 host 一格」的
`in_flight: usize` 而不是 bool（连点两次 Import 各自进出）。
`InFlight::begin(&env)` 在**派发点**创建、随线程移动到出口 ⇒ 正常收尾、两条早退、`?`、panic
展开**任何**退出路径都会减一，以后再加早退分支也不用记得补一行。

## 必修 2：`dir_name` 注释与实测不一致

改前：注释与报告写「`Better MC` → `Better-MC`（不加哈希）」，而 `faithful` 只认 `[A-Za-z0-9_-]`，
空格不算 ⇒ 实际 `Better-MC-c7c9c149`；测试只钉了无空格形态。

改后：**选「空格算 faithful」这边**，注释、代码、测试三处对齐 —— 名字只含 ASCII 字母数字、
空格、`-`、`_` 时保持原样（空格折成 `-`）；折过**别的**字符（中文、`.`、括号…）才补 `-<hash8>`。
测试钉住四例：`Better-MC` → 原样、`Better MC` → `Better-MC`（不加哈希）、`pack` → `pack`、
`Survival 1.20.1` → `Survival-1-20-1-<hash>`（折过 `.` 必须补）。

## 必修 3：两处注释与代码相反

- `host/job.rs` 的 `HostTask::Pack`：原写「代次与 `HostTask::Install` 共用同一计数器」，改为
  「pack 自己的一条（`PACK_EPOCH`），不与 `install_epoch` 共用」并写明为什么（P2-7 的教训）。
- `host/addon/pack/import.rs` 的 `target_of`：`<slug>` → `<dir_name>`，并注明中文名不会被折成同一个 `pack`。

## 必修 4：两条 P3

- `04` 图里「Back」出现两次：有预检结果时字段区那行只留「预检」，`Back` 只由预览块给一个
  （没有预检时才在字段区给 `Back`）。
- 导入侧 `rejected` 列表补 `bounded`（与 missing / conflicts 同一口径）。

## 必修 5：app 级用例（P2-1 的护栏）

新增 `a_failed_import_releases_the_in_flight_flag_and_keeps_install_cancel_intact`：
`CoreHost::headless` + 真派 `PackCommand::Import`（包不存在 ⇒ 探测早退）→ 泵到 `Probe` →
断言 `in_flight == 0` → 再派 `CancelInstall` → 断言**仍会**发 `InstallCancelled` 且**不发**
`PackEvent::Cancelled`。

## P3-6（裸静态量）：按塔台要求正面回答并已改掉

不再用裸静态量：`PACK_EPOCH` / `PACK_RUNNING` / `PACK_CANCEL` 换成**按 host 键控**的一张表
（键 = `LauncherLayout::home()`），理由是实测撞到过串扰 —— `host/cancel_tests` 派一次
`CancelInstall` 就 bump 了全局代次，我这条在飞的导入事件被按代次丢掉（新用例因此红过）。
为什么不挪进 `CoreHost`：那要给 `host/mod.rs` 加字段（不在 scope）。这张表等价，`host/mod.rs`
一旦进 scope，搬过去只是把表删掉 —— 报告里也这么写了。
新增用例 `pack_epoch_is_per_host_and_is_its_own_counter` 钉住「另一个 host 的代次不受影响」。

## 顺手的两条

- `pack/tests.rs` 加完用例后 429 行超线 ⇒ 夹具（临时目录 / 写文件 / 泵 host）拆到
  `pack/tests/harness.rs`，`tests.rs` 回到 3xx 行。
- clippy `-D warnings` 抓到 `== false`、两处多余的 `&`、一个未用的再导出，都改掉了。

门禁：`cargo fmt --all --check` 通过；clippy 三 crate `--all-targets -- -D warnings` EXIT=0；
`cargo test -p unlucky-app-iced --lib` **507 passed**；`cargo test -p unlucky-presenter --lib`
**185 passed**（新增的 app 级用例在内，且是在**全量并行**下跑的）；改动文件全部 ≤400 行。
 2026-11-05 04:12:39 +08:00
AskaEth 99538e45b9 fix(packui): M113 r1 复审整改 —— 2 处「界面说假话」+ 7 条必修 P2 
复审 r1（p1-2items / fix-then-merge）逐条整改。**P2-6（core 的本地化契约）按塔台指示本轮不动**，
已登记为独立 mission 的债。

## P1

1. **「Save to」是死输入框**：`ExportRequestView` 的唯一构造点硬编码 `target: None`，用户敲的路径
   从不进请求。现在构造收成纯函数 `packui::model::export::request_of`（预检与确认共用同一份），
   `target` 由字段去空白后给出（空 ⇒ `None`，交给 host 给缺省）。
2. **取消导入的 toast 撒谎**：下载页那条说「安装已取消、实例未创建」，而导入会在后台跑完并
   **登记实例**。现在 `cancel_pack()` 回报「刚才有没有导入在跑」，`dispatch` 据此改发
   `PackEvent::Cancelled`（不再发 `InstallCancelled`），界面与提示改成
   「导入会在后台继续跑完 —— 本次结果作废；已写下的文件会留下」，并把这句话**留在屏上**
   （`ImportState.cancelled` + 面板位）。

## P2 必修（7 条）

3. **`Dismiss` 误伤下载页安装**（跨功能污染，最高优先）：pack 原来共用 `CoreHost::install_epoch`，
   关一次导入面板会把下载页正在跑的安装静默丢掉。现在 pack 有自己的
   `PACK_EPOCH`（模块级 `AtomicU64`），`handle` 的 pack 分支只比它，`Dismiss`/取消只动它。
4. **中文实例名塌成 `pack`**：新增 `convert::dir_name` —— 名字全 ASCII 安全字符时保持原样
   （`Better MC` → `Better-MC`），一旦折过东西（中文/空格/符号）就补 `-<hash8>`（FNV-1a），
   保证两个中文名得到不同目录。
5. **失败回滚后空目录挡住重试**：`target_of` 对「已存在但空」的目录**复用**（非空才拒），
   并在失败回滚后清掉自己建的空目录；`failed_report` 的 `target` 语义改正
   （以前把包路径塞进「目标实例目录」）。
6. **新实例流程下「以包为准」必然失败**：`can_overwrite` 追加 `page.instance.is_some()` ——
   新建实例那条路上不再显示一个必然失败的按钮。
7. **阶段词打架且文档说修好了**：`progress.rs` 的模块文档改成与屏幕一致（粗/细两层 + 已知重叠），
   并写清彻底解决要靠「安装面板提成共享组件」那条 finding。
8. **导入侧标题计数与行数对不上**：被拒 component 有了自己的标题（`The client does not support
   these: {count}`）；冲突标题改成中性的 `Conflicts: {count}`（逐条自带成因与处置）。
9. **预检「没进包」列表没有有界滚动**：13 条是真实形态。列表改成有界滚动（110px），
   并且**把动作按钮提到摘要下面**（`Write the pack` / `Back`）—— 明细再长也顶不掉按钮。
10. **导入成功后不刷新实例列表**：`handle` 的 pack 分支在收到 `Report` 时调 `refresh_instances()`
    （与 `InstallDone` 同一条），新实例不用等下一次无关的 `RefreshAll`。

## 证据

- 新增测试（都跑真管线/真函数）：`the_save_to_field_really_reaches_the_request`、
  `pack_epoch_is_its_own_counter`、`chinese_instance_names_get_distinct_directories`、
  `a_failed_new_instance_directory_can_be_reused_for_retry`、
  `overwrite_is_offered_only_when_importing_into_an_existing_instance`、
  `cancelled_state_is_visible_and_says_the_import_keeps_running`。
- 出图重出 12 张（6 态 × 浅深），新增 `06-cancelled-*`；`04-export-*` 用 13 条 skipped 的真实形态。

门禁：`cargo fmt --all --check` 通过；`cargo clippy -p unlucky-app-iced -p unlucky-presenter
-p unlucky-i18n --all-targets -- -D warnings` EXIT=0；`cargo test -p unlucky-app-iced --lib`
507 passed；`cargo test -p unlucky-presenter --lib` 184 passed；`cargo test -p unlucky-i18n --lib`
24 passed；全部改动文件 ≤400 行。
 2026-11-05 04:06:42 +08:00
AskaEth 27bbc74eaa fix(packui): M113 收口 —— 导出的「Save to」字段形状与「没进包」标题承诺 
复审看图挑出的两处，只改这两处，其余不动。

1. **Save to 字段**：原来是 `label("Save to (empty = suggested)")` + 空值，看起来像「这句提示就是字段值」，
   与上面 Pack name / Version 的「标签在上、值在下」不一致。改成短标签 `Save to` + 占位
   `empty = suggested path`（新增 `PackExportOutputPlaceholder` 一个键）。

2. **`Not in the pack (listed one by one)` 与 `...and 6 more files` 自相矛盾**：13 条没进包的其实全列了，
   但紧随其后的「还有 6 个」说的是**内联样例**的截断，两句挨着会被读成一件事。
   改法：「没进包」标题带真实计数（`Not in the pack: {count}`），内联样例加自己的标题
   `Copied into overrides/ (first {shown}):`，截断那句改成 `…and {count} more files (not shown here)`
   —— 谁被截断、截了几条，写在它自己的那一块里。

`tolerable_title` 因此改成收 `String`（计数是运行时 format 出来的），`golden.rs` 同步三个键。

门禁：`cargo fmt --all --check` 通过；`cargo test -p unlucky-app-iced --lib -j 2`
504 passed / 0 failed（TEST_EXIT=0）；`cargo check -p unlucky-app-iced --all-targets` 零 warning。
出图：`04-export-light.png` / `04-export-dark.png` 已重出（其余 8 张未受影响、未改动）。
 2026-11-05 04:06:40 +08:00
AskaEth 5f09b8113a feat(packui): M113 phase 2 —— 导入导出真正接线（三个共享枚举各只多一个变体） 
搬到 M109 rebase 后的新 main（26e764e）之后按**新 main 的形状**写一次，不写两遍。

## 接线

- `dto/pack/event.rs`（新）：`PackCommand` / `PackEvent` / `PackState::apply`。
  整条流程在三个最挤的共享枚举里各只占**一个**变体（`AppCommand::Pack` / `CoreEvent::Pack` /
  `HostTask::Pack{event, epoch}`），子枚举承载细节 —— rebase 时不用替别人定序。
- `events.rs` / `job.rs` / `handle.rs` / `dispatch.rs` / `state.rs`：变体与分支，全部带
  `// M113: import/export` 锚点。`state.rs` 只多 1 个字段 + 1 条 apply 分支（399 行）。
- `host/addon/**`（新目录，父文件只加 `mod pack;` + 再导出）：
  - `pack.rs`：`CoreHost::pack` 落点 + 取消标记 + 实例目录/快照/格式/缺省路径解析
  - `pack/import.rs`：探测 → 目标目录 → `import_pack` → 报告（默认 KeepUser，显式才 Overwrite）
  - `pack/export.rs`：预检（`scan_instance`，**不写盘**）与写盘（`export_instance`）
  - `pack/convert.rs`：core 报告 → DTO，逐字段照搬（三态/五阶段/四处置/三成因/十一原因）
  - `pack/diagnose.rs`：探测诊断「像 X 缺 Y」（按标记文件的有无，不看文件名）
- `app/update/content.rs`：导入 / 以包为准 / 预检 / 确认写盘 / 关面板真的派指令；
  预检时先记下那份请求，确认时**原样发回**（防「预检 A、写 B」）。
- `pages/content/model.rs`：读 `state.pack`（不再是默认空态）。
- 面板接口按新形状改：`install_panel_model(&InstallProgressView, catalog) -> Option<Download>`
  （`InstallView` 不再从 `pages/download` 导出）。

## 取消（如实）

`CancelInstall` 现在同时置导入的取消标记 + 代次 +1：面板立刻收回、旧事件按代次丢弃。
但 core 的 `import_pack` 没有取消令牌、进度回调也拿不到控制流 ⇒ **后台那次导入会跑完**。
所以「取消」的真实含义是「不再显示 + 结果作废」，已在模块文档与报告里写清，并单开 finding。
取消标记用 `Arc<AtomicBool>` 而不是裸静态量：裸静态量会在并行测试间泄漏取消状态（实测到过）。

## 图看出来的三处（塔台要求）

1. `no download source (CurseForge file API not wired)` → `no download source available yet`，
   API 名只留在 DTO 的 detail 与日志里；顺带把 `sha512` / `projectID/fileID` 也改成用户话。
2. 右栏 `Installing modpacks is not available yet` → `Installing modpacks from the library into
   an instance is not available yet`（那句在 i18n 词表里，不在 M109 页面代码里，所以我自己改）。
3. 结果面板接线后可以关：`Dismiss` / `AbortExport` 发 `PackCommand::Dismiss` → host 回
   `PackEvent::Cleared` → 回到入口/浏览态，不再常驻。

## 证据（三条都是真跑，不是假数据）

- `bad_packs_get_a_named_diagnosis`：把文本改名成 .mrpack → 有具名诊断（不是静默、不 panic）；
  目录形态有 overrides/ 无 manifest.json → 说得出「缺哪个标记」。
- `a_real_pack_runs_through_the_pipeline_end_to_end`：造一个真 MultiMC 实例目录当包，
  走 `import::run` 真路径，断言事件流里有进度 + 结果、格式=MutliMC、报告有写盘文件、文件真落地、
  代次原样带回。
- `preview_counts_match_the_written_report`：同一实例上跑预检与 `export_instance`，
  inline / skipped / remote **三项计数逐项相等**，且逐条路径的归类一致。

门禁：cargo check ✓ / clippy -D warnings（三 crate）EXIT=0 /
cargo test（app-iced 504 + 6 守卫，i18n 24，presenter 181）全绿 / rustfmt --check ✓ /
所有改动文件 ≤400 行（`state.rs` 399、`addon.rs` 106，pack 子目录最大 338）。
 2026-11-05 04:06:39 +08:00
AskaEth 2129d8cee6 fix(packui): M113 第一批修正 —— 一次只摊开一件事、有界滚动、阶段词不再打架 
D30 出图实测暴露的四个问题，都在本批范围内修掉：

1. **动作按钮被顶出屏幕**：内容库页正列没有整页滚动（只有结果列表自己滚），入口 + 报告 +
   导出三块同时摊开时，「确认写盘 / 关闭 / 以包为准重新导入」落在 900px 以下。
   改成一态一块（导出面板 > 进度 > 结果 > 入口）；拖拽是窗口级事件，收起入口不丢功能。
2. **阶段词打架**：复用面板自带的阶段词是安装语义（Building the version），与
   「Step 2/5 · Unpacking overrides」并排时两种说法。现在面板阶段词留空、由步骤行说真话
   —— 仍然只有一份进度条 / 计数 / 取消按钮，没有第二套进度 UI。
3. **列表过长**：缺文件 / 冲突 / 预检样例与已知损失都套上「超过 n 条才滚」的有界容器
   （packui/view/parts.rs 的 bounded），少量条目时不浪费空间。
4. **英文单复数**：计数行改成「标签：值」（Files written: 2、cannot export: 1）。
   PackPathPlaceholder / PackFormatModrinth 的中文与英文雷同，被
   chinese_catalog_is_actually_chinese 抓到，一并改掉。

另：app/update.rs 加完拖拽分支后 408 行超线 → 两个钩子改成返回 Task、三个分支各一行，
现在 397 行。新增致命态出图夹具（ULL_CONTENT_PACK=failed），用来证明「容忍的缺文件」与
「致命回滚」在视觉上可区分。

门禁：cargo check ✓ / clippy -D warnings ✓ / cargo test -p unlucky-app-iced（467+6）✓ /
cargo test -p unlucky-i18n（24）✓ / rustfmt --check ✓ / wc -l 全表 ≤400 ✓
 2026-11-05 04:06:38 +08:00
AskaEth fbeff94e55 feat(packui): M113 第一批 —— 内容库页的导入/导出区（界面 + DTO + i18n + 拖拽落点） 
导入入口（拖拽 + 路径输入 + 目标实例）与导出（格式选择 + 预检）的**界面层**，
数据面镜像 M111/M112 的管线报告（presenter DTO），进度整块复用下载页的安装面板。

## 落了什么

- pages/content/packui*：入口 / 进度块 / 结果块 / 导出预检块（每文件 ≤400）
  - 拖拽区（hover 变主色描边）+ 路径输入框 + 目标实例 chips
  - 进度：一行「步骤 n/5 · 解包覆盖内容」+ **下载页那块安装面板**（不另画进度条）
  - 结果：三态（Success/Partial/Failed）+ 缺文件逐条（Warn/Tertiary）+ 冲突逐条
    （成因 + 本次处置 + 可展开三方 SHA-1）+ 致命块（Error/ErrorContainer）
  - 导出：mrpack / CF 二选一 + 包名/版本/路径 + 预检「将内联 N 个文件 · 无法导出 M 项」
    + 逐条无法导出项 + 已知损失 + 确认写盘
- presenter/src/dto/pack{,/format,/import,/conflict,/export}.rs：镜像 core 报告的 DTO
  （三态、五阶段、三分类、十一条原因，全部 from_slug 与 core 稳定码逐字对齐）
- i18n：81 条 Pack* 键（content_entries! 尾部追加；golden.rs 同序同文）
- app/update.rs：FileDropped / FileHovered / FilesHoveredLeft → 内容库页（本版唯一的选文件通道）
- M109 的四个文件各一处插入：mod 声明 + Pack(..) 变体 + pack 字段 + 正列插入点

## 边界（如实）

- 没有系统文件选择框：依赖树里无对话框依赖，加它要动根 Cargo.toml + 许可门禁 +
  Linux 后端选型（影响单文件产物）。入口是拖拽 + 路径输入，原因写在界面上。
- 冲突没有逐文件决策：core 的 ConflictPolicy 是整次导入一个全局档，ConflictFile 是事后账。
  本批给「逐文件看 + 整体翻档（以包为准重新导入）」，文案明写「两者都留（改名）暂不支持」。
  默认一律 KeepUser——绝不默认覆盖用户改过的文件。
- 本批按钮半通：拖拽/路径/格式/实例/展开都真生效；「点导入真的开跑」「预检/确认写盘」
  要等第二批的 AppCommand 与事件通道（M109 rebase 到新 main 后按新形状写一次）。
 2026-11-05 04:06:37 +08:00
AskaEth 1c5283058b refactor(m109): rebase 到 5adac23 后按功能拆两条超 400 行的文件 
rebase 到 M107/M108 之后的 main（5adac23），并集解冲突后 `app/state.rs`（401）与
`app/view.rs`（402）双双顶破 400 硬线。按功能拆，不压注释：

- `app/state/boot_probe.rs`：启动期取证两件——`app_options`（启动参数 → 后端选项）与
  `log_first_frame`（首帧耗时一行）+ 它们的两个全局量 `STARTED` / `FIRST_FRAME_LOGGED`；
  `state.rs` 用 `pub(crate) use` 再导出，`app/boot.rs`（`use super::state::STARTED`）与
  `app/view.rs`（`log_first_frame`）的路径一字未变。state.rs 401 → 376。
- `app/view/tests.rs`：`view.rs` 的守门测试独立成文件（`#[path] mod tests;`）。**内容取自
  当前 main 的测试体**（M106 的 `Lang` 形参 / `at()` 入口都在），不是旧分支那一份；view.rs 402 → 255。
- `presenter/src/state/content.rs` 与 `presenter/src/state/content_tests.rs`：上一轮已拆，本轮不变。

门禁（新 tip，`-j 2`，逐条前台跑并落盘退出码）：fmt 0 / clippy -D warnings 0 /
`cargo test -p unlucky-app-iced --lib` 0（522 passed）/
`cargo test --workspace --exclude unlucky-app` 0。
 2026-11-05 03:39:50 +08:00
AskaEth 42099d4336 fix(app-iced): M109 r1 —— CF 来源装入闸门、has_more 读最近一页、末行切半与文案/图标 
复审 p1-2items 的两条 P1 与三条 P2，逐条收口。

`blockers_of` 只看版本/加载器/目标实例，不看来源；而 host 的 `resolve_file` 对 CF 直接
返回「未接通」⇒ 切到 CF 源后每条都必然失败，UI 一声不响。

- 新增 `Blocker::SourceNotWired` + 文案 `ContentSourceNotWired`（中英）；
- `blockers_of` 的入参从 `Option<(&[String], &[String])>` 收成 `Option<HitFacts>`（版本 /
  加载器 / **来源**），两处调用点（产品路径、演示数据）一起改；
- 判据同构于整合包的 `NeedsPipeline`：**点之前**禁用并给一条原因；CF 文件端点接通后删掉这条。

DTO 的 `has_more()` 判「本页装满」是对的，但 reducer 在 `offset>0` 时先 extend 再判，
被判定的是**累计条数** ⇒ 首页满 20 条之后恒真：「加载更多」永不消失、「没有更多了」在
真实翻页路径上不可达，且每点一次白发一次网络请求。

- `ContentState` 新增 `last_page_filled`（**先**按这一页记一位，再并进累计列表）；
- 页面的 `has_more` 读它（`&& !pending`）；换条件（offset 归零）时清位；
- 新增 `crates/presenter/src/state/content_tests.rs` 四条用例（state.rs 贴 400 行上限，拆文件）：
  `a_short_last_page_clears_has_more` / `an_empty_last_page_keeps_has_more_false` /
  `changing_the_query_resets_the_page_flag` / `a_stale_batch_does_not_touch_the_page_flag`；
- 变异自证：把判据改回「读累计」后前两条红（`末页不满 ⇒ 不许说还有更多`、`空页 ⇒ 没有更多`），
  改回绿。

- **末行被 footer 切半**（复审定位的真因）：`view.rs` 的 body 列漏了 `.spacing(..)`，而列表
  纵向内边距是 0 ⇒ 视口底边正好切在半行上。补 `Space::X2`，并说明为什么必须给。
- **文案去掉开发者术语与内部编号**：`ContentSourceUnavailable` 不再写 `ULL_CF_API_KEY`
  （改「CurseForge 需要在设置里配置密钥才能搜索」）；`ContentModpackNotReady` 不再写
  mission 编号（改「整合包安装尚未开放」）；host 侧那条 `InstallProgress` 失败文案同步去编号。
- **图标**：四类改为 `Folder` / `Plus` / `Restore` / `Expand`——不借用导航五枚（同屏撞形，
  复审 P2-3）、不用填充字形（`no_hardcoded_tokens` 门禁）；偏离表按**实际取值**重写，并补一条
  「CF 的装入也是禁用态」的登记。
- 演示数据加 `ULL_CONTENT_STATE=cf` 一屏，出图证明 P1-1 的禁用态（`12-cf-not-wired-light.png`）。

门禁（逐条落盘退出码，不走管道）：fmt 0 / clippy `-D warnings`（app-iced+presenter+i18n）0 /
`cargo test -p unlucky-app-iced --lib` 0（451 passed）/ `cargo test -p unlucky-presenter` 0
（174 passed）/ `cargo test --workspace --exclude unlucky-app` 0。改动文件最大 397 行。

取证：`DevDocs/artifacts/m109/`（12 张，全部重出）
 2026-11-05 03:20:22 +08:00
AskaEth 6b161227d8 feat(app-iced): M109 CONTENTDL —— 内容库页（整合包/Mod/资源包/光影） 
用户令「下载页只负责下载整合包和Mod/光影」：新开一页做**内容发现与装入**，
检索走 Modrinth（优先，无需 key）/ CurseForge（`ULL_CF_API_KEY` 环境变量，日志只打
set/unset），装入走 core 的下载引擎真下到实例目录，进度/取消/失败复用下载页那块安装面板。

- **入口（B1）**：`Route::Content` 是新顶层路由，但 `Route::nav()` 复用 `NavSection::Download`
  ——导航轨仍五项，页头右上是「版本管理 | 内容库」一级切换（版本管理页也加了同一个切换，
  否则内容库只有 `ULL_START_ROUTE` 能到）
- **页内四条一级侧栏**（`pages/content/layout.rs` 四档几何：992/856/648 三个门槛都是
  「Σ栏宽 + 间距」算出来的）：整合包 / Mod / 资源包 / 光影；标签栏 200（`Resource packs`
  比 M107 的版本类型名长，140 会切字，已登记偏离）
- **筛选**：关键词（草稿 + 显式「搜索」按钮，不逐字打网络）、来源、游戏版本、加载器
  （Fabric/Forge/NeoForge/Quilt）、排序；**分页**（「加载更多」）而不是无限滚动——快照只有一个槽、
  翻页要看得见、状态要可截图复现
- **四态**：加载 / 空 / 失败 / 有数据 + 「没有更多了」；筛选条在任何状态下都在（加载中藏筛选条
  等于把入口收走）
- **一键装入**：`Content::blockers()` 是纯函数——版本不匹配、加载器不匹配、没有目标实例、
  整合包缺管线**四条原因逐条**给出，按钮点之前就禁用；判定与画法分开（model/tests 直接钉）
- **整合包今天不可装**：`ContentKind::Modpack.dir()` 是 `None`，UI 禁用 + 说明，host 侧再挡
  一次（绕过 UI 也只会回一条 Failed）。真流程是 M111 的导入管线
- **零 UI 网络**：`presenter/host/addon.rs` + `addon/{sources,http,install}.rs`；无 header 的请求走
  core 的 `download_bytes`（信号量限流 + 健康度 + 退避全现成），带 `X-API-KEY` 的只有 CF 一条，
  自带 429/5xx 退避（优先吃 `Retry-After`，封顶 30s）；密钥不进 DTO/日志/仓库
- 文案 41 条中英进 `crates/i18n`（新域接在装配链末尾 ⇒ `Key::ALL` 与金表只追加）
- 演示数据 `ContentHit → Hit::of` 与产品路径同源（格式化不会两套），`ULL_CONTENT_KIND` /
  `ULL_CONTENT_STATE` 供出图矩阵选类型与状态

取证：`DevDocs/artifacts/m109/`（10 张：四类内容 × 浅/深 + 搜索无结果 + 加载器不兼容禁用）

门禁：fmt ✓ / clippy `-D warnings`（三 crate）✓ / app-iced 450+6、presenter 170、i18n 24 全绿；
`cargo tree` 两条零 UI 门禁仍空；全部改动文件 ≤400 行。
 2026-11-05 03:20:21 +08:00
AskaEth bbf96de9b3 feat(app-iced): M108 下载页显示名改成「版本管理 / Version management」 
用户令（2026-11-04）：当前下载页改名叫版本管理，下载页只负责下载整合包和 Mod/光影。
本 mission 只改显示层，标识符（Route::Download / Screen::Download / NavItem::Download /
文件名）一个都没动，标识符改名另登 finding 后置。

i18n（catalog/nav.rs + catalog/download.rs，金表同步）：
- NavDownload = Versions／版本管理 —— 88px 收起轨用短名
- NavDownloadExpanded = Version management／版本管理 —— 240px 展开抽屉用全名
- DownloadTitle = Version management／版本管理 —— 页标题
- DownloadSubtitle = Manage versions and loaders: install, upgrade, repair／
  管理版本与加载器：安装、升级、修复
拆两条 key 的理由：18 字符英文 ≈101px 塞不进 88px 轨（实测两通道都被裁：产品通道只显示
Version，组件版轨被切成 Version manage）；中文 4 字实测 48.0px（四种 CJK 字体同值）放得下，
所以中文两条同值、不缩。

- pages/nav.rs：NAV 第 3 列 &str → Key；label_key(label, expanded) 是两态切换点
  （用 bool 参数而非 enum：240 态在产品里还没有渲染路径，枚举变体永远构造不到会被
  -D warnings 的 dead_code 拦下）。
- shell/nav.rs：NavItem::Download 显示 Versions（产品路径的轨；i18n 接线归 M106，
  本 mission 只换文案值）。
- 守门：pages/tests.rs 断言导航/页标题取值 + 两态切换 + 目录里凡指向这一页的文案都不许再说
  「下载」（豁免 DownloadStageDownloading）；shell/nav.rs 断言标签是 Versions 且 ≤12 字符。
 2026-11-05 02:54:04 +08:00
AskaEth c560b66df6 chore(app-iced): M107 rebase 到 M102 之后的收尾（文件行数 + 未用 import） 
解 rebase 冲突时把 M102 的 `extra_width_goes_to_the_page_block_*` 留在
`download/tests.rs` 会让该文件到 404 行（超 400 硬线），挪到 `download/tests/rails.rs`
（同一批判据，模块路径改 `crate::pages::frame::body_width`）；顺手去掉挪走后多余的
`measure_cap_px` import。

无行为变化：只搬测试 + 删 import。门禁见报告（fmt 0 / clippy 0 / lib 481 passed / workspace 0）。
 2026-11-05 02:02:22 +08:00
AskaEth f408bf5312 fix(app-iced): M107 r2 复审 —— clippy needless_lifetimes + 搜索中点桶立刻生效 
- **P1-1**：`group::active_bucket` 的显式生命周期是多余的（`needless_lifetimes`），省掉之后
  `cargo clippy -p unlucky-app-iced -p unlucky-i18n -p unlucky-presenter --all-targets
  -j 2 -- -D warnings` 才真的	exit 0。上一轮报告的那条「clippy 本轮未复跑」正是红的根因——
  本轮把 clippy 纳入每次门禁（见报告）。
- **P2-1(b)**：搜索期间第二级侧栏原来「可点但没反应」（一致性放宽让桶失效，点击要等清空搜索
  才生效）。现在**点桶 = 退出搜索 + 按该桶过滤**：`SelectMajor` 发现 `has_query()` 就先落选择
  再 `rebuild_after_query("")`，一次点击做完「我要看这个桶」这件事。
  判据：app 层 `clicking_a_bucket_during_a_search_leaves_the_search`（432 passed）。

门禁（真实退出码，无管道）：
`cargo fmt --all --check` = 0；`clippy … -D warnings -j 2` = 0；`cargo test -p unlucky-app-iced --lib -j 2` = 432 passed / 0 failed
 2026-11-05 02:01:12 +08:00
AskaEth 45544791e5 fix(app-iced): M107 r1 复审五条 p2 —— 搜索与主版本桶一致、chips 可滚、单复数、端到端 
复审 r1（p2-5items / fix-then-merge）的五条可达问题，逐条落点：

- **P2-1** 搜索命中数与主版本桶不再自相矛盾：`group::active_bucket` 让第二级在搜索期间
  **自动放宽到「全部」**（选择本身留在模型里，清空搜索后回来），侧栏点亮「全部版本」⇒ 没有幽灵选中；
  `rebuild_after_query` 回填时校验桶仍存在（新桶列表里没有的选择直接丢弃）。
  判据：`a_search_hit_never_lands_on_an_empty_list`（4 分类 × 5 桶值 × 4 查询词的矩阵）+ 出图 11
- **P2-2** chips 档的主版本行套**横向滚动**（显式滚动条），竖栏与 chips 吃同一份 `major_entries`；
  22 桶夹具断言最后一个桶 `1.0` 在列表里，出图 12 看得到滚动条
- **P2-3** 只做搜索这条路径（`rebuild_after_query` + 校验 + app 层测试）；`app/state.rs::refresh_view`
  的全量修法**留到 M105 之后**（不在 scope，且 M105 正改同一片文件）——报告里明写
- **P2-4** `1 matches` 修掉：新增 `VersionSearchHitsOne` / `VersionSearchElsewhereOne` 两条单数 key，
  「在别处」用独立标题（不再拿命中数当标题，同屏一个数只报一次）
- **P2-5** 搜索链路补 4 条 **app 层端到端**（键入 → 快照 → 重建 → 列表）；变异自证：
  删 `self.state.download_query = query` ⇒ 2 条红；`from_snapshot` 忽略 query ⇒ 8 条红；
  去掉 `active_bucket` 的放宽 ⇒ 4 条红
- 顺带：64 宽图标条每项挂 tooltip（复审建议）；`install.rs` 那段自相矛盾的文档订正

门禁：fmt 0 / app-iced lib 431 passed / workspace --exclude unlucky-app 全绿（见报告）
 2026-11-05 02:01:11 +08:00
AskaEth 89a51a63b1 feat(app-iced): M107 DLVRAIL —— 版本管理页三栏侧栏 + 跨类型搜索 
用户令（信息架构）：这一页从「下载」改称「版本管理」，版面从「一排 tab + 平铺列表」
改成**页面内三栏**：版本类型栏 + 主版本栏 + 列表/详情，并加搜索框。

- **三栏几何**（`pages/layout/rails.rs`，纯函数 + 数值表）：类型栏 140/64、主版本栏 140/64、
  间距 24、列表列下限 424（行宽红线）。四档由**可用宽**裁决：Wide ≥888 / Narrow ≥676 /
  Compact ≥600 / Chips <600，三个门槛都是 `栏宽 + 间距 + 424` 算出来的，不是拍的
- **主版本分组规则**（`download/group.rs`）：正式版/预发布按 `major.minor`（`1.21.9-pre3` → `1.21`）、
  周更按年桶（`24w14a` → `24w`）、远古版**没有主版本**（`rd-132211`/`a1.2.6` → 第二级只有「全部」）；
  判据用真实版本样本钉住，不按「第一个点」切
- **跨类型搜索**（`search_bar` + 清空 + 命中数）：查询词写进 `AppState.download_query`（页面无状态，
  只能这么活），`hits` 是**跨分类**读数；三条口径分开：「有命中」/「没有匹配」/「命中在别的类型里」
- 两级侧栏都用 `navigation::list_item` / `tabs` / `chip` / `buttons::icon`：Tab 可达、hover/pressed/
  选中态全部来自组件，页面不自己写状态层
- 右栏展开（M104 `content_width` 852）⇒ 可用宽 716 ⇒ Narrow 档，列表 464（任务书那句 492 漏扣
  96px 的页边距与栏间距，报告里给了完整数值表）
- 文案 11 条中英进 `crates/i18n`（新域宏接在装配链末尾 ⇒ `Key::ALL` 只追加，金表只追加）
- 护栏：两层侧栏都存在 + 列表按第二级选中态过滤（变异可证）、三档门槛、424 下限扫描、
  版本行单行宽账、搜索条真的装着
- `install.rs` 只动了「已装」分支（加一句「已安装」解释禁用按钮），没碰 M105 的选项区

取证：`DevDocs/artifacts/m107/`（10 张：三档 × 浅深 + 搜索命中 + 空 + 异地 + 远古版）
 2026-11-05 01:59:13 +08:00
AskaEth 954a129e01 fix(app-iced): M106 r2 —— 两处「改了行为、旧口径还在树里」（复审 p2-1 / p2-2） 
p2-1（它在撒谎）：`renderer/acceptance/locale.rs::Chain::line()` 还打 `ui_text=pinned-en`，
注释写着「pages/mod.rs::render 里下载页固定传 Lang::En」、`setting` 回退 `<未接线>`——M106 之后
两句同时为假，于是 `ULL_ACCEPTANCE=1` 时启动日志两行互相矛盾（旧行说「文案钉在英文」，新行说
「生效中文」）。修法：`Chain` 增 `machine`（只看平台源 + 环境变量，供 `[env] language=` 用）与
`detection`（含 `ui.language` 手选，与 App 的 `[i18n] choice=…` 同源）；`host()` 真读
`SettingsBridge::load_ui_language()`，`line()` 删掉 `ui_text`、`setting` 打真实值。
实测三行现在一致：
  [i18n] setting=<未设置=跟随系统> platform=registry:zh-CN env=env:<未设置> -> lang=zh-CN locale=zh-CN source=registry
  [i18n] choice=system lang=zh-CN locale=zh-CN source=registry effective=zh-CN
`locale_tests.rs` 把钉假串的那条改成「不许出现 pinned-en」的回归绊线，并新增
`i18n_line_honours_the_explicit_setting_without_rewriting_the_machine_language`。

p2-2（doc-only）：`pages/model.rs` 的「只是留口，产品路径先给 Lang::En」与 `pages/download.rs`
的「产品路径现传 Lang::En，接上探测结果时只改调用点」都已被实际代码推翻（`app/state.rs` +
`refresh_view` 在填、调用点已是 `model.lang`），按事实重写。顺带修掉 `fonts/cjk.rs` 里同样的
「设置层的读取点尚未接线」。

门禁：`cargo fmt --all -- --check` 退出码 0；`cargo test -p unlucky-app-iced --lib` 退出码 0
（409 passed, 0 failed）。全改动文件 ≤400 行（最大 269）。
 2026-11-05 01:17:36 +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 609bcb3044 fix(dlflow): M105 r1 —— 取消后不再逐个派发剩余文件；取消证据补强；取消提示进 i18n 
复审三条（p2-3items / fix-then-merge，其中两条按 p1 对待）：

**P2-1 取消后仍为每个剩余文件各发一次请求（p1）**
`select` 先轮询左支 ⇒ `install_one` 第一次 poll 就把 `engine.download(…)` 派出去了；
只把标志检查写在右支，等于取消后「每一个剩余 item 都创建并至少 poll 一次」
（一次整文件 sha1 + 一次请求），盘上已就绪的还会第一 poll 就 `Ready` 并回调 `sink`。
修：`async move` 第一句就 `if is_cancelled(cancel) { return None; }`，这些 item 连
`install_one` 都不进。守门用例 `cancelling_mid_run_stops_creating_remaining_files`
（三文件全在盘上、并发 1、sink 首次回调即置标志 ⇒ 数 sink 回调次数）：
修后 1，删掉那两行变异后 **3**（见报告，红/绿均实跑）。
模块文档同步改成与实现一致，并把复审点名的固有边界写进注释：取消瞬间最多有
`concurrency`（GUI 传 16）个 future 已经过了那道门，其中「盘上已就绪」的仍会跑完自己的
回调（靠 presenter 的安装代次丢掉这些进度事件），真在下载的会在同一次 poll 被取消。

**P2-3 真网络装置的断言比声称的弱，且有一条探的是恒不成立的路径（p1）**
① `.ullpart` 原来只断言「5 s 后不再增长」⇒「留下一个不增长的非 0 中间文件」会绿；
改成 `assert_eq!(parts_after, 0)`。
② 实例登记原来探 `<game>/instances`（根本不存在 ⇒ 恒 false，什么也没证明）；
改成读 `LauncherLayout::profiles_config()` 的 `read_profiles()` 并断言 0 条。
③ 模块文档里那条探针的路径一并订正。
变异自证：留一个 20 字节 `.ullpart` ⇒ 红（`left: 20 / right: 0`）；
走真 `instance::register()` 造一条 profile ⇒ 红（`profiles.json 里 1 条实例`）。

**P2-2 取消文案仍是硬编码中文，与新选项区同屏一中一英**
`presenter` 没有 i18n 依赖，所以不是搬常量能解决的。改成发稳定信号：
新增 `CoreEvent::InstallCancelled`（不带文本），`AppState::install_cancelled` 只计数；
app 层在 `refresh_view` 里比对计数、按 `Key::DownloadCancelled` 现求文本弹一次 Toast
（`pages::download::cancelled_toast`）。`dispatch.rs` 的中文 Toast 删掉。
语言入口收成 `app::view::ui_lang()` 一处（现恒为英文；M106 接上语言只改这里，
M106 合并前中文译文在产品路径不可达）。守门：`cancelling_announces_once_in_the_page_language`
（只弹一条、文案来自目录、不含中文、重复 refresh 不重复弹）。

门禁（真实退出码）：fmt=0、clippy(--workspace --all-targets -j 2 -D warnings)=0、
`cargo test -p unlucky-app-iced --lib`=0（440 passed）、`cargo test -p unlucky-core`=0、
`cargo test --workspace --exclude unlucky-app -j 2`=0（57 个 target 全 ok，0 failed）。
 2026-11-04 22:12:22 +08:00
AskaEth 30b1ff6f48 feat(dlflow): M105 安装选项区（四家加载器 + 官方版本列表 + 实例名）与取消安装真停 
用户实跑反馈两条，本轮各自定位到根因并修掉：

1. 「下载页没有前置加载器选项」= 功能未做：`Message::InstallVersion` 直接派
   `AppCommand::InstallVersion`（= 只装原版），core 早在 M32/M35/M45 就有四家加载器的
   安装管线。现在选中版本之后面板先给「安装选项」区（原版 / Forge / NeoForge / Fabric /
   Quilt + 该加载器的官方版本列表 + 实例名），点「安装」才派
   `AppCommand::CreateInstance`。
   - 加载器版本列表复用 core 的 `LoaderSource::loader_versions`，经新增的
     `AppCommand::ListLoaderVersions` / `CoreEvent::LoaderVersions` 回流；
     缓存键是 `(加载器, 原版版本)`，切版本不会串列表；取不到给具名原因并**禁掉确认**。
   - 不兼容组合用静态规则在**选中那一刻**说清（NeoForge 需 1.20.1+、Fabric/Quilt 需
     1.14+、远古版四家都不支持），不让用户「选完才失败」，也不为不可能的组合作无谓联网。
   - 选项草稿（选中 + 加载器 + 加载器版本 + 实例名）住在 `App`，`refresh_view` 带进页面
     模型（与分类筛选同一做法；页面自己存不住跨事件的东西）。

2. 「点取消没反应」= 真 bug，两跳各断一半：
   - 第一跳（UI 侧）：取消确实生效了，但**还在跑的后台线程继续发进度**，`InstallProgress(None)`
     刚把面板收回，下一条「下载中」立刻又点亮它 —— 用户看到的就是「点了没反应」。
     修法：`CoreHost` 加安装代次 `install_epoch`（开工与取消都 +1），`HostTask::Install` /
     `InstallDone` 带代次回来，代次不符一律丢。
   - 第二跳（core 侧）：`execute` 没有任何取消入参，取消只停在段边界，传输根本没停。
     新增 `execute_with_cancel(…, cancel: Option<&AtomicBool>)`（既有 `execute` 原样包装，
     CLI 一字未改）：取消后不再起新文件，在飞的那个与「取消 future」`select` 赛跑，取消赢就
     drop 掉下载 future（响应流关闭、`.ullpart` 由 `PartFile::Drop` 清掉），并且不写版本清单，
     返回新的 `InstallErrorKind::Cancelled`。
   - 另外：取消后**绝不登记实例**（文件段跑完但用户已取消的那一路也拦住）；取消文案把
     「哪些留着、哪些一定没发生」说清（D21）。

实测（真网络装置 `host/cancel_tests.rs`，`#[ignore]` 守着，跑法见文件头）：
取消前 files_done=2 / `.ullpart` 613 字节；取消后 20 s 进度事件 **0 条**、`.ullpart` **0 字节**
（-613）、版本清单未落盘、实例目录不存在。取消前是 +201466 字节（同一个装置量的）。

文案全部进 i18n（中英，9 条新 key + 金表同步）。
 2026-11-04 22:12:22 +08:00
AskaEth 4b26a0a9dc test(app-iced): M102 r5 行距护栏追绑定（M4 假绿做死）+ 等价重构不再假红（M3/M6） 
r4 复审的结论是「产品代码没问题，两条 p1 都在护栏的『抓得住』与实测不符」：

- **M4（真正的假绿，做死）**：`rows = rows.spacing(ui.space(Space::X1));` 只要另起一条语句
  就能绕过「只锁构建链」的旧护栏。现在 `list_column_spaces_rows_only_from_the_shared_constant`
  用 `function_region` 取整段函数，再用 `source::call_arguments` 拿每一处 `rows.spacing(…)`
  的实参，并用新增的 `source::derived_from` 顺 `let` / `Some(x) =` 绑定往回追（最多三跳）：
  实参必须追回 `ROW_SPACING`。于是
  · 直接 `ui.space(spacing)`（来自 `if let Some(spacing) = ROW_SPACING`）→ 绿；
  · `let spacing = ROW_SPACING;` 再中转（H3）→ 绿；
  · 先把令牌挪进 `let extra = Space::X1;` 再 `rows.spacing(ui.space(extra))`（M4）→ 红。
- **M3（假红）**：日志接线护栏改用 `function_region`，于是 `wrap::breakable` 外面套一层同义
  包装（`fn soft(…) { mono_owned(ui, wrap::breakable(…)) }`）不再假红；整条链路都没碰
  `wrap::breakable` 照样红。
- **M6（假红）**：新增 `source::region_across`（多文件转调跟踪，`frame.rs` + `layout/block.rs`），
  把盒子原样搬进 `block::body_box` 再转调不再假红；`align_x` 改判**实参**（`Alignment::Start`
  与 `iced::Alignment::Start` 同等放行），于是搬进别的模块后路径写全也不假红。
- **M1/M2 按塔的裁定不加断言**：与 `frame::body` 逐像素等价的另写就是等价重构；docstring 写明
  「抓得住：语义变化；抓不住：逐像素等价的另写」。

最终变异矩阵（本轮自跑、每条跑完 `git checkout --` 回滚、白名单已核）：
基线 429 passed / 0 failed；M4 红（只红 list_column_spaces_rows_only_from_the_shared_constant）；
M3 绿；M6 绿；G 红（只红 single_column_pages_call_the_body_box_not_the_centred_one）；
I 红（只红 the_page_wires_the_soft_breaks_into_both_rendering_paths）；
旧 p1 复跑 A 红、D 红，等价重构 J 绿。
 2026-11-04 19:53:45 +08:00
AskaEth f499961e5b test(app-iced): M102 r3 护栏补到「页面调用点」——回退 body/软断点接线一律红，等价重构不再假红 
r2 复审抓的两条 p1 都是「守卫只到函数内部」：把页面调用点改回 frame::single_column（变体 G）、
或把日志页两处 wrap::breakable 接线摘掉（变体 I），420 条全绿，而视觉复审 ① / ③ 原样回来。
r3 用 r2 自建的 layout/source.rs 把守卫推进到调用点，并把三条 p2 的假红/假强一并修掉：

- 新增 `single_column_pages_call_the_body_box_not_the_centred_one`：四个页面文件
  （download / logs / instances / instances/detail，共 7 个调用点）必须出现 `frame::body(`、
  不许出现 `frame::single_column(`；narrow_detail 单独再断言一次。（变体 G → 红）
- 新增 `the_page_wires_the_soft_breaks_into_both_rendering_paths`：扫 `lines::entry` 与
  `diagnostic::summary_block`，必须含 `wrap::breakable(`（变体 I → 红）；
  同时把 `log_text_carries_soft_breaks_but_keeps_the_original` 的 docstring 改成它实际守的东西
  （断点表 + 原文可还原），不再冒充「抓得住接线」。
- p2-1：`frame_body_is_built_from_the_block_quantities` 改用新的
  `source::function_region`（函数体 + 本文件内被转调的函数，最多两层）⇒ 把 body 拆成
  `body` → `body_impl` 的等价重构不再假红（H1 → 绿），换回 centered 仍红（A → 红）。
  顺带修掉 region 的泛型签名 bug：早先拿 `fn {name}(` 当定义 needle，
  遇到 `fn body_impl<'a>(` 会 panic（护栏自己假红）；现在按 `fn {name}` 找定义，并补了一条
  `the_region_follows_delegation_into_a_generic_function` 自测。
- p2-2：`list_column_spaces_rows_only_from_the_shared_constant` 的禁词收窄到
  `let mut rows = column(…)` **这一条**构建链（新工具 `source::statement`，停在第一个 `;`），
  于是 `column![head, scroller]` 上加合法间距不再假红（J → 绿），行容器叠间距仍红（D → 红）。
- p2-3：`frame::body` 的 align_x 改成「出现就必须是 `.align_x(Alignment::Start)`」，
  不再被 `.align_y(Alignment::Start)` 顺手满足；「干脆不写 align_x」（默认 Start）视为等价重构放行。
- p2-4（措辞）：`layout/block.rs` 文档写明 1440 上限是**有意行为变化**（≥1576 窗宽），
  1180/900 上才是零像素变化。

变异矩阵（本轮自跑，逐条回滚，`git status` 已核）：A/C/D/E/G/I 全红且各自只红对应那一条；
H1（body_impl 转调）/H2b（删显式 align_x）/H3（ROW_SPACING 经局部变量）/J（head/scroller 加合法间距）
全绿。基线 `cargo test -p unlucky-app-iced --lib` = 426 passed / 0 failed。
 2026-11-04 19:53:43 +08:00
AskaEth 824bb36f8e test(app-iced): M102 r2 护栏改成「抓得住页面换摆法」——块偏移/行距/散文接线全部有源码结构断言 
r1 复审的两条 P1 都是假护栏：把修复原样回滚（A：frame::body 换回居中 424；
C：内缩 X2→X1；D：行距加回 4px）后测试仍全绿，因为断言只喂 frame_metrics() 与常量重算，
既不观察 frame::body，也不引用页面常量。本轮把「摆法」做成可断言的东西：

- 新增 `pages/layout/block.rs`：body_width（pane 宽封顶 1440）、body_offset（恒 0 = 贴左）、
  prose_width（= metrics.column ≤424）三个纯量 + 单测。frame::body / frame::prose 从它们建盒，
  frame::body_width 改成 pub use（不另算一份）。
- 新增 `pages/layout/source.rs`（cfg(test)）：把某个函数的实现文本切出来。iced 的 Element
  没有几何内省，量不到「块摆在哪」，只能断言「照哪个数建的」；仓里已有 no_hardcoded_tokens
  扫源码、download/tests 用 include_str! 扫 key 的先例。
- 新护栏（每条都做过变异实测，见报告）：
  · frame_body_is_built_from_the_block_quantities（A 变异红）
  · frame_prose_is_built_from_the_prose_width（E 变异红）
  · list_column_spaces_rows_only_from_the_shared_constant（D 变异红）
  · instances 几何断言改用页面真源 LIST_BOTTOM_INSET.dp() / ROW_SPACING（C 变异红）
  · the_detail_note_goes_through_the_prose_box（散文接线）
- P2：wrap::strip 的「会删原文自带 U+200B」写成限界 + 一条断言；docs 口径从 layout.rs
  挪到 layout/block.rs（layout.rs 399 → 389）。

零像素变化：改后 9 张图与 r1 的 m102-after 逐张 cmp 完全相同；2560×760 新出三张证明块宽封顶
1440（112..1551）且仍贴左。
 2026-11-04 19:53:41 +08:00
AskaEth 89d98184c1 fix(app-iced): M102 页面几何 —— 正文块贴左吃满页宽、列表末行不再被裁半行、日志按词断行 
① 正文列与页头不对齐（下载 / 日志）：根因是 `frame::single_column` 把**行宽上限 424**
当成**整页块宽度**并水平居中（1180 下 1044 里只摆 424，左缘 422 对页头标题 112）。
现在两个量分开：`layout` 的 `column` 只管成段散文（≤424），页面块宽走新的
`frame::body_width`（= available / main_pane）。新增 `frame::body`（贴左吃满）与
`frame::prose`（散文锁 424）。1180×760 下下载 / 日志的块左缘 = 112 = 页头标题左缘。

② 实例列表末行被裁半行：页级行距 `Space::X1`(4) 让行节奏变成 64、与可视高度除不尽，
且滚动区直贴卡片 1px 圆角描边。行距归零（下载页同改）+ 滚动区底部内缩 `Space::X2`(8)
⇒ 可视区 580−32−8 = 540 = 9×60，Redstone Lab 及其副标题完整可见，第 10 行整体在裁切线外。

③ 日志断行把单词劈开（`graphics.gl_o` / `peration_failure`）：新增
`layout::wrap::breakable`，在 `.` `_` `:` `/` `\` 后插零宽空格（U+200B 软断点），
日志行正文与一行摘要都过它；悬挂缩进不变（前缀仍是独立文本控件），
`Line::text` 与 `Logs::summary()`（剪贴板）仍是原文。工具函数放 `pages/layout/`：
断点是「列宽之后」的另一半排版判据，纯函数、可单测、不碰控件树。

护栏：`body_block_starts_at_the_header_title_and_fills_the_page`、
`list_viewport_fits_whole_rows_and_still_overflow`（把 580/32/8/540/60 五个数钉住）、
`wrap::tests`（断点位置 / 不重复插 / 可还原 / 幂等）、`log_text_carries_soft_breaks_but_keeps_the_original`。
`download/tests.rs` 的「宽窗留白」口径按新分工改成「宽度归块、不归散文列」。
 2026-11-04 19:53:38 +08:00
AskaEth 9253684387 fix(app-iced): M104 r2 —— Route::Agent ⟺ Detached 的不变式 + 复审 P3 六条 
p2-1（唯一 p2）：`Route::Agent` 与 `RailState::Detached` 之前没有绑定——从左侧导航第五项
（本 mission 点名的入口）进独立页时档位还是 Collapsed/Expanded，于是页头出现「Open assistant」
「Collapse/Pop out」、挂着不化的未读胶囊、Esc 也收不走页面（复审用产品 bin 复现）。

- **单一入口**：`App::sync_agent_route()`（update/agent.rs）在 `refresh_view` 开头调用，
  两条对向规则：在独立页 ⇒ Detached（顺带清未读）；离开独立页而档位还是 Detached ⇒ 收回右栗。
  每一次路由变化都经过 refresh_view，所以导航 / ULL_START_ROUTE / detach / back 共用这一处。
- **结构性兜底**：`conversation::actions` 先按宿主分流，`Host::Page` 的动作恒为「Dock back」。
- **启动顺序**：`boot_agent()`（窗口尺寸 adopt + 拆出档直达独立页）必须在 `dispatch(RefreshAll)`
  之前——那次 dispatch 会 pump→auto_select 把路由拉到实例详情，同步器随即把档位收回（实测踩到）。
- 测试：`entering_the_agent_route_detaches_the_rail`（走 `Message::Select(NavItem::Ai)` 真路径，
  含未读清零 / Esc 离开 / 从页上点别的导航收回）、`the_page_navigation_entry_also_detaches`。
  变异自证：把 `sync_agent_route` 改成 no-op ⇒ 3 红（含这两条）。
- 图 13/14：导航入口（折叠档带 2 条未读 / 展开档）进页后都是 Dock back、无未读胶囊、副标题单行。

P3-2 Enter/Shift+Enter 有测试了：分流抽成纯函数 `composer::binding_for`，
`enter_sends_and_shift_enter_breaks_the_line` 覆盖「发送 / 换行 / 未聚焦不抢 / 其它键交回默认」；
`AgentUi::edit` 里与 fallthrough 等价的冗余 Enter 分支删掉；三档测试改走 `agent.edit(...)`。
P3-4 自证式断言换字面量（320+8+852=1180 等）；变异 RESIZE_GUTTER 8→0 ⇒ 6 红（含这条）。
P3-5 两条死文案真用上：8px 拖拽缝有了 tooltip（AgentResize + AgentWidthLabel「当前多宽」）。
P3-6 `on_boot` 的两块逻辑搬进 `update/agent.rs::boot_agent`：update.rs 372→383（+11，见报告逐行）。
P3-7 拖拽层补 on_press/on_exit：窗外松手不再僵住（窗内按下→清态；离窗→收在当前值）。
P3-9 顺手：只有几何/路由会变的消息才重建视图模型（每个字符、每次指针移动不再重建）。

门禁：fmt 0 / clippy(workspace,-D warnings) 0 / pages_demo 0 / 全文件 ≤400（最大 view.rs 373 之外
conversation.rs 383、update.rs 383）
 2026-11-04 00:21:33 +08:00
AskaEth 8db1c5ab16 test(app-iced): M104 数值表补两行（900 Detached = 404、1180@360 = 812） 
报告里贴的那张表要和测试里的表逐行对上：新增的两行证明「拆出后中栗拿回整窗宽，实例详情列 404」
与「360 档把实例页挤成单列（812 < 816 的两列门槛）」这两条结论都是断言的，不是手算的。
 2026-11-04 00:21:32 +08:00
AskaEth 6eb2846313 fix(app-iced): M104 App::width 改名 rail_width，别撞 tests/no_hardcoded_tokens 的尺寸字面量门禁 
那条门禁扫 src/{shell,pages,app}，把任何 `.width(数字)` 都当成「布局尺寸写死」拦下来
——测试里 `agent.width(1180.0)` 被误判成控件调用点。改名后语义还更准（它返回的是右栗宽度，
不是「这个控件多宽」）。cargo test -p unlucky-app-iced（含集成测试）418 + 6 全绿。
 2026-11-04 00:21:32 +08:00
AskaEth c3f20784a8 feat(app-iced): M104 AGENTRAIL —— 右栗三档 + 布局数学 + 独立页复用同一会话视图 
用户定案（D16）：右侧常驻可折叠、允许拆分成独立页、中栗宽度可调（磁铁吸附）。
本 mission 只做壳：三档状态 + 布局数学 + 一份会话视图；真数据仍归 M103，一行 presenter 都不调。

- 右栗三档：Collapsed(48) / Expanded(280~360，默认 320，锚=令牌 ai_panel_width) / Detached(Route::Agent)；
  会话、草稿、未读在切档时一条不丢（拆出去再收回，话说了一半还在）
- 布局数学：中栗 = 窗口 − 右栗 − 拖拽缝(8)，下限 472（= 行宽上限 424 + 两侧页边距）；
  右栗一展开，页面按更窄的宽度重新排版（收缩而不是溢出）；拖拽磁铁吸附到 280/320/360，超上限夹紧
- 独立页与右栗共用 conversation::view 这一份实现（输入=纯数据，输出=agent::Message）
- 控件：多行输入框（Enter 发送 / Shift+Enter 换行，走 text_editor::key_binding 的 modifiers 分流）、
  发送禁用态、流式中断、未读点 + 可读计数、⌄ 收起 / ⇥ 拆出 / ⇤ 收回；Esc 收栗、Tab 焦点环、Enter 激活
- 文案全部进 crates/i18n 的新域 catalog/agent.rs（+ golden 追加 20 行），零硬编码中文
- 取证：ULL_AGENT_RAIL / ULL_AGENT_FIXTURE / ULL_AGENT_WIDTH（截图走产品 bin，标题栏与三键可见）
- 消息不走 pages::Message（外壳级视图），走 app::Message::Agent(..) → app/update/agent.rs
- 删掉 M68 骨架回落（shell::view + shell/fallback.rs）：Route::Agent 现在有真页面

门禁：fmt 0 / clippy(workspace,-D warnings) 0 / pages_demo 0 / app-iced lib 418 条全绿
 2026-11-04 00:21:32 +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 423ea77758 refactor(pages): ai.rs 纯改名 ai_about.rs（内容零变化，M101 r2 让 git log --follow 不断链） 2026-11-03 20:57:01 +08:00
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 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 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 330f7216fd refactor(pages,i18n): M99 纯搬移 —— 导航表抽 pages/nav.rs、设置页拆目录、catalog 按域拆开 
- pages/mod.rs 400 -> 356 行：NAV 表与组件版 rail 搬进 pages/nav.rs（NAV 可见性变 pub(crate)，
  只为让 pages/tests.rs 的三条断言原样保留）
- pages/settings.rs -> pages/settings/{mod,frame,general,appearance,java,download,ai,tests}.rs：
  mod.rs 只留「分组注册表 + 选中分组 + 内容分发」，一组一个文件，为四条 section 线各留位置
- i18n catalog.rs 310 -> 273 行：条目表按域拆到 catalog/<域>.rs，catalog.rs 留 catalog! 宏、
  装配链、Catalog 与对外 API；新增 catalog/golden.rs（拆分前 key->译文 全量快照）守门
- 行为/文案/样式零变化：pages_demo 的 instances/settings × 浅/深 四张图逐字节相同
 2026-11-03 13:19:17 +08:00
AskaEth 8153e54f87 fix(acceptance): M98 r1 —— [window] 绑定真 settings、语言维度补断言、boot.rs 拆分 
复审 r1（reviewer-accscope-code，p2-2items / fix-then-merge）的两条阻塞 + 四条顺手的 p3。

## p2-1 `[window]` 的三个窗口属性曾是格式串常量（U1：常量冒充观测结果）

第一版把 `resizable=true decorations=false transparent=false` 写在格式化串里，与交给 iced 的
`window::Settings` 没有任何绑定；定向变异把 `settings.decorations` 改成 `true`，**371 个测试全绿**，
而验收包里 `[caps]` 与 `[window]` 会互相矛盾。

- 新增 `acceptance::window::WindowFacts` + `from_settings()`：字段只能从**真实 settings** 抽出来，
  没有手抄入口；`window_text()` 逐字段打印。
- 窗口设置收成单一产地 `app/boot/diagnostics::window_settings()`，`launch()` 与 `[window]`/`[caps]`
  两行日志共用同一个 `&window::Settings`；`pages/harness.rs` 同样从自己那份 settings 取。
- 守门测试 `window_settings_match_what_the_acceptance_logs_claim`，含「from_settings 必须逐字段
  搬运」的反向断言。变异实证：`window_settings` 的 `decorations → true` ⇒ 红并点名；
  `from_settings` 里写死 `decorations: false` ⇒ 红（第一次写测试时这条漏抓，补强后实测红）。

## p2-2 语言维度空转、且没有任何结论断言

`lang::resolve` 是 setting → 平台源 → env，macOS 的 AppleLanguages 几乎恒有值 ⇒ `LANG=zh_CN` /
`LANG=en_US` 两档同值，而原脚本只断言「`[i18n]` 这行存在」——整条链退化成
`source=default lang=en` 时核心集一条都不红。

- 脚本加两条结论断言：`^\[i18n\].*platform=applelanguages:[A-Za-z-]+` 与 ` source=applelanguages`
  （退化日志上实测红、健康日志上实测绿）。
- `REPORT.md` 语言行下注明：env 优先级低于平台源，正常 Mac 上两档同值，这一维验的是「平台源
  真读到了 + 中文字体回退」，不是中英对照。

## p3（复审 + 第二路自跑复核同源的三条）

- `[perf] boot probe=0ms` → `probe=skipped`（没计时就不报数；降级重开那一轮改为**真计时**）。
  变异实证：把 skipped 写成 0ms ⇒ `perf_lines_carry_measured_millis` 红。
- `[env] gpu=` 排序改成 `DiscreteGpu > IntegratedGpu > 其它`：本机原来报核显，而 iced 实际选的是
  独显（现在报 `AMD Radeon RX 6600 XT [DiscreteGpu]`，与 `Selected:` 一致）。
- `[i18n] setting=<未设置>` → `<未接线>`（配置侧根本没读取点，写「未设置」等于把「我们没读」
  说成「用户没设」）。
- `[backend] final=` 失败行：`refuse` / `none` 两条路是 `final=none`（什么都没跑起来），只有
  `respawn` 才是兜底名；`pages/harness.rs` 不再写死 `via="refuse"`，改用共用的 `failure_via()`。
  实跑负例：`[backend] final=none result=failed primary=wgpu fallback=tiny-skia via=refuse`。
- 脚本 `[tick]` 那处唯一未锚定的 `field()`：加 `^` 锚定、正则改 `clock=[a-z0-9-]+`（真值是
  `idle-1hz`，旧 `[a-z]+` 把它截成 `idle`，靠前缀巧合通过）；断言也改成 `clock=idle-1hz`。
- 脚本 `[backend] final` 取值改 `field_backend()`：优先 `result=started`（respawn 场景一条日志里
  有父 failed + 子 started 两条，旧 `head -1` 会把「这次没跑起来」写进报告）。
- 脚本 `exec 3>&1` 全程留痕（终端提示也进 `logs/00-run.log`）、跑前清空 `$OUT/shots/`、
  python3 缺失时在 REPORT 里写明「几何列未采」而不是留空。
- `renderer/mod.rs` 补一段依据：为什么「单项 ICED_BACKEND ⇒ 没有静默回退」成立（`iced_tiny_skia`
  的 `with_backend` 只接受 `tiny-skia`），以及它依赖 iced 实现细节的两层缓解。

## 结构

`app/boot.rs` 400 行零余量 → 拆成 `boot.rs`(248) + `boot/fallback.rs`(117，兜底/重开/退出码) +
`boot/diagnostics.rs`(110，窗口设置与四段报告)；`run()` 回到「探测 → 字体 → 打印 → 起 iced」。
`acceptance` 再把 `[window]` 拆成 `window.rs`(142)。

门禁：`cargo fmt --check` / `clippy --all-targets -- -D warnings` / `test`（373 lib + 6 integration）全绿。
 2026-11-03 12:59:57 +08:00
AskaEth f986981c12 feat(acceptance): M98 —— 八类诊断日志 + 一次运行的全覆盖验收矩阵 
验收要的是「一次运行、多角度覆盖、输出能直接判读」，而不是把朋友当测试机反复问 7 个问题。
这一轮把产品进程能**自己观测**的那部分日志补齐，并把人工问题压缩到 3 条。

新增 `renderer/acceptance/`（三块，全部 ≤400 行）：

- `mod.rs`：`[backend]`（plan = 判据，final = **结果**：`result=started|failed` + 具名错误 +
  `via=respawn|refuse|none`）、`[perf]`（boot 三段实测 / session / scene 帧率只算首帧之后的间隔）、
  `[theme]`（来源 = 哪个参数决定，系统那条写 `pending` 等异步真值）、`[window]`（**请求值**，
  字段名自证 `requested` / `scale_requested`）；开关 `ULL_ACCEPTANCE=1`、尺寸覆盖
  `ULL_WINDOW_SIZE=1520x900` 与它的解析/夹取（含 `size_source=` 四态）。
- `locale.rs`：`[env]`（真适配器枚举 + 硬件判定；显示器写 `needs-window` 不猜）、`[i18n]`
  （四级链每一级的原始值 + 结论； macOS 走 `defaults read -g AppleLanguages`）。
- `visual.rs`：`[font] chain`（令牌声明的回退链，与已有的实际落点 `[font] platform=` 互补）、
  `[caps]`（`bundle` / `menu_bar_name` 从可执行文件路径**读**出来；`controls=self-drawn` 由
  `decorations=false` 推出）。

接线：`app/boot.rs` 在正确的时刻把真值喂进去（探测产物 / 窗口设置 / 实测 `Instant`），
`pages/harness.rs` 同一套前缀（含 `[perf] scene`），`main.rs` 用法里写出两个开关。

反模式的防线（M97 那类「在需要结果的地方打印请求」）：每一格都有能改坏的断言
（`acceptance/tests.rs` + `locale_tests.rs`，共 20 条新增），失败路径的 `error="…"` 会把
wgpu 自带的双引号换成单引号，保证单行可解析。

本机（Windows）实测：auto → `[backend] final=wgpu result=started` + `Selected: AdapterInfo`;
cpu → `tiny-skia`；`WGPU_BACKEND=metal` 负例 → exit 1 + 无图 + `via=refuse`；宽屏覆盖生效。
macOS 分支（Metal / AppleLanguages / 菜单栏名）需真机复核，期望字符串见 `renderer/mod.rs` 文档。

验收脚本不入库（用户要求）：落在 gitignore 的 `DevDocs/ops/macos-acceptance.sh`，
由 tower 拷到分发目录。
 2026-11-03 01:09:25 +08:00
AskaEth 53b27eac45 fix(renderer): M97 r2 —— 退出码透传拆成可测单元（构造 / 执行），4 个变异全抓 
上一轮把降级重开的 env 钉住了，但 `respawn` 里还剩一段不可测的接线：`status.code()`
→ `process::exit`。它的失效方式不止「崩溃」，而是**安静地给出一个错结论**——CI 把失败
当成功（或反过来），然后有人基于它做决定。这类和今晚一直在打的东西同类，所以补上。

## 拆法

- `exit_code(Option<i32>) -> i32`：纯函数。`None`（子进程被信号杀死，只有 Unix 会这样）
  走兜底码 2，**不 panic、不当成功**。在 Windows 上也能测（测的正是「拿不到码」那一刻）。
- `fallback_command(program, args, fallback) -> Command`：program / args 是参数而不是
  在函数里读 `std::env`，唯一目的是让测试能喂假命令（`cmd /c exit 7`）验退出码。
  三路 stdio **显式** `inherit()`——`Command` 默认就是继承，但显式写出来，将来有人为了
  「安静」加 `.stderr(Stdio::null())` 时 diff 里看得见；降级那次的子进程日志必须和父进程
  同一路输出，否则验收脚本抓不到。
- `respawn` 只剩 `current_exe()` + 日志 + `exit_code(status.code())`。

## 新增测试（4 条，全部变异验证过）

| 变异 | 结果 |
|---|---|
| X1 `unwrap_or(0)`（拿不到码时当成功） | `signal_death_falls_back_to_a_nonzero_code` FAILED |
| X2 `Some(_)` 一律 0（不透传） | `fallback_command_really_passes_the_child_exit_code` FAILED（真起 `cmd /c exit 7`，父进程拿到 7） |
| X3 重开时丢掉 argv | `fallback_command_passes_program_argv_and_envs` FAILED |
| X4 重开时不传 env | 同上 FAILED |

复原后 `cargo test -p unlucky-app-iced --lib` = 337 passed。

**stdio 继承没法用 getter 断言**（`Command` 在 stable 上没有 stdio getter），所以它的证据是
运行时观察：交互降级那次，父进程的 `[gpu] 降级 → …` 与子进程的 `[probe] 本次是降级重开`
落在**同一个 stderr 文件**里（见报告 §运行时复核）。

## 顺带

- `boot.rs` 超 400 行（492），按仓库既有做法把测试拆到 `src/app/boot/tests.rs`
  （`#[path = "boot/tests.rs"]`，同 `pages/harness/tests.rs`）：boot.rs 311 行、tests.rs 187 行。
- `tests.rs` 模块文档里留了**变异验证的工具纪律**：只在函数体内替换、把测试里的同一字面量
  排除在外——全局 `sed` 会连断言一起改掉，于是「实现和期望被换成同一个错值」，测试照样绿，
  **验证的是变异脚本自己**。M97 r1 第一次跑就这么被骗了三个变异（假绿第十种形态），
  这条写给将来改这套测试的人。
 2026-11-03 00:26:56 +08:00
AskaEth fa9dd170d3 fix(renderer): M97 r1 —— 降级/取证两条路改成可被变异测试抓到的纯函数 
复审在 `git archive 72f20d8` 上做了变异：删掉 `respawn` 的
`.env("ICED_BACKEND", fallback.env_value())`，**327 passed / 0 failed**，那条名为
`retry_fallback_flips_the_tier_to_cpu` 的测试照样绿。

名字说它守住了「降级后档位翻转」，实际它只把 `"wgpu"` / `"tiny-skia"` 两个字面量喂给
`backend_from_env` 和 `effective_panel_alpha`，**`respawn` 一行都没执行**（它 `-> !`，
走 `process::exit`）。这和 M97 要修的那行常量日志是同一个结构：**在需要结果的地方验了旁边的东西**。

## 改了什么

1. `respawn` 的两组 env 抽成纯函数 `fallback_env(fallback)`，返回值是
   **`[(&'static str, &'static str); 2]`**——数量由类型钉住（删一条直接编译不过，
   比测试更早的闸门），键与值由测试钉住。
2. 子进程那一轮的决策抽成 `renderer::decision::fallback_round(kind)`，**兜底恒为 `None`**
   （防无限递归重开），`boot_probe` 不再就地拼 `Decision`。
3. 失败分流抽成纯函数 `on_failure(decision, evidence)` → `Respawn(Kind) | Refuse`：
   交互降级 / 取证拒绝两条路各自被测试钉住（判据表第 8 行 vs 第 9 行）。
4. 补上复审点名的两处 0 覆盖：`renderer::strict`（剥兜底）与 `renderer::run_once`
   （传下去的是 `decision.primary`，且进程内只跑一次）。
5. 改名并改文档 `retry_fallback_flips_the_tier_to_cpu` →
   `each_backend_value_maps_to_its_tier_and_alpha`，明确写「本测试**不**守翻转」，
   并指到真正守它的那条。

## 变异验证（8/8 被抓到，全部在实现行上做，测试里的同一字面量不动）

| 变异 | 结果 |
|---|---|
| M1 删掉 `ICED_BACKEND` 那条（=复审的变异） | **编译期**红：`expected an array with a size of 2, found one with a size of 1` |
| M2 键打错 `ICED_BAKEND` | `fallback_env_carries_the_backend_and_the_gate` FAILED |
| M3 闸门键打错 `ULL_GPU_FALLBACK_TYPO` | 同上 FAILED |
| M4 闸门值写死（不跟 fallback 走） | 同上 FAILED |
| M5 `fallback_round` 又给兜底 | `fallback_round_never_degrades_again` FAILED |
| M6 取证启动改成也降级 | `evidence_start_refuses_instead_of_degrading` FAILED |
| M7 `strict` 忘了清兜底 | `strict_strips_the_fallback` FAILED |
| M8 `run_once` 传死值 | `run_once_passes_the_decision_primary` FAILED |

复原后 `cargo test -p unlucky-app-iced --lib` = 334 passed。第一次跑变异时 A/B/C 三个
「照样绿」是我脚本自己的 bug：`sed` 把测试期望里的同一字面量一起改了（自指式变异盲区），
改成只在函数体内替换才暴露真实结果——这条也记进报告。

## 顺带（p3-1）

`boot.rs` 模块文档里「字体栈不重算」是旧实现的残留：改成换进程之后，子进程会把字体栈、
配置、presenter 全部重算（实测首帧 493~531 ms），文档已按实际行为重写，并把判据表
第 8/9 行两条路的差异写进模块头部。

运行时行为未变（refactor 只做抽取），已复测：取证启动 + wgpu 不可用 → exit 1、无 PNG、
具名错误 + 「拒绝降级出图」；交互启动 → 具名错误 + 换进程降级 + `[probe] 本次是降级重开`。
 2026-11-03 00:26:56 +08:00
AskaEth 31cdfd5bbd fix(renderer): M97 后端判据 —— 静默降级改具名错误，取证通道拒绝降级出图 
M97 的入口是一份 macOS M1 真机报告：探测认出了 Apple M1（adapters=1 /
hardware=true），日志却写着 `renderer = auto (wgpu -> tiny-skia)`，看起来
像在跑 CPU。读源码发现那行是**常量**：`probe.rs` 按 `ICED_BACKEND` 未设就把
`"auto (wgpu -> tiny-skia)"` 打出来，与实际后端无关。真正的失败被 iced 吞掉：
`iced_renderer-0.14.0/src/fallback.rs` 的 `Compositor::with_backend` 把 wgpu 的
错误装进 `errors` 向量，tiny-skia 一成功就整体丢弃。

## 判据改为单项，不再交给 iced 回退

`ICED_BACKEND` 现在**永远是单项**（`wgpu` / `tiny-skia`）：能跑起来就必定是它；
起不来就必然是 `iced::Error::GraphicsCreationFailed` 里的具名错误。判据是纯函数
`renderer::decide(request, probe, gpu_compiled)`，落在 `renderer/decision.rs`，
表驱动测试逐行钉死 1~6 行 + 「除强制 CPU / 未编 wgpu 外必须留兜底」的守门。
判据表（条件 / 选哪个 / 日志该打什么 / 谁能验证）在 `renderer/mod.rs` 顶部。

## 安全网改成换进程

第一版是「打印错误 → 在本进程再 run() 一次」，Windows 实测直接 panic：
`Create event loop: RecreationAttempt`（winit 一个进程只能建一次事件循环）。
改成 `respawn`：子进程只换 `ICED_BACKEND` + `ULL_GPU_FALLBACK`，父进程透传它的
退出码。子进程看到 `ULL_GPU_FALLBACK` 必须跳过探测，否则会无限递归重开。

## 取证通道不许自己降级

带 `--screenshot`（含 `--screen=gallery`）时 wgpu 起不来就**不出图**、退出码 1，
因为换了后端出的图会撒谎；交互启动才允许降级。每张图的日志现在打**实际**后端
（`[shot] … renderer=wgpu`），以前打的是请求值 `auto`——同一个病（在需要结果的
地方打请求）在仓库里出现了两次，这是第二次。

## 可观测性

- `log` 桥（`renderer/log_bridge.rs`）把 `iced_wgpu` 的
  `Selected: AdapterInfo{…}` 接到 stderr：这是本仓库第一次能自证「真在用 GPU」。
  按 target 分级（`iced_wgpu*` Info、`wgpu*` Warn），否则 Vulkan loader 会刷 90 行噪声。
- `renderer/preflight.rs`（默认关，`ULL_PREFLIGHT=1`）：开窗前拿 wgpu 的具名错误。
  实测 Windows RX 6600 XT 上 took=717ms，所以不进默认路径。
- `app/backend.rs` 的档位判据跟着改成读单项；**真降级到 CPU 的那一次面板 α 现在会
  正确强制 1.0**（以前静默降级后仍按 GPU 档判）。

Windows 实测：auto → wgpu + `Selected: AdapterInfo{…backend: Vulkan}` 出图；
`--renderer=cpu` 逐字不变；`WGPU_BACKEND=metal` 造失败 → 具名错误 → 交互路径降级
不崩（首帧 531ms）/ 取证路径拒绝出图 exit 1。macOS Metal 路径需真机复核，
命令与期望日志行写在 `renderer/mod.rs` 的「真机验收」一节。
 2026-11-03 00:26:55 +08:00
AskaEth 4fde22067e chore(app-iced): M95 解 rebase 冲突的收尾 —— pages/mod.rs 收到 400 行 
M94 合入后 `pages/mod.rs` 两侧增量叠加到了 **406 行**（全仓硬上限 400）。本提交只做三件
等价收紧，没有行为变化：

1. `demo_model` 的三个 `if` 收成一个 `match screen`（「哪页带演示数据」也更好读）；
2. 我给 `Message::CopySummary` 写的 3 行 doc 收成 1 行（M94 的变体 doc 都是单行）；
3. 删掉 `#[cfg(test)] mod tests;` 与 `pub use` 之间的一行空行。

顺带把 `demo_model` 的「只有实例页带数据」改成事实（实例/下载/日志三页都有演示数据——
这句在 M94 合入后就不成立了）。

收完 **正好 400 行**，仓库自己的守门测试（`components::gate` 的
`every_source_file_stays_under_the_line_limit`，扫 `src/**`）仍然绿。
 2026-11-02 22:31:47 +08:00
AskaEth 0eb069fa37 fix(app-iced): M95 r4 —— 归属判据回归 / 置信度档 / 运行中页头 
代码复审 r3 的四条 p2，修三条、登记一条（P2-4 页脚余量 13px，后置）。

**P2-1（回归修复）**：r3 把归属判据写成「有选中就只认选中」，把**导入崩溃文件**与 `open_session`
这两条路径的诊断一并关掉了——`559ba20` 是**无条件**画的，所以这是 r3 引入的**代码级回归**，
不是既有缺口（今天 iced 侧没有 dispatch 站点，那些还在遗留的 Slint shell 里，故复审未判 p1）。
判据改成三分支（`app/view/logs.rs`）：

| live_session | selected_session | 报告算数的条件 |
|---|---|---|
| Some(s) | 任意 | `report.session == s`（只有它在线时日志行是它在追加，别人的报告挂上来就是串场） |
| None | Some(s) | `report.session == s` **或** 报告不属于任何已知会话（导入用 `file:<文件名>`，永不在索引里） |
| None | None | 全部算数（此时日志行只可能来自 `open_session`／导入，与报告同一次调用发出） |

新增两条测试（都走真实 reducer）：`an_imported_crash_file_still_shows_its_findings`、
`a_live_run_says_it_is_running_instead_of_nothing_runs`。
残留（今天不可达，已登记）：`open_session(A)` 在 `selected_session` 仍停在上场 B 时会被挡掉——
真要修得让 presenter 在 `LogLinesChanged` 记下「日志行属于哪一场」。

**P2-2 置信度档（视觉变更）**：`Severity`（借 core 的 `critical/warning/notice` 词汇）→
`Confidence`（`High/Medium/Low`）+ 新 key `LogsConfidenceHigh/Medium/Low`（中英齐，标题明确写
「高/中/低置信度」）。阈值仍是 80/50，但它现在是**档位定义**而不是「严重度代理」。
摘要里的 `findings=rule:high(85)` 同步换档位 slug。DTO 补齐 `severity` 之后应换回真严重度（finding）。

**P2-3 运行中的页头**：session 索引只在**结束**时追加，运行中的那一场不在 `log_sessions` 里 ⇒
拿不到实例名与结局 ⇒ r3 之前页头在日志滚动时一直说「当前没有运行中的实例」（demo 伪造了身份，
截图照不出来）。`Logs` 新增 `live: bool`（`live_session.is_some()`），`with_status` 三级回退：
有实例+结局 → `实例 · 时间 · 结局`；运行中但没结局 → 新 key `LogsSubtitleLive`（「Running now —
logs stream as they arrive」）；都没有 → `LogsSubtitleIdle`。
新增 `a_live_run_says_it_is_running_instead_of_nothing_runs`（真实 reducer：只有
`LogAppended(running=true)`，断言副标题不是 Idle 文案且含 `Running now`）。
新增 demo 状态 `ULL_LOGS_FIXTURE=running` 用于出图。

**变异实测**（每条：回退 → 红 → 放回 → 绿）：见报告。

验证：`fmt --check` 通过；`clippy -p unlucky-app-iced -p unlucky-i18n --all-targets -D warnings` 干净；
`cargo test` **280 + 6 + 23 passed / 0 failed**；行数最大 `pages/mod.rs` 367、`app/view.rs` 324、
`app/view/logs.rs` 337。
 2026-11-02 22:27:01 +08:00
AskaEth 5ed2bf3a7d fix(app-iced): M95 r3 摘要页脚占比 4:2 + 演示数据自洽 + 样例解析不再 panic 
视觉复审 r2 的 P2-A 与两个顺手的 p3。

**P2-A 摘要页脚占比过大（3:2 → 4:2）**：1180×760 下诊断卡 338px，摘要页脚固定吃掉 ~150px
（标签+按钮 40 + 摘要折 5 行 80 + 间距/分割 30），滚动视口只剩 141px，而一条完整结论
（分组标题 → 建议动作 → 置信度）要 165px ⇒ 首屏看不到「建议动作」，那是任务清单 T1/T3 要求的
可见项。改成 `DIAGNOSIS_SHARE = 4`（`LOGS_SHARE` 仍 2）。**数值实测**（`r3-crash-light.png`
逐像素量，非估算）：诊断卡 376px、滚动视口 **178px**（y 201–378，两侧 1px 分割线的位置）、
一条完整结论块 **165px**、底部余量 **13px** —— 建议动作与 `Confidence 85%` 整块在首屏可见。

**p3 演示数据自相矛盾**：`live` 状态页头写「Finished normally」却配崩溃日志尾行
（`启动失败：exit code 1`）。新增 `sample_live.log`（一场正常跑完的会话：加载 → 进世界 →
停服），`State::Live` 用它，不再复用崩溃样例。

**p3 `demo::parse` 对非 ASCII 首字符 panic**：`raw.split_at(1)` 会切在多字节序列中间。
改成按字符取前缀（`chars().next()` + `chars.as_str()`）；顺带把它提成 `pub(super)` 以便测。
新增 `the_fixture_parser_survives_a_non_ascii_first_char`：非 ASCII 首字符不 panic（静默跳过），
并钉住 `I/W/E` 前缀与注释/空行的解析。

测试：**278 passed / 0 failed**（lib）+ 6（`no_hardcoded_tokens`）+ 23（i18n）全绿；
`fmt --check` 通过；`clippy -p unlucky-app-iced -p unlucky-i18n --all-targets -D warnings` 干净。
出图：`C:\Temp\ull-shots-m95\r3-{crash-light,crash-dark,live-light,empty-light}.png`（1180×760）。
 2026-11-02 22:27:00 +08:00
AskaEth 62d4af150e fix(app-iced): M95 r3 跨会话串场 —— 诊断结论只在归属会话就是当前会话时才画 
代码复审（绑 559ba20）抓的 p2：r2 的 `logs_model` 先按 `state.diagnosis` 定「这是哪一场」，
而日志行来自当前那一场；`state.diagnosis` 全仓**只写不清**（`apply_core` 里
`CoreEvent::DiagnosisReady` 是唯一赋值点，没有清零点），host 也只在崩溃 / 打开会话 / 导入时
发它。于是「崩溃一场 → 再启动一场正常跑」时：页头把新会话标成上一场的 `The game crashed`、
诊断卡挂着上一场的结论，而用户复制去贴 issue 的摘要里 `lines=` 是**新的**那一场的行数 ——
结论与行数不同源，用户会把错诊断递出去。

修法（只在页面侧判别，不动 presenter 的写入口）：

- **身份**只认 `live_session.or(selected_session)`（正在跑 → 打开/刚结束的那一场），
  **不从 `diagnosis` 反推**；
- 诊断结论只在 `diagnosis.session == 身份` 时画；身份为空时才信任报告（那时日志行只可能来自
  `open_session`，它与报告是同一次调用发的）；
- 实例/时间/结局的描述同样是身份优先，身份为空才退到报告的 session。

测试（`app/view/logs.rs` 内，走**真实数据路径**）：
`crashed_only()` 用 `apply_core` 依次灌 `LogSessionsChanged` → 第一场 `LogAppended(running)`
→ `DiagnosisReady` → `LaunchFinished(Crashed)`，`after_a_new_run()` 再灌第二场 `LogAppended(running)`；
`state.diagnosis` 全程不清（这就是线上串场的条件）。

- `a_new_run_does_not_inherit_the_previous_crash`：断言 outcome=Ok、页头不含 `The game crashed`、
  findings 为空、摘要 `outcome=ok` 且不含旧规则且 `lines=` 与当前行数一致。
- `the_crash_itself_is_still_reported`（对照，防「永远不画诊断」骗过上面那条）：崩溃当场必须
  findings=1 且摘要含 `gpu.driver_old:critical(92)`。
- `the_hosts_no_rule_matched_placeholder_is_not_a_finding`：host 的 `rule: ""` 占位报告不画；
  换成真规则就必须画（证明过滤不是把诊断一起关了）。

变异实测：把 `report` 的过滤回退成 r2 的 `state.diagnosis.as_ref()` → 上面第一条**红**并点名
`Finding { rule: "gpu.driver_old", … }`（0 passed / 1 failed）；放回 → **277 passed / 0 failed**。
 2026-11-02 22:27:00 +08:00