LLM agent に誤前提が 17 連鎖した話 — typo 1 文字が生む指摘の連鎖と、その断ち方

Lean 言語で形式化されたエージェント操作モデルと Git 風の実行トレースにより、エージェントの行動理由を完全に再現・デバッグできるランタイム基盤 Shepherd が登場。定理証明を用いた検証により、エージェント開発における「なぜその行動を取ったか分からない」という根本課題を解決。

Claude Code の Agent-based hook を使い、サブエージェントがツール検証でメインエージェントの作業をチェックする方法。Stop hook で settings.json に "type": "agent" を指定し、ユニットテスト実行や検証を AI に委譲でき、NG 時の修正も自動化可能。サブエージェントは最大 50 ターンの制約あり。

Claude API を使った自動売買エージェント運用中に発生した 4 つの本番バグ（buying power 計算誤り、同一シグナルの無限ループ、Win Rate が NaN になる問題、重複通知）とその修正プロセスを実装レベルで解説。engineKey の命名衝突対策やフロー制御の明示的チェックなどの実践的な解決方法を紹介。

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