Procurement allocation optimizer: the lowest-TCO supplier award under capacity, MOQ, share caps and dual-sourcing rules — proven optimal, and explainable to the people who question it. Open source (GPLv3), constraint-programming based, agentic-first.