Дифференциальная квитанция
csk.differential-receipt/v0 записывает одно правило профиля решений, точный
ввод, наблюдения tree и lowering, хэши и версию контракта. Native создаёт её
через lispex diff-receipt, а Native и npm проверяют через lispex verify и
сравнивают корпусы через lispex replay.
Роли артефактов
| Артефакт | Запись | Получатель |
|---|---|---|
csk.differential-receipt/v0 | точные правило, ввод, lowering, наблюдения, версии и хэши | структурный verify и корпусный replay |
csk.vouch-input-bundle/v0 | точные байты конверта, исходника и ввода | аутентифицированный vouch verify |
| политика доверия v1 | выбранные получателем ключи, движки, профили и исходники | аутентификация |
| отчёт аутентификации | подпись и политика для точного связанного контекста | операционная диагностика и повторное выполнение Native |
lispex.vouch-compiled-artifact/v1 | идентификатор исходника, Core IR, проверенный байткод, verifier, VM и ресурсный профиль | compiled validate и повторное выполнение Native |
csk.native-reexecution-report/v0 | аутентификация и текущее согласие tree и Meaning | локальная проверка допуска |
csk.native-compiled-reexecution-report/v1 | аутентификация с запросом, текущее согласие tree и Meaning, точное выведение и согласие Rust VM | compiled-проверка допуска |
| запрос, результат и сравнение VM Топаза | линия установленного продукта и наблюдение точного байткода | инженерная проверка и сравнение |
| AOT-продукт Топаза и отчёты | линия executable, source map, ресурсный запрос и наблюдение | AOT inspect, validate, run и сравнение маршрутов |
| отчёт четырёх маршрутов | исходник, ввод, Core IR, байткод, четыре наблюдения, семантика, ресурсы и линии | инженерная проверка |
csk.native-gate-report/v0 | текущее локальное разрешение или отказ для требуемого решения | хост-приложение |
csk.native-compiled-gate-report/v1 | текущее compiled-разрешение или отказ | хост-приложение |
| отчёт Bridge | привязки артефактов внешнего движка, идентификаторы и объявленные проверки | lispex verify-bridge и политика получателя |
| отчёт replay | согласие, расхождение и статус сравнения выбранного корпуса | процесс проверки правил |
Живая цепочка решения
подписанный конверт
→ аутентификация по политике получателя
→ привязка точного внешнего запроса
→ текущее повторное выполнение tree и Meaning
→ дополнительное точное выведение и согласие проверенной Rust VM
→ локальная проверка требуемого решения
→ действие хост-приложенияКаждый переход потребляет типизированный результат предыдущего шага в одном процессе Native. Отчёты записывают переход для проверки и журналирования приложением.
Команды
SH
lispex diff-receipt --input input.datum rule.lspx > receipt.json
lispex verify receipt.json --source rule.lspx
lispex replay corpus --against receipts
lispex vouch verify ... --report-out authenticated.json
lispex vouch verify ... --reexecute --report-out current.json
lispex vouch gate ... --require-decision approve --report-out gate.json
lispex vouch compiled build --source rule.lspx --out rule.lpxvca
lispex vouch compiled validate --artifact rule.lpxvca --source rule.lspx
lispex vouch verify ... --reexecute --compiled-artifact rule.lpxvcaПолитика получателя владеет принятыми идентификаторами и исходниками. Native владеет текущим повторным выполнением и локальной проверкой допуска. Хост-приложение владеет субъектом, временем, уникальностью запроса, транзакцией и внешним действием.