CONSTRAINT / WEIGHT
Weight and payload
Item weight, container tare and payload capacity are exact, and an overloaded candidate is refused during search with payload_exceeded.
weight · max_payload · tare_weightWhy it exists
Capacity is part of the packing problem, not a post-processing filter over an answer that already assumed it away.
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.
See the fixtures for this rule ↗