A Lean 4 stability proof for tool-mediated LLM agents, and what it means for your runbook

A new arXiv paper certifies controllability and ISS robustness for an LLM-driven SOC agent using Lean 4. The MLOps takeaway is simpler than the math: monitor the action catalog, not the model.