onchain successor function executed past the protocol defined upper bound.
no overflow event emitted.
the returned value registers as prior state with updated consensus rules.
verification in progress.
modulo operation performed on negative values.
result converged to a fixed residue class independent of the dividend.
the class contains every integer exactly once except the dividend itself, which is absent.