Research: AI Coding Agents Lack a Theory of Proof Obligations Across Module Boundaries

Vero is the first benchmark for compositional proof maintenance at repository scale — results are pending but the architectural gap is already visible.