Thank you - this is correct (the interpreter is impure). It also makes it possible to create your own custom interpreters.

Also, your work has been a huge influence on XState, and I can't thank you enough for SCION!