The tools Kendall has access to takes into account the entirety of the code. He runs it in debug mode, it'll pop up errors if there's random code buried elsewhere that would affect the outcome of what you're asking. Even if he only takes a snippet and runs THAT in debug mode, and that doesn't show any errors, there's the fall-back of having someone on dev check over and over, which, as I said, had been done.
He would've mentioned if the other person checking wound up with different results than what he found in his looking into the code. They didn't, so he gave the answer that would settle this issue.
Maybe there is a random chance that something is buried in there that will affect the outcome, but it's so insignificant as to not even need to be part of your decision-making process when it comes to deposits. Prospect once, with high comp ops, max sensors, if nothing, then move on.
Or spend an eternity trying to find out if the code is screwy or not by prospecting over and over and over again.
Either way, asked and answered.