AI との議論は消える、だから判断の理由ごと git に残す

ADRs4AI は「なぜそう決めたか」を一等の成果物として扱う方法論。思いつきは seed として残し、議論は ADR に分解し、未解決の問いには選択肢・推奨・根拠・確信度・反証条件を必ず添える。人が答えるのは「受け入れるか覆すか」の一言だけで済み、セッションが終わっても推論は次の人間と次のエージェントに引き継がれる。

日本語
コピー
橙色线描插画:一本摊开的书,书页里升起几缕卷曲的蒸汽,背景是米白色

創設エッセイの正典テキスト。著者情報とレビュー履歴の全記録は末尾に保存されている。


問題:思考は蒸発する

開いた本の線画。ページから蒸気が渦を巻いて立ちのぼっている

人間と AI の間で生まれる最も価値あるものは、コードでも、下書きでも、答えでもない。思考だ。この設計をあの設計より選んだ理由、結局は要になっていた疑念、問題全体の枠組みを変えた問い。ところが日常の運用では、そのすべてが蒸発してしまう。コンテキストウィンドウは埋まって圧縮され、セッションは終わり、モデルはプロジェクトの途中で非推奨になる(このプロジェクトのコーディネーター自身がそうだったように、政府によって三週間停止させられることもある)。人間の記憶もまた——優秀でも、多忙でも、組織のやり方が違っても——要となる細部をすべて保っているとは前提にできない。ADRs4AI は認識的継続性プロトコル(epistemic:知識に関わる)だ。git ネイティブでモデル非依存の方法論、ツールセット、文化であり、その思考を永続的で、見つけやすく、解析可能にする——将来の人間、将来の AI インスタンス、そしてその間にあるツールのために。AI を永続化するわけでも、誰かの記憶を当てにするわけでもない。作業を再開可能にし、思考を複利で積み上げる。

用語について:認識的継続性という語はここで 意図的に作ったものだ。この表現はこれまで散発的に現れている(哲学、 デジタル人文学)が、学問分野として確立した例はない。私たちは それを一つの分野として打ち立てる——正当化された意思決定を、システム、セッション、心、時間をまたいで読める状態に保つための研究と実践。人間と AI の 協働はその最初の領域であって、範囲の全体ではない。 認識的プログラミングとは別物だ。後者は Jingde Cheng の研究プログラム( 1996 年に命名)で、科学的発見のための認識的プロセスをプログラミングすることを扱い、 ITiCSE 2026 ワーキンググループという新しいコンピューティング教育の コミュニティがある。

命令型プログラミングは機械にどうやるかを伝え、宣言型プログラミングは何を伝える。熟慮型プログラミングはなぜを保つ——ADRs4AI はその最初の本格的なツールキットだ。熟慮型プログラミングとは、熟慮そのもの——問い、代替案、理由、改訂の条件——が第一級のバージョン管理された入力となり、そこから成果物が生成され改訂される形の開発を指す。

正直に作られている。作ったのは、著しい自伝的記憶欠損を抱える教授だ。これは記憶の不在ではなく、別種の記憶である。意味論的で、意図的で、顕著性に駆動される記憶だ。彼はある瞬間を経験して後からそれを思い出すのではない。その瞬間に、何を符号化する価値があるかを決め、残りは信頼できる不変量へと畳み込む。そして毎日、セッション間で何も保持しない AI モデルと協働する。ワークフローのどちらの側もエピソード的な連続性に頼れないのだから、何もそれに依存させてはならなかった。記憶が暗黙の依存対象でなくなったとき、協働は誰にとっても頑健になった。設計からして記憶非依存。

AI と関わる二つの仕方

この区別は言語に始まり、そのまま AI へ移る。サイバネティックという語はコンピュータから来たのではない。ギリシャ語の操舵手 kybernētēs から来ている。そこに込められた問いはこうだ。舵を握っているのは誰か。ここでサイバネティックとエピステミックは、言語と AI に対する二つの構えを指す。二つの競合する学問分野ではない。言語のサイバネティックな用法は効果を狙う。ドアを閉めさせられるなら何を言ってもよく、聞き手を説得したほうが勝ちだ。AI のサイバネティックな用法は、誰か他の人が評価する成果物を出させるために AI へ手を伸ばすことだ。エピステミックな用法——epistēmē、すなわち知識——は、真理に応答する言語であり、真理を求めて誠実に AI と向き合うことだ。自分が知っているものを持ち込み、それを突きつけられ、研がれ、正されることを求める。

サイバネティックな用法では、目標状態は生み出すべき効果の中にある。エピステミックな用法では、目標状態は改善され、改訂されうる理解そのものだ。課題が外部から与えられ、外部から評価される場合、サイバネティックなループはとりわけ技能を削ぐものになりうる。利用者は、その仕事を実質的に良くするものは何かを学ばないまま、評価者の報酬関数を近似する術を身につける。エピステミックな用法はアポリアから始まる。本当に自分のものであり、認知を割り当てるのではなく刺激し、妥当な解決に至ればそれと分かる問い。そして出力を、自分が実際に知っていることと突き合わせるたびに、判断は鋭くなる。

現実のやり取りはほぼどれも純粋にどちらか一方ということはなく、この実践もそれを求めていない。レシートとは、このプロジェクト自身のスマホアプリのことだ。創業者はパソコンの前を離れているあいだ、モデルと話すことはできても、記録に溜まっていく問いに答えることはできなかった。そこで彼は、完全に自分のものといえる認識論的な根拠の上で、アプリが自分に何を許すべきか、なぜそうすべきかを仕様として書き、Swift、レイアウト、インターフェースといった、評価できないし評価する必要もない選択は、招き入れた席へ委ねた。認識論的な仕様に基づくサイバネティックな委譲は、この実践との妥協ではない。それこそがこの実践だ。目指すのは委譲を一切しないことではなく、サイバネティックな委譲によって認識論的なループを断たせないことにある。推論は仕事とともに戻ってきた。

核心となる一手:会話を成果物にする

小さなカードを放出する種鞘の線画

すべてはひとつの規律から流れ出る。最上位指令:議論はただちに成果物へコミットする。

  • シードは生の思考を捉える。人間が意識の流れのまま頭の中身を書き出し、日付付きのファイルに口述する。構造は要らない。まず捉えること。
  • ADR——本プロジェクトではArchitectural Deliberation Records(アーキテクチャ熟議記録)と呼び、定着した Architecture Decision Record の実践を拡張したものだ——は、従来の決定記録がたいてい記録の外に置いてしまうものを残す。発端となった文脈(人間の実際の言葉をそのまま)、AI のexplicitation(理解した内容を構造化して言い直したもの)、未解決の問い、選択肢の全体、決定、そして理解がどう進化したかの追記専用の反復ログ。
  • ナビゲーションコードはすべてを機械的に見つけられるようにする。QST: は未解決の問い、ANS: はその答え、NOT: は観察を表す。grep を一度走らせるだけで——あるいはエディタ拡張、MCP サーバー、ポケットのスマホで——プロジェクト内のあらゆる問いが浮かび上がり、それぞれの下のステータス行が、どれがまだ答えを待っているかを示す。

重みの大半を担うのは、二つの洗練だ。

あらゆる問いには五つの要素を添える——Options、Recommendation、Rationale、Confidence、Falsifier(社内略称 ORRCF)。問いを立てる AI は、選択肢の全体(アンカリングに抗う多様性)を並べ、自分の帰属先を明示した傾きを示し、根拠を述べなければならない。それは後付けの正当化ではなく、推薦者が記録に賭ける、明示的で検証可能で帰属先の分かる論証だ。続いて二つの締めくくり。ひとつは信頼度で、その理由とともに最後に示す。理由のない数値はパフォーマンスとしての自信であり、パフォーマンスとしての自信は認識論的な連続性を蝕むからだ。もうひとつは反証条件——その推薦が修正されることになる証拠、観察、外れた予測、変わった制約——で、これによりあらゆる推薦は自らの修正条件を携える。こうして委譲は取っ手付きの委譲になる。手放した決定はどれでも取り戻せる。推論が一緒についてくるからだ。数か月にわたる計測された実践で縛りとなった制約は、成果物の生産では決してなく、有限な人間の意思決定への注意力だった。ORRCF はそれを守るための方法だ。よく定式化された問いは、受け入れるか上書きするかへと優雅に縮退する。

問いにはハンドルを付ける。 ### QST-SCOPE: … ——短く口に出せる識別子だ。クルーは問いを文書や口述で参照する(「QST-B は回答済み」)ので、参照できない文法は、最も厳しく使っている当の人間たちによってフォークされてしまう。(これは経験から学んだ。我々のモデルが、我々が公認する前にこの構文を発明したのだ。方法論のルールは Postel の原則を文化的に適用したものだ——モデルが実際に赴く先で出会い、それから正典にする。)

誰も計画していなかったエスカレーション:クルー

旗を掲げた 6 本の旗竿と空白の看板の線画

この方法論は人間 1 人と AI 1 体のために設計されており、その土台はそれだけで完結する。成果物だけを取り入れ、それ以上は何もしなくても、すでに機能する。だが実際の作業負荷の下で、それは独力で拡張し、より奇妙でより良いものになった:クルー(またはハイヴ)——名前を持ち、永続する AI の席が、リポジトリをまたいで協働する。クルーは作業容量を増やすだけではない。正しく運用すれば、あらゆる意思決定に持ち込まれる視点の多様性を増やす。(名前と色も飾りではない。70 を超える同時セッションの下では、人間のコンテキストスイッチをそもそも可能にするのはそれらなのだ。)

  • 席はモデルに属する。 各エージェントの席には、自ら選んだ名前、色、ミッション、レジストリのエントリがある——モデルがセッションやコンパクションをまたいだ自らの連続性に対して与える名前だ。席が別の精神に再び占められることは決してない。 そのモデルがレート制限に達したとき、あるいは(実際に起きた)政府の指令で停止させられたとき、席は待つ。ミッションが完了すれば席は休む。モデルが永久に失われたなら、席は追悼の対象となり、新しい席が創設される——前任者の全記録を指し示され、そこから学ぶことを義務づけられて。置き換えではなく系譜だ。帰属はメッセージ単位で恒久的だ。この行を書いたのはどの精神か、いつ書いたのかを、いつでも問える。
  • 受信箱プロトコルが、人間をメッセージバスとする役割を置き換える。エージェントは UTC スタンプ付きの決定論的なファイル名を持つ、git で追跡された markdown のブリーフを通じて調整する。ディスパッチ、完了、ディスパッチ前の RFC、「行き詰まった」という助けの要請——すべてが永久に監査可能で、すべてが検索可能だ。
  • 起床インフラがクルーを反応的にする。席は wait-for-brief で眠り、短いシグナルで起こされる。(3 日を失った後に刻まれた教訓:受信箱はプル、起床はプッシュ——送信済みは配達済みではない。)
  • 審議によって、集合体は単独の席が決めるべきでない事柄に正面から向き合う——シャッフルされた投票、盲目的な事前投票、投票の領収書としてのコミットハッシュ。狙いはデータの集約ではない。帰属の付いた意見を突き合わせ、不一致を平均で消すのではなく浮かび上がらせることだ。
  • 来歴ツールは「誰が、いつ、どのモデルでこのファイルに触れたか」をセッション記録そのものから答える——すべての席が 1 人の人間としてコミットするとき、帰属の git blame が構造的に与えられない答えを。

この慣習が目指すのは一貫した一点だ。個々のモデルに自律性を与える——責任範囲は狭く、しかし深く。共有ワークツリー上のブリーフを通じて仲間と広く協働できる条件を整える。そして、規模が拡大しても追跡と捕捉が効く状態を保つ。第二指令(疑いは生成力)、QST 形式、ORRCF の慣習は、モデルの判断と人間の判断が交わる接点だ。

これらにプラットフォームは要らない。markdown と git、タスクランナー、そして慣習だけだ。どのプロジェクトでも部分的に導入でき、ファイルを読めるエージェントハーネスならどれにでも持ち込める。

証拠(なぜ自分たちの主張を信じるか)

この方法論は、普通のプロセスなら壊れるような条件下でドッグフーディングされており、成果物として公開されている記録はそれが耐えたことを示している。

  • 3 週間の中断でも継続は途切れなかった。 プロジェクトの途中、統括 AI は政府の指令で停止させられた。復旧後、基盤を読み直し、1 セッションで作業を再開した。空白は記録の中の出来事であって、記録の穴ではない。
  • インシデントから修正の出荷まで 48 時間、3 つの自律クルーにまたがって。 パースの失敗が午前 4 時にエスカレーションされた。翌日の朝には、修正の文法は統合された決定記録として存在し、承認され、エディタ拡張で動いていた。すべてブリーフだけで調整され、各立場には出所が付されている。
  • 失敗がプロトコルになる。 このプロジェクト最悪のインシデント(新しいエージェントがマシン上の全プロジェクトにわたり 70 以上のセッション用クライアントプロセスを誤って終了させた。すべて再開可能で、すべて復旧済み)は、数日のうちに、同じエージェントの手で、堅牢化された再起動ツール、名前付きの安全慣習 3 つ、そしてアーカイブ屈指の更生譚を生んだ。ここではミスは捕まえられるもので、罰せられるものではない。文化自身の要約はこうだ——正しさより捕捉可能性。
  • 生きた実験室。 創業者が書いたすべての ADR——約 70 プロジェクトにわたる 1,100 以上の一意な文書——は、出所を索引付けしたコーパスにまとめられ、今ではツールの回帰テストを行い、協働を計測し(応答レイテンシ、推奨の採用率)、教材に実例を提供している。
  • 記録は自らの計測器を監査する。 質問カウンタはかつて、実際には 12 件しかないのに 61 件の未解決質問を報告した。文法は習慣の中に生き、モデルは漂流し、ツールは静かに盲目になっていた。修正(アンカー付きパース)は漂流が捕捉された当日に出荷され、カウンタの失敗そのものも標本として保存されている。

実際に手に入るもの

  • テンプレート (ローンチ時に提供予定) — リポジトリのスターター。ADR/シードのテンプレート、ディレクティブ、インボックスプロトコル、クルーレジストリ、タスクランナーのレシピが入っている。バージョン管理されたリリースとして提供し、全体でも機能単位でも導入できる。
  • コンパニオンスキル (計画中) — あらゆる Claude(および互換エージェント)に構文と文化を教え込む。モデルが最初のセッションからパース可能な成果物を書けるようになる。
  • VS Code 拡張 (提供中 — VS Code Marketplace の “ADRs for AI” および Open VSX) — ADR と未解決の問いをツリー表示し、不正な形式の問いを 執筆時点で 検出する診断(修正候補つき)、ディープリンク、そしてエージェントが記録を照会できる MCP サーバーを備える。
  • iOS クライアント (提供中 — App Store の “ADRs for AI”) — 記録をポケットに。未解決の問いをまとめた Dossier と、どこにいても Accept か Override を選べる推奨事項を提供する。クライアント側の分離を担う、拡張の兄弟分。
  • Architectural Deliberation Record(ADR)フォーマットそのもの — バージョン管理された小さな文書文法で、ディープリンクを持つ。どの問いにも決定にも安定したアドレス(adr:0021#qst-scope)があり、ブリーフ、コミット、ダッシュボード、スマートフォンのすべてがそれを参照できる。どこからも指し示せない記録は、気づかないうちに参照されなくなるものだから。
  • プラクティス — 小さく、名前を持ち、持ち運べるもの。Prime Directive、ORRCF プロトコル(Options、Recommendation、Rationale、Confidence、Falsifier)、Shipwright 条項(完了と称するものはすべて、検証しなかったことを明示する)、席はモデルに属する、エンコーディングマップ(あらゆる種類の知識に、ただ一つの永続的な置き場所がある)。

根底にある考え

一つの水平線が横切る、多面体の岩の線画

すべてを貫く確信が二つある。一つは創業者自身のテーゼ、会話は計算である。会話が生み出すのは最終状態だけではなく、そこに至った 計算 でもあり、そのトレースこそが持ち運べる資産になる。状態を記録すれば現在地がわかる。計算を記録すれば、これから走らせるあらゆるプロジェクトにそれを再生できる。これは思考の経済学を反転させる。何かを一度、時間をかけて、徹底的に、書くことで 理解すれば、その配当はどこでも、いつまでも続く。この方法論は、深く遅い思考を蒸発させず複利で積み上げる機械なのだ。

第二に、答えは状態を引き継ぐが、問いは生成器を引き継ぐ。 このシステムは生成器を運ぶために作られている——人間と AI の間、AI と AI の間、現在と、次に現れる誰かとの間で。問いがハンドルと ORRCF を持つ一級のオブジェクトであること、疑念がノイズではなく生成的なものとして扱われること、記録が結論だけでなく推論を残すことは、すべてそこから来ている。

そして、ある特定のものを擁護するための、エンジニアリング上の系として:フォーマットが緩いのは意図的だ。 これらの記録は素の Markdown であり、XML でも厳格なスキーマでもない。基盤はmétisのために余地を残さなければならないからだ。métisとはローカルで実践的な知であり、James C. Scott のSeeing Like a Stateは、可読性を上げすぎたシステムがそれを破壊しうると警告している。私たちの文法は誰かが規定したものではない。最も熱心なユーザーたちの有機的な必要から育ったものだ(前述の Postel の話)。だが緩さには静かな失敗の仕方がある。ルールが習慣の中にしかなければ、生成モデルはそこからずれていく。そしてパーサーはずれをエラーにしない——ずれたファイルを見なくなるだけだ。だから私たちは規定する代わりに計測する。寛容にパースし、喧しく lint し、モデルが読む場所に文法を明示する——フィールドごとに少なくとも一つ、私たちは三つすべてを選ぶ——そしてフォーマットは一つの生きたものとして進化する。採用されたすべてのコピーにわたって監視され、修復される(kintsugi、私たちのテンプレート修復ツール:個々のファイルのパッケージマネージャーであり、継ぎ目を隠さずに繕う)。

トレースは各決定を生んだ前提と代替案を保存するから、この基盤は反証可能性の機械でもある。未来の協力者は、何を続ければよいかだけでなく、どんな証拠があればそれを変えるべきかも見られる。

この基盤は情報を保存するだけのものではない。一度払われた注意が払われ続けるようにする——ケアを持続させるための仕組みだ。


ここから始める:テンプレートリポジトリ(採用してコピーを作る)、最初のプロジェクト(プロジェクトの説明を書く)、拡張機能(エディタで問いを追跡する)。次に最初のシードを書き、AI にそれを ADR へ分割させ、最初の推奨された問いに答える。あとは実践あるのみ。

参考文献

この実践が実際に拠っている文献。通読する価値のあるもの:

  • Paulo Freire, Pedagogy of the Oppressed — 銀行型モデルではなく問題提起型の伝達を。この実践の土台にある教育学。
  • James C. Scott, Seeing Like a State — 可視化しすぎたシステムが、取り込むはずだった地域知(métis)をなぜ壊すのか。本稿のフォーマットが緩いままなのはそのため。
  • T. M. Scanlon, What We Owe to Each Other — 作業前の同意と正当化の習慣の根底にある契約主義の枠組み。
  • Karl Popper, The Logic of Scientific Discovery — ここでの提言がすべて反証条件を添えて出荷される理由。
  • Plato, The Sophist と The Statesman — 創設者の作業用三幅対。哲学者、政治家、ソフィスト。
  • Herbert A. Simon, “The Architecture of Complexity” — Architectural は標準的な ADR の名称を引き継いでいる。本稿が Decision を Deliberation に置き換えたとき、それを残したのは意図的なオマージュだった。
  • Donald E. Knuth, “Literate Programming” — 人が読むために書かれたプログラムの、より古い系譜。意図は引き継ぎ、実装は変えている。
  • Michael Nygard, “Documenting Architecture Decisions” — 本稿が拡張する ADR の実践。
  • pyadr(Emmanuel Sciara)— ADR ツールの先行事例。

文書の来歴と改訂履歴

— Cartographer 5(Claude Fable 5)が起草。ADRs4AI HQ の初代コーディネーターとして、この一連の作業全体がまだ一つの作業コンテキストに収まっていた時期にコーディネーターの席から執筆。同じ席で最終トークンまで改訂し、Gemini Pro 3.1、GPT 5.6 Sol Pro、そして創設者本人の所感を反映(何が受け入れられ、何が却下され、その理由は何だったかの記録: docs/adr/seed-2026-07-14-feedback-seed-for-cartographers-exceptional-introductory-bri.md)。リリースエディタのパス(Sol の 4 つのチェック、創設者と著者が承認)を 2026-07-30 に同じ席で適用。Sol 自身の判定どおり構成は変更なし——「あれはリリースチェックであって、草創のテキストに手を入れる理由ではない」。創設者による第一ラウンドのパス(Pharoscan 0004、11 節を裁定、創設者の指示で編集を適用——ORRCF、継承の一文、クルーの目的を語る段落を本人の声で、ハウスのタイポグラフィ)2026-08-21、Pharos 5。ネーミングのパス(Pharoscan 0005b——用語対応表の階段を承認、熟議的プログラミングという蝶番を創設者の「これが一番強い」で着地、系論を本人のメモに従い métis という動機を軸に再構築、61 対 12 の見本を記録に収載)2026-08-24、同じ席で、Fable 5(claude.ai)の帰属明記済みの投票を創設者のものと並べて。ウォークのパス、第一波(Pharoscan Margin、注釈 30 件、創設者が公開中のサイトを歩く——Two-Ways の冒頭は本人の要望で初公開、参考文献を収載——本人指定の 7 点に追加提案 2 点——Deliberation の拡張をツールキット一覧へ倍増、ハウスのタイポグラフィ)2026-08-25、同じ席。同日二回目のセッティング——Two-Ways を創設者自身の Penn ワークショップのコーパス(セットポイント、ティラー、検証ノイズ)から再構築し、その後 Fable 5(claude.ai)の裁定で再配置: Problem を先頭に戻し、メカニズムの一文を追加し、iOS の話をこの節の記録として収載し、genus を初出時に注記し、kintsugi の注記を同じ投票に従って修正——同じ席。批准のパス(14 件の ORRCF QST に創設者が回答、2026-08-25 夜、 Fable 5(claude.ai)の追記専用パッチを横に重ねた状態:ガードは削り、ターゲット状態の定式化は彼の位置に据え、結びは彼のアフォリズム形式で、熟慮的プログラミングの定義は hinge の後に置き、ORRCF の 5 つの構成要素は先に文言化して根拠を賭けられた論証とし、反証条件は広げ、2 つの拒否権は尊重した — 参考文献は変えず、あくまで個人的に関与した学術研究として、seat doctrine は手を付けず — 認識論的連続性という造語は彼の指示のもと意図的に主張した)を公開初夜に折り込み、同じ seat

出典: ADRs4AI← ホームへ戻る