(Lispex)

Bundle не может выбрать запрос для локального gate. Полномочия Native требуют в одном вызове аутентификацию, точную привязку внешних source/input, согласие текущего полного transcript и явно требуемое решение.

Рабочий порядок

diff-receipt вычисляет правило проверяемого профиля с закреплённым вводом и выпускает csk.differential-receipt/v0.
Нативная команда lispex vouch issue сама строит квитанцию из переданных исходника и ввода, применяет gate допустимости выдачи и подписывает каноническую нагрузку Ed25519-ключом в конверте DSSE.
Native и npm lispex vouch verify аутентифицируют envelope по доверию потребителя и закреплённому контексту и выдают побайтно одинаковый csk.native-verify-report/v0. Native --reexecute принимает только live request-bound evidence; с --bundle обязательны внешние --source и --input.
lispex vouch gate ... --source RULE --input INPUT --require-decision approve --report-out GATE-REPORT внутри выполняет аутентификацию, привязку запроса, текущее re-execution и сравнение решения. Код 0 требует live matching grant; 10 означает, что аутентифицированное текущее выполнение не создало совпавший grant.
lispex vouch inspect проверяет неподписанную структуру и согласованность, а npm lispex vouch replay сравнивает фиксированный корпус при изменении. Ни одна операция не аутентифицирует происхождение.
Отчёты Bridge — отдельный класс артефактов внешнего движка с отдельной проверкой.
Bundle не может выбрать запрос для локального gate. Native re-execution принимает только приватное request-bound evidence и создаёт grant лишь после согласия текущего полного transcript и точного совпадения required decision.

Границы

Действительная нативная подпись устанавливает, что разрешённый политикой доверия ключ подписал точную проверенную нагрузку. Она не устанавливает личность человека или организации, время подписи, честность развёртывания, корректность политики или семантическую эквивалентность за пределами проверенной поверхности.
Выдача, повторный запуск verifier и локальный gate решения доступны только в Native. npm предоставляет аутентифицированный verify, структурный inspect и replay, но не выдаёт живой handle evidence или API повышения отчёта; публичный WASM и Playground предоставляют вычисление без аутентифицированной поверхности Vouch.
Grant gate — локальный внутрипроцессный результат, а не переносимый токен, защита свежести или replay, доказательство identity или корректности политики и не разрешение внешнего действия. Сериализованные отчёты gate, повторного выполнения, аутентификации и Bridge нельзя повысить до grant.
Нативные квитанции и отчёты Bridge имеют намеренно несовместимые формы.