Auditable Early Stopping for Agentic Routing: Ledger-Verified Run-Wise Certificates under Local DP

Shivam Akhauri

We address when a best-first router for tool-use agents can stop exploring without missing a better leaf, while preserving local differential privacy (LDP) and leaving an audit tra…