Geometry

Why it exists

Geometry bounds the search before anything more expensive is evaluated. Deciding it on integers removes the class of bugs where a placement is legal at one rounding and illegal at another.

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.