Build virtualized software list (T-203)

docs/04-architecture.md

@@ -59,6 +59,8 @@ UI 固定交互模式:
 
 控件状态按**软件 ID**保存,不按列表序号;列表用惰性 `layout.List`;图标走内存 + 磁盘缓存。
 
+T-203 已把共享列表状态落在 `core/application.CatalogListModel`:源快照、搜索、单分类、all/installed/updates 视图和 selected app ID 都是无 IO 纯内存状态。两个 Gio 适配分别保存 Editor、`layout.List` 与以 app ID 为键的 Clickable;500 项 viewport 测试验证只布局可见行。主循环或后台用例通过 `SetItems` 替换准备好的快照,Layout 不扫描 installed-app.json、不获取 Catalog。
+
 ## 三、仓库目录结构
 
 ```text

docs/current-state.md

@@ -13,26 +13,26 @@
 ## 当前快照
 
 - 日期:2026-07-16
-- 阶段:Phase 2 进行中;T-201/T-202 已完成,下一步 T-203 主界面软件列表
+- 阶段:Phase 2 进行中;T-201～T-203 已完成,下一步 T-204 软件详情与图标缓存
 - 技术栈:根 Go workspace 纳入 core/app-modern/app-win7 三模块;`app-win7/go.work` 隔离 Go 1.20.14 构建;modern Gio v0.10.1 与 win7 Gio v0.6.0 已实际接入
-- 生产代码:core 已有状态/事件、Catalog 正式客户端、SemVer 与 12 状态推导、installed-app.json 原子存储、ZIP 安全解压和安装事务切换/恢复原型;modern/win7 均可打开最小 AppShell
-- 测试:core 覆盖 Catalog、SemVer/12 状态、本地安装记录、ZIP 攻击矩阵及安装成功/回滚/多阶段崩溃恢复;两个 app 覆盖 AppShell 与平台 stub
+- 生产代码:core 已有 Catalog/本地状态/存储与无 IO 软件列表模型;modern/win7 AppShell 已实现搜索、分类、全部/已安装/可更新切换和惰性软件列表;安装安全原型保持可用
+- 测试:core 覆盖 Catalog、SemVer/12 状态、本地安装记录与列表筛选;两个 app 覆盖 AppShell、500 项虚拟列表、ID 控件稳定性与平台 stub;ZIP/安装恢复矩阵保持通过
 - 数据:`schemas/` 已有 manifest/app.json/installed-app.json v1 Schema;`testdata/catalog/` 有公开虚构清单样例;`testdata/zip/` 记录运行时生成的 ZIP 攻击矩阵
 - 标准启动路径:`./init.sh` / `./init.ps1`(同步依赖、执行完整 Phase 0 闸门、打印双目标构建命令)
 - 标准验证路径:`bash scripts/verify_phase0.sh` / `./scripts/verify_phase0.ps1`
 - 版本管理:git 已初始化,main 分支,远端 origin 为 Gitea `opc/soft_quay`;harness 文档已提交
-- 当前 blocker:无;下一步按路线图落成并领取 T-203
+- 当前 blocker:无;下一步按路线图落成并领取 T-204
 
 ## 当前目录要点
 
 | 路径 | 状态 | 说明 |
 | --- | --- | --- |
 | `docs/` | 已有 | harness coding 文档集(本次初始化完成) |
-| `docs/tasks/` | 已有 | Phase 0、Phase 1 与 T-201/T-202 已完成;T-203 待按路线图落成 |
+| `docs/tasks/` | 已有 | Phase 0、Phase 1 与 T-201～T-203 已完成;T-204 待按路线图落成 |
 | `scripts/` | 已有 | harness 治理、core 边界、Go 版本检查与 Phase 0 双平台验证入口 |
 | `core/` | 已建 | Go 1.20 兼容;已有状态/事件、正式 Catalog、本地安装状态/存储与 Phase 1 安装安全原型 |
-| `app-modern/` | 已建 | Go 1.25.0 + Gio v0.10.1;可打开 Modern AppShell |
-| `app-win7/` | 已建 | Go 1.20 + Gio v0.6.0;可打开带 Legacy 标识的 AppShell |
+| `app-modern/` | 已建 | Go 1.25.0 + Gio v0.10.1;Modern AppShell 已接入虚拟软件列表 |
+| `app-win7/` | 已建 | Go 1.20 + Gio v0.6.0;Legacy AppShell 已接入低成本虚拟软件列表 |
 | `schemas/` | 已建 | `manifest.schema.json`、`app.schema.json` 与 `installed-app.schema.json` |
 | `testdata/` | 已建 | 当前包含 Catalog 假数据与恶意样例;后续任务继续扩展 |
 
@@ -40,9 +40,9 @@
 
 任务状态以 `docs/tasks/` 各任务文件 frontmatter 的 `status` 为准。本节只写项目级摘要:
 
-- 已完成:Phase 0 的 `T-001`～`T-004`;Phase 1 的 `T-101`、`T-102`、`T-103`;Phase 2 的 `T-201`、`T-202`。
+- 已完成:Phase 0 的 `T-001`～`T-004`;Phase 1 的 `T-101`、`T-102`、`T-103`;Phase 2 的 `T-201`、`T-202`、`T-203`。
 - 正在进行:无。
-- 下一个可领取任务:按路线图落成并领取 `T-203 主界面软件列表`。
+- 下一个可领取任务:按路线图落成并领取 `T-204 软件详情与图标缓存`。
 
 ## 当前可运行内容
 

docs/routes.md

@@ -23,7 +23,7 @@
 
 | 视图 | 职责 | MVP |
 | --- | --- | --- |
-| 软件列表(主视图) | 全部/已安装/可更新/下载中/最近使用切换;搜索、分类、多标签筛选;滚动位置稳定 | P0 |
+| 软件列表(主视图) | T-203 已实现全部/已安装/可更新切换、名称/ID/tag 即时搜索、单分类筛选、稳定滚动与明确空状态;下载中/最近使用和多标签复选随对应用例后续接入 | P0 |
 | 软件详情(弹层或右栏) | 版本、简介、教程链接、授权状态;下载/更新/启动/取消操作 | P0 |
 | 下载队列 | 所有任务的进度、速度、剩余时间;暂停/取消/重试 | P0 |
 | 设置 | 并发数、目录、代理、自动检查更新、beta 通道、日志级别、便携模式(V2) | P0(最小集) |
@@ -53,6 +53,14 @@
 - 未验证/不兼容的软件显示原因,操作按钮禁用,不静默失败。
 - Win7 版允许减少动画、阴影和高成本渲染,但交互语义与现代版一致,并明显展示 Legacy 标识。
 
+T-203 已落地的列表交互约束:
+
+- 共享 `core/application.CatalogListModel` 只消费预先准备的内存快照;搜索覆盖名称、稳定 ID 和 tags,分类与 all/installed/updates 可组合。
+- modern/win7 都使用惰性 `layout.List`;500 项有限 viewport 测试必须证明不会布局全部行。
+- Editor、视图按钮、分类按钮、软件行的键盘顺序与视觉顺序一致;搜索和软件行有可见焦点反馈,所有按钮最小高度 44dp。
+- 行 Clickable 保存在以 app ID 为键的 map;筛选、视图切换或 Catalog 快照更新不按可见序号迁移控件状态。
+- 无 Catalog 与过滤无结果是两个不同空状态;后者提供“显示全部软件”恢复操作。
+
 ## 导航规则
 
 - 列表 → 详情:点击软件项;详情保留返回/关闭。

docs/tasks/T-203.md

@@ -0,0 +1,70 @@
+---
+id: T-203
+title: 主界面软件列表
+phase: 2
+deps: [T-202, T-003]
+status: DONE
+created: 2026-07-16
+issue: null
+context_ref: 819b1cda1bd155c5cb76e7b05d45507f67bdb42d
+claim_branch: null
+work_branch: agent/codex/T-203
+write_paths:
+  - docs/tasks/T-203.md
+  - core/application/
+  - app-modern/ui/gio/
+  - app-modern/cmd/softbox/
+  - app-win7/ui/gio/
+  - app-win7/cmd/softbox/
+  - docs/routes.md
+  - docs/04-architecture.md
+  - docs/current-state.md
+---
+
+## 问题 / 背景
+
+可信 Catalog 与本地状态已经可用，但两个客户端仍只显示空 AppShell。主视图需要在不把磁盘/网络 IO 放进 Layout 的前提下，支持数百项、搜索、分类和全部/已安装/可更新切换；若控件按列表索引保存，筛选或排序后点击状态会错位。
+
+## 方案
+
+1. 在 `core/application` 建立共享、无 IO 的 CatalogListModel，列表项使用稳定软件 ID；支持名称/ID/tag 搜索、分类集合与 all/installed/updates 三种视图。
+2. 过滤结果保持 Catalog 原顺序；查询和分类变化不重建源数据，Gio 只消费当前可见切片。
+3. modern/win7 分别实现 Gio AppShell：顶部搜索与分类、左侧视图切换、中部惰性 `layout.List`、有帮助文案的空状态和底部状态栏。
+4. 每个 AppRow 的 Clickable 按软件 ID 存入 map，不按可见索引；每帧先 drain 点击，再执行布局。
+5. 使用扁平、高对比、44dp 最小交互目标和 4/8dp 间距体系；Legacy 减少装饰但保持同一语义。
+6. 测试共享筛选规则、ID 控件稳定性，并用数百项 + 有限 viewport 证明 layout.List 只布局可见行。
+
+## 验收要点
+
+- 搜索覆盖名称、ID 与 tags，忽略大小写和首尾空白。
+- 分类筛选与 all/installed/updates 视图可组合；无结果显示清晰空状态。
+- 两个 Gio 版本均使用惰性 layout.List；500 项在有限 viewport 中不会布局全部行。
+- 行控件状态按 app ID 保持，过滤/切换视图后不串行。
+- Layout 代码不读文件、不访问网络、不计算哈希。
+- modern 与 win7 UI 测试/构建、Go 1.20 core vet/test、完整双目标闸门和治理校验通过。
+
+## 边界（不改什么）
+
+- 不实现详情弹层与图标缓存（T-204）。
+- 不发起下载、安装、启动或真实 Catalog 网络装配；主操作仅展示当前状态语义。
+- 不实现下载中/最近使用视图或多标签复选；路线图 MVP 本任务只冻结 all/installed/updates。
+- 不添加动画、阴影、emoji 图标或新 UI 依赖。
+
+## 协作约束
+
+未启用 Gitea；本任务在 `agent/codex/T-203` 分支串行执行。`ui-ux-pro-max` 的本轮约束是高对比扁平界面、可见焦点/空状态、44dp 目标、虚拟化 50+ 项和键盘顺序与视觉顺序一致。
+
+## 执行记录
+
+- 2026-07-16:按 `ui-ux-pro-max` 先生成 SoftBox 设计系统并检索虚拟列表、键盘导航、空状态与焦点规则；最终采用高对比浅色、扁平无阴影、4/8dp 间距、44dp 控件和明显 Legacy 标识。
+- 2026-07-16:在 `core/application` 建立无 IO `CatalogListModel`；搜索覆盖名称/ID/tags，单分类与 all/installed/updates 可组合，过滤保持 Catalog 原顺序并保存 selected app ID。
+- 2026-07-16:modern Gio v0.10.1 与 win7 Gio v0.6.0 分别实现搜索栏、横向分类、左侧视图切换、惰性软件列表、状态/原因文案、两类空状态和恢复筛选操作。
+- 2026-07-16:Editor/按钮/软件行均提供键盘焦点反馈；自定义行补充 semantic button/description，未使用 emoji、阴影或额外 UI 依赖。
+- 2026-07-16:行 Clickable 以软件 ID 为键保存；筛选与 Catalog 快照更新后同 ID 控件保持原实例，移除的软件控件被释放。
+- 2026-07-16:两个适配各用 500 项 + 有限 viewport 测试证明 `layout.List` 只布局可见子集；空 AppShell 仍保持窗口尺寸测试。
+- 2026-07-16:同步 `docs/routes.md`、`docs/04-architecture.md` 与 `docs/current-state.md`；真实 Catalog 网络/密钥装配仍保持在 Layout 外。
+- 定向验证通过:`go -C core test -count=1 ./application`、modern/win7 `go test -count=1 ./ui/gio`。
+- Layout IO 扫描通过:`rg` 检查两个 `ui/gio` 下无 `os`、`net/http`、文件读写、filepath 或 sha256 调用。
+- 完整验证通过:`./scripts/verify_phase0.ps1`，包含 Go 1.20.14 core vet/test、治理/边界/版本检查及 modern/win7 双目标测试与构建。
+- 提交前检查通过:`git diff --check`。
+- 工作区中的未跟踪 `soft_quay.code-workspace` 与本任务无关，已保留且未纳入提交。