When the Specification Emerges: Benchmarking Faithfulness Loss in Long-Horizon Coding Agents | ScienceToStartup | ScienceToStartup