Human-in-the-loop interrupts

This note is under construction — the full write-up is coming soon.