 AskaEth
|
875ac159ee
|
Merge branch 'feat/m103-agentstream-presenter-agent-rail-mo'
|
2026-11-04 00:21:22 +08:00 |
|
|
AskaEth
|
a2b1a06901
|
test(presenter): M103 r2 —— 出站脱敏补守卫，另三处站点与 Bearer 右边界
P1（守卫缺失，产品代码是对的）：
- 新增 RecordingTransport + outbound_prompt_is_scrubbed_before_it_reaches_the_backend：
断言真正发给后端的那份 prompt 里没有 JWT（rail 侧也脱敏，「界面干净」证明不了出站安全）
- 变异：删掉 agent_submit 的出站 scrub ⇒ 该测试红（输出见完成报告）
另三处同类站点（r2 P2-1）：
- confirm_tool_name_is_scrubbed（ConfirmRequest.tool）
- tool_message_from_the_backend_has_its_tool_view_scrubbed（MessageAppended 的 ToolCallView 分支）
- outbound_error_text_is_scrubbed（Err 文案，provider 401 常回显 key）
- 三条各自变异后都变红
其他：
- bearer_right_boundary_is_pinned（tests.rs）：钉住 mask_bearer 的停字符集，收窄成 [' '] 即红
- 文档订正：rail.rs 模块 §2 改成「两道闸门（出站/显示）各守一侧」+ 与 agent 侧的实际关系
（名单逐字相同、path 语义相同、mask_bearer 是行为不完全等价的自写迁移；重复实现是欠账，
不读成「已无差异」也不读成「已经漂移」）
- agent_set_draft 与 rail_text 各写明「draft 不在断言覆盖范围」及原因
- tests_red_line.rs 4 行 405 → 380；各文件均 ≤400
|
2026-11-04 00:21:19 +08:00 |
|
|
AskaEth
|
06461df91b
|
fix(presenter): M103 r1 —— 脱敏闸门补守卫，P2 五条带走
P1（守卫缺失，产品代码本来是对的）：
- 新增 agent/tests_red_line.rs：MessageAppended（绕过 agent_submit）、
ToolCallFinished（name+summary）、非 JWT 形状的 details（键名 / 嵌套 / 数组 /
值随 path 敏感）各一条；变异 A/H/C2 复跑确认变红
- tests.rs 拆出红线组（547 → 334 行，单文件 ≤400）
P2：
- scrub_details 补「值随 path 敏感」规则（对齐 agent::redact::redact_args）
- scrub_text 补短 Bearer 掩码（对齐 agent::redact::mask_bearer）
- pending_confirm_forces_busy_without_yolo 先 finish_stream 再断言（不再空过），
变异 F 现在两条测试同时变红
- MessageDelta 越界下标 debug_assert；ToolCallFinished 没有 pending 时忽略，
不再改写已收敛的历史条目
- Presenter::state_mut() 收窄成 #[cfg(test)]，换成 navigate/back/toggle_ai/
prefs_mut/agent_set_yolo/agent_set_draft 等窄入口
- agent_submit 成功后立刻 begin_turn() 置忙，事件投影完 settle_streaming() 重算，
异步后端空窗不会再让用户点两次发送
- 补测：begin_turn 置忙、静默后端不留假忙、工具收尾不覆盖历史
|
2026-11-04 00:21:19 +08:00 |
|
|
AskaEth
|
a8d4cce3e2
|
feat(presenter): M103 AI 助手栏视图模型与事件投影
- 新增 crates/presenter/src/agent.rs（Presenter 门面：agent_rail / agent_submit /
agent_mark_read / agent_confirm + AgentTransport 端口 + 裁决审计镜像）
- 新增 agent/rail.rs：AgentRail（messages / unread / busy / draft / confirm / streaming /
yolo / endpoint_label / error），四类 AgentEvent 的投影与唯一脱敏闸门
- 新增 agent/mock.rs：脚本化后端（正常问答 / 流式中途出错 / 需确认的写操作）
- dto/agent.rs：ConfirmRequest / Sensitivity + AgentEvent::{Failed, ConfirmRequested,
ConfirmResolved}；AgentEvent 去掉 Eq（details 含 serde_json::Value）
- state.rs：AiSession 迁成 AgentRail，apply_agent 走 rail.ingest + 未读规则（可见性 =
独立页或栏展开）；navigate/toggle_ai 展开时清未读
- 测试：agent/tests.rs 14 条（四条路径 + JWT 红线 + YOLO 语义 + 提交前置条件），
state_tests.rs 补 4 条（Failed / ConfirmRequested / 未读可见性 / 用户消息不计未读）
- 两行声明补进 lib.rs（pub mod agent）与 dto/mod.rs（重导出 ConfirmRequest/Sensitivity）
|
2026-11-04 00:21:19 +08:00 |
|
|
AskaEth
|
15eec1160d
|
Merge branch 'feat/m110-packmodel-canonical-pack-manifest-a'
|
2026-11-04 00:20:27 +08:00 |
|
|
AskaEth
|
34f3db359a
|
fix(core): M110 r2 —— duplicate_override_paths 两种冲突同时报，补 mrpack 同侧分支用例
- p2-2：`duplicate_override_paths` 改成「先按 path 分组，再在组内报 (侧集合, 条目份数)」，
判据 `侧数 > 1 || 份数 > 侧数`。r1 修好了跨侧（Both×Client）但按侧去重把「同侧两个组
撞同一路径」这条旧能力换掉了（实测返回 []）；现在两种冲突同时报得出来，返回值升为
`Vec<(String, Vec<PackSide>, usize)>`（M111 注意：这是最后一次改形状的窗口）。
- p3-a：mrpack `check_overrides` 的「每侧只能有一个覆盖目录」分支补用例（此前零测试，
删掉它 54 条全绿；现在删掉即红）。
- p3-b：把 ReadBudget 的「每次调用一份额度，不是整包一份」写进 `override_files` /
`ReadBudget` 文档（mrpack 连调三次 ⇒ 理论上限 3×；要整包共用额度就走
`override_files_with`；`open` 阶段的声明总量仍是整包一次）。
- 顺带（复审点名、各一行）：mrpack 非表达目录的 hint 里 21 个连续空格；
curseforge 文档里 `.minecraft/.minecraft/…` 的说法按 CF 语义订正（overrides 是 zip 内前缀，
内容铺开不丢；要不要多拷一层取决于导入器）。
|
2026-11-04 00:20:25 +08:00 |
|
|
AskaEth
|
6dd652aced
|
fix(core): M110 r1 复审修复：导出安全闸、跨侧重名、第二检用例、半包与失败分级
按 tower 裁定清单逐条改，不扩战场（模型与扩展点未动）。
- p2-1 跨格式导出不再静默丢内容：`PackFormat::check_overrides` 在默认 `write` 写第一个
字节前判定"这份模型的覆盖目录集合能否被本格式表达"。mrpack 要求目录名由 side 决定
（overrides / client-overrides / server-overrides）、CF 只接受单一 Both 侧组；表达不了
即 `pack_unsupported` + hint。`format.rs` 模块文档写死"默认 write 只保证同格式往返"，
并列出 M112 必须补的四件事（目录映射、side 合并、加载器 id 规范化、extra 分桶）。
- p2-2 `duplicate_override_paths` 改为按 `path` 跨侧计数，返回 `(路径, 侧集合)`；
Both×Client 同路径这条 mrpack 真实冲突现在查得出来。
- p2-3 补 `#[cfg(windows)]` 第二检用例（CON / NUL / COM1.txt / `a.` / 尾空格 / 通配符），
并订正 `archive.rs` 文档里"保留设备名这里不拦"的自相矛盾（实际由 enclosed_name 在
Windows 宿主上拦，第一检放行）。
- p3-1 导出改临时文件 + rename，失败清理临时文件：目标路径不再留半个 zip。
- p3-2 三个 `detect` 不再 `.ok().flatten()` 吞错误：清单在但读不出来 = `pack_metadata`；
注册表汇总时"命中优先于失败"，一个都不命中才报，最后才退化成 `pack_unsupported`。
- p3-3 `env_extra`、CF `files[].extra`、`PackLoader::extra` 各补一条读→render→写→再读用例。
- p3-4 新增 `ReadBudget`（Cell<u64>）：`override_files` 持有累计预算，按实际读出字节
逐条扣减，声明大小撒谎的包不能靠"很多条各自合规"绕过 `max_uncompressed_bytes`。
- CF 读侧始终产出一个 Both 侧 overrides 组（字段缺省 `overrides`），与 render 对称。
每处修复都有变异证据（改坏 → 对应用例红）：p2-1/p2-2/p2-3/p3-1/p3-2/p3-3a-c/p3-4 共 9 条。
门禁：fmt 0 / clippy --workspace --all-targets -D warnings 0 / cargo test --workspace -j 4
exit 0（58 个 test binary，passed 1930，failed 0）；全部改动文件 ≤400 行（最大 389）。
|
2026-11-04 00:20:24 +08:00 |
|
|
AskaEth
|
b34e86bba5
|
feat(core): 整合包格式无关模型与格式扩展点（M110）
从零建 `core::addon::pack`：格式无关中间模型 + 格式扩展点 + 安全读取层，
不碰网络、不碰 UI（core-no-ui 依赖表未变）。
- `PackManifest` 无损表达 CF / mrpack / MultiMC 三方字段：包名/版本/作者/简介/
格式版本/游戏版本/加载器依赖/文件条目/覆盖目录；`files[].hashes` 保留整张摘要表
（mrpack 允许 sha1+sha256+sha512+md5 共存），`disabled` 记语义（导出按 D10 映射成
env.client=optional，CF 落 required=false）。
- 未知字段按条目用 serde flatten 接住（清单顶层 / CF `minecraft` 对象 / 文件条目 /
env / 加载器条目），导出时并回且已知字段优先；两格式各有一条「读→写→再读相等」测试。
- `trait PackFormat`（id / label / metadata_entry / detect -> Option<证据> /
read / render / 默认 write）+ `PackRegistry`：注册表顺序即优先级，写死
CurseForge → Modrinth → MultiMC；同一份包命中多格式时 `also_matched` 暴露歧义。
测试里用一个 toy 格式（单文件、一行注册）证明扩展点真的可扩展。
- `PackArchive` 把目录与 zip 统一成规整条目表：路径穿越双检（自研七条规则 +
zip crate 的 enclosed_name）、符号链接条目拒绝、条目数/解压体积/单条目上限、
规整后重名拒绝、篡改载荷不当场吞掉；每条都有恶意样本测试。
- 格式实现：CF 可读写（缺路径如实记 None）、mrpack 可读写（强制 sha512 形状、
env 三态、三个覆盖目录成三侧）、MultiMC 只读（.minecraft 当覆盖目录，
组件顺序与非加载器组件全保留）。
- 三种格式各一个手造夹具（含截断 TOML / 半截 jar / 零字节 jar），来源在
`tests/fixtures.rs` 里声明为手造，不冒充真实导出。
|
2026-11-04 00:20:24 +08:00 |
|
|
AskaEth
|
40a4c06d42
|
Merge branch 'feat/m118-slintexit-drop-legacy-slint-crate-f'
|
2026-11-04 00:09:41 +08:00 |
|
|
AskaEth
|
3e01e83c61
|
fix(docs): M118 r3 —— 撤回「AboutSlint 从未落地」的假前提，改为中性陈述 + 不作法律判断
复审 r3 的唯一 P1：r2 为了论证「未履行」，断言「`AboutSlint` 部件一直只有排期、从未落地」。
**这条是错的**，我先自己核了源码再改：
```
$ git grep -n 'AboutSlint' crates/app/
crates/app/ui/pages/settings.slint:4:// 关于页内嵌 AboutSlint —— Slint RF 2.0 许可义务（01c §8：关于页放官方部件）。
crates/app/ui/pages/settings.slint:15:import { AboutSlint, ScrollView } from "std-widgets.slint";
crates/app/ui/pages/settings.slint:274: AboutSlint { }
$ git grep -n 'AboutSlint' v0.1.0 -- crates/
（同上三行，v0.1.0 这个 tag 里就有）
$ sed -n '272,275p' crates/app/ui/pages/settings.slint
if root.section == SettingSection.about : Rectangle { height: 120px; AboutSlint { } }
$ sed -n '129p' crates/app/ui/pages/settings.slint → SectionRow { label: "关于"; … }
$ grep -n 'RouteKind.settings' crates/app/ui/components/nav.slint → :114/:116（侧栏入口）
$ grep -n compile crates/app/build.rs → slint_build::compile("ui/main.slint")
$ grep -n SettingsPage crates/app/ui/shell.slint → :23 import / :273 route==settings 时渲染
```
即：部件真实存在、经 build.rs 编译进二进制、侧栏 → 设置页「关于」一点即到；`packaging/README.md:317`
「（已在 UI 内）」本来就与代码一致，本轮未改。r2 的依据只是三份文档的自述（旧 NOTICE「P2 排期」、
README「still outstanding」），那份自述不可靠。
改法（三处同一句，`packaging/release-notes.md` 不动）：
- 删掉「只有排期 / 从未落地 / 尚未以任一形式落地」这类断言；
- 改成中性陈述：义务挂在每次「随应用分发」上；`v0.1.0` 的设置页「关于」分组里**确实内置了**
`AboutSlint` 部件（`crates/app/ui/pages/settings.slint`，从侧栏进入）；该部件是否满足 §2(a)、
以及 v0.1.0 发布页上是文字链接而非 §2(b) 官方徽章图这两点，**本文件不作法律判断**，以 Slint
官方许可原文为准；NOTICE / 发布页说明 / 本节都只是记录，不构成履行声明。
- 顺手按本机 registry 里 Slint 1.18.1 随包的 RF-2.0 原文把 §2(a) 补全：还允许「没有关于页时显示在
启动画面」这一变体（原文 `In the absence of such a screen or dialog, display the widget in the
"Splash Screen"`），r2 只写了前半句。
diff：`git diff --name-only` = NOTICE, README.md, README.zh-CN.md（3 份文档、零 .rs）。
|
2026-11-04 00:09:39 +08:00 |
|
|
AskaEth
|
e827f7a0ef
|
fix(docs): M118 r2 —— 发布页第二形态换成实测可用的 --renderer=cpu，NOTICE 停止声称 RF-2.0 已履行
复审 r2 的 2 条 P1 + 3 条 p2 小账，全部只动文档（5 份，0 个 .rs）。
P1-1（`SLINT_BACKEND` → `ICED_BACKEND` 换了个名字的死开关）：
`packaging/release-notes.md` 的「No GPU」小节原来把 `ICED_BACKEND=tiny-skia` 当作
`--software-renderer` 的等价替代命令给用户。实测该值会被本进程无条件覆盖：
- `ICED_BACKEND=tiny-skia ./unlucky-launcher-iced.exe --screenshot …`
→ `[probe] … request=auto -> ICED_BACKEND=wgpu` / `[shot] … renderer=wgpu` / `[backend] final=wgpu`
- `--software-renderer --screenshot …` → `request=cpu -> ICED_BACKEND=tiny-skia` / `renderer=tiny-skia`
- `--renderer=cpu --screenshot …` → `request=cpu -> ICED_BACKEND=tiny-skia` / `renderer=tiny-skia`
所以改成两条都实测可用的形态（`--software-renderer` / `--renderer=cpu`），不再把环境变量当用户开关。
P1-2（RF-2.0 履行方式的措辞与上游 §2 冲突）：
`NOTICE` 第 1 条原写「由 v0.1.0 的 NOTICE、发布页说明与本文件的历史记录共同承担」——§2 只承认
(a) AboutSlint 部件 / (b) 公开下载页的官方徽章两种履行，NOTICE 文本不是履行。改为：义务仍挂在
v0.1.0 已发布资产上（条件挂在每次分发，不挂版本号）；§2 只承认两种形式；**按本仓库记录，该项义务
在 v0.1.0 上尚未以任一形式落地**（部件一直只有排期，发布页那行是文字链接不是徽章图）；NOTICE /
发布页说明 / 本节都只是记录。
p2 小账：
- `NOTICE` 第 3 条的依赖许可：`tiny-skia` 从「Apache-2.0 / MIT」改正为 BSD-3-Clause，并把
winit（Apache-2.0）/ wgpu（MIT OR Apache-2.0）分别写明；README（中英）同款写法一并对齐。
- `packaging/README.md` §4：`libGL/libEGL` 行改成「Slint 版 femtovg / iced 版 wgpu（推断，未实测）」，
并把限定语改成「除标注『推断，未实测』的那一行外，整表是 Slint 版实测」，消除表内与限定语打架。
- `README.md` / `README.zh-CN.md` 的 Slint 义务段补 `v0.1.0` 限定并按 §2 口径重写，避免读者以为
「Made with Slint」说的是下一版。
证据：`git diff --name-only` = NOTICE, README.md, README.zh-CN.md, packaging/README.md,
packaging/release-notes.md；`packaging/README.md` 仍 399 行（守卫上限 400）；release body 模板用
`{{VERSION}}=0.2.0` 渲染通过（5956 字符，全篇 Slint 命中 4 行，均在「本版不含 Slint」的解释段）。
|
2026-11-04 00:09:39 +08:00 |
|
|
AskaEth
|
7704a75424
|
fix(docs): M118 r1 —— release notes / NOTICE 停止自称 Slint 版，packaging README 补两处旧口径限定语
复审 r1 的两条 P2，都只动文档（`packaging/release-notes.md`、`NOTICE`、`packaging/README.md`）。
P2-1（发版阻断项）：`packaging/release-notes.md` 是 Release body 模板，`NOTICE` 装在每个 tar.gz 里，
两者都仍自称 Slint 版：
- release notes：首段 `Slint + Metro UI` → `iced 0.14 + Material 3 Expressive UI`；「No GPU」小节从
femtovg / `SLINT_BACKEND=winit-software` 改成 wgpu + tiny-skia / `ICED_BACKEND=tiny-skia`；
删掉页面的 `Made with Slint` 徽章声明，换成「本版所有资产都由 iced 构建、不含 Slint 代码；
Slint 版源码仅作历史参考、不构建不发布；RF-2.0 徽章义务跟着链接 Slint 的二进制走，本版没有」。
- NOTICE：第 1 条标题改「Slint —— 历史源码，不随任何产物分发」，正文明确「当前 GUI 框架是 iced、
二进制不含 Slint 代码；crates/app 已被 workspace exclude，不参与构建/测试/发布」；RF-2.0 义务改成
「对当前产物不适用，仍挂在 v0.1.0 那批已发布资产上」。**没有整条删除**：仓库里确实还有基于 Slint
写的历史源码，且将来若重新链接 Slint 义务要恢复，留记录比删掉更安全——依据写进报告。
另在第 3 条补一句「当前 GUI 框架：iced 0.14（MIT）+ winit / wgpu / tiny-skia」。
P2-2：`packaging/README.md`（净零行，仍 399 ≤400）
- §4 的 `libGL/libEGL` 说明从 femtovg 改成 wgpu 的 GL/EGL 后端 + tiny-skia 软渲染，并加一段
「M118 口径」：那张表与 DT_NEEDED 结论是 Slint 版实测，iced 版**尚未重测**，按「同一族库、细节待验」读。
- §11 的本地复跑命令补限定语：`linux-smoke-docker.sh` 仍编/跑 Slint 版 bin，现在会失败；在它换成
`unlucky-launcher-iced` 之前，本地照 ci.yml 的 runtime-smoke 三步手跑。段落未删。
证据：`git diff --name-only` 仅这三份；release-notes 的 `{{VERSION}}`(15) / `{{SUMS}}`(1) 占位符仍在，
模板渲染走查通过；`packaging/README.md` 399 行（守卫上限 400）。另按复审要求二次单跑
`cargo test -p unlucky-core --test launch pipeline_records_crash_report_artifact` → ok（0.16s）。
|
2026-11-04 00:09:39 +08:00 |
|
|
AskaEth
|
cf8c6912ec
|
chore(workspace): M118 —— crates/app 退出默认构建，发布改打 iced bin（Slint 版停发）
M118（D26）：Slint 退役树 `crates/app` 不再进 workspace。目录与源码原样保留（不删一个文件），
只是配置上不再可编。
- 根 Cargo.toml：`[workspace] exclude = ["crates/app"]`。摘掉的是整棵 slint 1.18 + usvg 0.48
依赖树（本机单路冷编 ≈14 分钟；并行超配时表现为 rustc 退 1 且零诊断，见踩坑记录 p2 T7）。
Cargo.lock 由 cargo 自己重算：8639 → 6343 行（-2389/+93），`name = "slint"` 1→0、
`name = "i-slint` 11→0、`name = "slint-build"` 1→0。锁必须一起提交：旧锁配 `--locked`
会直接 `cannot update the lock file`（release.yml 与 ci.yml 的冒烟都带 `--locked`）。
- ci.yml：clippy/test/build 的 `--workspace` 自然不再覆盖 unlucky-app；runtime-smoke（Linux 与
macOS 探针）打的是 Slint 版 `--bin unlucky-launcher`，该 bin 已不存在 → 换成 iced 版
`unlucky-launcher-iced`（它的 cli.rs 照抄 Slint 版口径，`--data-dir` 仍被接受）。
- release.yml：**Slint 版停发**。旧写法 `--bin unlucky-launcher` 打的是 crates/app 的 bin，
也就是说流水线一直在发 Slint 版；改为 `--bin unlucky-launcher-iced --bin ull`，Windows
导入表自检的 EXE 指向构建产物 `unlucky-launcher-iced.exe`。对外产物文件名不变。
- make_artifacts.py：拆成 `LAUNCHER_BIN = "unlucky-launcher-iced"`（找产物）与
`LAUNCHER_ASSET = "unlucky-launcher"`（落盘名），tar 内文件名/权限随之按对外名走。
- guards.yml / README（中英）/ packaging/README.md：逐条写明排除后的覆盖口径，历史实现段落
全部保留并加限定语（不提供构建方式，也不暗示自救）。
门禁：fmt exit 0；clippy --workspace --all-targets -j 4 -- -D warnings exit 0（44.6s）；
check --workspace --all-targets exit 0（5m20s，slint 命中 0 行）；cargo deny check exit 0。
|
2026-11-04 00:09:38 +08:00 |
|
|
AskaEth
|
3f228ae092
|
Merge branch 'feat/m101-settingsmsg-settings-group-message'
|
2026-11-04 00:05:46 +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
|
bcb277c1dd
|
Merge branch 'feat/m100-settingsprep-harness-rest-state-set'
|
2026-11-03 20:00:56 +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
|
2ad808d55c
|
Merge branch 'feat/m99-settingsframe-split-settings-page-na'
|
2026-11-03 13:19:20 +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
|
4b1471a60d
|
Merge branch 'feat/p6-macos-acceptance-one-shot-matrix-diag'
|
2026-11-03 13:18:48 +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
|
18e36c6514
|
Merge branch 'feat/p6-fix-macos-gpu-probe-silently-falls-ba'
|
2026-11-03 00:27:04 +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
|
45cd44f756
|
Merge branch 'feat/p6-build-profile-fast-bins-and-ci-flags'
|
2026-11-03 00:23:29 +08:00 |
|
|
AskaEth
|
f6e55c5c7e
|
docs(build): 修正三处「文档说法与实测不符」的注释（M96 复审 P2-1/2/3）
只改措辞与注释，**profile 数值一个没动**（release.package 仍是 opt-level="z" + cu16，
fast 仍是 opt-2/thin/cu16/unwind）。
P2-1 `panic = "unwind"` 的理由原本写错了：原注释说「漏了这一行 `cargo test --profile fast`
起不来（test harness 依赖 unwind）」。实测三连否掉：`cargo build --profile release -v` 的
rustc 参数里**有** `panic=abort`、`--profile fast` 里没有（这行确实生效，可作证据）；但
`cargo test --profile release -p unlucky-i18n --no-run`（abort 档）照样 Finished 并产出测试
二进制，`-v` 里 test 单元**没有** `-Cpanic=`，真跑 23 个测试全过 —— cargo 对 test 目标自己强制
unwind。所以理由改成「让 fast 档编出来的**二进制**走 unwind」，并把「能跑 cargo test」明确标为
**没有区分度**的证据。顺带记下 fast 继承 `strip="symbols"` ⇒ 能 unwind 但没有符号回溯。
P2-2 `[profile.fast.package."*"]` 的注释把机制说反了：原注释说「package 覆盖按 profile 分别
生效，release 的不影响 fast」。实测删掉这块后，fast 档的**外部依赖**直接变成 `opt-level="z"`
（`slotmap`：1 那次 3 个单元 opt-2 → 删除后 3 个单元 opt-z），说明 `inherits` 会把 release 的
package 覆盖一起带过来。所以这块是**承重墙**，删了依赖会静默退回 z。注释按实测重写。
P2-3 「收益全在 `codegen-units = 16`」删掉：三组数据的唯一自变量是 opt-level（两臂都是 cu16），
cu1→cu16 的收益本轮**没有同条件对照**，已明确标成未测、留待后续归因。同时补一句：GUI 相对旧
基线 +12.9% 里「代码增长」与「依赖 cu16」未分离（ull 只 +1.7%，在 +1~3% 口径内）。
注：P2-1 那条原始错误表述来自 tower 的 mission 任务书，不是 worker 的臆造。
验证：`cargo build --release --bins` rc=0（16m21s，产物字节与 §7.1 记录完全一致：
6,256,128 / 13,910,528 / 16,479,232），`cargo metadata` 通过，README 仍为 400 行（未破门禁）。
|
2026-11-03 00:23:26 +08:00 |
|
|
AskaEth
|
b9eae2bb73
|
perf(build): 加 fast 构建档、依赖并行 codegen、验收脚本一次 --bins
三条慢因里两条落在构建配置上，发布档（release）的体积取向不动：
1. `[profile.fast]`（inherits = release）：opt-level 2 / lto thin / codegen-units 16，
日常迭代与验收用它，发布仍走 release。`panic = "unwind"` 是**必须显式写**的一行——
release 是 panic = "abort"，inherits 会照抄，漏了它 `cargo test --profile fast` 起不来
（test harness 依赖 unwind）。
2. `[profile.release.package."*"]`：依赖的 codegen-units 放到 16（并行 codegen），
**opt-level 保持 "z"**。最初按「优化等级高 = 编译快」把依赖抬到 opt-level 3，
同机冷编译实测反了：opt-3 是 22m45s / GUI 19.46 MiB，opt-"z" 是 16m01s / 15.72 MiB——
又慢 29.6% 又大 19~24%，收益全部来自 codegen-units 而不是 opt-level。
只调优化强度，不碰 panic / strip（那两项改的是整个二进制的运行时行为）。
3. `[profile.fast.package."*"]` 显式写一遍：package 覆盖按 profile 分别生效，不赌 inherits
会不会连覆盖一起继承（实测 594 个编译单元全部 opt-level=2 + cu16，含依赖）。
实测写进 packaging/README §6/§7.1（同机、删空 target 的冷编译、无并发负载）：
release 16m01s（GUI 15.72 / iced 13.27 / ull 5.97 MiB），fast 24m27s（36.41 / 32.02 / 15.23 MiB）。
**fast 档在本机冷编译没有收益甚至更慢**，瓶颈是两个大 UI crate + 链接 + 机械盘 IO，
它的定位是 SSD 机器与增量重编——这条照实写进文档，不为了贴近预期挑数字。
DevDocs/ops/macos-acceptance.sh 的构建段改动（DevDocs 被 gitignore，无法入库）见完成报告。
|
2026-11-03 00:23:26 +08:00 |
|
|
AskaEth
|
b16932a312
|
Merge branch 'feat/p5-logs-page-real-components-diagnostic'
|
2026-11-02 22:51:32 +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 |
|
|
AskaEth
|
ee4d82e3d4
|
refactor(app-iced): M95 r3 把日志页的展示转换从 app/view.rs 拆出来（纯搬移，行为零变化）
`app/view.rs` 已经 392 行（全仓硬上限 400），而日志页的转换还要加判别与测试，先拆。
- `app/view.rs`：392 → **324** 行，只留 `impl App`、`model()` 与实例页的展示转换，
另加 `mod logs; use logs::logs_model;`（调用点仍是 `logs_model(state).with_status(lang)`，未改）。
- 新增 `app/view/logs.rs`：**80 行**，逐行搬入 `logs_model` / `log_level` / `log_outcome` /
`diagnosis_of`，实现体一行未动（含 r2 的「先按 `diagnosis.session` 定身份」写法，
那是下一个 commit 才改的行为）。
等价比证：搬移前后 `cargo test -p unlucky-app-iced -p unlucky-i18n` 都是
**274 + 6 + 23 passed / 0 failed**（lib + no_hardcoded_tokens + i18n），数量与结果一致。
除模块声明与 import 调整外没有任何逻辑改动。
|
2026-11-02 22:26:59 +08:00 |
|
|
AskaEth
|
1bccf89e5c
|
fix(app-iced): M95 r1 五条视觉复审（悬挂缩进 / 会话身份 / 摘要可见 / 贴底 / 描边）
- P2-1 **悬挂缩进真做了**（之前文档在骗人，代码里只有 `row![bar, text]`）：
每行拆「前缀 + 正文」两个文本控件（前缀 = 第一个空格及其之前，含空格；
`split_prefix` 在第一个「词」>20 字符时不拆），正文带 Fill 宽度自己折行 ⇒
续行落在前缀宽度之后。于是 `at com.mojang…(GLX.java:64)` 不再拆成「`at` 独占一行」。
文档同步写清代价：续行缩进量 = 该行前缀宽度。
- P2-2 会话身份上页头：`Logs::with_status(lang)` 用 `LogsStatus` 模板拼
`{instance} · {when} · {outcome}`，结局文案走 `LaunchOutcomeNormal/Crash/Silent`
三 key（bridge 文档里那条「LogOutcome 三态 → 三 key」的结构化出口，此前 UI 侧零调用点）。
中文模板差在全角竖线（守卫要求 zh≠en，也确实更符合中文排版）。
- P2-3 摘要钉成诊断卡**固定页脚**（不进滚动区）：「One-line summary」+ Copy summary
紧邻它要复制的那段等宽文本；卡片头不再放复制按钮（避免两处入口）。
- P2-4 日志卡改 `panel::scroll_tail`（`Anchor::End`）：偏移按「距底多远」记，内容增长时
跟随尾部；「用户上滚后是否冻结」的边界写在 `panel::scroll_tail` 文档里（结论：不冻结，
冻结要 app 层回灌滚动状态，已登记）。
- P2-5 两张主卡补 1px 描边：`panel::card` 改用 `Component::OutlinedCard.spec().shape` +
`ui.outlined(..)`，与 `frame::card` 同一套令牌。
测试：新增 `a_line_is_split_into_prefix_and_body_for_the_hanging_indent`（含 CJK 行与
「不拆」的两种边界）与 `status_line_names_the_session_with_the_launch_outcome_keys`；
key 清单补 `LogsStatus` 与三个 `LaunchOutcome*`；demo 的 state.build 改为收 `Lang`。
验证：`fmt --check` 通过；`clippy -p unlucky-app-iced --all-targets -D warnings` 干净；
`test -p unlucky-app-iced` 274+6 全绿、`-p unlucky-i18n` 23 全绿。
图：`.screens/logs-{empty,live,crash}-{light,dark}.png`（1180×760）、
`r2-live-tall-light.png`（1180×1080，栈帧可见，P2-1 证据）。
|
2026-11-02 22:26:59 +08:00 |
|
|
AskaEth
|
063a1dba39
|
feat(app-iced): M95 日志页接真组件 + 诊断面板（等宽折行 / 按严重度分组 / 一行摘要）
日志页从 M84 占位换成真组件，数据全部来自 presenter 快照（页面不读盘）：
- 日志行列表：`pages/logs/lines.rs`，等宽（`BodySmall` 12/16 + mono 族）+ 按词或字形
折行 + 等级色条；**选折行不选横滚**的理由写在模块文档（424px × 200 字符的现实 +
mono 族的 CJK 回退会毁掉横滚唯一的收益「列对齐」）。
- 诊断面板：`pages/logs/diagnostic.rs`，按严重度分组（CRITICAL → WARNING → NOTICE），
每条给规则 id / 结论 / 说明 / 建议动作 / 置信度；卡片头钉住「Copy summary」，
摘要是稳定单行的 `ULL-LOGS v1 | …`（崩溃日志换 issue 时直接粘）。
- 空态：真组件 `feedback::EmptyState`（图标块 + 标题 + 说明 + CTA 回实例页）。
- 两块都在 `pages/logs/panel.rs` 里**定高 + 内部独立滚动**（`FillPortion(3):(2)`）：
第一版让诊断卡按内容撑开，三条结论就把日志卡压成 0 高度（实拍复现后改的）。
- 视图模型：`pages/logs/model.rs`（纯展示字段）+ `app/view.rs::logs_model` 做快照转换。
- 接线（只追加）：`pages/mod.rs` 的 `pub use logs::…` / `page()` 那行 /
`Message::CopySummary` / `demo_model` 一行；`pages::Model` 加 `logs` 与 `lang` 两个字段；
`app/update.rs` 把 `CopySummary` 落到 `iced::clipboard::write`、`ClearLogs` 清 presenter 的
`log_lines`（呈现层操作，不造命令）。
- i18n：`crates/i18n/src/catalog.rs` 自己锚点下 16 个 key（中英同表）；按塔裁决把
`#[cfg(test)] mod tests` 逐字外置到 `crates/i18n/src/catalog/tests.rs`
（catalog.rs 415 → 257 行，tests.rs 164 行；7 个用例逐字未动、i18n 23 个用例全绿）。
验证：`fmt --check` / `clippy -p unlucky-app-iced --all-targets -- -D warnings` 干净；
`test -p unlucky-app-iced` 272 + 6 全绿、`-p unlucky-i18n` 23 全绿；截图
`.screens/logs-{empty,crash,live}-{light,dark}.png`（1180×760，本地 gitignore）。
遗留（已报 finding）：`dto::Diagnosis` 缺 core 的 `severity` 与规则表 `cause.key`；
`Action::OpenLogs` 没有对应 `AppCommand`（点了只有占位日志）。
|
2026-11-02 22:26:53 +08:00 |
|
|
AskaEth
|
c0396544c5
|
Merge branch 'feat/p5-download-page-real-components-and-ins'
|
2026-11-02 21:59:22 +08:00 |
|
|
AskaEth
|
b3f99652bb
|
Merge branch 'feat/p5-appearance-wire-window-panel-alpha-ba'
|
2026-11-02 19:13:11 +08:00 |
|
|
AskaEth
|
da2da4cd9b
|
fix(app-iced,presenter): M93 r4 —— Float 键写不回 / prefs.rs 超限 / CPU 档判定 / 平铺退化
复审（代码）r1 的两条 P1 + 两条必修。
P1-1 `SetSetting` 写不回 Float 键（整窗透明度重启回旧值）
- `presenter/src/host/settings.rs::parse_value` 改成**按 schema 的 `ValueKind` 取类型**，
不再硬编码 Int/Bool 键名。历史：`appearance.window_opacity`（Float）被当 String 送进
`store.set` → schema 的 `as_f64()` 返回 None → `InvalidValue` → **`save()` 根本没执行**，
α 只在内存生效、重启回旧值、每次拖动弹一条 Error toast。
- 测试（presenter 层，`host/settings_tests.rs`）：
① `float_key_round_trips_through_set_setting`：set 0.8 → **新开 store（= 重启）** 读回 0.8；
② `every_float_key_in_the_schema_can_be_written_back`：遍历 schema 里**所有**
`ValueKind::Float` 的键逐个写回并读回（集合级守门，下次新增 Float 键漏接会立刻红）。
P1-2 `presenter/src/prefs.rs` 404 行 → 拆测试
- `#[cfg(test)] mod tests` 整体挪到 `crates/presenter/src/prefs/tests.rs`，结构体与 re-export
一字未动。`wc -l`：**404 → 315**（tests.rs 90 行）。
P2-2 CPU 档判定只在 `--renderer=cpu` 时成立
- 新增 `app/backend.rs`：`effective_backend()` 把 `probe::apply` 写下的 `ICED_BACKEND`
候选列表翻回档位（`tiny-skia` / `tiny-skia,wgpu` → CPU；`wgpu,tiny-skia` → GPU；未设 → 请求值）。
`App::with_presenter` 用它喂 `appearance::State`，于是**默认 Auto 档在没有独显的机器上**
也会走「面板 α / 玻璃强制 1.0」。
- 测试：`every_iced_backend_list_maps_to_a_tier` + `auto_with_a_software_renderer_forces_the_panel_opaque`。
- 实跑：`ICED_BACKEND=tiny-skia`（= probe 在无独显机器上写下的值）→
`[appearance] boot … panel_alpha=1.000 (requested 0.550) backend=cpu`。
P2-1 平铺退化成「一条竖条」——根因不是几何，是**渲染层没吃 scale**（r3 的编辑没落到 `tiled()`）
- `picture::tiled()` 原来仍用 `ContentFit::None` + 原图尺寸，所以 `tiles()` 算出的 `scale`
完全没被消费：小图被按 32dp 画在 129dp 的格子里 ⇒ 到处是缝。
- 现在：每块 `源尺寸 × tiles.scale`、`ContentFit::Fill`、行高显式 `Fixed`、整列 `Fill`。
- 诊断：新增 `background::small_tile_note()`（短边 < 200dp 的图在 tile 档下给一句
「scaled up so the window stays covered」），已接进设置页诊断块（首屏可见）。
- 测试：`tile_grid_always_covers_the_viewport_within_budget`（6 组尺寸，含 32×32 / 16×16 / 1×1，
断言覆盖 ≥ 视口且块数 ≤ 预算）、`small_images_get_a_tile_diagnostic_instead_of_silently_degrading`。
- 出图：`r5-tile-tiny32.png`（32×32 铺满全窗、右缘无裸白、提示可见）、`r5-tile-120.png`、
`r5-tile-big.png`。
顺手（复审 P2-3/P2-4/P2-5）
- P2-4：`MAX_SOURCE_EDGE` 16384 → **8192**，并给解码器加 `image::Limits`（宽/高 + `max_alloc`
320MB）作第二道闸；补 `an_over_sized_image_reports_too_large_instead_of_trying_to_decode`
（`TooLarge` 这条分支此前无测试）。
- P2-5：`transparency.rs` 补一段「为什么 `LWA_ALPHA` + `WS_EX_LAYERED` 不影响命中测试与
自绘标题栏拖动」（穿透要 `WS_EX_TRANSPARENT` 或 `LWA_COLORKEY`，两者都没用；`window::drag`
走 `WM_NCLBUTTONDOWN(HTCAPTION)`）。
- P2-3：断链 `[background::dimmed]` → `dim_alpha`；`iced/image` → `image-without-codecs`；
测试文档 204 → 205；马赛克残留说明只保留 r1→r2 的历史一句。
- 解码在 UI 线程同步做：**登记欠账**（挪后台线程超出本 mission）。
|
2026-11-02 18:46:43 +08:00 |
|
|
AskaEth
|
5c40c64b5f
|
fix(app-iced): M93 r3 —— 复审 r1 四条返工（Canvas 不吃 α / 平铺补缝 / 诊断上移 / 文档）
先 `git rebase main`（M92 `eae7ae0` 已在主线；`Cargo.lock` 与 `crates/app-iced/Cargo.toml`
自动合并，`image-without-codecs` 与 M92 的 `unlucky-i18n` 两段都在）。
P2-2（口径违约）Canvas 层不许吃面板 α
- `Ui::layer()` 改成按令牌 `MaterialLayer::allows_translucency()` 判定：Canvas 恒不透明，
只有 Card / Overlay 乘 `panel_alpha`。判据取令牌的不变量，三个调用点（标题栏 / 导航轨 /
页头带）没有各自特判。
- 守门：`the_canvas_layer_stays_opaque_while_panels_take_the_alpha`（α=0.55 时 Canvas.a==1.0、
Card/Overlay.a==0.55；CPU 档连卡片都是 1.0）。
P2-1 平铺不许留缝
- `background::tiles()` 超 `MAX_TILES` 时改成**放大图块步长**（`Tiles { cols, rows, scale }`，
按 1.15 逐级放大到块数进预算），而不是减列/减行；`MAX_TILE_SCALE` 提到 1024 只是安全阀
（1×1 的图在 1180×760 上需要 ~118 倍才能用 64 块盖满）。
- `picture::tiled()` 用 `ContentFit::Fill` + 格子尺寸 = `源尺寸 × scale`（同比例，不变形）：
`None` 会按图片原生尺寸画、比格子小就留空，正是那道缝。
- 守门：`tile_grid_always_covers_the_viewport_within_budget`（6 组尺寸，含 120×120 与 1×1，
断言 `covered >= viewport` 且 `count <= MAX_TILES`）；背景层底下本来就有不透明画布底色兜底。
P2-3 诊断上移到首屏
- 诊断块（读盘失败红字 / CPU 降级 / 配色回落 / 当前配色层级）从卡片末尾移到「背景图路径」
紧下方：1180×760 首屏可见（截图 `r4-broken-path.png` 里红字在 y≈594）。
P2-4 文档对齐
- `transparency.rs`：`WS_EX_LAYERED` 的归属改成「本文件的 `ensure_layered` 负责」，
窗口创建侧只拿句柄；`platform/mod.rs` / `lib.rs` 的模块表同步。
- 删掉「马赛克取样」这类已删实现的现在时描述（`background` / `picture` / `app` 的注释），
保留一句 r1→r2 的历史说明；`app/tests/appearance.rs` 的测试意图跟着改。
门禁（工作区级，最终树）：`cargo fmt --all --check` 干净；
`cargo clippy --workspace --all-targets -- -D warnings` 无输出；
`cargo test --workspace` 全绿（app-iced 299 lib + 6 集成守门、presenter 126、其余 crate 全过）。
出图：`r4-canvas-opaque-panel55{,-dark}.png`（Canvas 不透明 + 面板透底）、
`r4-tile-120.png`（120×120 平铺右缘无裸白）、`r4-broken-path.png`（诊断首屏可见）。
|
2026-11-02 18:18:37 +08:00 |
|
|
AskaEth
|
22e4c423fa
|
feat(app-iced): M93 r2 —— 背景图真图直出 + 面板 α 收敛到 Ui::layer
复审前补齐两处（tower 扩 scope：Cargo.toml / pages/frame.* / theme.rs / presenter::prefs）。
1) 背景图**真图直出**
- `iced` 开 `image-without-codecs`（刻意不用 `image`：后者会打开 `image/default` 全套编解码器）；
编解码能力由本 crate 的 `image` features 决定，补了 `jpeg` / `bmp`（用户挑的背景图/壁纸多半是 jpg）。
- `pages/appearance/picture.rs`：`Cover`/`Contain` 走渲染器 `ContentFit`，`Tile` 按 `background::tiles`
算行列（上限 64 块）真的铺 N 个图块；暗化 = 一层「版面底色 @ α=dim」叠在图上。
- 36dp 马赛克那条路**已删除**（不再是主路径，也不留死代码）。
- 踩坑记录：`Handle::from_bytes` 的纹理分配赶不上截图第 3 帧（实测画面全空），改用
`Handle::from_path`（渲染器自己解码），已在 `picture::image_handle` 的文档里写明。
2) 面板 α **收敛到唯一来源**
- `Ui::layer()` 直接乘上面板 α（新增 `Ui::panel_alpha` / `with_panel_alpha`，默认 1.0、
`scale_alpha(1.0)` 逐字节不变），`app::rebuild_ui` 注入生效值。
- 于是外壳（根容器/标题栏/导航轨）、`frame::card`（实例/下载/日志三页卡片）、
`frame::header_bar`（新增底色）、外观分组卡片、空态图标块**全部同源**，
调用点不再有任何 `panel_color(..)` 自乘（该 helper 已删）。
- 有背景图时根容器不再盖一层实色画布（否则 panel α=1 时背景图整块被挡）。
3) `presenter::prefs` 补重导出 `PANEL_ALPHA_MIN` / `BG_DIM_MAX`，app-iced 里两份 0.4 / 0.95
字面量改为转发常量。
验收：11+3 张图（`C:\Temp\ull-shots\wt-93\r2-*.png`）——三档填充肉眼可分、`.jpg` 能加载、
GPU 档 panel55 时卡片/分组卡/页头带都透出背景、CPU 档仍强制 1.0 且背景在面板空隙可见；
另附实例/下载/日志三页 panel55 各一张，证明三页都吃到同一个 α。
|
2026-11-02 18:07:32 +08:00 |
|
|
AskaEth
|
b8ab46662c
|
feat(app-iced): M93 —— 外观接线：整窗 α / 面板 α / 背景图 / 配色来源
把 appearance.* 那批键接到窗口与像素上（M91 只落了键与判据，零调用方）。
整窗 α（D34/D36）
- `ensure_layered(hwnd)` 落在唯一 unsafe 文件 `platform/win32/transparency.rs`
（`WS_EX_LAYERED` 只有 Get/SetWindowLongPtrW 能加，且 CI 的 unsafe-scope 是集合相等）；
`app/boot.rs` 只负责开窗，句柄到手后由 `Message::WindowHandle` → `window_alpha::dispatch`
先补样式再下发。本机实测 `layered=ok outcome=Applied { byte: 205 }`（α=0.8）。
- 三条入口都会重算并下发：启动（句柄到达）、设置页改动、配置文件热切。
- `layered` 日志有三态：`n/a`（α≥1，压根不需要）/ `ok` / `FAILED`，避免把「没用到」写成假红。
面板 α 与 CPU 档（D36）
- 面板 α 独立于整窗 α：只作用到外壳层（根容器 / 标题栏 / 导航轨）与外观卡片；
CPU 档强制 1.0、玻璃强制关（`pages/appearance/alpha.rs` 的真值表 + 单测）。
- 色卡档继续走令牌 baseline，只有取色档（①②级）才换 `Ui` 的 scheme（`Ui::from_scheme`）。
背景图（D38）
- 读盘解码（png）→ cover/contain/tile 三种填充几何 → `bg_dim` 向底色退 → 36dp 网格马赛克；
iced 的 `image` widget 需要 `iced/image` feature（Cargo.toml 不在 scope），故为已登记降级。
- 读盘失败静默回落 + 一条可读诊断（设置页错误行 + 日志），配色经 `Provenance` 回落色卡。
设置页「外观」分组
- 整窗透明度滑块（下限 0.08）/ 面板透明度（CPU 档禁用并写明 55%→100% 的降级）/
背景图开关与路径 / 填充三档 / 暗化 / 配色来源三档；改完即时生效并写回：
bridge 覆盖的 5 个键走 `SettingsBridge::persist`，`window_opacity` / `palette_source`
走 `AppCommand::SetSetting`（每个键只有一个写者）。
- `SettingsBridge::load_base()`（presenter）让 app-iced 不需要直接依赖 core 就能读回
`window_opacity` / `palette_source`。
取证
- `ULL_APPEARANCE_*` / `ULL_START_ROUTE` 只影响本次进程（语义同 ULL_TICK_TRACE），
截图通道不读用户配置（D30）。
|
2026-11-02 18:07:31 +08:00 |
|
|
AskaEth
|
eae7ae0ff4
|
Merge branch 'feat/p5-i18n-crate-language-probe-font-strate'
|
2026-11-02 17:42:58 +08:00 |
|
|
AskaEth
|
ce2c42032b
|
fix(i18n): M92 r1 —— Windows 真 locale 走注册表子进程（零 FFI）+ 删掉假守卫
复审 p1：`detect_env()` 在 Windows 上恒为 `en`（`LC_ALL/LC_MESSAGES/LANG` 都不存在），
D28 整条中文链（探测 → 扫 CJK → 需下载）在基线平台永不触发。复审在本机（zh-CN）实测
`lang=en raw=None`，这条我认。
**p1 修法（tower 定路线：子进程读注册表，不碰 FFI、不加依赖）**
- 新增 `crates/app-iced/src/platform/locale.rs`：`SystemLocale` 实现
`unlucky_i18n::lang::LocaleSource`，内部 `reg.exe query "HKCU\Control Panel\International"
/v LocaleName`（本机实测 `REG_SZ zh-CN`），读不到时退 `/v Locale` 的十六进制 LCID
（本机 `00000804`），用一张 20 条的短表翻成标签，表外语言返回 `None`（宁可英文，不猜语种）。
先例同 M73 壁纸探测（`core::platform::wallpaper` 的 `reg.exe` 路线）。
- 子进程走注入的 `RegIo` 接口，单测用 `FakeReg`（不 spawn）；夹具是**本机真机抓的原文**
（含 CRLF / 前导空白），另有一条 `#[cfg(windows)]` 真机测试证明 `reg.exe` 这条路真的通。
- i18n 仍是纯函数：`lang::resolve(setting, platform, env)` 是四级优先级的唯一实现——
**`ui.language` 显式值 > 平台源 > POSIX 环境变量 > 英文**，`Detection` 新增 `origin`
（`setting` / 源自报的 `label()` / `env` / `default`），启动日志因此能写清 `source=registry`。
配置值不认识时**跳过**继续往下走，不当成任何一种语言。
- `fonts::cjk::probe_with(setting, faces)` 把 `ui.language` 那一级的位置先留好（目前传 `None`：
设置层还没有读取点，写在模块文档的诚实边界里）；`probe()` 走全链。
- `platform::mod` 的模块表补一行说明 locale 也是「零 unsafe」那一类。
**本机（zh-CN）实跑证据**（`--software-renderer --screenshot …`，exit 0）：
`[font] … | lang=zh-CN locale=zh-CN source=registry cjk=system:"Microsoft YaHei UI"`
——探测出中文、且走的是「扫 CJK 字体」而不是 `not-needed`。
**p2**：删掉 `catalog` 那条 `compile_fail` 守卫（复审两个变异仍全绿 ⇒ 它守的是「这段代码
编译不过」，不是「编译期校验还在」）。改为陈述事实：「`Key` 是枚举，拼错 `E0599`」，
并写明这里**没有**守卫测试及原因。
未动 `ui.language` 默认值（`core` schema 不在本 mission scope，tower 已另记）。
|
2026-11-02 16:58:09 +08:00 |
|
|
AskaEth
|
e77a5df6e8
|
feat(i18n): 建国际化地基——语言探测 / 中英消息目录 / 中文字体策略（D28）
M92 只建地基、不接页面（页面接线是后续 mission，避免「先硬编码再全量重写」）。
新建的 crates/i18n 是**零依赖** crate：`cargo tree -p unlucky-i18n --edges normal`
只打印它自己，所以 iced 版、将来的别的壳、presenter 都能依赖它而不锁死渲染框架。
- lang：`Lang::{En, ZhCn}` + 可注入的 `LocaleSource`（`EnvLocale` 按 POSIX 优先级读
LC_ALL > LC_MESSAGES > LANG）。未知语种一律英文——把 ja/fr 猜成中文会连带触发中文字体
下载，比英文界面更糟。配置值（`ui.language` 的 zh_cn/en_us）走严格解析，locale 走宽松
解析，两条路刻意分开。**已知缺口**：Windows 上这三个变量通常都不存在，
`GetUserDefaultLocaleName` 属于 platform 的 FFI（后续 mission）。
- catalog：`Key` 枚举（拼错的 key = 编译错误，附 compile_fail 文档测试守着）
+ `catalog!` 宏「一行 = 一个 key 的全部语言」⇒ 内置两套目录缺译在结构上不可能发生。
缺译诊断（`Catalog::diagnose`）留给注入目录与回归守门：`get` 严格返回 None、
`text` 返回 ⟪missing⟫、`render` 返回 ⟪missing:KeyName⟫——**不回落**到另一种语言。
带变量的句子走 `{name}` 占位符，缺参时占位符原样留在文案里（可见，不静默变空）。
- font：`decide(lang, installed)` 是纯函数。英文环境恒 `NotNeeded`（D28 的零字体/零网络）；
中文环境按候选族名单命中系统字体，扫不到就发 `NeedsDownload(Noto Sans SC)` 信号，
**本 crate 不联网**；`Fetcher` 是注入式接口，网络实现留给后续 mission。
URL/哈希显式留白（`Source::PendingPin`）——不编造 CDN 路径，猜错的地址会被后面所有人当事实用。
- bridge：文案边界规则全文（R1 不许拼句 / R2 core 中文串不进 UI / R3 未知串不许画原文）
+ `classify()` 示例契约：过渡表把已知漏到界面的中文串映射到 key，品牌专名显式放行，
其余一律 `Untranslated`（UI 只许显示兜底 key）。
- app-iced/fonts：新增 `fonts/cjk.rs` 适配层，把系统字面表喂给 `decide`；读不到字体库时给
`Unprobeable` 而不是「需下载」（否则会误触发一次 CDN 下载）。结论并入同一行启动日志：
`[font] … | lang=zh-CN locale=zh_CN.UTF-8 cjk=system:"Microsoft YaHei"`。
测试：26 条（i18n 22 + app-iced fonts/cjk 4），每条断言都写了「抓得住什么 / 抓不住什么」。
|
2026-11-02 16:13:22 +08:00 |
|
|
AskaEth
|
1331d90ff4
|
Merge branch 'feat/p4-iced-app-split-presenter-wire-one-pag'
|
2026-11-02 15:57:07 +08:00 |
|
|
AskaEth
|
6b66adff44
|
fix(app-iced): M90 r3 —— 空闲 1Hz 心跳恢复配置热切 + 导航轨口径订正 + 文档收口
复审 P2-2（空闲态掐时钟 ⇒ config_poll_due 再也不跑）：
- 空闲态改用 1 Hz 自续心跳（Task::perform(sleep(1s)) → Message::Heartbeat），忙碌态仍用
window::frames() + 33ms 闸门；两条时钟不并行（心跳在 needs_frames() 为真时只续排不推进）。
- ticks 改成「33 ms 一拍」记账（1 s 心跳记 30 拍），config 轮询判据从「整除」改成「跨越」——
实测整除版在 ticks=137 之后每拍 +30 永远不命中，配置轮询静默死掉。
- 顺手修一个真 bug：Message::SystemTheme 原来无条件 set_flavor，会把配置文件里的显式主题盖掉
（优先级现在是 --theme > 配置文件 > 系统），否则「改 launcher.json 主题 1 秒内生效」验收根本看不到。
- 实测：14 s 交互跑，空闲段 [tick] clock=idle-1hz 每秒一行、frames 冻结在 2947、refreshes 冻结在 6；
t≈7s / t≈11s 两次改 launcher.json，各自 ≤1 s 内打出 [settings] 配置文件变了 + [theme] 翻转。
复审 P2-1（导航轨口径）：
- pages/mod.rs 交付表改成事实（产品路径的 rail 由 shell/nav.rs 画，组件版只给 harness/单测，
像素等价是复审判的），补偏离表第 10 条（两套 rail 各测各的，漂移没人拦）；
- pages/tests.rs 的 the_real_rail_agrees_with_the_layout_system 注释同步订正。
P3 文档五条：shell 的「8px 拖动热区」改成事实（拖动面=整条 48px 标题栏到第一个 caption；
缩放热区 4px）、state/update 的「每拍重建视图模型」改成 view_dirty 门控、message 的 Frame 注释
改成「只在忙碌时订阅」、pages/model 的 From<&AppState> 改成自由函数 model(..)、pages/tests 的守门
目录补 src/app。
r3 浅/深产品图与 r2 逐字节相同（视觉零变化）。
|
2026-11-02 15:56:59 +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 |
|
|
AskaEth
|
b484998fc9
|
feat(app-iced): M90 —— app.rs 拆成 src/app/ + presenter 真接线 + 实例页端到端
拆分（行为不变，截图四件套逐字节相同）：
- 400 行的 app.rs 拆成 src/app/{mod,state,message,update,subscription,view,boot,tests}.rs，
每个文件 ≤ 300 行；components 的 #[path] 跟着搬到 src/app/mod.rs（逻辑路径仍是 crate::app::components），
可见性放到 pub(crate) 让页面层能用真组件。
- 拆分前后各出 shell/gallery 浅深四张图，cmp 全部 IDENTICAL。
presenter 接线（crate 文档 §4）：
- App 持有 Box<dyn Backend> + SettingsBridge + AppState；启动 build_backend + SettingsBridge::open + AppState::new。
- 截图通道强制 mock（D30 可复现）；交互模式走真 host，--data-dir 从 M90 起真的被消费。
- Boot 抽干首屏快照（第 3 帧落盘，等节拍会把空页面拍进图）；节拍 = 帧事件 + 33ms 时间闸门
（iced::time::every 要 tokio/smol，见 finding），tick → drain_events → AppState::apply。
- 用户动作不乐观回显：Launch/Stop 走 Backend::dispatch，状态等事件回来才变。
- 路由：pages::Message::Navigate(Route) 直接进 AppState::navigate，选中项 = 路由栈顶（不再有本地副本）；
首屏自动选中第一行（list-detail 桌面惯例），只做一次。
实例页打通（其余三页保留占位视觉 + Message/update + 路由）：
- 列表行换成 components::navigation::ListItem（真五态/选中），页头与详情动作换成 components::buttons
（Play 是唯一的实心 accent），分隔线换成 components::divider。
- 数据全部来自 presenter 快照：VERSION/LOADER/ISOLATION/VERSION ID/FILES/LAST PLAYED + 运行状态行。
- 导航轨换成真 NavigationRail（88），5 项各自压/替换路由。
版面约束未破（实测）：列表列 336、正文列 424（元信息卡 206+12+206，右缘 896）、rail 88（药丸 16..71）、
断点 600/840 走 frame_metrics；新增 pages/tests.rs 的 9 条数值断言钉住它们。
|
2026-11-02 15:56:57 +08:00 |
|
|
AskaEth
|
270026338f
|
Merge branch 'feat/p4-iced-components-feedback-progress-sna'
|
2026-11-02 15:56:52 +08:00 |
|
|
AskaEth
|
d4e73aacdd
|
fix(iced/feedback): 逐环改固定窗判据 + 贴顶边距 + Dialog 下限单测（复审 r3 P2-3/P2-1/P2-2）
D45 封顶轮的最后一改，只动这三条：
- **P2-3 逐环断言（假绿）**：环本来就在固定 x 栅格（24 + 56·i、宽 40），判据从「主色连通簇数
非空」改成**六个窗逐个测**「窗内墨迹（轨道 ∪ 激活并集）外接成 40(±2)×40(±2)、且不越窗」，
外加「1..5 号窗必须有激活色弧」。簇数只打印不再当判据。G18-i 从「欠账」改成**已收口**，
并删掉模块文档里「要么把 6 个环摆成固定 x 栅格」那句错话（它们本来就在栅格上）。
环带定位也换过两版（「每行墨点 4..20」会把 40 切成 32；「首行..末行」在深色档扩到 274 行），
最终用「第一个窗里连续有墨、高度≈40 的行组」。
变异：涂掉 4 个环 → `第 1 个窗里没有任何环墨迹：环丢了` 红；25% 环缩成 20×20 →
`第 1 个窗里的环应 40×40(±2)，实测 20×20` 红。
- **P2-1 贴顶边距**：新增「框顶行 → 条顶行 = 36±1」与「取景框高 = 96±1」两条。
变异（`HOST_SHORT` 96 → 72，重编重拍）：`D：贴底 ⇒ 框顶到条顶应为 36（96 − 48 − 12），实测 12` 红；
还原后绿。—— 之前只量「条底距框底」，宿高回退成 72 时确实抓不住。
顺带修了取景框判据本身：条自身（深色）比画布更接近框色，会把条自己认成框（实测差值 1），
现在要求「框色连续段比条本身更宽」。
- **P2-2 Dialog 下限**：补单测 `effective_width(200.0) == 280.0`（360/800 两点一并钉住），
并把「不低于官方 280」写进 `Dialog::width` 的文档。
- 欠账登记（只写表、不改代码）：G18-j（动作色用全图合计，单卡漂移可能被别卡盖住）、
G18-k（再 4 处文档残留，不为凑数扩大 diff）、G18-l（取景框判据会把条的抗锯齿底行算成框，
余量 0.0008，方向是误报；加了「框高 96」后触发概率下降）。
|
2026-11-02 15:56:48 +08:00 |
|
|
AskaEth
|
11d7b64a5e
|
fix(iced/feedback): 逐卡宽度/动作色精确判据、贴底边距、Dialog 下限与 icon 走 view_at
复审 r3 的 A/G/D/E 与随之冒出来的 clippy 项：
- **A（p1，假绿）**：`7.6 Dialog 动作色` 原来量的是 `DialogActions::None` 那张卡的 bbox，且判据
是「离 Primary 更近」——标题/正文字形都被算进去（旧值 1790px）。现在：①判据换**精确色**；
②加两条反向证据（无动作那张卡里精确 Primary 必须为 0；有动作那张卡的下半区必须有字形行）；
③量的是全图的动作字形（实测 362px，与复审独立复算一致）。变异：把 350 个动作字形涂成
`OnSurfaceVariant` → `7.6 实测只命中 12 px` → 红。
- **G**：Dialog 宽度改**逐卡**量（列剖面，排掉 scrim 色，深色档不会再把遮罩算成 1180 宽的假卡）。
环的逐环断言**登记为 G18-i**（实测 6 个环只有 3~4 个能被精确色簇干净命中，按簇数断言会把
「相位换了」误报成「环丢了」，理由写进 `probe/circular.rs` 模块文档）。
- **D**：两个 bottom 宿主 72 → 96，并给窄宿主画 1px 取景框；probe 新增「条底距宿主底 = 12」
（实测 `底边距 [11, 12]`）。取景框的描边不参与布局，所以宿主宽不变、条宽仍是 344/300。
- **E**：`DialogGeometry::effective_width` = `min(480, 可用宽).max(280)`（尊重官方下限）；
gallery 加一格 `Dialog::width(360)`；probe 逐卡断言实测 `[360, 480, 480, 480, 480]`。
- **C（按 tower 修正版）**：空态图标改用 M86 的 `icons::view_at(.., 32)`（先 rebase 到 main）。
- 顺带：`action.rs` 的 24 图标也走 `view_at(24)`——`icons.rs` 的守门测试按「逐文件调用点计数」
要求不在白名单里的文件 `icons::view` 为 0，本文件按盒尺寸烘一份（输出逐像素相同）。
- clippy：去掉 `needless_range_loop` 与未用变量，`-D warnings` 已绿。
|
2026-11-02 15:56:47 +08:00 |
|
|
AskaEth
|
5d7426b6c9
|
fix(iced/feedback): 空态图标改用 M86 的 view_at 渲染 32（复审 C 修正版）
tower 修正指令：M86（e377989）把 `icons::view_at(kind, ink, px)` 并进 main 了，所以 C 项
从「登记值改成 24」改为「登记值保持 32 + 用 view_at 真渲 32」：
- `empty_state.rs`：`icons::view(..)` → `icons::view_at(.., geometry.icon)`，盒仍 96、
图标 32；`view_at` 按 32 **重新烘焙 stroke**，视觉线宽仍是 1.5px（不会把描边拉粗）。
早先 `view` 把 svg 钉成 `Fixed(24)`，32 的盒子只居中不拉伸 —— 实渲 24、墨迹 20×20。
- `panel.rs`：`EMPTY_ICON = 32.0`（`IconSize::Empty`），删掉 G18-h 欠账说明（已消解）。
- `probe/panels.rs`：图标墨迹判据 16..26 → **22..34**（32 盒）。
- `tests.rs`：`geometry.icon == 32` 保留，并写明它守的是「登记值 = 交给 view_at 的 px」，
抓不住「盒子 32 而 svg 仍钉 24」那类（渲染层由 probe 的墨迹断言兜）。
- 顺带清掉 `panels.rs` 里两个未用 import（`-D warnings` 会红）。
已 `git rebase main`（1f4bc1b，含 M86），无冲突。
|
2026-11-02 15:56:47 +08:00 |
|
|
AskaEth
|
a4cdd61fe5
|
fix(iced/feedback): 复审 r3 的 A/B/D/E/F 项 + C 项待 rebase 后改 view_at
（先落一个中间提交，rebase main 之后再按 tower 的修正把空态图标改成 32/view_at）
|
2026-11-02 15:56:46 +08:00 |
|
|
AskaEth
|
5d9e75efd8
|
test(iced/feedback): 环形旋转周期断言打印实测数值（跨周期跳变 / 每周期圈数）
给复审用的一行 `--nocapture` 输出：`[rotation] turns(0.9999)=… 跳变=… 圈（…°）· 每周期 4 圈 = 1440.0°`，
代码本身不变。
|
2026-11-02 15:56:46 +08:00 |
|
|
AskaEth
|
10d4f86fdf
|
fix(iced/feedback): 圆角/描边带来的 probe 阈值订正 + Dialog 宽度逃生口接线
上一轮被 2 小时上限打断前的工作，逐条落地（都已在本地编译 + 单测 17 passed + 8 组 probe 中
6 组通过、empty-light 差 ±1 阈值）：
- `keyframes::sample` 的 debug_assert 收窄成「首点不在 0ms **且** 首值不是 0」才炸：
原先 `debug_assert_eq!(first.ms, 0)` 会把 `SEG_TAIL_1/2`（首点 250/900ms，值为 0）也判红，
而那一类的「保持首值」与 Compose 的「动画初值 0」等价，是合法的。真正危险的是 ROTATION 那种
「首值 ≠ 0」（会画出不存在的静止段），现在只拦这一种。
- `empty_state::block_layer()` 改成 `pub(super) const BLOCK_LAYER`：函数版在非 test 构建里
是 dead_code（`-D warnings` 会红），改成常量后组件与 probe 共用一个来源。
- `probe/panels.rs`：图标块尺寸容差放到 ±2（块上补的 1px `OutlineVariant` 描边各占 1 行，
浅色实测块色行 94、深色 97）；顺带去掉没用到的 `matches` import。
- `tests/progress.rs`：三处期望值按实现对齐 —— 旋转每周期 **4 圈**（不是 1 圈）、
右段宽 **0.505**（0.355..0.860，手算 0.516 偏了 0.01）、单调扫描只扫 `[0,1)`（phase==1.0
就是下一周期的 0，回绕正常）。
- `dialog.rs`：`Fill + max_width(480)` **实测不生效**（Row 给 Fill 子项的 limits 是
min=max=分配额，`Limits::max_width()` 的 `.max(self.min.width)` 会把 480 顶回去，
两列并排实测渲染成 548）⇒ 改回 `Fixed(min(可用宽, 480))`，并加 `Dialog::width(available)`
让页面递可用宽；gallery 里接线用 `HOST_WIDE`（=800 ⇒ 仍取 480）。能力缺口登记在注释里
（与 G17-d 同一堵墙，报告里有 548 的实测）。
未完成（下一轮/合并前补）：`cmp/dialog-*` 并排图要按 REF_H≈420 重出（动作行被裁掉）、
empty-light 的 ±2 阈值要复跑确认、clippy/test 门禁要贴真实 `test result:` 行。
|
2026-11-02 15:56:45 +08:00 |
|
|
AskaEth
|
38b1e7a4dd
|
docs(iced/feedback): 偏离编号、图注 L3、[估] 口径与深色 scrim 观察项
复审 r1 的文档/证据订正（都是「图注与登记不一致」这类，但视觉 reviewer 正是照图注看图）：
- gallery 图注「SurfaceContainerHigh + L3」→ 补「（本项目不画阴影，见 D-1）」；
- `snackbar.rs` 的「登记为偏离 D-3」→ D-4（D-3 是进度条波浪降级，之前混号了）；
- `mod.rs`「三条偏离」→ 四条，并把深色档 scrim 的观察项登记成 D-5；
- `empty_state.rs` 开头「本文件数值全部是 [估]」→ 按表逐项区分 `[估]/[规格]/[源]`；
- `action.rs` 模块文档补一句「禁用色的底必须是这两个动作件自己的容器角色」。
|
2026-11-02 15:56:44 +08:00 |
|
|
AskaEth
|
c723d1faff
|
fix(iced/feedback): 空态间距双算、图标块对比度、Dialog 宽度与动作禁用底色（P2-1/2/4）
- P2-1 空态间距双算：`Column::spacing(8)` 与显式 `gap(16/24)` 叠加 ⇒ 实际渲染 32/40、
条目总高 264，而登记的是 16/8/24、232。现在 `spacing(0.0)`，间距只有一个来源（`gap()`）；
断言从 `gap > 0.0` 改成**精确等于令牌档位** 16/8/24。
- P2-2 空态图标块几乎没有边界：`SurfaceContainerLow` 与画布 ΔRGB 只有 11/5/0（≈1%），
浅色下看不出块。换 `SurfaceContainerHigh`（材质层 Overlay）+ 1px `OutlineVariant` 描边，
并用 `block_layer()` 让 probe 与组件取同一个层（不再各写一份角色）。
- P2-1 Dialog 恒 480 宽：`Length::Fixed(480)` 在窄宿主会溢出，`.max_width(560)` 对 Fixed 是
空操作。改成 `Fill + max_width(480)` = `min(宿主, 480)`（iced 无 min-width，见 G17-d）。
- P2-4 动作禁用底色取错：`interaction::disabled_content_over_role(..., false)` 把 38% 内容色
固定叠在 **Surface** 上，而 Snackbar 的底是 `InverseSurface`、Dialog 是 `SurfaceContainerHigh`
⇒ 真出现禁用态会是「38% 深字叠深底」。改为 `content_color()` 按真实容器角色合成（同令牌 α）。
- probe：Dialog 上内距判据 `(24..=40)` 收紧到 `(24..=30)`；空态新增「块↔标题 ≈16」与
「条目总高 ≈232」两条渲染层断言。
|
2026-11-02 15:56:44 +08:00 |
|
|
AskaEth
|
e9af27c8f1
|
fix(iced/feedback): 不定态两条 p1 —— 线性先排序合并（P1-A）+ 环形补全局旋转（P1-B）
复审 r1 的两条 p1 都是「报告写了 ✓、图上没有」，逐条修：
P1-A（视觉）线性不定态把两段画成一段：
- 根因：`phase_segments` 的两段**不保证有序**（第一线前缘抢跑 250ms、第二线从 0 起），
`linear()` 却按返回顺序单调铺 `FillPortion`，且份额之和在 34/100 相位上 >1（最大 1.99），
iced 按总和归一 ⇒ phase 0.55 的两段被压成一段 100px 台阶。
- 修：新增 `layout_spans`（排序 + 合并重叠 + 显式铺间隙）与 `portion_shares`（累计舍入，
份额之和**恒为 1000**），`linear()` 只消费这两者。
- 断言：`raw_segments_are_unordered_and_layout_sorts_them`（原始输出不有序、排序后位置对得上
A1 keyframes）、`portion_shares_always_sum_to_the_full_track`（200 个相位全 = 1000）、
以及渲染层 `12.4：phase 0.55 必须数出两段`（旧实现会数到 1 段）。
P1-B（代码）环形不定态少一条全局旋转 + keyframes 首点语义：
- 官方是两条旋转相加：`CircularGlobalRotationDegreesTarget = 1080f`（`tween(6000, LinearEasing)`，
javap 偏移 5125）与 8 关键帧旋转（0→360°），绘制时 `fadd` 后 rotate ⇒ 每周期 1440°（4 圈）。
我们只做了 360°，转速是官方的 1/4。
- `ROTATION` 首点在 300ms/90°：Compose 会自己补 t=0（值 = 动画初值 0），我们没补 ⇒ `[0,0.05)`
恒 90°，且周期末尾 360° → 下周期 90° 瞬时倒跳 270°。现在显式补 `KeyPoint{ms:0, value:0}`
并在 `Keyframes::sample` 加 `debug_assert!(首点 ms == 0)`，同一类坑不再靠自觉。
- `CircularGeometry::indeterminate` 改返回 `(弧长, 圈数)`，圈数 = 3.0×phase + 关键帧（可为 >1），
`progress.rs` 直接乘 360、不做 rem_euclid。
- 断言：`circular_indeterminate_rotation_is_four_turns_and_continuous`（每周期 4 圈、
跨周期跳变 ≤ 一帧 = 4/60 圈，修前是 0.75 圈 = 270°、旋转单调）。
probe 拆成 `probe.rs` + `probe/circular.rs`（新断言会把单文件顶过 400 行）。
|
2026-11-02 15:56:43 +08:00 |
|
|
AskaEth
|
36f58d7904
|
feat(iced): 反馈类家族四件（Progress / Snackbar / Dialog / EmptyState）
D39 五家族并行的反馈类线（M78 / COMPFEED）。全部对消息类型泛型、不 import app::Message，
数值来自令牌或登记为 G17（令牌层没有反馈类的 ComponentMetrics 与骨架位）。
- Progress：linear（确定态 FillPortion 占比 + 官方 1750ms 双段不定态 keyframes）与
circular（40/4 环，弧长 = 数值×360°，不定态走官方 6000ms 弧长+旋转 keyframes）。
环形用几何 SVG（canvas feature 没开），组件不计时，相位由调用方给。
- Snackbar：48/68 两种高、上限宽 600（A1 ContainerMaxWidth）、12 外边距、贴顶/贴底、
action（InversePrimary）+ 关闭键（InverseOnSurface）；**组件不计时**，超时归调用方。
iced 的 Length 没有 min-width ⇒ 344 的最小宽由宿主保证（登记 G17-d，与按钮 G15 同墙）。
- Dialog：scrim（黑@0.32 预合成实色，D27）+ R28 + SurfaceContainerHigh + pad 24 +
标题/正文/动作三区 + 无动作/单动作/双动作；官方 280..560 区间内取 480。
- EmptyState：**官方没有这个组件**，96 图标块/32 图标/HeadlineSmall 全部标 [估]。
- action.rs：Dialog/Snackbar 共用的文字/图标动作（内容角色作参数，状态层仍走 interaction）。
- gallery/feedback.rs：状态矩阵；家族内再切一段 ULL_FEEDBACK_PART（all|progress|snackbar|
dialog|empty），开关本身住在 feedback/gallery_parts.rs，不动 gallery/mod.rs。
- feedback/probe.rs：对着真截图量像素（渲染层断言），四类几何各逐项钉住。
- feedback/tests.rs：几何/节奏/角色/scrim 的纯函数断言。
gates: fmt --all --check · clippy -p unlucky-app-iced --all-targets -D warnings ·
test -p unlucky-app-iced（144 通过 / 0 失败）
|
2026-11-02 15:56:42 +08:00 |
|
|
AskaEth
|
27f0d2a551
|
Merge branch 'feat/p4-appearance-base-keys-titlebar-mode-wi'
|
2026-11-02 15:43:13 +08:00 |
|
|
AskaEth
|
5d58301e2e
|
fix(ci): M91 r4 —— 属性内复用主状态机（终结属性内 raw string / 字符字面量盲区）
根因：属性外的状态机（普通/行注释/块注释/字符串/raw/字符）只覆盖属性外；属性内另写了一套
「遇 " 跳到下一个 "」，于是属性内的 raw string 与字符字面量完全不认识：
- 假绿：`#[doc = r#"a "b"#]` 之后跟一个真 `#[allow(unsafe_code)]` → exit 0（r2 能抓到，是新盲区）
- 误红：`#[doc = r#"x" allow(unsafe_code) is banned "y"#]`（纯文档）→ 被报「多出来的 unsafe 落点」
修法（结构性，不是补分支）：把逐字符分派抽成 step()，主循环与属性解析**共用同一个函数**；
属性解析只多保留一层「[ ] 深度决定何时离开属性」。属性内的字符串/raw/字符字面量因此与
属性外同一套识别，两处永不发叉。
- g_plain 标记「该位置是否处于普通态代码」：注释与字符串内容既不参与属性起点判定，
也不参与属性内的 [ ] 计数与文本匹配（所以纯文档里的 allow 文本不会误报）
- 回归用例写进 yml 注释：四个形态（含 CRLF）+ 反方向纯文档例，改词法器前先跑
- 已验：gawk 5.4.0 / gawk --posix / mawk 1.3.4（debian:bookworm-slim）三种实现对四个
回归用例与全仓 601 个文件给出完全一致的结果（恰好一个落点）
|
2026-11-02 15:33:48 +08:00 |
|
|
AskaEth
|
03ce813c32
|
fix(ci): M91 r3 —— unsafe-scope 门禁换成词法器（括号字面量/expect/块注释三处假绿根治）
必修 1：不配对括号字面量把 r2 的「全文净深度合并」带偏，文件尾部永久不可见
- r2 用「方括号净深度」决定续行合并，但 ['[', '(']、"[2"、starts_with("[2") 这类字面量
会让深度永久偏离 0（实测 601 文件里 10 个扫到 EOF 仍非 0），于是该文件后面的一切都被跳过：
在 gate.rs 尾部追加作用域 allow，r2 门禁 exit 0（假绿）
- 换成逐字符词法器：普通 / 行注释 / 块注释（可嵌套）/ 字符串 / raw 字符串 / 字符字面量，
只在普通态认 `#` 或 `#!` 紧跟 `[` 的属性起点，只在这一个属性内部累计到 `]` 配平；
数组字面量跨行不再参与合并
必修 2：`#![expect(unsafe_code)]` 既绕过门禁也绕过 workspace 的 deny
- 判据从 allow 放宽到 (allow|expect)：expect 同样放行 unsafe（rustc -D unsafe_code 实测通过）
必修 3：块注释里的属性文本被当成第二个落点（与「注释刻意不算」的承诺相反）
- 词法器带块注释状态机（含嵌套），行注释/块注释/字符串里的属性文本都不算
顺带
- 已知边界对齐事实：宏体里直接写出的属性**会**被扫到；真正漏的是「宏在别处定义、这里只调用」；
补两条：注释/字符串里的属性文本刻意不算、manifest 侧 [lints.rust] unsafe_code 不在扫描面
- 候选文件用 git grep -l unsafe_code 预筛（标识符不会被空白拆开，不会漏），整个 job 约 1~2 秒
|
2026-11-02 15:16:14 +08:00 |
|
|
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
|
006eb6869a
|
fix(app-iced): 图标守门白名单补导航族（M79 进主线后的语义错配）
M86 的 sub_24_boxes_go_through_view_at 写于 M79 之前，白名单「未列出 = 0」把
导航族四处 view 调用判成违规。实测这四处 geometry.icon = IconSize::Toolbar = 24，
view 是正确入口，故补白名单（逐文件精确计数，仍能抓「同文件多一处」），总数 8→13。
icons.rs 399 行。
|
2026-11-02 13:40:21 +08:00 |
|
|
AskaEth
|
1f4bc1b80d
|
Merge branch 'feat/p4-card-fixed-cool-neutral-hue-for-prese'
|
2026-11-02 13:12:47 +08:00 |
|
|
AskaEth
|
13248ddc9b
|
test(design): 新增走 resolve_source 的接线守护测试（复审 r1 p1-1）+ 两条小修
**p1-1**：新增 `resolved_image_scheme_keeps_tinting_from_the_seed`——走产品公开入口
`resolve_source(Some(ImageInput::pixels(..)), None, Some(CardKey::Sky/Teal), Light)`，断言
`provenance.level == Level::BackgroundImage`、`surface == #FFF8F7`（暖白，跟着图走）、色相
≈22°（远离固定的 239.51°）、两张卡下主色与底色都相同、且与天蓝卡的 surface 不同。
上一版只有 `image_scheme_ignores_the_preset_neutral_hue`，它测的是 `Seed::scheme` 生成器层：
把 `resolve::try_level` 的取色分支改成固定中性时 8 条测试全绿（复审已实证）。那条保留并补了
⚠️ 注明「不覆盖接线」，避免下次又把生成器层当成接线守护。
**小修 1**：`every_card_scheme_meets_wcag_aa_under_the_fixed_neutral` 的 on-surface/surface
量级断言按 `flavor` 分开（原来 `(16.30..=16.40) || (14.28..=14.36)`，浅/深两值互换也能过）。
**小修 2**：测试文件拆分以守住 ≤400 行——`tests/card_neutral.rs`（crate 根，400 行）+
`tests/card_neutral/common.rs`（改前路径复原 / 模式列表 / 色相环距离，27 行）+
`tests/card_neutral/dump.rs`（出图数据导出 + 改前/改后实测表，68 行，无断言）。crate 根的子模块
默认在 `tests/` 下找，所以用 `#[path]` 指明目录。
`cargo test -p unlucky-design --test card_neutral` → 9 passed（8 + 新 1 条）。
|
2026-11-02 13:12:44 +08:00 |
|
|
AskaEth
|
4b059201fd
|
fix(design): 中性色相常量改容差断言 + 取色接线注释指向真正的守护测试（复审 r1 p2）
- `palettes.rs::neutral_hue_is_the_default_seed_hue`：`to_bits()` 位相等 → 1e-9° 容差。
色相来自 `atan2(a).to_degrees()`，`NEUTRAL_HUE_DEG` 的字面值是在 Windows(UCRT) 上取的，
CI 的 ubuntu(glibc) 理论上可差 1 ulp 就让位相等在另一个 OS 上红；而这条要抓的是「换了
`DEFAULT_SEED` 却没复核常量」（偏几十度），1e-9° 足够且不受平台末位差影响。
`tests/card_neutral.rs::sky_card_is_bit_identical_to_the_product_baseline` 是**同平台内**
两个算出来的值互比，继续用位相等（p1 硬约束的钉子，不动）。
常量文档同步说明「为什么不用 `to_bits`」。
- `resolve/mod.rs` 取色分支的注释：原来只写「`tests/card_neutral.rs` 有反证」，而那条用例
测的是 `Seed::scheme` 生成器层、覆盖不到这里（复审 r1 p1-1 的病根）。改成点名
`resolved_image_scheme_keeps_tinting_from_the_seed`——走的就是本函数的公开入口。
`palettes.rs` 仍是 400 行（本轮改 doc 同时压缩了相邻说明，没突破上限）。
|
2026-11-02 13:12:43 +08:00 |
|
|
AskaEth
|
b748986aae
|
test(design): 钉住 D43 的固定中性色相（八卡同底色 / 天蓝不动 / 动态路径不退化）
`tests/card_neutral.rs`（新文件，8 条用例）：
1. `sky_card_is_bit_identical_to_the_product_baseline`：默认档天蓝的 49 个角色 ==
`Scheme::baseline`，两套模式逐值相等（M88 的 p1 级硬约束）。
2. `preset_cards_share_one_neutral_hue_and_chroma`：八张卡 surface 的 CAM16 色相
一致（±1°）、实测彩度落在 ±1.5 带宽内，且更强的一条——八张卡的 surface 是同一个
hex（实测差 0.00° / 0.00）。
3. `the_old_per_card_tinting_really_was_a_ninefold_gap`：反证，证明上面的带宽量得出
问题——改前浅色档彩度差 9.3 倍（rose 1.29 / teal 12.03），改后 1.0 倍；深色档改前
彩度本来就一致（tone 6 装得下 12），问题在色相横跨 285°，改后色相跨度 0。
4. `cards_only_change_the_accent_families`：强调族不靠手抄清单，而是实测「换强调色会
变的角色」（深色 26 个 / 浅色 23 个——浅色 on-primary/secondary/tertiary 的 tone 是
100，任何色相都是纯白），其余角色必须逐值留在基线。
5. `card_scheme_matches_from_accent_when_chroma_is_the_default`：色卡方案 ==
`Scheme::from_accent(卡种子)`，把 D43 接到 `tests/official_accent.rs` 的官方对账上。
6. `image_scheme_ignores_the_preset_neutral_hue`：动态路径的守护测试——同一张图在 sky /
teal 卡下强调色相同，中性调色板色相来自图像种子（精确口径查 `Palettes::neutral`，
另加一条观感口径），且远离 `NEUTRAL_HUE_DEG`；谁把取色也改成固定中性就会红。
7. `every_card_scheme_meets_wcag_aa_under_the_fixed_neutral`：8 卡 × 浅/深 × 26 对全部
≥ 4.5:1（`palette::wcag::check` 全表），并把 on-surface/surface 钉在实测量级。
8. `dump_card_palette_for_the_color_card`：出图数据（`CARD|…` 行，改前/改后并排），
渲染脚本只做排版。
实测：8 卡 surface 改前 `#EBFEF8`~`#FFF8F4`（浅）/`#061613`~`#1F0F10`（深）→ 改后统一
`#F6FAFF` / `#09151C`；全表最差比值浅 5.44 / 深 4.98，均远高于 AA 的 4.5。
门禁：`cargo test -p unlucky-design` 231 条全绿（216+5 doc → 226+5 doc，+10 条增量：
本文件 8 条 + `color::palettes` 2 条）。
|
2026-11-02 13:12:42 +08:00 |
|
|
AskaEth
|
de9d5337ac
|
feat(design): 内置色卡改用固定中性色相，切卡只换强调色（D43）
色卡路径原先走 TonalSpot「中性色也跟种子染色」，八张卡的中性色相 = 种子色相，
浅色档 surface 的实测 CAM16 彩度从 1.29（rose）跨到 12.03（teal）——tone 98 处
暖相色域装不下彩度 12，同一个请求值在暖相上只兑现 1.29。9 倍的底色跳变让用户在
设置页逐张试色时觉得「每张卡都像换了个应用」。
- `color::palettes::NEUTRAL_HUE_DEG`（新常量）= 出厂默认种子 `#3C8DBC` 的 CAM16
色相 239.51420577630955°，出处与「换默认色时要复核什么」写在常量文档里；
`neutral_hue_is_the_default_seed_hue` 用位相等钉住它与 `DEFAULT_SEED` 的绑定。
- `Palettes::accent_on_fixed_neutral(accent, neutral_hue, neutral_chroma)`：强调三族
跟 accent 色相，中性两族固定在给定色相；其余常数（36/16/24/25°/84、tone 表、
gamut 映射）一行未动。私有 `tonal_spot_with_neutral` 承载实现，`tonal_spot` 只是
它的「中性色相 = 种子色相」特例。
- `Card::scheme` 改走上述入口（`NEUTRAL_HUE_DEG` + 卡自己的中性彩度）。默认档天蓝的
49 个角色**逐值不变**（固定在等于它自己中性色相的那个值上，属「沿用」而非「另选」）。
- 动态取色路径**刻意不动**：`resolve::try_level` 仍按图像种子逐色染色、只借色卡的中性
彩度定浓淡；两处注释都写明「两条路径不同，别统一处理」。
- 订正 `palette/card.rs` 的模块文档：原文把「请求值相同」当成「观感相同」，现在改成
可直接当契约读的三条（表面与描边八卡逐值相同 / 只有强调族跟卡走 / 天蓝卡 == baseline）。
门禁：fmt 干净、clippy -D warnings 通过、`cargo test -p unlucky-design` 全绿、
`cargo tree -p unlucky-design --edges normal` 仍是单行（零第三方依赖）。
|
2026-11-02 13:12:41 +08:00 |
|
|
AskaEth
|
e377989327
|
Merge branch 'feat/p4-token-clean-icon-size-and-disabled-al'
|
2026-11-02 13:12:22 +08:00 |
|
|
AskaEth
|
7c274afd7c
|
fix(design,app-iced): 守门改成调用形状+逐调用点计数；filled-tonal 事实纠正（M86 r2 P1）
P1-1（守门漏网）：sub_24_boxes_go_through_view_at 原判据只认带 turbofish 的 icons::view::，
且 plain && !sized 让「同文件有 view_at」整文件放行，checked 还数文件不数调用点。现在：
- 先剥注释（注释里写 icons::view 不再误报）；
- 按调用形状匹配：icons::view( / view::< / crate::icons::· / super::icons::· / use …view as v
与 {view} 之后的 v( / view(；
- 逐调用点计数，每文件必须恰好等于白名单期望（未列出 = 0）——所以「同文件改对 3 处漏 1 处」也红。
P1-2（事实错误）：FilledTonalButtonTokens.DisabledContainerOpacity = 0.12f 是存在的，
javap -p -constants 可见；它是编译期常量、被内联进 getDefaultFilledTonalButtonColors，所以在
<clinit> 里看不到——我上一轮把「没在 clinit 出现」误写成「字段不存在」。同时把「TonalButtonTokens」
从 0.1f 家族的依据里剔除（它在整个 AAR 里零消费者，正是本 mission 警告的死令牌坑），改为只引用
ButtonDefaults 真的调了 getDisabledContainerOpacity 的 Filled/Elevated/Outlined，并注明
TextButton（容器透明）与 Baseline（基准表、运行时无消费者）。
|
2026-11-02 13:12:18 +08:00 |
|
|
AskaEth
|
896edf07fe
|
test(app-iced): 修 sub_24_boxes 白名单与 18px 线宽断言的格式化口径
- 白名单路径补全（shell/nav.rs 不在 components/ 下）；扫描跳过 icons.rs 自身；
- SVG 的 stroke-width 用 {} 渲染 f32，2.0 会打印成 "2"，所以断言改成
比数值（stroke_width_for(18,1.5) == 2.0）再比它渲染出的字符串，别写死 "2.0"。
app-iced --lib: 168 passed, 0 failed。
|
2026-11-02 13:12:16 +08:00 |
|
|
AskaEth
|
7627462593
|
test(design): 两族禁用 α 的令牌层钉值（硬编码期望，去自指）
M86 r1 P2：app-iced 那条 surface_family 断言原本从被测常量算期望，改坏常量也绿。除了把它改成
硬编码，令牌层自己也钉一条（cargo test -p unlucky-design 就能红，不必等 app-iced 链接）：
DISABLED_CONTAINER_ALPHA == 0.10、DISABLED_SURFACE_ALPHA == 0.12、内容 0.38，且 surface > button。
|
2026-11-02 13:12:16 +08:00 |
|
|
AskaEth
|
da1fe3aa4f
|
fix(app-iced): 盒 ≠ RENDER_PX 的图标改走 view_at，线宽回到 1.5px（M86 r1 P2）
r1 视觉/代码复审撞上同一件事：本轮把按钮/chip/switch 的盒子改成 18/18/16，但 SVG 仍按 24
烘焙、靠布局盒缩下去 ⇒ 实测线宽 1.04~1.25px（令牌要 1.5px）。label 的对照证据是同屏 caption
（20px，走了 view_at）实测正好 1.50px——差别只在有没有走按盒烘焙。
- buttons/assemble.rs（前置/后置）、selection/chip.rs（前置/后置）、selection/switch.rs 滑块勾
共 5 处改为 icons::view_at(kind, color, geometry.icon)；
- 新增单测 view_at_bakes_the_requested_size：source(18) 必须是 width=18 + stroke-width=2.0
（视觉 1.5px），并反证「24 烘焙塞进 18 盒只有 1.125px」；
- 新增源码级守门 sub_24_boxes_go_through_view_at：icons::view 只允许出现在图标盒=24 的文件，
否则红——谁把上面 5 处改回 view 立刻被抓；
- 三处会带偏人的文字订正：icons.rs 模块文档改成「24 盒走 view、其余一律 view_at」；
selection/mod.rs 的「图标一律 icons::view」同改；token_contract.rs 明说那条只保证烘焙路径。
|
2026-11-02 13:12:14 +08:00 |
|
|
AskaEth
|
fa40d798e2
|
docs+test(design,app-iced): filled-tonal 的禁用容器偏离写进代码；禁用色断言去自指（M86 r1 P2）
r1 复审两条：
- 我在报告里说「filled-tonal 的 0.12 偏离已写进代码」，实际一个字都没写，而 state.rs:47 还把
TonalButtonTokens 列进 0.1f 家族，等于让人误以为已对齐。现在 state.rs 的常量文档与
disabled.rs 的模块文档都写清：官方 getDefaultFilledTonalButtonColors 硬编码 0.12f
（FilledTonalButtonTokens 无该字段），我们的入口不区分变体、tonal 实际画 0.10，属已登记偏离。
- surface_family_disabled_colors_are_the_12_percent_class 的期望值原本从被测常量自己算，
把 DISABLED_SURFACE_ALPHA 改成 0.10 也照样绿（自指断言）。现在期望值硬编码 0.12/0.38 并
先钉常量本身；按钮族那条同改。
|
2026-11-02 13:12:13 +08:00 |
|
|
AskaEth
|
b566097107
|
fix(design,app-iced): 图标尺寸与禁用 α 收敛到官方字节码，两族拆开（M86）
图标：IconSize::Button 16→18（AAR ButtonDefaults.<clinit> 的 bipush 18）；新增
IconSize::SwitchThumb=16（SwitchTokens.Selected/UnselectedIconSize）承接开关滑块，按钮与
滑块不再借同一档；IconSize::Nav 的值不动但文档订正（无消费，官方导航/列表图标是 24）。
ButtonSmallTokens.IconSize=20 在整包 AAR 里零消费（javap 搜 getIconSize 无外部调用），
是死令牌，不再作为取值依据。
禁用 α：官方本来就分两族——按钮容器 0.10（*ButtonTokens.DisabledContainerOpacity）与
面状控件 0.12（chip 描边 / slider 轨道 / switch 轨道）。原来的缺陷是一个全局 12% 同时
服务两族（按钮那半边一直错、另半边一直对），现拆成 disabled_button_colors/…_content
与 disabled_colors/disabled_content_over_role 两个入口；interaction 首次超 400 行，
禁用口径与测试搬到 interaction/disabled.rs。
标题栏 caption 三键：官方 SmallIconButtonTokens.IconSize=24，按用户点名缩到 20
（容器 46×48 不动），登记为项目偏离；icons.rs 加按令牌取尺寸的入口 view_at，按
(种类,尺寸) 分别烘焙 SVG，20px 的 stroke 取 1.8 保视觉线宽 1.5px。
|
2026-11-02 13:12:11 +08:00 |
|
|
AskaEth
|
c825e1aa3d
|
Merge branch 'feat/p4-iced-components-navigation-listitem-t'
|
2026-11-02 11:56:11 +08:00 |
|
|
AskaEth
|
111955efae
|
fix(app-iced): M79 r3 —— 分隔线守卫的三处「假绿」根治（众数参考色 / 角色身份校验 / 锚定行无条件打印）
代码复审 r3 = p1-2items，两条都是判据自身的假绿，产品代码零改动。
1. **参考色取「跨度中点那一个像素」→ 缺口落在中点就假绿**
`line_segments` 改用该行**墨迹众数色**（`modal_color`）：242px 的线 vs ≤4px 的缺口，
众数天然是线自己的颜色。反例 `gap_at_mid`（r2 图在 x=144..145 挖 2px 孔）：
改前 `ok. 1 passed`（假绿），改后 **2 段 red**。
2. **行锚定可被「更靠上的另一条细低对比横线」抢走**
`find_thin_line` 增加 `expected` 身份色 + `blend_coverage`：线色必须落在
`Surface → SurfaceVariant` 的插值线上（覆盖率 0.30~1.05，三通道 t 最大差 ≤0.25）。
这比「单通道差 ≤20」稳得多：实测 `OutlineVariant (200,212,224)` → t=(1.84,2.24,3.1) 出界；
hover 8% `(228,233,238)` → t=(0.72,1.0,1.7) 散开 0.98；两者都被拒。
反例 `decoy_outline_gap` / `decoy_hover_gap`：改前 `ok`（假绿，锚到 y=400/401），
改后打印 `divider skip y=… (不是预期角色色的插值，拒绝)` 并退回真分隔线 → **3 段 red**。
3. **锚定行无条件打印**（不管红绿）：
`[probe] divider anchored at y=471 span=x24..266 color=[221, 233, 245] segments=1 (light, 1180x760)`
——「锚错行」从此不再静默。
4. **深色档不再是零覆盖**：`divider::check` 浅色必跑，`tabs-dark.png` 存在就跑深色
（实测 `y=471 color=[46,60,70] segments=1 (dark)`）。判据/锚定逻辑抽到 `probe/divider.rs`，
`probe.rs` 393 行仍 <400。
9 张图全跑（退出码即判据）：
r2 rc=0(1段) · before rc=101(3段@471) · mutB rc=101(2段) · mutC rc=101(2段) ·
mutE rc=101(3段@471) · mutF rc=101(3段@471) · **gap_at_mid rc=101(2段)** ·
**decoy_outline_gap rc=101(3段@471，y=400 被身份拒)** · **decoy_hover_gap rc=101(3段@471，y=401 被身份拒)**。
已知边界写进 `probe/scan.rs` 模块文档：≤25% 覆盖的淡线 → **loud red**（锚定失败 panic，
不会假绿）；身份校验绑定 `SurfaceVariant`（换角色色会 loud red，改 `divider.rs` 一行）；
只认横线；深色图缺失时跳过深色断言但不失败。
门禁：fmt ✓ · `cargo test -p unlucky-app-iced` 197 passed · gate 6 passed · probe 5 passed ·
`clippy --all-targets -D warnings` 干净。变异图在 `target/m79/{mutB,mutC,mutE,mutF,gap_at_mid,decoy_outline_gap,decoy_hover_gap}/`，不入库。
|
2026-11-02 11:56:08 +08:00 |
|
|
AskaEth
|
dffae2c429
|
fix(app-iced): M79 r2 —— 分隔线守卫换成「锚定细线行 + 整段跨度数段」
代码复审 r2 P1-1：上一条守卫只认 r1 那种「半透明 AA 缝」，四处假通过。
两个结构性原因与对应修法：
1. **窗口被截成 150px**：`longest_h_line` 凑满 150px 就 return，`line_segments` 只在那
150px 里数段 → 分隔线实长 242px，只看前 62%；缺口在窗口外看不见、在窗口内则被
「跳到缺口之后重新起跑」滑过。现在 `find_thin_line` 返回的是**该行整段墨迹跨度**，
`line_segments` 在这个跨度上数段。
2. **行的锚定不稳**：原来「第一条 ≥150px 的连续带」能被五态行的 40px 高底色带、
`Primary` 指示条顶替（mutE/mutF 会量到完全不同的元素）。现在四条判据一起锚定：
跨度 ≥200 · 近乎实心（墨迹 ≥ 跨度×4/5）· 薄（跨中点纵向墨迹 ≤3 行）· 低对比
（线色与底色单通道差 ≤120）。
`TOL=6` 的口径写进注释：**单通道**最大可辨差；40% 覆盖的抗锯齿行实测差 `(9,6,4)`，
6 能看见它又挡住 ±3 渲染噪声；相邻那行是满覆盖（线色差 25/17/10），所以行锚定不会丢。
五次验收（真跑 probe，退出码即判据；变异图在 `target/m79/{mutB,mutC,mutE,mutF}/`
由 r2／r1 图改像素生成，不入库）：
| 图 | 结果 | 实测 |
|---|---|---|
| r2 原图 | **rc=0 绿** | 1 段 |
| `before/`（r1 逐 tab + AA 缝） | **rc=101 红** | 3 段，y=471 x24..265 |
| mutB（缺口 x=200..201，旧窗口外） | **rc=101 红** | 2 段，y=471 x24..266 |
| mutC（缺口 x=100..101，旧窗口内） | **rc=101 红** | 2 段，y=471 x24..266 |
| mutE（r1 两个缝位 102/192 挖真缝） | **rc=101 红** | 3 段，**y=471 x24..266**（仍是分隔线那行，不是 y=503 的五态带） |
| mutF（额外：r1 分段线 + 上方 200px Primary 带） | **rc=101 红** | 3 段，y=471（锚定没被 Primary 带顶替） |
门禁：fmt ✓ · `cargo test -p unlucky-app-iced` 197 passed · 全套 probe 对 r2 图 5 passed ·
`clippy --all-targets -D warnings` 干净。未改任何组件实现。
|
2026-11-02 11:56:06 +08:00 |
|
|
AskaEth
|
55a775fca7
|
test(app-iced): M79 r2 —— probe 复跑暴露的两处修正（分隔线判据 / 可见性警告）
真跑 `navigation::probe` 才发现的两件事，都只影响测试代码：
1. **Secondary 分隔线判据错了**：原来按 `SurfaceVariant` 的**精确值**找块，
但 1px 的线画在分数像素上，真实像素是「线色 ⊗ 页面底色」的混合值
（实测 `(221,233,245)`，不是令牌原值）→ 找到 **0 段**，断言假红。
改成：先找「与页面底色不同、横跨 >150px 的那一行」，再用**该行自己的颜色**数连通段
（`probe/scan.rs` 新增 `longest_h_line` / `line_segments` / `differs`）。
现在：r1 基线图 → 实测 **2 段**（红）；r2 新图 → **1 段**（绿）。
2. `matches` 原来被写成 `differs` 的正向委托（语义反了），以及 `pub(super) fn shot` 暴露了
更私有的 `Shot`（`private_interfaces` 警告，`-D warnings` 会红）：前者改回
`!differs(..)`，后者把 `shot`/`shot_dir` 收回私有（子模块 `probe::long` 仍可见）。
其他：`probe/long.rs` 的 `filter(..).next()` → `find(..)`（clippy::filter_next）。
复跑（真实输出）：
- `ULL_NAV_DIR=target/m79/r2 cargo test -p unlucky-app-iced navigation::probe` → **5 passed**
- `cargo test -p unlucky-app-iced` → **197 passed**（+ gate 6 passed，1 ignored）
- `cargo clippy -p unlucky-app-iced --all-targets -- -D warnings` → 干净
|
2026-11-02 11:56:04 +08:00 |
|
|
AskaEth
|
a36f542f28
|
fix(app-iced): M79 r2 —— 四条 review 修复（对齐/单行/可比对象/整行分隔线）
代码 r1 P2-1 = 视觉 r1 P2-1（同一处，必修）
- `app_bar::action`：容器只给了 `align_y` → 24px 图标贴 40×40 命中区左缘（实测前导墨迹
`38..58`，应 `44..68`；hover 的圆形状态层也露在图标一侧）。补 `align_x(Center)`；
同时页头内容行补 `align_y(Center)`（`Container` 默认 Top，整行原本贴顶）。
- 把 Q21 升格成规则并全目录复查（结论写进 `navigation/mod.rs` 的表）：
app_bar 命中区/页头行、tabs tab 内容、drawer 药丸 = 两轴显式居中；
list_item 文本块与 drawer 分组标题 = 左上起排（`Start` 是对的，不需要居中）。
回归钉子：`navigation::probe` 的 appbar 断言量「左内缩 == 右内缩 ±2」。
代码 r1 P2-2（必修）：四件文本都没有单行约束，容器高度却是固定值
- `app_bar`（标题/副标题）、`list_item::line`、`drawer::line`、`tabs` 标签统一
`.wrapping(Wrapping::None)` + 外层 `clip(true)`；页头/ListiItem/drawer 的文本块改成
`Fill + clip`，长文本切在文本区里，不折行、不顶穿、不压 trailing 动作。
- iced 没有 ellipsis → 按 `inputs/menu.rs` 的 D19 先例登记 **D-M79-5**
（官方要单行 ellipsis，我们单行 + 超长直接切割）。
- 取证：gallery 新增 `ULL_NAV_PART=long`（长实例名整块）+ `navigation/probe/long.rs`
量「行高仍 44/60/76 / 页头仍 56 / 标题墨迹右缘 < trailing 左缘」。取证块按
`selection::matrix` 的先例收进 `navigation/matrix.rs`（gallery 单文件贴 400 红线）。
视觉 r1 P2-2（必修）：ListItem 三列内容不同 → 「选中 trailing = Primary」没有可比对象
- 三列都挂 `trailing(settings)`，只有 selected 列走 `Primary`（其余 `OnSurface` / 38%）。
视觉 r1 P2-2（可选，已做）：Secondary 分隔线逐 tab 分段 + 0.5 圆角留了 1px 亮缝
- 改成**整行一条**：`Stack` 把一条 `Fill` 的 1px `SurfaceVariant` 压在 tab 行底下
（底座是 tab 行本身 → 线长 = tab 行总宽，横向滚动跟着走）。
- `TabsGeometry::bar_radius(bool)` 收成 `indicator_radius()`（只有 3px 的 Primary 条要圆角），
单测同步；probe 新增「Secondary 分隔线必须 1 段」的断言。
门禁：`cargo fmt --all --check` ✓ · `cargo build -p unlucky-app-iced --lib` 零 warning ✓
（截图/探针/测试的实时输出见完成报告；本轮宿主机被多条并行线的 rustc 打满，
bin 链接排队严重，如未取到会如实标注未完成项。）
|
2026-11-02 11:56:02 +08:00 |
|
|
AskaEth
|
81e34d77da
|
feat(app-iced): M79 导航家族 —— ListItem / Tabs / NavigationDrawer / AppBar
四件组件 + gallery 状态矩阵 + 渲染层几何断言，全部只落在
`components/navigation/**` 与 `gallery/navigation.rs`（不改 mod.rs / interaction / layout）。
- ListItem（12b §4）：一行/两行/三行 44/60/76（A1 56/72/88，登记偏离）、leading/trailing 槽位、
hover/focus/pressed 只叠状态层（内容色不变）、禁用是修饰器且内容角色取 A1 的 `OnSurface`@38%。
- Tabs（12b §6）：Primary 3px 指示条（用 `Stack` 分层让 Fill 条拿到「该 tab 的宽」）、
Secondary 1px `SurfaceVariant` 分隔线、带图标时容器 64、横向滚动；选中色按变体分（Primary / OnSurface）。
- NavigationDrawer（15 §21 + D33）：**同一个容器两个宽度** —— rail 88 ⇄ drawer 240；
药丸从容器宽派生（56×32 / 216×56，左右各缩 16 / 12，A1 `ItemPadding`）；
分组标题 TitleSmall、组间 1px OutlineVariant；drawer 项高 56（G24）。
- AppBar small（12b §16）：页头 56（A1 64，登记偏离）、TitleLarge emphasized + LabelMedium 副标题、
leading/trailing 槽位、滚动只换 `SurfaceContainer` + L2（A1 无 OnScroll…Height）。
- gallery：`ULL_NAV_PART=list|tabs|drawer|appbar|all` 分块出图；四块矩阵（ListItem 三行高 × 三态、
Tabs 三个选中位置 + 五态、rail/drawer 同尺度并排、AppBar 静息/滚动）。
- `navigation/probe.rs`：读真截图量像素的 4 条断言（行高 44/60/76、禁用 OnSurface@38%、
指示条宽 = 标签墨迹 + 2×16、rail 88 / drawer 240 与药丸内缩 16/12、AppBar 56），
已用两次变异（行高改 56/72/88；drawer 内缩改 16）验证能被打红。
门禁：fmt ✓ · clippy -p unlucky-app-iced --all-targets -D warnings ✓ · test -p unlucky-app-iced 195 passed ✓
|
2026-11-02 11:55:59 +08:00 |
|
|
AskaEth
|
22636668d0
|
Merge branch 'feat/p5-ci-guards-for-presenter-zero-ui-and-d'
|
2026-11-02 11:19:20 +08:00 |
|
|
AskaEth
|
e9034a40c8
|
fix(guards): design 零依赖门禁覆盖 dev/build 依赖表（M89 复审 p2-2）
cargo tree --edges normal 看不到 dev-dependencies / build-dependencies，而 design
对外承诺的是「零第三方依赖」，不分 normal/dev/build。新增一步「依赖表必须为空」：
按表头切出 dependencies / dev-dependencies / build-dependencies / target.*.dependencies
（含 [dependencies.serde] 子表写法，表头携带包名），有任何一个键即失败；原「依赖树只允许
出现自身」那步保留，两道互补。
实测：基线绿；[dev-dependencies] serde 红（同一时刻 tree step 仍绿，正是原来的盲区）；
[build-dependencies] digest 红。老 job（core-no-ui / file-size / licenses）解析后仍与 main 相等。
|
2026-11-02 11:19:16 +08:00 |
|
|
AskaEth
|
48061c3f31
|
fix(guards): presenter 依赖表检查覆盖 [dependencies.slint] 子表写法（M89 复审 p2-1）
原判据要求表头是 `[dependencies]`，`[dependencies.slint]` / `[target.'cfg(windows)'.dependencies.slint]`
这类合法子表既不匹配、表头又被 next 吃掉，整段内容完全不查。配合「子表 + optional +
非默认 feature」可让依赖表与 cargo tree 两步同时绿。
- 表头正则加 `(\.[^]]*)?`，并把带子表后缀的表头本身纳入检查（表头携带包名）。
- 实测：基线绿；`[dependencies.slint]` 红；子表+optional+feature 红；target.* 变体红；
`[dependencies.serde_json]` 不误报（仍绿）。
|
2026-11-02 11:19:15 +08:00 |
|
|
AskaEth
|
56bc52756b
|
ci(guards): 新增 presenter 零 UI 与 design 零第三方依赖两道门禁（M89）
- presenter-no-ui：照 core-no-ui 的「依赖表 + cargo tree」双查，名单一致
（slint/egui/eframe/iced/winit/gtk/javafx/tauri/fltk/druid/relm）。
依赖表检查按表头切出依赖表再查键名——presenter 的 description 合法地写着
「Slint 版与 iced 版共用」，core-no-ui 那种整文件 grep 在这里会误报。
- design-zero-dep：cargo tree -p unlucky-design --edges normal 只允许出现自身一行，
把 README 明写的「零第三方依赖」卖点从人肉守变成 CI 守。
- 两条都 fail-closed：cargo tree 自身失败（crate 改名/解析异常）同样红；
失败信息给出命中清单与放哪里的建议。
- 未改任何已有 job 的语义（core-no-ui / file-size / licenses 原样）。
|
2026-11-02 11:19:14 +08:00 |
|
|
AskaEth
|
1d0ff70908
|
Merge branch 'feat/p4-palette-source-trio-image-wallpaper-p'
|
2026-11-02 11:10:59 +08:00 |
|
|
AskaEth
|
8be91a9cc9
|
docs(design)+test(palette-extract): 修正「种子一定是原图真实颜色」的过度承诺
自测发现：400×400 红蓝棋盘在 MAX_EDGE=256（适配层 thumbnail 缩放）与 512（design 块平均）
下都取到 #704070，都不在原图上——「≤MAX_SAMPLES ⇒ 真实颜色」只对「传进 analyze_rgba 的
那个缓冲」成立，不是整条链的性质。
- Seed::color 文档写明边界 + 上游缩放同样会破坏该性质（附实测例）
- 结构性断言的注释/断言文案改为「design 不再叠第二层块平均」，不再声称能保住真实颜色
|
2026-11-02 11:05:06 +08:00 |
|
|
AskaEth
|
09b716ae79
|
docs(design)+test(palette-extract): r2 三条口径修正与常数绑定
- LowChroma 文档：删掉「彩度必然 < 候选门槛 5」（人气门槛也会淘汰高彩度小面积，
实测 0.5% 纯红报 113.36），改为与契约文档 §6 一致的口径；代码臂注释与 score::most_chromatic 同步
- Seed::color / share 改成有边界的说法：≤MAX_SAMPLES 才是图上真实色、share 的分母是有效采样点
- palette-extract 新增 max_edge_stays_within_the_design_sample_budget：
MAX_EDGE² ≤ MAX_SAMPLES（256² 当前余量为零，调大就红）
- card.rs：把 6.43~6.50 / 7.70~7.76 写成断言（原来只有 ≥4.5 下限，文档却宣称区间）
- LowChroma.color 字段注释改成「最接近可用的候选色」（113 那条并不「能用」）
|
2026-11-02 11:05:03 +08:00 |
|