Словарь
Прежде чем читать таблицу, зафиксируем термины:
- Квитанция — файл, записывающий одно точное выполнение: правило, вход, результат, наблюдения и хэши.
- Конверт (envelope) — подписанный контейнер точного контекста выдачи.
- Пакет (bundle) — недоверенный транспорт, переносящий конверт вместе с точными байтами исходника и входа.
- Отчёт — вывод одной проверки: аутентификации, повторного выполнения, gate или Bridge.
- Живое свидетельство — объект, существующий только внутри одного вызова Native; из сохранённого файла его восстановить нельзя.
- Grant — живое локальное разрешение, которое gate выдаёт при совпадении результата с требуемым решением.
Какой вопрос закрывает каждый файл
| Артефакт | Что записывает или переносит | Чего не устанавливает |
|---|---|---|
csk.differential-receipt/v0 | точные правило и вход, понижение, выполнение, наблюдение, версии и хэши | подлинность, честность генератора или эквивалентность вне профиля |
пакет csk.vouch-input-bundle/v0 | точные недоверенные байты конверта, исходника и входа | доверие, свежесть, разрешение исходника или полномочия |
| политика доверия v1 | выбранные потребителем ключ, движки и точные идентификаторы исходников | корректность правила, входа или бизнес-политики |
| отчёт аутентификации | разрешённая подпись над точным связанным контекстом | историческое или текущее выполнение |
lispex.vouch-compiled-artifact/v1 | точные идентичности исходника, Core IR, проверенный байткод, фиксированные verifier, VM и лимиты | подпись, доверие, выбор запроса, выполнение или полномочие |
csk.native-reexecution-report/v0 | аутентификацию и новое согласие текущего Native с подписанными полными протоколами | независимого свидетеля, свежесть или авторизацию приложения |
csk.native-compiled-reexecution-report/v1 | сохраняет аутентификацию с запросом и согласие текущего tree/Meaning, добавляя точное повторное выведение и согласие текущей проверенной Rust VM | независимую эквивалентность, свежесть, защиту от повтора, организационную личность, корректность правила или политики |
| общий запрос, результат или сравнение Topaz VM | наблюдение точного установленного движка вне Vouch над точным проверенным байткодом, линию продукта и нулевой fallback | аутентификацию, скомпилированное согласие Vouch, свидетельство, grant, доказательство независимой эквивалентности или право внешнего действия |
| AOT-продукт Topaz, source map, артефакт, executable, inspection, validation или run result | точный созданный и установленный материал выполнения, ограниченные локальные наблюдения и нулевой fallback | вход Vouch, аутентификацию, свидетельство повторного выполнения с запросом, grant от gate, личность издателя или доказательство эквивалентности |
| квитанция четырёх маршрутов | один точный запрос исходника, входа, Core IR и байткода; четыре явных наблюдения; семантические и сопоставимые ресурсные оси; линии и нулевой fallback | аутентификацию, новое независимое семейство, доказательство всего профиля, скомпилированное свидетельство Vouch, grant от gate или право внешнего действия |
csk.native-gate-report/v0 | был ли в этом вызове создан живой локальный результат gate | переносимый токен; отчёт не принимается как вход следующего gate |
csk.native-compiled-gate-report/v1 | совпало ли живое скомпилированное свидетельство с требуемым решением | повторно используемую возможность (capability) или разрешение внешнего действия |
| отчёт Bridge | структуру и связанные байты отдельного внешнего маршрута | запуск внешнего движка или семантическую эквивалентность |
| отчёт повтора | совпадение, расхождение или невозможность сравнения на фиксированном корпусе | доказательство вне выбранного корпуса |
Живая цепочка полномочий
Внутри одного процесса Native полномочия передаются только типизированными переходами:
аутентифицированное свидетельство
→ свидетельство с привязкой к внешнему запросу
→ свидетельство нового повторного выполнения
→ свидетельство согласия точно выведенной проверенной VM (необязательно)
→ локальное совпадение требуемого решенияКаждый конструктор этой цепочки закрыт внутри продукта. Ни один сохранённый файл — отчёт, пакет, квитанция, артефакт Bridge, результат одной аутентификации, PNG/ZIP или буфер восстановленного исходника — не может пропустить переход или восстановить утраченный живой объект. То же относится к скомпилированному контейнеру и его отчётам inspection, validation, повторного выполнения и gate.
Транспорт Topaz VM намеренно отделён от всех живых конструкторов Vouch.
Запрос или результат Topaz, манифест провайдера, хэш исполняемого файла,
наблюдение и квитанция compare-vms не заменяют специальный скомпилированный
артефакт из точного исходника или текущий шаг Rust VM. Та же граница
действует для манифеста AOT, source map, executable, квитанции
compare-routes и их отчётов: проверяемые или запускаемые байты не
становятся живой типизированной возможностью.
Как читать хэши
Хэш связывает названные байты и помогает проверить внутреннюю согласованность. Он не сообщает, кто создал файл, когда это произошло, честно ли работал генератор и заслуживает ли правило доверия. Политика и подпись добавляют другие проверки, но тоже не отвечают за свежесть и внешнее действие.
Частая ошибка
Успешное повторное выполнение означает согласие текущего Native на точной области полного протокола. Оно не доказывает прошлый запуск, независимость реализации, корректность политики или весь язык.
Куда дальше
Обзор помогает выбрать вопрос, а полное руководство показывает команды в безопасном порядке.