achp:

> Ш>А если вспомнить, что стандарт явно определяет способ такой конверсии как приведение по модулю

> Где об этом сказано?

4.7/2 If the destination type is unsigned, the resulting value is the least unsigned integer congruent to the source integer (modulo 2n where n is the number of bits used to represent the unsigned type).

UINT_MAX + 1 в этом смысле конгруентен 0, UINT_MAX + 2 — единице и т.п. Соответственно, в обратную сторону: -1 конгруентен UINT_MAX, -2 — UINT_MAX — 1 и т.п.