标签： 安全验证

MaCoPlanner 不把设备手册当提示词，而是编译成类型化中间表示，用 LTL 与安全状态机在执行前拦截违…