Function boolean_semantic_disagreement_nary 

pub fn boolean_semantic_disagreement_nary(
    operands: &[BrepSolid],
    operation: BooleanOperation,
    result: &BrepSolid,
    samples: usize,
) -> Result<OracleReport, KernelRefusal>

N-ary semantic cross-check — the correctness gate for crate::boolean_operation_nary. Sample points across the combined box of all operands, classify each versus every operand and the result, and flag every decidable point where the result membership disagrees with the n-ary CSG expectation (Union = In any, Intersect = In all, Subtract = In operand 0 and Out of the rest). Points on or near ANY operand or result boundary are skipped, so a correct n-ary boolean scores ~0.