Thank you for this! Leave it to me to make (extremely) last-minute level changes and publish without playtesting...
I was curious whether it was impossible or just really difficult. I figured it was provable but I don't know enough graph theory to prove it, so thank you for the explanation. Glad you enjoyed the game!