Здесь можно узнать, когда появилась возможность Лиспекса или изменилось поведение программы. Возможности на сегодня перечислены в каталоге текущего продукта.
Например, изменения вывода и завершения по ресурсу описаны ниже в v1.20.0. Их разработка записана в v1.19.1–v1.19.5, в раскрываемом разделе после опубликованных выпусков.
Как читать версии
X.Y.0 — первый выпуск минорной версии, например v1.21.0.
Исправляющий выпуск X.Y.Z с положительным Z содержит совместимые исправления, внесённые в эту ветку версий.
Этапы разработки, например запись v1.19.5 ниже, отмечены отдельно от опубликованных выпусков.
Записи описывают возможности на момент соответствующей версии. Текущие команды, платформы и поддержку ищите в каталоге и справочнике CLI.
Как дополнять описание выпусков
Добавляйте подтверждённые изменения в соответствующую запись по мере их появления. Запись v1.21.0 объединяет возможности, улучшения качества и завершение поддержки LIL/LIT. Отдельный коммит разработки сам по себе не создаёт исправляющий выпуск. Исправление для прежней ветки версий описывают в её истории после внесения и проверки именно в этой ветке.
Описывайте входные данные пользователя, полученное поведение и изменения совместимости. Если новые факты выявляют пропуск или ошибку в прежнем описании, исправляйте текст, сохраняя опубликованную версию и исходные файлы выпуска. Перед выпуском файлов и сразу после него сверяйте включённый исходный код и поведение с инструкциями по установке, загрузками, обозначениями версий и историей изменений. Продолжайте обновлять эти страницы по мере появления исправлений и уточнений.
Термины в записях
| Термин | Значение |
|---|---|
| Native | Установленный исполняемый файл Лиспекса |
| интерпретатор Лиспекса / ВМ Лиспекса | Текущий интерпретатор исходников / исполнитель байткода Лиспекса |
| Rust tree / Rust VM | Прежние названия интерпретатора Лиспекса / ВМ Лиспекса; в исходных записях они сохранены |
| LIL / LIT | Выведенные из эксплуатации интерпретаторы на Лиспексе / Топазе; LIL выполнялся поверх интерпретатора Rust |
| Topaz VM / AOT | Прежний отдельный исполнитель байткода на Топазе / компиляция через Топаз в нативную программу |
| Core IR | Промежуточное представление с разрешёнными ссылками имён на переменные |
| VM | Виртуальная машина, выполняющая подготовленные инструкции |
| AOT | Предварительная компиляция программы, которая работает без исходного кода |
| ABI | Двоичный интерфейс вызовов |
| DSSE | Dead Simple Signing Envelope, контейнер подписанной записи |
| MCP | Model Context Protocol для подключения локального сервера инструментов |
| WASM | Двоичный формат программ для браузерных и встраиваемых сред |
| Переносимая основная запись | Запись, связывающая входы и результат одного выполнения |
Опубликованные выпуски
v1.21.0 · Упорядоченное выполнение и завершение поддержки LIL/LIT
LIL и LIT выполнили свою задачу внутренней перекрёстной проверки и выведены из эксплуатации для снижения дальнейших затрат на сопровождение. Исходники выполняет интерпретатор Лиспекса, а проверенный байткод Лиспекса выполняет ВМ Лиспекса. Эти текущие названия отличают движки от LIL/LIT и прежних компонентов Topaz VM/AOT. Вычислители решений и полного профиля сохраняют отдельные профили, ABI, кодек значений, отмену и лимиты ресурсов. Ваучер, SICP, изображения и встраивание в Топаз продолжают использовать эти движки. Исторические исходники, исследовательские записи, квитанции, артефакты и руководства версий сохранены.
v1.20.0 · Расход ресурсов и вывод
Rust и LIL записывают пять счётчиков расхода ресурсов. Исчерпание безопасной глубины рекурсии даёт завершение по ресурсу. Native, npm, WASM и Песочница выводят успешные формы по порядку. Обычная ошибка сохраняет предыдущий вывод. Завершение по ресурсу возвращает пустой вывод и статус 2. Результат браузера содержит output, diagnostics, ok и exit_status. Обновлены иллюстрации предпросмотра ссылок SICP.
v1.19.0 · Meaning Graph v1
Meaning Graph v1 и Meaning Environment v1 поддерживают общие переменные для letrec, внутренних определений, оставшихся аргументов, set! и define. Добавлены хвостовые вызовы, однократный выход наружу через call/cc и очистка при выходе через dynamic-wind. meaning-diff сравнивает вывод, значения, предупреждения и ошибки отдельно от Ваучера.
v1.18.0 · Среда и курс SICP
Опубликована отдельная учебная среда @lispex/sicp@1.0.0 с командой lispex sicp run и курсом sicp.io. Native и WASM без импортов предоставляют фиксированные лимиты ресурсов, структурированные записи выполнения и точные трассы. Поддерживаются потоки с запоминанием результатов, изменяемые строки Unicode, воспроизводимые вычисления вещественных чисел, числа произвольной точности, данные глав и производный синтаксис. Доступны детерминированный SVG и исследование кооперативных расписаний. Восемь учебных систем включают метациклический, анализирующий, ленивый и amb-вычислители, логические запросы, регистровую машину, вычислитель с явным управлением и компилятор.
v1.17.0 · Передача возврата приложению
Опубликован готовый пример возврата с локальными ключами, политиками получателя и аутентифицированным обменом решениями. Ваучер на основе изображения передаёт приложению шесть значений: два входа возврата, ID запроса, исполнителя, действие и срок действия. Смешение протоколов отклоняется.
v1.16.0 · Полный встраиваемый вычислитель
Опубликован отдельный вычислитель без импортов для всех 205 процедур lispex-profile-1.5. У него собственные счётчики ресурсов и идентификаторы компонентов. Native предоставляет prepare, evaluate, inspect, verify и replay, создавая новые экземпляры для выполнения. В поставку входят переносимые эталонные входы и результаты, архив распространения и сохранённые записи зависимостей выпуска.
v1.15.0 · Аутентифицированный обмен решениями
Опубликован аутентифицированный обмен решениями с примером возврата, передачей материалов в Native, записями издателя Ed25519, политиками получателя и каноническими пакетами .lpxdecision. Native предоставляет весь процесс, npm — просмотр и аутентификацию.
v1.14.0 · Процесс решений JSON
Опубликовано выполнение правил JSON с раздельными лимитами, атомарным rule run, просмотром и проверкой без выполнения, повтором в новом экземпляре. Включены общий пример возврата и архив распространения вычислителя с лицензией.
v1.13.0 · Встраиваемый вычислитель
Опубликованы Native-команды lispex embed prepare/evaluate/inspect/verify с вычислителем без импортов и раздельными лимитами подготовки и вычисления. Зафиксированы его профиль языка, учёт ресурсов, двоичный интерфейс вызовов, кодек значений и переносимый формат записи. Добавлены /llms.txt и карта текущей документации.
v1.12.0 · Локальные инструменты MCP
Опубликованы инструменты Native MCP для поиска в установленном справочнике, вычисления доверенного исходника с лимитами размера и времени, диагностики и фиксированных сравнений выполнения. Прилагаются вводное руководство и описание инструментов; связь идёт через стандартный ввод и вывод.
v1.11.0 · Установка дополнительных инструментов
Опубликованы каталог выполнения, установщик ZIP без сжатия и загрузка закреплённых пакетов виртуальной машины Топаза и компилятора AOT для macOS ARM64. Установленные продукты можно переносить.
v1.10.0 · Выбор выполнения и диагностика
Опубликованы список продуктов, диагностика, измерения и файлы закреплённого выбора Native без локальных путей. Они выбирают эталонный интерпретатор, виртуальную машину Rust, виртуальную машину Топаза или выполнение AOT.
v1.9.0 · Байткод, компиляция и обучение
Опубликованы начальный курс, поддержка всех 205 процедур в LIL, Core IR, проверенный байткод и виртуальная машина Rust. Включены форматирование исходника, компилированный Ваучер с привязкой к запросу, выполнение Топаз VM/AOT и сравнение четырёх способов выполнения.
v1.8.0 · Изображения Лиспекса
Изображения Лиспекса опубликованы в Native, npm, Node и браузерном WASM, локальной Песочнице на общей реализации Rust. Канонические изображения передают точные байты исходника Ваучеру с привязкой к запросу.
v1.7.0 · Ваучер с привязкой к запросу
Опубликован Ваучер с привязкой к запросу. Пользователи получают идентификаторы, создают политики, выпускают пакеты и аутентифицируют их в Native или npm. Аутентификация может сравнивать отдельно переданные исходник и вход. Повторное выполнение и проверка допуска Native используют этот внешний запрос.
v1.6.0 · Пакеты и политики Ваучера
Объединены переносимый пакет v0, политика исходника v1 для отдельных ключей, общие инструменты Rust для идентификаторов исходника и политик. Доступна аутентификация отдельных подписанных записей и пакетов.
v1.5.0 · LIL и LIT
Опубликовано выполнение LIL и LIT с поддержкой 84/205 процедур в каждой реализации, общей записью трёх семейств реализаций и согласованной поставкой Native, npm, WASM и Песочницы.
v1.4.0 · Среда выполнения и поставка
Согласовано поведение Native, npm, WASM и Песочницы. В вычислитель проверяемого профиля добавлены apply и несколько значений. Доступны настраиваемые бюджеты работы для записей выполнения и закреплённые загрузки Native.
v1.3.0 · Записи решений
Опубликованы записи решений проверяемого профиля языка, автономная проверка и сравнение записанных случаев.
v1.2.0 · Первая сводная v1
Опубликована первая сводная v1 с обработкой восстанавливаемых ошибок через raise, guard и with-exception-handler в Native, Node/WASM и Песочнице. Работа 2026-06-28 и 2026-06-29 дала воспроизводимое чтение исходника, нормализацию без конфликтов имён и вычисление через трамплин. Язык включает точные целые и рациональные числа, конечные вещественные числа, стабильное представление значений, однократный выход наружу через call/cc, dynamic-wind, несколько значений, хвостовой apply и процедуры в традиции R7RS.
Этапы разработки
Разверните нужный минорный номер. Это записи разработки; опубликованную версию для установки выбирайте в списке выше.
Записи разработки v1.19.x
v1.19.1–v1.19.5 вошли в публичную v1.20.0. Разработка Meaning Graph и Meaning Environment использовала идентификатор v1.18.0 до публикации v1.19.0.
| Версия | Изменение |
|---|---|
| v1.19.5 | Добавлены счётчики переходов обработки исходника, токенов, шагов нормализации, переходов машины и байтов вывода в Rust и LIL. Согласованы семейства диагностик. Исчерпание безопасной глубины рекурсии обозначается non-tail-call-depth. Согласован вывод целого исходника в Native, npm, WASM и Песочнице. Обновлены иллюстрации ссылок SICP. |
| v1.19.4 | Манифесты продукта описывают поддерживаемое поведение. Записи выполнения различают идентификаторы схемы и контракта и содержат полный набор полей идентификации. Стандартный вывод LIL согласован с Rust. Пакетный запуск выводит только явные операции вывода. CLI целого исходника также выводит успешные значения верхнего уровня. Диагностика нормализатора сохраняет исходную фазу. |
| v1.19.3 | Несвязанное имя вызывает E300 в исходной позиции, когда выполнению впервые требуется его значение. Неиспользуемые несвязанные имена допустимы. Вывод до ошибки сохраняется. |
| v1.19.2 | Пустой исходник, пробельные символы, комментарии или их сочетание образуют пустую программу. Она возвращает ноль значений, пустой вывод и статус 0. |
| v1.19.1 | Вложенные begin на верхнем уровне и среди внутренних определений разворачиваются в исходном порядке в одной области определений. define внутри begin в контексте выражения остаётся статической ошибкой. |
Записи разработки v1.16.x
| Версия | Изменение |
|---|---|
| v1.16.6 | Этап разработки с проверками установленного примера возврата в Native и npm. |
| v1.16.5 | Добавлены итоговая передача приложению, манифест файлов, архив возврата из 26 файлов, отдельный читатель архива в Native и руководство на трёх языках. |
| v1.16.4 | Native workspace status проверяет список из 26 файлов и манифест из 25 записей. Для восьми рабочих мест проверяется наличие; отображаются два фиксированных имени команд-кандидатов. Руководство сначала описывает обмен решениями, затем отдельно Ваучер на основе изображения. |
| v1.16.3 | Native и npm создают и проверяют политику получателя из одного проверенного открытого ключа и четырёх явно сериализованных ограничений. Результат побайтово совпадает с прежней политикой из каталога. Запись происхождения примера использует lispex.recipient-sample-provenance/v1. |
| v1.16.2 | Native создаёт ключи Ed25519 из криптографического источника случайности ОС в новом каталоге с заданным именем. Native и npm показывают отдельные идентификаторы издателя решения и Ваучера для одного открытого ключа SPKI DER. |
| v1.16.1 | Определено рабочее пространство возврата из 26 файлов: 21 основной файл и пять неизменённых файлов предшественника. Три факта возврата отдельно сопоставлены переносимым строкам и каноническим решениям. |
Записи разработки v1.15.x
| Версия | Изменение |
|---|---|
| v1.15.8 | Компонент полного вычислителя зафиксирован для этой версии и передан Топазу на уровне компонента. Форматы LPXART01 и LPXFAR01 остаются отдельными. Прилагаются эталонные входы и результаты, архивы распространения, сведения о хранении и зависимостях выпуска. |
| v1.15.7 | Добавлен отдельный вычислитель полного профиля WASM без импортов. Native предоставляет prepare, evaluate, inspect, verify и replay с новым экземпляром для каждого выполнения. |
| v1.15.6 | Все 205 процедур получают разрешения на расход ресурсов выполнения в шести классах стоимости: Fixed, Numeric, Text, Collection, Effect и GuestCalling. |
| v1.15.5 | Для 18 процедур, вызывающих пользовательский код, завершён учёт ресурсов снимков, векторов обратных вызовов, выходных буферов и создания списков, векторов и строк. Сбои выделения памяти и исчерпание бюджета работы дают диагностику. |
| v1.15.4 | 18 процедур, вызывающих пользовательский код, выполняются через явные кадры управления виртуальной машины. Применяются заданные лимиты работы без рекурсии вызывающего хоста. |
| v1.15.3 | Определена стоимость ресурсов для всех 205 процедур полного профиля. Отдельный итеративный кодировщик результата поддерживает все переносимые теги данных кодека значений v1. |
| v1.15.2 | Один генерируемый реестр из 205 процедур задаёт устанавливаемые процедуры и их идентификаторы Core IR. |
| v1.15.1 | Описаны чтение исходника, формы, инструкции, значения, диагностика и 205 процедур полного вычислителя. Указаны повторно используемые форматы. |
Записи разработки v1.14.x
| Версия | Изменение |
|---|---|
| v1.14.6 | Этап разработки с проверками установленного обмена решениями в Native и npm, переноса установки и повторного выполнения. Результаты сохранены в отчёте продукта. |
| v1.14.5 | Добавлен пакет .lpxdecision из семи файлов. Native поддерживает выпуск, просмотр, аутентификацию и повторное выполнение. npm поддерживает просмотр и аутентификацию. |
| v1.14.4 | Добавлена отдельная запись с подписью издателя Ed25519 над точными байтами переносимой основной записи. Получатели создают и проверяют политики. Native аутентифицирует без выполнения правила. |
| v1.14.3 | Добавлен режим возврата в Песочнице со сменой входа одним нажатием и тремя вариантами передачи материалов с исходником для Native. |
| v1.14.2 | Разделены идентификаторы версий разработки, опубликованного продукта, документации, профиля языка и поставки. Примеры возврата в браузере, Native, на главной странице и трёх языках используют общие данные. |
| v1.14.1 | Изображения Лиспекса в Native, npm, публичном WASM, Песочнице и примерах переведены на Sunlit Amber v2. Обновлены форматы изображения, профиля и кодовой книги. |
Записи разработки v1.13.x
| Версия | Изменение |
|---|---|
| v1.13.4 | Установленный Native объединяет пример возврата, строгую обработку JSON, атомарный каталог решения, просмотр, проверку и повторное выполнение. Описаны перенос установки, отклонённый и изменённый вход. Главная страница и три языка используют один пример. |
| v1.13.3 | Добавлены lispex rule inspect, verify и replay для каталога решения из пяти файлов. Проверяются подготовленный байткод и его связь с результатом. Повтор выполняется один раз в новом экземпляре. |
| v1.13.2 | Native lispex rule run использует байты исходника, строгий вход JSON, раздельные лимиты подготовки и вычисления и встроенный вычислитель. Каталог решения записывается атомарно. |
| v1.13.1 | Добавлены общий пример возврата и преобразование JSON в значения вычислителя. Повторные ключи и неточные числа отклоняются. |
Записи разработки v1.12.x
| Версия | Изменение |
|---|---|
| v1.12.4 | Для этой версии зафиксированы профиль языка вычислителя, воспроизводимый учёт работы и логических выделений памяти, интерфейс WASM без импортов и схема переносимой основной записи. |
| v1.12.3 | Добавлены Native-команды lispex embed prepare, evaluate, inspect и verify с одним встроенным вычислителем WASM без импортов. Подготовка и вычисление имеют отдельные лимиты. Каждая операция получает новые Store и Instance; завершённые вычисления содержат канонические байты результата. |
| v1.12.2 | Добавлены воспроизводимый пакет вычислителя WASM без импортов, двоичный интерфейс только для значений и канонический подготовленный байткод. У каждого запроса собственное состояние. Три предоставленных правила политики выполняются в новых экземплярах виртуальной машины Rust. |
| v1.12.1 | Общие лимиты шагов и выделения памяти заменены четырьмя осями подготовки и десятью осями вычисления. Из проекта переносимой основной записи удалён израсходованный объём. Добавлены эталонные данные Node и Rust и три примера политик. |
Записи разработки v1.11.x
| Версия | Изменение |
|---|---|
| v1.11.3 | Этап разработки с проверками четырёх установленных инструментов MCP. Рассмотрены совпадение E100/E303/E321 с CLI, запрет разрешений хоста, изоляция запросов, завершение по ресурсу, восстановление и результаты сравнения. |
| v1.11.2 | Добавлен lispex_compare_routes с наборами tree-rust, rust-topaz и all-four. Дополнительные инструменты принимаются только при запуске. Каждый запрос создаёт новый продукт AOT и явно сообщает совпадение или расхождение. |
| v1.11.1 | Добавлен lispex mcp serve с MCP 2025-11-25. Три инструмента Native предоставляют установленный справочник языка, вычисление доверенного исходника в Rust с лимитами размера и времени и поиск диагностики. |
Записи разработки v1.10.x
| Версия | Изменение |
|---|---|
| v1.10.4 | Добавлен полный пример установки двух дополнительных инструментов, сборки AOT, просмотра и измерения четырёх способов выполнения, закрепления выбора, диагностики и запуска. Те же файлы закрепления VM/AOT работают после переноса. |
| v1.10.3 | Добавлен routes fetch --route aot-compiler для пакета компилятора Топаза 5.11 из восьми файлов на macOS ARM64. Проверяется неизменяемый манифест выпуска. После переноса компилятор создаёт воспроизводимые продукты AOT, работающие без исходника. |
| v1.10.2 | Добавлены Native routes fetch, встроенный официальный каталог и воспроизводимый пакет виртуальной машины Топаза 5.11 для aarch64-apple-darwin. |
| v1.10.1 | Добавлены Native routes install, lispex.route-catalog/v1 и lispex.route-installation/v1 без локальных путей. Пакеты виртуальной машины Топаза и компилятора AOT используют канонический ZIP без сжатия. |
Записи разработки v1.9.x
| Версия | Изменение |
|---|---|
| v1.9.3 | Добавлены routes run с закреплённым выбором и общий структурированный результат четырёх способов выполнения. Эталонный интерпретатор остаётся совместимым вариантом по умолчанию и вариантом восстановления. |
| v1.9.2 | Native routes measure измеряет эталонный интерпретатор, виртуальную машину Rust, закреплённые Топаз VM и AOT. Измерения хранятся отдельно от канонического отчёта сравнения. |
| v1.9.1 | Добавлены Native routes inventory, routes lock и routes doctor для четырёх способов выполнения. Создание файла закрепления сохраняет существующие файлы. |
Записи разработки v1.8.x
| Версия | Изменение |
|---|---|
| v1.8.20 | Добавлен Native compare-routes для одного исходника и входа с проверкой подходящего продукта AOT и явным запуском четырёх способов. Отчёт lispex.route-comparison/v1 записывает различия семантики и сопоставимых ресурсов, сохраняя существующие отчёты. Исправлены стоимость вызовов процедур AOT и структурированные ресурсные ошибки. Воспроизводимая подготовка исполняемого файла macOS записывает идентификаторы инструментов strip и подписи и обновляет связь артефакта Топаза. |
| v1.8.19 | Добавлена предварительная компиляция полного профиля Лиспекса в Топаз на Native macOS ARM64. Создаются читаемый код Топаза и карты исходника; проверяются точные установленные инструменты сборки Топаза и Rust. build, inspect, validate и run работают с продуктами без исходника. Результат содержит ресурсы полной ширины u64, диагностику, предупреждения и пять видимых нулевых счётчиков резервного выполнения. |
| v1.8.18 | Добавлен Native bytecode run --engine topaz --topaz-vm на macOS ARM64 для установленного Топаза 5.11 lispex-topaz-vm/v1. compare-vms сравнивает выполнение одного проверенного файла байткода. Оптимизированные сборки Native сохраняют все операции компиляции Core IR и байткода. |
| v1.8.17 | Добавлены Native lispex fmt, тихий --check, безопасный --write и форматирование документа в VS Code/Open VSX. Сохраняются комментарии, прагмы, токены и написание литералов. |
| v1.8.16 | Добавлены lispex.vouch-compiled-artifact/v1 и Native vouch compiled build/inspect/validate. Необязательный vouch verify --reexecute --compiled-artifact заново выводит файл из точного исходника. Локальная проверка допуска требует совпадения текущих записей эталонного интерпретатора, Meaning и проверенной виртуальной машины Rust. |
| v1.8.15 | Добавлены бинарный lispex.bytecode/v1, проверка перед выполнением lispex.bytecode-verifier/v1 и полный профиль lispex-rust-vm/v1. Native создаёт, просматривает, проверяет и выполняет байткод, а также запускает исходник с --engine vm. Отчёты сравнения эталона и VM сохраняют существующие файлы. |
| v1.8.14 | Добавлены полный профиль lispex.core-ir/v1 и Native core-ir build, validate, inspect. Core IR содержит стабильные ID 205 процедур, разрешённые ссылки на локальные и глобальные переменные, захваты замыканий, хвостовые позиции, координаты исходника и представление Canonical Core. |
| v1.8.13 | LIL добавляет %, list-first и list-rest с предупреждениями совместимости W330/W331. Поддержка процедур растёт с 202/205 до 205/205. |
| v1.8.12 | LIL добавляет display, write, newline и println с внутренним сборщиком вывода и фиксированным бюджетом вывода. Поддержка растёт с 198/205 до 202/205. |
| v1.8.11 | LIL добавляет оставшиеся 12 процедур высшего порядка для коллекций через явные кадры продолжений. Поддержка растёт с 186/205 до 198/205, а процедур, вызывающих пользовательский код, — с 6/18 до 18/18. |
| v1.8.10 | LIL добавляет девять операций деления с точными промежуточными значениями и свёртки gcd/lcm. Числовое ядро хоста предоставляет точный целочисленный expt и exact-integer-sqrt с двумя значениями. Поддержка растёт с 173/205 до 186/205. |
| v1.8.9 | Числовое ядро хоста добавляет для LIL floor, ceiling, round, truncate с сохранением точности, преобразования точных и неточных чисел и проверку чётности. LIL реализует min/max для смешанных числовых типов. Поддержка растёт с 161/205 до 173/205. |
| v1.8.8 | Ядро Unicode хоста LIL добавляет 18 проверок регистра, преобразований и сравнений символов и строк без учёта регистра. Поддержка растёт с 143/205 до 161/205. |
| v1.8.7 | LIL добавляет копирование и поиск в списках, обход общего хвоста, конструкторы списков и строк, преобразования строк и векторов по индексам символов. Поддержка растёт с 135/205 до 143/205. |
| v1.8.6 | LIL добавляет цепочки сравнений символов и строк с учётом регистра по скалярным значениям Unicode и лексикографическому порядку. Поддержка растёт с 127/205 до 135/205. |
| v1.8.5 | LIL добавляет три числовых предиката для конечных вещественных чисел, структурный !=, memv, assoc, assq и assv. Поддержка растёт с 119/205 до 127/205. |
| v1.8.4 | LIL составляет abs, square, три предиката знака и нуля, boolean=? и symbol=? из существующих операций. Поддержка растёт с 112/205 до 119/205. |
| v1.8.3 | LIL добавляет все 27 недостающих составных селекторов пар от caar до cddddr. Поддержка растёт с 85/205 до 112/205. |
| v1.8.2 | Все 205 текущих процедур отнесены к profile-required. Возможности только для хоста и будущих профилей записаны отдельно. Исторические записи классифицируют основную причину каждого из 179 различий парных выполнений. |
| v1.8.1 | Документация перестроена в начальный курс из четырёх шагов, обзор синтаксиса, десять нумерованных групп и 53 страницы на английском, корейском и русском. В загрузках добавлены проверка версии, восстановление команд и официальные инструкции VS Code/Open VSX. |
Записи разработки v1.7.x
| Версия | Изменение |
|---|---|
| v1.7.3 | Канонические изображения Лиспекса передают точные байты исходника операциям Native Ваучера: идентификаторам, политикам, выпуску, просмотру, аутентификации, повторному выполнению и допуску. npm использует изображения для идентификаторов, политик и аутентифицированной проверки. Пример срока возврата использует изображения на всех шагах. |
| v1.7.2 | Общая реализация изображений на Rust добавлена в npm и Node/браузерный WASM. Песочница поддерживает локальное создание, открытие, переход по проверенным страницам, точное восстановление, скачивание и отдельный явный запуск. Байты одностраничных и многостраничных изображений совпадают между продуктами. |
| v1.7.1 | Native вводит канонические изображения Лиспекса: кодирование исходника в PNG/ZIP, просмотр открытых значений целостности и побайтовое восстановление. Запуск требует полной проверки формата и явного действия пользователя. |
Записи разработки v1.6.x
| Версия | Изменение |
|---|---|
| v1.6.4 | Сборка WASM для проверки Ваучера npm воспроизводит одинаковые байты из чистой, изменённой или перемещённой рабочей копии. Отдельный просмотр экспортов также работает из чистой копии. |
| v1.6.3 | Повторное выполнение пакета и проверка допуска Native требуют совпадающих внешних исходника и входа. Допуск использует только текущие данные этого запроса. Документация добавляет пути /v1.6, загрузки, нумерованную навигацию текущих и Classic-страниц. Обновлены ширина страниц, заголовки браузера, адаптивные заголовки, корейский логотип и локализованные подписи форм, результатов, переходов и меню. |
| v1.6.2 | Native и npm сначала аутентифицируют закреплённый пакет, затем сравнивают отдельно переданные байты исходника и входа. |
| v1.6.1 | Native и npm добавляют vouch key-id, engine-id и input-id к source-id через общий код Rust. |
Записи разработки v1.5.x
| Версия | Изменение |
|---|---|
| v1.5.8 | Native и npm vouch policy create/check создают и проверяют каноническую политику доверия получателя v1 через общий код Rust. |
| v1.5.7 | Native и npm vouch source-id --source получают идентификатор точных байтов исходника через общий код Rust с заданным бюджетом. |
| v1.5.6 | Политика доверия v1 требует разрешения точного идентификатора исходника выбранным ключом даже при корректной подписи. |
| v1.5.5 | Добавлен канонический пакет подписанной записи, исходника и входа. Native создаёт и читает его, npm читает для аутентификации. |
| v1.5.4 | npm vouch verify аутентифицирует записи с подписью Native и точные исходник, вход и профиль через общую проверочную сборку Rust. Байты отчётов совпадают с Native v0. |
| v1.5.3 | Native vouch gate --require-decision выдаёт локальный допуск после аутентификации, совпадения полных текущих записей выполнения и точного совпадения решения. |
| v1.5.2 | Команды объединены под vouch, добавлен пример срока возврата, поддержка LIL расширена до 85/205 процедур. Native vouch verify --reexecute отдельно сообщает аутентификацию и совпадение с текущим выполнением. |
| v1.5.1 | Native создаёт и подписывает подходящие свидетельства решений в контейнерах подписанной записи DSSE. Получатели аутентифицируют их по собственным политикам доверия. |
Записи разработки v1.3.x
| Версия | Изменение |
|---|---|
| v1.3.11 | Читатели Bridge проверяют каноническую структуру отчёта, вложенные поля, связанные файлы и необязательный ожидаемый контекст. |
| v1.3.10 | Этап разработки с проверками некорректных типов файлов. Документация разделила проверку согласованности файлов и аутентификацию издателя. |
| v1.3.9 | Добавлен набор из 12 случаев социальной помощи для сравнения записанных решений. |
| v1.3.8 | Добавлены формат отчёта Bridge Ваучера, автономная проверка и пример внешнего исполнителя. |
| v1.3.1-v1.3.7 | Добавлены создание записей выполнения в Native, идентификаторы исполнителя релизной сборки, автономная проверка и версионируемые наборы записанных случаев. Описано различие между согласованностью записи и аутентификацией издателя. |
Записи разработки v1.2.x
| Версия | Изменение |
|---|---|
| v1.2.15-v1.2.19 | Усилены читатели записей выполнения. Записи разработки включают сравнения со Scheme, семантические примеры и некорректные или изменённые файлы. |
| v1.2.14 | Проверяемый профиль решений и примеры расширены поиском, округлением, обходами any/all, явными ошибками и более понятным сравнением записанных случаев. |
| v1.2.9-v1.2.13 | Определены проверяемый профиль и привязка встроенных имён. Добавлены примеры управления и арифметики, замыкания, обходы, привязка входа хоста, автономная проверка npm и сравнение записанных случаев. |
| v1.2.2-v1.2.8 | Добавлены версионируемые Canonical Core, записи выполнения и манифест покрытия спецификации. Введены построение Meaning Graph, отдельный вычислитель Meaning Environment и формат отчёта дифференциального сравнения. |
Другие записи разработки
Работа над Meaning Graph v1 устранила 15 пробелов поведения в выбранном наборе из 61 случая.
Разработка SICP использовала идентификатор v1.17.0 до публикации v1.18.0.
Записи включают 26 представительных случаев и 104 внешних измерения относительно MIT/GNU Scheme, Racket SICP, Chibi и Gauche.
Среда SICP продолжает использовать идентификатор пакета @lispex/sicp@1.0.0 в v1.20.0.
Версии языка, пакета и файлов
Версии языка, пакета и форматов файлов меняются вместе с соответствующими изменениями.
Профиль языка определяет поведение вычисления.
Именованные форматы csk и Ваучера задают схемы файлов и идентификаторы совместимости.
Записи реализаций указывают поддерживаемые процедуры, способы выполнения на хосте, наборы случаев и записи выполнения.
Текущие возможности перечислены в каталоге продукта, будущие направления — в плане развития.