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

Отношение к версии 1

Версия 1 специфицировала концептуальную архитектуру — Управление смыслами как слой жизненного цикла task-specific смысловых обязательств, с Резолвером внутри этого слоя и связыванием и авторизацией как отдельными последующими границами — и пререгистрировала эмпирическую программу, которую явно не выполняла. Версия 2 сохраняет эту декомпозицию: её восьмишаговый Резолвер заканчивается на выпустить-или-отказать, связывание остаётся более поздней границей (его гейт конвертов возможностей специфицирован и ещё не реализован, и назван таковым), и никакое семантическое соответствие никогда не даёт авторизации. Что изменилось: единица алгебры теперь — типизированное утверждение, а не обязательство уровня документа; пятистадийный Резолвер v1 историзирован как механизм хранилища v1 (§8.1, с его операционной записью, исправленной в §8.11); и законы доказаны или опровергнуты на реализованном носителе, а не приняты на веру. Один термин — ложный друг между версиями: «Quarantine» v1 — состояние удержания свеже-принятого знания в Expansion; «карантин» v2 — механизм конфликтов, дающий минимальному конфликтующему множеству утверждений вердикт K, пока остальной контекст остаётся пригодным.

Версия 1 закрывалась семью объявленными открытыми исследовательскими вопросами. Читатель, пришедший от неё, заслуживает обхода — вопрос за вопросом, против этой версии в опубликованном виде:

1. Authority (AuthorityCut/PolicyCut, гранты, делегирование, отзыв, сегрегация без скрытого IAM внутри контракта) — продвинуто, не закрыто: неимпортируемость полномочий обеспечена (I14, §5), дерогация в силе только через журнал полномочий, и поле полномочий в записи никогда не самодостаточное заявление (§9.1), а путь обучения не может приобрести полномочия (§9.1); делегирование и отзыв остаются несмоделированными, и гейт этапа связывания — названный NOT-YET (§5, I16).
2. Evidence (какие проверки достаточны для каждой пары «тип × риск») — продвинуто, открыто: уверенность — запись об основании (§3.3), актуальность свидетельств принята (§2.9), но матрицы тип×риск не существует, и алгебра свидетельств специфицирована, не реализована (§4.10).
3. Receipt (канонизация identity, uncertainty, Search-Incomplete и privacy) — структурно отвечено: квитанции — дайджест-идентифицированные канонические байты (§3.5), неизвестные — это содержимое, с заверениями подлинно-неизвестного, отработавшими вживую (§8.5), отказ — первоклассный типизированный исход (§6.1), а дайджест-манифесты закрепляют содержимое, не поставляя его (§10).
4. Falsification (что пререгистрировать) — отвечено действием: правило корпуса оценки и критерии успеха параллельного прогона были закоммичены до существования каких-либо измерений (§8.4, §8.5), и опровержения опубликованы как главный результат; формальным реестром пререгистрации это не является, и текст эту разницу не размывает.
5. Governance independence (что предотвращает само-одобрение производителя) — закрыто в механизменной форме: полномочия приходят только из журнала, продвижение, которое ослабило бы верхний запрет, требует полномочий автора этого запрета — не приобретаемых через путь обучения, — а недерогируемые утверждения отвергают любое обоснование (§9.1, реализовано с доказанно-красными отказами).
6. CapabilityType (когда первоклассный статус оправдан) — закрыто как критерий: предлагаемый вид обязан продемонстрировать поверхность отказа, недостижимую через существующие заявления плюс закреплённый валидатор (отчеканенный инвариант управления реестром из §9.2), а любое размещение выученного смысла по уровням ограничено полномочиями и опровержимо (§9.1). Более ранняя редакция этой страницы приписывала закрытие одному циклу обучения; несущая половина — критерий §9.2, и это предложение — исправление.
7. Composition/disclosure (межконтрактные конфликты без раскрытия секретов) — продвинуто: композиция реализована как валидируемое целое, с ре-валидацией, предписанной теоремой 1, и ключом кэша, покрывающим каждый вход (§9.1); половина о раскрытии — дайджест-манифесты, редукция как минимизация данных (§6.3, §10) — не доходит до приватность-сохраняющей межконтрактной проверки, которая остаётся открытой.

Аннотация

Системы взаимодействующих LLM-агентов обмениваются состоянием в виде прозы. Прозаические передачи теряют деонтическую силу, инвертируют направления отношений, приглашают читателя заполнять пробелы значениями по умолчанию и оставляют внутреннюю целостность хранилища знаний непроверяемой. Мы представляем субстрат знаний, в котором единицей обмена является контекст (context) — конечное множество типизированных, снабжённых скоупом утверждений (assertions) под пином снапшота, — переносимый на неизменяемых, закреплённых дайджестом, только-дописываемых (append-only) ревизиях, причём каждый алгебраический закон операций передачи доказан или опровергнут на этом носителе, а не принят на веру. Субстрат реализован и проверен мутационным тестированием — каталог из 27 кодов отказа на доказательном пине 2026-08-30, каждый доказанно уходит в красное (каталог и хранилище с тех пор продолжили расти, но только через ту же дверь доказанного красного; §8.10), шестнадцать инвариантов, обеспеченных на честно размеченных ярусах, лестница редукции R0–R3 с сертификатами точности — и испытан на реальной работе: живое хранилище, выросшее до 14 ревизий на собственной эксплуатации (63 после переноса корпуса, выполненного после черновика, §8.8; 134 на пересчёте §8.10), гейт допуска 4 из 4 на реальных задачах, две гонки записи, решённые законом только-дописываемости, и два дефекта контура, которые вскрыл сам прогон, — усекающий рендерер и неуправляемое завышение возможностей исполнителем. Работа опровергает три собственных утверждения этой линии — две грани утверждения о токен-экономии и одну цифру долга хранилища, последнюю свалил параллельный прогон, а не оценка, — и сужает утверждение о дельтах; опровержения и есть главный результат. Токен-экономия — не свойство формата: в единственной измеренной паре кодировщиков сокращение следовало за кодировщиком — его умением и его допускаемой потерей. Ручное кодирование воспроизводит 38% пилота на пересечении из 4 образцов; автоматическое кодирование только-по-спецификации раздувает токены на 7,6%; базлайн структурированного резюме достигает 14,8% без потерь. Полнота, измеренная совместно: автоматические пакеты сохраняют 99,3% из 437 семантических единиц, но ручное кодирование, стоящее за 38%, сохранило лишь 82,7% — выигрыш в токенах и правило полноты торгуются друг против друга, а сжатие с уравненными токенами между форматами остаётся неизмеренным. Утверждение о дельтах сужается до цепочек внутри задачи (4/4 контр-пар); 144 слепые оценки нижестоящих задач не различают пакет и честную прозу. Что типизированный носитель доказуемо зарабатывает: машинно-проверяемую полноту постфактум — наблюдённый дрейф MUST→SHOULD, пойманный аудитом единиц оценки и проверяемый потому, что модальность является полем, — гейтирование допуска, конкурентность, решаемую дайджестами, и фокус проекции. Измерительный инструмент дважды сфабриковал число; удержалась только перевычисление-от-источника в CI.

---

1. Введение

1.1 Проблема

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

1. Потеря модальности. «Ротация секретов никогда не автоматизируется» превращается в «избегайте рискованных операций». Запрет ослаблен до совета, и принимающий агент, работающий только по резюме, теперь может добросовестно сделать запрещённое. Ничто в резюме не помечает потерю.
2. Дописанный смысл. Резюме сообщает, что 48 из 48 тестов восстановления прошли; читатель заключает, что бэкапы верифицированы, — хотя исходный документ явно перечислял верификацию бэкапов как не заявленную. Проза пригласила к выводу, который источник запрещал.
3. Инверсия направления. «Компонент X требует Y» и «Y требует X» попадают в одну и ту же окрестность эмбеддингов; конвейеры поиска, восстанавливающие отношения из найденного текста, могут инвертировать ребро зависимости, не подняв ни одной ошибки.

Это не экзотические краевые случаи, но их доказательный статус различается и должен быть назван — и собственные измерения этого прогона его уточнили. Два сконструированных примера остаются сконструированными: запрет («никогда не автоматизируется») и явный список не-заявленного процитированы из реальных записей передач, а теряющие резюме построены поверх них. Но первый класс отказов с тех пор наблюдён в природе — реальное понижение MUST→SHOULD, произведённое автоматическим свободным кодированием в собственный пакетный формат этой статьи (§8.4), — тогда как инструктированный прозаический базлайн сохранил каждую деонтическую единицу при выбранном им мягком сжатии. Потеря модальности, следовательно, — свойство непроверяемого перекодирования, а не прозы как таковой; прозе не хватает не способности нести MUST, а поля, по которому проверяющий может убедиться, что MUST выжил. Второй класс сужается так же: неогороженные резюме допускают запрещённый вывод, но дисциплинированная проза не воспроизвела этот отказ на 144 слепых оценках нижестоящих задач (§8.4) — а единственное наблюдённое смешение «заявлено как не сделанное» с «не заявлено» произошло внутри типизированного формата и совершено одним из его собственных соавторов (§8.4). Третий класс опирается на чтение кода исследовательской фазы: путь поиска экосистемы возвращает текстовые фрагменты без типизированных рёбер, поэтому ничто ниже него не может отличить ребро от обратного, — проверено на коммите той фазы и не перепроверялось в этом цикле реализации. У всех трёх общая корневая причина: проза не несёт типизированных обязательств, поэтому проверяющему нечего проверять. Та же корневая причина действует на уровне хранилища знаний: когда операционное знание организации — роли, процедуры, ограничения, политики — живёт документами, ничто не может проверить, что хранилище внутренне цельно (каждая ссылка разрешается, каждое выведенное утверждение несёт своё обоснование, ни один конфликт не отброшен молча), и ничто не может проверить, что подмножество, выданное агенту для задачи, достаточно для этой задачи.

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

1.2 Заявка и вклад

Заявка этой статьи сознательно у́же, чем «семантическая алгебра». Мы заявляем — и поддерживаем с указанной силой:

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

Вклад, упорядоченный по доказательной силе:

1. Таблица законов операций передачи знаний, где каждый закон доказан или опровергнут — и теперь инстанцирован (§4). Несущий отрицательный результат: применение ограничений не дистрибутивно относительно слияния контекстов — слияние двух по отдельности валидных контекстов может дать невалидный (теорема 1), — откуда ре-валидация после каждого слияния следует как требование корректности, а не конвенция. Несущий положительный результат: слияние — операция полурешётки объединения (предложение 1), что делает доставку как-минимум-однажды безопасной, а порядок прибытия — семантически инертным. Четыре из шести алгебраических структур теперь имеют работающие, проверенные на законах экземпляры; две оставшиеся помечены (§4.8). Опубликованное утверждение, что такое содержание образует некоммутативное полукольцо, на этот носитель не переносится (§4.9); мы локализуем разногласие точно, а не просто отвергаем его.
2. Шестнадцать инвариантов целостности с проверяемыми предикатами, классифицированные по силе обеспечения — обеспеченные или честно размеченные по ярусам в работающей реализации (§5): невыразимо-в-схеме (у невалидного состояния нет сериализации) > проверка на этапе авторства > проверка на этапе проекции > только-в-рантайме. Реализация не понизила ни одну классификацию; два остаточных под-яруса NOT-YET названы в таблице, а не сглажены. Классификация говорит, какие гарантии реализация может сделать статическими, а какие заявления о статическом обеспечении были бы завышением.
3. Результат о сложности и механизм честности для минимизации контекста (§6): задача минимальной достаточной проекции NP-полна (теорема 2); субстрат поэтому запрещает слово «минимальный» в своих артефактах и требует, чтобы каждая проекция несла объявленную ступень редукции. Полная лестница R0–R3 реализована — включая ограниченную бюджетом точную минимизацию, выдающую в квитанцию сертификат исчерпания, — и ступени были объявлены на каждой живой проекции этого цикла.
4. Два хранилища как доказательство существования дисциплины субстрата (§8.1–8.2): продакшен-хранилище v1 — 324 неизменяемые ревизии 210 логических идентификаторов, теперь механически замороженный архив только-для-чтения под CI-обеспеченным, мутационно доказанным байтовым манифестом — и живое хранилище v2, которое оно питает через дайджест-проверяющий перенос: 14 ревизий 11 логических идентификаторов, выращенных реальной собственной эксплуатацией на доказательном пине (рост после него — запись §8.10), валидированных каталогом отказов — 27 типизированных кодов на том пине, — каждый из которых доказанно уходит в красное на живом сценарии исполняемым харнессом, с гейтом допуска, прогнанным вживую на четырёх реальных задачах (4/4 верных вердикта), двумя настоящими гонками конкурентного авторства, решёнными законом только-дописываемости, — и двумя дефектами контура, которые тот же прогон вскрыл против нас: усекающим рендерером и неуправляемым завышением возможностей исполнителем (§8.5).
5. Оценка транспортного формата по четырём мерам, с отрицательными главными результатами (§8.3–8.4): пилот v0 (n = 6, кодировали проектировщики, 37,9%) сохранён как пилот; новая оценка (18 систематических образцов, четыре плеча, 437 типизированных семантических единиц, 144 слепые оценки нижестоящих задач, цепочка дельт из 4 пар) опровергает утверждение о токенах в обеих его гранях — как достигнутое сокращение (автоматическое кодирование только-по-спецификации раздувает токены) и как свойство формата (базлайн структурированного резюме сжимает без потерь там, где пакет раздувает), — измеряет цену полноты, которую пилот не мог увидеть (82,7% ручного плеча за его 38%), сужает утверждение о дельтах до цепочек внутри задачи и находит пакет и честную прозу неразличимыми для нижестоящих задач. Что выживает — измеренным, а не заявленным: машинно-проверяемая полнота постфактум (§8.4), гейтирование допуска (§8.5), конкурентность, решаемая дайджестами (§8.5), и фокус проекции (§8.5).
6. Методологический вывод о целостности измерений, теперь с рецидивом (§8.6): один и тот же CI-гейт дважды сфабриковал число — один раз переписав от руки список корней хранилища (22 присутствующие ревизии объявлены навсегда утраченными), а после исправления — ещё раз, выводя идентичности вместо их чтения (28 фантомных долгов в счёте из 42). Эпизод мотивирует один из шестнадцати инвариантов (единственность определения и импорт), чей линт затем нашёл ещё пять молчаливых переписываний, пропущенных первым разбором. Кураторские числа гниют даже после одного исправления; удержалось только перевычисление от объявленного источника, в CI.

1.3 Что реализовано и что измерено

Это должно быть сказано во введении, а не в сноске. Работа существует в четырёх слоях с разным доказательным статусом:

• v1 (замороженный архив): исходный субстрат хранения — типизированные ревизии, дайджесты, только-дописываемое наследование, 16 кодов отказа, пятистадийный Резолвер — работал в продакшене и теперь является закрытым архивом только-для-чтения, замороженным механически: манифест SHA-256 над его 346 файлами (324 ревизии плюс 22 записи о дефицитах) обеспечивается в CI мутационно доказанной проверкой (4/4 красных пути). Утверждения о v1 историчны и проверены по его коду на закреплённом коммите (§8.1); его содержимое входит в v2 только через дайджест-проверяющую дверь только-для-чтения и осознанный перенос (lift), который никогда не импортирует полномочия.
• v0 (пилот): первые измерения токенов транспортного формата происходят из исследовательской фазы, вручную перекодировавшей шесть реальных передач (§8.3). Доказательства и опровержения алгебры получены в этой фазе и являются математикой относительно носителя; они не зависят ни от какой реализации.
• v2 (реализовано и испытано): полный семантический слой — смысловой объект уровня утверждений, модальность и скоуп как поля схемы, решётка вердиктов, шестнадцать инвариантов как гейты, восьмишаговый Резолвер с лестницей редукции, пакетная форма с дельтами — реализован и был испытан на реальной работе в этом цикле (§8.2, §8.5). Утверждения о нём подкреплены исполненными тестами и гейтами на закреплённом коммите: 27 кодов отказа доказанно уходят в красное, покрытие инвариантов размечено ярус за ярусом, гейт допуска прогнан вживую на четырёх задачах. Там, где механизм v2 всё ещё существует только в спецификации, это названо в точке утверждения — слой стоимости за пределами размера замыкания, полиномы свидетельств, старшинство как хранимый смысловой объект, по одному под-ярусу I6 и I16 (§5, §7) — по тому же правилу запрета молчаливого сужения, которое хранилище налагает на своё содержимое.
• измерено (оценка): четыре меры — сокращение токенов с базлайнами, семантическая полнота по единицам, успех нижестоящих задач, экономика дельт — были измерены совместно на систематическом корпусе из 18 образцов с четырьмя плечами кодирования (§8.4), а контур контракта прошёл параллельно с действующим оркестрационным фреймворком на четырёх реальных задачах под заранее зафиксированными критериями перехода (§8.5). Три собственных ранних утверждения этой линии не пережили этот цикл — две грани утверждения о токенах пали под оценкой, цифра долга хранилища — под параллельным прогоном, — и статья сообщает опровержения как главные результаты, а не оговорки.

1.4 Что v2 добавляет к v1 — и какие отсутствия теперь закрыты

Поскольку историческое доказательство существования даёт архивная система, читатель заслуживает одной чёткой формулировки того, что по-настоящему ново в реализованном слое. Хранилище v1 валидирует артефакты: целые ревизии булевыми проверками. У него нет представления деонтической модальности (запреты живут в английской прозе, с одним узким исключением в структурированных правилах политик), нет поля скоупа, нет окон действия вне политик, нет значений вердикта кроме прошёл/не прошёл, нет записей о конфликтах, нет транспорта дельт и нет модели стоимости — каждое из этих отсутствий верифицировано, а не предположено (§8.1). Каждое из них, кроме последнего, теперь — закрытая, реализованная цель v2: модальность — поле схемы, чья проверка сохранения выполняется как сравнение множеств (§5, I5); скоуп — закрытый словарь с объявленными правилами пересечения; вердикты — FOUR Белнапа на проводе; записи о конфликтах — первоклассные объекты, закреплённые дайджестом; дельты применяются с отказом по дайджесту базы. Модель стоимости — единственная цель, по-прежнему в основном открытая: стоимость размера замыкания существует, слой стоимости из §7 — нет (§7). Слой v2 делает утверждения — типизированные, со скоупом, несущие модальность высказывания внутри ревизий — адресуемыми и проверяемыми, и именно это превратило три класса отказов из §1.1 из пост-инцидентных открытий в машинно-отказуемые состояния — уже не замысел, а показанное, по одному доказанно-красному отказу на класс: ослабление модальности отказывает по I5 (единственный наблюдённый в природе дрейф MUST→SHOULD этого цикла был пойман аудитом единиц оценки — который так же аудитирует и прозу без полей; поле — то, что делает такой дрейф машинно-проверяемым постфактум, а сам механический отказ I5, доказанно красный на синтетических сценариях, на реальном содержимом ещё не срабатывал, §8.4); необоснованный вывод отказывает по коду отсутствующего обоснования I2; разворот ребра блокируется закрытым перечислением отношений с различимыми обратными членами по I6, чья оставшаяся перекрёстная проверка переноса на шве потребителя пакета — названный ярус NOT-YET (§5). Алгебра §4 — математика этого слоя утверждений; доказательства стоят независимо от реализации, и законы связывают ту реализацию, что теперь существует, так же, как свяжут любую будущую.

1.5 Структура статьи

§2 помещает работу в контекст. §3 определяет субстрат. §4 развивает алгебру и её таблицу законов, включая анализ непереносимости утверждения о полукольце. §5 формулирует шестнадцать инвариантов с их статусом реализации. §6 даёт Резолвер, результат о трудности и лестницу редукции в реализованном виде. §7 даёт геометрию стоимости, остающуюся нереализованной математикой. §8 — оценка: замороженный архив v1, реализованный слой v2, исторический пилот, оценка по четырём мерам с её двумя опровержениями, свидетельства параллельного прогона и собственной эксплуатации, эпизод ошибки измерения и угрозы валидности. §9 обсуждает ограничения и будущую работу. Два датированных дополнения написаны позже остального черновика и помечены как таковые там, где стоят: §8.8 (второй раунд — перенос корпуса и прогон на полном хранилище) и §9.1 (три архитектурных пробела, найденных после раунда оценки). §10 говорит, что нужно для воспроизведения.

2. Связанные работы

2.1 Семантическая коммуникация

Литература по семантической коммуникации спрашивает, почему системы передают биты, когда могли бы передавать смысл (Lan et al., 2021), и разработала передачу на основе графов знаний, в которой вместо текста путешествуют сущности, отношения и правила рассуждения (Liang et al., 2022). Ближайшая к нашему пилоту измеренная точка — Salehi et al. (2025): сжатие открытого текста на основе графа знаний, достигающее примерно 30% сокращения объёма при 84% семантического сходства, измеренного эмбеддингами. Ранний черновик этой статьи читал 37,9% нашего пилота как подтверждение этого порядка величины; наша собственная оценка с тех пор отозвала это чтение — пилотное число, как выяснилось, измеряло умение кодировщика, а не формат (§8.4), поэтому оно не может подтверждать порядок сжатия никакого формата, и мы не проводим сравнения ни в одну сторону (критерии полноты к тому же различаются фундаментально: у них — сходство эмбеддингов, у нас — полнота по единицам, §8.4). Наш вклад в эту линию — не цифра сжатия, а законы передачи: ни одна из этих работ не говорит, каким алгебраическим свойствам должно удовлетворять слияние двух полученных фрагментов знания и что получатель вправе выводить из отсутствия.

2.2 Моделирование на уровне концептов и семантическая неопределённость

Large Concept Models (Barrault et al., 2024) показывают, что авторегрессионное моделирование над эмбеддингами уровня предложений осуществимо в масштабе; их «концепт» — это эмбеддинг, явно более слабый, чем типизированное утверждение, и не несущий ни деонтической структуры, ни происхождения. Peyrard et al. (2024) представляют мультиагентное вычисление как обмен «семантическими токенами» между семантическими процессорами — концептуальный прецедент наших пакетов, не задающий ни формата провода, ни алгебры. Liu et al. (2023) показывают, что смысл, представленный как распределения над продолжениями, естественно выражает асимметричные отношения; мы берём это как независимое свидетельство того, что асимметрия внутренне присуща представлению смысла (§7), — открытое на другом носителе. Семантическая энтропия (Kuhn et al., 2023; Farquhar et al., 2024) измеряет неопределённость над классами эквивалентности смысла, а не над последовательностями токенов, и обнаруживает конфабуляцию; это диагностическая машинерия на стороне модели, дополняющая нашу структурную машинерию на стороне сообщения: семантическая энтропия оценивает, конфабулировано ли утверждение, наши инварианты делают классы конфабуляции несериализуемыми при передаче.

2.3 Токен-экономия в мультиагентных системах

AgentPrune (Zhang et al., 2024) и AgentDropout (Wang et al., 2025) сокращают межагентную стоимость токенов, отсекая, какие сообщения текут или какие агенты говорят; ACON (Kang et al., 2025) сжимает историю агента в пространстве естественного языка. Все три ортогональны этой работе, которая меняет то, чем является сообщение. Насколько нам известно — и насколько известно верификационному проходу по этой окрестности, выполненному в августе 2026 года, — ни одна опубликованная работа не сочетает типизированную, алгебраически охарактеризованную структуру сообщения с измеренным мультиагентным сокращением токенов; мы формулируем это как наблюдённый пробел нашего поиска, а не как доказательство новизны.

2.4 Графы знаний и происхождение

Утверждения субстрата — типизированные направленные тройки в традиции RDF; его поля происхождения следуют форме, стандартизованной W3C PROV-O (2013). Два результата теории баз данных несущие, а не декоративные: полукольца происхождения (Green et al., 2007) дают алгебру, по которой композируются наши аннотации свидетельств (альтернативы как $+$, совместные требования как $\cdot$), а why-provenance (Buneman et al., 2001) определяет запрос «какие свидетельства поддерживают это утверждение?», который контракт делает первоклассной операцией (§4.10). Семантика открытого/закрытого мира дескрипционных логик (Baader et al., 2007) — причина, по которой субстрат требует, чтобы закрыто-мировые чтения объявлялись для каждого списка, а не предполагались глобально (§3.4).

2.5 Многозначная логика, паранепротиворечивость, поддержание истинности

Решётка вердиктов — четырёхзначная логика Белнапа (Belnap, 1977): $\{\top, \bot, U, K\}$ с различными порядками истинности и знания; сильная трёхзначная логика Клини (Kleene, 1938) восстанавливается на специфицированной тернарной граничной проекции, где значение конфликта схлопывается в неизвестное (§4.7). Паранепротиворечивая традиция (Priest, 1979) даёт ответ дизайна на противоречие: один конфликт не должен взрывать базу знаний — ex contradictione quodlibet — это ровно то, что мультиагентное хранилище обязано отказаться импортировать, поэтому конфликты уходят в карантин, а не отравляют (§4.5). Системы поддержания истинности дают дисциплину обоснования: каждое выведенное утверждение несёт правило, посылки и снапшот — это JTMS Дойла (Doyle, 1979) как схема; вариант на предположениях — ATMS де Клира (de Kleer, 1986). (Мы отмечаем атрибуцию явно, потому что ранний внутренний черновик этой работы их перепутал; исправление предшествует каждому документу этой линии.) Немонотонное следование при старшинстве-с-исключениями — территория логики умолчаний Райтера (Reiter, 1980); закрыто-мировые умолчания восходят к Reiter (1978), а рассуждение о минимальных моделях — к циркумскрипции (McCarthy, 1980).

2.6 Асимметричное расстояние

Квазиметрики — расстояние без аксиомы симметрии — это публичная математика девяностопятилетней давности (Wilson, 1931). Геометрия стоимости субстрата — расширенная квазиметрика над направленным взвешенным графом (§7); непрерывное, зависящее от направления обобщение (геометрия Финслера; Bao, Chern & Shen, 2000) сознательно отложено с явным условием-триггером, а не принято как украшение. «Геометрия смысла» как исследовательская программа сильно старше нынешнего словоупотребления (Gärdenfors, 2014; Widdows, 2004).

2.7 Сложность

Трудность минимальной достаточной проекции сводится от «Покрытия множеств» (Karp, 1972); жадная оценка, фиксирующая среднюю ступень нашей лестницы, — это Chvátal (1979) и Johnson (1974). Независимый препринт 2025 года (Jeong et al., 2025) также выступает за компиляцию естественного языка в типизированные логические формы с деонтическими операторами под фразой «алгебра смысла»; он разделяет направление программы и ни один из конкретных механизмов этой статьи.

2.8 Compilence

Compilence, Inc. описывает себя в своих опубликованных материалах как компанию, строящую детерминированный семантический компилятор для регулируемых сред: авторитетный текст компилируется в типизированный граф обязательств («Semantic AST»), запросы разрешаются детерминированным обходом с тернарными вердиктами и типизированной диагностикой отказов. Их опубликованная запись состоит из двух публичных веб-страниц (Technology Overview; Investors — копии сохранены 2026-08-29) и пяти депозитов Zenodo (Chudinov, 2026a–e), из которых два открыты (DOI 10.5281/zenodo.18944351, CC-BY-NC-ND-4.0, и 10.5281/zenodo.19337904, CC-BY-4.0), а три под эмбарго с публичными аннотациями (10.5281/zenodo.19261510, 10.5281/zenodo.19319709, 10.5281/zenodo.19367887). Ничто из этой записи не рецензировано (DOI — не рецензия); мы цитируем её как то, чем она является.

Что эта статья берёт из той записи — это свидетельство и разногласие, а не конструкции. Их бенчмарк — до 15× меньше токенов спецификации на запрос при точности 97–100% на 246 вопросах по 500-страничной спецификации, через управляемый навигационный индекс против ненаправляемого агентного базлайна (Chudinov, 2026a; данные вендора, самопубликация, независимо не проверено) — измеряет иную величину, чем наш пилот: накладные расходы навигации, устранённые на стороне входа, против пересказа передачи, сжатого на стороне выхода. Эти два числа нельзя ставить в одну таблицу; прочитанные вместе, они триангулируют один тезис с противоположных концов — структура бьёт прозу там, где содержание уже структурировано, и ничто не сжимает новизну. Наша собственная оценка теперь разделяет эти две оси на одном субстрате: сжатие на стороне выхода опровергнуто как свойство формата (§8.4), тогда как проекция на стороне входа сократила вызовы инструментов исполняющего агента до 3–24 против 6–53 при свободной ориентировке и его токены на трёх задачах из четырёх (§8.5) — выигрыш на стороне входа здесь реален, как результат уровня существования на четырёх задачах (§8.7), не частота, — даже там, где выигрыша на стороне выхода нет. Сама цифра Compilence остаётся вендорской и непроверенной. Их опубликованное алгебраическое утверждение — что нормативное и фактическое содержание образует некоммутативное полукольцо — получает полный анализ относительно носителя в §4.9. Несколько дизайнерских схождений, достигнутых независимо с обеих сторон (типизированный отказ вместо изобретения; замороженные снапшоты с перекомпиляцией-вместо-переобучения; окна действия у норм; «эмбеддинги ранжируют релевантность, структура решает полномочия»), задокументированы нами с датами обеих сторон во внутреннем реестре свидетельств, доступном для аудита, — чьи датированные записи в этом цикле повторно не аудировались (§10); схождение с независимым происхождением — свидетельство против заимствования в любую сторону.

Замечание научной честности о границах: Compilence заявляет, что пять компонентов — язык E.L.I.A., компилятор ARC, их метод построения семантического AST, их модель принуждения и их двухслойная SPO-архитектура — покрыты поданными предварительными патентными заявками. Эта работа не специфицирует ни один из этих компонентов и не строится ни на каком их непубличном материале; каждая конструкция здесь восходит к публичной математике (§2.4–2.7), к собственной ранее выпущенной системе авторов (§8.1) или помечена как собственная реконструкция этой линии работ. Поскольку предварительные заявки не публикуются, никакая внешняя сторона не может перечислить их притязания; любой коммерциализации предшествовал бы freedom-to-operate-анализ юристов, и дисциплина происхождения этой статьи — входной материал для такого анализа, а не его замена.

2.9 First Principles Framework (FPF)

FPF (Levenchuk, n.d.) — нормативный язык паттернов, по собственному описанию «нормативное ядро» в «вечной альфе», для того чтобы делать сложную инженерную и эпистемическую работу явной и проверяемой. Шесть его различений приняты в спецификацию v2 как идеи, с атрибуцией: локальность смысла (значение термина локально ограниченному контексту; межконтекстная тождественность никогда не выводится из равенства имён), разделение семантического соответствия (Мост, Bridge) от ограниченного права на него полагаться (заявка на использование с объявленной допускаемой потерей) и от авторизации действовать (которую никакое семантическое соответствие никогда не даёт), актуальность свидетельств (заверение индексировано временем и применением и портится), конверты возможностей (заявление о способности без ограниченных условий и измеримых порогов нефальсифицируемо), множественные исходы разрешения при частичных порядках (шортлист/воздержание вместо принудительных скалярных победителей) и четырёхслойная классификация содержания контракта (законы / допустимость / деонтика / свидетельства), обеспеченная здесь детерминированными межслойными линтами. Что отвергнуто, и почему это сказано здесь: репозиторий FPF не несёт лицензии, значит действует копирайт по умолчанию; идеи принимаются с атрибуцией, но дословный текст спецификации, структура целиком и переименованные сущности FPF не используются — это утверждение о практике авторства, не об исполненном аудите: аудит происхождения против репозитория FPF остаётся долгом (§10). Что эта работа добавляет к этому обмену — та часть, которой у FPF по замыслу нет: исполняемый слой принуждения — Резолвер, который отказывает (реализован, прогнан на реальных задачах, §8.5), коды отказа с мутационными тестами (27 из 27 доказанно красные, §8.2), дисциплина детерминизма, чей конформационный фикстур — сравнение дайджестов двойного прогона — теперь зелёный в CI, и сами межслойные линты, реализованные с их кодом отказа, доказанным красным (§5, I16; атрибуция FPF несётся в коде). FPF даёт различения; этот субстрат — место, где различения могут чему-то отказать.

3. Субстрат

Рамочное правило для §§3–7, продолжающее §1.3: определяющее настоящее время («требуется», «отказывает», «отказано») описывает спецификацию, и для большей части нижеследующего у спецификации теперь есть работающий, мутационно проверенный экземпляр — реализация v2 из §8.2, чей статус обеспечения изложен инвариант за инвариантом в §5. Там, где механизм всё ещё существует только в спецификации, это сказано в точке утверждения (слой стоимости, §7; полиномы свидетельств, §4.10; названные под-ярусы в §5), а не выводится из грамматического времени.

3.1 Определения носителя

Определение 1 (утверждение). Утверждение (assertion) $a$ — одно типизированное, направленное, снабжённое скоупом высказывание: $$a = (\mathit{subject}, \mathit{rel}, \mathit{object},\ \sigma,\ m,\ E,\ v)$$ где $\mathit{rel}$ берётся из закрытого словаря отношений или из формы заявления (claim form), объявленной профилем вида (kind-profile) ревизии — закрытой, отказывающей-по-умолчанию схемой, говорящей, какие формы утверждений может нести полезная нагрузка этого вида (§5, I13), — $\sigma$ — запись скоупа из закрытого словаря скоупов (§3.4), $m \in \{\mathrm{MUST}, \mathrm{MUST\text{-}NOT}, \mathrm{MAY}, \mathrm{SHOULD}\} \cup \{\varepsilon\}$ — необязательная деонтическая модальность (von Wright, 1951), $E$ — аннотация свидетельств (полином происхождения, §4.10), а $v \in \{\top, \bot, U, K\}$ — необязательный вердикт (отсутствие $\Rightarrow U$).

Определение 2 (контекст). Контекст $\Gamma = (A, s)$ — конечное множество утверждений $A$ вместе с ровно одним пином снапшота $s$ — криптографическим дайджестом, идентифицирующим состояние хранилища, относительно которого разрешаются ссылки $\Gamma$. Контракт знаний, выход Резолвера и межагентный пакет — всё это контексты.

Определение 3 (смысловой объект / ревизия). Смысловой объект — хранимый, версионируемый конверт, несущий утверждения. Он двухуровневый:

MeaningObject (revision envelope)     — unit of storage, digest,
 │                                       succession, authority
 └─ payload
     └─ assertions[]                  — unit of the algebra, each
                                         addressable by a stable key

Рис. 1. Двухуровневый носитель. Ревизия неизменяема и закреплена дайджестом; изменение — это ревизия-наследник. Утверждение адресуется извне парой (дайджест содержимого, ключ утверждения), которую никакое позднейшее переименование не может пере-означить.

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

3.2 Отсутствующее не выводится

Единственное правило, делающее в субстрате больше всего работы, — это правило об отсутствии. Каждое поле конверта и утверждения классифицировано как REQUIRED или OPTIONAL, и:

• REQUIRED + отсутствует = типизированный отказ. Конверт без версии схемы нечитаем, а не «предположительно последняя».
• OPTIONAL + отсутствует = $U$ (неизвестно), и $U$ — это содержимое: оно представимо, переносимо и сливаемо. Отсутствующее окно действия означает, что временная применимость неизвестна — никогда «всегда действительно». Отсутствующая запись уверенности означает нет заявления об уверенности — никогда уверенность. Реализация, которая рендерит отсутствующее значение как значение по умолчанию, изготовила смысл; это обобщение на уровень передачи правила, которое хранилище v1 уже применяло к стоимостям («неизвестное — не ноль»).
• Объявленная пустота — третье состояние. Нулевой предшественник, явно пустой список зависимостей, неограниченное действие (until: null) — это положительные заявления, отличные от отсутствия, и схема различает все три состояния всюду, куда она профилирована смотреть, — сужающая реализация нас научила: тела вспомогательных ревизий не профилированы, и там у валидатора почти нет поверхности отказа, так что различение обеспечено всюду профилированному, а не всюду мыслимому (§5, I13).

3.3 Уверенность без чисел с плавающей точкой

Уверенность — это запись об основании, а не число: {basis: measured | declared | derived, evidence: [...], sample_count}. Обоснование нормативно, а не эстетично: (а) канонические байты запрещают float, а поле вероятности стало бы первым float хранилища; (б) субъективная вероятность без заявленного метода — беллетристика с десятичными знаками; (в) рабочий прецедент хранилища v1 — маркировка основанием с квитанциями: его операционный леджер уже помечает каждую цифру стоимости как оценочную или измеренную (§7, §8.1). Если градуированная уверенность когда-нибудь понадобится, задокументированный шов расширения — целые рациональные с объявленным протоколом измерения. Отрицательное наблюдение, стоящее одного предложения: полный цикл реализации на реальном использовании — переносы дефицитов, оценка, параллельный прогон — ни разу не надавил на этот шов; уверенность всюду осталась записью об основании.

3.4 Скоуп, и почему он обязателен

Конфликт ($\#$) и старшинство ($\succ$) действуют в пересекающемся скоупе; если скоуп — проза, пересечение неразрешимо, и обнаружение конфликтов молча отключено. Значение скоупа — поэтому запись из закрытого, версионируемого словаря (экосистема / репозиторий / хост / окружение / неймспейс / задача / эпик / актор) с объявленными попарными правилами пересечения, а поле скоупа конверта — REQUIRED без умолчания: «применяется всюду» должно быть заявлением ({ecosystem}), а не его отсутствием. Скоуп также несёт локальность смысла (принята из FPF с атрибуцией, §2.9): одно имя в двух скоупах — это два смысла, пока явный, подкреплённый свидетельствами, закреплённый дайджестом Мост (Bridge) не заявит обратного, — межскоуповая тождественность никогда не выводится из равенства имён (инвариант I15, §5). Списочные поля заявлений дополнительно несут объявленный маркер замкнутости (complete | open), делающий закрыто-мировое чтение пер-списочным и фальсифицируемым, а не глобальным и предполагаемым. В реализации закрытый словарь пережил реальное использование с одним зафиксированным переполнением: случай переносимости между двумя репозиториями не поместился в объявленные оси и был закодирован отказом-по-умолчанию, а не импровизацией значения, — история выживания закрытого словаря — это его управляемый путь расширения, а не отсутствие давления на него.

3.5 Контракт знаний

Определение 4 (контракт знаний). Для закреплённого снапшота хранилища $G_s$ и задачи $T$ (цель, типизированные входы/выходы, требуемые типы возможностей, границы, скоуп $\sigma$) контракт знаний — это пара $$KC(T) = \mathrm{Resolve}(G_s, T) = (\Gamma_T,\ R_T)$$ производимая Резолвером из §6: контекст $\Gamma_T$ — множество утверждений, спроецированное из закреплённого графа для задачи, под пином $G_s$, с по-утвержденческими вердиктами, свидетельствами и обоснованиями как в определении 1, — вместе с конвертом-квитанцией $R_T$, несущим записи о конфликтах, отказы и объявленную ступень редукции (§6.3), всё целиком заморожено и идентифицировано дайджестом.

Два свойства отличают это от кураторского списка чтения. Во-первых, зернистость проекции — утверждение: задача, касающаяся одного запрета из сорокастрочной политики, несёт это утверждение (с его ревизией как якорем полномочий), а не весь документ. Во-вторых, управляющие нормы присоединяются пересечением скоупов, а не курированием: каждое утверждение MUST/MUST-NOT в закреплённом графе, чей скоуп пересекает $\sigma$, присоединяется Резолвером — «забыл выбрать относящееся ограничение» перестаёт быть возможной ошибкой авторства и становится проверяемым дефектом Резолвера. Это отработало вживую без шага курирования — существующее управляющее ограничение въехало в две реальные проекции задач одним пересечением (§8.5), — и живой прогон также нашёл границу механизма: присоединение управляет только закодированными ограничениями; ничто не управляло вторичными заявлениями исполнителя о данных, которых он не читал, так что дисциплина против завышения должна ехать в самой проекции, а не предполагаться из присоединения норм (§8.5).

4. Алгебра

4.1 Операции

Субстрат признаёт шесть операций на трёх различных носителях. Различение первых двух — несущее: единый слепленный оператор «compose» — это то, что делает неформальные алгебраические утверждения о подобных системах недоказуемыми (§4.9).

Оп.	Сигнатура	Чтение
$\oplus$ слияние	$\mathbb{G} \times \mathbb{G} \rightharpoonup \mathbb{G}$	объединить то, что два контекста совместно утверждают
$\triangleright_\rho$ присоединение	$\mathbb{M} \times \rho \times \mathbb{M} \rightharpoonup \mathbb{M}$	построить композит через явное типизированное отношение $\rho$
$\otimes$ применение ограничений	$\mathbb{G} \times \mathcal{C} \to$ вердикт-аннотированный $\mathbb{G}$	применить ограничения, получив по-действенные вердикты
$\Rightarrow$ вывод	$\subseteq \mathbb{G} \times$ утверждения	замыкание по закреплённым правилам вывода
$\#$ конфликт	$\subseteq$ утверждения$^2$	симметричная несовместимость ($\#$, чтобы отличать отношение от вердикта $\bot$)
$\succ$ старшинство	строгий частичный порядок на классах полномочий	разрешает конфликты; никогда не тотален

Таблица 1. Реестр операций. ($\mathbb{G}$: контексты; $\mathbb{M}$: смысловые объекты; $\mathcal{C}$: множества ограничений.)

4.2 Слияние

Предложение 1 (слияние — полурешётка объединения). Зафиксируем снапшот $s$. На контекстах, закреплённых к $s$, определим $\Gamma_1 \oplus \Gamma_2 = (A_1 \cup A_2, s)$. Тогда $\oplus$ ассоциативно, коммутативно и идемпотентно, с единицей $(\varnothing, s)$; то есть контексты над $s$ образуют полурешётку объединения с наименьшим элементом $(\varnothing, s)$ под $\oplus$, упорядоченную $\Gamma_1 \sqsubseteq \Gamma_2 \iff \Gamma_1 \oplus \Gamma_2 = \Gamma_2$ («знает не больше, чем»).

Доказательство. Непосредственно из соответствующих свойств объединения множеств; обнаружение конфликтов (§4.5) — функция результирующего множества, а не порядка слияния, поэтому аннотирование обнаруженных конфликтов не нарушает ни одного закона. $\blacksquare$

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

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

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

Присоединение $\triangleright_\rho$ — построение композита применением одного смысла к другому в типизированной роли («deploy в production») — это семейство частичных операций, индексированное закрытым словарём отношений, где типизация областей определения/значений делает неправильно типизированные присоединения отказами.

Предложение 2. $\triangleright_\rho$ некоммутативно по построению ($A \triangleright_{\mathrm{uses}} B \neq B \triangleright_{\mathrm{uses}} A$: обратное ребро ложно, а не просто отсутствует), а ассоциативность некорректно поставлена между различными индексами отношений $\rho, \rho'$ (две расстановки скобок имеют разные типы). Там, где обе стороны определены — композиция типизированных путей графа, — композиция ассоциативна с пустыми путями как единицами: типизированные отношения образуют малую категорию путей графа.

Направление каждого отношения — это смысл. Именно здесь живёт та некоммутативность, которая в смысле действительно есть, — точка, становящаяся несущей в §4.9. У дисциплины типизации есть живой пример: при первых переносах из архива реальное исходное отношение (refines) выпало из закрытого перечисления девяти отношений и было отвергнуто, а не молча приведено — закодировано более слабым related, с записанной потерей направления уточнения, потому что десятое отношение — это управляемое изменение перечисления, а не односторонне принятое посреди переноса решение (§8.5).

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

Применение ограничений $\otimes$ прикладывает множество ограничений к контексту и даёт по-действенные вердикты. Чистые ограничения действуют пересечением на допустимых состояниях и свободны от порядка; переопределения и исключения должны выражаться только через объявленное старшинство $\succ$, никогда через порядок применения — реализация, которая сворачивает ограничения слева направо и позволяет позднейшему победить, сделала тайминг сообщений семантически несущим.

Назовём ограничение поточечным, если его выполнение — функция каждого отдельного утверждения в изоляции, и глобальным иначе (ограничения кардинальности, взаимное исключение, ресурсные бюджеты, объявленные пары исключения). Для контекста $\Gamma$ и множества ограничений $C$ запишем $\mathrm{verdict}(\Gamma, C) = \top$, если $\Gamma$ удовлетворяет каждому ограничению в $C$, и $\bot$ иначе — вердикт допустимости уровня контекста, самая грубая проекция по-действенного выхода $\otimes$ и та, по которой действует оркестратор.

Теорема 1 (вердикты не композициональны). Пусть $V = \{\top, \bot, U, K\}$. Существуют глобальные ограничения $c$ — среди них любое ограничение кардинальности, — для которых никакая функция $f : V \times V \to V$ не удовлетворяет, для всех снапшот-совместимых контекстов $\Gamma_1, \Gamma_2$: $$\mathrm{verdict}(\Gamma_1 \oplus \Gamma_2, \{c\}) \;=\; f\big(\mathrm{verdict}(\Gamma_1, \{c\}),\ \mathrm{verdict}(\Gamma_2, \{c\})\big).$$ В форме лозунга: слияние двух по отдельности валидных контекстов может дать невалидный, так что $\otimes$ не дистрибутивно над $\oplus$.

Доказательство. Возьмём $c$ = «не более одного утверждения в контексте удовлетворяет предикату $P$» (ограничение кардинальности; операционный экземпляр в правилах рабочих процессов исходной экосистемы — «не более одной агентной полосы может одновременно трогать продакшен-состояние»). Пусть $a_1, a_2$ — различные утверждения, удовлетворяющие $P$, а $b$ — утверждение, не удовлетворяющее $P$. При $\Gamma_1 = \{a_1\}$, $\Gamma_2 = \{a_2\}$: оба частичных вердикта — $\top$, а $\mathrm{verdict}(\Gamma_1 \oplus \Gamma_2, \{c\}) = \bot$. При $\Gamma_1' = \{a_1\}$, $\Gamma_2' = \{b\}$: оба частичных вердикта снова $\top$, и $\mathrm{verdict}(\Gamma_1' \oplus \Gamma_2', \{c\}) = \top$. Любой кандидат $f$ должен отобразить $(\top, \top)$ и в $\bot$, и в $\top$; такой функции не существует. $\blacksquare$

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

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

Феномен стандартен для удовлетворения ограничений; вклад — его формулировка как закона протокола передачи с приложенным контрпримером, в обстановке, где соблазнительный некорректный срез (валидация по частям с рекомбинацией вердиктов) — естественное инженерное умолчание. Примечательно, что система v1 уже содержала попарный экземпляр как деталь реализации: её проверка конфликтов-исключений итерирует по выбранному множеству, отказываясь вычислять этот вердикт по-кандидатно (§8.1). Теорема поднимает это поведение до закона контракта, и реализация v2 принимает обе половины: применение ограничений — по всему контексту (ре-валидация после слияния — реализованное правило, и Резолвер ре-валидирует после REDUCE, §6.1), старшинство входит только как объявленный строгий частичный порядок, отказывающий тотализации, а контрпример теоремы 1 закодирован как конформационный фикстур — два по-отдельности-⊤ контекста, чьё слияние — ⊥, продемонстрировано в тестовом наборе. К этому фикстуру прилагается одна заметка честности, сохранённая дословно из журнала наблюдений: экземпляр синтетический. Ни одна ревизия архива не несёт непустого списка исключений (проверено пересчётом), так что и собственный отказ v1 по конфликту исключений никогда не срабатывал на реальном содержимом; закон доказан и реализован, но «наблюдён на реальном содержимом хранилища» — заявление, которое пока не может сделать никто.

4.5 Конфликт

Конфликт $\#$ симметричен и иррефлексивен, порождается модальным столкновением на одном действии при пересекающемся скоупе, объявленными исключениями и столкновением значений на однозначных полях. (Отношение пишется $\#$, чтобы отличать его от вердикта $\bot$.)

Предложение 3 (конфликт не транзитивен). Существуют $a, b, c$ с $a \mathrel{\#} b$, $b \mathrel{\#} c$ и $\neg(a \mathrel{\#} c)$. Доказательство. Пусть $a$ = «репликация синхронна», $b$ = «репликация только-асинхронна», $c$ = «целевая точка восстановления < 5 с». Тогда $a \mathrel{\#} b$ (топология не может быть обеими), и $b \mathrel{\#} c$ (только-асинхронность исключает целевой показатель), но $a$ и $c$ совместимы (синхронная репликация ему удовлетворяет). $\blacksquare$ Замечание. Переразметка тех же свидетелей (возьмите $b, c$ = два совместимых утверждения) показывает и дополнительную конфигурацию $a \mathrel{\#} b$, $\neg(b \mathrel{\#} c)$, $a \mathrel{\#} c$: несовместимость пар — свойство пар, и ни замыкание, ни анти-замыкание по цепочке не выполняются.

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

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

Вывод $\Rightarrow$ — замыкание по закреплённым правилам (замыкание зависимостей, обход типизированных отношений, присоединение управляющих норм). Он рефлексивен и транзитивен, но не антисимметричен (две различные ревизии могут быть взаимно выводимы — проекция и её источник утверждают одно и то же содержание, — так что $\Rightarrow$ — предпорядок, и «дедупликация» одного направления теряет связь проекции). Аргумент о предпорядке — математика; ни одного случая взаимной выводимости на реальном содержимом в этом цикле не возникло, так что следствие «дедупликация теряет связь» остаётся аргументированным, но не упражнённым.

Правило разрешения конфликтов субстрата (используемое снова в обсуждении старшинства ниже): если $a \mathrel{\#} b$ в пересекающемся скоупе и $\mathrm{auth}(a) \succ \mathrm{auth}(b)$, то $b$ — и всякий вывод, опирающийся на $b$, — подавляется в этом скоупе, записывается как запись подавления, никогда не удаляется. Запишем $\Gamma \vdash x$ для «$x$ находится в выжившем (пост-подавленческом) замыкании вывода $\Gamma$».

Предложение 4 (немонотонность при старшинстве). С чисто монотонными правилами $\Gamma \subseteq \Gamma'$ влечёт, что из $\Gamma \vdash x$ следует $\Gamma' \vdash x$. При правиле подавления монотонность отказывает: существуют $\Gamma \subseteq \Gamma'$ и $x$ с $\Gamma \vdash x$, но $\Gamma' \nvdash x$. Доказательство. Пусть $p$ — авторское утверждение, а $r$ — закреплённое правило вывода с $\{p\} \vdash x$, где $x$ несёт выводящий класс полномочий $A_1$. Пусть $q$ — авторское утверждение с $q \mathrel{\#} x$ в полном скоупе $x$ и $\mathrm{auth}(q) = A_2 \succ A_1$. Для $\Gamma = \{p\}$: $\Gamma \vdash x$. Для $\Gamma' = \{p, q\}$: замыкание выводит $x$, проход конфликтов находит $q \mathrel{\#} x$ при $A_2 \succ A_1$, и правило подавления удаляет $x$ из выжившего замыкания, так что $\Gamma' \nvdash x$. $\blacksquare$ Замечание. Это приоритизированное опровержимое рассуждение: умолчания в смысле Райтера (Reiter, 1980) с механизмом приоритета в традиции приоритизированной логики умолчаний (Brewka, 1994); предложение доказано здесь напрямую против собственной семантики подавления субстрата.

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

Старшинство $\succ$ — строгий частичный порядок на классах полномочий, и его нельзя тотализировать. Когда два конфликтующих утверждения несут несравнимые полномочия, правильный выход — вердикт $K$ плюс поднятая на поверхность запись, требующая решения о полномочиях. Изобретение тай-брейка (порядок файлов, таймстемп) — дефект; тай-брейк сам есть смысловой объект — объявленный, версионируемый и цитируемый в записи разрешения. Реализация обеспечивает семантику порядка — старшинство применяется только как объявленный строгий частичный порядок, отказ от тотализации протестирован (нерелевантная объявленная пара не упорядочивает реальные стороны), — но старшинство сегодня — это объявленный входной параметр вызова, а ещё не хранимый, версионируемый смысловой объект, которого требует предыдущее предложение; эта половина несётся как названный честный пробел, ровно так, как записывает журнал наблюдений.

4.7 Вердикты

Множество вердиктов — FOUR Белнапа $\{\top, \bot, U, K\}$ с двумя порядками — порядком истинности и порядком знания ($U \le_k \top, \bot \le_k K$):

        K   (told both: conflict)
       / \
      ⊤   ⊥        knowledge order  (↑ = knowing more)
       \ /
        U   (told nothing)

Рис. 2. Порядок знания решётки вердиктов.

Предложение 5 (слияние вердиктов). По-утвержденческое слияние вердиктов — это объединение в порядке знания: $U \vee_k v = v$; $\top \vee_k \bot = K$; $K \vee_k v = K$; $v \vee_k v = v$. $(\{\top,\bot,U,K\}, \vee_k, U)$ — ограниченная полурешётка объединения, так что слияние вердиктов коммутативно, ассоциативно и идемпотентно и наследует каждый закон $\oplus$ из предложения 1. Доказательство: порядок знания — решёточный порядок на FOUR (Belnap, 1977); объединение существует и имеет указанную таблицу — по осмотру диаграммы Хассе. $\blacksquare$

Эта единственная строка — формальное содержание фразы «два агента расходятся ⇒ расхождение вычисляется и поднимается на поверхность, никогда не усредняется, никогда не решается последним пишущим». $U \vee_k v = v$ — это ровно «узнать что-то заменяет незнание». Две дисциплины делают FOUR безопасным в инженерной практике (они отвечают на реальное возражение — потребитель, ветвящийся if verdict == T, молча неверно обрабатывает $K$): вердикты — закрытое перечисление с обязательным исчерпывающим разбором, а единственный экспортируемый предикат «продолжать» — $\mathrm{actionable}(v) \iff v = \top$ — потребитель, читающий только actionable, видит отказывающую-по-умолчанию булеву проекцию и не может неверно обработать $K$, который просто не actionable. (Собственно трёхзначная логика Клини появляется на тернарной граничной проекции ниже, где $K \mapsto U$ схлопывает FOUR в $\{\top, \bot, U\}$.) Критично: вердикты не истинностно-функциональны над композицией контекстов (теорема 1); билаттиса управляет слиянием мнений об одном утверждении, никогда — выводом вердикта композита из вердиктов частей.

Для взаимодействия с системами тернарных вердиктов слой включает теряющую-но-честную граничную проекцию (реализована): $K$ выходит как $U$ плюс обязательный, закреплённый дайджестом указатель на запись о конфликте, а граничное $U$, не несущее ни указателя на конфликт, ни заверения подлинно-неизвестного, невалидно — известный конфликт никогда не отмывается в простое неведение. Вся дисциплина отработала вживую в этом цикле: решётка и объединение-по-знанию реализованы по предложению 5, и предикат «продолжать-только-на-$\top$» управлял четырьмя реальными допусками задач — 4/4 верных, ноль ложных $\top$, с двумя честными вердиктами $U$, запустившими исследовательские циклы вместо продолжения, каждый с заверением подлинно-неизвестного, называющим недостающий артефакт (§8.5). Неведение было заверено, а не отмыто; это предложение теперь — демонстрация, а не замысел.

4.8 Чем структура является — и чем не является

Смысловой слой — это шесть сцепленных структур, каждая по отдельности стандартна: (S1) контексты под слиянием образуют полурешётку объединения с наименьшим элементом; (S2) типизированные отношения образуют малую категорию путей графа; (S3) вердикты образуют билаттису Белнапа (оба порядка — Белнапа, 1977; терминология билаттис — Гинзберга, 1988); (S4) ограничения образуют антитонное семейство операторов, разрешаемое строгим частичным порядком, немонотонное, как только входят умолчания; (S5) стоимости путей образуют тропическое (min-plus) полукольцо над направленным графом (§7); (S6) свидетельства композируются как аннотации полукольца происхождения (§4.10). Называние стандартных структур намеренно: каждое имя импортирует известные теоремы и известные реализации, и честная опись заменяет единую экзотическую алгебру, которую пришлось бы строить и отлаживать с нуля. Реализация делит опись четыре к двум: у S1–S4 есть работающие, проверенные на законах экземпляры (снапшот-гейтированное полурешёточное слияние, перечисление типизированных отношений с парами обратных, решётка Белнапа с объединением-по-знанию и граничной проекцией, семейство полноконтекстных ограничений с объявленным старшинством); S5 и S6 — тропическое полукольцо стоимости и полукольцо свидетельств происхождения — остаются только специфицированными, и каждое их позднейшее упоминание несёт эту метку (§4.10, §7).

4.9 Результат о непереносимости относительно носителя

Опубликованные материалы Compilence утверждают: «Нормативное и фактическое содержание образует некоммутативное полукольцо» (Technology Overview, гл. 07; копия, сохранённая оператором, 2026-08-29), с четырьмя опубликованными примерами операторов и «полными системами аксиом … в монографии» (Technology Overview, там же; монография на момент написания не опубликована). Поскольку полукольцо требует коммутативного аддитивного моноида, мультипликативного моноида на том же носителе, двусторонней дистрибутивности и аннигилирующего нуля (Golan, 1999), утверждение проверяемо против любого конкретного носителя. На носителе этой статьи оно отказывает двумя структурными, доказанными способами:

1. На носителе нет второго моноида. Применение ограничений $\otimes$ имеет сигнатуру $\mathbb{G} \times \mathcal{C} \to$ вердикты, а не $\mathbb{G} \times \mathbb{G} \to \mathbb{G}$; две операции не делят носитель — отсутствие на уровне типов.
2. Дистрибутивность отказывает для ближайшего доступного аналога (теорема 1).

Третий пункт — диагностический, а не ещё один отказ, и он выживает независимо от двух выше: слияние $\oplus$ — единственная операция объединения знания на контекстах — здесь коммутативно (предложение 1). Само по себе это не может опровергнуть утверждение об их аддитивной операции; что оно поддерживает — диагноз атрибуции ниже: их единственный опубликованный аддитивный пример на реестре операторов этого носителя — вовсе не объединение знания.

Область действия этого результата сформулирована точно, и мы просим не читать его шире, чем он есть: мы не делаем никакого утверждения о неопубликованной системе аксиом Compilence. Мы показываем, что на нашем носителе законы полукольца в опубликованном виде не выполняются и что их единственный опубликованный мотивирующий пример естественно читается, на реестре операторов этого носителя, как типизированное присоединение, а не слияние, — сужая любое реальное разногласие до вопроса, какая операция несёт некоммутативность, — вопроса, который их опубликованные материалы не решают. Их опубликованный аддитивный пример — «делегирование при скоупе не симметрично скоупу при делегировании» (Technology Overview, гл. 07; копия оператора, 2026-08-29) — описывает ролеиндексированную композицию концептов в производные концепты, что на этом носителе есть операция, названная $\triangleright_\rho$, некоммутативная в собственной таблице законов этой статьи (предложение 2). Кажущееся лобовое столкновение растворяется поэтому в вопрос атрибуции операторов: то, что их опубликованные примеры выставляют как аддитивную операцию, — это то, что эта алгебра выделяет как присоединение; операция объединения знания, которую эта алгебра называет слиянием, среди их опубликованных примеров не появляется вовсе. Оба изложения согласны, что смысл несёт настоящую некоммутативность; теорема-относительно-носителя — в том, что она не живёт в объединении знания. Аналогично их опубликованный аннигилятор («как только яд входит в вывод, заключения, построенные на нём, структурно блокируются» — Technology Overview, гл. 05; копия оператора, 2026-08-29) читается как блокировка конуса вывода — совместимо с карантинной семантикой этой статьи, не с отравлением всего контекста; более раннее наше внутреннее чтение трактовало его шире, и мы фиксируем исправление.

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

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

4.10 Алгебра свидетельств

Поле свидетельств каждого утверждения композируется как полином происхождения над переменными свидетельств — альтернативы как $+$, совместные требования как $\cdot$ (Green et al., 2007). Тем самым два запроса — определённые операции, а не функции, которые предстоит изобрести: $\mathrm{why}(a)$ возвращает полином (какие пины, квитанции и проверки поддерживают $a$; пустой полином — сам по себе честный ответ для неподдержанного утверждения), а $\mathrm{evidence\text{-}reduce}(a)$ возвращает редуцированное поддерживающее множество, помеченное своей ступенью редукции ровно так же, как контракты, — слово «минимальный» здесь запрещено по той же причине, что и в §6.3. Алгебра свидетельств специфицирована, не реализована: ничто в доказательной базе этой статьи не упражняет why или evidence-reduce, и она несётся как названный пункт NOT-YET, а не подразумевается работающей.

4.11 Где ломается сама алгебра

Сказано против себя, как обязательства дизайна, а не мелкий шрифт: (1) извлечение — слабейшее звено, и это теперь измеренный вывод, а не страх. Оценка полноты (§8.4) дала этому числа: кодирование — то место, где концентрируются потери: ручное плечо изменило или потеряло 17,3% семантических единиц, слабее всего — идентификаторы, и даже соавтор формата попал в его собственную словарную ловушку; среди трёх изменений автоматического плеча — настоящий дрейф MUST→SHOULD. Факт, который так и не стал утверждением, невидим для любого оператора; правило спасения поэтому требует, чтобы любой некодируемый факт лёг огороженным свободным текстом или явным неизвестным, а не был отброшен, и слой никогда не должен быть более теряющим, чем проза, которую он заменяет. Спутник правила спасения — утверждение объявленного остатка — то, что удержало честным реальный перенос легаси в этом цикле: части, которые не разложились, были закреплены как остаток, а не отброшены (§8.5). (2) Пропущенная ре-валидация под нагрузкой аннулирует корректность теоремы 1 — потому соответствующие инварианты — гейты, а не рекомендации. (3) Опущенные обоснования делают выводы некэшируемыми; экономия токенов тратится обратно с процентами. (4) Прозаические скоупы молча отключают обнаружение конфликтов (§3.4).

5. Инварианты

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

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

Реализация может усилить классификацию, но никогда не ослабить — и классификация теперь встретилась с реализацией. Слой v2 (§8.2) обеспечивает или честно размечает по ярусам все шестнадцать; ни одна классификация не понижена, инварианты, предсказанные как неустранимо рантайм-связанные, вышли ровно как предсказано (обеспечивающий тест I3 — сравнение дайджестов двойного прогона; I7 — фикстур применения; ни для одного не нашлось статического обеспечения), а заявления S-яруса больше не утверждения о схеме на бумаге: каждое заявление о несериализуемости нарушения продемонстрировано мутационно доказанным отказом в исполненном прогоне покрытия 27/27 (заявления о минимальности, незакреплённые ссылки на утверждения, утверждения вне профиля, немостовая межскоуповая тождественность — среди них). Два остаточных под-яруса NOT-YET названы ниже по месту (I6, I16), а не сглажены. Шестнадцать, компактно (I1–I9 управляют любым конформным хранилищем и передачей; I10–I16 возникают из обстановки версионируемого хранилища и из записанного обзора синтеза дизайна, вплавившего различения FPF из §2.9 в спецификацию — запись §2.8 внесла свидетельство и разногласие §4.9, не конструкции), каждый со статусом реализации по месту:

I1 — Замыкание происхождения (A/P). Каждая ссылка в контексте разрешается внутри его пина снапшота, и перевычисленный канонический дайджест каждой разрешённой ревизии равен записанному. Предикат: обход замыкания плюс перевычисление дайджестов, офлайн против закреплённого хранилища. Статус: обеспечено — обход идёт по живому хранилищу плюс пины архива.

I2 — Никакого дописанного смысла (S-часть/P/R-аудит). Никакая передача не поднимает состояние знания утверждения без записи о выводе; отсутствие ≠ умолчание; отсутствие скоупа ≠ универсальный скоуп. Схемно-выразимое ядро: выведенное утверждение требует обоснования (дискриминированное объединение — origin: authored | derived, ветвь derived несериализуема без тройки JTMS). Проекционная часть: $\mathrm{assertions}(\Gamma_{out}) \subseteq \mathrm{assertions}(\Gamma_{in}) \cup \mathrm{justified}(\Gamma_{out})$. Честный хвост: вывод, протащенный внутри строкового значения, механически неразрешим и покрывается выборочными аудитами. Статус: обеспечено на S-ярусе (отказ доказанно красный); путь переноса отказывается выводить поля суждения; аудитный хвост остаётся процедурным, как специфицировано.

I3 — Детерминизм снапшота (A-хранилище/R-функция). Разрешение и проекция — чистые функции от (дайджест снапшота, вход): тот же пин + тот же вход ⇒ байт-идентичный выход; позднейшие снапшоты никогда не переписывают ранние разрешения. Функциональная половина неустранимо рантаймова — доказуема только двойным прогоном и сравнением дайджестов; схема не может выразить «у этой функции нет скрытых часов». Статус: обеспечено ровно этим фикстуром, теперь исполненным, — тест дайджестов двойного прогона в CI; реализация нигде не держит часов (перенос берёт свой таймстемп у вызывающего).

I4 — Поднятие конфликтов на поверхность (S-запись/P-обнаружение). Никакой контекст не может содержать $a \mathrel{\#} b$ в пересекающемся скоупе без либо записи подавления (применённое старшинство, победитель, скоуп), либо записи о конфликте с вердиктом $K$ — первоклассного, закреплённого дайджестом, никогда не усекаемого объекта; вдобавок вердикт $K$ обязан цитировать свои конфликтующие утверждения дайджест-закреплённой ссылкой (нецитируемое $K$ несериализуемо — это же защита от затопления). Попарное обнаружение по выпущенному контексту; разрешимо, потому что скоуп — закрытый словарь. Статус: обеспечено — попарный проход, дайджест-закреплённые записи о конфликтах, правило цитирования K доказанно красное, подавление из объявленного строгого частичного порядка, отказывающего тотализации, и разрешённые записи о конфликтах едут в контракте.

I5 — Сохранение модальности (P). Для скоупа задачи $\sigma$: каждое утверждение MUST/MUST-NOT в закреплённом графе, чей скоуп пересекает $\sigma$, появляется в контракте с неослабленной модальностью (MUST-NOT → SHOULD-NOT — нарушение). В v1 этот инвариант был немеханизируем, потому что модальность жила в прозе; с модальностью и скоупом как полями он становится сравнением множеств — самый ясный пример того, что покупает слой утверждений. Статус: обеспечено ровно как предсказано — присоединение пересечением скоупов плюс пост-REDUCE сравнение множеств. У выигрыша есть демонстрация в природе с честным разделением заслуг: аудит единиц оценки поймал настоящий дрейф MUST→SHOULD, произведённый свободным кодированием (§8.4), — ровно тот дефект, ради отказа которому эта проверка существует; поле — то, что делает такой дрейф машинно-проверяемым постфактум. Собственный механический отказ I5, доказанно красный на синтетических сценариях, на реальном содержимом ещё не срабатывал.

I6 — Сохранение направления (S-перечисление/P-проверка). Транспорт никогда не разворачивает, не симметризует и не перетипизирует ребро: словарь отношений — закрытое перечисление с различимыми обратными членами, свободнотекстовые отношения несериализуемы, и каждое утверждение-отношение в передаче проверяется против закреплённого графа — цитированное ребро, существующее в реестре развёрнутым, громко падает. Статус: S-ярусная половина обеспечена (закрытое перечисление, пары обратных, отказ доказанно красный); P-ярусная перекрёстная проверка передачи против реестра — NOT YET: долг на шве потребителя пакета, названный здесь, а не подразумеваемый.

I7 — Корректность дельт (S-база/R-применение). $\mathrm{digest}(\mathrm{apply}(\Delta, \mathrm{fetch}(\Delta.\mathrm{base}))) = \Delta.\mathrm{after}$; отказ при отсутствующей базе, никогда «ближайшая версия» — контентная адресация в традиции Меркла (Merkle, 1979), применённая к контекстам. Дельта без дайджест-закреплённой базы несериализуема; равенство применения — свойство акта, а не байтов в покое. Статус: обеспечено — отказ по дайджесту базы в применении дельт, с фикстуром применения как тестом рантайм-яруса, как предсказано.

I8 — Монотонность только-дописываемости (A). Существующие ревизии неизменяемы; изменение — ревизия-наследник; никакого правления на месте, удаления или переиспользования дайджеста. Расширение на передачу: пакет, утверждающий ревизию $X$ с дайджестом, отличным от $X$ реестра, — это двусмысленность (equivocation), отказ. Статус: обеспечено на хранилище и пути записи — и упражнено двумя настоящими гонками конкурентного авторства, обе решены по замыслу: каждый проигравший писатель получил отказ и ничего не мутировал; гонка карты возможностей восстановилась поэтапным наследованием, а в гонке role-developer проигравший кандидат был отброшен в пользу стоящей ревизии (§8.5).

I9 — Честность минимальности (S). Никакой артефакт не может заявлять минимальность; контракты заявляют достаточность на объявленной ступени редукции, и у «минимального» нет сериализации (§6.3). Образцовый случай сильнейшего класса: схема отказывается выразить нарушение, при нулевой рантайм-стоимости. Статус: обеспечено и продемонстрировано — отказ заявлению минимальности мутационно доказан, поле ступени обязательно, редукции точной ступени выдают в квитанцию сертификат исчерпания, и каждая живая проекция этого цикла несла свою объявленную ступень (§8.5).

I10 — Единственность определения и импорт (A/S-где-возможно). Каждое определение, которым владеет система, — реестр видов, перечисление отношений, таблица областей определения/значений, словарь скоупов, перечисление вердиктов, каталог кодов отказа, множество корней хранилища, перечисление ступеней — существует ровно один раз как версионируемый объект, и каждый потребитель импортирует его по пину. Компонент, переписывающий одно из них, невалиден как компонент, каким бы ни был его выход. Этот инвариант куплен реальным инцидентом (§8.6). Честный предел: упорное переписывание внутри непрозрачного кода обнаружимо только по расхождению; линт сужает окно, закрыть его он не может. Статус: обеспечено — и линт отработал своё при первом же контакте: его первый прогон по живому репозиторию нашёл пять существовавших ранее переписываний того же класса дефекта, пропущенных разбором инцидента, — молчаливых, потому что ни одно ещё не разошлось (записаны как явный, защищённый от устаревания долг, не амнистированы). Остаточное окно только-по-расхождению теперь подтверждено свидетельством, а не заявлено; и починка инцидента доказуемо НЕ закрыла класс — закрыл линт.

I11 — Закреплённые ссылки на утверждения (S/A). Межревизионная цитата утверждения без пина дайджеста содержимого отвергается. Дайджест замораживает байты полезной нагрузки, так что пара (дайджест, ключ) однозначна навсегда; разрешение против «latest» — это атака двусмысленности, которой не нужен атакующий. Статус: обеспечено, отказ доказанно красный; сопутствующее правило наследования — ключи утверждений не могут молча дрейфовать через наследование — также доказанно красное и было упражнено первым реальным наследованием хранилища.

I12 — Паритет форм (A/P). Каждая отрендеренная проекция (страница, сгенерированный документ) несёт пин своего источника и регенерируется байт-идентично из своей исходной ревизии; проекция без источника — не артефакт. Гейт публичного контента системы v1 — прецедент, и его истинное множество нарушений посчитано в §8.6 — после двух исправлений инструмента. Статус: обеспечено для хранилища v2 (детерминированная проекция с пином источника, байтовое сравнение, красный на отсутствующем, осиротевшем или дрейфующем); инвариант к тому же поймал реальный дефект в собственном рендерере в этом цикле — усекающую проекцию, более теряющую, чем её ревизия, нарушающую инвариант по духу, — найден параллельным прогоном, исправлен и переверифицирован (§8.5).

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

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

I15 — Межскоуповая тождественность — заявление, никогда не вывод (S/A ядро; R устаревание). Равенство имён между скоупами никогда не влечёт тождественности; тождественность или заменимость между скоупами — это явный, подкреплённый свидетельствами, закреплённый дайджестом Мост (Bridge) плюс ограниченная заявка на использование с объявленной допускаемой потерей и обязательной актуальностью (разделение Моста/заявки принято из FPF с атрибуцией, §2.9) — и даже тогда это не авторизует ничего (разделение авторизации распространяется на семантические рёбра). Резолвер отказывает немостовому межскоуповому разрешению — исполняемое правило, теперь исполненное. Остаточный рантайм-ярус: устаревание моста (наследование конечной точки переворачивает опору в $K$ до повторного подтверждения; отказ доказанно красный). Статус: обеспечено и упражнено отрицательно под реальным давлением: запись о дефиците называла артефакт алиасом tal-, чьё содержимое живёт под другим объявленным идентификатором. Чеканка алиас-близнеца создала бы ровно ту поверхность двусмысленности, которую этот инвариант убивает; близнецу было отказано — Мосту нужны две дайджест-закреплённые конечные точки, а у алиасной стороны нет ни одной, — и дефицит закрывается при переносе требующего. «Требование только-по-имени — не тождественность» устояло, когда это чего-то стоило.

I16 — Целостность слоёв (A/P). Каждое проецируемое утверждение имеет значение слоя из {законы, допустимость, деонтика, свидетельства} (четырёхслойная классификация принята из FPF с атрибуцией, §2.9) — выводимое по умолчанию из существующих полей, явно помечаемое только там, где вывод неоднозначен, — с детерминированными межслойными линтами: утверждение слоя свидетельств никогда не удовлетворяет деонтическому обязательству (лог — не доказательство; носитель свидетельств не может создать разрешение); деонтика никогда не выводится из одних законов; допустимость гейтирует до деонтической оценки. Записанная честность: если эти линты никогда осмысленно не падают на практике, дисциплину следует убрать, а не держать как театр. Статус: обеспечено на A-ярусе — значения слоёв выводятся по умолчанию, разногласие объявленного-с-выведенным — ошибка, деонтическая сила на носителе свидетельств отвергается, отказ доказанно красный. Правило разрешения «допустимость-гейтирует-до-деонтики» — NOT YET: ему нужна оценка конвертов возможностей на этапе связывания, у которой пока нет потребителя. И решение оставить-или-убрать, обещанное пунктом записанной честности, пока принять нельзя — линты не прошли по достаточному реальному содержимому, чтобы его рассудить.

Инвариант	S	A	P	R	Слабейший необходимый ярус	статус v2
I1 замыкание происхождения		✔	✔		P	обеспечено
I2 никакого дописанного смысла	◐		✔	аудит	P (ядро; хвост аудита строк-значений R)	обеспечено (ядро S-яруса; хвост аудита процедурный)
I3 детерминизм снапшота		◐		✔	R	обеспечено (тест дайджестов двойного прогона)
I4 поднятие конфликтов	◐		✔		P	обеспечено
I5 сохранение модальности			✔		P	обеспечено (пост-REDUCE сравнение множеств)
I6 сохранение направления	◐		✔		P	S-ярус обеспечен; перекрёстная проверка передачи NOT YET
I7 корректность дельт	◐			✔	R	обеспечено (отказ по дайджесту базы + фикстур применения)
I8 только-дописываемость		✔	◐		A (ядро; расширение на передачу P)	обеспечено; упражнено двумя реальными гонками
I9 честность минимальности	✔		◐		S	обеспечено; выдача сертификата протестирована (R3 не упражнена в деле, §6.2)
I10 единственность определения	◐	✔		расхождение	A (ядро; остаток по расхождению R)	обеспечено (линт + реестр долга)
I11 закреплённые ссылки на утверждения	✔	✔			S	обеспечено
I12 паритет форм	◐	✔	✔		A	обеспечено для хранилища v2
I13 замыкание профилей	✔	✔			S	обеспечено там, где профилировано (см. заметку статуса)
I14 неимпортируемость полномочий			✔	✔	P	обеспечено
I15 межскоуповая тождественность	✔	✔		устаревание	S (ядро; устаревание R)	обеспечено (немостовой отказ + устаревание)
I16 целостность слоёв		✔	✔	tag-shopping	A (ядро; гейт связывания R)	A-ярус обеспечен; гейт связывания NOT YET

Таблица 2. Классификация силы обеспечения (◐ = частичное покрытие на ярусе), со статусом реализации по инвариантам. Колонка «слабейший необходимый ярус» следует одному правилу: она называет слабейший ярус, на котором ЯДРОВОЕ обязательство инварианта полностью исполняется, — частичное (◐) покрытие не исполняет ничего, а остаточные обязательства слабее этого яруса берутся в скобки, а не повышаются. Правило — суждение о существе инварианта, не счёт отметок: ✔ фиксирует, где проверка работает, колонка — где она неизбежна (I1 нужен обход на этапе выпуска, потому что контракты выпускаются по задаче; отрендеренные проекции I12 — закоммиченные артефакты, так что CI-сравнение байтов исполняет его на A). Колонка статуса конденсирует собственную таблицу покрытия реализации, проверенную против её исполненного набора тестов и гейтов на закреплённом коммите (§8.2); классификация ни одной строки не была понижена реализацией.

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

6. Резолвер

6.1 Восемь шагов — специфицированы, реализованы, прогнаны

$\mathrm{Resolve}(G_s, T)$ специфицирован в восьми шагах, все реализованы и прогнаны из конца в конец на реальных задачах в этом цикле (§8.5) — с двумя честными звёздочками у «упражнено»: проход конфликтов шага 5 ни разу не срабатывал на реальном содержимом (живого конфликта ещё не возникло; его пути обнаружения и отказа доказанно красные только на синтетических сценариях), а ступени R2/R3 у REDUCE не работали в деле (§6.2):

1. σ-фильтр: отбросить ревизии вне скоупа/действия (линейно);
2. посев: сопоставить требования $T$ провайдерам (поиск по индексу);
3. замыкание: ограниченное детерминированное замыкание от посева по закреплённым зависимостям и типизированным отношениям (полиномиально; модель — ограниченный BFS системы v1 с типизированными не-ответами);
4. присоединение норм: каждое MUST/MUST-NOT со скоупом ∩ σ ≠ ∅ (I5 — полнота, не минимальность);
5. проход конфликтов: попарный $\#$ по замыканию; разрешить по $\succ$ или поднять $K$ (I4);
6. REDUCE: шаг минимизации (§6.2–6.3);
7. проход вердиктов: $\otimes$ по редуцированному множеству — после REDUCE, потому что удаление провайдера может сломать ограничение, случайно выполнявшееся раньше (снова теорема 1; реализация, переставившая шаги 6 и 7, заново ввела некорректное слияние);
8. выпустить или отказать: контракт с квитанцией (сертификат достаточности, ступень редукции, сохранённые отклонения) или типизированный структурный отказ. Отказ — первоклассный исход: агент не стартует.

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

6.2 Трудность

Определение 5 (минимальная достаточная проекция, версия-решение). Дано: закреплённый граф $G_s$, чьи артефакты несут каждый множество предоставляемых токенов возможностей; задача $T$ с требуемым множеством токенов $U$; целое $k$. Вопрос: существует ли выбор не более чем $k$ артефактов, чьи предоставляемые множества совместно покрывают $U$?

Теорема 2. Минимальная достаточная проекция NP-полна.

Доказательство. Принадлежность: выбор — сертификат полиномиального размера; проверка покрытия — объединение и сравнение. Трудность: сведение от «Покрытия множеств» (Karp, 1972). По данному экземпляру Покрытия множеств (универсум $\mathcal{U}$, семейство $\mathcal{S} = \{S_1, \dots, S_n\}$, граница $k$) построим по одному артефакту на $S_i$, предоставляющему ровно токены $S_i$, и задачу, требующую $U = \mathcal{U}$. Выбор $\le k$ артефактов, покрывающий $U$, существует тогда и только тогда, когда существует покрытие размера $\le k$; отображение полиномиально. $\blacksquare$

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

6.3 Разрешимая лестница и запрет «минимального»

Ступень	Процедура	Цена	Чем пожертвована минимальность
R0	только-замыкание	poly	ничего не удалено: достаточно, возможно грубо избыточно
R1	замыкание + отсечение доминируемых альтернатив под закреплённым тай-брейком	poly	сохраняет ничьи; корректно, потому что тай-брейк закреплён
R2	жадное покрытие множеств по альтернативам	poly	в пределах $\ln n + 1$ от оптимума (Chvátal, 1979; Johnson, 1974) — и ни один полиномиальный алгоритм асимптотически лучше не сделает, если только не P = NP (Dinur & Steurer, 2014, вслед за Feige, 1998)
R3	точная минимизация, ограниченная (≤ ~20 точек выбора, через SAT/ILP)	экспоненциально в точках выбора, гейтировано бюджетом	никакой ниже границы; выше — отказывает и никогда молча не деградирует

Таблица 3. Лестница редукции.

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

Поскольку истинная минимальность неразрешима за приемлемое время, а заявление минимальности без сертификата точности нефальсифицируемо, инвариант I9 делает ступень обязательным полем каждого контракта и убирает слово «минимальный» из выходного словаря целиком: что контракт может заявлять — это доказуемо достаточно на объявленной ступени — и запрет обеспечен, а не желателен: отказ заявлению минимальности мутационно доказан, и каждая проекция, выпущенная для живого параллельного прогона, несла свою объявленную ступень (§8.5). Почему REDUCE вообще важен: чрезмерные контексты стоят токенов (прямой счёт), внимания (нерелевантные ограничения разбавляют соблюдение релевантных) и экспозиции (ненужный материал расширяет поверхность секретности — редукция это ещё и требование минимизации данных, не только экономия). И единственная цена, которую REDUCE тронуть не может, теперь измерена, а не аргументирована: нормы, присоединённые пересечением скоупов, защищены от редукции правилом полноты I5 по замыслу, и пост-черновиковый прогон на полном хранилище выставил этой защите счёт — грубо-скоупированные нормы вырастили отрендеренный контекст одной задачи в 8,8× при +32% стоимости исполнителя (§8.8).

У достаточности есть собственный честный предел: $K \models T$ проверяемо только против объявленных требований. Факт, существующий прозой, но не утверждением, невидим для любого Резолвера — принцип, подтверждённый в этом цикле вживую: каждая недостаточность проекции, записанная параллельным прогоном, восходила к факту, который никто не утверждал (путь полезной нагрузки, необъявленное правило авторства), никогда — к дефекту Резолвера (§8.5). Размер долга неграфованного содержимого — сам по себе поучительная история об инструментах: цифра, которую нёс черновик этой статьи, 42 из 125 опубликованных артефактов, была на две трети выдумкой инструмента — исправленный гейт считает 14 подлинно неграфованных артефактов, остальные 28 — фантомы, изготовленные гейтом, выводившим идентичности вместо их чтения (§8.6). Закрытие настоящих 14 — предусловие корректности, чтобы гарантия Резолвера вообще что-то значила, а не гигиена.

7. Геометрия и стоимость

Определение 6. Пусть $G = (M, E, w)$, где $M$ — смысловые объекты, $E$ — типизированные направленные рёбра, несущие записанные стоимости, и $w : E \to \mathbb{Z}_{\ge 0}$ — стоимость. Определим $d(x, y) = \inf\{\sum_i w(e_i)\}$ по направленным путям $x \to y$ внутри $E$, с $d(x, y) = \infty$, если такого пути нет. (Ребро без записи стоимости — вне $E$: запрос, чьи единственные маршруты его пересекают, возвращает достижимость отдельно и стоимость неизвестно — см. ниже.)

Предложение 6. $d$ удовлетворяет $d(x,x) = 0$ и неравенству треугольника $d(x,z) \le d(x,y) + d(y,z)$, без требования симметрии: $d$ — расширенная квази-псевдометрика — квазиметрика в смысле Уилсона (1931) ровно тогда, когда выполняется аксиома отделимости, которая здесь не требуется. Доказательство: нулевой путь и конкатенация путей — min-plus (тропическое) замыкание. С неотрицательными целыми весами на конечном графе инфимум достигается простым путём (циклы не могут уменьшить стоимость), так что $d$ вычислима стандартными алгоритмами кратчайшего пути. $\blacksquare$

Два правила реализации следуют из честности, а не из математики: сырые веса рёбер не обязаны удовлетворять неравенству треугольника (ему удовлетворяет только замыкание — никогда не читайте хранимый вес как «расстояние»), и $d(x,y) = d(y,x) = 0$ при $x \ne y$ допустимо («тот же смысл, другой адрес»; факторизация по этому отношению и восстанавливает аксиому отделимости Уилсона, когда она нужна).

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

Весами управляют три правила происхождения. Измеренные веса выводятся из операционного леджера (продакшен-система записывает по-задачное астрономическое время, счётчики токенов и стоимость с флагом основания оценено/измерено по 126 по-задачным файлам леджера); повторные образцы дают распределение, чья объявленная статистика записывается со ссылками на образцы. Объявленные веса допустимы там, где образца нет, и навсегда остаются отличимыми от измеренных. Запрещено: выводить веса из косинусных расстояний эмбеддингов — эмбеддинги симметричны по построению (проверено в исследовательской фазе против поисковой фьюжи экосистемы, чьё ранжирование не несёт направленного члена; проверка закреплена к той фазе, в этом цикле не перезапускалась, и никакой линт это правило пока не обеспечивает), а отмывание симметричного сходства в «асимметричную стоимость» изготавливает ту самую асимметрию, ради сохранения которой слой существует. Веса никогда не гейтируют корректность — гейтируют только ограничения; неверная стоимость мис-приоритизирует, она не может мис-разрешить — правило дизайна, не показанное свойство: пути кода, на котором это проверить, ещё не существует. Ребро без записи стоимости имеет стоимость неизвестно ($U$), никогда $1$ и никогда $0$; $\infty$ зарезервировано для объявленной недостижимости при скоупе полного замыкания.

Непрерывная, зависящая от направления геометрия (Финслер; Bao, Chern & Shen, 2000) добавила бы геодезические через точки, не являющиеся узлами графа, кривизну и зависящую от направления инфинитезимальную стоимость — ничто из этого не определено, пока смыслы не живут в непрерывном пространстве. На дискретном носителе из 324 архивных и 14 живых ревизий каждый реально задаваемый вопрос — вопрос кратчайшего пути, и квазиметрика на него отвечает. У отсрочки есть явный триггер (непрерывное вложение с осмысленной интерполяцией), а не дата; строить аппарат сейчас было бы декоративной математикой.

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

8. Оценка

Оценка делает пять видов утверждений пяти разных сил: историческое доказательство существования от хранилища v1, ныне замороженного архива (§8.1); доказательство реализации от исполненного слоя v2 и его живого хранилища (§8.2); пилот v0, сохранённый как пилот (§8.3); измеренная оценка — четыре меры, совместно, опровергающая утверждение этой линии о токенах в обеих его гранях и сужающая её утверждение о дельтах (§8.4); и запись собственной эксплуатации и параллельного прогона (§8.5), чья проверка посылки свалила третье опровергнутое утверждение — цифру долга хранилища — через пересчёт инструмента из §8.6. Эпизод ошибки измерения (§8.6) и угрозы валидности (§8.7) закрывают раздел в том виде, в каком он был написан. Два подраздела написаны позже всех них: §8.8 — датированное дополнение из второго раунда — перенос корпуса и прогон на полном хранилище, — а §8.9, датированный днём позже, записывает исправление собственной рамки перечисления §8.8; оба добавлены после закрытия оценки этого черновика, не вплетены в разделы, чьи утверждения они расширяют или которым противоречат.

8.1 Историческое доказательство существования: хранилище v1, ныне замороженный архив

Все утверждения этого подраздела проверены чтением продакшен-репозитория и повторным исполнением его собственных загрузчиков на коммите 63f66b2 (2026-08-29) — никогда цитированием его документации. После той проверки хранилище было закрыто: v1 — архив только-для-чтения, замороженный механически — манифест SHA-256 над его 346 файлами (324 ревизии плюс 22 записи о дефицитах), обеспечиваемый в CI проверкой заморозки, которая сама мутационно доказана (4/4 красных пути). Заморозка — это постоянный пересчёт: каждый счёт ниже байт-идентично перезапускаем на пине. Что в этом цикле не переисполнялось — помечено как таковое.

Хранилище держит 324 неизменяемые ревизии 210 логических идентификаторов по трём корням (55 + 147 + 122), семи управляемых видов (172 Навык, 51 Роль, 43 Блюпринт, 20 Ограничение, 17 Критерий успеха, 16 Политика, 5 Описание возможности), каждая с тройкой идентичности из §3.1 и дайджест-верификацией при загрузке. Его файл переписи дополнительно записывает 324 ребра зависимостей (по совпадению равно числу ревизий; оба перевычислены независимо на пине), 293 разрешённых ребра отношений и 57 неразрешённых объявленных рёбер отношений — записаны видимо, никогда не отброшены. Перепись в этом цикле не переисполнялась; байтовая заморозка делает её перезапускаемой идентично на пине. И один факт, которого числа переписи не схватывают, узнанный при работе над переносом в v2: отношения v1 по-имени никогда механически не проверялись вовсе — единственный механический гейт фронтматтера архива не верифицирует никаких отношений (проверено по его коду, §8.5), — так что «записаны видимо» — свойство файла переписи, а не свидетельство, что хоть одно объявленное отношение разрешается.

Валидатор v1 обеспечивает 16 типизированных кодов отказа (незакреплённые ссылки, расхождения дайджестов, незамкнутые зависимости, конфликты исключений, ретроспективная мутация, двусмысленность повтора, полномочия, протащенные через содержимое, само-заверение свидетельств — среди прочих), под красно-зелёной доктриной: ни один код отказа не существует без теста, который может уйти в красное. Тот харнесс был прочитан и инвентаризован для исходного черновика, но не переисполнен — и с тех пор не переисполнялся: архив заморожен и никогда не валидируется под v2. Живой каталог-преемник — 27 кодов v2, и тот харнесс для этой редакции исполнялся (§8.2). Пятистадийный Резолвер v1 (Propose → Verify → Select → Assemble+Issue → Bind), с его тремя никогда-не-сливаемыми идентичностями и задокументированным правилом «никогда „не бери первый попавшийся“», — также история: он прогнал одно реальное сквозное разрешение до состояния Bound (Исправление, 2026-08-31 — недосчёт; собственная запись хранилища говорит двадцать, см. §8.11), свежими разрешениями в этом цикле не упражнялся и вытеснен восьмишаговым Резолвером v2, где шла вся свежая работа разрешения — четыре сквозных прогона допуск → проекция → исполнение (§8.5), заменившие v1-эпохи n = 1 как доказательство существования-в-движении субстрата.

Равно несущи и верифицированные отсутствия. У хранилища v1 нет поля деонтической модальности (запреты живут в прозе, с единственным узким исключением структурированных правил политик, несущих эффекты allow/deny/require_approval — существующий механизм, который поле модальности v2 обобщает), нет поля скоупа, нет значений вердикта кроме булевых проверок, нет записей о конфликтах, нет транспорта дельт и нет модели стоимости (поле бюджета существует на интентах Резолвера и не читается ни одной стадией). Теоремы §4 — о слое, который эти отсутствия очерчивают, и каждое отсутствие, кроме модели стоимости, — теперь закрытая, реализованная цель v2 (§1.4). А собственный гигиенический гейт хранилища — после двух исправлений инструмента (§8.6) — сообщает, что 14 из 125 опубликованных документных артефактов подлинно не имеют опорной ревизии графа (8 компетенций, 2 навыка, 2 политики, 2 ограничения, посчитано по объявленным идентификаторам из канонических корней; один из 14 был переавторизован в хранилище v2 в этом цикле), несомых как известный долг, а не согласованных прочь.

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

8.2 Доказательство реализации: слой v2 и его живое хранилище

Слой v2, описанный в §§3–6, реализован в одной видимой граничной директории того же репозитория, и каждое утверждение о реализации в этой статье подкреплено исполненным тестом или гейтом на коммите 41c480a (2026-08-30) — пине всех доказательств v2 этой редакции. Компоненты: модуль единственного определения (I10), который импортирует каждый другой компонент, — реестр видов, профили, словарь скоупов с правилами пересечения, перечисления вердиктов/модальностей/ступеней, каталог кодов отказа, единственный корень хранилища v2; хранилище ревизий с верификацией канонического дайджеста при загрузке и отказом дубликату/ретро-мутации на входе; валидатор, каждый отказ которого — код каталога; восьмишаговый Резолвер с типизированными отказами и объявляемыми ступенями; пакетный модуль (канонический JSON плюс детерминированная строчная проекция, круговой обход обеспечен, дельты с отказом по дайджесту базы); и перенос из архива — единственная дверь, через которую входит содержимое v1, с отказом выводить поля суждения вместо их подстановки. CI-гейты — заморозка архива, линт единственного определения, покрытие отказов, тестовый набор — каждый мутационно доказан прежде, чем работает.

Каталог кодов отказа держит 27 типизированных кодов, каждый доказанно уходит в красное на живом сценарии исполняемым харнессом покрытия — счётчик падает на отсутствующем сценарии, так что цифра 27/27 не может молча сгнить, — переисполнено при аудите утверждений этой редакции (2026-08-30). По колонке статуса §5 все шестнадцать инвариантов обеспечены или честно размечены по ярусам, с двумя названными под-ярусами NOT-YET (перекрёстная проверка передачи I6, гейт связывания I16); лестница редукции работает R0–R3, включая точную-с-сертификатом (§6.3).

Живое хранилище, пересчитанное с диска для этой переработки: 14 ревизий 11 логических идентификаторов — каждая произведена реальной работой, ни одна не посеяна как фикстурное содержимое. Разбиение, изложенное так, что суммируется: три скрипта как Описание возможности с обязательными конвертами (3 ревизии); шаблон как Блюпринт через три ревизии — сначала перенос, затем поэтапное наследование, закрывшее взаимную ссылку шаблон↔︎скрипт, затем наследование provides-токена, закрывшее живой дефицит допуска (3); одно ограничение (1) и одна ревизия исследовательских свидетельств (1); карта возможностей как Блюпринт через две ревизии, вторая — наследование, вынужденное настоящей гонкой авторства на этом артефакте (§8.5) (2); три реальных переноса из архива — структурированный навык (который заодно закрыл восьмую зарегистрированную цель-дефицит на её объявленном идентификаторе), артефакт role-developer и перенос легаси-прозаического ограничения, честный только через утверждение объявленного остатка, закрывший второй дефицит допуска прогона (§8.5) (3); и ревизия авторской возможности, отчеканенная в том же двухуровневом исследовательском цикле, что и третья ревизия шаблона (1). Это 3 + 3 + 1 + 1 + 2 + 3 + 1 = 14 ревизий, и все восемь зарегистрированных целей-дефицитов «существует-вне-графа» — среди них: семь под собственными логическими идентификаторами, восьмая разрешена на её объявленном идентификаторе переносом навыка. (Эти счета — хранилище на пине этого раздела. Пост-черновиковый второй раунд позже вырастил его до 63 ревизий объёмным переносом корпуса; этот рост и его следствия сообщаются отдельно, с датой, в §8.8 — не вплавлены в счета здесь.) Два наблюдения из того роста принадлежат записи. Первое: стоимость авторства концентрируется в первом артефакте каждой формы: вторая волна переносов дефицитов получила ноль отказов валидатора и кредитовала проработанный пример первой волны — кривая обучения, а не постоянный налог. Второе: валидатор отработал своё на этапе записи, отказав трём реальным неверно сформированным ключам утверждений при первой декомпозиции — ошибки авторства пойманы до ревью, а не после.

8.3 Транспортный пилот (исторический)

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

Измеренный вопрос: что делает перекодирование реальной передачи агент-агенту из прозы в типизированную пакетную форму с её счётом токенов при семантическом содержании, фиксированном по построению?

• Корпус. Шесть реальных артефактов передач из живого хранилища рабочих процессов агентной оркестрации экосистемы — отдельного от графа §8.1 хранилища, державшего 56 сессий и 116 снапшотов на момент измерения по закоммиченной записи измерения (снапшотная половина независимо подтвердилась, когда оценка §8.4 набрала собственный корпус из той же директории и нашла 116 файлов; сессионная половина по-прежнему опирается на одну закоммиченную запись), — выбранных так, чтобы охватить классы артефактов: две сессионные передачи, три стадийных снапшота (варианты родителя-оркестратора, заблокированной задачи и продакшен-пуша), один архив. Оригиналы скопированы дословно в директорию измерения.
• Перекодирование. Каждый артефакт был вручную закодирован в пакетную проекцию — лаконичную строчную грамматику с типизированными строками утверждений, записями состояния, обоснованными выводами, деонтическими строками, явными оградами не-заявленного/неизвестного, записями о конфликтах, строками дельт, указателями свидетельств и отказами — той самой исследовательской сессией, которая спроектировала формат, под правилом полноты: каждая несущая семантическая единица сохранена (вердикты, модальности, дайджесты, записи о конфликтах, уроки; полные хэши сохранены там, где полные хэши были в прозе), с нарративной соединительной тканью как единственной допустимой потерей. Уроки и прочее новое содержимое несутся огороженным свободным текстом: формат отказывается сжимать то, чего нет ни в одном реестре.
• Счёт. tiktoken, оба словаря — o200k_base и cl100k_base. Токенизатор принимающих моделей проприетарен; два независимых BPE-словаря сообщаются затем, чтобы отношение не было артефактом одного словаря (они согласуются в пределах 0,3 процентного пункта всюду). Харнесс, пары файлов, прозаические оригиналы и пакетные перекодировки закоммичены рядом с исследовательскими документами в (приватном) исследовательском репозитории; воспроизведение — две команды для любого с доступом, а §10 говорит, что стоит между корпусом и публичным выпуском.

Полнота контролировалась построением, а не скорингом сходства: каждый пакет аудируем строка-против-источника, и позиция дизайна остаётся в том, что правильная метрика полноты для этого формата — валидатор-проверяемая полнота по единицам, не сходство эмбеддингов: резюме с 84% семантического сходства, потерявшее один MUST-NOT, прошло бы проверку эмбеддингами и провалило бы инвариант I5. Но пилот обеспечивал эту позицию только дисциплиной самого кодировщика, без независимой проверки — а когда независимая проверка наконец была проведена (§8.4), проверенное-построением ручное кодирование оказалось наименее точным из измеренных плеч. Позиция выживает; заявление пилота, что он ей удовлетворил, — нет.

Результаты пилота, дословно:

Передача	Байты прозы	Байты пакета	Токены прозы	Токены пакета	Сокращение
стадийный снапшот 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%

Таблица 4. Результаты автономных пакетов, o200k_base (итог cl100k_base — 38,1%; по-артефактное согласие в пределах 0,3 п.п.).

	Проза (полный пересказ)	Дельта-пакет	Сокращение
токены (o200k_base)	2623	1116	57,5%

Таблица 5. Единственная пара дельта-режима (n = 1): сессионная передача 2, перекодированная против своего реального предшественника, со стоящим контекстом, несомым закреплённой ссылкой, — платя только за изменение.

Чтение пилота, пере-заякоренное оценкой: совокупный эффект был сокращением 37,9%, взвешенным по токенам (1 − 5604/9018, так что крупные артефакты весят больше; невзвешенное среднее шести по-артефактных сокращений — 33,5%; по-артефактный разброс 19,4–51,5%; два словаря токенизаторов согласны в пределах 0,3 п.п.) — пакетов, закодированных проектировщиками, которые позднейший аудит единиц нашёл точными лишь на 82,7% (§8.4). По-артефактный разброс остаётся честным выводом пилота, теперь подтверждённым на одном конце и непроверенным на другом: артефакты, чьи авторы уже изобрели ad-hoc полуструктурированную дисциплину, сидят у пола идентификаторов (здесь 19,4–21,5%; 18 свежих идентификаторно-плотных образцов оценки воспроизвели пол, с потолками базлайнов 11,9%/14,8%, показывающими, как мало нарративной ткани есть удалять), тогда как нарративно-тяжёлый конец с 51,5% не перепроверялся. «Вклад формата — проверяемость, не токены» — чтение пилотом собственных случаев пола — после §8.4 есть поддержанная позиция этой статьи для всего класса корпуса. 57,5% дельта-режима на единственной чистой паре пилота были заявлены как n = 1 и остаются n = 1; расширение оценки на четыре пары резко его сужает (§8.4). Ранний черновик ставил рядом с 37,9% внешнюю точку калибровки (Salehi et al., 2025); это чтение отозвано — число, измеряющее умение кодировщика, не подтверждает порядок величины никакого формата (§2.1).

8.4 Оценка: четыре меры, совместно

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

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

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

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

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

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

8.5 Свидетельства собственной эксплуатации и параллельного прогона

(Пере-скоупировано 2026-08-31, в свете второго раунда: прогон ниже был выполнен на почти пустом хранилище — 14 ревизий §8.2 — и с того раунда является ПИЛОТОМ этой статьи для контура контракта. Пост-черновиковый перезапуск идентичных четырёх задач против корпусного хранилища в 63 ревизии подтвердил его корректность допуска — снова 4/4, вытеснив этот прогон как доказательство корректности, — и опроверг его картину контекста: проекции тех же задач выросли с 2–4 ревизий до 12–13. §8.8 сообщает тот перезапуск; ничто ниже не переписано в его свете.)

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

Гейт допуска: 4/4, включая отказы. Каждая задача была допущена через тернарный гейт: два вердикта $\top$ (оба с существующим управляющим ограничением, въехавшим в проекцию пересечением скоупов, без шага курирования — инвариант I5 как присоединение, вживую) и два честных вердикта $U$, каждый называющий недостающий артефакт как пригодную к действию спецификацию авторства. Ноль ложных $\top$: ни одна задача, допущенная $\top$, не наткнулась на недостающий артефакт посреди задачи. Путь отказа был доказан вживую дважды: два вердикта $U$, каждый повёл исследовательский цикл, закрывшийся пере-допуском $\top$; между ними циклы создали три артефакта — наследование provides-токена, ревизию авторской возможности (эти два в одном цикле, ушедшем на два уровня вглубь) и настоящий перенос легаси из архива. Одно предсказание пришлось исправить до прогона: автор неверно помнил хранилище; хранилище, спрошенное, было право.

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

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

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

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

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

8.6 Эпизод ошибки измерения — и его рецидив

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

Два CI-гейта были написаны проверять целостность хранилища и паритет документов-к-графу. Каждый переписал от руки список корней хранилища вместо импорта канонического определения; один опустил корень, державший 55 ревизий, и изобрёл корень, который хранилище не загружает. Гейт целостности сообщил 56 висячих рёбер зависимостей (сфабрикованная цифра, не связанная с реальным счётом §8.1 в 57 неразрешённых объявленных рёбер отношений — другой класс рёбер, записанный корректно), 22 ревизии пропали («содержимое утрачено навсегда», записано в реестр долга на 22 строки); гейт паритета сообщил 60 опубликованных артефактов как неграфованные. Каждая «пропавшая» ревизия присутствовала всё это время; у 18 из 60 «неграфованных» артефактов были ревизии в непрочитанном корне. Обе цифры были беллетристикой, произведённой инструментом.

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

Она не была решённой. Две трети её были беллетристикой — из того же гейта, второй ошибкой того же класса. Во время параллельного прогона (§8.5) исполнитель нашёл посылку задачи ложной: артефакт, который реестр долга числил неграфованным, имел две ревизии в графе. Корневая причина, проверенная по коду гейта: исправленный form-parity-check выводил каждый ожидаемый идентификатор как фиксированный префикс плюс имя файла, игнорируя объявленный идентификатор во фронтматтере самого артефакта, — у 28 из 42 «неграфованных» артефактов содержимое было заграфовано под их объявленными идентификаторами всё это время. Истинный долг по объявленным идентификаторам: 14 (8 компетенций, 2 навыка, 2 политики, 2 ограничения — цифра, используемая в §8.1 и §6.3). Тот же файл, тот же класс дефекта, второй экземпляр: инструмент, переписывающий (на этот раз — выводящий) идентичность, которую должен был читать. Гейт теперь читает идентификаторы из фронтматтера и поднимает инструментальную ошибку на отсутствии; реестр долга подрезан с записью исправления на месте; мутационный харнесс гейта обновлён и передоказан; и в части спецификации, нёсшие 42, добавлены эрраты.

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

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

8.7 Угрозы валидности

Список угроз пилота переформулирован с тем, что оценка сделала с каждой угрозой; добавлены новые угрозы, которые вводит сама оценка.

1. Ручное кодирование проектировщиками формата — больше не угроза, а объяснение: риск, который пилот называл («градиент стимулов к выгодному сжатию», «нет межсудейской проверки»), — ровно то, что оценка измерила, и пилот его недооценивал: независимый кодировщик не сузил сокращение — он перевернул его знак (38,0% против 2,2% на том же подмножестве, инфляция на полном корпусе). Судейство единиц теперь несёт межсудейскую проверку (113/114); согласие кодирования между независимыми кодировщиками остаётся неизмеренным за пределами одной пары ручное/автоматическое.
2. Отбор — исправлено: корпус оценки — систематическая выборка каждого 8-го без замен, n = 18, закоммичена до кодирования. Шесть пилотных остаются кураторской выборкой и помечены историческими.
3. Нет нижестоящего измерения — закрыто, с нулевым результатом и двумя заявленными оговорками: эффект потолка при почти-без-потерь сжатии, и одно-источниковые вопросы, не способные упражнять многоконтекстные преимущества (§8.4).
4. Нет сравнения с базлайнами — закрыто: базлайны сжатой прозы и структурированного резюме прогнаны под той же инструкцией полноты, включая неудобный результат (структурированный базлайн побил пакет по токенам при 100% полноте). Уравненные-по-токенам базлайны — равная агрессия между форматами — остаются недостающим экспериментом. Передача с поиском (RAG) и стандартные KG-сериализации остаются неизмеренными.
5. Прокси токенизатора — переносится без изменений: два открытых BPE-словаря, не проприетарный токенизатор принимающих моделей; межсловарное согласие ограничивает, но не устраняет озабоченность.
6. Одна экосистема — переносится: каждый образец, в пилоте и оценке, происходит из конвенций рабочих процессов одной организации.
7. Одно семейство моделей всюду — кодировщики, базлайны, судьи и принимающие агенты — то же семейство моделей, что и проектировщики формата. Свежий контекст и постановка только-по-спецификации убирают память сессии дизайна, не стиль семейства; судья того же семейства может пропустить потери, которые поймало бы другое семейство. Это глубочайшая остаточная угроза оценки, и изнутри одного семейства она не смягчаема.
8. Параллельный прогон — это n = 4 с оркестратором как арбитром — критерии были заранее закоммичены и по-задачные результаты разложены, но четыре задачи поддерживают утверждения существования (гейт может честно отказать; цикл может закрыться), не частоты. Никакого статистического вывода нигде в этой статье не делается, и ни в какое среднее его вчитывать не следует.

8.8 Добавлено после раунда оценки этого черновика: перенос корпуса и прогон на полном хранилище (2026-08-31)

Этот подраздел написан позже каждого результата выше. Оценка и параллельный прогон закрылись на доказательном пине v2 (41c480a, 2026-08-30); нижеследующее случилось во втором раунде — реализованы пост-черновиковые требования §9.1, затем объёмный перенос корпуса знаний действующего фреймворка, затем перезапуск четырёх задач §8.5 против хранилища, которое этот перенос произвёл. Он добавлен, а не вплавлен, чтобы утверждения ни одного раннего раздела молча не унаследовали свидетельств, которых не существовало, когда они писались; там, где результат ниже противоречит результату выше, противоречие заявлено здесь, и ранний текст стоит как запись того, что утверждалось тогда.

Корпус: 41 позиция перенесена чтением, ноль отказов, две находки дрейфа. Сорок одна позиция знаний действующего оркестрационного фреймворка была перенесена в хранилище пятью параллельными авторскими волнами под одним писаным протоколом — полный источник каждой позиции прочитан, замороженный архив v1 сверен прежде памяти. Хранилище — 14 ревизий на пине §8.2 и 20 на старте переноса — выросло до 63 (kc2/OBSERVATIONS.md, OBS-013; пересчёт хранилища с диска согласен). У тридцати девяти из 41 позиции были ревизии в замороженном архиве для сверки переноса, и структурированные полезные нагрузки шестнадцати перенесённых позиций доказаны круговым обходом дайджест-точными — разложены в утверждения и снова собраны в точные байты архивной нагрузки (посчитано из по-строчных заметок леджера). Дисциплина чтения поймала две настоящие находки дрейфа, которые перенос иначе отмыл бы: живой источник одной позиции разошёлся с её архивным телом (объявлено в остатке, утверждения следуют живому источнику, оба дайджеста закреплены), а живое тело другой выросло примерно на одиннадцать разделов дальше её архивной ревизии — записано как долг наследования для осознанной позднейшей ревизии, а не молча вплавлено, потому что вплавление сломало бы детектор потерь. По всем 41 позициям валидатор выдал ноль отказов — наблюдение §8.2 о кривой обучения в полном масштабе, с честным чтением, поставленным на место льстивого: на зрелом протоколе с проработанными примерами в хранилище ценность валидатора смещается от ловли ошибок к тому, чтобы делать чистый результат доказуемым. Ноль отказов на первой волне были бы свидетельством беззубого гейта; ноль отказов на пяти волнах, от гейта, чьи отказы мутационно доказаны красными, — свидетельство о протоколе. Перенос был и первым реальным упражнением суждения о размещении из §9.1: все 41 позиции размещены на уровне вселенной, каждая с записанным обоснованием в одно предложение; одна записана как предназначенная для уровня пространства, заблокирована на операторской регистрации, которую §9.1 называет; ноль размещений уровня проекта.

Леджер соответствия: 120 позиций, четыре класса вердиктов, гейт, который не может переписывать. Полная поверхность действующего фреймворка учтена в леджере соответствия (kc2/exit/correspondence-ledger.tsv): 120 строк, по одной на поверхностную позицию — 43 перенесено / 57 покрыто-механизмом (работу позиции делает механизм субстрата, а не перенесённый артефакт) / 18 отброшено (каждая с записанным обоснованием) / 2 в ожидании, обе ожидающие строки заблокированы механизмом и названы, а не молча открыты. Соответствие не всегда один-к-одному — форма 1:N понадобилась дважды в первый же день переноса (одна позиция разложилась в навык плюс ограничение), подтвердив предупреждение, записанное при проектировании, — так что строки считают поверхностные позиции, не перенесённые ревизии. Сборщик перечисляет поверхность с диска и присоединяет живое хранилище — никогда поддерживаемый вручную реестр, — и гейт, проверяющий леджер, также читает диск и хранилище и сам мутационно доказан красным на пяти путях, потому что эта линия дважды обжигалась на инструменте, переписывающем то, что должен был читать (§8.6); классовые счета выше регенерируются из строк.

Стадия B: вердикты держатся, проекция деградирует — предсказание риска C20 подтверждено числами. Четыре задачи §8.5 перезапущены против хранилища в 63 ревизии (kc2/exit/results-stage-b.md). Корректность допуска удержалась полностью: 4/4 верных вердикта, ноль ложных допусков в масштабе, время допуска ровное ~4–5 мс. Контекст исполнителя не удержался: проекции идентичных задач выросли с пилотных 2–4 ревизий до 12–13 ревизий (107–118 утверждений); отрендеренная проекция одной задачи выросла 3,7 КБ → 33 КБ (8,8×), стоимость её исполнителя 38,5k → 50,9k токенов (+32%), и собственная инвентаризация релевантности исполнителя нашла примерно 80% присоединённых норм мёртвым грузом для задачи — реальную работу делали 2 из 12 спроецированных ревизий. Причина структурна, и её называет собственный механизм §3.5: нормы присоединяются пересечением скоупов, {ecosystem} пересекает скоуп любой задачи, а корпус добавил много управляющих ревизий, чей объявленный скоуп — {ecosystem}, тогда как их фактическая применимость живёт в их значениях («граничные задачи», «процессы публикации»), — и REDUCE не вправе их убрать, потому что I5 защищает присоединённые нормы от редукции по замыслу. Инвентарь утверждений связывал C20 ровно с этим тестом («измерить стоимость размера контракта от полноты»), и разбор утверждений нёс напряжение полнота/токен-экономия как предсказание под риском; счёт теперь пришёл, с числами. Полнота-через-пересечение стоит подтверждённой как механизм корректности и стоит измеренной как токен-обязательство в масштабе корпуса. Записанное направление лекарства — дисциплина авторства плюс рост словаря: ограничения, скоупированные так же тонко, как их собственные условия применимости, и оси скоупа классов задач, которых у закрытого словаря пока нет, — и оно явно не реализовано в этом цикле: молча ослабить присоединение-по-пересечению значило бы выторговать I5, и этот размен — оператору взвешивать с этой статьёй в руках.

Что выживает из картины контекста §8.5. Исполнитель толстой проекции остался при 5 вызовах инструментов и достиг верного исхода — с дисциплиной честности, пожалуй, ещё более сильной: он пронёс заработанные ограничения перенесённой возможности в свой отчёт без подсказки — но ценой токенов выше. Фокус выжил; минимальность — нет.

Композиция в масштабе. Три проектные композиции на полном хранилище несут 392–425 утверждений (241–258 КБ) каждая — тот же эффект грубых скоупов, оптом. Compose остаётся дешёвым (29–41 мс), и отношение пересборки-к-попаданию кэша (~12×) теперь измеримо значимо там, где в пилотном масштабе не было; единственная реальная дерогация §9.1 по-прежнему корректно разрешается в масштабе — ровно одна дерогированная запись, только в получившем грант проекте. Один пересчёт для леджера §6.2: хранилище в 63 ревизии объявляет 49 токенов возможностей, по-прежнему каждый предоставлен ровно одним логическим идентификатором — случай трудности остаётся пустым в масштабе корпуса, и R2/R3 остаются неупражнёнными в деле.

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

8.9 Третье исправление инструмента: сама поверхность (2026-08-31)

Этот подраздел написан днём позже §8.8 и исправляет рамку измерения самого §8.8; по заявленному правилу этого раздела текст §8.8 стоит неизменным как запись того, что утверждалось тогда, а противоречие заявлено здесь.

§8.8 сообщал леджер соответствия как 120 строк, учитывающих «полную поверхность» действующего фреймворка, построенных инструментом, который «перечисляет поверхность с диска и присоединяет живое хранилище — никогда поддерживаемый вручную реестр». Перечисление действительно читало с диска — из трёх выбранных вручную директорий. Настоящая поверхность фреймворка, выведенная, а не выбранная, — 1257 файлов; три директории, которые обходил сборщик, держат 237 из них (kc2/tools/build_ledger.py, докстринг; счёт строк перевычислен из kc2/exit/correspondence-ledger.tsv). Каждое заявление «корпус полон» в §8.8 было честной арифметикой над знаменателем, который никогда не был настоящим. Поймал оператор; инструмент — нет.

Это третий экземпляр класса дефекта, о котором сообщает §8.6, и каждый экземпляр носил новое платье: первые гейты переписали список корней хранилища; исправленный гейт паритета выводил идентификаторы, которые должен был читать; сборщик леджера обходил выбранные вручную корни, тогда как его собственное описание говорило «с диска». Все три перечисляли честно внутри рамки, которая сама была переписана, — что заостряет обобщение §8.6 ещё одним пунктом. Перевычисления от объявленного источника недостаточно, когда рамка — множество корней, авторитет идентификаторов, знаменатель — сама есть введённый вручную вход: перевычисление обязано включать рамку, а красный путь для случая, который никто не перечислил, должен быть установлен и доказан, а не предположен. Исправленные сборщик и гейт выводят корень фреймворка из собственной структуры фреймворка (родитель цели симлинка commands — ни один из инструментов не называет путь корня), заявляют ровно одно исключение (.git, внутренности VCS) с его обоснованием, и гейт мутационно доказанно уходит в красное на файле в директории, которую никто не подумал перечислить, — этот случай теперь получает тот же отказ MISSING_LEDGER_ROW, что и любой другой (scripts/bin/kc2-ledger-check.py; kc2/OBSERVATIONS.md OBS-015, шесть мутационных путей доказаны, случай неперечисленной директории — среди них).

Честные числа, перевычисленные из исправленного леджера: 1257 строк, по одной на файл — 43 перенесено / 142 покрыто-механизмом / 924 отброшено / 148 в ожидании. Каждый сброс — решение с записанным в его строке основанным-на-содержимом обоснованием, никогда упущение; каждая ожидающая строка видима — ожидание есть единственное состояние по умолчанию, и ни одно не молчаливо. 43/57/18/2 из §8.8 стоят выше как то, что могла видеть рамка меньшинства.

Две находки из самой классификации, и одна открытая проблема, несомая честно. Аудит сбросов по содержимому переоткрыл 4 из 17 проверенных — самое значимое: диаграммы сущность-связь отброшенных визуальных карт, как выясняется, кодируют реляционное знание, которого хранилище не держит: двудольная структура роль→навык и словарь членства в панелях не существуют в нём нигде и помечены к переносу как отношения, не картинки. А аудит вскрыл подлинное ограничение субстрата, записанное как открытая проблема, а не заглаженное: накопление почти-дубликатов в только-дописываемом хранилище. I8 отказывает только точным по дайджесту дубликатам, а I4 — только противоречиям, так что избыточное-но-непротиворечивое содержимое накапливается молча, и ничто в режиме инвариантов это не называет. Является ли лекарством семантическая дедупликация или принятая потеря — нерешённый вопрос дизайна, заявленный как таковой (OBS-016).

8.10 День спустя: хранилище продолжает двигаться, и пересчёт, не переживший собственной рамки (2026-08-31)

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

На eb7c7e4 (2026-08-31, после ещё одного дня работы над требованиями — хартии, наследование-вытеснение, реструктуризация, идентичность проектов и половина цикла обучения про понижение, ничего из чего эта статья не описывает): каталог отказов держит 69 типизированных кодов — тот же харнесс покрытия доказывает каждый красным, и его счётчик по-прежнему падает на отсутствующем сценарии, так что рост с 27 пришёл только через дверь доказанного красного; живое хранилище держит 134 ревизии 105 логических идентификаторов; батарея гейтов сообщает 40 проходящих гейтов с одним стоящим средовым отказом, а набор — 399 тестов; леджер соответствия по-прежнему держит 1257 строк, теперь 88 перенесено / 190 покрыто-механизмом / 12 покрыто-ревизией / 967 отброшено / 0 в ожидании — все 148 ожидающих строк §8.9 получили решение, и классификация выросла на класс вердикта (covered-by-revision), которого в рамке §8.9 не было.

Один пересчёт поначалу выглядел качественным и не был им — и исправление есть самое поучительное содержимое этого подраздела. Исправление, тот же день (2026-08-31), до публикации. Первая версия этого подраздела сообщала шесть из 62 объявленных токенов возможностей хранилища как имеющие больше одного провайдера и объявляла вывод §8.8 о пустоте случая трудности опрокинутым. Счёт был неверен рамкой: он считал провайдеров по файлам ревизий, а в только-дописываемом хранилище пере-ревизованный артефакт тогда считает собственные вытесненные ревизии альтернативными провайдерами — testing, держимый на r3, r4 и r5 одного логического идентификатора, — это один провайдер, не три. Пересчитанные по логическому идентификатору (и по всем ревизиям, и по последней-на-идентификатор), 62 объявленных токена предоставлены каждый ровно одним логическим идентификатором: предложение §8.8 стоит, случай трудности остаётся пустым в этом масштабе, и R2/R3 остаются неупражнёнными в деле. Ошибка — четвёртый экземпляр класса дефекта, о котором сообщают §8.6 и §8.9, снова в новом платье — инструмент, перечисляющий честно внутри рамки, которая не была рамкой утверждения (сначала переписанные списки корней, затем выведенные идентификаторы, затем выбранные вручную директории, теперь по-файловый знаменатель для по-идентификаторного утверждения), — и её поймал независимый пересчёт оператора при предпубликационном ревью, почему она и появляется здесь исправлением, а не опубликованным текстом.

Правило актуальности, заявленное один раз для каждого числа выше: этот подраздел — датированная запись, как и его предшественники, а не поддерживаемая-вперёд цифра. Каталог, хранилище, батарея и леджер владеют каждый своими текущими значениями (kc2/src/kc2_defs.py, пересчёт хранилища в kc2/tools/kc2_state.py, kc2/tools/run_gate_battery.sh, kc2/exit/correspondence-ledger.tsv); читатель, которому нужны сегодняшние числа, перевычисляет их из этих источников — по I10, никогда из этого текста.

8.11 Пятый экземпляр: отчёт о первом прогоне, прочитанный как перепись класса (2026-08-31)

Этот подраздел написан позже §8.10 и исправляет предложение, которое §8.1 нёс с первого черновика, — найденное не собственными инструментами этой линии, а отказом оператора принять закрытие, которое проверило существование там, где утверждение называло счёт.

§8.1 говорит, что пятистадийный Резолвер v1 «прогнал одно реальное сквозное разрешение до состояния Bound». Хранилище говорит иначе — и говорило иначе на собственном v1-пине этой статьи: счёт разрешений, чьи закоммиченные бандлы несут заполненный BindingRecord — запись, которую чеканит стадия Bind, и null ровно там, где собственная квитанция разрешения говорит «Binding Record не запрашивался», — даёт двадцать на 63f66b2: девятнадцать сверх прогона поставки talo-0021, из которого предложение было написано, — операционные разрешения под architecture/reports/ (интеграция support-center, четыре разрешения эпохи запуска, деплои, публикации, продвижение компетенции — среди прочих), каждое произведено тем же пятистадийным конвейером против того же закреплённого графа в 149 ревизий, по его собственной квитанции. Предложение было унаследовано из отчёта о поставке Резолвера — который честно документирует собственный первый прогон — и ни разу не пересчитано против класса, который оно квантифицирует. Это дефект, о котором сообщают §8.6, §8.9 и §8.10, в его пятом платье: переписанные списки корней, выведенные идентификаторы, выбранные вручную директории, по-файловый знаменатель — и теперь отчёт о первом члене класса, прочитанный как перепись класса. Аудит, впервые закрывший этот вопрос, повторил ошибку в миниатюре: он проверил, что запись Bound существует, и остановился, тогда как предметом утверждения был счёт; второй взгляд оператора вынудил пересчёт.

Двух вещей исправление не задевает. Резолвер v1 остаётся историей, вытесненной восьмишаговым Резолвером v2, — все двадцать Bound-разрешений предшествуют заморозке, и «свежими разрешениями в этом цикле не упражнялся» стоит. И направление ошибки — необычное: цифра n = 1 преуменьшала операционную запись v1 — Резолвер доходил до Bound рутинно, так что доказательство существования-в-движении было сильнее, чем заявляла статья, а не слабее. Неверное число — неверное число независимо от того, в какую сторону оно льстит; оно исправляется, а не сохраняется за скромность. Счёт выводится из перечисления, никогда из этого текста: заполненные поля binding_record по закоммиченным *.bundle.json хранилища, на любом пине, который нужен читателю.

9. Обсуждение, ограничения, будущая работа

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

Что не установлено, сказано против себя. (1) Токен-экономия как свойство формата — опровергнута нашей собственной оценкой, и ни одна цифра этой статьи не должна читаться как заявление о сжатии формата. (2) Независимость оценивающих — каждый кодировщик, базлайн, судья и получатель — то же семейство моделей, что и проектировщики формата; ничто здесь не свидетельство о том, что сохранило бы, судило или ответило независимое семейство. (3) Общность — корпус одной организации, конвенции одной экосистемы, одно-провайдерное хранилище, на котором случай трудности сегодня пуст (каждый токен возможностей, что v1, что v2, имеет ровно одного провайдера; R2/R3 ни разу не работали в деле). (4) Части самого слоя — старшинство ещё не хранимый, версионируемый смысловой объект; у гейта допустимость-прежде-деонтики I16 нет потребителя на этапе связывания; перекрёстная проверка передачи I6 ждёт шва потребителя пакета; слой стоимости и полиномы свидетельств не реализованы (§7, §4.10). (5) Легаси-содержимое — артефакты прозаической эпохи переносятся лишь частично: единственный реальный легаси-перенос чисто разложил шесть деонтических правил и пронёс остальное утверждением объявленного остатка; «полностью разложимо» было бы ложным заявлением, а большая часть архива — прозаической эпохи. (6) Многоконтекстные преимущества — свойства, ради которых формат проектировался (проверяемое слияние, поднятие конфликтов, закреплённое разыменование), — ровно те, которых QA одиночной передачи видеть не может; они остаются не измеренными нигде. (7) Законы алгебры связывают реализации этого носителя; о других носителях не заявляется ничего (§4.9 практикует ту же сдержанность, которой требует от других) — с одним заявленным исключением: конструкция теоремы 1 переносима на любую дисциплину передачи, чьё слияние похоже на объединение множеств и чей язык ограничений допускает ограничение кардинальности, так что «валидируй части, доверяй целому» некорректно далеко за пределами этого субстрата. Переносимость аргументирована, не упражнена: ни один второй, независимый субстрат конструкцию не прогонял.

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

Будущая работа, в порядке доказательного рычага. (1) Сжатие с уравненными токенами между форматами: сжать базлайны так же агрессивно, как ручное плечо, и аудировать единицы при равных бюджетах токенов — эксперимент, решающий, зарабатывает ли структура пакета свои токены под давлением, и тот, который таблица полноты §8.4 явно решить не может. (2) Многоконтекстная оценка: задачи, чьи ответы требуют слить два контекста, поднять конфликт или разыменовать пин, — спроектированные преимущества формата, не измеримые никаким QA одиночной передачи. (3) Оценка независимым семейством: кодировщики и судьи из другого семейства моделей. (4) Названные пробелы реализации, в этом порядке: оценка конвертов возможностей на этапе связывания (гейт I16 — независимо переоткрыт обзором миграции как главный недостающий кусок), старшинство как хранимый смысловой объект, перекрёстная проверка передачи I6, затем слой стоимости с направленными весами, добытыми из леджера. (5) Синтетический, публикуемый корпус передач по форме внутреннего (§10). (6) Аудиты, всё ещё причитающиеся до любой публикации: аудит дат реестра схождений и аудит происхождения против FPF (§10), и перезапуск поиска связанных работ, датированного августом 2026 (§2.3). (7) Отложенная непрерывная геометрия — если и только если её условие-триггер (непрерывное вложение с осмысленной интерполяцией) когда-либо будет выполнено.

9.1 Три архитектурных пробела, найденных после раунда оценки этого черновика (2026-08-30)

Всё выше этого подраздела описывает архитектуру, какой она стояла, когда закрылась оценка, на доказательном пине v2 (41c480a, 2026-08-30). Сразу после того закрытия операторское ревью черновика выявило три архитектурных пробела, которых этот черновик не видел, — ни один не существовал ни в спецификации, ни в реализации, ни в утверждениях какого-либо раннего раздела, когда собирались предшествующие свидетельства. Они были записаны в тот же день как датированные операторские требования (R-SCOPE-LEVELS, R-COMPOSITION, R-LEARNING, все 2026-08-30, в наборе требований спецификации), реализованы в последующем цикле и сообщаются здесь как то, чем являются: пост-черновиковые находки, добавленные, а не задним числом вписанные, чтобы ни один ранний раздел не читался так, будто их содержал.

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

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

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

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

Три механизменные находки из последующей реализации (записаны по мере появления; kc2/OBSERVATIONS.md, OBS-012, 2026-08-30). (1) У взаимного дайджест-закрепления двух первоклассных записей нет неподвижной точки: Дерогация, цитирующая дайджест своего AuthorityEvent, пока событие закрепляет дайджест Дерогации, не может быть построена — третий экземпляр этого класса цикличности в цикле. Законная форма — грант даёт журнал: Дерогация авторится инертной, и она в силе тогда и только тогда, когда живое AuthorityEvent адекватного уровня целится в неё, а любое поле полномочий в записи — дайджест-закреплённая цитата и никогда самодостаточное заявление, — что заодно держит канал дерогаций внутри дисциплины неимпортируемости полномочий I14, вместо того чтобы открывать в ней межуровневую дыру. (2) Непересекающееся — не несравнимое: первая реальная композиция отказала на утверждении соседнего проекта под специфицированным правилом «несравнимые уровни отказывают»; соседние скоупы на одной оси на деле непересекающиеся — разрешимо неприменимые, пропускаемые, — и лишь неизвестное членство пространство↔︎проект подлинно неразрешимо (отказ, когда утверждение деонтично). Сравнение уровней закончилось пятью исходами, вынужденными реальным содержимым. (3) Дерогация — это и есть запись отступления: реализация, применяющая дерогации только там, где существует контр-утверждение нижнего уровня, делает чистый грант невидимым — у реального гранта контр-утверждения не было, и он исчез из композиции. Compose обязан применять живые дерогации к управляющим записям напрямую, по совпадению скоупа, и поднимать пин и обоснование в композированный артефакт; дерогация, растворяющаяся в композиции, — ровно то слепое переопределение, ради запрета которого механизм существует.

Статус, в собственном учёте этой статьи. Три механизма реализованы, с 45 типизированными кодами отказа, каждый доказанно красный, — расширяя 27 из §8.2 под той же дисциплиной покрытия, — кэш композиции мутационно доказан красным-на-устаревании на пяти путях, путь продвижения среди них, и тесты распространения в обе стороны (вниз через композицию, вверх через продвижение) с отрицательными контролями, доказывающими, что каждый может упасть. Одна реальная дерогация прошла из конца в конец — единственное подлинное операторски-данное отступление в экосистеме, письменный грант publish-unlisted: запрет уровня вселенной композируется как дерогированный-и-видимый (пин и обоснование пронесены) для получившего грант проекта, как управляющий — для соседнего проекта, и его недерогируемый пол деплоя стоит везде. Что не сделано — названо: восходящий круговой обход на реальном хранилище заблокирован двумя операторскими регистрациями (запись пространства в реестре и его членство проектов; размещения в промежутке несут поле intended_level), и ни одно реальное продвижение ещё не прошло из конца в конец на корпусе. Корпусные следствия механизма композиции — включая счёт за раздувание проекций — измерены в §8.8.

9.2 Форма в типизированном субстрате: вопрос о шаблонах, заданный и отвеченный (2026-08-31)

Как §8.8, §8.9 и §9.1, этот подраздел написан позже раунда оценки черновика: оператор поднял вопрос 2026-08-30 как записанный открытый вопрос (OQ-1), сознательно заблокировавший шаблонную часть переноса корпуса — решить аргументом до авторства, чтобы онтология не решилась случайно, — и записанный консилиум решил его 2026-08-31 (Консилиум H, 4–0) до того, как была классифицирована хоть одна из 43 строк, которыми он управляет.

Вопрос, словами оператора. «Есть ли такое понятие [как шаблоны] в Контракте знаний, и нужно ли это понятие вообще? То есть: у нас есть Блюпринт, и этого, вероятно, достаточно — он сошлётся на какой-то шаблон. Так что мне неясно, нужно ли описывать понятия вроде шаблонов в статье и затем в реализации, или они просто входят как ссылки внутри артефактов, которые мы уже определили». Вопрос не был теоретическим. Реестр управляемых видов держит семь видов и никакого Template, тогда как действующий фреймворк несёт 43 файла шаблонов, каждому из которых нужна была строка леджера; а собственный пункт «допустимая вариация» профиля Блюпринта сидит подозрительно близко к тому, что выражает шаблон. На столе были три кандидатских ответа: (A) шаблон — это ссылка: Блюпринт указывает на артефакт-шаблон как на непрозрачную полезную нагрузку, ценой того, что ничто не может валидировать соответствие ему; (B) шаблон — не отдельный вид, потому что он и есть профиль вида — форма становится схемой, не данными; (C) Template — первоклассный вид с собственным профилем, с артефактами, объявляющими проверяемое соответствие ему, ценой нового вида и риска заново импортировать документную церемонию, ради замены которой субстрат существует.

Метод решения, исполненный, а не аргументированный. Пять шагов, все прогнаны на реальном корпусе. (1) Рассортировать реальные 43: каждый шаблон прочитан полностью и кластеризован по тому, где живёт его ценность, — 11 доминируемых формой, 8 доминируемых знанием, 4 рантайм-состояния, 7 кодовых скелетов, 6 церемоний уже отброшенных конвейеров, 7 проектных скелетов; остаток ноль. (2) Собственный тест архитектуры, по кластеру: даёт ли трактовка кластера данным способом системе отказать в том, в чём она должна отказывать, — и принадлежит ли этот отказ субстрату? (3) Проба пересечения с Блюпринтом на реальных парах: выражает ли «допустимая вариация» Блюпринта уже ограничения реального шаблона — сверено с собственным прецедентом хранилища, tal-template-artifact@r3, более ранним переносом этой линии, который конструктивно доказывает проверку соответствия при нуле новых видов через профильные заявления плюс связку validated-by. (4) Цена инфляции видов, оценённая честно: вид — дверь в одну сторону: профиль, коды отказа, красные доказательства, покрытие гейтами, текст спецификации, навсегда, — и реестр легко растёт и никогда не сжимается. (5) Проверка нулевого остатка: что бы ни было выбрано, оно обязано классифицировать все 43 строки без остатка «никуда не подходит».

Результат. В типизированном субстрате знаний «шаблон» — не онтологическая категория, а связка разделимых ценностей — форма, знание, исполнимость, состояние, церемония, — у каждой из которых в субстрате уже есть родной носитель. Форма — это схема: профильные заявления (элементы, инварианты, допустимая вариация) плюс дайджест-закреплённый валидатор, привязанный validated-by, — ровно там, где субстрат владеет отказом. Знание переносится как содержимое Навыка/Блюпринта/Ограничения, и форма-для-заполнения вокруг него испаряется. Исполнимость остаётся ссылочной полезной нагрузкой, чьё соответствие принадлежит CI — хранилище, отказывающее отклонениям класса shellcheck, стало бы линтером, категориальная ошибка. Состояние растворяется под правилом вытеснения, применяемым первым: под этим субстратом состояние и есть хранилище, и отказы этого класса файлов мигрируют в семантику хранилища. Церемония отброшенной машинерии отпадает с машинерией. Вид называет то, над чем субстрат отказывает, а шаблоны ни разу не называют отказа, которого уже не несёт механизм профилей, — почему кандидат C и проваливает собственный тест архитектуры: его обещанная поверхность отказа уже поставляется, при нуле новых видов. Реестр управляемых видов остаётся семью, и это следствие записано явно, потому что реестр — закрытое перечисление с механическими следствиями всюду.

Следствие безопасности и инвариант, отчеканенный решением. Объявленное соответствие без закреплённого принуждения — главная опасность целостности субстрата, и дизайн отказывает ей структурно: Блюпринт, несущий формообразующие инварианты MUST-модальности, обязан либо привязать дайджест-закреплённый валидатор, либо нести явный записанный вейвер unvalidated — отсутствие обоих линтуемо и отказывает-по-умолчанию. А сам критерий стал инвариантом управления реестром: предлагаемый вид обязан продемонстрировать поверхность отказа, недостижимую через существующие заявления плюс validated-by. Записанный триггер переоткрытия держит решение опровержимым: если какой-нибудь выживший форме когда-либо понадобится отказ, который механизм профилей нести не может, OQ-1 переоткрывается с этим случаем как свидетельством.

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

Эмпирический тест. Критерий классифицировал все 43 шаблонные строки с нулевым остатком — собственный пятый тест оператора, пройден — и затем, поставленный как вопрос-классификатор для каждого носителя формы («если этот носитель исчезнет, в чём система перестанет уметь отказывать — и принадлежит ли этот отказ этому субстрату?», вытеснение состояния применяется первым), классифицировал полную поверхность §8.9 в 1257 файлов с нулём строк остатка. Восемь доминируемых знанием шаблонных строк послужили калибровочным набором для пограничных решений знание/форма, подтвердив ограждение, записанное консилиумом: критерий путешествует с приложенными проработанными примерами, а не голым утверждением.

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

10. Воспроизводимость

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

Счета и заявления об обеспечении — переисполнимы, и переисполнены. Каждое утверждение v2 (полный прогон покрытия отказов — 27/27 на доказательном пине, с §8.10, записывающим каталог после него, — гейты инвариантов, фикстур детерминизма двойного прогона, пересчёт хранилища) регенерируется из закоммиченной реализации и её CI-набора; харнесс отказов был чисто переисполнен при аудите утверждений этой редакции (2026-08-30). Каждый счёт v1 зафиксирован манифестом байтовой заморозки и перезапускаем идентично на пине; перепись v1 и мутационный харнесс v1 в этом цикле не переисполнялись, и §8.1 помечает оба.

Оценка — регенерируется из закоммиченного харнесса плюс непоставляемый корпус. Протокол, по-образцовые результаты, измерительный харнесс и манифест, коммитящий имя, байтовый размер и SHA-256-дайджест каждого образца корпуса, закоммичены; сам корпус — нет (образцы — внутренние операционные записи — стоящее правило невыпуска, — так что дайджесты закрепляют, над каким содержимым были вычислены числа, не поставляя его). «Любой с доступом к репозиторию может перезапустить» поэтому честно сужается до «плюс корпус на измерительном хосте». Двухкомандный путь воспроизведения пилота v0 стоит закоммиченным, но в этом цикле дословно не переисполнялся.

Что понадобилось бы независимой стороне, и что сегодня блокирует каждый пункт: (1) Корпуса передач (шесть пилотных, 18 оценочных) — внутренние операционные записи, содержащие имена хостов, контекст учётных данных и инфраструктурные детали; их нельзя выпустить как есть. Что можно выпустить взамен — синтетический корпус той же формы: те же классы артефактов, те же строчные дисциплины, те же отношения новизны-к-пересказу — вместе с немодифицированным харнессом; его построение названо будущей работой, а не заявлено сделанным. (2) Продакшен-репозиторий приватен; конкретные файлы, номера строк и хэши коммитов, цитируемые всюду (доказательства v1 на 63f66b2, доказательства v2 на 41c480a), — поэтому якоря трассируемости для аудита, а не публичные ссылки; то же верно для исследовательского репозитория с измерительными корпусами и харнессами и для внутреннего реестра схождений/свидетельств, цитируемого в §2.8. Аудиторский пакет (загрузчики хранилища, валидатор, гейты, перепись, измерительные харнессы с их манифестами и реестр свидетельств против закреплённых коммитов) мог бы быть подготовлен для рецензента по соглашению — и два аудита записаны как причитающиеся, не сделанные: датированные записи реестра схождений в этом цикле не пере-аудировались против их закреплённых дат, и никакого аудита происхождения текста спецификации v2 против репозитория FPF не проводилось (практика атрибуции §2.9 продолжалась; аудит бы её верифицировал). (3) Реестр внешней литературы: все ссылки arXiv, DOI и W3C проверены как разрешающиеся 2026-08-29; записи Zenodo Compilence получены в тот же день (две открытые, три под эмбарго с публичными аннотациями); две веб-страницы Compilence цитируются по сохранённым оператором копиям от 2026-08-29, так как живой сайт вернул этой среде HTTP 403 в тот день. Три дословные цитаты Compilence в §4.9 несут свои точечные источники по месту и проверяемы слово-в-слово против тех сохранённых копий. Одно замечание о режиме происхождения: эта статья сознательно несёт свою атрибуцию внешних источников прозой (§2.8–2.9, §4.9), а не по-заявленческой дисциплиной тегов происхождения набора спецификаций; помеченное заявление-за-заявлением сопоставление живёт в частях спецификации, не здесь, и этот выбор — записанное решение, не упущение. Цитаты, помеченные в библиографии «стандартными» (классические учебники и статьи), повторно не выкачивались.

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

Тезис статьи, повторённый в конце ровно с той силой, которую несут свидетельства: передаче знаний агент-агенту можно дать типизированный носитель, чьи алгебраические законы — теоремы, а не предположения, чьи условия целостности — предикаты, а не увещевания — несколько из них достаточно сильны, чтобы нарушение нельзя было даже сериализовать, — и чьи необходимые приближения (редукция контекста, обращение с конфликтами, неизвестные значения) вынуждены наружу по построению: объявленные ступени вместо «минимального», записи карантина вместо молчаливого разрешения, переносимые неизвестные вместо умолчаний. Обе половины этой дисциплины теперь работают: половина хранения — в скромном, но реальном масштабе, замороженная и наследуемая через дайджест-верифицирующие двери, и семантическая половина — как реализация, каждый отказ которой мутационно доказан и которая допускала, отказывала и проецировала реальную работу. Что дисциплина заработала, работая, — не то утверждение, поддержать которое мы отправлялись. Оценка, которую она сделала возможной, опровергла токен-экономию транспортного формата как свойство формата и оценила правило полноты в измеренной полноте; что выжило — довод о проверяемости: четыре вещи, которые носитель доказуемо зарабатывает: машинно-проверяемая полнота постфактум (дрейф MUST→SHOULD, аудируемый единица за единицей, потому что модальность — поле; сам механический отказ, доказанно красный, на реальном содержимом ещё не срабатывал; §8.4), гейтирование допуска (ни одного ложного допуска, каждый отказ называет свой недостающий артефакт; §8.5), конкурентность, решаемая дайджестами (две гонки закончились отказом, никогда порчей; §8.5), и фокус проекции (исполнители, которые никогда не блуждали; §8.5). Самые поучительные моменты всей линии остаются теми, где лгали её собственные инструменты и падали её собственные утверждения: дважды у одного гейта, дважды у наших собственных заглавных чисел. Исправленная ошибка бьёт польщённое предположение; эта статья старалась быть — и теперь отчасти сама о том, как быть — тем видом документа, который производит это правило.

---

Источники

Библиография приводится на английском языке — в том виде, в каком источники цитируются и проверялись; конвенция статьи: позиции, помеченные ⟂, — классические результаты, цитируемые в стандартной форме и не перекачивавшиеся при верификационном проходе этой работы; все прочие позиции проверены как разрешающиеся 2026-08-29.

• 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. ⟂
• 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. Cited from operator-saved copies dated 2026-08-29 (live site returned HTTP 403 to this environment on that date).
• de Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence 28(2):127–162. ⟂
• 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.
• 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. ⟂
• Gärdenfors, P. (2014). The Geometry of Meaning: Semantics Based on Conceptual Spaces. MIT Press.
• 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.
• 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. ⟂
• 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.
• 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 per §2.9).
• Liang, C., Xiao, D., Li, S., Shi, J., 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.
• 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.
• 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.
• 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. ⟂
• 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.
• 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.
• Kang, M., Chen, W.-N., Han, D., et al. (2025). ACON: Optimizing context compression for long-horizon LLM agents. arXiv:2510.00615.