Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence

Jun He, Deying Yu

Automated program synthesis lowers the cost of producing implementations but introduces a harder governance problem: determining which generated artifacts are admissible. Natural-l…