AIエージェントの行動履歴をGitのように管理・再現できるランタイム基盤「Shepherd」を紹介。Lean言語を用いた形式検証により、エージェントの意思決定の不透明さを解消し、デバッグ性を向上させる技術。