MAG>>То, что программа запускается, не значит, что она без ошибок.
Б>В данном контексте, это значит, что IDE выполнила свою работу верно.

Рамки твоего контекста очень гибкие.

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

Б>В этом одна из целей и особенность такой системы. Система не должна вносить ошибок, связанных с переходом.

Система должна создавать абсолютно верную программу, согласно твоему изначальному контексту.

MAG>>Кто сказал, что ошибок не было с самого начала?
Б>В начальном (нулевом) состоянии ошибок нет.

Что такое «нулевое состояние»?

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

Б>Запускается и с вероятностью 80% делает то, что от нее требуется.

В «абсолютно правильной проограмме» внезапно «вероятность 80%»

Б>Основной посыл:
Б>Система итеративная. Делает максимально возможное и максимально хорошо, на текущий момент.
Б>Человек направляет систему, чтобы она "подумала" в определенном направлении.

Define: максимально возможное. Define: максимально хорошо

Б>Как человек общается с человеком. Когда ты говоришь человеку: "дай карандаш",
Б>он не задает тебе вопросов какого цвета, какой длины, новый-старый и т.п.
Б>А дает тот, которым можно писать.

Если несколько карандашей, может задать, а может и не задать.

MAG>>Потому что ты упорно даже не пытаешься читать, что тебе пишут. Можем начать сначала.
Б>Не надо. Похоже, мы оба не можем донести до собеседника свои мысли.

Твои мысли ты прекрасно доносишь. Есть какая-то магическая система. Которая на слово «фигура» обязательно рисует идеальный круг, потому что математика. А может и не рисует, потому что она «догадывается» исходя из того, кто сидит за компьютером. Если ей дать уточнение, то она или сдеалет гарантированное действие, например, нарисует квадрат, потому что математика. Или не сделает, потому что «догадывается», «максимально возможное и максимально хорошо, на текущий момент» и прочее «вероятность 80%». И так далее и тому подобное.

Но эти противоречия ты почему-то не видишь.