Pinned
A contains("approved") check passes "the loan was approved." It also passes "I did NOT approve — the approved step was skipped." Same green check. Opposite meaning. Your eval is passing; it isn't checking anything. A tool that finds exactly this ↓

