LLMエージェントのためのエンドツーエンドセキュリティ監査フレームワーク：静的ASTとテイントモデリング、攻撃合成、Dockerサンドボックスリプレイ、MCP監査による決定論的検証レポート。