Objectives

Why it exists

Trade-offs belong to the caller, but no trade-off may prefer an incomplete answer. Putting unpacked_count first makes that structural rather than a matter of care.

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.