Институт назван по методу, который использует. Эта страница излагает метод как процедуру: что он требует на входе, какой артефакт обязан оставить каждый шаг, при каких условиях этот метод неприменим и где он ломается. Изложение рассчитано на проверку, и согласия читателя оно не просит.
Определение
Системный синтез — метод сборки систем из разнородных и конфликтующих требований, в котором конфликт снимается разнесением требований по разным координатам системы вместо усреднения: по уровню, по фазе времени или по циклу управления. Устойчивость собранного целого обеспечивает протокол взаимной проверки между разнесёнными частями, и жёсткой сцепки между ними нет.
Метод применим только там, где два требования исключают друг друга, а совместимые требования решаются обычной оптимизацией без разнесения по координатам. Это условие отказа входит в само определение.
Происхождение
Ни один шаг метода не является новым по отдельности. Каждый взят из установившейся традиции, и ниже названо, что именно взято и что осознанно не взято, поэтому метод предъявляется как продолжение этих традиций.
| Традиция | Что взято | Что не взято |
|---|---|---|
| Тектология, Александр Богданов, 1913–1922 | Положение о том, что законы организации разнородного едины и переносимы между областями | Претензия на всеобщую организационную науку, объясняющую любую предметность |
| Общая теория систем, Людвиг фон Берталанфи, 1968 | Понятие структурного соответствия между областями знания | Объяснительная установка без обязательной процедуры и без проверяемого выхода |
| Закон необходимого разнообразия, Уильям Росс Эшби, 1956 | Ограничение: разнообразие управляющей системы не может быть меньше разнообразия управляемого | Взято целиком как ограничение, изъятий нет |
| Модель жизнеспособной системы, Стаффорд Бир, 1972–1979 | Пять управляющих систем и алгедонический канал как критерий живучести целого | Управленческая рамка как самодостаточная: у Бира нет требования формальной проверки решений |
| Алгоритм решения изобретательских задач (АРИЗ) и идеальный конечный результат, Генрих Альтшуллер, 1956–1985 | Противоречие как обязательный вход задачи и идеальный конечный результат как форма цели | Каталог приёмов устранения противоречий: он привязан к физике технических систем |
| Аксиоматический дизайн, Nam Pyo Suh, 1990–2001 | Аксиома независимости: функциональные требования разносятся по независимым проектным параметрам. Третий шаг метода есть её прямое применение | Матричный формализм проектирования как обязательная нотация и аксиома информации в исходном виде |
| Науки об искусственном, Герберт Саймон, 1969 | Иерархия почти разложимых систем: сильные связи внутри уровня, слабые между уровнями | Взято как ограничение на выбор координаты разнесения |
| Кибернетика второго порядка, Хайнц фон Фёрстер, 1974 | Наблюдатель входит в описание системы. Отсюда раздел «Проверка метода на самом институте»: метод применяется к устройству, которое его применяет | Эпистемология конструктивизма: инвариант проверяется извне, и наблюдатель его не задаёт |
| Нейро-символические архитектуры, 2019–2026 | Разделение порождения гипотезы и её строгой проверки между разными компонентами | Конкретные реализации: метод не предписывает решателя и не привязан к нотации |
Что в методе своё
Своим является правило композиции. Живучесть целого по Биру, снятие конкретного противоречия по Альтшуллеру и проверяемость результата формальными методами связываются в один рабочий цикл, где каждый шаг обязан оставить артефакт установленной формы, а последний шаг обязан замкнуть ошибку без участия человека.
Область, для которой правило формулируется, тоже своя: организации, в которых исполнителем регулярных операций является автономная вычислительная система, а ответственность за результат остаётся на институте. В этой области ни одна из перечисленных традиций не даёт готовой процедуры: Бир не знал автономного исполнителя, Альтшуллер работал с техническими системами, формальная верификация не отвечает на вопрос о живучести организации.
Четвёртый шаг следует из закона Эшби: такой исполнитель порождает действия быстрее и разнообразнее, чем их успевает отработать цепочка из людей, поэтому ошибка, адресованная человеку, накапливается быстрее, чем исправляется.
Процедура
Шагов четыре, и у каждого названы вопрос, обязательный выход и признак невыполнения. Шаг считается пройденным только при наличии выхода, а ссылка на понимание выходом не является.
Шаг 1. Инвариант
- Вопрос: нужно установить, какое свойство система обязана удерживать во внешней среде независимо от своего состава.
- Обязательный выход: утверждение вида «система удерживает функцию F при затратах не выше E и не порождает некомпенсированного риска R», где F, E и R названы и измеримы.
- Признак невыполнения: инвариант сформулирован через состав («система состоит из») или через намерение («система стремится»), а ни то, ни другое не проверяется извне.
Шаг 2. Структурное противоречие
- Вопрос: нужно установить, какие два требования к системе исключают друг друга.
- Обязательный выход: пара вида «требование A требует свойства P, требование B требует его отсутствия», где P — ровно одно свойство.
- Признак невыполнения: вместо пары получается список желаемого, и тогда противоречия нет, а метод не применяется.
Шаг 3. Координата разнесения
Конфликт снимается введением дополнительной координаты, вдоль которой оба требования выполняются раздельно. Координат три, и выбор между ними всегда обосновывается явно.
- Уровень: систему делят на детерминированное ядро и адаптивную периферию: требование строгости отнесено к ядру, требование гибкости отнесено к периферии.
- Время: система ведёт себя как P в одной фазе и как не-P в другой; фазы разделены явным переходом, а не плавным дрейфом.
- Цикл управления: требования отнесены к разным циклам управления, которые связаны протоколом и общего состояния не имеют.
- Обязательный выход: выбранная координата, отвергнутые координаты и причина отказа от каждой.
- Признак невыполнения: решение описывается словами «баланс», «компромисс», «золотая середина», и это признак усреднения, то есть отказа от синтеза при сохранении его названия.
Шаг 4. Замыкание контура
- Вопрос: нужно установить, куда попадает ошибка на выходе блока и что она изменяет на входе.
- Обязательный выход: цикл обратной связи с названным измерителем, порогом срабатывания и адресатом сигнала.
- Признак невыполнения: адресатом сигнала является человек, и такой цикл не замкнут. Он допустим как временное состояние, но обязан быть помечен незамкнутым и учитываться при оценке системы.
Условия применимости и отказа
Метод, применимый всегда, не несёт информации, поэтому ниже перечислены случаи, в которых применять его не следует.
- Требования совместимы: тогда работает оптимизация, а лишнее разнесение добавит уровней без выигрыша.
- Противоречие снимается изменением цели: тогда решается задача постановки цели, а не задача сборки.
- Цена дополнительной координаты выше цены самого конфликта: разнесение всегда стоит связности, и на малых системах эта цена превышает выигрыш.
- Отсутствует измеритель: без него четвёртый шаг невыполним, и результат нельзя отличить от декларации.
Где соответствие между областями ломается
Перенос между инженерией, вычислительными системами и правом продуктивен, но не полон. Соответствие, у которого нет случаев расхождения, не несёт информации, поэтому расхождения названы прямо.
- Ресурс среды: в технике ресурс среды устойчив, и тяжесть и трение не отменяются решением. В праве роль ресурса играют бремя доказывания и презумпции, а они срочны и отменяются изменением нормы, так что приём переносится, а надёжность приёма не переносится.
- Проверка эмерджентности: в композитном материале новое качество проверяется испытанием образца до внедрения. В организации проверить можно только последствия и только с задержкой, а испытание образца невозможно в принципе.
- Замкнутость множества параметров: аксиома независимости формулируется для конечного и известного набора проектных параметров. В организации набор не замкнут: новые параметры появляются в ходе работы, и разнесение, верное вчера, может перестать быть верным.
- Стоимость ошибки шага 2: в технике неверно названное противоречие обнаруживается испытанием. В праве и в организации оно может не обнаружиться годами, поскольку система продолжает работать, компенсируя конфликт ручным трудом.
- Темп проверки: в технике датчик и исполнительный механизм работают в одном темпе. В организации вычислительный исполнитель действует быстрее, чем институт проверяет последствия, ведь аудит и суд идут неделями. Разнесение по времени (шаг 3) здесь ненадёжно, потому что инвариант может быть нарушен раньше, чем закончится проверка, и поэтому допустимость действия проверяется до его исполнения, а не по последствиям.
- Защита отключением: в технике защита часто строится на размыкании цепи. В организации, где регулярные операции исполняет вычислительная система, отключение останавливает и саму работу. Поэтому допустимость проверяется для каждого действия, а отключение остаётся крайней мерой.
Проверка метода на самом институте
Операционная модель института построена этим методом, поэтому она же служит его первой проверкой. Четвёртый шаг требует, чтобы ошибка замыкалась без участия человека, и по этому критерию циклы института проходят не все, что ниже показано без изъятий.
| Контур | Что удерживает | Замкнут без человека | Чем проверяется |
|---|---|---|---|
| Проверка допустимости действия агента | Ни одно необратимое действие не исполняется без доказательства допустимости | Да для цикла действий. С 24 октября 2026 года все 20 контрактов MITR работают в режиме запрета: недоказанное действие не исполняется, а нераспознанное считается недоказанным и получает отказ | Отказ останавливает действие до исполнения, а квитанция каждого решения ложится в цепь; за тридцать суток до 25 октября 2026 года каждый из 92 отказов назвал нарушенное условие |
| Согласованность внутренних реестров | Состав систем, ответственных и площадок описан непротиворечиво | Да | Расхождение возвращает отказ, работа не продолжается |
| Самопроверка опубликованного содержания | Страницы соответствуют канону и объявленным условиям | Да | Ежедневный прогон, расхождение фиксируется в состоянии |
| Измеритель ручных вмешательств | Частота ручных правок в рабочем цикле | Да | Величина выводится из следов без ручной записи |
| Контроль достоверности ответов | Ответы не содержат утверждений сверх основания | Нет. Вердикт формируется автоматически, исправление вносит человек | Суточный замер серии чистых суток, с 25 сентября 2026 года приостановленный до появления живого потока обращений |
| Наблюдение за прикладным контуром | Заказы, платежи, публикации, поисковая видимость | Нет. Сигнал адресован человеку | Ежедневный прогон, сигнал тревоги при расхождении |
Два цикла из шести не замкнуты. Это описание текущего состояния: метод оценивает институт так же строго, как проектируемые для заказчика системы, и в этих двух случаях выносит незачёт.
Метод в изделии: открытый стек «ИБ 3.0»
Метод проверяется не только на устройстве самого института, потому что он производит и инженерные изделия. Каждая утилита открытого стека «ИБ 3.0» получена той же процедурой из четырёх шагов: инвариант, структурное противоречие, координата разнесения, замыкание цикла. Ниже приведены два разбора, а работающий код и воспроизводимые тесты собраны на странице кибербезопасности.
MITR: инвариант состоит в том, что действие агента не выводит систему в недопустимое состояние. Противоречие: агент полезен, лишь когда действует свободно, и безопасен, лишь когда каждое действие проверено. Координата разнесения проходит по уровню: мысль остаётся свободной и вероятностной, а дискретный вызов инструмента проверяется детерминированным решателем до исполнения. Замыкание: при отказе агенту возвращается, какие условия контракта не доказаны и что их исправит, и исправленное действие проходит MITR заново. Разбор и код приведены на странице о защите агентов, работающих по протоколу Model Context Protocol (MCP), от инъекций и разрушающих вызовов.
Криптографический журнал (ISS Ledger 117): инвариант состоит в том, что правка записи задним числом обнаруживается. Противоречие: запись должна иметь доказательную силу для регулятора и при этом не зависеть от закрытых серверов доверия. Координата разнесения проходит по линии доверия: целостность цепочки пересчитывает посторонний однофайловым скриптом по ГОСТ «Стрибог», без установки чужого программного обеспечения и без доверия к разработчику. Полную перезапись цепочки тем, у кого есть доступ к файлу, обнаруживает только внешний свидетель времени. Разбор и код приведены на странице о журнале действий агента по ГОСТ «Стрибог».
Границы метода
- Метод не порождает целей: инвариант задаётся извне, правом, заказчиком или учредителем.
- Метод не заменяет предметную экспертизу: он указывает, где искать решение, но не говорит, какое решение верно.
- Метод только проверяет: вероятностей он не оценивает и прогнозов не строит.
- Метод не гарантирует, что найденная координата разнесения единственна: он требует назвать отвергнутые координаты, но не доказывает их исчерпанность.
Открытые вопросы
- Не решено, как измерять степень замкнутости цикла, если исправление вносит человек, но по автоматически сформированному предписанию: двоичная оценка «замкнут или нет» здесь груба.
- Неизвестно, существует ли для организации аналог аксиомы информации, то есть мера стоимости выбранной координаты разнесения, которая позволила бы сравнивать два синтеза между собой.
- Нет формального способа отличить разнесение по уровню от скрытого усреднения, если сами уровни определены содержательно, а не строго.
- Не выведен порог объёма системы, при котором цена дополнительной координаты перестаёт окупаться: он известен только эмпирически.
- Нет способа обнаружить, что правила ядра соблюдены по букве, а смысл инварианта утрачен, когда агент проходит все проверки, но достигает цели путём, которого институт не предполагал.
- Не найден формальный критерий предела разнесения по уровню. Ядро проверяет гипотезы периферии, пока проверка ему по силам, а если она требует больше вычислений, чем есть у ядра, остаются отказ в действии или скрытая передача доверия периферии.
Источники
- Александр Богданов, «Тектология: всеобщая организационная наука», 1913–1922
- Ludwig von Bertalanffy, «General System Theory: Foundations, Development, Applications», New York, 1968
- William Ross Ashby, «An Introduction to Cybernetics», London, 1956
- Stafford Beer, «Brain of the Firm», 1972; «The Heart of Enterprise», 1979
- Генрих Альтшуллер, «Найти идею: введение в теорию решения изобретательских задач», 1986
- Nam Pyo Suh, «The Principles of Design», New York, 1990; «Axiomatic Design: Advances and Applications», New York, 2001
- Herbert A. Simon, «The Sciences of the Artificial», Cambridge, 1969
- Heinz von Foerster (editor), «Cybernetics of Cybernetics», Biological Computer Laboratory (BCL) Report 73.38, Urbana, University of Illinois, 1974
Значения терминов, употреблённых на этой странице, приведены в глоссарии. Следствия метода для устройства систем и разбор прикладных сценариев собраны на странице «Как работает MITR», а исследовательская позиция института, из которой метод возник, изложена в «Доктрине управляемого перехода».