Repair a maze, then search with keys

An authored walkthrough that derives the expected rendering, repairs traversal, and uses an executed counterexample to show why keys belong in search state.