Upgrade.judge: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade
Lines 114-123 of ezx@1.11.0.0/src/ledger/upgrade.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&start_line=114&end_line=123

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=judge.move
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=judge.same