Лиспекс растёт минорными выпусками. Каждый минор задаёт границу продукта, который вы устанавливаете. Разверните строку, чтобы увидеть контрольные точки, которые к нему привели, начиная с новых. Внутри инженерная запись, поэтому внутренние имена стоят как есть.
Сокращения
| Сокращение | Значение |
|---|---|
ABI | двоичный интерфейс приложений |
AOT | предварительная компиляция |
DSSE | Dead Simple Signing Envelope, формат подписанного конверта |
IR | промежуточное представление |
LIL | Lispex-in-Lispex, интерпретатор Лиспекса на Лиспексе |
LIT | Lispex-in-Topaz, интерпретатор Лиспекса на Топазе |
MCP | Model Context Protocol |
VM | виртуальная машина |
WASM | WebAssembly |
Выпуски
v1.17 — Путь от подписи решения до проверки на машине получателя теперь пройден до конца. Создание ключа, политика получателя и привязка запроса через изображение уместились в один готовый пример с возвратом средств.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.17.0 | публикует точный готовый пример возврата с локальной подготовкой ключей, политикой получателя, аутентифицированным обменом решений, Ваучером с привязкой к запросу через Image, отказами при смешении протоколов и передачей шести значений приложению | передача записывает только ограниченный would-act результат и не выполняет возврат. Restricted и full evaluators, Image, Ваучер, обмен решений, ABI, value codec, portable core, receipts и точная привязка AOT Топаза 5.11 остаются отдельными и неизменными |
| v1.16.6 | добавляет один явный current-host runner проверки практичности установленных Native и npm продуктов, статическую quick-проверку и закрытый реестр точек мутации для финальной границы F16 | только develop-checkpoint. Runner принимает только переданные точные продукты, разделяет все ролевые и передаточные корни и сохраняет evidence F13, F14 и Ваучера в трёх разных осях. Эта реализация не заявляет об успешной сводной проверке установленного продукта или завершении F16. Не добавляются network, discovery, запасной путь, защита от replay, повышение Ваучера или полномочие внешнего действия. Публичные продукты остаются v1.16.0 |
| v1.16.5 | материализует финальную передачу и канонический manifest, создаёт точный архив готового примера возврата из 26 элементов, добавляет отдельный Native reader архива и независимую сводную проверку ZIP и описывает полный путь на трёх языках | только develop-checkpoint. Передача принимает один аутентифицированный и разрешённый серверный запрос, восстанавливает checked input из шести значений, требует свежую проверку допуска текущего запроса и публикует только ограниченную локальную запись would-act. Возврат денег и другие внешние действия не выполняются. Архив остаётся кандидатом v1.17.0, а публичные продукты остаются v1.16.0 |
| v1.16.4 | добавляет только в Native workspace status со встроенным независимым контрактом для точного inventory из 26 файлов, канонического manifest из 25 записей, восьми existence-only рабочих слотов и двух фиксированных имён команд-кандидатов. Финальное руководство сначала показывает decision exchange, а затем отдельный путь Ваучера через Image | только develop-checkpoint. Дерево репозитория остаётся на 24 файлах и успешным не объявляется. До материализации handoff и manifest в v1.16.5 положительная сводная проверка использует синтетические 26 файлов. Status не читает содержимое рабочих продуктов, не исполняет, не аутентифицирует, не выполняет discovery, не использует сеть, не предотвращает replay, не повышает Ваучер и не даёт полномочий внешнего действия. Публичные продукты остаются v1.16.0 |
| 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 сводной проверки | только develop-checkpoint. Существующий rule policy, все схемы F14 и запрет issuance в npm остаются точными. Во время recovery только по сохранённым evidence не было повторного запуска ceremony, сборки, pack, install, генерации ключей sample или provider и повторной подписи admission. Приватный ключ, seed, фиктивный manifest, handoff и ZIP не сохраняются. Корни ceremony, evidence и provider отсутствуют. Доказательство личности, admission policy, повышение Ваучера, защита от replay и полномочие внешнего действия не добавляются. Публичные продукты остаются v1.16.0 |
| v1.16.2 | добавляет только в Native создание пары Ed25519 из системного CSPRNG в новый каталог, заданный вызывающей стороной, и проверку в Native и npm, которая раздельно показывает идентификаторы издателя решения и Ваучера для одного точного публичного SPKI DER | только develop-checkpoint. Нет seed, импорта приватного ключа, перезаписи или пути по умолчанию, npm остаётся только проверочным, не добавляются экспорт ключей в браузере, сервис подписи, хранилище ключей, сеть, полномочия policy, доказательство личности, повышение Ваучера, защита от replay или полномочие внешнего действия, а публичные продукты остаются v1.16.0 |
| v1.16.1 | запускает F16 с закрытым контрактом финального workspace из 26 файлов, точным ядром из 21 файла, пятью побайтовыми проекциями предшественников и тремя фактами возврата, отдельно отображёнными в переносимые строки и канонические решения | только develop-checkpoint. Не добавляются фиктивные samples, финальный manifest, ZIP, инструменты ключей или policy, изменение evaluator, повышение Ваучера, заявление семантической эквивалентности, защита от replay или полномочие внешнего действия, а публичные продукты остаются v1.16.0 |
v1.16 — Вычислитель для всего языка теперь помещается внутрь приложения. Стоимость и разрешения всех 205 процедур сведены под один источник истины. Прежний ограниченный вычислитель остаётся доступным.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.16.0 | публикует F15 как отдельный точный bounded evaluator без импортов для всего 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 | profile, meter, ABI, value codec, schema portable core, байты и прошлые receipts restricted evaluator не меняются и выбираются отдельно. У full component нет discovery, запасного пути, host capability, pooling, повышения Ваучера, защиты от replay или полномочия внешнего действия, а admission в Топаз остаётся последующей задачей владельца Топаза |
| v1.15.8 | фиксирует отдельный поставщик вычислителя полного профиля и добавляет одну машиночитаемую передачу Топазу только на уровне компонентов, раздельно связывающую сохранённый контракт LPXART01 и полный LPXFAR01, векторы, архив распространения, хранение, release DAG и финальную сводную проверку | только develop-checkpoint. Публичный выпуск, допуск в Топаз, закрепление всего выпуска, Ваучер и полномочия на внешние действия не добавляются, а restricted evaluator и отношения AOT и LIT не меняются |
| v1.15.7 | добавляет отдельный точный full-profile Wasm evaluator без импортов и явные Native prepare, evaluate, inspect, verify и replay со fresh instance для каждого исполнения | только develop-checkpoint. Все новые identity остаются приватными кандидатами до qualification, промежуточный компонент не передаётся Топазу, а точный restricted evaluator и его отношение потребителя не меняются |
| v1.15.6 | связывает все 205 строк primitives текущего профиля со сгенерированными runtime permits Fixed, Numeric, Text, Collection, Effect или GuestCalling и закрывает число ожидающих строк исполнения до нуля | только develop-checkpoint. Точные продукты full-profile Wasm и Native и публичные identity остаются работой v1.15.7-v1.15.8, restricted evaluator и опубликованное отношение потребителя Топаза не меняются |
| v1.15.5 | закрывает fallible snapshots, векторы callback, консервативные выходные буферы, authority финального создания list/vector/string и ограниченную динамическую диагностику для всех 18 допущенных строк GuestCalling | только develop-checkpoint. 187 обработчикам primitives вне управления ещё нужна интеграция runtime permit, рекурсивная очистка Native требует удаления fresh-instance Wasm, публичные full-profile identity и маршрут не добавляются |
| v1.15.4 | связывает все 18 строк GuestCalling с одним сгенерированным authority и явной машиной управления VM, с точными границами work и нулём host-recursive строк | только develop-checkpoint. Restricted evaluator по-прежнему отклоняет исходные 13 исключённых строк, физические коллекции и cleanup ещё открыты, публичные full-profile identity и маршрут не добавляются |
| v1.15.3 | закрывает отдельный тарифный проект full-profile на 205 строк с нулём Deferred и реализует все переносимые теги codec v1 в приватном итеративном full-result encoder | только develop-checkpoint. Restricted evaluator сохраняет четыре точных отказа и свои байты, интеграция runtime и evidence provider ещё не завершены, публичные full-profile identity и маршрут не добавляются |
| v1.15.2 | делает один сгенерированный реестр из 205 строк единственным authority установки primitives и identity Core IR | только develop-checkpoint. Все 205 строк остаются native до появления evidence точного parity, четыре строки Deferred остаются blockers, публичные full-profile identity и новый маршрут исполнения не добавляются |
| v1.15.1 | запускает F15 и генерирует точную полную поверхность текущего профиля, то есть reader, формы, opcodes, значения, диагностику и 205 primitives, а также решения о повторном использовании контрактов | только develop-аудит. Новый маршрут исполнения и публичные identity контрактов не добавляются, restricted evaluator, старые receipts, отношение текущего публичного потребителя Топаза, точный pin AOT Топаза 5.11 и evidence LIT не меняются |
v1.15 — Первый продукт для подписи решений и передачи их дальше. Отправитель собирает конверт, а получатель проверяет его по своей политике. Изображения и Песочница выровнены под то же решение.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.15.0 | публикует полный аутентифицированный обмен решениями, который включает task-first пример возврата, точную передачу авторского материала в Native, Ed25519 envelope издателя, политику получателя, ограниченный канонический .lpxdecision, полный Native-процесс и проверочные inspect/authenticate в npm | evaluator, portable core, профиль, meter, ABI, маршруты по умолчанию и точный pin AOT Топаза 5.11 не меняются. Подпись, привязка запроса и replay разделены, а защита от повторного использования, повышение Ваучера и внешнее полномочие отсутствуют |
| v1.14.6 | закрывает F14 одной clean-installed сводной проверкой обмена решениями Native/npm без исходника, точной relocation и replay и компактной неавторитетной product receipt | только develop-checkpoint. Исходник, исходный JSON, private key, discovery, запасной путь, сеть, повышение Ваучера, защита от replay и внешнее полномочие отсутствуют. Публичные продукты остаются v1.14.0 |
| v1.14.5 | добавляет один ограниченный канонический пакет .lpxdecision из семи файлов, полный Native-процесс issue/inspect/authenticate/replay и только проверочные npm inspect/authenticate | только develop-checkpoint. В пакете нет исходника, исходного JSON, private key, discovery, запасного пути, сети, статуса Ваучера, защиты от replay или внешнего полномочия. Browser exports и публичные продукты не меняются |
| v1.14.4 | добавляет отдельный Ed25519 decision-issuer envelope над точными байтами portable core, создание и проверку политики получателя и Native-аутентификацию без выполнения | только develop-checkpoint. Metadata издателя неавторитетна, replay не выполняется, защита от повторного использования не предоставляется, внешнее полномочие отсутствует. Evaluator, portable core, Ваучер, загрузки и публичная версия не меняются |
| v1.14.3 | добавляет закрытый task-first режим возврата в Playground, смену поддерживаемого ввода одним действием и три точные передачи авторских материалов Native с исходником | только develop-checkpoint. Результаты явно названы результатами browser/Wasm, handoff не содержит portable core или полномочий, а опубликованные загрузки остаются v1.14.0 |
| v1.14.2 | разделяет идентичности продукта разработки, опубликованного продукта, семейства документации, семантического профиля и неизменяемой поставки, а также генерирует browser-, Native-, landing- и трёхъязычные проекции возврата из одного источника | только develop-checkpoint. Загрузки остаются v1.14.0, байты evaluator и portable core не меняются, а полномочия издателя, пакет обмена, Ваучера и внешнего действия не добавляются |
| v1.14.1 | переводит канонические изображения Лиспекса в Native, npm, публичном WASM, Playground и поддерживаемых примерах на контракты image, profile и codebook v2 с палитрой Sunlit Amber | только develop-checkpoint. Байты исходника, семантика языка, выполнение, полномочия Ваучера и все контракты вне изображений не меняются |
v1.14 — Запустить одно правило на входе JSON, затем осмотреть этот запуск без выполнения или повторить его в новом экземпляре.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.14.0 | публикует полный проверяемый процесс решения, куда входят строгий JSON, точные лимиты, атомарный rule run, невыполняющие inspect и verify, replay в свежем экземпляре, один сгенерированный пример возврата в документации для людей и агентов и точный лицензированный архив evaluator | evaluator и замороженные контракты не меняются. Процесс доступен только в Native, portable core не получает полномочий и не становится свидетельством Ваучера, а npm и браузер сохраняют прежний объём поддержки |
| v1.13.4 | объединяет сгенерированный пример возврата, строгий JSON adapter, атомарный каталог решения, невыполняющие inspect и verify, replay в свежем экземпляре, перенос, отказ и tamper cases в один установленный Native-процесс. Landing и три локали учат на том же точном примере | только develop checkpoint. Без изменений вычислителя, профиля, meter, ABI, value codec, portable-core schema, route, AOT compiler pin, полномочий Ваучера или публичного релиза |
| v1.13.3 | добавляет lispex rule inspect, verify и replay для точного каталога из пяти файлов, глубокую проверку prepared bytecode и связей результата и один replay в свежем экземпляре | inspect и verify не выполняют правило. Replay не восстанавливает исходник, не аутентифицирует, не ищет, не вызывает запасной путь или сервис, не предотвращает replay, не повышает Ваучер и не разрешает внешнее действие |
| v1.13.2 | добавляет атомарный Native lispex rule run поверх точного исходника, строгого JSON, раздельных лимитов подготовки и вычисления и встроенного evaluator | существующий вывод не перезаписывается. Каталог не сохраняет raw source, raw JSON, host path, discovery, запасной путь, remote transport, пригодность для Ваучера или external-action authority |
| v1.13.1 | добавляет один сгенерированный refund fixture и строгий детерминированный JSON-to-evaluator-value adapter с отказом для повторных ключей и inexact numbers | только develop checkpoint. Без новой операции evaluator, semantic profile, public schema, команды, route, capability, запасного пути, полномочий Ваучера или релиза |
v1.13 — Первый способ поместить вычислитель внутрь приложения, с разными пределами на подготовку и на выполнение. Байты вычислителя заморожены и проверены несколькими разными способами.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.13.0 | публикует Native lispex embed prepare/evaluate/inspect/verify, один точный import-free evaluator component, раздельные лимиты подготовки/оценки, фиксированные restricted profile, meter, ABI, value codec и portable-core contracts, а также manifest-generated /llms.txt и sitemap текущей документации | только один engine Rust VM и restricted profile. Без host capability, discovery, запасного пути, удалённого транспорта, browser embed, аутентификации issuer, полномочий Ваучера и реализации потребителя Топаза. У interruption и engine fault нет решения или portable core. Classic не входит в текущий agent index |
| v1.12.4 | после сводных проверок над финальными байтами по осям mutation, property, reachability, safety, installed-product и cross-architecture фиксирует точный restricted profile, детерминированную модель work/logical allocation, import-free Wasm ABI и схему portable core | только develop-checkpoint. Portable core существует лишь для детерминированного семантического исхода и отказа запроса. У interruption и engine fault его нет, как нет discovery, запасного пути, удалённого транспорта, полномочий Ваучера, browser embedding, реализации потребителя Топаза или production-публикации |
| v1.12.3 | добавляет Native-команды lispex embed prepare, evaluate, inspect и verify поверх одного точно встроенного Wasm-оценщика без импортов. Подготовка и вычисление имеют отдельные точные лимиты, каждая операция получает новый Store/Instance, а успешное вычисление несёт канонические байты результата | только develop-checkpoint. Контракты остаются кандидатами. Нет пути к оценщику, discovery, запасного пути, host callback, удалённого транспорта, полномочий Ваучера, portable receipt или production-публикации |
| v1.12.2 | добавляет воспроизводимый пакет Wasm ограниченного evaluator без импортов, закрытый кандидат value-only ABI, передачу canonical prepared bytecode, точное владение запросом и fresh-instance Rust VM для трёх поддерживаемых policy rules | только checkpoint в develop. Контракты остаются непубличными. Нет Native lispex embed, portable receipt, запасного пути, host capability, полномочий Ваучера или production-развёртывания |
| v1.12.1 | заменяет устаревший общий контракт step/allocation четырьмя осями подготовки и десятью осями выполнения, удаляет потреблённые значения из кандидата portable core и добавляет независимые векторы Node/Rust и три поддерживаемых проверки пригодности правил | только checkpoint в develop. Нет публичного ID meter/profile/ABI/receipt, пакета evaluator, команды lispex embed, portable receipt, запасного пути, host capability, полномочий Ваучера или production-развёртывания |
v1.12 — У редакторов и ИИ-инструментов появилось локальное окно к установленному Лиспексу. Наружу ничего не уходит.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.12.0 | публикует точный справочник установленного продукта, ограниченный по размеру и времени авторский запуск доверенного исходника в Rust tree, каталог диагностик, фиксированное закрытое сравнение маршрутов, открытые primer/descriptor и поддерживаемую сводную проверку установленного продукта как одну Native stdio-поверхность | нет sandbox для враждебного исходника, детерминированного счётчика всей работы/логических выделений, переносимой квитанции тайм-аута, удалённого сервиса, доступа к файлам/workspace, произвольного подмножества маршрутов, discovery, частичного сравнения, запасного пути, выбора ответа, хранения исходника, MCP в npm/браузере, доказательства эквивалентности или полномочий Ваучера. Неверсионированная grammar tree-sitter остаётся отдельной и неопубликованной |
| v1.11.3 | добавляет поддерживаемую сводную проверку установленного Native MCP для четырёх точных инструментов, совпадения CLI для E100/E303/E321, запрета host-возможностей, изоляции состояния вызовов, ограниченного завершения и восстановления, согласия или расхождения закрытых сводных проверок и детерминированного clean-room цикла | сводная проверка не сохраняет исходник или выбранный ответ, не добавляет инструмент или маршрут, не заявляет предел памяти ОС и не даёт remote transport, discovery, запасного пути, частичного сравнения, доказательства эквивалентности или полномочий Ваучера |
| 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 и поиск диагностики | только локальный stdio. Нет sandbox для враждебного исходника, детерминированного счётчика всей работы/логических выделений, переносимой квитанции тайм-аута, файлов, сети, поиска или сравнения маршрутов, запасного пути, хранения исходника, поверхности npm/браузера, доказательства семантической эквивалентности и полномочий Ваучера |
v1.11 — Получение нужных маршруту инструментов, их установка и закрепление того, что именно запускается, стали одним непрерывным путём.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.11.0 | публикует канонический route catalog и установщик stored-ZIP, ограниченное точное получение companion, допущенные ячейки VM/AOT compiler Топаза для macOS ARM64 и поддерживаемый путь от fetch до переноса как единый Native-продукт | Rust tree остаётся стандартным. Неподдерживаемые target отсутствуют. Внешние продукты явны, lock без пути их не ищет. Исполнение не использует сеть или запасной путь. Route-материал не входит в полномочия Ваучера |
| v1.10.4 | добавляет поддерживаемый путь и сводную проверку точных продуктов, соединяющий две установки companion с AOT-сборкой, inventory и измерением четырёх маршрутов, lock VM/AOT без пути, doctor, закреплённым исполнением и переносом без изменения lock | не добавляет маршрут или target. Каждый внешний root задаётся снова, исполнение не получает и не подменяет продукт, Rust tree остаётся стандартным, а companion, lock, измерение и результат не входят в полномочия Ваучера |
| v1.10.3 | добавляет официальный routes fetch --route aot-compiler точного восьмифайлового companion компилятора Топаза 5.11 для macOS ARM64, проверку неизменяемого release manifest и детерминированную source-free AOT-сборку через перенесённый установленный компилятор | существует только допущенная target. Fetch и установка не выбирают и не исполняют маршрут, Rust tools задаются отдельно, неподдерживаемая target отклоняется до transport, а каталог, архив и результат сборки не входят в полномочия Ваучера |
| v1.10.2 | добавляет Native routes fetch, один точный встроенный официальный каталог и детерминированный companion допущенной VM Топаза 5.11 для aarch64-apple-darwin | получение явно и отделено от исполнения. Нет произвольного URL/каталога, перенаправления, повтора, регистрации, discovery, выбора, запасного пути, подмены неподдерживаемой target или повышения Ваучера |
| v1.10.1 | добавляет Native routes install, канонический lispex.route-catalog/v1, lispex.route-installation/v1 без пути и ограниченный канонический stored-ZIP для точного локального companion VM или AOT compiler Топаза | только локальная установка. Без сети, регистрации, discovery, выбора, запасного пути, повышения Ваучера, заявления новой target и смены default. Обычный Rust tree не требует companion |
v1.10 — Появились инструменты, чтобы понять, какие маршруты есть, и закрепить один из них. Неудача выбранного маршрута никогда не превращается тихо в другой маршрут.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.10.0 | публикует стабильные Native inventory и doctor, lock маршрута без пути, ограниченные измерения и закреплённое исполнение tree/Rust VM/VM Топаза/AOT как единый продукт | tree остаётся совместимым маршрутом по умолчанию, эталоном и восстановлением. Внешним продуктам нужны явный абсолютный путь и точная identity, маршруты не обнаруживаются и не используются как запасные пути, время носит только описательный характер, а lock и результаты не становятся полномочием Ваучера |
| v1.9.3 | добавляет locked routes run, общий typed-result четырёх маршрутов и закрывает F7, сохраняя tree как compatible default/reference/recovery | внешние продукты остаются явными и точными. Selection и result не выполняют discovery, retry или вход в Ваучер, а timing не выбирает полномочия. Следующий public minor активируется и утверждается отдельно |
| v1.9.2 | добавляет ограниченные Native samples routes measure для tree, Rust VM, точной VM Топаза и точного AOT рядом с отдельной канонической квитанцией сравнения | время остаётся описательными данными конкретного host/run, а не semantic/security evidence, межмашинной воспроизводимостью, полномочиями Ваучера, запасным путём или решением default-маршрута |
| v1.9.1 | добавляет Native routes inventory, канонический неперезаписываемый routes lock и строгий routes doctor для tree, Rust VM, точной установленной VM Топаза и точного AOT | discovery продуктов остаётся отключённым, абсолютный путь внешнего продукта задаётся заново, selection/diagnostic JSON не дают полномочий Ваучера, совместимый default tree не меняется |
v1.9 — Двадцать контрольных точек, включая изображения, проверенный байткод, Rust VM, форматирование исходника, запуск на VM Топаза и сравнение четырёх маршрутов.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.9.0 | публикует как единый продукт систему обучения, сходимость LIL 205/205, канонический Core IR, проверенный байткод и Rust VM, связанный с запросом скомпилированный Ваучер, форматирование исходника, явные exact VM/AOT Топаза и сводную проверку четырёх маршрутов | сохраняет lispex-profile-1.5, Rust tree как reference/default, различия поддержки и ресурсов маршрутов, нулевой запасной путь и typed-неповышение Ваучера. Не заявляет доказательство всего профиля или независимого свидетеля, не меняет defaults F7 и не выдумывает compiled-маршруты npm/браузера/Песочницы |
| 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 и повторно связывает артефакт Топаза | сохраняет маршруты и default независимо, оставляет отсутствующие счётчики tree и реальные различия ресурсной диагностики видимыми, не повторяет ошибку через другой маршрут и не создаёт семейство, доказательство, свидетельство Ваучера или проверку допуска. npm явно отклоняет команду. Открытый WASM, браузер и Песочница не имеют замены |
| v1.8.19 | добавляет для Native macOS ARM64 полно-профильный AOT из Лиспекса в Топаз, а с ним детерминированные читаемые Топаз и source map, допуск точных установленных инструментов сборки Топаза/Rust, строгие build, inspect, validate и run продукта без исходника, канонические полноразрядные ресурсы u64, диагностики, предупреждения и пять видимых нулевых счётчиков запасных путей | сохраняет lispex-profile-1.5, восстановительные маршруты Rust tree/VM, отдельную VM Топаза, поведение npm/WASM/браузера/Песочницы и все typed-границы полномочий Ваучера. AOT с приоритетом корректности остаётся проверяемым исполняемым материалом, а не межлинейной квитанцией, доказательством эквивалентности, доверием производителю или входом проверки допуска |
| v1.8.18 | добавляет в Native для macOS ARM64 явный маршрут bytecode run --engine topaz --topaz-vm через точный установленный продукт Топаза 5.11 lispex-topaz-vm/v1, квитанции compare-vms над одним проверенным байткодом и сохраняет все операции компиляции Core IR/байткода в оптимизированном Native | Rust остаётся движком по умолчанию. Лиспекс строго связывает продукт, запрос, результат, identity байткода/входа, канонические полноразрядные ресурсы u64 и нулевой запасной путь. Ошибка не запускает другой движок. Транспорт и сравнение Топаза диагностические, не входят в Ваучер, не создают полномочий и не доказывают независимую эквивалентность всего языка. В npm, открытом WASM, Песочнице, других целях и AOT маршрута VM Топаза нет |
| v1.8.17 | добавляет детерминированный Native lispex fmt, тихий --check, безопасный --write и Format Document в VS Code/Open VSX с сохранением комментариев, pragma, tokens и исходного написания литералов | форматтер проверяет до вывода или замены и меняет только пробельное окружение. Нет выполнения, изменения lispex-profile-1.5, канонизации значений, evidence или запасного пути к npm/WASM/Песочнице. Публикация в marketplaces и production-выпуск требуют отдельных полномочий |
| v1.8.16 | добавляет канонический lispex.vouch-compiled-artifact/v1, Native-команды vouch compiled build/inspect/validate, явный vouch verify --reexecute --compiled-artifact и скомпилированную проверку допуска, требующую точного повторного выведения из исходника и совпадения протоколов текущих tree/Meaning и проверенной Rust VM | потребитель по-прежнему передаёт точные исходник и вход, аутентификация и текущий tree/Meaning остаются обязательными, запасной путь отсутствует. Обычный байткод, контейнер, хэш, отчёт, вывод VM или происхождение compiler не создают свидетельство или полномочие. VM относится к той же линии Rust, а не к независимому свидетелю. npm, открытый WASM и Песочница не предоставляют скомпилированный Ваучер |
| v1.8.15 | добавляет канонический бинарный lispex.bytecode/v1, строгий предисполнительный lispex.bytecode-verifier/v1, полный lispex-rust-vm/v1, команды Native bytecode build/inspect/validate/run, явный --engine vm для исходника и точные неперезаписываемые отчёты tree/VM | tree остаётся эталоном и стандартным движком, а выбранная VM не имеет запасного пути. Tree и VM разделяют Rust-значения и листья примитивов, поэтому сравнение остаётся свидетельством одной линии, а не независимым бэкендом или доказательством. npm, открытый WASM и Песочница не предоставляют bytecode/VM. Байткод, результат verifier, VM или сравнение не входят в цепочку полномочий Ваучера |
| v1.8.14 | добавляет канонический lispex.core-ir/v1 для всего профиля со стабильными ID 205 примитивов, разрешёнными лексическими и глобальными ячейками, точными захватами замыканий и хвостовыми позициями, координатами исходника, аудиторской проекцией Canonical Core и командами Native core-ir build, validate, inspect | Core IR является невыполняемым материалом integrity-only той же линии Rust. Он не заменяет Meaning Graph, не аутентифицирует происхождение, не связывает запрос, не доказывает независимое согласие и не даёт полномочий Ваучера. npm, открытый WASM и Песочница не предоставляют reader или команды Core IR |
| v1.8.13 | реализует в LIL %, list-first и list-rest с точными совместимыми предупреждениями W330/W331, повышая текущее покрытие возможностей с 202/205 до 205/205 | предупреждение возникает только при запуске настоящего deprecated-примитива, сохраняет порядок, выдаётся один раз на место исходника, остаётся при последующей ошибке и отделено от stdout, значений и диагностики. Полное покрытие возможностей не утверждает эквивалентность всего языка, не меняет Rust или LIT, историческую квитанцию, полномочия Ваучера и не разрешает production-выпуск |
| v1.8.12 | реализует в LIL display, write, newline и println через ограниченный private effect sink, повышая текущее покрытие с 198/205 до 202/205 | явный вывод и автопечать корневых результатов сохраняют точный порядок stdout, а завершённые значения получают отдельную typed-проекцию. Rendering, возврат нуля значений, частичный вывод и arity совпадают с профилем без stdout host или запасного пути Rust. Deprecated-псевдонимы с предупреждениями, изменения Rust или семантики языка, LIT, исторической квитанции, полномочий Ваучера и разрешение production-выпуска остаются вне границы |
| v1.8.11 | реализует в LIL все 12 оставшихся процедур высшего порядка для коллекций через явные кадры продолжения гостевой машины, повышая текущее покрытие с 186/205 до 198/205, а guest-calling с 6/18 до 18/18 | порядок callback, строгое boolean-короткое замыкание, контексты одного/отбрасываемых значений, символьный результат строки, снимок вектора, ошибки и одноразовые выходы остаются внутри LIL без callback host или запасного пути Rust. Output-строки, deprecated-псевдонимы, изменения Rust или семантики языка, LIT, исторической квитанции, полномочий Ваучера и разрешение production-выпуска остаются вне границы |
| v1.8.10 | реализует в LIL девять операций деления с точными промежуточными значениями и свёртки gcd/lcm, а exact-integer expt и двухзначный exact-integer-sqrt допускает через записанное числовое ядро, повышая покрытие с 173/205 до 186/205 | знаки floor/truncate, contagion exactness, domain-ошибки и несколько значений совпадают с профилем. Deprecated %, guest-calling и output-строки, изменения Rust или семантики языка, LIT, исторической квитанции, полномочий Ваучера и разрешение production-выпуска остаются вне границы |
| v1.8.9 | допускает сохраняющие exactness floor, ceiling, round, truncate, преобразование exact/inexact и проверку чётности через записанное числовое ядро host, а также реализует в LIL свёртки mixed-tower min/max, повышая покрытие с 161/205 до 173/205 | round остаётся half-even, а exact восстанавливает конечное двоичное значение. Происхождение числового ядра явно, без % и семейства целочисленного деления, изменений Rust или семантики языка, LIT, исторической квитанции, полномочий Ваучера или разрешения production-выпуска |
| v1.8.8 | допускает 18 предикатов, преобразований и сравнений без учёта регистра для символов и строк через явно записанное Unicode-ядро host LIL, повышая покрытие с 143/205 до 161/205 | происхождение ядра host остаётся явным. Нет перехода к полной Unicode CaseFolding, locale collation, нормализации, скрытого запасного пути, изменений Rust или семантики языка, LIT, исторической квитанции, полномочий Ваучера или разрешения production-выпуска |
| v1.8.7 | реализует внутри LIL копирование и навигацию по спискам, общий хвост, детерминированные конструкторы списков и строк, а также преобразование строк и векторов по индексам символов, повышая покрытие с 135/205 до 143/205 | нет устаревших alias с предупреждениями, нового делегирования или запасного пути через host, изменений Rust или семантики языка, LIT, исторической квитанции, полномочий Ваучера или разрешения production-выпуска |
| v1.8.6 | реализует внутри LIL чувствительные к регистру цепочки порядка символов и строк по Unicode scalar и лексикографическому порядку, повышая покрытие с 127/205 до 135/205 | нет locale collation, нормализации, case folding, нового делегирования или запасного пути через host, изменений Rust или семантики языка, LIT, исторической квитанции, полномочий Ваучера или разрешения production-выпуска |
| v1.8.5 | реализует внутри LIL три предиката башни конечных вещественных, структурный !=, memv, assoc, assq и assv, повышая текущее покрытие с 119/205 до 127/205 | нет нового делегирования или запасного пути через host, изменений Rust или семантики языка, изменений LIT, переписывания исторической квитанции, полномочий Ваучера или разрешения production-выпуска |
| v1.8.4 | составляет внутри LIL abs, square, три предиката знака/нуля, boolean=? и symbol=?, повышая текущее покрытие с 112/205 до 119/205 | нет нового делегирования или запасного пути через host, изменений Rust или семантики языка, изменений LIT, переписывания исторической квитанции, полномочий Ваучера или разрешения production-выпуска |
| v1.8.3 | реализует внутри написанного на Лиспексе ядра LIL все 27 недостающих составных селекторов пар от caar до cddddr, повышая текущее покрытие LIL с 85/205 до 112/205 | нет запасного пути через host, изменений Rust или семантики языка, изменений LIT, переписывания исторической квитанции, полномочий Ваучера или разрешения production-выпуска |
| v1.8.2 | помечает все 205 текущих возможностей как нормативные profile-required, отдельно классифицирует решения host-only и future-profile и даёт каждому из 179 исторических расхождений пар одну проверяемую машиной основную причину | семантика языка, числа поддержки Rust/LIL/LIT, байты исторической квитанции, полномочия Ваучера, изображения и граница production-выпуска не меняются. Классификация не означает принятие или исправление |
| v1.8.1 | перестраивает Modern-документацию в курс для новичка из четырёх шагов, обзор синтаксиса, десять групп со сквозной нумерацией и 53 полноценные поверхности на английском, корейском и русском. В Загрузках появляются точная проверка версии, восстановление команд и официальные ссылки VS Code/Open VSX | меняются только документация и представление продукта. Classic сохранён побайтно, а lispex-profile-1.5, возможности Rust/LIL/LIT, формат изображений, схемы Ваучера и типизированные полномочия не меняются |
v1.8 — Появилось изображение Лиспекса, файл картинки с точными байтами правила. Само изображение не несёт никаких полномочий.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.8.0 | публикует точные изображения Лиспекса как единый продукт на том же Rust для Native, npm, Node/browser WASM и локального Playground, а полностью доказанное изображение передаёт точные байты source в существующий связанный с запросом Ваучер | изображение сохраняет точные открытые байты source и commitments целостности, но не даёт секретности, подписи, provenance, независимого свидетеля, trust, свежести, выбора запроса, корректности решения или полномочия исполнения |
| v1.7.3 | полностью доказанное изображение Лиспекса передаёт точные байты source в Native identity, policy, issue, inspect, authentication, re-execution и проверку допуска Ваучера, а также в npm identity, policy и authenticated verify. Поддерживаемый refund-window использует image-ingress по всей цепочке | изображение выбирает только представление source. Обязательны consumer-owned binding source/input и прежняя typed-цепочка полномочий, а PNG/ZIP, inspection JSON, пакет и report не создают полномочия |
| v1.7.2 | расширяет единое Rust-ядро изображений на npm CLI, Node/browser WASM и полностью локальный Playground, где есть создание и открытие, навигация по доказанным страницам, точное восстановление, скачивание и отдельный явный run. Single/multipage bytes всех поверхностей совпадают с фиксированными C1 golden | same-core byte parity означает parity поставки, а не независимого свидетеля. Локальные preview, inspection JSON, восстановленный source и download не являются свидетельством Ваучера или полномочием |
| v1.7.1 | добавляет канонические изображения Лиспекса в Native, а с ними точное кодирование source в PNG/ZIP, inspection открытых commitments, побайтное декодирование и явное выполнение только после полного доказательства каноничности | каноничность изображения означает целостность, а не секретность, подпись, provenance, trust, request binding, свидетельство Ваучера или полномочие исполнения. npm, public WASM и Playground пока не предоставляют image-операции |
v1.7 — Проверка теперь связывает правило вместе с его входом. Любое использование с полномочиями привязано к исходнику и входу, которые потребитель передал отдельно.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.7.0 | публикует связанный с запросом Ваучер как единый потребительский процесс. В нём нужно вывести exact identity, создать и проверить policy, выпустить пакет, аутентифицировать его в Native или npm с необязательным внешним запросом source/input, затем повторно выполнить и применить проверку допуска только к этому live-запросу в Native | unpinned-проверка пакета остаётся только аутентификацией. Равенство запроса не означает свежесть, защиту от replay, identity, provenance, корректность policy или полномочие внешнего действия |
| v1.6.4 | делает verification-only npm WASM Ваучера воспроизводимым до тех же отслеживаемых байтов из чистого, изменённого или перемещённого checkout и позволяет автономному аудиту export-поверхности работать из чистого checkout | фиксированные неаттестующие build placeholder и виртуальный путь исходников не являются Git provenance или заявлением о воспроизводимой сборке Native, browser WASM либо других платформ |
| v1.6.3 | Native re-execution и проверка допуска пакета требуют совпадающие внешние source/input и проводят к разрешению только live request-bound evidence. Обновление локализованной документации добавляет пространство /v1.6 публичной minor-версии, Загрузки, нумерацию current/Classic, выровненные поверхности, краткие заголовки браузера, сбалансированный responsive hero, корейский wordmark 리스펙스 и единую читаемую locale-aware систему подписей для landing, форм/данных, результатов, pager и категорий меню | unpinned verify пакета остаётся только аутентификацией. Равенство запроса не является свежестью, намерением или внешним полномочием |
| v1.6.2 | Закреплённая проверка пакета в Native/npm сначала аутентифицирует, затем сравнивает отдельные точные байты source/input | точное равенство запроса не является свежестью, replay prevention, намерением человека или внешними полномочиями |
| v1.6.1 | Native/npm vouch key-id, engine-id и input-id вместе с source-id завершают публичный вывод identity общим Rust | identity не является происхождением, trust, проверкой input, аутентификацией, evidence или полномочием исполнения |
v1.6 — Всё нужное для проверки может путешествовать одним пакетом, а каждый ключ объявляет, какие исходники он принимает.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.6.0 | объединяет portable bundle v0, key-local exact-source policy v1, общие Rust source-id/policy и raw/bundle-аутентификацию в один потребительский процесс Ваучера | семантический профиль и схемы artifacts заморожены. Только Native выдаёт, повторно выполняет или применяет проверку допуска |
| v1.5.8 | Native/npm vouch policy create/check составляет и проверяет каноническую потребительскую trust policy v1 общим Rust | корректная конфигурация не является выбором доверия, аутентификацией, evidence, re-execution, разрешением решения или внешними полномочиями |
| v1.5.7 | Native/npm vouch source-id --source выводит identity точных ограниченных байтов общим ядром Rust | вывод не является одобрением исходника, созданием policy, доверием к artifact, аутентификацией или evidence |
| v1.5.6 | trust policy v1 отклоняет полностью корректное подписанное правило, если точная identity исходника не разрешена выбранным ключом | v0 остаётся без ограничения исходника. Нет одобрения input/request, свежести, защиты от replay или переносимых полномочий |
| v1.5.5 | ограниченный канонический пакет envelope/source/input. Выдача и приём в Native и приём в npm только для аутентификации | trust/profile/decision снаружи. WASM и Playground не предоставляют аутентификацию Ваучера |
| v1.5.4 | npm vouch verify аутентифицирует подписанные конверты Native и точные source/input/profile проверочной сборкой общего ядра Rust, совпадая с байтами отчёта v0 Native и результатами C-VN-06 | паритет упаковки одного ядра, а не независимый свидетель. npm не может выдавать, повторно выполнять, применять проверку допуска, раскрывать живое evidence или повышать сериализованный отчёт. Public WASM и Playground не экспортируют аутентификацию |
| v1.5.3 | Native vouch gate --require-decision требует аутентификацию, текущее согласие полного transcript и точное совпадение решения до возврата локального разрешения | локальный результат процесса только для Native. Сериализованные отчёты, Bridge и evidence только аутентификации не дают разрешения. Нет утверждений о свежести, предотвращении replay, identity, корректности политики, развёртывании или разрешении внешнего действия |
| v1.5.2 | namespaced-процесс Ваучера, поддерживаемый сценарий окна возврата, граница capabilities LIL 85/205 и нативный vouch verify --reexecute с раздельными результатами аутентификации и согласия текущего выполнения | повторное выполнение доступно только в native и остаётся наблюдением одной линии Rust. Нет утверждений об историческом выполнении, свежести, независимом свидетеле, авторизации, корректности политики или эквивалентности всего языка |
| v1.5.1 | нативная выдача Ваучера. Допустимые проверенные решения формируются и подписываются как конверты DSSE, затем аутентифицируются по политике доверия потребителя | только нативные release-бинарники. Действительная подпись разрешает ключ для точных проверенных байтов, но не доказывает личность, время, честность развёртывания, корректность политики или более широкую семантическую эквивалентность |
v1.5 — Интерпретатор Лиспекса, написанный на Лиспексе, и такой же, написанный на Топазе, начали работать рядом, чтобы их результаты можно было сверять.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.5.0 | ограниченные линии LIL и LIT, реестры capabilities 84 из 205, общая квитанция трёх семейств и согласованная поставка native/npm/WASM/Playground | все три семейства совпадают в 59 из 144 случаев. 179 попарных расхождений раскрыты. Нет утверждений о всём языке или независимости исходника LIT |
v1.4 — Native, npm, браузер и Песочница были выровнены по поведению, а загрузки закреплены.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.4.0 | обновление runtime и поставки, куда вошли apply и multiple values в проверяемом evaluator, ограниченный receipt fuel, согласование native/npm/WASM/Playground и закреплённые native downloads | предыдущий публичный выпуск. Native и WASM остаются одной линией Rust |
| v1.3.11 | канонический read-side Bridge, closed-world nested checks, проверка связанных артефактов и optional context | усиление native canonical reader осталось отложенным |
| v1.3.10 | adversarial-проверки классов артефактов и явные non-goals подлинности | без подписей, issuer binding, timestamping и non-repudiation |
| v1.3.9 | корпус welfare-style replay из 12 случаев | пример evaluation artifact, не юридическая или policy-модель |
| v1.3.8 | форма отчёта Моста Ваучера, offline checker и пример внешнего движка | 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 | усиление и измеренные свидетельства, не доказательство полной совместимости Scheme |
| 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 | вошло единым baseline. Промежуточные номера были этапами контрактов, а не отдельными тегами |
| v1.2.2-v1.2.8 | версионированные canonical Core, execution receipt, conformance manifest, Meaning Graph и lowering, отдельный evaluator Meaning Environment и differential receipt contract | проверяемое подмножество и линия артефактов рядом с reference interpreter, а не его замена |
v1.2 — Первый тег v1. Возбуждение ошибок и восстановление получили закреплённую форму, и открылись четыре способа запуска.
| Версия | Что изменилось | Граница |
|---|---|---|
| v1.2.0 | первый сводный тег v1. Добавлены восстанавливаемые raise, guard и with-exception-handler, а также native, Node/WASM, Playground и downloads | handlers используют закреплённую модель управления Лиспекса, а не исключения host |
| Начальная линия v1 (2026-06-28/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 | не выпуск v1.0 или v1.1. Это датированные коммиты, позже объединённые в v1.2 |
Текущие границы
- Версии языка, пакета и контрактов артефактов связаны, но не обязаны меняться одновременно.
- Профиль runtime задаёт поведение вычисления, а именованные контракты CSK и Ваучера задают схемы своих артефактов. Совпадение номера пакета само по себе не устанавливает совместимость артефактов.
- Утверждения о backend ограничены именованными строками capabilities, маршрутами hosts, корпусами и квитанциями.
- Исторические изменения квитанции и Bridge не означают новую семантику языка, если это не сказано явно.
Куда дальше
Если вы впервые знакомитесь с Лиспексом, практический вход даёт введение. Что запланировано дальше, изложено в плане развития.