Sometimes they do.
https://twitter.com/web3isgreat/status/1538546864542429184
https://twitter.com/web3isgreat/status/1539113641336872961
https://twitter.com/web3isgreat/status/1587956557274353667
Remember, programs are proofs of themselves, but that doesn't mean they provably do what you thought they did.