安全重构需三步：一、手写refactor-contract.json锁定关键函数、常量和路径；二、用通过的单元测试约束AI行为，确保重构不破坏状态与金额逻辑；三、分阶段处理（如仅抽离函数或重复代码），并人工审查diff中业务规则、状态暴露及常量引用。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
让AI帮你重构代码，却担心它擅自改掉支付校验逻辑、跳过风控拦截或把订单状态码3改成5——这种恐惧不是空穴来风，而是真实踩过坑的开发者用线上故障换来的经验。Fitten Code这类AI重构工具默认不读你的业务文档、不理解“STATUS_PAID=2”在你系统里代表“已支付且不可退款”，更不会主动识别注释里那句“此处不能删，否则对账失败”。安全重构的第一道防线，从来不是信任AI，而是建立人机协作的刚性约束。
第一步：锁定不可触碰的“业务契约”边界
打开项目根目录，新建文件 refactor-contract.json，手动填写三项核心字段：【"critical_functions": ["validatePayment", "checkRiskScore", "generateInvoice"]、【"immutable_constants": ["ORDER_STATUS_PAID", "PAYMENT_TIMEOUT_MS"]、"excluded_paths": ["legacy/old_billing/", "third_party/adapters/"]。这一步必须手写，AI工具启动时会强制加载该文件并拒绝修改其中声明的函数、常量和路径。
若跳过此步直接运行AI重构，Fitten Code可能将 validatePayment 函数内联进上层调用处，导致风控策略被绕过——因为内联后原函数签名消失，监控埋点失效，而AI并不知道这个函数是审计红线。
Fitten Code 1.0.3是一款由清华博士团队打造的AI编程助手，基于国产计图（Jittor）深度学习框架开发。它支持VS Code、JetBrains系列等主流IDE及80多种编程语言。核心功能包括智能代码补全、注释生成、代码解释、Bug检测、单元测试生成等，旨在全方位提升开发效率。该工具对个人用户免费开放。
第二步：用测试用例给AI套上“行为缰绳”
确保当前分支已存在覆盖核心路径的单元测试，且全部通过。重点检查：订单创建→支付回调→发货通知这条主链路的测试是否包含状态断言（如 expect(order.status).toBe(2)）和金额断言（如 expect(total).toBe(99.9）。
运行命令：fitten-code --verify-tests --target ./src/order/。该命令会先执行所有匹配路径的测试，记录原始输出快照，后续每轮AI生成的代码都必须通过同一组测试才能被接受。没有测试覆盖的模块，AI会跳过处理并报错，绝不强行重构。
注意：若测试中使用了随机数、时间戳或外部API调用，必须提前打桩（mock）。否则AI可能因两次运行结果不一致，误判为“重构引入了行为变更”而中断流程。
第三步：分阶段交付，每次只动一个“坏味道”
方法一：用CLI指定单一重构类型
执行 fitten-code --extract-function --scope ./src/payment/handler.ts，仅提取长函数中的重复校验块为独立函数，不碰条件分支、不改变量命名、不调整类结构。
方法二：在VS Code插件界面勾选「仅处理重复代码」
插件会高亮所有连续3行以上完全相同的代码块（如多次出现的 try-catch 日志模板），点击「Apply」后，AI自动抽取为 logAndCatch() 并替换原位置。其他问题如过深嵌套、魔法数字等保持静默。
方法三：提交前人工审查diff
AI生成修改后，不要直接合并。打开Git diff，重点核对三处：【被删除的代码行是否包含硬编码的业务规则（如 if (amount > 50000) { applySpecialTax() }）】、新增函数是否意外暴露了内部状态（如返回了本该 private 的 config 对象）、常量引用是否从字面量变为变量（如把 30000 改成 MAX_RETRY_COUNT 本身安全，但若该常量定义在 config.ts 里且未加 readonly 修饰，则后续可能被误改）。
