Этот план показывает приоритеты и степень готовности, а не обещанные даты.
Сейчас
- Текущий публичный продукт включает явный Self Front-end Preview поверх Bootstrap Foundations и установленных прикладных циклов.
- Компилятор, среда выполнения, установочный пакет npm, артефакты, документация и Playground обозначают один текущий продукт.
- Компилятором по умолчанию остаётся точно восстанавливаемый Rust Stage 0. Установленный Self Front-end Preview выполняет полный встроенный фронтенд, написанный на Топазе, до фазы Typed и без исходной программы сравнивает наблюдение с Rust Stage 0.
- Явно выбираемый установленный Stage 1 Compiler Preview потребляет путь производства на Топазе до созданного Rust, фиксирует полное происхождение и не скрывает откат целевой программы.
- Установленные нативные продукты и продукты Python работают автономно, управляемые браузерные продукты владеют своим статическим комплектом и границей локальных данных, а сгенерированные сервисы — ограниченными полномочиями входящего HTTP, изоляцией, сроками выполнения, наблюдением и завершением.
- Изменяемый
ByteBufferфиксированной длины поддерживает непрерывную двоичную обработку, а неизменяемыйBytesостаётся снимком и транспортным значением для поддерживаемых целей нативной генерации, Python, Web и Web Worker. - Поддерживаемое многомодульное ядро CodeImage собирается установленным штатным Топазом, показывает, что нативная специализация применяется только к формам, допустимость которых установлена проверкой, и сохраняет точные байты и ошибки в артефактах Web и Worker, работающих без исходного пакета Топаза.
- При изменении связанной реализации выполняются целевые дифференциальные проверки. Полные кроссплатформенные и дифференциальные кампании остаются для RC публичного минорного выпуска, которому они принадлежат.
Далее
- Проверить поддерживаемый двойной набор инструментов, в котором самокомпилируемый путь и Rust Stage 0 установлены, поддерживаются и независимо восстанавливаются.
- Сохранять Stage 2 явно выбираемым путём, пока этот рубеж не подтвердит поддерживаемый корпус, диагностику, продукты, ресурсы и откат.
- Сохранять без регрессий циклы HTTP-сервиса, локальных данных, браузера, нативного исполнения, Python и двоичных медиа.
- Не создавать отдельный диалект или удобный синтаксис только для компилятора. Даже подтверждённая нагрузкой проблема требует отдельного решения об изменении языка или границы возможностей.
Граница выпуска
Bootstrap Foundations, Self Front-end Preview до Typed, явный производитель
Stage 1 и фиксированная точка Stage 2 доступны в Топазе 5.14.0 /
topaz-5.14. Stage 1 запускается командой
topaz compiler preview [entry] --producer stage1 --terminal rust-source --out-dir <directory>. Установленный маршрут фиксирует полное происхождение
производителя и созданного кода, работает без исходников компилятора,
сохраняет независимое восстановление Rust Stage 0 и не скрывает откат целевой
программы. Завершённые этапы остаются в
Истории.
Явный маршрут Stage 2 запускает отдельный образ C2 и создаёт свежий R2 из
встроенного набора исходников компилятора. Проверка фиксированной точки
фиксирует равенство декодированной семантики компилятора, ограниченных
канонических наблюдений и исходных байтов R1/R2, сохраняя явные различия
происхождения. Проверка установленного продукта без исходников и ограниченные
регрессии Application Loop, LIT, CodeImage и изолированного Lispex завершены.
Rust Stage 0 остаётся движком по умолчанию и независимого восстановления;
Stage 2 — явно выбираемый Preview, а не самокомпилируемая реализация по
умолчанию.
Следующий условный публичный результат — Топаз 5.15.0 / topaz-5.15; он
открывается только после точного рубежа поддерживаемого двойного набора
инструментов.
Позже
- Сделать самокомпилируемое ядро реализацией по умолчанию лишь после воспроизводимых результатов Stage 1 и Stage 2, согласия двух установленных реализаций и независимой проверки пути восстановления через Rust.
- Считать самокомпиляцию этапом реализации, а не автоматическим основанием для новой основной версии. Для неё по-прежнему нужен реальный несовместимый пользовательский контракт.
- Не включать в этот этап общую нативную раскладку составных значений, произвольный FFI к среде выполнения, новый Web ABI, SIMD, браузерные сетевые запросы, исходящую сеть, удалённую публикацию пакетов, каркасы маршрутизации и промежуточной обработки, общее состояние сервера, базы данных, завершение TLS, WebSocket и новый синтаксис.
- Сохранять старые режимы языка как явные входы совместимости, а не параллельные текущие продукты.
Ограниченные интеграционные свидетельства
Записи интеграции LIT и Lispex остаются полезными внутренними свидетельствами совместимости и регрессий. Они не определяют очередь выпусков, не делают LIT публичным бэкендом Топаза и не доказывают эквивалентность всего языка. Крупные кампании LIT, N-way, мутационной и дифференциальной проверки запускаются лишь при изменении принадлежащей им семантики или когда они нужны конкретному кандидату выпуска.
Исследования
- Расширять дифференциальное тестирование и фаззинг, которые находят неверное понимание языка генераторами кода.
- Рассматривать проверку моделей и механизированные доказательства только для конкретных и воспроизводимых результатов.
- Оставить широкую оптимизацию, асинхронный синтаксис, перехват ошибок выполнения, API графем и пользовательские шаблоны исследовательскими темами до отдельного решения по языку.