CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development | Digital Library | PAMCET | PAMCET