SAFARI: Improving LLM Agent Proactive Exploration via RL and Contrastive Signals | HACKOBAR_