def judge
import ezx@1.11.0.0/src/hub/hub.bend as Hubimport Base
46# a fetch judged, once the run and the digest are both known
47def judge(ok: Bool, good: Bool, url: String, body: String) -> Got:
48 match ok:
49 case False{}:
50 Miss{url ++ ": " ++ body}
51 case True{}:
52 judge.hash(good, url, body)