CADIR：Agentic CAD生成的跨后端可编辑中间表示

大语言模型使从自然语言描述或图像生成可执行的计算机辅助设计（CAD）程序成为可能。然而，现有的方法将建模过程表示为后端特定的顺序脚本，其中包含隐性的依赖关系或静态几何，这使得在不同CAD系统之间同时保留建模历史、稳定拓扑参考和特征级可编辑性变得困难。我们提出了CADIR，一种面向CAD生成和跨后端编辑的可执行中间表示。通过OCCT几何核和OCP，CADIR提供了显式的、分层的建模操作和精细的执行诊断。在程序执行过程中，CADIR记录建模操作、参数依赖关系、约束和拓扑选择在建模图中。为了实现可靠的跨后端重建，我们引入了几何签名匹配，即使参数变化和后端差异，也能识别对应的边和面，允许适配器在FreeCAD、SolidWorks和Fusion 360中重建原生可编辑特征历史。基于这一表示，我们进一步提出了基于建模图的检索方法，支持全图和子图检索，使代理能够利用完整的模型和建模子结构。广泛的实验表明，CADIR在几何精度和执行可靠性方面优于现有的CAD表示，建模图检索进一步提高了模型生成质量，跨后端编辑使在多个CAD环境中可靠地重建模型并进行后续编辑成为可能。