LLM 기반 코드 에이전트(code agents)는 코드베이스 및 도구와의 반복적인 상호작용을 통해 저장소 수준(repository-level)의 소프트웨어 개발을 발전시켜 왔습니다. 그러나 기능 개발(feature development)은 일관된 컴포넌트 간 기능 체인(cross-component functional chains)을 통해 기존 아키텍처에 새로운 동작을 통합하는 것을 요구합니다. 기존의 에이전트들은 일반적으로 자유 형식의 추론(free-form reasoning)을 통해 이러한 체인을 도출하며, 이로 인해 불완전한 기능 체인을 가진 신뢰할 수 없는 기능 설계를 생성하는 경우가 많습니다. 또한, 텍스트 기반 설계는 검증하고 강제하기가 어려워, 장기적인 개발 과정 전반에 걸쳐 설계-구현 일관성(design-implementation consistency)을 유지하는 데 어려움이 있습니다. 우리는 저장소 수준의 기능 개발을 위한 이중 실행 가능한 명세(dual executable specification) 방법론인 CodeSpec을 제안합니다. CodeSpec은 하위 요구사항의 의미론(sub-requirement semantics)과 저장소 아키텍처를 증거 기반으로 쌍을 맺어 신뢰할 수 있는 기능 체인을 구축한 다음, 이를 상호 보완적인 아키텍처 및 동작 명세(architecture and behavior specifications)로 컴파일합니다. 이를 통해 긴 상호작용 과정에서도 설계-구현 일관성을 유지하면서 체인의 완전성과 정확성을 검사합니다. 기존 저장소에서의 기능 개발을 목표로 하는 FeatureBench에서 CodeSpec은 DeepSeek-V4-Pro 환경 하에 70.7%, 55.0%, 49.9%의 통과율(pass rates)을 달성하며 Claude Code와 같은 대표적인 베이스라인(baselines) 모델들을 능가했습니다. 저장소 생성 벤치마크인 NL2Repo-Bench에서의 결과 또한 CodeSpec의 일반화 가능성을 입증합니다.