Topazdocs
Интеграция

Интеграция LIT

Ограниченные свидетельства интеграции интерпретатора Lispex и точные границы продукта.

LIT — интерпретатор Lispex, используемый для ограниченной внутренней проверки и интеграционных испытаний. Один канонический исходник Lispex-in-Topaz запускается через интерпретатор, созданный Rust, созданный Python и Web. Это помогает находить реальные дефекты проверки, преобразования, среды выполнения и границы с основной системой.

Что покрывают свидетельства

Поддерживаемая интеграция фиксирует 84 из 205 строк возможностей примитивов и шесть из 18 строк вызова гостевого кода. Неподдерживаемые строки завершаются явной ошибкой. Четыре пути происходят из одной линии исходного кода, поэтому их согласие полезно для поиска регрессий, но не означает независимость реализаций или эквивалентность языков целиком.

Граница продукта

LIT не устанавливается вместе с Topaz, не является публичным бэкендом и не добавляет в язык Topaz синтаксис, примитивы, пакеты или гарантии среды выполнения Lispex. Ограниченный набор проверок запускается при изменении связанной поверхности; полная кампания LIT остаётся проверкой релизного кандидата или конкретного риска, а не повседневной затратой разработки.

Как читать результат

Успешное прохождение набора проверок LIT означает согласованное поведение указанного исходника и разрешённых строк примитивов на записанных путях. Оно не означает, что любая программа Lispex работает на Topaz, что пути независимы по исходному коду или что LIT входит в установку Topaz. Неподдерживаемые строки возможностей остаются точной границей.

Связанные разделы