I will go back to this idea of an endogenous logic calculation vs. exogenous parsing errors description, where so long as he did not misrepresent the identities or sabotage the functions of any of the sources or destinations of the funds he used in his system, he should be in the clear.
It would be interesting to verify whether his technique had this "functional purity," that I've named and am balancing my argument on tho.