用途:面向 Java 转 Rust 的迁移测试,负责测试规划、实现、审计与验收,目标是以完整源测试套件为兼容性下限,证明可观察行为一致与 Rust 安全属性,而非追求测试数量。
主要能力:要求 100% 迁移源测试用例且不弱化输入与断言,逐字节复制测试夹具/数据/脚本,使两套实现产生相同的单例可观察结果;按顺序建立 SOURCE_PARITY、RUST_OBLIGATION、VALUE_ADD 三本台账。SOURCE_PARITY 含 TEST_CASE 与 TEST_ASSET 两节,保留输入、断言、异常类别、顺序、状态、副作用、清理,以及资产相对路径与 SHA-256。证据分级从 V0_STATIC 到 V7_ROLLBACK,绿色测试不代表差分通过。
使用方式:冻结基线后清点源与目标测试,采用 MIRRORED、ADAPTED、SPLIT、MERGED_APPROVED、NOT_APPLICABLE、BLOCKED、MISSING 等处置。脚本示例:python3 "$SKILL_DIR/scripts/audit_migration_tests.py" --java-root ../java-project/source-module --rust-root <selected-target-crate-or-workspace> --object-ledger docs/source-module/对象级对照表.md --parity-manifest docs/source-module/source-test-parity.json --java-test-assets-root src/test/resources --fail-on-incomplete。建议整体验收用独立 <project>-test 包,publish = false。
适用场景:迁移专用测试、跨模块与跨 crate 验收、差分与宿主测试。
限制:不用于一般 Rust 测试机制(rust-testing)、并发模型检查(rust-concurrency)、性能基准(rust-performance)、unsafe/FFI(rust-unsafe-ffi)、Web 威胁建模(rust-web-security),这些应路由至对应技能;审计请求不授权删除或重写测试;不得用未固定版本的远程产物作为兼容性基准。