For the postmaster example, they did show it to be correct at their accepted level of confidence. Which is that it returns superficially believable results.

100% correctness for such a system would certainly cost many billions.

If you mean that they should have had a higher bar, then sure, but that's a political choice of how much effort to invest, not a technical one.