Function lead_is_idle 

fn lead_is_idle(ws: &Workspace, lead: &SessionSlot) -> bool

Whether lead is idle: it is the project’s own agent, its session is live, no turn is running, it owns no row in progress, and the project has no live worker.