Statewright 用有限状态机约束工具空间，让 13B 模型可靠解 SWE-bench

Ben Cochran（前 NVIDIA/AMD 杰出工程师）发布 Statewright，一种通过形式化状态机约束 AI Agent 工具与解空间的方案。核心思路是不依赖大模型或长上下文，而是用协议强制 Agent 按状态切换工具：规划态只读、实现态限域编辑、测试态仅限 bash 命令。

在 Qwen-Coder、GPT-OSS、Gemma4 等 13B-20B 模型上测试 SWE-bench，可靠性一致提升；前沿模型（Haiku、Sonnet、Opus）也出现 token 消耗减少和死亡螺旋下降的现象。