Freshen.judge5: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/freshen.bend as Freshen
Lines 154-158 of cswap-bend-cli@0.1.0.0/daemon/freshen.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/freshen.bend&start_line=154&end_line=158

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

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

Uses (9):
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=lift
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/freshen.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/freshen.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/freshen.bend&name=judge4
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/sess.bend&name=live