Plan.judge: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/plan.bend as Plan
Lines 181-189 of cswap-bend-cli@0.1.0.0/store/plan.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&start_line=181&end_line=189

import Base

# Does the credential's owner match (email, org, accountUuid)? Uuid first,
# then the address only when no uuid is on file; the org is checked either way.
# None from the oracle is "unresolvable", never "wrong".
def judge(+email: String, +org: String, +acct_uuid: String, +p: Prof) -> Verdict:
  match p:
    case ProfNone{}:
      VUnverified{"the identity lookup did not resolve"}
    case Prof{uuid, pemail, porg}:
      then_org(ident_verdict(email, acct_uuid, uuid, pemail), email, org, porg)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=Prof
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=ident_verdict
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=then_org