 tower
|
5d5011f66c
|
ci(release): M141 arm64 体检改成逐行注解 + 缺 ARM64 SDK 时就地补装组件
- 诊断全部走 ::error:: 注解（job 日志要 token，注解不要），快照固定 4 行：
探测根存在性 / 每个 SDK Lib 版本目录的 um 架构 / MSVC lib 架构 / 两个关键库路径。
- SDK 根放宽到 4 个（(x86)、Program Files、Microsoft SDKs、VS 自带的 SDK in VS），
kernel32.lib 探测深度 4→6；MSVC find 兜底深度 7 覆盖 lib 目录。
- 缺库时先就地补装（vs_installer modify --wait），组件 ID 按已装 SDK build 反推，
优先补一个尚未安装的 SDK 版本（同版本重装是 no-op，补不出 um/arm64）；补不上才 fail。
- 门禁不降级：PUBLISH_SLOTS 与槽位表原样（windows-arm64 仍在）。
- 为守住 400 行上限，压缩了其余纯注释块与两处等价写法，逻辑未变。
|
2026-11-06 12:15:10 +08:00 |
|
|
tower
|
5340908882
|
refactor(download): rebase 到 M93 之后 app/update.rs 破 400 → 下载页四支拆到 update/download.rs
M93（外观三件套接线）合入后 `app/update.rs` 从 348 涨到 410 行，再加上下载页的四个 arm
会顶破 ≤400 硬线。把下载页那几支（SelectVersion / InstallVersion / CancelInstall /
SetCategory / Action::RefreshSources）挪到 `app/update/download.rs`（`app/update/**` 在本
mission scope 内），`on_page` 入口只留一句 `if self.on_download(&message) { return; }`，
match 末尾补一条 `_ => {}` 做穷尽性。
行为零变化：指令、视图模型写法、`refresh_view` 顺序都照搬；M93 的 `Appearance` arm /
`env_start_route` / `on_appearance` 一行没动。
行数：update.rs 410 → 397，download.rs 57。
|
2026-11-02 21:45:40 +08:00 |
|
|
tower
|
6453c76750
|
fix(download): M94 r2 —— 安装终态出口 + 分类真机过滤（复审 P1-1 / P2-1）
P1-1 安装一旦收尾就再也装不了第二个版本（终态面板没有出口）
- 页面侧：`Download::from_snapshot` 把 **Done / Cancelled** 当结束（`InstallView::finished`），
面板让回列表 —— 装完一个版本可以直接选下一个继续装（图：r2-done / r2-done-next）。
不清 `Failed`：失败态带着用户要的东西（停在哪个文件 + 去日志页）。
- 面板加真出口：失败态「Open logs」（实心）+「Dismiss」（文本 → `Message::CancelInstall`，
host 侧对没在跑的任务是安全 no-op），修掉「失败后连重试都不可达」。
- 决策抽成纯函数 `install::panel_state()`（Hint / Ready / Install），`panel()` 只是它的画法，
于是「能不能再装」可以被单测钉死，不用开图形环境。
- 两条新测试**不走 MockBackend**（它从不发 `InstallProgress`，终态永远跑不到 ⇒ 假绿）：
直接构造 `AppState` + `apply(CoreEvent::InstallProgress(..))`。
P2-1 分类 chip 在真 host 上是空控件
- `from_snapshot(state, category, catalog)` 收分类并按 `Category::matches` **本地过滤**
（真 host 的 `ListVersions(_)` 丢掉分类参数、回全量清单）；
- 分类不再从列表反推（`Category::of` 只留给演示首帧），`app/view.rs::model` 收分类、
`refresh_view` 把上一份视图模型的分类带回去 ⇒ 事件回来 chip 不会跳回「全部」；
- `update.rs` 的 `SetCategory` 写分类后**立刻重建**（chip 与列表同一个谓词），再派真指令。
p3（顺带）
- 失败态与占位态共存：列表空/加载中时若安装还在跑，面板照样出现在底部（r2-installing-empty）；
- 修 `install.rs` 的坏 rustdoc 链接；`install.rs` / `model.rs` 的测试模块外置到子文件守住 400 行。
测试文件：`pages/download/{model,install}/tests.rs`（新），`pages/download/tests.rs` 里的
`from_snapshot` 调用补分类参数。
实证（回退法）：删掉 `.filter(|view| !view.finished())` → 两条终态测试红并点名
「Done 之后不许再占着安装面板」；删掉 `.filter(|category.matches(..))` → 两条分类测试红
（「只剩正式版」left=3 right=1）。放回修复 → 全绿。
门禁：fmt --check 干净、clippy -D warnings 干净、app-iced 280 + 集成 6 + i18n 23 全绿（-j 4）。
|
2026-11-02 21:36:28 +08:00 |
|
|
tower
|
9d6ee70301
|
fix(download): M94 r1 —— 五条复审（P2-1/2/3/4/6）
P2-1 占位规则统一：加载态原先贴顶、空态居中 → 两态都走同一套「内容在可用区居中」
（依据：components::feedback::empty_state 的既有口径 12b §15.4；两态互切不再纵向跳）。
实测两个状态的内容中心线 y=449 / y=445（差 4px）。
P2-2 文案只说真能做到的事：
- 删「The list appears after the first successful fetch; this page never goes blank.」
（工程话术 + 承诺了 UI 做不到的「永空白」）→「如果一直停在这里，点右上角的刷新。」
（对应页头那个真的 Refresh 按钮）
- 空态「Switch the category or clear the filter」删掉「清筛选」（页面没有筛选控件）
→「换一个分类，或刷新一次列表。」
- 副标题「Version list from the official manifest」去掉 manifest 这种工程词 →「可以安装的版本」
P2-3 去掉静止的 indeterminate 进度条：页面没有帧订阅，indeterminate 只会拿到一个固定相位
（看起来像 17% 卡住）。加载态改成纯文字；安装面板只在进度已知时画 determinate。
两帧证据：215/512 → 条填 177px(42%)，409/512 → 338px(80%)，条随事件走而不是动画。
P2-4 失败态与安装中彻底不同构：失败不再画进度条，改成整块 ErrorContainer 面板
（ErrorContainer 底 + Error 图标 + Error 色标题 + 停在哪个文件 + 说明 + 实心「打开日志」）。
实测底色：浅色 (255,218,214) / 深色 (147,0,10)，安装中面板底色仍是页面底色。
P2-6 死 key 与假守卫：
- 删掉没用的 DownloadSelected；
- 用真的守卫替换原来那条「前缀遍历 + 条数下限」：every_download_key_is_referenced_by_the_page
用 include_str! 把页面源码编进来，目录里每个 Download* key 必须在源码里出现 Key::Xxx。
实证：把 DownloadSelected 放回去 → 该测试红并点名 key；删掉 → 绿。
注释里也写清抓不住的三种情况（反向是编译错误 / 译文完整性归 i18n 自己的测试 / 宏拼 key 能骗过它）。
门禁：fmt --check 干净、clippy -D warnings 干净、app-iced 276 + i18n 23 全绿；
tests.rs 384→383 行（不再贴顶），其余文件均 ≤400。
|
2026-11-02 21:36:26 +08:00 |
|
|
tower
|
57e8380b24
|
feat(download): M94 下载页换成真组件 + 真快照 + 真指令（PAGEDL）
页面（crates/app-iced/src/pages/download*）：
- Tabs（分类）/ ListItem（版本行）/ filled 安装按钮 / progress / EmptyState / divider
全部取自 components/ 的真组件；页头动作换成 buttons::text
- 数据只吃 pages::download::Download（app/view.rs 由 AppState 快照转，installed_only 与
download_query 照用）；页面自己不留业务状态，交互只发意图
- 状态：加载（不确定进度 + 文案）/ 空（EmptyState + 刷新 CTA）/ 有数据 / 安装中 / 安装失败
（失败给可读文案 + 「打开日志」出口）
接线（追加式）：
- pages::Message 加 SelectVersion / InstallVersion / CancelInstall / SetCategory
- app/update.rs 翻成 AppCommand::{InstallVersion, CancelInstall, ListVersions}
（SelectVersion 只改视图模型；「刷新」= 当前分类重新拉，全部走 RefreshAll）
- pages::Model 加 download 字段
文案：28 个 Download* key 进中英两套 catalog（一行一个 key 的全语言）；页面零中文字面量，
core 的中文阶段串（InstallStage::label / message）一律不进界面
i18n 结构：catalog.rs 的既有测试模块原样外置到 catalog/tests.rs（392 行 → 282 行，
逐字未改），新 key 才装得下 400 行硬上限
测试：app-iced 276 + i18n 23 全绿；clippy -D warnings 与 fmt --check 干净
|
2026-11-02 21:36:22 +08:00 |
|