Как рассуждать
- Начальная линия v1 создала детерминированный reader, гигиенический normalizer, trampoline evaluator, числовой профиль, модель управления, основу библиотеки, WASM и Playground до первого сводного тега v1.2.
- v1.2 развил вторую проверяемую линию исполнения: canonical Core, Meaning Graph, галереи решений, differential receipts, offline verification, replay и проверенные мутациями границы свидетельств.
- v1.3 превратил эту основу в процессы Lispex Vouch и Bridge; v1.4 обновил поверхности native, npm, WASM, Playground и загрузок.
- v1.5 опубликовал ограниченные линии Lispex-in-Lispex и Lispex-in-Topaz, а затем ввёл первые типизированные границы аутентификации, повторного выполнения и локального gate в Vouch.
- v1.6 собрал переносимые инструменты Vouch с авторизацией точного source; v1.7 привязал любое применение с полномочиями к отдельно переданному потребителем запросу source/input.
- v1.8.0 добавил точные Lispex Images, не наделяя байты изображения полномочиями. v1.8.1 превратил Modern-документацию в систему обучения для новичка, v1.8.2 отделил нормативный профиль от поддержки интерпретаторов, последующие checkpoints завершили знаменатель возможностей LIL, v1.8.14 добавил инспекцию канонического разрешённого Core IR, v1.8.15 — проверенный Native-байткод и явную Rust VM, v1.8.16 — необязательное согласие compiled VM в Vouch с запросом, v1.8.17 — детерминированное форматирование и редактор, v1.8.18 — явное выполнение байткода в точной установленной Topaz 5.11 VM и сравнение Rust/Topaz, v1.8.19 — полно-профильный Native-маршрут Lispex-to-Topaz AOT, а v1.8.20 — единый неполномочный суд четырёх явных маршрутов.
- v1.9.0 публикует всю эту линию v1.8.x как единый продукт переносимого исполнения, не меняя профиль языка или стандартный маршрут Rust tree.
- v1.10.0 публикует F7 как единый стабильный многомаршрутный Native-продукт: inventory, lock без пути, doctor, ограниченные измерения и закреплённое исполнение сохраняют простой tree по умолчанию, а точные продвинутые маршруты остаются явным выбором.
- v1.10.1 добавляет канонический офлайн-установщик точного локального companion, не объединяя получение, выбор и исполнение.
- v1.10.2 добавляет ограниченное официальное получение точной Topaz VM для macOS ARM64 из встроенного каталога Native, оставляя неподдерживаемые target отсутствующими.
- v1.10.3 добавляет в тот же встроенный каталог точный companion AOT-компилятора Topaz 5.11 для macOS ARM64 и передаёт установленный продукт в существующую явную границу AOT-сборки.
- v1.10.4 закрывает установленный путь от точного получения через inventory, lock без пути, doctor, ограниченное сравнение, закреплённое исполнение и перенос без discovery или fallback.
- v1.11.0 публикует всю переносимую поставку маршрутов, сохраняя точное получение, установку, выбор, исполнение и перенос необязательных companion отдельными явными действиями.
- v1.11.1 добавляет Native-цикл написания по локальному stdio MCP: точный справочник установленного продукта, ограниченный по размеру и времени авторский запуск доверенного исходника в Rust tree и поиск диагностики с закрытыми запросами, без хранения исходника и полномочий. Детерминированных счётчиков всей работы и логических выделений нет.
- v1.11.2 добавляет один MCP-инструмент сравнения с фиксированными courts tree/Rust, Rust/Topaz и всех четырёх маршрутов.
- v1.11.3 закрывает F9 поддерживаемым court установленного продукта без исходного дерева, точным совпадением диагностик CLI/MCP, ограниченной очисткой и воспроизводимым clean-room циклом написания.
- v1.12.0 публикует четыре Native stdio-инструмента как единый продукт, не меняя семантику языка, стандартный маршрут и полномочия Vouch.
- v1.13.0 публикует точный bounded evaluator provider: Native разделяет
подготовку правила и оценку, отдельно сохраняемый import-free Wasm-компонент
применяет детерминированные лимиты work и logical allocation, а portable
core разрешён только для semantic outcome или request refusal. Manifest
текущей документации также генерирует индекс
/llms.txtи sitemap только для актуальных страниц, а самодостаточный/agents.mdостаётся отдельным primer. - v1.13.1-v1.13.4 превращают этот provider в один проверяемый процесс решения:
сгенерированный пример возврата, строгий JSON, атомарный
rule run, невыполняющие inspect и verify, replay в свежем экземпляре и проверяемый установленный продукт. Это develop-checkpoints для v1.14.0; они не меняют замороженные контракты и не дают полномочий. - v1.15.1-v1.15.8 создают и квалифицируют отдельный bounded evaluator полного текущего профиля. v1.16.0 публикует этот точный component, не переименовывая и не расширяя сохраняемый restricted evaluator.
- v1.16.1 запускает practical decision workspace с закрытым финальным inventory, точным ядром из 21 файла и одной фикстурой из трёх случаев, раздельно проецируемой в evaluator и Vouch без заявления семантической эквивалентности.
- v1.16.2 добавляет только в Native локальное создание ключей Ed25519 в явно указанном новом каталоге и проверку публичного ключа в Native и npm. Для одних и тех же байтов SPKI она раздельно показывает идентификаторы издателя решения и Vouch и не считает их взаимозаменяемыми.
- v1.16.3 активирует прямое создание policy получателя в Native и npm через
сохраняемый сериализатор F14. A0 создал одну отброшенную CSPRNG-пару и
остановился до admission. Точный repair-коммит A1
ece930eaфиксирует сбой и разрешает только вторую генерацию с burn-защитой. Вторая попытка материализовала пять путей admission в основном рабочем дереве и завершила оба удаления, после чего post-delete court остановился из-за преждевременного требования committed-истории B. Recovery только по сохранённым подписанным evidence не перезапускал ceremony, сборку, pack или install, не генерировал ключ sample или provider и не подписывал admission повторно. Точный прямой дочерний Bfb07ae7cот A1 содержит финальныйlispex.recipient-sample-provenance/v1. Корни ceremony, evidence и provider отсутствуют. - v1.16.4 добавляет только в Native bounded-команду workspace status с независимым контрактом, встроенным при компиляции, и завершает финальное раздельное руководство. Дерево репозитория остаётся на 24 файлах, а успешный путь проверяется точным синтетическим court на 26 файлах.
- v1.16.5 материализует все 26 элементов практической рабочей области решений и создаёт детерминированный архив кандидата выпуска. Передача приложению связывает один аутентифицированный серверный запрос с шестью точными значениями, выполняет свежий локальный gate и публикует только запись would-act без перезаписи. Возврат денег не выполняется.
- v1.16.6 добавляет закрытый runner проверки практичности установленных продуктов и статический реестр мутаций. Source-free evidence F13 и F14 остаются отделены от repo-free evidence повторного исполнения Vouch. До отдельного запуска court и записи завершения успешный результат не заявлен.
- v1.17.0 публикует практическую рабочую область решений как точный архив из 26 элементов. Пути F13, F14, Vouch через Image и ограниченной передачи в приложение остаются отдельными и не дают полномочий внешнего действия.
- Версии языка, пакета и контрактов артефактов связаны, но не обязаны меняться одновременно.
- Профиль runtime задаёт поведение вычисления, а именованные контракты CSK и Vouch — схемы своих артефактов. Совпадение номера пакета само по себе не устанавливает совместимость артефактов.
Значимые этапы v1
| Версия | Главное изменение | Граница |
|---|---|---|
| v1.17.0 | публикует точную практическую рабочую область решений с локальной подготовкой ключей, политикой получателя, аутентифицированным обменом решений, request-bound Vouch через Image, отказами при смешении протоколов и передачей шести значений приложению | передача записывает только ограниченный would-act результат и не выполняет возврат. Restricted и full evaluators, Image, Vouch, обмен решений, ABI, value codec, portable core, receipts и точная привязка Topaz 5.11 AOT остаются отдельными и неизменными |
| v1.16.6 | добавляет один явный current-host runner проверки практичности установленных Native и npm продуктов, статическую quick-проверку и закрытый реестр точек мутации для финальной границы F16 | только develop-checkpoint. Runner принимает только переданные точные продукты, разделяет все ролевые и передаточные корни и сохраняет evidence F13, F14 и Vouch в трёх разных осях. Эта реализация не заявляет об успешном installed court или завершении F16. Не добавляются network, discovery, fallback, защита от replay, повышение Vouch или полномочие внешнего действия. Публичные продукты остаются v1.16.0 |
| v1.16.5 | материализует финальную передачу и канонический manifest, создаёт точный архив практической рабочей области из 26 элементов, добавляет отдельный Native reader архива и независимый ZIP court и описывает полный путь на трёх языках | только develop-checkpoint. Передача принимает один аутентифицированный и разрешённый серверный запрос, восстанавливает checked input из шести значений, требует свежий gate текущего запроса и публикует только ограниченную локальную запись would-act. Возврат денег и другие внешние действия не выполняются. Архив остаётся кандидатом v1.17.0, а публичные продукты остаются v1.16.0 |
| v1.16.4 | добавляет только в Native workspace status со встроенным независимым контрактом для точного inventory из 26 файлов, канонического manifest из 25 записей, восьми existence-only рабочих слотов и двух фиксированных имён команд-кандидатов. Финальное руководство сначала показывает decision exchange, а затем отдельный Vouch-путь через Image | только develop-checkpoint. Дерево репозитория остаётся на 24 файлах и успешным не объявляется. До материализации handoff и manifest в v1.16.5 положительный court использует синтетические 26 файлов. Status не читает содержимое рабочих продуктов, не исполняет, не аутентифицирует, не выполняет discovery, не использует сеть, не предотвращает replay, не повышает Vouch и не даёт полномочий внешнего действия. Публичные продукты остаются 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 court | только develop-checkpoint. Существующий rule policy, все схемы F14 и запрет issuance в npm остаются точными. Во время recovery только по сохранённым evidence не было повторного запуска ceremony, сборки, pack, install, генерации ключей sample или provider и повторной подписи admission. Приватный ключ, seed, фиктивный manifest, handoff и ZIP не сохраняются. Корни ceremony, evidence и provider отсутствуют. Доказательство личности, admission policy, повышение Vouch, защита от replay и полномочие внешнего действия не добавляются. Публичные продукты остаются v1.16.0 |
| v1.16.2 | добавляет только в Native создание пары Ed25519 из системного CSPRNG в новый каталог, заданный вызывающей стороной, и проверку в Native и npm, которая раздельно показывает идентификаторы издателя решения и Vouch для одного точного публичного SPKI DER | только develop-checkpoint; нет seed, импорта приватного ключа, перезаписи или пути по умолчанию, npm остаётся только проверочным, не добавляются экспорт ключей в браузере, сервис подписи, хранилище ключей, сеть, полномочия policy, доказательство личности, повышение Vouch, защита от replay или полномочие внешнего действия, а публичные продукты остаются v1.16.0 |
| v1.16.1 | запускает F16 с закрытым контрактом финального workspace из 26 файлов, точным ядром из 21 файла, пятью побайтовыми проекциями предшественников и тремя фактами возврата, отдельно отображёнными в переносимые строки и канонические решения | только develop-checkpoint; не добавляются фиктивные samples, финальный manifest, ZIP, инструменты ключей или policy, изменение evaluator, повышение Vouch, заявление семантической эквивалентности, защита от replay или полномочие внешнего действия, а публичные продукты остаются v1.16.0 |
| 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, fallback, host capability, pooling, повышения Vouch, защиты от replay или полномочия внешнего действия, а admission в Topaz остаётся последующей задачей владельца Topaz |
| v1.15.8 | фиксирует отдельный поставщик вычислителя полного профиля и добавляет одну машиночитаемую передачу Topaz только на уровне компонентов, раздельно связывающую сохранённый контракт LPXART01 и полный LPXFAR01, векторы, архив распространения, хранение, release DAG и финальный court | только develop-checkpoint; публичный выпуск, допуск Topaz, закрепление всего выпуска, Vouch и полномочия на внешние действия не добавляются, а restricted evaluator и отношения AOT и LIT не меняются |
| v1.15.7 | добавляет отдельный точный full-profile Wasm evaluator без импортов и явные Native prepare, evaluate, inspect, verify и replay со fresh instance для каждого исполнения | только develop-checkpoint; все новые identity остаются приватными кандидатами до qualification, промежуточный компонент не передаётся Topaz, а точный 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 и опубликованное отношение потребителя Topaz не меняются |
| 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, отношение текущего публичного потребителя Topaz, точный pin Topaz 5.11 AOT и evidence LIT не меняются |
| v1.15.0 | публикует полный аутентифицированный обмен решениями: task-first пример возврата, точную передачу авторского материала в Native, Ed25519 envelope издателя, политику получателя, ограниченный канонический .lpxdecision, полный Native-процесс и проверочные inspect/authenticate в npm | evaluator, portable core, профиль, meter, ABI, маршруты по умолчанию и точный pin Topaz 5.11 AOT не меняются; подпись, привязка запроса и replay разделены, а защита от повторного использования, повышение Vouch и внешнее полномочие отсутствуют |
| v1.14.6 | закрывает F14 одним clean-installed court обмена решениями Native/npm без исходника, точной relocation и replay и компактной неавторитетной product receipt | только develop-checkpoint: исходник, исходный JSON, private key, discovery, fallback, сеть, повышение Vouch, защита от replay и внешнее полномочие отсутствуют; публичные продукты остаются v1.14.0 |
| v1.14.5 | добавляет один ограниченный канонический .lpxdecision bundle из семи файлов, полный Native-процесс issue/inspect/authenticate/replay и только проверочные npm inspect/authenticate | только develop-checkpoint: в bundle нет исходника, исходного JSON, private key, discovery, fallback, сети, статуса Vouch, защиты от replay или внешнего полномочия; browser exports и публичные продукты не меняются |
| v1.14.4 | добавляет отдельный Ed25519 decision-issuer envelope над точными байтами portable core, создание и проверку политики получателя и Native-аутентификацию без выполнения | только develop-checkpoint: metadata издателя неавторитетна, replay не выполняется, защита от повторного использования не предоставляется, внешнее полномочие отсутствует; evaluator, portable core, Vouch, загрузки и публичная версия не меняются |
| 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 не меняются, а полномочия издателя, exchange bundle, Vouch и внешнего действия не добавляются |
| v1.14.1 | переводит канонические изображения Lispex в Native, npm, публичном WASM, Playground и поддерживаемых примерах на контракты image, profile и codebook v2 с палитрой Sunlit Amber | только develop-checkpoint; байты исходника, семантика языка, выполнение, полномочия Vouch и все контракты вне изображений не меняются |
| v1.14.0 | публикует полный проверяемый процесс решения: строгий JSON, точные лимиты, атомарный rule run, невыполняющие inspect и verify, replay в свежем экземпляре, один сгенерированный пример возврата в документации для людей и агентов и точный лицензированный архив evaluator | evaluator и замороженные контракты не меняются; процесс доступен только в Native, portable core не получает полномочий и не становится Vouch evidence, а 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, полномочий Vouch или публичного релиза |
| v1.13.3 | добавляет lispex rule inspect, verify и replay для точного каталога из пяти файлов, глубокую проверку prepared bytecode и связей результата и один replay в свежем экземпляре | inspect и verify не выполняют правило; replay не восстанавливает исходник, не аутентифицирует, не ищет, не вызывает fallback или сервис, не предотвращает replay, не повышает Vouch и не разрешает внешнее действие |
| v1.13.2 | добавляет атомарный Native lispex rule run поверх точного исходника, строгого JSON, раздельных лимитов подготовки и вычисления и встроенного evaluator | существующий вывод не перезаписывается; каталог не сохраняет raw source, raw JSON, host path, discovery, fallback, remote transport, Vouch eligibility или external-action authority |
| v1.13.1 | добавляет один сгенерированный refund fixture и строгий детерминированный JSON-to-evaluator-value adapter с отказом для повторных ключей и inexact numbers | только develop checkpoint; без новой операции evaluator, semantic profile, public schema, команды, route, capability, fallback, полномочий Vouch или релиза |
| 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, fallback, удалённого транспорта, browser embed, аутентификации issuer, полномочий Vouch и реализации consumer Topaz. У 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, fallback, удалённого транспорта, полномочий Vouch, browser embedding, реализации consumer Topaz или production-публикации |
| v1.12.3 | добавляет Native-команды lispex embed prepare, evaluate, inspect и verify поверх одного точно встроенного Wasm-оценщика без импортов; подготовка и вычисление имеют отдельные точные лимиты, каждая операция получает новый Store/Instance, а успешное вычисление несёт канонические байты результата | только develop-checkpoint: контракты остаются кандидатами; нет пути к оценщику, discovery, fallback, host callback, удалённого транспорта, полномочий Vouch, portable receipt или production-публикации |
| v1.12.2 | добавляет воспроизводимый Wasm bundle ограниченного evaluator без импортов, закрытый кандидат value-only ABI, передачу canonical prepared bytecode, точное владение запросом и fresh-instance Rust VM для трёх поддерживаемых policy rules | только checkpoint в develop: контракты остаются непубличными; нет Native lispex embed, portable receipt, fallback, host capability, полномочий Vouch или production-развёртывания |
| v1.12.1 | заменяет устаревший общий контракт step/allocation четырьмя осями подготовки и десятью осями выполнения, удаляет потреблённые значения из кандидата portable core и добавляет независимые векторы Node/Rust и три поддерживаемых проверки пригодности правил | только checkpoint в develop: нет публичного ID meter/profile/ABI/receipt, evaluator bundle, команды lispex embed, portable receipt, fallback, host capability, полномочий Vouch или production-развёртывания |
| v1.12.0 | публикует точный справочник установленного продукта, ограниченный по размеру и времени авторский запуск доверенного исходника в Rust tree, каталог диагностик, фиксированное закрытое сравнение маршрутов, открытые primer/descriptor и поддерживаемый court установленного продукта как одну Native stdio-поверхность | нет sandbox для враждебного исходника, детерминированного счётчика всей работы/логических выделений, переносимой квитанции тайм-аута, удалённого сервиса, доступа к файлам/workspace, произвольного подмножества маршрутов, discovery, частичного сравнения, fallback, выбора ответа, хранения исходника, MCP в npm/браузере, доказательства эквивалентности или полномочий Vouch; неверсионированная grammar tree-sitter остаётся отдельной и неопубликованной |
| v1.11.3 | добавляет поддерживаемый court установленного Native MCP для четырёх точных инструментов, совпадения CLI для E100/E303/E321, запрета host-возможностей, изоляции состояния вызовов, ограниченного завершения и восстановления, согласия или расхождения закрытых courts и детерминированного clean-room цикла | court не сохраняет исходник или выбранный ответ, не добавляет инструмент или маршрут, не заявляет предел памяти ОС и не даёт remote transport, discovery, fallback, частичного сравнения, доказательства эквивалентности или полномочий Vouch |
| v1.11.2 | добавляет lispex_compare_routes с фиксированными courts tree-rust, rust-topaz и all-four, строгим допуском companion только при запуске, свежей AOT-сборкой на запрос и явным результатом совпадения или расхождения | без произвольного подмножества маршрутов, путей в запросе, поиска, частичного сравнения, fallback, выбора ответа, хранения исходника, удалённого транспорта, доказательства семантической эквивалентности и полномочий Vouch |
| v1.11.1 | добавляет lispex mcp serve со стабильным MCP 2025-11-25 и ровно тремя Native-инструментами: справочник установленного языка, ограниченный по размеру и времени авторский запуск доверенного исходника в Rust tree и поиск диагностики | только локальный stdio; нет sandbox для враждебного исходника, детерминированного счётчика всей работы/логических выделений, переносимой квитанции тайм-аута, файлов, сети, поиска или сравнения маршрутов, fallback, хранения исходника, поверхности npm/браузера, доказательства семантической эквивалентности и полномочий Vouch |
| v1.11.0 | публикует канонический route catalog и установщик stored-ZIP, ограниченное точное получение companion, допущенные ячейки Topaz VM/AOT compiler для macOS ARM64 и поддерживаемый путь от fetch до переноса как единый Native-продукт | Rust tree остаётся стандартным; неподдерживаемые target отсутствуют; внешние продукты явны, lock без пути их не ищет; исполнение не использует сеть или fallback; route-материал не входит в полномочия Vouch |
| v1.10.4 | добавляет поддерживаемый путь и суд точных продуктов, соединяющий две установки companion с AOT-сборкой, inventory и измерением четырёх маршрутов, lock VM/AOT без пути, doctor, закреплённым исполнением и переносом без изменения lock | не добавляет маршрут или target; каждый внешний root задаётся снова, исполнение не получает и не подменяет продукт, Rust tree остаётся стандартным, а companion, lock, измерение и результат не входят в полномочия Vouch |
| v1.10.3 | добавляет официальный routes fetch --route aot-compiler точного восьмифайлового companion компилятора Topaz 5.11 для macOS ARM64, проверку неизменяемого release manifest и детерминированную source-free AOT-сборку через перенесённый установленный компилятор | существует только допущенная target; fetch и установка не выбирают и не исполняют маршрут, Rust tools задаются отдельно, неподдерживаемая target отклоняется до transport, а каталог, архив и результат сборки не входят в полномочия Vouch |
| v1.10.2 | добавляет Native routes fetch, один точный встроенный официальный каталог и детерминированный companion допущенной Topaz 5.11 VM для aarch64-apple-darwin | получение явно и отделено от исполнения; нет произвольного URL/каталога, перенаправления, повтора, регистрации, discovery, выбора, fallback, подмены неподдерживаемой target или повышения Vouch |
| v1.10.1 | добавляет Native routes install, канонический lispex.route-catalog/v1, lispex.route-installation/v1 без пути и ограниченный канонический stored-ZIP для точного локального companion Topaz VM или AOT compiler | только локальная установка: без сети, регистрации, discovery, выбора, fallback, повышения Vouch, заявления новой target и смены default; обычный Rust tree не требует companion |
| v1.10.0 | публикует стабильные Native inventory и doctor, lock маршрута без пути, ограниченные измерения и закреплённое исполнение tree/Rust VM/Topaz VM/AOT как единый продукт | tree остаётся совместимым маршрутом по умолчанию, эталоном и восстановлением; внешним продуктам нужны явный абсолютный путь и точная identity, маршруты не обнаруживаются и не используются как fallback, время носит только описательный характер, а lock и результаты не становятся полномочием Vouch |
| v1.9.3 | добавляет locked routes run, общий typed-result четырёх маршрутов и закрывает F7, сохраняя tree как compatible default/reference/recovery | внешние продукты остаются явными и точными; selection/result не выполняют discovery, retry или вход в Vouch, а timing не выбирает полномочия. Следующий public minor активируется и утверждается отдельно |
| v1.9.2 | добавляет ограниченные Native samples routes measure для tree, Rust VM, точной Topaz VM и точного AOT рядом с отдельной канонической квитанцией сравнения | время — описательные данные конкретного host/run, а не semantic/security evidence, межмашинная воспроизводимость, полномочия Vouch, fallback или решение default-маршрута |
| v1.9.1 | добавляет Native routes inventory, канонический неперезаписываемый routes lock и строгий routes doctor для tree, Rust VM, точного установленного Topaz VM и точного AOT | discovery продуктов остаётся отключённым, абсолютный путь внешнего продукта задаётся заново, selection/diagnostic JSON не дают полномочий Vouch, совместимый default tree не меняется |
| v1.9.0 | публикует как единый продукт систему обучения, сходимость LIL 205/205, канонический Core IR, проверенный байткод и Rust VM, request-bound compiled Vouch, форматирование исходника, явные exact Topaz VM/AOT и суд четырёх маршрутов | сохраняет lispex-profile-1.5, Rust tree как reference/default, различия поддержки и ресурсов маршрутов, нулевой fallback и typed-неповышение Vouch. Не заявляет доказательство всего профиля или независимого свидетеля, не меняет defaults F7 и не выдумывает compiled-маршруты npm/браузера/Песочницы |
| v1.8.20 | добавляет Native compare-routes: одно выведение frontend для исходника/входа, допуск точно соответствующего AOT, явное выполнение tree/Rust VM/Topaz VM/AOT и неперезаписываемую квитанцию lispex.route-comparison/v1 с семантическими и сопоставимыми ресурсными осями. Исправляет charge примитива и структурированные resource-fault AOT, детерминированно финализирует macOS executable с точными identity strip/sign и повторно связывает артефакт Topaz | сохраняет маршруты и default независимо, оставляет отсутствующие счётчики tree и реальные различия ресурсной диагностики видимыми, не повторяет ошибку через другой маршрут и не создаёт семейство, доказательство, evidence Vouch или gate. npm явно отклоняет команду; открытый WASM, браузер и Песочница не имеют замены |
| v1.8.19 | добавляет для Native macOS ARM64 полно-профильный Lispex-to-Topaz AOT: детерминированные читаемые Topaz и source map, допуск точных установленных инструментов сборки Topaz/Rust, строгие build, inspect, validate и run продукта без исходника, канонические полноразрядные ресурсы u64, диагностики, предупреждения и пять видимых нулевых fallback | сохраняет lispex-profile-1.5, восстановительные маршруты Rust tree/VM, отдельную Topaz VM, поведение npm/WASM/браузера/Песочницы и все typed-границы полномочий Vouch. AOT с приоритетом корректности — проверяемый исполняемый материал, а не межлинейная квитанция, доказательство эквивалентности, доверие производителю или вход gate |
| v1.8.18 | добавляет в Native для macOS ARM64 явный маршрут bytecode run --engine topaz --topaz-vm через точный установленный продукт Topaz 5.11 lispex-topaz-vm/v1, квитанции compare-vms над одним проверенным байткодом и сохраняет все операции компиляции Core IR/байткода в оптимизированном Native | Rust остаётся движком по умолчанию. Лиспекс строго связывает продукт, запрос, результат, identity байткода/входа, канонические полноразрядные ресурсы u64 и нулевой fallback; ошибка не запускает другой движок. Транспорт и сравнение Topaz диагностические, не входят в Vouch, не создают полномочий и не доказывают независимую эквивалентность всего языка. В npm, открытом WASM, Песочнице, других целях и AOT маршрута Topaz VM нет |
| v1.8.17 | добавляет детерминированный Native lispex fmt, тихий --check, безопасный --write и Format Document в VS Code/Open VSX с сохранением комментариев, pragma, tokens и исходного написания литералов | форматтер проверяет до вывода или замены и меняет только пробельное окружение; нет выполнения, изменения lispex-profile-1.5, канонизации значений, evidence или fallback в npm/WASM/Песочницу. Публикация в marketplaces и production-выпуск требуют отдельных полномочий |
| v1.8.16 | добавляет канонический lispex.vouch-compiled-artifact/v1, Native-команды vouch compiled build/inspect/validate, явный vouch verify --reexecute --compiled-artifact и compiled gate, требующий точного повторного выведения из исходника и совпадения протоколов текущих tree/Meaning и проверенной Rust VM | потребитель по-прежнему передаёт точные исходник и вход, аутентификация и текущий tree/Meaning остаются обязательными, fallback отсутствует. Обычный байткод, контейнер, хэш, отчёт, вывод VM или происхождение compiler не создают свидетельство или полномочие. VM относится к той же линии Rust, а не к независимому свидетелю; npm, открытый WASM и Песочница не предоставляют compiled Vouch |
| 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 не имеет fallback. Tree и VM разделяют Rust-значения и листья примитивов, поэтому сравнение — свидетельство одной линии, а не независимый бэкенд или доказательство. npm, открытый WASM и Песочница не предоставляют bytecode/VM; байткод, результат verifier, VM или сравнение не входят в цепочку полномочий Vouch |
| v1.8.14 | добавляет канонический lispex.core-ir/v1 для всего профиля со стабильными ID 205 примитивов, разрешёнными лексическими и глобальными ячейками, точными захватами замыканий и хвостовыми позициями, координатами исходника, аудиторской проекцией Canonical Core и командами Native core-ir build, validate, inspect | Core IR — невыполняемый материал integrity-only той же линии Rust: он не заменяет Meaning Graph, не аутентифицирует происхождение, не связывает запрос, не доказывает независимое согласие и не даёт полномочий Vouch; npm, открытый WASM и Песочница не предоставляют reader или команды Core IR |
| v1.8.13 | реализует в LIL %, list-first и list-rest с точными совместимыми предупреждениями W330/W331, повышая текущее покрытие возможностей с 202/205 до 205/205 | предупреждение возникает только при запуске настоящего deprecated-примитива, сохраняет порядок, выдаётся один раз на место исходника, остаётся при последующей ошибке и отделено от stdout, значений и диагностики; полное покрытие возможностей не утверждает эквивалентность всего языка, не меняет Rust или LIT, историческую квитанцию, полномочия Vouch и не разрешает production-выпуск |
| v1.8.12 | реализует в LIL display, write, newline и println через ограниченный private effect sink, повышая текущее покрытие с 198/205 до 202/205 | явный вывод и автопечать корневых результатов сохраняют точный порядок stdout, а завершённые значения получают отдельную typed-проекцию; rendering, возврат нуля значений, частичный вывод и arity совпадают с профилем без stdout host или fallback Rust. Deprecated-псевдонимы с предупреждениями, изменения Rust или семантики языка, LIT, исторической квитанции, полномочий Vouch и разрешение production-выпуска остаются вне границы |
| v1.8.11 | реализует в LIL все 12 оставшихся процедур высшего порядка для коллекций через явные кадры продолжения гостевой машины, повышая текущее покрытие с 186/205 до 198/205, а guest-calling — с 6/18 до 18/18 | порядок callback, строгое boolean-короткое замыкание, контексты одного/отбрасываемых значений, символьный результат строки, снимок вектора, ошибки и одноразовые выходы остаются внутри LIL без callback host или fallback Rust; output-строки, deprecated-псевдонимы, изменения Rust или семантики языка, LIT, исторической квитанции, полномочий Vouch и разрешение 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, исторической квитанции, полномочий Vouch и разрешение 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, исторической квитанции, полномочий Vouch или разрешения production-выпуска |
| v1.8.8 | допускает 18 предикатов, преобразований и сравнений без учёта регистра для символов и строк через явно записанное Unicode-ядро host LIL, повышая покрытие с 143/205 до 161/205 | происхождение ядра host остаётся явным; нет перехода к полной Unicode CaseFolding, locale collation, нормализации, скрытого fallback, изменений Rust или семантики языка, LIT, исторической квитанции, полномочий Vouch или разрешения production-выпуска |
| v1.8.7 | реализует внутри LIL копирование и навигацию по спискам, общий хвост, детерминированные конструкторы списков и строк, а также преобразование строк и векторов по индексам символов, повышая покрытие с 135/205 до 143/205 | нет устаревших alias с предупреждениями, нового делегирования или fallback в host, изменений Rust или семантики языка, LIT, исторической квитанции, полномочий Vouch или разрешения production-выпуска |
| v1.8.6 | реализует внутри LIL чувствительные к регистру цепочки порядка символов и строк по Unicode scalar и лексикографическому порядку, повышая покрытие с 127/205 до 135/205 | нет locale collation, нормализации, case folding, нового делегирования или fallback в host, изменений Rust или семантики языка, LIT, исторической квитанции, полномочий Vouch или разрешения production-выпуска |
| v1.8.5 | реализует внутри LIL три предиката башни конечных вещественных, структурный !=, memv, assoc, assq и assv, повышая текущее покрытие с 119/205 до 127/205 | нет нового делегирования или fallback в host, изменений Rust или семантики языка, изменений LIT, переписывания исторической квитанции, полномочий Vouch или разрешения production-выпуска |
| v1.8.4 | составляет внутри LIL abs, square, три предиката знака/нуля, boolean=? и symbol=?, повышая текущее покрытие с 112/205 до 119/205 | нет нового делегирования или fallback в host, изменений Rust или семантики языка, изменений LIT, переписывания исторической квитанции, полномочий Vouch или разрешения production-выпуска |
| v1.8.3 | реализует внутри написанного на Lispex ядра LIL все 27 недостающих составных селекторов пар от caar до cddddr, повышая текущее покрытие LIL с 85/205 до 112/205 | нет fallback в host, изменений Rust или семантики языка, изменений LIT, переписывания исторической квитанции, полномочий Vouch или разрешения production-выпуска |
| v1.8.2 | помечает все 205 текущих возможностей как нормативные profile-required, отдельно классифицирует решения host-only и future-profile и даёт каждому из 179 исторических расхождений пар одну проверяемую машиной основную причину | семантика языка, числа поддержки Rust/LIL/LIT, байты исторической квитанции, полномочия Vouch, изображения и граница production-выпуска не меняются; классификация не означает принятие или исправление |
| v1.8.1 | перестраивает Modern-документацию в курс для новичка из четырёх шагов, обзор синтаксиса, десять групп со сквозной нумерацией и 53 полноценные поверхности на английском, корейском и русском; в Загрузках появляются точная проверка версии, восстановление команд и официальные ссылки VS Code/Open VSX | меняются только документация и представление продукта; Classic сохранён побайтно, а lispex-profile-1.5, возможности Rust/LIL/LIT, формат изображений, схемы Vouch и типизированные полномочия не меняются |
| v1.8.0 | публикует точные Lispex Images как единый продукт на том же Rust для Native, npm, Node/browser WASM и локального Playground, а полностью доказанное изображение передаёт точные байты source в существующий Request-Bound Vouch | изображение сохраняет точные открытые байты source и commitments целостности, но не даёт секретности, подписи, provenance, независимого свидетеля, trust, свежести, выбора запроса, корректности решения или полномочия исполнения |
| v1.7.3 | полностью доказанное Lispex Image передаёт точные байты source в Native Vouch identity, policy, issue, inspect, authentication, re-execution и gate, а также в npm identity, policy и authenticated verify; поддерживаемый refund-window использует image-ingress по всей цепочке | изображение выбирает только представление source; обязательны consumer-owned binding source/input и прежняя typed-цепочка полномочий, а PNG/ZIP, inspection JSON, bundle и 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 не являются Vouch evidence или полномочием |
| v1.7.1 | добавляет канонические изображения Lispex в Native: точное кодирование source в PNG/ZIP, inspection открытых commitments, побайтное декодирование и явное выполнение только после полного доказательства каноничности | каноничность изображения — это целостность, а не секретность, подпись, provenance, trust, request binding, Vouch evidence или полномочие исполнения; npm, public WASM и Playground пока не предоставляют image-операции |
| v1.7.0 | публикует Request-Bound Vouch как единый потребительский процесс: вывести exact identity, создать и проверить policy, выпустить bundle, аутентифицировать его в Native или npm с необязательным внешним запросом source/input, затем повторно выполнить и применить gate только к этому live-запросу в Native | unpinned-проверка bundle остаётся только аутентификацией; равенство запроса не означает свежесть, защиту от replay, identity, provenance, корректность policy или полномочие внешнего действия |
| v1.6.4 | делает verification-only npm Vouch WASM воспроизводимым до тех же отслеживаемых байтов из чистого, изменённого или перемещённого checkout и позволяет автономному аудиту export-поверхности работать из чистого checkout | фиксированные неаттестующие build placeholder и виртуальный путь исходников не являются Git provenance или заявлением о воспроизводимой сборке Native, browser WASM либо других платформ |
| v1.6.3 | Native re-execution и gate bundle требуют совпадающие внешние source/input и проводят к grant только live request-bound evidence; обновление локализованной документации добавляет пространство /v1.6 публичной minor-версии, Загрузки, нумерацию current/Classic, выровненные поверхности, краткие заголовки браузера, сбалансированный responsive hero, корейский wordmark 리스펙스 и единую читаемую locale-aware систему подписей для landing, форм/данных, результатов, pager и категорий меню | unpinned verify bundle остаётся только аутентификацией; равенство запроса не является свежестью, намерением или внешним полномочием |
| v1.6.2 | Pinned bundle verify в 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.0 | объединяет portable bundle v0, key-local exact-source policy v1, общие Rust source-id/policy и raw/bundle-аутентификацию в один потребительский процесс Vouch | семантический профиль и схемы artifacts заморожены; только Native выдаёт, повторно выполняет или применяет gate |
| v1.5.8 | Native/npm vouch policy create/check составляет и проверяет каноническую потребительскую trust policy v1 общим Rust | корректная конфигурация не является выбором доверия, аутентификацией, evidence, re-execution, grant решения или внешними полномочиями |
| 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 | ограниченный канонический bundle envelope/source/input; выдача/приём Native и приём npm только для аутентификации | trust/profile/decision снаружи; WASM и Playground не предоставляют аутентификацию Vouch |
| v1.5.4 | npm vouch verify аутентифицирует подписанные конверты Native и точные source/input/profile проверочной сборкой общего ядра Rust, совпадая с байтами отчёта v0 Native и результатами C-VN-06 | паритет упаковки одного ядра, а не независимый свидетель; npm не может выдавать, повторно выполнять, применять gate, раскрывать живое evidence или повышать сериализованный отчёт; public WASM и Playground не экспортируют аутентификацию |
| v1.5.3 | Native vouch gate --require-decision требует аутентификацию, текущее согласие полного transcript и точное совпадение решения до возврата локального grant | локальный результат процесса только для Native; сериализованные отчёты, Bridge и evidence только аутентификации не дают grant; нет утверждений о свежести, предотвращении replay, identity, корректности политики, развёртывании или разрешении внешнего действия |
| v1.5.2 | namespaced-процесс Vouch, поддерживаемый сценарий окна возврата, граница capabilities LIL 85/205 и нативный vouch verify --reexecute с раздельными результатами аутентификации и согласия текущего выполнения | повторное выполнение доступно только в native и остаётся наблюдением одной линии Rust; нет утверждений об историческом выполнении, свежести, независимом свидетеле, авторизации, корректности политики или эквивалентности всего языка |
| v1.5.1 | нативная выдача Vouch: допустимые проверенные решения формируются и подписываются как конверты DSSE, затем аутентифицируются по политике доверия потребителя | только нативные release-бинарники; действительная подпись разрешает ключ для точных проверенных байтов, но не доказывает личность, время, честность развёртывания, корректность политики или более широкую семантическую эквивалентность |
| v1.5.0 | ограниченные линии LIL и LIT, реестры capabilities 84 из 205, общая квитанция трёх семейств и согласованная поставка native/npm/WASM/Playground | все три семейства совпадают в 59 из 144 случаев; 179 попарных расхождений раскрыты; нет утверждений о всём языке или независимости исходника LIT |
| 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 | форма отчёта Vouch Bridge, offline checker и пример внешнего движка | checker не запускает и не доказывает внешний движок |
| v1.3.1-v1.3.7 | замкнут практический цикл Vouch: native receipt generation, identity release-build движка, offline verify, versioned replay corpus и явная граница подлинности | Vouch записывает объявленное исполнение и связи байтов; не добавляет подпись или доверие издателю |
| 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 | исполнение профиля, не вся поверхность языка Lispex |
| 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.0 | первый сводный тег v1; добавлены восстанавливаемые raise, guard и with-exception-handler, а также native, Node/WASM, Playground и downloads | handlers используют закреплённую модель управления Lispex, а не исключения 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 |
Частая ошибка
В репозитории нет release-тегов v1.0 или v1.1. Поэтому «начальная линия v1» — датированный этап реализации, а не выдуманный выпуск.
Текущие границы
- Утверждения о backend ограничены именованными строками capabilities, маршрутами hosts, корпусами и квитанциями.
- Хронология опускает правки только текста, CI-churn, обновления хэшей, механику ревью и репетиции выпуска, если они не меняли пользовательскую возможность или существенную границу проверки.
- Исторические изменения receipt и Bridge не означают новую семантику языка, если это не сказано явно.
Куда дальше
Практический вход находится во введении, а точная история каждого выпуска — в разделе «История».