Design bounded Agentic RAG with query, source, token, latency, and cost budgets, evidence tests, contradiction handling, and honest stop states.