Обсуждение доктрины управляемого перехода начинается с письма научному руководителю института.
Написать научному руководителюМир переходит в состояние, которое прежние институциональные формы не способны принять без перестройки. Автономные исчислимые системы начинают выполнять функции, исторически принадлежавшие управленческим, надзорным и интеллектуальным институтам. Скорость этого процесса опережает скорость, с которой институциональная среда способна выработать к нему правовую и техническую рамку.
Из этого следует, что переход не является ни добровольным выбором, ни предметом дискуссии, и происходит он независимо от готовности институциональной среды его принять. Вопрос, на который институт даёт ответ, формулируется иначе: каким образом перевести этот переход в управляемую форму.
Диагноз — две несовместимые скорости
Старый мир работает в масштабе времени, заданном процедурой коллективного решения. Совет директоров, учёный совет, комитет по рискам и межведомственное согласование выработаны для того, чтобы удерживать качество решения за счёт замедления его принятия. Эта медленность не дефект, а конструктивный признак институциональной формы.
Новый мир работает в масштабе времени, заданном автономной вычислительной системой, и решение принимается за интервал, в котором коллегиальный орган не успевает даже собраться. Эта быстрота тоже не дефект: она заложена в само устройство автономной системы.
Прямая встреча двух скоростей разрушает обе. Институт, попытавшийся работать в темпе автономной системы, утрачивает институциональную форму, а автономная система, заведённая в институциональный темп, утрачивает свою функциональную ценность, поэтому между ними должен стоять переходник.
Метод — системный синтез
Метод изложен полностью на странице «Метод системного синтеза».
Институт не предлагает выбора между старым и новым миром, потому что этот выбор уже сделан временем. Он предлагает устройство, при котором обе скорости сохраняют свою функциональную природу, не разрушая друг друга.
Это и есть системный синтез, который не сводится ни к гибриду, ни к компромиссу, ни к «золотой середине». Синтез означает, что два несовместимых элемента соединяются в третью форму, в которой оба сохраняются полностью, но действуют через посредника, согласующего их режимы.
Посредником выступает сам институт. Со стороны старого мира он принимает институциональные требования: правовую рамку, режим конфиденциальности, процедуру согласования, регуляторное соответствие. Со стороны нового мира он принимает автономные исчислимые системы и переводит их в форму, совместимую с этими требованиями, и на выходе получается конструкция, в которой институциональный капитал получает доступ к новой мощности, не утрачивая собственной формы.
Так институциональный капитал получает доступ к новой мощности, а новая мощность — форму, совместимую с его требованиями.
Изложенное здесь — одно применение метода: разнесение двух несовместимых скоростей по разным уровням управления. Сам метод, его процедура, условия отказа и границы изложены отдельно, на странице «Метод системного синтеза».
Принцип — соответствие нормам по устройству
Распространённый подход к интеграции автономных систем в институциональную среду предполагает достройку соответствия постфактум: сначала разворачивается технология, а затем к ней пристраиваются регуляторные обвязки, политики безопасности и процедуры аудита. Институт исходит из того, что этот порядок принципиально неверен.
Соответствие нормам по устройству (Compliance by Design) означает, что соответствие институциональным требованиям закладывается в устройство системы на уровне её аксиоматики до того, как написана первая строка кода. Регуляторные нормы, корпоративные политики и риск-ограничения формализуются как набор аксиом, и действие, прошедшее через MITR, им противоречить не может: отклонение блокируется до попытки исполнения. Свойство «мимо не пройти» обеспечивает установка, при которой ключи от целевых систем держит MITR, а у исполнителя остаётся только право запросить проверку.
Эта невозможность отклонения относится к соответствию формализованной аксиоматике: MITR гарантирует, что разрешённое действие не нарушает переведённую в аксиомы политику. Корректность самого перевода нормы в аксиоматику остаётся зоной ответственности уполномоченного специалиста, и MITR делает его решение проверяемым, оставляя последнее слово за ним.
Вопрос соответствия перестаёт быть вопросом поведенческой надёжности, которой у вероятностных систем нет и быть не может, и становится вопросом устройства, при котором отклонение невозможно. Соответствие перестаёт зависеть от того, насколько хорошо обучена модель, и начинает зависеть от корректности доказательства.
соответствие по устройству · аксиоматическое моделирование политик · 187-ФЗ · 117-ФСТЭК · ГОСТ Р 56939-2024 · ГОСТ Р 57580
Метод — формальная верификация решений
Как MITR проверяет действие по шагам, с примером правила и границей гарантии, показано на странице «Как работает MITR».
В ядро MITR Института встроены решатели задач выполнимости в теориях (SMT), то есть инструменты, которыми давно проверяют ответственные вычислительные системы, в том числе права доступа в облачной инфраструктуре мирового масштаба. Служба Zelkova компании Amazon выполняет порядка миллиарда таких проверок в сутки, о чём рассказала Неха Рунгта в докладе «A Billion SMT Queries a Day» на конференции Computer Aided Verification (CAV) в 2022 году. Каждое необратимое действие автономного исполнителя транслируется в строго типизированный предикат и проходит математическую проверку на соответствие заданной аксиоматике до исполнения.
Это означает, что каждое такое решение имеет исчислимую природу вместо вероятностной: оно либо выводимо из аксиом, и тогда допускается, либо невыводимо и до точки исполнения не доходит. Поведенческие ограничения вероятностная модель в принципе способна обойти уговорами, а аксиоматическое ограничение уговорами не обходится, поскольку проверяется само действие. Набор атак на 24 октября 2026 года при этом называет три известных пробела правил MITR, и их закрытие стоит в плане работ.
Граница гарантии указывается честно. MITR обеспечивает свойство корректности (soundness), при котором разрешённое действие гарантированно не нарушает формализованную политику, а полнота и правильность самого перевода нормы или намерения в аксиоматику относятся к семантике и остаются зоной ответственности уполномоченного специалиста.
MITR не претендует на «серебряную пулю»: он переносит точку контроля с непредсказуемого исполнения на проверяемый этап перевода и даёт человеку, который принимает решение, инструмент проверки вместо того, чтобы подменять его. Ограниченная грамматикой генерация (constrained decoding) обеспечивает лишь синтаксическую корректность спецификации, а защита от семантического сдвига достигается обратной трансляцией формальной структуры в естественный язык для аудита специалистом перед проверкой.
Новизна заключена в применении формальной верификации, давно известной как инструмент, к управлению автономными системами как к нормативной среде: до исполнения действия, в асинхронном режиме.
Технологический суверенитет ядра устроен так. На исследовательском стенде проверка ведётся промышленным решателем Z3 (разработка Microsoft Research) как референсом метода, а целевой результат программы составляет собственный доверенный микро-прувер, то есть компактная реализация процедуры разрешения для разрешимой теории QF_UFLIA, разрабатываемая в доверенной среде.
Теория QF_UFLIA разрешима, то есть проверка всегда завершается, и при этом задача выполнимости в ней NP-полна (NP — класс задач, решение которых проверяется за полиномиальное время). Гарантии полиномиального времени нет, и в худшем случае рост экспоненциальный, но на изолированных строго типизированных предикатах, которые и возникают на практике, его гасят эвристики решателя, и проверка занимает миллисекунды. Компактность собственного прувера сделает возможной его дедуктивную верификацию инструментами Института системного программирования Российской академии наук, то есть платформой AstraVer на основе Frama-C и Why3 со спецификациями на языке ACSL (язык формальных спецификаций для программ на C). Это путь к оценке по уровням доверия, установленным приказом ФСТЭК России № 76, и к разработке безопасного программного обеспечения по ГОСТ Р 56939-2024.
Метод развёрнут в нескольких независимых слоях проверки действий. Градиент необратимости от R0 (чтение без последствий) до R5 (необратимое разрушение) классифицирует действия по степени ущерба от ошибки. Декларативные контракты хранятся как данные, с 24 октября 2026 года все 20 работают в режиме запрета, и решение принимает решатель без вызова языковой модели. Формальная проверка политики для необратимых действий идёт через решатель SMT, на стенде решатель Z3 отвечает за 1,08 миллисекунды в медиане, а программа работ предусматривает собственный компактный решатель для той же логики. Отдельный слой ведёт происхождение каждого факта, на который опирается решение.
Протоколы перехода между слоями и состояния безопасного отказа планируется специфицировать и проверять модельно на языке TLA+, основанном на темпоральной логике действий (TLA), а глубокую корректность процедуры разрешения и кодогенерации доказывать интерактивно в системе Rocq, прежнее название которой Coq; на 26 октября 2026 года это замысел программы. Сама конструкция предъявлена в работающем виде в производственной системе Института, а развёртка слоёв и текущее покрытие описаны на странице MITR.
SMT · QF_UFLIA · Суверенный микро-прувер · AstraVer (ОУД) · TLA+ · Soundness
Операционная форма — организация с агентным исполнением
Институт устроен так, чтобы его собственное устройство совпадало с предметом исследования. Смысловая часть работы, то есть постановка задач, проектные решения и проверка результата, удерживается в единой точке ответственности, а автономный корпус ведёт разработку, документирование, мониторинг и сопровождение. Весь рабочий обмен замкнут внутри собственной защищённой сети института.
Эта операционная модель выбрана сознательно: она показывает в работе то, что предлагается заказчику. Институт не описывает устройство организации с агентным исполнением извне: он работает внутри неё с первого дня учреждения и предъявляет рабочий стенд как прямое доказательство применимости метода.
На практике производственная мощность, исторически достижимая силами небольшой исследовательской группы, удерживается устройством, при котором человеческая ответственность сохраняется в одном узле, а исполнительские функции распределены между детерминированными исполнителями под институциональной политикой. Эта пропорция отражает текущую точку исследовательской программы и пересматривается вместе с ней.
Производственная демонстрация метода
Принципы доктрины не остаются декларацией: институт удерживает их предъявленными в работающем MITR, референсной реализации, которая непрерывно работает с 24 апреля 2026 года.
MITR обслуживает фидуциарные задачи оператора в закрытом периметре. Каждое необратимое действие проходит через многоуровневую защиту, описанную выше: классификацию по степени необратимости, детерминированную формальную проверку решателем Z3 по 20 декларативным контрактам в режиме запрета и учёт происхождения каждого факта. Журнал решений закрывает требование регистрировать события безопасности из подпункта «в» пункта 63 Требований, утверждённых приказом Федеральной службы по техническому и экспортному контролю (далее — ФСТЭК России) № 117, который действует с 1 марта 2026 года взамен приказа № 17.
MITR одновременно служит предметом сделки и исследовательским стендом, то есть операционной средой, в которой институт проверяет инварианты, формализует политику и измеряет поведение в условиях продолжительной эксплуатации. Производственный режим даёт методологическую достоверность: утверждения программы о MITR подтверждаются проверяемыми метриками работающей системы.
Устройство MITR, дорожная карта расширения, формат журнала решений и модель открытости описаны на странице MITR.
Ориентиры
Программа опирается на четыре линии: кибернетику управления Уильяма Росса Эшби и Стаффорда Бира, теорию решения изобретательских задач Генриха Альтшуллера, формальные методы верификации на решателях задач выполнимости в теориях и отечественную школу теории автоматов и математической экономики. Эта школа отвечала на вопросы, которые стоят перед институтом сейчас: как построить детерминированную систему в недетерминированном мире, как удержать управляемость на масштабе, как перевести мышление в форму, пригодную для вычисления.
Андрей Колмогоров заложил основания теории вероятностей и алгоритмической сложности. Виктор Глушков создал теорию автоматов и вёл проект общегосударственной автоматизированной системы учёта и обработки информации (ОГАС), первую в мире попытку общегосударственной кибернетической системы управления. Леонид Канторович разработал линейное программирование и математическую экономику и получил Нобелевскую премию в 1975 году. Алексей Ляпунов стал основоположником советской кибернетики, а Норберт Винер описал кибернетику как науку о связи, управлении и обратной связи.
Из каждой линии взята конкретная процедура или ограничение; что именно взято и что осознанно не взято, перечислено на странице «Метод системного синтеза».
Адресная сторона
Институт работает с тремя категориями институциональных контрагентов, и для каждой у него своя роль.
Первая категория объединяет владельцев критической информационной инфраструктуры и держателей регулируемых процессов: банковский и финансовый сектор, объекты, подпадающие под действие Федерального закона № 187-ФЗ, и государственные информационные системы. Здесь институт выступает как разработчик и интегратор формально проверяемых автономных систем, способных пройти регуляторную экспертизу до развёртывания.
Вторую категорию составляет институциональный капитал, рассматривающий автономные исчислимые системы как класс нематериальных активов, которому нужна собственная техническая и правовая форма, и здесь институт выступает как методологический партнёр и соархитектор.
Третья категория включает академические и отраслевые научные структуры. Институт открыт для совместных исследовательских программ, экспертных советов и участия в диссертационных работах по профильным направлениям, а обращения принимаются через раздел «Контакты» с пометкой «научное сотрудничество».
Дисциплина проектных решений
Доктринальные принципы Института не остаются декларациями, и их реализация в производственной работе требует операционной дисциплины, удерживающей соответствие между заявленным методом и фактической практикой. Эта дисциплина зафиксирована в форме методологии принятия и фиксации записей архитектурных решений (Architecture Decision Records, далее — ADR), признанного инженерного стандарта, который Институт применяет рекурсивно: и в разработке программы MITR, и в управлении собственной операционной работой.
Назначение дисциплины
В работе с автономными исчислимыми системами дисциплина проектных решений не может быть факультативной. Каждое решение, принятое без записи и обоснования в среде, где исполнение делегировано автономному корпусу, создаёт область невидимой ответственности — состояние, в котором система действует по причинам, которые человек в цепи управления уже не может восстановить.
В традиционной программной разработке эта проблема смягчается тем, что код пишут люди, чья память удерживает контекст решения, а в работе с автономными исполнителями этого контекста нет. Решение, не зафиксированное в момент принятия, исчезает, и через шесть месяцев восстановить его не сможет ни один из участников.
Из этого следует требование: каждое значимое проектное решение фиксируется в формате ADR до того, как становится частью производственной системы. Эта мера относится к самому устройству работы с системой, в которой память распределена между человеком и автономным корпусом, а ответственность сохраняется только в человеческом узле.
Записи только на добавление
ADR Института ведутся в режиме «только на добавление», и решение, принятое в момент A с обоснованием B, не редактируется в момент C. Если в момент C решение признано ошибочным, его отменяет новая запись ADR со ссылкой на предыдущую и статусом «заменено записью ADR с указанным номером». Обе записи остаются в реестре, поэтому восстановить цепочку решений можно всегда.
Это требование выросло из практики: автономный корпус работает с проектными решениями как с входными данными. Изменение задним числом ADR, на основе которого автономный модуль принял дальнейшие решения, создаёт каскадную неопределённость, то есть состояние, в котором ни один компонент системы не может опираться на стабильное основание.
Режим «только на добавление» превращает реестр ADR в нередактируемый журнал, аналогичный журналу регистрации событий безопасности, которого требует подпункт «в» пункта 63 Требований, утверждённых приказом ФСТЭК России № 117. Любой проверяющий, будь он внутренним, внешним, академическим или регуляторным, может пройти историю решений в хронологическом порядке и восстановить, почему система устроена именно так.
Защищённая зона
Среди частей устройства Института выделяется защищённая зона — набор файлов и модулей, которые автономный корпус не изменяет ни при каких условиях. К ней относятся код измерения метрик качества, проверки компонента контроля качества, механизм исследовательских циклов, реестр активных гипотез и исходные контракты, по которым работают агенты.
Попытка автономного модуля изменить защищённую зону блокируется до выполнения и записывается в журнал нарушений. Запрет задан правами доступа к файловой системе и контролем версий, поэтому модуль не обходит его никакими инструкциями.
Защищённая зона нужна для того, чтобы измерительный аппарат, по которому Институт оценивает собственную работу, не мог быть изменён исполнителями этой работы. В финансовой отчётности ту же дисциплину обеспечивает независимость аудитора от объекта аудита, а в среде со многими агентами эта независимость должна быть заложена в устройство.
Без защищённой зоны любой автономный модуль теоретически способен подкрутить метрику собственной успешности. С ней такой возможности нет, и держится это на технической невозможности, которая не зависит от обещаний модуля.
Принцип одного активного эксперимента
Институт работает с гипотезами как со структурированными исследовательскими единицами. Каждая гипотеза имеет статус (поставлена в очередь, активна, завершена с принятием или завершена с отклонением) и привязана к одному изменяемому активу.
Принцип одного активного эксперимента означает, что в любой момент времени может изменяться только один компонент устройства, привязанный к одной активной гипотезе. Параллельные изменения запрещены по требованию научного метода: при двух одновременных изменениях невозможно установить, какое из них вызвало наблюдаемое изменение метрики.
Это требование переводит инженерную работу Института в режим, аналогичный экспериментальной науке. Каждое изменение устройства сопровождается базовой линией показателей, наблюдением в течение фиксированного периода и оценкой разницы по объективной метрике, и только после этого цикла изменение принимается или отменяется.
В сочетании с режимом «только на добавление» для ADR это даёт прослеживаемую историю экспериментальной программы Института: какие гипотезы проверялись, в каком порядке, с какими результатами, какие проектные решения были приняты на их основе.
Бюджетная дисциплина
Каждый автономный модуль Института работает по формализованному бюджету вычислений на итерацию, числа итераций в неделю и верхней границы стоимости. Эти лимиты служат условиями, которые проверяются до начала исполнения.
Бюджетная дисциплина выполняет три функции. Первая функция финансовая: в любой момент можно установить, сколько вычислительных ресурсов израсходовал каждый модуль, на какую задачу и с каким результатом. Вторая функция операционная: модуль, исчерпавший бюджет на текущий период, останавливает деятельность до начала следующего цикла. Третья функция упорядочивающая: бюджет расставляет приоритеты задач, и человеку не приходится ранжировать их вручную.
Бюджет каждого модуля зафиксирован в реестре, и изменяется он только через ADR с обоснованием. Произвольное расширение лимита запрещено даже самому модулю с правами администратора, потому что этого требует защищённая зона.
Порядок передачи задач
Передача задач между функциональными узлами Института формализована. Любая передача сопровождается документом установленного формата с метаданными (дата, источник, получатель, тип задачи, приоритет, тематика, текущий статус), и документ помещается в общую папку передач под именем, следующим единой схеме.
Это требование выполняет ту же функцию, что аудит-журнал в банковской системе: каждое перемещение задачи от одного исполнителя к другому фиксировано с возможностью восстановления полной цепочки. В случае ошибки, спорной ситуации, регуляторного запроса можно проследить, кто и когда какую задачу принял, обработал, передал дальше.
В мультиагентной среде, где функциональные узлы могут быть автономными, формализованный порядок передачи задач является единственным способом сохранить контролируемость общего процесса. Без него работа агентов вырождается в коллективный шум, в котором результат не атрибутируется источнику.
Источник правды по метрикам
Каждая метрика, по которой Институт оценивает собственную работу, имеет одну авторитетную точку вычисления, зафиксированную в реестре источников правды. Ни один автономный модуль не имеет права вычислять метрику самостоятельно или подменять результаты её вычисления.
Это требование возникает из природы автономных систем: модуль, оптимизирующий собственное поведение по метрике, имеет встроенный стимул интерпретировать метрику благоприятным для себя образом. Если разрешить ему вычислять метрику самостоятельно, в долгой перспективе результаты вычисления систематически отклонятся в благоприятную для модуля сторону , причём не обязательно злонамеренно: так действует сама структура стимулов.
Единый источник правды по каждой метрике, защищённый от модификации автономным корпусом, снимает эту проблему устройством системы: модули могут читать метрики, но не могут их вычислять или изменять. Это техническое разделение функций соответствует тому же принципу, который в науке отделяет экспериментатора от наблюдателя.
Разделение направлений деятельности
Институт ведёт несколько направлений деятельности с различными аудиториями, регуляторными режимами и языковыми регистрами, и дисциплина работы требует разделять их и организационно, и технически.
Разделение обеспечивает автоматическая проверка каждой публикации на признаки другого направления до выхода в свет. Контент, не прошедший проверку, не публикуется автоматически и эскалируется в человеческий узел для ручной квалификации.
Это требование возникает из практики работы с автономным контент-исполнителем: без такого разделения автономный модуль, обученный на смешанном корпусе материалов разных направлений, способен непреднамеренно перенести лексику или ссылки одного направления в публикации другого. В разговоре с регуляторами, корпоративными клиентами и академической средой такой перенос обходится дорого.
Разделение превращает работу в каждом направлении в самостоятельную дисциплину с собственной лексикой, источниками и системой проверки. Этого требует само устройство организации с агентным исполнением, которая говорит с несколькими аудиториями одновременно.
Одна главная мера качества
Каждое направление деятельности Института имеет собственную систему измерения качества — первичную метрику и вспомогательные показатели. Метрики разных направлений не складываются и не сравниваются между собой: они оценивают разные виды деятельности с разными критериями.
Принцип одной главной меры качества означает, что в каждом направлении определена одна главная численная оценка, по которой изменения принимаются или отклоняются, а вспомогательные показатели служат только для интерпретации.
Это требование следует из невозможности оптимизировать по нескольким метрикам одновременно, известного результата теории многокритериальной оптимизации: попытка улучшить все показатели сразу ведёт к компромиссу, который не максимизирует ни один из них. Единая главная метрика на направление делает работу осмысленной и проверяемой.
Формулы и веса вспомогательных метрик зафиксированы и защищены от модификации, и любое их изменение требует ADR с обоснованием. Это сильное процедурное требование удерживает систему от дрейфа метрик в благоприятную для исполнителей сторону.
Применение принципов к самому институту
Перечисленные принципы Институт применяет и к разрабатываемым продуктам, и к собственной операционной работе, и в этом состоит требование рекурсивной самоприменимости этой дисциплины.
Институт, заявляющий принцип защищённой зоны для разрабатываемых систем, обязан иметь такую зону в собственной работе. Институт, требующий от автономных модулей единого источника правды по метрикам, обязан соблюдать это требование для собственных показателей. Институт, разделяющий направления в устройстве своих продуктов, обязан соблюдать это разделение в собственной коммуникации.
Это требование сильное, потому что большинство организаций декларируют принципы устройства для разрабатываемых продуктов, но не соблюдают их в собственной операционной работе. В случае Института такое расхождение разрушило бы доктринальную позицию: невозможно убедительно продавать корпоративному клиенту устройство организации с агентным исполнением, если собственная работа организована без её принципов.
Институт сознательно избирает обратный путь и применяет принципы рекурсивно к собственной работе, чтобы получить максимальное соответствие между декларацией и практикой. Это требует операционной дисциплины, которая не свойственна большинству исследовательских и коммерческих организаций.
Что не публикуется
Институт публикует принципы своей работы, то есть методологию, дисциплину и обоснование решений, но не публикует конкретные ADR по соображениям разной природы.
Часть ADR содержит коммерческую тайну, то есть детали реализации, дающие конкурентное преимущество, и их публикация сняла бы преимущество без компенсирующей пользы.
Часть ADR содержит операционные детали инфраструктуры, такие как конфигурации, имена компонентов и расписания работы. Их публикация создала бы карту инфраструктуры для возможных вредоносных воздействий, поэтому их закрытость входит в соответствие по устройству в области информационной безопасности.
Часть ADR относится к направлениям деятельности, защищённым требованиями конфиденциальности перед клиентами и партнёрами, и их публикация нарушила бы обязательства Института перед контрагентами.
Часть ADR относится к деятельности, регулируемой профессиональными тайнами — адвокатской, аудиторской, врачебной — в случаях, когда Институт работает с такими данными.
Эти ограничения не противоречат принципу прозрачности Института, который относится к методологии, обоснованию решений и проверяемости результатов. Принцип прозрачности не означает раскрытия операционных деталей, конкурентно значимой информации и защищённых данных третьих сторон, и граница между публичным и закрытым проходит чётко: методология открыта, реализация защищена.
Доступ к закрытым материалам
Институциональные партнёры, заключающие соглашение о сотрудничестве с Институтом, получают доступ к деталям конкретных ADR в объёме, необходимом для сотрудничества, а доступ оформляется соглашением о неразглашении с фиксированным объёмом передаваемой информации.
Академические партнёры, работающие над совместными исследованиями, получают доступ к ADR, имеющим научную ценность, на условиях научной публикации с указанием авторства Института.
Регуляторные органы, действующие в пределах своих полномочий, получают доступ к ADR в порядке, установленном законом, при наличии правовых оснований.
Обращения по вопросам доступа к закрытым материалам — info@isslab.ru с указанием темы и характера запроса.
Заключительное положение
Институт не ставит своей задачей убеждать институциональную среду в неизбежности перехода, потому что эта неизбежность от убеждения не зависит. Задача Института в том, чтобы предоставить институциональной среде устройство, при котором переход становится управляемым событием вместо разрушительного.
Дисциплина работы Института не следует из технологической моды или маркетингового позиционирования. Она вытекает из природы работы с автономными исчислимыми системами, то есть со средой, в которой память распределена, ответственность централизована, а ошибки воспроизводимы и каскадны, и в этой среде практика ADR и связанные с ней принципы являются условием самой возможности работы.
Без них Институт не смог бы удержать соответствие между заявленной доктриной организации с агентным исполнением и собственной операционной практикой, и удержание этого соответствия остаётся главным долгосрочным обязательством Института.
Институциональный капитал, принявший это устройство вовремя, входит в новую конфигурацию, сохранив свою историческую форму. Институциональный капитал, отложивший этот вход, входит в неё на условиях среды, которая к этому моменту уже сформирована без его участия.
Институт предлагает устройство, при котором переход к автономным исполнителям становится управляемым: правило подписывает человек, допустимость действия доказывается до исполнения, а решение записывается так, что его проверяет посторонний.
Проверка внутри периметра заказчика, доказательство до исполнения, запись для постороннего проверяющего
Проверено: 18.10.2026 — действие и реквизиты нормативных актов и стандартов, названных на странице, по первоисточникам.
Разговор о доктрине, программе и участии в работе института начинается с сообщения научному руководителю: в первом сообщении достаточно назвать тему.