Как рассуждать
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. VM означает виртуальную машину, то есть программу,
которая выполняет уже скомпилированный список инструкций. Отчёт сохраняет
точные промежуточные identity и счётчик запасных путей, но не добавляет
семейство в историческую квитанцию.
Отдельный lispex.topaz-vm-comparison/v1 выполняет один выведенный байткод в
Rust VM и точной установленной VM Топаза. Он записывает отдельную линию VM, но
не переписывает историческую квитанцию Rust/LIL/LIT.
lispex.route-comparison/v1 выводит один запрос исходника, Core IR и байткода
и явно наблюдает tree, Rust VM, точную VM Топаза и соответствующий AOT. 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 строгий, без перехода на запасной путь |
| сравнение Rust engines | tree и lispex-rust-vm/v1, разделяющие Rust-значения и листья примитивов | сфокусированные наблюдения lispex.rust-engine-comparison/v1 и точные identity исходника, Core IR и байткода. Только диагностика вне квитанции на 144 случая |
| сравнение VM Топаза | встроенная lispex-rust-vm/v1 и отдельно установленная lispex-topaz-vm/v1, причём исходник Топаза структурно отделён, но собран его же компилятором Rust Stage 0 | явный lispex.topaz-vm-comparison/v1 на macOS ARM64, с точными product/request/result identity, полным u64 и без запасного пути. Вне Ваучера и исторической квитанции |
| сводная проверка четырёх маршрутов | Rust tree, встроенная Rust VM, отдельная VM Топаза и точный соответствующий AOT Топаза, причём оба продукта Топаза раскрывают заявленную производственную линию Rust Stage 0 | явный lispex.route-comparison/v1 на macOS ARM64, с одним выведенным запросом, точными продуктами, семантическими и сопоставимыми ресурсными осями, no-clobber, нулевыми повторами и без запасного пути. Вне Ваучера и исторической квитанции |
| открытый WebAssembly / Песочница | та же линия Rust, скомпилированная в WebAssembly | текущие наблюдения общего происхождения и пределы, зависящие от профиля |
| npm CLI | Node-упаковка общей сборки WebAssembly и JavaScript | текущая упаковка, а набор команд отличается от нативного |
| LIL | размещённый интерпретатор на Лиспексе, одно семейство реализации LIL | текущие 205/205, включая все 18 guest-calling строк через кадры гостевой машины, четыре строки вывода private-effect с фиксированными пределами, три упорядоченных alias с предупреждениями и явно помеченные зависимости от ядер символов и строк и расширенных числовых операций host. Выпущенная общая квитанция измеряет прежнюю границу 84 |
| LIT | транслитерация на Топазе | 84/205, и независимость исходника не заявляется |
| четыре маршрута LIT | интерпретатор, сгенерированные Rust и Python, веб из одного исходника | свидетельство, собранное в фиксированных пределах, закрывает версионированный набор из четырёх проверок среды |
| общая квитанция | Rust, LIL, LIT по одному продуктовому маршруту | 144 случая и 432 выполнения, 59 совпадений всех семейств, 253 совпадения пар и 179 раскрытых расхождений пар |
| масштабированная кампания | Native и WebAssembly одной линии Rust | 11 088 сохранённых случаев без естественного расхождения и сбоя инфраструктуры на этом инвентаре |
Частая ошибка
Вариант среды внутри семейства Rust, LIL или LIT не является новым независимым свидетелем. Другая структура исполнения VM внутри Rust также остаётся одной линией. VM Топаза добавляет отдельную линию реализации, но не доказательство полной эквивалентности и не автоматическое четвёртое семейство старой квитанции.
Текущие границы
Каждый результат ограничен записанными корпусом, версиями исполнителей, ресурсами и проекцией наблюдений. Ноль расхождений между Native и WebAssembly на масштабированном корпусе относится к одной реализации Rust, не заменяет трёхсемейную квитанцию и не доказывает эквивалентность всего языка.
Куда дальше
Откройте проверенные поверхности, чтобы увидеть состав 144 случаев, или среды выполнения, чтобы понять правила допуска.
Байткод и Rust VM · Проверенные поверхности · Среды выполнения