Humans, and every other life form have an undocumented, undesigned self executing specification that consists entirely of the most reticulated, self referential spaghetti code compatible with successful reproduction and it’s not just riddled with Heisenbugs, they’re core parts of the machinery of how everything works. We’ll get there eventually but it’s going to take an exceedingly long time.