Контракт наблюдений v1.5 сравнивает эталон Rust, LIL и LIT как три семейства реализации, сохраняя точные метки runner, артефакта, host-маршрута и происхождения.
Текущие гарантии
- Каждый runner через версионированный контракт наблюдений предоставляет значение/вывод, диагностику, статус, предупреждения, объявленные ресурсы, идентичность артефакта, пределы и происхождение.
- LIL — hosted-интерпретатор на Lispex, а LIT — транслитерация на Topaz. Сейчас LIL поддерживает 85 из 205 строк primitive capabilities и отклоняет 120, а LIT независимо остаётся на 84 поддерживаемых и 121 отклоняемой строке.
- Квитанция установленного продукта запускает по одному host-маршруту каждого семейства на 144 случаях. Она записывает 253 совпадения пар и 179 расхождений; результаты пар — Rust/LIL 61/83, Rust/LIT 65/79 и LIL/LIT 127/17, а все три семейства совпадают в 59 случаях.
- Отдельные внутренние свидетельства Topaz 5.7.0 закрепляют согласие hosts LIT для интерпретатора, generated Rust, generated Python и Web на версионированной четырёххостовой поверхности проверки.
Текущий статус бэкендов
| Поверхность | Реализация / происхождение | Граница текущих свидетельств |
|---|---|---|
| Native CLI | эталонный Rust; same-origin-reference | current; полный native CLI и именованные квитанции |
| Public WASM / Playground | та же линия Rust, скомпилированная в WASM | current same-origin наблюдения; профильные пределы |
| npm CLI | Node-упаковка public WASM/JS | current packaging; набор команд отличается от native |
| Lispex-in-Lispex | hosted-интерпретатор на Lispex; одно семейство LIL | текущий контракт capabilities: 85 из 205 строк; в выпущенном снимке общей квитанции с 84 строками пара Rust/LIL совпадает в 61 случае и расходится в 83 |
| Маршрут интерпретатора Lispex-in-Topaz | транслитерация на Topaz; одно семейство LIT без утверждения независимости исходника | 84 из 205 строк primitive capabilities; в общей квитанции пара Rust/LIT совпадает в 65 случаях и расходится в 79 |
| Host-маршруты Lispex-in-Topaz | тот же канонический исходник LIT через интерпретатор, generated Rust, generated Python и Web | внутренние свидетельства Topaz 5.7.0 закрепляют версионированную четырёххостовую поверхность; публичный Topaz остаётся v5.6.3 |
| Общая квитанция Rust/LIL/LIT | три семейства реализации и по одному маршруту установленного продукта | 144 случая и 432 выполнения; 59 совпадений всех семейств, 253 совпадения пар и 179 раскрытых попарных расхождений |
| Масштабированная generated-кампания | native- и WASM-маршруты одной реализации Rust | 11 088 сохранённых случаев; ноль естественных расхождений и инфраструктурных сбоев; не квитанция трёх семейств |
Границы
- Варианты host внутри семейств Rust reference, LIL или LIT не являются независимыми свидетелями.
- Для LIT не заявляется независимость исходного кода. Матрица ограничена записанной поверхностью и не устанавливает семантическую эквивалентность всего языка или отсутствие расхождений за её пределами.