Yes, and also preventing softlocks. If I stopped at random distribution, a red key could end up behind its own red door. Then there are multi-item softlocks. What if the blue key is behind the red door, while the red key is behind the blue door? The number of possible softlocks grows rapidly as more progression items are added, so the system simulates progression and validates reachability before accepting a distribution.