A playable statechart

A heat pump service

tap a state or a move to play

What can happen next
Play a story
Model written in TLA+ and checked by TLC, drawn with the statechart skill by Lauren Tan. Art style after statechart-art by Kevin T. Ngo, objects in the Colorfigures style. Idea from Tinycharts.