Function progress 

pub fn progress(
    order: &[String],
    before: &BTreeMap<String, ScenarioState>,
    after: &BTreeMap<String, ScenarioState>,
    links: &[String],
    checkpoint: bool,
    untestable: &[String],
) -> Progress

What an attempt did, from the oracle’s states before and after it (keyed by scenario id, iterated in the story’s order by the caller’s order), the task’s links, and whether it is the story’s checkpoint. A regression fails first; then the checkpoint’s whole story — except the scenarios its author declared untestable, shown, never blocking — then the task’s links.