A SMALLER BUG. THE SAME FAILURE.
Find the shape
of a bug.
A Boolean operation loses part of your model.
Strip away the geometry that doesn't matter.
Follow the witness back. Test a repair. Undo it.
Drag to orbit · scroll to zoom · R to reset
Orange wire shows the comparison solver
Every accepted cut has a reason.
Each contraction keeps both operands as valid closed solids and repeats the same missing-volume test in the native solver.
A small witness. A full-model patch.
Click a witness vertex to inspect its source cluster.
TAKE THE EVIDENCE WITH YOU
The report travels with the bug.
Originals, small witnesses, repaired operands, before/after coordinates and native results. JSON can be reopened here. The CLI exports an offline HTML viewer and OBJ meshes.
Run it on your geometry
python -m solidrift analyze A.obj B.obj \
--blender /path/to/blender --out casePython 3.10+ · Blender with FLOAT and MANIFOLD · no cloud, keys or Python dependencies.
Read the scope
Two triangular, single-shell, outward-oriented solids. A bounded greedy search for one FLOAT-union omission family. The reference solver is a comparator; agreement is not universal correctness. An intervention changes the inputs and does not fix Blender's implementation.
Methods, controls and limits ↗