It should be possible, but not practical. It's easier to just code checks and balances to fix those errors instead. There's a famous story about a Google searc

It should be possible, but not practical. It's easier to just code checks and balances to fix those errors instead. There's a famous story about a Google search bug caused by a comic ray and they implemented such error checking on their servers after that