使用 websockets 进行更快的代理回滚 — 在 codex 中实现 30% 更快的回滚: