Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

通过形式化验证实现3D CSG（构造实体几何）的93行规格说明，确保1000行AI生成代码的正确性，提升关键工程系统的可靠性。