AIが生成するコードの「仕様どおり」を保証する手法を提案。設計、仕様、型契約、実装を一方向の参照チェーンで結び、CIゲートで機械的に検証する仕組みの全体像を解説。