LAB
Two decisions you can move
The picker and the bucket are the two places a service says no. Move the inputs and watch where the line falls.
Power of two choices
src/balance/p2c.mbt — load = trunc(sqrt(lag_ms · 10⁶ + 1)) · (inflight + 1)
Token bucket
src/limit/ratelimit.mbt — holds up to burst, refills at rate a second, one token a request