What Verification Debt Is

Werner Vogels, CTO of AWS, introduced the concept of 'Verification Debt' during his re:Invent 2025 keynote, describing it as the growing gap between the speed of AI-generated code and the capacity for human review. Unlike technical debt, which concerns code quality, verification debt is about trust—unvalidated AI output that may be correct or subtly wrong. The problem is exacerbated by the fact that AI coding assistants have made code generation nearly free, while human review capacity remains unchanged.

Technical debt describes the future cost of choosing a fast, expedient solution over a better one. Verification Debt is a related but distinct problem: it's the accumulated gap between how fast AI systems can generate code and how fast humans can actually review,understand, and validate it. The term was popularized by AWS CTO Werner Vogels during his re:Invent 2025 keynote, where he pointed out that AI coding assistants have made code generation nearly free - but human review capacity hasn't scaled at all. Every AI-assisted commit that isn't properly verified adds to a growing backlog of unvalidated logic sitting in production. Technical debt is about code quality - a shortcut that will need refactoring later. Verification Debt is about trust - code that may be entirely correct, or may be subtly wrong, and nobody has actually confirmed which. You can ship technical debt and know exactly what you're trading off. You often can't do the same with unverified AI output, because nobody has looked closely enough to know. A few data points make the scale of the problem clear: Paying down Verification Debt isn't about writing less AI-generated code - it's about making review as fast and confident as generation. Some practical levers: Disclosure: I'm building Reality Graph https://realitygraph.dev , a local-first tool that works on exactly this problem. Happy to discuss the approach or trade-offs in the comments - genuinely curious how other teams are handling this.