Function narrate_deadlock 

pub fn narrate_deadlock(snap: &SchedSnapshot) -> String

Narrate a deadlock as English prose: the cooperative deterministic runtime has PERFECT information, so the explanation is a proof, not a heuristic — who waits, on what, and how full each channel is. Fed the snapshot taken when the scheduler proved the deadlock.