Verification Debt

SafeHarness is counterevidence to the idea that verification must become a human bottleneck: an external checker improved both task success and collision avoidance.

In 1,140 runs, AI agents left at least one required file unread 67.9% of the time. More than half of those runs claimed a complete review. That gap is review debt.