Контракты знаний, версия 2: типизированный носитель для передачи знаний между ИИ-агентами

Аннотация

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

Законы доказаны или опровергнуты на этом носителе. Слияние — полурешётка: порядок и повторная доставка не меняют множество утверждений (след записей о конфликтах от порядка зависит). Применение ограничений не дистрибутивно относительно слияния, поэтому повторная проверка после слияния — закон. Шестнадцать инвариантов классифицированы по ярусу перехвата. Минимальная достаточная проекция — известная NP-полная задача, поэтому ступень редукции объявляется, а оптимальность заявляется лишь с областью. Реализовано: 27 кодов отказа на пине подтверждены мутационным тестом.

Измерения опровергли утверждение этой линии об экономии токенов на корпусе стадийных снимков: автоматическое кодирование увеличило объём на 7,6 %, структурированное резюме — на 14,8 % без потерь — сокращение определяет кодировщик, не формат. Ручное кодирование дало 38 % на четырёх образцах, но сохранило 82,7 % из 104 единиц; полнота сохранения значимых единиц источника не видит выдуманных добавлений. В 144 слепых оценках все плечи упёрлись в потолок: различить пакет и прозу тест не способен. Допуск: 4 верных вердикта из 4 — существование, не частота. Повторный прогон: у первой задачи — в 8,8 раза по объёму, на 32 % по стоимости исполнителя, около 80 % присоединённых норм — балласт. Носитель показывает без сравнения проверяемость передачи постфактум, допуск задач, разрешение гонок записи, фокус исполнителя.

Часть I

Проблема, границы и вклад

1. Введение

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

Потеря модальности. Фраза «ротация секретов никогда не автоматизируется» превращается в «избегайте рискованных операций». Запрет стал советом, и агент, работающий по одному резюме, может добросовестно сделать запрещённое. В резюме нет ничего, что отметило бы потерю.

Дописанный смысл. Резюме сообщает, что 48 из 48 тестов восстановления прошли; читатель заключает, что резервные копии проверены, — хотя исходный документ явно перечислял проверку копий среди того, что не заявлено. Проза пригласила к выводу, который источник запрещал.

Инверсия направления. «Компонент X требует Y» и «Y требует X» оказываются в одной окрестности векторных представлений. Конвейер поиска, восстанавливающий отношения из найденного текста, может обернуть ребро зависимости, не подняв ни одной ошибки.

Доказательный статус этих трёх примеров различен, и его нужно назвать. Первые два сконструированы над реальными записями передач: запрет и список незаявленного взяты из настоящих документов, теряющие резюме построены поверх них. При этом первый класс сбоя с тех пор наблюдался в природе — реальное понижение MUST до SHOULD, произведённое автоматическим кодированием в собственный типизированный формат этой статьи (раздел 15), — тогда как проинструктированная проза сохранила каждую деонтическую единицу. Потеря модальности, следовательно, есть свойство непроверяемого перекодирования, а не прозы как таковой: прозе не хватает не способности нести запрет, а поля, по которому проверяющий может убедиться, что запрет выжил. Второй класс сужается так же: неогороженные резюме допускают запрещённый вывод, но дисциплинированная проза не воспроизвела этот сбой в 144 слепых оценках, а единственное наблюдённое смешение «заявлено как не сделанное» с «не заявлено» произошло внутри типизированного формата и было совершено одним из его авторов. Третий класс опирается на чтение кода исследовательской фазы: служба поиска в нашей экосистеме (Arcanada — организация, в которой эта работа ведётся и чьи агентные рабочие процессы дали материал для измерений) возвращает текстовые фрагменты без типизированных рёбер — и в цикле реализации не перепроверялся. Из трёх классов лишь два теперь — продемонстрированные отказы: потеря модальности отвергается инвариантом I5, дописанный смысл — кодом отсутствующего обоснования. Обращение ребра представимо, а не заблокировано одним ярусом S инварианта I6: обёрнутое ребро — такой же корректный член закрытого перечня, как и исходное, и поймать его может лишь перекрёстная проверка передачи I6 (ярус P) на границе потребителя пакета; в таблице инвариантов она названа «ещё нет».

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

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

Подробное описание. Источники слева поступают в область управления знанием; Резолвер формирует контракт знаний для среды выполнения справа. Схема заимствована из версии 1 без изменений.

2. Статус утверждений

Читателю нужно заранее знать, какого рода утверждение перед ним. В этой статье их шесть классов, и каждое существенное утверждение в тексте относится к одному из них.

Определяющее настоящее время в частях III–V («требуется», «отказывает») описывает спецификацию; для большей части описанного у спецификации есть работающий экземпляр, и его статус изложен поинвариантно в разделе 10. Там, где механизм существует только на бумаге, это сказано рядом с утверждением, а не выводится из грамматического времени.

Не измерено: полномочие на эффекты агента. «Закреплено по дайджесту» в этой статье означает байтовую целостность неизменяемой ревизии, а не полномочие действовать по ней. Межрепозиторное рецензирование, проведённое после пина доказательств, показало — по чтению исходного кода среды выполнения агента; установленный исполняемый файл связан с этим исходным кодом лишь словами его владельца, — что среда выполнения, потребляющая эти контракты, проверяет только равенство дайджеста: допущенный тип не несёт ни задачи, ни субъекта, ни издателя, ни подписи, ни поколения связывания. Значит, по исходному коду контракт, выданный для одной задачи, допустим для другой, а документ, написанный самим исполнителем, был бы допустим везде, где исполнитель может задать указатель, — что позволил бы сделать любому исполнителю предложенный, ещё не влитый маршрут (открытый черновик изменения). Путь атаки рассуждён, не исполнен. Черновая граница потребителя (не влита) спроектирована — тоже лишь по чтению исходного кода — так, чтобы отказывать каждому запуску, пока не появится подлинное полномочие запуска задачи; проверка независимости издателя после рецензирования расширена так, чтобы закреплять действующий субъект. Поэтому авторизация эффектов по контракту на живом агенте и отзыв — свойство, которого статья в остальном не рассматривает, — не измерены; ничто в части VI не следует читать как свидетельство о них.

3. Вопрос исследования и границы

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

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

Юридическая граница. Публикации компании Compilence, на чью опубликованную алгебраическую формулировку статья отвечает в разделе 9, цитируются как источники по их депонированным записям; ничто в этой статье не специфицирует и не воспроизводит компоненты, которые Compilence называет защищёнными патентными заявками. Идеи First Principles Framework приняты с атрибуцией; дословный текст этого репозитория, не имеющего лицензии, не используется.

4. Вклад

Вклад упорядочен по доказательной силе — от того, что доказано, к тому, что измерено.

1. Доказано. Таблица законов операций передачи знаний, где каждый закон доказан или опровергнут на носителе (раздел 8). Центральный отрицательный результат: применение ограничений не дистрибутивно относительно слияния контекстов (теорема 1), откуда повторная проверка после каждого слияния следует как требование корректности. Центральный положительный результат: слияние — полурешётка (предложение 1), что для множества утверждений делает доставку «хотя бы один раз» безопасной; это перевывод соединения CRDT на состояниях (Shapiro et al., 2011) на нашем носителе, а не новый результат. Порядок прибытия не влияет на множество утверждений; след записей о конфликтах от порядка зависит.
2. Доказано и реализовано. Шестнадцать инвариантов целостности с проверяемыми предикатами, классифицированные по ярусу перехвата (раздел 10): от «у нарушения нет сериализации» до «обнаружимо только во время выполнения». Реализация исправила ярус одного инварианта (I9: обязательство оптимальности проверяется при проекции, а не в схеме); остаточный подъярус «ещё нет» — перекрёстная проверка передачи I6. Гейт связывания I16, названный вторым таким подъярусом на пине, позднее реализован как проверка конверта возможностей.
3. Доказано (известный результат) и реализовано. Механизм честности для минимизации контекста — на задаче, уже известной как NP-полная (раздел 12): подзадача покрытия поставщиков без зависимостей есть покрытие множества при сохраняющем структуру переименовании (наблюдение 1, в ранних черновиках — теорема 2; трудность принадлежит Карпу). Каждая проекция объявляет ступень редукции; R3 вычисляет минимальное число поставщиков в ограниченном множестве кандидатов и выдаёт воспроизводимую квитанцию поиска. Это заявление о минимальности с объявленной областью, а не доказательство минимума поставляемого контекста.
4. Доказано (о конструкции); реализовано после пина. Закон безопасности для цикла обучения (раздел 13): канал обоснованных исключений вместе с циклом обобщения открывает путь молчаливой отмены запретов верхнего уровня, и этот путь закрывается только по построению.
5. Реализовано и проверено. Реализация с доказательством каждого отказа (раздел 14): 27 кодов отказа, каждый мутационно проверен — это показывает, что названное нарушение обнаружимо, а не что снятие проверки ломает нижестоящую задачу (утверждение для всего каталога снято); замороженный архив версии 1 из 324 ревизий и действующее хранилище версии 2.
6. Измерено. Оценка формата передачи по четырём мерам совместно и её опровержения (раздел 15): токен-экономия на корпусе стадийных снимков не подтверждается как свойство формата (сессионные передачи не проверены); цена полноты измерена мерой — полнота сохранения значимых единиц источника, — которая не видит выдуманных добавлений; влияние на принимающего агента — нулевой результат с эффектом потолка, без мощности различить пакет и прозу. Что остаётся, показано без сравнения: проверяемость передачи постфактум, допуск задач, разрешение гонок записи, фокус исполнителя; с передачей с поисковым дополнением и стандартными графовыми сериализациями это не сравнивалось.
7. Измерено (вне пина, названное исключение). Повторный прогон на полном хранилище как отрицательный результат о правиле полноты (раздел 16): присоединение норм по пересечению областей действия масштабируется в балласт.
8. Наблюдение о методе. Класс дефекта измерения, наблюдённый шесть раз (раздел 18): инструмент, переписывающий то, что должен был прочитать, — и исправление, унаследовавшее дефект, который оно исправляло.

Часть II

Связь с предшествующими работами

Работа стоит на пересечении нескольких линий: семантической коммуникации, представления знаний с происхождением, многозначных логик, теории сложности и практики многоагентных систем. Таблица ниже называет, что каждая линия уже даёт и где проходит граница, которую эта статья пытается сдвинуть. Совпадение слов не означает родства: «семантический» в литературе о связи и «семантический» в этой статье — разные термины.

Об одном чтении, которое мы отзываем. Ранний черновик этой линии ставил 37,9 % пилота рядом с ≈30 % Salehi et al. (2025) как подтверждение порядка величины. Наша собственная оценка показала, что число пилота измеряло умение кодировщика, а не формат (раздел 15), поэтому оно не может подтверждать порядок сжатия никакого формата. Сравнение снято в обе стороны; критерии полноты у двух работ к тому же различны: сходство векторов у них, полнота по типизированным единицам у нас.

Compilence и граница

Компания Compilence в своих публикациях описывает детерминированный семантический компилятор для регулируемых сред: авторитетный текст компилируется в типизированный граф обязательств, запросы разрешаются детерминированным обходом с тернарными вердиктами. Её опубликованная запись — пять депонированных работ (Chudinov, 2026a–e), из которых две открыты, а три под эмбарго с публичными аннотациями. Депонирование не является рецензированием; мы цитируем эти работы как источники и ничего сверх того.

Это описание записи неполно, и неполноту стоит назвать, а не молча исправлять. Compilence объявила книжную серию «Semantic Science Series», среди объявленных томов которой — Algebra of Meaning, Geometry of Meaning, Theory of Meaning, Programming of Meaning и Compiling the Meanings; алгебра и геометрия смысла названы в ней математическим основанием её системы. Мы фиксируем объявление и отказываемся сравнивать: тома не опубликованы, у нас есть лишь перечень названий, а сравнение алгебр требует аксиом, носителя и сигнатур операторов, так что сравнение по названиям было бы сравнением имён. Анализ в разделе 9 поэтому ограничен опубликованной записью, перечисленной выше, и об объявленных томах ничего не говорит. Если тома появятся, сравнение станет возможным именно здесь. Приоритета в самих выражениях «алгебра смысла» и «геометрия смысла» ни одна сторона не имеет: эти программы исследований старше нас обоих, поэтому совпадение названий свидетельствует об общей родословной, а не о контакте.

Что эта статья берёт из той записи — свидетельство и разногласие, а не конструкции. Их бенчмарк (до 15 раз меньше токенов спецификации на запрос при точности 97–100 % на 246 вопросах; данные производителя, независимо не проверены) измеряет иную величину, чем наши измерения: устранённые накладные расходы навигации на стороне входа против сжатия пересказа на стороне выхода. Эти два числа нельзя ставить в одну таблицу. Их опубликованное алгебраическое утверждение — что нормативное и фактическое содержание образует некоммутативное полукольцо — получает точный ответ относительно нашего носителя в разделе 9. Несколько проектных решений (типизированный отказ вместо изобретения; замороженные снимки; окна действия у норм; «векторы ранжируют релевантность, структура решает полномочия») достигнуты независимо с обеих сторон.

Граница. Compilence заявляет, что пять компонентов — язык E.L.I.A., компилятор ARC, метод построения семантического AST, модель принуждения и двухслойная SPO-архитектура — покрыты предварительными патентными заявками. Эта статья не специфицирует ни один из них и не опирается на непубличный материал: каждая конструкция здесь восходит к публичной математике, к собственной ранее выпущенной системе автора или помечена как собственная реконструкция этой линии работ.

First Principles Framework

First Principles Framework (Levenchuk, n.d.) — нормативный язык паттернов для того, чтобы делать сложную инженерную и познавательную работу явной и проверяемой. Шесть его различений приняты в спецификацию как идеи, с атрибуцией. Локальность смысла: значение имени локально контексту, и тождественность между контекстами никогда не выводится из равенства имён. Разделение семантического соответствия, ограниченного права на него полагаться и права действовать. Актуальность свидетельств: заверение индексировано временем и портится. Конверты возможностей: заявление о способности без условий и порогов нефальсифицируемо. Множественные исходы разрешения при частичных порядках. Четырёхслойная классификация содержания контракта — законы, допустимость, деонтика, свидетельства. Репозиторий FPF не несёт лицензии, поэтому действует авторское право по умолчанию: идеи принимаются с указанием источника, дословный текст, структура целиком и переименованные сущности не используются. Что эта работа добавляет к обмену — то, чего у FPF по замыслу нет: исполняемый слой принуждения, в котором различения могут чему-то отказать.

Часть III

Терминология и носитель

5. Словарь терминов

Термины ниже имеют нормативное значение только внутри этой статьи. Английский эквивалент дан один раз; далее в тексте используется русский термин. Там, где термин совпадает с термином версии 1, это отмечено; один термин — ложный друг между версиями, и он назван последним.

6. Носитель: утверждение, контекст, ревизия, контракт

Подробное описание. Слева большой прямоугольник «Ревизия (конверт)» с полями идентичности, предшественника, зависимостей, происхождения, полномочий и области действия; внутри него — блок «Полезная нагрузка» со списком строк-утверждений, каждая из которых несёт ключ, субъект, отношение, объект, область действия, модальность, свидетельства и вердикт. Стрелка вправо ведёт к внешнему адресу утверждения — паре из дайджеста содержимого и ключа.

Ревизия несёт тройку идентичности — логический идентификатор, идентификатор ревизии вида id@rN и дайджест содержимого, — обязательную, но допускающую пустое значение ссылку на предшественника (пустое значение означает первую ревизию и есть заявление, а не отсутствие), зависимости с дайджестами, происхождение, класс полномочий и класс доверия к источнику. Канонические байты — отсортированные ключи, компактные разделители, ASCII, только целые числа. Числа с плавающей точкой отвергаются: их представление не одинаково на разных платформах, а дайджест, который нельзя всюду пересчитать одинаково, — не идентичность. Хранилище только дописывается: вторая запись под существующим идентификатором ревизии — ретроспективное изменение, и ей отказано.

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

7. Отсутствие, уверенность и область действия

Отсутствующее не выводится. Правило, которое делает в носителе больше всего работы, — правило об отсутствии. Каждое поле конверта и утверждения классифицировано как обязательное или необязательное, и: обязательное поле отсутствует — типизированный отказ (конверт без версии схемы нечитаем, а не «предположительно последней версии»); необязательное поле отсутствует — U, и U есть содержимое: оно представимо, переносимо и сливаемо. Отсутствующее окно действия означает «временная применимость неизвестна», никогда — «действует всегда». Отсутствующая запись об уверенности означает «заявления об уверенности нет», никогда — уверенность. Реализация, которая показывает отсутствующее значение как значение по умолчанию, изготовила смысл. Объявленная пустота — третье состояние: пустой предшественник, явно пустой список зависимостей, неограниченное окно действия — положительные заявления, отличные от отсутствия, и схема различает все три состояния всюду, где она профилирована смотреть. Это последнее уточнение внесла реализация: тела вспомогательных ревизий не профилированы, и там у валидатора почти нет поверхности отказа; различение обеспечено везде, где есть профиль, а не везде, где его можно вообразить. Открытый пункт: правильно хранить U — не то же, что правильно использовать его там, где решение булево. Фильтр первого шага Резолвера отбрасывает ревизии вне области действия или вне окна действия; ревизию с неизвестным окном нужно либо оставить (считать применимой), либо отбросить (считать неприменимой), и оба выбора разрешают U в значение по умолчанию на фильтре, хотя сохранённое поле этого не делает. Правило такого разрешения не сформулировано ни здесь, ни в описании шага, а место U в трёхсостоянном соединении для этого решения не входит в таблицу вердиктов: там другое соединение над другим множеством значений. Это названо нерешённым, а не исправлено.

Подробное описание. Три равных прямоугольника: отсутствие обязательного поля ведёт к типизированному отказу; отсутствие необязательного поля даёт значение «неизвестно», которое является содержимым; объявленная пустота — положительное заявление, отличное от отсутствия. Подпись внизу повторяет правило: значение по умолчанию вместо отсутствующего — изготовленный смысл.

Уверенность без чисел с плавающей точкой. Уверенность — запись об основании, а не число: основание (измерено, заявлено, выведено), свидетельства, объём выборки. Три причины: канонические байты запрещают числа с плавающей точкой; субъективная вероятность без заявленного метода не несёт проверяемого содержания; прецедент хранилища версии 1 — каждая цифра стоимости помечена как оценённая или измеренная. Если градуированная уверенность когда-нибудь понадобится, документированный шов расширения — целые рациональные числа с объявленным протоколом измерения. Отрицательное наблюдение: полный цикл реализации на реальном содержимом ни разу не надавил на этот шов. Два пробела самого поля. Основание «измерено» с объёмом выборки не несёт числителя: «измерено, 300 из 300» и «измерено, 0 из 300» сериализуются одинаково, и запись не отличает полностью подтверждённую выборку от полностью опровергнутой того же размера. И закон слияния двух записей основания над пересекающимися свидетельствами не сформулирован: два утверждения с объёмом выборки 3 над возможно пересекающимися свидетелями не имеют определённой суммы, так что слияние записей уверенности не определено там, где запись не просто отсутствует с одной стороны. Переименование поля и формулировка закона слияния (или явное объявление, что градации нет) — будущая работа, здесь не предпринятая.

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

Часть IV

Алгебра и инварианты

8. Операции и их законы

Носитель признаёт шесть операций на трёх множествах: контекстах 𝔾, смысловых объектах 𝕄 и множествах ограничений 𝒞. Различение первых двух — определяющее для всего дальнейшего: единый оператор «композиции», склеивающий слияние с присоединением, — то, что делает неформальные алгебраические утверждения о подобных системах недоказуемыми.

Таблица 1. Реестр операций. Стрелка ⇀ обозначает частичную операцию.

Таблица законов — центральный результат статьи. Каждая строка либо доказана, либо опровергнута контрпримером на этом носителе; ни одна не принята по умолчанию. Доказательства даны ниже по тексту; операционные следствия — рядом с ними.

Таблица 2. Законы операций передачи знаний, решённые доказательством или контрпримером относительно определений 1–4.

Слияние

Предложение намеренно сформулировано при фиксированном пине. Между пинами слияние определено лишь тогда, когда пины равны или связаны как предок и потомок; слияние с предком — это слияние на одном пине после явного подъёма: контекст предка переразрешается на снимке потомка, и подъём, при котором хотя бы одна ссылка разрешается иначе, отказывает, а не сливает. Слияние между несвязанными снимками отказывает типизированным отказом: именно здесь «те же слова, другие смыслы» входят в систему, и носитель делает это непредставимым. Обратных операций нет: ничто не удаляет утверждение слиянием; отзыв — отдельный журналируемый акт. Статус реализации: законы полурешётки закреплены тестами, отказ при неравных пинах мутационно доказан; протокол подъёма реализован, но на реальном разошедшемся разрешении в этом цикле не проверялся.

Операционные следствия сформулированы в той области, которую предложение 1 действительно доказывает, — для множества утверждений (A, s) из определения 2, а не для передаваемого пакета: порядок поступления множества утверждений семантически инертен (повторная доставка тех же утверждений — пустая операция, поэтому доставка утверждений «хотя бы один раз» безопасна), а слияние, в котором при пересечении утверждений побеждает последний пишущий, — дефект, а не проектный выбор.

Чего это не покрывает. Пакет, который реально идёт по каналу, — не пара (A, s): он несёт ещё записи о конфликтах, строки дельт, указатели на свидетельства и отказы, а записи подавления после появления никогда не удаляются (раздел 8, «Вывод и старшинство»). Предложение 1 доказывает инертность порядка для множества утверждений и ничего не говорит об этом сопровождающем следе записей. Разметка конфликтов — один проход по тому множеству управляющих утверждений, которое накопилось к моменту запуска; если запустить её дважды на двух разных накоплениях одних и тех же утверждений, на одном пути она может породить запись о конфликте, которую единый проход по объединению никогда бы не создал, а «никогда не удаляется» переносит эту запись дальше. Конкретно: пин s, Γ₁ = {x:⊤@A₁}, Γ₂ = {x:⊥@A₁}, Γ₃ = {x:⊥@A₂}, A₂ ≻ A₁. Разметка Γ₁ ⊕ Γ₂ находит два несравнимых утверждения одного полномочия о x и создаёт запись о конфликте R₁₂; повторная разметка после ⊕ Γ₃ находит, что A₂ выигрывает безусловно, и добавляет запись подавления S, но R₁₂ остаётся («никогда не удаляется»), так что получатель получает {R₁₂, S}. Разметка Γ₁ ⊕ Γ₂ ⊕ Γ₃ одним проходом видит лишь безусловный выигрыш и даёт {S}. Множества утверждений и итоговый вердикт совпадают (предложения 1 и 5); след записей о конфликтах, который увидел бы потребитель, — нет. Статья не доказывает, что след записей о конфликтах не зависит от порядка поступления, а контрпример показывает, что в общем случае он зависит — без дисциплины разметки, заданной как один канонический проход по всему накопленному контексту, а не как накопление при каждом поступлении; такая дисциплина пока не специфицирована. «Порядок поступления семантически инертен» поэтому верно для множества утверждений, которым заканчивает реализация, но не для следа записей о конфликтах, который потребитель читает рядом с ним; потребитель, ветвящийся по наличию конкретной записи о конфликте, а не по итоговому вердикту, читает величину, независимость которой от порядка статья не показала.

Присоединение

Направление каждого отношения — смысл; именно здесь живёт та некоммутативность, которая в смысле действительно есть (это станет существенным в разделе 9). Дисциплина типизации имеет реальный пример: при первых переносах из архива реальное отношение «уточняет» не вошло в закрытый словарь из девяти отношений и было отвергнуто, а не приведено незаметно; оно закодировано более слабым «связано с» с записанной потерей направления, потому что десятое отношение — управляемое изменение словаря, а не решение, принятое посреди переноса.

Применение ограничений и центральный отрицательный закон

Применение ограничений ⊗ прикладывает множество ограничений к контексту и даёт вердикты по действиям. Чистые ограничения действуют пересечением допустимых состояний и не зависят от порядка; переопределения и исключения выражаются только через объявленное старшинство, никогда через порядок применения. Назовём ограничение поточечным, если его выполнение — функция каждого утверждения по отдельности, и глобальным иначе (ограничения кардинальности, взаимное исключение, бюджеты ресурсов, объявленные пары исключения). Для контекста Γ и множества ограничений C запишем verdict(Γ, C) = ⊤, если Γ удовлетворяет каждому ограничению в C, и ⊥ иначе, — вердикт допустимости уровня контекста, по которому действует оркестратор.

Подробное описание. Две строки. В первой контексты из одного утверждения a₁ и a₂, каждый с вердиктом «выполнено», сливаются в контекст из двух утверждений, удовлетворяющих предикату, с вердиктом «нарушено». Во второй контексты из a₁ и из b (не удовлетворяющего предикату), каждый с вердиктом «выполнено», сливаются в контекст с вердиктом «выполнено». Подпись: одни и те же входы дают разные выходы; функции не существует.

Та же конструкция обобщается: для каждого ограничения «не более k» при k ≥ 1 (берём k утверждений, удовлетворяющих P, против k + 1) и для каждого ограничения «не менее k» при k ≥ 2 (берём два непересекающихся множества из k − 1 удовлетворяющих утверждений, каждое по отдельности даёт ⊥, а их объединение удовлетворяет при 2(k − 1) ≥ k; против одного такого множества, объединённого с неудовлетворяющим утверждением, вердикт по-прежнему ⊥, и два объединения заставляют f(⊥, ⊥) быть и ⊤, и ⊥). Ограничение «не менее 1» намеренно исключено из этого семейства: оно композируется как f = ∨, что и есть пример из замечания.

Замечание. Та же конструкция из двух пар проходит для взаимного исключения, бюджетов ресурсов и объявленных пар исключения: у каждого есть пара порознь удовлетворяющих контекстов, чьё объединение нарушает, и другая пара, чьё объединение удовлетворяет. Не всякое глобальное ограничение некомпозиционально: «контекст непуст» (P = ⊤, «не менее 1») композируется как f = ∨, а «никакое утверждение не удовлетворяет P» («не более 0») — как f = ∧; исправленный квантор теоремы уже исключает оба случая. Сила теоремы в том, что покрытые ею ограничения вездесущи, и композициональность поэтому — свойство, доказываемое для каждого ограничения, а не предполагаемое у класса.

Явление стандартно для удовлетворения ограничений; вклад — его формулировка как закона протокола передачи с приложенным контрпримером в обстановке, где соблазнительный некорректный путь (проверка по частям с рекомбинацией вердиктов) — естественное инженерное умолчание. Система версии 1 уже содержала попарный экземпляр как деталь реализации: её проверка конфликтов исключений итерирует по выбранному множеству, отказываясь вычислять вердикт по кандидатам. Реализация версии 2 принимает обе половины: применение ограничений — по всему контексту, повторная проверка после слияния — реализованное правило, старшинство входит только как объявленный частичный порядок, а контрпример теоремы 1 закодирован как проверочный сценарий. Одна оговорка: экземпляр синтетический. Ни одна ревизия архива не несёт непустого списка исключений (проверено пересчётом), так что и собственный отказ версии 1 по конфликту исключений на реальном содержимом никогда не срабатывал; закон доказан и реализован, но «наблюдён на реальном содержимом хранилища» — утверждение, которое пока не может сделать никто.

Конфликт

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

Подробное описание. Треугольник из трёх утверждений: «репликация синхронна» и «репликация только асинхронна» соединены линией с пометкой «конфликт»; «репликация только асинхронна» и «точка восстановления меньше пяти секунд» — также «конфликт»; верхняя пунктирная линия между первым и третьим подписана «совместимы». Внизу — следствие о невиновном утверждении при транзитивной кластеризации.

Код, кластеризующий «компоненты конфликта» транзитивно, отправит в карантин невиновные утверждения. При обнаружении конфликты уходят в карантин, а не отравляют контекст: минимальное конфликтующее множество получает вердикт K и обязательную запись о конфликте с дайджестом; остальной контекст остаётся пригодным. У паранепротиворечивого обоснования есть операционное лицо: остановка всех агентов из-за того, что два агента расходятся об одном факте, — отказ в обслуживании конвейера. Отравление всего контекста остаётся корректной завышенной оценкой и допустимой промежуточной реализацией; что запрещено на любой фазе — молчаливое отбрасывание или автоматическое разрешение. Реализованный проход конфликтов — попарное обнаружение с записями о конфликтах, без транзитивной кластеризации; вердикт K без ссылок на конфликтующие стороны несериализуем (отказ мутационно доказан). Ни один конфликт реального хранилища этот проход пока не задействовал, поэтому вопрос о вычислимости минимальных конфликтующих множеств на практике остаётся открытым наблюдением.

Вывод и старшинство

Вывод ⇒ — замыкание по закреплённым правилам: замыкание зависимостей, обход типизированных отношений, присоединение управляющих норм. Он рефлексивен и транзитивен, но не антисимметричен: две различные ревизии могут быть взаимно выводимы (проекция и её источник утверждают одно и то же), так что ⇒ — предпорядок, и «дедупликация» одного направления теряет связь проекции с источником. Правило разрешения конфликтов: если a # b в пересекающейся области действия и auth(a) ≻ auth(b), то b — и всякий вывод, опирающийся на b, — подавляется в этой области, записывается как запись подавления и никогда не удаляется. Запишем Γ ⊢ x для «x находится в выжившем после подавления замыкании вывода Γ».

Это приоритизированное опровержимое рассуждение — умолчания в смысле Райтера (Reiter, 1980) с приоритетами в традиции Brewka (1994), доказанное здесь напрямую против семантики подавления носителя. Следствие, принятое как схема и обеспеченное: каждое выведенное утверждение несёт своё обоснование — идентификатор правила, идентификаторы посылок, дайджест снимка (дисциплина JTMS; Doyle, 1979), — и контекст с выведенным утверждением без обоснования недействителен (инвариант I2). Старшинство — строгий частичный порядок на классах полномочий, и его нельзя тотализировать: когда два конфликтующих утверждения несут несравнимые полномочия, правильный выход — вердикт K и запись, требующая решения о полномочиях. Изобретённая развязка (порядок файлов, метка времени) — дефект; развязка сама есть смысловой объект — объявленный, версионируемый и цитируемый в записи о разрешении. Реализация обеспечивает семантику порядка и отказ от тотализации (проверено тестом); но старшинство сегодня — объявленный входной параметр вызова, а ещё не хранимый версионируемый смысловой объект; эта половина остаётся названным пробелом.

Вердикты

Множество вердиктов — FOUR Белнапа {⊤, ⊥, U, K} с двумя порядками: порядком истинности и порядком знания (U ≤_k ⊤, ⊥ ≤_k K).

Подробное описание. Слева ромб из четырёх узлов: внизу U («ничего не сказано»), посередине ⊤ и ⊥, наверху K («сказано и то и другое»); вертикальная ось подписана «порядок знания». Справа таблица объединения по знанию с пояснениями и определение предиката «продолжать»: он истинен только при вердикте ⊤; строка о граничной проекции в трёхзначные системы.

Эта строка — формальное содержание фразы «два агента расходятся ⇒ расхождение вычисляется и поднимается, никогда не усредняется и не решается последним пишущим»; U ∨_k v = v — ровно «узнать что-то заменяет незнание». Две дисциплины делают FOUR безопасным на практике и отвечают на реальное возражение (потребитель, ветвящийся на «вердикт равен ⊤», незаметно ошибётся на K): вердикты — закрытое перечисление с обязательным исчерпывающим разбором, а единственный экспортируемый предикат «продолжать» — actionable(v) ⇔ v = ⊤: потребитель, читающий только его, видит отказывающую по умолчанию булеву проекцию и не может неверно обработать K. Для взаимодействия с трёхзначными системами реализована теряющая, но не скрывающая потерю граничная проекция: K выходит как U с обязательным указателем на запись о конфликте, а граничное U без указателя и без заверения «подлинно неизвестно» недействительно; известный конфликт никогда не отмывается в неведение. Существенно: вердикты не истинностно-функциональны над композицией контекстов (теорема 1) — решётка управляет слиянием мнений об одном утверждении, никогда выводом вердикта целого из вердиктов частей.

Шесть стандартных структур смыслового слоя

Смысловой слой — шесть сцепленных стандартных структур: контексты под слиянием — полурешётка с наименьшим элементом; типизированные отношения — малая категория путей; вердикты — билаттиса Белнапа (Ginsberg, 1988); ограничения — антитонное семейство операторов под частичным порядком, немонотонное при умолчаниях; стоимости путей — тропическое полукольцо над направленным графом; свидетельства — аннотации полукольца происхождения (Green et al., 2007). Именование стандартных структур намеренно: каждое имя импортирует известные теоремы и известные реализации. Реализация делит опись так: у первых четырёх есть работающие, проверенные на законах экземпляры; полукольцо стоимости реализовано, но в масштабе не измерено; полукольцо свидетельств остаётся только специфицированным, и каждое его упоминание в статье несёт эту метку.

9. Где алгебра не переносится

Опубликованные материалы Compilence утверждают, что нормативное и фактическое содержание образует некоммутативное полукольцо, и приводят примеры операторов; полная система аксиом отнесена к неопубликованной монографии. Полукольцо требует коммутативного аддитивного моноида, мультипликативного моноида на том же носителе, двусторонней дистрибутивности и аннулирующего нуля (Golan, 1999), поэтому утверждение проверяемо против любого конкретного носителя. Это замечание об атрибуции операторов, а не теорема: состязательное рецензирование показало, что исходная формулировка о двух структурных доказанных отказах преувеличивала — первый пункт ниже есть наблюдение на уровне типов, а не доказательство, а второй — теорема 1 под вторым именем, а не независимый структурный отказ. На носителе этой статьи: во-первых, на носителе нет второго моноида — применение ограничений имеет сигнатуру 𝔾 × 𝒞 → вердикты, а не 𝔾 × 𝔾 → 𝔾, то есть операции не делят носитель (это видно по сигнатурам в таблице 1 и не требует доказательства), и вопрос «дистрибутивно ли ⊗ относительно ⊕» в полукольцевом смысле для этой алгебры не поставлен корректно: нет второй операции 𝔾 × 𝔾 → 𝔾, относительно которой дистрибутивность могла бы выполняться или отказывать; во-вторых, ближайший доступный аналог некомпозиционален (теорема 1) — это повторение, а не второй независимый отказ: теорема 1 уже показывает, что вердикт ⊗ не распределяется по ⊕ в том смысле композициональности, который она определяет, и только в этом смысле пункт добавляет что-либо сверх первого. Третий пункт — диагностический, а не ещё один отказ, и он сохраняется независимо от двух предыдущих: слияние ⊕, единственная операция объединения знания на контекстах, здесь коммутативно (предложение 1). Само по себе это не опровергает их аддитивную операцию; оно поддерживает диагноз: единственный опубликованный ими аддитивный пример — «делегирование при области действия не симметрично области действия при делегировании» — описывает ролеиндексированную композицию понятий, что на этом носителе есть операция присоединения ⊳_ρ, некоммутативная и в нашей таблице законов. Разногласие сводится, таким образом, к атрибуции операторов: что их примеры выставляют как аддитивную операцию, эта алгебра выделяет как присоединение; операция объединения знания, которую эта алгебра называет слиянием, среди их примеров не появляется. Мы не делаем никакого утверждения о неопубликованной системе аксиом: мы показываем лишь, что на нашем носителе опубликованные законы полукольца не выполняются, а единственный опубликованный мотивирующий пример естественно читается как типизированное присоединение, а не слияние. Носитель, на котором это показано, реализован: слияние работает коммутативным и закреплённым за снимком, второй моноид в реализации не появился, а отказ дистрибутивности — исполняемый проверочный сценарий. Методологический вывод шире одного случая: при сравнении алгебр знания атрибуция операторов — какой операции приписан закон — столь же существенна, как сам закон, и таблица законов над конкретным носителем — инструмент, который локализует такие разногласия вместо того, чтобы оставлять их риторическими.

10. Шестнадцать инвариантов

У каждого инварианта есть формулировка и механически проверяемый предикат — инвариант, который никто не может проверить, не инвариант, — и каждый классифицирован по ярусу перехвата: где и насколько сильно нарушение может быть поймано.

• S — невыразимо в схеме: у нарушения нет сериализации; его нельзя даже записать.
• A — проверка при авторстве: отказ при записи в хранилище или в непрерывной интеграции.
• P — проверка при проекции: отказ при выпуске контракта или пакета.
• R — только во время выполнения: обнаружимо только при применении или действии.

Подробное описание. Четыре колонки слева направо — схема, авторство, проекция, выполнение — от сильнейшего яруса к слабейшему; в каждой перечислены инварианты, чьё ядро там исполняется: три в схеме, четыре при авторстве, семь при проекции, два только во время выполнения. Подпись внизу: ярус можно усилить, но не ослабить; I9 исправлен с S на P; один подъярус ещё не реализован.

Реализация может усилить классификацию, но не ослабить; одна классификация — I9 — исправлена с S на P, потому что заявление об исчерпании не устанавливается его сериализацией, а вывод «ни одна не понижена» снят. Остаточный подъярус «ещё нет» один — перекрёстная проверка передачи инварианта I6; гейт связывания I16 реализован как проверка оболочки возможностей, и прежний счёт «двух» этого не учитывал. Подъярус назван в таблице как «ещё нет», а не сглажен. Инварианты I1–I9 управляют любым конформным хранилищем и передачей; I10–I16 возникли из обстановки версионируемого хранилища и из принятых различений FPF.

Таблица 3. Инварианты с ярусом, на котором их ядро исполняется полностью, и статусом реализации на пине доказательств. Формулировки предикатов полностью — в приложении А.

Таблица режет в обе стороны. Три инварианта достигают сильнейшего класса: схема отказывается выразить нарушение. Два (I3, I7) неустранимо привязаны ко времени выполнения: детерминизм и применение дельт — свойства актов, и реализация, заявившая, что сделала их статическими, завышала бы. Нужно назвать ещё одно: классификация создаёт новую единую точку семантического отказа — сами нормативные словари (области действия, области определения и значений отношений, профили). Неверная строка в них незаметно неверно управляет каждым контрактом, спроецированным после неё; смягчение — та же дисциплина, что и для всего остального (версионируемые объекты, наследование, мутационные тесты по классам строк), а остаточная цена — неверные контракты с идеальным аудиторским следом. Этот класс отказа уже не гипотетичен: он произошёл при реализации, когда реестр видов был незаметно урезан относительно спецификации, и первый же кусок реального содержимого, которому понадобился урезанный вид, вскрыл это в течение часа.

Обращение ребра представимо, а не заблокировано одним ярусом S инварианта I6. Замкнутый словарь отношений с различимыми обратными членами блокирует свободнотекстовые отношения и смену типа, но не мешает утверждать «B uses A», когда в реестре лежит «A uses B»: обращённая форма — сама корректный член перечисления. Поймать это может только перекрёстная проверка передачи яруса P, а она «ещё нет»: обращение ребра обнаружимо в принципе, но машинно ещё не отказывается и к продемонстрированным отказам не относится.

Четыре пробела инварианта I5

Состязательное рецензирование нашло в I5 четыре пробела; они названы, а не оставлены неявными. Дрейф MUST→SHOULD, пойманный в разделе 15, нашёл судья, читавший единицы, а не механическая проверка: механическая проверка аудитирует безполевую прозу той же процедурой и поймала бы тот же дрейф и там. Фраза «поле делает такой дрейф машинно-проверяемым» описывает путь отказа самого I5, который на реальном содержимом ещё не срабатывал, а не обнаружение, которое здесь действительно произошло.

(а) Пример нарушения несериализуем. Множество модальностей определения 1 — MUST, MUST-NOT, MAY, SHOULD и пустая модальность; SHOULD-NOT в него не входит. Нарушение «MUST-NOT → SHOULD-NOT» невозможно построить как типизированное утверждение на этом носителе, так что собственный названный пример I5 непроверяем на собственном носителе. Не определён и общий порядок ослабления: считать ли MUST → MAY или MUST → MUST-NOT ослаблением, столкновением или ни тем ни другим, нигде не сказано.

(б) Дерогация — законный путь в обход сравнения множеств. Реальная дерогация (раздел 13) компонует запрет уровня вселенной как «дерогировано и видимо» для получившего грант проекта: поле модальности не меняется (по-прежнему MUST-NOT, так что сравнение множеств в I5 выполнено), но деонтическая сила для этого проекта исчезла по замыслу самой дерогации. I5 проверяет поле, а не силу после дерогации; законный переход MUST-NOT → фактически MAY невидим для неё по построению, а не из-за ошибки, которую механизм не поймал.

(в) Подавление и I5 расходятся в том, что значит «входит». Раздел 8 («Вывод и старшинство») подавляет утверждение низшего полномочия целиком: оно «записывается как запись подавления и никогда не удаляется», но убирается из выжившего после подавления замыкания вывода, на котором определено Γ ⊢ x. Если b — MUST-NOT, подавленный MAY высшего полномочия в пересекающейся области, I5 требует, чтобы b входил в контракт неослабленным, а раздел 8 требует, чтобы b не входил в выжившее замыкание вовсе. Чьему выходу следует выданный контракт, не сказано.

(г) Ни один из пробелов (а)–(в) не задействован ни одним тестом в этой статье; они названы открытыми пробелами I5 и здесь не устраняются.

Часть V

Резолвер

11. Восемь шагов

Resolve(G_s, T) специфицирован в восьми шагах; все восемь реализованы и прогнаны от начала до конца на реальных задачах (раздел 16), с двумя оговорками, названными ниже.

1. Фильтр по области действия. Отбросить ревизии вне области действия задачи и вне окна действия (линейно).
2. Посев. Сопоставить требуемые типы возможностей задачи их поставщикам по индексу; явно названные ревизии-семена присоединить.
3. Замыкание. Ограниченное детерминированное замыкание от посева по закреплённым зависимостям и типизированным отношениям (полиномиально; модель — ограниченный обход в ширину системы версии 1 с типизированными не-ответами).
4. Присоединение норм. Каждое MUST и MUST-NOT, чья область действия пересекает область задачи (инвариант I5 — полнота, не минимальность).
5. Проход конфликтов. Попарный # по замыканию; разрешить по старшинству или поднять K (I4).
6. Редукция. Шаг сокращения по объявленной ступени (раздел 12). Пробел, названный состязательным рецензированием и проверенный на реализации, а не предположенный. Записи K шага 5 цитируют конфликтующие утверждения по дайджесту (I4); если бы редукция могла отбросить одну цитируемую сторону, оставшаяся запись K либо повисла бы (нецитируемый K, который I4 называет несериализуемым), либо исчезла бы вместе с ней, незаметно разрешив то, что I4 требовал поднять. Редукция реализации безусловно сохраняет каждое присоединённое управляющее утверждение (набор MUST и MUST-NOT шага 4) — отсекаются лишь кандидаты-поставщики возможностей, — поэтому конфликт между двумя управляющими утверждениями так затронуть нельзя. Но порождающие механизмы конфликта шире управляющих утверждений (раздел 8: столкновение модальностей, объявленные исключения и столкновение значений на однозначных полях), и конфликт по значению или по объявленному исключению между двумя обычными утверждениями-поставщиками возможностей не показан защищённым тем же способом. Статья этот случай не разрешает: может ли редукция удалить одну сторону неуправляющей конфликтной пары и что тогда станет со ссылающейся записью K — не проверено и не сформулировано, безопасность не подтверждена.
7. Проход вердиктов. ⊗ по редуцированному множеству — после редукции, потому что удаление поставщика при редукции может сломать ограничение, которое выполнялось только благодаря удалённому утверждению: вердикт целого не выводится из вердиктов частей ни при добавлении утверждений (теорема 1), ни при их удалении. Реализация, переставившая шаги 6 и 7, проверяла бы не то множество, которое выпускает.
8. Выпустить или отказать. Контракт с квитанцией (сертификат достаточности, ступень редукции, сохранённые отклонения) или типизированный структурный отказ. Отказ — полноправный исход: агент не стартует.

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

Две оговорки к слову «прогнаны»: проход конфликтов ни разу не срабатывал на реальном содержимом (реального конфликта ещё не возникло; его пути обнаружения и отказа доказаны только на синтетических сценариях), а ступени R2 и R3 редукции не работали на реальном содержимом (раздел 12).

Прогон вскрыл правило, которого в спецификации не было, открытое реализацией, а не спецификацией. Обход замыкания прошёл по закреплённому ребру «выведено из» перенесённой ревизии в замороженный архив и отказал ему как отсутствующему — ни одна часть спецификации не говорила, что Резолвер делает на границе архива. Решение, верное собственному правилу слоя (содержимое архива цитируемо по дайджесту, но идентификаторы архива никогда не всплывают как живые узлы): ссылки, разрешимые в архиве, — листья замыкания, проверенные по дайджесту, записанные в квитанцию, никогда не обходимые и никогда не проецируемые; отсутствующей считается только ссылка, не разрешимая нигде; а цитированный дайджест, расходящийся с архивом, — отказ по двусмысленности, а не выбор «ближайшей версии». Исполняемая спецификация — инструмент, находящий собственные недоспецификации; две другие находки того же рода в этом цикле — незаметно урезанный реестр видов (раздел 10) и ступень редукции без сериализации (раздел 12).

Выборочное раскрытие и почему носитель — ориентированный ациклический граф

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

Принцип действует на двух уровнях в разном состоянии реализации; оба описаны здесь, и ни один не выводится из другого.

Первый уровень — раскрытие контракта знаний (реализовано, измерено). Контракт несёт малую часть ревизий закреплённого хранилища. Наивное прочтение — будто обход отобрал именно эту часть из всего хранилища — неверно, и измерение говорит об этом прямо. Основную долю в каждом контракте составляют управляющие ревизии, присоединённые шагом 4 пересечением областей действия, а не достигнутые обходом; специфичный для задачи остаток мал. Выборочность раскрытия поэтому реальна как правило и почти инертна как величина: граф, до которого доходят корни, неглубок, потому что ни один действующий поставщик не объявляет зависимостей, и размер контракта определяется полнотой, а не охватом. Типизированные остановки ниже — верные утверждения об обходе, которому сегодня почти нечего останавливать. Число отобранных ревизий здесь не приводится: оно относится к более позднему состоянию хранилища, чем пин этой статьи.

Эту поправку стоит назвать, а не молча внести, потому что первой была написана лестная версия: механизм с верным правилом может выполнять почти ничего, а статья, называющая правило, но не измерившая его величину, ничего о нём не установила. Само правило: из пространства, которое можно раскрывать без конца, раскрывать только то, до чего доходят объявленные корни задачи, проверять каждую остановку и записывать, что не раскрыто и почему. Контраст — рекурсивная декомпозиция, в которой каждый узел раскрывается по единому правилу, пока не кончится бюджет: на вопрос «почему эта ветвь не глубже?» там ответ — бюджет кончился. Здесь каждая остановка типизирована, а типизированная остановка — утверждение, которое может быть неверным и поддаётся проверке.

Носитель — ориентированный ациклический граф, а не дерево и не самоподобная декомпозиция, и это делают верным, а не приблизительно верным две строки реализации. Первая — проверка «ревизия уже в замыкании»: ревизия, достижимая двумя путями, раскрывается один раз. Дереву такая строка не нужна; фрактальная декомпозиция раскрыла бы повторяющийся узел заново на каждой ветви, где он встречается, и раскрытое множество посчитало бы его дважды. Вторая — обход идёт по рёбрам разных видов: dependencies и типизированным отношениям uses и derived-from — и типизирует их в ходе обхода, так что неверно типизированное присоединение отказывает всей задаче, а не отсекает ветвь. Ни дерево, ни фрактал так не делают: в них форма раскрытия — свойство раскрывающего, а здесь — свойство раскрываемого графа.

Раскрытие останавливается ровно по трём типизированным причинам, и каждая записывает себя.

1. Лист архива. Закреплённая по дайджесту ссылка, разрешимая в архиве только для чтения, проверяется, записывается в квитанцию и затем не обходится и не проецируется. Это остановка, которая что-то утверждает — это существует и это ровно эти байты, — ничего не раскрывая.
2. Уже в замыкании. Ревизия присутствует и заново не раскрывается. Именно эта строка делает структуру ациклическим графом.
3. Непроброшенная межобластная ссылка. Ревизия вне области σ задачи без заявленного Моста не выпадает тихо из раскрытого множества, а отказывает задаче по I15: граница, которую обход не может пересечь, — отказ, а не молчаливое упущение.

Четвёртая остановка существует и намеренно не входит в эти три, потому что это не правило, а граница. Граничные значения ограничивают глубину и число узлов; упёршись в них, обход выдаёт Search-Incomplete со строкой квитанции «граница замыкания достигнута: неизвестно, а не не нужно». Это различение — весь смысл типизации остановок. Исчерпанный бюджет — факт о поиске, и сообщать его как факт о требовании — «этого было достаточно» — именно тот способ, которым ограниченный поиск превращает собственный предел в ответ. Правило слоя прямолинейно: не сжимать задачу, чтобы она вошла в границу.

Второй уровень — декомпозиция задачи по компетентности (архитектурное намерение, в этом слое не реализовано). Ничто в Резолвере, гейте допуска или цикле не оценивает сложность задачи и не делит её. У блока задачи нет ни родителя, ни потомков, ни поля сложности; записанные допуски плоские. Критерий остановки, который называет принцип, — «достаточно просто для одного простого агента на простой модели» — поэтому изложен как требование, а не как результат. В субстрате есть естественный кандидат на нужную оценку: дистанция компетентности — записанная стоимость пути от профиля исполнителя до того, что требует лист; она построена и в масштабе не измерена. Ветвь останавливалась бы, когда эта дистанция падает ниже объявленного порога, и раскрывалась бы дальше, когда нет, — объявленного, как ступень редукции, и никогда не словом «достаточно». Ничто из этого не исполняется, и статья не заявляет по этому результатов.

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

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

Об имени. «Выборочное раскрытие» — термин из проверяемых учётных данных, где держатель раскрывает подмножество подписанных заявлений ради приватности; механизм здесь иной: выбирает Резолвер, критерий — достаточность для задачи, а не минимальная экспозиция, а проверяемость держится на закреплениях по дайджесту, а не на подписях. Ближайший установленный прототип второго уровня — декомпозиция по необходимости, которая рекурсивно делит подзадачу лишь тогда, когда исполнитель с ней не справился, подстраивая глубину под сложность задачи и возможности исполнителя. Различие в запуске: та линия работ делит после сбоя исполнения, а этот принцип — по предсказанной недостаточности до отправки, что помещает его между декомпозицией по необходимости и маршрутизацией моделей по сложности. Ленивое иерархическое уточнение в действии и планировании разделяет глубину по ветвям и форму алгоритма «в любой момент», но останавливается по бюджету прогонов — это контраст, который проводит раздел. Итеративное углубление и прогрессивное расширение управляются бюджетом по той же причине. На стороне знаний адаптивный поиск решает, когда извлекать, а извлечение пробела как задачи сохраняет неразрешённые пробелы объектами, но ни тот ни другой не пишет обратно в хранилище проверенный артефакт. Единого устоявшегося термина для цепочки «оценить → раскрыть выборочно → обнаружить пробел → временно заполнить и исследовать полностью → исполнить → продвинуть» нет, поэтому за первым уровнем мы сохраняем выборочное раскрытие с оговоркой выше, а второй уровень называем декомпозицией, ограниченной компетентностью.

Чего этот раздел не заявляет — выборочности на уровне отдельного утверждения. Единица проекции — утверждение: это верно для формата и ещё не верно для наблюдаемого поведения. Не заявляет он и никакого результата для второго уровня.

12. Трудность, лестница редукции и запрет слова «минимальный»

Сведение использует только машинерию, которая у носителя уже есть: списки предоставляемых токенов — теперь реальные, а не схематичные: первое реальное наследование этого цикла объявило такой токен, чтобы закрыть дефицит допуска, и реализованная редукция работает покрытием именно по этим токенам. Поправка по итогам пересчёта: более ранний документ этой линии утверждал, что граф уже демонстрирует перекрывающихся поставщиков; это не так. На пине хранилище версии 1 объявляет 22 различных токена возможностей, каждый предоставлен ровно одним логическим идентификатором; действующее хранилище версии 2 на пине добавляет 6 — снова по одному поставщику на токен. Точная минимизация сегодня тривиальна, и R2/R3 остаются незадействованными на реальном содержимом. Утверждение о трудности — о классе задач; оно проявляется именно тогда, когда накапливаются альтернативные поставщики, и это заявленное направление роста графа: потому лестница существует до того, как понадобится. С добавлением замыкания зависимостей задача только твердеет (обобщается в сторону направленных задач Штейнера; приводится как контекст, здесь не доказывается).

Таблица 4. Лестница редукции; все четыре ступени реализованы. Резолвер берёт точную границу из exact(k) и не навязывает умолчание 20: умолчание 20 принадлежит отдельному редуктору свидетельств, а ранний черновик ошибочно приписал его этому резолверу. Коэффициент R2 относится к невзвешенному покрытию поставщиков и не ограничивает стоимость раскрытого контекста; n — число требуемых токенов, а не число артефактов.

Подробное описание. Четыре ступени возрастающей высоты слева направо: R0 только замыкание, R1 отсечение доминируемых альтернатив, R2 жадное покрытие с гарантией ln n + 1, R3 перебор подмножеств поставщиков под границей exact(k) с отказом выше границы и записью исполнения. Заголовок: ступень объявлена, заявление об оптимальности — с целью и областью. Подпись: на пине ступени R2 и R3 не задействованы.

Для R3 пусть P — закреплённые кандидаты-поставщики, U — объявленные требуемые токены, C(p) — токены, которые предоставляет p. Фактически вычисляется целевая функция min_Q⊆P |Q| при условии ⋃_p∈Q C(p) ⊇ U. Если |P| ≤ k, перебор рассматривает каждое подмножество, пропуская проверку покрытия лишь тогда, когда подмножество не меньше лучшего уже найденного покрытия. Ни одно строго меньшее покрытие не пропускается, поэтому возвращённая мощность оптимальна для этой целевой функции. Квитанция — компактная запись исполнения, а не независимо проверяемое доказательство лишь потому, что её счётчик равен 2^|P|: верификатор обязан восстановить кандидатов и покрытие из снимка и повторить поиск.

Это утверждение не распространяется на выданный контекст. В выполненном контрпримере есть поставщик обоих требуемых токенов с тремя зависимостями и два других поставщика, дающих по одному токену без зависимостей. R3 выбирает одного поставщика и выдаёт четыре ревизии; выбор двух других выдал бы две. Значит, минимальность по поставщикам и минимальность проекции различаются ещё до учёта стоимости в токенах. Этот контрпример и отказ ограниченного перебора — регрессионные тесты; из них не выводится никакого производственного спроса на R3.

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

Поскольку точная минимальность трудноразрешима — не вычислима за полиномиальное время, если P ≠ NP, — а заявление об оптимальности без объявленной цели и области нефальсифицируемо, инвариант I9 — заявления об оптимальности с объявленной областью — делает ступень обязательным полем каждого контракта и требует для любого такого заявления явной целевой функции. Отказ буквальной ступени «минимальный» предотвращает неквалифицированную метку ступени, но не устанавливает оптимальность и не запрещает эквивалентное заявление, сделанное через optimum_size; достаточность остаётся относительной к объявленным требованиям. Что контракт может заявлять — «достаточно на объявленной ступени»; R3 вправе заявить минимальное число выбранных поставщиков для закреплённого набора кандидатов — только после завершения ограниченного перебора. Отказ неквалифицированной метки ступени доказан мутационно; каждая проекция, выпущенная для реальных задач, несла свою ступень, но это наблюдение не проверяет оптимальность R3 в производстве. Почему редукция важна: избыточный контекст стоит токенов, внимания (нерелевантные ограничения разбавляют соблюдение релевантных) и экспозиции (ненужный материал расширяет поверхность секретности — редукция есть и требование минимизации данных). И единственная цена, которую редукция тронуть не может, теперь измерена, а не аргументирована: нормы, присоединённые пересечением областей действия, защищены от редукции правилом полноты I5 по замыслу, и прогон на полном хранилище показал цену этой защиты (раздел 16).

У достаточности есть ясный предел: K ⊨ T проверяемо только против объявленных требований. Факт, существующий прозой, но не утверждением, невидим для любого Резолвера, — и это подтвердилось на реальном содержимом: каждая недостаточность проекции, записанная в прогоне, восходила к факту, который никто не утверждал, никогда — к дефекту Резолвера. Размер долга неграфованного содержимого — сам по себе поучительная история об инструментах (раздел 18): на пине архива 14 из 125 опубликованных документов не имеют опорной ревизии графа, по перечислению объявленных идентификаторов (раздел 14). Закрытие этих 14 — предусловие того, чтобы гарантия Резолвера вообще что-то значила.

13. Уровни, композиция и цикл обучения

Пробел (а) — уровни, и специфичное переопределяет общее. Контракты существуют на уровне вселенной проектов, пространства проектов и отдельного проекта, и более специфичное должно уметь переопределять более общее: заявление верхнего уровня может быть расплывчатее или не подходить характеру конкретного проекта. Словарь областей действия на пине этого представить не мог: оси были плоским списком, единственным отношением вложения было «экосистема содержит всё», а межосевое пересечение объявлялось конфликтом — корректно, насколько это шло, но общее и специфичное утверждения сталкивались, и ничто не говорило, кто победил: система производила запись о конфликте там, где имелось в виду переопределение. Требование: уровни — полноправные объекты, упорядоченные вложением; «специфичное над общим» — структурный источник старшинства рядом с объявленным порядком раздела 8, с заранее решённым приоритетом между двумя источниками; переопределение видимо как «переопределено такой-то ревизией», никогда удалением; и различение «связывающее / переопределяемое» с зубами, чтобы проект не мог переопределить MUST-NOT уровня вселенной, «уточнив» его: некоторые утверждения верхних уровней — полы, а не умолчания.

Пробел в слове «заранее решённый», названный состязательным рецензированием и пока не закрытый. «Заранее решённый» называет политику (проверить полномочия, затем уровень), но сам по себе не доказывает, что сочетание — строгий частичный порядок. Старшинство по полномочиям само лишь частичный порядок, и правило, откладывающее к уровню ровно там, где полномочия молчат, может породить цикл: A ≻ B по полномочиям; пары B, C и A, C несравнимы по полномочиям, поэтому их решает уровень; по уровням B ⊐ C ⊐ A. «Сначала полномочия, затем уровень» даёт A ≻ B (полномочия), B ≻ C (уровень, потому что полномочия молчали) и C ≻ A (снова уровень) — цикл в совмещённом порядке из двух по отдельности обоснованных источников. Это не гипотеза относительно собственной конструкции статьи, но на реальном случае оно не воспроизведено, и не показано ни доказательство ацикличности при некотором ограничении (скажем, лексикографическое произведение над полным первым компонентом), ни отказ с обнаружением цикла. Это названный открытый пробел, а не исправленный.

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

Пробел (в) — цикл обучения с размещением по уровням под полномочиями. Наследование ревизий вертикально во времени, не по уровням: артефакт улучшается на месте, но правилу, открытому в одном проекте и на деле держащемуся по всей экосистеме, некуда было идти. Требование, сформулированное независимо от реализации: для каждого смысла-кандидата существует суждение о размещении — вселенная, пространство или проект, — и это суждение должно существовать, быть записанным (с обоснованием, свидетельствами и тем, что обобщение отбросило), быть ограниченным полномочиями и быть опровержимым: понижение и отзыв — полноправные акты, а записанный отрицательный результат блокирует повторное предложение на тех же свидетельствах. Кто выполняет суждение — человек, панель или агент — выбор реализации; предписать класс решателя значило бы датировать результат технологией.

Подробное описание. Слева три уровня один под другим — вселенная, пространство, проект; сплошные стрелки вниз подписаны «композиция», пунктирные вверх — «продвижение». Справа рамка с четырьмя шагами пути отмывания запрета (последний выделен как отказ) и тремя ограничениями, закрывающими его.

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

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

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

Наконец, граница, которую этот раздел не пересекает и которую статья наследует от версии 1: никакое семантическое соответствие — ни присоединённая норма, ни найденный поставщик, ни успешное разрешение — не даёт полномочия действовать. Связывание с конкретной реализацией и авторизация действия остаются отдельными, более поздними границами; гейт допустимости перед деонтикой на этапе связывания (инвариант I16) реализован как проверка оболочки возможностей; семантическое соответствие по-прежнему не даёт полномочия действовать.

Подробное описание. Среда выполнения исполняет контракт через планировщик, исполнителя, проверку и инструменты; наблюдаемость создаёт свидетельства, не меняя контракт; связывание фиксируется записью, разрешение действия — отдельным решением. Схема заимствована из версии 1.

Часть VI

Реализация и оценка

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

14. Что реализовано на пине

Таблица 5. Состояние на пине доказательств. Единственное упоминание роста после пина: каталог отказов, хранилище и реестр соответствия продолжали расти в последующие дни, но только через ту же дверь мутационно доказанных отказов; их текущие значения вычисляются из реализации, а не из этого текста.

15. Оценка формата передачи: четыре меры совместно

Пилот остаётся пилотом. Первые измерения — шесть реальных артефактов передач между агентами (две сессионные передачи, три стадийных снимка, один архив), вручную перекодированных в типизированный пакетный формат самой исследовательской сессией, которая этот формат спроектировала, под правилом полноты: каждая значимая семантическая единица сохранена, нарративная ткань — единственная допустимая потеря. Счёт токенов двумя открытыми словарями BPE (o200k_base и cl100k_base; согласие в пределах 0,3 процентного пункта). Совокупное сокращение, взвешенное по токенам, — 37,9 % (1 − 5604/9018); невзвешенное среднее — 33,5 %; разброс по артефактам — от 19,4 до 51,5 %. Единственная чистая пара «предшественник — наследник» дала в дельта-режиме 57,5 % — при n = 1. Таблица пилота — в приложении В. Числа верны; неверным было их истолкование, и о нём — следующий абзац.

Протокол оценки, записанный до того, как существовало какое-либо кодирование: систематический корпус — каждый восьмой стадийный снимок по отсортированному имени файла из действующего хранилища передач в 116 файлов, без замен, плюс три реальные передачи, произведённые этим же циклом работ; 18 образцов, дайджесты содержимого записаны в манифесте в репозитории, сам корпус не поставляется (внутренние операционные записи). Четыре плеча: автоматический кодировщик пакетов (сильная модель в свежем контексте, получившая только спецификацию кодировщика и правило полноты, не проектировщик формата); базовые линии сжатой прозы и структурированного резюме под той же инструкцией «сохранить каждую значимую единицу»; ручное плечо (соавтор формата) на пересечении из четырёх образцов. Все плечи — то же семейство моделей, что и проектировщики формата; свежий контекст убирает память сессии проектирования, не стиль семейства. Четыре меры сообщаются совместно: ни одна ось не выторговывается незаметно против другой.

Подробное описание. Слева блок корпуса из 18 источников; стрелка к четырём плечам кодирования (автоматический пакет, сжатая проза, структурированное резюме, ручной пакет на четырёх образцах); стрелка к четырём мерам (токены, полнота, нижестоящие задачи, дельты). Внизу перечислены правила честности протокола.

Мера 1 — токены: на этой рамке автоматическое кодирование по спецификации не сокращает, а структурированное резюме без формата справляется лучше. Состязательное рецензирование нашло, что формулировка «утверждение о свойстве формата опровергнуто» преувеличивает относительно рамки выборки, которая измерена: систематический корпус — стадийные снимки и три отчёта того же цикла, а не передачи от сессии к сессии, где лежали два крупнейших сокращения пилота (43,1 и 36,4 %) и весь его дельта-режим; на этой рамке они не опровергнуты, а не проверены. На 18 образцах (источники — 15 201 токен) автоматическое пакетное плечо токены раздуло: 16 360, то есть −7,6 %, длиннее источника на 12 образцах из 18 (худший −25,5 %). Базовая линия сжатой прозы той же модели сократила на 11,9 %, структурированное резюме — на 14,8 %, обе при 100 % измеренной полноты. На единственном корректном сравнении ручного плеча с автоматическим (одно и то же подмножество из четырёх образцов): ручное 38,0 %, автоматический пакет 2,2 %, проза 18,0 %, структурированное резюме 22,9 %. Ручные 38,0 % отстоят от 37,9 % пилота на 0,1 процентного пункта; это совпадение в одной точке при разбросе пилота по артефактам около 12 пунктов — не независимое воспроизведение и не отличимое статистически от случайного совпадения. Подмножество из четырёх образцов к тому же нерепрезентативно для автоматического плеча: на нём оно даёт +2,2 % против −7,6 % по всем 18. Измерение пилота не было неверным: оно измеряло пакеты, закодированные проектировщиками, на артефактах вроде стадийных снимков, и на этой рамке сокращение следовало за кодировщиком — его умением и, как оценивает мера 2, допускаемой им потерей, — а не за форматом. Структурированное резюме, превосходящее автоматический пакет по токенам при равной или лучшей полноте, — неудобный для формата результат. Три причины разделимы в данных по образцам: корпус уже сжат (телеграфный, плотный идентификаторами); правило полноты стоит токенов, когда его обеспечивает кодировщик, не умеющий дёшево судить о значимости; и BPE-токенизация наказывает составные значения через дефис в строчном формате.

Таблица 6. Токены (словарь o200k_base; cl100k_base согласуется в пределах шума) и полнота сохранения значимых единиц источника (recall), совместно. Полнота сохранения: 437 единиц извлечены из источников и типизированы (факт, деонтика, отрицательное заявление, неизвестное, идентификатор); независимый судья оценил каждую как сохранённую, изменённую или потерянную по каждому плечу, видя одно плечо и никогда источник.

Подробное описание. Два столбчатых графика. Слева, для 18 образцов: автоматический пакет −7,6 % (полнота 99,3 %), сжатая проза +11,9 % (100 %), структурированное резюме +14,8 % (100 %). Справа, для подмножества из четырёх образцов: ручной пакет +38,0 % (полнота 82,7 %), автоматический пакет +2,2 %, проза +18,0 %, структурированное резюме +22,9 %.

Мера 2 — полнота сохранения значимых единиц источника: размен, которого пилот не мог видеть. Мера названа полнотой сохранения, а не верностью: состязательное рецензирование нашло, что эти понятия смешаны. Она измеряет со стороны извлечения — каждое суждение начинается с единицы источника и спрашивает, уцелела ли она, — и по построению не видит дополнения, которого источник не разрешал (второй класс отказа из раздела 1 — «дописанный смысл»: проза приглашала вывод, который источник запрещал). Пакет, сохранивший все 437 единиц источника и добавивший выдуманную строку «выведено: X, потому что R(p1, p2)» для правила R, которое на деле не срабатывало, получил бы по этой мере 100 %; ничто ниже не сверяет типизированную строку с её заявленным источником, только единицу источника — с её типизированной строкой. Проход точности — каждая типизированная строка прослеживается до фрагмента источника или помечается как «без источника» — недостающий эксперимент; он здесь не выполнен, и статья не утверждает обратного. Не следует путать эту меру с правилом полноты (I5), которое требует присоединять нормы пересечением областей действия. Автоматический пакет сохранил 99,3 % из 437 единиц; три изменения — оговорка кодировщика, регулярное выражение с изувеченным дефисом и одно настоящее понижение модальности MUST → SHOULD: канонический дрейф, ради отказа которому существует инвариант I5, наблюдённый в природе и пойманный поединичным судейством — которое так же аудитирует и прозу без полей. Поле — то, что делает такой дрейф машинно-проверяемым постфактум; механический отказ I5 на реальном содержимом ещё не срабатывал. Обе базовые линии сохранили 100 % — подлинное свойство выбранного ими мягкого сжатия, согласующееся с тем, как мало они сжали; более ли верна проза по своей природе — вопрос эксперимента с уравненными токенами. Ручное плечо, давшее 38 %, сохранило 82,7 %: слабее всего идентификаторы (7 из 21 изменены — пути и имена файлов схлопнуты в категории), одно понижение деонтической силы через неуместный маркер неопределённости и одно явное «заявлено как не сделанное», смешанное с оградой «не заявлено», — словарная ловушка формата, в которую попал его собственный соавтор. Выигрыш в токенах и правило полноты противодействуют друг другу, и 37,9 % пилота несли эту цену неизмеренной. Сравнение, которое таблица поддерживает, — не «пакеты менее точны, чем проза», а: при почти беспотерном сжатии каждый формат сохраняет всё, и пакет платит больше токенов; при агрессивном сжатии потери пакета становятся измеримыми — и никто не измерял базовые линии при равной агрессии. Сжатие с уравненными токенами между форматами — недостающий эксперимент. Межсудейская проверка: второй независимый судья пересудил два самых плотных образца пакетного плеча (114 единиц) вслепую — 113 из 114 совпали (99,1 %). Число приведено без поправки на случайное согласие, которой оно, как нашло состязательное рецензирование, требует: при собственной доле сохранённых около 99 % два судья, каждый из которых просто отметил бы всё сохранённым, совпали бы примерно с той же долей, ничего не прочитав, так что сырой процент согласия завышает надёжность именно здесь. Проверка не повторялась на ручном плече, где изменены 17 единиц из 104 и расхождение информативно, а согласие на уровне базовой доли было бы низким, — поэтому воспроизводимость показана на лёгком плече, а не на том, где измеренная потеря полноты наибольшая. Коэффициент κ Коэна и дублирование судейства на ручном плече — будущая работа, здесь не предпринятая.

Мера 3 — успех нижестоящих задач: нулевой результат на потолке, у которого нет силы найти что-либо иное. Шесть образцов (каждый третий отсортированного корпуса), по восемь вопросов на каждый, составленных из источника до всякого кодирования (не менее двух деонтических, одного отрицательного заявления, одного открытого неизвестного, одного точного идентификатора; остальные фактические); один артефакт на принимающего агента (полный источник, автоматический пакет, прозаическая базовая линия); слепая оценка: 144 оценки, и три плеча неразличимы — по 47 верных, 1 частичному, 0 неверных, причём частичный — один и тот же вопрос во всех трёх. Это потолок 47 из 48, одинаковый во всех плечах: у теста с такой малой дисперсией нет силы отличить пакет от аккуратной прозы, и такого различия никто не заявляет. По категориям каждое плечо: деонтика 15 из 15, отрицательные заявления 7 из 7, неизвестные 5 из 6, факты 20 из 20 (вопросы про точные идентификаторы засчитаны в фактических). Типизированная передача не ухудшает корректность принимающего агента — как и дисциплинированная проза, не воспроизведшая ни одного класса отказа из раздела 1 на этом наборе вопросов. Две оговорки действуют в противоположных направлениях: кодирования были почти беспотерными, так что это эффект потолка; и вопросы составлялись из одиночных источников, так что они не могут задействовать спроектированные многоконтекстные преимущества формата (проверяемое слияние, поднятие конфликтов, разыменование по дайджесту), которых никакая оценка одиночной передачи не увидит.

Мера 4 — дельта-режим: сужен структурно. 57,5 % пилота (n = 1) расширены до цепочки из пяти последовательных реальных сессионных передач одного рабочего дня, закодированных полно и дельтами против каждого предшественника: все четыре пары вышли длиннее полного перекодирования (52–54 строки полного пакета против 56–62 строк дельты), при 85–95 % подлинно нового содержимого на переход. Сужение структурно: единственная пара пилота была двумя передачами одной задачи, где доминирует стоящий контекст и закреплённые ссылки заменяют пересказ; сессионная цепочка перемежала четыре потока работ, и каждый наследник ронял весь предмет предшественника. Исправленное утверждение: дельта-режим окупается на цепочках передач внутри задачи (подтверждено там на 57,5 %, по-прежнему n = 1) и стоит токенов на перемежающихся многопоточных днях (4 контрпары из 4); базы дельт должны привязываться к логическому идентификатору, никогда к последовательности по часам. Измерение также дало единственную прямую квантификацию границы новизны: 85–95 % каждого перехода — содержимое, которое никакое перекодирование сжать не может.

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

16. Четыре реальные задачи, и их повторный прогон на полном хранилище

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

Четыре задачи были обычной работой того периода, не сконструированными примерами: (1) проверить, что заголовки файлов знаний соответствуют объявленному контракту полей; (2) проверить, актуальна ли карта возможностей репозитория и какие строки в ней нужно создать; (3) написать ревизию роли разработчика для хранилища; (4) проверить контраст цветовых токенов руководства по стилю. Каждую задачу независимо выполняли два исполнителя: один по контрактному конвейеру (допуск, затем исполнение только по проекции), другой по конвейеру свободной ориентировки.

Таблица 7. Параллельный прогон на пине (хранилище из 14 ревизий). Токены — общий расход исполнителя по отчёту среды выполнения.

Гейт допуска: 4 из 4, включая отказы. Два вердикта ⊤ (оба с существующим управляющим ограничением, вошедшим в проекцию пересечением областей действия, без шага курирования) и два вердикта U, каждый называющий недостающий артефакт как пригодную к действию спецификацию авторства. Ни одного ложного ⊤: ни одна задача, допущенная ⊤, не наткнулась на недостающий артефакт посреди работы. Путь отказа пройден на реальных задачах дважды: два U повели исследовательские циклы, закрывшиеся повторным допуском ⊤; между ними созданы три артефакта.

Паритет и две вмятины. Все четыре задачи достигли паритета главных исходов с конвейером свободной ориентировки. Вмятины: детерминированный отрисовщик обрезал значение утверждения на 200 символах посреди предложения, и исполнитель восстановился, только прочитав источник полезной нагрузки, — проекция, более теряющая, чем её ревизия, нарушает I12 по духу; прогон поймал то, чего не поймал тестовый набор; отрисовщик исправлен, проекции перегенерированы, паритет переверифицирован. И вторичное завышение, которым не управлял никакой гейт: один исполнитель контрактного конвейера раздул выход проверки «OK + счётчик» в «каждая строка существует», тогда как проверка нашла 111 существующих строк карты и 4, которые нужно создать; конвейер свободной ориентировки, читавший строки, ответил верно ценой в 1,6 раза больших токенов. Корневая причина: контекст «только проекция» сокращает токены и сокращает способность исполнителя самокорректироваться за пределами спроецированных утверждений; ограничение «неизвестное — не ноль» управляло первичными цифрами, но ничто не управляло утверждениями о непрочитанных данных. Ограничение против завышения нужно включать в саму проекцию.

Токены и фокус. Контрактный конвейер был дешевле на трёх задачах из четырёх (на 5, 38 и 11 %) и дороже на авторской (на 21 %, где гонка и двухуровневый исследовательский цикл добавили накладных); совокупно 235,9 тысячи против 256,9 тысячи токенов (−8,2 %), причём главное здесь — разброс по задачам. Больший, более постоянный эффект — фокус: исполнители контрактного конвейера использовали 3–24 вызова инструментов против 6–53 и никогда не блуждали. Проекции несли 2–4 ревизии (3,7–9,4 КБ) на задачу, каждая с объявленной ступенью редукции.

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

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

Повторный прогон на полном хранилище: вердикты держатся, проекция деградирует

Прогон выше выполнен на почти пустом хранилище (14 ревизий) и с этого места — пилот для контрактного конвейера. После переноса корпуса знаний действующего фреймворка в хранилище (63 ревизии) те же четыре задачи были допущены повторно. (Сам перенос — 41 элемент знаний, прочитанный целиком и перенесённый пятью волнами авторства, — прошёл без единого отказа валидатора. Этот ноль ограничен: валидатор, о котором доказано, что он способен дать отказ, не показан способным поймать каждый класс ошибки, а раздел 16 фиксирует класс — содержимое, неполное относительно собственной нагрузки, — который прошёл все гейты при нуле отказов. Ноль согласуется и с чистым переносом, и с тем же слепым пятном, и одним счётом эти случаи не различить.) Корректность допуска удержалась полностью: 4 верных вердикта из 4, ни одного ложного допуска в масштабе, время допуска ровное — 4–5 мс. Контекст исполнителя не удержался: проекция выросла из-за правила присоединения норм.

Таблица 8. Те же задачи, хранилище из 14 ревизий на пине и из 63 ревизий после переноса корпуса. Единственное измерение статьи не на пине доказательств.

Подробное описание. Слева парные столбцы по четырём задачам: ревизий в проекции 2, 2, 4, 3 на пине против 12, 12, 13, 12 на полном хранилище. Справа две пары полос для задачи 1: проекция 3,7 КБ против 33 КБ (в 8,8 раза), токены исполнителя 38,5 против 50,9 тысячи (+32 %). Подпись: измерение вне пина доказательств; доля балласта — собственный учёт исполнителя.

Отрисованная проекция первой задачи выросла с 3,7 КБ до 33 КБ — в 8,8 раза по записи прогона (округлённые размеры дают 8,9) — для идентичной задачи; стоимость её исполнителя — с 38,5 до 50,9 тысячи токенов (+32 %); исполнитель при этом остался при 5 вызовах инструментов и достиг верного исхода — с ещё более строгой дисциплиной отчёта, чем в пилоте. Собственная инвентаризация релевантности исполнителя (его учёт, не независимый аудит): реальную работу делали 2 из 12 спроецированных ревизий; около 80 % присоединённых норм — балласт для этой задачи. Причина структурна, и её называет собственный механизм статьи: нормы присоединяются пересечением областей действия, экосистема пересекает область любой задачи, а корпус добавил много управляющих ревизий, чья объявленная область — экосистема, тогда как фактическая применимость живёт в их значениях («граничные задачи», «процессы публикации»). Редукция не вправе их убрать: I5 защищает присоединённые нормы от редукции по замыслу. Три проектные композиции на полном хранилище несут 392–425 утверждений (241–258 КБ) каждая — тот же эффект грубых областей, оптом; композиция остаётся дешёвой (29–41 мс), а отношение пересборки к попаданию в кэш (около 12) становится значимым там, где в пилотном масштабе не было. Полнота по пересечению подтверждена как механизм корректности и измерена как расход токенов в масштабе корпуса. Намеченное направление исправления — дисциплина авторства плюс рост словаря: ограничения, чья область действия так же тонка, как их собственные условия применимости, и оси классов задач, которых у закрытого словаря нет. Оно не реализовано: незаметно ослабить присоединение по пересечению значило бы пожертвовать I5, и это решение принимает оператор, опираясь на эту статью. Фокус сохранился; минимальность — нет.

Эти 2 из 12 — не выброс, и общий по хранилищу показатель принадлежит статье, а не файлу оценки. По 63 пробным проекциям 1432 из 1495 спроецированных ревизий — 95,8 % — присоединяются пересечением областей действия, а не потому, что их запросила задача; замыкание не дало ничего, потому что ни один поставщик в действующем хранилище не объявляет зависимостей. Повторное измерение на выросшем хранилище дало ту же долю: это структурное свойство, а не артефакт размера одного хранилища. Это измеренный противовес выборочному раскрытию: выборочность раскрытия реальна, выборочность отбора внутри раскрытого почти отсутствует — специфичной для задачи оказывается примерно одна ревизия типичного контракта. Ответственный механизм — присоединение норм пересечением областей действия, которое защищает I5, так что число — не отчёт о дефекте, а цена полноты по пересечению, названная вслух. Из него следует, что «единица проекции — утверждение» описывает возможность формата, а не наблюдаемое поведение Резолвера: отбор сегодня идёт по ревизиям, не по утверждениям, и статью не следует читать иначе.

17. Что измерения не доказывают

Таблица 9. Границы измерений этой статьи, собранные в одном месте.

Совместное развитие корпуса и проверок: что измерено и что нет

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

Это не проверка законов алгебры. Ни теорема 1, ни предложение 5, ни I4, ни I5 — главные отрицательные результаты частей об алгебре и об инвариантах — не входят в коды, которых достигал более ранний прогон чувствительности с расширенным каталогом; входят ли они в коды, свидетельствованные нынешним прогоном, не перепроверялось. Каталог, который он проигрывает, — коды отказа валидатора, а не таблица законов. Для законов алгебры возражение о совместном развитии остаётся непроверенным этой статьёй; об этом сказано прямо, а не растворено в результате по кодам.

Прогон чувствительности. Результат опубликован в том направлении, в котором он лёг. Часть кодов свидетельствована на реальном содержимом хранилища, остальные этим методом не свидетельствованы вовсе (они сосчитаны и названы, но не отнесены ни к одному ответу). Среди свидетельствованных у части есть свидетельство, вошедшее в хранилище раньше кода, у остальных его нет. Информативно меньшее из отношений, и оно названо вместо лестного: первое содержимое хранилища и валидатор появились одновременно, так что введённый тогда код не может иметь прежнего свидетельства при любом его качестве, — они неразрешимы по построению; смысл имеет доля среди различимых кодов. Для пяти кодов — CHARTER_UNANCHORED, RESTRUCTURE_UNRECORDED, LEVEL_UNREGISTERED, LEVEL_AMBIGUOUS_SPECIFICITY и DEROGATION_SELF_GRANTED — возражение стоит: проверено и не опровергнуто.

Показатели сдвигались между редакциями, и сдвиг в сторону, лестную для замысла, назван, а не поглощён. Весь прирост даёт одна группа — преамбула уровней, которая введена позже всего содержимого, на котором она может сработать: закон, пришедший после всего, что он регулирует, получает на этом тесте безупречный счёт именно потому, что пришёл последним. Это факт о порядке, а не свидетельство того, что закон найден по данным. Пять кодов, на которых держится возражение, не изменились; отношение нельзя поднять, добавляя законы, чей благоприятный счёт гарантирован датой их появления. Один код, RESTRUCTURE_UNAUTHORIZED, вышел из списка стоящего возражения потому, что починили прибор, а не потому, что изменились свидетельства: его единственное прежнее свидетельство было недоступно, пока читатель карты полномочий отказывал на неверной версии схемы исключением, а прогон считает исключение сбоем, а не свидетельством. Ещё два кода перестали быть свидетельствованными, когда в каталог впервые вошла предварительная проверка уровней: новый отказ приходил раньше и вытеснял более точный. Закон, который всё ещё действует, но больше не наблюдаем, — так закон тихо становится украшением, и именно прогон это поймал; наблюдаемость обоих кодов восстановлена. Прежнее, более узкое измерение той же чувствительности сохранено как иная мера: оно описывает чувствительность и порядок предков, а не падение задач, и его отношение не даёт независимости от порядка допуска для результата снятия проверки.

Эксперимент со снятием проверки. Названная задача — получение читаемой Markdown-проекции ревизии существующим отрисовщиком. Это настоящая операция носителя, а не исполнение процедуры, описанной в Навыке, и не работа внешней LLM. Хранилище и реализация заморожены; каждая исходная ревизия обязана отрисоваться успешно. Затем строятся те же структурные возмущения, что и в прогоне чувствительности: отсутствующие или неверно типизированные поля конверта и правки полей в первых трёх утверждениях, с пересчётом дайджеста нагрузки и без него. Каждый кандидат оценивается в контрфактическом снимке в памяти: если остаётся другой блокирующий код, снятие выбранного не допустило ревизию. Иначе настоящий записыватель ревизий запускается дважды во временном каталоге — сначала с обычным валидатором, затем с подавленным отказом одного выбранного кода; прочие проверки исполняются. Свидетельство требует обычного отказа, фактической записи после подавления и исключения неизменённого отрисовщика, читающего записанные байты после снятия подавления. Исключение валидатора — не сбой нижестоящей задачи. Временные первые записи не показывают, что можно перезаписать существующую зафиксированную ревизию: защита «только добавление» не снималась.

Результат. Свидетельствованы три кода: INVALID_STRUCTURE, INVALID_ASSERTION_KEY и INSUFFICIENT_STRUCTURE — отсутствующий вид конверта, отсутствующий ключ утверждения и отсутствующее отношение: после допуска каждое доходит до соответствующего обращения к полю в отрисовщике и вызывает исключение. Все чистые контроли проходят. Шесть кодов — INVALID_DIGEST_MISMATCH, INVALID_ID_FORMAT, INVALID_KIND, INVALID_MODALITY, INVALID_SUCCESSION_SHAPE и INVALID_VERSION_OR_SCHEMA — допускали кандидатов, но сбой отрисовки не наблюдался. Остальные коды не измерены на нижестоящий сбой, и эти исходы разбиты явно: два кода — неблокирующие метки на этом гейте, так что они по построению не могут удовлетворить посылку «отказ — допуск»; у части есть кандидаты, но нет изолированного допуска записывающим; для остальных в этой рамке проб не нашлось отвергающего кандидата, в том числе для проверок слияния, передачи, журналов выполнения и продвижения, для которых запись и отрисовка ревизии — не та операция. Отсутствие в рамке проб — граница измерения, а не свидетельство того, что код лишний или не может быть засвидетельствован.

Границы оракула. Успешная отрисовка — лишь отсутствие исключения; точность смысла этим оракулом не измеряется. Искажённая модальность, схема или дайджест всё ещё могут дать текст, так что прохождение этой задачи безопасности не устанавливает.

Что более сильный эксперимент устанавливает. Ни у одного из трёх свидетельствованных кодов нет падающей исходной ревизии, которая предшествовала бы его применению: все три появились вместе с первым хранилищем. Значит, ни у одного кода снятия проверки в этом прогоне нет исходного свидетельства, предшествовавшего применению, и прежнее отношение различимых кодов не даёт независимости от порядка допуска для нового результата об отказе задачи. Даже существовавший ранее источник установил бы лишь порядок появления источника: испорченный кандидат и сам эксперимент построены позже, а проектировщики проверки могли уже прочесть источник. Независимое авторство корпуса и успех нижестоящей работы LLM остаются неизмеренными. Более широкое утверждение «у каждого кода есть реальная задача, которая падает без него» снято; измеренное утверждение — три кода на этой задаче отрисовки и этой рамке проб. Ни один из экспериментов не оценивает долю производственных задач, которым нужен код.

Четвёртый свидетель потерян из-за более поздней правки, и это результат, а не бухгалтерская случайность. На прежнем пине эксперимент свидетельствовал четыре кода, среди них INVALID_SCOPE; на пине этой редакции — три: INVALID_SCOPE теперь «не измерен» («нет изолированного допуска записывающим»). Причина — замена молчаливого умолчания области вызовом обязательной проверки области: отказ переехал раньше, и код нельзя изолировать маскировкой одного диагностического сообщения, потому что кандидат отвергается раньше, чем до этой проверки доходит дело. Закон не ослаб; он перестал быть отдельно наблюдаемым этой пробой, и счёт приведён к тому, что проба видит сейчас, а не перенесён с пина, который дерево покинуло. Число неизмеренных исходов выросло по той же причине.

18. Ошибка измерения как класс дефекта

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

Таблица 10. Один класс дефекта — переписывание вместо чтения — в шести обличьях. Значения приводятся вместе с тем, откуда они вычисляются, а не сами по себе.

Обобщение уже вошло в конструкцию: инвариант I10 требует, чтобы каждое определение существовало один раз и импортировалось по пину, потому что переписанное от руки определение — ошибка измерения, ждущая расхождения. Первый прогон статической проверки I10 сделал ту же мысль в масштабе, найдя ещё пять молчаливых переписываний списков хранилища в аналитическом коде эпохи версии 1, пропущенных разбором инцидента. Паттерн дотянулся и до исследовательской прозы этой линии: при подготовке статьи каждый переносимый счёт пересчитывался от источника, и четыре расхождения найдены в собственных прежних документах — счёт файлов операционного реестра (записано 136, репозиторий держит 126), число зарегистрированных дефицитов (7 против 8 в реестре), число зависящих строк (около 23 против 115 по разбору таблицы) и заявление о перекрывающихся поставщиках, которых пересчёт не находит. Каждое кураторское итоговое число, которого этот цикл коснулся, было неверным, пока не было пересчитано. Тот же класс живёт и в прозе, написанной в настоящем времени: предложение вида «сейчас батарея зелёная» становится ложным, когда следующий коммит делает его таким, продолжая читаться как факт, — что и есть причина правила одного пина в начале этой статьи. Механизм, к которому привели шесть случаев, — гейт происхождения цифр. Он пересчитывает от объявленного источника на названном пине каждую машинно-выводимую цифру, которую называет эта статья; цифры, унаследованные из измерительных артефактов, он печатает как унаследованные и никогда не засчитывает зелёными. Сам гейт мутационно доказан на подделанном ожидании, исчезнувшем якоре и суженной рамке — потому что проверяющий унаследованных счётов, который ни разу не был показан способным дать отказ, был бы следующим экземпляром этого класса.

Часть VII

Обсуждение, ограничения, заключение

19. Обсуждение

Что установлено. Носитель и шесть операций с законами, решёнными доказательством или контрпримером; четыре из шести алгебраических структур инстанцированы и проверены на законах. Шестнадцать инвариантов, обеспеченные или размеченные по ярусам, с каждым кодом отказа каталога на пине (27 кодов) мутационно доказанным. Наблюдение о трудности, мотивирующее объявленные ступени редукции и ограниченный воспроизводимый оптимум по числу поставщиков — заявления об оптимальности с объявленной областью, без заявления о минимальном итоговом контексте. Замороженный архив и действующее хранилище, демонстрирующие дисциплину хранения. Гейт допуска (допуск знания, а не авторизация эффектов агента), отказывавший там, где должен, и ни разу ложно не допустивший на четырёх задачах. Оценка, установившая, что экономия токенов — не свойство формата (на единственной измеренной паре кодировщиков сокращение следовало за кодировщиком, его умением и допускаемой потерей), что полнота сохранения значимых единиц источника машинно-аудируема на уровне единиц и что типизированная передача не помогает и не вредит корректности принимающего агента на одноисточниковых вопросах. И повторный прогон, установивший цену правила полноты в масштабе корпуса.

Что типизированный носитель показывает без сравнения — четыре вещи, и только они: машинно-проверяемую полноту сохранения значимых единиц источника постфактум (дрейф MUST → SHOULD аудируем единица за единицей, потому что модальность — поле; это не верность в смысле, который увидел бы и выдуманное добавление); гейт допуска (ни одного ложного допуска, каждый отказ называет недостающий артефакт); разрешение гонок записи через дайджесты (две гонки закончились отказом, никогда порчей); фокус исполнителя (3–24 вызова инструментов против 6–53, без блужданий). Не токены. Слово «показывает» взято намеренно вместо «даёт измеримо»: состязательное рецензирование нашло, что прежняя формулировка преувеличивала. Ни одно из четырёх свойств не сравнивалось с передачей с поиском или со стандартным графовым хранилищем под проверкой форм, а два из них — допуск и разрешение гонок через дайджесты — по собственной записи оценки суть свойства хранилища, в которое носитель допускается, и не показаны как требование именно этого формата передачи: если бы такое хранилище давало ту же дисциплину допуска и конкурентности, эти два утверждения пережили бы как свойства хранилища и исчезли бы как утверждения о формате передачи.

Единственное утверждение за пределами носителя. Конструкция теоремы 1 переносима на любую дисциплину передачи, чьё слияние похоже на объединение множеств и чей язык ограничений допускает ограничение кардинальности «не более k» при k ≥ 1: «проверяй части, доверяй целому» некорректно далеко за пределами этого носителя. Переносимость аргументирована, не проверена: ни один второй независимый носитель конструкцию не прогонял.

Собственное открытие, обращённое на эту статью. Русский текст этой статьи написан под контрактом знаний, выпущенным тем же Резолвером: задача «переписать статью» была допущена с семью объявленными типами возможностей и двумя ролями — автора и редактора — в посеве. Проекция несла 32 ревизии, из которых 9 — семена и поставщики, а 23 присоединены пересечением области действия «экосистема»: те же грубые области, которые раздел 16 измерил на четырёх задачах, раздули и контекст, под которым писался этот текст. Статья не является исключением из собственного вывода.

Цены, которые конструкция налагает на себя. Правило спасения — любой некодируемый факт ложится огороженным свободным текстом или явным неизвестным — означает, что формат никогда не теряет больше прозы, только если кодировщики ему подчиняются, а извлечение — измеренное слабейшее звено: потери концентрируются при кодировании (17,3 % единиц в ручном плече), и риск «неверно с момента создания» уже реализовался один раз (раздел 16). Авторство даже не детерминировано: два автора одной модели произвели четыре расходящихся суждения на идентичных входах. Закрытые словари, делающие обнаружение конфликтов разрешимым, — сами единая точка семантического отказа. Зернистость утверждений приглашает инфляцию, уже не гипотетически: автоматические кодировщики раздули пакеты выше источников; смягчение через статистику профилей не реализовано.

20. Ограничения

1. Токен-экономия как свойство формата на рамке, где доминируют стадийные снимки, не подтверждена собственной оценкой: передачи от сессии к сессии, где лежали наибольшие сокращения самого пилота, здесь не проверены; ни одна цифра статьи не должна читаться как заявление о сжатии формата за пределами этой рамки.
2. Независимость оценивающих отсутствует: кодировщики, базовые линии, судьи и принимающие агенты — то же семейство моделей, что и проектировщики формата.
3. Общность не установлена: корпус одной организации, конвенции одной экосистемы, хранилище, в котором каждый токен возможностей имеет ровно одного поставщика, так что случай трудности сегодня пуст и ступени R2/R3 ни разу не работали на реальном содержимом. Корпус к тому же самореферентен: почти все допуски — задачи о самом носителе, и лишь одна продуктовая задача была отказана по названной причине и не допускалась повторно.
4. Части слоя не реализованы или не измерены: старшинство как хранимый смысловой объект не реализовано; перекрёстная проверка передачи (I6) ждёт шва потребителя пакета; полиномы свидетельств не реализованы; слой стоимости реализован, но в масштабе не измерен. Гейт «допустимость прежде деонтики» (I16) на этапе связывания обеспечен как проверка конверта возможностей — прежнее утверждение «потребителя на этапе связывания нет» устарело.
5. Унаследованное содержимое переносится лишь частично: единственный реальный перенос прозаического артефакта чисто разложил шесть деонтических правил и пронёс остальное утверждением объявленного остатка; большая часть архива — прозаической эпохи.
6. Многоконтекстные преимущества не измерены нигде: свойства, ради которых формат проектировался, — именно те, которых оценка одиночной передачи видеть не может.
7. Законы алгебры связывают только этот носитель, за одним аргументированным исключением (конструкция теоремы 1).
8. Возражение о совместном развитии корпуса и проверок для законов алгебры не проверено: прогон чувствительности и эксперимент со снятием проверки касаются кодов отказа валидатора, не теоремы 1, предложения 5 и инвариантов I4 и I5.
9. Механизмы уровней, композиции и цикла обучения реализованы после пина оценки и ни одним измерением не подтверждены.

21. Будущая работа

В порядке доказательного рычага:

1. Сжатие с уравненными токенами между форматами — эксперимент, который решает, окупает ли структура пакета свои токены под давлением.
2. Многоконтекстная оценка: задачи, чьи ответы требуют слить два контекста, поднять конфликт или разыменовать пин.
3. Оценка независимым семейством моделей.
4. Названные пробелы реализации, в этом порядке: старшинство как хранимый объект, перекрёстная проверка передачи (I6), затем слой стоимости в масштабе за пределами немногих взвешенных рёбер, до которых дошла добыча весов из операционных записей. Гейт связывания I16 как проверка конверта возможностей уже реализован, подключён к Резолверу и протестирован: прежнее «ещё нет» не было обновлено.
5. Дисциплина областей действия и оси классов задач — ответ на балласт присоединённых норм.
6. Синтетический публикуемый корпус передач по форме внутреннего.
7. Два аудита до любого депонирования: аудит дат реестра независимых схождений и аудит происхождения текста спецификации относительно репозитория FPF.
8. Отложенная непрерывная геометрия — если и только если её условие (непрерывное вложение с осмысленной интерполяцией) будет выполнено.

22. Заключение

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

Что дисциплина заработала, работая, — не то, что мы отправлялись доказать. Оценка, которую она сделала возможной, опровергла экономию токенов как свойство формата и оценила правило полноты в измеренной полноте сохранения значимых единиц источника; что выжило — довод о проверяемости: четыре вещи, которые носитель показывает без сравнения, — машинно-проверяемая полнота сохранения значимых единиц источника постфактум (не верность в смысле, который увидел бы и выдуманное добавление; дрейф MUST → SHOULD аудируем единица за единицей, потому что модальность — поле, а сам механический отказ, доказанный красным, на реальном содержимом ещё не срабатывал), допуск, разрешение гонок через дайджесты и фокус исполнителя. Самые поучительные места всей линии остаются теми, где ошибались её собственные инструменты и падали её собственные утверждения: шесть раз у инструментов, дважды у заглавных чисел — 37,9 % пилота и 57,5 % дельта-режима. Исправленная ошибка стоит больше, чем подтверждённое ожидание; написанная под собственным контрактом, статья не оказалась исключением из собственного вывода о цене полноты.

Источники

Библиография приводится на английском языке — в том виде, в каком источники цитируются и проверялись. Позиции, помеченные ⟂, — классические результаты, цитируемые в стандартной форме; остальные проверены как разрешающиеся в августе 2026 года. Источники по языкам общения агентов, пересмотру убеждений, агрегированию свидетельств, аргументации и юридическому рассуждению, добавленные во второй редакции, прочитаны по цитируемым разделам в сентябре 2026 года. Пять источников, которые цитировались в тексте, но отсутствовали в списке, — Groth, Gibson и Velterop; Kuhn и Dumontier; Lovász; RDF Dataset Canonicalization; Shapiro и др. — проверены по библиографическим данным издателей, W3C и DOI 7 октября 2026 года.

• Alchourrón, C. E., Gärdenfors, P., Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2):510–530. DOI: 10.2307/2274239.
• Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) (2007). The Description Logic Handbook, 2nd ed. Cambridge University Press. ⟂
• Bao, D., Chern, S.-S., Shen, Z. (2000). An Introduction to Riemann–Finsler Geometry. Springer GTM 200. ⟂
• Barrault, L., Duquenne, P.-A., Elbayad, M., et al. (Meta AI) (2024). Large Concept Models: Language modeling in a sentence representation space. arXiv:2412.08821.
• Belnap, N. D. (1977). A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, Reidel. DOI: 10.1007/978-94-010-1161-7_2.
• Brewka, G. (1994). Adding priorities and specificity to default logic. In Logics in Artificial Intelligence (JELIA ’94), LNAI 838, Springer. ⟂
• Buneman, P., Khanna, S., Tan, W.-C. (2001). Why and where: A characterization of data provenance. ICDT 2001. DOI: 10.1007/3-540-44503-X_20.
• Chudinov, Y. (2026a). Skill Without Training [navigation-index methodology and benchmark]. Zenodo. DOI: 10.5281/zenodo.18944351 (open, CC-BY-NC-ND-4.0).
• Chudinov, Y. (2026b). Dual-Layer SPO Architecture. Zenodo. DOI: 10.5281/zenodo.19261510 (embargoed; public abstract).
• Chudinov, Y. (2026c). Deterministic Inference Engine. Zenodo. DOI: 10.5281/zenodo.19319709 (embargoed; public abstract).
• Chudinov, Y. (2026d). Stationarity by Governance. Zenodo. DOI: 10.5281/zenodo.19367887 (embargoed; public abstract).
• Chudinov, Y. (2026e). Engineering Approximation Stack. Zenodo. DOI: 10.5281/zenodo.19337904 (open, CC-BY-4.0).
• Chvátal, V. (1979). A greedy heuristic for the set-covering problem. Mathematics of Operations Research 4(3):233–235. ⟂
• Compilence, Inc. (2026). Technology Overview; Investor Overview. compilence.com. Accessed August 2026.
• de Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence 28(2):127–162. ⟂
• Dempster, A. P. (1967). Upper and lower probabilities induced by a multivalued mapping. Annals of Mathematical Statistics 38(2):325–339. DOI: 10.1214/aoms/1177698950.
• Dinur, I., Steurer, D. (2014). Analytical approach to parallel repetition. STOC 2014. ⟂
• Doyle, J. (1979). A truth maintenance system. Artificial Intelligence 12(3):231–272.
• Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2):321–357. DOI: 10.1016/0004-3702(94)00041-X.
• Farquhar, S., Kossen, J., Kuhn, L., Gal, Y. (2024). Detecting hallucinations in large language models using semantic entropy. Nature 630:625–630.
• Feige, U. (1998). A threshold of ln n for approximating set cover. Journal of the ACM 45(4):634–652. ⟂
• Finin, T., Fritzson, R., McKay, D., McEntire, R. (1994). KQML—A language and protocol for knowledge and information exchange. Knowledge-Based Systems and Agent Technologies, AAAI Technical Report WS-94-02, pp. 92–102.
• FIPA (2002). FIPA Communicative Act Library Specification, SC00037J, Standard, 3 December 2002.
• Ginsberg, M. L. (1988). Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence 4:265–316. ⟂
• Golan, J. S. (1999). Semirings and their Applications. Kluwer. ⟂
• Green, T. J., Karvounarakis, G., Tannen, V. (2007). Provenance semirings. PODS 2007. DOI: 10.1145/1265530.1265535.
• Groth, P., Gibson, A., Velterop, J. (2010). The anatomy of a nanopublication. Information Services & Use 30:51–56. DOI: 10.3233/ISU-2010-0613.
• Gärdenfors, P. (2014). The Geometry of Meaning: Semantics Based on Conceptual Spaces. MIT Press.
• Horty, J. F., Bench-Capon, T. J. M. (2012). A factor-based definition of precedential constraint. Artificial Intelligence and Law 20:181–214. DOI: 10.1007/s10506-012-9125-8.
• Jeong, S., Kim, H., Park, J. (2025). The algebra of meaning: Why machines need Montague more than Moore’s law. arXiv:2510.06559 (preprint, not peer-reviewed).
• Johnson, D. S. (1974). Approximation algorithms for combinatorial problems. JCSS 9:256–278. ⟂
• Kang, M., Chen, W.-N., Han, D., et al. (2025). ACON: Optimizing context compression for long-horizon LLM agents. arXiv:2510.00615.
• Karp, R. M. (1972). Reducibility among combinatorial problems. In Complexity of Computer Computations, Plenum.
• Kleene, S. C. (1938). On notation for ordinal numbers. Journal of Symbolic Logic 3:150–155.
• Kuhn, L., Gal, Y., Farquhar, S. (2023). Semantic uncertainty: Linguistic invariances for uncertainty estimation in natural language generation. ICLR 2023. arXiv:2302.09664.
• Kuhn, T., Dumontier, M. (2014). Trusty URIs: Verifiable, immutable, and permanent digital artifacts for linked data. In The Semantic Web: Trends and Challenges (ESWC 2014), LNCS 8465, pp. 395–410. Springer. DOI: 10.1007/978-3-319-07443-6_27.
• Lan, Q., Wen, D., Zhang, Z., et al. (2021). What is semantic communication? A view on conveying meaning in the era of machine intelligence. J. Communications and Information Networks. arXiv:2110.00196.
• Levenchuk, A. First Principles Framework (FPF). GitHub: https://github.com/ailev/FPF (repository; no license file — default copyright; cited for ideas with attribution; see part II).
• Liang, J., Xiao, Y., Li, Y., Shi, G., Bennis, M. (2022). Life-long learning for reasoning-based semantic communication. IEEE ICC Workshops 2022. arXiv:2202.01952.
• Liu, X., Trager, M., Achille, A., et al. (2023). Meaning representations from trajectories in autoregressive models. arXiv:2310.18348.
• Lovász, L. (1975). On the ratio of optimal integral and fractional covers. Discrete Mathematics 13(4):383–390. DOI: 10.1016/0012-365X(75)90058-8.
• McCarthy, J. (1980). Circumscription — a form of non-monotonic reasoning. Artificial Intelligence 13:27–39. ⟂
• Merkle, R. C. (1979). Secrecy, Authentication, and Public Key Systems. PhD thesis, Stanford University.
• OASIS (2021). LegalRuleML Core Specification Version 1.0, OASIS Standard, 30 August 2021.
• Peyrard, M., Josifoski, M., West, R. (2024). Agentic AI: The era of semantic decoding. arXiv:2403.14562 (position paper).
• Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic 8(1):219–241. ⟂
• RDF Dataset Canonicalization (RDFC-1.0) (2024). W3C Recommendation, 21 May 2024. D. Longley, G. Kellogg, D. Yamamoto (eds.). https://www.w3.org/TR/2024/REC-rdf-canon-20240521/
• Reiter, R. (1978). On closed world data bases. In Logic and Data Bases, Plenum. ⟂
• Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence 13:81–132.
• Salehi, S., Erol-Kantarci, M., Niyato, D. (2025). LLM-enabled data transmission in end-to-end semantic communication. arXiv:2504.07431.
• Shapiro, M., Preguiça, N., Baquero, C., Zawirski, M. (2011). Conflict-free replicated data types. In Stabilization, Safety, and Security of Distributed Systems (SSS 2011), LNCS 6976, pp. 386–400. Springer. DOI: 10.1007/978-3-642-24550-3_29.
• von Wright, G. H. (1951). Deontic logic. Mind 60(237):1–15.
• W3C (2013). PROV-O: The PROV Ontology. W3C Recommendation, 2013-04-30. https://www.w3.org/TR/prov-o/
• Wang, Z., Wang, Y., Liu, X., Ding, L., Zhang, M., Liu, J., Zhang, M. (2025). AgentDropout: Dynamic agent elimination for token-efficient and high-performance LLM-based multi-agent collaboration. arXiv:2503.18891.
• Widdows, D. (2004). Geometry and Meaning. CSLI Publications.
• Wilson, W. A. (1931). On quasi-metric spaces. American Journal of Mathematics 53(3):675–684.
• Zhang, G., Yue, Y., Li, Z., Yun, S., Wan, G., Wang, K., Cheng, D., Yu, J. X., Chen, T. (2024). Cut the crap: An economical communication pipeline for LLM-based multi-agent systems (AgentPrune). arXiv:2410.02506.

Приложение А. Формальная сводка носителя

Назначение. Зафиксировать словари и поля, на которые ссылаются части III–V, в том виде, в каком они существуют на пине доказательств.

Связь с основной статьёй. Ничего нормативного сверх текста; всё ниже — реестр, из которого текст читает.

А.1. Поля конверта ревизии

Обязательные: версия схемы; вид; логический идентификатор; идентификатор ревизии (id@rN); дайджест содержимого; идентификатор ревизии-предшественника (обязательное поле, допускающее объявленное пустое значение); зависимости (закреплённые дайджестами); происхождение; класс полномочий; класс доверия к источнику; область действия; полезная нагрузка.
Необязательные: «перенесено из» (пин архивной ревизии при переносе); предоставляемые токены возможностей; требуемые токены; исключения; окно действия; уверенность.

А.2. Поля утверждения

Ключ; субъект; отношение; объект; значение; область действия (может только сужать область конверта); модальность; вердикт; свидетельства; окно действия; происхождение (авторское или выведенное); обоснование (у выведенного — правило, посылки, снимок); конфликтует с; переименовано из; слой; замкнутость (для списочных значений); а также поля уровней, появившиеся после пина: переопределяемость, недерогируемость, якорь.

А.3. Закрытые словари

Словарь	Значения на пине
Управляемые виды (7)	Роль, Навык, Блюпринт, Ограничение, Критерий успеха, Политика, Описание возможности — те же семь, что и в версии 1.
Вспомогательные виды	Тип возможности, Свидетельства, Заявление, Дефицит, Кандидат, Манифест замыкания, Конверт выпуска, Запись связывания, Манифест связывания свидетельств, Контракт знаний, Событие полномочий, Бандл разрешения, Запись о конфликте, Запись стоимости, Мост, Заявка на использование моста.
Отношения (9)	uses / used-by, constrains / constrained-by (две пары с различимыми обратными членами), derived-from, part-of, related, supersedes, validated-by. Формы заявлений — отдельное пространство имён, объявляемое профилем вида.
Оси области действия (8)	экосистема, репозиторий, узел, окружение (prod / test / dev), пространство имён, задача, эпик, актор. Правила пересечения: экосистема пересекает всё; одна ось — при равенстве значений; разные оси — объявлены пересекающимися.
Модальности	MUST, MUST-NOT, MAY, SHOULD.
Вердикты	⊤, ⊥, U, K (на проводе: T, F, U, K).
Ступени редукции	только замыкание; отсечение доминируемых; жадное покрытие; точная(k) — перебор подмножеств поставщиков под объявленной границей.
Слои (I16)	законы, допустимость, деонтика, свидетельства; выводятся по умолчанию из полей: модальность → деонтика; формы свидетельств → свидетельства; формы возможностей → допустимость; остальное → законы.

А.4. Профили видов

Вид	Допустимые формы заявлений	Модальность обязательна для
Роль	ответственность, область решений, обязательство, перспектива	обязательство
Навык	шаг процедуры, предусловие, эффект, обязательство свидетельств, требует возможность, отказывает, вход, выход	отказывает
Блюпринт	назначение, элемент, инвариант, допустимая вариация	инвариант
Ограничение	предикат, фаза оценки	предикат
Критерий успеха	предикат приёмки, требуемые свидетельства	—
Политика	правило	правило
Описание возможности	возможность, ограничение, конверт (обязателен: заявление о способности без конверта нефальсифицируемо и отвергается)	—

Общая для всех видов форма — «представление» (заголовок и описание на двух языках). Управляющие виды, чьи деонтические утверждения присоединяются пересечением областей действия: Ограничение, Политика, Критерий успеха.

А.5. Каталог кодов отказа на пине (27)

Класс	Коды (по одному мутационному тесту на каждый)
Конверт (7)	неверная или отсутствующая версия схемы; вид вне реестра; отсутствующее или неверно типизированное обязательное поле; расхождение дайджеста с каноническими байтами; неверный формат идентификатора; нарушение формы наследования; область действия отсутствует или вне словаря.
Утверждения (11)	ключ утверждения отсутствует, неверен или дублирован; свободнотекстовое отношение; форма заявления вне профиля вида (I13); область утверждения шире области конверта; неверная или отсутствующая обязательная модальность; вердикт вне FOUR; вердикт K без закреплённых ссылок на конфликтующие стороны (I4); ссылка на утверждение другой ревизии без дайджеста (I11); ссылка на объект без дайджеста; выведенное утверждение без обоснования (I2); заявление о способности без конверта.
Хранилище и межобъектные (3)	зависимость не разрешается ни в хранилище, ни в архиве (I1); та же ревизия с другими байтами (I8); событие полномочий из версии 2, нацеленное на объект не версии 2 (I14).
Контракт и Резолвер (2)	отсутствующая или неверная ступень, в том числе буквальная ступень «минимальная» (I9); межобластное разрешение без Моста (I15).
Наследование (1)	дрейф ключа утверждения при наследовании без записи переименования.
Алгебра (1)	слияние между неравными пинами снимка.
Слои (1)	расхождение объявленного и выведенного слоя; деонтическая сила на носителе свидетельств; деонтика, выведенная из одних законов (I16).
Мосты (1)	опора на Мост, конечная точка которого вытеснена: опора переходит в K до повторного подтверждения (I15).

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

Приложение Б. Сквозной пример: допуск задачи и контракт

Назначение. Показать один реальный проход Резолвера от задачи до контракта и один проверочный сценарий теоремы 1.

Статус. Реальное разрешение, выполненное для этой статьи; числа — из квитанции этого разрешения, а не из пина доказательств: хранилище к этому моменту выросло, и размер приводится как есть.

Б.1. Задача

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

Б.2. Проход

1. Фильтр по области действия: все ревизии хранилища с областью, пересекающей «экосистему», проходят; отклонения записаны в квитанцию.
2. Посев: для каждого из семи токенов найден ровно один поставщик в области; два семени присоединены. Итого 9 семян и поставщиков.
3. Замыкание: обход зависимостей и типизированных отношений от 9 семян; 14 ссылок разрешились в замороженном архиве — они проверены по дайджесту, записаны в квитанцию как листья и не спроецированы.
4. Присоединение норм: 23 ревизии управляющих видов с областью действия «экосистема» присоединены пересечением — политики публикации и внешних действий, руководство по стилю, ограничение «неизвестное — не ноль» и восемнадцать ограничений и политик фреймворка, из которых на написание статьи влияют два.
5. Проход конфликтов: попарный, конфликтов не найдено (в хранилище до сих пор не возникло ни одного).
6. Редукция: ступень «жадное покрытие»; при одном поставщике на токен удалять нечего.
7. Проход вердиктов: по редуцированному множеству; вердикт задачи ⊤.
8. Выпуск: контракт из 32 ревизий и квитанция с пином снимка, ступенью, отклонениями, листьями архива и 10 обязательствами по свидетельствам, унаследованными из спроецированных навыков (таблица претензий с вердиктом на каждую; отчёт проверки с источниками; список найденных машинных оборотов с счётчиками; числа только из первичных источников; проверенные ссылки; заявление «находок нет» только после опровержения самой важной посылки; для каждой отклонённой находки — сценарий, в котором она случается).

Одно измерение, которое этот проход дал сам по себе: 9 из 32 ревизий проекции — то, о чём задача просила; 23 присоединены областью действия «экосистема». Это отношение — раздел 16 в миниатюре, на задаче, которая не имела отношения к тем четырём.

Б.3. Как выглядит отказ

Та же задача с семенем, указывающим на роль автора в её архивной ревизии (до её переноса в действующее хранилище), получила вердикт U с одной названной причиной — «семя не в хранилище» — и спецификацией авторства вместо контракта: перенести ревизию или исправить семена. Гейт не выбрал «ближайшую версию» и не спроецировал архивный лист как действующий узел. После переноса роли задача была допущена повторно; повторный допуск записан как новая запись журнала, а прежний контракт — как вытесненный, не переписанный.

Б.4. Проверочный сценарий теоремы 1

Ограничение c: «не более одной агентной полосы одновременно трогает состояние промышленной среды». Контекст Γ₁ = {полоса A трогает промышленную среду}; Γ₂ = {полоса B трогает промышленную среду}. Порознь: verdict(Γ₁, {c}) = ⊤, verdict(Γ₂, {c}) = ⊤. Слияние: Γ₁ ⊕ Γ₂ содержит два утверждения, удовлетворяющих предикату, и verdict = ⊥. Контекст Γ′₂ = {полоса B пишет в тестовую среду}: порознь ⊤ и ⊤, слияние ⊤. Реализация хранит обе пары как исполняемый тест: оркестратор, рекомбинирующий вердикты частей, на первой паре выдал бы ⊤ и был бы неправ. Экземпляр синтетический: ни одна ревизия архива не несёт непустого списка исключений.

Приложение В. Протокол оценки и полные таблицы

Назначение. Дать протокол раздела 15 в форме, которую другая сторона могла бы перезапустить, и таблицы, не поместившиеся в текст.

Статус. Протокол записан до того, как существовало какое-либо кодирование; корпус не поставляется (внутренние операционные записи), манифест его дайджестов — поставляется.

В.1. Корпус

Популяция А — стадийные снимки действующего хранилища передач (116 файлов): по отсортированному имени каждый восьмой, начиная с первого, без замен — 15 образцов, включая короткие у пола идентификаторов. Популяция Б — три реальные передачи, произведённые самим циклом работ (листок фактов для панели из четырёх участников и два финальных отчёта авторских волн). Итого 18. Шесть образцов пилота не пересчитывались; пилот остаётся пилотом.

В.2. Плечи и меры

Четыре плеча (раздел 15) видят один и тот же источник и ничего больше; одно семейство моделей для всех, чтобы сравнение было «формат против формата», а не «модель против модели». Четыре меры. Токены: два словаря BPE, по образцам, никогда только в совокупности. Полнота сохранения значимых единиц источника: судья извлекает значимые единицы из источника и типизирует их — это мера со стороны извлечения, выдуманное добавление она не видит; независимый проход оценивает каждую как сохранённую, изменённую или потерянную по плечу, видя одно плечо и никогда источник; выживание модальности и отрицательных заявлений сообщается отдельно — это инварианты I5 и I2, измеренные эмпирически. «Ничего не потеряно»: доля изменённых и потерянных единиц; для пакета — соответствует ли каждая потеря нарушению правила спасения. Успех нижестоящих задач: подмножество каждого третьего образца, восемь вопросов, один артефакт на принимающего агента, слепая оценка. Правила протокола: ни один образец не отброшен после жеребьёвки; отказы кодировщиков — результаты; каждое число регенерируется из хранимой в репозитории тестовой обвязки и локального корпуса.

В.3. Пилот, дословно

Передача	Байты прозы	Байты пакета	Токены прозы	Токены пакета	Сокращение
стадийный снимок 1	2330	1454	614	482	21,5 %
стадийный снимок 2 (заблокированная задача)	2683	1685	708	571	19,4 %
стадийный снимок 3	4248	1769	1311	636	51,5 %
архив задачи	2648	1559	786	556	29,3 %
сессионная передача 1	10700	5775	2976	1692	43,1 %
сессионная передача 2	9315	5215	2623	1667	36,4 %
Итого			9018	5604	37,9 %

Таблица В.1. Пилот, шесть артефактов, ручное кодирование проектировщиками формата; словарь o200k_base (итог cl100k_base — 38,1 %). Дельта-режим на единственной чистой паре: 2623 токена полного пересказа против 1116 токенов дельты, 57,5 %, n = 1.

В.4. Полнота сохранения по типам единиц (автоматический пакет)

Факты 250 сохранено / 1 изменено; идентификаторы 77 / 1; деонтика 45 / 1; отрицательные заявления 43 / 0; неизвестные 19 / 0. Всего 437.

В.5. Нижестоящие задачи

Плечо	верно	частично	неверно	деонтика	отрицательные	неизвестные	факты
Полный источник	47	1	0	15/15	7/7	5/6	20/20
Автоматический пакет	47	1	0	15/15	7/7	5/6	20/20
Прозаическая базовая линия	47	1	0	15/15	7/7	5/6	20/20

Таблица В.2. 144 оценки; частичный ответ — один и тот же вопрос во всех трёх плечах.

В.6. Цепочка дельт

Пара	Строк полного пакета	Строк дельты	Подлинно нового содержимого
1	53	62	≈ 85–90 %
2	53	58	≈ 90 %
3	52	56	≈ 90 %
4	54	58	≈ 90–95 %

Таблица В.3. Пять последовательных сессионных передач одного дня, четыре пары; каждая дельта длиннее полного пакета.

В.7. Угрозы валидности

• Ручное кодирование проектировщиками — уже не угроза, а объяснение пилота: независимый кодировщик не сузил сокращение, а перевернул его знак. Согласие кодирования между независимыми кодировщиками остаётся неизмеренным за пределами одной пары.
• Отбор — исправлен систематической выборкой без замен; шесть образцов пилота остаются кураторской выборкой.
• Рамка выборки токенов — стадийные снимки; передачи от сессии к сессии не проверены, а не опровергнуты. Совпадение ручных 38,0 % с 37,9 % пилота — одна точка при разбросе около 12 пунктов, не независимое воспроизведение.
• Полнота сохранения — мера со стороны извлечения; выдуманное добавление она не видит, а проход точности не выполнен. Согласие второго судья приведено без поправки на случайное согласие и проверено только на лёгком плече.
• Нижестоящее измерение — закрыто нулевым результатом с эффектом потолка (47 из 48 в каждом плече) и одноисточниковыми вопросами; у такого теста нет силы отличить пакет от прозы.

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

  Проверить наличие отпечатка — не значит проверить его истинность. RDF и JSON-LD могут нести дайджест как литерал, а SHACL Core — требовать его наличия и корректного вида, но Core не определяет вычисление хеша. Ограничения SHACL-SPARQL могут использовать SHA256 из SPARQL 1.1; проверка привязки требует самих канонических байтов содержимого и закреплённой канонизации. Стандарт RDFC-1.0 уже задаёт такую канонизацию, а Trusty URI и нанопубликации составляют проверяемую по отпечатку привязку происхождения на уровне утверждения. Такой стандартный стек ближе к работающей альтернативе, чем допускало первое сравнение. Открыт вопрос стоимости написания и проверки оставшихся законов и инвариантов сверх этого стека; здесь она не измерена.

  Что опровергло бы вклад. Для каждого сравнения источник задаёт проверяемое условие:

  • Передача с поиском. Один набор задач со слиянием или выявлением конфликта выполняется дважды: с поиском и с пакетом, с судейством вне семейства моделей. Если поиск выявляет конфликты и честно сообщает об отсутствии знания не хуже пакета при равной или меньшей стоимости, предпосылка, что эти свойства надо переносить, а не запрашивать, опровергнута.
  • Стандартный графовый стек. Один реальный контракт выражается в RDF или JSON-LD с дайджестами и четырёхзначным словарём; SHACL проверяет его, а ограничения SPARQL покрывают то, чего не достигает Core. Если такой стек обеспечивает эти инварианты, включая проверку самого содержимого по привязке, при сопоставимой стоимости написания, вклад сужается до набора инвариантов, а носитель оказывается повторной реализацией.
  • Инструменты по требованию. То же сравнение и то же условие опровержения, что у передачи с поиском, но вместо извлечения текстовых фрагментов — типизированный доступ. Отдельного условия опровержения это плечо не добавляет.
  • Равный бюджет токенов. Протокол повторяется с одинаковыми бюджетами для форматов. Если проза сохраняет значимые единицы источника не хуже пакета при равном числе токенов, опровергнуто и утверждение о верности передачи, пережившее токенное измерение.

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

• Прокси токенизатора — два открытых словаря вместо проприетарного токенизатора принимающих моделей.
• Одна экосистема; одно семейство моделей всюду — глубочайшая остаточная угроза, изнутри одного семейства не смягчаемая.
• Самореферентный корпус — острее, чем «одна экосистема»: почти все допуски — задачи о построении, измерении и управлении самим носителем; ровно одна продуктовая задача получила U (устав отсутствует) и не допускалась повторно. Система показала, что допускает задачи о себе, и имеет одну записанную попытку допустить задачу о другом, отказанную по названной верной причине.
• Совместное развитие корпуса и проверок — прогон чувствительности и эксперимент со снятием проверки касаются кодов отказа, а не законов алгебры; для законов возражение не проверено (раздел 17).
• Четыре задачи с оркестратором как арбитром — утверждения существования, не частоты.

Приложение Г. Воспроизводимость и пин доказательств

Назначение. Сказать, что именно зафиксировано и когда, что переисполнимо и что сегодня блокирует независимую сторону.

Г.1. Что зафиксировано

Пин архива версии 1 — состояние хранилища версии 1 на 29 августа 2026 года, после которого оно закрыто: манифест SHA-256 над всеми его файлами проверяется в непрерывной интеграции. Все счета раздела 14 о версии 1 взяты там.
Пин доказательств версии 2 — состояние реализации, действующего хранилища и результатов оценки на 30 августа 2026 года: один коммит приватного репозитория, в котором тестовая обвязка покрытия отказов была переисполнена, гейты инвариантов зелёные, а измерения разделов 15 и 16 (первый прогон) закрыты. Все числа о реализации и оценке взяты там.
Полное хранилище — состояние 31 августа 2026 года после переноса корпуса (63 ревизии), на котором выполнен повторный прогон четырёх задач. Единственное измерение вне пина доказательств.
Дайджесты этих трёх состояний, вместе с аудиторским пакетом (загрузчики хранилища, валидатор, гейты, перепись, измерительные тестовые обвязки с манифестами, реестр независимых схождений), предоставляются рецензенту по запросу; в публичной статье они не приводятся, потому что для читателя вне нашей инфраструктуры строка шестнадцатеричных знаков неразрешима.

Г.2. Что переисполнимо

Класс артефакта	Переисполнимость	Что было переисполнено для этой редакции
Счета и заявления об обеспечении (версия 2)	Регенерируются из хранимой в репозитории реализации и её набора тестов.	Полный прогон покрытия отказов; гейты инвариантов; тест двойного прогона; пересчёт хранилища.
Счета версии 1	Зафиксированы байтовой заморозкой; перезапускаемы идентично на пине.	Загрузчики — да; перепись рёбер и мутационная тестовая обвязка версии 1 — нет.
Оценка формата	Регенерируется из хранимой в репозитории тестовой обвязки и манифеста дайджестов плюс корпус на измерительной машине.	Числа регенерированы; двухкомандный путь пилота дословно не переисполнялся.
Измерения второй редакции	Прогон чувствительности и эксперимент со снятием проверки перезапускаются командой пересчёта из репозитория, требующей равенства всей квитанции; в сопроводительных материалах — хэши входов, чистые контроли, исходы по кодам и примеры, а также перечень всех кодов с исходом и причиной. Они не превращают исторические записи токенов исполнителей в свежие измерения; ни эксперимент, ни проверка происхождения цифр не публикуют рукопись и не проверяют развёрнутую страницу.	Описано в сопроводительных материалах; в рамках этой страницы не переисполнялось.
Четыре задачи и повторный прогон	Записи закоммичены; критерии успеха предшествуют измерениям в истории.	Первый прогон — на пине; повторный — на полном хранилище.

Г.3. Что блокирует независимую сторону

Корпуса передач (шесть пилотных, 18 оценочных) — внутренние операционные записи с именами узлов, контекстом учётных данных и деталями инфраструктуры; выпущены быть не могут. Что можно выпустить взамен — синтетический корпус той же формы вместе с немодифицированной тестовой обвязкой; его построение названо будущей работой. Репозиторий реализации приватен; аудиторский пакет может быть подготовлен для рецензента по соглашению. До депонирования нужны два аудита: датированные записи реестра независимых схождений не перепроверялись против их дат, и аудит происхождения текста спецификации относительно репозитория FPF не проводился. Все ссылки на внешнюю литературу проверены как разрешающиеся в августе 2026 года; источники второй редакции по языкам общения агентов, пересмотру убеждений, свидетельствам, аргументации и юридическому рассуждению прочитаны по цитируемым разделам в сентябре 2026 года; классические источники, помеченные в библиографии знаком ⟂, повторно не выкачивались.

Приложение Д. Соответствие версии 1

Назначение. Дать читателю, пришедшему от версии 1, ответ на каждый из её семи открытых вопросов и таблицу соответствия терминов.

Д.1. Семь открытых вопросов версии 1

Вопрос версии 1	Состояние в версии 2	Где
Полномочия: как связать срезы полномочий и политик, гранты, делегирование, отзыв и разделение обязанностей без скрытой модели доступа внутри контракта	Продвинуто, не закрыто: неимпортируемость полномочий обеспечена; дерогация действует только через журнал полномочий; поле полномочий в записи никогда не самодостаточно; цикл обучения не может приобрести полномочия. Делегирование и отзыв не смоделированы; гейт этапа связывания обеспечен как проверка конверта возможностей (I16). Композиция «сначала полномочия, затем уровень» не доказана ациклической — открытый пробел.	Разделы 10 (I14), 13
Свидетельства: какие проверки достаточны для каждой пары «тип × риск»	Продвинуто, открыто: уверенность — запись об основании; актуальность свидетельств принята; матрицы «тип × риск» нет; алгебра свидетельств специфицирована, не реализована.	Разделы 7, 8 (опись структур)
Квитанция: канонизация идентичности, неопределённости, неполноты поиска и приватности	Структурно отвечено: квитанции — канонические байты с дайджестом; неизвестное — содержимое с заверениями «подлинно неизвестно», отработавшими на реальном содержимом; отказ — полноправный типизированный исход; манифесты дайджестов закрепляют содержимое, не поставляя его.	Разделы 6, 11, 16; приложение Г
Фальсификация: что пререгистрировать	Отвечено действием: правило корпуса и критерии успеха зафиксированы в репозитории до существования измерений, опровержения опубликованы как главный результат. Формальным реестром пререгистрации это не является.	Разделы 15, 16; приложение В
Независимость управления: что предотвращает самоодобрение производителя	Закрыто в механизменной форме: полномочия приходят только из журнала; продвижение, ослабляющее верхний запрет, требует полномочий автора этого запрета, не приобретаемых через обучение; недерогируемые утверждения отвергают любое обоснование. Реализовано после пина.	Раздел 13
Тип возможности: когда полноправный статус оправдан	Закрыто как критерий: предлагаемый вид обязан продемонстрировать поверхность отказа, недостижимую через существующие заявления плюс закреплённый валидатор. Критерий выведен при решении вопроса о шаблонах; реестр видов остался семью.	Раздел 7 (профили), приложение А
Композиция и раскрытие: межконтрактные конфликты без раскрытия секретов	Продвинуто: композиция реализована как проверяемое целое с повторной проверкой, предписанной теоремой 1; половина о раскрытии — редукция как минимизация данных и манифесты дайджестов — не доходит до приватность-сохраняющей межконтрактной проверки, которая остаётся открытой.	Разделы 12, 13; приложение Г

Д.2. Соответствие терминов

Версия 1	Версия 2	Что изменилось
Управление смыслами как слой; смысловое обязательство уровня документа	Носитель уровня утверждений	Единица алгебры и проекции — утверждение, а не документ; слой и его границы (связывание, авторизация) сохранены.
Резолвер: пять стадий (предложить, проверить, выбрать, собрать и выпустить, связать)	Резолвер: восемь шагов до выпуска или отказа	Пятистадийный протокол историзирован как механизм хранилища версии 1; связывание — по-прежнему более поздняя граница.
Контракт знаний — неизменяемый семантический срез с точными версиями	Контракт знаний — контекст плюс квитанция, с объявленной ступенью редукции	Тот же объект, единица проекции мельче; квитанция несёт конфликты, отказы и ступень.
Семь типов управляемых артефактов (Variant A)	Семь управляемых видов	Без изменений; профили видов задают допустимые формы утверждений.
Карантин — удержание свежепринятого знания до проверки	Карантин — режим конфликтов (вердикт K с записью)	Ложный друг: два разных понятия под одним словом.
Дефицит и виды дефицита; расширение и эволюция	Типизированные отказы Резолвера с именованными недостающими артефактами; наследование ревизий; уровни и цикл обучения	Отказ — полноправный исход и называет недостающее; эволюция знания — наследование, а после пина — размещение по уровням под полномочиями.
Связывание и авторизация как отдельные границы	Без изменений	Гейт связывания обеспечен как проверка конверта возможностей (I16); семантическое соответствие никогда не даёт полномочия действовать.
Девять гипотез и девять протоколов, не исполненные	Четыре меры оценки, четыре реальные задачи, повторный прогон	Пререгистрационная программа версии 1 не исполнялась как таковая; проверка версии 2 — своя, с записанными до измерений критериями.