Кратко

  • draft-templeman-scitt-measurement-capsule-00 хранит заявление, внешнее наблюдение, структурированную разницу, digests источников и ограничения, но не даёт полномочий на исполнение.
  • UNCHECKABLE — не ошибка, успех, ноль или отсутствие; неполное чтение не доказывает, что объект отсутствует.
  • Content hash, Merkle inclusion, подпись, Transparency Receipt и timestamp подтверждают разные факты. Для отказа нужен отдельный principal, policy, scope и механизм обжалования.

Проверяющий увидел расхождение и честно его записал. Платформа прочитала одно слово — INCONSISTENT — и закрыла доступ. Между этими событиями возникло решение, которого не выпускал ни измеритель, ни transparency service.

Эту потерянную границу делает видимой Declared-versus-Observed Measurement Capsules. На 2 октября 2026 года Datatracker показывал revision 00 как active Individual Submission от 27 сентября со сроком до 31 марта 2027 года. Текст имеет intended status Experimental, без IETF stream и ответственного Area Director. Это не RFC, не консенсус, не adoption и не доказательство внедрения.

Capsule создаёт сторона, которая не должна быть субъектом или участником действия. Она связывает declared bytes, observation из другого источника, differential, source digests, measurement state, время и limitations. authority_state допускает только measurement, не execution authority.

Сравнение начинается с двух журналов происхождения

Declaration — конкретный artefact с версией, адресом, временем получения, media type и digest. Registry, manifest и cache могут показывать разные состояния.

Observation зависит от vantage, credential, request, timeout, parser и clock. Проверка signature, чтение ledger proof и повтор evaluation — разные методы. Один endpoint, прочитанный в одной точке, не описывает весь мир.

Поэтому INCONSISTENT означает различие двух statements, а не выбор истины. Declaration может устареть, observation тоже; их scopes могут отличаться. Evidence ladder запрещает усиливать вывод: proof против state commitment ещё не проверяет header против consensus, а operator API остаётся ответом оператора.

UNCHECKABLE сохраняет честный знаменатель

Оборванная pagination, закрытый ledger, identity failure или непроверяемый proof дают UNCHECKABLE. Draft запрещает превращать его в pass, fail, zero или omission. NOT_LISTED допустим только после complete read.

Удаление непрочитанных строк улучшает показатель, запись нуля ухудшает его. Оба действия подменяют наблюдение. Нужно раздельно считать eligible, attempted, complete и uncheckable.

Issuer выбирает population batch. Если отобрать в основном вероятные расхождения, каждая capsule может быть точной, а aggregate — вводить в заблуждение. Поэтому batch record должен раскрывать inclusion rule и причины исключений; counts разных правил несопоставимы.

Запрещённые слова не заменяют отдельный Decision Record

Кроме authority_state, schema запрещает имена decision, allow, reject, approve, admit, permit, enforcement, action, gate и ряд точных allow/deny values. Capsule не должна стать gate.

Denylist неполна, что draft признаёт. Настоящая защита находится у consumer. Если INCONSISTENT запускает отказ, отдельная запись должна назвать authorised principal, policy version, protected interest, threshold, scope, exceptions, duration, notice и appeal.

Подпись measurer не передаёт ему ответственность за потери субъекта. Даже внутри одной компании роли evidence issuer и decision owner должны различаться.

Пять доказательств отвечают на пять вопросов

capsule_id — SHA-256 JCS bytes по RFC 8785 без собственного поля. Точные bytes сохраняются; отсортированные IDs входят в RFC 9162 Merkle Tree Hash. Audit path доказывает membership.

COSE_Sign1 связывает issuer key и protected headers. SCITT Transparency Service регистрирует Signed Statement и выдаёт Receipt. Timestamp ограничивает время существования commitment в рамках своей proof.

Hash доказывает content, Merkle — inclusion, signature — key, Receipt — registration, timestamp — time. Ни одно не доказывает calibration, completeness, independence, endorsement, справедливость выборки или законность блокировки.

Компрометация signing key или service credential позволяет подписать false records и переписанную chain. Обнаружить это можно только по более раннему independent anchor.

Ссылка на effect не копирует его outcome

effect_reference указывает по digest на Signed Statement другого профиля и не копирует outcome. Authorization, execution и third-party measurement остаются заявлениями разных issuers.

Approval не доказывает effect, action receipt не доказывает postcondition, measurement не отменяет approval, transparency log не примиряет их. Consumer делает join и выпускает собственное decision.

Prototype пока не заполняет effect_reference; это design, а не interoperability evidence.

Correction сохраняет ошибку и требует rollback

Capsule не редактируют. Correction создаёт новый объект и batch, указывает старый record, before/after и reason. Superseded capsule остаётся доступной. Изменение canonicalization или Merkle construction также меняет IDs.

Так видно, какую Evidence использовал consumer. Но ошибочную запись нельзя просто удалить. Subject нужен correction/exclusion route; consumer должен пересчитать score и gate, восстановить доступ и записать результат.

Correction в log без rollback последствия — улучшенный архив, а не исправление вреда.

Digest не скрывает малый секрет

sources содержит только digests. Private value с низкой entropy можно угадать перебором. Draft рекомендует blinding и сообщает, что Prototype его не реализует.

Он также ограничивает measurement машинно-публичными surfaces, не отправляет credentials и останавливается на MCP discovery. Если claim остаётся непроверяемым, правильный результат — UNCHECKABLE, а не несанкционированный глубокий probe.

Один running implementation не равен ecosystem

Текст сообщает о 13 184 capsules, восьми batches и семи kinds в организации автора, OpenTimestamps/Rekor, browser verifier и отдельном checker. Это author-reported implementation status.

Checker создан той же организацией и не считается independent implementation. Не реализованы COSE_Sign1, SCITT registration, effect_reference и blinded digests.

Experiment требует реализацию другой стороны, воспроизводимые IDs/roots, регистрацию у другого operator, проверку Receipt третьей стороной, cross-issuer reference и corrections без потери history. Если за две revisions ничего не произойдёт, автор обещает withdraw draft. Эти проверяемые outcomes важнее внутреннего объёма.