Cool idea, but let's take it to the next step:
What if the "pseudocode" were real code, but in a higher level language than we have today that can actually be compiled deterministically?
What if the "pseudocode" were real code, but in a higher level language than we have today that can actually be compiled deterministically?