エージェントの行動の再現性とデバッグを改善する基盤技術「Shepherd」を紹介。Lean言語を用いて実行を形式化し、Gitのようにトレースすることで原因分析を可能にするアプローチ。