Нативная differential-квитанция связывает объявленное проверяемое правило, контекст ввода, наблюдения lowering/evaluation, хэши и версию контракта в csk.differential-receipt/v0.
Текущие гарантии
- Структурный inspect проверяет схему и пересчитываемые связи без повторного запуска политики. Аутентификация подписанного конверта в Native и npm дополнительно проверяет доверие потребителя и закреплённый контекст тем же ядром Rust и каноническим отчётом, но также не перезапускает политику.
- Нативная команда
vouch verify --reexecuteвыдаётcsk.native-reexecution-report/v0: сначала сообщается аутентификация, затем текущее нативное выполнение в фиксированной области полного transcript и сравнение текущего с подписанным. - Нативная команда
vouch gate --require-decisionвыдаёт неподписанный диагностическийcsk.native-gate-report/v0; отчёт записывает, был ли создан живой grant, но сам не является capability и не принимается как вход gate. - Replay сравнивает явный корпус и записывает agree, mismatch и not-comparable.
- Теги типов и обязательные поля квитанции не пересекаются с тегами и полями отчёта Bridge.
Группы полей квитанции
| Группа | Связывает или записывает | Не устанавливает |
|---|---|---|
| контракт/тип | csk.differential-receipt/v0 и версия схемы | совместимость с будущей схемой |
| source/input | точное правило и закреплённые datum bytes/hashes | корректность преобразования host-данных |
| выполнение | transcript lowering/evaluation и наблюдаемый результат | семантическую эквивалентность вне профиля |
| идентичность | объявленный generator/version и хэши | подлинность, издателя или истинность времени |
| проверка | схема и пересчитываемые связи байтов | честную генерацию или корректность политики |
| аутентификация (Native/npm) | разрешённая подпись и точный контекст исходника, ввода, профиля и движка издателя; то же ядро Rust даёт побайтно одинаковые отчёты v0 | историческое выполнение, свежесть, identity, честное развёртывание или независимость реализации |
| нативное повторное выполнение | оба текущих нативных evaluator согласны, а их полный канонический transcript равен обоим подписанным наблюдениям | независимого свидетеля, авторизацию, корректность политики или эквивалентность всего языка |
| локальный gate решения | живое повторно выполненное evidence в текущем вызове Native точно совпадает с одним требуемым решением | переносимые полномочия, свежесть, предотвращение replay, identity, безопасность развёртывания или разрешение внешнего действия |
Границы
- Хэши устанавливают связь байтов и внутреннюю согласованность, но не подлинность или честную генерацию. Согласие повторного выполнения не устанавливает свежесть, историческое выполнение, независимого свидетеля, корректность политики или эквивалентность всего языка.