用途：在拆分文件、移动成员、合并辅助方法或简化 TestFx 代码时保持可观察行为不变。适用于针对具体代码的结构性重构，而非全仓库审计；修复缺陷或现代化改造需另行授权与验证。
主要能力：先建立基线，记录选择、求值、结果与失败、编译、成本等边界，盘点可达的空、重复、畸形、null 和错误类型输入；追踪所有分部声明与调用点、初始化顺序、项目文件与导入、消费项目、目标框架、条件编译、平台与打包规则，以及 PublicAPI/InternalAPI 基线。
使用方式：先移动现有方法体并保持属性、守卫、资源访问与文件编码不变，不做相邻清理；合并辅助方法前比较每个调用方的基线，若选择、求值或失败行为不同则保留独立实现或使用最小显式辅助方法。用区分性等价用例验证，如循环覆盖结果、首个匹配名称与首个匹配类型值、精确 int 类型匹配、短路求值顺序、受守卫的互操作声明移动等。编辑前运行现有聚焦检查，编辑后重跑相同检查，构建所属与链接消费项目，运行直接相关测试。
限制：不得声称等价、已测试行为或完整消费覆盖；编译通过不等于运行时等价，快乐路径测试不能确定首/末选择或短路行为。若尺寸目标需要行为变更或不安全碎片化，应停止该部分并报告剩余行数与具体约束。不得为消除重复而发明可配置抽象，不得用字典、急切投影、排序或单匹配操作符替换循环而未证明重复处理、枚举与失败行为。具体命令与工具链细节暂未提供。