Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents. - Ruoqi Jin (CoRR, 2026)