def dep.kept

ezx@1.11.0.0 · src/lock/up.bend:699

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/upgrade.bend as U

699# the pinned commit's checkout, judged with whether it agrees with the pin:
700# the same hash, NAR hash and root. One that does not is a drift.
701def dep.kept(co: Co, +rs: List<&2, Reply>, +hub: String, +dep: M.Dep, +tip: String, +tag: String) -> Fate:
702  match co:
703    case Co{nar, root, +manifest, _srcs}:
704      +src = M.source.dep(dep)
705      +hash = hash.kept(M.dep.hash(dep), manifest)
706      dep.verdict(U.judge(True{}, True{},
707        U.agree(M.dep.hash(dep), hash, M.source.nar(src), nar, M.source.root(src), root),
708        tip, tag), rs, hub, dep, tip, "", hash)
709    case CoWait{ask}:
710      Waits{[ask]}
711    case CoNo{why}:
712      Halts{why}