Little of what I do, even with the most rigorous methods available and the best practices from both software development and computational science, proves anything.
I more mean there are whole aspects of science that aren't provable without being able to actually obtain counterfactuals, and that means time machines
Logical proofs will never happen for software development, but surely standards for scientific programming can be tightened up a few levels!
I think I heard of some reform proposals from the Reproducibility Crisis reformers.