writing • the verification economy series
Part 2: the verification economy- the eval treadmill
there is a mental model most teams have about verification.

part 2: verification economy- the eval treadmil

Part-2 the eval treadmill

you build evals. you run your agent against them. you catch failures and fix them. over time, the system gets more reliable. eventually, you have solved verification.

this mental model is wrong. and the way it is wrong has structural consequences for where value accrues in the AI stack.

in evolutionary biology, the red queen hypothesis describes a dynamic where species must keep evolving just to maintain their fitness relative to other species that are also evolving. you run as fast as you can to stay in place.

evals have the same property.

an eval suite is a fixed distribution of scenarios designed to measure agent behavior. the moment you use that suite to improve your agent, to catch failures and fix them, the agent adapts to the distribution. performance on the eval improves. the eval stops measuring what it was designed to measure. you have optimized against the signal until the signal is gone.

this is not a flaw in your eval design. it is a mathematical property of optimization. any fixed target an agent optimizes against will eventually be gamed, whether deliberately or emergently. the eval becomes a benchmark. the benchmark becomes a leaderboard. the leaderboard stops correlating with what you actually cared about at roughly the moment everyone starts caring about it.

the foundation model benchmark collapse was a preview. MMLU, HumanEval, GSM8K, each started as a meaningful signal. each became a target. optimizing against them improved benchmark performance. it did not proportionally improve the underlying capabilities the benchmarks were designed to measure.

agentic evals are on the same trajectory. the timeline is faster because the optimization pressure is higher, production deployment creates far stronger feedback loops than academic benchmarking.

the implication is not that evals are useless. it is that static eval infrastructure is insufficient.

two kinds of evaluation are emerging. most teams are only building one.

predictive evals measure how a system tends to behave across distributions of inputs. they estimate reliability rather than confirm correctness. instead of asking does this pass, they ask: what is the failure probability on this class of inputs, under these conditions, with what confidence interval. this is closer to reliability engineering than QA. necessary, and most serious teams are building some version of it.

generative evals search for failures you didn't know to look for. instead of a fixed library of test cases, the eval system constructs novel scenarios dynamically, probing the agent's failure surface, targeting the regions where confidence is lowest, constructing inputs designed to find failure modes nobody anticipated. continuous red-teaming. not measuring known failures, finding unknown ones.

most teams are building the first kind and calling it verification. the second kind is what actually keeps you ahead of the optimization surface. almost nobody is building it yet.

the teams getting this right are not building better eval suites. they are building adversarial functions, systems designed to generate novel failure scenarios faster than the agent can learn to avoid them.

this has three components most current tooling doesn't have.

generative scenario construction: the eval system generates test cases dynamically rather than drawing from a fixed library. the goal is to continuously probe the agent's failure surface, not to confirm failure modes you already know exist, but to find the ones you don't. it is closer to a research function than a QA pipeline.

behavioral drift detection: aggregate metrics are insufficient. an agent can maintain stable top-line performance while its behavior on specific scenario types degrades in ways that matter. the right instrument detects distributional shift at the level of behavioral tendencies, not whether average correctness changed, but whether failure modes changed shape.

adversarial input generation: real systems get attacked. agents in production will encounter inputs specifically designed to manipulate their behavior, prompt injections, malformed data, edge cases engineered to exploit known weaknesses.

verification infrastructure that doesn't include adversarial input generation is testing behavior under cooperative conditions. production is not cooperative.

none of this is fully built anywhere. the components exist in fragments, in research environments, in security tooling, scattered across the eval ecosystem. the integrated system, running continuously in production, doesn't exist as a product.

the red queen property changes the investment calculus entirely.

if verification were a problem you solve once, the valuable position is whoever ships the best eval suite first. because verification is a continuous race rather than a solved state, the valuable infrastructure is not the eval suite. it is the system that keeps the race running, generating adversarial scenarios faster than agents can optimize against them, detecting behavioral drift before it reaches production, maintaining an honest map of where trust boundaries actually are.

that system does not get displaced when the next model drops. it gets more valuable. more capable models expand the deployment surface and raise the stakes of failures. the adversarial function running alongside production, continuously, generatively, without a fixed endpoint, compounds rather than commoditizes.

three specific things don't exist yet: generative red-teaming as a product, trust boundary mapping as an auditable artifact, and behavioral audit infrastructure with legal standing. as agents take consequential actions, the liability question becomes unavoidable. the infrastructure that can reconstruct what an agent did, whether it was operating within its trust boundary, and where the failure originated doesn't exist. the legal frameworks that would use those records don't exist either. both are coming. the companies that build the infrastructure before the frameworks arrive will own the category.

/article