def judge

ezx@1.11.0.0 · src/ledger/upgrade.bend:114

import Base

114# `same` is the resolved commit against the pin. `onward` is that commit
115# being a descendant of the pin. `agree` is the recomputed hash, NAR hash
116# and root against what the ledger recorded, and it only matters when the
117# commit did not move.
118def judge(same: Bool, onward: Bool, agree: Bool, rev: String, tag: String) -> Verdict:
119  match same:
120    case True{}:
121      judge.same(agree)
122    case False{}:
123      judge.move(onward, rev, tag)