A mathematically grounded framework for hands-free slimming at inference time with bounded error guarantees; no finetuning or extra data.