I’m actually currently doing research into this to see how far LLMs can model state machines so this is totally up my alley! Thank you for sharing.