Когда спросят, как вы проверяли, — передайте им это.
Каждый источник вашего отчёта заново загружен, захеширован и получил отметку времени — доказуемо до того, как вы поставили подпись. Запись запечатана в цепочке хешей, поэтому составить её задним числом было нельзя.
Экспертное заключение — редакция 4
Концентрация взвешенных частиц на площадке превышала временный норматив во всех четырёх кварталах рассматриваемого периода, а скорость осаждения на подветренной границе площадки была примерно вдвое выше среднего показателя по региону (Региональный совет по качеству воздуха, 2024, таблица 6)1.
Программа наблюдений сама называет свои данные предварительными, а приведённая выше цифра по границе участка фигурирует там как диапазон, а не как одно значение (Программа наблюдений на площадке, 2023, с. 41)2 — что я разбираю в разделе 7.
Сопоставимый результат был получен для соседнего водосбора двумя годами ранее (Халлоран и Уэйр, 2022)3.
Областной реестр хранит исходную отчётность за оба года, поданную самим оператором (Областной реестр выбросов, дело 8841)4.
Местный бюллетень напечатал те же цифры в сводном виде следующей весной (Бюллетень фонда водосбора, март 2024)5.
Рисунок, а не снимок экрана: пять исходов, с которыми возвращается цитата, нарисованные на выдуманной странице. Зелёный появляется один раз — и только там, где источник открылся и цитата была вычитана из него.
Материалы вашего клиента не уходят от вас. Протокол публикует хеши, количества и время — но не текст.
Проверить его может кто угодно нашим инструментом с открытым исходным кодом, офлайн, не обращаясь к нам.
Мы не заверяем ваши выводы. Мы заверяем, что вы проверяли и когда. Именно это потом уже не восстановить.
Вживую
Перетащите отчёт. Смотрите, как его проверяют.
Каждый источник загружен заново, захеширован и получил отметку времени. Ваш документ стирается через считаные секунды после загрузки; остаются только диапазоны, хеши и количества — и у них тоже есть срок.
Это общий пример: одна проверка открытого судебного документа, одинаковая для каждого посетителя и только для чтения. Чтобы запечатать протокол, загрузите свой отчёт.
Запустите тот же верификатор с открытым исходным кодом, что запустил бы посторонний, — здесь, у себя в браузере. Если проверка выше уже прошла, он читает предварительный протокол, собранный из неё: без подписи и без цепочки, предпросмотр, а не запечатанная запись.
У предпросмотра ещё нет подписи: проверка подписи будет падать, пока отчёт не запечатан. Всё остальное — хеши, количества, устройство файла — то же, что понесёт запечатанный протокол.
запросов к нам во время проверки: 0
Работает верификатор на TypeScript (сборка wasm оказалась недоступна); результат той же формы.
Полный запечатанный файл (тот, что скачивает автор) — это запись целиком; открытая страница протокола несёт его подписанную проекцию, которая проверяется сама по себе.
Не верите? Откройте DevTools → Network, очистите список и нажмите «Перепроверить офлайн». Вы увидите разовую загрузку верификатора и одно анонимное событие о том, что проверка прошла и с каким исходом. Вставленного вами протокола нет ни в том, ни в другом.
Измените один байт
Правьте протокол. В тот момент, когда меняется запечатанный байт, хеш перестаёт сходиться, а подпись — проверяться. В этом весь смысл.
Честная часть
Чего это не может
EXISTS
источник, на который вы сослались, открывается: мы загрузили его заново, взяли хеш байтов и попросили архив сохранить копию. Почти детерминированно.
SAYS
в источнике есть слова, которые вы ему приписали, с привязкой к символьным смещениям. Почти детерминированно.
HOLDS
состязательная попытка опровергнуть утверждение, которую судит третья модель. HOLDS часто расходится с экспертами, часто и намеренно возвращает INSUFFICIENT_EVIDENCE, по умолчанию выключен и никогда не попадает в запечатанную запись.
Мы не заверяем ваши выводы. Мы не судим спорные утверждения. Протокол не спасёт юриста в суде и не утверждает, что хоть что-нибудь верно.
Редакциям и отделам проверки фактов. Они за это не платят — платят гранты.
Юристам, проверяющим судебную практику. Корпус судебных решений принадлежит крупным игрокам, а суды уже отказались считать проверку одного ИИ другим независимой проверкой — протокол вам там не поможет.
Корпоративным программам управления ИИ. Проверка поставщика не ложится на инструмент самообслуживания, который ведёт один человек, — список ожидания выше.
Программам соответствия EU AI Act.
Обоснованию рекламных заявлений.
Любому публичному значку. Значок на отчёте для клиента сообщает клиенту, что вы пользовались ИИ, а его отделу закупок — вашу оценку. Мы его не сделаем.