Chat with Trace Search | Universal Agentic Registry | HOL Points Portal