Collect.expired_sentinel: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/collect.bend as Collect
Lines 226-229 of cswap-bend-cli@0.1.0.0/collect.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&start_line=226&end_line=229

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

# An expired active token is never refreshed here (that is Claude Code's, under
# its own lock): it reads `token_expired` unless a held reading covers it.
def expired_sentinel(active: Bool, +row: Json.Json, +creds: String, +now: U32) -> Maybe<&2, String>:
  expired.pick(active && Bool.not(held_row(row, now)) && expired_creds(creds, now), creds, now)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/collect.bend&name=expired.pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=expired_creds
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=held_row
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json