Redox OSがLLM生成コードを全面拒否、議論の余地なし

Rust製マイクロカーネルOSのRedox OSが、LLMで生成されたコード貢献を一切受け付けないと明文化した。しかも「この方針に議論の余地はない」という、異例の強さで。

Redox OSがLLM生成コードを全面拒否、議論の余地なし

RustマイクロカーネルOSのRedox OSが、LLMで生成されたコード貢献を一切受け付けないと明文化した。しかも「この方針に議論の余地はない」という、異例の強さで。


静かに一線を引いたプロジェクト

Redox OSが3月31日付の開発報告で、AIポリシーと貢献規約の導入を公表した。発端は派手な事件ではない。淡々と、しかし決定的に、境界線が引かれている。

Redox OSはRustで書かれたUnix系マイクロカーネルOSで、カーネルのコード量は3万行未満。小さく美しい設計を志向するプロジェクトだ。そこに「LLMが書いたコードは受け入れない」という一文が、他の技術的改善リストと並んで、ごく自然に置かれた。

This Month in Redox - March 2026 - Redox - Your Next(Gen) OS
The Redox official website
Redox OS AIポリシーと貢献規約の骨子
項目 内容
対象 LLM(大規模言語モデル)が生成したすべての貢献。イシュー、マージリクエスト、説明文を含む
処置 LLM生成と明確にラベル付けされた内容は即座にクローズ
回避試行 プロジェクトから追放
議論の余地 なし("not open to discussion")
貢献規約 レビューコメントへの応答能力の誓約、Developer Certificate of Originの理解と同意
出典:Redox OS公式「This Month in Redox - March 2026」に掲載されたAI Policy および Contribution Terms の原文に基づく。

派手に叫ぶのではなく、規約として静かに成立させる。この温度感こそが、プロジェクトの本気度を物語っているように思える。

明文化された禁止条項

ポリシーの中身は、解釈の余地を残さない書き方になっている。

Redox OSはLLM(大規模言語モデル、いわゆる「AI」)によって生成された貢献を受け付けない。この方針に議論の余地はなく、LLM生成と明確にラベル付けされた内容は、イシュー・マージリクエスト・その説明文を含めて即座にクローズする。回避を試みた者はプロジェクトから追放する。

注目すべきは「議論の余地がない (not open to discussion)」という一節だ。オープンソースコミュニティの文化では、方針はしばしば議論とコンセンサスで決まる。その作法をあえて踏まない宣言である。

併せて導入された貢献規約では、提出者にレビューコメントへの応答能力と、Developer Certificate of Originの理解を誓約させる。責任を持って答えられない貢献は入口で止める、という設計だ。

3月の開発報告に混ざっていた伏線

この決定は、思いつきで出てきたものではない。同じ3月の報告には、もうひとつ象徴的な一行がある。

Wildan Mubarokが、デフォルトでAI生成コードを避ける目的で、デスクトップ版のパッケージからRustPythonを取り除いた。

配布物のレベルで既に「AI生成コードとの距離」を測る作業が始まっていたわけだ。ポリシー文書は、その実務上の判断を明文化して追認したものと読める。

3月は他にも、新CPUスケジューラ「Deficit Weighted Round Robin」の実装、カーネルのデッドロック検出機構、pkgarパッケージのLZMA2圧縮によるサイズ3〜5分の1化、COSMICコンポジタ上でのlibcosmicデモ動作など、地道で濃い改善が並ぶ。その地道な作業リストの一項目として、AIポリシーはあっさり並んでいる。

2026年3月 Redox OS 月次報告の主なトピック
領域 代表的な変更
グラフィクス COSMICコンポジタ上でlibcosmicデモが動作、DRM APIとGPUメモリマッピングの進展
CPUスケジューラ Deficit Weighted Round Robinスケジューラを新規実装
カーネル スピンMutex/RwLockカウンタのチューニングによるデッドロック検出機構
Unicode対応 CPython、PHP、Nano、Vim等がncurseswへ移行しUnicodeに対応
パッケージ pkgarにLZMA2圧縮を導入、パッケージサイズを約3〜5分の1に
配布物 デスクトップ版からRustPythonを除外(AI生成コード回避のため)
プロジェクト方針 AIポリシーおよび貢献規約を正式に採用
出典:Redox OS公式ブログ「This Month in Redox - March 2026」(2026年3月31日公開)。

「どうやって検出するのか」という問い

Phoronixのフォーラムでは、予想通りの論点が噴出した。懐疑派の第一声は「LLM生成かどうか、どう判別するのか」だった。「どうせClaudeに『これAI生成?』と聞くんだろう」という冷笑まで飛んでいる。

技術的に100%の検出は無理だ、という指摘はまったく正しい。ただしこのポリシーは検出より、責任の所在を確定させるために存在する。明文化しておけば、後から問題のあるコードが見つかったとき「知らなかった」では済まない。

賛成派の声もはっきり目立つ。あるユーザーはこう書いていた。

Redoxは多くの点で正しい判断をしている。LLMを避けるのは当然だ。登場して日が浅く、メリットも極めて限定的で、初期の研究でも生産性向上はせいぜい10%、開発者のスキルにもあまり左右されない。おまけに法的な地雷でもある。

小さなカーネルを、人間の目が届く範囲で守り続ける。そういう哲学と、この方針は素直に噛み合っている。

Rustネイティブの小さなOSが選んだ道

一方で、反対側の視点も見ておきたい。LLM生成コードを一律で締め出せば、当然ながら貢献の絶対数は減る。初学者が助けを借りて書いた、ごく小さなパッチまで入口で跳ね返してしまう可能性もある。大規模プロジェクトであれば、この機会損失は無視できないはずだ。

しかしRedox OSのカーネルは3万行に満たない。コードの一行一行をメンテナが把握できるスケールを守ること自体が、このプロジェクトの価値の一部なのだと思う。だとすれば、量より純度を選ぶ決断は筋が通っている。

良いモノは良い、悪いモノは悪い。Redox OSは「うちのプロジェクトにとってLLM生成コードは悪い」と、淡々と言い切った。それが他のプロジェクトにも正解かは、わからない。ただ、方針を曖昧にしたまま流されるよりは、はっきり線を引いて責任を負う姿勢のほうが、少なくとも私は信頼できる。

半年後の月次報告に、この規約の答え合わせが並んでいるはずだ。


参照元

他参照

関連記事

Read more

Meta MSL初の旗艦モデル「Muse Spark」公開、Llama路線を刷新

Meta MSL初の旗艦モデル「Muse Spark」公開、Llama路線を刷新

Metaの超知能研究組織MSLが、マルチモーダル推論モデル「Muse Spark」を公開した。Llama 4の名前は、もはや「前モデル」という形でしか出てこない。 MetaのAI戦略が「ゼロからやり直し」を宣言した日 Meta Superintelligence Labs(MSL)が米国時間4月8日、フロンティアモデル「Muse Spark」を発表した。meta.aiとMeta AIアプリで即日提供が始まり、一部のユーザー向けにプライベートAPIプレビューも開放されている。 Metaはこのモデルを「スケーリングの梯子(scaling ladder)の最初の1段」と表現している。梯子である以上、1段目単体の高さより、その先にあと何段積めるかこそが問われる。 名前の変化以上に重要なのは、その立ち位置だ。Metaはこのモデルを「私たちのAI取り組みを根底から作り直した最初の成果物」と位置づけている。つまり、Llama 4 Maverickまでの系譜は一度リセットされた、という宣言に等しい。 Muse Sparkはネイティブなマルチモーダル推論モデルとして設計され、ツール使用、視覚

Anthropic、D.C.巡回区がブラックリスト停止を拒否

Anthropic、D.C.巡回区がブラックリスト停止を拒否

国防総省によるAnthropicの「サプライチェーンリスク」指定について、D.C.巡回区控訴裁が4月8日、執行停止の申立てを退けた。3月のカリフォルニア地裁の差し止めとは別の根拠法での判断で、同じ企業をめぐる司法の歩みが二つに割れている。 D.C.巡回区が示した、慎重な拒否の論理 2026年4月8日、米D.C.巡回区控訴裁の三人合議体(Karen LeCraft Henderson、Gregory Katsas、Neomi Rao)は、Anthropicが求めたサプライチェーンリスク指定の執行停止を認めなかった。合議体は「Anthropicは審理中の停止という例外的救済の厳格な要件を満たしていない」と結論づけた。 ただし判決文の読み方には注意が必要だ。合議体は本案の是非には踏み込まず、むしろAnthropicに「ある程度の回復不能な損害」が生じうることを認めたうえで、その損害の核心は憲法上の権利侵害というより金銭的なものだと整理している。5月19日には口頭弁論が予定されており、巡回区は早期審理の姿勢を見せている。 判決文は「一方には一企業の財務的損害という比較的限定されたリス

Amazon、2012年以前のKindleを5月20日遮断へ

Amazon、2012年以前のKindleを5月20日遮断へ

Amazonが旧型Kindleへの終了通告を送り始めた。表向きは「14年への感謝」と20%オフのクーポンだ。しかしこの切断は、2025年から続くDRM棚卸しの、最後の一手でもある。 5月20日、初代Paperwhiteがストアから切り離される Amazonは2026年5月20日をもって、2012年以前に発売されたKindle電子書籍リーダーとKindle Fireタブレットのサポートを終了する。対象端末からは、Kindleストア経由での購入・貸出・ダウンロードが遮断される。米メディアが入手したAmazonの顧客向けメールと、公式声明で明らかになった話だ。 Amazonの声明は、この判断を技術の進歩で説明している。 これらの端末は少なくとも14年、長いものでは18年にわたってサポートされてきた。しかし技術はその間に大きく進歩しており、これらの端末についてはこれ以上のサポートを行わない。 日本市場で最も影響を受けるのは、2012年10月のKindleストア日本上陸と同時に発売された初代Kindle Paperwhite、そして初代Kindle Fireだ。それより前の海外モデル