SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories

Yangfan Wu, Haozhe Wang, Huanyu Yang +2

Modern coding agents increasingly appear capable of following complex software requirements, yet their success leaves a critical ambiguity: do they resolve the active specification…