SEAIApr 11

Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents

arXiv:2604.1310869.8Has Code
Predicted impact top 26% in SE · last 90 daysOriginality Incremental advance
AI Analysis

For developers using AI coding agents, this work demonstrates a practical method to reduce undirected codebase exploration and improve agent efficiency.

Providing AI coding agents with formal architecture descriptors reduces navigation steps by 33-44% and agent behavioral variance by 52%, with automatically generated descriptors achieving 100% accuracy in code localization tasks.

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 studies. First, a controlled experiment (24 code localization tasks x 4 conditions, Claude Sonnet 4.6, temperature=0) demonstrates that architecture context reduces navigation steps by 33-44% (Wilcoxon p=0.009, Cohen's d=0.92), with no significant format difference detected across S-expression, JSON, YAML, and Markdown. Second, an artifact-vs-process experiment (15 tasks x 3 conditions) demonstrates that an automatically generated descriptor achieves 100% accuracy versus 80% blind (p=0.002, d=1.04), proving direct navigational value independent of developer self-clarification. Third, an observational field study across 7,012 Claude Code sessions shows 52% reduction in agent behavioral variance. A writer-side experiment (96 generation runs, 96 error injections) reveals critical failure mode differences: JSON fails atomically, YAML silently corrupts 50% of errors, S-expressions detect all structural completeness errors. We propose intent.lisp, an S-expression architecture descriptor, and open-source the Forge toolkit.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes