pub const MAX_RECOVERED_CARDINALITY: usize = 4;Expand description
The widest core a fused solve recovers automatically: at-most-k groups up to this k. Beyond it,
call recover_at_most_k directly — but the C(group, k) scan cost (budget-bounded) and the
diminishing yield of ever-wider exclusion cliques make 4 (5-ary clauses) the default ceiling.