用途：对现有代码做内部加固，不改变外部行为。目标为 $ARGUMENTS（文件、目录或模块），留空时使用未暂存的改动文件。
主要能力：按三个维度审计代码——拆分（超过 20 行的函数、多重职责、嵌套超过 2 层、同时做 I/O 与逻辑的巨型函数）、边界情况（系统边界处缺失的空值/空集/边界检查、未处理的错误路径、隐含假设）、测试缺口（未测试的公开函数、无覆盖分支、缺失的异常路径测试）。审计结果以清单呈现，并询问要处理哪些项，默认推荐“全部”。
使用方式：对每个获批项按 TDD 红-绿-重构循环逐项处理，一次一项，每轮后运行测试，不批量处理。拆分时把纯逻辑提取为具名辅助函数、I/O 留在边缘、尽量通过公开接口可测、保留原函数签名。测试针对行为而非实现，命名具描述性，优先真实值、仅对外部 I/O 打桩。最后运行完整测试套件确认无回归，并输出 Fortify 报告（审计、变更、结果）。
限制：绝不改变外部行为；除非用户明确要求，跳过没有测试基础设施的文件；找不到测试运行器时先询问；加固前测试套件已失败则报告并停止；拆分引入回归立即回滚并标记为阻塞；目标文件无导出（脚本/入口）时仅审计，除非用户确认否则跳过测试回填。具体支持的语言、测试框架与安装方式暂未提供。