Function rule 

pub fn rule(
    path: &Path,
    feature: Option<&str>,
    task: &str,
    reason: &str,
    variant: Option<&str>,
    state: &Path,
) -> CommandResult

speccoder task rule <task> --tests-right --reason …: a person rules that the tests of a held attempt are right — the flagged alternative is not what the spec allows. The ruling is bound to the alternative’s digest; the next run of the task judges the held attempt again from the journal and ticks it with the ruling recorded.