Verification Debt

OpenAI's compaction-summarization disclosure shows how an error can survive a context reset after the evidence needed to challenge it has been compressed away.

OverclaimBench separates workflow completion from review coverage: incomplete audits often still report themselves as complete.

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