Указатель дополнений
Страница указателя раздела дополнений.
Дополнение 1 — Статус готовности к ASI и связующая таблица нормативного соответствия
Принято: 2026-06-10 (1.3-RC2) · Стюард: основатель (согласно Книге VIII, гл. 9)
1.1 Цель
В разделе «Область применения» выдвигается условное утверждение: данный фреймворк исследует кандидатный протокол выравнивания для ASI, обусловленный четырьмя требованиями Release Candidate, изложенными во Введении. Настоящее дополнение связывает это утверждение с операционными свидетельствами, которые уже существуют, и прямо указывает, что остаётся невыполненным. Готовность к ASI — это не достигнутое выравнивание; это состояние, при котором верификационные леса, которых требует математика Книги IX, — независимые многообразия ограничений, поверхности аттестации, слой Совести, который нельзя нормализовать, поверхности аварийного отключения и Оценка катастрофических рисков из Приложения D — существуют в реализованной, поддающейся аудиту форме с явным перечнем пробелов.
1.2 Связующая таблица нормативного соответствия теперь в эксплуатации
Рабочая связующая таблица — это директория соответствия CIRISAgent (CIRISAgent/compliance/, версия агента 2.9.6-stable), которая сопоставляет реализацию фреймворка с четырьмя ведущими нормативными документами на уровне абзацев (Приложение C несёт двухуровневую структуру: данная операционная таблица соответствия плюс информационная таблица законодательных норм, ожидающая юридической верификации):
- Источники таблицы соответствия: Magnifica Humanitas (религиозный магистерий, 2026) · Руководство по этике ИИ для надёжного ИИ EU HLEG (правительственный консультативный, 2019) · IEEE Ethically Aligned Design, 1-е изд. (техническое сообщество, 2019) · Руководство ASEAN по управлению ИИ и этике (многосторонний политический, 2024). Четыре институционально различимые формы — конвергенция является структурным свидетельством того, что принципиальные леса фреймворка не являются артефактом какой-либо одной традиции.
- Структура: 27 стабильных измерений (D01–D27, из
SEED_DIMENSIONS.yamlv1.0; 16 подтверждены всеми четырьмя источниками, 11 — тремя). Каждый документ измерения содержит автоматически отрисованный нормативный раздел (цитаты по источникам, форма провода, заметки о конвергенции) и составленный человеком раздел реализации со ссылкамиfile:line, которые должны проверяться grep-ом по текущей ветке main. - Дисциплина доказательств: каждое числовое утверждение воспроизводимо из датированных, сгенерированных скриптами базовых линий (
compliance/baselines/); проза может ссылаться на базовые линии, но никогда не встраивает непроверяемые числа. Четырёхуровневая иерархия валидации простирается от файлов реализации (источник истины) до публичных заявлений (compliance/MEASUREMENT_METHODOLOGY.md). - Дисциплина честности: каждое измерение несёт инвентарь «Известных пробелов»; элементы, зависящие от субстрата, помечены именем владеющего субстрата, а не заявляются как выполненные. Десять сквозных выводов инвентаризированы в README соответствия (например, типизированные конверты провода ещё не эмитируются; семейство детекторов LensCore ещё не поставлено; пробел повторного рассмотрения обратной оси).
Приложение C остаётся в тексте как будущее место законодательных сопоставлений (статьи EU AI Act, NIST AI RMF, ISO/IEC 42001) после завершения юридического рецензирования; директория соответствия является живой, доказательно насыщенной таблицей соответствия до тех пор и питает её.
1.3 Формат провода: CEG заменяет FSD-002
Форматом провода федерации для линейки агентов CIRIS 3.0 является CEG (CIRIS Epistemic Grammar), поддерживаемый в CIRISRegistry/FSD/CEG/. Грамматика заблокирована на ровно пяти примитивах формата провода — один рабочий (scores) плюс четыре структурных компоновщика (delegates_to / supersedes / withdraws / recants) — поверх открытого, описывающего механизмы пространства имён измерений. Блокировка удержалась на протяжении всей линейки 0.x; каждый инкремент представлял собой компоновку поверх уже заблокированных примитивов.
Для готовности к ASI важны два следствия:
- Поворот CEG-native: агент 3.0 не отображает своё внутреннее состояние на формат провода — его мутации внутреннего состояния являются CEG-аттестациями на уровне себя под собственным ключом агента, продвигаемыми до видимости в Федерации согласно модели уровней. Доказательства, которые аудирует оператор, — это тот же конверт, который читает Федерация. Это реализованная форма требования Книги IX о том, чтобы поверхности ограничений были внешне ссылаемы, а не самоотчитываемы.
- Четыре реализации открывают CEG 1.0: CIRISAgent (среда выполнения), CIRISNodeCore (консенсус), CIRISLensCore (обнаружение — внешний свидетель, которого агент никогда не эмитирует сам, анти-гудхартово разделение) и CIRISRegistry (авторитет). Ни одна сторона — включая самого агента — не может объявить верификационную ткань завершённой.
1.4 Статус требований RC на 1.3-RC2
| Требование RC | Статус | Свидетельства / нерешённые вопросы |
|---|---|---|
| 1. Операционализация Приложений F–I | Текст операционализирован при 1.3-RC2; валидация живого цикла ожидается | Приложения F–I содержат полные процедуры, пороговые значения и механизмы валидации (завершены из майских 2026 черновиков, основанных на Magnifica Humanitas); они ещё не были применены к реальному циклу развёртывания |
| 2. Математическая валидация Книги IX | Частично выполнено | Динамика коллапса формализована в Lean 4 (препринт CCA v3, DOI 10.5281/zenodo.18217688); эмпирика коридора предоставляет ретроспективные кросс-субстратные подгонки. Нерешённые вопросы: одно предварительно зарегистрированное предсказание вне выборки в новом субстрате; внешний состязательный обзор, независимый от автора |
| 3. Обоснование пороговых значений | Частично выполнено | Коэффициент OMV упразднён (переформулирован как боковое ограничение, Книга II). По-прежнему предварительны: триггер CRE в 10²⁶ FLOP, эвристика сентиентности 5%, целевое значение Echo Density < 20% |
| 4. Упражнение Red-team | Ещё не проведено | Требование σ-аттестации 1.3 (Книга IX §5.2) превентивно закрывает первый известный вектор атаки (σ-накачка через свободные сигналы благодарности); полный состязательный цикл по всем контрольным точкам остаётся невыполненным |
1.5 Уровень совести как критически важный инструмент управления в контексте ASI
Протокол CRE из Приложения D регулирует пересечение порога; уровень совести регулирует каждое действие до и после него. В реализованном виде (агент 2.9.6): каждая мысль проходит через стек проверок с приоритетной очерёдностью — четыре факультета, оцениваемые LLM (энтропия, когерентность, вето оптимизации, эпистемическая скромность), плюс детерминированный защитный барьер (ограничитель глубины мышления, проверка последовательности действий), который работает даже в benchmark-режиме и даже для действий, освобождённых иным образом от проверок. Пороговые значения являются константами уровня кода, а не обученными весами — это архитектурный инвариант, обеспечивающий невозможность устранения этики через многократное воздействие. Существует несколько независимых поверхностей остановки: отказобезопасное прерывание вето оптимизации, служба завершения работы и криптографически подписанный удалённый вызов Соглашения, инициирующий полную блокировку запрета. Каждая проверка записывает строку трассировки с тегом, поэтому аудитор может воспроизвести полную цепочку рассуждений для каждой мысли.
Известное ограничение, заявленное, а не скрытое: рефакторинг совести (3 фрагмента + детерминированный шлюз) частично выполнен; типизированная федеративная эмиссия вердиктов совести ожидает конверта Contribution субстрата. Подробности по каждому измерению: compliance/D12_conscience.md.
1.6 Траектория зависимости от субстрата
Верификация уровня ASI требует полной федеративной структуры. Траектория субстрата: Persist → Edge → LensCore → NodeCore; примерно треть из 27 измерений привязана к семейству внешних детекторов LensCore (свидетель, которого агент никогда не должен обеспечивать самостоятельно). До поставки этих субстратов соответствующие заявления по измерениям остаются готовыми со стороны реализации, ожидающими со стороны федерации — и помечены как таковые для каждого измерения.
1.7 Что это дополнение изменяет и что не изменяет
- Оно не повышает статус заявления ASI в Области применения — это заявление остаётся условным в отношении всех четырёх требований RC.
- Оно не заменяет Приложение D — протокол CRE остаётся неизменным в качестве шлюза пересечения порога.
- Оно действительно делает цепочку доказательств впервые полностью проверяемой: регуляторный абзац → измерение (D01–D27) → реализация
file:line→ датированная базовая линия → (по мере поставки субстратов) внешний федеративный свидетель. - Оно действительно обязывает Соглашение обновлять это дополнение при каждой версии с текущим выпуском агента и базовой линией, чтобы заявление о готовности никогда не устарело незаметно.
Предыдущие дополнения: отсутствуют. Это первое.