【衝撃】BunのRust移行は「砂上の楼閣」だった？AI生成コードが量産した未定義動作の地獄を深掘り

【事象の全貌と背景：熱狂から一転、Rustの聖域が崩壊した日】\n\n2026年5月10日、当「Geek Terminal」でも報じた「BunのAI主導による6日間でのRust移行完了」というニュースは、ソフトウェアエンジニアリングの歴史を塗り替える奇跡として迎え入れられた。しかし、その熱狂からわずか1週間足らずで、事態は最悪の技術的スキャンダルへと発展している。GitHubのBun公式リポジトリに投稿されたIssue #30719「all of rust codebase: This codebase fails even the most basic miri checks, allows for UB in safe rust」が、すべての夢を打ち砕いたのだ。\n\n報告された内容は、Rustのアイデンティティそのものを否定するものだった。AI、具体的にはAnthropicのClaude 4.7（Mythos）が主導して生成したとされるRustコードの至る所に、メモリ安全性を根本から破壊する「未定義動作（Undefined Behavior, UB）」が混入していたことが判明した。Rustの厳格な借用チェッカーを「unsafe」ブロックで強引に黙らせ、Zig時代のポインタ操作をそのままRustに持ち込んだ結果、コードベース全体が「一見動いているが、いつ爆発してもおかしくない」砂上の楼閣と化していたのである。\n\n\n【技術的ディープダイブ：AIが犯した『ライフタイム抹消』という大罪】\n\n今回の問題の核心は、Rustの「ライフタイム（生存期間）」という概念をAIが完全に無視、あるいは誤解したことにある。Issueで具体例として挙げられた `PathString::init` の実装を見てみよう。\n\n問題のコードでは、`&[u8]`（バイトスライス）を受け取り、それを `core::slice::from_raw_parts` を用いて内部構造体に保持させていた。しかし、ここでAIは致命的なミスを犯している。本来、このスライスは元となるデータの生存期間に縛られるべきだが、AIが生成したコードは「unsafe」を用いてポインタを取り出し、ライフタイム情報を完全に消去（Erase）して `’static`（プログラム終了まで有効）として扱っていたのだ。\n\nこれにより、元データが `drop`（破棄）された後でも、Rustの型システム上は「有効なデータ」としてアクセスできてしまう「Dangling Reference（宙ぶらりんの参照）」が発生する。Miri（Rustの未定義動作検出ツール）でこのコードを実行すると、即座に「encountered a dangling reference (0x20933[noalloc] has no provenance)」というエラーが吐き出される。これは、Rustコンパイラが保証する「Safe RustではUBは起きない」という大原則が、AIの「Vibe Coding（雰囲気コーディング）」によって組織的に破壊されていたことを意味する。\n\nさらに深刻なのは「Provenance（プロベナンス/由来）」の消失だ。`MIRIFLAGS=-Zmiri-strict-provenance` でチェックを行うと、ポインタの由来が不明確なままメモリ操作が行われていることが露呈した。これは、最適化プロセスにおいてコンパイラが予期せぬ動作を引き起こす原因となり、デバッグが極めて困難な、いわゆる「ハイゼンバグ」を量産する土壌となっていた。\n\n\n【コミュニティの生々しい熱量と議論：『AI野郎は黙ってろ』と嘆くギークたち】\n\nこの報告に対し、RedditやGitHubのコメント欄は、AI開発に対する「不信感」と「怒り」で燃え上がっている。特に印象的なのは、Issueの報告者であるAwesomeQubic氏が放った「Please consider not vibe coding rust as AIs are not good at writing Rust and also hire a real rust dev（AIで雰囲気コーディングするのはやめて、本物のRustエンジニアを雇え）」という痛烈な一言だ。\n\nこれに対して、Bunのメンテナー側（robobun）が「Reproduced（再現した）」と認め、急ピッチで修正Pull Request（#30728など）を投げ始めているが、コミュニティの冷ややかな視線は止まらない。あるユーザーは「Silence clanker（静かにしろ、機械野郎）」とAI生成コードの修正案を揶揄し、別のユーザーは「機能していたZigのコードベースを、壊れたRustのコードベースに変換する実務的なメリットはゼロだ」と断じた。\n\n議論の焦点は、Bunの創設者であるJarred Sumner氏が以前から標榜していた「Vibe Coding」という手法に向けられている。AIに指示を出し、直感的にコードを組み上げていくスタイルは、高速なプロトタイピングには向いているが、Rustのような「厳密な数学的整合性」を求める言語においては、致命的な脆弱性を生む毒薬になりかねない。コミュニティでは「RustはCやC++からの1:1の翻訳は不可能であり、メモリ管理スキームの根本的な理解が必要だ。AIはまだそのレベルに達していない」という結論が支配的になりつつある。\n\n\n【今後の展望とエコシステムへの影響：『AI駆動開発』の死と再生】\n\n今回の事件は、過熱する「AIによるコード生成」のトレンドに強烈な冷や水を浴びせた。特に、OSカーネルやランタイムといった低レイヤーのソフトウェアにおいて、AIが生成したコードを人間に匹敵する精度でレビューすることの難しさが浮き彫りになった。\n\n今後、Bunチームは数千箇所に及ぶ可能性がある `unsafe` ブロックの総点検を迫られるだろう。これは、AIが6日間で成し遂げた「爆速移行」の代償として、人間が数ヶ月かけて「負の遺産」を清算する作業に他ならない。この事態を受けて、多くのテック企業では「AI生成コードの自動マージ禁止」や「Miri/Kaniといった形式検証ツールのCI導入義務化」といった、より厳格なガバナンスが敷かれることになると予想される。\n\nしかし、これはAI開発の終焉ではない。むしろ「AIが苦手とする領域（Rustのライフタイム管理や複雑な所有権グラフ）」が明確になったことで、人間とAIの真の協調の形が見えてきたとも言える。AIに構造を投げさせ、人間が型システムの整合性を担保する。あるいは、AI自体にMiriのログを理解させ、自己修正させるループを構築できるか。\n\nBunという、JSエコシステムの寵児が犯したこの「大罪」は、2026年におけるAI開発の限界を象徴するパラダイムシフトの分岐点として、長く語り継がれることになるだろう。我々は今、「AIが書いたから動く」時代から、「AIが書いたからこそ疑う」時代へと足を踏み入れたのだ。