Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents

arXiv:2604.13108v1 Announce Type: cross Abstract: AI coding agents spend a substantial fraction of their tool calls on undirected codebase exploration. We investigate whether providing agents with formal architecture descriptors can reduce this navigational overhead. We present three complementary...