12 min
Models guess optimizations well and prove them badly, so gotorque does the proving
An LLM proposes one Go patch per cycle. Isolated worktrees, a test gate the patch can't edit, 25 interleaved A/B pairs and a 407-line policy no model output can reach decide whether it survives.