@misc{indiciaed40293dbc2a6, title = {Bootstrapping Coding Agents: The Specification Is the Program}, author = {Martin Monperrus}, year = {2026}, doi = {10.1109/ms.2026.3687051}, url = {https://arxiv.org/abs/2603.17399}, note = {Source identifier: 2603.17399} }