The flag is set in the enumerator only on the advance step that trips the limit. Each produced solution captures a snapshot of planEnumerator.explainInfo at merge time, and the reported value is later read from the winning solution's snapshot. If the winner is not the last-enumerated solution, the final hitIndexedOrLimit=true state can be lost.