SRE incident-investigation finite state machine for LLM agents, served over MCP by Theodosia. The agent keeps the full Grafana toolset; the FSM gates the procedure (triage, diagnose, verify, conclude) and the audit trail, not the tools.