使用生成模型进行局部代码修改

在生成之前定义受保护区域与可编辑区域，复用或约束受保护表示，只生成候选变更，并拒绝任何修改受保护代码或未通过任务检查的输出。必须同时衡量局部性和任务成功。 局部代码修改是编辑问题，而不只是一个更短的代码生成提示。输入中已经包含值得保留的软件工件，因此方法必须明确划分允许变化的区域，以及必须保持稳定的属性。 边界可以是源代码片段、语法节点、API 签名、测试行为、依赖契约或学习得到的潜在位置。这些选择并不等价：每一种边界保护不同的可观察属性，也需要与之匹配的验证步骤。 适用边界： 被锁定的潜在码不会自动对应 AST 节点、受保护源代码片段或形式不变量。 解析率只说明语法可解析，不能证明功能正确或修复成功。 报告的证据来自经过预处理的短 Python 函数，不能推导出仓库级行为。