Claude と半年走って学んだ、「検証は委譲できない」という結論

Claude Fable 5 の 3 日間の稼働中に設計された Kei 言語を通じて、AI が書き手となる時代におけるプログラミング言語設計の原理転換を記録。従来の言語が「人間の手数削減」を前提としていたのに対し、AI 時代は「曖昧性の排除」「推論の局所性保証」「構造化エラー」に全振りすべき、という主張。人間はコード本体ではなく関数シグネチャの契約条項を読み承認する役割にシフト。

複数リポジトリでのステートレス化フェーズで、Claude 実装サブ + 親 + 第三者監査サブ + Copilot レビューの多層防御をすべて通り抜けた構造的盲点が発生。コードレビューは Claude × Copilot で平均 1.5 ラウンドの座組が機能するも、verify 経路の真正性層に問題が残り、人間の批判的圧力が最終防御層として必須であることが判明。

競馬予想の確証バイアスを排除し、強い馬の加点だけでなく全頭一律基準で「消し要素（リスク）」を定量評価する AI プロンプト。STEP 2.9 で R1～R8 のリスク項目を機械的に採点し、期待値ベースの馬券戦略を導き出す分析フロー。過去3年同レース回顧によるキャリブレーション・騎手定量評価・血統適性・G1未出走馬補完などを体系化。

複数の AI エージェント（Claude・Codex など）と人間が同じスレッド内で議論し、十分に熟した段階でドラフトにまとめるローカルアプリ「Roundtable」が開発された。ファイルベースの構造化フォーラムとして機能し、AI による破壊的操作を PreToolUse hook で制限しつつ、人間の承認フローを最小化する設計を採用。