Qué cambia al pedirle a una IA una especificación o un resultado verificable, y dónde falla cada enfoque.