Hash the Output Tree Before You Extract One Helper

A messy repo does not need a rewrite first. It needs a frozen output tree as the oracle. Then you...