"Please follow best practices."

You're telling me that isn't good enough? You might need to head off to the VC reeducation camps.

So transcoding doesn't work unless every line of code is read? That's not how transcoding is done in practice.

But the code that does the transcoding has been read.

Somebody needs to have read deterministic code to even have a chance of noticing something being wrong.

This has not happened here.