LACUNA：作为递归程序空洞的安全智能体

针对大语言模型智能体中运行时与生成代码分离导致的表达力受限及安全隐患，本文提出 LACUNA 编程模型。该模型将智能体动作定义为类型化调用，由模型在执行时填充代码，并在运行前进行类型检查以确保安全。若代码被拒绝，环境状态保持不变，编译器诊断信息驱动重试。该方法将 ReAct 循环、子智能体协作、技能调用及多模型规划统一为常规控制流。实验表明，LACUNA 在多个基准测试中实现了与安全基线相当的任务解决率，有效平衡了表达力与安全性。