Function certificate 

pub fn certificate(
    tip: &str,
    head: &str,
    tree: &str,
    outcome: &Outcome,
) -> Value

The document weave records for a check: what was checked and sem check’s own certificate (input trees, tool versions, mode per checker).