State Machine Visualizer

State refinements encode object protocols, but those protocols can be difficult to understand when read only as annotations spread across methods. The state machine visualizer turns this information into a visual state machine, making it easier to understand the protocol with a DFA representation. The diagram updates in real time and is rendered using Mermaid.