S>Какие именно пункты имеются в виду? "не поддерживаются шаблоны модулей", "не поддерживается оператор () и ?:"?
S>В упор не вижу, каким именно образом это поможет в достижении цели построения "безопасной ОС".

Я так понял, Вы читали и обоснование, и репозиторий только с целью выдернуть из них какую-то цитату для атаки, правильно? Можно поинтересоваться, зачем так делаете? Считаете это остроумным, полезным для общества или что? И почему думаете, что после такого захода я готов с Вами обсуждать верификацию кода? Пока что в Вас не вижу собеседника, а видно только желание загнобить, не гнушаясь грязными приёмами.

S>Какие именно пункты имеются в виду? "не поддерживаются шаблоны модулей", "не поддерживается оператор () и ?:"?
S>В упор не вижу, каким именно образом это поможет в достижении цели построения "безопасной ОС".

Я так понял, Вы читали и обоснование, и репозиторий только с целью выдернуть из них какую-то цитату для атаки, правильно? Можно поинтересоваться, зачем так делаете? Считаете это остроумным, полезным для общества или что? И почему думаете, что после такого захода я готов с Вами обсуждать верификацию кода? Пока что в Вас не вижу собеседника, а видно только желание загнобить, не гнушаясь грязными приёмами.

От момента выдернутых цитат до конца комментария даже не стал читать.