Comment by tacon

Yes, that is exactly the thesis of the classic paper "Programming as Theory Building"[0], that it is the theory in the human's head that we pay for and that the complete history of the code is often not enough to effectively modify a program.

[0]https://pages.cs.wisc.edu/~remzi/Naur.pdf