> Тот же кто сертифицировал ваш здоровенный спартан с черти-чем залитым в него.

Сернтифицированных спартанов в России не существует. Спартан-4 может купить студент в любой стране мира, по нынешним меркам -- это крайне слабая железка. Не нравится отсутствие сертификации спартана-4 -- скачайте эмулятор Project Oberon и можете самостоятельно проверить исходники -- всё доступно, и что важно в наших условия -- бесплатно. Так что, вы что-то перепутали.

>> Оберон здесь явно выигрывает.
> Как это определялось? И вообще, сейчас подугомонились с серебряными пулями и скорее
> двигают в стороны как делать из не идеальных систем и компонентов
> более надежные решения чем оно изначально было.

Определялось очень просто: способность в одну голову написать компилятор. Чем проще -- тем надёжней, повторимей, переносимей. Победят в ближайшем будущем те языки, у которых минимальное количество грамматик РБНФ, максимум структурированности, максимум гарантий, минимальное число возможностей позволить программисту сделать глупость. Это Оберон, в существенно меньшей степени Go, и живой труп Rust.
Серебряная пуля существует, но кроме неё есть и калибр, и условия стрельбы и тот кто такой пулей стреляет. Все эти вопросы на 80% сейчас решены. Для оставшихся 20% -- специальные приспособы для аппарата стрельбы и прокачка скилов у стреляющего.

Невозможно создать более прочную цепь, чем самое слабое звено в ней. Здесь вы точно не правы.