TY - RPRT TI - A Gated Spec-Driven Workflow: An Audit-Trail Study of Coding-Agent Work AU - Rodrigo Figueiredo Abdo AU - Pedro Carvalho Brom PY - 2026 UR - https://arxiv.org/abs/2611.05094 ID - 2611.05094 ER -