用途:在把 Java 项目迁移到 Zig 时,证明两件事:源测试契约与全部测试资产被无损迁移且 Java/Zig 可观察结果一致;Zig 特有风险另有补充测试。不得用覆盖率、目标测试数、文件数或两套各自通过的测试作为完成证明。
主要能力:维护三类台账——SOURCE_PARITY/TEST_CASE(每个 Java 测试方法与具体参数化用例)、SOURCE_PARITY/TEST_ASSET(每个 fixture/资源/脚本/语料/golden 文件,要求字节一致并匹配 SHA-256)、ZIG_OBLIGATION(分配器、生命周期、错误、目标、ABI、构建、并发等)。源用例处置分为 MIRRORED、ADAPTED、SPLIT、MERGED_APPROVED、NOT_APPLICABLE、BLOCKED、MISSING,前四类需保留标志全真、存在 Zig 目标测试、保留证据且结果 MATCH。
使用方式:先固定 Java 与 Zig 基线并清点 JUnit 4/5 方法、参数化/动态/嵌套/继承用例、禁用测试及原因、setup/teardown、fixture、资源、外部依赖等。复制源资产时不得改动字节。整项目验收模块结构为 <project>-test/,含 src/root.zig、tests/source_parity.zig、tests/cross_component.zig、suite/source/,在根 build.zig 注册后运行:zig build migration-test。差分验证要求 matched == source_cases、mismatched == 0、harness_failures == 0、skipped == 0、not_run == 0。审计脚本用法:python3 "$SKILL_DIR/scripts/audit_java_zig_tests.py" --java-root ../agentscope-java --zig-root ../agentscope-zig --parity-manifest docs/source-test-parity.json --fail-on-incomplete。
适用场景:Java 到 Zig 的测试迁移、参数化用例与测试资产迁移、跨模块差分验证、Zig 特有风险补充测试。
限制:静态提取保守,无法推断语义映射,仍需 manifest 与保留产物作为证据;不得排除、禁用、弱化或合并源测试;不得就地编辑源资产;不得用测试总数、覆盖率、抽样或两套绿色测试代替一致性;存在任何失败、跳过、忽略、阻塞、缺失、不匹配、harness 失败或未运行用例时不得声称完成。具体平台、收费与价格信息暂未提供。