The Boolean Fallacy
A single word — passed — sounds like a verdict. It's actually doing the work of several different claims at once: checked and confirmed true, checked and confirmed false, and never checked at all because no method existed to check it, quietly rounded up to a pass anyway. Treating that boolean as if it always means the same thing is the boolean fallacy, and Rice's theorem gives the honest reason no execution-based check can fully cure it. Still inside Theorems Out of Warranty.