Determinism Will Not Recover the Spec.

Same input, same output. That does not bring an unwritten spec back. A rewrite has to say what is compared, over which inputs, and how sure you are.