用途：在保持行为不变的前提下，重写已有 Python、TypeScript/JavaScript 或 Go 代码，使其具备严格静态类型、边界校验和可维护的惯用写法。
主要能力：采用严格重写编排器，一次只分派一个子代理，仅保留状态、决策、验证结论、变更路径、风险和必要 URL。输入项包括 TARGET_CODE（必需）、LANGUAGE、USER_GOAL、VALIDATION_COMMAND、SCOPE_LIMITS、REFERENCE_NEED、EXTERNAL_FETCH_APPROVAL。核心决策规则：稳定内部使用静态类型，信任边界做运行时校验，边界数据转换为内部类型后再使用，逃生舱保持局部且有理由；项目设置更严格时优先于 playbook 默认值。
使用方式：按状态机推进——Intake→DeriveLimits、DispatchBaseline、DispatchStrategy、CheckGates/GateExpansion/AskApproval、DispatchImplement、DispatchReview、Handoff→TerminalPass。子代理包括 strict-baseline-mapper（只读基线映射）、strict-rewrite-strategist（playbook 与最小计划）、strict-rewrite-implementer（应用重写并运行授权检查）、strict-rewrite-reviewer（独立评审结论）。按需加载 personality、对应语言 playbook、外部来源地图、编排示例、状态机等文件。
输出契约与门槛：按原行为、弱点、类型与校验决策、文件/代码、验证结果、引用或不可用引用、假设/风险，以及 G_STRICT_STRATEGY_APPROVAL、G_MUTATION_SCOPE、G_IMPLEMENTATION_VALIDATION、G_STRICT_REVIEW_PASS、G_FINAL_HANDOFF_EVIDENCE 的门槛证据顺序交接。终止状态为 PASS、NO_CHANGE、NEEDS_CLARIFICATION、BLOCKED、ERROR。
限制：默认只允许在 TARGET_CODE 及其直接编译/类型/导入/测试影响范围内写入，未经批准不得新增依赖、大范围清理、改动公共 API、私有配置、生成产物或仓库工具；修复限于评审者指定范围内。仅在有 REFERENCE_NEED、EXTERNAL_FETCH_APPROVAL 或项目本地必需证据时抓取 URL；网络为可选。评审失败且修复计数低于 2 时可重入实现，否则终止为 BLOCKED。技能未说明具体收费、价格与平台支持信息。