Verification debt has moved from code into reports, tenders and courtrooms | Hacker News Reader