Выберите команду Лиспекса для своей задачи и проверьте её входные данные, результат и код выхода. Native и npm запускают исходные файлы; Native также предоставляет перечисленные ниже команды компиляции и движков.
Установите Лиспекс через первую программу или загрузки. Доступность платформ указана в каталоге продуктов.
Запуск файла
Сохраните эту полную программу как answer.lspx.
(+ 20 22)Запустите её через Native или npm.
lispex answer.lspxВывод
42Команда завершается с кодом 0 и не создаёт файлов.
Команда lispex --help выводит список команд и флагов установленной версии.
Справка семейства команд, например lispex vouch --help, описывает его параметры.
Как читать таблицы команд
Таблицы показывают синтаксис команд и ожидаемые результаты. По ссылкам доступны полные рабочие примеры.
Имена в верхнем регистре, например SOURCE, IR и ROOT, обозначают пути, которые вы подставляете.
Скобки отмечают необязательные аргументы, | разделяет варианты, а ... обозначает дополнительные обязательные или необязательные флаги.
Входное значение — одно значение Лиспекса, прочитанное из файла.
Исходники и инструменты редактирования
| Команда | Читает | Результат | Продукт |
|---|---|---|---|
lispex [FILE|-] | Исходник Лиспекса | Значения, стандартный вывод, предупреждения и диагностика | Native, npm |
lispex sicp run <file.scm|-> | Один исходник SICP размером до 1 МиБ | Стандартный вывод SICP и итоговое значение | Native, npm |
lispex fmt [--check|--write] [FILE|-] | Исходник UTF-8 | Отформатированный исходник, статус проверки или замена исходного файла | Native |
lispex mcp serve | Кадры запросов через локальный стандартный ввод и вывод | Справочник языка и процедур, вычисление, диагностика и заданные сравнения движков | Native |
Служба MCP вычисляет доверенный исходник с объявленными лимитами байтов и времени. Вызывающее приложение управляет путями рабочего пространства, сетевым доступом и внешними действиями. Протокол запросов описан в MCP. Форматирование заменяет файл атомарно: готовая замена появляется одной операцией.
Meaning Graph и Core IR — Native
Core IR — промежуточное представление с разрешёнными ссылками имён. Meaning Graph представляет операции программы узлами, которые выполняет вычислитель Meaning. Канонические файлы используют единственное установленное байтовое представление.
| Команда | Читает | Результат |
|---|---|---|
lispex lower --graph-version v1 SOURCE | Точный исходник, преобразованный через проверенный Core IR | Канонический Meaning Graph v1 с разрешёнными ссылками имён |
lispex eval-graph [--steps N] [--trace] GRAPH | Meaning Graph v0 или v1 и необязательный ввод | Отчёт, выбранный по тегу версии графа, со статусом завершения и необязательной трассой |
lispex meaning-diff [--input I] SOURCE | Исходник и необязательное входное значение | Текущие результаты интерпретатора Лиспекса и 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".
Они создают или проверяют представление. Для запуска программы выберите команду выполнения среды, Meaning, байткода или Ваучера.
Core IR содержит полный пример создания файла из исходника.
Байткод и сравнение движков — Native
Виртуальная машина, или VM, выполняет подготовленные инструкции, называемые байткодом.
| Команда | Читает | Результат |
|---|---|---|
lispex bytecode build --ir IR --out O | Проверенный Core IR | Проверенный канонический файл .lpxbc и сводка |
lispex bytecode inspect --bytecode BC | Проверенный байткод | Идентификаторы, количества, требования, инструкции, точки входа и покрытие карты исходного кода |
lispex bytecode validate --bytecode BC | Байткод | Строгое декодирование, проверка и результат канонического повторного кодирования |
lispex bytecode run --bytecode BC [--input I] | Проверенный байткод и необязательное входное значение | Результат, вывод и диагностика ВМ Лиспекса |
lispex run --backend rust --engine tree|vm FILE | Исходник Лиспекса | Результат интерпретатора Лиспекса или ВМ Лиспекса в зависимости от выбора |
lispex compare-engines --receipt R FILE | Исходник Лиспекса | Отчёт сравнения интерпретатора Лиспекса и ВМ Лиспекса |
Каждый способ выполнения сохраняет собственные статусы ошибок и ресурсов. Отчёты отдельно записывают поведение программы, расход ресурсов, сведения об исходнике и производителе. Отчёты сравнения записываются атомарно по новому пути. Запуск проверенного байткода содержит полные команды и вывод.
Вычисление с управлением ресурсами — Native
Вычислитель решений и полный вычислитель — отдельные продукты. Подготовка читает исходник и лимиты, затем создаёт подготовленный файл. Вычисление читает этот файл, двоичное входное значение и лимиты вычисления, затем создаёт файл результата.
| Семейство команд | Результат и последующие операции |
|---|---|
lispex embed prepare, evaluate, inspect, verify | Файлы подготовки и вычисления профиля решений, просмотр JSON и проверка целостности |
lispex embed full prepare, evaluate, inspect, verify, replay | Файлы полного профиля, просмотр JSON, проверка целостности и повторный запуск в новом экземпляре |
lispex rule run, inspect, verify, replay | Каталог решения из пяти файлов и операции над ним |
Для повторного вычисления профиля решений снова передайте те же входы в embed evaluate или вызовите rule replay для каталога решения.
Запуск правила с заданными пределами содержит все входные файлы, команды и результаты.
Изображения — Native и npm
| Команда | Результат |
|---|---|
lispex image encode --source SOURCE --out IMAGE | Канонический .lspx.png или .lspx-images.zip |
lispex image inspect --image IMAGE | Сводка формата, профиля, страниц, идентификаторов исходника и связей целостности |
lispex image decode --image IMAGE --out SOURCE | Точно восстановленный исходник |
lispex run --image IMAGE | Результат, вывод и диагностика эталонного интерпретатора для восстановленного исходника |
Изображения Лиспекса показывают кодирование и восстановление.
Команды Ваучера с контекстом исходника принимают ровно один параметр: --source RULE или --source-image IMAGE.
Повторное выполнение и локальный допуск используют этот исходник вместе с отдельно переданным --input INPUT.
Записи сравнения и Ваучер Лиспекса
Дифференциальная квитанция записывает сравнение. Ваучер Лиспекса добавляет аутентификацию подписанных записей. Native предоставляет полный процесс Ваучера. npm предоставляет просмотр записей, автономную аутентификацию, инструменты политики получателя и сравнение записанных случаев.
| Команда | Результат | Продукт |
|---|---|---|
lispex diff-receipt --input I RULE | Запись сравнения в csk.differential-receipt/v0 | Native |
lispex verify RECEIPT [--source RULE] | Автономный вердикт структурной согласованности | Native, npm |
lispex replay CORPUS --against BASELINE | Отчёт сравнения записанных решений с версией или каталогом записей | Native, npm |
lispex vouch policy create|check ... | Каноническая политика доверия получателя или отчёт проверки | Native, npm |
lispex vouch issue ... | Подписанные данные, контейнер подписанной записи DSSE и отчёт выпуска | Native |
lispex vouch verify ... | Отчёт аутентификации точного подписанного контекста | Native, npm |
lispex vouch verify --reexecute ... | Аутентификация и текущее согласие интерпретатора Лиспекса и Meaning | Native |
lispex vouch gate --require-decision ... | Текущий локальный допуск или отказ и отчёт | Native |
lispex vouch compiled build ... --out A | Связанный с исходником lispex.vouch-compiled-artifact/v1 и сводка | Native |
lispex vouch compiled inspect --artifact A | Сводка целостности контейнера и встроенного байткода | Native |
lispex vouch compiled validate ... | Проверка получения записанных Core IR и байткода из точного исходника | Native |
lispex vouch verify --reexecute --compiled-artifact A | Текущее согласие tree, Meaning и проверенной ВМ Лиспекса | Native |
lispex verify-bridge REPORT | Структура отчёта Моста и вердикт о выбранных получателем привязках байтов | Native, npm |
Совместимые имена receipt, issue-native, verify-native и команда верхнего уровня verify сохраняют опубликованные форматы файлов и поведение.
Семейство vouch предоставляет процесс с аутентификацией.
Полный порядок работы описан в Ваучере Лиспекса.
Коды выхода и сохранённые файлы
Читайте код выхода вместе с результатом команды.
| Команда или исход | Код |
|---|---|
| Запрошенная операция успешна | 0 |
| Проверка, выполнение, сравнение или аутентификация отклонены | Обычно 1; прочитайте диагностику |
fmt --check обнаружила изменения форматирования | 1, без вывода отформатированного исходника |
| Неверный вызов, недоступный выбранный движок или достижение лимита ресурсов при обычном запуске исходника | 2 |
| Ошибка ввода-вывода или сохранения именованного отчёта | 3 у команд, использующих этот код |
| Аутентифицированный запрос Ваучера остановлен локальным правилом допуска или этапом повышения диагностики | 10 |
Повышение диагностики определяет, подходит ли аутентифицированная запись для следующего этапа допуска.
Когда эти команды Ваучера возвращают 10, аутентификация уже успешна.
Встраиваемый вычислитель записывает успех, ошибку программы или исчерпание ресурсов внутри сохранённого результата.
Если результат успешно сохранён, эти три исхода возвращают 0.
Различайте их через inspect. Отклонённый запрос может вернуть 3, а сбой вычислителя или создания записи — 4.
Отдельные имена категорий перечислены в справочнике вычислителей.
Команды сохранения новой именованной записи или отчёта записывают их атомарно и отказываются перезаписывать существующий путь. При выводе JSON диагностика передаётся отдельно от байтов JSON в стандартном выводе. Вызывающее приложение читает локальный результат допуска, затем решает, какое внешнее действие выполнить, и выполняет его.