yet another SEAT compatible state transition engine