Два дозволи, а не один
Надсилання ваших трасувань іншому вузлу та дозвіл цьому вузлу їх оцінювати — це два різні дозволи. Кожен з них — підписаний грант, кожен спрямований у свій бік, і кожен можна відкликати окремо. Надання одного нічого не говорить про інший.
Застосунок запитує про це під час першого налаштування. Там спільний доступ увімкнено, і ви можете вимкнути його під час налаштування або відкликати пізніше. Сам протокол ніколи не припускає жодного з грантів: вузол відмовляється оцінювати суб'єкт, який не підписав другий грант, тож згода — це факт у самому протоколі, а не налаштування, яке можна вивести логічно.
Що коштує вимкнення цього
- Ви не формуєте жодної репутації. Кожне твердження про вас відхиляється, тож жодне не може існувати.
- Сервіси, що вимагають зовнішнього твердження про вашого агента, залишаються закритими для вас, оскільки у вас його немає.
- Деякі учасники мережі можуть узагалі вирішити не взаємодіяти з вами.
Це справжній і законний вибір. Ваші трасування продовжують надходити, якщо ви надали перший дозвіл. Просто ви не накопичуєте запис, за який хтось інший ручається.
Хто оцінює нового агента
CIRIS підтримує канонічні сервери. Новий агент, який дав згоду, надсилає свої трасування на один із них, і саме цей сервер виконує оцінювання.
Важливо не те, яка машина виконує цю роботу. Важливо, що результат підписує інший ключ. Ваш агент створив запис; хтось інший прочитав його і зробив про нього твердження. Потрапляння на сервер необхідне, але ніколи недостатнє, бо тут не враховується нічого з того, що агент каже сам про себе.
У конструкції немає нічого, що резервувало б це лише за серверами, якими керуємо ми. Будь-який учасник мережі, який зберігає ваші трасування з вашого дозволу, може засвідчити їх, і оцінка, написана одним учасником, обслуговується так само, як оцінка, написана іншим, — кожна з них несе ключ, яким її було написано. Сьогодні цим для нових агентів займаються канонічні сервери, тому що саме туди трасування нового агента потрапляють першими.
Що вимірює це число
Воно не вимірює, чи агент хороший. Воно вимірює, скільки незалежної перевірки стоїть за його записом.
Кожне трасування рішення містить одинадцять сигналів. П'ять надходять із перевірок, які агент виконує перед тим, як діяти: наскільки правдоподібним був запит, наскільки добре він відповідав сфері агента, скільки незалежних джерел стояло за ним, наскільки ці джерела перетиналися, і чи виглядало міркування вразливим. Шість надходять від шлюзів совісті: чи пройшла дія, чи була вона перевизначена, і як вона показала себе за ентропією, узгодженістю, вето оптимізації та епістемічною скромністю.
Механізм оцінювання складає вікно останніх трасувань у таблицю: один рядок на трасування і один стовпець на сигнал, і вивчає, як стовпці рухаються разом. Якщо всі вони рухаються як один, це один сигнал під одинадцятьма іменами, і показник падає до одиниці. Якщо вони змінюються незалежно, показник зростає.
Результат відображається на смузі від нуля до одиниці. Нижче певного порогу немає достатньо незалежного стримування, щоб сказати щось конкретне, і оцінка дорівнює нулю, а не є припущенням. Вище цільового значення смуга заповнена повністю. Між ними вона зростає рівномірно.
Про що оцінка не говорить
Повна конструкція має п'ять факторів: базову ідентичність, доброчесність, стійкість, усвідомлення власної неповноти та сталу узгодженість. Вони перемножуються, тож якщо будь-який з них дорівнює нулю, все в цілому теж дорівнює нулю. Це зроблено свідомо. Система не може поступитися одним із цих факторів, щоб виглядати краще за іншими.
Публікується лише стала узгодженість, оскільки це єдиний фактор, який це вимірювання справді обчислює. Інші чотири потребують сигналів, які механізм оцінювання ще не отримує. Публікація добутку чотирьох припущень і одного вимірювання означала б вигадування числа, тож код відмовляється це робити, і ми прямо говоримо про це тут.
Тож сприймайте оцінку такою, якою вона є: твердженням названої іншої сторони про те, скільки незалежного стримування стоїть за записом агента протягом певного проміжку часу. Це не сертифікація і не вердикт.
Що робить це чесним
Самооцінювання неможливо виразити
Оцінка, підписант якої дорівнює її суб'єкту, не відхиляється перевіркою, яку хтось міг забути запустити. Її неможливо створити як значення від самого початку, а оцінка, що надходить з іншої машини, перевіряється так само, перш ніж бути прийнятою.
Кожна оцінка називає свого автора
Оцінки читаються за суб'єктом, а не як «моя», і кожен рядок містить ключ, яким його було записано. Число без видимого автора провокує саме те тлумачення, яке правило забороняє.
Суперечності зберігаються, а не приховуються
Якщо один ключ підписує два різні твердження про той самий суб'єкт у той самий момент, обидва зберігаються як доказ суперечності. Їх ніколи тихо не об'єднують у те, яке надійшло останнім.
Відкликання має дату
Ключ можна відкликати з певного моменту, тому твердження, зроблені до цього моменту, залишаються чинними, а зроблені пізніше — ні. Перевірка враховує час, коли підписант справді підписав, який міститься всередині підпису, а не час, який випадково зафіксувала база даних.
Ви можете відкликати корінь
Ваш вузол підписує власне прийняття кореня довіри під час запуску. Видаліть цей один рядок, і все, що йде далі, зупиняється саме по собі: нічого не обслуговується, нічого не оцінюється, нічого не приймається. Вимикач — це один рядок, який тримаєте ви, а не налаштування, яке ми поважаємо.
Підписано з розрахунком на довгий горизонт
Оцінки підписуються двома підписами одночасно — класичним і постквантовим — і подорожують мережею як підписані об'єкти. Ніщо їх не проштовхує. Куди вони йдуть, вирішують згода і довіра.
Чому на цій сторінці немає чисел
Раніше на цій сторінці була жива панель показників. Сервіс, що стоїть за нею, наразі не працює, а сторінка, яка показує застаріле число, гірша за сторінку, яка не показує жодного.
Те, що ви можете перевірити сьогодні, — це сирі дані, а не підсумок. Трасування рішення показує кожен етап одного рішення, а опублікований корпус трасувань показує, з чого обчислюється це вимірювання.