From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation. - Kristy Sakano; Kalonji Harrington; Mumu Xu (CoRR, 2026)