- MITR — детерминированный шлюз допустимости действий агента: проверяет каждый вызов инструмента по контрактам-данным решателем и пишет квитанцию в хэш-цепь (главы 8–12).
- INDRA — испытатель, посторонний по построению: атакует контур только через внешнюю дверь арендатора и превращает найденную уязвимость в проект нового контракта: непрерывный пентест агентного контура (главы 13–14; строится — ворота A–E).
- Водораздел «мысль → действие» — граница, на которой проверяется не рассуждение модели, а конечный набор параметров вызова внешнего инструмента.
- Контракт-данные — правило, записанное декларативно в файле контракта, а не в программном коде; в каталоге MITR/policies/contracts/ на октябрь 2026 года — 19 контрактов.
- Решатель (SMT) — программа проверки выполнимости логических формул (в MITR — Z3, модуль z3_gate.py); работает на CPU.
- UNSAT — вердикт «невыполнимо»: пересечение наблюдённых фактов действия с множеством запрещённых состояний пусто — действие допускается.
- SAT — вердикт «выполнимо»: найден контрпример нарушения контракта — действие блокируется, возвращаются нарушенное правило и условия починки.
- Режим «совет» (advisory) — решатель проверяет каждый вызов и пишет квитанцию, но агент не блокируется; накапливается статистика ложных блокировок. Режим задаёт флаг класса в настройках службы шлюза, по умолчанию — «совет».
- Режим «запрет» (enforce) — вызов с вердиктом SAT не исполняется; класс действий переводится сюда, когда доля ложных блокировок на 14-суточном окне ниже порога при ненулевом потоке.
- Квитанция — запись решения («да» и «нет») в цепи с внешней меткой времени, проверяемая без доверия к владельцу сервера; родственные объекты 2026 года — IETF attestation receipts, execution outcome attestation.
- Хэш-цепь — последовательность записей, где каждая содержит хэш SHA-256 предыдущей; правка любой записи ломает все последующие.
- Якорь OpenTimestamps — внешняя метка времени для состояния цепи: после неё владелец сервера не может незаметно переписать историю.
- Арендатор — клиент шлюза со своим токеном и изолированным контуром; число живых арендаторов — строка gate_mode_report.py —tenants.
- «Не измерено» — третье значение допуска (⊥) рядом с «да» и «нет»: отсутствие сигнала не считается «чисто» и не исполняется (глава 11).
- Метки дисциплины правды — ИЗМЕРЕНО, СТРОИМ, ЗАМЫСЕЛ, ПРОГНОЗ (truth_marking); у денежных утверждений — ФАКТ и ГИПОТЕЗА (приложение А).
- Ветвь A/B/C — сценарий прогноза: A — «нормальная технология», B — «продолжение тренда» (базовая ветвь книги), C — «ускорение».
- Репер — дата и источник, по которым прогноз разрешается (приложение Г).
- Ворота — критерий приёмки этапа, который считает прибор, со сроком; например, ворота INDRA A–E.
- Серия Р2а — ворота живой эксплуатации: 14 суток подряд не менее 50 проверок в сутки не менее чем от двух арендаторов и ноль обходов перехватчика.
- Ворота Х5 — не менее одного внешнего арендатора на протяжении 14 суток со своим токеном.
- «Шесть из шести» — рубеж, на котором прибор gate_mode_report.py —six подтверждает все шесть базовых положений MITR; на 09.10.2026 — 1 из 6.
- P1–P5 — матрица машинных доказательств для инвестора; P3 — цепь, якоря и повтор решений, P4 — цена решения (0,74 мс решение и 3,3 мс вызов с объяснением 26.09.2026; 0,95 и 4,3 мс на узле 147 14.10.2026); P1 — набор атак с внешней подписью, P5 — промышленный пилот не менее 30 суток.
- Проверщик для постороннего — verify_chain_standalone.py: пересчитывает цепь и повторяет решения шлюза любым решателем SMT-LIB без строки кода MITR (ADR-0281); 14.10.2026 — 4958 из 4958.
- ИКР — идеальный конечный результат по ТРИЗ (теории решения изобретательских задач Г. С. Альтшуллера).
- VSM — модель жизнеспособной системы Ст. Бира: S1 — исполнение, S2 — координация, S3 — управление, S3\* — независимый аудит и допуск, S4 — разведка, S5 — политика.
- S3\* — в VSM — аудит и допуск, независимый от оперативного управления; место шлюза MITR.
- Алгедонический канал — экстренный болевой сигнал мимо иерархии; в MITR — принцип «не измерено — не исполнять» с эскалацией человеку (S5).
- Уровни полномочий — китайская трёхуровневая схема (человек / с подтверждением / автономно); в MITR — режимы «совет» и «запрет» с переводом по доле ложных блокировок.
- Guardian agent — термин Gartner для систем, которые наблюдают, проверяют и ограничивают других агентов; MITR — детерминированный guardian над контрактами-данными.
- KYA (Know Your Agent) — идентичность и делегирование полномочий агента (DIF KYA-OS, NIST 2026); в MITR — арендатор и токен.
- Сетевая юрисдикция — сообщество с собственным машиночитаемым правом и шлюзом, признанное договором с государством (ПРОГНОЗ).
- MCP, A2A, AP2, x402 — протоколы интернета агентов 2026 года: подключение инструментов (MCP), взаимодействие агентов (A2A), платежи агентов (AP2, x402).
Термины метода института
Термины, которыми институт пользуется в Доктрине, в описании метода и в разработках. Для каждого указано, в каком значении он берётся и из какой традиции происходит. Термины, у которых есть точный смысл в математике, употребляются либо в этом смысле, либо с явной оговоркой.
Системный синтез
Метод сборки систем из конфликтующих требований, в котором конфликт снимается разнесением требований по разным координатам системы, а не усреднением. Применим только при наличии структурного противоречия. Не является синонимом слов «интеграция», «гибрид» и «комплексный подход»: интеграция соединяет совместимое, синтез соединяет несовместимое ценой введения дополнительной координаты.
Инвариант
Свойство, которое система обязана удерживать во внешней среде независимо от изменения своего состава и состояния. Здесь употребляется в смысле, близком к инварианту цикла в теории программ: утверждение, истинное до и после каждого шага. Инвариант описывает обязанность системы, а не её устройство и не её намерение.
Структурное противоречие
Пара требований, из которых одно требует наличия свойства, а другое — его отсутствия. Восходит к техническому и физическому противоречию в теории решения изобретательских задач. Отличается от конфликта интересов: конфликт интересов принадлежит сторонам, структурное противоречие принадлежит самой системе и сохраняется при любом составе участников.
Термин «топологический разрыв», встречающийся в рабочих материалах как образ, на этих страницах не употребляется: топология имеет точный математический смысл, к описываемому явлению не относящийся.
Координата разнесения
Измерение, вдоль которого конфликтующие требования выполняются раздельно: уровень системы, фаза времени или контур управления. Прямое применение аксиомы независимости аксиоматического дизайна, где функциональные требования разносятся по независимым проектным параметрам.
Контур обратной связи и его замкнутость
Контур считается замкнутым, если ошибка на выходе блока становится корректирующим сигналом на входе предыдущего блока без участия внешнего оператора. Контур, требующий человека для передачи сигнала или для исправления, считается незамкнутым и учитывается как таковой при оценке системы. Промежуточных состояний в этой оценке не предусмотрено.
Алгедонический канал
Канал экстренного сигнала в модели жизнеспособной системы Стаффорда Бира: путь, по которому сигнал о боли или об угрозе проходит уровни управления, минуя обычную процедуру согласования. Здесь употребляется в исходном значении. Наличие такого канала не делает контур замкнутым, если адресатом сигнала остаётся человек.
Необходимое разнообразие
Закон Уильяма Росса Эшби: разнообразие управляющего контура не может быть меньше разнообразия управляемого объекта, иначе управление невозможно. Употребляется в исходном значении и служит ограничением при выборе координаты разнесения: перенос требования на уровень, разнообразия которого недостаточно, приводит к потере управляемости.
Идеальный конечный результат
Форма постановки цели в теории решения изобретательских задач: функция выполняется, а системы, её выполняющей, нет. Употребляется как ориентир формулировки инварианта, а не как достижимое состояние.
Детерминированная верификация
Проверка допустимости действия, дающая один и тот же результат на одних и тех же входных данных и опирающаяся на доказательство, а не на оценку вероятности. Противопоставляется вероятностной фильтрации, где один и тот же вход может дать разные решения. Отказ такой проверки блокирует действие до его исполнения, а не сигнализирует после.
Почти разложимая система
Понятие Герберта Саймона: система, в которой связи внутри уровня существенно сильнее связей между уровнями. Служит основанием для разнесения по уровню: если связи между предполагаемыми уровнями сопоставимы со связями внутри них, уровни выделены неверно, и разнесение окажется мнимым.
Эмерджентность
Появление у собранного целого свойств, которых нет ни у одной из частей. Употребляется в описательном значении, без сильных философских допущений. В организациях, в отличие от материалов, эмерджентность не проверяется испытанием образца: проверить можно только последствия и только с задержкой.
Полное изложение процедуры, условий отказа и границ — на странице «Метод системного синтеза».