用 KAT-Coder-Pro V2.5 重构遗留代码，最大的风险不是编译失败，而是行为漂移。本页给出一套验证动作，从行为基线到回归对比，逐步确认重构前后行为一致。验证结果依赖原有测试和差异比较，不承诺重构本身正确。

重构遗留代码前，先固化原行为：跑完整测试并保存报告。随后只拆最小单元，用提示词强制保持函数签名，再自动回归对比输出与覆盖率，最后人工检查锁、文件指针、递归深度。每步留下证据，用于判断是否继续重构或回滚。

重构前建立行为基线

先运行现有测试并保存所有报告，作为后续对照。基线不完整，重构后无法证明行为一致。执行以下命令并保存输出：

pytest `--tb`=short `--cov-report`=xml:cov_before.xml > test_before.log 2>&1

如果项目没有现成测试，至少写一组核心调用用例，固化输入输出。同时记录 Python 版本、依赖文件和运行环境，保证基线可复现。这一步不是走形式：后面所有差异对比都依赖这份基线。

将重构目标拆成最小单元

把重构范围拉大到整个模块，会让 diff 和排查失控。建议每个步骤只改一个函数，且只改内部实现。任务拆分模板：

• 重构单元：函数名
• 变更范围：仅函数内部语句
• 不允许改动：函数签名、类属性、全局常量、调用方
• 验证入口：该函数对应的单元测试

每个单元独立提交、独立跑测试，失败时可以快速定位到具体改动，也便于回滚到上一个稳定点。

生成重构代码并强制保持函数签名

生成代码时，提示词必须明确约束接口契约，防止模型顺手改了签名。模板：

请重构以下函数，保持函数签名完全不变：参数名、默认值、返回类型、异常抛出行为都不允许修改。
只修改内部实现，并保持逻辑等价。原始代码如下：
...

提示词里还可以要求模型在输出前自检签名一致性；如果签名有变动，直接拒绝合并。签名变更会让上游调用方静默出错，这是重构中最隐蔽的破坏点。

自动运行回归测试并比较结果

重构后不要只看测试是否通过，要对比重构前后的测试输出和覆盖率。脚本示例：

#!/usr/bin/env bash
pytest `--tb`=short `--cov-report`=xml:cov_before.xml > before.log 2>&1
pytest `--tb`=short `--cov-report`=xml:cov_after.xml > after.log 2>&1

diff <(grep -E 'passed|failed|error' before.log) <(grep -E 'passed|failed|error' after.log) && echo 'test result same' || echo 'test result different'

覆盖率 XML 中的 line-rate 字段可以用脚本解析，比较前后是否一致。但要清楚，覆盖率一致不代表行为一致，只能排除大面积代码缺失。真正有判断力的是测试断言本身，覆盖率只是辅助信号。

人工审查关键分支与 IO 边界

自动测试覆盖不到语义层面，需要人工审查关键分支和 IO 边界。重点检查：

• 锁：加锁顺序、是否重入、锁作用域
• 文件指针：打开/关闭位置、偏移量是否改变
• 递归深度：终止条件是否清晰、是否存在无限递归
• 异常处理：捕获异常是否过宽、是否吞掉特殊中断
• IO 操作：网络重试、超时设置、消息格式

审查时用 diff 工具逐行比对关键路径，不能只依赖模型产出的说明。这些边角往往是遗留代码的隐性约定，也是行为漂移的高发点。