Топаздокументация
О Топазе

План развития

Текущие приоритеты выпуска, внешних инструментов и ограниченной интеграции.

Эта страница описывает Топаз v5.17. Прежде чем считать её актуальной, сверьте поле version в /version.json со значением 5.17.

Этот план показывает порядок зависимостей и границы продукта, а не обещанные даты.

Сейчас

  • Это руководство описывает Топаз 5.17.0 / topaz-5.17. Установленный самокомпилируемый компилятор по-прежнему используется по умолчанию для поддерживаемых маршрутов текущего языка.
  • Установленная команда topaz lispex embed run выполняет один ограниченный запрос Lispex через точный компонент внутри бинарного файла Топаза. Лимиты конечны, отказы явны, а выбор, поиск, загрузка, callback, импорт и fallback отсутствуют.
  • Компилятор на Rust остаётся явно доступным для сравнения, восстановления и совместимости. Самокомпиляция по умолчанию не означает исчезновения цепочки восстановления на Rust.
  • Компилятор, среда выполнения, пакет npm, артефакты, документация и Playground по-прежнему обозначают один продукт. Поддержка нативных, Python-, браузерных, HTTP-, локальных и двоичных прикладных маршрутов сохраняется.
  • Неподдерживаемый выбор компилятора завершается ошибкой, а не скрытой заменой движка. Полные платформенные и дифференциальные проверки выполняются для кандидата выпуска; обычные изменения проходят целевые проверки.

Следующие приоритеты

  1. Сохранять свидетельства выпуска. Каждый следующий выпуск получает свежие записи допуска и проверки отзыва. Повторно использованный результат нельзя выдавать за новый запуск, а сохранённый путь восстановления нужно периодически выполнять на практике.
  2. Обновлять внешние инструменты в их собственных выпусках. Расширение редактора уже запускает установленный языковой сервер. topaz-mcp 0.1.1 остаётся пакетом только для проверки, связанным с проверенным набором справочных данных 5.16. Следующий выпуск MCP появится лишь после новой сборки и проверки встроенных материалов и нативного пакета по текущей языковой спецификации. topaz_run остаётся отдельным будущим продуктом, которому нужны и хост Топаза без полномочий, и системная песочница ресурсов.
  3. Расширять границу Lispex только по свидетельствам. Более широкий профиль, выбираемый вычислитель, переносимая квитанция поставщика или новый входной маршрут требуют отдельного контракта и допуска. Установленный результат 5.17 ничего из этого заранее не обещает.

Границы свидетельств

Число строк с примитивами не является знаменателем соответствия всему языку. Специальные формы, управление, значения, ошибки, транскрипты и вывод, диагностика, ресурсы, граница хоста и квитанции учитываются отдельно.

Установленный ограниченный вычислитель подтверждает только описанные команду, компонент, профиль, входы, лимиты, результаты и поддерживаемые платформы. Он не доказывает эквивалентность всего Lispex и не добавляет независимого семантического свидетеля. LIT остаётся полезным свидетельством регрессий и интеграции внутри общего происхождения, но не является бэкендом Топаза. Завершённые этапы перечислены в Истории.

Исследования

  • Расширять дифференциальное тестирование и фаззинг, которые находят неверное понимание языка генераторами кода.
  • Рассматривать проверку моделей и механизированные доказательства только для конкретных и воспроизводимых результатов.
  • Возвращаться к прямой компиляции в WebAssembly только при измеренной проблеме продукта. Широкая оптимизация, асинхронный синтаксис, перехват ошибок выполнения, API графем, пользовательские шаблоны, общий FFI хоста и новый синтаксис не входят в текущий план.

Связанная документация