State map
Every state the app can get into from each section's setup, told apart by the price feed and the cheap boil, and every way from one to another. A screenshot is from a test step that was in the state.
start Arrows are coloured by the verdict of the expectations behind them: verified failed not verified. States more than a move from the start are folded away at first: pick a state to see what can happen there and open the states it leads to (a +N on a card counts the ones still folded behind it). Drag to pan and scroll to zoom. The map of expectations shows the same behaviour by rule instead of by state.
Pick a state on the map to see what can happen there.