MAG>>IDE не претендует на создание «абсолютно правильной программы». И так же не претендует на «я рисую круг патамушта математика».

Б>Претендует. На абсолютно правильное переименование всех классов в проекте.

Нет. Не претендует. Нет никакого «нарисуй фигуру» — «программа догадалась, что надо нарисовать круг в зависимости от фазы луны».

Б>Т.е. был запускаемый проект до переименования (в данном контексте — это "программа без ошибок")
Б>И после переименования имеем запускаемый проект (опять же "программу без ошибок")

То, что программа запускается, не значит, что она без ошибок.

Б>Т.е. переход из одного состояние в другое не вносит дополнительных ошибок.

Не факт.

Б>А так как ошибок не было с самого начала, то ошибок нет вообще.

Кто сказал, что ошибок не было с самого начала?

Б>Вот, что я называю «абсолютно правильной программой» в контексте данного топика.

Для тебя абсолютно правильная программа — та, что запускается и делает что-то наугад, даже если это не то, что от нее требуется?

MAG>>Потому что когда я переименовываю «Круг» в «Слона» IDE не пытается угадать, что еще надо изменить, а просто переименовывает «Круг» в «Слона».
Б>Моя умная IDE мне помогает и пытается угадать не только очевидные вещи.
Б>Например, переименовывает названия классов в комментариях.
Б>Также изменяет составные названия классов: Круг, ВиртуальныйКруг, СпециальныйКруг превратятся в Слон, ВиртуальныйСлон, СпециальныйСлон.

Изменятся только при определенных и весьма ограниченных условиях.

Б>Я ей об этом не говорил. Видишь, она сама "догадалась" какого цвета должен быть круг и какого вида слон.

MAG>>Пока что твое «Просто» упирается в неразрешимые противоречия.
Б>Не вижу противоречий

Потому что ты упорно даже не пытаешься читать, что тебе пишут. Можем начать сначала.

Б>- Программист: Рисуй фигуру. Компьютер: Рисует круг

Почему круг? Почему не овал? Не Шар? Не Додекаэдр? Не линию?