prove decoder canonicality, verify tail recursive frontend workers and make binary output atomic