removed_by_balls integrates, in each plane square to a right-angled edge, the corner the union of the balls leaves (by rays from the edge, the least entry over the balls), cut to the body's section. The law with a corner through a middle point is its own test, listed as failing. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>