Formal Policy Enforcement for Real-World Agentic Systems

arXiv:2602.16708v3 Announce Type: replace-cross Abstract: Security policy enforcement in contemporary agentic systems predominantly consists of embedding natural-language policies within an agent's system prompt and delegating compliance to the agent's reasoning. This approach admits no formal...