Whitepaper и эмпирическая оценка Rul (.rl) — Zenodo DOI 10.5281/zenodo.23722094
Технический whitepaper, разбор из первых принципов, методология бенчмарков на 80 МБ колоночных данных и криптографическая SHA-256 верификация Prior Art для Rul (.rl).
Rul (.rl): 128-битный бинарный язык программирования SSA-DAG, несущий расписание и доказательства
Традиционные языки программирования (C, Go, Rust, Python) спроектированы вокруг биологических ограничений человека: низкоскоростного ввода с клавиатуры (~40 бит/с) и визуального чтения ASCII-текста, что накладывает огромный налог на сериализацию, парсинг, вывод типов и оптимизацию LLVM для автономных ИИ-агентов.
Rul (.rl) устраняет текстовый исходный код как основное представление, заменяя его отображаемым в память плоским бинарным топологическим графом SSA-DAG, где каждая инструкция представляет собой фиксированный 128-битный (16-байтный) кадр NodeFrame, кодирующий Algorithm + ScheduleHint + ProofIdx + AffineToken/ReadLease. Поскольку ИИ-агент выдаёт явные подсказки расписания и сертификаты безопасности вместе с алгоритмом, компилятор Rul не выполняет вывод типов и поиск: однопроходный линейный верификатор O(N) математически гарантирует 100% отсутствие алиасинга памяти, use-after-consume, переполнения буфера и нарушений песочницы за ~5.78 нс/узел, а 3-уровневый движок и прямой AOT-компилятор x86_64 ELF64 сливают многоступенчатые колоночные конвейеры в регистровые циклы за ~6.4 мкс.
Почему текстовые языки человека являются узким местом для ИИ-агентов
- • ИИ сериализует внутренние числовые тензоры в тысячи символов ASCII (pub fn, скобки, точки с запятой).
- • Компилятор тратит секунды на лексический разбор, построение AST и решение NP-трудных задач Borrow Checker и распределения регистров.
- • Аппаратное расписание (SIMD / кэш-тайлинг / потоки) намертво переплетено с синтаксисом императивных циклов.
- • ИИ генерирует 16-байтные бинарные кадры напрямую (0 мс парсинга, 0% синтаксических ошибок).
- • Один прямой цикл проверяет порядок SSA, версии памяти и границы массивов за ~5.78 нс/инструкцию.
- • Мутация 1 байта (Байт 2: schedule_hint) переключает выполнение с 1-ядерного SIMD на MultiCore + ZoneMap.
Результаты эмпирических бенчмарков (80 МБ / 10 млн f64)
| РЕАЛИЗАЦИЯ | РЕЖИМ | ЗАДЕРЖКА | ПРОПУСКНАЯ СПОСОБНОСТЬ | ПРОТИВ C 8-ACC |
|---|---|---|---|---|
| [A] Императивный AoS + Vec::collect() | 1 ядро AoS + Аллокация в куче | 70.66 ms | 1.13 GB/s | 0.10x |
| [B] Идиоматичный Rust SoA (filter().map().sum()) | 1 ядро Цепочка итераторов SoA | 19.12 ms | 4.18 GB/s | 0.38x |
| [C] Ручной C/Rust SoA с 8 аккумуляторами | 1 ядро 8-канальная развёртка (Базовый уровень) | 7.32 ms | 10.92 GB/s | 1.00x (Baseline) |
| [D] Rul (.rl) Tier 2 Fused SIMD (0x11) | 1 ядро L1-Tile SIMD (SimdStream) | 5.91 ms | 13.53 GB/s | 1.24x (1-Core vs 1-Core) |
| [E] Rul (.rl) Tier 2 MultiCore (0x12) | Все ядра (Мутация 1 байта расписания) | 3.19 ms | 25.04 GB/s | 2.29x (Schedule Byte) |
| [F] Rul (.rl) Tier 2 MultiCore + ZoneMap | Все ядра + O(1) пропуск холодных тайлов | 1.55 ms | 51.53 GB/s | 4.72x (Peak Speedup) |
Цитирование Rul (.rl) в научных работах
@software{rul_2026_spec,
author = {Rul Core Architecture Team},
title = {{Rul (.rl): A 128-Bit Schedule- and Proof-Carrying Binary SSA-DAG Programming Language and Execution Engine for Autonomous AI Agents}},
month = oct,
year = 2026,
publisher = {Zenodo},
version = {0.4.0},
doi = {10.5281/zenodo.23722094},
url = {https://doi.org/10.5281/zenodo.23722094}
}Верификация авторства и криптографический Prior Art
SHA-256 дайджесты основной спецификации и реализации на Rust, зафиксированные в блокчейне Bitcoin через OpenTimestamps в каталоге docs/prior_art/.
| ПУТЬ К ФАЙЛУ | АРХИТЕКТУРНАЯ РОЛЬ | ДАЙДЖЕСТ SHA-256 |
|---|---|---|
| docs/rul_spec_v0.md | Официальная спецификация бинарной разметки .rl и O(N) верификатора | 9174ff81b429b19785646f25707034a36b4ba7b4a7964b7e04ddbc31fda9d9c6 |
| docs/WHITEPAPER_RUL_V0_1.md | Технический Whitepaper и эмпирическая оценка (Zenodo DOI) | 141ea3d9b348369b4e233746619fee443387e931c821fe2eb32b93f760571b98 |
| docs/new_language_for_AI.md | Архитектурный разбор из первых принципов для ИИ-агентов | 88043cda84b7289e9fe26f4bc3547a58b994a91b1df8774bbc206dc6dba5504d |
| src/bytecode.rs | Определения 64B RulHeader, 16B ArenaDescriptor, ProofEntry и 128-битного NodeFrame | 3a8c780cf4181c936b303943eafa3729eba9e519cd9d55569c28f1f630f26c03 |
| src/verifier.rs | Однопроходный линейный статический верификатор O(N) (~5.78 нс/узел) | feaa5ae7e94b2bede64772d1ce595286bed35ac2afc9be9b571836813a4eb11b |
| src/engine.rs | 3-уровневый движок выполнения, слияние L1-Tile, ZoneMap и трассировщик «белого ящика» | 8037e2f718dc24d372a67111d9a6c5481ade4ff55a62d1b315b35c9ccf879bcf |
| src/aot.rs | Компилятор Linux x86_64 AVX2 ELF64 без использования LLVM (~6.4 мкс) | fe8eddae822fae0df6ea751aaa7919fc81675a7c169d2aadb4c3b9e6f05f27ac |
| src/mcp.rs | Встроенный сервер Model Context Protocol (JSON-RPC 2.0 поверх stdio) | c58faa2f0ac626412a6c8ef00ae67dabc85b863f4c0ba73c3e16a0ff909a91c6 |