Boolean operations on two valid lofts sharing an end section return impossible results with no error: Fuse(body, lip) comes back empty and Common is zero on both OCCT 7.9.3 and 8.0.1, and on 8.0.1 Cut is larger than its object, all with IsDone() true. Reproduced on OCCT 7.9.3 and 8.0.1 with measured volumes against a point-classification ground truth; argument order flips the outcome. The reporter traced it to a real F1 airbox model where the same pair lost the body.
From the Grok ProductFlo pain-radar digest, Oct 19 2026. Verified live 2026-10-19: full issue read with measured volume tables on both OCCT versions; BRepAlgoAPI_Check passes on the inputs. Cost model assumes an engineer debugs phantom geometry downstream.