Topaz v5.10.0 — текущий публичный релиз. Публичные командные инструменты, среда выполнения, установочный пакет npm, WASM-компилятор, документация и песочница используют канонический режим языка topaz-5.10.
Текущий продукт включает непрерывный изменяемый ByteBuffer, исправленное владение Web-памятью, проверяемый Local Data Application Loop и управляемую цель ограниченного сервиса HTTP/1.1. Generated host владеет конечными границами соединений, очереди, запросов, ответов, сроков, журналов и завершения, а handler остаётся обычным проверенным кодом Topaz. Исходящая сеть, неявные полномочия окружения, общий heap Topaz, TLS termination и универсальный Web framework не добавляются.
Проверенные нативные команды emit и build могут записывать детерминированный отчёт по каждой функции. Если всё приложение не подходит для нативного понижения, доказанные скалярные функции верхнего уровня и точные быстрые пути Bytes или ByteBuffer всё равно могут использовать нативные вспомогательные функции внутри неизменённой упакованной оболочки. Прямые бинарные поля доказанных проверяющим read-only record-параметров также входят в этот путь; более широкие или недоказанные формы остаются упакованными. Быстрый путь сохраняет ошибки границ, фиксированную длину, правила снимков, перекрывающееся копирование и проверку до изменения из упакованной среды выполнения.
Установленный штатный инструментарий проверяется на поддерживаемом многомодульном ядре бинарных медиа через raw Web- и Worker-артефакты без частного компилятора. Точные тесты байтов и ошибок, запуск без исходников, отчёт о нативном выборе, браузерный renderer и ограниченный путь proof worker проверяются вместе; данные о производительности относятся только к этой поддерживаемой нагрузке, а не к произвольным программам.
Codec.deflateFixedCompress создаёт один детерминированный raw-блок DEFLATE с фиксированным Хаффманом, окном истории 32 768 байт, ограниченным поиском совпадений и пределом входа 256 MiB. Функция доступна в интерпретаторе, generated Rust, raw Web, Web Worker и Playground. Цель Python явно отклоняет программу до записи артефакта.
Codec.zlibFixedCompress создаёт полный детерминированный поток RFC 1950: добавляет к точным raw-байтам фиксированный заголовок 78 01 и трейлер Adler-32 исходного ввода. Предел и поддерживаемые пути те же; Python отклоняет функцию до создания артефакта.
Codec.reedSolomon255223Protect создаёт систематические кодовые слова RS(255,223) над GF(256) с фиксированным нулевым дополнением и пределом 65 535 блоков. Функция доступна в интерпретаторе, generated Rust, raw Web, Web Worker и Playground; Python отклоняет её до создания артефакта. Она только создаёт защитные байты: обнаружение и исправление ошибок и настраиваемые профили Reed–Solomon не входят в текущую поверхность.
Hash.crc32 возвращает одно и то же беззнаковое значение CRC-32/ISO-HDLC в интерпретаторе, Rust, Python, Web, Worker и Playground. Это некриптографическая проверка целостности; инкрементальное состояние, Adler-32, другие семейства CRC и кодирование PNG в неё не входят.
Доступные компоненты
- Командный инструмент для проверки, выполнения и сборки программ
- Цель Rust для автономных нативных программ
- Цель Python с необходимым файлом поддержки среды выполнения
- Raw WASM и web worker для браузерных приложений
- Проверяемый шаблон web-app, локальная разработка на loopback, полный управляемый статический комплект, импорт и экспорт локального текста и постоянные настройки или черновики
- Пакетные команды и песочница в браузере
Рекомендуемый порядок работы
Начните с topaz check, проверьте поведение через topaz run, затем собирайте только ту цель, которую собираетесь развёртывать. При сообщении об ошибке установки приложите вывод topaz version --verbose.
Текущая поддержка
Интерпретатор, Rust и Python поддерживают текущие семейства грамматики и стандартной библиотеки, описанные на сайте. Браузерная сборка создаёт raw WASM, пакеты для worker и проверяемые Web Applications, работающие из сгенерированного статического комплекта. Доступ к файлам, процессам, сети, времени и браузерным API зависит от среды и описан на соответствующих страницах.
Интеграционный артефакт репозитория
Для Lispex-in-Topaz есть внутреннее ограниченное интеграционное свидетельство по одному измеренному семейству исходников, но это не выпущенный компонент и не публичный бэкенд Topaz.
| Область | Текущий ограниченный статус |
|---|---|
| Канонический исходник | Один исходник LIT для интерпретатора, generated Rust, generated Python и Web |
| Основа primitive capabilities | Поддержаны 84 из 205 строк: 31 детерминированная delegation и 53 реализации machine; остальные 121 завершаются явно |
| Primitives с guest-вызовами | 6 из 18 поддерживаются через общий dispatcher machine; остальные завершаются явно |
| Четырёххостовое свидетельство | Внутреннее свидетельство охватывает ограниченную поверхность проверки всех четырёх маршрутов |
| Наблюдение выпуска Lispex | Один установленный маршрут LIT участвует в общей квитанции на 144 случая; Rust/LIT совпадает в 65 случаях и расходится в 79 |
| Граница происхождения | Все четыре маршрута Topaz — варианты одного исходника LIT; это не независимые реализации, и независимость исходного кода не заявляется |
Этот артефакт не добавляет новый синтаксис, гарантии стандартной библиотеки, содержимое установщика или публичный бэкенд.
Известные ограничения
Функции сжатия поддерживаются не всеми целями одинаково. В частности, детерминированные raw-сжатие с фиксированным Хаффманом и фиксированный zlib недоступны для generated Python и отклоняются на этапе генерации. Порядок выполнения параллельных задач намеренно не определён. Некоторые идеи из плана развития ещё не являются допустимым синтаксисом. Интеграция Lispex ограничена 84 из 205 primitive-строк, точной четырёххостовой поверхностью проверки и общей квитанцией на 144 случая. Она не устанавливает эквивалентность всего языка.
Справочник команд
topaz version --verbose