I Built a Procedural Sokoban Generator in One Day. Here's Why It Kept Making Unsolvable Levels.

Backward generation guarantees valid Sokoban puzzles mathematically. Except when it doesn't. How we found the two deadlock cases that broke the guarantee — and fixed them with 30 lines of BFS.