我正在为 Android 开发一款休闲拼图游戏，并研究工作室在大规模水平上如何处理关卡制作，特别是针对拥有数百或数千关卡的游戏。

  1. 手工设计关卡与程序生成之间如何划分工作？何时使用生成工具？

  2. 你在验证关卡可解性和难度时，依赖解题器或机器人多少，而非手动玩测试？

  3. 你使用哪些内部工具或数据管道来管理关卡数据，以及如何跟踪难度曲线？

  4. 在上线后添加关卡时，如何避免让已经完成游戏的玩家感到被排除在外？你是使用章节、独立包或其他方式？

任何经验或建议都很有帮助。

谢谢！