Function command 

pub fn command(
    start: &Path,
    feature: &str,
    task: &str,
    opts: &Options,
    command: &str,
) -> CommandResult

speccoder-verify tour and /api/tour: the tour of feature’s task at head, with the check’s trust when given (the outcome then decides how far the tour goes), else from the statements as recorded.