用途：为编码任务提供四阶段门控流程，把“先读后写、写完必验”的纪律显式化，减少因未读全上下文或未验证而引入的缺陷。
主要能力：
- 探索（只读）：先读将改动的完整函数/模块、所有调用点（用 LSP references 或 grep）、测试文件，并确认返回类型契约与调用方消费方式。产出 EXPLORE COMPLETE，列出待改文件、调用点、测试情况、关键约束与风险。
- 计划（只读）：产出可交付他人执行的具体变更清单，每项写明文件、具体改动与顺序理由；先改叶子依赖再改消费者；明确列出范围外事项。产出 PLAN COMPLETE。
- 执行（读写）：按计划顺序实施，每次编辑后运行 LSP 诊断并立即修复；匹配现有代码风格；不静默扩大范围。遇到意外时按“微调继续/停止并回到计划/记录后继续”三选一处理。
- 验证（只读）：以类型检查输出、测试结果、实际调用点行为等外部证据为准，而非自我复述。最低要求包括对每个改动文件跑诊断、重读 diff、复核调用点一致性；条件允许时跑测试、追踪一条真实执行路径、检查空值/零值等边界。产出 VERIFICATION REPORT，给出 PASS/FAIL/PARTIAL；FAIL 或 PARTIAL 需回到执行阶段修复后重验。
使用方式：作为编码代理的工作流约束使用，按阶段推进并显式输出各阶段结论；重构时一次只处理一个关注点，行为必须保持一致，测试需在前后均通过，避免重排未做语义改动的行。
适用场景：跨文件重命名、接口字段变更、重构等需要评估影响面的编码任务。
限制：资料未提供具体安装命令、平台支持、收费或价格信息；文中示例命令（如 tsc --noEmit、lsp_diagnostics）为验证手段示例，实际可用性取决于环境。