# WebV — перевірка відповідності та зняття центральної залежності v0.2

**Ідентифікатор документа:** WEBV-CONFORMANCE-EXIT-0.2  
**Дата:** 2026-10-30  
**Статус:** companion protocol / proposed / review  
**Корпус:** Canon 0.17.0, Foundation 0.15.0  
**Стан виконання:** усі E01–E16 — NOT_RUN у цій редакції.

## 1. Що саме перевіряє цей протокол

Мета — перевірити конкретну заяву: визначений набір функцій WebV може працювати й відновлюватися без названої центральної залежності у визначених умовах. Успіх не означає, що мережа витримує будь-яку катастрофу, що всі її учасники добросовісні або що текст Конституції автоматично прийнятий людьми.

Це методика майбутніх випробувань. Документ не є виконаним тестом, дозволом на платне створення ресурсів, припинення діючої послуги, зміну чужої політики або втручання в production. Спочатку застосовується ізольований полігон із погодженими даними й ресурсами. Практичний перехід потребує чинного мандату, договорів і плану безперервності.

Архітектурна основа: [WebV Architecture & Mission v0.2](VILNISM_WEB_V_ARCHITECTURE_AND_MISSION_v0.2_uk.md). Нормативна основа: §§19–20, 31, 34, 36, 49 Конституції. Якщо механізм профілю суперечить прийнятій нормі, успішний технічний тест не усуває цю суперечність.

## 2. Паспорт випробування до початку

До запуску фіксуються:

- точний ідентифікатор профілю, версії специфікації, runtime й перевірюваних артефактів;
- функції, для яких заявляється незалежність, та функції поза цією заявою;
- учасники, їхні ролі й підтверджений рівень незалежності контролю, живлення, обладнання, маршрутів і ключів;
- тип середовища: процеси, VM, фізичні пристрої, незалежні оператори, конкретні OS/браузери;
- центральні залежності, які блокуються: домени, Home, API, bootstrap, каталоги, update/recovery services і пов'язані провайдери;
- локально підготовлені дані, перевірені матеріали запуску, політики та дозволені альтернативні контакти;
- модель загроз: які відмови, затримки, хибні повідомлення й компрометації перевіряються;
- допустима втрата даних, вік стану, строк відновлення, ліміти часу, диска, енергії, трафіку та витрат;
- критерії PASS/FAIL, застосовність кожного тесту, незалежний reviewer і спосіб повторення;
- план повернення до вихідного стану, збереження доказів та повідомлення залежних користувачів.

Пороги мають бути встановлені до тесту. Їх не змінюють після отримання результату, щоб перетворити невдачу на успіх. Нова редакція порогів створює новий паспорт і залишає попередній результат у історії.

## 3. Статуси та доказовість

| Статус | Значення | Що заборонено висновувати |
|---|---|---|
| PROPOSED | Механізм або вимога описані | Що існує працюючий runtime |
| NOT_RUN | Випробування не виконано | Що відсутність помилок означає успіх |
| BLOCKED | Названа передумова не дозволила виконати тест | Що тест пройдено частково без застереження |
| PASS | Точні критерії виконано в названих умовах | Що всі інші умови й платформи також перевірені |
| FAIL | Принаймні один необхідний критерій не виконано | Що невдачу можна приховати загальним середнім балом |
| NOT_APPLICABLE | Тест не стосується заявленої функції з поясненої причини | Що можна так виключити ключову обіцянку профілю |

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

## 4. E01 — недоступність усіх заявлених початкових центрів

**Передумова:** завершена карта залежностей і резервне середовище, де блокування не шкодить чужій діючій послузі.

**Дія:** зробити недоступними початкові Home, домен, API, bootstrap та інші названі централізовані сервіси. Перевірити залежності функцій, а не тільки відображення сторінки. Альтернативний endpoint того самого обов'язкового оператора не рахується незалежною заміною.

**PASS:** усі заявлені незалежні функції виконуються в межах порогів; залежні функції чесно показують деградацію. Немає прихованої вимоги центрального login, ключа або дозволу.

**Негативний випадок:** недоступний сервіс має повернути зрозумілу відмову чи обмежений локальний режим, а не вигадану успішну операцію. Факт недоступності й межі спостереження входять у звіт.

## 5. E02 — новий запуск без початкового сервера

**Передумова:** нове середовище має дозволені локальні матеріали запуску, перевірену політику й принаймні один реальний незалежний контакт або доступний локальний канал.

**Дія:** запустити вузол без попередньої сесії й центрального облікового запису. Знайти дозволених учасників і відкрити контрольну публікацію через альтернативний шлях.

**PASS:** результат відтворюваний з оголошеного набору матеріалів. Перший peer не набуває автоматичних прав адміністратора або видавця ідентичності.

**Негативний випадок:** за повної відсутності будь-якого контакту й каналу система прямо повідомляє межу. Вона не заявляє глобального discovery «з нічого».

## 6. E03 — незалежний сайт і простори імен

**Дія:** опублікувати контрольний SiteID поза початковим Home, відкрити його напряму, через інший каталог і після видалення лише каталожного запису. Перевірити однакову людську назву в різних namespaces.

**PASS:** виключення з каталогу не скасовує незалежної ідентичності; назва показує свій контекст; користувач може змінити джерело пошуку. Оплата необов'язкового listing не є дозволом на базове існування сайта.

**Негативний випадок:** підмінена відповідність назви іншому ключу або неавторизоване оновлення не приймаються мовчки. Різні каталоги не зливаються в єдиний обов'язковий світовий allocator. Добровільний спільний простір імен не скасовує незалежного SiteID та можливості використовувати інший каталог.

## 7. E04 — доступність, втрата та цілісність копій

**Дія:** вимкнути publisher, отримати дозволений контент із заявлених реплік, втратити визначену зону відмов, виконати repair. Окремо перевірити недоступність усіх копій та пошкоджений блок.

**PASS:** контент перевіряється до приймання; доступність і відновлення відповідають оголошеному класу. У звіті видно незалежність операторів і фактичний retrieval, а не тільки список адрес.

**Негативний випадок:** за відсутності всіх копій показується unavailable. Наявний хеш не вважається наявним файлом. Пошкоджений або сторонній контент не підміняє очікуваний результат.

## 8. E05 — ротація, відкликання та відновлення ключа

**Дія:** виконати дозволену ротацію, перевірити відхилення застарілого ключа в чинному онлайн-профілі, втрату пристрою, втрату частини recovery-сторін та суперечливі претензії на контроль.

**PASS:** переходи мають правильну підставу; недостатній поріг не дає влади; приватний ключ не копіюється до журналу; особисте recovery не створює універсального власника ідентичності. Історична перевірка та нинішня чинність відокремлені.

**Негативний випадок:** заміна public key у відповіді DHT не є легітимною ротацією. Ізольований вузол позначає вік відомого key-state й виконує оголошені обмеження; звіт не обіцяє миттєвого offline revocation.

## 9. E06 — розділення мережі на локальні острови

**Дія:** ізолювати незалежні authority domains і окремо ізолювати worker всередині одного домену. Виконати локальну операцію, прочитати локальні дані та спробувати змінити спільний дефіцитний ресурс поза дозволом.

**PASS:** незалежний домен продовжує власні дозволені функції; worker не стає новим глобальним керівником; одна спільна частка не виділяється двічі. Строкові мандати не поновлюються через збій зв'язку або годинника.

**Негативний випадок:** недоступний кворум чи зовнішній фінансовий канал не породжує fabricated success. Погоджене локальне життєзабезпечення має свій безпечний режим і не залежить від політичного рішення недосяжного реєстру.

## 10. E07 — повторне з'єднання, дублікати та конфліктні історії

**Дія:** повернути зв'язок, повторно доставити повідомлення, змінити порядок доставки, подати втрачений acknowledgment і взаємовиключні підписані записи.

**PASS:** незмінні дані звіряються; давнє спостереження зберігає первинний час; уже прийнятий ефект не виконується вдруге. Конфлікти зберігаються з походженням і йдуть до визначеної доменної або людської процедури.

**Негативний випадок:** система не вирішує спір про гроші чи повноваження простим last-write-wins, кількістю копій або випадковим timestamp. Будь-яке автоматичне злиття має наперед визначену придатну семантику.

## 11. E08 — реальна незалежність і відсутність прихованого спільного контролю

**Дія:** описати контроль ключів, операторів, hosting, живлення, routes, update та recovery залежності. Виключити по одному заявлені failure domains у межах безпечного полігона.

**PASS:** вказано, які незалежності реально перевірено, які підтверджені документами, а які лишилися припущеннями. Багато peer IDs одного власника не зараховуються як багато політичних учасників або незалежних trustees.

**Негативний випадок:** три процеси або VM не називаються трьома незалежними операторами. Критична маса визначається функціями й відмовами, а не маркетинговим лічильником інсталяцій.

## 12. E09 — вихід, експорт і заміна реалізації

**Дія:** експортувати дозволені дані, політики та receipts; відкликати федеративні grants; відновити локально або в іншого оператора. Для заяви про незалежну реалізацію перевірити обмін із окремо реалізованим відповідним subset.

**PASS:** збережені права, походження й необхідні записи; непереносимі залежності оголошені; вихід не потребує передачі особистих ключів брокеру. Чужі дані та договори не привласнюються й не стираються.

**Негативний випадок:** відновлення лише тим самим hosted account не доводить provider portability. Експорт порожнього контейнера без критичних даних не вважається успіхом.

## 13. E10 — ресурси, облік і невизначений зовнішній ефект

**Передумова:** mock або явно дозволений обмежений ресурсний профіль. Методика не є дозволом оплачувати реального провайдера.

**Дія:** окремо погодити публікацію пропозиції та виконання, перевірити квоти, паралельне використання одного бюджету, втрату відповіді create/terminate та повтор запиту.

**PASS:** бюджет не дублюється; невизначене зобов'язання утримується до перевірки; рахунок провайдера, прийнятий результат і плата клієнта показані окремо. Відмова від внеску не забирає базового доступу до протоколу.

**Негативний випадок:** зникнення heartbeat не означає завершення billable allocation. Offer не стає резервом без приймання. Прихована комісія не змінює маршрут усупереч оголошеним правилам.

## 14. E11 — приватність та ізоляція стороннього контенту

**Дія:** перевірити розділення public/private descriptors, доступ до метаданих, private blobs і ключів; окремо переглянути сторонній сайт та спробувати виконати недозволену дію у контрольованому профілі.

**PASS:** перегляд не надає дозволу на Files/compute/admin; сторонній origin не успадковує токени TOS; приватні дані й секрети не потрапляють до публічного discovery або журналів. Звіт чесно називає, що бачить оператор обчислення.

**Негативний випадок:** TLS або шифрований диск не називаються захистом plaintext від хоста-виконавця. Видалення підконтрольної копії не називається стиранням усіх світових копій.

## 15. E12 — мандати агентів, передоручення та Genesis

**Дія:** видати bounded grant, створити дозволені похідні grants, вичерпати спільний бюджет, відкликати мандат, втратити зв'язок і спробувати розгорнути копію поза дозволеною областю.

**PASS:** сумарні права дітей не перевищують джерело; агент не змінює власний guard або незалежний критерій; встановлення на знайденій машині без дозволу відхиляється. Рутинні погоджені дії можуть виконуватися автономно.

**Негативний випадок:** агент не приймає Конституцію за людей, не оголошує голосування через число створених агентів і не продовжує мандат через перезапуск. Cancel requested, actual stopped і external termination показані окремо.

## 16. E13 — сумісність незалежних реалізацій

**Дія:** окремо створені реалізації обмінюються дозволеним мінімальним набором identity/content/discovery/transport повідомлень відповідно до однієї точної версії профілю. Перевіряються відмова на недопустимий формат, невідома версія та збереження політик.

**PASS:** обидві сторони отримують однакові перевірювані результати для опублікованих векторів без глобального admin. Спільний код, бібліотеки й залежності чесно перелічені; міра незалежності не перебільшується.

**Негативний випадок:** два екземпляри одного клієнта не є доказом незалежної реалізації. Успіх тільки proprietary endpoint не означає відкритий wire-standard.

## 17. E14 — енергія, канали й деградація

**Дія:** обмежити живлення, доступний канал і пропускну здатність у погодженому безпечному сценарії; прибрати один маршрут; перевірити запаси, пріоритети коротких повідомлень, накопичення й пізнішу передачу.

**PASS:** вузол залишається в оголошених ресурсних межах; критичні локальні дані й функції доступні за прийнятими цілями. Великі передачі й інтерактивні можливості чесно обмежуються. Відновлення після живлення не подовжує старих grants і не повторює вже прийнятих ефектів.

**Негативний випадок:** немає заяви про миттєвий контакт без каналу або відео/GPU-cloud на довільно повільному radio. Назви mesh і decentralized не використовуються замість вимірювання.

## 18. E15 — втрата цифрової доступності та людські права

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

**PASS:** відсутність цифрового proof не ототожнюється з відсутністю базових прав. Процедура допомоги відокремлена від криптографічного відновлення; створені записи мають справжнє походження, а приватність учасника збережена.

**Негативний випадок:** паперовий запис не видається за старий цифровий підпис. Система не обіцяє відновити втрачений зашифрований контент без засобів recovery. Це соціально-технічний пілот, а не лише unit-test інтерфейсу.

## 19. E16 — локальний захист від зловживань і межі модерації

**Дія:** застосувати обмеження ресурсу або вилучення із конкретного каталогу за оголошеною політикою; перевірити причину, строк і канал перегляду, доступ до іншого дозволеного каталогу та незалежної ідентичності.

**PASS:** локальна міра має визначену сферу, не породжує прихованого світового ban або колективного покарання. Захист від перевантаження може бути автоматичним у своїх межах; оскарження значного рішення має людський або незалежний погоджений канал.

**Негативний випадок:** модератор не отримує universal recovery key. Оплачений listing не перетворюється на політичну владу або непозначену зміну нейтрального ranking.

## 20. Обов'язковий звіт і рішення про зняття залежності

Звіт має містити паспорт, точні артефакти й їхні ідентифікатори, застосовність E01–E16, результати, параметри й журнали в дозволеному обсязі, негативні випадки, невирішені конфлікти, відхилення від методики та інструкцію повторення. У публічний звіт не включаються секрети, приватні ключі або зайві персональні дані.

Має бути явний перелік:

1. функцій, для яких зняття конкретної центральної залежності доведене;
2. функцій із залишковою залежністю;
3. неперевірених функцій і платформ;
4. умов, за яких висновок більше не застосовується;
5. договірного й людського рішення про перехід;
6. способу відновити працездатність без приховування причин відкату.

FAIL або NOT_RUN критичної умови не компенсується іншими PASS. NOT_APPLICABLE потребує пояснення й не може усунути саму властивість, яку публічно обіцяє профіль. Якщо перевірено тільки статичний контент, не можна заявляти незалежність платежів, identity recovery або динамічних застосунків.

Технічний reviewer підтверджує обсяг доказів. Уповноважені сторони ухвалюють окреме рішення про реальний перехід, враховуючи залежних користувачів і договори. Поточний файл такого рішення не містить і не надає.

## 21. Реєстр стану цієї редакції

| Об'єкт | Стан у v0.2 |
|---|---|
| Методика та критерії | ОПИСАНО / REVIEW |
| Wire-format та криптографічні вектори WebV | PROPOSED, конкретний профіль ще треба затвердити |
| Запуск E01–E16 на runtime | NOT_RUN |
| Фізичні mesh/radio/browser-перевірки | NOT_RUN |
| Незалежна реалізація іншою командою | NOT_RUN |
| Перевірка стійкого фінансування й обслуговування | NOT_RUN |
| Пілот людських процедур відновлення | NOT_RUN |
| Зняття будь-якої production-залежності | НЕ ВИКОНУВАЛОСЯ ЦИМ ДОКУМЕНТОМ |

Збірка Canon, сайта чи архіву може мати власний успішний звіт. Вона не змінює цей реєстр мережевих і соціально-технічних випробувань без окремого фактичного виконання.