用途：这是规范开发流程的第 4 阶段，目标是产出验证报告，证明实现与设计、规格一致，覆盖边界情况，记录集成点与数据流，并跟踪缺陷与回退处理。
主要能力：先运行 ubs-scanner 做自动化缺陷检测；用 requirements-traceability 构建“需求—设计—代码—测试”矩阵并识别缺口；用 testing 技能模式编写单元与集成测试；用 code-review 检查代码质量；在涉及安全边界时用 security-audit，在涉及性能预算时用 rust-performance；最后用 AskUserQuestionTool 访谈用户并设置人工审批门。
使用方式：分两部分。Part A 单元测试：读取阶段 2 实现计划与阶段 2.5 规格发现，构建追溯矩阵，编写 Arrange-Act-Assert 与属性测试，执行 cargo test --all-features、cargo llvm-cov --html（或 tarpaulin），运行 cargo fmt --check && cargo clippy。Part B 集成测试：识别模块边界与数据流，必要时做安全审计与性能基准，更新矩阵，最后由人审批。
缺陷回退：代码 bug 回阶段 3，缺失边界情况或设计缺口回阶段 2.5，架构问题回阶段 2，修复后从发现缺陷的测试处恢复，不从头重来。
适用场景：需要系统化验证实现、建立可追溯测试证据、覆盖规格边界情况并在关键路径达到覆盖率目标的开发流程，资料中的示例偏向 Rust 项目。
限制：不跳过完整测试；每个测试必须映射到设计元素；缺陷须回到左侧阶段而非就地修补；覆盖面缺口须显式记录并获得批准。门禁要求 ubs-scanner 零严重发现、公共函数均有单元测试、关键路径覆盖率大于 80%、模块边界与数据流已验证、所有严重/高缺陷关闭、追溯矩阵完整并获人工批准。具体安装方式、收费与价格，资料未提供。