[HeralFacker]

None of that is external verification. You're using the generating tool to do the verification, leaving the door open for opaque errors.