ADR-0007: 実装言語は Rust とし、コアは標準ライブラリのみで書く

状態: Accepted

文脈

99-open-questions.md Q3。候補は Rust / Zig / C++ / Go。 制約は以下である。

• 常駐しない（ADR-0002）ため起動時間が毎回課金される。目標 10ms 以下
• mmap、flock、並列評価、キャンセルを扱う
• 単一バイナリで配布したい

決定

実装言語を Rust とする。ワークスペースのコアクレートは Rust 標準ライブラリのみに依存し、 外部 crate の追加は都度の合意を要する。

根拠

Rust を採る理由

• GC を持たないため、キャンセル応答性が実行環境の都合で劣化しない。 Go の懸念（Q3 に記載）はここに掛かる
• mmap / flock は libc 相当の FFI を要するが、単一 crate（あるいは薄い自前 FFI）で足りる
• 参照する先行例が Rust 実装である。Salsa と rust-analyzer は、 20-architecture.md 1〜3節が丸ごと写している構造の実物である
• 単一バイナリの静的配布が既定の挙動である

採らなかった案

• Zig — 単一バイナリとツールチェーン同梱の点で適合するが、 言語自体が非安定であり、本システムの寿命（長期保守）と噛み合わない
• C++ — 自己ホスティング的な説得力はあるが、増分エンジンとキャンセルの 実装コストが最も高い。差別化点の実装に割ける労力が減る
• Go — 起動と実装容易性で優るが、GC がキャンセル応答性に与える影響の検証が 前提となり、その検証コストが Rust を選ぶコストを上回らない

標準ライブラリのみとする理由

外部 crate を素朴に採ると、次の3つが同時に損なわれる。

• 起動時間 — 動的リンクと初期化コードが増える。10ms 予算は clap + serde + tracing 程度の構成でも実測で圧迫される
• 依存の統制 — サプライチェーン施策（cooldown、ライセンス許可リスト）を 設計に含める以上、自身の依存木を統制できない状態は一貫しない
• 設計の外注 — CST 表現（rowan）とクエリエンジン（salsa）は 本システムの中心的な設計事項である。既製品に合わせると 20-architecture.md 2節の4制約を他者の都合で決めることになる

したがって CST、増分エンジン、診断、ログ、JSON 出力は自前とする。

帰結

• CST・パーサ・診断・ログ・JSON 直列化を自前で持つ。初期コストを受け入れる
• mmap / flock を要する段階（永続化ストア）で、libc への依存または 自前の extern "C" 宣言のどちらを採るかを別途決める
• cargo をビルドに用いる。これは本システムが自己ホスティングするまでの暫定である
• 整形は cargo fmt、静的解析は cargo clippy。 50-development.md 5節に追記する
• 外部 crate の追加はこの ADR を参照して個別に合意する。 合意した場合は本 ADR に追記するのではなく、追加分を記録する ADR を起こす