更新标准库测试列表

本技能通过比较工作区软件包与宿主机完整 cargo test 结果，维护 scripts/test/std_crates.csv 中的标准库测试允许列表。

测试分层边界

测试必要性、去重和 Rust 布局先按 test-quality 判断；不为进入允许列表而添加构造、参数回读或固定实例测试。再按被测语义选择执行环境并审计允许列表：

• std 只验证算法、数据结构、状态机、协议解析、错误转换和可确定性模型。测试可以使用局部数据夹具，但不得实现或依赖假调度器、假 IRQ、假 timer、假 SMP 或假设备来证明运行时语义。
• 真实调度、阻塞/唤醒、IPI、IRQ、timer、SMP、affinity、上下文切换和目标指令必须通过 test-suit/arceos/rust 的 ArceOS QEMU case 验证。ax-task、ax-runtime 等启动依赖库不创建独立 axtest target。
• Starry kernel、Axvisor 和板卡专属行为使用 cargo xtask ktest qemu 或 cargo xtask ktest board；直接 axtest 依赖不会因为传递依赖而自动扩散。
• ArceOS suite 的正式入口是 cargo xtask arceos test qemu ...，不是 cargo xtask test arceos。Starry suite 使用 cargo xtask starry test ...。

同一 crate 可以同时有 std 模型测试和 QEMU/axtest 集成测试；按独立行为与故障种类去重，上层只补充低层无法证明的真实装配或运行时行为。不能用 host 编译、fake runtime 或 shell prompt 替代目标运行时证据。

相关层级适配规则见 arceos-test-adapter 和 starry-test-suit。

工作流程

1. 运行审计，找出不在允许列表中的候选软件包。
2. 按下文授权边界确定候选范围，只应用已授权且符合筛选条件的软件包。
3. 按“验证”一节检查修改并报告结果。

命令

脚本位于 .agents/skills/update-std-tests/scripts/std_test_candidates.py。本仓库所有 Python 脚本都使用 python3。

输出 Markdown 格式的审计结果：

python3 .agents/skills/update-std-tests/scripts/std_test_candidates.py audit --repo-root /path/to/repo --format markdown

输出 JSON 格式的审计结果：

python3 .agents/skills/update-std-tests/scripts/std_test_candidates.py audit --repo-root /path/to/repo --format json

把软件包加入逗号分隔值文件：

python3 .agents/skills/update-std-tests/scripts/std_test_candidates.py apply --repo-root /path/to/repo --packages pkg1 pkg2 pkg3

只预览修改，不实际写入：

python3 .agents/skills/update-std-tests/scripts/std_test_candidates.py apply --repo-root /path/to/repo --packages pkg1 pkg2 --dry-run

授权边界

遵守仓库 AGENTS.md 的授权与完成条件。用户已要求更新列表或添加通过测试的候选项时，连续完成审计、应用符合条件的通过项和验证，不再询问是否添加或继续。用户只要求审计时，交付候选清单即可，不修改 CSV。

失败候选项默认不添加，并在结果中说明；只有用户明确选择加入失败项时才应用该选择。请求要求加入失败项但未明确软件包范围时，先展示具体候选与失败证据，再一次询问缺少的范围；已有明确选择不重复确认。

筛选策略

• 纳入：库软件包、只有二进制目标的示例软件包。
• 按名称排除：tg-xtask、axlibc、arm_vcpu、riscv_vcpu、axvisor。
• 按失败特征排除：invalid register、undefined symbol: main，这两类表明软件包不兼容宿主机。
• 测试方式：普通包可完整执行 cargo test -p <package>，不使用 --no-run；带有 host-test、固定 feature profile 或测试发现断言的软件包必须通过 cargo xtask test 的正式 profile 验证。

详细筛选逻辑见 references/filtering.md。

输出格式

候选项按下列顺序分组，并保持清楚分隔：

## 通过测试的候选项（N）
- `package-name`（类型）- 路径 - 通过 cargo test

## 测试失败的候选项（N）
- `package-name`（类型）- 路径 - 错误消息

## 已排除的候选项（N）
- `package-name`（类型）- 路径 - 排除原因

验证

应用修改后必须运行标准库测试；使用 cargo xtask test，或在基线能覆盖本次全部改动时使用 cargo xtask test --since <REF>：

cargo xtask test

如果用户选择加入已知失败软件包，明确警告允许列表包含当前失败项，整体验证可能无法通过。

应用 CSV 修改前先展示候选包、退出码和实际测试数量，核验每个条目仍是 workspace package，且不是零测试、宏装配、裸机应用或目标架构专属包；只应用授权范围内的条目，并检查 git diff。工作区成员、目标种类、宿主测试行为或依赖发生变化时重新运行审计。

完成时报告实际加入、排除和失败的软件包，以及验证命令和结果。已知失败项获准加入不等于验证通过；必要验证未完成时明确记录缺口。

附带资源

• scripts/std_test_candidates.py：审计和应用脚本（位于 .agents/skills/update-std-tests/scripts/）。
• references/filtering.md：详细筛选策略。