`hash.rolling` computes polynomial rolling hash windows over a byte buffer using base `257` and a default window size of `4`. For a byte extension `c`, the committed invariant is `rolling_update(hash, c) = hash * 257 + c` with wrapping `U32` arithmetic.