@lindsey if you define a state space of all the I/O devices the emulator is emulating then a computer is an update function over that state space and an emulator is another equivalent computer. if you want timing equivalence then you can put wall timestamps in the state space