WhyNotUpdatedResult: WhyResult

Result type alias produced by whyNotUpdated.

Same shape as WhyResult; the alias documents the call-site intent and survives any future narrowing of the reason union to a whyNotUpdated-only sub-set.