Как читать числа
LIL сейчас поддерживает все 205 строк примитивных возможностей, LIT — 84. Общая выпущенная квитанция была зафиксирована на общей границе 84 строк и содержит 144 случая, по одному установленному маршруту каждого семейства и 432 выполнения.
Она записывает 59 случаев согласия всех трёх семейств, 253 совпадения пар и 179 попарных расхождений:
- Rust/LIL — 61 совпадение и 83 расхождения;
- Rust/LIT — 65 совпадений и 79 расхождений;
- LIL/LIT — 127 совпадений и 17 расхождений.
Отдельный lispex.rust-engine-comparison/v1 сравнивает tree и проверенную
байткод-VM внутри Native. Он сохраняет точные промежуточные identity и счётчик
fallback, но не добавляет семейство в историческую квитанцию.
Отдельный lispex.topaz-vm-comparison/v1 выполняет один выведенный байткод в
Rust VM и точной установленной Topaz VM. Он записывает отдельную линию VM, но
не переписывает историческую квитанцию Rust/LIL/LIT.
lispex.route-comparison/v1 выводит один запрос исходника, Core IR и байткода
и явно наблюдает tree, Rust VM, точную Topaz VM и соответствующий AOT.
Семантические оси отделены от сопоставимых ресурсов модели байткода, а
отсутствующие счётчики tree не изобретаются.
Почему возникли 179 расхождений пар
Каждая пара исторической квитанции получила одну детерминированную основную классификацию. «Классифицировано» означает, что причина видна машине, а не что расхождение разрешено или исправлено.
| Основная классификация | Пар | Как читать |
|---|---|---|
capability-unsupported-loud | 115 | хотя бы один ограниченный интерпретатор явно отверг неподдерживаемую возможность |
different-disposition-known-defect | 46 | различается фаза исполнения или ошибки |
diagnostic-projection-difference | 2 | исход исполнения совпадает, но различаются диагностика или предупреждения |
host-resource-profile | 10 | различается именованная ресурсная поверхность или ресурсный исход |
semantic-mismatch | 6 | наблюдаемое различие при одинаковом исходе ещё требует исследования |
Полный учёт: 432 пары семейств, 253 совпадения, 179 расхождений и ноль текущих
unclassified. Новое расхождение остаётся неклассифицированным и закрывает
проверку, пока свидетельство не установит причину.
Текущий статус
| Поверхность | Реализация и происхождение | Честная граница свидетельства |
|---|---|---|
| Native CLI | эталон Rust со стандартным tree и явной проверенной байткод-VM | полный нативный продукт; строгий выбор VM без fallback |
| сравнение Rust engines | tree и lispex-rust-vm/v1, разделяющие Rust-значения и листья примитивов | сфокусированные наблюдения lispex.rust-engine-comparison/v1 и точные identity исходника/Core IR/байткода; только диагностика вне квитанции на 144 случая |
| сравнение Topaz VM | встроенная lispex-rust-vm/v1 и отдельно установленная lispex-topaz-vm/v1; исходник Topaz структурно отделён и скомпилирован Topaz Rust Stage 0 | явный lispex.topaz-vm-comparison/v1 на macOS ARM64; точные product/request/result identity, полный u64, нулевые fallback; вне Vouch и исторической квитанции |
| суд четырёх маршрутов | Rust tree, встроенная Rust VM, отдельная Topaz VM и точный соответствующий Topaz AOT; оба продукта Topaz раскрывают заявленную производственную линию Rust Stage 0 | явный lispex.route-comparison/v1 на macOS ARM64; один выведенный запрос, точные продукты, семантические и сопоставимые ресурсные оси, no-clobber, нулевые повторы/fallback; вне Vouch и исторической квитанции |
| открытый WASM / Песочница | та же линия Rust, скомпилированная в WASM | наблюдения общего происхождения с собственными ресурсными пределами |
| npm CLI | Node-упаковка общего WASM/JS | та же семантика Rust; набор команд отличается |
| LIL | размещённый интерпретатор на Лиспексе | текущие 205/205, включая все 18 guest-calling строк через кадры гостевой машины, четыре строки bounded private-effect вывода, три упорядоченных alias с предупреждениями и явно помеченные зависимости от ядер символов/строк и расширенных числовых операций host; выпущенная общая квитанция измеряет прежнюю границу 84 |
| LIT | транслитерация на Топаз | 84/205; независимость исходника не заявляется |
| четыре маршрута LIT | интерпретатор, сгенерированные Rust и Python, веб из одного исходника | внутреннее согласие одной версионированной поверхности поставки |
| общая квитанция | Rust, LIL, LIT по одному продуктовому маршруту | 144 случая, 59 общих совпадений и полностью раскрытые попарные результаты |
| масштабированная кампания | Native и WASM одной линии Rust | 11 088 сохранённых случаев без естественного расхождения и сбоя инфраструктуры на этом инвентаре |
Частая ошибка
Ноль расхождений между Native и WASM на масштабированном корпусе относится к одной реализации Rust. Он не заменяет трёхсемейную квитанцию и не доказывает эквивалентность всего языка.
Текущая граница
Каждый результат ограничен записанными корпусом, версиями исполнителей, ресурсами и проекцией наблюдений. Вариант среды внутри семейства не является новым независимым свидетелем.
Другая структура исполнения VM внутри Rust также остаётся одной линией. Topaz VM добавляет отдельную линию реализации, но не доказательство полной эквивалентности и не автоматическое четвёртое семейство старой квитанции.
Куда дальше
Откройте проверенные поверхности, чтобы увидеть состав 144 случаев, или среды выполнения, чтобы понять правила допуска.
Байткод и Rust VM · Проверенные поверхности · Среды выполнения