смотреть исходный markdown

Кто управляет конституцией

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

Эта страница отвечает прямо. Она не создаёт нового управления, а показывает то, которое уже записано в спецификации. Полный нормативный текст - по ссылкам внизу.

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

Кто владеет стандартом

Каждый стандарт семейства официально объявляет:

Но владение здесь определено узко и намеренно:

Владение означает распоряжение спецификацией, а не владение реализациями.

Распорядитель отвечает за слова спецификации. У него нет притязаний на модели, которые вы строите, на знание, которое вы публикуете, или на системы, которые вы эксплуатируете. Принятие управляющей роли "НЕ ДАЁТ права собственности на реализации или на знание, опубликованное суверенными Вселенными".

Само управление описано как набор архитектурных ролей, а не как компания или фонд. Роли говорят, какие обязанности существуют и какой документ принадлежит каждой из них:

Эти роли независимы от организаций по правилу: "Стандарт ОСТАЁТСЯ действительным независимо от того, какая организация занимает любую из ролей". Любая соответствующая организация или сообщество МОЖЕТ принять одну или несколько из них. Стандартом управляет иерархия, в которой каждый слой ограничивает нижележащие: Конституция, затем стандарт архитектуры, затем протокол федерации, затем предметные стандарты, затем эталонные реализации.

Две структурные гарантии защищают стандарт от захвата:

Как изменение предлагается и принимается

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

Предлагать может любой. "Любая заинтересованная сторона МОЖЕТ предлагать улучшения". На предложение изменения нет входного барьера членства.

Каждое изменение - это Запрос на изменение (CR). Предложение - не комментарий, а документ. CR несёт уникальный идентификатор, название, мотивацию, затронутые документы, обоснование, ожидаемые выгоды, оценку совместимости, соображения по миграции, влияние на реализацию, автора и дату. Именно эта структура делает изменение рецензируемым и прослеживаемым, а не вопросом мнения.

Каждое изменение проходит фиксированный жизненный цикл. Предложение, обсуждение, анализ влияния, черновик спецификации, рецензирование, утверждение, публикация, принятие и, при необходимости, вывод из употребления и снятие. Для нормативных изменений "Ни один этап НЕ ПРОПУСКАЕТСЯ".

Каждое изменение классифицируется по двум осям. Первая ось - влияние:

Вторая ось - смысловой предмет изменения: затрагивает ли оно структуру модели, значение понятия, правила федерации, семантику контрактов, поведение проекций или требования соответствия. Объявление смыслового типа - не бюрократия: оно позволяет агенту прочитать CR, определить, какой вид смысла затронут, вычислить влияние на совместимость и предложить шаги миграции. Управление изменениями должно поддаваться анализу, а не только ручному чтению. Изменение базы правил обязано также пройти проверку согласованности политик перед слиянием: изменение, делающее набор правил логически невыполнимым, "НЕ СЛИВАЕТСЯ".

Изменение оценивается по фиксированным критериям. Предложение принимается не потому, что оно популярно. Оно оценивается на согласованность с Конституцией, влияние на совместимость, обратную совместимость, сложность реализации и долгосрочную устойчивость. Конституция идёт впереди удобства любой реализации.

Замороженный текст не сдвигается молча. Как только документ отрецензирован и утверждён, он переходит в состояние Заморожен. Замороженные документы становятся нормативными ссылками, "НЕ ИЗМЕНЯЮТСЯ молча" и "МОГУТ меняться только через утверждённый Запрос на изменение" с сохранением полной истории правок. Выпущенные версии неизменяемы: новая функция приходит новой версией, а не тихой правкой старой.

Совместимость оценивается, а разрывы снабжаются мостом. Каждый CR несёт итог по совместимости (полностью совместимо, обратно совместимо, прямо совместимо, требует миграции или ломает). Там, где совместимость сохранить нельзя, "указания по миграции СОПРОВОЖДАЮТ новую спецификацию", включая затронутые понятия, необходимые преобразования, стратегию совместимости и примеры. Возможности выводятся из употребления с названной заменой и запланированной версией удаления прежде любого ломающего удаления.

Что делать, если вы не согласны

Три средства защиты, в порядке возрастания зависимости от других.

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

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

3. Участие. До выхода и форка есть обычный путь: подать Запрос на изменение. Предлагать может любая заинтересованная сторона; CR оценивается по Конституции, совместимости, обратной совместимости, сложности реализации и долгосрочной устойчивости - публично и под запись. Несогласие здесь полноправный вход процесса, а не исключение из него.

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

Прозрачность

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

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

Полный текст

Эта страница сжимает два нормативных документа. Читайте их ради точных формулировок и того, что здесь не показано:

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

Рабочее определение суверенитета

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