TY - RPRT TI - LACUNA: Safe Agents as Recursive Program Holes AU - Yaoyu Zhao AU - Yichen Xu AU - Oliver Bračevac AU - Cao Nguyen Pham AU - Frank Zhengqing Wu AU - Martin Odersky PY - 2026 UR - https://arxiv.org/abs/2605.28617 ID - 2605.28617 ER -