Обозначение «π_G» читается как «пи-джи». В ядре допуска этим термином называется протокол управления «верхом», то есть правилами, по которым системе разрешено рассуждать и действовать. Если сказать проще, π_G отвечает на вопрос: как менять сами правила игры, не подменяя проверку удобной перепрошивкой. Проблема здесь очень старая, философская и житейская одновременно. Когда решение начинает «не сходиться», у человека появляется соблазн не исправлять аргументы, а поменять критерии. Когда ограничения мешают, появляется соблазн объявить ограничения «устаревшими»...