用途：在实现功能、修复缺陷、改变行为或重构时使用，确保改动安全、局部、可验证，以最小必要结构完成预期变更。
主要能力：先确认请求行为、当前行为、相关测试与设计形态；将编辑限制在请求路径及必要文件；除非明确要求，保持外部行为不变；优先匹配本地模式、命名、框架约定与辅助 API，再考虑新增抽象；仅在代码已混合解析、校验、业务规则、持久化、格式化、编排或副作用时才拆分关注点；让副作用可见，保持错误行为、数据形状与公共契约稳定；强耦合就近保留，跨模块、服务、公共契约或大量调用点的耦合应弱化；在改动行为附近新增或更新聚焦测试与检查；仅当当前方案无法安全实现时才停下重新设计。
状态与数据检查：当改动涉及数据库、文件、队列、缓存、搜索索引、事件流、任务、外部 API 或生产记录时，需检查数据来源（创建、读取、更新、删除、缓存、派生或发出什么）、不变量（正确性必须保持什么、代码在哪里断言）、兼容性（部署与回滚期间新旧读写方能否共存）、幂等性（重试、重放或重复投递是否产生重复记录、邮件、资金、任务或通知）、并发（两个执行者能否同时更新同一实体或运行同一操作）、一致性（哪些需要强一致、哪些可后续对账）、可观测性（操作者如何发现并修复静默或部分失败）。
代码质量检查：名称表达意图与领域语言；函数与模块在当前粒度下职责单一；控制流简单可审阅；仅在代表同一概念与同一变更原因时消除重复；注释解释业务规则、外部约束、安全、性能或历史；代码依赖的不变量在必须成立处断言，断言失败视为缺陷，绝不捕获后继续；位置参数、魔法值、隐藏顺序、共享可变状态与重复算法在距离远或风险高时弱化；新辅助函数应减少真实复杂度而非隐藏它。
输出契约：完成编辑后报告 changed（改了什么）、behavior（行为是否改变或保持）、risk_guarded（处理的主要设计、数据或代码质量风险）、verification（运行的测试或检查，或无法运行的原因）。
限制与注意：不要扩大范围清理无关代码；不要因听起来整洁而增加层、服务、辅助函数或依赖；不要把领域规则藏在通用工具后；当测试或检查能守护架构或数据问题时，不要只留评论；如果修复带来的间接性多于清晰度，不要弱化无害的局部耦合。