def judge5

cswap-bend-cli@0.1.0.0 · daemon/freshen.bend:154

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/daemon/sess.bend as Sess

154# A Claude session consuming this account owns its token: the daemon leaves it.
155def judge5(+root: String, +slot: String, +email: String, +creds: String, +now: U32) -> Act.of(String):
156  do ActM<String>:
157    live : Bool <- Act.lift(Bool, Sess.live(root, slot, email))
158    judge4(live, root, slot, email, creds, now)