Native и npm CLI · Лиспекс

Поверхности продуктов

Продукт	Поверхность команд
Native	полный runtime исходников, SICP, форматирование, MCP, Meaning Graph, Core IR, байткод, Rust VM, установленные VM Топаза и AOT, изображения, квитанции и полный процесс Ваучера
npm CLI	runtime исходников через WebAssembly, изображения, структурная проверка квитанций, replay, инструменты политики, аутентификация и inspect Ваучера

Флаги установленной версии перечислены в lispex --help и lispex <family> --help.

Исходник и инструменты написания

Команда	Ввод	Результат
`lispex [FILE\|-]`	исходник Лиспекса	значение эталонного интерпретатора, stdout, предупреждения и диагностика
`lispex sicp run <file.scm\|->`	один исходник SICP до 1 МиБ	stdout SICP и итоговое значение
`lispex fmt [--check\|--write] [FILE\|-]`	исходник Лиспекса UTF-8	форматированный исходник, тихий статус или атомарная замена файла
`lispex mcp serve`	кадровые запросы локального stdio	справочник языка и реестра, авторское выполнение, диагностика и фиксированные сравнения маршрутов

Авторский вычислитель MCP использует объявленные лимиты байтов и времени. Этой локальной поверхностью владеет Native, а рабочими путями, сетью и внешними действиями владеет хост-приложение.

Meaning Graph и Core IR

Команда	Ввод	Результат
`lispex lower --graph-version v1 SOURCE`	точный исходник через проверенный Core IR	канонический разрешённый Meaning Graph v1
`lispex eval-graph [--steps N] [--trace] GRAPH`	Meaning Graph v0 или v1 и необязательный ввод	Meaning-отчёт с терминальным статусом и необязательной трассой
`lispex meaning-diff [--input I] SOURCE`	исходник и необязательный datum	текущие наблюдения Rust tree и Meaning в `csk.meaning-differential-report/v1`
`lispex core-ir build --source S --out O`	точный исходник	канонический разрешённый `lispex.core-ir/v1` и итог
`lispex core-ir inspect --ir IR`	Core IR	разрешённые ячейки, захваты, требования, координаты и идентификаторы
`lispex core-ir validate --ir IR`	Core IR	строгая проверка и канонический результат повторного кодирования

Core IR build, inspect и validate записывают execution: "not-run" и authority: "integrity-only". Выполнение начинается с явно выбранной команды runtime, Meaning, байткода или Ваучера.

Байткод и маршруты runtime

Команда	Ввод	Результат
`lispex bytecode build --ir IR --out O`	строгий Core IR	проверенный канонический `.lpxbc` и итог
`lispex bytecode inspect --bytecode BC`	проверенный байткод	идентификаторы, размеры, требования, opcode, roots и покрытие source map
`lispex bytecode validate --bytecode BC`	байткод	строгий decode, verify и каноническое повторное кодирование
`lispex bytecode run --bytecode BC [--input I]`	проверенный байткод и необязательный datum	наблюдение Rust VM
`lispex bytecode run --engine topaz --topaz-vm ROOT ...`	установленный продукт Топаза, байткод и datum	наблюдение VM Топаза в именованном ресурсном профиле
`lispex run --backend rust --engine tree\|vm FILE`	исходник Лиспекса	явно выбранное наблюдение Rust tree или VM
`lispex compare-engines --receipt R FILE`	исходник Лиспекса	атомарный отчёт сравнения tree и Rust VM одной линии
`lispex compare-vms --topaz-vm ROOT --receipt R FILE`	исходник и установленная VM Топаза	атомарный отчёт сравнения Rust и VM Топаза

Выбранный маршрут сохраняет собственные статусы ошибок, ресурсов и происхождения. Отчёты сравнения разделяют семантику, ресурсы и происхождение.

Установленные продукты Топаза

Команда	Ввод	Результат
`lispex routes install ...`	точная запись каталога и stored-ZIP	закрытый каталог продукта и `installation.json`
`lispex routes fetch --route topaz-vm\|aot-compiler ...`	официальный каталог внутри Native	HTTPS-получение и та же закрытая установка
`lispex routes lock ...`	проверенный установленный маршрут	канонический lock выбора
`lispex routes run --selection LOCK ...`	lock и исходник	наблюдение закреплённого маршрута
`lispex aot build --source S ... --out O`	точный исходник и абсолютные инструменты	продукт Native без исходника с идентификаторами инструментов
`lispex aot inspect\|validate --product P`	установленный AOT-продукт	список, идентификаторы и результат выведения
`lispex aot run --product P [--input I] [--json]`	установленный продукт и запрос ресурсов	прямое наблюдение executable
`lispex compare-routes ... --receipt R SOURCE`	точные исходник, ввод, VM Топаза и AOT	отчёт семантики, ресурсов и происхождения четырёх маршрутов

Изображения

Команда	Результат
`lispex image encode --source SOURCE --out IMAGE`	канонический `.lspx.png` или `.lspx-images.zip`
`lispex image inspect --image IMAGE`	формат, профиль, страницы, идентификатор и commitments
`lispex image decode --image IMAGE --out SOURCE`	точно восстановленный исходник
`lispex run --image IMAGE`	наблюдение эталонного интерпретатора для восстановленного исходника

Команды Ваучера выбирают один контекст исходника через --source RULE или --source-image IMAGE. Повторное выполнение и проверка допуска связывают его с отдельно переданным --input INPUT.

Квитанции и Ваучер

Команда	Результат
`lispex diff-receipt --input I RULE`	`csk.differential-receipt/v0`
`lispex verify RECEIPT [--source RULE]`	офлайн-вердикт структурной согласованности
`lispex replay CORPUS --against BASELINE`	отчёт об изменившихся решениях
`lispex vouch policy create\|check ...`	каноническая политика доверия получателя и отчёт проверки
`lispex vouch issue ...`	подписанный payload, конверт DSSE и отчёт выпуска
`lispex vouch verify ...`	отчёт аутентификации точного подписанного контекста
`lispex vouch verify --reexecute ...`	аутентификация и текущее согласие tree и Meaning
`lispex vouch gate --require-decision ...`	текущее локальное разрешение или отказ и отчёт gate
`lispex vouch compiled build ... --out A`	связанный с исходником `lispex.vouch-compiled-artifact/v1` и итог
`lispex vouch compiled inspect --artifact A`	целостность контейнера и встроенного байткода
`lispex vouch compiled validate ...`	точный результат исходник→Core IR→байткод
`lispex vouch verify --reexecute --compiled-artifact A`	текущее согласие tree, Meaning и проверенной Rust VM
`lispex verify-bridge REPORT`	структура Моста и выбранные получателем привязки байтов

Совместимые команды receipt, issue-native, verify-native и плоская verify сохраняют опубликованные контракты артефактов. Namespaced-команды vouch предоставляют аутентифицированный процесс.

Коды выхода и публикация

Код 0 означает успешное завершение запрошенной операции.
Код 10 на аутентифицированных маршрутах Ваучера означает успешную аутентификацию и удержание допуска на этапе gate или повышения диагностики.
Код 1 сообщает об отклонении проверки, выполнения, сравнения или аутентификации.
Код 2 сообщает об использовании, выбранном движке или обработке ресурсов.
Код 3 сообщает о вводе-выводе или публикации именованного отчёта.

Именованные артефакты и отчёты атомарно публикуются в новый путь. JSON сохраняет stdout побайтовым. Хост-приложение использует результат локальной проверки допуска и владеет внешним действием.

Байткод и Rust VM · Контракт Core IR · Выбор способа запуска