Lispex предоставляет ограниченные пути исполнения LIL и LIT рядом с эталоном Rust, не скрывая пределы capabilities и измеренные расхождения.
Текущие гарантии
- Lispex-in-Lispex, или LIL, — интерпретатор на Lispex, выполняемый как hosted source. Сейчас он поддерживает 85 из 205 строк primitive capabilities и явно отклоняет остальные 120.
- Lispex-in-Topaz, или LIT, — написанная на Topaz транслитерация закреплённого профиля Lispex. Она сохраняет отдельно отслеживаемую границу 84 из 205; внутренние свидетельства закрепляют версионированную четырёххостовую поверхность проверки для интерпретатора, generated Rust, generated Python и Web.
- Общая квитанция Rust/LIL/LIT охватывает 144 случая и 432 выполнения установленных бэкендов. В ней записаны 59 совпадений всех семейств, 253 совпавшие пары семейств и 179 раскрытых попарных расхождений.
- Отдельная кампания одной линии Rust хранит 11 088 generated-случаев с нулём естественных расхождений и нулём инфраструктурных сбоев.
Планируемая линия реализации
| Линия | Текущий статус | Признак завершения |
|---|---|---|
| Эталон Rust | текущий операционный эталон | поддержаны все 205 строк primitive capabilities; линия поставки native/npm/WASM/Playground идентифицирована |
| Lispex-in-Lispex | выпущен как ограниченная линия исполнения LIL | hosted-интерпретатор на Lispex поддерживает 84 из 205 primitive-строк и 6 из 18 guest-calling, явно отклоняя остальное |
| Lispex-in-Topaz | выпущен как ограниченная линия транслитерации LIT | интерпретатор на Topaz поддерживает ту же границу 84 из 205 и 6 из 18 без утверждения независимости исходника |
| Согласие hosts LIT | закреплено внутренними свидетельствами | интерпретатор, generated Rust, generated Python и Web совпадают на точной версионированной четырёххостовой поверхности |
| Общая квитанция Rust/LIL/LIT | current-bounded на 144 случаях | 432 выполнения установленных бэкендов дают 59 совпадений всех семейств, 253 совпадения пар и 179 раскрытых попарных расхождений |
| Масштабированная generated-кампания | закреплена на 11 088 сохранённых случаях | native- и WASM-маршруты одной линии Rust показывают ноль естественных расхождений и инфраструктурных сбоев |
| Расширение hosted capabilities | текущая поэтапная работа | расширять отдельно отслеживаемые границы LIL 85 из 205 и LIT 84 из 205 без ослабления семантики Rust или сокрытия неподдерживаемых строк и расхождений |
| Механизация | долгосрочное направление | именованный machine-checked артефакт закрывает только явно указанные модель и допущения |
Границы
- Пункты плана — направления реализации, а не обещанные даты или номера версий.
- Внутренняя интеграционная печать Topaz свидетельствует о согласии hosts LIT, но не является публичным выпуском Topaz.
- LIT — отдельное семейство реализации, но этот выпуск не заявляет независимость его исходного кода. Generated-маршруты — варианты одного исходника LIT, а не дополнительные независимые реализации.
- Нулевое расхождение на 11 088 случаях не является результатом N-way для трёх семейств. Кампания сравнивает native- и WASM-упаковку одной реализации Rust.
- Эти ограниченные квитанции не устанавливают эквивалентность всего языка, формальную верификацию, воспроизводимость сборки или неограниченное отсутствие расхождений.