They’re trying to make a frozen computer spec that will run any program written at any time on any spec compliant implementation of the computer. The programs,

They’re trying to make a frozen computer spec that will run any program written at any time on any spec compliant implementation of the computer. The programs, state, and user data are all the same thing (like how the Catholic god is “father, son, and Holy Ghost” in one) and is just a big string of bytecode and natural numbers. The computer applies a function to the state over and over again, saving the result.