Cara, esse “a IA não deixa burro, só amplifica a preguiça” é um dos melhores frames que já vi sobre o assunto.

Bate exatamente com o que eu chamo de forcing function no post: o spec não funciona porque o agente fica mais inteligente, funciona porque o humano é obrigado a pensar antes.

E o combo SDD + PRD + Checklist + TDD que você descreveu é praticamente o mesmo lugar onde eu aterrissei depois do mesmo tipo de tropeço.

Vou dar uma olhada no livro, obrigado pela referência.