Когда тебе дают 60 миллиардов рублей на то, чтобы внедрить технологию, которая будет официально работать на 96%, и ни эти мифические проценты, не само "внедрение" проконтролировать ну никак невозможно (хотя для отчётности конечно нарисуют красивые kpi), понятно, ты будешь в первую очередь вкладывать миллионы рублей в свой пиар, чтобы создавалась видимость твоей активности. Например, проплачивать популярным ютуберам, чтобы они побольше ныли, что дескать средств доступа становится всё меньше. В ЦРУ очередная раздача премий 😎

В учебнике по языку спецификаций TLA+ вводится понятие формальных свойств системы -- не как инженерная характеристика, а как некоторый инвариант (в СильныхИдеях разбираю этот момент в материале "Формализуем понятие надёжности системы").

Самый сильный инвариант -- STRONG:
"во всех состояниях x находится под контролем (в допустимом диапазоне)"

Ну а в случае с 60 млрд. мы получим самый слабый инвариант WEAK:
"по крайней мере, в одном состоянии x находится под контролем"

И когда вокруг "весь этот горький катаклизм, который я здесь наблюдаю, и Владимир Николаевич тоже", инвариант WEAK совершенно бессмысленен.