Story · Semantic Scholar
RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation (Semantic Scholar)
paper · Story page
RunbookFX turns LLM-written incident response from suggestions into typed programs whose risk, capabilities, and rollback resources are checked statically, backed by a roughly 2,200-line Coq development. Candidates pass type checking and contract replay before anything runs.
In plain words
- Researchers created RunbookFX, a programming language that turns incident responses written by artificial intelligence into checked, executable instructions.
- It checks every proposal for danger, permitted abilities, and available resources for undoing changes.
- It tests each proposal against stated requirements before anything can run, rejecting those that fail.
- This matters for cloud operations teams because unsafe diagnoses or actions can be filtered before reaching real systems.
Appeared in
- Malicious skills hijack agents mid-task, and debate training curbs reward hacking
Aug 20, 2026 · in the sections
Subscribe
Get the brief in your inbox
Pick daily, weekly, or both. Nothing is gated either way: every issue is on the site and in the feeds.
- Weekdays at 8:45am IST, one lead story and 6 to 9 items.
- Sundays, an argued synthesis rather than a recap.
- One click to leave, and quiet days say so in the subject line.