Coding-agent research now lives or dies by executable proof and control layers
This week’s coding-agent research is strongest where claims end in a checkable artifact. The center of gravity is executable proof, repository-grounded reasoning, and explicit control layers around search, tools, and…