pub const VERIFIER: &str = "speccoder://verifier";
Check output quoted in a retry digest: the verifier’s facts.