Function then 

pub fn then(root: &Path, cmd: &str) -> Then

Run cmd once the edits are written, so an edit and its check take one call: through sem check --run when sem is installed (it joins the speculative run if there is one), else with sh -c in the repo root. Bounded by [THEN_DEADLINE]; output is kept to its last THEN_OUTPUT_CAP bytes.