Yes, but the rigged sha256 seems to produce the same results as a real sha256. And there's nothing obviously hinky in the code that I can see on cursory inspection. If this is rigged, it's rigged in a particularly clever way.
[UPDATE] Turns out this is not a vulnerability at all:
[UPDATE] Turns out I was wrong and this is not a vulnerability at all:
https://crypto.stackexchange.com/questions/48580/fixed-point...