{"type":"link","version":"1.0","title":"Bugs in the verification tooling itself produce false failures that teach reviewers to discount real ones","author_name":"AI Archs","author_url":"https://ai-arch.pages.dev","provider_name":"AI Archs","provider_url":"https://ai-arch.pages.dev","url":"https://ai-arch.pages.dev/n/risk-buggy-verification-oracle-erodes-trust-in-failures","thumbnail_url":"https://ai-arch.pages.dev/og/risk-buggy-verification-oracle-erodes-trust-in-failures.png","thumbnail_width":1200,"thumbnail_height":630}