@aj

Verification-Driven Development (VDD) is a high-integrity software engineering framework designed to eliminate "code slop" and logic gaps through a generative adversarial loop. Unlike traditional development cycles that rely on passive code reviews, VDD utilizes a specialized multi-model orchestration where a Builder AI and an Adversarial AI are placed in a high-friction feedback loop, mediated by a human developer and a granular tracking system.

More:

https://gist.github.com/dollspace-gay/45c95ebfb5a3a3bae84d8bebd662cc25

Though that's only foundational, the state of the art has of course built even stronger techniques in the months since, such as verification using Lean proofs. See the Thermite language project https://github.com/Corvidae-Coding-Projects/Thermite and the Project Peritus agent harness under development which

combines explicit durable workspace/state semantics, a tight inspect/edit/run/test loop, writer-reviewer-fixer orchestration, and evidence-driven harness observability and evolution.
https://github.com/Corvidae-Coding-Projects/Project-Peritus

In brief, this is a careful effort to leverage AI in a way that's diametrically opposite to "slop" and produces outcomes that are engineered to be verifiable, which is a tedious headache to achieve with anything substantial that's manually handcrafted.