Песочница

Изображения Лиспекса

Изображение Лиспекса — каноническая машиночитаемая картинка точных байтов `.lspx`, из которой исходник восстанавливается побайтно перед любым запуском.

Что именно хранит изображение

Изображение представляет исходные байты, а не только разобранные формы. Окончания строк, комментарии, пробелы и Unicode сохраняются без изменений. Короткий исходник помещается в канонический PNG; многостраничный — в канонический .lspx-images.zip с упорядоченными PNG-страницами.

Native и npm предоставляют одинаковые файловые команды. Открытый WASM экспортирует те же операции Rust для встраивания, а Песочница оборачивает их локальным интерфейсом без загрузки на сервер.

Четыре команды

1. Создайте изображение точного исходника

SH
lispex image encode --source refund-window.lspx --out refund-window.lspx.png

Суффикс результата обязан соответствовать числу страниц. Существующий файл не перезаписывается.

2. Проверьте открытые контрольные данные

SH
lispex image inspect --image refund-window.lspx.png

Команда показывает идентификаторы формата и профиля, число страниц, длину и идентификатор исходника, а также контрольные значения целостности. Текст исходника не печатается.

3. Восстановите байты

SH
lispex image decode --image refund-window.lspx.png --out recovered.lspx

Исходник записывается только после проверки структуры, целостности, межстраничной согласованности и точного канонического пересоздания.

4. Запустите явно

SH
lispex run --image refund-window.lspx.png

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

В Песочнице

«Создать изображение» берёт текущие байты редактора. «Открыть изображение» сначала локально доказывает PNG или ZIP. Переход по страницам работает только с уже доказанным набором. «Восстановить исходник» меняет редактор без запуска, а «Запустить изображение» остаётся отдельным действием.

Частая ошибка

Снимок экрана, изменение размера или цвета, добавление метаданных, повторное сжатие, удаление либо перестановка страниц отвергаются. Это точный цифровой формат обмена, а не OCR и не код для считывания камерой.

Граница безопасности

  • Изображение эквивалентно открытому исходнику. Оно не даёт секретности, подписи, происхождения, свежести, доверия, корректности решения или полномочия выполнения.
  • Полностью доказанное изображение можно передать в Vouch через --source-image. Native принимает его на всём пути; npm — только для идентификатора, политики и аутентификации.
  • Отдельный точный вход, политика потребителя, привязка запроса, повторное выполнение и gate остаются самостоятельными этапами. Целостность картинки не заменяет ни один из них.

Куда дальше

Откройте точные правила формата или перейдите к обзору Vouch, если изображение должно стать только источником проверяемого запроса.

Безопасность формата · Обзор Vouch