> Как правило, но не всегда. (для меня тоже было парадоксом)
Не могли бы указать в каким именно случаях? Проф. интерес.

> Насколько понимаю (это лишь предположение) -- выходом может быть инкрементальность
> сертификации изменений, сводящихся к исправлению проблем безопасности, но при этом не
> получается избежать потенциально успешных попыток протащить с реальным исправлением
> закладку -- вроде описанной здесь применительно к вторичному CVS с ядром Linux времён
> разработки с использованием BitKeeper (см. письмо Zwane Mwaikambo):
> http://kerneltrap.org/node/1584
1. Выхода нет. Сертифицированная система не должна изменяться, т.к. нет гарантий как изменения в одной подсистеме повлияют на функционирование и стабильность других посистем.
2. Проблема не столько в возможности добавить закладку, сколько в отсутствии гарантий стабильности и надёжности системы после внесения изменений. Разве мало случаев, когда подправили в одном месте и нечаянно сломали в другом?