ADRと契約によるAI生成コードの不変条件の強制
AIが生成するコードの信頼性を高めるために、Architecture Decision Records（ADR）と契約による不変条件の強制方法を解説。AIにコード生成を任せる際、重要なビジネスロジックやアーキテクチャ上の制約が守られているかを自動的に検証する手法として、ADRによる設計意図の明示と契約プログラミングによる実行時チェックの組み合わせを提案する。
背景メモ
- 著者のbitbytebitはソフトウェアエンジニアリングとAIコード生成の交差点を専門に発信するSubstackブロガー。本稿は、AI（LLM）にコードを生成させる際に、システム全体の「不変条件（invariants：常に満たされるべきルール）」を守らせる難しさを扱う。
- 「ADR（Architecture Decision Record）」は、アーキテクチャ上の重要な決定とその理由を文書化する手法。AIに事前にADRを読ませ、生成コードの制約として機能させるというアイデア。
- 「Contract」はここではDesign by Contract（契約による設計）を指し、関数の事前条件・事後条件・不変条件を明示的にコード化する手法。Eiffel言語などで有名だが、現代ではassertや型システムで実践される。
- 問題の背景：LLMは単体の関数は正確に書けても、プロジェクト全体の設計ルール（例：「必ずこのラッパーを通す」「特定の状態遷移を禁止」）を無視しがち。ADRsとContractsを両方使うことで、人間の設計意図を機械に伝達・強制する仕組みを提案している。
- この議論は、AIコード生成が実戦投入され始めた2024〜2025年に急速に重要性を増したトピックで、単なるプロンプトエンジニアリングを超えた「ソフトウェア工学とAIの統合」に関心がある読者向け。