Manifold库通过精确的谓词计算与稳健的拓扑维护，保证布尔运算的输出始终保持流形性。