Кратко

  • 5 сентября появилась редакция 01 индивидуального Internet-Draft о Testimony Record: она исправила необоснованное описание исследования, задала вычисление дайджеста и прямо ограничила свидетельства о реализациях.
  • Четыре накопительных уровня проверяют запись, объяснение, ограничение значимых действий и целостность, но эмитент без исполнительных функций может выполнить TR-3 через acts:false и затем достичь TR-4.
  • Новая версия разделяет проверки, результат которых читатель получает из самой записи, и аттестации эмитента — например, о происхождении класса риска или имени одобрившего человека.
  • Внешняя метка RFC 3161 связывает дайджест со временем и подписантом, но не подтверждает правильность, полноту или отсутствие другой отброшенной записи.
  • Покупателям, аудиторам и регуляторам нужна матрица с областью, отдельным результатом каждого уровня, проверяемыми и аттестованными пунктами, схемой целостности и версией валидатора, а не одиночный знак TR-4.

Документ проверил собственное свидетельство

Сообщение IETF фиксирует узкое институциональное событие: 5 сентября был опубликован 18-страничный Internet-Draft. Карточка Datatracker задаёт его статус без расширительных толкований. Это активный индивидуальный черновик. У него нет потока RFC, ответственного Area Director или официального положения; IETF его не одобрял. Указание предполагаемого статуса Informational выражает намерение автора, а не достигнутый результат.

В этих пределах редакция 01 важна тем, что открыто исправляет свою доказательную базу. В закреплённом тексте редакции 00 говорилось: ни одна из восьми рассмотренных систем не записывает личность человека, одобрившего действие. Закреплённая редакция 01 признаёт, что перепись не давала оснований для такого вывода. Из пяти относящихся к вопросу сторонних систем в четырёх признак был признан отсутствующим, по пятой ответ оставался неопределённым. Остальные три включали собственную систему автора. Универсальную формулировку удалили.

Это не косметическая правка. Формат предназначен для хранения того, что автоматическая система утверждала о своих знаниях и действиях. В собственной аргументации он тоже должен различать «не найдено», «установить невозможно» и «есть у самого автора». Прежнее предложение сжимало разные состояния свидетельства в одно отсутствие — именно такую потерю нюанса формат пытается предотвратить.

Официальное сравнение версий показывает второе исправление. Редакция 00 называла дайджест, не определив алгоритм, сериализацию и порядок достаточно точно для воспроизведения. Две реализации могли взять одинаковые записи и получить разные значения. Валидатор мог принять заявленный дайджест, не вычисляя его заново. Таким образом, уровень Verifiable нельзя было независимо получить из одного текста спецификации.

Теперь редакция 01 требует SHA-256 для последовательности элементов covers: компактный JSON, сортировку ключей по кодовым точкам Unicode, исключение аннотаций с начальным подчёркиванием, UTF-8, разделение LF без последнего LF и границы чисел, способных сериализоваться неодинаково. Эталонный валидатор пересчитывает значение. Утверждение о целостности стало локально оспоримым: другой читатель может повторить вычисление над теми же байтами.

Четыре ступени отвечают на разные вопросы

Формат описывает область, убеждения, свидетельства, противоречия, решения, одобрения и целостность. TR-1 проверяет разбор, известные версии и типы, обязательные поля, уникальность идентификаторов, порядок времени записи и согласованность с заявленной областью. TR-2 требует ссылок от убеждения к свидетельствам — в том числе явного пустого массива для ничем не подкреплённого убеждения — и сохранения обеих сторон конфликта и его возможного разрешения.

TR-3 касается действий с последствиями. Класс риска должен происходить не из ответа предлагающей модели. Отказ не может одновременно обозначаться как исполнение. Исполненное высокорисковое действие требует записи об одобрении с именем человека, источником личности вне текста модели и разделением одобряющего и инициатора.

TR-4 переходит к целостности. Все охваченные элементы должны существовать, дайджест — совпадать при пересчёте, внешний якорь — связывать объявленный отпечаток. Эти свойства полезны. Однако они не тождественны действенному контролю операций.

Черновик прямо признаёт смешение. В формате 0.2 эмитент может объявить acts:false. Если решений в записи нет, он выполняет TR-3 отсутствием действий, которые следовало бы блокировать, и получает возможность пройти TR-4. Корректный отчёт для такого случая — «TR-4, record only». Без двух последних слов ограниченный областью вывод превращается в общую характеристику системы.

Запретить наблюдателям или хранилищам без исполнительных прав было бы неверно. Их история тоже нуждается в сильной защите от изменений. Ошибка возникает позже — когда целостность этой истории начинают выдавать за доказательство того, что реальные внешние эффекты проходили через согласование, хотя они не входили в заявленную область.

Область действия тоже сообщается самим эмитентом

Элемент scope устраняет неоднозначность для валидатора, но остаётся самоописанием. Действующая система способна объявить себя не действующей и пропустить требования к решениям. Если в её записи всё же останется решение, противоречие обнаружится и TR-1 завершится неудачно. Если весь путь действия исключён, сама запись не может доказать ложность границы.

Для закупки это означает риск демонстрационного контура. Поставщик может предъявить соответствующий требованиям записывающий компонент, тогда как коннектор, sidecar или главный процесс выполняет внешние вызовы вне границы эмитента. Внутри себя запись будет безупречной, а операционная картина — неполной. Покупателю нужна отдельная карта: какой процесс предлагает, разрешает, отправляет и наблюдает эффект; какие пути обходят регистратор; какие независимые данные связывают архитектуру с объявленной областью.

Открытый репозиторий автора публикует спецификацию, валидатор, адаптеры и корпус соответствия. Это сильнее одного текстового обещания: материалы можно изучить и запустить. Но это по-прежнему контролируемое автором свидетельство. Новый раздел о состоянии реализации говорит, что на дату среза все известные реализации принадлежали тому же автору. Два отдельно написанных валидатора способны выявить внутреннее расхождение; независимой интерпретацией второго разработчика они не становятся.

Каталог переписи полезен привязкой оценок к конкретным коммитам, требованием обосновывать отсутствие и обозначением конфликтов. Он показывает и недостатки собственных инструментов автора. Но исследование сторонних фреймворков не превращает его в независимый аудит, когда автор задаёт рубрику, создаёт эталон и проводит оценивание.

Одинаковую ступень создают разные виды утверждений

Редакция 01 вводит различие важнее порядкового номера. Проверяемый пункт разрешается по записи: существует ли указанное свидетельство, сохранены ли стороны конфликта, не исполнено ли отклонённое действие, соответствует ли дайджест точному набору охваченных элементов, подписала ли служба времени именно запрошенный отпечаток.

Аттестованный пункт сообщает о внешнем мире со слов эмитента. Названного реестра рисков может не быть. Имя одобрившего могло не поступать из заявленной аутентифицированной сессии. Механизм повтора может не воспроизводить результат. Требовать таких полей всё равно полезно: конкретное утверждение можно впоследствии опровергнуть, тогда как пробел не опровергаем. Но обязательность поля не делает его внешним доказательством.

Поэтому один уровень способен скрывать разную пропорцию. Одна запись проходит прежде всего благодаря арифметике над сохранёнными байтами. Другая достигает той же отметки с ключевыми фактами, предоставленными проверяемой стороной. Заголовочный номер убирает этот состав.

Различаются и схемы целостности. Собственный дайджест выявляет последующее изменение третьей стороной, но не мешает эмитенту изготовить другой вариант и пересчитать значение. Подпись связывает заявление с личностью при условии надёжного хранения ключа и выбранной политики доверия. Внешняя временная метка выносит отпечаток и время за пределы эмитента. RFC 3161 возлагает на запрашивающего проверку того, что токен содержит нужный отпечаток и приемлемую политику. Он не удостоверяет правильность, полноту или отсутствие альтернативной записи.

RFC 8785 даёт полезный контекст канонизации JSON, а черновик задаёт собственное правило формирования охваченной последовательности. RFC 9162 и рабочий документ об архитектуре SCITT показывают, как выносить свидетельства в прозрачную инфраструктуру, не принадлежащую одному эмитенту. Ни одна такая система задним числом не докажет, что самообъявленная область была полной или что убеждение было истинным.

Вместо значка нужна матрица доказательств

Обновлённый черновик уже советует сообщать результаты по каждой ступени и заявленную область. Для решений с последствиями это должно стать минимальным форматом. Компактная матрица включает точную версию и хеш спецификации; эмитента и исполнительную границу; область с пометкой «самообъявленная» или ссылкой на внешнее свидетельство; успех, неудачу либо ограниченный результат каждого TR; идентификаторы и число проверяемых и аттестованных пунктов; схему целостности и охваченные элементы; якорный орган, политику и итог проверки; сборку валидатора, версию корпуса и ограниченный момент наблюдения.

Матрица не создаёт сертификат. Она позволяет сильному частичному доказательству остаться сильным, не маскируя слабость рядом. Внешний якорь может быть действителен, хотя происхождение имени одобрившего не подтверждено. Настоящий шлюз действий может работать без долговечного якоря. Обе характеристики следует видеть одновременно.

Граница конфиденциальности остаётся неразрешённой. Документ советует не копировать чувствительные данные, а сохранять идентификатор источника и дайджест и обозначать редактирование. Одновременно он признаёт конфликт между дописываемой историей и удалением. Перезапись уничтожает непрерывность свидетельства; сохранение под меткой удаления не удаляет содержание. Показатель соответствия не решит этот правовой и архитектурный выбор.

Не реализует черновик и Закон ЕС об искусственном интеллекте лишь потому, что касается журналирования и человеческого надзора. Он прямо отказывается от такого вывода. Правовую достаточность определяют обязанные лица и компетентный регулятор.

Редакция 01 заслуживает доверия ровно в отведённых ей пределах: она признала более слабые данные и исправила невоспроизводимую проверку. Из этого не следует новый мандат. Запись умеет показать своё содержимое, сохранить противоречия и связать байты. Пользователь всё равно обязан выяснить, что наблюдалось, что только утверждалось, что эмитент вывел из области и кто вправе принять остаточную неопределённость.

Источники

  1. Объявление IETF о редакции 01
  2. Статус в IETF Datatracker
  3. Testimony Record, редакция 01
  4. Testimony Record, редакция 00
  5. Официальное сравнение редакций
  6. Репозиторий Machine Testimony
  7. Каталог переписи соответствия
  8. RFC 3161 — протокол временных меток
  9. RFC 8785 — канонизация JSON
  10. RFC 9162 — Certificate Transparency 2.0
  11. Архитектура SCITT, редакция 22
  12. Heng Lu о первичности работающего кода