~/jendhub

def row.safe

cswap-bend-cli@0.1.0.0 · policy/safe.bend:50

import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe
import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/usage.bend as U

50# A row with a trusted headroom above zero, not in backoff.
51def row.safe(+m: Maybe<&2, T.Usage>, +now: Nat, +ms: List<&2, String>) -> Bool:
52  known(U.head.row(m, now, ms)) && Bool.not(exhausted(U.head.row(m, now, ms))) && Bool.not(backed_off(m, now))

Uses (12)

Used by (1)