Accenture built an ‘eligibility engine’ for a project client I had that neither SA clients nor their caseworkers could figure out.
A whole new class of forensic eligibility review worker was required (we called them ‘senior business analysts’ to keep pay expectations down) to sort out the mess in any but the simplest cases of over- or underpayments.
That was decades ago.
Imagine the absolute mess when 100% vs. 7-10% of pop. is entangled.