Function boolean_polyhedra_exact

pub fn boolean_polyhedra_exact(
    subject: &Polyhedron,
    tool: &Polyhedron,
    op: BooleanOp,
) -> Result<Polyhedron, GeomError>

Exact boolean over two planar-faced solids.

Each operand’s faces are split against every plane of the other, so no fragment straddles the other solid’s boundary. Each fragment is then kept or dropped by classifying its centroid, and difference reverses the tool fragments so the result stays outward-wound.

Refuses rather than guessing whenever a certified predicate cannot decide a classification. A refusal is a typed error, never an approximate mesh.