Governed Software Construction for Large Language Models: Capability-Bounded Mutation, Dual-Gate Verification, and Evidence-Aware State Transitions
Large Language Models are evolving from code-completion tools into autonomous software agents capable of inspecting repositories, modifying multiple files, invoking tools, executing tests, and iteratively repairing software systems. This increased capability also creates a governance problem: contemporary coding agents...