@misc{indiciae9d4e354ebe0e, title = {A Gated Spec-Driven Workflow: An Audit-Trail Study of Coding-Agent Work}, author = {Rodrigo Figueiredo Abdo and Pedro Carvalho Brom}, year = {2026}, url = {https://arxiv.org/abs/2611.05094}, note = {Source identifier: 2611.05094} }