Function dunne_residuals 

pub fn dunne_residuals<A>(
    framework: &WeightedFramework<A>,
    budget: Budget,
) -> Result<Vec<ArgumentationFramework<A>>, Error>
where
    A: Clone + Eq + Hash + Debug,

Enumerate the Dung residuals of framework at budget β.

A residual is WF \ S for some β-inconsistent S — i.e., the plain Dung framework with the attacks in S omitted. Every argument is preserved in every residual; only attack edges differ.

Returns one ArgumentationFramework per β-inconsistent subset. With m attacks, the maximum residual count is 2^m; the budget typically prunes this substantially. Residuals are returned in bit- mask order (subset 0 = no attacks dropped; subset 2^m - 1 = all attacks dropped).

Fails with Error::TooManyAttacks if the framework has more than ATTACK_ENUMERATION_LIMIT attacks.