Module reduce 

Subset enumeration over (attacks ∪ supports) for weighted bipolar frameworks under Amgoud 2008 + Dunne 2011 semantics.

Constants

EDGE_ENUMERATION_LIMIT

Upper bound on the combined attack + support edge count for exact subset enumeration. 2^24 ≈ 16.8M subsets per residual build; larger frameworks return Error::TooManyEdges.

Functions

wbipolar_residuals

Enumerate the residual [BipolarFramework]s obtained by dropping every β-inconsistent subset S of framework’s edges. Returns one residual per subset; residuals are yielded in bit-mask order where bits 0..attacks.len() index attacks and bits attacks.len()..attacks.len() + supports.len() index supports.