Audit group Steiner extension exactly

Make the decomposition Definition-1 compliant: enforce property (B) by merging adjacent pieces (0/12 -> 12/12), with the resulting inflation of measured alpha reported

Implement the (alpha,gamma)-decomposition oracle and the ICE algorithm (previously unaddressed); alpha measured against exact ILP partial-cover optima