Лиспекс сравнивает backend по именованным исходным программам и точным наблюдаемым результатам. Каждая строка матрицы определяет реализацию, registry capabilities, маршрут исполнения, корпус и формат квитанции.
Семейства исполнения
| Семейство | Реализация | Текущее наблюдение |
|---|---|---|
| Эталон Rust | эталонный интерпретатор в Native и WebAssembly | 205 из 205 отслеживаемых строк примитивов |
| LIL | интерпретатор Лиспекса на Лиспексе | 205 из 205 отслеживаемых строк примитивов |
| LIT | интерпретатор Лиспекса на Топазе | 84 из 205 отслеживаемых строк примитивов |
| Rust VM | канонический Core IR и проверенный байткод в Rust VM | точные идентификаторы исходника, Core IR, байткода, результата, диагностики и ресурсов |
| Топаз VM | отдельно установленный продукт VM Топаза 5.11 | точные идентификаторы provider, запроса, байткода, результата, диагностики и ресурсов |
| Топаз AOT | Лиспекс, скомпилированный в автономный продукт Топаза | source map, сгенерированный bundle, executable, запрос, результат и идентификаторы ресурсов |
| SICP | явный профиль SICP в Native и WebAssembly @lispex/sicp | типизированное sicp-observation/v1 и точная трасса исполнения lispex-trace/v1 |
Записи сравнения
| Запись | Что она сравнивает |
|---|---|
csk.differential-receipt/v0 | исторический корпус Rust, LIL и LIT |
lispex.rust-engine-comparison/v1 | Rust tree и Rust VM на одном Core IR и артефакте байткода |
lispex.topaz-vm-comparison/v1 | Rust VM и точную установленную VM Топаза на одном артефакте байткода |
csk.meaning-differential-report/v1 | эталонное поведение Rust и Meaning Environment v1 на выбранном исходнике |
sicp-observation/v1 | завершение профиля SICP, значение, stdout, диагностику, предупреждения и идентичность артефакта |
Каждая запись содержит корпус или исходник, идентификаторы исполнителей, профиль, наблюдаемые каналы и статус сравнения. Строки capabilities используют явные результаты поддержки, поэтому рост backend виден построчно.
Как читать числа
Числа примитивов показывают покрытие registry. Числа корпуса показывают именованные программы в квитанции. Сравнения движков показывают точные маршруты и артефакты. Вместе они отражают развитие реализации и наблюдения для последующих инструментов.