Support

Why it exists

A box that fits geometrically can still be physically wrong. Support is enforced during the search, not reported next to a result that already ignored it.

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.