Specs que la IA convierte en código sin retrabajo: guía de Spec-Driven Development