I feel like the only real way to do AI clean rooming is to have the AI run the decompiler, clean up the output if necessary, and then write a spec document that incorporates no part of the code only a description of what it does and its constraints.

You then reimplement the code by hand, only reading the spec.