SentinelAgent: Intent-Verified Delegation Chains for Securing Federal Multi-Agent AI Systems
Comments 12 pages, 2 figures, 9 tables. Includes TLA+ mechanical verification, DelegationBench v4 benchmark (516 scenarios), live LangChain agent integration, and independent red-team evaluation