Top load

Why it exists

Crushing is cumulative. A per-neighbour check passes exactly the arrangements that fail in a trailer.

What a useful refusal looks like

The engine returns the rule that refused, the item it refused, and the measured value against the configured threshold. It also states how strongly that is backed: proven, observed, inferred, or unknown because a search limit was reached first.