I love the analogy. Many times I think about the genome as a bunch of machine code it's my job to reverse engineer. That was a good part of my career- probably 20 years- before I realized the problem was that it's much too hard to actually "prove" anything about systems like genomes.

That object code has been heavily modified during runtime for billions of years. We have no access to the original source code for any of the patches, though at this point it would be incomprehensible anyway.