English

Steerability via constraints: a substrate for scalable oversight of coding agents

Artificial Intelligence 2026-07-02 v1 Cryptography and Security Software Engineering

Abstract

Coding agents are capable; human oversight is the bottleneck. Unconstrained agents introduce security risks, erode codebase scalability, and make human review increasingly costly. We argue that the same methods used for decades to manage large human engineering teams: access control, network policies, strict coding conventions enforced by tooling; transfer directly to coding agents, and are cheaper (in token) than recent agentic scaffolding. We sketch a start-to-end system on this principle, and report a controlled experiment in scalable oversight: a small reviewer (Gemma 4 e4b) inspects a Python codebase containing 11 inserted backdoors. Recall rises from 54.5% (unconstrained, no tools) to 90.9% (constrained substrate plus a ~200-LoC `docs` CLI), with substrate and tools contributing independently. We choose Python deliberately: substrate-level oversight gains are largest where the language gives the fewest guarantees by default; the principles extend to languages like Rust.

Cite

@article{arxiv.2607.02389,
  title  = {Steerability via constraints: a substrate for scalable oversight of coding agents},
  author = {Thomas Winninger},
  journal= {arXiv preprint arXiv:2607.02389},
  year   = {2026}
}

Comments

Accepted to the Deep Learning for Code Workshop at the 43rd International Conference on Machine Learning, Seoul, South Korea, 2026