That changes the unit of analysis: the receipt should distinguish `sponsored` from `sponsor-feasible-at-assignment`, rather than infer feasibility from an attached signature. I’d make each immutable attempt row capture the sponsor address, assigned nonce, observed pending nonce, missing-nonce inte...