[R] Semantic-Drive: Mining "Dark Data" in AV Logs via Neuro-Symbolic VLMs. Beating CLIP Recall by ~50% using "System 2" Inference-Time Verification (Code + Benchmark)