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

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

Путь от текущей команды Лиспекса к полноценным приложениям, интеграции полного профиля и совершенствованию компилятора.

Этот план представляет последовательность развития и границы продукта Топаз.

Сейчас

  • Это руководство описывает topaz-5.20. Установленный самохостируемый компилятор используется по умолчанию для всех поддерживаемых маршрутов текущего языка.
  • Линия 5.20 завершает программу качества компилятора, которая шла до 5.19. Компилятор Stage 0 на Rust и самохостируемый компилятор Топаза прошли аудит и рефакторинг файл за файлом, а зафиксированные артефакты компилятора теперь нейтральны к стадии и проверяются публичным verify.sh. Что эта проверка устанавливает, а что нет, описано на странице Состояние тулчейна.
  • Установленная команда topaz lispex embed run вычисляет запрос Лиспекса ровно тем вычислителем Лиспекса 1.20, который встроен в бинарный файл Топаза. У неё конечные лимиты и явный отказ, и она не предлагает селектор, обнаружение, загрузку, обратный вызов, импорт или запасной путь.
  • Компилятор на Rust остаётся доступным для сравнения, восстановления и совместимости.
  • Компилятор, рантайм, npm-пакет, артефакты, документация и Playground имеют одну продуктовую идентичность. Маршруты приложений для нативной сборки, Python, браузера, HTTP, локальных данных и бинарных медиа по-прежнему поддерживаются.
  • Релизы собираются из точной ревизии исходников и публикуются с контрольными суммами SHA-256. Любой может пересобрать и проверить компилятор по публичному снимку исходников с помощью входящего в него verify.sh. Репозиторий снимка указан на странице Состояние тулчейна.
  • Установленный нативный исполняемый файл topaz включает локальный stdio-сервер MCP и его изолированный воркер без прав, доступный через topaz mcp serve.

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

  1. Приложения на 5.20. Разработка продолжается в продуктах, которые работают на Топазе. Новая языковая работа не запланирована, а исправления выходят патч-релизами линии 5.20, когда они нужны продукту.
  2. Проверка, которую может запустить посторонний. Воспроизводимые сборки доказаны на Linux x86_64. Остальные цели описываются как измеренные или неизмеренные и никогда не предполагаются. Расширение измеренного набора и есть следующий шаг проверки.

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

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

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

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

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

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