Sounds akin to the complexity inherent in cellular automata. We know via the rules how to mutate successive generations, but backwards propagation, algorithmic simplification, etc may exist but not traceable from any given ruleset.