def judged.of

ezx@1.11.0.0 · src/lock/world.bend:491

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

491# every package answer judged against the ledger the lock is made from
492def judged.of(+nx: Up.Next, replies: List<&2, Reply>) -> List<&2, Judged>:
493  List.append(&2, Judged,
494    judge(next.origins(nx), next.hub(nx),
495      laid.replies(Up.next.trees(nx), next.origins(nx), next.hub(nx))),
496    judge(next.origins(nx), next.hub(nx), replies))