InputBudgetException

A caller-selected request guard refused generation before provider dispatch.

abstract public function receipt(): array

The guard's observation, never a completion claim.