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