It's actually trivial to test, because all of the state is known at any time. So yes - kinda global state, but exact full state as input and exact full state ou

It's actually trivial to test, because all of the state is known at any time. So yes - kinda global state, but exact full state as input and exact full state out as output. Which you can test sliced into parts with as many tests as you want.