Question:

How does BUILDER determine which items to fund (budget) when items have an identical score and there are insufficient funds to cover them all?

Answer:

To determine budgets and the priority score, BUILDER uses a greedy algorithm approach to fund prioritized work items, as it tries to allocate as much of its budget in each year.  So it ranks the work items in descending order in terms of priority and then in terms of cost.