I agree with the general thrust of your point, but I should point out that there are non-technological ways to error-proof. E.g., this pre-computer approach: https://en.wikipedia.org/wiki/Double-entry_bookkeeping