Ограничения и компромиссы

Эта страница - честный ответ на самое острое возражение к стандарту: если каждая Вселенная обязана принять общую модель, чтобы федерироваться, не та же ли это централизация в другой шляпе? Короткий ответ: да, есть реальный обязательный общий слой. Мы его не прячем. Здесь названо точно, что это, чем это не является и какую цену вы за это платите.

Если перед решением о доверии к стандарту вы прочитаете только одну страницу, пусть это будет эта.

Что на самом деле требует общий слой

Чтобы федерироваться, Вселенная ОБЯЗАНА принять фиксированный набор структурных примитивов и обязанностей поведения. Это тонкая обязательная форма. Она задана Конституцией Мета-Вселенной (MUC), и это единственное, что не является опциональным. MUC - авторитетное перечисление: 21 статья в шести главах. Это не схема мира, а небольшой набор инвариантов о том, как единица смысла形 оформляется, перемещается и учитывается. Несущие из них - следующие.

Как единица смысла оформляется и перемещается:

Идентичность. Каждая единица смысла несёт глобально уникальный устойчивый идентификатор (MUC, статья 2). Ярлыки и представления могут меняться, идентичность - нет.
Объект и проекция различаются. Знание пересекает границу как проекция - вид в конкретном контексте и с конкретной целью, а не как копия, переопределяющая источник (MUC, статья 5). Другая Вселенная получает Проекцию, а не передачу исходного объекта.
Происхождение. Каждый значимый факт объявляет, откуда он взялся; неизвестное происхождение помечается как неизвестное, а не скрывается (MUC, статья 7).
Прослеживаемость. Источник, владение, развитие и зависимости факта остаются определимыми (MUC, статья 8).
Общие схемы, а не общий словарь. Совместимость начинается с того, что каждая Вселенная публикует свою схему; публикация схемы никогда не означает публикацию данных за ней (MUC, статья 9).
Явные контракты. Знание передаётся только по объявленному контракту, где указаны цель и объём. Ничто не течёт неявно (MUC, статья 11).
Явные отображения. Там, где две модели расходятся, различие фиксируется явным отображением; неявные семантические допущения запрещены (MUC, статья 17).

С чем вы соглашаетесь, когда обмениваетесь:

Минимум знания. Участник получает только необходимый минимум для согласованной цели; проекции предпочтительнее целых объектов (MUC, статья 12).
Объявленная цель. Каждый запрос объявляет свою цель, и цель участвует в решении об авторизации (MUC, статья 13).
Доверие никогда не предполагается. Оно устанавливается через проверяемую идентичность, происхождение, свидетельства или соглашение (MUC, статья 14).
Безопасность не зависит от доверия. Установленное доверие не снимает обязанность защищать целостность, подлинность и конфиденциальность раскрываемого (MUC, статья 15).

Это настоящее обязательное ядро, и оно больше одного лозунга: оно фиксирует, как смысл идентифицируется, проецируется, прослеживается и оформляется контрактом, и связывает вас обязанностями поведения при обмене. Это подлинная точка центрального согласия, общая для всех участников, и она не пересматривается отдельным узлом. Делать вид, что это лишь горстка безобидных форм, значит занизить цену, а занижение цены - ровно тот провал, ради предотвращения которого существует эта страница. Полный постатейный текст - Конституция Мета-Вселенной: читайте, если хотите видеть весь счёт.

Замечание о словаре: главная страница показывает модель через презентационный словарь (Измерение, Пространство имён, Объект, Проекция). Это поверхностные имена для тех же инвариантов, которые MUC задаёт нормативно. Статьи MUC - авторитетное перечисление обязательной формы; термины главной отображаются на них и не добавляют отдельной цены.

Чего общий слой НЕ требует

Форма ничего не говорит о том, чем ваш смысл является. Предметный смысл остаётся полностью локальным:

Что означает "клиент", что такое "деталь", что считается "договором" в вашем бизнесе: ваше, определяется вами, никогда не навязывается.
Ваш словарь, ваши границы сущностей, ваши правила, ваша истина - остаются дома.
Нет единой мастер-схемы, в которую все обязаны отображаться, и нет верховной инстанции, владеющей определениями. Отображения между моделями явные и двусторонние (MUC, статья 17), а не подчинение одному центральному словарю предметных терминов.

Вы приводите свои модели в соответствие структурной форме. Вы никогда не отдаёте их содержание. Две Вселенные могут федерироваться, полностью расходясь в том, что такое "продукт", потому что стандарт фиксирует контейнер, а не груз.

Сделка, сказанная прямо

Каждый работающий стандарт совместимости делает тот же размен, и ни один из них не считается централизацией в предосудительном смысле:

TCP/IP фиксирует пакет, а не трафик. Каждая машина в интернете согласна с форматом пакета. Ни одна не решает, что вам позволено сказать внутри него.
Морской контейнер фиксирует габариты, а не груз. Весь мир стандартизировал угловые фитинги и внешний короб. Никто не стандартизировал, что вы в нём везёте.
HTML фиксирует разметку, а не текст. Каждый браузер согласен с тем, что значит тег абзаца. Ни один орган по стандартам не утверждает вашу прозу.

В каждом случае общий слой тонкий, обязательный и намеренно слеп к содержанию. Именно это делает его безопасным для принятия. Vercy - та же сделка, применённая к смыслу: форма общая, чтобы содержанию не приходилось быть общим.

Честное утверждение

Мы не заявляем "никакой централизации". Это было бы ложью, и скептик поймал бы нас с первого прочтения.

Честное утверждение уже и защитимо:

Централизация здесь минимальна, ограничена формой и подотчётна.

Минимальна: небольшой набор конституционных инвариантов, а не схема мира.
Ограничена формой: она ограничивает, как единица смысла оформляется и передаётся, но никогда - что она значит.
Подотчётна: тот, кто управляет формой, сам управляется открыто, по опубликованному процессу (см. ниже).

Если хотя бы одно из этих трёх перестаёт быть правдой, возражение справедливо и стандарт провалился. Это обязательства, а не украшение.

Трудный вопрос и ответ на него

Прямыми словами возражение звучит так:

Если участие требует принятия общей конституционной модели, а условия участия не опциональны, то суверенитет содержания реален или централизация просто переехала этажом выше?

Это правильный вопрос, и половина его бьёт в цель. Да, условия не опциональны: чтобы федерироваться, вы соответствуете форме. Называть это "отсутствием централизации" - подтасовка. Значит, суверенитет не может означать "никаких общих правил": при таком определении ни один стандарт совместимости в истории не был совместим с суверенитетом, а слово явно используется не так.

Вот рабочее определение, которое принимают эти страницы и к которому стандарт приводится во всех канонических источниках:

Суверенитет - это не отсутствие общих правил. Это право уйти со своими моделями, право форкнуть общий слой и право участвовать в его изменении. Соответствие общей форме - цена совместимости, и она названа явно.

Это приведение завершено не на каждой странице. Часть канонических документов всё ещё несёт прежние абсолютные формулировки (например, "цитируемые убеждения" Видения и Финальный принцип MUC), и согласование их с определением выше - открытая, отслеживаемая работа, а не завершённое утверждение. Мы предпочитаем сказать это прямо, а не делать вид, что весь корпус уже говорит одним голосом.

На фоне этого определения возражение сводится к одному подлинному риску и ответу на него.

Подлинный риск: кто управляет конституцией? Если один распорядитель может менять обязательную форму по своему усмотрению, ваш суверенитет содержания зависит от его добросовестности. Структурное отделение формы от содержания этого не решает. Решает только управление. Риск закрывается тремя вещами, и первые две действуют уже сегодня:

Право выхода. Артефакты - обычные файлы под открытой лицензией (Apache-2.0). Уход стоит вам федерации, но никогда не стоит вам ваших моделей. Вы уносите всё, что создали, в формате, который никто не может отозвать.
Право форка. Стандарт форкается, как любой открытый стандарт. Если распорядитель уходит в сторону, сообщество берёт последнюю хорошую версию и продолжает. Именно это делает поведение распорядителя проверяемым: угроза форка реальна, поэтому есть стимул держать форму тонкой, а процесс открытым.
Право участвовать в изменении. Изменения формы проходят публичный документированный процесс, а не частное решение владельца. Любая заинтересованная сторона МОЖЕТ предложить изменение; каждое изменение версионируется, рецензируется и поддаётся аудиту. Краткий ответ - Управление, кратко, механика - полные документы Управление и Процесс изменений.

Документы по управлению излагают механику прямо: выпущенные версии неизменяемы, замороженные документы меняются только через опубликованный Запрос на изменение, ломающие изменения обязаны быть помечены и снабжены указаниями по миграции, а вся история правок остаётся пригодной для аудита (почему изменение произошло, кто его предложил, когда его приняли, какая версия его ввела). Владение здесь - это распоряжение спецификацией, а не владение чьими-либо реализациями или опубликованным знанием.

Итак, реален ли суверенитет? При честном определении - да, потому что вы можете выйти, форкнуть и участвовать в управлении. Скептику стоит следить не за выходом и форком, которые уже действуют, а за тем, останется ли процесс изменений по-настоящему открытым на практике. Именно за это стандарт и следует спрашивать, и именно туда мы вас направляем.

Что вы отдаёте и что получаете

Что вы отдаёте

Вы приводите свои модели к конституционной форме: идентичность, разделение объекта и проекции, происхождение, прослеживаемость, общие схемы, явные контракты и отображения, плюс обязанности поведения (минимум знания, объявленная цель, доверие никогда не предполагается, безопасность не зависит от доверия).
Вы принимаете, что эта форма обязательна и обща, а не выбирается каждым узлом.
Вы принимаете версионируемый процесс изменения этой формы вместо одностороннего её изменения.

Что вы получаете

Ваш предметный смысл остаётся локальным и неизменённым. Никто не отображает вас в мастер-схему.
Знание становится переносимым через границы в виде проверяемых Проекций, а не копий с потерями.
Каждый обмен явный, оформлен контрактом и прослеживается до источника.
Право в любой момент уйти со всем, что вы создали, в открытых файлах.
Право форкнуть стандарт, если распоряжение им перестаёт вам служить.
Голос, через открытый процесс, в том, как развивается общая форма.

Размен намеренный, и это тот же размен, который делает любой долговечный стандарт. Форма мала, чтобы содержание оставалось свободным. Мы называем эту цену открыто, а не делаем вид, что она нулевая.

Не только слова: форма умеет отказывать

Форма, которая ничего не может отвергнуть, - это не стандарт, а глоссарий. Эта отвергает. Проверки соответствия в реестре исполняемы: невалидная модель, отсутствующий экспорт, разорванное ребро в графе, дата, оставшаяся в имени файла, или разъехавшийся индекс дают ненулевой отказ со ссылкой на конкретное нарушенное нормативное правило. Соответствие - это то, что модель может не пройти, и только такое соответствие стоит заявлять.

Куда идти дальше

Кто управляет формой и что делать, если вы не согласны: Управление, кратко, затем полные документы Управление и Процесс изменений.
Сама обязательная форма, статья за статьёй: Конституция Мета-Вселенной.
Весь стандарт одним связным чтением: Обзор.