Додаток 1 — Статус готовності до ASI та прив'язка до регуляторного перехресного зіставлення

Прийнятий: 2026-06-10 (1.3-RC2) · Розпорядник: засновник (згідно з Book VIII Ch 9)

1.1 Мета

Розділ «Сфера застосування» висуває умовне твердження: ця система досліджує кандидатний протокол узгодження для ASI, обмежений чотирма вимогами Release Candidate у Вступі. Цей додаток прив'язує це твердження до операційних доказів, що нині існують, і прямо зазначає, що залишається невирішеним. Готовність до ASI — це не досягнуте узгодження; це стан, за якого система верифікаційних риштувань, яку вимагає математика Book IX, — незалежні многовиди обмежень, поверхні атестації, шар совісті, який неможливо нормалізувати, поверхні аварійного вимкнення та Оцінювання катастрофічних ризиків з Додатку D — існує в реалізованій, придатній до аудиту формі з названими прогалинами.

1.2 Регуляторне перехресне зіставлення тепер є операційним

Робоче перехресне зіставлення — це директорія відповідності CIRISAgent (CIRISAgent/compliance/, реліз агента 2.9.6-stable), яка відображає реалізацію системи на чотири провідні регуляторні системи з деталізацією до рівня параграфа (Додаток C несе двошарову структуру: це операційне перехресне зіставлення плюс інформативна таблиця законодавчих актів, що очікує на юридичну верифікацію):

Джерела перехресного зіставлення: Magnifica Humanitas (релігійний магістеріум, 2026) · Настанови з етики для надійного ШІ Групи експертів високого рівня ЄС (урядова дорадча, 2019) · IEEE Ethically Aligned Design, 1-е вид. (технічне товариство, 2019) · Настанова АСЕАН з управління та етики ШІ (багатостороннє політичне, 2024). Чотири інституційно різні форми — конвергенція є структурним свідченням того, що принципові риштування системи не є артефактом жодної окремої традиції.
Структура: 27 стабільних вимірів (D01–D27, з SEED_DIMENSIONS.yaml v1.0; 16 підтверджені всіма чотирма джерелами, 11 — трьома). Кожен документ виміру містить автоматично відрендерений регуляторний верхній блок (посилання по кожному джерелу, проводна форма, нотатки щодо конвергенції) та авторський розділ реалізації з посиланнями file:line, що мають перевірятися через grep відносно поточної гілки main.
Дисципліна свідчень: кожне числове твердження відтворюване з датованих, генерованих скриптами базисних ліній (compliance/baselines/); проза може посилатися на базисні лінії, але ніколи не вбудовує неперевірювані числа. Чотирирівнева ієрархія валідації охоплює від файлів реалізації (першоджерело) до публічних заяв (compliance/MEASUREMENT_METHODOLOGY.md).
Дисципліна чесності: кожен вимір має інвентар «Відомих прогалин»; елементи, що залежать від підложки, позначаються назвою власної підложки, а не декларуються як виконані. Десять наскрізних знахідок інвентаризовано у README директорії відповідності (напр., типізовані проводні конверти ще не емітуються; детекторна родина LensCore ще не поставлена; прогалина в перегляді зворотної вісі).

Додаток C залишається в тексті як майбутнє місце законодавчих зіставлень (статті Акту ЄС про ШІ, 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-поворот: агент 3.0 не відображає свій внутрішній стан на проводний формат — його мутації внутрішнього стану є CEG-атестаціями саморівня під власним ключем агента, що просуваються до федеративної видимості відповідно до моделі рівнів. Свідчення, які аудитує оператор, — це той самий конверт, що читає Федерація. Це є реалізованою формою вимоги Book IX, щоб поверхні обмежень були зовні посилальними, а не самозвітними.
Чотири реалізації утворюють браму до CEG 1.0: CIRISAgent (середовище виконання), CIRISNodeCore (консенсус), CIRISLensCore (виявлення — зовнішній свідок, якого агент ніколи не емітує сам, анти-Гудхартовий поділ), та CIRISRegistry (авторитет). Жодна одна сторона — включно з агентом — не може оголосити верифікаційну тканину завершеною.

1.4 Статус вимог RC на 1.3-RC2

Вимога RC	Статус	Свідчення / залишається
1. Операціоналізація Додатків F–I	Текст операціоналізовано на 1.3-RC2; валідація живого циклу залишається	Додатки F–I містять повні процедури, пороги та механізми валідації (завершені на основі чернеток Magnifica Humanitas від травня 2026); вони ще не були задіяні в реальному циклі розгортання
2. Математична валідація Book IX	Частково виконано	Динаміка колапсу формалізована в Lean 4 (препринт CCA v3, DOI 10.5281/zenodo.18217688); коридорна емпірика забезпечує ретроспективні міжпідложкові апроксимації. Залишається: одне попередньо зареєстроване вибіркове прогнозування поза вибіркою для нової підложки; зовнішнє змагальне рецензування незалежно від автора
3. Обґрунтування порогів	Частково виконано	Коефіцієнт OMV виведений з обігу (перекваліфікований як бокове обмеження, Book II). Залишаються попередніми: тригер CRE 10²⁶ FLOP, евристика 5% свідомості, цільовий показник густини луни < 20%
4. Вправа з червоними командами	Ще не виконано	Вимога 1.3 σ-атестації (Book IX §5.2) превентивно закриває перший відомий вектор атаки (σ-накачування через вільні сигнали вдячності); повний змагальний цикл проти всіх контрольних точок залишається невиконаним

1.5 Шар совісті як критичний засіб контролю над ASI

Протокол CRE Додатку D регулює перетин порогу; шар совісті регулює кожну дію до та після нього. У реалізованому вигляді (агент 2.9.6): кожна думка проходить пріоритетно впорядкований стек перевірок — чотири факультети з оцінкою LLM (ентропія, узгодженість, вето оптимізації, епістемічна скромність) плюс детермінований захисний поріг (захисний обмежувач глибини думки, перевірка послідовності дій), що виконується навіть у режимі бенчмарку та навіть для інших дій, звільнених від перевірки. Порогові значення є константами на рівні коду, а не навченими вагами — архітектурний інваріант того, що етику неможливо нівелювати повторним впливом. Існує кілька незалежних поверхонь зупинки: відмово-безпечне переривання вето оптимізації, сервіс вимкнення та криптографічно підписаний дистанційний виклик Угоди, що ініціює повне блокування заборони. Кожна перевірка записує рядок трасування з міткою, тому аудитор може відтворити повний ланцюжок міркувань для кожної думки.

Відомі обмеження, заявлені відкрито, а не приховані: рефакторинг совісті (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 → датована базова лінія → (у міру введення підложок) зовнішній федеративний свідок.
Він зобов'язує Угоду оновлювати цей додаток з кожною версією з поточним випуском агента та базовою лінією на той момент, щоб заява про готовність ніколи не могла непомітно застаріти.

Попередні додатки: відсутні. Це перший.

Індекс Доповнень