标签： 分离逻辑

生成器负责写刀路，分离逻辑证明器负责判定空间是否互斥；证明失败不是一个报错，而是一个可回灌的冲突包围盒。