Outside of life saving critical software or military spec software, no one needs to review so hard they understand it to the level you’re describing, and they do not.
There is a mathematical principle that verification of a proof is easier than any proof. The same is true in code.