Function folds 

pub fn folds(
    decided: Option<Course>,
    judged: Option<Verdict>,
    doubted: bool,
) -> bool

Whether a stop folds when a pruned line is drawn.

The whole rule in one place, because the terminal and the view both use it.

What somebody decided to abandon or call superseded folds. What somebody judged wrong does not: an invalid commit is what casts doubt on the measurement the decision leaned on, and hiding it would hide the very reason to look again — same for whatever inherits that doubt. A sound does fold: it says somebody looked and found nothing, so the decision stands.