4b1471a60d77e8f89c2f19b8731d001cb302ffe0
4
Commits
| Author | SHA1 | Message | Date | |
|---|---|---|---|---|
 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）全绿。 |
||
|
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 拷到分发目录。 |
||
|
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] 本次是降级重开`。
|
||
|
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` 的「真机验收」一节。
|