Изображения Lispex

Изображение Lispex — каноническое машиночитаемое представление точных байтов исходника .lspx. Native и npm предоставляют файловые команды, а локальный Playground в браузере создаёт, открывает, листает, восстанавливает, скачивает и явно выполняет те же изображения.

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

Создайте одну страницу командой lispex image encode --source rule.lspx --out rule.lspx.png. Многостраничный исходник требует каноническое имя .lspx-images.zip; несовпадающий суффикс отклоняется до записи.
Команда lispex image inspect --image rule.lspx.png показывает идентификаторы format/profile, число страниц, identity точного исходника и commitments целостности, но никогда не печатает исходник.
Восстановите побайтно точный исходник командой lispex image decode --image rule.lspx.png --out recovered.lspx. Существующий файл не перезаписывается.
lispex run --image rule.lspx.png выполняет программу только после полного декодирования, проверки целостности, parity и равенства канонической регенерации.
Окончания строк, комментарии, пробелы и байты Unicode сохраняются точно: изображение представляет байты исходника, а не только разобранные формы.
В Playground команда создания использует байты редактора; открытие доказывает локальный PNG/ZIP до preview; навигация извлекает только доказанные PNG-страницы; восстановление меняет редактор без запуска, а выполнение остаётся отдельным явным действием.
После полного доказательства каноничности изображение можно использовать как source-контекст Vouch через --source-image. Целостность изображения сама по себе не означает provenance, trust, authentication, request binding, согласие текущего выполнения или grant gate.

Команды точных изображений

1. Кодирование точного исходника

OUTPUT

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

2. Inspection открытых commitments

OUTPUT

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

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

OUTPUT

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

4. Доказательство и явное выполнение

OUTPUT

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

Границы

Снимки экрана, изменение размера или цвета, добавление метаданных, повторное сжатие, удаление и перестановка страниц отклоняются. Это точный цифровой формат обмена, а не OCR или код для камеры.
Изображение эквивалентно открытому исходнику. Оно не даёт секретности, подписи, provenance, свежести, доверия, корректности решения или полномочия исполнения.
Native и npm предоставляют одинаковые файловые команды. Public WASM экспортирует те же операции Rust для встраивания, а Playground оборачивает их локальным файловым UI. Ни одна image-поверхность не добавляет полномочий Vouch.
После полного доказательства каноничности Native принимает --source-image во всей цепочке Vouch: identity, policy, issue, inspect, authentication, re-execution и gate. npm принимает его только для identity, policy и аутентифицированной проверки. Отдельно переданный input и существующая request-bound цепочка полномочий остаются обязательными.