Лиспекс растёт минорными выпусками. Каждый минор задаёт границу продукта, который вы устанавливаете. Разверните строку, чтобы увидеть контрольные точки, которые к нему привели, начиная с новых. Внутри инженерная запись, поэтому внутренние имена стоят как есть.
Сокращения
| Сокращение | Значение |
|---|---|
ABI | двоичный интерфейс приложений |
AOT | предварительная компиляция |
DSSE | Dead Simple Signing Envelope, формат подписанного конверта |
IR | промежуточное представление |
LIL | Lispex-in-Lispex, интерпретатор Лиспекса на Лиспексе |
LIT | Lispex-in-Topaz, интерпретатор Лиспекса на Топазе |
MCP | Model Context Protocol |
VM | виртуальная машина |
WASM | WebAssembly |
Выпуски
v1.20 — Согласует выполнение целого исходника в Native, npm, WebAssembly и Песочнице с переносимым конечным статусом и атомарным завершением по ресурсу.
Публичный минор v1.20 объединяет пять нумерованных контрольных точек разработки от v1.19.1 до v1.19.5.
| Версия | Что изменилось |
|---|---|
| v1.20.0 | Добавляет точный расход по пяти ресурсным осям для исполнения Rust и LIL, сообщает исчерпание безопасной глубины рекурсии как ресурсный статус и согласует вывод целого исходника в Native, npm, WebAssembly и Песочнице. Успешные формы выводятся по порядку, обычная ошибка runtime сохраняет зафиксированный вывод, а завершение по ресурсу возвращает пустой вывод со статусом 2. Результат браузера содержит output, diagnostics, ok и exit_status. Сайт SICP также получает обновлённое изображение для предпросмотра ссылок. |
| v1.19.5 | Добавляет точный учёт переходов frontend, токенов, шагов нормализации, переходов машины и байтов вывода в Rust и LIL. Согласует семейства диагностик, сообщает исчерпание безопасной глубины рекурсии как завершение по ресурсу non-tail-call-depth, выравнивает вывод целого исходника в Native, npm, WebAssembly и Песочнице и обновляет изображение SICP для предпросмотра ссылок. |
| v1.19.4 | Публикует формальные утверждения в манифестах продукта, разделяет идентификаторы схемы и контракта наблюдений, завершает конверт идентичности наблюдения и согласует эффекты stdout в LIL с Rust. Пакетное исполнение не выводит значения верхнего уровня автоматически, а CLI целого исходника выводит каждую успешно вычисленную форму. Диагностика нормализатора сохраняет исходную фазу. |
| v1.19.3 | Переносит обнаружение несвязанных идентификаторов на первое востребованное обращение. Невостребованные несвязанные идентификаторы остаются допустимыми, а востребованное обращение сообщает E300 в позиции исходного идентификатора и сохраняет stdout, зафиксированный до ошибки. |
| v1.19.2 | Принимает исходники из нуля байтов, только пробельных символов, только комментариев или пробельных символов с комментариями как пустые программы с нулём значений, пустым выводом и статусом 0. |
| v1.19.1 | Рекурсивно разворачивает формы begin верхнего уровня и контекста внутренних определений в исходном порядке с сохранением единой области определений. define внутри begin в обычном контексте выражения остаётся статической ошибкой. |
v1.19 — Финализирует семантическую структуру потока управления и мутаций. Вводит Meaning Graph v1, проецируемый из Core IR, и явное Meaning Environment v1, независимое от стека вызовов Rust.
Вся работа над Meaning Graph и Meaning Environment сохраняла идентификатор разработки v1.18.0 до сборки v1.19.0.
| Версия | Что изменилось |
|---|---|
| v1.19.0 | Добавляет Meaning Graph v1 и явное Meaning Environment v1; семантику разделяемых ячеек для letrec, внутренних определений, rest-аргументов, set! и define; реальную TCO; однократный восходящий call/cc только для выхода; dynamic-wind только с внешней очисткой; точные наблюдения stdout, значений, предупреждений и ошибок; а также не связанный с Ваучером meaning-diff. Устраняет 15 именованных пробелов на поведенческом уровне в выбранном корпусе из 61 кейса. |
v1.18 — Создаёт учебную среду SICP и поглавные системные упражнения, которые сейчас доступны через @lispex/sicp@1.0.0, lispex sicp run и sicp.io.
Вся работа SICP от P0 до P9 сохраняла идентификатор разработки v1.17.0 до
сборки v1.18.0. Среда и курс продолжаются в v1.20.0 с тем же идентификатором
пакета @lispex/sicp@1.0.0.
| Версия | Что изменилось |
|---|---|
| v1.18.0 | Вводит отдельную устанавливаемую учебную среду исполнения @lispex/sicp@1.0.0, явную команду lispex sicp run, нативное и не требующее импортов Wasm-исполнение, фиксированные лимиты ресурсов, типизированные наблюдения и точные трассы выполнения. Проходит все 26 репрезентативных кейсов корпуса и предоставляет мемоизированные потоки, мутабельные Unicode-строки, детерминированную область вещественных чисел, числа произвольной точности, хост данных глав и производного синтаксиса, восемь поглавных систем: метациклический, анализирующий, ленивый и amb-вычислители, логические запросы, регистровую машину, вычислитель с явным управлением и компилятор; детерминированный SVG; а также исследователь кооперативного планирования. Сохраняет 104 внешних измерения относительно MIT/GNU Scheme, Racket SICP, Chibi и Gauche. |
v1.17 — Путь от подписи решения до проверки на машине получателя теперь пройден до конца. Создание ключа, политика получателя и привязка запроса через изображение уместились в один готовый пример с возвратом средств.
| Версия | Что изменилось |
|---|---|
| v1.17.0 | публикует точный готовый пример возврата с локальной подготовкой ключей, политикой получателя, аутентифицированным обменом решений, Ваучером с привязкой к запросу через Image, отказами при смешении протоколов и передачей шести значений приложению |
| v1.16.6 | добавляет один явный current-host runner проверки практичности установленных Native и npm продуктов, статическую quick-проверку и закрытый реестр точек мутации для финальной границы F16 |
| v1.16.5 | материализует финальную передачу и канонический manifest, создаёт точный архив готового примера возврата из 26 элементов, добавляет отдельный Native reader архива и независимую сводную проверку ZIP и описывает полный путь на трёх языках |
| v1.16.4 | добавляет только в Native workspace status со встроенным независимым контрактом для точного inventory из 26 файлов, канонического manifest из 25 записей, восьми existence-only рабочих слотов и двух фиксированных имён команд-кандидатов. Финальное руководство сначала показывает decision exchange, а затем отдельный путь Ваучера через Image |
| v1.16.3 | активирует прямое создание и проверку decision policy в Native и npm из одного проверенного публичного ключа и четырёх явно заданных сериализуемых ограничений с побайтовым совпадением с сохраняемым F14-путём из каталога. Сохраняются append-only сбой A0 до admission, точный repair A1 ece930ea на 23 пути и его точный прямой дочерний B fb07ae7c на пять путей. Recovery только по сохранённым evidence завершил точный финальный lispex.recipient-sample-provenance/v1 после остановки post-delete сводной проверки |
| v1.16.2 | добавляет только в Native создание пары Ed25519 из системного CSPRNG в новый каталог, заданный вызывающей стороной, и проверку в Native и npm, которая раздельно показывает идентификаторы издателя решения и Ваучера для одного точного публичного SPKI DER |
| v1.16.1 | запускает F16 с закрытым контрактом финального workspace из 26 файлов, точным ядром из 21 файла, пятью побайтовыми проекциями предшественников и тремя фактами возврата, отдельно отображёнными в переносимые строки и канонические решения |
v1.16 — Вычислитель для всего языка теперь помещается внутрь приложения. Стоимость и разрешения всех 205 процедур сведены под один источник истины. Прежний вычислитель с управлением ресурсами остаётся доступным.
| Версия | Что изменилось |
|---|---|
| v1.16.0 | публикует F15 как отдельный точный вычислитель без импортов для всего lispex-profile-1.5, с генерируемым closed-world authority на 205 строк, отдельными identity full-profile meter и component, явными Native prepare, evaluate, inspect, verify и replay со fresh instance, переносимыми provider vectors, redistribution и сохраняемыми записями release DAG |
| v1.15.8 | фиксирует отдельный поставщик вычислителя полного профиля и добавляет одну машиночитаемую передачу Топазу только на уровне компонентов, раздельно связывающую сохранённый контракт LPXART01 и полный LPXFAR01, векторы, архив распространения, хранение, release DAG и финальную сводную проверку |
| v1.15.7 | добавляет отдельный точный full-profile Wasm evaluator без импортов и явные Native prepare, evaluate, inspect, verify и replay со fresh instance для каждого исполнения |
| v1.15.6 | связывает все 205 строк primitives текущего профиля со сгенерированными runtime permits Fixed, Numeric, Text, Collection, Effect или GuestCalling и закрывает число ожидающих строк исполнения до нуля |
| v1.15.5 | закрывает fallible snapshots, векторы callback, консервативные выходные буферы, authority финального создания list/vector/string и динамическую диагностику с бюджетом работы для всех 18 допущенных строк GuestCalling |
| v1.15.4 | связывает все 18 строк GuestCalling с одним сгенерированным authority и явной машиной управления VM, с точными границами work и нулём host-recursive строк |
| v1.15.3 | закрывает отдельный тарифный проект full-profile на 205 строк с нулём Deferred и реализует все переносимые теги codec v1 в приватном итеративном full-result encoder |
| v1.15.2 | делает один сгенерированный реестр из 205 строк единственным authority установки primitives и identity Core IR |
| v1.15.1 | запускает F15 и генерирует точную полную поверхность текущего профиля, то есть reader, формы, opcodes, значения, диагностику и 205 primitives, а также решения о повторном использовании контрактов |
v1.15 — Первый продукт для подписи решений и передачи их дальше. Отправитель собирает конверт, а получатель проверяет его по своей политике. Изображения и Песочница выровнены под то же решение.
| Версия | Что изменилось |
|---|---|
| v1.15.0 | публикует полный аутентифицированный обмен решениями, который включает task-first пример возврата, точную передачу авторского материала в Native, Ed25519 envelope издателя, политику получателя, канонический .lpxdecision, полный Native-процесс и проверочные inspect/authenticate в npm |
| v1.14.6 | закрывает F14 одной clean-installed сводной проверкой обмена решениями Native/npm без исходника, точной relocation и replay и компактной неавторитетной product receipt |
| v1.14.5 | добавляет один канонический пакет .lpxdecision из семи файлов, полный Native-процесс issue/inspect/authenticate/replay и только проверочные npm inspect/authenticate |
| v1.14.4 | добавляет отдельный Ed25519 decision-issuer envelope над точными байтами portable core, создание и проверку политики получателя и Native-аутентификацию без выполнения |
| v1.14.3 | добавляет закрытый task-first режим возврата в Playground, смену поддерживаемого ввода одним действием и три точные передачи авторских материалов Native с исходником |
| v1.14.2 | разделяет идентичности продукта разработки, опубликованного продукта, семейства документации, семантического профиля и неизменяемой поставки, а также генерирует browser-, Native-, landing- и трёхъязычные проекции возврата из одного источника |
| v1.14.1 | переводит канонические изображения Лиспекса в Native, npm, публичном WASM, Playground и поддерживаемых примерах на контракты image, profile и codebook v2 с палитрой Sunlit Amber |
v1.14 — Запустить одно правило на входе JSON, затем осмотреть этот запуск без выполнения или повторить его в новом экземпляре.
| Версия | Что изменилось |
|---|---|
| v1.14.0 | публикует полный проверяемый процесс решения, куда входят строгий JSON, точные лимиты, атомарный rule run, невыполняющие inspect и verify, replay в свежем экземпляре, один сгенерированный пример возврата в документации для людей и агентов и точный лицензированный архив evaluator |
| v1.13.4 | объединяет сгенерированный пример возврата, строгий JSON adapter, атомарный каталог решения, невыполняющие inspect и verify, replay в свежем экземпляре, перенос, отказ и tamper cases в один установленный Native-процесс. Landing и три локали учат на том же точном примере |
| v1.13.3 | добавляет lispex rule inspect, verify и replay для точного каталога из пяти файлов, глубокую проверку prepared bytecode и связей результата и один replay в свежем экземпляре |
| v1.13.2 | добавляет атомарный Native lispex rule run поверх точного исходника, строгого JSON, раздельных лимитов подготовки и вычисления и встроенного evaluator |
| v1.13.1 | добавляет один сгенерированный refund fixture и строгий детерминированный JSON-to-evaluator-value adapter с отказом для повторных ключей и inexact numbers |
v1.13 — Первый способ поместить вычислитель внутрь приложения, с разными пределами на подготовку и на выполнение. Байты вычислителя заморожены и проверены несколькими разными способами.
| Версия | Что изменилось |
|---|---|
| v1.13.0 | публикует Native lispex embed prepare/evaluate/inspect/verify, один точный import-free evaluator component, раздельные лимиты подготовки/оценки, фиксированные profile, meter, ABI, value codec и portable-core contracts, а также manifest-generated /llms.txt и sitemap текущей документации |
| v1.12.4 | после сводных проверок над финальными байтами по осям mutation, property, reachability, safety, installed-product и cross-architecture фиксирует точный профиль с управлением ресурсами, детерминированную модель work/logical allocation, import-free Wasm ABI и схему portable core |
| v1.12.3 | добавляет Native-команды lispex embed prepare, evaluate, inspect и verify поверх одного точно встроенного Wasm-оценщика без импортов. Подготовка и вычисление имеют отдельные точные лимиты, каждая операция получает новый Store/Instance, а успешное вычисление несёт канонические байты результата |
| v1.12.2 | добавляет воспроизводимый пакет Wasm evaluator без импортов, закрытый кандидат value-only ABI, передачу canonical prepared bytecode, точное владение запросом и fresh-instance Rust VM для трёх поддерживаемых policy rules |
| v1.12.1 | заменяет устаревший общий контракт step/allocation четырьмя осями подготовки и десятью осями выполнения, удаляет потреблённые значения из кандидата portable core и добавляет независимые векторы Node/Rust и три поддерживаемых проверки пригодности правил |
v1.12 — У редакторов и ИИ-инструментов появилось локальное окно к установленному Лиспексу. Наружу ничего не уходит.
| Версия | Что изменилось |
|---|---|
| v1.12.0 | публикует точный справочник установленного продукта, авторский запуск с заданными временем и объёмом доверенного исходника в Rust tree, каталог диагностик, фиксированное закрытое сравнение маршрутов, открытые primer/descriptor и поддерживаемую сводную проверку установленного продукта как одну Native stdio-поверхность |
| v1.11.3 | добавляет поддерживаемую сводную проверку установленного Native MCP для четырёх точных инструментов, совпадения CLI для E100/E303/E321, запрета host-возможностей, изоляции состояния вызовов, завершения по бюджету ресурсов и восстановления, согласия или расхождения закрытых сводных проверок и детерминированного clean-room цикла |
| v1.11.2 | добавляет lispex_compare_routes с фиксированными сводными проверками tree-rust, rust-topaz и all-four, строгим допуском companion только при запуске, свежей AOT-сборкой на запрос и явным результатом совпадения или расхождения |
| v1.11.1 | добавляет lispex mcp serve со стабильным MCP 2025-11-25 и ровно тремя Native-инструментами. Это справочник установленного языка, авторский запуск с заданными временем и объёмом доверенного исходника в Rust tree и поиск диагностики |
v1.11 — Получение нужных маршруту инструментов, их установка и закрепление того, что именно запускается, стали одним непрерывным путём.
| Версия | Что изменилось |
|---|---|
| v1.11.0 | публикует канонический route catalog и установщик stored-ZIP, точное получение companion по каталогу, допущенные ячейки VM/AOT compiler Топаза для macOS ARM64 и поддерживаемый путь от fetch до переноса как единый Native-продукт |
| v1.10.4 | добавляет поддерживаемый путь и сводную проверку точных продуктов, соединяющий две установки companion с AOT-сборкой, inventory и измерением четырёх маршрутов, lock VM/AOT без пути, doctor, закреплённым исполнением и переносом без изменения lock |
| v1.10.3 | добавляет официальный routes fetch --route aot-compiler точного восьмифайлового companion компилятора Топаза 5.11 для macOS ARM64, проверку неизменяемого release manifest и детерминированную source-free AOT-сборку через перенесённый установленный компилятор |
| v1.10.2 | добавляет Native routes fetch, один точный встроенный официальный каталог и детерминированный companion допущенной VM Топаза 5.11 для aarch64-apple-darwin |
| v1.10.1 | добавляет Native routes install, канонический lispex.route-catalog/v1, lispex.route-installation/v1 без пути и канонический stored-ZIP для точного локального companion VM или AOT compiler Топаза |
v1.10 — Появились инструменты, чтобы понять, какие маршруты есть, и закрепить один из них. Неудача выбранного маршрута никогда не превращается тихо в другой маршрут.
| Версия | Что изменилось |
|---|---|
| v1.10.0 | публикует стабильные Native inventory и doctor, lock маршрута без пути, измерения с заданными ресурсами и закреплённое исполнение tree/Rust VM/VM Топаза/AOT как единый продукт |
| v1.9.3 | добавляет locked routes run, общий typed-result четырёх маршрутов и закрывает F7, сохраняя tree как compatible default/reference/recovery |
| v1.9.2 | добавляет Native samples routes measure для tree, Rust VM, точной VM Топаза и точного AOT рядом с отдельной канонической квитанцией сравнения |
| v1.9.1 | добавляет Native routes inventory, канонический неперезаписываемый routes lock и строгий routes doctor для tree, Rust VM, точной установленной VM Топаза и точного AOT |
v1.9 — Двадцать контрольных точек, включая изображения, проверенный байткод, Rust VM, форматирование исходника, запуск на VM Топаза и сравнение четырёх маршрутов.
| Версия | Что изменилось |
|---|---|
| v1.9.0 | публикует как единый продукт систему обучения, сходимость LIL 205/205, канонический Core IR, проверенный байткод и Rust VM, связанный с запросом скомпилированный Ваучер, форматирование исходника, явные exact VM/AOT Топаза и сводную проверку четырёх маршрутов |
| v1.8.20 | добавляет Native compare-routes. Команда даёт одно выведение frontend для исходника/входа, допуск точно соответствующего AOT, явное выполнение tree/Rust VM/VM Топаза/AOT и неперезаписываемую квитанцию lispex.route-comparison/v1 с семантическими и сопоставимыми ресурсными осями. Исправляет charge примитива и структурированные resource-fault AOT, детерминированно финализирует macOS executable с точными identity strip/sign и повторно связывает артефакт Топаза |
| v1.8.19 | добавляет для Native macOS ARM64 полно-профильный AOT из Лиспекса в Топаз, а с ним детерминированные читаемые Топаз и source map, допуск точных установленных инструментов сборки Топаза/Rust, строгие build, inspect, validate и run продукта без исходника, канонические полноразрядные ресурсы u64, диагностики, предупреждения и пять видимых нулевых счётчиков запасных путей |
| v1.8.18 | добавляет в Native для macOS ARM64 явный маршрут bytecode run --engine topaz --topaz-vm через точный установленный продукт Топаза 5.11 lispex-topaz-vm/v1, квитанции compare-vms над одним проверенным байткодом и сохраняет все операции компиляции Core IR/байткода в оптимизированном Native |
| v1.8.17 | добавляет детерминированный Native lispex fmt, тихий --check, безопасный --write и Format Document в VS Code/Open VSX с сохранением комментариев, pragma, tokens и исходного написания литералов |
| v1.8.16 | добавляет канонический lispex.vouch-compiled-artifact/v1, Native-команды vouch compiled build/inspect/validate, явный vouch verify --reexecute --compiled-artifact и скомпилированную проверку допуска, требующую точного повторного выведения из исходника и совпадения протоколов текущих tree/Meaning и проверенной Rust VM |
| v1.8.15 | добавляет канонический бинарный lispex.bytecode/v1, строгий предисполнительный lispex.bytecode-verifier/v1, полный lispex-rust-vm/v1, команды Native bytecode build/inspect/validate/run, явный --engine vm для исходника и точные неперезаписываемые отчёты tree/VM |
| v1.8.14 | добавляет канонический lispex.core-ir/v1 для всего профиля со стабильными ID 205 примитивов, разрешёнными лексическими и глобальными ячейками, точными захватами замыканий и хвостовыми позициями, координатами исходника, аудиторской проекцией Canonical Core и командами Native core-ir build, validate, inspect |
| v1.8.13 | реализует в LIL %, list-first и list-rest с точными совместимыми предупреждениями W330/W331, повышая текущее покрытие возможностей с 202/205 до 205/205 |
| v1.8.12 | реализует в LIL display, write, newline и println через private effect sink с заданным бюджетом вывода, повышая текущее покрытие с 198/205 до 202/205 |
| v1.8.11 | реализует в LIL все 12 оставшихся процедур высшего порядка для коллекций через явные кадры продолжения гостевой машины, повышая текущее покрытие с 186/205 до 198/205, а guest-calling с 6/18 до 18/18 |
| v1.8.10 | реализует в LIL девять операций деления с точными промежуточными значениями и свёртки gcd/lcm, а exact-integer expt и двухзначный exact-integer-sqrt допускает через записанное числовое ядро, повышая покрытие с 173/205 до 186/205 |
| v1.8.9 | допускает сохраняющие exactness floor, ceiling, round, truncate, преобразование exact/inexact и проверку чётности через записанное числовое ядро host, а также реализует в LIL свёртки mixed-tower min/max, повышая покрытие с 161/205 до 173/205 |
| v1.8.8 | допускает 18 предикатов, преобразований и сравнений без учёта регистра для символов и строк через явно записанное Unicode-ядро host LIL, повышая покрытие с 143/205 до 161/205 |
| v1.8.7 | реализует внутри LIL копирование и навигацию по спискам, общий хвост, детерминированные конструкторы списков и строк, а также преобразование строк и векторов по индексам символов, повышая покрытие с 135/205 до 143/205 |
| v1.8.6 | реализует внутри LIL чувствительные к регистру цепочки порядка символов и строк по Unicode scalar и лексикографическому порядку, повышая покрытие с 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, повышая текущее покрытие LIL с 85/205 до 112/205 |
| v1.8.2 | помечает все 205 текущих возможностей как нормативные profile-required, отдельно классифицирует решения host-only и future-profile и даёт каждому из 179 исторических расхождений пар одну проверяемую машиной основную причину |
| v1.8.1 | перестраивает Modern-документацию в курс для новичка из четырёх шагов, обзор синтаксиса, десять групп со сквозной нумерацией и 53 полноценные поверхности на английском, корейском и русском. В Загрузках появляются точная проверка версии, восстановление команд и официальные ссылки VS Code/Open VSX |
v1.8 — Изображения Лиспекса приносят точные байты правила, привязки целостности и каноническое восстановление в Native, npm, WebAssembly и Песочницу.
| Версия | Что изменилось |
|---|---|
| v1.8.0 | публикует точные изображения Лиспекса как единый продукт на том же Rust для Native, npm, Node/browser WASM и локального Playground, а каноническое изображение передаёт точные байты source в существующий связанный с запросом Ваучер |
| v1.7.3 | каноническое изображение Лиспекса передаёт точные байты source в Native identity, policy, issue, inspect, authentication, re-execution и проверку допуска Ваучера, а также в npm identity, policy и authenticated verify. Поддерживаемый refund-window использует image-ingress по всей цепочке |
| v1.7.2 | расширяет единое Rust-ядро изображений на npm CLI, Node/browser WASM и полностью локальный Playground, где есть создание и открытие, навигация по проверенным страницам, точное восстановление, скачивание и отдельный явный run. Single/multipage bytes всех поверхностей совпадают с фиксированными C1 golden |
| v1.7.1 | добавляет канонические изображения Лиспекса в Native, а с ними точное кодирование source в PNG/ZIP, inspection открытых commitments, побайтное декодирование и явное выполнение только после полного доказательства каноничности |
v1.7 — Проверка теперь связывает правило вместе с его входом. Любое использование с полномочиями привязано к исходнику и входу, которые потребитель передал отдельно.
| Версия | Что изменилось |
|---|---|
| v1.7.0 | публикует связанный с запросом Ваучер как единый потребительский процесс. В нём нужно вывести exact identity, создать и проверить policy, выпустить пакет, аутентифицировать его в Native или npm с необязательным внешним запросом source/input, затем повторно выполнить и применить проверку допуска только к этому live-запросу в Native |
| v1.6.4 | делает verification-only npm WASM Ваучера воспроизводимым до тех же отслеживаемых байтов из чистого, изменённого или перемещённого checkout и позволяет автономному аудиту export-поверхности работать из чистого checkout |
| v1.6.3 | Native re-execution и проверка допуска пакета требуют совпадающие внешние source/input и проводят к разрешению только live request-bound evidence. Обновление локализованной документации добавляет пространство /v1.6 публичной minor-версии, Загрузки, нумерацию current/Classic, выровненные поверхности, краткие заголовки браузера, сбалансированный responsive hero, корейский wordmark 리스펙스 и единую читаемую locale-aware систему подписей для landing, форм/данных, результатов, pager и категорий меню |
| v1.6.2 | Закреплённая проверка пакета в Native/npm сначала аутентифицирует, затем сравнивает отдельные точные байты source/input |
| v1.6.1 | Native/npm vouch key-id, engine-id и input-id вместе с source-id завершают публичный вывод identity общим Rust |
v1.6 — Всё нужное для проверки может путешествовать одним пакетом, а каждый ключ объявляет, какие исходники он принимает.
| Версия | Что изменилось |
|---|---|
| v1.6.0 | объединяет portable bundle v0, key-local exact-source policy v1, общие Rust source-id/policy и raw/bundle-аутентификацию в один потребительский процесс Ваучера |
| v1.5.8 | Native/npm vouch policy create/check составляет и проверяет каноническую потребительскую trust policy v1 общим Rust |
| v1.5.7 | Native/npm vouch source-id --source выводит identity точных байтов с заданным бюджетом общим ядром Rust |
| v1.5.6 | trust policy v1 отклоняет полностью корректное подписанное правило, если точная identity исходника не разрешена выбранным ключом |
| v1.5.5 | канонический пакет envelope/source/input. Выдача и приём в Native и приём в npm только для аутентификации |
| v1.5.4 | npm vouch verify аутентифицирует подписанные конверты Native и точные source/input/profile проверочной сборкой общего ядра Rust, совпадая с байтами отчёта v0 Native и результатами C-VN-06 |
| v1.5.3 | Native vouch gate --require-decision требует аутентификацию, текущее согласие полного transcript и точное совпадение решения до возврата локального разрешения |
| v1.5.2 | namespaced-процесс Ваучера, поддерживаемый сценарий окна возврата, граница capabilities LIL 85/205 и нативный vouch verify --reexecute с раздельными результатами аутентификации и согласия текущего выполнения |
| v1.5.1 | нативная выдача Ваучера. Допустимые проверенные решения формируются и подписываются как конверты DSSE, затем аутентифицируются по политике доверия потребителя |
v1.5 — Интерпретатор Лиспекса, написанный на Лиспексе, и такой же, написанный на Топазе, начали работать рядом, чтобы их результаты можно было сверять.
| Версия | Что изменилось |
|---|---|
| v1.5.0 | линии исполнения LIL и LIT, реестры capabilities 84 из 205, общая квитанция трёх семейств и согласованная поставка native/npm/WASM/Playground |
v1.4 — Native, npm, браузер и Песочница были выровнены по поведению, а загрузки закреплены.
| Версия | Что изменилось |
|---|---|
| v1.4.0 | обновление runtime и поставки, куда вошли apply и multiple values в проверяемом evaluator, заданный receipt fuel, согласование native/npm/WASM/Playground и закреплённые native downloads |
| v1.3.11 | канонический read-side Bridge, closed-world nested checks, проверка связанных артефактов и optional context |
| v1.3.10 | adversarial-проверки классов артефактов и явные non-goals подлинности |
| v1.3.9 | корпус welfare-style replay из 12 случаев |
| v1.3.8 | форма отчёта Моста Ваучера, offline checker и пример внешнего движка |
| v1.3.1-v1.3.7 | замкнут практический цикл Ваучера, куда вошли native receipt generation, identity release-build движка, offline verify, versioned replay corpus и явная граница подлинности |
v1.3 — Запуски начали оставлять запись, которую можно проверить без сети и повторить.
| Версия | Что изменилось |
|---|---|
| v1.3.0 | decision receipts проверяемого профиля, offline verify, replay и release gates |
| v1.2.15-v1.2.19 | реестр внешних Scheme-oracle, авторские semantic vectors, строгие readers артефактов, tamper fixtures и mutation drills |
| v1.2.14 | расширен проверяемый профиль решений и галерея, куда вошли search, rounding, обход any/all, строгие faults и более ясный replay |
| v1.2.9-v1.2.13 | граница проверяемого профиля, intrinsic binding, галерея control/arithmetic, closures и обходы, host-input binding, npm offline verify и replay UX |
| v1.2.2-v1.2.8 | версионированные canonical Core, execution receipt, conformance manifest, Meaning Graph и lowering, отдельный evaluator Meaning Environment и differential receipt contract |
v1.2 — Первый тег v1. Возбуждение ошибок и восстановление получили закреплённую форму, и открылись четыре способа запуска.
| Версия | Что изменилось |
|---|---|
| v1.2.0 | первый сводный тег v1. Добавлены восстанавливаемые raise, guard и with-exception-handler, а также Native, Node/WASM, Playground и downloads. Начальная линия v1 от 2026-06-28 и 2026-06-29 дала детерминированный reader, гигиенический normalizer, trampoline evaluator, exact integer/rational и finite-real профиль, закреплённый rendering, one-shot upward call/cc, dynamic-wind, multiple values, proper-tail apply, R7RS-shaped процедуры, WASM и Playground |
Владение версиями
- Версии языка, пакета и контрактов артефактов развиваются вместе с изменениями своих продуктов.
- Профиль runtime задаёт поведение вычисления, а именованные контракты CSK и Ваучера задают схемы артефактов и идентификаторы совместимости.
- Записи backend содержат строки capabilities, маршруты hosts, корпуса и квитанции.
- Выпуски с новой семантикой языка прямо указывают это в своей записи.
Куда дальше
Если вы впервые знакомитесь с Лиспексом, практический вход даёт введение. Что запланировано дальше, изложено в плане развития.