Топаз развивается посредством публичных минорных релизов. Каждый минорный релиз определяет версию продукта, устанавливаемую пользователем.
Релизы
Каждый закрытый патч получает строку в истории независимо от того, опубликован он напрямую или накоплен в develop для следующего минорного релиза. Раскрыв минорный релиз, читатель видит его контрольные патчи в порядке от новых к старым. Ни одна из этих контрольных точек не меняла язык.
5.19.0Добавлены приложения решений Lispex с полным текущим профилем для интерпретатора и пяти нативных платформ; ограниченный профиль 5.18 сохранён как неизменяемый маршрут совместимости.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.19.0 | Публичный | Контракт topaz/lispex-decision-application/2 добавляет однократную подготовку и многократное вычисление, общие квоты приложения, отмену, управление параллелизмом, очистку, потребительские артефакты, повтор в новом экземпляре и нативные продукты без исходного кода. Маршруты Python, Web и HTTP отклоняются до вывода, а контракт ограниченного профиля 5.18 остаётся доступен существующим пакетам. |
5.18.1Представлены полнофункциональные ограниченные приложения решений на Лиспексе. Зафиксированный пакет связывает именованные правила с заданными лимитами и квотами. Сервер MCP встроен в установленный инструментарий и поддерживает запуск в изолированном рабочем процессе без расширенных полномочий.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.18.0 | Публичный | Опубликован первоклассный профиль приложения решений на Лиспексе, в котором запертый пакет один раз готовит именованное правило и вычисляет много канонических значений через интерпретатор или допущенную нативную цель релиза. Потребительские артефакты можно сохранять, просматривать, проверять и заново воспроизводить в новом экземпляре. Эти артефакты и их переносимые ядра создаёт потребитель, они не заверены. |
| 5.17.19 | Внутренний | Независимо заново выведен точный перечень активации 5.18 из принятого запечатанного дерева. Закреплённый квитанцией перечень T18-V остался побайтно неизменным. Канонический последующий delta-документ добавляет обнаруженную поверхность наследования репозитория topaz_lispex_h1_oracle, а относительный к репозиторию обход Node находит все текущие поверхности без внешней установки ripgrep. Репетиция только для чтения построила 83 файла overlay кандидата, сохранила 13 границ пересборки, прошла 33 отрицательных проверки и не изменила репозиторий. Активация 5.18 не выполнялась. Граница T18-CP, T18-V. |
| 5.17.18 | Внутренний | Без запуска зафиксированы транспорт запечатанного корпуса и привязка предварительной проверки Linux. Размещённая GitHub задача проверяет точные записи H2H, загружает один закрытый артефакт с хранением один день и замыканием по хешу, затем удаляет три исходных артефакта. Предварительная проверка кандидата не имеет доступа к запечатанному содержимому. Один новый размещённый потребитель хеширует содержимое как непрозрачные байты, связывает неизменившийся результат Linux и может подписать связь через закреплённые полномочия Sigstore. Это контроль доступа репозитория, а не заявление о сквозном шифровании. У переиспользуемого координирующего workflow нет вызывающей стороны, и он не запускался. Обычное движение поставщика не является входом Топаза. Граница T18-H2I. |
| 5.17.17 | Внутренний | До первого запуска исправлен скрытый дефект полномочий переиспользуемого workflow. Обе задачи, использующие backend, теперь выбирают буквальный сохранённый коммит H2H вместо зависящего от вызывающей стороны github.workflow_sha, а последующие полномочия отдельно закрепляют коммит исправленного workflow без переписывания исторической записи H2H. Граница T18-H2H. |
| 5.17.16 | Внутренний | Зафиксирована инфраструктура для свежего начального значения и генератора, не получающего идентичность кандидата, без производственного запуска. Неизменяемый корень генератора создаёт ровно сорок восемь случаев с прямыми ожидаемыми результатами WASM в двенадцати фиксированных семействах ограниченного профиля из 256-битного значения, созданного после замораживания. Изолированный переиспользуемый workflow не передаёт генератору идентичность кандидата, репозитории, сеть, событие или прежние результаты, а отдельный внешний связующий шаг добавляет идентичность только после генерации. Синтетические проверки детерминизма и привязки пройдены. Граница T18-H2H. |
| 5.17.15 | Внутренний | Зафиксированы полномочия на замораживание кандидата и удалённое изолирование без запуска производственного пути. Набор из четырнадцати ролей относит каждый безопасный обычный blob Git ровно к одной роли. Неизменяемый доверенный генератор строит канонические манифесты ролей и полное замыкание непосредственно из объектов Git, изолированный размещённый вызов обрабатывает байты кандидата только как данные, а автономная проверка независимо воспроизводит замыкание и принимает только закреплённого подписанта H2F и сохранённый корень доверия. Обычное движение ветки поставщика не является входом. Пройдено девятнадцать целевых проверок исходного дерева, Git, workflow и верификатора. Граница T18-H2G. |
| 5.17.14 | Внутренний | Зафиксировано замыкание доверенной размещённой сборки без её запуска. Более ранний неизменяемый коммит содержит обработчик изолирования только для данных, точные схемы и политику, корень Sigstore Public Good и конфигурацию подписи. Его потомок содержит повторно используемый подписывающий workflow только с workflow_call, а текущая проверка закрепляет этот коммит, фиксированный выпуск GitHub CLI и сохранённый корень. Совпали две детерминированные синтетические сборки, пройдено шестнадцать целевых проверок данных, файловой системы, Git, workflow и верификатора. Граница T18-H2F. |
| 5.17.13 | Внутренний | Зафиксированы принадлежащие Топазу полномочия для проверки ограниченной интеграции поверх уже сохранённого точного замыкания компонента. Прямой оракул компонента без знания кандидата, независимый свидетель Node, набор из двенадцати строк интеграции и неизменяемая политика GitHub Actions OIDC и Sigstore заменяют зависимость от движущейся ветки поставщика. Обычное движение ветки Лиспекса не запускает в Топазе получение, поиск, повторный аудит или остановку. H2B выполняется только для явно разрешённого владельцем версионированного предложения. Контрольная точка заявляет только соответствие интеграции приложения Топаза. Граница T18-H2E. |
| 5.17.12 | Внутренний | Входы проверены повторно после того, как ветка Лиспекса origin/develop ушла вперёд на прямой коммит с исправлением. Точный набор из 23 изменённых путей сохраняет прерванную попытку создания образца получателя и историю исправления. Канонический журнал фиксирует отсутствие начала основного допуска и подписи завершения очистки, а также явно отрицает независимую внешнюю аттестацию и доказательство отсутствия данных в памяти. Все девять поисков обязательных входов дали ноль совпадений в восьми сохранённых удалённых ветках. Записи поставщика и несвязанные открытые ключи остались побайтно идентичны, поэтому ни отброшенный ключ образца, ни ключ очистки не являются полномочием Топаза H1. Граница T18-H2. |
| 5.17.11 | Внутренний | Два внешних входа проверены повторно после того, как ветка Лиспекса origin/develop ушла вперёд. Все девять точных поисков входов дали ноль совпадений в восьми сохранённых удалённых ветках, а три сохранённые записи поставщика F15 остались побайтно идентичны. Новый ключ Ed25519 связан только с локальным наблюдением поставщика за очисткой получателя и не является корнем доверия владельца или проверяющего Топаза H1. Граница T18-H2. |
| 5.17.10 | Внутренний | Добавлен нейтральный к кандидату протокол приёма двух отсутствующих внешних входов. Будущие предложения поставщика и корня доверия должны находиться вне рабочего дерева Топаза и точно связывать удалённый репозиторий, коммит, объекты Git, размеры, хеши, роли, ключи содержимого поставщика и раздельные материалы владельца и проверяющего. Проверка не исполняет предложенный код и сообщает только о структурной пригодности к рассмотрению, но не о допуске. Одна одноразовая синтетическая пара прошла, а двадцать девять отрицательных контролей отклонили неверный формат, псевдонимы, изменяемые объекты, управление кандидатом, чужую область полномочий и секретные данные. Настоящие модуль поставщика и корень доверия не получены. Граница T18-H2. |
| 5.17.9 | Внутренний | Заново проверено, поступили ли два недостающих внешних входа, по ветке Лиспекса origin/develop на девять коммитов после сохранённой передачи, с охватом всех 12 250 отслеживаемых файлов. По-прежнему отсутствуют и самодостаточный модуль семантики и тарифов поставщика, и не управляемый кандидатом корень доверия владельца и проверяющего. Добавлена повторяемая проверка сохранённых байтов и точных свидетельств Git поставщика. Граница T18-H2. |
| 5.17.8 | Внутренний | Добавлен заново выведенный контракт пользователя ограниченного приложения только для кандидата на английском, корейском и русском. Он закрепляет все 17 файлов сопровождаемого примера, выводит только манифест 5.18 и корневой хеш блокировки и готовит 24 синхронизированные операции для руководств, навигации, статуса, текста выпуска и отката. Семь неподдерживаемых маршрутов остаются явными. Две изолированные подготовки дали одинаковые байты, пройдено двадцать шесть отрицательных контролей. Вычислитель полного профиля описан как полученный и сохраняемый закрыто, но ещё не выполняемый и не допущенный как продукт. |
| 5.17.7 | Внутренний | Добавлена синтетическая инфраструктура для непрозрачного сохранения одного будущего комплекта допуска ограниченного приложения. Ациклический пакет связывает точные байты текущего единого комплекта из 45 ролей, а изолированная односторонняя запись манифеста выпуска v5 навсегда лишена права кандидата. Текущие сценарии выпуска v4 и workflow остались побайтово неизменными. Точно совпали две генерации комплекта, две сборки пакета, две атомарные подготовки и три сохранённые копии. Пройден сорок один отрицательный контроль. |
| 5.17.6 | Зарезервирован | Этот слот оставлен для отдельно версионированной производственной следующей версии закрытого испытания. Она не выпущена, потому что отсутствуют точный самодостаточный модуль семантики и тарифов поставщика и корень доверия владельца или проверяющего, не управляемый кандидатом. Продолжаться могут только независимые подготовительные этапы. |
| 5.17.5 | Внутренний | Подготовлена герметичная синтетическая инфраструктура для будущего нового допуска ограниченного приложения. Закрытый набор из 45 ролей охватывает кандидата и профиль, точный компонент поставщика, прикладные свидетельства, суды и артефакты для пяти нативных целей, будущие корни закрытого испытания и управление. Генератор хеширует реальные байты синтетических входов, выпускает только записи, не относящиеся к кандидату, а результат сверяется независимым чистым пересчётом и отрицательными проверками с безопасным отказом. Инфраструктура не принимает производственного кандидата, корня доверия или запроса на допуск. |
| 5.17.4 | Внутренний | Подготовлена проверяемая по схемам синтетическая инфраструктура для будущего закрытого испытания относительно кандидата. Она задаёт формы замыканий кандидата и суда, ограниченные полномочия генератора, сквозной жизненный цикл запечатанного корпуса, общий механизм сравнения и раздельные записи наблюдений и решений. Эта первая версия не может проводить производственное испытание, а все внешние производственные пути завершаются отказом. Для настоящего суда нужна отдельно версионированная следующая версия с самодостаточной семантикой и тарифами поставщика, а также с корнем доверия, который кандидат не может выбрать. Кандидат, начальное значение, корпус, результат и раскрытие не создавались. Поддерживаемое поведение продукта и публичный выпуск не изменились. |
| 5.17.3 | Внутренний | Добавлен неактивный профиль 5.18, который точно наследует 5.17, известен инструментарию, но пока недоступен для выбора. Первоклассное приложение Лиспекса связано только с будущей парой пакета и стандартной библиотеки 5.18, а все текущие пути первоклассного приложения в 5.17 по-прежнему явно отклоняют его. Сформирована неактивная нормативная база, зафиксирована политика обновления справочных данных MCP, завершён перечень атомарной активации и успешно выполнена не изменяющая репозиторий репетиция. Поддерживаемое поведение продукта не изменилось. |
| 5.17.2 | Внутренний | Зафиксированы граница выпуска ограниченного приложения в 5.18 и порядок нового допуска. Интеграция полного профиля отнесена к 5.19, а повышение качества компилятора — к 5.20. HTTP-сервис и MCP отделены от обязательных целей интеграции. Операция Лиспекса в хосте без полномочий синхронизирована с политикой явного отказа. Поведение поддерживаемых приложений не изменилось. |
| 5.17.1 | Внутренний | Для повторных вычислений Лиспекса добавлены общие лимиты, обратное давление очереди, принудительная отмена, изоляция параллельных вызовов и очистка. Независимо подтверждено побайтовое соответствие ограниченного артефакта поставщика и переносимого ядра без допуска в продукт. Прикладной API с явным профилем проведён через интерпретатор и самокомпилируемый фронтенд, а неподдерживаемые цели явно отклоняются. Добавлены проверяемое хранение потребительского артефакта, инспекция неаутентифицированного переносимого ядра и побайтово идентичное повторное выполнение в новом экземпляре. Поддерживаемое приложение из двух модулей прошло обычную установку через npm, удаление исходников и компилятора, перенос файла и локальную нативную проверку. Локализованные заголовки больше не разрываются внутри слов. Исправлена и граница встроенного справочника в отдельном выпуске MCP. |
5.17В состав установленного продукта добавлен вычислитель Лиспекса в отдельном пространстве команд. Компонент и лимиты фиксированы, ошибки обрабатываются явно, а fallback и заявления об эквивалентности языков отсутствуют.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.16.9 | Внутренний | Закрыты записи о перераспределении, отзыве, замыкании свидетельств и допуске точного компонента, затем подготовлен совокупный кандидат 5.17 для пяти платформ без изменения смысла языка 5.16. |
| 5.16.8 | Внутренний | Проверен обычный установленный по контрольной сумме автономный продукт без исходников. Подменные вычислители, селекторы, доступ к репозиторию и сети и прежние команды LIT не могут заменить допущенный компонент. |
| 5.16.7 | Внутренний | Вычислитель встроен в обычный бинарник Топаза с отдельными новыми экземплярами для подготовки и вычисления, замкнутыми лимитами, атомарной публикацией результата и раздельной идентичностью семантики, среды и допуска. |
| 5.16.6 | Внутренний | Скрытые тесты, привязанные к кандидату, выявили и удалили неподдерживаемые заявления о мутации и множественных значениях, после чего исправленный ограниченный профиль закрыт без изменения вычислителя. |
| 5.16.5 | Внутренний | Созданы модульный контракт хоста и гостя и закрытая вертикальная проба с отказом при неверной версии или хеше, без импортов, обратных вызовов, поиска и fallback. |
| 5.16.4 | Внутренний | Классифицированы первая семантическая поверхность Лиспекса и каналы наблюдения, затем принят один точный импорт-независимый вычислитель с учётом ресурсов без закрепления всего выпуска Лиспекса. |
| 5.16.3 | Внутренний | Подготовлены хост без полномочий, ограниченная целевой платформой песочница операционной системы и проверка изоляции установленного продукта, необходимые до рассмотрения будущего инструмента запуска. |
| 5.16.2 | Публичные инструменты | Отдельными версиями выпущены MCP-сервер с тремя инструментами проверки без запуска и обновление редактора с LSP. Удалённый запуск не добавлен, компилятор в расширение редактора не включён. |
| 5.16.1 | Внутренний | Наблюдаемые различия отделены от нормативных решений, точное замыкание свидетельств формируется механически, а опубликованный языковой профиль и профиль начальной загрузки закреплены как неизменяемые для будущих выпусков. |
5.16Представлен Self-hosted Default: установленный компилятор Stage 2 используется по умолчанию на поддерживаемых маршрутах текущего режима, а Rust остаётся явным способом восстановления без скрытого fallback. В составе отдельных релизов выпущены MCP-сервер с тремя инструментами статической проверки и обновление редактора с LSP. Удалённый запуск не предусмотрен, а компилятор не встраивается в расширение редактора.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.15.6 | Внутренний | Созданы свежие наблюдения Stage 1 и Stage 2 и новый нативный продукт без исходников. Закреплены полные входы восстановления, неактивная активация 5.16, совокупная проверка кандидата выпуска, повторное использование свидетельств и откат. |
| 5.15.5 | Внутренний | Все обнаруженные блокирующие проблемы self по умолчанию закрыты. Установленное двухмодульное приложение прошло проверку, тест, нативную сборку и запуск без исходников, а ограниченные внешние риски назначены точным шлюзам кандидата 5.16. |
| 5.15.4 | Внутренний | Одна точная локальная установка npm подтвердила проверку, выбранный тест, управляемую упаковку Python и запуск без исходников через self по умолчанию. Некорректный self остаётся нездоровым и строго завершается, а явный Rust и совместимость работают независимо. |
| 5.15.3 | Внутренний | Установленный Stage 2 стал выбором по умолчанию при пропущенном селекторе на всех 21 поддерживаемых маршрутах текущего режима. Явное восстановление Rust и детерминированная совместимость Rust сохранены, а происхождение выбора записывается. |
| 5.15.2 | Внутренний | Точный неизменяемый образ self-компилятора подготавливается и проверяется один раз на процесс и совместно используется компилятором и LSP. Повреждение или расхождение идентичности отклоняется, а ограниченные нормы холодного запуска и LSP соблюдаются без кэширования результатов цели. |
| 5.15.1 | Внутренний | Намерение выбора компилятора сохраняется до определения режима языка пакета: старые режимы детерминированно используют совместимость Rust, а явный self отклоняется до работы компилятора. |
5.15Представлен Supported Dual Toolchain: Rust остаётся стандартным компилятором для восстановления, а явно выбранный self-компилятор текущего режима поддерживается на заявленных маршрутах.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.14.8 | Внутренний | Завершена готовность двух движков: Golden Path без исходников, граница компилятора и стандартной библиотеки, LIT, CodeImage и изолированный Лиспекс. Закреплены полная матрица поддержки и карта проверок кандидата выпуска. |
| 5.14.7 | Внутренний | Один точный локальный npm-продукт подтвердил сборки Rust/self без репозитория, запуск без исходников, независимое восстановление Rust после повреждения образа self-компилятора, ограниченные ресурсы компилятора/LSP и размер. |
| 5.14.6 | Внутренний | Форматирование, документация пакета, все объявленные запросы LSP и официальное расширение VS Code получили стабильный на время процесса выбор Rust/self, общее представление и запрет отката. |
| 5.14.5 | Внутренний | Целевые факты проецируются из самокомпилируемого компилятора. Он создаёт продукты Python, Web, worker, Web-приложения, HTTP-сервиса и циклы разработки Web/сервиса без отката к целевому front end Rust. |
| 5.14.4 | Внутренний | Целевая среда фиксированного IR отделена от образов компилятора. Добавлены создание Rust через self, нативная сборка без исходников и точное происхождение компилятора в управляемых артефактах. |
| 5.14.3 | Внутренний | Добавлены маршруты двух компиляторов для разбора, AST, проверки, профилей, экспортов, запуска, тестов, измерения, заблокированных пакетов и наблюдений с ограниченным совпадением результатов и без отката. |
| 5.14.2 | Внутренний | Добавлен полный версионированный продукт самокомпиляции с собственной профильной диагностикой, детерминированными идентичностями исходников и результата, созданным Rust, происхождением и строгим механическим адаптером. |
| 5.14.1 | Внутренний | Добавлены явный выбор компилятора rust или self, проверяемый машиночитаемый перечень поддержки, строгая предварительная проверка и первая проверка входного файла текущего режима установленным self-компилятором. |
5.14Представлена фиксированная точка Stage 2: автономно исполняемый самокомпилируемый компилятор воспроизводит каноническую семантику и исходные байты сгенерированного кода, а Rust Stage 0 остаётся стандартным средством восстановления.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.13.7 | Внутренний | Завершены минимальные проверки Application Loop, LIT, CodeImage и изолированного Лиспекса через границу Stage 2. Закреплены неактивный перечень перехода на 5.14 и карта ответственных за совокупную проверку кандидата выпуска. |
| 5.13.6 | Внутренний | Точный локальный npm-продукт проверен для установленного Stage 2 с целью и self-source без исходников. Rust Stage 0 восстановлен офлайн со входами Stage 2, а ограниченный метод измерения ресурсов закреплён. |
| 5.13.5 | Внутренний | Ограниченные проверки мутаций семантики, созданного исходника, происхождения, производителя, seed, runtime, отсутствующих фактов и неподдерживаемой версии отклоняют ввод до готового результата и без отката. |
| 5.13.4 | Внутренний | Закрыта проверка семантической и побайтовой фиксированной точки для точного набора исходников компилятора и ограниченного корпуса нормального и диагностического ввода. Происхождение производителей осталось различным, а равенство нативных бинарников не заявляется. |
| 5.13.3 | Внутренний | Добавлены явные маршруты производителя Stage 2 и self-source. Отдельно кэшируемый образ компилятора повторно создал исходный код, а выбор производителя другой стадии отклоняется без отката. |
| 5.13.2 | Внутренний | Исходный код компилятора создан заново. Точные байты связаны с отдельно проверенными манифестом и образом следующей стадии, а выполнение и утверждение фиксированной точки не включены в эту границу сборки. |
| 5.13.1 | Внутренний | Происхождение производителя и сборки отделено от канонических байтов создаваемого компилятором Rust. Закреплены явные производители Stage 1/2 и побайтовый контракт фиксированной точки при сохранении Stage 1 и Rust Stage 0 по умолчанию. |
5.13Представлен Stage 1 Compiler Preview: собранный компилятор поддерживает понижение целевой платформы и генерацию Rust, фиксирует полное происхождение и завершает работу без скрытого отката к Rust.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.12.7 | Внутренний | Готовность к выпуску закрыта ограниченными канарейками Application Loop, LIT, байтового CodeImage и изолированного провайдера Лиспекса, а также точным перечнем активации и картой совокупных проверок кандидата. |
| 5.12.6 | Внутренний | Открыт устанавливаемый Stage 1 без исходников с полным происхождением, строгой проверкой без отката, независимым восстановлением Stage 0 и ограничениями времени и памяти для release-сборки. |
| 5.12.5 | Внутренний | Сравнения компиляторов Rust и сгенерированного компилятора разделены на семантику, диагностику, исходный код, продукт и происхождение. Закреплена детерминированность каждого производителя и отказ при неверном производителе или повреждённом продукте без отката. |
| 5.12.4 | Внутренний | Собран сгенерированный модуль компилятора, через него скомпилирован обычный пакет, а полный набор исходников компилятора воспроизвёл идентичный Rust без повтора готового результата и отката к целевому фронтенду Rust. |
| 5.12.3 | Внутренний | Добавлен детерминированный генератор Rust на Топазе, закреплён реестр шаблонов, запрещены зависимости от целевого компилятора, а сгенерированный продукт без исходников скомпилирован и запущен. |
| 5.12.2 | Внутренний | Завершено написанное на Топазе понижение для заявленных поверхностей Bootstrap и обычных программ. Без отката закреплены операции, операнды, захваты, отказы проверки и состав исходников. |
| 5.12.1 | Внутренний | Закреплены первый обмен Stage 1, закрытое IR понижения и контракт происхождения. На минимальной основе понижения, написанной на Топазе, идентификаторы операций и порядок операндов совпали со Stage 0 без скрытого отката. |
5.12Представлен устанавливаемый Self Front-end Preview до фазы Typed: сравнение без исходных текстов и явный отказ без отката сохраняют Rust Stage 0 реализацией по умолчанию и путём восстановления.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.11.6 | Внутренний | Завершён точный устанавливаемый Self Front-end Preview: проверка и семантическое сравнение без исходников сохраняют явное восстановление Rust Stage 0 и отказ без скрытого отката, а комплект восстановления фиксирует встроенные исходники. |
| 5.11.5 | Внутренний | Закрыты проверенный корпус текущих исходников и полная самопроверка фронтенда: принятые и отклоняемые программы совпадают с Rust Stage 0, неподдерживаемые исходники явно классифицированы, а фиксированные пределы времени и памяти соблюдены. |
| 5.11.4 | Внутренний | Установленный маршрут расширен до статической проверки на Топазе и канонических узлов Typed, вызовов и захватов. Диагностика привязок и границ протоколов точно совпадает со Stage 0 на целевых случаях компилятора и заблокированного приложения. |
| 5.11.3 | Внутренний | Установленный маршрут расширен до логического замыкания импортов и разрешения имён для пакета, подключённых зависимостей и стандартных модулей, с точными областями, привязками, ссылками, экспортами, диагностикой, ограниченными фактами исходников и без отката к Rust. |
| 5.11.2 | Внутренний | Установленный маршрут расширен до полного текущего парсера, канонического AST, точной диагностики и восстановления с ограничениями числа и глубины узлов без отката к Rust. |
| 5.11.1 | Внутренний | Добавлены устанавливаемые лексер Unicode и обработка раскладки, написанные на Топазе: они выпускают каноническое наблюдение до токенов, не меняя Rust Stage 0 и не возвращаясь к нему после сбоя. |
5.11Представлена инфраструктура загрузки: канонические наблюдения компилятора, детерминированный профиль и нагрузка, поэтапное сравнение и восстанавливаемый Rust Stage 0.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.10.6 | Внутренний | Завершены устанавливаемые наблюдения без исходников, точное происхождение входов сборки, детерминированное восстановление Stage 0 и репетиция манифеста выпуска v3 без публичных изменений. |
| 5.10.5 | Внутренний | Добавлены устанавливаемое поэтапное сравнение наблюдений и заблокированная нагрузка уровня компилятора с детерминированным переносом, ограниченной разницей и измеренными пределами ресурсов. |
| 5.10.4 | Внутренний | Все проверенные продукты Rust направлены через единое Lowered IR без исходного текста. Канонические наблюдения охватывают решения по понижению и созданный код Rust, а путь Python не изменён. |
| 5.10.3 | Внутренний | Добавлены полные типизированные факты из одного прохода проверки, канонические типизированные наблюдения и машиночитаемый Bootstrap Profile для заблокированных детерминированных пакетов ядра компилятора. |
| 5.10.2 | Внутренний | Добавлены установленные канонические наблюдения за начальной частью компилятора и автономная проверка с повторно используемыми исходными и выровненными токенами, AST, областями, объявлениями, ссылками, экспортами, диагностикой и происхождением. |
| 5.10.1 | Внутренний | Текущая проверка отдельных файлов и пакетов проходит через границу ядра компилятора Stage 0 с воспроизводимыми фактами исходников, детерминированными лимитами, явными сведениями о происхождении и прежними диагностиками. |
5.10Представлен штатный цикл бинарно-медийного ядра с прозрачным выбором нативной генерации, точными байтовыми операциями, детерминированными кодеками и свидетельствами CodeImage.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.9.7 | Внутренний | Штатный путь бинарных медиа укреплён стабильными проверками renderer и proof worker CodeImage, запуском без исходников и репетицией неактивной границы 5.10 без записи. |
| 5.9.6 | Внутренний | Добавлен один детерминированный поток RFC 1950 zlib вокруг точных байтов DEFLATE с фиксированным Хаффманом, ограниченным входом и явным отказом цели Python. |
| 5.9.5 | Внутренний | Добавлена беззнаковая CRC-32/ISO-HDLC для некриптографической проверки целостности с одинаковым результатом в интерпретаторе, Rust, Python, Web, Worker и Playground. |
| 5.9.4 | Внутренний | Добавлена детерминированная систематическая защита RS(255,223): точные многоблочные байты, ограниченный вход, общая реализация Rust/Web и явный отказ цели Python. |
| 5.9.3 | Внутренний | Добавлен детерминированный raw DEFLATE с фиксированным Хаффманом для двоичных медиа: точные байты Rust/Web, ограниченные поиск и память и явный отказ цели Python. |
| 5.9.2 | Внутренний | Добавлены точные нативные быстрые пути для Bytes и ByteBuffer, включая разрешённый проверкой прямой доступ к полям record. Сохранены упакованный резервный путь, ошибки границ, снимки и атомарность записи. |
| 5.9.1 | Внутренний | Добавлены детерминированный отчёт о нативном понижении и закрытый при сомнении гибридный путь: он специализирует подходящие скалярные функции верхнего уровня, сохраняя упакованное приложение. |
5.9Представлен цикл HTTP-сервиса с явным разграничением входящих прав, лимитами, структурированными операциями и автономными артефактами.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.8.4 | Внутренний | Доказано, что браузерный и сервисный Data Lens используют одно проверенное ядро. Усилены реалистичные многоязычные сценарии и подготовлены правила следующей линии и граница репетиции активации без записи. |
| 5.8.3 | Внутренний | Добавлены просмотр итоговой конфигурации, версионированные структурированные журналы, события штатного завершения, проверка перезапуска и параллельные многоязычные сценарии. |
| 5.8.2 | Внутренний | Укреплены медленные, некорректные, прерванные, чрезмерные, перегруженные, аварийные и незавершающиеся запросы. Проверены изоляция и восстановление мощности. |
| 5.8.1 | Внутренний | Добавлены управляемая ограниченная цель HTTP/1.1, отмена и лимиты на запрос, автономный артефакт и сервис Data Lens с общим проверенным ядром браузерного продукта. |
5.8Импорт и экспорт локального текста и ограниченное состояние пакета объединены в цикл приложения с локальными данными.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.7.4 | Внутренний | Готовый набор функций заморожен, подготовлены правила следующей линии и поверхности версий, проверена репетиция атомарной активации без записи. |
| 5.7.3 | Внутренний | Data Lens и Markdown Live усилены многоязычными файлами, повторными операциями, точным экспортом, восстановлением фокуса и исправлением скорости отрисовки. |
| 5.7.2 | Внутренний | Добавлены ограниченное строковое состояние пакета, явные результаты загрузки, сохранения и удаления, а также восстановление после перезагрузки. |
| 5.7.1 | Внутренний | Добавлены ограниченное правами открытие локальных файлов UTF-8 и детерминированная загрузка текста, проверенные на реальных CSV и JSON в Data Lens. |
5.7Представлен устанавливаемый автономный цикл веб-приложений с Data Lens и Markdown Live.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.6.8 | Внутренний | Завершены поддерживаемые тестовые продукты Data Lens и Markdown Live, исправлены воспроизведённые проблемы проверки и среды, подготовлен атомарный рубеж 5.7. |
| 5.6.7 | Внутренний | Добавлены проверяемый жизненный цикл Web-приложения, безопасная браузерная среда, каркас приложения, локальная разработка и полный управляемый статический комплект. |
| 5.6.6 | Внутренний | Добавлен изменяемый ByteBuffer фиксированной длины и исправлено владение Web-памятью для крупных бинарных продуктов. |
| 5.6.5 | Публичный | Завершены устанавливаемый цикл приложения, fmt --check, локализованные руководства, прямая публикация npm и ограниченная полевая проверка. |
| 5.6.4 | Публичный | Добавлены основа устанавливаемого многомодульного цикла приложения, автономные нативные сборки и сборки Python, а также машиночитаемая проверка agent-pack. |
| 5.6.3 | Публичный | Адрес закрытого репозитория удалён из публичных метаданных npm. |
| 5.6.2 | Публичный | Документация и представление npm обновлены без изменения поведения. |
| 5.6.1 | Публичный | Сборки перенесены во временное хранилище, рост кэша Python ограничен, добавлены идентичность артефактов, лицензии и пакетные гарантии. |
5.6Объединены языковой стандарт, среда выполнения, пакетный менеджер, WASM песочница и каналы поставки.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.5.8 | Публичный | Согласованы идентичность чисел с плавающей точкой и поведение ключей в Map, Set и связанных операциях с контейнерами. |
| 5.5.7 | Публичный | Закрыты расхождения Option, Result, единичных значений и операций высшего порядка в создаваемом Python. |
| 5.5.6 | Публичный | Неподдерживаемые формы Python стали завершаться полной диагностикой с привязкой к исходному коду вместо неполного вывода. |
| 5.5.5 | Публичный | Добавлена ограниченная серверная граница JSON и точное совпадение чисел, экранирования, повторных ключей и ошибок между бэкендами. |
| 5.5.4 | Публичный | Поведение очистки и ошибок выполнения в Python согласовано так, чтобы отложенная работа не выполнялась после невосстановимого сбоя. |
| 5.5.3 | Внутренний | Все бэкенды стали одинаково отклонять верхнеуровневые ветви return, сохраняя поддержку return внутри функций. |
| 5.5.2 | Внутренний | Итоговые значения верхнеуровневых if и match согласованы между интерпретатором, создаваемыми Rust и Python. |
| 5.5.1 | Внутренний | Для создаваемых массивов Python добавлены сравнение однотипных Bytes и стабильная естественная сортировка. |
5.5Python стал официально поддерживаемым бэкендом. Расширено согласование между интерпретатором, Rust и Python.
| Контрольная точка | Доступность | Изменение для пользователя |
|---|---|---|
| 5.4.1 | Публичный | Добавлен первый экспериментальный путь генерации Python рядом с интерпретатором и выводом Rust. |
5.4 Стандартизированы платформенные бинарные файлы и процедура установки. Начата генерация кода на Python.
5.3 Расширены стандартная библиотека и поддержка прикладных программ без расхождения семантики между каналами поставки.
5.2 Закреплена модель модулей
import/export и сформирован первый единый публичный инструментарий.
5.1 Добавлены структурные циклы, а также уточнены компоновка, операторы, сопоставление с образцом, конкурентность и шаблоны.
5.0 Сформировано базовое
направление языка: выражения, явный Result и полнофункциональные
Unicode-идентификаторы.
Текущая основа
В данном руководстве описывается актуальное состояние продукта «Топаз». Точную версию установленного дистрибутива смотрите в разделе Состояние инструментария, а миграцию старого синтаксиса используйте исключительно для устаревших форм исходного кода.
Продукт Лиспекса и свидетельства LIT
Установленный продукт предоставляет команду topaz lispex embed run для выполнения одиночного изолированного запроса и topaz lispex embed info --json для проверки точного соответствия компонента и его контракта. Вычислитель встроен в поставляемый исполняемый файл. Неподдерживаемые профили и некорректные идентификаторы отклоняются явно, без выполнения поиска, загрузки или отката к альтернативному вычислителю.
LIT, сокращение от Lispex-in-Topaz, остаётся отдельным контуром. Интерпретатор Лиспекса, написанный на Топазе, исполняется по нескольким маршрутам Топаза и формирует свидетельства интеграции и отсутствия регрессий в рамках единого происхождения. Данные результаты не подтверждают независимость исходного кода или полную эквивалентность языков и не превращают Лиспекс в бэкенд Топаза.