Code
The highlighted line runs next. The pill shows the live values in the running call.
Recursion tree
Every neighbour visit is a call; dashed blue ones end at the map lookup
Call stack
Top frame runs; the rest are paused
Graphs
Same layout on both sides; primes (2′) are copies
clones original → copy
copies' neighbour lists filled one append at a time