Verifiable Agent Arbiter : prouver ce que font les agents autonomes — NexusAI Insight