Перейти к основному содержимому

ХОЛАРХ: голонная мета-спецификация цифровой архитектуры

Рамка статусов. Эта страница — инженерная мета-спецификация, а не набор новых теорем. Каждое утверждение несёт один из четырёх классов честности: ПРОВЕРЕНО — вычисленный факт о машинерии (теоремная арифметика, тождества, полнота покрытия; воспроизводится лабораторией панель HL01–HL15, 14/14); КОНСТРУКЦИЯ — самосогласованность инженерного инстанса (верно по построению, продемонстрировано, не свидетельство о внешних системах); КОНСОНАНС — числовое созвучие с внешним опубликованным числом (структурная рифма, сформулированная точно; никогда не заявка на тождество); ОТКРЫТО — нужны полевые данные, протокол указан. Импортированная математика УГМ сохраняет реестровые статусы [Т]/[С]/[Г]/[О]/[И]. Сама проекция Γ-математики на программную инженерию — это [О]-определение плюс [И]-словарь: структурированный, конфигурируемый, проверяемый — но никогда не факт.

§1. Дверь и заявка

Если УГМ — то, чем её показывает корпус: минимальное пространство состояний с теоремами о жизнеспособности, самонаблюдении, интеграции, дифференциации, композиции и глубине, — то цифровым системам, которые тоже суть организованные целостности, воюющие с энтропией на субстрате, не нужна отдельная теория архитектуры. Архитектура микснета, блокчейна, операционной системы и платформы ИИ-агентов должна выкристаллизовываться из одной мета-спецификации — так же, как корпус уже выкристаллизовал сетевую ткань (FANOS), ИИ-организм (SYNARC-Ω) и навигационную машину (Прайм-радиант) — каждый строился вручную, и каждый сошёлся на одних и тех же органах.

ХОЛАРХ — эта мета-спецификация, сформулированная один раз и валидированная. Критерий поставки взят из породившего её запроса в полную силу: никакой спекуляции и не уступать ни одному состоявшемуся решению ни в одном пункте. Вторая половина — не риторика, а машинно-проверяемая таблица. §18 раскладывает 41 несущую способность сильнейших существующих каркасов — от UML 2.5.1 до SysML v2 (2025), C4, ArchiMate, ISO 42010, DDD, VSM, MAPE-K, Erlang/OTP, Kubernetes, TLA+, Spec Kit, AGENTS.md, MCP и A2A — и для каждой называет механизм ХОЛАРХа, который её несёт: нативно в 28 случаях, вложением (каркас сохраняется как предписанное представление или шаг процедуры) в 12, и ровно с одним честным пробелом (§19). Лаборатория перепроверяет, что в таблице нет пустых клеток и каждый названный механизм разрешается в раздел этой страницы (HL07).

Чем ХОЛАРХ не является: это не нотация (он порождает нотации), не процесс (процесс входит в него компонентом), не каталог паттернов (паттерны становятся конфигурациями типизированных каналов). Это семантический слой, вокруг которого шестидесятилетняя линия кружила, не приземляясь: фиксированный, теоремно-вынужденный алфавит концернов; полная типизированная таксономия связей; вычислимые инварианты жизнеспособности с доказанными порогами; динамика, самомодель, композиция и глубина как граждане первого класса. Существующие языки становятся проекциями одного вычислимого объекта — как одно здание отбрасывает план этажа, схему проводки и фасадный разрез.

§2. Ландшафт: чему на самом деле научили шестьдесят лет

Прежде чем строить, сильнейший доступный тест нужности — сравнительный: разложить зрелую линию и увидеть, что каждая ветвь навсегда угадала и где каждая остановилась. Чтение каждой строки — [И] поверх опубликованной, неоспариваемой истории.

Волна 1 — нотации и языки описания. Академические ADL девяностых (Wright, Rapide, Darwin, ACME…) имели точную семантику и умерли в нишах; обзоры сходятся: ни один не стал инструментом практиков, кроме доменно-запертого AADL во встраиваемой авионике. Войну документации выиграл UML — богатый словарь диаграмм над метамоделью MOF — и заплатил за широту семантической рыхлостью: практики пользуются им выборочно и неформально, как набросками. Затем C4 (Браун) выиграл прагматикой внутри команд, зафиксировав одну ось, которую UML оставил неявной: зум — контекст → контейнеры → компоненты → код, «карты, а не модели». ArchiMate 3.2 стандартизовал корпоративное расслоение с таксономией отношений; ISO/IEC/IEEE 42010:2022 стандартизовал дисциплину вокруг любого из них: стейкхолдеры, концерны, вьюпоинты, представления, соответствия. Свежайший поворот — SysML v2 с KerML (финальное принятие OMG, июль 2025): текстовый, git-нативный, API-первый — мир нотаций сам пришёл к выводу, что модели должны быть вычислимыми артефактами, а не картинками. Чего не было ни у одной нотации: критерия, какие ящики обязаны существовать, хоть одного числа, говорящего «описанная система будет жить», и хоть какого-то счёта динамики.

Волна 2 — критерии декомпозиции. Парнас (1972) дал самую глубокую фразу всей линии: декомпозируй вокруг сокрытия информации — каждый модуль прячет одно проектное решение. Саймон (1962) доказал структурную сторону: жизнеспособные сложные системы почти разложимы — плотны внутри блоков, разрежены, но не нулевы между ними. DDD (Эванс, 2003) переоткрыл обе истины в масштабе доменов: ограниченные контексты с явными картами контекстов. Гексагональная и «чистая» архитектуры зафиксировали направление зависимостей (порты и адаптеры вокруг защищённого ядра). DSM — матрица структуры проектирования — положила зависимости в квадратную матрицу и кластеризовала её. Каждая из этих вещей — фрагмент одного объекта: матрицы состояния с защищённой интериорностью, разреженными типизированными вне-диагоналями и геометрией зависимостей. Самой матрицы с её порогами нет ни у кого.

Волна 3 — жизнеспособность и управление. Недостающую динамическую половину строила кибернетика. Модель жизнеспособной системы Бира: пять рекурсивно вложенных систем и критерий жизнеспособности — плюс альгедонический канал (боли/удовольствия), минующий иерархию в чрезвычайности. MAPE-K от IBM (2003): автономный контур Monitor–Analyze–Plan–Execute над общим знанием. Erlang/OTP: деревья супервизии и «пусть падает» — починка заменой, а не хирургией на месте. Kubernetes обобщил тот же ход в согласование к желаемому состоянию; crash-only-софт (Кандеа–Фокс, 2003) сделал перезапуск единственным путём кода. Реактивный манифест сжал операционный символ веры в четыре слова (отзывчивый, устойчивый, эластичный, сообщение-ориентированный). Чего у этой волны не было: пространства состояний, в котором «жизнеспособно» — теорема, а не лозунг, и моста к структурной волне — VSM и UML не композируются.

Волна 4 — агентный поворот, 2024–2026. Когда строителями стали ИИ-агенты, спецификация вернулась в центр тяжести. Spec Kit от GitHub: конституция → specify → plan → tasks → implement, где конституция держит непереговариваемые принципы. AGENTS.md (формализован в августе 2025; десятки тысяч репозиториев за месяцы): машиночитаемый «README для машин». MCP стандартизовал контракты инструментов (SDK-загрузки масштаба React за 16 месяцев); A2A v1.0 (апрель 2026) стандартизовал пиринг агентов. Канон агентных паттернов Anthropic разделил воркфлоу и агентов и назвал повторяющиеся органы: оркестратор–работники, оценщик–оптимизатор, маршрутизация, рефлексия. Собственный диагноз волны, видный в её артефактах: агентам нужен структурированный, проверяемый контекст — а сами спек-файлы остаются прозой. Конституция, которую нечем вычислить, — совет, а не закон.

Диагноз, собранный в одном месте. Поперёк всех четырёх волн систематически отсутствуют семь способностей — и это ровно те семь, которые УГМ поставляет как математику:

  1. фиксированный алфавит концернов с теоремой единственности (а не «сколько слоёв нарисовали в этом году») — даёт жёсткость диагностируемости N=7, T-224 [Т];
  2. полная типизированная таксономия связей — дают 21 когерентность Γ;
  3. числовые инварианты жизнеспособности с доказанными порогами — P, R, Φ, D [Т];
  4. динамика первым классом — трёхпотоковое разложение ℒ_Ω, T-262 [Т];
  5. самомодель с анти-Гудхарт-теоремой — φ(Γ), T-96/T-191 [Т] + MRQT;
  6. алгебра композиции с измеримым выигрышем — T-77 [Т];
  7. потолок глубины с правилом федерации — T-142 [Т/С].

Остальная страница формулирует мета-спецификацию (§3–§14), прогоняет её через три рабочих проекта (§15–§17), доказывает таблицу поглощения (§18) и атакует саму себя (§19).

§3. Сигнатура архитектурного голона

[О] Определение. Архитектурный голон — пятёрка

h  =  Γ,  B,  φ,  L,  Ch \;=\; \langle\, \Gamma,\; B,\; \varphi,\; \mathcal{L},\; C \,\rangle

состояние ΓD(C7)\Gamma \in D(\mathbb{C}^7): положительно полуопределённая матрица 7×7 с единичным следом над семью концернами (§4): диагональ — бюджет, которым концерн реально распоряжается; вне-диагональ — живая связь между концернами (§5); — граница BB: что лежит внутри интериорности голона, а что пересекает границу только через контракты (ограниченный контекст DDD, ставший несущим); — самомодель φ(Γ)\varphi(\Gamma): собственный вычислимый отчёт голона о своём состоянии (§8); — динамика L\mathcal{L}: трёхпотоковый закон эволюции (§7); — контракты CC: типизированные каналы к другим голонам (§9).

Читателю, приходящему со стороны инженерии: Γ\Gamma — это повзрослевшая DSM. DSM записывает, что модуль i трогает модуль j; Γ\Gamma записывает это как физическое состояние — положительно полуопределённое (значит, связи обязаны быть совместно реализуемыми, а не произвольным списком желаний; §12 показывает, как это ограничение кусается), с единичным следом (значит, бюджеты — настоящее распределение, и концентрация измерима), типизированное (у каждой клетки есть каноническое имя и семантика) и снабжённое инвариантами и законом эволюции. Всё дальнейшее — вердикты, абляции, представления — вычисляется из этого одного объекта. Система тогда — холархия: дерево голонов ограниченной глубины (§10) с контрактами на рёбрах — корпусная холархическая лестница, ограниченная на инженерные системы.

§4. Семь аспектов

Семь концернов — семь измерений Γ с их каноническими корпусными именами (SSOT src/data/coherences.ts; лабораторная проверка HL01 держит эту таблицу без дрейфа), каждому дано инженерное прочтение. Прочтение — [И]-словарь: структурированный и проверяемый, но никогда не факт.

#АспектКанонический смыслИнженерное прочтение — что здесь живёт
AАртикуляцияактивность различениявход и восприятие: парсинг, валидация, извлечение признаков, сырой приём телеметрии, API-поверхность различений, которые система умеет делать
SСтруктурастабильность формысхемы, типы, структуры данных, конфигурация, форматы обмена — что остаётся неизменным, пока система работает
DДинамикаактивность процессапути исполнения, конвейеры, транзакции, актуация, доставка — что движется
LЛогикавнутренняя согласованностьинварианты, контракты, верификация, правила консенсуса, криптографические законы — что обязано сходиться без противоречий
EИнтериорностьинтенсивность внутренних состоянийприватное состояние, память, контекст, скрытые пулы, секреты — что видно только изнутри (сокрытие информации Парнаса как ось с мерой, а не как совет)
OОснованиесвязь с источникомсубстрат и снабжение: рантайм, транспорт, хранилище, энергия, бюджет, стейк — на чём система стоит и чем питается
UЕдинствоинтеграцияидентичность и оркестрация: единое каноническое целое, управление, цель — что делает части одной системой

Три вещи отличают это от любой «N-слойной» схемы в линии.

Число вынуждено, а не выбрано. Теорема Σ (T-224 [Т]) доказывает: совершенная локализуемость одиночного отказа с нетривиальной грамматикой состояний вынуждает n7n \ge 7 осей, и при n=7n = 7 грамматика единственна с точностью до переименования (Хэмминг (7,4) = плоскость Фано); при любом большем допустимом размере единственность рушится. Семь концернов с разводкой Фано — единственный алфавит, где отказавший аспект локализуем по построению. Семь уровней OSI, шесть интеррогативов Захмана, четыре зума C4 — конвенции; здесь — единственное такое число, несущее теорему жёсткости. Поэтому же ХОЛАРХ не записывает OSI в родню: OSI — линейная лестница инкапсуляции (структура глубины, §10), а не аспектная декомпозиция, и притворяться иначе было бы нумерологией.

Каждый аспект несёт датчик напряжения. σ-панель (T-92 [Т], со строками эрраты v1) даёт каждому аспекту вычислимый сигнал истощения: σk=clamp(17γkk,0,1)\sigma_k = \mathrm{clamp}(1 - 7\gamma_{kk}, 0, 1) для A, S, D, L, O; σE=(7Ddiff)/5\sigma_E = (7 - D_{\mathrm{diff}})/5 и σU=2/(1+Φ)\sigma_U = 2/(1+\Phi) измеряют оставшийся запас дифференциации и интеграции — поэтому у обычных жизнеспособных систем σ_E и σ_U высоки, и это норма: они читают расстояние до идеала, а не до пола.

Аспекты — оси, а не модули. Микросервис, подсистема, команда — каждый есть голон со своим 7-профилем. «Куда положить планировщик?» отвечается не раскладыванием по ящикам, а записью его бюджетного вектора: планировщик D-тяжёл со связями в L и O. Профиль — диагональ Γ — это паспорт характера компонента, и неверно записанный характер («L-сервис», тихо делающий E-работу) проявляется аномалиями связей, а не спором о ящиках.

§5. 21 типизированный канал

Любая зависимость между двумя концернами — внутри голона или через контракт — типизируется неупорядоченной парой аспектов: (72)=21\binom{7}{2} = 21 канал, и корпус уже назвал все 21 (тот же SSOT; HL01). Имена чеканились для теории сознания за годы до этой страницы; прочтите средний столбец и посмотрите, как они ложатся на инженерию без единой правки — этот эффект «словарь уже был верен» — сильнейшее [И]-свидетельство страницы.

КаналКаноническое имяИнженерное прочтение (примеры)
ASМорфогенезпарсинг в схему; ingestion со schema-on-write
ADАктуализациясобытие запускает процесс: событийная активация
ALПредикациянаблюдение становится предикатом: правила валидации, условия алертов
AEАпперцепциявход входит в интериорность: context engineering, телеметрия → память
AOСпонтанностьсобытия, рождённые субстратом: прерывания, таймеры, источники энтропии
AUДифференциацияразличения, сохраняющие целое: мультиарендность, маршрутизация без фрагментации
SDПерсистенцияформа сквозь процесс: конечные автоматы, durable-состояние, миграции
SLНомосструктура с логической силой: типизированные контракты, ограничения схем (MCP живёт на AS+SL)
SEРепрезентацияструктура, отражённая внутрь: индексы, материализованные представления, кэши
SOАрхетипформа, укоренённая в субстрате: раскладка данных, аллокация, соответствие ISA
SUСимметрияструктурное выражение единства: репликация, симметрия шардинга, согласованное хэширование
DLРегуляциялогически управляемый процесс: контуры управления, планировщики, раунды консенсуса
DEАффекцияпроцесс пишет в интериорность: пути записи, аппенды event sourcing
DOГенезиспорождающий процесс из субстрата: бутстрап, провижининг, spawn
DUТелеологияинтегрированное направленное изменение: согласование к желаемому состоянию (контур Kubernetes — этот канал дословно), раскатки
LEЭвиденциялогика внутри интериорности: аудит-логи, аттестации, транзакционная целостность, evals
LOФундированиелогика, укоренённая в субстрате: верифицированные ядра (seL4), proof-of-stake/work — закон, оплаченный основанием
LUКонсистентностьнепротиворечивость целого: линеаризуемость, финальность, системные инварианты
EOИмманентностьоснование, ощущаемое изнутри: backpressure, ресурсная осознанность, локальность данных
EUСинтезвнутреннее содержание, собранное в одно: агрегация состояния, глобальные снапшоты, свод наблюдаемости
OUПолнотатождество источника и целого: учёт ёмкости, доступность данных, суверенность снабжения

Два структурных факта поднимают это над упражнением в именовании.

Полнота [О]. Классические таксономии сцепления вкладываются: content / common / control / stamp / data из структурного проектирования, набор отношений ArchiMate, виды зависимостей UML — каждый экземпляр ложится в типизированную клетку (строки матрицы в §18; непустота проверена HL07). Утверждение «вот зависимость, которую не типизирует никакая пара аспектов» — один из явных фальсификаторов §19.

Пары — пол проб, а не потолок. Семь линий Фано ({A,S,L}, {S,D,E}, {D,L,U}, {L,E,O}, {E,U,A}, {U,O,S}, {O,A,D}) — минимальные честные диагностические единицы: корпус доказывает первопорядковую слепоту (T-226 [Т]) — равновзвешенная сумма матриц смежности линий в точности равна JIJ - I, так что любая равновзвешенная попарная статистика вообще не видит структуру. Лаборатория перевыводит тождество (HL13). Инженерное следствие немедленно и неочевидно: мониторинговая сетка попарных хартбитов доказуемо слепа к структуре; наблюдаемость обязана пробовать триады (это «диагностика на тройках» FANOS, импортированная вверх). Поэтому ХОЛАРХ поставляет измеритель Фано-покрытия: счёт (0–7) линий, все три ребра которых несут связь выше медианной. Три рабочих проекта этой страницы набирают 2, 2, 1 — нетривиально, не насыщено, и сообщается как шкала дефицита, а не штамп (HL10). Порога прохождения у измерителя нет, и намеренно: поднимать диагностическое показание, перекраивая сам проверяемый проект, — ровно то, что запрещает антигудхартовская оговорка §8. Низкий счёт есть сведение о проекте, а не оценка, которую следует оптимизировать.

§6. Четыре инварианта жизнеспособности

Всё в этом разделе — импортированная теоремная арифметика; инженерный слой лишь выбирает, что ей скармливать. Для проекта Γ собирается из объявленных бюджетов и потоков (§12, §14); в рантайме — из измерений. Затем решают четыре числа с порогами, которые доказаны, а не подкручены (жизнеспособность, T-124b):

ИнвариантФормулаПорогОт чего защищает — именованная патология
V1 РазличимостьP=Tr(Γ2)P = \mathrm{Tr}(\Gamma^2)P>2/7P > 2/7 [Т]грязь: big ball of mud — активность размазана до статистической неотличимости от шума
V2 ОтражениеR1/3R \ge 1/3 [Т]; форма нижней грани R=1/(7P)R = 1/(7P)P3/7P \le 3/7R1/3R \ge 1/3кристалл/монолит: один глобальный паттерн съедает систему; наблюдать её больше нечем
V3 ИнтеграцияΦ=ijγij2/iγii2\Phi = \sum_{i \ne j}\lvert\gamma_{ij}\rvert^2 / \sum_i \gamma_{ii}^2Φ1\Phi \ge 1 [Т] (T-129)фрагментация: части без связывания — архипелаг микросервисов без настоящих контрактов
V4 ДифференциацияDdiff=1+6CohED_{\mathrm{diff}} = 1 + 6\,\mathrm{Coh}_ED2D \ge 2 [Т] (T-151)ригидность: однорежимная система — ни деградированного режима, ни второго состояния для отступления

Четыре свойства делают эту таблицу инструментом, а не метафорой.

Независимость. T-124b [Т] предъявляет четыре конструктивных контрпримера: убери любой один порог — и конкретное патологическое состояние проскальзывает. Четыре болезни выше — те самые контрпримеры в инженерных именах. Лаборатория демонстрирует тот же узор конструктивно на каждом рабочем проекте: четыре прицельные абляции — размазать в фон, схлопнуть в одну моду, разрезать общие потоки, выдернуть интериорность — ломают ровно свой инвариант (HL04–HL06, КОНСТРУКЦИЯ).

Робастность. T-124d [Т]: все четыре меры отвечают O(ε)O(\varepsilon) на O(ε)O(\varepsilon)-шум состояния — ни у одного порога нет расходящейся чувствительности, так что шумная телеметрия сама по себе вердикт не перевернёт.

Окно. V1 и V2 вместе ограничивают коридор: P(2/7,3/7]P \in (2/7,\, 3/7] в форме нижней грани — достаточно организованно, чтобы существовать, и не настолько консолидированно, чтобы умерло отражение. Это окно Златовласки корпуса (T-124), и это агентный ярус: система внутри окна с Φ1\Phi \ge 1, D2D \ge 2 имеет структурные предпосылки самоуправляемой системы. Обычные сервисы законно живут ниже полной конъюнкции (жизнеспособны, не агентны); лестница ярусов — корпусная иерархия интериорности L0–L4. Для настоящих самомоделей каноническое R — нижняя грань; рабочая мера — RφR_\varphi, точность самомодели (§8).

Анти-доминация читается вбок. Потолок V2 — закон анти-концентрации: ни один паттерн выше ~3/7 целого. Два независимых инженерных сообщества сошлись на том же облике закона: BFT-консенсус терпит строго меньше 1/3 отказного веса (арифметика пересечения кворумов), а практика клиентского разнообразия Ethereum считает любой клиент выше 1/3 опасным, выше 2/3 — ломающим финальность. Лаборатория формулирует обе стороны точно и помечает рифму КОНСОНАНС/[И] — одна дробь, разные базы (вес валидаторов против чистоты); структурное созвучие, не тождество (HL09, HL14).

§7. Динамика: три потока

Архитектура, описывающая только стоячую структуру, описывает труп. Корпус доказывает, что закон эволюции разлагается точно на три геометрических потока (T-262 [Т]+[С]):

  1. Работа — унитарный поток: преобразования, сохраняющие каждый спектральный функционал. Инженерно: обратимые ходы — рефакторинги с доказуемым сохранением поведения, blue-green-переключения, живые миграции. Их признак: они стоят энергии и никогда — структуры.
  2. Тепло — диссипативный поток: градиентный спуск негэнтропии со скоростью γ; система расслабляется к серому. Инженерно: битрот, дрейф зависимостей, энтропия конфигурации, испарение знания. Этот поток никогда не нуль; притворяться иначе — способ, которым системы умирают вежливо.
  3. Материя — регенеративный поток ℛ: замена к цели ρ\rho^* через самомодель. Инженерно: перезапуски супервизии, редеплой immutable-инфры, crash-only-восстановление — починка заменой, а не хирургией (Erlang/OTP и Kubernetes индустриализовали каждый свою половину этого потока).

Три импортированных результата дают потокам зубы:

  • Нет снабжения — нет бытия. Изолированный голон доказуемо умирает: с регенерацией, заякоренной на серое состояние, чистота не растёт и P1/7P \to 1/7 (T-288 [Т]). Жизнеспособность — ведомое явление с порогом зажигания по отношению привода к диссипации, численно (r/γ)c7(r/\gamma)_c \approx 7 для референсной диссипации (T-289 [Т]/[С]). Архитектурный документ, не назвавший свой контур снабжения, не описал систему.
  • Серебряный пол. В стационарной модели питания (T-259 [Т в модели]) отношение поддержания к распаду x=κeff/Γ2x = \kappa_{\mathrm{eff}}/\Gamma_2 обязано превышать 1+22,4141 + \sqrt{2} \approx 2{,}414, чтобы состояние держалось выше пола 2/72/7 — лаборатория воспроизводит фолд: x=0,9xminx = 0{,}9\,x_{\min} голодает (P=0,277<2/7P_\infty = 0{,}277 < 2/7), xminx_{\min} ложится ровно на пол, 1,3xmin1{,}3\,x_{\min} живёт (P=0,307P_\infty = 0{,}307) (HL12). Инженерный перевод, намеренно грубый: система, чей темп регенерации не превышает темп её энтропии примерно в 2,4 раза, растворяется — что бы ни говорил роадмап.
  • Остановка и повторное зажигание. Выключатель — утверждение уровня физики: сними привод — и система оседает к серому за toff0,49/γt_{\mathrm{off}} \approx 0{,}49/\gamma, с реигницией без гистерезиса (T-288) — это правило crash-only-проектирования (восстановление = единственный путь старта), выведенное, а не проповеданное.
  • Альгедонический провод. Vhed=dP/dτ\mathcal{V}_{\mathrm{hed}} = dP/d\tau (T-103 [Т]+[И]) — знаковый темп организации — альгедонический канал VSM с формулой: один скаляр, минующий дашборды и говорящий лучше / хуже.

§8. Самомодель и анти-Гудхарт-оговорка

Каждый контур волны 3 (Knowledge в MAPE-K, желаемое состояние Kubernetes, цифровой двойник) несёт неисследованное допущение: отчёту системы о себе можно верить. ХОЛАРХ импортирует корпусные результаты, которые это допущение исследуют:

  • φ(Γ)\varphi(\Gamma) — самомодель — функтор (T-96 [Т]): она обязана вычисляться из состояния законным отображением, а не утверждаться рядом.
  • Башня самомоделей φ,φ(2),\varphi, \varphi^{(2)}, \ldots сходится (T-191 [Т]) и обрывается на глубине 3 (T-142) — у рефлексии над рефлексией есть пол и потолок; §10 назначает цену.
  • Точность — число: Rφ=1Γφ(Γ)2/Γ2R_\varphi = 1 - \lVert\Gamma - \varphi(\Gamma)\rVert^2 / \lVert\Gamma\rVert^2 — доля реального состояния системы, которую захватывают её телеметрия и модели. Для агентной платформы это конкретно точность evals: сколько реального поведения видит оценочная сбруя.
  • Анти-Гудхарт-оговорка. В замыкании SYNARC-Ω цель движения ведома аттрактором ρΩ\rho^*_\Omega, а не самомоделью φ(Γ), и результат об анти-вайрхед-оболочке показывает: конструкция не выигрывает от правки собственного датчика. Инженерное правило, сказанное плоско: ни одна метрика здоровья не должна вычисляться из одного самоотчёта; каждый SLO обязан упираться в измерение, обращённое к пользователю или к субстрату. Система, которой позволили оптимизировать собственный дашборд, по закону Гудхарта станет дашбордом.

§9. Композиция: выигрыш живёт в контракте

Закон композиции — корпусная теорема кооперации (T-77 [Т]):

P(ρ(12))  =  P(ρdiag)  +  2γcrossF2P(\rho^{(12)}_*) \;=\; P(\rho_{\mathrm{diag}}) \;+\; 2\,\lVert\gamma_{\mathrm{cross}}\rVert_F^2

Чистота составленной пары превышает несвязанную сумму ровно на удвоенную квадратную фробениусову норму кросс-блока когерентностей — выигрыш интеграции живёт в контракте, а не внутри участников. Лаборатория проверяет тождество до машинной точности на 240/240 случайных парах (HL11). Следствия, каждое из которых линия держала как фольклор, а теперь держит как арифметику:

  • Интеграция стоит ровно столько, сколько несёт контракт. Партнёрство с тонким интерфейсом не выигрывает ~ничего, какого бы качества ни были партнёры; углубление кросс-блока — единственный рычаг. Паттерны карт контекстов DDD (партнёрство, общее ядро, заказчик–поставщик, антикоррупционный слой, …) становятся настройками γcross\gamma_{\mathrm{cross}} — включая честный нуль разошлись-дорогами.
  • Закон Конвея — утверждение о синастрии. Оргчарт и система — два голона; зеркалирование структуры коммуникаций в архитектуру — их кросс-блок. Три режима взаимодействия Team Topologies — режимы кросс-блока. С законом Конвея не воюют; его типизируют и бюджетируют.
  • Мета-голон или федерация. Композиция со взаимной информацией выше порога интеграции основывает новое целое (платформу); ниже — оставайтесь федеративными пирами (композиция голонов). Пиринговые контракты A2A и инструментные контракты MCP — две индустриальные формы кросс-блока, пришедшие через пятнадцать лет после первой формы теоремы.
  • Координация объявляется, а не надеется. Каждый LU-контракт консистентности обязан объявить свой CALM-класс — монотонный (без координации) или немонотонный (платит раунд консенсуса). Это импорт теоремы CALM как обязательного поля контракта.

Композиции нужен адрес, и адрес не бесплатен [С]. Выигрыш выше предполагает, что работа доходит до нужного участника. Адресация сама есть один из 21 канала — AU, Дифференциация: различения, сохраняющие целое, маршрутизация без дробления, — значит холон, который маршрутизирует, тратит на это часть собственного канального бюджета. Лаборатория оценивает эту трату (HL15). При 42 контекстах, разделённых между двумя дочерними, где каждый стоит ровно на ёмкости в 21 канал, неделённый холон промахивается 310 раз; маршрутизатор, выучивающий назначение из награды самой задачи, — 286; маршрутизатор, объявляющий назначение однажды и держащийся его, — 228, то есть выигрыш 26 %, которого выученный не достигает. Причина — то самое правило контракта, что уже записано в этом параграфе: координация объявляется, а не выпрашивается. Маршрутная политика, оптимизируемая по той же награде, что и маршрутизируемая ею задача, не стоит на месте достаточно долго, чтобы дочерний успел специализироваться; каждое переназначение отдаёт контекст соседу, который его не выучил. Индустрия проговаривает тот же факт дважды: согласованное хеширование существует именно затем, чтобы ключи не мигрировали при всякой смене топологии, а ключи шардинга выбираются на этапе проектирования, а не переоптимизируются непрерывно.

И правило острее, чем «объяви». Факторный план 2×22\times2 навязывает замораживание и баланс независимо (HL16): замороженный перекошенный маршрутизатор назначает контекст однажды, но большинство отправляет одному дочернему; дрожащий сбалансированный выбирает дочернего равномерно случайно при каждом посещении. Против 910 промахов неделённого холона замороженный-и-сбалансированный даёт 636, замороженный-но-перекошенный 734, а дрожащий-но-сбалансированный 888 — баланс без устойчивого адреса не возвращает по существу ничего, тогда как одно замораживание возвращает 19 %, а замораживание с балансом 30 %. Устойчивость есть предусловие, а баланс — множитель, и именно поэтому согласованное хеширование и закрепляет ключ, и разносит его: каждая половина порознь оставила бы бо́льшую часть выигрыша неиспользованной [С].

§10. Глубина: лестница и потолок

Башня глубины (T-142 [Т при α = 2/3] + [С у формулы лестницы]) назначает цену уровням рефлексии: удержание самомодели глубины nn требует чистоты выше

Pcrit(n)=273n1n+1  :17,    27,    914,    5435>1P_{\mathrm{crit}}^{(n)} = \frac{2}{7}\cdot\frac{3^{\,n-1}}{n+1} \;:\qquad \tfrac{1}{7},\;\; \tfrac{2}{7},\;\; \tfrac{9}{14},\;\; \tfrac{54}{35} > 1

(HL02). Четвёртая ступень требует чистоты выше физического максимума — глубина 3 — потолок, стоящий в корпусе на трёх независимых аргументах (динамическом, категорном, алгебраическом). Инженерный перевод:

  • Концентрация мандата растёт по лестнице. Управляющий глубины 2 обязан работать при P>2/7P > 2/7; глубины 3 — при P>9/140,64P > 9/14 \approx 0{,}64 — вдвое с лишним концентрированнее. Глубокие слои управления обязаны быть малыми и чистыми: инстинкт микроядра (минимальное верифицированное ядро под широким юзерлендом) — эта арифметика ступеней, нащупанная руками.

  • Выше трёх — федерируйся. Управляющего глубины 4 не бывает; бывает экология систем глубины ≤3 с контрактами (§9). Практическая остановка C4 на четырёх зумах и рекурсия VSM (одна форма на каждом уровне, никогда не более высокая башня на субъект) кодируют потолок как ремесло.

  • Внешний консонанс [КОНСОНАНС]. Блокчейн-линия поставила эксперимент в масштабе экосистемы: L2 масштабирует L1; стопка L3 масштабирование не компаундирует — аргумент Бутерина: данные «можно сжать один раз, но не дважды», поэтому законная роль L3 — кастомизация, а не ещё один оборот той же рукоятки. Независимая дисциплина, открывшая «тот же трюк третий раз не складывается», — ровно так настоящий потолок выглядит снаружи (§16).

  • Ширина ограничена тоже, и два предела перемножаются [С]. Узел типизирует не более 21 различной зависимости (§5), значит несёт не более 21 решения об адресе; а при глубине, ограниченной тремя, охват одной холархии равен 2121 в степени глубины. Сколько из этого достижимо, зависит от того, что способно выразить одно решение об адресе. Полный предел равен 213=926121^3 = 9261 типизированному контексту; а реален ли этот охват, решает то, как адрес хранится. Адрес, прочитанный из знака канала, есть один бит, ветвление равно двум, и потолок обваливается до 2122=8421 \cdot 2^2 = 84 — два порядка охвата, потерянные на считывании. Адрес, сохранённый как объявленный контракт, тратит на каждого дочернего целый канал, поэтому веер доходит до 21 и полные 9261 остаются в силе. Лаборатория разделяет эти два режима (HL15): холархия с объявленным маршрутом выигрывает 26 % у неделённого холона при веере 2 и 39 % при веере 7 — преимущество растёт с ветвлением, чего требует режим, ограниченный каналами, и что запрещает режим, ограниченный битами. Потолок к тому же не только арифметический: ровно на 84 контекстах, разложенных по четырём листьям на глубине 3, где каждый узел стоит на ёмкости, холархия с объявленным маршрутом промахивается 242 раза против 339 у неделённого холона. Итак, охват равен 9261, и он заслужен, а не постулирован — ценой в один объявленный адрес на дочернего.

§11. Диагностируемость: приборная панель на семи осях

Три корпусных результата делают систему ХОЛАРХа диагностируемой по построению — способность, которой ни один каркас из §18 не предлагает вовсе:

  1. Алфавит и есть код. T-224 [Т]: семь осей с грамматикой Фано — единственный в своём размере алфавит с совершенной локализацией одиночного отказа — отказавший аспект называет себя сам.
  2. Разводка проверяема. T-226 [Т]: четырнадцать беспараметрических правил сумм над 21 попарной скоростью декогеренции выполняются тогда и только тогда, когда разводка — Фано: бесплатный конформанс-тест того, что структура связей реализации совпадает с декларацией.
  3. Диагноз сжимается законно. Σ-пирамида 21 → 7 → 3 → 1 (T-225) агрегирует показания каналов в синдромы линий, в триаду, в один вердикт — путь эскалации алертинг-дерева, выведенный.

Плюс отрицательный результат, которым оплачена панель: попарный мониторинг слеп к структуре (первопорядковая слепота T-226; HL13), значит, минимальные честные пробы — триады, а измеритель Фано-покрытия (§5) — проектная шкала того, какую долю системы диагноз вообще способен видеть.

§12. Ω-процедура: как этим пользуется проектирующий агент

Мета-спецификация операциональна: она написана, чтобы быть исполненной проектирующим интеллектом — человеком или ИИ — как цикл из десяти шагов, у каждого вход, выход и вычислимый гейт. Конвейер Spec Kit constitution→specify→plan→tasks — индустриальный предок; Ω-процедура — тот же конвейер с математикой внутри гейтов.

ШагИмяВыходГейт
Ω0Конституциячетыре инварианта + статусная дисциплина ([Т]/[С]/[Г]/[О]/[И] на каждом утверждении)фиксирована; не предмет попроектных переговоров
Ω1SpecifyΓ-цель: намеченный профиль бюджетов + ярус (жизнеспособный / агентное окно)цель удовлетворяет V1–V4 на бумаге
Ω2Декомпозициядерево голонов с бюджетамиглубина ≤ 3; в каждом голоне адресованы все 7 аспектов (нуль — решение, а не пропуск)
Ω3Разводкапотоки и типизированные каналы (§5, §14)Γ собирается PSD; Φ ≥ 1 достижимо; Фано-покрытие отчитано
Ω4Верификациявердикт P/R/Φ/D + σ-панель + исчисление абляцийвсе четыре инварианта зелёные; каждый запланированный отказ ломает только свой инвариант
Ω5Представленияпроекции C4/UML/SysML/ArchiMate/TLA+ (§13)каждое представление порождено из инстанса, ни одно не нарисовано руками
Ω6Реализациязадачи по голонам и аспектам (совместимо со Spec Kit / AGENTS.md)задачи трассируются к каналам, а не к вайбам
Ω7Эксплуатацияоценка Γ в рантайме; σ-мониторинг; провод Vhed\mathcal{V}_{\mathrm{hed}}дерево алертов = Σ-пирамида; триадные пробы развёрнуты
Ω8Регенерацияℛ-политика: супервизия, каденция редеплоя, семантика выключателяотношение питания x>1+2x > 1+\sqrt 2 с запасом; реигниция испытана
Ω9КомпозицияT-77-контракты с соседними системами (формы MCP/A2A)кросс-блок объявлен; CALM-класс на каждом LU-контракте

Один урок собственной лаборатории этой страницы принадлежит Ω3 как постоянный принцип, потому что противоречит расхожей практике. Первый черновик рабочих проектов объявлял связи интуитивным способом — списком сил попарных контрактов. Конструктор отказал: плотный список желаний из сильных попарных связей не реализуем совместно как физическое состояние (Γ обязана оставаться положительно полуопределённой), а сжатие, чинившее это, разрушало интеграцию (Φ0,5\Phi \approx 0{,}5). Интеграция, берущая Φ1\Phi \ge 1, обязана ехать на общих потоках — сквозных когерентных модах (управление / данные / снабжение, [И]-эхо трёх потоков §7), на которые концерны со-нагружаются. Точка-точка — желание; поток — состояние. Это измерено, а не полагаемо (оба конструктора, отказавший и потоковый, лежат в лаборатории), и задним числом объясняет два индустриальных инстинкта: почему событийные магистрали и общие платформы интегрируют там, где точка-точка запутывается, и почему «команды интеграции» проваливаются там, где «платформенные команды» живут.

§13. Представления: каждая нотация — проекция

ХОЛАРХ соответствует ISO/IEC/IEEE 42010 по построению — стейкхолдеры держат концерны; концерны — семь аспектов; вьюпоинты — рецепты проекций; представления — их выходы — с одной инверсией обычая: представление порождается из вычислимого инстанса и никогда не рисуется рядом с ним. Правила соответствий (бремя 42010, на котором нотации спотыкаются) схлопываются в «оба представления проецируют одну Γ».

НотацияЧто в неё проецируется
C4дерево голонов на глубинах 0–3 = контекст/контейнеры/компоненты/код; теорема потолка объясняет, почему на четвёртом зуме карты передают эстафету коду
UML class / sequence / stateструктура S-аспекта; взаимодействия D-каналов; SD-автоматы персистенции
SysML v2 / KerMLполный инстанс, текстово и API-первый — ближайший кузен по духу; ХОЛАРХ добавляет инварианты, которых у v2 нет
ArchiMateстраты холархии; его таксономия отношений ложится в 21 канал
TLA+ / Alloy / Verumконтракты L-аспекта: каждый LU/DL/LE-контракт веса выше порога обязан нести формальное представление — верификация как предписанная проекция, а не роскошь
DSMсама Γ\lvert\Gamma\rvert, кластеризованная
Оргчарт / Team Topologiesорг-голон и его T-77-кросс-блок на систему (§9)
arc42 / ADRскелет документации; ADR наследуют статусную дисциплину — каждое решение несёт [Т]/[С]/[Г]/[О]/[И]

§14. Машиночитаемое ядро

Инстанс ХОЛАРХа — маленький документ; референсный валидатор — лаборатория. Схема holarch.v1, рабочий проект W1 в сокращении:

holarch: v1
holon: mixnet-node # класс FANOS/Nym, §15
tier: agentic-window
flows: [control, data, supply] # когерентные моды; веса λ в сумме 1
lambda: [0.34, 0.38, 0.28]
background: 0.40 # ε — неструктурированная операционная активность
participation: # со-нагрузка аспект × поток (порождает Γ)
A: {control: 0.6, data: 1.5, supply: 0.4} # вход едет на потоке данных
S: {control: 0.9, data: 1.1, supply: 0.5} # единый формат Sphinx
D: {control: 1.0, data: 1.5, supply: 0.8}
L: {control: 1.5, data: 0.9, supply: 0.7} # закон маршрутизации/крипто
E: {control: 0.6, data: 1.5, supply: 1.2} # скрытый пул — сама анонимность
O: {control: 0.6, data: 0.7, supply: 1.7} # транспорт, стейк, бюджет прикрытия
U: {control: 1.6, data: 0.5, supply: 0.8} # эпохальная топология / директория
contracts: # T-77-кросс-блоки к соседним голонам
- with: directory-authority
channels: [DU, OU, SU]
calm: coordinated # эпохальный консенсус немонотонен
verdict: # вычисляется, никогда не пишется руками
P: 0.366 R: 0.391 Phi: 1.53 D: 2.65 window: true

Та же структура в типах Verum (языка спецификаций корпуса), несущих инварианты как предикаты-уточнения:

/// Бюджет концернов: вероятности над 7 аспектами, Σ = 1.
public type AspectBudget is {
a: Float, s: Float, d: Float, l: Float, e: Float, o: Float, u: Float,
} where (self.a + self.s + self.d + self.l + self.e + self.o + self.u - 1.0).abs() < 1.0e-6;

/// Четырёхинвариантный вердикт собранного проектного состояния.
public type Verdict is {
p: Float, r: Float, phi: Float, d_diff: Float,
};

implement Verdict {
/// Агентное окно: все четыре порога совместно (T-124b: каждый
/// независимо необходим — снятие любого впускает именованную патологию).
public pure fn viable_window(&self) -> Bool {
self.p > 2.0/7.0 && self.r >= 1.0/3.0 && self.phi >= 1.0 && self.d_diff >= 2.0
}
}

@test
fn grey_is_dead() {
let grey = Verdict { p: 1.0/7.0, r: 1.0, phi: 0.0, d_diff: 1.857 };
assert(!grey.viable_window());
}

§15. Рабочий проект W1: микснет

Вопрос, который запрос пользователя ставит прямо: какова правильная архитектура микснета? Прогоните Ω-процедуру и посмотрите, как известный ответ выпадает сам — в этом и тест: мета-спецификация заслуживает доверия, когда из собственной арифметики перевыводит дизайн, к которому десятилетие исследований анонимности сошлось руками.

Ω1–Ω2. Γ-цель кладёт саму анонимность туда, где ни у одной мейнстримной методологии нет для неё места: в E — интериорность. Продукт микса — в точности его ненаблюдаемое нутро (скрытый пул, ключи, случайные задержки); микснет — E-машина в том же смысле, в каком блокчейн — L-машина. Снабжение (O) несёт транспорт, стейк и — критично — бюджет трафика прикрытия: пакеты-пустышки — это субстрат, потраченный внутри приватности, то есть канал EO (Имманентность), прочитанный буквально.

Ω3. Потоки: данные (пакеты: A→D→E, вход в скрытый пул — AE-Апперцепция и есть перемешивание), управление (закон маршрутизации и эпохальная топология: L, U), снабжение (стейк, прикрытие). Собранный вердикт (HL04, КОНСТРУКЦИЯ): P=0,366P = 0{,}366, R0,391R \ge 0{,}391, Φ=1,53\Phi = 1{,}53, D=2,65D = 2{,}65 — внутри агентного окна; доминирующие каналы, считанные с самого состояния: DE-Аффекция (пересылка переформовывает пул), EO-Имманентность (прикрытие), DL-Регуляция (пуассоновский выпуск), AD-Актуализация — несущие органы дизайна Loopix, названные самим состоянием.

Числа Ω4 (HL08, ПРОВЕРЕНО). Против стратифицированной топологии с враждебной долей f=1/3f = 1/3 на слой вероятность полностью враждебного маршрута равна ff^\ell: 33,3% на одном слое, 11,1% на двух, 3,7% на трёх, 1,2% на четырёх — при ~50 мс на хоп. Глубина 2→3 покупает 9× за +50 мс; 3→4 покупает лишь тот же множитель 3×, что и 2→3, за ещё +50 мс — а трилемма анонимности (Дас–Майзер–Мохаммади–Кейт, 2018 [внешняя Т]) доказывает: оставшийся зазор всегда оплачивается полосой (прикрытием) или задержкой, никогда бесплатно. Процедура, стало быть, приземляется на: не меньше двух независимых слоёв перемешивания (D2D \ge 2 инварианта V4, услышанный в масштабе топологии: один микс = одна доверенная сторона = нет анонимности), три — как колено кривой, трафик прикрытия как бюджетная строка EO, и орган директории/эпох в U — что и есть Nym/Loopix: входной шлюз, три слоя миксов, выходной шлюз, пуассоновское прикрытие, эпохальная топология. Корпусный FANOS — этот класс, перестроенный на PG(2,q) со включённой панелью диагностируемости; ХОЛАРХ — мета-уровень, который FANOS инстанцирует.

Абляции Ω4. Размазать потоки → грязь V1; единый глобальный паттерн → V2; потоки отступают на острова → V3; выдернуть E → V4 — четыре режима отказа реальных сетей анонимности (размазывание трафика без структуры, консолидация у одного оператора, разделённые директории и потеря самого скрытого пула), каждый пойман ровно одним датчиком.

§16. Рабочий проект W2: блокчейн

Ω1–Ω3. Публичный блокчейн — L-машина: его продукт — принуждённая согласованность (LU: финальность) между незнакомцами, оплаченная субстратом (LO: proof-of-stake — канал Фундирования, взятый буквально: закон, стоящий основания). Аспектная раскладка модульного стека: A — вход мемпула; S — схема леджера и коммитменты состояния; D — исполнение; L — закон консенсуса (доминирующий голос, по замыслу); E — локальное состояние узла (тонкое — леджер публичен); O — стейк, p2p, доступность данных (OU-Полнота: целое обязано быть накормлено собственными данными — DA-слой это имя канала, произнесённое вслух); U — единственная каноническая голова (fork-choice как DU-Телеология). Вердикт (HL05, КОНСТРУКЦИЯ): P=0,360P = 0{,}360, R0,397R \ge 0{,}397, Φ=1,49\Phi = 1{,}49, D=2,06D = 2{,}06 — жизнеспособен, с честной сигнатурой породы: D едва берёт 2. Прозрачные по замыслу системы структурно живут с тонкой интериорностью; ниже смоделированной узловой доли DdiffD_{\mathrm{diff}} ныряет под 2 — так мета-спека говорит, что цепь без запаса приватного узлового состояния имеет один режим и не имеет пола, на который деградировать.

Внешние числа [КОНСОНАНС]. Семейство анти-доминации (§6) в масштабе экосистемы, доли клиентов исполнения 2026: Geth ≈ 50%, Nethermind 25%, Besu 10%, Reth 8%, Erigon 7% (HL14) — лидер сидит выше общинной линии опасности 1/3 и ниже убивающей финальность линии 2/3, ровно в тех словах, в которых экосистема сама об этом говорит. BFT-условие f<n/3f < n/3 и потолок R — один облик закона на разных базах (HL09 формулирует обе стороны точно; [И], не тождество). А потолок глубины поставил здесь собственный эксперимент: L2 масштабирует L1; стопка L3 не компаундирует (сжатие не складывается) — экосистема открыла потолок §10 снаружи (КОНСОНАНС).

Ω8. Закон питания ложится на эту породу грубо: эмиссия+комиссии кормят регенеративный поток; цепь, чьё отношение поддержания к энтропии сползает под серебряный пол (§7), растворяется независимо от нарратива — мета-спека превращает «криптозима убивает цепи» в датчик.

§17. Рабочий проект W3: платформа ИИ-агентов

Ω1–Ω3. Продакшн-канон 2026 (оркестратор–работники, планировщик, критик, ярусы памяти, evals, MCP-инструменты, A2A-пиринг) раскладывается по аспектам без остатка: A — восприятие/вход; S — схемы инструментов и сообщений (MCP — артефакт SL/AS); D — исполнение инструментов; L — планировщик, гардрейлы и закон evals; E — ярусы памяти и контекст, несущий аспект породы (AE-Апперцепция и есть context engineering); O — модели, компьют, квоты; U — оркестратор. Вердикт (HL06, КОНСТРУКЦИЯ): P=0,373P = 0{,}373, R0,383R \ge 0{,}383, Φ=1,59\Phi = 1{,}59, D=2,59D = 2{,}59 — в окне; доминирующие каналы DE (действия пишут опыт), DU (оркестратор согласует к цели), DL (контур планировщика), EO (контекстный бюджет, ощущаемый изнутри — backpressure токенов, знакомый теперь каждому агентному разработчику руками).

Что инварианты добавляют поверх канона паттернов. Канон говорит «добавь критика»; V2+§8 говорят, что такое критик: бюджет отражения с числом точности RφR_\varphi (покрытие реального поведения оценками) и анти-Гудхарт-оговоркой — агент не должен оценивать свою домашку датчиком, в который умеет писать. Канон говорит «добавь память»; V4 говорит: память — орган дифференциации: выдерни E — и абляция ложится ровно на ригидность: агент без внутреннего состояния имеет один режим, что и есть наблюдаемая хрупкость stateless-промпт-цепочек. Канон говорит «оркеструй»; §10 назначает цену глубины: оркестратор → работник → инструмент — глубина 3, и на четвёртый рефлексивный ярус бюджета нет — федерируйся (A2A), что индустриальный мультиагентный поворот и сделал эмпирически. Корпусный SYNARC-Ω — полносильная реализация породы (AGI-класс с включёнными всеми теоремами); кейс №1 Прайм-радианта гоняет его σ-панель как интероцепцию.

§18. Матрица поглощения

Критерий поставки — механически. 41 несущая способность сильнейших каркасов; у каждой строки — механизм ХОЛАРХа и его раздел. Нативно (N): способность несёт собственная машинерия ХОЛАРХа. Вложение (E): сам каркас сохраняется — как предписанное представление, стадия процедуры или поле контракта — и его способность (и тулинг) наследуется, а не переизобретается. Лаборатория проверяет, что ни одна строка не пуста и каждый якорь механизма разрешается (HL07: 28 N / 12 E / 1 честный пробел, названный в §19).

Каркас → способностьРежимМеханизм ХОЛАРХа
UML 2.5.1 — словарь диаграмм; обмен MOF; экосистема тулингаE·E·Gэмиссия представлений из проекций S/D/L (§13); holarch.v1 как обмен (§14); пробел: нативный тулинг (§19)
SysML v2/KerML — текстовые git-нативные модели, API; трассируемостьN·Nтекст-первый инстанс + лаборатория-как-API (§14); трасса Γ-цель→бюджеты→каналы (§12)
C4 — уровни зума; прагматика «карты, не модели»N·Eбашня глубины с теоремой потолка (§10); представления остаются картами, модель считает за ними (§13)
ArchiMate 3.2 — слои EA; таксономия отношенийE·Eстраты холархии; отношения ложатся в 21 канал (§5, §13)
ISO 42010 — дисциплина стейкхолдер/концерн/вьюпоинтNфиксированный алфавит концернов + порождаемые представления + тривиализованные соответствия (§13)
arc42 / ADR — скелет документации; журнал решенийE·Nпорождается из инстанса (§12 Ω5); ADR + статусная дисциплина [Т]/[С]/[Г]/[О]/[И] (§13)
TOGAF ADM / Zachman — цикл процесса; покрытие интеррогативовE·EΩ0–Ω9 с вычислимыми гейтами (§12); интеррогативы = запросы аспект×представление (§13)
AADL — анализируемая embedded-семантикаEконтракты каналов O/L несут аналитические аннексы; AADL как предписанное представление (§5)
TLA+/Alloy — формальная верификация поведенияEобязательное формальное представление на тяжёлых L-контрактах (§13)
DDD — ограниченные контексты; паттерны карт контекстовN·Nграница голона = E-интериорность (§3); типизированные T-77-кросс-блоки, включая нуль separate-ways (§9)
Гексагональная/Clean — правило зависимостей, порты/адаптерыNA-порты, O-адаптеры, защищённое ядро L/S/E; правило = направление каналов (§4)
Парнас 1972 — сокрытие информации как критерийNE — ось с мерой (Coh_E), а не совет (§4)
Саймон 1962 — почти-разложимостьNразреженные-но-ненулевые кросс-блоки, квантованные окном Φ (§6)
Александер — язык паттернов; полурешётка, не деревоNинцидентность Фано: пересекающиеся линии над 7 аспектами — полурешётка по теореме (§11)
DSM — матрица зависимостей + кластеризацияNΓ и есть матрица — типизированная, PSD, динамическая, пороговая (§3)
VSM — критерий жизнеспособности; рекурсия; альгедонический каналN·N·Nчетыре инварианта [Т] (§6); башня глубины (§10); Vhed=dP/dτ\mathcal V_{\mathrm{hed}} = dP/d\tau (§7)
MAPE-K — автономный контур над знаниемNφ(Γ) + потоки согласования, с теоремами сходимости (§8, §7)
Erlang/OTP / Kubernetes — супервизия; согласование к желаемому состояниюN·Nрегенеративный поток ℛ (§7); аттрактор ρ* + канал DU (§5, §7)
Реактивный манифест — отзывчивый/устойчивый/эластичный/сообщение-ориентированныйNпороги + ℛ + эластичность O-бюджета + стиль каналов A/D (§6, §7)
12-Factor — операционная гигиенаEкаждый фактор ложится в аспектный чеклист на Ω2 (§12)
CALM — граница координацииEобязательное поле монотонно/координируемо на LU-контрактах (§9)
Конвей / Team Topologies — зеркало орг↔система; режимы взаимодействияN·Nкросс-блок орг-голон ⊗ систем-голон (§9)
ATAM — сценарный анализ компромиссовNисчисление абляций: сценарий = абляция, чувствительность = ∂вердикта (§12 Ω4)
Spec Kit SDD — constitution→specify→plan→tasksNΩ0–Ω9 с математикой внутри гейтов (§12)
AGENTS.md — машинный контекст репозиторияNинстанс holarch.v1 и есть машинный контекст уровня проектирования (§14)
MCP / A2A — контракты инструментов; пиринг агентовN·Nконтрактные каналы SL/AS (§5); T-77-синастрия с измеримым выигрышем (§9)
Агентные паттерны Anthropic — воркфлоу-против-агентов; оценщик-оптимизаторNконтур DL-регуляции + LE-критик эвиденции + точность R_φ (§17, §8)
LangGraph/AutoGen/CrewAI — графы оркестрацииEU-орган, порождаемый как графовые представления (§13)
Nym/Loopix · модульный Ethereum · seL4 — референс-архитектурыN·N·Nперевыведено в §15; перевыведено в §16; канал LO-Фундирования на [Т]-уровне (§5)

Честное чтение таблицы в обе стороны: ХОЛАРХ добавляет каждой строке минимум одно из {вычислимые инварианты, типизированные каналы, динамика, анти-Гудхарт, арифметика композиции, потолок глубины, диагностируемость} — семь отсутствий §2; и ХОЛАРХ уступает полю ровно в одной колонке (зрелость тулинга), названной в §19, а не спрятанной в приложение.

§19. Критический разбор: границы, фальсификаторы, единственный пробел

Мета-спецификация, объявляющая себя совершенной, опровергала бы себя; этот раздел — спека, атакующая собственные самые нагруженные доски, по убыванию нагрузки.

Честный пробел: тулинг. У UML сорок лет редакторов, генераторов и обученных читателей. Ответ ХОЛАРХа — наследовать тулинг через предписанную эмиссию представлений, держать модель вычислимой в референсном валидаторе на ~700 строк — архитектурно здрав и молод. Пока не существуют независимые реализации holarch.v1, «не уступает» держится на уровне способность-за-способностью (§18), а не на уровне массы экосистемы. Это единственная клетка G, и закрывается она только принятием, не аргументом.

Приписка к аспектам — суждение. Является ли данный артефакт S-работой или L-работой — модельное решение. Словарь (§4–§5) достаточно структурирован, чтобы приписки были аргументируемыми — но межэкспертная надёжность не измерена. Протокол ОТКРЫТО: два архитектора независимо профилируют одни и те же три системы; согласие ниже κ Коэна ≈ 0,6 по бюджетам аспектов понизит словарь из «операционального» в «наводящий», и этот результат будет опубликован в статусной таблице страницы.

Перенос порогов — калибровка, не вывод. Внутри Γ-математики пороги — теоремы. Что бюджеты концернов программной системы, собранные конструктором §14, заслуживают именно этих порогов — [О]-выбор, валидированный пока когерентностью следствий (патологии абляций ложатся на узнаваемые индустриальные режимы отказов), а не полевыми данными. Класс КОНСТРУКЦИЯ существует ровно затем, чтобы это различие звучало громко.

Консонансы — рифмы. 1/3 у BFT, 1/3–2/3 клиентского разнообразия, нескладывающиеся L3 Бутерина — внешние законы, разделяющие облик с внутренними теоремами. Лаборатория формулирует каждую пару точно и метит их КОНСОНАНС/[И]. Ни одна не подана как вывод, и на странице нет нумерологии в духе OSI (§4 явно отклоняет ту, которую все ждут).

У конструктора есть условности. Потоковая сборка (ранг 3 + фон ε) — один честный способ реализовать объявленные бюджеты как PSD-состояние; ε ≈ 0,4 кодирует «ни одна реальная система не есть чистая структура». Возможны другие конструкторы; инварианты и пороги от выбора не зависят, конкретные числа инстансов — зависят.

Фальсификаторы, поставленные как мишени:

  1. предъявить реальную архитектурную зависимость, которую не типизирует никакая пара аспектов (ломается §5);
  2. предъявить демонстрируемо жизнеспособную систему, нарушающую полную конъюнкцию инвариантов при любой добросовестной сборке Γ (ломается §6);
  3. прогнать протокол межэкспертной надёжности до κ < 0,6 (понижается §4);
  4. провести слепое проектное испытание — две команды, одно ТЗ, одна команда с Ω0–Ω9 — без измеримой дельты качества (процедура понижается до документации).

Чего ХОЛАРХ не утверждает. Он не утверждает, что программные системы сознательны (окно — структурный ярус, не заявка на опыт); не заменяет доменное знание (словарь типизирует решения, но не принимает их); не генерирует код; и не утверждает, что три рабочих проекта — свидетельства о Nym, Ethereum или любом реальном деплое: это демонстрации того, что исчисление перевыводит известно-хорошие формы, что необходимо, но не достаточно.

§20. Сводка статусов

УтверждениеКласс / статусСвидетель
Семиаспектный алфавит единственно диагностируем в своём размере[Т] импортT-224; HL01
21 канал; SSOT-имена несут инженерные прочтения без правки[О]+[И]HL01; §5
Четыре инварианта: пороги, независимость, робастность[Т] импортT-124b/d, T-129, T-151; HL03
Трёхпотоковая динамика; серебряный пол питания; остановка/реигниция[Т]/[С] импортT-262, T-259, T-288/289; HL12
Функтор самомодели, сходимость башни, анти-Гудхарт[Т] импорт + [О] правилоT-96, T-191; §8
Выигрыш композиции = 2‖γ_cross‖²[Т] импортT-77; HL11 (240/240)
Лестница глубины и потолок 3[Т/С] импортT-142; HL02
Попарный мониторинг слеп к структуре; пробуй триады[Т] импортT-226; HL13
Три рабочих проекта в окне; абляции ломают ровно свой инвариантКОНСТРУКЦИЯHL04–HL06
Арифметика микснета: f^ℓ, трилемма, колено на 3ПРОВЕРЕНО + внешняя [Т]HL08
Рифмы BFT-1/3 и клиентского разнообразияКОНСОНАНС [И]HL09, HL14
Поглощение: 41 способность, 28 N / 12 E / 1 GПРОВЕРЕНОHL07
Интеграция едет на общих потоках, не на попарных линкахПРОВЕРЕНО (конструктор)§12; история лаборатории
Межэкспертная надёжность приписки аспектовОТКРЫТОпротокол §19
Польза в слепом проектном испытанииОТКРЫТОпротокол §19

§21. Лаборатория

Панели HL01–HL15, на момент написания все PASS: синхронизация SSOT (HL01), лестница глубины (HL02), реперы Γ-калькулятора (HL03), три рабочих проекта с четырёхсторонними абляциями (HL04–HL06), полнота поглощения с разрешением якорей против этой самой страницы (HL07), арифметика микснета (HL08), два консонансных блока (HL09, HL14), измеритель Фано-покрытия (HL10), тождество T-77 (HL11), фолд питания (HL12), первопорядковая слепота (HL13), цена адресации (HL15). Одна команда, без аргументов, код выхода — вердикт:

python3 architecture/holarch_lab.py

Панель — релизный гейт этой спецификации: любая будущая правка, ломающая строку, обязана либо починить себя, либо честно изменить страницу.