How to check worker's eligibility inside Default and Override Formula?

Hi All,

Lets assume we have a simple requirement where budget ($1200) is stored in an UDT.

This budget gets distributed equally to all employees who are part of a compensation plan.

Lets assume initially 12 workers were found eligible and fast formula equally distributed $100 to each worker. (we are able to achieve this far using Default and Override Formula)

Now the challenge is if any manager manually makes any worker ineligible how to redistribute the budget equally within eligible workers only.

If two workers were made ineligible, $1200 should be distributed equally among 10 eligible workers and each should get $120.

What is the flag or the DBI item to check employee eligibility status.