Plan.escalated: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/daemon/plan.bend as Plan Lines 139-146 of cswap-bend-cli@0.1.0.0/daemon/plan.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/plan.bend&start_line=139&end_line=146 import Base import cswap-bend-cli@0.1.0.0/policy/types.bend as T import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G # Phase 2 (escalation): every other candidate that is due or stale. def escalated(+es: List<&2, G.Ent>, +us: List<&2, T.Usage>, +active: Maybe<&2, String>, +skip: List<&2, G.Ent>, +now: Nat, +cfg: T.Config, +ms: List<&2, String>) -> List<&2, G.Ent>: match es: case Nil{}: [] case Con{e, t}: sel_e(Bool.not(is_active(e, active)) && eligible(e) && Bool.not(in_list(e, skip)) && (due(e, us, now, cfg) || stale(e, us, now, ms)) && Bool.not(exempt(e, us, now, ms)), e <> escalated(t, us, active, skip, now, cfg, ms), escalated(t, us, active, skip, now, cfg, ms)) Uses (17): 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=Bool.or https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/gather.bend&name=Ent https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/plan.bend&name=due https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/plan.bend&name=eligible https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/plan.bend&name=exempt https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/plan.bend&name=in_list https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/plan.bend&name=is_active https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/plan.bend&name=sel_e https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/plan.bend&name=stale https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Config https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Usage