Лиспекс проверяет каждую публичную поверхность через поведение, которое пользователь устанавливает или открывает. Модуль-владелец выполняет прямые проверки при реализации, а выпуск выполняет неизменяемые артефакты продукта и публичные каналы.
Пути продукта
| Поверхность | Проверяемое поведение | Текущий статус продукта |
|---|---|---|
| Эталон Native | вычисление исходника, значения, stdout, предупреждения, диагностика, файлы и exit status | эталонный интерпретатор с 205 отслеживаемыми строками примитивов |
| Meaning v1 | проекция Core IR, общие ячейки, мутации, хвостовое исполнение, escape-control, динамическая очистка и точные наблюдения | Native lower, eval-graph и meaning-diff |
| Rust VM | канонический Core IR и байткод, отказы verifier, согласие с tree, диагностика и ресурсы | встроена в Native |
| Топаз VM и AOT | точная идентичность provider, привязка запроса, результаты, source map, executable и квитанции маршрута | companion-продукты macOS ARM64 |
| npm | чистая установка, эталонное вычисление, inspection артефактов, проверка Ваучера и маршрутизация команд SICP | lispex@1.20.0 |
| WebAssembly и Песочница | вычисление в браузере, канонические изображения Лиспекса, восстановление, явное выполнение изображения и выбор профиля | production-сайты на английском, корейском и русском |
| Embed с управлением ресурсами | подготовка, вычисление, inspection, verification, replay, конечные классы и portable core | компонент решений и Full component |
| Обмен решениями и Ваучер | идентичность ключа, политика получателя, аутентификация издателя, привязка запроса, повторное выполнение и шлюз решения | выдача и шлюз Native, проверка npm |
| SICP | исполнение Native и WebAssembly, типизированное наблюдение, точная трасса, примеры глав и навигация курса sicp.io | @lispex/sicp@1.0.0 и sicp.io |
Наблюдения backend
LIL сообщает 205 из 205 отслеживаемых строк примитивов, LIT — 84 из 205. Сравнения Rust tree/VM и Rust/Топаз связывают исходник, промежуточные артефакты, идентичность исполнителя, результат, диагностику и ресурсы. Каждая квитанция называет наблюдаемый корпус и семейство исполнения.
Наблюдение выпуска
Путь выпуска один раз строит неизменяемые артефакты Native и пакетов, устанавливает те же байты, выполняет пути Native Meaning v1, эталона npm и SICP, публикует артефакты и читает публичные продукты из npm, Blob и Production.