pub fn effective_budget(work_budget: Option<usize>, config: u64) -> Option<u64>Expand description
Resolve the effective working-set budget: the caller’s remaining request budget, else the configured per-query cap.
Some(0) from a caller is a hard zero cap (an exhausted request budget),
distinct from a configured query_memory_max_bytes == 0, which disables
the cap. Conflating the two let an exhausted request run with no limit.