Verifiable Thinking — AgentDNS