Rul (.rl) ホワイトペーパー＆実証評価 — Zenodo DOI 10.5281/zenodo.23722094

Rul (.rl)：スケジュールと証明を携行する自律AIエージェント向け128ビット・バイナリSSA-DAG言語

従来のプログラミング言語（C、Go、Rust、Python）は、低帯域なキーボード入力（約40ビット/秒）や視覚的なASCIIソースコードの読み取りといった人間の生物学的制約を中心に設計されており、自律型AIエージェントに対して膨大なシリアライズ、構文解析、型推論、LLVM最適化のコストを課しています。

Rul (.rl) は主要表現としてのテキストソースコードを排除し、すべての命令が Algorithm + ScheduleHint + ProofIdx + AffineToken/ReadLease をエンコードする固定長128ビット（16バイト）の NodeFrame であるメモリマップド・フラットバイナリSSA-DAGに置き換えます。AIエージェントがアルゴリズムと共に明示的なスケジュールヒントと安全性証人を出力するため、Rulコンパイラは型推論や探索を一切行いません。単一パス O(N) 線形検証器が約5.78 ns/ノードでメモリエイリアシング、use-after-consume、バッファオーバーフロー、サンドボックス違反の100%不在を数学的に保証し、3層実行エンジンと直接 x86_64 ELF64 AOTコンパイラが多段列指向パイプラインを約6.4 µsで単一パスレジスタループへと融合します。

なぜ人間のテキスト言語はAIエージェントのボトルネックなのか

実証ベンチマーク結果（80 MB / 1,000万要素 f64）

@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)

コア仕様書およびRust実装のSHA-256ダイジェストは、docs/prior_art/ 内の OpenTimestamps を介してBitcoinブロックチェーンに刻印されています。