Начните с задачи
- Попробовать без установки: откройте Песочницу. Исходник и изображения остаются в браузере.
- Встроить в веб-приложение: используйте открытый WASM API для выполнения и точных изображений.
- Работать из Node: установите npm CLI. Он выполняет исходник, работает с изображениями и аутентифицирует Vouch, но не выдаёт и не допускает решения.
- Получить полный локальный процесс: выберите Native. Только он выдаёт подписанное свидетельство, повторно выполняет точный запрос и применяет gate.
- Изучить разрешённый Core IR: Native собирает канонический артефакт, строго проверяет и показывает его, ничего не исполняя.
- Запустить проверенный бинарный артефакт: Native переводит Core IR в
канонический байткод или явно выбирает
--engine vm. Стандартным остаётся tree; неудача VM не скрывается fallback-запуском. - Сравнить отдельную VM: в Native macOS ARM64 отдельно установите точный
продукт Topaz 5.11 и явно задайте
--engine topaz --topaz-vm ROOT.compare-vmsсоздаёт differential evidence без discovery, fallback или повышения до Vouch. - Создать executable без исходника: в Native macOS ARM64
lispex aotгенерирует детерминированный читаемый Topaz и executable. При сборке нужно явно передать точный установленный компилятор Topaz и каталог инструментов Rust. Установленный продукт работает без обоих деревьев исходников и без fallback в VM или tree. - Создать квитанцию четырёх маршрутов: после сборки соответствующего AOT
запустите Native
compare-routesдля tree, Rust VM, Topaz VM и AOT в одном запросе. Несовпадающий продукт отклоняется до выполнения, а семантические и сопоставимые ресурсные различия записываются отдельно без перезаписи. - Добавить согласие VM к Vouch: только когда существующий путь с привязкой
запроса должен также проверить точное выведение артефакта и текущую Rust VM,
явно используйте Native
vouch compiled. Это не заменяет исходник, аутентификацию или согласие tree/Meaning.
В автоматизации закрепляйте точную версию пакета или хэш бинарника, а не изменяемый указатель latest. Проверяйте также ресурсный профиль поверхности: общая семантика не означает одинаковый предел рекурсии.
Возможности поверхностей
| Поверхность | Выполнение, изображения и артефакты компиляции | Vouch |
|---|---|---|
| Native | tree по умолчанию; встроенная Rust VM; инструменты Core IR/байткода; точная Topaz VM, Topaz AOT с фиксированными инструментами и явное сравнение четырёх маршрутов на macOS ARM64; изображения | полный путь до локального gate и .lpxvca из точного исходника с Rust VM. Результаты Topaz VM/AOT/сравнения и произвольный .lpxbc не являются входом Vouch |
| npm CLI | исходники и те же команды изображений через общий Rust/WASM; нет reader Core IR, байткода, AOT, compiled artifact или VM | те же идентификаторы и политика; аутентификация исходного, незакреплённого или закреплённого контекста; inspection и повтор корпуса. Нет compiled-команд, флага и gate |
| открытый WASM | встраиваемое выполнение исходника и API изображений; нет API Core IR/байткода/AOT и VM | инструменты ключей, политики и аутентификации не экспортируются |
| Песочница | локальный запуск исходника без установки и полный процесс изображений; нет импорта Core IR/байткода/AOT и VM | ключи, политика, аутентификация, повторное выполнение и gate недоступны |
Что означает общий Rust
Все четыре поверхности выполнения используют одну линию реализации Rust. Поэтому одинаковые принятые байты должны иметь одинаковую семантику, а Native и npm используют общий код изображений и аутентификации. Это удобство поставки, а не независимое подтверждение: сравнение Native с npm или WASM не создаёт второго свидетеля.
Суд четырёх маршрутов также раскрывает общие и отдельные линии, а не превращает совпадение в доказательство. Недоступную команду или ошибку выбранного маршрута нельзя имитировать либо молча понижать до другого выполнения.
Доказанное изображение можно использовать как исходный контекст на всём пути Vouch в Native. npm принимает его для идентификатора, политики и аутентификации, но по-прежнему не выдаёт свидетельство, не выполняет запрос повторно и не применяет gate.
Частая ошибка
Отсутствующую операцию нельзя имитировать или молча заменить более слабой. Tree и Rust VM принадлежат одной линии. Исходник Topaz VM структурно отделён, но executable создан Topaz Rust Stage 0, поэтому согласие — ограниченное свидетельство, а не доказательство. Ошибка выбранной VM не запускает другую.
Куда дальше
Установите выбранную поверхность на странице загрузок или изучите точный процесс изображения.
Загрузки · Компиляция в Topaz AOT · Запуск проверенного байткода