TY - RPRT TI - Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment AU - S. Bensalem AU - Y. Dong AU - M. Franzle AU - X. Huang AU - J. Kroger AU - D. Nickovic AU - A. Nouri AU - R. Roy AU - C. Wu PY - 2026 UR - https://arxiv.org/abs/2605.18672 ID - 2605.18672 ER -