Function reduce_boolean_rows 

pub fn reduce_boolean_rows(
    rows: Vec<BooleanRow>,
    columns: impl IntoIterator<Item = usize>,
    diagram: &mut BooleanDecisionDiagram,
) -> Result<Vec<BooleanRow>, BooleanResourceError>

Canonical reduced rows over the requested columns, with conditional rank.

Errors

Returns BooleanResourceError if reduction exceeds configured limits.