RECORDED CASE / BOOLEAN OMISSION

Watch the failure survive the cut.

A Blender Boolean loses an operand. In 19 seconds: the original failure, sampled accepted input contractions, a 12-triangle witness, the checked full-model intervention, and exact input undo.

1. 01OriginalOperand B disappears from FLOAT output.
2. 02ReductionSampled input states from 60 accepted native checks.
3. 03WitnessThe omission survives at 12 triangles.
4. 04RepairA 13-vertex full-model intervention is accepted.
5. 05UndoOriginal inputs and the failed surface return.

Geometry comes from a recorded native run; analysis runs locally in Blender, not in this page. Intermediate reduction input states were stored; their output surfaces were not, so the video only shows native output where it exists. Demo operands come from the Manifold project under Apache-2.0. See the repository NOTICE.