Part of #39. Blocks #27. - **Problem:** Conservative diff_bound creates unnecessarily large search domains. - **Solution:** Calculate tighter theoretical bounds based on actual capacities.
Part of #39. Blocks #27.