маленкая разница: думаем / проверяем одразумевает всю систему в целом или только ее часть? изменение части системы подразумевает перевроперку всей системы в целом?
для однозначно не является agile нечто из разрада - "придумали требования" "сархитектрили" В несколько итераций реализовали - все перепроверили и потом появился продукт
ну например фрейм планера, потом испытание планера - но этот планер не может быть поставлен заказчику "вот вам самолет, правда у нас нет на нем движков"
Судя по книге девятая - та что полетела было не комерческим запуском а тестом полностью на свои. Причем на последние свои. Еслиб она не полетела непонятно как бы все далее сложилось