Smartass answers only. Ask autopilot to write a proof with --nojargon so juniors will get it! Write a single unit test and call it good! Step through it in a debugger on that one unit test to be sure? Sure of what? I dunno but it sounds diligent...

When I watched Idiocracy, a small optimist in me said "but surely the techies..." That optimist has died. We're fucked