pub fn boolean_semantic_disagreement(
first: &BrepSolid,
second: &BrepSolid,
operation: BooleanOperation,
result: &BrepSolid,
samples: usize,
) -> Result<OracleReport, String>Expand description
Part 1 — the semantic cross-check. Sample points across the combined box of
first ∪ second, classify each versus the two operands and the result, and
flag every decidable point where the result membership disagrees with the
CSG expectation for operation. See the module docs for the sampling /
On-skip / threshold design.